<p>We prove a degenerate Sobolev inequality of the form <Equation ID="Equ6"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1065_Article_Equ6.gif" Format="GIF" Height="50" Rendition="HTML" Resolution="72" Type="Linedraw" Width="379" /> </MediaObject> <EquationSource Format="TEX">\( \bigg (\int _\Omega |u|^p K\, dx\bigg )^{\frac{1}{p}} \le C\Vert K\Vert _{L^{n}(\Omega )}\bigg ( \int _\Omega \big |\sqrt{Q}\nabla u \big |^p\, dx\bigg )^{\frac{1}{p}}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">(</mo> </mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mi>K</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <msup> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">)</mo> </mrow> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> </msup> <mo>≤</mo> <mi>C</mi> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>K</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">(</mo> </mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <msqrt> <mi>Q</mi> </msqrt> <mi mathvariant="normal">∇</mi> <mi>u</mi> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mi>p</mi> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <msup> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">)</mo> </mrow> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> </msup> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <i>Q</i> is a matrix function whose smallest eigenvalue is bounded below by a constant multiple of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1065_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{-\frac{2}{p'}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mrow> <mo>-</mo> <mfrac> <mn>2</mn> <msup> <mi>p</mi> <mo>′</mo> </msup> </mfrac> </mrow> </msup> </math></EquationSource> </InlineEquation>. As an application, we prove the exponential integrability of solutions of the Dirichlet problem for <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1065_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(-K^{-1}{{\,\textrm{div}\,}}(Q{{\,\mathrm{\nabla }\,}}u)=f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msup> <mi>K</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mspace width="0.166667em" /> <mtext>div</mtext> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>Q</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">∇</mi> <mspace width="0.166667em" /> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1065_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\in L^\infty (K,\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>K</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, building upon recent results in Cruz-Uribe, MacDonald, and Rodney (2024).</p>

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

Degenerate Sobolev inequalities from the classical Sobolev inequality

  • David Cruz-Uribe,
  • Feyza Elif Dal,
  • Scott Rodney,
  • Yusuf Zeren

摘要

We prove a degenerate Sobolev inequality of the form \( \bigg (\int _\Omega |u|^p K\, dx\bigg )^{\frac{1}{p}} \le C\Vert K\Vert _{L^{n}(\Omega )}\bigg ( \int _\Omega \big |\sqrt{Q}\nabla u \big |^p\, dx\bigg )^{\frac{1}{p}}, \) ( Ω | u | p K d x ) 1 p C K L n ( Ω ) ( Ω | Q u | p d x ) 1 p , where Q is a matrix function whose smallest eigenvalue is bounded below by a constant multiple of \(K^{-\frac{2}{p'}}\) K - 2 p . As an application, we prove the exponential integrability of solutions of the Dirichlet problem for \(-K^{-1}{{\,\textrm{div}\,}}(Q{{\,\mathrm{\nabla }\,}}u)=f\) - K - 1 div ( Q u ) = f , \(f\in L^\infty (K,\Omega )\) f L ( K , Ω ) , building upon recent results in Cruz-Uribe, MacDonald, and Rodney (2024).