<p>We consider the boundedness and exponential integrability of solutions to the Dirichlet problem for the degenerate quasilinear elliptic equation <Equation ID="Equ32"> <EquationSource Format="TEX">\(\begin{aligned} -v^{-1}{{\,\textrm{div}\,}}(|\sqrt{Q}{{\,\mathrm{\nabla }\,}}u|^{p-2}Q{{\,\mathrm{\nabla }\,}}u)=f|f|^{p-2} -v^{-1}{{\,\textrm{div}\,}}(v|g|^{p-2}g\textbf{t}), \quad 1&lt;p&lt;\infty , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <msup> <mi>v</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>div</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> </mrow> <msqrt> <mi>Q</mi> </msqrt> <msup> <mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">∇</mi> <mspace width="0.166667em" /> </mrow> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <msup> <mrow> <mi>Q</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">∇</mi> <mspace width="0.166667em" /> </mrow> <mi>u</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>f</mi> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo>-</mo> <msup> <mi>v</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msup> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>div</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">|</mo> <mi>g</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mi>g</mi> <mi mathvariant="bold">t</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mspace width="1em" /> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>,</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>assuming that there is a Sobolev inequality of the form <Equation ID="Equ33"> <EquationSource Format="TEX">\(\begin{aligned} \Vert \varphi \Vert _{L^N(v,\Omega )}\le S_N\Vert \sqrt{Q} \nabla \varphi \Vert _{L^p(\Omega )}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>φ</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>N</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>≤</mo> <msub> <mi>S</mi> <mi>N</mi> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> <msqrt> <mi>Q</mi> </msqrt> <mi mathvariant="normal">∇</mi> <mi>φ</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <i>N</i> is a power function of the form <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(N(t)=t^{\sigma p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>t</mi> <mrow> <mi>σ</mi> <mi>p</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\sigma \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, or a Young function of the form <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N(t)=t^p\log (e+t)^\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>t</mi> <mi>p</mi> </msup> <mo>log</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>e</mi> <mo>+</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mi>σ</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\sigma &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In our results we study the interplay between the Sobolev inequality and the regularity assumptions needed on <i>f</i> and <i>g</i> to prove that the solution is bounded or is exponentially integrable. Our results generalize those previously proved in [<CitationRef CitationID="CR13">13</CitationRef>, <CitationRef CitationID="CR43">43</CitationRef>].</p>

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

Bounded solutions of degenerate elliptic equations with an Orlicz-gain Sobolev inequality

  • David Cruz-Uribe,
  • Sullivan MacDonald,
  • Scott Rodney

摘要

We consider the boundedness and exponential integrability of solutions to the Dirichlet problem for the degenerate quasilinear elliptic equation \(\begin{aligned} -v^{-1}{{\,\textrm{div}\,}}(|\sqrt{Q}{{\,\mathrm{\nabla }\,}}u|^{p-2}Q{{\,\mathrm{\nabla }\,}}u)=f|f|^{p-2} -v^{-1}{{\,\textrm{div}\,}}(v|g|^{p-2}g\textbf{t}), \quad 1<p<\infty , \end{aligned}\) - v - 1 div ( | Q u | p - 2 Q u ) = f | f | p - 2 - v - 1 div ( v | g | p - 2 g t ) , 1 < p < , assuming that there is a Sobolev inequality of the form \(\begin{aligned} \Vert \varphi \Vert _{L^N(v,\Omega )}\le S_N\Vert \sqrt{Q} \nabla \varphi \Vert _{L^p(\Omega )}, \end{aligned}\) φ L N ( v , Ω ) S N Q φ L p ( Ω ) , where N is a power function of the form \(N(t)=t^{\sigma p}\) N ( t ) = t σ p , \(\sigma \ge 1\) σ 1 , or a Young function of the form \(N(t)=t^p\log (e+t)^\sigma \) N ( t ) = t p log ( e + t ) σ , \(\sigma >1\) σ > 1 . In our results we study the interplay between the Sobolev inequality and the regularity assumptions needed on f and g to prove that the solution is bounded or is exponentially integrable. Our results generalize those previously proved in [13, 43].