<p>We consider normalised solutions of the stationary Gross–Pitaevskii–Poisson (GPP) equation with a defocusing local nonlinear term, <Equation ID="Equ156"> <EquationSource Format="TEX">\(\begin{aligned} -\Delta u+\lambda u+|u|^2u =(I_\alpha *|u|^2)u\quad \text { in } \mathbb {R}^3,\qquad \int _{\mathbb {R}^3}u^2dx=\rho ^2, \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>λ</mi> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </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> <mn>2</mn> </msup> <mrow> <mo stretchy="false">)</mo> <mi>u</mi> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo>,</mo> <mspace width="2em" /> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </msub> <msup> <mi>u</mi> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>ρ</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\rho ^2&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ρ</mi> <mn>2</mn> </msup> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is the prescribed mass of the solutions, <InlineEquation ID="IEq2"> <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> is an a-priori unknown Lagrange multiplier, and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(I_\alpha (x)=A_\alpha |x|^{3-\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> <msub> <mi>A</mi> <mi>α</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>3</mn> <mo>-</mo> <mi>α</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> is the Riesz potential of order <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\alpha \in (0,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\alpha =2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> this problem appears in the models of self–gravitating Bose–Einstein condensates, which were proposed in cosmology and astrophysics to describe Cold Dark Matter and Boson Stars.</p><p>We establish the existence of branches of normalised solutions to the GPP equation, paying special attention to the shape of the associated mass–energy relation curves and to the limit profiles of solutions at the endpoints of these curves. The behaviour of normalised solutions depends sensitively on whether <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is greater than, equal to, or less than one. The main novelty in this work is in the derivation of sharp asymptotic estimates on the mass–energy curves. These estimates allow us to show that after appropriate rescalings, the constructed normalised solutions converge either to a ground state of the Choquard equation or to a compactly supported radial ground state of the integral Thomas–Fermi equation. A major difficulty is the case <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> when analysis of limit profiles involves estimates along the branch of unstable mountain pass solutions.</p>

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

Normalised solutions and limit profiles of the defocusing Gross–Pitaevskii–Poisson equation

  • Riccardo Molle,
  • Vitaly Moroz,
  • Giuseppe Riey

摘要

We consider normalised solutions of the stationary Gross–Pitaevskii–Poisson (GPP) equation with a defocusing local nonlinear term, \(\begin{aligned} -\Delta u+\lambda u+|u|^2u =(I_\alpha *|u|^2)u\quad \text { in } \mathbb {R}^3,\qquad \int _{\mathbb {R}^3}u^2dx=\rho ^2, \end{aligned}\) - Δ u + λ u + | u | 2 u = ( I α | u | 2 ) u in R 3 , R 3 u 2 d x = ρ 2 , where \(\rho ^2>0\) ρ 2 > 0 is the prescribed mass of the solutions, \(\lambda \in \mathbb {R}\) λ R is an a-priori unknown Lagrange multiplier, and \(I_\alpha (x)=A_\alpha |x|^{3-\alpha }\) I α ( x ) = A α | x | 3 - α is the Riesz potential of order \(\alpha \in (0,3)\) α ( 0 , 3 ) . When \(\alpha =2\) α = 2 this problem appears in the models of self–gravitating Bose–Einstein condensates, which were proposed in cosmology and astrophysics to describe Cold Dark Matter and Boson Stars.

We establish the existence of branches of normalised solutions to the GPP equation, paying special attention to the shape of the associated mass–energy relation curves and to the limit profiles of solutions at the endpoints of these curves. The behaviour of normalised solutions depends sensitively on whether \(\alpha \) α is greater than, equal to, or less than one. The main novelty in this work is in the derivation of sharp asymptotic estimates on the mass–energy curves. These estimates allow us to show that after appropriate rescalings, the constructed normalised solutions converge either to a ground state of the Choquard equation or to a compactly supported radial ground state of the integral Thomas–Fermi equation. A major difficulty is the case \(\alpha <1\) α < 1 when analysis of limit profiles involves estimates along the branch of unstable mountain pass solutions.