[論文レビュー] Small data scattering for the nonlinear Schrödinger equation on product spaces

Nikolay Tzvetkov, Nicola Visciglia|arXiv (Cornell University)|Nov 29, 2010

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

ひとこと要約

本稿は、$M$ をコンパクトなリーマン多様体とする積空間 $\mathbb{R}^n \times M$ 上における三次非線形シュレーディンガー方程式に対して、小規模データの散乱を確立する。非等方的ソボレフ空間と積構造に適合したストリカルツ型推移を用いることで、$n$ が偶数の場合、$\mathcal{H}^{\frac{n-2}{2}, \frac{k}{2}+\epsilon}$ 内の小規模初期データに対して、グローバル存在と散乱を証明する。奇数次元 $n$ については次元削減による議論を用いて結果を拡張する。

ABSTRACT

We consider the cubic nonlinear Schrödinger equation, posed on $\R^n imes M$, where $M$ is a compact Riemannian manifold and $n\geq 2$. We prove that under a suitable smallness in Sobolev spaces condition on the data there exists a unique global solution which scatters to a free solution for large times.

研究の動機と目的

• 積空間 $\mathbb{R}^n \times M$ 上における三次非線形シュレーディンガー方程式に対して、$n \geq 2$ かつ $M$ がコンパクトである場合の小規模データ散乱を確立すること。
• $\mathbb{R}^n$ 上の分散的挙動と、コンパクトな $M$ 上での分散的欠如の間のギャップを、適切な関数空間枠組みの構築によって埋める。
• $x$ 変数と $y$ 変数における異なる正則性を反映する非等方的ソボレフ空間 $\mathcal{H}^{\theta,\rho}$ 内の小規模初期データに対して、グローバル存在と散乱を証明すること。
• ハイブリッド幾何に適合したストリカルツ推移と非線形推移を適応させることで、$\mathbb{R}^n$ からの古典的小規模データ散乱理論を積空間へ拡張すること。
• 奇数次元における非整数正則性閾値の課題を、問題を偶数次元ケースに還元することによって克服すること。

提案手法

• $\mathbb{R}^n$ と $M$ に対して別々の正則性インデックスを備えた非等方的ソボレフ空間 $\mathcal{H}^{\theta,\rho}_{x,y}$ を導入し、微分作用素とスペクトル射影子を用いた混合 $L^2$ ノルムで定義する。
• $x_n$ 変数における部分フーリエ変換と $y$ 変数におけるスペクトル分解を用い、周波数依存のポテンシャルを伴う $\mathbb{R}^{n-1} \times M$ 上のシュレーディンガー方程式の族に問題を還元する。
• 非等方的正則性と積構造に適合した、$\mathbb{R}^n \times M$ 上の線形発展に対する新しいクラスのストリカルツ型推移を確立する。
• 立方非線形項に対して空間 $X_\epsilon$ 上で三重積の推移を証明し、$n$ が偶数の場合はライブニッツ則に依拠し、$n$ が奇数の場合は還元的議論を用いる。
• 適切な関数空間 $X_\epsilon$ 上で固定点法を適用し、局所的解の存在を証明し、その後 $\mathcal{H}^{\theta,\rho}$ 内の初期データの小規模性を用いてグローバルに拡張する。
• スペクトル分解後に $L^p_t L^q_x L^2_y$ ノルムを制御するため、プランシュレルおよびミンコフスキーの不等式を用い、周波数に依存しない一様な有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 $M$ がコンパクトで $n \geq 2$ のとき、積空間 $\mathbb{R}^n \times M$ 上における三次 NLS に対して、小規模データ散乱を確立できるか？
• RQ2 混合ユークリッド的・コンパクト成分を持つ積空間に対して、ストリカルツ推移をどのように適合できるか？
• RQ3 非等方的ソボレフ空間内での最小正則性閾値は何か？ そこでは小規模データ散乱が成立する。
• RQ4 非線形分散方程式の文脈において、奇数次元における非整数正則性の課題をどのように克服できるか？
• RQ5 コンパクト方向に分散減衰が存在しないにもかかわらず、散乱は依然として達成可能か？

主な発見

• $n$ が偶数 ($n \geq 2$) の場合、$\mathcal{H}^{\frac{n-2}{2}, \frac{k}{2}+\epsilon}_{x,y}$ 内の小規模初期データは、$L^\infty_t \mathcal{H}^{\frac{n-2}{2}, \frac{k}{2}+\epsilon}_{x,y} \cap X_\epsilon$ 内に唯一のグローバル解を持つ。
• 解は $t \to \pm\infty$ の際に自由線形解へ散乱する。すなわち、$\|e^{it\Delta}f_0^\pm - u(t)\|_{\mathcal{H}^{\frac{n-2}{2}, \frac{k}{2}+\epsilon}} \to 0$ が成り立つ。
• $n$ が奇数 ($n \geq 3$) の場合、問題を偶数次元ケースに還元する次元削減技術を用いて結果を拡張する。
• $X_\epsilon$ 上での三重積推移は周波数およびスペクトルモードに依存しない一様な定数を有し、固定点法の適用を可能にする。
• 本手法はコンパクト変数 $y$ の分散的効果に依存せず、代わりに $\mathbb{R}^n$ 側の分散とスペクトル分解に依存する。
• 結果として、$y$ 方向における $H^1$ よりもやや強い正則性条件の下で散乱が成立することが示唆される。これは $\mathbb{R}^2 \times \mathbb{T}^2$ の場合に顕著に現れる。