<p>Consider the following system of <i>N</i> coupled Schrödinger equations <Equation ID="Equ27"> <EquationSource Format="TEX">\( \left\{ \begin{aligned}&amp;-\Delta u_j+V_j(x)u_j=\sum \nolimits _{i=1}^N\beta _{ij}(x)u_i^2u_j \quad \text {in}\ {\mathbb {R}}^n, \\&amp;\,u_j\in H^1({\mathbb {R}}^n),\quad j=1, 2, \ldots , N, \end{aligned} \right. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>+</mo> <msub> <mi>V</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>N</mi> </msubsup> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi>u</mi> <mi>i</mi> <mn>2</mn> </msubsup> <msub> <mi>u</mi> <mi>j</mi> </msub> <mspace width="1em" /> <mtext>in</mtext> <mspace width="4pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.166667em" /> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>∈</mo> <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> <mo>,</mo> <mspace width="1em" /> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>N</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>which arises in the theory of Bose–Einstein condensates and nonlinear optics. Here, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n=1, 2, 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\beta _{ij}=\beta _{ji}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo>=</mo> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ji</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(i, j=1, 2, \ldots , N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, and the potentials <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(V_j\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\beta _{ij}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> are either periodic or asymptotically periodic functions. When the coupling potentials <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\beta _{ij}\,(i\ne j)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo>≠</mo> <mi>j</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are relatively small compared with the self-interaction potentials <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\beta _{ii}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">ii</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\beta _{jj}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <mrow> <mi mathvariant="italic">jj</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, we prove that the system has a fully nontrivial positive ground state using variational method. Since the system has many semi-trivial solutions, careful avoidance of their energy levels is essential in constructing a fully nontrivial solution.</p>

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

Ground states for a system of N coupled Schrödinger equations

  • Yongtao Jing,
  • Fanqin Liu,
  • Haidong Liu,
  • Zhaoli Liu

摘要

Consider the following system of N coupled Schrödinger equations \( \left\{ \begin{aligned}&-\Delta u_j+V_j(x)u_j=\sum \nolimits _{i=1}^N\beta _{ij}(x)u_i^2u_j \quad \text {in}\ {\mathbb {R}}^n, \\&\,u_j\in H^1({\mathbb {R}}^n),\quad j=1, 2, \ldots , N, \end{aligned} \right. \) - Δ u j + V j ( x ) u j = i = 1 N β ij ( x ) u i 2 u j in R n , u j H 1 ( R n ) , j = 1 , 2 , , N , which arises in the theory of Bose–Einstein condensates and nonlinear optics. Here, \(n=1, 2, 3\) n = 1 , 2 , 3 , \(N\ge 2\) N 2 , \(\beta _{ij}=\beta _{ji}\) β ij = β ji for \(i, j=1, 2, \ldots , N\) i , j = 1 , 2 , , N , and the potentials \(V_j\) V j and \(\beta _{ij}\) β ij are either periodic or asymptotically periodic functions. When the coupling potentials \(\beta _{ij}\,(i\ne j)\) β ij ( i j ) are relatively small compared with the self-interaction potentials \(\beta _{ii}\) β ii and \(\beta _{jj}\) β jj , we prove that the system has a fully nontrivial positive ground state using variational method. Since the system has many semi-trivial solutions, careful avoidance of their energy levels is essential in constructing a fully nontrivial solution.