[論文レビュー] Multilinear Eigenfunction Estimates And Global Existence For The Three Dimensional Nonlinear SchrÖdinger Equations

Nicolas Burq, Patrick Gérard+1 more|ArXiv.org|Sep 1, 2004

Advanced Mathematical Physics Problems参考文献 10被引用数 6

ひとこと要約

本稿は、$S^3$ および $S^2 \times S^1$ のコンpact多様体上で、非線形項が発散的で、五次未塔の非線形性を有する3次元非線形シュレーディンガー方程式（NLS）に対して、強解 $H^1$ の大域的存在性を確立する。主な革新点は、球面調和関数に対する新たな一連の多項式固有関数推定式であり、従来のストリカルツ法およびエネルギー法の限界を克服し、$s>1$ の閾値を超えて $H^1$ の大域的適切性を達成する。

ABSTRACT

We study nonlinear Schrödinger equations, posed on a three dimensional Riemannian manifold $M$. We prove global existence of strong $H^1$ solutions on $M=S^3$ and $M=S^2 imes S^1$ as far as the nonlinearity is defocusing and sub-quintic and thus we extend the results of Ginibre-Velo and Bourgain who treated the cases of the Euclidean space $\R^3$ and the flat torus $\T^3$ respectively. The main ingredient in our argument is a new set of multilinear estimates for spherical harmonics.

研究の動機と目的

• 3次元非線形シュレーディンガー方程式（NLS）の大域的解の結果を、ユークリッド空間 $\mathbb{R}^3$ やトーラス $\mathbb{T}^3$ にとどまらず、コンパクトなリーマン多様体へ拡張すること。
• 標準的なストリカルツ法およびエネルギー法が $H^1$ 閾値に到達できない3次元NLSにおける $H^1$ の大域的適切性を証明するという、根本的な課題に取り組むこと。
• $L^2$-に基づくノルムで非線形相互作用を制御できる、球面調和関数に対する新たなクラスの多項式固有関数推定式を開発すること。
• コンパクトな3次元多様体 $S^3$ および $S^2_\rho \times S^1$ 上で、発散的で五次未塔の非線形性を有するNLSに対して大域的解の存在を確立し、コンパクト3次元多様体における $H^1$ 理論を完成させること。
• ジニブレ＝ヴェロおよびバウルグの手法を統合・一般化し、曲がったコンパクト幾何構造に適応した調和解析ツールを適用すること。

提案手法

• 既存の研究で得られた2次推定式を拡張し、$S^3$ および $S^2_\rho \times S^1$ 上の球面調和関数に対する新たな多項式固有関数推定式を導出する。
• 新規に得られた多項式推定式を用いて、$L^2$-に基づくエネルギー空間 $H^1$ 内で非線形項 $F(u)$ を制御し、時間的に有界なエネルギー関数の有界性を保証する。
• コンパクト多様体上のラプラシアンの固有構造に適合した、微分損失を伴う改良型ストリカルツ型不等式を適用する。
• 時間に連続的に埋め込まれた修正エネルギー空間 $X$ におけるブートストラップ法を用いて、大域的解の存在および一意性を証明する。
• NLSのハミルトニアン構造を活用し、質量およびエネルギーの保存則を用いて、発散的条件下で $H^1$-有界性を保証する。
• 補間およびガガリャルド＝ニレングラート不等式を用いて、解およびその微分の $L^\infty$ ノルムを修正エネルギー $E_n$ の項で制御する。

実験結果

リサーチクエスチョン

• RQ1 標準的なエネルギー法が失敗するコンパクト多様体 $S^3$ や $S^2 \times S^1$ 上の3次元非線形シュレーディンガー方程式に対して、$H^1$ の大域的解を確立できるか？
• RQ2 コンパクト3次元多様体上での $H^1$-に基づく空間で非線形相互作用を制御するためには、球面調和関数に対するどのような多項式固有関数推定式が必要か？
• RQ3 ストリカルツ推定式による $\varepsilon$-正則性の向上を、曲がったコンパクト多様体に適応することで、$H^1$ の大域的適切性を達成できるか？
• RQ4 トーラス $\mathbb{T}^3$ に対してバウルグ型の $L^2$-に基づく手法を、非自明な幾何構造を有する他のコンパクト多様体へ一般化できる範囲はどの程度か？
• RQ5 $S^3$ および $S^2_\rho \times S^1$ 上で、$H^1$ の大域的解の存在を許容する非線形性の次数 $\alpha$ の鋭い閾値は何か？

主な発見

• 発散的で五次未塔の非線形性（$\alpha < 5$）を有する3次元NLSについて、$M = S^3$ および $M = S^2_\rho \times S^1$ 上で強解 $H^1$ の大域的解の存在が確立された。
• 主たる貢献は、$H^1$-に基づくエネルギー空間で非線形項を制御するために不可欠な、球面調和関数に対する新たな一連の多項式固有関数推定式の開発である。
• 解空間 $X$ は $C(\mathbb{R}; H^1(M))$ に連続的に埋め込まれており、有界な $H^1$ 集合における初期データにたいする初期値依存性が一様連続である強解の存在を保証する。
• $H^1(M)$ 上でのフローのリプシッツ連続性が、すべての $T > 0$ に対して証明され、強適切性が確認された。
• エネルギー関数が $V(z) \geq -C(1+|z|)^\beta$ かつ $\beta < 10/3$ の条件下で $H^1$ ノルムを制御するため、非線形性の発散的性質が保証された。
• 修正エネルギー $E_n$ を用いた改良型ブートストラップ法により、真の解と線形近似との差が $n^{-\varepsilon}$（$\varepsilon > 0$）の速度で減少することが示され、安定性および収束性が確認された。