Hardy Spaces ($1<p<\infty$) over Lipschitz Domains

Abstract

Let $Γ$ be a Lipschitz curve on the complex plane $\mathbb{C}$ and $Ω_+$ is the domain above $Γ$, we define Hardy space $H^p(Ω_+)$ as the set of holomorphic functions $F$ satisfying $\sup_{τ>0}(\int_Γ |F(ζ+\mathrm{i}τ)|^p |\,\mathrm{d}ζ|)^{\frac1p}< \infty$. We mainly focus on the case of $1<p<\infty$ in this paper, and prove that if $F(w)\in H^p(Ω_+)$, then $F(w)$ has non-tangential boundary limit $F(ζ)$ a.e. on $Γ$, and $F(w)$ is the Cauchy integral of $F(ζ)$. We denote the conformal mapping from $\mathbb{C}_+$ onto $Ω_+$ as $Φ$, and then prove that, $ H^p(Ω_+)$ is isomorphic to $H^p(\mathbb{C}_+)$, the classical Hardy space on upper half plane, under the mapping $T\colon F\to F(Φ(z))\cdot (Φ'(z))^\frac{1}{p}$, where $F\in H^p(Ω_+)$.