<p>Consider the following higher order Hamiltonian system: <Equation ID="Equ73"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_Equ73.gif" Format="GIF" Height="116" Rendition="HTML" Resolution="72" Type="Linedraw" Width="334" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} (-\Delta )^{m} u = v^{p},\;\;\; &amp; \hbox {in } \Omega ,\\ (-\Delta )^{m} v = u^{q_\epsilon },\;\;\; &amp; \hbox {in } \Omega ,\\ u = (-\Delta ) u = \cdots = (-\Delta )^{m-1} u = 0, &amp; \hbox {on } \partial \Omega ,\\ v = (-\Delta ) v = \cdots = (-\Delta )^{m-1} v = 0, &amp; \hbox {on } \partial \Omega ,\\ u&gt;0,v&gt;0, &amp; \hbox {in } \Omega , \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> <mi>u</mi> <mo>=</mo> <msup> <mi>v</mi> <mi>p</mi> </msup> <mo>,</mo> <mspace width="0.277778em" /> <mspace width="0.277778em" /> <mspace width="0.277778em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> <mi>v</mi> <mo>=</mo> <msup> <mi>u</mi> <msub> <mi>q</mi> <mi>ϵ</mi> </msub> </msup> <mo>,</mo> <mspace width="0.277778em" /> <mspace width="0.277778em" /> <mspace width="0.277778em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>v</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>v</mi> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>v</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>v</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> is an integer, the exponents <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(p, q&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> satisfy the subcritical condition: <Equation ID="Equ74"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_Equ74.gif" Format="GIF" Height="40" Rendition="HTML" Resolution="72" Type="Linedraw" Width="221" /> </MediaObject> <EquationSource Format="TEX">\( \dfrac{1}{p+1} + \dfrac{1}{q_\varepsilon + 1} = \dfrac{N-2m}{N} + \varepsilon , \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mn>1</mn> <mrow> <mi>p</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </mstyle> <mo>+</mo> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mn>1</mn> <mrow> <msub> <mi>q</mi> <mi>ε</mi> </msub> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </mstyle> <mo>=</mo> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> <mi>m</mi> </mrow> <mi>N</mi> </mfrac> </mstyle> <mo>+</mo> <mi>ε</mi> <mo>,</mo> </mrow> </math></EquationSource> </Equation>and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is a smooth bounded convex domain. We first prove the existence of the least energy solution <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\((u_{\varepsilon } , v_{\varepsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mi>ε</mi> </msub> <mo>,</mo> <msub> <mi>v</mi> <mi>ε</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the above system. Then we use a Brezis-Kato type argument to study various asymptotic behaviors of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\((u_{\varepsilon } , v_{\varepsilon })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mi>ε</mi> </msub> <mo>,</mo> <msub> <mi>v</mi> <mi>ε</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2057_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, including a detailed description in terms of Green function, which generalizes the result of Han [<CitationRef CitationID="CR20">20</CitationRef>] and Guerra [<CitationRef CitationID="CR18">18</CitationRef>] to higher order system.</p>

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

Asymptotic Behavior of Least Energy Solution to Higher Order Hamiltonian System

  • Yuxia Guo,
  • Tingfeng Yuan

摘要

Consider the following higher order Hamiltonian system: \(\begin{aligned} {\left\{ \begin{array}{ll} (-\Delta )^{m} u = v^{p},\;\;\; & \hbox {in } \Omega ,\\ (-\Delta )^{m} v = u^{q_\epsilon },\;\;\; & \hbox {in } \Omega ,\\ u = (-\Delta ) u = \cdots = (-\Delta )^{m-1} u = 0, & \hbox {on } \partial \Omega ,\\ v = (-\Delta ) v = \cdots = (-\Delta )^{m-1} v = 0, & \hbox {on } \partial \Omega ,\\ u>0,v>0, & \hbox {in } \Omega , \end{array}\right. } \end{aligned}\) ( - Δ ) m u = v p , in Ω , ( - Δ ) m v = u q ϵ , in Ω , u = ( - Δ ) u = = ( - Δ ) m - 1 u = 0 , on Ω , v = ( - Δ ) v = = ( - Δ ) m - 1 v = 0 , on Ω , u > 0 , v > 0 , in Ω , where \(m\ge 1\) m 1 is an integer, the exponents \(p, q>0\) p , q > 0 satisfy the subcritical condition: \( \dfrac{1}{p+1} + \dfrac{1}{q_\varepsilon + 1} = \dfrac{N-2m}{N} + \varepsilon , \) 1 p + 1 + 1 q ε + 1 = N - 2 m N + ε , and \(\Omega \subset \mathbb {R}^N\) Ω R N is a smooth bounded convex domain. We first prove the existence of the least energy solution \((u_{\varepsilon } , v_{\varepsilon })\) ( u ε , v ε ) for the above system. Then we use a Brezis-Kato type argument to study various asymptotic behaviors of \((u_{\varepsilon } , v_{\varepsilon })\) ( u ε , v ε ) as \(\varepsilon \rightarrow 0\) ε 0 , including a detailed description in terms of Green function, which generalizes the result of Han [20] and Guerra [18] to higher order system.