<p>In this paper, we employ an enhanced version of the Lyapunov–Schmidt reduction method to study a particular class of nonlinear Schrödinger systems featuring sublinear coupling terms. Under suitable assumptions, we establish the existence of infinitely many nonnegative, segregated solutions for the system <Equation ID="Equ43"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}-\Delta u+K_1(x)u&amp;=\mu u^{p-1}+ (\sigma _1+1)\beta u^{\sigma _1}v^{\sigma _2+1},&amp;x\in \mathbb {R}^N&amp;, \\ -\Delta v+K_2(x)v&amp;=\nu v^{p-1}+(\sigma _2+1)\beta u^{\sigma _1+1}v^{\sigma _2},&amp;x\in \mathbb {R}^N&amp;,\end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <msub> <mi>K</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi>μ</mi> <msup> <mi>u</mi> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>σ</mi> <mn>1</mn> </msub> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>β</mi> <msup> <mi>u</mi> <msub> <mi>σ</mi> <mn>1</mn> </msub> </msup> <msup> <mi>v</mi> <mrow> <msub> <mi>σ</mi> <mn>2</mn> </msub> <mo>+</mo> <mn>1</mn> </mrow> </msup> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </mtd> <mtd columnalign="left"> <mo>,</mo> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>+</mo> <msub> <mi>K</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>v</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi>ν</mi> <msup> <mi>v</mi> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>σ</mi> <mn>2</mn> </msub> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>β</mi> <msup> <mi>u</mi> <mrow> <msub> <mi>σ</mi> <mn>1</mn> </msub> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>v</mi> <msub> <mi>σ</mi> <mn>2</mn> </msub> </msup> <mo>,</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </mtd> <mtd columnalign="left"> <mo>,</mo> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <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="IEq2"> <EquationSource Format="TEX">\( p\in (2,2^*) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <msup> <mn>2</mn> <mo>∗</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( 2^* = \frac{2N}{N-2} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mo>∗</mo> </msup> <mo>=</mo> <mfrac> <mrow> <mn>2</mn> <mi>N</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> denoting the critical Sobolev exponent if <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( N \ge 3 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> (and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( 2^* = \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mo>∗</mo> </msup> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( N = 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>). The functions <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( K_j(x) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>K</mi> <mi>j</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( j = 1, 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, are radially symmetric potential functions, the exponents <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( \sigma _j \in (0,1) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mi>j</mi> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> correspond to sublinear coupling terms, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( \mu &gt; 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\( \nu &gt; 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ν</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are given constants, and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\( \beta \in \mathbb {R} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> acts as the coupling coefficient.</p><p>The range of the exponents <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\sigma _j\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>σ</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation> introduces substantial challenges to classical reduction methods, primarily due to the nonsmoothness and sublinearity inherent in the coupling terms. To address these difficulties, we introduce a novel approach that recasts the reduction process as a fixed point problem defined on an appropriately constructed metric space. This space is formed by local minimizers of an associated outer boundary value problem and is furnished with crucial a priori estimates, which together enable us to verify the contraction mapping property.</p><p>Moreover, we identify a novel phenomenon in the sublinearly coupled regime: the constructed solutions <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\((u_\ell , v_\ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mi>ℓ</mi> </msub> <mo>,</mo> <msub> <mi>v</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> exhibit a distinct “dead core” behavior, characterized by non-strict positivity. In particular, for <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(N = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that the supports of the components separate as follows: for each sufficiently large integer <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>, there exist radii <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(0&lt; R_1 &lt; R_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>R</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <msub> <mi>R</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, depending on <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>, such that <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\text{ supp }u_\ell \subset B_{R_2}(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <mtext>supp</mtext> <mspace width="0.333333em" /> <msub> <mi>u</mi> <mi>ℓ</mi> </msub> <mo>⊂</mo> <msub> <mi>B</mi> <msub> <mi>R</mi> <mn>2</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\text{ supp }v_\ell \subset \mathbb {R}^N\setminus B_{R_1}(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <mtext>supp</mtext> <mspace width="0.333333em" /> <msub> <mi>v</mi> <mi>ℓ</mi> </msub> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi>B</mi> <msub> <mi>R</mi> <mn>1</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(u_\ell + v_\ell \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mi>ℓ</mi> </msub> <mo>+</mo> <msub> <mi>v</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> uniformly in the annular region <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(B_{R_2}(0) \setminus B_{R_1}(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <msub> <mi>R</mi> <mn>2</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi>B</mi> <msub> <mi>R</mi> <mn>1</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\ell \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>.</p><p>We believe that the framework developed here has broad applicability and can be used to tackle other problems involving similar nonsmooth nonlinearities.</p>

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

Segregated solutions for nonlinear Schrödinger systems with sublinear coupling terms

  • Qing Guo,
  • Chengxiang Zhang

摘要

In this paper, we employ an enhanced version of the Lyapunov–Schmidt reduction method to study a particular class of nonlinear Schrödinger systems featuring sublinear coupling terms. Under suitable assumptions, we establish the existence of infinitely many nonnegative, segregated solutions for the system \(\begin{aligned} \left\{ \begin{aligned}-\Delta u+K_1(x)u&=\mu u^{p-1}+ (\sigma _1+1)\beta u^{\sigma _1}v^{\sigma _2+1},&x\in \mathbb {R}^N&, \\ -\Delta v+K_2(x)v&=\nu v^{p-1}+(\sigma _2+1)\beta u^{\sigma _1+1}v^{\sigma _2},&x\in \mathbb {R}^N&,\end{aligned}\right. \end{aligned}\) - Δ u + K 1 ( x ) u = μ u p - 1 + ( σ 1 + 1 ) β u σ 1 v σ 2 + 1 , x R N , - Δ v + K 2 ( x ) v = ν v p - 1 + ( σ 2 + 1 ) β u σ 1 + 1 v σ 2 , x R N , where \(N\ge 2\) N 2 , \( p\in (2,2^*) \) p ( 2 , 2 ) with \( 2^* = \frac{2N}{N-2} \) 2 = 2 N N - 2 denoting the critical Sobolev exponent if \( N \ge 3 \) N 3 (and \( 2^* = \infty \) 2 = when \( N = 2 \) N = 2 ). The functions \( K_j(x) \) K j ( x ) , \( j = 1, 2 \) j = 1 , 2 , are radially symmetric potential functions, the exponents \( \sigma _j \in (0,1) \) σ j ( 0 , 1 ) correspond to sublinear coupling terms, \( \mu > 0 \) μ > 0 and \( \nu > 0 \) ν > 0 are given constants, and \( \beta \in \mathbb {R} \) β R acts as the coupling coefficient.

The range of the exponents \(\sigma _j\) σ j introduces substantial challenges to classical reduction methods, primarily due to the nonsmoothness and sublinearity inherent in the coupling terms. To address these difficulties, we introduce a novel approach that recasts the reduction process as a fixed point problem defined on an appropriately constructed metric space. This space is formed by local minimizers of an associated outer boundary value problem and is furnished with crucial a priori estimates, which together enable us to verify the contraction mapping property.

Moreover, we identify a novel phenomenon in the sublinearly coupled regime: the constructed solutions \((u_\ell , v_\ell )\) ( u , v ) exhibit a distinct “dead core” behavior, characterized by non-strict positivity. In particular, for \(N = 2\) N = 2 , we show that the supports of the components separate as follows: for each sufficiently large integer \(\ell \) , there exist radii \(0< R_1 < R_2\) 0 < R 1 < R 2 , depending on \(\ell \) , such that \(\text{ supp }u_\ell \subset B_{R_2}(0)\) supp u B R 2 ( 0 ) , \(\text{ supp }v_\ell \subset \mathbb {R}^N\setminus B_{R_1}(0)\) supp v R N \ B R 1 ( 0 ) , and \(u_\ell + v_\ell \rightarrow 0\) u + v 0 uniformly in the annular region \(B_{R_2}(0) \setminus B_{R_1}(0)\) B R 2 ( 0 ) \ B R 1 ( 0 ) as \(\ell \rightarrow \infty \) .

We believe that the framework developed here has broad applicability and can be used to tackle other problems involving similar nonsmooth nonlinearities.