<p>Let <i>n</i> ⩾ 2 and <i>s</i> ∈ (<i>n</i> − 2, <i>n</i>). Assume that Ω ⊂ ℝ<sup><i>n</i></sup> is a one-sided bounded non-tangentially accessible domain with <i>s</i>-Ahlfors regular boundary and <i>σ</i> is the surface measure on the boundary of Ω, denoted by <i>∂</i>Ω. Let <i>β</i> be a non-negative measurable function on <i>∂</i>Ω satisfying <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\beta \in {{L}^{{q_0}}}(\partial\Omega, \, \sigma)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>β</mi> <mo>∈</mo> <mrow> <msup> <mrow> <mi>L</mi> </mrow> <mrow> <mrow> <msub> <mi>q</mi> <mn>0</mn> </msub> </mrow> </mrow> </msup> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mspace width="thinmathspace" /> <mi>σ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({q_0} \in ({s \over {s+2-n}},\, \infty]\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>q</mi> <mn>0</mn> </msub> </mrow> <mo>∈</mo> <mo stretchy="false">(</mo> <mrow> <mfrac> <mi>s</mi> <mrow> <mi>s</mi> <mo>+</mo> <mn>2</mn> <mo>−</mo> <mi>n</mi> </mrow> </mfrac> </mrow> <mo>,</mo> <mspace width="thinmathspace" /> <mi mathvariant="normal">∞</mi> <mo stretchy="false">]</mo> </math></EquationSource> </InlineEquation> and <i>β</i> ⩾ <i>a</i><sub>0</sub> on <i>E</i><sub>0</sub> ⊂ <i>∂</i>Ω, where <i>a</i><sub>0</sub> is a given positive constant and <i>E</i><sub>0</sub> ⊂ <i>∂</i>Ω is a <i>σ</i>-measurable set with <i>σ</i>(<i>E</i><sub>0</sub>) &gt; 0. In this paper, for any <i>f</i> ∈ <i>L</i><sup><i>p</i></sup>(<i>∂</i>Ω, <i>σ</i>) with <i>p</i> ∈ (<i>s</i>/(<i>s</i> + 2 − <i>n</i>), ∞], we obtain the existence and uniqueness, the global Hölder regularity, and the boundary Harnack inequality of the weak solution to the Robin problem <Equation ID="Equ1"> <EquationSource Format="TEX">\(\begin{cases}{-{\rm div}(A \nabla u) = 0} &amp; {\rm in} \; \Omega,\\A \nabla u \cdot \nu + \beta u = f &amp; {\rm on} \; \partial\Omega,\end{cases}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo>{</mo> <mtable columnalign="left left" columnspacing="1em" displaystyle="false" rowspacing=".2em"> <mtr> <mtd> <mrow> <mo>−</mo> <mrow> <mi mathvariant="normal">div</mi> </mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> </mrow> </mtd> <mtd> <mrow> <mi mathvariant="normal">in</mi> </mrow> <mspace width="thickmathspace" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mtd> </mtr> <mtr> <mtd> <mi>A</mi> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>⋅</mo> <mi>ν</mi> <mo>+</mo> <mi>β</mi> <mi>u</mi> <mo>=</mo> <mi>f</mi> </mtd> <mtd> <mrow> <mi mathvariant="normal">on</mi> </mrow> <mspace width="thickmathspace" /> <mi mathvariant="normal">∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mtd> </mtr> </mtable> <mo fence="true" stretchy="true" /> </mrow> </math></EquationSource> </Equation> where the coefficient matrix <i>A</i> is real-valued, bounded, and measurable, which satisfies the uniform ellipticity condition, and where <Emphasis Type="BoldItalic">ν</Emphasis> denotes the outward unit normal to <i>∂</i>Ω. Furthermore, we establish the existence, upper bound pointwise estimates, and the Hölder regularity of Green’s functions associated with this Robin problem. As applications, we further prove that the harmonic measure associated with this Robin problem is mutually absolutely continuous with respect to the surface measure <i>σ</i> and also provide a quantitative characterization of the mutual absolute continuity at small scales. These results extend the corresponding results established by David et al. (2024) via weakening their assumption that <i>β</i> is a given positive constant.</p>

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

Robin problems of elliptic equations on rough domains: Hölder regularity, Green’s functions, and harmonic measures

  • Jiayi Wang,
  • Dachun Yang,
  • Sibei Yang

摘要

Let n ⩾ 2 and s ∈ (n − 2, n). Assume that Ω ⊂ ℝn is a one-sided bounded non-tangentially accessible domain with s-Ahlfors regular boundary and σ is the surface measure on the boundary of Ω, denoted by Ω. Let β be a non-negative measurable function on Ω satisfying \(\beta \in {{L}^{{q_0}}}(\partial\Omega, \, \sigma)\) β L q 0 ( Ω , σ ) with \({q_0} \in ({s \over {s+2-n}},\, \infty]\) q 0 ( s s + 2 n , ] and βa0 on E0Ω, where a0 is a given positive constant and E0Ω is a σ-measurable set with σ(E0) > 0. In this paper, for any fLp(Ω, σ) with p ∈ (s/(s + 2 − n), ∞], we obtain the existence and uniqueness, the global Hölder regularity, and the boundary Harnack inequality of the weak solution to the Robin problem \(\begin{cases}{-{\rm div}(A \nabla u) = 0} & {\rm in} \; \Omega,\\A \nabla u \cdot \nu + \beta u = f & {\rm on} \; \partial\Omega,\end{cases}\) { div ( A u ) = 0 in Ω , A u ν + β u = f on Ω , where the coefficient matrix A is real-valued, bounded, and measurable, which satisfies the uniform ellipticity condition, and where ν denotes the outward unit normal to Ω. Furthermore, we establish the existence, upper bound pointwise estimates, and the Hölder regularity of Green’s functions associated with this Robin problem. As applications, we further prove that the harmonic measure associated with this Robin problem is mutually absolutely continuous with respect to the surface measure σ and also provide a quantitative characterization of the mutual absolute continuity at small scales. These results extend the corresponding results established by David et al. (2024) via weakening their assumption that β is a given positive constant.