<p>Let <i>n</i> be an integer and <i>s</i> be a real number such that <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(n &gt; 2s \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>2</mn> <mi>s</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Inspired by the perturbation approach initiated by Hang and Yang (Int. Math. Res. Not. IMRN, 2020), we are interested in non-negative, smooth solution <i>v</i> to the following higher-order fractional equation <Equation ID="Equ61"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_Equ61.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="163" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \, {\textbf{P}}_n^{2s}(v) = \, Q_n^{2s}(\varepsilon v+v^\alpha ) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mspace width="0.166667em" /> <msubsup> <mi mathvariant="bold">P</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mspace width="0.166667em" /> <msubsup> <mi>Q</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>ε</mi> <mi>v</mi> <mo>+</mo> <msup> <mi>v</mi> <mi>α</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha \le (n+2s)/(n-2s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Here <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\, {\textbf{P}}_n^{2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <msubsup> <mi mathvariant="bold">P</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is the fractional GJMS type operator of order 2<i>s</i> on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(\, Q_n^{2s}=\, {\textbf{P}}_n^{2s}(1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <msubsup> <mi>Q</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> <mo>=</mo> <mspace width="0.166667em" /> <msubsup> <mi mathvariant="bold">P</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is constant. We show that if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq8.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha \le (n+2s)/(n-2s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, then any positive, smooth solution <i>v</i> to the above equation must be constant. The same result remains valid if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> but with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha &lt; (n+2s)/(n-2s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. As a by-product, with <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\alpha \le (n+2s)/(n-2s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we compute the sharp constant of the subcritical/critical Sobolev inequalities <Equation ID="Equ62"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_Equ62.gif" Format="GIF" Height="44" Rendition="HTML" Resolution="72" Type="Linedraw" Width="415" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \int _{\mathbb {S}^n} v \, {\textbf{P}}_n^{2s}(v) d\mu _{g_{\mathbb {S}^n}} \ge \frac{\Gamma (n/2 + s)}{\Gamma (n/2 - s )} | \mathbb {S}^n|^\frac{\alpha -1}{\alpha +1} \Big ( \int _{\mathbb {S}^n} v^{\alpha +1} d\mu _{g_{\mathbb {S}^n}} \Big )^\frac{2}{\alpha +1} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </msub> <mi>v</mi> <mspace width="0.166667em" /> <msubsup> <mi mathvariant="bold">P</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <msub> <mi>μ</mi> <msub> <mi>g</mi> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </msub> </msub> <mo>≥</mo> <mfrac> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>-</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <msup> <mrow> <mo stretchy="false">|</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">|</mo> </mrow> <mfrac> <mrow> <mi>α</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </msub> <msup> <mi>v</mi> <mrow> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>d</mi> <msub> <mi>μ</mi> <msub> <mi>g</mi> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </msub> </msub> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mfrac> <mn>2</mn> <mrow> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for the GJMS operator <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\, {\textbf{P}}_n^{2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <msubsup> <mi mathvariant="bold">P</mi> <mi>n</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {S}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and for all non-negative functions <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2868_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\in H^s(\mathbb {S}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <msup> <mi>H</mi> <mi>s</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

A Liouville type result for fractional GJMS equations on higher dimensional spheres

  • Quỳnh N. T. Lê,
  • Quốc Anh Ngô,
  • Tien-Tai Nguyen

摘要

Let n be an integer and s be a real number such that \(n > 2s \ge 2\) n > 2 s 2 . Inspired by the perturbation approach initiated by Hang and Yang (Int. Math. Res. Not. IMRN, 2020), we are interested in non-negative, smooth solution v to the following higher-order fractional equation \(\begin{aligned} \, {\textbf{P}}_n^{2s}(v) = \, Q_n^{2s}(\varepsilon v+v^\alpha ) \end{aligned}\) P n 2 s ( v ) = Q n 2 s ( ε v + v α ) on \(\mathbb {S}^n\) S n with \(0<\alpha \le (n+2s)/(n-2s)\) 0 < α ( n + 2 s ) / ( n - 2 s ) , and \(\varepsilon \ge 0\) ε 0 . Here \(\, {\textbf{P}}_n^{2s}\) P n 2 s is the fractional GJMS type operator of order 2s on \(\mathbb {S}^n\) S n and \(\, Q_n^{2s}=\, {\textbf{P}}_n^{2s}(1)\) Q n 2 s = P n 2 s ( 1 ) is constant. We show that if \(\varepsilon >0\) ε > 0 and \(0<\alpha \le (n+2s)/(n-2s)\) 0 < α ( n + 2 s ) / ( n - 2 s ) , then any positive, smooth solution v to the above equation must be constant. The same result remains valid if \(\varepsilon =0\) ε = 0 but with \(0<\alpha < (n+2s)/(n-2s)\) 0 < α < ( n + 2 s ) / ( n - 2 s ) . As a by-product, with \(0<\alpha \le (n+2s)/(n-2s)\) 0 < α ( n + 2 s ) / ( n - 2 s ) , we compute the sharp constant of the subcritical/critical Sobolev inequalities \(\begin{aligned} \int _{\mathbb {S}^n} v \, {\textbf{P}}_n^{2s}(v) d\mu _{g_{\mathbb {S}^n}} \ge \frac{\Gamma (n/2 + s)}{\Gamma (n/2 - s )} | \mathbb {S}^n|^\frac{\alpha -1}{\alpha +1} \Big ( \int _{\mathbb {S}^n} v^{\alpha +1} d\mu _{g_{\mathbb {S}^n}} \Big )^\frac{2}{\alpha +1} \end{aligned}\) S n v P n 2 s ( v ) d μ g S n Γ ( n / 2 + s ) Γ ( n / 2 - s ) | S n | α - 1 α + 1 ( S n v α + 1 d μ g S n ) 2 α + 1 for the GJMS operator \(\, {\textbf{P}}_n^{2s}\) P n 2 s on \(\mathbb {S}^n\) S n and for all non-negative functions \(v\in H^s(\mathbb {S}^n)\) v H s ( S n ) .