<p>We introduce a general <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-solvability result for the Poisson equation in non-smooth domains <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, with the zero Dirichlet boundary condition. Our sole assumption on the domain <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is the Hardy inequality: There exists a constant <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(N&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ117"> <EquationSource Format="TEX">\(\begin{aligned} \int _{\Omega }\Big |\frac{f(x)}{d(x,\partial \Omega )}\Big |^2\,\textrm{d}x\le N\int _{\Omega }|\nabla f|^2 \,\textrm{d}x\quad \text {for any}\quad f\in C_c^{\infty }(\Omega ). \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">|</mo> </mrow> <mfrac> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>d</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>x</mi> <mo>≤</mo> <mi>N</mi> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>x</mi> <mspace width="1em" /> <mtext>for any</mtext> <mspace width="1em" /> <mi>f</mi> <mo>∈</mo> <msubsup> <mi>C</mi> <mi>c</mi> <mi>∞</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>To describe the boundary behavior of solutions in a general framework, we propose a weight system composed of a superharmonic function and the distance function to the boundary. Additionally, we explore applications across a variety of non-smooth domains, including convex domains, domains with exterior cone condition, totally vanishing exterior Reifenberg domains, and domains <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for which the Aikawa dimension of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Omega ^c\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mi>c</mi> </msup> </math></EquationSource> </InlineEquation> is less than <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(d-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Using superharmonic functions tailored to the geometric conditions of the domain, we derive weighted <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-solvability results for various non-smooth domains and specific weight ranges that differ for each domain condition. Furthermore, we provide an application to the Hölder continuity of solutions.</p>

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

Weighted Sobolev space theory for Poisson’s equation in non-smooth domains

  • Jinsol Seo

摘要

We introduce a general \(L_p\) L p -solvability result for the Poisson equation in non-smooth domains \(\Omega \subset \mathbb {R}^d\) Ω R d , with the zero Dirichlet boundary condition. Our sole assumption on the domain \(\Omega \) Ω is the Hardy inequality: There exists a constant \(N>0\) N > 0 such that \(\begin{aligned} \int _{\Omega }\Big |\frac{f(x)}{d(x,\partial \Omega )}\Big |^2\,\textrm{d}x\le N\int _{\Omega }|\nabla f|^2 \,\textrm{d}x\quad \text {for any}\quad f\in C_c^{\infty }(\Omega ). \end{aligned}\) Ω | f ( x ) d ( x , Ω ) | 2 d x N Ω | f | 2 d x for any f C c ( Ω ) . To describe the boundary behavior of solutions in a general framework, we propose a weight system composed of a superharmonic function and the distance function to the boundary. Additionally, we explore applications across a variety of non-smooth domains, including convex domains, domains with exterior cone condition, totally vanishing exterior Reifenberg domains, and domains \(\Omega \subset \mathbb {R}^d\) Ω R d for which the Aikawa dimension of \(\Omega ^c\) Ω c is less than \(d-2\) d - 2 . Using superharmonic functions tailored to the geometric conditions of the domain, we derive weighted \(L_p\) L p -solvability results for various non-smooth domains and specific weight ranges that differ for each domain condition. Furthermore, we provide an application to the Hölder continuity of solutions.