<p>We study the existence and asymptotic behavior of normalized solutions to the following Choquard equation <Equation ID="Equ89"> <EquationSource Format="TEX">\(\begin{aligned} \begin{aligned}&amp;-\Delta u + \lambda u =\mu g(u) + \gamma (I_\alpha * |u|^{\frac{N+\alpha }{N}})|u|^{\frac{N+\alpha }{N}-2}u&amp;\text {in } \mathbb {R}^N \end{aligned} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>λ</mi> <mi>u</mi> <mo>=</mo> <mi>μ</mi> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>γ</mi> <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> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mi>α</mi> </mrow> <mi>N</mi> </mfrac> </msup> <msup> <mrow> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mi>α</mi> </mrow> <mi>N</mi> </mfrac> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>under the <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-norm constraint <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\int _{\mathbb {R}^N}u^2 dx =c^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msup> <mi>u</mi> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>c</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. Here <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( N\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(I_{\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>I</mi> <mi>α</mi> </msub> </math></EquationSource> </InlineEquation> is the Riesz potential of order <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">\(\mu &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a parameter and the unknown <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> appears as a Lagrange multiplier. In a mass supercritical setting on <i>g</i>, by establishing a novel compactness lemma and some prior energy estimate, we find regions in the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((c,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>–parameter space such that the corresponding equation admits a positive radial ground state solution, and then study the asymptotic profiles of the ground states as <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((c,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>c</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> varies. In particular, we show that as <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> or <i>c</i> tends to 0 (resp. <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> or <i>c</i> tends to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(+\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>), after a suitable rescaling the ground state solutions converge in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(H^1(\mathbb {R}^N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to a particular solution of some limit equations. Our main results are new even for the power type nonlinearity <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(g(u)= |u|^{q-2}u\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <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> with <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(2+\frac{4}{N}&lt;q&lt;2^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <msup> <mn>2</mn> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(2^*:=\frac{2N}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mo>∗</mo> </msup> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <mi>N</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(N\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(2^* = \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mo>∗</mo> </msup> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(N=1, 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>). Further, we study the non-existence and multiplicity of positive radial solutions to <Equation ID="Equ90"> <EquationSource Format="TEX">\(\begin{aligned} -\Delta u + u = \eta |u|^{q-2}u + (I_\alpha * |u|^{\frac{N+\alpha }{N}})|u|^{\frac{N+\alpha }{N}-2}u, \quad \text {in}\ \ \mathbb {R}^N\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> <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> <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> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mi>α</mi> </mrow> <mi>N</mi> </mfrac> </msup> <msup> <mrow> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mi>α</mi> </mrow> <mi>N</mi> </mfrac> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>,</mo> <mspace width="1em" /> <mtext>in</mtext> <mspace width="4pt" /> <mspace width="4pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(N \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\( 2+\frac{4}{N}\le q&lt;2^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> <mo>≤</mo> <mi>q</mi> <mo>&lt;</mo> <msup> <mn>2</mn> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\eta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Particularly, if <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\( 2+\frac{4}{N}&lt; q&lt;2^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <msup> <mn>2</mn> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, we show that there exist two constants <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(0&lt;\eta _1\le \eta _2&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>η</mi> <mn>1</mn> </msub> <mo>≤</mo> <msub> <mi>η</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> such that the corresponding equation has a positive radial least action solution if and only if <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(\eta \ge \eta _1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>≥</mo> <msub> <mi>η</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and admits two positive solutions if <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(\eta &gt;\eta _2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo>&gt;</mo> <msub> <mi>η</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. To the best of our knowledge, this seems to be the first result concerning the non-existence and multiplicity of positive solutions to Choquard type equations involving the lower critical exponent.</p>

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

Normalized Solutions to Lower Critical Choquard Equation in Mass-supercritical Setting

  • Shuai Mo,
  • Shiwang Ma

摘要

We study the existence and asymptotic behavior of normalized solutions to the following Choquard equation \(\begin{aligned} \begin{aligned}&-\Delta u + \lambda u =\mu g(u) + \gamma (I_\alpha * |u|^{\frac{N+\alpha }{N}})|u|^{\frac{N+\alpha }{N}-2}u&\text {in } \mathbb {R}^N \end{aligned} \end{aligned}\) - Δ u + λ u = μ g ( u ) + γ ( I α | u | N + α N ) | u | N + α N - 2 u in R N under the \(L^2\) L 2 -norm constraint \(\int _{\mathbb {R}^N}u^2 dx =c^2\) R N u 2 d x = c 2 . Here \(\gamma >0\) γ > 0 , \( N\ge 1\) N 1 , \(I_{\alpha }\) I α is the Riesz potential of order \(\alpha \in (0,N)\) α ( 0 , N ) , \(\mu >0\) μ > 0 is a parameter and the unknown \(\lambda \) λ appears as a Lagrange multiplier. In a mass supercritical setting on g, by establishing a novel compactness lemma and some prior energy estimate, we find regions in the \((c,\mu )\) ( c , μ ) –parameter space such that the corresponding equation admits a positive radial ground state solution, and then study the asymptotic profiles of the ground states as \((c,\mu )\) ( c , μ ) varies. In particular, we show that as \(\mu \) μ or c tends to 0 (resp. \(\mu \) μ or c tends to \(+\infty \) + ), after a suitable rescaling the ground state solutions converge in \(H^1(\mathbb {R}^N)\) H 1 ( R N ) to a particular solution of some limit equations. Our main results are new even for the power type nonlinearity \(g(u)= |u|^{q-2}u\) g ( u ) = | u | q - 2 u with \(2+\frac{4}{N}<q<2^*\) 2 + 4 N < q < 2 ( \(2^*:=\frac{2N}{N-2}\) 2 : = 2 N N - 2 , if \(N\ge 3\) N 3 and \(2^* = \infty \) 2 = , if \(N=1, 2\) N = 1 , 2 ). Further, we study the non-existence and multiplicity of positive radial solutions to \(\begin{aligned} -\Delta u + u = \eta |u|^{q-2}u + (I_\alpha * |u|^{\frac{N+\alpha }{N}})|u|^{\frac{N+\alpha }{N}-2}u, \quad \text {in}\ \ \mathbb {R}^N\end{aligned}\) - Δ u + u = η | u | q - 2 u + ( I α | u | N + α N ) | u | N + α N - 2 u , in R N where \(N \ge 1\) N 1 , \( 2+\frac{4}{N}\le q<2^*\) 2 + 4 N q < 2 and \(\eta >0\) η > 0 . Particularly, if \( 2+\frac{4}{N}< q<2^*\) 2 + 4 N < q < 2 , we show that there exist two constants \(0<\eta _1\le \eta _2<\infty \) 0 < η 1 η 2 < such that the corresponding equation has a positive radial least action solution if and only if \(\eta \ge \eta _1\) η η 1 and admits two positive solutions if \(\eta >\eta _2\) η > η 2 . To the best of our knowledge, this seems to be the first result concerning the non-existence and multiplicity of positive solutions to Choquard type equations involving the lower critical exponent.