<p>In this paper, we study the following double critical Schrödinger-Poisson system involving the fractional <i>p</i>-Laplacian in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> of the form: <Equation ID="Equ70"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll}(-\Delta )^{s}_{p} u-\phi |u|^{p_s^\sharp -2}u=\lambda |u|^{p-2}u+\mu |u|^{q-2}u+|u|^{p_s^*-2}u &amp; \text{ in } \mathbb {R}^3, \\ (-\Delta )^s\phi =|u|^{p_s^\sharp }&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> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> <mi>s</mi> </msubsup> <mi>u</mi> <mo>-</mo> <msup> <mrow> <mi>ϕ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msubsup> <mi>p</mi> <mi>s</mi> <mo>♯</mo> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <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> <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> <mi>p</mi> <mi>s</mi> <mo>∗</mo> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <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>s</mi> </msup> <mi>ϕ</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>p</mi> <mi>s</mi> <mo>♯</mo> </msubsup> </msup> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <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>and prescribed mass <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\int _{\mathbb {R}^3} |u|^{p}dx=a^p,\)</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> <mi>p</mi> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>a</mi> <mi>p</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((-\Delta )^{s}_{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation> is the fractional <i>p</i>-Laplace operator, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(s\in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(sp&lt;3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>p</mi> <mo>&lt;</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu , a&gt;0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>,</mo> <mi>a</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\lambda \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(q\in (p, p_s^*)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <msubsup> <mi>p</mi> <mi>s</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( p_s^*:= \frac{{3p}}{{3-sp}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>p</mi> <mi>s</mi> <mo>∗</mo> </msubsup> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mn>3</mn> <mi>p</mi> </mrow> <mrow> <mn>3</mn> <mo>-</mo> <mi>s</mi> <mi>p</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p_s^\sharp :=\frac{p(3+2s)}{2(3-sp)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>p</mi> <mi>s</mi> <mo>♯</mo> </msubsup> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mn>3</mn> <mo>+</mo> <mn>2</mn> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mn>3</mn> <mo>-</mo> <mi>s</mi> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is the critical exponent in the sense of Hardy-Littlewood-Sobolev inequality. For the <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-subcritical case, we show the existence of multiple normalized solutions by using the truncation technique and the genus theory. For the <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-supercritical case, we obtain a couple of normalized solutions by using the auxiliary functional. For both cases, in order to overcome the loss of compactness of the energy functional due to the double critical growth, the concentration-compactness principle is needed to overcome this difficulty. In a sense, we generalize some of the previous results [<CitationRef CitationID="CR2">2</CitationRef>, <CitationRef CitationID="CR24">24</CitationRef>, <CitationRef CitationID="CR33">33</CitationRef>, <CitationRef CitationID="CR54">54</CitationRef>]. As far as we know, this study seems to be the first contribution regarding existence of normalized solutions for double critical Schrödinger-Poisson system involving the fractional <i>p</i>-Laplacian.</p>

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

Normalized solutions for double critical Schrödinger-Poisson system involving the fractional p-Laplacian in \(\mathbb {R}^3\)

  • Di Xiao,
  • Yueqiang Song,
  • Shaoyun Shi,
  • Sihua Liang

摘要

In this paper, we study the following double critical Schrödinger-Poisson system involving the fractional p-Laplacian in \(\mathbb {R}^3\) R 3 of the form: \(\begin{aligned} {\left\{ \begin{array}{ll}(-\Delta )^{s}_{p} u-\phi |u|^{p_s^\sharp -2}u=\lambda |u|^{p-2}u+\mu |u|^{q-2}u+|u|^{p_s^*-2}u & \text{ in } \mathbb {R}^3, \\ (-\Delta )^s\phi =|u|^{p_s^\sharp }& \text{ in } \mathbb {R}^3, \end{array}\right. } \end{aligned}\) ( - Δ ) p s u - ϕ | u | p s - 2 u = λ | u | p - 2 u + μ | u | q - 2 u + | u | p s - 2 u in R 3 , ( - Δ ) s ϕ = | u | p s in R 3 , and prescribed mass \(\int _{\mathbb {R}^3} |u|^{p}dx=a^p,\) R 3 | u | p d x = a p , where \((-\Delta )^{s}_{p}\) ( - Δ ) p s is the fractional p-Laplace operator, \(s\in (0,1)\) s ( 0 , 1 ) , \(sp<3\) s p < 3 , \(\mu , a>0,\) μ , a > 0 , \(\lambda \in \mathbb {R}\) λ R , \(q\in (p, p_s^*)\) q ( p , p s ) and \( p_s^*:= \frac{{3p}}{{3-sp}}\) p s : = 3 p 3 - s p , \(p_s^\sharp :=\frac{p(3+2s)}{2(3-sp)}\) p s : = p ( 3 + 2 s ) 2 ( 3 - s p ) is the critical exponent in the sense of Hardy-Littlewood-Sobolev inequality. For the \(L^p\) L p -subcritical case, we show the existence of multiple normalized solutions by using the truncation technique and the genus theory. For the \(L^p\) L p -supercritical case, we obtain a couple of normalized solutions by using the auxiliary functional. For both cases, in order to overcome the loss of compactness of the energy functional due to the double critical growth, the concentration-compactness principle is needed to overcome this difficulty. In a sense, we generalize some of the previous results [2, 24, 33, 54]. As far as we know, this study seems to be the first contribution regarding existence of normalized solutions for double critical Schrödinger-Poisson system involving the fractional p-Laplacian.