[論文レビュー] Effective dynamics of the nonlinear Schrödinger equation on large domains

Tristan Buckmaster, Pierre Germain+2 more|arXiv (Cornell University)|Oct 12, 2016

Advanced Mathematical Physics Problems参考文献 17被引用数 4

ひとこと要約

本稿は、非線形シュレーディンガー方程式（NLS）の大きな周期的領域 $[0,L]^d$ における極小非線形性（$ϵ \to 0$）および大きな $L$ の極限において、解析的数論の高度な道具（例えば、PDE に適応されたハーディー＝リトルウッドの円周法）を用いて、連続的共振（CR）方程式を有効な動的モデルとして導出する。主な結果は、非線形時間スケール $T_{nl} \sim \epsilon^{-2p}$ およびユークリッド時間スケール $T_{\mathcal{E}} \sim L$ を超える長時間スケールにおける動的挙動を捉える、厳密なCR方程式の導出であり、誤差項は次元に応じて $L^{-1+}$ または $L^{-1/3+}$ の速度で減少する。

ABSTRACT

We consider the nonlinear Schrödinger (NLS) equation posed on the box $[0,L]^d$ with periodic boundary conditions. The aim is to describe the long-time dynamics by deriving effective equations for it when $L$ is large and the characteristic size $ε$ of the data is small. Such questions arise naturally when studying dispersive equations that are posed on large domains (like water waves in the ocean), and also in theory of statistical physics of dispersive waves, that goes by the name of "wave turbulence". Our main result is deriving a new equation, the continuous resonant (CR) equation, that describes the effective dynamics for large $L$ and small $ε$ over very large time-scales. Such time-scales are well beyond the (a) nonlinear time-scale of the equation, and (b) the Euclidean time-scale at which the effective dynamics are given by (NLS) on $\mathbb R^d$. The proof relies heavily on tools from analytic number theory, such as a relatively modern version of the Hardy-Littlewood circle method, which are modified and extended to be applicable in a PDE setting.

研究の動機と目的

• 非線形項が弱い（$\epsilon \to 0$）かつ領域が広い（$L \to \infty$）とき、大規模な周期的領域 $[0,L]^d$ における非線形シュレーディンガー方程式（NLS）の長時間ダイナミクスを記述すること。
• 標準的な非線形時間スケール $T_{nl} \sim \epsilon^{-2p}$ およびユークリッド時間スケール $T_{\mathcal{E}} \sim L$ を超える動的挙動を記述する有効方程式を特定すること。
• この状態において、連続的共振（CR）方程式が有効な動的モデルとして厳密に導出されることを示し、フーリエモード間のエネルギー移動および共鳴相互作用を捉えること。
• 真のNLS解とCR方程式との間の定量的誤差推定を確立し、$L$ に依存するSobolevノルムでの収束を示すこと。

提案手法

• 解析的数論におけるハーディー＝リトルウッドの円周法をPDEの文脈に適応し、NLS方程式における共鳴フーリエモード相互作用の格子和を分析する。
• 共鳴集合を、$2p+1$ 体波相互作用における波動ベクトルおよび周波数の保存条件 $\mathcal{S}_{2p+1}(K) = 0$ および $\Omega_{2p+1}(K) = 0$ によって特定する。
• 共鳴相互作用を偶数モード対 $\boldsymbol{J_e}$ と奇数モード対 $\boldsymbol{J_o}$ に分解し、問題を $\boldsymbol{J_e} \cdot \boldsymbol{J_o} = 0$ の解析に還元する。
• 位相関数 $\Omega_{2p+1}(K)$ における部分積分を用いて、振動積分を制御し、$K$ に依存する成長を回避することで、周波数スケール全体にわたる一様なバウンドを保証する。
• 共鳴構成の格子和を定義し、対応する連続積分 $\mathcal{P}(W)$ と比較するが、$pn = 2$ のときの対数発散に対して補正項を導入する。
• 重み付きSobolevノルム $X^{\ell,N}$ を用いて誤差バウンドを確立し、離散和と連続積分の差が次元に応じて $L^{-1+}$ または $L^{-1/3+}$ の速度で減少することを示す。

実験結果

リサーチクエスチョン

• RQ1 非線形性と領域サイズの両方がスケーリングされるとき、大規模な周期的領域における非線形シュレーディンガー方程式の長時間ダイナミクスを支配する有効方程式は何か？
• RQ2 フーリエモード間の共鳴相互作用は、非線形時間スケールおよびユークリッド時間スケールを超える動的挙動においてどのように支配的になるか？
• RQ3 ハーディー＝リトルウッドの円周法を、分散PDEに生じる格子和の漸近的性質を厳密に導出するために適応可能か？
• RQ4 真のNLS解と連続的共振（CR）方程式との間の収束速度は、$L$ が大きく、$\epsilon$ が小さい極限でどの程度か？
• RQ5 $pn = 2$ のとき、なぜCR方程式に対数補正項が必要となり、その影響が誤差推定にどのように現れるか？

主な発見

• 連続的共振（CR）方程式は、$\epsilon \to 0$、$L \to \infty$ の極限において、大規模領域 $[0,L]^d$ におけるNLS方程式の有効な動的モデルとして、厳密に導出された。この方程式は、非線形時間スケールおよびユークリッド時間スケールを超える時間スケールでも有効である。
• 一般の場合（$pn \neq 2$）では、真のNLS解とCR方程式との間の誤差は $L^{-1+}$ の速度で減少するが、臨界ケース $pn = 2$ ではより洗練された $L^{-1/3+}$ の速度で減少する。
• $pn \neq 2$ の場合、離散的共鳴和と連続積分との差は $\|\Delta(W)\|_{X^\ell} \lesssim L^{-1+} \prod_{i=1}^{2p+1} \|f_i\|_{X^{\ell+n+2,4n+2}}$ でバウンドされ、一様収束が保証される。
• $pn = 2$ の場合、対数発散のため補正作用素 $\mathcal{C}(W)$ が必要であり、誤差 $\|\widetilde{\Delta}(W)\|_{X^\ell} \lesssim L^{-1/3+} \prod_{i=1}^{2p+1} \|f_i\|_{X^{\ell+n+4,4n+3}}$ が確立された。
• 位相積分の制御と $K$ に依存する成長の回避により、この方法はPDEに円周法を成功裏に拡張し、周波数スケール全体にわたる一様バウンドを可能にした。
• 導出結果により、共鳴相互作用が長時間ダイナミクスを支配することを確認し、大規模な $L$ および小規模な $\epsilon$ の範囲でCR方程式が正しい有効モデルであることを裏付けた。