<p>This paper mainly shows the existence or non-existence of extremals for the Moser-Trudinger inequality in Hyperbolic space. We demonstrate that the following classical Moser-Trudinger inequality on Hyperbolic space <Equation ID="Equ91"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_Equ91.gif" Format="GIF" Height="44" Rendition="HTML" Resolution="72" Type="Linedraw" Width="272" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S(\alpha ):=\sup _{\Vert \nabla _g u\Vert _2\le 1}\int _{{\mathbb {H}}^2}e^{\alpha u^2}-1 \,dv_g &lt;\infty \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi mathvariant="normal">∇</mi> <mi>g</mi> </msub> <msub> <mrow> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mn>2</mn> </msub> <mo>≤</mo> <mn>1</mn> </mrow> </munder> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </msub> <msup> <mi>e</mi> <mrow> <mi>α</mi> <msup> <mi>u</mi> <mn>2</mn> </msup> </mrow> </msup> <mo>-</mo> <mn>1</mn> <mspace width="0.166667em" /> <mi>d</mi> <msub> <mi>v</mi> <mi>g</mi> </msub> <mo>&lt;</mo> <mi>∞</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds if and only if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in (0,4\pi ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>4</mn> <mi>π</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in (0,\alpha ^*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <msup> <mi>α</mi> <mo>∗</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(S(\alpha )=4\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo stretchy="false">(</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>4</mn> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>, and it can not be attained by any extremal functions, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha ^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>α</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation> is a positive constant given in Lemma <InternalRef RefID="FPar15">3.1</InternalRef>. Besides, we consider the Moser-Trudinger inequality with a decaying potential. We prove that for any <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in (0,4\pi ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>4</mn> <mi>π</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, there exists <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\in W^{1,2}({\mathbb {H}}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert v\Vert _V=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>v</mi> <mo stretchy="false">‖</mo> </mrow> <mi>V</mi> </msub> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ92"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_Equ92.gif" Format="GIF" Height="44" Rendition="HTML" Resolution="72" Type="Linedraw" Width="412" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} S(V,\alpha ):=\sup _{\Vert u\Vert _V\le 1}\int _{{\mathbb {H}}^2}e^{\alpha u^2}-1 \,dv_g=\int _{{\mathbb {H}}^2}e^{\alpha v^2}-1 \,dv_g&lt;\infty . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mi>V</mi> </msub> <mo>≤</mo> <mn>1</mn> </mrow> </munder> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </msub> <msup> <mi>e</mi> <mrow> <mi>α</mi> <msup> <mi>u</mi> <mn>2</mn> </msup> </mrow> </msup> <mo>-</mo> <mn>1</mn> <mspace width="0.166667em" /> <mi>d</mi> <msub> <mi>v</mi> <mi>g</mi> </msub> <mo>=</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </msub> <msup> <mi>e</mi> <mrow> <mi>α</mi> <msup> <mi>v</mi> <mn>2</mn> </msup> </mrow> </msup> <mo>-</mo> <mn>1</mn> <mspace width="0.166667em" /> <mi>d</mi> <msub> <mi>v</mi> <mi>g</mi> </msub> <mo>&lt;</mo> <mi>∞</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Here, <Equation ID="Equ1"> <EquationNumber>0.1</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_Equ1.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="252" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Vert u\Vert ^2_V:=\int _{{\mathbb {H}}^2}|\nabla _g u|_g^2-V(x)|u|^2 \,dv_g, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mi>V</mi> <mn>2</mn> </msubsup> <mo>:</mo> <mo>=</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi mathvariant="normal">∇</mi> <mi>g</mi> </msub> <msubsup> <mrow> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>g</mi> <mn>2</mn> </msubsup> <mo>-</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mspace width="0.166667em" /> <mi>d</mi> <msub> <mi>v</mi> <mi>g</mi> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(V:{\mathbb {H}}^2\rightarrow {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a decaying potential satisfying the following condition <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((V_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_IEq10.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(V(x)=\frac{1-|x|^2}{4}+{\widetilde{V}}(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> </mrow> <mn>4</mn> </mfrac> <mo>+</mo> <mover accent="true"> <mi>V</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <Equation ID="Equ93"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1660_Article_Equ93.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="344" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} 0=\inf _{x\in {\mathbb {H}}^2} {\widetilde{V}}(x)=\lim _{|x|\rightarrow 1}{\widetilde{V}}(x)&lt;\sup _{x\in {\mathbb {H}}^2} {\widetilde{V}}(x)=l&lt;\frac{1}{4}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mn>0</mn> <mo>=</mo> <munder> <mo movablelimits="true">inf</mo> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </mrow> </munder> <mover accent="true"> <mi>V</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo movablelimits="true">lim</mo> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo stretchy="false">→</mo> <mn>1</mn> </mrow> </munder> <mover accent="true"> <mi>V</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>2</mn> </msup> </mrow> </munder> <mover accent="true"> <mi>V</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>l</mi> <mo>&lt;</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Our result is a partial answer to the open question in [<CitationRef CitationID="CR32">32</CitationRef>], and is an analog of the celebrated result of Carleson–Chang [<CitationRef CitationID="CR9">9</CitationRef>] for the Moser–Trudinger inequality and the result of Wang and Ye [<CitationRef CitationID="CR52">52</CitationRef>] for Hardy–Moser–Trudinger inequality.</p>

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

Existence of extremals for Moser-Trudinger inequalities with a decaying potential in Hyperbolic space

  • Jingxuan Sun,
  • Zhen Song

摘要

This paper mainly shows the existence or non-existence of extremals for the Moser-Trudinger inequality in Hyperbolic space. We demonstrate that the following classical Moser-Trudinger inequality on Hyperbolic space \(\begin{aligned} S(\alpha ):=\sup _{\Vert \nabla _g u\Vert _2\le 1}\int _{{\mathbb {H}}^2}e^{\alpha u^2}-1 \,dv_g <\infty \end{aligned}\) S ( α ) : = sup g u 2 1 H 2 e α u 2 - 1 d v g < holds if and only if \(\alpha \in (0,4\pi ]\) α ( 0 , 4 π ] . For \(\alpha \in (0,\alpha ^*)\) α ( 0 , α ) , we prove that \(S(\alpha )=4\alpha \) S ( α ) = 4 α , and it can not be attained by any extremal functions, where \(\alpha ^*\) α is a positive constant given in Lemma 3.1. Besides, we consider the Moser-Trudinger inequality with a decaying potential. We prove that for any \(\alpha \in (0,4\pi ]\) α ( 0 , 4 π ] , there exists \(v\in W^{1,2}({\mathbb {H}}^2)\) v W 1 , 2 ( H 2 ) with \(\Vert v\Vert _V=1\) v V = 1 such that \(\begin{aligned} S(V,\alpha ):=\sup _{\Vert u\Vert _V\le 1}\int _{{\mathbb {H}}^2}e^{\alpha u^2}-1 \,dv_g=\int _{{\mathbb {H}}^2}e^{\alpha v^2}-1 \,dv_g<\infty . \end{aligned}\) S ( V , α ) : = sup u V 1 H 2 e α u 2 - 1 d v g = H 2 e α v 2 - 1 d v g < . Here, 0.1 \(\begin{aligned} \Vert u\Vert ^2_V:=\int _{{\mathbb {H}}^2}|\nabla _g u|_g^2-V(x)|u|^2 \,dv_g, \end{aligned}\) u V 2 : = H 2 | g u | g 2 - V ( x ) | u | 2 d v g , and \(V:{\mathbb {H}}^2\rightarrow {\mathbb {R}}\) V : H 2 R is a decaying potential satisfying the following condition \((V_1)\) ( V 1 ) \(V(x)=\frac{1-|x|^2}{4}+{\widetilde{V}}(x)\) V ( x ) = 1 - | x | 2 4 + V ~ ( x ) , where \(\begin{aligned} 0=\inf _{x\in {\mathbb {H}}^2} {\widetilde{V}}(x)=\lim _{|x|\rightarrow 1}{\widetilde{V}}(x)<\sup _{x\in {\mathbb {H}}^2} {\widetilde{V}}(x)=l<\frac{1}{4}. \end{aligned}\) 0 = inf x H 2 V ~ ( x ) = lim | x | 1 V ~ ( x ) < sup x H 2 V ~ ( x ) = l < 1 4 . Our result is a partial answer to the open question in [32], and is an analog of the celebrated result of Carleson–Chang [9] for the Moser–Trudinger inequality and the result of Wang and Ye [52] for Hardy–Moser–Trudinger inequality.