<p>We study a nonlinear Schrödinger system with three-wave interaction: <Equation ID="Equ33"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned}&amp;- \Delta u_1 = f_1(u_1) + \alpha u_2u_3 \quad \text { in } \mathbb {R}^N, \\&amp;- \Delta u_2 = f_2(u_2) + \alpha u_3u_1 \quad \text { in } \mathbb {R}^N, \\&amp;- \Delta u_3 = f_3(u_3) + \alpha u_1u_2 \quad \text { in } \mathbb {R}^N, \\&amp;\quad \vec {u}=(u_1,u_2,u_3)\in (H_\textrm{rad}^1(\mathbb {R}^N))^3, \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> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>=</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>α</mi> <msub> <mi>u</mi> <mn>2</mn> </msub> <msub> <mi>u</mi> <mn>3</mn> </msub> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <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> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>=</mo> <msub> <mi>f</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>α</mi> <msub> <mi>u</mi> <mn>3</mn> </msub> <msub> <mi>u</mi> <mn>1</mn> </msub> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <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> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mn>3</mn> </msub> <mo>=</mo> <msub> <mi>f</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>α</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <msub> <mi>u</mi> <mn>2</mn> </msub> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <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="1em" /> <mover accent="true"> <mi>u</mi> <mo stretchy="false">→</mo> </mover> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>u</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>H</mi> <mtext>rad</mtext> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(3\le N\le 5\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>≤</mo> <mi>N</mi> <mo>≤</mo> <mn>5</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and each nonlinearity <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(f_i(\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies the Berestycki-Lions conditions. Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(S_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> denote the set of all least energy solutions of the scalar equation <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(-\Delta u = f_i(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>=</mo> <msub> <mi>f</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(H_\textrm{rad}^1(\mathbb {R}^N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mtext>rad</mtext> <mn>1</mn> </msubsup> <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>. A solution of the systems is called vector if all its components are nontrivial. We establish the existence of two distinct families of vector solutions <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\{\vec {u}_\alpha \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msub> <mover accent="true"> <mi>u</mi> <mo stretchy="false">→</mo> </mover> <mi>α</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with different asymptotic behaviors as <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. One family satisfies <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textrm{dist}(\vec {u}_{\alpha },S_1\times S_2\times S_3) \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>dist</mtext> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>u</mi> <mo stretchy="false">→</mo> </mover> <mi>α</mi> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>×</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>×</mo> <msub> <mi>S</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, while another satisfies <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textrm{dist}(\vec {u}_{\alpha },S_1\times S_2\times \{0\}) \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>dist</mtext> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>u</mi> <mo stretchy="false">→</mo> </mover> <mi>α</mi> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>×</mo> <msub> <mi>S</mi> <mn>2</mn> </msub> <mo>×</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. By contrast, we prove that no family of vector solutions satisfies <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\textrm{dist}(\vec {u}_{\alpha },S_1\times \{0\}\times \{0\}) \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>dist</mtext> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>u</mi> <mo stretchy="false">→</mo> </mover> <mi>α</mi> </msub> <mo>,</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>×</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>×</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Together, these results give a complete description of the asymptotic structure of vector solutions when the three-wave interaction is weak.</p>

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

On the existence of vector solutions to nonlinear Schrödinger equations with weak three-wave interaction

  • Tomoharu Kinoshita,
  • Yohei Sato

摘要

We study a nonlinear Schrödinger system with three-wave interaction: \(\begin{aligned} \left\{ \begin{aligned}&- \Delta u_1 = f_1(u_1) + \alpha u_2u_3 \quad \text { in } \mathbb {R}^N, \\&- \Delta u_2 = f_2(u_2) + \alpha u_3u_1 \quad \text { in } \mathbb {R}^N, \\&- \Delta u_3 = f_3(u_3) + \alpha u_1u_2 \quad \text { in } \mathbb {R}^N, \\&\quad \vec {u}=(u_1,u_2,u_3)\in (H_\textrm{rad}^1(\mathbb {R}^N))^3, \end{aligned}\right. \end{aligned}\) - Δ u 1 = f 1 ( u 1 ) + α u 2 u 3 in R N , - Δ u 2 = f 2 ( u 2 ) + α u 3 u 1 in R N , - Δ u 3 = f 3 ( u 3 ) + α u 1 u 2 in R N , u = ( u 1 , u 2 , u 3 ) ( H rad 1 ( R N ) ) 3 , where \(3\le N\le 5\) 3 N 5 , \(\alpha \in \mathbb {R}\) α R and each nonlinearity \(f_i(\xi )\) f i ( ξ ) satisfies the Berestycki-Lions conditions. Let \(S_i\) S i denote the set of all least energy solutions of the scalar equation \(-\Delta u = f_i(u)\) - Δ u = f i ( u ) in \(H_\textrm{rad}^1(\mathbb {R}^N)\) H rad 1 ( R N ) . A solution of the systems is called vector if all its components are nontrivial. We establish the existence of two distinct families of vector solutions \(\{\vec {u}_\alpha \}\) { u α } with different asymptotic behaviors as \(\alpha \rightarrow 0\) α 0 . One family satisfies \(\textrm{dist}(\vec {u}_{\alpha },S_1\times S_2\times S_3) \rightarrow 0\) dist ( u α , S 1 × S 2 × S 3 ) 0 , while another satisfies \(\textrm{dist}(\vec {u}_{\alpha },S_1\times S_2\times \{0\}) \rightarrow 0\) dist ( u α , S 1 × S 2 × { 0 } ) 0 . By contrast, we prove that no family of vector solutions satisfies \(\textrm{dist}(\vec {u}_{\alpha },S_1\times \{0\}\times \{0\}) \rightarrow 0\) dist ( u α , S 1 × { 0 } × { 0 } ) 0 . Together, these results give a complete description of the asymptotic structure of vector solutions when the three-wave interaction is weak.