<p>We consider a double power nonlinear Schrödinger equation possessing the algebraically decaying stationary solution <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ϕ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> as well as exponentially decaying standing waves <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(e^{i\omega t}\phi _\omega (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>e</mi> <mrow> <mi>i</mi> <mi>ω</mi> <mi>t</mi> </mrow> </msup> <msub> <mi>ϕ</mi> <mi>ω</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. According to the general theory, stability properties of standing waves are determined by the derivative of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \mapsto M(\omega )\mathrel {\mathop :}=\frac{1}{2}\Vert \phi _\omega \Vert _{L^2}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>↦</mo> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msubsup> <mrow> <mo stretchy="false">‖</mo> <msub> <mi>ϕ</mi> <mi>ω</mi> </msub> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> </mrow> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation>; namely <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(e^{i\omega t}\phi _\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>e</mi> <mrow> <mi>i</mi> <mi>ω</mi> <mi>t</mi> </mrow> </msup> <msub> <mi>ϕ</mi> <mi>ω</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq6.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is stable if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(M'(\omega )&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>M</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and unstable if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(M'(\omega )&lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>M</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. However, the stability/instability of stationary solutions is outside the general theory from the viewpoint of spectral properties of linearized operators. In this paper we prove the instability of the stationary solution <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi _0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ϕ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> in one dimension under the condition <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="169" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lim _{\omega \downarrow 0}M'(\omega )\in [-\infty , 0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>ω</mi> <mo stretchy="false">↓</mo> <mn>0</mn> </mrow> </msub> <msup> <mi>M</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mrow> <mo stretchy="false">[</mo> <mo>-</mo> <mi>∞</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The key in the proof is the construction of the one-sided derivative of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \mapsto \phi _\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>↦</mo> <msub> <mi>ϕ</mi> <mi>ω</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> at <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42985_2024_309_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, which is effectively used to construct the unstable direction.</p>

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

Instability of stationary solutions for double power nonlinear Schrödinger equations in one dimension

  • Noriyoshi Fukaya,
  • Masayuki Hayashi

摘要

We consider a double power nonlinear Schrödinger equation possessing the algebraically decaying stationary solution \(\phi _0\) ϕ 0 as well as exponentially decaying standing waves \(e^{i\omega t}\phi _\omega (x)\) e i ω t ϕ ω ( x ) with \(\omega >0\) ω > 0 . According to the general theory, stability properties of standing waves are determined by the derivative of \(\omega \mapsto M(\omega )\mathrel {\mathop :}=\frac{1}{2}\Vert \phi _\omega \Vert _{L^2}^2\) ω M ( ω ) : = 1 2 ϕ ω L 2 2 ; namely \(e^{i\omega t}\phi _\omega \) e i ω t ϕ ω with \(\omega >0\) ω > 0 is stable if \(M'(\omega )>0\) M ( ω ) > 0 and unstable if \(M'(\omega )<0\) M ( ω ) < 0 . However, the stability/instability of stationary solutions is outside the general theory from the viewpoint of spectral properties of linearized operators. In this paper we prove the instability of the stationary solution \(\phi _0\) ϕ 0 in one dimension under the condition \(\lim _{\omega \downarrow 0}M'(\omega )\in [-\infty , 0)\) lim ω 0 M ( ω ) [ - , 0 ) . The key in the proof is the construction of the one-sided derivative of \(\omega \mapsto \phi _\omega \) ω ϕ ω at \(\omega =0\) ω = 0 , which is effectively used to construct the unstable direction.