<p>We consider the existence of normalized solutions to the following coupled Schrödinger system: <Equation ID="Equ44"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} \displaystyle -\Delta u+V_1(x)u+\lambda _1 u-\omega (x) v=\mu _{1}|u|^{p-2}u+\beta |u|^{\frac{r}{2}-2}|v|^{\frac{r}{2}}u, \quad &amp; \text {in}\quad \mathbb {R}^{N}, \\ \displaystyle -\Delta v+V_2(x)v+\lambda _2v-\omega (x) u=\mu _{2}|v|^{q-2}v+\beta |u|^{\frac{r}{2}}|v|^{\frac{r}{2}-2}v, \quad &amp; \text {in}\quad \mathbb {R}^{N}, \\ \displaystyle \int _{\mathbb {R}^{N}}u^2\textrm{d}x=a, \int _{\mathbb {R}^{N}}v^2\textrm{d}x=b, \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <msub> <mi>V</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>+</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mi>u</mi> <mo>-</mo> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>v</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> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>β</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mfrac> <mi>r</mi> <mn>2</mn> </mfrac> <mo>-</mo> <mn>2</mn> </mrow> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mfrac> <mi>r</mi> <mn>2</mn> </mfrac> </msup> <mi>u</mi> <mo>,</mo> <mspace width="1em" /> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mi mathvariant="normal">in</mi> <mspace width="1em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi mathvariant="normal">N</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>+</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>v</mi> <mo>+</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> <mi>v</mi> <mo>-</mo> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</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> <mi>v</mi> <mo>+</mo> <msup> <mrow> <mi>β</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mfrac> <mi>r</mi> <mn>2</mn> </mfrac> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mfrac> <mi>r</mi> <mn>2</mn> </mfrac> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>v</mi> <mo>,</mo> <mspace width="1em" /> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mi mathvariant="normal">in</mi> <mspace width="1em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi mathvariant="normal">N</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <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> <mtext>d</mtext> <mi>x</mi> <mo>=</mo> <mi>a</mi> <mo>,</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msup> <mi>v</mi> <mn>2</mn> </msup> <mtext>d</mtext> <mi>x</mi> <mo>=</mo> <mi>b</mi> <mo>,</mo> </mrow> </mstyle> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <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="IEq2"> <EquationSource Format="TEX">\(a,b,\mu _1,\mu _2,\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>,</mo> <msub> <mi>μ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>μ</mi> <mn>2</mn> </msub> <mo>,</mo> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\omega (x)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2&lt;p,q,r&lt;2+\frac{4}{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>r</mi> <mo>&lt;</mo> <mn>2</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(V_1(x),V_2(x)\le 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\lambda _1,\lambda _2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> both appear as Lagrange multipliers. We study three cases: the case <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(V_1(x),V_2(x)\equiv 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\omega (x)\equiv \omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≡</mo> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation> is a constant; the case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(V_1(x),V_2(x)\ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\omega (x)\equiv \omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≡</mo> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation> is a constant ; the case <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(V_1(x),V_2(x)\ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>V</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>V</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\omega (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a function. For the first case, we use Schwarz symmetric decreasing rearrangement and energy estimate method to prove the existence of positive normalized solution <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\((u,v,\lambda _1,\lambda _2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and we also prove a strictly sub-additive inequality of the minimizing energy value. For the second case, we use Lions concentrate-compactness principle to derive a splitting Lemma, and then use a delicate energy estimate method to prove the existence of positive normalized solution <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\((u,v,\lambda _1,\lambda _2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. For the third case, we investigate two subcases: when <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\omega (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is continuous and bounded, we show the existence results by also Lions concentrate-compactness principle; while when <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\omega (x)\in L^{s}(\mathbb {R}^{N})\cap L^{\infty }(\mathbb {R}^{N})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mi>s</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <msup> <mi>L</mi> <mi>∞</mi> </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>, we prove the compactness of minimizing sequence by a Liouville type result.</p>

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

Normalized solutions to double coupled Schrödinger system with negative potential

  • Chonghao Deng

摘要

We consider the existence of normalized solutions to the following coupled Schrödinger system: \(\begin{aligned} \left\{ \begin{array}{ll} \displaystyle -\Delta u+V_1(x)u+\lambda _1 u-\omega (x) v=\mu _{1}|u|^{p-2}u+\beta |u|^{\frac{r}{2}-2}|v|^{\frac{r}{2}}u, \quad & \text {in}\quad \mathbb {R}^{N}, \\ \displaystyle -\Delta v+V_2(x)v+\lambda _2v-\omega (x) u=\mu _{2}|v|^{q-2}v+\beta |u|^{\frac{r}{2}}|v|^{\frac{r}{2}-2}v, \quad & \text {in}\quad \mathbb {R}^{N}, \\ \displaystyle \int _{\mathbb {R}^{N}}u^2\textrm{d}x=a, \int _{\mathbb {R}^{N}}v^2\textrm{d}x=b, \end{array} \right. \end{aligned}\) - Δ u + V 1 ( x ) u + λ 1 u - ω ( x ) v = μ 1 | u | p - 2 u + β | u | r 2 - 2 | v | r 2 u , in R N , - Δ v + V 2 ( x ) v + λ 2 v - ω ( x ) u = μ 2 | v | q - 2 v + β | u | r 2 | v | r 2 - 2 v , in R N , R N u 2 d x = a , R N v 2 d x = b , where \(N\ge 1\) N 1 , \(a,b,\mu _1,\mu _2,\beta >0\) a , b , μ 1 , μ 2 , β > 0 , \(\omega (x)>0\) ω ( x ) > 0 , \(2<p,q,r<2+\frac{4}{N}\) 2 < p , q , r < 2 + 4 N , \(V_1(x),V_2(x)\le 0\) V 1 ( x ) , V 2 ( x ) 0 and \(\lambda _1,\lambda _2\) λ 1 , λ 2 both appear as Lagrange multipliers. We study three cases: the case \(V_1(x),V_2(x)\equiv 0\) V 1 ( x ) , V 2 ( x ) 0 , \(\omega (x)\equiv \omega \) ω ( x ) ω is a constant; the case \(V_1(x),V_2(x)\ne 0\) V 1 ( x ) , V 2 ( x ) 0 , \(\omega (x)\equiv \omega \) ω ( x ) ω is a constant ; the case \(V_1(x),V_2(x)\ne 0\) V 1 ( x ) , V 2 ( x ) 0 , \(\omega (x)\) ω ( x ) is a function. For the first case, we use Schwarz symmetric decreasing rearrangement and energy estimate method to prove the existence of positive normalized solution \((u,v,\lambda _1,\lambda _2)\) ( u , v , λ 1 , λ 2 ) , and we also prove a strictly sub-additive inequality of the minimizing energy value. For the second case, we use Lions concentrate-compactness principle to derive a splitting Lemma, and then use a delicate energy estimate method to prove the existence of positive normalized solution \((u,v,\lambda _1,\lambda _2)\) ( u , v , λ 1 , λ 2 ) . For the third case, we investigate two subcases: when \(\omega (x)\) ω ( x ) is continuous and bounded, we show the existence results by also Lions concentrate-compactness principle; while when \(\omega (x)\in L^{s}(\mathbb {R}^{N})\cap L^{\infty }(\mathbb {R}^{N})\) ω ( x ) L s ( R N ) L ( R N ) , we prove the compactness of minimizing sequence by a Liouville type result.