<p>Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(D\subset {\mathbb {C}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be a bounded, strongly pseudoconvex domain whose boundary <i>bD</i> satisfies the minimal regularity condition of class <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. A 2017 result of Lanzani &amp; Stein [<CitationRef CitationID="CR17">17</CitationRef>] states that the Cauchy–Szegő projection <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {S}_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">S</mi> <mi>ω</mi> </msub> </math></EquationSource> </InlineEquation> defined with respect to a bounded, positive continuous multiple <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> of induced Lebesgue measure, maps <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L^p(bD, \omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mi>D</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^p(bD, \omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mi>D</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> continuously for any <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(1&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Here we show that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {S}_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">S</mi> <mi>ω</mi> </msub> </math></EquationSource> </InlineEquation> satisfies explicit quantitative bounds in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(L^p(bD, \Omega _p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mi>D</mi> <mo>,</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>p</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, for any <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(1&lt;p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and for any <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Omega _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> in the maximal class of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-measures, that is for <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\Omega _p = \psi _p\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>p</mi> </msub> <mo>=</mo> <msub> <mi>ψ</mi> <mi>p</mi> </msub> <mi>σ</mi> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\psi _p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ψ</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> is a Muckenhoupt <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-weight and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> is the induced Lebesgue measure (with <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation>’s as above being a sub-class). Earlier results rely upon an asymptotic expansion and subsequent pointwise estimates of the Cauchy–Szegő kernel, but these are unavailable in our setting of minimal regularity of <i>bD</i>; at the same time, more recent techniques that allow to handle domains with minimal regularity [<CitationRef CitationID="CR17">17</CitationRef>] are not applicable to <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-measures. It turns out that the method of quantitative extrapolation is an appropriate replacement for the missing tools. To finish, we identify a class of holomorphic Hardy spaces defined with respect to <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(A_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-measures for which a meaningful notion of Cauchy-Szegő projection can be defined when <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

The Cauchy–Szegő Projection for Domains in \(\mathbb {C}^n\) with Minimal Smoothness: Weighted Theory

  • Xuan Thinh Duong,
  • Loredana Lanzani,
  • Ji Li,
  • Brett D. Wick

摘要

Let \(D\subset {\mathbb {C}}^n\) D C n be a bounded, strongly pseudoconvex domain whose boundary bD satisfies the minimal regularity condition of class \(C^2\) C 2 . A 2017 result of Lanzani & Stein [17] states that the Cauchy–Szegő projection \(\mathcal {S}_\omega \) S ω defined with respect to a bounded, positive continuous multiple \(\omega \) ω of induced Lebesgue measure, maps \(L^p(bD, \omega )\) L p ( b D , ω ) to \(L^p(bD, \omega )\) L p ( b D , ω ) continuously for any \(1<p<\infty \) 1 < p < . Here we show that \(\mathcal {S}_\omega \) S ω satisfies explicit quantitative bounds in \(L^p(bD, \Omega _p)\) L p ( b D , Ω p ) , for any \(1<p<\infty \) 1 < p < and for any \(\Omega _p\) Ω p in the maximal class of \(A_p\) A p -measures, that is for \(\Omega _p = \psi _p\sigma \) Ω p = ψ p σ where \(\psi _p\) ψ p is a Muckenhoupt \(A_p\) A p -weight and \(\sigma \) σ is the induced Lebesgue measure (with \(\omega \) ω ’s as above being a sub-class). Earlier results rely upon an asymptotic expansion and subsequent pointwise estimates of the Cauchy–Szegő kernel, but these are unavailable in our setting of minimal regularity of bD; at the same time, more recent techniques that allow to handle domains with minimal regularity [17] are not applicable to \(A_p\) A p -measures. It turns out that the method of quantitative extrapolation is an appropriate replacement for the missing tools. To finish, we identify a class of holomorphic Hardy spaces defined with respect to \(A_p\) A p -measures for which a meaningful notion of Cauchy-Szegő projection can be defined when \(p=2\) p = 2 .