<p>In this paper we consider the gradient estimates on positive solutions to the following elliptic (Lichnerowicz) equation defined on a complete Riemannian manifold <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((M,\,g)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <mspace width="0.166667em" /> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: <Equation ID="Equ51"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_Equ51.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="223" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Delta v + \mu v + a v^{p+1} +b v^{-q+1} =0, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>+</mo> <mi>μ</mi> <mi>v</mi> <mo>+</mo> <mi>a</mi> <msup> <mi>v</mi> <mrow> <mi>p</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <mi>b</mi> <msup> <mi>v</mi> <mrow> <mo>-</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\ge -1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq3.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="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>, <i>a</i> and <i>b</i> are real constants. In the case <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq8.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(a&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(b&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> has a lower bound), we employ the Nash–Moser iteration technique to obtain some refined gradient estimates of the solutions to the above equation, if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((M,\,g)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo>,</mo> <mspace width="0.166667em" /> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfies <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="127" /> </InlineMediaObject> <EquationSource Format="TEX">\(Ric \ge -(n-1)\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mi>i</mi> <mi>c</mi> <mo>≥</mo> <mo>-</mo> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>κ</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq13.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> is the dimension of <i>M</i> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq14.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation> is a nonnegative constant, and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>, <i>a</i>, <i>b</i>, <i>p</i> and <i>q</i> satisfy some technique conditions. By the obtained gradient estimates we also derive some Liouville type theorems for the above equation under some suitable geometric and analysis conditions. As applications, we can derive some Cheng–Yau’s type gradient estimates for solutions to the <i>n</i>-dimensional Einstein–scalar field Lichnerowicz equation where <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2393_Article_IEq13.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Gradient Estimates and Liouville Theorems for Lichnerowicz-Type Equation on Riemannian Manifolds

  • Youde Wang,
  • Aiqi Zhang

摘要

In this paper we consider the gradient estimates on positive solutions to the following elliptic (Lichnerowicz) equation defined on a complete Riemannian manifold \((M,\,g)\) ( M , g ) : \(\begin{aligned} \Delta v + \mu v + a v^{p+1} +b v^{-q+1} =0, \end{aligned}\) Δ v + μ v + a v p + 1 + b v - q + 1 = 0 , where \(p\ge -1\) p - 1 , \(q\ge 1\) q 1 , \(\mu \) μ , a and b are real constants. In the case \(\mu \ge 0\) μ 0 and \(b\ge 0\) b 0 or \(\mu <0\) μ < 0 , \(a>0\) a > 0 and \(b>0\) b > 0 ( \(\mu \) μ has a lower bound), we employ the Nash–Moser iteration technique to obtain some refined gradient estimates of the solutions to the above equation, if \((M,\,g)\) ( M , g ) satisfies \(Ric \ge -(n-1)\kappa \) R i c - ( n - 1 ) κ , where \(n\ge 3\) n 3 is the dimension of M and \(\kappa \) κ is a nonnegative constant, and \(\mu \) μ , a, b, p and q satisfy some technique conditions. By the obtained gradient estimates we also derive some Liouville type theorems for the above equation under some suitable geometric and analysis conditions. As applications, we can derive some Cheng–Yau’s type gradient estimates for solutions to the n-dimensional Einstein–scalar field Lichnerowicz equation where \(n\ge 3\) n 3 .