Math 2.0

Potential theory Definition

Hardy spaces of harmonic functions

Builds on Harmonic functionLp spacePoisson kernelHardy spaceM. Riesz theorem on the Hilbert transform

Definition

Let n≥2n \ge 2, let B={x∈ℝn:∣x∣<1}B = \set{x \in \R^n : \abs{x} < 1} be the open unit ball, and let S=∂BS = \partial B be the unit sphere. Let σ\sigma be the rotation-invariant Borel probability measure on SS. Let 1≤p<∞1 \le p < \infty. The harmonic Hardy space hp(B)h^p(B) is the set of harmonic functions u ⁣:B→ℝu \colon B \to \R such that ∥u∥hp=sup⁡0<r<1(∫S∣u(rζ)∣p dσ(ζ))1/p<∞.\norm{u}_{h^p} = \sup_{0 < r < 1} \left( \int_S \abs{u(r\zeta)}^p \, d\sigma(\zeta) \right)^{1/p} < \infty. The space h∞(B)h^\infty(B) is the set of bounded harmonic functions on BB, with ∥u∥h∞=sup⁡B∣u∣\norm{u}_{h^\infty} = \sup_B \abs{u}.

Remarks

Each hph^p with 1≤p≤∞1 \le p \le \infty is a Banach space for the norm above. Write P(x,ζ)=(1−∣x∣2)/∣x−ζ∣nP(x, \zeta) = (1 - \abs{x}^2) / \abs{x - \zeta}^n for the Poisson kernel of BB. For 1<p≤∞1 < p \le \infty, u∈hpu \in h^p if and only if u(x)=∫SP(x,ζ)f(ζ) dσ(ζ)u(x) = \int_S P(x, \zeta) f(\zeta)\, d\sigma(\zeta) for some ff in the Lp space Lp(σ)L^p(\sigma), and then ∥u∥hp=∥f∥Lp\norm{u}_{h^p} = \norm{f}_{L^p}. For p=1p = 1, u∈h1u \in h^1 if and only if uu is the Poisson integral of a finite signed Borel measure on SS. Example: fix η∈S\eta \in S and let u=P(⋅,η)u = P(\cdot, \eta). It is positive and harmonic, and by the mean value property its mean over each sphere ∣x∣=r\abs{x} = r is u(0)=1u(0) = 1, so u∈h1u \in h^1 with norm 11. It is not in hph^p for p>1p > 1, since it is the Poisson integral of the point mass at η\eta, which has no LpL^p density. Non-example: in the plane, let u=Re⁡(1+z1−z)2u = \operatorname{Re}\left( \frac{1 + z}{1 - z} \right)^2 on the unit disc. For eiθ≠1e^{i\theta} \ne 1, u(reiθ)→−cot⁡2(θ/2)u(r e^{i\theta}) \to -\cot^2(\theta / 2) as r→1r \to 1, and this function is not integrable on the circle. By Fatou's lemma the means of ∣u∣\abs{u} over circles are unbounded, so u∉h1u \notin h^1. In the plane, if 1<p<∞1 < p < \infty and f=u+ivf = u + iv is holomorphic with v(0)=0v(0) = 0, then u∈hpu \in h^p if and only if ff is in the holomorphic Hardy space HpH^p, by the M. Riesz theorem. This fails for p=1p = 1 and for p=∞p = \infty.

Reading path

To understand this page from the ground up, read these 19 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Conjugate function concept
  2. Euclidean space object
  3. Function concept
  4. Hardy space concept
  5. Hilbert transform concept
  6. Lp space concept
  7. Poisson kernel concept
  8. Total derivative concept
  9. Function of several variables concept
  10. Vector-valued function concept
  11. M. Riesz theorem on the Hilbert transform statement
  12. Differentiable function of several variables concept
  13. Partial derivative concept
  14. Vector field concept
  15. Gradient concept
  16. Divergence concept
  17. Laplacian concept
  18. Harmonic function concept
  19. Hardy spaces of harmonic functions definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hardy_space
About this page
TagS2T8X7QYNM
URIm2://S2T8X7QYNM
Kinddefinition
WritingW0 stub
MSC31B25, 31A20, 30H10
DefinesHardy spaces of harmonic functions
UsesHarmonic function, Lp space, Poisson kernel, Hardy space, M. Riesz theorem on the Hilbert transform

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.