ein vollständiger metrischer Raum von in \([\mathbb{E}=\left\{ z\in \mathbb{C}:\left| z \right| \lt 1 \right\}]\) holomorphen Funktionen.

Hardy-Räume sind von großer Bedeutung in der komplexen und reellen Analysis. Zur genauen Definition sei \([0 \lt p\le \infty ]\). Ist f holomorph in \(\mathbb{E}\) und 0 \([0 \lt r \lt 1]\), so setzt man für p < ∞ \begin{eqnarray}M_{p}(r,f):=\Biggl(\frac{1}{2\pi}\int\limits_{0}^{2\pi}\vert f(re^{it})\vert^{p}dt\Biggr)^{1/p}\end{eqnarray} und für p = ∞ \begin{eqnarray}M_{p}(r,f):=\max\limits_{t\in [0,2\pi)}\vert f(re^{it})\vert .\end{eqnarray} Dann ist M_p(r, f) eine monoton wachsende Funktion von r und logM_p(r, f) eine konvexe Funktion von logr. Der Hardy-Raum H^p ist nun die Menge aller \([f\in \mathcal{O}\left( \mathbb{E} \right)]\) derart, daß \begin{eqnarray}\Vert f\Vert_{p}:=\sup\limits_{0< r< 1}M_{p}(r,f)=\lim\limits_{r\rightarrow 1}M_{p}(r,f)<\infty.\end{eqnarray} Eine Funktion f ∈ H^p nennt man auch H^p-Funktion. Mit der punktweisen Skalarmultiplikation und Addition von Funktionen ist H^p ein komplexer Vektorraum. Für p ≥ 1 ist || · ||_p eine Norm auf H^p, und H^p damit ein Banachraum. Sind f, g ∈ H^∞, so ist auch f_g ∈ H^∞ und daher H^∞ eine Banach-Algebra. Für f ∈ H^∞ gilt \([\|f{{\|}_{\infty }}={{\sup }_{z\in \mathbb{E}}}\left| f\left( z \right) \right|]\).

Es gilt \begin{eqnarray}H^{\infty}\subset H^{q}\subset H^{p}\subset H^{1}\end{eqnarray} für 0 < p ≤ q ≤ ∞. Dabei sind alle diese Inklusionen echt, d. h. für p ≠ q gilt H^p ≠ H^q. Für 0 < p < 1 ist ||f||_p keine Norm mehr, aber durch \begin{eqnarray}d(f,g)=\Vert f-g\Vert_{p}^{p}\end{eqnarray} wird eine Metrik auf H^p definiert, und H^p ist damit ein vollständiger metrischer Raum.

Einige Beispiele:

1. Für f(z) = 1/(1 − z) gilt f ∈ H^p für 0 < p < 1, aber f ∉ H¹.
<?PageNum _368
2. Ist c > 1 und \begin{eqnarray}f(z)=\frac{1}{1-z}\Biggl(\frac{1}{z}\log\frac{1}{1-z}\Biggr)^{-c},\end{eqnarray} so ist f ∈ H¹.
3. Für \begin{eqnarray}f(z)=i\log\frac{1+z}{1-z}\end{eqnarray} gilt f ∈ H^p für 1 ≤ p < ∞.
4. Ist f holomorph in \(\mathbb{E}\) und das Bildgebiet f(\(\mathbb{E}\)) in einem Winkelraum mit Öffnungswinkel \([\alpha \,\in \,(0,\,2\pi ]]\) enthalten, so ist f ∈ H^p für \([0

Der Raum H² ist sogar ein Hilbertraum mit dem Skalarprodukt \begin{eqnarray}\langle f,g\rangle=\frac{1}{2\pi}\int\limits_{0}^{2\pi}f(re^{it})\overline{g(re^{it})}dt.\end{eqnarray} Ist \([f(z)=\sum_{n=0}^{\infty}\,{{a}_{n}}{{z}^{n}}]\) die Taylor-Reihe von \([f\in \mathcal{O}\left( \mathbb{E} \right)]\), so gilt f ∈ H² genau dann, wenn \begin{eqnarray}\sum\limits_{n=0}^{\infty}\vert a_{n}\vert^{2}<\infty.\end{eqnarray} In diesem Fall gilt \begin{eqnarray}\Vert f\Vert_{2}^{2}=\sum\limits_{n=0}^{\infty}\vert a_{n}\vert^{2}.\end{eqnarray} Für p ≠ 2 kann man die Zugehörigkeit von f zu H^p nicht so einfach an den Taylor-Koeffizienten a_n ablesen. Es gilt folgender Satz.

1. (a) Ist f ∈ H¹, so gilt \(\underset{{n\to\infty}}\lim{{a}_{n}}=0\).
2. (b) Ist 1 < p ≤ 2 und f ∈ H^p, so gilt \begin{eqnarray}\sum\limits_{n=0}^{\infty}\vert a_{n}\vert^{q}<\infty,\end{eqnarray}wobei \begin{eqnarray}\frac{1}{p}+\frac{1}{q}=1.\end{eqnarray}
3. (c) Ist 1 ≤ q ≤ 2 und \({\sum}_{n=0}^{\infty }{{\left| {{a}_{n}} \right|}^{q}}\lt \infty\), so ist f ∈ H^p, wobei \(\frac{1}{p}+\frac{1}{q}=1\), falls q > 1 und p = ∞, falls q = 1.
4. (d) Ist 0 < p ≤ 2 und f ∈ H^p, so gilt \begin{eqnarray}\sum\limits_{n=0}^{\infty}n^{p-2}\vert a_{n}\vert^{p}<\infty.\end{eqnarray}
5. (e) Ist 2 ≤ p < ∞ und \(\sum_{n=0}^{\infty}{{n}^{p-2}}{{\left| {{a}_{n}} \right|}^{p}}<\infty\), so ist f ∈ H^p.

Die Funktion \begin{eqnarray}f(z)=\frac{1}{1-z}\log\frac{1}{1-z}\end{eqnarray} gehört zu H^p für alle p < 1, hat aber unbeschränkte Taylor-Koeffizienten.

Eine wichtige Eigenschaft von H^p-Funktionen ist die Existenz radialer Randwerte.

Es sei 0 < p ≤ ∞ und f ∈ H^p. Dann existiert für fast alle t ∈ [0, 2π) der radiale Grenzwert \begin{eqnarray}f^{*}(e^{it}):=\lim\limits_{r\rightarrow 1}f(re^{it}),\end{eqnarray}und es gilt \(f*\in {{L}^{p}}\left( \mathbb{T} \right)\)und (falls \(f\left( z \right)\ \unicode{x02262}\ 0\)) \(\log \left| f* \right|\in {{L}^{1}}\left( \mathbb{T} \right)\), wobei \(\mathbb{T}=\partial \mathbb{E}=\left\{ z:\left| z \right|=1 \right\}\). Es gilt \(\|f{{\|}_{p}}=\|f*{{\|}_{p}}\), wobei H \(\|f*{{\|}_{p}}\)die Norm von f* im Raum \({{L}^{p}}(\mathbb{T})\)bezeichnet.

Weiter gilt für p ≥ 1 und z ∈ \(\mathbb{E}\)die Cauchysche Integralformel \begin{eqnarray}f(z)=\frac{1}{2\pi i}\int\limits_{\mathbb{T}}\frac{f^{*}(\zeta)}{\zeta-z}d\zeta\end{eqnarray}und die Poissonsche Integralformel \begin{eqnarray}f(z)=\int\limits_{\mathbb{T}}P(\zeta,z)f^{*}(\zeta)\vert d\zeta\vert.\end{eqnarray}Dabei ist P(ζ, z) der reelle Poisson-Kern, d. h. \begin{eqnarray}P(\zeta,z)=\frac{1}{2\pi}\frac{1-\vert z\vert^{2}}{\vert\zeta-z\vert^{2}}=\frac{1}{2\pi}\ \text{Re}\ \frac{\zeta+z}{\zeta-z}.\end{eqnarray}Für 0 < p < ∞ gilt noch \begin{eqnarray}\lim\limits_{r\rightarrow 1}\int\limits_{0}^{2\pi}\vert f(re^{it})\vert^{p}dt=\int\limits^{2\pi}_{0}\vert f^{*}(e^{it})\vert^{p}dt\end{eqnarray}und \begin{eqnarray}\lim\limits_{r\rightarrow 1}\int\limits_{0}^{2\pi}\vert f(re^{it})=f^{*}(e^{it}\vert^{p}dt=0.\end{eqnarray}

Die zu f ∈ H^p gehörige Funktion \(f*\in {{L}^{p}}\left( \mathbb{T} \right)\) nennt man auch Randfunktion von f. Für die Frage, welche Funktionen \(f*\in {{L}^{p}}\left( \mathbb{T} \right)\) als Randfunktionen von H^p-Funktionen vorkommen, spielen die Fourierkoeffizienten \(\hat{\varphi }\left( n \right)\) von Funktionen \(\varphi \in {{L}^{1}}\left( \mathbb{T} \right)\) eine entscheidende Rolle. Diese sind definiert durch \begin{eqnarray}\hat{\phi}(n):=\frac{1}{2\pi}\int\limits_{0}^{2\pi}\varphi(e^{it})e^{-int}dt,\ \ n\in \mathbb{Z}.\end{eqnarray} Damit gilt folgender Satz.

Es sei f ∈ H¹und \(f\left( z \right)=\sum_{n=0}^{\infty}\,{{a}_{n}}{{z}^{n}}\). Dann gilt \(\widehat{f*}(n)={{a}_{n}}\)für \(n\in {{\mathbb{N}}_{0}}\)und \(\widehat{f*}(n)=0\)für n < 0.

Ist 1 ≤ p ≤ ∞ und f \(f*\in {{L}^{p}}\left( \mathbb{T} \right)\)gegeben, so existiert eine Funktion f ∈ H^p derart, daß (1) genau dann gilt, wenn \(\widehat{f*}(n)=0\)für alle n < 0.

Im Fall 1 < p < ∞ ist die Riesz-Projektion \begin{eqnarray}\underset{n=-\infty }{\overset{\infty }{\mathop \sum }}\,\hat{\phi }(n){{e}_{n}}\mapsto \underset{n=0}{\overset{\infty }{\mathop \sum }}\,\hat{\phi }(n){{e}_{n}},\end{eqnarray}<?PageNum _369wobei e_n(t) = e^int, stetig auf L^p(\(\mathbb{T}\)), und H^p(\(\mathbb{T}\)) istein sog. komplementierter Unterraum von L^p(\(\mathbb{T}\)),der zu L^p (\(\mathbb{T}\)) isomorph ist (Isomorphie vonBanachräumen); hierbei ist wieder \(\mathbb{T}\) = {z: |z| = i}.

Analoge Aussagen gelten in der oberen Halbebene {x + iy : y > 0}, wenn man von \begin{eqnarray}M_{p}(F,y)=\Biggl(\int\limits_{-\infty}^{\infty}\vert F(x+iy)\vert^{p}dx\Biggr)^{1/p}\end{eqnarray} ausgeht; man erhält dann die Hardy-Räume H^p(ℝ). Stein und Weiss haben daraus eine Theorie der „reellen“ Hardy-Räume \(\mathcal{H}\)^p(ℝ^d) entwickelt. Für d = 1 besteht \(\mathcal{H}\)^p(ℝ) aus denjenigen Funktionen, die Realteil einer Funktion aus H^p(ℝ) sind. Es stellt sichheraus, daß für p > 1 mit dieser Definition \(\mathcal{H}\)^p(ℝ) = L^p(ℝ) gilt. Für p = 1 erhält man einen echtenTeilraum von L¹(ℝ), der folgendermaßen mittelsder Hilbert-Transformation T charakterisiert werden kann: \begin{eqnarray}f\in \mathcal{H}^{1}(\mathbb{R})\Longleftrightarrow f\in L^{1}(\mathbb{R})\ \&\ Tf\in L^{1}(\mathbb{R}).\end{eqnarray}

Analog definiert man \(\mathcal{H}\)¹(ℝ^d) mittels der höherdi-mensionalen Analoga der Hilbert-Transformation, nämlich der Riesz-Transformationen. \(\mathcal{H}\)¹(ℝ^d) wirddann zu einem Banachraum. Der tiefliegende Dualitätssatz von Fefferman und Stein beschreibt denDualraum von \(\mathcal{H}\)¹ als den John-Nirenberg-RaumBMO (BMO-Raum).

Zur Konstruktion weiterer Beispiele von H^p-Funktionen sei zunächst \begin{eqnarray}B(z)=z^{m}\prod\limits_{n}\frac{\vert a_{n}\vert}{a_{n}}\frac{a_{n}-z}{1-\bar{a}_{n}z}\end{eqnarray} ein Blaschke-Produkt, wobei m ∈ ℕ₀, 0 < |a_n| < 1 und \begin{eqnarray}\sum\limits_{n}(1-\vert a_{n}\vert)\lt \infty.\end{eqnarray} Dabei kann die Menge der Zahlen a_n (die nicht notwendig paarweise verschieden sein müssen) auchendlich oder sogar leer sein. Im letzteren Fall ist B(z) = z^m. Dann ist B ∈ H^∞. Genauer gilt |B(z)| < 1 für z ∈ \(\mathbb{E}\) und B*(e^it) = 1 für fast alle t ∈ [0, 2π).Eine Funktion f ∈ H^∞ mit |f(z)| < 1 für z ∈ \(\mathbb{E}\) und f*(e^it) = 1 für fast alle t ∈ [0, 2π) nennt manauch innere Funktion. Blaschke-Produkte sind alsospezielle innere Funktionen.

Weitere innere Funktionen erhält man durch \begin{eqnarray}S(z):=\exp\Biggl(-\int\limits_{0}^{2\pi}\frac{e^{it}+z}{e^{it}-z}d\mu(t)\Biggr),\end{eqnarray} wobei μ : [0, 2π) → ℝ eine beschränkte monoton wachsende Funktion ist, die μ′(t) = 0 für fast alle t ∈ [0, 2π) erfüllt. Das Integral ist als Riemann-Stieltjes-Integral zu verstehen. Ist z. B. μ(t) = 0 für t = 0 und μ(t) = 1 für 0 < t < 2π, so ergibt sich \begin{eqnarray}S(z)=\exp\Biggl(-\frac{1+z}{1-z}\Biggr).\end{eqnarray} Funktionen S der Gestalt (3) besitzen keine Nullstellen in \(\mathbb{E}\), und man nennt sie auch singuläre innere Funktionen.

Eine äußere Funktion F ∈ H^p, 0 < p ≤ ∞ ist eine Funktion der Gestalt \begin{eqnarray}F(z):=e^{i\gamma}\exp\Biggl(\frac{1}{2\pi}\int\limits_{0}^{2\pi}\frac{e^{it}+z}{e^{it}-z}\log\psi(t)dt\Biggr).\end{eqnarray} Dabei ist γ ∈ ℝ, und die Funktion ψ : [0, 2π) → [0, ∞) erfüllt die Bedingungen log ψ ∈ L¹[0, 2π) und ψ ∈ L^p[0, 2π). Äußere Funktionen besitzen ebenfalls keine Nullstellen in \(\mathbb{E}\). Eine in \(\mathbb{E}\) holomorphe Funktion F mit Re F(z) > 0 für alle z ∈ \(\mathbb{E}\) ist eine äußere Funktion in H^p für alle p < 1.

Ist B ein Blaschke-Produkt, S eine singuläre innere Funktion und F eine äußere Funktion in H^p, so ist f : = BSF ∈ H^p. Umgekehrt kann jede Funktion f ∈ H^p faktorisiert werden in der Form f = BSF. Dabei besitzt das Blaschke-Produkt B dieselben Nullstellen mit denselben Nullstellenordnungen wie f. Sind also a₁, a₂, … die Nullstellen von f ∈ H_p in \(\mathbb{E}\) \{0} (wobei jede Nullstelle so oft aufgeführt wird, wie ihre Ordnung angibt), so gilt \begin{eqnarray}\sum\limits_{n=1}^{\infty}(1-\vert a_{n}\vert)<\infty.\end{eqnarray}H¹-Funktionen können zum Beispiel in der Theorie der konformen Abbildungen angewandt werden. Dazu sei f eine konforme Abbildung von \(\mathbb{E}\) auf ein Gebiet G ⊂ ℂ, dessen Rand ∂G eine Jordan-Kurve ist. Dann ist ∂G rektifizierbar genau dann, wenn f′ ∈ H¹.

Hieraus lassen sich noch zwei Folgerungen ableiten.

1. Ist \(f(z)=\sum_{n=0}^{\infty}{{a}_{n}}{{z}^{n}}\) und \(\sum_{n=0}^{\infty}\left| {{a}_{n}} \right|<\infty\), so ist ∂G rektifizierbar.
2. Ist ∂G rektifizierbar und L die Länge von ∂G, so ist das Bild jedes Durchmessers von \(\mathbb{E}\) unter f rektifizierbar und hat eine Länge von höchstens \(\frac{L}{2}\).

Ist f eine schlichte Funktion in \(\mathbb{E}\), so ist f ∈ H^p für alle p < \(\frac{1}{2}\), und für den singulären Faktor von f gilt S(z) ≡ 1. Für die Koebe-Funktion \begin{eqnarray}k(z)=\frac{z}{(1-z)^{2}}\end{eqnarray} gilt k ∉ H^1/2.

[1] Duren, P. L.: Theory of H^p Spaces. Academic Press London/Orlando, 1970.
[2] Garnett, J. B.: Bounded Analytic Functions. Academic Press London/Orlando, 1981.
[3] Rudin, W.: Real and Complex Analysis. McGraw-Hill New York, 3. Auflage 1987.
[4] Stein, E. M.: Harmonic Analysis. Princeton University Press Princeton, 1993.