<p>This paper is devoted to studying positive bound solutions for the following fractional Schrödinger–Poisson system <Equation ID="Equ85"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_Equ85.gif" Format="GIF" Height="66" Rendition="HTML" Resolution="72" Type="Linedraw" Width="408" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s} u+V(x)u=\phi |u|^{2_{s}^{*}-3}u+|u|^{2_{s}^{*}-2}u, &amp; \quad x\in \Omega ,\\ (-\Delta )^{s}\phi =|u|^{2_{s}^{*}-1}, &amp; \quad x\in \Omega ,\\ u=\phi =0, &amp; \quad x\in {\mathbb {R}}^{3}\backslash \Omega , \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>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>=</mo> <mmultiscripts> <mrow> <mi>ϕ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow /> <mrow> <mmultiscripts> <mn>2</mn> <mrow> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>-</mo> <mn>3</mn> </mrow> </mmultiscripts> <mi>u</mi> <mo>+</mo> <mmultiscripts> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow /> <mrow> <mmultiscripts> <mn>2</mn> <mrow> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>-</mo> <mn>2</mn> </mrow> </mmultiscripts> <mi>u</mi> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <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>s</mi> </msup> <mi>ϕ</mi> <mo>=</mo> <mmultiscripts> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow /> <mrow> <mmultiscripts> <mn>2</mn> <mrow> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>-</mo> <mn>1</mn> </mrow> </mmultiscripts> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mi>ϕ</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mrow> <mo stretchy="true">\</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset {\mathbb {R}}^{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is an unbounded exterior domain,<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq2.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \ne \emptyset \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>≠</mo> <mi mathvariant="normal">∅</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{3}\backslash \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mrow> <mo stretchy="true">\</mo> <mi mathvariant="normal">Ω</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> is bounded, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq4.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in (\frac{1}{2},1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(2_{s}^{*}=\frac{6}{N-2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mn>2</mn> <mrow> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>=</mo> <mfrac> <mn>6</mn> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is the fractional critical Sobolev exponent, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq6.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\in L^{\frac{3}{2s}}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>∈</mo> <msup> <mi>L</mi> <mfrac> <mn>3</mn> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a non-negative function. Under the condition that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq7.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(|V|_{\frac{3}{2s}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">|</mo> <mi>V</mi> <mo stretchy="false">|</mo> </mrow> <mfrac> <mn>3</mn> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{3}\backslash \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mrow> <mo stretchy="true">\</mo> <mi mathvariant="normal">Ω</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> are small enough in a prescribed sense, combining variational methods and the Brouwer degree theory, we derive that this equation has at least one positive bound state solution. Our result still holds true in the case <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1954_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ={\mathbb {R}}^{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, hence, this paper extends and supplements some recent works about the Benci–Cerami problem for the fractional Schrödinger–Poisson system.</p>

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

Positive Bound States of Fractional Schrödinger–Poisson System with Doubly Critical Exponents in Exterior Domains

  • Da-Bin Wang,
  • Huafei Xie,
  • Huabo Zhang

摘要

This paper is devoted to studying positive bound solutions for the following fractional Schrödinger–Poisson system \(\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s} u+V(x)u=\phi |u|^{2_{s}^{*}-3}u+|u|^{2_{s}^{*}-2}u, & \quad x\in \Omega ,\\ (-\Delta )^{s}\phi =|u|^{2_{s}^{*}-1}, & \quad x\in \Omega ,\\ u=\phi =0, & \quad x\in {\mathbb {R}}^{3}\backslash \Omega , \end{array} \right. \end{aligned}\) ( - Δ ) s u + V ( x ) u = ϕ | u | 2 s - 3 u + | u | 2 s - 2 u , x Ω , ( - Δ ) s ϕ = | u | 2 s - 1 , x Ω , u = ϕ = 0 , x R 3 \ Ω , where \(\Omega \subset {\mathbb {R}}^{3}\) Ω R 3 is an unbounded exterior domain, \(\partial \Omega \ne \emptyset \) Ω , \({\mathbb {R}}^{3}\backslash \Omega \) R 3 \ Ω is bounded, \(s\in (\frac{1}{2},1)\) s ( 1 2 , 1 ) , \(2_{s}^{*}=\frac{6}{N-2s}\) 2 s = 6 N - 2 s is the fractional critical Sobolev exponent, and \(V\in L^{\frac{3}{2s}}(\Omega )\) V L 3 2 s ( Ω ) is a non-negative function. Under the condition that \(|V|_{\frac{3}{2s}}\) | V | 3 2 s and \({\mathbb {R}}^{3}\backslash \Omega \) R 3 \ Ω are small enough in a prescribed sense, combining variational methods and the Brouwer degree theory, we derive that this equation has at least one positive bound state solution. Our result still holds true in the case \(\Omega ={\mathbb {R}}^{3}\) Ω = R 3 , hence, this paper extends and supplements some recent works about the Benci–Cerami problem for the fractional Schrödinger–Poisson system.