<p>In this paper, we study the existence of normalized solutions for the fractional critical Schrödinger–Poisson system <Equation ID="Equ94"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_Equ94.gif" Format="GIF" Height="44" Rendition="HTML" Resolution="72" Type="Linedraw" Width="398" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}{\left\{ \begin{array}{ll} (-\Delta )^su +\gamma \phi u= \lambda u+\mu |u|^{q-2}u+|u|^{2^*_s-2}u,&amp; ~~ \text{ in }~{\mathbb {R}}^3,\\ (-\Delta )^t\phi =u^2,&amp; ~~ \text{ in }~{\mathbb {R}}^3,\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>s</mi> </msup> <mi>u</mi> <mo>+</mo> <mi>γ</mi> <mi>ϕ</mi> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>μ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="3.33333pt" /> <mspace width="3.33333pt" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mspace width="3.33333pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <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>t</mi> </msup> <mi>ϕ</mi> <mo>=</mo> <msup> <mi>u</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="3.33333pt" /> <mspace width="3.33333pt" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mspace width="3.33333pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with the prescribed <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-norm <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\( \int _{{\mathbb {R}}^3} |u|^2dx=a^2,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>a</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\( s, t \in (0, 1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>,</mo> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfies <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="211" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\,s+2t&gt; 3, q\in (2,2^*_s), a&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mspace width="0.166667em" /> <mi>s</mi> <mo>+</mo> <mn>2</mn> <mi>t</mi> <mo>&gt;</mo> <mn>3</mn> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> <mo>,</mo> <mi>a</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma ,\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>,</mo> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are parameters. We establish several existence results for the <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-subcritical regime, i.e., <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq7.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(q \in (2,2+\frac{2(3-2t)}{3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mn>3</mn> <mo>-</mo> <mn>2</mn> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>; the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-critical regime, i.e., <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(q=2+\frac{4s}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mrow> <mn>4</mn> <mi>s</mi> </mrow> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, and the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-supercritical regime, i.e., <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq11.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\in (2+\frac{4s}{3},2^*_s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mrow> <mn>4</mn> <mi>s</mi> </mrow> <mn>3</mn> </mfrac> <mo>,</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. These cases are studied under different assumptions imposed on the parameters <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq12.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma ,\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>,</mo> <mi>μ</mi> </mrow> </math></EquationSource> </InlineEquation> and the mass <i>a</i>, respectively. To prove the above conclusions, we comprehensively apply the Jeanjean’s theory, Pohozaev manifold method and Brezis-Nirenberg’s technique skill to overcome the lack of compactness. This paper complements the paper by He, Meng and Squassina (Calc Var PDE, 63(6): 142, 2024); and the paper by Li and Teng (Mediterr J Math, 20(2):92, 2023), since we consider the normalized solutions of the fractional Schrödinger–Poisson problems with the Sobolev critical term, and the perturbation <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu |u|^{q-2}u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi>μ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> </mrow> </math></EquationSource> </InlineEquation> is allowed to have <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-critical growth, i.e., <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2029_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(q=2+\frac{4s}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mrow> <mn>4</mn> <mi>s</mi> </mrow> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Normalized Solutions for a Sobolev Critical Fractional Schrödinger–Poisson System

  • Xiaoming He,
  • Michael Melgaard

摘要

In this paper, we study the existence of normalized solutions for the fractional critical Schrödinger–Poisson system \(\begin{aligned}{\left\{ \begin{array}{ll} (-\Delta )^su +\gamma \phi u= \lambda u+\mu |u|^{q-2}u+|u|^{2^*_s-2}u,& ~~ \text{ in }~{\mathbb {R}}^3,\\ (-\Delta )^t\phi =u^2,& ~~ \text{ in }~{\mathbb {R}}^3,\end{array}\right. } \end{aligned}\) ( - Δ ) s u + γ ϕ u = λ u + μ | u | q - 2 u + | u | 2 s - 2 u , in R 3 , ( - Δ ) t ϕ = u 2 , in R 3 , with the prescribed \(L^2\) L 2 -norm \( \int _{{\mathbb {R}}^3} |u|^2dx=a^2,\) R 3 | u | 2 d x = a 2 , where \( s, t \in (0, 1)\) s , t ( 0 , 1 ) satisfies \(2\,s+2t> 3, q\in (2,2^*_s), a>0\) 2 s + 2 t > 3 , q ( 2 , 2 s ) , a > 0 and \(\gamma ,\mu >0\) γ , μ > 0 are parameters. We establish several existence results for the \(L^2\) L 2 -subcritical regime, i.e., \(q \in (2,2+\frac{2(3-2t)}{3})\) q ( 2 , 2 + 2 ( 3 - 2 t ) 3 ) ; the \(L^2\) L 2 -critical regime, i.e., \(q=2+\frac{4s}{3}\) q = 2 + 4 s 3 , and the \(L^2\) L 2 -supercritical regime, i.e., \(q\in (2+\frac{4s}{3},2^*_s)\) q ( 2 + 4 s 3 , 2 s ) . These cases are studied under different assumptions imposed on the parameters \(\gamma ,\mu \) γ , μ and the mass a, respectively. To prove the above conclusions, we comprehensively apply the Jeanjean’s theory, Pohozaev manifold method and Brezis-Nirenberg’s technique skill to overcome the lack of compactness. This paper complements the paper by He, Meng and Squassina (Calc Var PDE, 63(6): 142, 2024); and the paper by Li and Teng (Mediterr J Math, 20(2):92, 2023), since we consider the normalized solutions of the fractional Schrödinger–Poisson problems with the Sobolev critical term, and the perturbation \(\mu |u|^{q-2}u\) μ | u | q - 2 u is allowed to have \(L^2\) L 2 -critical growth, i.e., \(q=2+\frac{4s}{3}\) q = 2 + 4 s 3 .