<p>In this paper we study the existence of positive normalized solutions of the following coupled Schrödinger system: <Equation ID="Equ93"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}&amp;-\Delta u = \lambda _u u + \mu _1 u^3 + \beta uv^2, \quad x \in \Omega , \\&amp;-\Delta v = \lambda _v v + \mu _2 v^3 + \beta u^2 v, \quad x \in \Omega , \\&amp;u&gt; 0, v &gt; 0 \quad \text {in } \Omega , \quad u = v = 0 \quad \text {on } \partial \Omega , \end{aligned} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>=</mo> <msub> <mi>λ</mi> <mi>u</mi> </msub> <mi>u</mi> <mo>+</mo> <msub> <mi>μ</mi> <mn>1</mn> </msub> <msup> <mi>u</mi> <mn>3</mn> </msup> <mo>+</mo> <mi>β</mi> <mi>u</mi> <msup> <mi>v</mi> <mn>2</mn> </msup> <mo>,</mo> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>=</mo> <msub> <mi>λ</mi> <mi>v</mi> </msub> <mi>v</mi> <mo>+</mo> <msub> <mi>μ</mi> <mn>2</mn> </msub> <msup> <mi>v</mi> <mn>3</mn> </msup> <mo>+</mo> <mi>β</mi> <msup> <mi>u</mi> <mn>2</mn> </msup> <mi>v</mi> <mo>,</mo> <mspace width="1em" /> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mi>u</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>v</mi> <mo>&gt;</mo> <mn>0</mn> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mspace width="1em" /> <mi>u</mi> <mo>=</mo> <mi>v</mi> <mo>=</mo> <mn>0</mn> <mspace width="1em" /> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with the <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> constraint <Equation ID="Equ94"> <EquationSource Format="TEX">\(\begin{aligned} \int _{\Omega }|u|^2dx = c_1, \quad \quad \int _{\Omega }|v|^2dx = c_2, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msub> <mi>c</mi> <mn>1</mn> </msub> <mo>,</mo> <mspace width="1em" /> <mspace width="1em" /> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msub> <mi>c</mi> <mn>2</mn> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mu _1, \mu _2 &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>μ</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\beta \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(c_1, c_2 &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>c</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(N = 3, 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>) is bounded and star-shaped. Note that the nonlinearities and the coupling terms are both <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-supercritical in dimensions 3 and 4, Sobolev subcritical in dimension 3, Sobolev critical in dimension 4. It has been known that this system has a positive normalized solution which is a local minimizer. We further show that the system has a second positive normalized solution by studying the mountain pass geometry. This seems to be the first existence result of two positive normalized solutions for such a Schrödinger system, especially in the Sobolev critical case. We also study the limit behavior of the positive normalized solutions in the repulsive case <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\beta \rightarrow -\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo stretchy="false">→</mo> <mo>-</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, and phase separation is expected.</p>

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

Two Positive Normalized Solutions and Phase Separation for Coupled Schrödinger Equations on Bounded Domain with \(L^2\)-Supercritical and Sobolev Critical or Subcritical Exponent

  • Linjie Song,
  • Wenming Zou

摘要

In this paper we study the existence of positive normalized solutions of the following coupled Schrödinger system: \(\begin{aligned} \left\{ \begin{aligned}&-\Delta u = \lambda _u u + \mu _1 u^3 + \beta uv^2, \quad x \in \Omega , \\&-\Delta v = \lambda _v v + \mu _2 v^3 + \beta u^2 v, \quad x \in \Omega , \\&u> 0, v > 0 \quad \text {in } \Omega , \quad u = v = 0 \quad \text {on } \partial \Omega , \end{aligned} \right. \end{aligned}\) - Δ u = λ u u + μ 1 u 3 + β u v 2 , x Ω , - Δ v = λ v v + μ 2 v 3 + β u 2 v , x Ω , u > 0 , v > 0 in Ω , u = v = 0 on Ω , with the \(L^2\) L 2 constraint \(\begin{aligned} \int _{\Omega }|u|^2dx = c_1, \quad \quad \int _{\Omega }|v|^2dx = c_2, \end{aligned}\) Ω | u | 2 d x = c 1 , Ω | v | 2 d x = c 2 , where \(\mu _1, \mu _2 > 0\) μ 1 , μ 2 > 0 , \(\beta \ne 0\) β 0 , \(c_1, c_2 > 0\) c 1 , c 2 > 0 , and \(\Omega \subset \mathbb {R}^N\) Ω R N ( \(N = 3, 4\) N = 3 , 4 ) is bounded and star-shaped. Note that the nonlinearities and the coupling terms are both \(L^2\) L 2 -supercritical in dimensions 3 and 4, Sobolev subcritical in dimension 3, Sobolev critical in dimension 4. It has been known that this system has a positive normalized solution which is a local minimizer. We further show that the system has a second positive normalized solution by studying the mountain pass geometry. This seems to be the first existence result of two positive normalized solutions for such a Schrödinger system, especially in the Sobolev critical case. We also study the limit behavior of the positive normalized solutions in the repulsive case \(\beta \rightarrow -\infty \) β - , and phase separation is expected.