# Hardy space

In complex analysis, the **Hardy spaces** (or **Hardy classes**) *H ^{p}* are certain spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz (Riesz 1923), who named them after G. H. Hardy, because of the paper (Hardy 1915). In real analysis

**Hardy spaces**are certain spaces of distributions on the real line, which are (in the sense of distributions) boundary values of the holomorphic functions of the complex Hardy spaces, and are related to the

*L*spaces of functional analysis. For 1 ≤

^{p}*p*≤ ∞ these real Hardy spaces

*H*are certain subsets of

^{p}*L*, while for

^{p}*p*< 1 the

*L*spaces have some undesirable properties, and the Hardy spaces are much better behaved.

^{p}There are also higher-dimensional generalizations, consisting of certain holomorphic functions on tube domains in the complex case, or certain spaces of distributions on **R**^{n} in the real case.

Hardy spaces have a number of applications in mathematical analysis itself, as well as in control theory (such as *H*^{∞} methods) and in scattering theory.

## Hardy spaces for the unit disk[edit]

For spaces of holomorphic functions on the open unit disk, the Hardy space *H*^{2} consists of the functions *f* whose mean square value on the circle of radius *r* remains bounded as *r* → 1 from below.

More generally, the Hardy space *H ^{p}* for 0 <

*p*< ∞ is the class of holomorphic functions

*f*on the open unit disk satisfying

This class *H ^{p}* is a vector space. The number on the left side of the above inequality is the Hardy space

*p*-norm for

*f*, denoted by It is a norm when

*p*≥ 1, but not when 0 <

*p*< 1.

The space *H*^{∞} is defined as the vector space of bounded holomorphic functions on the disk, with the norm

For 0 < p ≤ q ≤ ∞, the class *H ^{q}* is a subset of

*H*, and the

^{p}*H*-norm is increasing with

^{p}*p*(it is a consequence of Hölder's inequality that the

*L*-norm is increasing for probability measures, i.e. measures with total mass 1).

^{p}## Hardy spaces on the unit circle[edit]

The Hardy spaces defined in the preceding section can also be viewed as certain closed vector subspaces of the complex *L ^{p}* spaces on the unit circle. This connection is provided by the following theorem (Katznelson 1976, Thm 3.8): Given

*f*∈

*H*, with

^{p}*p*≥ 0,

^{[clarification needed]}the radial limit

exists for almost every θ. The function belongs to the *L ^{p}* space for the unit circle,

^{[clarification needed]}and one has that

Denoting the unit circle by **T**, and by *H ^{p}*(

**T**) the vector subspace of

*L*(

^{p}**T**) consisting of all limit functions , when

*f*varies in

*H*, one then has that for

^{p}*p*≥ 1,(Katznelson 1976)

where the *ĝ*(*n*) are the Fourier coefficients of a function *g* integrable on the unit circle,

The space *H ^{p}*(

**T**) is a closed subspace of

*L*(

^{p}**T**). Since

*L*(

^{p}**T**) is a Banach space (for 1 ≤

*p*≤ ∞), so is

*H*(

^{p}**T**).

The above can be turned around. Given a function ∈ *L ^{p}*(

**T**), with

*p*≥ 1, one can regain a (harmonic) function

*f*on the unit disk by means of the Poisson kernel

*P*:

_{r}and *f* belongs to *H ^{p}* exactly when is in

*H*(

^{p}**T**). Supposing that is in

*H*(

^{p}**T**),

*i.e.*that has Fourier coefficients (

*a*)

_{n}_{n∈Z}with

*a*= 0 for every

_{n}*n*< 0,then the element

*f*of the Hardy space

*H*associated to is the holomorphic function

^{p}In applications, those functions with vanishing negative Fourier coefficients are commonly interpreted as the causal solutions.^{[clarification needed]} Thus, the space *H*^{2} is seen to sit naturally inside *L*^{2} space, and is represented by infinite sequences indexed by **N**; whereas *L*^{2} consists of bi-infinite sequences indexed by **Z**.

### Connection to real Hardy spaces on the circle[edit]

When 1 ≤ *p* < ∞, the *real Hardy spaces* *H ^{p}* discussed further down

^{[clarification needed]}in this article are easy to describe in the present context. A real function

*f*on the unit circle belongs to the real Hardy space

*H*(

^{p}**T**) if it is the real part of a function in

*H*(

^{p}**T**), and a complex function

*f*belongs to the real Hardy space iff Re(

*f*) and Im(

*f*) belong to the space (see the section on real Hardy spaces below). Thus for 1 ≤

*p*< ∞, the real Hardy space contains the Hardy space, but is much bigger, since no relationship is imposed between the real and imaginary part of the function.

For 0 < *p* < 1, such tools as Fourier coefficients, Poisson integral, conjugate function, are no longer valid. For example, consider the function

Then *F* is in *H ^{p}* for every 0 <

*p*< 1, and the radial limit

exists for a.e. *θ* and is in *H ^{p}*(

**T**), but Re(

*f*) is 0 almost everywhere, so it is no longer possible to recover

*F*from Re(

*f*). As a consequence of this example, one sees that for 0 <

*p*< 1, one cannot characterize the real-

*H*(

^{p}**T**) (defined below) in the simple way given above,

^{[clarification needed]}but must use the actual definition using maximal functions, which is given further along somewhere below.

For the same function *F*, let *f _{r}*(e

^{iθ}) =

*F*(

*re*

^{iθ}). The limit when

*r*→ 1 of Re(

*f*),

_{r}*in the sense of*

*distributions*on the circle, is a non-zero multiple of the Dirac distribution at

*z*= 1. The Dirac distribution at a point of the unit circle belongs to real-

*H*(

^{p}**T**) for every

*p*< 1 (see below).

## Factorization into inner and outer functions (Beurling)[edit]

For 0 < *p* ≤ ∞, every non-zero function *f* in *H ^{p}* can be written as the product

*f*=

*Gh*where

*G*is an

*outer function*and

*h*is an

*inner function*, as defined below (Rudin 1987, Thm 17.17). This "Beurling factorization" allows the Hardy space to be completely characterized by the spaces of inner and outer functions.

^{[1]}

^{[2]}

One says that *G*(*z*)^{[clarification needed]} is an **outer (exterior) function** if it takes the form

for some complex number *c* with |*c*| = 1, and some positive measurable function on the unit circle such that is integrable on the circle. In particular, when is integrable on the circle, *G* is in *H*^{1} because the above takes the form of the Poisson kernel (Rudin 1987, Thm 17.16). This implies that

for almost every θ.

One says that *h* is an **inner (interior) function** if and only if |*h*| ≤ 1 on the unit disk and the limit

exists for almost all θ and its modulus is equal to 1 a.e. In particular, *h* is in *H*^{∞}.^{[clarification needed]} The inner function can be further factored into a form involving a Blaschke product.

The function *f*, decomposed as *f* = *Gh*,^{[clarification needed]} is in *H ^{p}* if and only if φ belongs to

*L*(

^{p}**T**), where φ is the positive function in the representation of the outer function

*G*.

Let *G* be an outer function represented as above from a function φ on the circle. Replacing φ by φ^{α}, α > 0, a family (*G*_{α}) of outer functions is obtained, with the properties:

*G*_{1}=*G*,*G*_{α+β}=*G*_{α}*G*_{β}and |*G*_{α}| = |*G*|^{α}almost everywhere on the circle.

It follows that whenever 0 < *p*, *q*, *r* < ∞ and 1/*r* = 1/*p* + 1/*q*, every function *f* in *H ^{r}* can be expressed as the product of a function in

*H*and a function in

^{p}*H*. For example: every function in

^{q}*H*

^{1}is the product of two functions in

*H*

^{2}; every function in

*H*,

^{p}*p*< 1, can be expressed as product of several functions in some

*H*,

^{q}*q*> 1.

## Real-variable techniques on the unit circle[edit]

Real-variable techniques, mainly associated to the study of *real Hardy spaces* defined on **R**^{n} (see below), are also used in the simpler framework of the circle. It is a common practice to allow for complex functions (or distributions) in these "real" spaces. The definition that follows does not distinguish between real or complex case.

Let *P _{r}* denote the Poisson kernel on the unit circle

**T**. For a distribution

*f*on the unit circle, set

where the *star* indicates convolution between the distribution *f* and the function e^{iθ} → *P _{r}*(θ) on the circle. Namely, (

*f*∗

*P*)(e

_{r}^{iθ}) is the result of the action of

*f*on the

*C*

^{∞}-function defined on the unit circle by

For 0 < *p* < ∞, the *real Hardy space* *H ^{p}*(

**T**) consists of distributions

*f*such that

*M f*is in

*L*(

^{p}**T**).

The function *F* defined on the unit disk by *F*(*re*^{iθ}) = (*f* ∗ *P _{r}*)(e

^{iθ}) is harmonic, and

*M f*is the

*radial maximal function*of

*F*. When

*M f*belongs to

*L*(

^{p}**T**) and

*p*≥ 1, the distribution

*f*"

*is*" a function in

*L*(

^{p}**T**), namely the boundary value of

*F*. For

*p*≥ 1, the

*real Hardy space*

*H*(

^{p}**T**) is a subset of

*L*(

^{p}**T**).

### Conjugate function[edit]

To every real trigonometric polynomial *u* on the unit circle, one associates the real *conjugate polynomial* *v* such that *u* + i*v* extends to a holomorphic function in the unit disk,

This mapping *u* → *v* extends to a bounded linear operator *H* on *L ^{p}*(

**T**), when 1 <

*p*< ∞ (up to a scalar multiple, it is the Hilbert transform on the unit circle), and

*H*also maps

*L*

^{1}(

**T**) to weak-

*L*

^{1}(

**T**). When 1 ≤

*p*< ∞, the following are equivalent for a

*real valued*integrable function

*f*on the unit circle:

- the function
*f*is the real part of some function*g*∈*H*(^{p}**T**) - the function
*f*and its conjugate*H(f)*belong to*L*(^{p}**T**) - the radial maximal function
*M f*belongs to*L*(^{p}**T**).

When 1 < *p* < ∞, *H(f)* belongs to *L ^{p}*(

**T**) when

*f*∈

*L*(

^{p}**T**), hence the real Hardy space

*H*(

^{p}**T**) coincides with

*L*(

^{p}**T**) in this case. For

*p*= 1, the real Hardy space

*H*

^{1}(

**T**) is a proper subspace of

*L*

^{1}(

**T**).

The case of *p* = ∞ was excluded from the definition of real Hardy spaces, because the maximal function *M f* of an *L*^{∞} function is always bounded, and because it is not desirable that real-*H*^{∞} be equal to *L*^{∞}. However, the two following properties are equivalent for a real valued function *f*

- the function
*f*is the real part of some function*g*∈*H*^{∞}(**T**) - the function
*f*and its conjugate*H(f)*belong to*L*^{∞}(**T**).

### Real Hardy spaces for 0 < *p* < 1[edit]

When 0 < *p* < 1, a function *F* in *H ^{p}* cannot be reconstructed from the real part of its boundary limit

*function*on the circle, because of the lack of convexity of

*L*in this case. Convexity fails but a kind of "

^{p}*complex convexity*" remains, namely the fact that

*z*→ |

*z*|

^{q}is subharmonic for every

*q*> 0. As a consequence, if

is in *H ^{p}*, it can be shown that

*c*= O(

_{n}*n*

^{1/p–1}). It follows that the Fourier series

converges in the sense of distributions to a distribution *f* on the unit circle, and *F*(*re*^{iθ}) =(*f* ∗ *P _{r}*)(θ). The function

*F*∈

*H*can be reconstructed from the real distribution Re(

^{p}*f*) on the circle, because the Taylor coefficients

*c*of

_{n}*F*can be computed from the Fourier coefficients of Re(

*f*).

Distributions on the circle are general enough for handling Hardy spaces when *p* < 1. Distributions that are not functions do occur^{[where?]}, as is seen with functions *F*(*z*) = (1−*z*)^{−N} (for |*z*| < 1), that belong to *H ^{p}* when 0 <

*N*

*p*< 1 (and

*N*an integer ≥ 1).

A real distribution on the circle belongs to real-*H ^{p}*(

**T**) iff it is the boundary value of the real part of some

*F*∈

*H*. A Dirac distribution δ

^{p}_{x}, at any point

*x*of the unit circle, belongs to real-

*H*(

^{p}**T**) for every

*p*< 1; derivatives δ′

_{x}belong when

*p*< 1/2, second derivatives δ′′

_{x}when

*p*< 1/3, and so on.

## Hardy spaces for the upper half plane[edit]

It is possible to define Hardy spaces on other domains than the disc, and in many applications Hardy spaces on a complex half-plane (usually the right half-plane or upper half-plane) are used.

The Hardy space *H ^{p}*(

**H**) on the upper half-plane

**H**is defined to be the space of holomorphic functions

*f*on

**H**with bounded (quasi-)norm, the norm being given by

The corresponding *H*^{∞}(**H**) is defined as functions of bounded norm, with the norm given by

Although the unit disk **D** and the upper half-plane **H** can be mapped to one another by means of Möbius transformations, they are not interchangeable^{[clarification needed]} as domains for Hardy spaces. Contributing to this difference is the fact that the unit circle has finite (one-dimensional) Lebesgue measure while the real line does not. However, for *H*^{2}, one has the following theorem: if *m* : **D** → **H** denotes the Möbius transformation

Then the linear operator *M* : *H*^{2}(**H**) → *H*^{2}(**D**) defined by

is an isometric isomorphism of Hilbert spaces.

## Real Hardy spaces for **R**^{n}[edit]

In analysis on the real vector space **R**^{n}, the Hardy space^{[clarification needed]} *H ^{p}* (for 0 <

*p*≤ ∞) consists of tempered distributions

^{[clarification needed]}

*f*such that for some Schwartz function Φ with ∫Φ = 1, the maximal function

is in *L ^{p}*(

**R**

^{n}),

^{[clarification needed]}where ∗ is convolution and Φ

_{t }(

*x*) =

*t*

^{ −n}Φ(

*x*/

*t*). The

*H*-quasinorm ||

^{p}*f*||

_{Hp}of a distribution

*f*of

*H*is defined to be the

^{p}*L*norm of

^{p}*M*

_{Φ}

*f*(this depends on the choice of Φ, but different choices of Schwartz functions Φ give equivalent norms). The

*H*-quasinorm is a norm when

^{p}*p*≥ 1, but not when

*p*< 1.

If 1 < *p* < ∞, the Hardy space *H ^{p}* is the same vector space as

*L*, with equivalent norm. When

^{p}*p*= 1, the Hardy space

*H*

^{1}is a proper subspace of

*L*

^{1}. One can find sequences in

*H*

^{1}that are bounded in

*L*

^{1}but unbounded in

*H*

^{1}, for example on the line

The *L*^{1} and *H*^{1} norms are not equivalent on *H*^{1}, and *H*^{1} is not closed in *L*^{1}. The dual of *H*^{1} is the space *BMO* of functions of bounded mean oscillation. The space *BMO* contains unbounded functions (proving again that *H*^{1} is not closed in *L*^{1}).

If *p* < 1 then the Hardy space *H ^{p}* has elements that are not functions, and its dual

^{[clarification needed]}is the homogeneous Lipschitz space of order

*n*(1/

*p*− 1). When

*p*< 1, the

*H*-quasinorm is not a norm, as it is not subadditive. The

^{p}*p*th power ||

*f*||

_{Hp}

^{p}is subadditive for

*p*< 1 and so defines a metric on the Hardy space

*H*, which defines the topology and makes

^{p}*H*into a complete metric space.

^{p}### Atomic decomposition[edit]

When 0 < *p* ≤ 1, a bounded measurable function *f* of compact support is in the Hardy space *H ^{p}* if and only if all its moments

whose order *i*_{1}+ ... +*i _{n}* is at most

*n*(1/

*p*− 1), vanish. For example, the integral of

*f*must vanish in order that

*f*∈

*H*, 0 <

^{p}*p*≤ 1, and as long as

*p*>

*n*/ (

*n*+1) this is also sufficient.

If in addition *f* has support in some ball *B* and is bounded by |*B*|^{−1/p} then *f* is called an ** H^{p}-atom** (here |

*B*| denotes the Euclidean volume of

*B*in

**R**

^{n}). The

*H*-quasinorm of an arbitrary

^{p}*H*-atom is bounded by a constant depending only on

^{p}*p*and on the Schwartz function Φ.

When 0 < *p* ≤ 1, any element *f* of *H ^{p}* has an

**atomic decomposition**as a convergent infinite combination of

*H*-atoms,

^{p}where the *a _{j}* are

*H*-atoms and the

^{p}*c*are scalars.

_{j}On the line for example, the difference of Dirac distributions *f* = δ_{1}−δ_{0} can be represented as a series of Haar functions, convergent in *H ^{p}*-quasinorm when 1/2 <

*p*< 1 (on the circle, the corresponding representation is valid for 0 <

*p*< 1, but on the line, Haar functions do not belong to

*H*when

^{p}*p*≤ 1/2 because their maximal function is equivalent at infinity to

*a*

*x*

^{−2}for some

*a*≠ 0).

## Martingale *H*^{p}[edit]

^{p}

Let (*M _{n}*)

_{n≥0}be a martingale on some probability space (Ω, Σ,

*P*), with respect to an increasing sequence of σ-fields (Σ

_{n})

_{n≥0}. Assume for simplicity that Σ is equal to the σ-field generated by the sequence (Σ

_{n})

_{n≥0}. The

*maximal function*of the martingale is defined by

Let 1 ≤ *p* < ∞. The martingale (*M _{n}*)

_{n≥0}belongs to

*martingale*-

*H*when

^{p}*M**∈

*L*.

^{p}If *M** ∈ *L ^{p}*, the martingale (

*M*)

_{n}_{n≥0}is bounded in

*L*; hence it converges almost surely to some function

^{p}*f*by the martingale convergence theorem. Moreover,

*M*converges to

_{n}*f*in

*L*-norm by the dominated convergence theorem; hence

^{p}*M*can be expressed as conditional expectation of

_{n}*f*on Σ

_{n}. It is thus possible to identify martingale-

*H*with the subspace of

^{p}*L*(Ω, Σ,

^{p}*P*) consisting of those

*f*such that the martingale

belongs to martingale-*H ^{p}*.

Doob's maximal inequality implies that martingale-*H ^{p}* coincides with

*L*(Ω, Σ,

^{p}*P*) when 1 <

*p*< ∞. The interesting space is martingale-

*H*

^{1}, whose dual is martingale-BMO (Garsia 1973).

The Burkholder–Gundy inequalities (when *p* > 1) and the Burgess Davis inequality (when *p* = 1) relate the *L ^{p}*-norm of the maximal function to that of the

*square function*of the martingale

Martingale-*H ^{p}* can be defined by saying that

*S*(

*f*)∈

*L*(Garsia 1973).

^{p}Martingales with continuous time parameter can also be considered. A direct link with the classical theory is obtained via the complex Brownian motion (*B _{t}*) in the complex plane, starting from the point

*z*= 0 at time

*t*= 0. Let τ denote the hitting time of the unit circle. For every holomorphic function

*F*in the unit disk,

is a martingale, that belongs to martingale-*H ^{p}* iff

*F*∈

*H*(Burkholder, Gundy & Silverstein 1971).

^{p}### Example: dyadic martingale-*H*^{1}[edit]

In this example, Ω = [0, 1] and Σ_{n} is the finite field generated by the dyadic partition of [0, 1] into 2^{n} intervals of length 2^{−n}, for every *n* ≥ 0. If a function *f* on [0, 1] is represented by its expansion on the Haar system (*h _{k}*)

then the martingale-*H*^{1} norm of *f* can be defined by the *L*^{1} norm of the square function

This space, sometimes denoted by *H*^{1}(δ), is isomorphic to the classical real *H*^{1} space on the circle (Müller 2005). The Haar system is an unconditional basis for *H*^{1}(δ).

## Notes[edit]

**^**Beurling, Arne (1948). "On two problems concerning linear transformations in Hilbert space".*Acta Mathematica*.**81**: 239–255. doi:10.1007/BF02395019.**^**Voichick, Michael; Zalcman, Lawrence (1965). "Inner and outer functions on Riemann surfaces".*Proceedings of the American Mathematical Society*.**16**(6): 1200–1204. doi:10.1090/S0002-9939-1965-0183883-1.

## References[edit]

- Burkholder, Donald L.; Gundy, Richard F.; Silverstein, Martin L. (1971), "A maximal function characterization of the class
*H*",^{p}*Transactions of the American Mathematical Society*,**157**: 137–153, doi:10.2307/1995838, JSTOR 1995838, MR 0274767, S2CID 53996980. - Cima, Joseph A.; Ross, William T. (2000),
*The Backward Shift on the Hardy Space*, American Mathematical Society, ISBN 978-0-8218-2083-4 - Colwell, Peter (1985),
*Blaschke Products - Bounded Analytic Functions*, Ann Arbor: University of Michigan Press, ISBN 978-0-472-10065-1 - Duren, P. (1970),
*Theory of H*, Academic Press^{p}-Spaces - Fefferman, Charles; Stein, Elias M. (1972), "
*H*spaces of several variables",^{p}*Acta Mathematica*,**129**(3–4): 137–193, doi:10.1007/BF02392215, MR 0447953. - Folland, G.B. (2001) [1994], "Hardy spaces",
*Encyclopedia of Mathematics*, EMS Press - Garsia, Adriano M. (1973),
*Martingale Inequalities: Seminar notes on recent progress*, Mathematics Lecture Notes Series, W. A. Benjamin MR0448538 - Hardy, G. H. (1915), "On the mean value of the modulus of an analytic function",
*Proceedings of the London Mathematical Society*,**14**: 269–277, doi:10.1112/plms/s2_14.1.269, JFM 45.1331.03 - Hoffman, Kenneth (1988),
*Banach Spaces of Analytic Functions*, Dover Publications, ISBN 978-0-486-65785-1 - Katznelson, Yitzhak (1976),
*An Introduction to Harmonic Analysis*, Dover Publications, ISBN 978-0-486-63331-2 - Koosis, P. (1998),
*Introduction to*H_{p}*Spaces*(Second ed.), Cambridge University Press - Mashreghi, J. (2009),
*Representation Theorems in Hardy Spaces*, Cambridge University Press, ISBN 9780521517683 - Müller, Paul F. X. (2005),
*Isomorphisms Between*H, Mathematics Institute of the Polish Academy of Sciences. Mathematical Monographs (New Series), Basel: Birkhäuser, ISBN 978-3-7643-2431-5, MR 2157745^{1}spaces - Riesz, F. (1923), "Über die Randwerte einer analytischen Funktion",
*Mathematische Zeitschrift*,**18**: 87–95, doi:10.1007/BF01192397, S2CID 121306447 - Rudin, Walter (1987),
*Real and Complex Analysis*, McGraw-Hill, ISBN 978-0-07-100276-9 - Shvedenko, S.V. (2001) [1994], "Hardy classes",
*Encyclopedia of Mathematics*, EMS Press