<p>We consider weak solutions of the equation <Equation ID="Equ108"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_Equ108.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="298" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} -\Delta _p^H u+a(x,u)H^q(\nabla u)=f(x,u) \quad \text {in } \Omega , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>p</mi> <mi>H</mi> </msubsup> <mi>u</mi> <mo>+</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>H</mi> <mi>q</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <i>H</i> is in some cases called Finsler norm, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a domain of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\ge \max \{p-1,1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(a(\cdot ,u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1071_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(\cdot ,u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are functions satisfying suitable assumptions. We exploit the Moser iteration technique to prove a Harnack type comparison inequality for solutions of the equation and a Harnack type inequality for solutions of the linearized operator. As a consequence, we deduce a Strong Comparison Principle for solutions of the equation and a Strong Maximum Principle for solutions of the linearized operator.</p>

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

Harnack inequalities for quasilinear anisotropic elliptic equations with a first order term

  • Domenico Vuono

摘要

We consider weak solutions of the equation \(\begin{aligned} -\Delta _p^H u+a(x,u)H^q(\nabla u)=f(x,u) \quad \text {in } \Omega , \end{aligned}\) - Δ p H u + a ( x , u ) H q ( u ) = f ( x , u ) in Ω , where H is in some cases called Finsler norm, \(\Omega \) Ω is a domain of \({\mathbb {R}}^N\) R N , \(p>1\) p > 1 , \(q\ge \max \{p-1,1\}\) q max { p - 1 , 1 } , and \(a(\cdot ,u)\) a ( · , u ) , \(f(\cdot ,u)\) f ( · , u ) are functions satisfying suitable assumptions. We exploit the Moser iteration technique to prove a Harnack type comparison inequality for solutions of the equation and a Harnack type inequality for solutions of the linearized operator. As a consequence, we deduce a Strong Comparison Principle for solutions of the equation and a Strong Maximum Principle for solutions of the linearized operator.