<p>Nondegeneracy of solutions to nonlinear elliptic PDEs plays an important role in the construction of new solutions. For Schrödinger type systems, proving nondegeneracy is usually quite challenging in general situations. In this paper, we continue our previous work [<CitationRef CitationID="CR23">23</CitationRef>], and focus on nondegeneracy results of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n(n\ge 3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>≥</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-coupled Schrödinger systems. By computing the eigenvalues of some highly complex nth-order real symmetric matrices, using orthogonal transformations and decomposing the Laplace operator in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> into radial and spherical parts, we successfully establish the nondegeneracy of the positive solutions to <i>n</i>-coupled Schrödinger systems for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, which generalizes the results of [E. N. Dancer and J. Wei, Trans. Amer. Math. Soc. 2009], where nondegeneracy of positive solutions for the coupled Schrödinger system was established specifically for the case n=2. As an application, we construct a family of new non-radial positive solutions and show uniqueness of single peak solutions for the following multi-species nonlinear Schrödinger system under different trapping potentials <Equation ID="Equ143"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} -\Delta u_{i}+V(x)u_{i}=a_{i}u^{3}_{i}+\sum ^{n}_{i\ne j,j=1}\beta u^{2}_{j}u_{i},\ \text {in} \ \mathbb {R}^{N},\\ u_{i}&gt;0\ \text {in} \ \ \mathbb {R}^{N}, \ u_{i}\rightarrow 0 \ \text {as} \ |x|\rightarrow +\infty ,i=1,2,\cdots ,n. \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"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo>+</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo>=</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <msubsup> <mi>u</mi> <mi>i</mi> <mn>3</mn> </msubsup> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>≠</mo> <mi>j</mi> <mo>,</mo> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </msubsup> <mi>β</mi> <msubsup> <mi>u</mi> <mi>j</mi> <mn>2</mn> </msubsup> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo>,</mo> <mspace width="4pt" /> <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="left"> <mrow> <mrow /> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo>&gt;</mo> <mn>0</mn> <mspace width="4pt" /> <mtext>in</mtext> <mspace width="4pt" /> <mspace width="4pt" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mspace width="4pt" /> <msub> <mi>u</mi> <mi>i</mi> </msub> <mo stretchy="false">→</mo> <mn>0</mn> <mspace width="4pt" /> <mtext>as</mtext> <mspace width="4pt" /> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mo stretchy="false">→</mo> <mo>+</mo> <mi>∞</mi> <mo>,</mo> <mi>i</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> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>First, by using <i>building blocks</i> different from the ones adopted by [ S. Peng and Z.-Q. Wang, Arch. Ration. Mech. Anal. 2013], we successfully construct new synchronized vector solutions for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(n(n\ge 3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>≥</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-coupled Schrödinger system with more complex concentration structure. Then, we prove that the single peak solutions, if they concentrate on the same point, are unique. As far as we know, this is the first systematic study uniqueness result for single peak solutions of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n(n\ge 3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>≥</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-coupled nonlinear Schrödinger systems under radially symmetric but non-monotonic potentials.</p>

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

Nondegeneracy of positive solutions for n-coupled Schrödinger systems and its application

  • Yong Liu,
  • Xiao Luo,
  • Maoding Zhen

摘要

Nondegeneracy of solutions to nonlinear elliptic PDEs plays an important role in the construction of new solutions. For Schrödinger type systems, proving nondegeneracy is usually quite challenging in general situations. In this paper, we continue our previous work [23], and focus on nondegeneracy results of \(n(n\ge 3)\) n ( n 3 ) -coupled Schrödinger systems. By computing the eigenvalues of some highly complex nth-order real symmetric matrices, using orthogonal transformations and decomposing the Laplace operator in \(\mathbb {R}^N\) R N into radial and spherical parts, we successfully establish the nondegeneracy of the positive solutions to n-coupled Schrödinger systems for \(n\ge 3\) n 3 , which generalizes the results of [E. N. Dancer and J. Wei, Trans. Amer. Math. Soc. 2009], where nondegeneracy of positive solutions for the coupled Schrödinger system was established specifically for the case n=2. As an application, we construct a family of new non-radial positive solutions and show uniqueness of single peak solutions for the following multi-species nonlinear Schrödinger system under different trapping potentials \(\begin{aligned} {\left\{ \begin{array}{ll} -\Delta u_{i}+V(x)u_{i}=a_{i}u^{3}_{i}+\sum ^{n}_{i\ne j,j=1}\beta u^{2}_{j}u_{i},\ \text {in} \ \mathbb {R}^{N},\\ u_{i}>0\ \text {in} \ \ \mathbb {R}^{N}, \ u_{i}\rightarrow 0 \ \text {as} \ |x|\rightarrow +\infty ,i=1,2,\cdots ,n. \end{array}\right. } \end{aligned}\) - Δ u i + V ( x ) u i = a i u i 3 + i j , j = 1 n β u j 2 u i , in R N , u i > 0 in R N , u i 0 as | x | + , i = 1 , 2 , , n . First, by using building blocks different from the ones adopted by [ S. Peng and Z.-Q. Wang, Arch. Ration. Mech. Anal. 2013], we successfully construct new synchronized vector solutions for \(n(n\ge 3)\) n ( n 3 ) -coupled Schrödinger system with more complex concentration structure. Then, we prove that the single peak solutions, if they concentrate on the same point, are unique. As far as we know, this is the first systematic study uniqueness result for single peak solutions of \(n(n\ge 3)\) n ( n 3 ) -coupled nonlinear Schrödinger systems under radially symmetric but non-monotonic potentials.