<p>This paper is concerned with ground states of two-component Bose gases confined in a harmonic trap <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="128" /> </InlineMediaObject> <EquationSource Format="TEX">\(V(x)=x_1^2+\Lambda ^2 x_2^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mi>x</mi> <mn>1</mn> <mn>2</mn> </msubsup> <mo>+</mo> <msup> <mi mathvariant="normal">Λ</mi> <mn>2</mn> </msup> <msubsup> <mi>x</mi> <mn>2</mn> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation> rotating at the velocity <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\((x_1, x_2)\in {\mathbb R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. We focus on the case where the intraspecies interaction <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\((-a_1,-a_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>-</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the interspecies interaction <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(-{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> are both attractive, i.e, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_1, a_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> are all positive. It is shown that for any <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\Omega &lt;\Omega ^*:=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi mathvariant="normal">Ω</mi> <mo>&lt;</mo> <msup> <mi mathvariant="normal">Ω</mi> <mo>∗</mo> </msup> <mo>:</mo> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, ground states exist if and only if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;a_1,\, a_2&lt;a^*:=\Vert w\Vert ^2_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <msup> <mi>a</mi> <mo>∗</mo> </msup> <mo>:</mo> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>w</mi> <mo stretchy="false">‖</mo> </mrow> <mn>2</mn> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq11.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="289" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;{\beta }&lt;{\beta }^*:=a^*+\sqrt{(a^*-a_1)(a^*-a_2)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>β</mi> <mo>&lt;</mo> <msup> <mrow> <mi>β</mi> </mrow> <mo>∗</mo> </msup> <mo>:</mo> <mo>=</mo> <msup> <mi>a</mi> <mo>∗</mo> </msup> <mo>+</mo> <msqrt> <mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>a</mi> <mo>∗</mo> </msup> <mo>-</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>a</mi> <mo>∗</mo> </msup> <mo>-</mo> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq12.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(w&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is the unique positive solution of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="144" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\Delta w+ w-w^3=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>w</mi> <mo>+</mo> <mi>w</mi> <mo>-</mo> <msup> <mi>w</mi> <mn>3</mn> </msup> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. By deriving the refined expansions, we further prove the nonexistence of vortices for ground states as <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\({\beta }\nearrow {\beta }^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>↗</mo> <msup> <mrow> <mi>β</mi> </mrow> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;\Omega &lt;\Omega ^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi mathvariant="normal">Ω</mi> <mo>&lt;</mo> <msup> <mi mathvariant="normal">Ω</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2909_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;a_1,\, a_2&lt;a^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>a</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <msup> <mi>a</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> are fixed.</p>

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

Ground states of rotating two-component focusing bose gases

  • Yongshuai Gao,
  • Yujin Guo,
  • Yan Li,
  • Yong Luo

摘要

This paper is concerned with ground states of two-component Bose gases confined in a harmonic trap \(V(x)=x_1^2+\Lambda ^2 x_2^2\) V ( x ) = x 1 2 + Λ 2 x 2 2 rotating at the velocity \(\Omega >0\) Ω > 0 , where \(\Lambda \ge 1\) Λ 1 and \((x_1, x_2)\in {\mathbb R}^2\) ( x 1 , x 2 ) R 2 . We focus on the case where the intraspecies interaction \((-a_1,-a_2)\) ( - a 1 , - a 2 ) and the interspecies interaction \(-{\beta }\) - β are both attractive, i.e, \(a_1, a_2\) a 1 , a 2 and \({\beta }\) β are all positive. It is shown that for any \(0<\Omega <\Omega ^*:=2\) 0 < Ω < Ω : = 2 , ground states exist if and only if \(0<a_1,\, a_2<a^*:=\Vert w\Vert ^2_2\) 0 < a 1 , a 2 < a : = w 2 2 and \(0<{\beta }<{\beta }^*:=a^*+\sqrt{(a^*-a_1)(a^*-a_2)}\) 0 < β < β : = a + ( a - a 1 ) ( a - a 2 ) , where \(w>0\) w > 0 is the unique positive solution of \(-\Delta w+ w-w^3=0\) - Δ w + w - w 3 = 0 in \({\mathbb R}^2\) R 2 . By deriving the refined expansions, we further prove the nonexistence of vortices for ground states as \({\beta }\nearrow {\beta }^*\) β β , where \(0<\Omega <\Omega ^*\) 0 < Ω < Ω and \(0<a_1,\, a_2<a^*\) 0 < a 1 , a 2 < a are fixed.