<p>This paper focuses on static solutions for the following Choquard equation with zero mass and Coulomb potential <Equation ID="Equ195"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_Equ195.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="490" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} -\Delta u+\left( \frac{1}{4\pi |x|}*u^2\right) u=\mu |u|^{p-2}u+(I_{\alpha }*|u|^{\alpha +3})|u|^{\alpha +1}u, \ \ \ \ x\in {\mathbb {R}}^{3}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mfenced close=")" open="("> <mfrac> <mn>1</mn> <mrow> <mn>4</mn> <mi>π</mi> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> </mfrac> <mrow /> <mo>∗</mo> <msup> <mi>u</mi> <mn>2</mn> </msup> </mfenced> <mi>u</mi> <mo>=</mo> <msup> <mrow> <mi>μ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mi>u</mi> <mo>+</mo> <mo stretchy="false">(</mo> </mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <mmultiscripts> <mrow> <mrow /> <mo>∗</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow /> <mrow> <mi>α</mi> <mo>+</mo> <mn>3</mn> </mrow> </mmultiscripts> <msup> <mrow> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>α</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mo>,</mo> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mspace width="4pt" /> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{18}{7}&lt;p\le 6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>18</mn> <mn>7</mn> </mfrac> <mo>&lt;</mo> <mi>p</mi> <mo>≤</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in (0, 3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha +3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>+</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> is the upper critical exponent in the sense of the Hardy–Littlewood–Sobolev inequality, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(I_{\alpha }{:}\,\mathbb {R}^3\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <mo>:</mo> <mspace width="0.166667em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is the Riesz potential, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq6.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{1}{4\pi |x|}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>1</mn> <mrow> <mn>4</mn> <mi>π</mi> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> </mfrac> </math></EquationSource> </InlineEquation> is the Coulomb potential. By carefully analyzing the intricate interplay between the power and Coulomb terms, we establish three types of variational geometries of the problem and prove the following existence results based on the behavior of <i>p</i>: <OrderedList> <ListItem> <ItemNumber>(1)</ItemNumber> <ItemContent> <p>the existence of two solutions, one being a local minimizer and the other of mountain-pass type, for an explicit range <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\mu &lt;\mathrm {Const.}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>μ</mi> <mo>&lt;</mo> <mrow> <mi mathvariant="normal">Const</mi> <mo>.</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{18}{7}&lt;p&lt;3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>18</mn> <mn>7</mn> </mfrac> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(2)</ItemNumber> <ItemContent> <p>the existence of a positive solution if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq9.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> takes some particular value when <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(3)</ItemNumber> <ItemContent> <p>the existence of a ground state solution for all <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(4&lt;p&lt;6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>4</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation>, and for two explicit ranges <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu &gt;\mathrm {Const.}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mrow> <mi mathvariant="normal">Const</mi> <mo>.</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(3&lt;p&lt;4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </ListItem> </OrderedList> Furthermore, we obtain a non-existence result for the case <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=6\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>6</mn> </mrow> </math></EquationSource> </InlineEquation>. Particularly, we identify different compactness thresholds for above three cases, and introduce three types of test functions to control the corresponding minimax levels to be less than prescribed thresholds, thereby overcoming the loss of compactness arising from the nonlocal critical term. The derivation of these strict inequalities is a novel contribution and constitutes one of the noteworthy highlights of this work, which is available and new for the limiting Sobolev critical problem as <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3143_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We believe that the underlying ideas have potential for future development and can be applied to a broader range of variational problems with critical growth.</p>

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

Static solutions for Choquard equations with Coulomb potential and upper critical growth

  • Sitong Chen,
  • Vicenţiu D. Rădulescu,
  • Muhua Shu,
  • Jiuyang Wei

摘要

This paper focuses on static solutions for the following Choquard equation with zero mass and Coulomb potential \(\begin{aligned} -\Delta u+\left( \frac{1}{4\pi |x|}*u^2\right) u=\mu |u|^{p-2}u+(I_{\alpha }*|u|^{\alpha +3})|u|^{\alpha +1}u, \ \ \ \ x\in {\mathbb {R}}^{3}, \end{aligned}\) - Δ u + 1 4 π | x | u 2 u = μ | u | p - 2 u + ( I α | u | α + 3 ) | u | α + 1 u , x R 3 , where \(\mu >0\) μ > 0 , \(\frac{18}{7}<p\le 6\) 18 7 < p 6 , \(\alpha \in (0, 3)\) α ( 0 , 3 ) , \(\alpha +3\) α + 3 is the upper critical exponent in the sense of the Hardy–Littlewood–Sobolev inequality, \(I_{\alpha }{:}\,\mathbb {R}^3\rightarrow \mathbb {R}\) I α : R 3 R is the Riesz potential, and \(\frac{1}{4\pi |x|}\) 1 4 π | x | is the Coulomb potential. By carefully analyzing the intricate interplay between the power and Coulomb terms, we establish three types of variational geometries of the problem and prove the following existence results based on the behavior of p: (1)

the existence of two solutions, one being a local minimizer and the other of mountain-pass type, for an explicit range \(0<\mu <\mathrm {Const.}\) 0 < μ < Const . when \(\frac{18}{7}<p<3\) 18 7 < p < 3 ;

(2)

the existence of a positive solution if \(\mu \) μ takes some particular value when \(p=3\) p = 3 ;

(3)

the existence of a ground state solution for all \(\mu >0\) μ > 0 when \(4<p<6\) 4 < p < 6 , and for two explicit ranges \(\mu >\mathrm {Const.}\) μ > Const . when \(3<p<4\) 3 < p < 4 and \(p=4\) p = 4 .

Furthermore, we obtain a non-existence result for the case \(p=6\) p = 6 . Particularly, we identify different compactness thresholds for above three cases, and introduce three types of test functions to control the corresponding minimax levels to be less than prescribed thresholds, thereby overcoming the loss of compactness arising from the nonlocal critical term. The derivation of these strict inequalities is a novel contribution and constitutes one of the noteworthy highlights of this work, which is available and new for the limiting Sobolev critical problem as \(\alpha \rightarrow 0\) α 0 . We believe that the underlying ideas have potential for future development and can be applied to a broader range of variational problems with critical growth.