<p>We decompose <i>p</i>-integrable functions on the boundary of a simply connected Lipschitz domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset {\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> into the sum of the boundary values of two, uniquely determined holomorphic functions, where one is holomorphic in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> while the other is holomorphic in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}{\setminus } \overline{\Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> and vanishes at infinity. This decomposition has been described previously for smooth functions on the boundary of a smooth domain (Bell, The Cauchy transform, potential theory, and conformal mapping, CRC Press, Boca Raton, 2016). Uniqueness of the decomposition is elementary in the smooth case, but extending it to the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> setting relies upon a classical albeit little-known regularity theorem for the holomorphic Hardy space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(h^p(b\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>h</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of planar domains for which we provide a new proof that is valid also in higher dimensions. An immediate consequence of our result will be a new characterization of the kernel of the Cauchy transform acting on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1926_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p(b\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. These results give a new perspective on the classical Dirichlet problem for harmonic functions and the Poisson formula even in the case of the disc. Further applications are presented along with directions for future work.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A New Way to Express Boundary Values in Terms of Holomorphic Functions on Planar Lipschitz Domains

  • Steven R. Bell,
  • Loredana Lanzani,
  • Nathan A. Wagner

摘要

We decompose p-integrable functions on the boundary of a simply connected Lipschitz domain \(\Omega \subset {\mathbb {C}}\) Ω C into the sum of the boundary values of two, uniquely determined holomorphic functions, where one is holomorphic in \(\Omega \) Ω while the other is holomorphic in \({\mathbb {C}}{\setminus } \overline{\Omega }\) C \ Ω ¯ and vanishes at infinity. This decomposition has been described previously for smooth functions on the boundary of a smooth domain (Bell, The Cauchy transform, potential theory, and conformal mapping, CRC Press, Boca Raton, 2016). Uniqueness of the decomposition is elementary in the smooth case, but extending it to the \(L^p\) L p setting relies upon a classical albeit little-known regularity theorem for the holomorphic Hardy space \(h^p(b\Omega )\) h p ( b Ω ) of planar domains for which we provide a new proof that is valid also in higher dimensions. An immediate consequence of our result will be a new characterization of the kernel of the Cauchy transform acting on \(L^p(b\Omega )\) L p ( b Ω ) . These results give a new perspective on the classical Dirichlet problem for harmonic functions and the Poisson formula even in the case of the disc. Further applications are presented along with directions for future work.