Hardy space

Last updated

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 ( 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 Lp spaces of functional analysis. For 1  p < ∞ these real Hardy spaces Hp are certain subsets of Lp, while for p < 1 the Lp spaces have some undesirable properties, and the Hardy spaces are much better behaved.

Contents

There are also higher-dimensional generalizations, consisting of certain holomorphic functions on tube domains in the complex case, or certain spaces of distributions on Rn 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

For spaces of holomorphic functions on the open unit disk, the Hardy space H2 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 Hp for 0 < p < ∞ is the class of holomorphic functions f on the open unit disk satisfying

This class Hp 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 Hq is a subset of Hp, and the Hp-norm is increasing with p (it is a consequence of Hölder's inequality that the Lp-norm is increasing for probability measures, i.e. measures with total mass 1).

Hardy spaces on the unit circle

The Hardy spaces defined in the preceding section can also be viewed as certain closed vector subspaces of the complex Lp spaces on the unit circle. This connection is provided by the following theorem ( Katznelson 1976 , Thm 3.8): Given fHp, with p ≥ 1, the radial limit

exists for almost every θ. The function belongs to the Lp space for the unit circle,[ clarification needed ] and one has that

Denoting the unit circle by T, and by Hp(T) the vector subspace of Lp(T) consisting of all limit functions , when f varies in Hp, one then has that for p  1,( Katznelson 1976 )

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

The space Hp(T) is a closed subspace of Lp(T). Since Lp(T) is a Banach space (for 1 ≤ p ≤ ∞), so is Hp(T).

The above can be turned around. Given a function , with p ≥ 1, one can regain a (harmonic) function f on the unit disk by means of the Poisson kernel Pr:

and f belongs to Hp exactly when is in Hp(T). Supposing that is in Hp(T), i.e. that has Fourier coefficients (an)nZ with an = 0 for every n < 0, then the element f of the Hardy space Hp associated to is the holomorphic function

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

Connection to real Hardy spaces on the circle

When 1 ≤ p < ∞, the real Hardy spacesHp 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 Hp(T) if it is the real part of a function in Hp(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 Hp for every 0 < p < 1, and the radial limit

exists for a.e. θ and is in Hp(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-Hp(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 fr(e) = F(re). The limit when r → 1 of Re(fr), 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-Hp(T) for every p < 1 (see below).

Factorization into inner and outer functions (Beurling)

For 0 < p  ∞, every non-zero function f in Hp 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 H1 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 Hp if and only if φ belongs to Lp(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:

G1 = 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 Hr can be expressed as the product of a function in Hp and a function in Hq. For example: every function in H1 is the product of two functions in H2; every function in Hp, p < 1, can be expressed as product of several functions in some Hq, q > 1.

Real-variable techniques on the unit circle

Real-variable techniques, mainly associated to the study of real Hardy spaces defined on Rn (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 Pr 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 ePr(θ) on the circle. Namely, (fPr)(e) is the result of the action of f on the C-function defined on the unit circle by

For 0 < p < ∞, the real Hardy spaceHp(T) consists of distributions f such that M f is in Lp(T).

The function F defined on the unit disk by F(re) = (fPr)(e) is harmonic, and M f is the radial maximal function of F. When M f belongs to Lp(T) and p  1, the distribution f "is" a function in Lp(T), namely the boundary value of F. For p  1, the real Hardy spaceHp(T) is a subset of Lp(T).

Conjugate function

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

This mapping uv extends to a bounded linear operator H on Lp(T), when 1 < p < ∞ (up to a scalar multiple, it is the Hilbert transform on the unit circle), and H also maps L1(T) to weak-L1(T). When 1 p < ∞, the following are equivalent for a real valued integrable function f on the unit circle:

When 1 < p < ∞, H(f) belongs to Lp(T) when fLp(T), hence the real Hardy space Hp(T) coincides with Lp(T) in this case. For p = 1, the real Hardy space H1(T) is a proper subspace of L1(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

Real Hardy spaces for 0 < p < 1

When 0 < p < 1, a function F in Hp cannot be reconstructed from the real part of its boundary limit function on the circle, because of the lack of convexity of Lp in this case. Convexity fails but a kind of "complex convexity" remains, namely the fact that z → |z|q is subharmonic for every q > 0. As a consequence, if

is in Hp, it can be shown that cn = O(n1/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) =(f  Pr)(θ). The function FHp can be reconstructed from the real distribution Re(f) on the circle, because the Taylor coefficients cn of 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, as is seen with functions F(z) = (1−z)N (for |z| < 1), that belong to Hp when 0 < N p < 1 (and N an integer ≥ 1).

A real distribution on the circle belongs to real-Hp(T) iff it is the boundary value of the real part of some FHp. A Dirac distribution δx, at any point x of the unit circle, belongs to real-Hp(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

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 Hp(H) on the upper half-plane H is defined to be the space of holomorphic functions f on H with bounded 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 H2, one has the following theorem: if m : DH denotes the Möbius transformation

Then the linear operator M : H2(H) → H2(D) defined by

is an isometric isomorphism of Hilbert spaces.

Real Hardy spaces for Rn

In analysis on the real vector space Rn, the Hardy space[ clarification needed ]Hp (for 0 < p  ∞) consists of tempered distributions [ clarification needed ]f such that for some Schwartz function Φ with ∫Φ = 1, the maximal function

is in Lp(Rn),[ clarification needed ] where ∗ is convolution and Φt(x) =tnΦ(x/t). The Hp-quasinorm ||f||Hp of a distribution f of Hp is defined to be the Lp norm of MΦf (this depends on the choice of Φ, but different choices of Schwartz functions Φ give equivalent norms). The Hp-quasinorm is a norm when p ≥ 1, but not when p < 1.

If 1 < p < ∞, the Hardy space Hp is the same vector space as Lp, with equivalent norm. When p = 1, the Hardy space H1 is a proper subspace of L1. One can find sequences in H1 that are bounded in L1 but unbounded in H1, for example on the line

The L1 and H1 norms are not equivalent on H1, and H1 is not closed in L1. The dual of H1 is the space BMO of functions of bounded mean oscillation. The space BMO contains unbounded functions (proving again that H1 is not closed in L1).

If p < 1 then the Hardy space Hp 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 Hp-quasinorm is not a norm, as it is not subadditive. The pth power ||f||Hpp is subadditive for p < 1 and so defines a metric on the Hardy space Hp, which defines the topology and makes Hp into a complete metric space.

Atomic decomposition

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

whose order i1+ ... +in is at most n(1/p  1), vanish. For example, the integral of f must vanish in order that fHp, 0 < 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 Hp-atom (here |B| denotes the Euclidean volume of B in Rn). The Hp-quasinorm of an arbitrary Hp-atom is bounded by a constant depending only on p and on the Schwartz function Φ.

When 0 < p ≤ 1, any element f of Hp has an atomic decomposition as a convergent infinite combination of Hp-atoms,

where the aj are Hp-atoms and the cj are scalars.

On the line for example, the difference of Dirac distributions f = δ1−δ0 can be represented as a series of Haar functions, convergent in Hp-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 Hp when p ≤ 1/2 because their maximal function is equivalent at infinity to a x−2 for some a  0).

Martingale Hp

Let (Mn)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 (Mn)n≥0 belongs to martingale-Hp when M*Lp.

If M*Lp, the martingale (Mn)n≥0 is bounded in Lp; hence it converges almost surely to some function f by the martingale convergence theorem. Moreover, Mn converges to f in Lp-norm by the dominated convergence theorem; hence Mn can be expressed as conditional expectation of f on Σn. It is thus possible to identify martingale-Hp with the subspace of Lp(Ω, Σ, P) consisting of those f such that the martingale

belongs to martingale-Hp.

Doob's maximal inequality implies that martingale-Hp coincides with Lp(Ω, Σ, P) when 1 < p < ∞. The interesting space is martingale-H1, whose dual is martingale-BMO ( Garsia 1973 ).

The Burkholder–Gundy inequalities (when p > 1) and the Burgess Davis inequality (when p = 1) relate the Lp-norm of the maximal function to that of the square function of the martingale

Martingale-Hp can be defined by saying that S(f)∈ Lp( Garsia 1973 ).

Martingales with continuous time parameter can also be considered. A direct link with the classical theory is obtained via the complex Brownian motion (Bt) 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-Hp iff F  Hp( Burkholder, Gundy & Silverstein 1971 ).

Example: dyadic martingale-H1

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

then the martingale-H1 norm of f can be defined by the L1 norm of the square function

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

Notes

  1. Beurling, Arne (1948). "On two problems concerning linear transformations in Hilbert space". Acta Mathematica . 81: 239–255. doi: 10.1007/BF02395019 .
  2. 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 .

Related Research Articles

<span class="mw-page-title-main">Euler's formula</span> Complex exponential in terms of sine and cosine

Euler's formula, named after Leonhard Euler, is a mathematical formula in complex analysis that establishes the fundamental relationship between the trigonometric functions and the complex exponential function. Euler's formula states that for any real number x:

<span class="mw-page-title-main">Laplace's equation</span> Second-order partial differential equation

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as

<span class="mw-page-title-main">Spherical harmonics</span> Special mathematical functions defined on the surface of a sphere

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematics, the symmetry of second derivatives refers to the possibility of interchanging the order of taking partial derivatives of a function

In mathematics, the Schwarzian derivative is an operator similar to the derivative which is invariant under Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms and hypergeometric functions. It plays an important role in the theory of univalent functions, conformal mapping and Teichmüller spaces. It is named after the German mathematician Hermann Schwarz.

In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

In mathematics, the Riesz–Thorin theorem, often referred to as the Riesz–Thorin interpolation theorem or the Riesz–Thorin convexity theorem, is a result about interpolation of operators. It is named after Marcel Riesz and his student G. Olof Thorin.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory.

In harmonic analysis in mathematics, a function of bounded mean oscillation, also known as a BMO function, is a real-valued function whose mean oscillation is bounded (finite). The space of functions of bounded mean oscillation (BMO), is a function space that, in some precise sense, plays the same role in the theory of Hardy spaces Hp that the space L of essentially bounded functions plays in the theory of Lp-spaces: it is also called John–Nirenberg space, after Fritz John and Louis Nirenberg who introduced and studied it for the first time.

In mathematics, specifically in complex analysis, Fatou's theorem, named after Pierre Fatou, is a statement concerning holomorphic functions on the unit disk and their pointwise extension to the boundary of the disk.

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In the field of mathematical analysis, an interpolation space is a space which lies "in between" two other Banach spaces. The main applications are in Sobolev spaces, where spaces of functions that have a noninteger number of derivatives are interpolated from the spaces of functions with integer number of derivatives.

In statistics, the Khmaladze transformation is a mathematical tool used in constructing convenient goodness of fit tests for hypothetical distribution functions. More precisely, suppose are i.i.d., possibly multi-dimensional, random observations generated from an unknown probability distribution. A classical problem in statistics is to decide how well a given hypothetical distribution function , or a given hypothetical parametric family of distribution functions , fits the set of observations. The Khmaladze transformation allows us to construct goodness of fit tests with desirable properties. It is named after Estate V. Khmaladze.

<span class="mw-page-title-main">Hilbert space</span> Type of topological vector space

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

In probability theory and directional statistics, a wrapped probability distribution is a continuous probability distribution that describes data points that lie on a unit n-sphere. In one dimension, a wrapped distribution consists of points on the unit circle. If is a random variate in the interval with probability density function (PDF) , then is a circular variable distributed according to the wrapped distribution and is an angular variable in the interval distributed according to the wrapped distribution .

In mathematics, the Littlewood subordination theorem, proved by J. E. Littlewood in 1925, is a theorem in operator theory and complex analysis. It states that any holomorphic univalent self-mapping of the unit disk in the complex numbers that fixes 0 induces a contractive composition operator on various function spaces of holomorphic functions on the disk. These spaces include the Hardy spaces, the Bergman spaces and Dirichlet space.

In mathematics, singular integral operators of convolution type are the singular integral operators that arise on Rn and Tn through convolution by distributions; equivalently they are the singular integral operators that commute with translations. The classical examples in harmonic analysis are the harmonic conjugation operator on the circle, the Hilbert transform on the circle and the real line, the Beurling transform in the complex plane and the Riesz transforms in Euclidean space. The continuity of these operators on L2 is evident because the Fourier transform converts them into multiplication operators. Continuity on Lp spaces was first established by Marcel Riesz. The classical techniques include the use of Poisson integrals, interpolation theory and the Hardy–Littlewood maximal function. For more general operators, fundamental new techniques, introduced by Alberto Calderón and Antoni Zygmund in 1952, were developed by a number of authors to give general criteria for continuity on Lp spaces. This article explains the theory for the classical operators and sketches the subsequent general theory.

In mathematics, singular integral operators on closed curves arise in problems in analysis, in particular complex analysis and harmonic analysis. The two main singular integral operators, the Hilbert transform and the Cauchy transform, can be defined for any smooth Jordan curve in the complex plane and are related by a simple algebraic formula. In the special case of Fourier series for the unit circle, the operators become the classical Cauchy transform, the orthogonal projection onto Hardy space, and the Hilbert transform a real orthogonal linear complex structure. In general the Cauchy transform is a non-self-adjoint idempotent and the Hilbert transform a non-orthogonal complex structure. The range of the Cauchy transform is the Hardy space of the bounded region enclosed by the Jordan curve. The theory for the original curve can be deduced from that of the unit circle, where, because of rotational symmetry, both operators are classical singular integral operators of convolution type. The Hilbert transform satisfies the jump relations of Plemelj and Sokhotski, which express the original function as the difference between the boundary values of holomorphic functions on the region and its complement. Singular integral operators have been studied on various classes of functions, including Hölder spaces, Lp spaces and Sobolev spaces. In the case of L2 spaces—the case treated in detail below—other operators associated with the closed curve, such as the Szegő projection onto Hardy space and the Neumann–Poincaré operator, can be expressed in terms of the Cauchy transform and its adjoint.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somehow more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.

References