<p>This article is concerned with the quasilinear Schrödinger equation <Equation ID="Equ133"> <EquationSource Format="TEX">\( \Delta u-\omega u+|u|^{p-1}u+\delta \Delta (|u|^2)u=0, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>-</mo> <mi>ω</mi> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>δ</mi> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">)</mo> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\delta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(N\geqslant 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">\(1&lt;p&lt;\frac{3N+2}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mfrac> <mrow> <mn>3</mn> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. After proving uniqueness and non-degeneracy of the positive solution <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(u_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>ω</mi> </msub> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\omega &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, our main results establish the asymptotic behavior of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(u_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>ω</mi> </msub> </math></EquationSource> </InlineEquation> in the limit <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\omega \rightarrow 0^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">→</mo> <msup> <mn>0</mn> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. Three different regimes arise, termed ‘subcritical’, ‘critical’ and ‘supercritical’, corresponding respectively (when <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(N\geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>) to <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(1&lt;p&lt;\frac{N+2}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p=\frac{N+2}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\frac{N+2}{N-2}&lt;p&lt;\frac{3N+2}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mfrac> <mrow> <mn>3</mn> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. In each case a limit equation is exhibited which governs, in a suitable scaling, the behavior of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(u_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>ω</mi> </msub> </math></EquationSource> </InlineEquation> in the limit <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\omega \rightarrow 0^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">→</mo> <msup> <mn>0</mn> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>. The critical case is the most challenging, technically speaking. In this case, the limit equation is the famous Lane-Emden-Fowler equation. A substantial part of our efforts is dedicated to the study of the function <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\omega \mapsto M(\omega )=\int _{\mathbb {R}^N}u_\omega ^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> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </msub> <msubsup> <mi>u</mi> <mi>ω</mi> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. We find that, for small <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\omega &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(M(\omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is increasing if <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(1&lt;p\leqslant 1+\frac{4}{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>⩽</mo> <mn>1</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and decreasing if <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(1+\frac{4}{N}&lt; p\leqslant \frac{N+2}{N-2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> <mo>&lt;</mo> <mi>p</mi> <mo>⩽</mo> <mfrac> <mrow> <mi>N</mi> <mo>+</mo> <mn>2</mn> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. In the supercritical case, the monotonicity of <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(M(\omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> depends on the dimension, except in the regime <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(p\geqslant 3+\frac{4}{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>⩾</mo> <mn>3</mn> <mo>+</mo> <mfrac> <mn>4</mn> <mi>N</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(M(\omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is always decreasing close to <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\omega =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. The crucial role played by <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(M(\omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi>ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for the orbital stability of the standing wave <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(e^{i\omega t}u_\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>e</mi> <mrow> <mi>i</mi> <mi>ω</mi> <mi>t</mi> </mrow> </msup> <msub> <mi>u</mi> <mi>ω</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, and for the uniqueness of normalized ground states, is discussed in the introduction.</p>

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

Standing wave solutions of a quasilinear Schrödinger equation. Part I: The low frequency limit

  • François Genoud,
  • Simona Rota Nodari

摘要

This article is concerned with the quasilinear Schrödinger equation \( \Delta u-\omega u+|u|^{p-1}u+\delta \Delta (|u|^2)u=0, \) Δ u - ω u + | u | p - 1 u + δ Δ ( | u | 2 ) u = 0 , where \(\delta >0\) δ > 0 , \(N=2\) N = 2 and \(p>1\) p > 1 or \(N\geqslant 3\) N 3 and \(1<p<\frac{3N+2}{N-2}\) 1 < p < 3 N + 2 N - 2 . After proving uniqueness and non-degeneracy of the positive solution \(u_\omega \) u ω for all \(\omega >0\) ω > 0 , our main results establish the asymptotic behavior of \(u_\omega \) u ω in the limit \(\omega \rightarrow 0^+\) ω 0 + . Three different regimes arise, termed ‘subcritical’, ‘critical’ and ‘supercritical’, corresponding respectively (when \(N\geqslant 3\) N 3 ) to \(1<p<\frac{N+2}{N-2}\) 1 < p < N + 2 N - 2 , \(p=\frac{N+2}{N-2}\) p = N + 2 N - 2 and \(\frac{N+2}{N-2}<p<\frac{3N+2}{N-2}\) N + 2 N - 2 < p < 3 N + 2 N - 2 . In each case a limit equation is exhibited which governs, in a suitable scaling, the behavior of \(u_\omega \) u ω in the limit \(\omega \rightarrow 0^+\) ω 0 + . The critical case is the most challenging, technically speaking. In this case, the limit equation is the famous Lane-Emden-Fowler equation. A substantial part of our efforts is dedicated to the study of the function \(\omega \mapsto M(\omega )=\int _{\mathbb {R}^N}u_\omega ^2\) ω M ( ω ) = R N u ω 2 . We find that, for small \(\omega >0\) ω > 0 , \(M(\omega )\) M ( ω ) is increasing if \(1<p\leqslant 1+\frac{4}{N}\) 1 < p 1 + 4 N and decreasing if \(1+\frac{4}{N}< p\leqslant \frac{N+2}{N-2}\) 1 + 4 N < p N + 2 N - 2 . In the supercritical case, the monotonicity of \(M(\omega )\) M ( ω ) depends on the dimension, except in the regime \(p\geqslant 3+\frac{4}{N}\) p 3 + 4 N , where \(M(\omega )\) M ( ω ) is always decreasing close to \(\omega =0\) ω = 0 . The crucial role played by \(M(\omega )\) M ( ω ) for the orbital stability of the standing wave \(e^{i\omega t}u_\omega \) e i ω t u ω , and for the uniqueness of normalized ground states, is discussed in the introduction.