[論文レビュー] Quasineutral limit for Vlasov-Poisson via Wasserstein stability estimates in higher dimension

Daniel Han-Kwan, Mikaela Iacobelli|arXiv (Cornell University)|Mar 20, 2015

Gas Dynamics and Kinetic Theory参考文献 16被引用数 24

ひとこと要約

本稿は、2次元および3次元のVlasov-Poisson系の準中性極限を、Wasserstein安定性推定を用いて確立する。解析的初期データの小さな摂動（Wasserstein距離$W_1$で測定）に対する解の収束を証明し、1次元の既存結果を高次元に拡張する。$ε$に関する明示的な減衰率を伴う。

ABSTRACT

This work is concerned with the quasineutral limit of the Vlasov-Poisson system in two and three dimensions. We justify the formal limit for very small but rough perturbations of analytic initial data, generalizing the results of \\cite{HI} to higher dimension.

研究の動機と目的

• 2次元および3次元空間におけるVlasov-Poisson系の準中性極限を正当化すること。
• Wasserstein安定性推定を用いて、これまでの1次元の準中性極限に関する結果を高次元に拡張すること。
• 解析的初期データの小さな粗い摂動（$W_1$距離で測定）に対する収束を確立すること。
• 高周波数振動を許容する摂動に対する極限の安定性を分析すること。
• Wasserstein距離における収束速度に対する$ε$に関する定量的減衰推定を提供すること。

提案手法

• スケーリングされたVlasov-Poisson系の解と準中性極限の間の収束を、$W_1$-Wasserstein距離で測定する。
• 分布関数をパrameter $\theta$ でパrameter化された流体的成分の重ね合わせに分解し、輸送および安定性推定の適用を可能にする。
• 全解と準中性解の差を制御するための補正項$C_\varepsilon$を導入し、その勾配に対する一様な有界性を確立する。
• 2段階のWasserstein安定性議論を採用：まず$W_1(\tilde{f}_\varepsilon, \tilde{g}_\varepsilon)$を評価し、次に$W_1(\tilde{g}_\varepsilon, g)$を評価する。この際、定理3.1の$W_2$-安定性推定を用いる。
• 2次元および3次元における密度$\rho_{f_\varepsilon}$の$L^\infty$有界性を導出し、それぞれ$\varepsilon^{-2\max(\beta,\gamma)}$および$\varepsilon^{-\max(38,3\gamma)}$の成長を示す。
• 摂動の大きさ$\varphi(\varepsilon)$に指数的減衰率を適用し、具体的には2次元では$\varphi(\varepsilon) = \exp\left[\exp\left(-K/\varepsilon^{2(1+\max(\beta,\gamma))}\right)\right]$、3次元では類似の形を用いることで、収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 解析的初期データの小さな摂動に対して、2次元および3次元におけるVlasov-Poisson系の準中性極限は成立するか？
• RQ2 高次元において、Wasserstein安定性推定を用いて収束を確立できるか？
• RQ3 特に摂動が粗いまたは高周波数を含む場合、このような摂動に対する$ε$に関する収束の定量的レートは何か？
• RQ4 密度$\rho_{f_\varepsilon}$の$L^\infty$有界性は、$\varepsilon \to 0$における系の安定性および収束にどのように影響するか？
• RQ5 1次元を超えて、$W_1$-距離が準中性極限における解の収束を制御するために効果的に用いられるか？

主な発見

• 解析的初期データの小さな摂動（$W_1$距離で測定）に対して、2次元および3次元の両方で準中性極限が成立する。
• 収束は$\lim_{\varepsilon \to 0} \sup_{t \in [0,T]} W_1(\tilde{f}_\varepsilon, g) = 0$で定量的に記述され、摂動の大きさ$\varphi(\varepsilon)$の減衰に依存する。
• 2次元では、摂動の大きさ$\varphi(\varepsilon)$を$\exp\left[\exp\left(-K/\varepsilon^{2(1+\max(\beta,\gamma))}\right)\right]$と選び、収束を保証する。
• 3次元では、摂動の大きさは$\varphi(\varepsilon) = \exp\left[\exp\left(-K/\varepsilon^{2+\max(38,3\gamma)}\right)\right]$であり、十分に小さい$\varepsilon$に対して収束を保証する。
• $\rho_{f_\varepsilon}$の$L^\infty$ノルムは、2次元で$\varepsilon^{-2\max(\beta,\gamma)}$、3次元で$\varepsilon^{-\max(38,3\gamma)}$の割合で成長するが、安定性推定で制御可能である。
• 証明により、補正項$C_\varepsilon$の勾配に対する一様有界性が確立され、全解から準中性解への変換がWassersteinの意味で安定性を保つことが保証される。