<p>The main goal here is to classify the stable solutions, or more generally, the solutions that remain stable outside a compact set of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq1.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>, of the following <i>k</i>-coupled Hardy-Hénon elliptic system <Equation ID="Equ66"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_Equ66.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="413" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} -\Delta u_i = \sum _{j=1}^k \beta _{ij} |x|^{\alpha } |u_j|^{q+1} |u_i|^{q-1} u_i \quad \text {in } \mathbb {R}^N, \quad i = 1, \dots , k, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </munderover> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mi>α</mi> </msup> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi>u</mi> <mi>j</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>u</mi> <mi>i</mi> </msub> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mspace width="1em" /> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>k</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\( q \ge 1 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\( N &gt; 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\( \alpha &gt; -2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <i>k</i> is a fixed positive integer, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\( B = [\beta _{ij}]_{i,j=1}^k \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">[</mo> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo stretchy="false">]</mo> </mrow> <mrow> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>k</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is a real symmetric copositive matrix. We consider the critical Joseph-Lundgren exponent <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>, introduced in (<InternalRef RefID="Equ3">3</InternalRef>), for the nonautonomous case, which is larger than the Sobolev critical exponent <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(p_S\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>S</mi> </msub> </math></EquationSource> </InlineEquation> for Hardy-Hénon type equations, given in (<InternalRef RefID="Equ2">2</InternalRef>). Thus, by setting <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(p = q+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we prove certain Liouville-type results for stable solutions and solutions with finite Morse index when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(3 \le p &lt; p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <msub> <mi>p</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. To achieve this, we employ techniques such as integral estimates based on the stability condition, the application of a monotonicity formula and a Pohozaev identity, and analysis via a blow-down sequence. Moreover, when <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1114_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(p \ge p_c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <msub> <mi>p</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we show that the system admits nontrivial stable solutions. Then, we establish sharp results regarding the range of <i>p</i>, addressing both the autonomous and nonautonomous vectorial cases.</p>

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

Classification of finite morse index solutions for a Hardy-Hénon nonlinear elliptic system

  • Eudes M. Barboza,
  • Braulio B. V. Maia,
  • Olímpio H. Miyagaki,
  • Patrizia Pucci

摘要

The main goal here is to classify the stable solutions, or more generally, the solutions that remain stable outside a compact set of \(\mathbb {R}^N\) R N , of the following k-coupled Hardy-Hénon elliptic system \(\begin{aligned} -\Delta u_i = \sum _{j=1}^k \beta _{ij} |x|^{\alpha } |u_j|^{q+1} |u_i|^{q-1} u_i \quad \text {in } \mathbb {R}^N, \quad i = 1, \dots , k, \end{aligned}\) - Δ u i = j = 1 k β ij | x | α | u j | q + 1 | u i | q - 1 u i in R N , i = 1 , , k , where \( q \ge 1 \) q 1 , \( N > 2 \) N > 2 , \( \alpha > -2 \) α > - 2 , k is a fixed positive integer, and \( B = [\beta _{ij}]_{i,j=1}^k \) B = [ β ij ] i , j = 1 k is a real symmetric copositive matrix. We consider the critical Joseph-Lundgren exponent \(p_c\) p c , introduced in (3), for the nonautonomous case, which is larger than the Sobolev critical exponent \(p_S\) p S for Hardy-Hénon type equations, given in (2). Thus, by setting \(p = q+1\) p = q + 1 , we prove certain Liouville-type results for stable solutions and solutions with finite Morse index when \(3 \le p < p_c\) 3 p < p c . To achieve this, we employ techniques such as integral estimates based on the stability condition, the application of a monotonicity formula and a Pohozaev identity, and analysis via a blow-down sequence. Moreover, when \(p \ge p_c\) p p c , we show that the system admits nontrivial stable solutions. Then, we establish sharp results regarding the range of p, addressing both the autonomous and nonautonomous vectorial cases.