Progressive Function
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a progressive function ''ƒ'' ∈ ''L''2(R) is a function whose
Fourier transform A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
is supported by positive frequencies only: :\mathop\hat \subseteq \mathbb_+. It is called super regressive if and only if the time reversed function ''f''(−''t'') is progressive, or equivalently, if :\mathop\hat \subseteq \mathbb_-. The
complex conjugate In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
of a progressive function is regressive, and vice versa. The space of progressive functions is sometimes denoted H^2_+(R), which is known as the
Hardy space In complex analysis, the Hardy spaces (or Hardy classes) ''Hp'' are certain spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz , who named them after G. H. Hardy, because of the paper . ...
of the upper half-plane. This is because a progressive function has the Fourier inversion formula :f(t) = \int_0^\infty e^ \hat f(s)\, ds and hence extends to a
holomorphic function In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivativ ...
on the
upper half-plane In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to t ...
\ by the formula :f(t+iu) = \int_0^\infty e^ \hat f(s)\, ds = \int_0^\infty e^ e^ \hat f(s)\, ds. Conversely, every holomorphic function on the upper half-plane which is uniformly square-integrable on every horizontal line will arise in this manner. Regressive functions are similarly associated with the Hardy space on the lower half-plane \. {{PlanetMath attribution, id=5993, title=progressive function Hardy spaces Types of functions