[論文レビュー] Finite-dimensional approximation and non-squeezing for the cubic nonlinear Schrödinger equation on $\R^2$

Rowan Killip, Monica Vişan+1 more|arXiv (Cornell University)|Jun 24, 2016

Advanced Mathematical Physics Problems参考文献 24被引用数 11

ひとこと要約

本稿は、無限体積におけるハミルトニアンPDEとして初めての結果となる、$ℝ^2$ 上の非焦点化立方非線形シュレーディンガー方程式における、スケーリング臨界的 $L^2$ 空間におけるシンプレクティック非圧縮性を確立する。この目的を達成するために、フーリエ截断を用いた一様な有限次元近似を構築し、グローバルな空間時間境界とシンプレクティック構造を保証し、有限次元系の解が全PDEによって近似可能であることを証明することで、有限次元から無限次元へのシンプレクティック不変性を引き上げる。

ABSTRACT

We prove symplectic non-squeezing (in the sense of Gromov) for the cubic nonlinear Schrödinger equation on $\R^2$. This is the first symplectic non-squeezing result for a Hamiltonian PDE in infinite volume. As the underlying symplectic Hilbert space is $L^2(\R^2)$, this requires working with initial data in this space. This space also happens to be scaling-critical for this equation. Thus, we also obtain the first unconditional symplectic non-squeezing result in such a critical setting. More generally, we show that solutions of this PDE can be approximated by a finite-dimensional Hamiltonian system, despite the wealth of non-compact symmetries: scaling, translation, and Galilei boosts. This approximation result holds uniformly on bounded sets of initial data. Complementing this approximation result, we show that all solutions of the finite-dimensional Hamiltonian system can be approximated by the full PDE. A key ingredient in these proofs is the development of a general methodology for obtaining uniform global space-time bounds for suitable Fourier truncations of dispersive PDE models.

研究の動機と目的

• $ℝ^2$ 上の立方非線形シュレーディンガー方程式が、スケーリング臨界的 $L^2$ 空間において、無限次元のシンプレクティック構造を有する場合のシンプレクティック非圧縮性を確立すること。
• 有界な初期データ集合上で、シンプレクティック構造とグローバルな空間時間境界を保つ一様な有限次元PDEダイナミクス近似を構築すること。
• 有限次元系の解が全PDEの解によって近似可能であることを証明し、有限次元と無限次元系の間で双方向の近似を保証すること。
• スケーリング、平行移動、ガリレオブーストといった非コンパクトな対称性の影響を受ける近似フレームワークにおいて、フーリエ截断解に対する一様な空間時間推定を構築することで、課題を克服すること。

提案手法

• 著者らは、トーラス $ℝ_n$ 上のフーリエ基底へのPDEの射影を用いて、有限次元ハミルトニアン系を構築し、周波数を制限するためのスペクトル射影子 $P_{\leq DM_n}^{L_n}$ を用いる。
• フーリエ截断解のグローバル一様な空間時間境界を、リトルウッド＝パイルの理論、フーリエ空間における優越収束定理、および補間推定に基づく新規な手法によって導出する。
• シンプレクティック非圧縮性の結果は、有限次元系におけるGromovの定理によって保証される非圧縮性の証拠を、弱収束および近似定理を介して無限次元PDE設定に持ち上げることで証明する。
• 初期データ列の $L^2(ℝ^2)$ 内の弱収束を用いて、近似を通じて極限を通過させ、有限次元系における非圧縮性証拠がPDE極限でも存続することを保証する。
• 主な技術的革新は、截断解の $L^4_{t,x}$ 範囲の均一な制御であり、これはDodsonの $L^2$-臨界的適切性結果と $L^2$ と $H^1$ 範囲の間の補間に依存する。
• 有限次元解をPDEによって近似する逆方向の近似は、リフト写像 $p_*$ とコンパクトな台を持つテスト関数を用いた双対性議論により達成され、$L^2(ℝ^2)$ 内の内積の弱収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 スケーリング臨界的 $L^2$ 空間において、無限次元シンプレクティック構造を有する $ℝ^2$ 上の立方非線形シュレーディンガー方程式について、シンプレクティック非圧縮性を確立できるか？
• RQ2 有界な $L^2$-初期データ集合上で、シンプレクティック構造を保つ有限次元ハミルトニアン系による、全PDEダイナミクスの一様近似が可能か？
• RQ3 有限次元系の解が全PDEの解によって近似可能であり、シンプレクティック設定において双方向の近似が保証されるか？
• RQ4 非コンパクトな対称性（スケーリング、平行移動、ガリレオブースト）を有する分散PDEのフーリエ截断解について、一様なグローバル空間時間境界をどのように確立できるか？

主な発見

• 本稿は、無限体積におけるハミルトニアンPDEとして初めての結果となる、$ℝ^2$ 上の立方NLS方程式が $L^2$-臨界的設定においてシンプレクティック非圧縮性を示す。
• トーラス上での周波数截断を用いたPDEダイナミクスの有限次元近似が構築され、有界な初期データ集合上で、シンプレクティック構造とグローバルな $L^4_{t,x}$ 範囲を一様に保証する。
• 有限次元系の解は、全PDEの解によって近似可能であり、すべての時間およびすべてのコンパクトな台を持つテスト関数について、$L^2(ℝ^2)$ 内の内積の収束が成立する。
• 著者らは、リトルウッド＝パイルの理論と弱収束に基づく一般的手法を用いて、フーリエ截断解の均一なグローバル空間時間境界を確立し、非コンパクトな対称性の影響を克服する。
• 非圧縮性の証明は、弱収束および近似を介して有限次元系の非圧縮性証拠をPDEに持ち上げることに依存し、PDEのフローが非圧縮性を保つことを保証する。
• 結果は条件なしで、$L^2(ℝ^2)$ 内のすべての初期データに適用可能であり、Dodsonのグローバル適切性およびこのようなデータに対する一様な $L^4_{t,x}$ 範囲を活用する。