<p>This paper deals with the existence and nonexistence of normalized solutions for a type of fractional Schrödinger–Choquard system with critical nonlinearity <Equation ID="Equ36"> <EquationSource Format="TEX">\(\left\{ \begin{aligned} (-\Delta )^s u&amp;= \lambda _1 u + \mu _1|u|^{p-2}u+(I_\alpha *|u|^{2_{\alpha ,s}^{*}})|u|^{2_{\alpha ,s}^{*}-2}u+\beta r_{1}|u|^{r_1-2}u|v|^{r_2}, \\ (-\Delta )^s v&amp;= \lambda _2 v + \mu _2|v|^{q-2}v+(I_\alpha *|v|^{2_{\alpha ,s}^{*}})|v|^{2_{\alpha ,s}^{*}-2}v+\beta r_{2}|u|^{r_1}|v|^{r_2 -2}v \end{aligned} \right. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <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> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mi>u</mi> <mo>+</mo> <msub> <mi>μ</mi> <mn>1</mn> </msub> <msup> <mrow> <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> <msup> <mrow> <mrow /> <mo>∗</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <msubsup> <mn>2</mn> <mrow> <mi>α</mi> <mo>,</mo> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msubsup> </msup> <msup> <mrow> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msubsup> <mn>2</mn> <mrow> <mi>α</mi> <mo>,</mo> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <mi>β</mi> <msub> <mi>r</mi> <mn>1</mn> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <msub> <mi>r</mi> <mn>2</mn> </msub> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> <mi>v</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> <mi>v</mi> <mo>+</mo> <msub> <mi>μ</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mi>v</mi> <mo>+</mo> <mo stretchy="false">(</mo> </mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <msup> <mrow> <mrow /> <mo>∗</mo> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <msubsup> <mn>2</mn> <mrow> <mi>α</mi> <mo>,</mo> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msubsup> </msup> <msup> <mrow> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msubsup> <mn>2</mn> <mrow> <mi>α</mi> <mo>,</mo> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msubsup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>v</mi> <mo>+</mo> <mi>β</mi> <msub> <mi>r</mi> <mn>2</mn> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi>r</mi> <mn>2</mn> </msub> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>v</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>with the restrictions <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\int _{\mathbb {R}^N}|u|^2\textrm{d}x=a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mtext>d</mtext> <mi>x</mi> <mo>=</mo> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\int _{\mathbb {R}^N}|v|^2\textrm{d}x=b\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mtext>d</mtext> <mi>x</mi> <mo>=</mo> <mi>b</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(a,b&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are prescribed, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\frac{1}{2}\le s&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>≤</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(2\le N\le 4s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>N</mi> <mo>≤</mo> <mn>4</mn> <mi>s</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha \in (0,N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(I_\alpha (x):=\frac{\Gamma (\frac{\alpha }{2})}{\Gamma (\frac{N-\alpha }{2})\pi ^{N/2}2^{N-\alpha }|x|^{\alpha }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>I</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mfrac> <mi>α</mi> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mi>α</mi> </mrow> <mn>2</mn> </mfrac> <mo stretchy="false">)</mo> </mrow> <msup> <mi>π</mi> <mrow> <mi>N</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <msup> <mn>2</mn> <mrow> <mi>N</mi> <mo>-</mo> <mi>α</mi> </mrow> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mi>α</mi> </msup> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(x\in \mathbb {R}^N\setminus \{0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the Riesz potential, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mu _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mu _2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(r_1,r_2&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>r</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(2_{\alpha ,s}^{*}:=\frac{2N-\alpha }{N-2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mn>2</mn> <mrow> <mi>α</mi> <mo>,</mo> <mi>s</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </msubsup> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <mi>N</mi> <mo>-</mo> <mi>α</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. The frequencies <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\lambda _{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\lambda _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> appear as Lagrange multipliers. <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\((-\Delta )^s\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> </math></EquationSource> </InlineEquation> is the fractional Laplace operator. In the literature, any (<i>u</i>,&#xa0;<i>v</i>) solving the above system (for some <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\lambda _1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\lambda _2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>) is called a normalized solution. In the case where <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(2+\frac{4s}{N}&lt;p,q,r_1+r_2&lt;2_s^*:=\frac{2N}{N-2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>+</mo> <mfrac> <mrow> <mn>4</mn> <mi>s</mi> </mrow> <mi>N</mi> </mfrac> <mo>&lt;</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>r</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <mi>N</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and sufficiently large <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we prove the existence of a positive normalized solution. For the triple Sobolev-critical growth case <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(p=q=r_1+r_2=2_s^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>q</mi> <mo>=</mo> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>r</mi> <mn>2</mn> </msub> <mo>=</mo> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, we obtain the nonexistence of a positive normalized solution.</p>

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

Existence and nonexistence of normalized solutions for a type of fractional Choquard system with critical nonlinearity

  • Xizheng Sun

摘要

This paper deals with the existence and nonexistence of normalized solutions for a type of fractional Schrödinger–Choquard system with critical nonlinearity \(\left\{ \begin{aligned} (-\Delta )^s u&= \lambda _1 u + \mu _1|u|^{p-2}u+(I_\alpha *|u|^{2_{\alpha ,s}^{*}})|u|^{2_{\alpha ,s}^{*}-2}u+\beta r_{1}|u|^{r_1-2}u|v|^{r_2}, \\ (-\Delta )^s v&= \lambda _2 v + \mu _2|v|^{q-2}v+(I_\alpha *|v|^{2_{\alpha ,s}^{*}})|v|^{2_{\alpha ,s}^{*}-2}v+\beta r_{2}|u|^{r_1}|v|^{r_2 -2}v \end{aligned} \right. \) ( - Δ ) s u = λ 1 u + μ 1 | u | p - 2 u + ( I α | u | 2 α , s ) | u | 2 α , s - 2 u + β r 1 | u | r 1 - 2 u | v | r 2 , ( - Δ ) s v = λ 2 v + μ 2 | v | q - 2 v + ( I α | v | 2 α , s ) | v | 2 α , s - 2 v + β r 2 | u | r 1 | v | r 2 - 2 v with the restrictions \(\int _{\mathbb {R}^N}|u|^2\textrm{d}x=a\) R N | u | 2 d x = a and \(\int _{\mathbb {R}^N}|v|^2\textrm{d}x=b\) R N | v | 2 d x = b , where \(a,b>0\) a , b > 0 are prescribed, \(\frac{1}{2}\le s<1\) 1 2 s < 1 , \(2\le N\le 4s\) 2 N 4 s , \(\alpha \in (0,N)\) α ( 0 , N ) , \(I_\alpha (x):=\frac{\Gamma (\frac{\alpha }{2})}{\Gamma (\frac{N-\alpha }{2})\pi ^{N/2}2^{N-\alpha }|x|^{\alpha }}\) I α ( x ) : = Γ ( α 2 ) Γ ( N - α 2 ) π N / 2 2 N - α | x | α , \(x\in \mathbb {R}^N\setminus \{0\}\) x R N \ { 0 } is the Riesz potential, \(\mu _1\) μ 1 , \(\mu _2\) μ 2 , \(\beta >0\) β > 0 , \(r_1,r_2>1\) r 1 , r 2 > 1 and \(2_{\alpha ,s}^{*}:=\frac{2N-\alpha }{N-2s}\) 2 α , s : = 2 N - α N - 2 s . The frequencies \(\lambda _{1}\) λ 1 and \(\lambda _{2}\) λ 2 appear as Lagrange multipliers. \((-\Delta )^s\) ( - Δ ) s is the fractional Laplace operator. In the literature, any (uv) solving the above system (for some \(\lambda _1\) λ 1 , \(\lambda _2\) λ 2 ) is called a normalized solution. In the case where \(2+\frac{4s}{N}<p,q,r_1+r_2<2_s^*:=\frac{2N}{N-2s}\) 2 + 4 s N < p , q , r 1 + r 2 < 2 s : = 2 N N - 2 s and sufficiently large \(\beta >0\) β > 0 , we prove the existence of a positive normalized solution. For the triple Sobolev-critical growth case \(p=q=r_1+r_2=2_s^*\) p = q = r 1 + r 2 = 2 s , we obtain the nonexistence of a positive normalized solution.