<p>In this paper we discuss the nonexistence of stable and stable at infinity weak solutions to the following <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(p-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>polyharmonic problem <Equation ID="Equ52"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_Equ52.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Delta _{p}^r u =c_1u_+^{q_1}-c_2u_-^{q_2} \text{ in } \; {\mathbb {R}}^n, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi mathvariant="normal">Δ</mi> <mrow> <mi>p</mi> </mrow> <mi>r</mi> </msubsup> <mi>u</mi> <mo>=</mo> <msub> <mi>c</mi> <mn>1</mn> </msub> <msubsup> <mi>u</mi> <mo>+</mo> <msub> <mi>q</mi> <mn>1</mn> </msub> </msubsup> <mo>-</mo> <msub> <mi>c</mi> <mn>2</mn> </msub> <msubsup> <mi>u</mi> <mo>-</mo> <msub> <mi>q</mi> <mn>2</mn> </msub> </msubsup> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta ^r_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Δ</mi> <mi>p</mi> <mi>r</mi> </msubsup> </math></EquationSource> </InlineEquation> is the <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(p-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>polyharmonic operator,&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\ge 2,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> &#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_1, \;c_2&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mn>1</mn> </msub> <mo>,</mo> <mspace width="0.277778em" /> <msub> <mi>c</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(q_1, \,q_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>q</mi> <mn>1</mn> </msub> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>q</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> are subcritical. To provide the basic energy estimate we employ a new interpolation inequality to control the integral &#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq7.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\(\displaystyle \int _{{\mathbb {R}}^n} |\nabla ^q v|^p|\nabla ^ {r-q}\phi |^p\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> <msup> <mi mathvariant="normal">∇</mi> <mi>q</mi> </msup> <msup> <mrow> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <msup> <mi mathvariant="normal">∇</mi> <mrow> <mi>r</mi> <mo>-</mo> <mi>q</mi> </mrow> </msup> <mi>ϕ</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> </mrow> </mstyle> </math></EquationSource> </InlineEquation> by the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-norm of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \nabla ^r v\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <msup> <mi mathvariant="normal">∇</mi> <mi>r</mi> </msup> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation> (respectively <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla ^r( v\phi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">∇</mi> <mi>r</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mi>ϕ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>) and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\nabla ^r\phi ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <msup> <mi mathvariant="normal">∇</mi> <mi>r</mi> </msup> <mi>ϕ</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\in W^{r,p}_{loc}({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <msubsup> <mi>W</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mrow> <mi>r</mi> <mo>,</mo> <mi>p</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>&#xa0; &#xa0;<InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \in C^\infty _c({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>∈</mo> <msubsup> <mi>C</mi> <mi>c</mi> <mi>∞</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> a cut-off function and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2024_1698_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le q\le r-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>q</mi> <mo>≤</mo> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.&#xa0; Our results improve and extend previous Liouville theorems stated in Harrabi (Annali di Matematica Pura ed Applicata. <b>198</b>, 1675–1692 (2019)), Harrabi and Mtiri (Liouville-type theorems and existence results for stable at infinity solutions of higher order <i>m</i>-polyharmonic problems, To appear in JMAA (2021)), Mtiri and Ye (Nonlinearity <b>32</b>, 910–926 (2019)). Particularly, we remove the exponential growth condition imposed on unbounded solutions in Harrabi (Annali di Matematica Pura ed Applicata. <b>198</b>, 1675–1692 (2019)), Harrabi and Mtiri (Liouville-type theorems and existence results for stable at infinity solutions of higher order <i>m</i>-polyharmonic problems, To appear in JMAA (2021)).</p>

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

Classification of stable solutions of p-polyharmonic problem

  • Abdellaziz Harrabi

摘要

In this paper we discuss the nonexistence of stable and stable at infinity weak solutions to the following \(p-\) p - polyharmonic problem \(\begin{aligned} \Delta _{p}^r u =c_1u_+^{q_1}-c_2u_-^{q_2} \text{ in } \; {\mathbb {R}}^n, \end{aligned}\) Δ p r u = c 1 u + q 1 - c 2 u - q 2 in R n , where \(\Delta ^r_p\) Δ p r is the \(p-\) p - polyharmonic operator,  \(p\ge 2,\) p 2 ,   \(c_1, \;c_2>0\) c 1 , c 2 > 0 and \(q_1, \,q_2\) q 1 , q 2 are subcritical. To provide the basic energy estimate we employ a new interpolation inequality to control the integral   \(\displaystyle \int _{{\mathbb {R}}^n} |\nabla ^q v|^p|\nabla ^ {r-q}\phi |^p\) R n | q v | p | r - q ϕ | p by the \(L^p\) L p -norm of \(\phi \nabla ^r v\) ϕ r v (respectively \(\nabla ^r( v\phi )\) r ( v ϕ ) ) and \(v\nabla ^r\phi ,\) v r ϕ , where \(v\in W^{r,p}_{loc}({\mathbb {R}}^n)\) v W loc r , p ( R n )     \(\phi \in C^\infty _c({\mathbb {R}}^n)\) ϕ C c ( R n ) a cut-off function and \(1\le q\le r-1\) 1 q r - 1 .  Our results improve and extend previous Liouville theorems stated in Harrabi (Annali di Matematica Pura ed Applicata. 198, 1675–1692 (2019)), Harrabi and Mtiri (Liouville-type theorems and existence results for stable at infinity solutions of higher order m-polyharmonic problems, To appear in JMAA (2021)), Mtiri and Ye (Nonlinearity 32, 910–926 (2019)). Particularly, we remove the exponential growth condition imposed on unbounded solutions in Harrabi (Annali di Matematica Pura ed Applicata. 198, 1675–1692 (2019)), Harrabi and Mtiri (Liouville-type theorems and existence results for stable at infinity solutions of higher order m-polyharmonic problems, To appear in JMAA (2021)).