In mathematics, a progressive function ƒ ∈ L2(R) is a function whose Fourier transform is supported by positive frequencies only:[1]
\rmsupp\hat{f}\subseteqR+.
It is called super regressive if and only if the time reversed function f(-t) is progressive, or equivalently, if
\rmsupp\hat{f}\subseteqR-.
The complex conjugate of a progressive function is regressive, and vice versa.
The space of progressive functions is sometimes denoted
2 | |
H | |
+(R) |
f(t)=
infty | |
\int | |
0 |
e2\pi\hatf(s)ds
\{t+iu:t,u\inR,u\geq0\}
by the formula
f(t+iu)=
infty | |
\int | |
0 |
e2\pi\hatf(s)ds =
infty | |
\int | |
0 |
e2\pie-2\pi\hatf(s)ds.
Conversely, every holomorphic function on the upper half-plane which is uniformly square-integrable on every horizontal linewill arise in this manner.
Regressive functions are similarly associated with the Hardy space on the lower half-plane
\{t+iu:t,u\inR,u\leq0\}