[論文レビュー] Quasineutral limit of the Euler-Poisson system for ions in a domain with boundaries II

David Gérard‐Varet, Daniel Han-Kwan+1 more|arXiv (Cornell University)|Mar 5, 2014

Navier-Stokes equation solutions参考文献 45被引用数 34

ひとこと要約

この論文は、境界を有する領域におけるイオンの等温Euler-Poisson系の準中性極限を、超音速流出条件下で確立し、解の収束が $ O(\bar{\varepsilon}^{1/2}) $ のレートで成り立つことを証明する。境界層解を構築することで、双曲型Euler系と電位のDirichlet境界条件との不一致を解消し、重み付きエネルギー推定と2段階の漸近解析を用いる。

ABSTRACT

In this paper, we study the quasineutral limit of the isothermal Euler-Poisson equation for ions, in a domain with boundary. This is a follow-up to our previous work \\cite{GVHKR}, devoted to no-penetration as well as subsonic outflow boundary conditions. We focus here on the case of supersonic outflow velocities. The structure of the boundary layers and the stabilization mechanism are different.

研究の動機と目的

• 境界を有する領域におけるイオンの等温Euler-Poisson系の準中性極限を、超音速流出条件下で分析すること。
• 電位のDirichlet境界条件と双曲型準中性Euler系との不適合性を、境界層の構築によって解消すること。
• Debye長さパラメータ $ \varepsilon \to 0 $ のとき、Euler-Poisson系の解が準中性極限に収束するレートを確立すること。
• 従来の亜音速および流れ込みなし境界条件の結果を、境界層構造と安定化機構が顕著に異なる超音速領域へ拡張すること。

提案手法

• 2段階の漸近解析を用いる：まず境界層展開により高次の近似解を構築し、次にエネルギー推定によりその安定性を証明する。
• 微小パラメータ $ \varepsilon $ に起因する特異項を制御するため、境界付近の解析を局所化するための切断関数 $ \eta' $ を用いた重み付きエネルギー推定を採用する。
• 時間微分の電位 $ \phi $ をSobolevノルムで制御するため、Poisson方程式 $ \varepsilon^2 \Delta \phi + e^{-\phi} = n $ に楕円型推定を適用する。
• 問題となる境界層項を吸収し、Gronwall型の制御を可能にするために、エネルギー推定に特異的重み $ \mu \eta' $ を導入する。
• 局所解を固定時間 $ T_0 $ まで拡張する継続的議論を用い、$ \varepsilon $ に一様に依存する制御を保証する。
• 流入特徴線が存在しないことを保証し、速度境界条件が不要であることを正当化するため、Bohm条件 $ u_3(0,y,0) < -\sqrt{T^i + 1} $ に依存する。

実験結果

リサーチクエスチョン

• RQ1 超音速流出境界条件下で、速度境界条件が課されない場合、Euler-Poisson系の準中性極限はどのように振る舞うか？
• RQ2 電位のDirichlet条件と準中性Euler系の双曲型性との不適合性によって生じる境界層の構造と安定化機構は何か？
• RQ3 超音速領域において、解が準中性極限に収束するレートは定量的に評価可能か？また、微小パラメータ $ \varepsilon $ にどのように依存するか？
• RQ4 従来の亜音速または流れ込みなしの場合と比較して、超音速領域における境界層ダイナミクスとエネルギー推定はどのように異なるか？
• RQ5 境界付近における初期データの小ささ条件が、構築された近似解の安定性を保証するために果たす役割は何か？

主な発見

• 超音速流出条件下で、Euler-Poisson系の準中性極限が厳密に確立され、密度および速度の $ L^2 $ ノルムにおける収束レートが $ O(\sqrt{\varepsilon}) $ であることが示された。
• 電位 $ \phi $ のDirichlet条件と双曲型準中性Euler系との不適合性を解消するため、境界層解が構築された。
• 収束は固定時間 $ T_0 $ まで時間に一様であり、解ノルムが $ C(C_a,M) \varepsilon^{2K} e^{T_0 C(C_a,M)/\sqrt{\mu}} $ で有界であることが保証され、微小 $ \varepsilon $ に対して安定性が確保される。
• 特異項の制御およびエネルギー推定における境界層寄与項の吸収に、$ \sqrt{\eta'} $ および $ \mu \eta' $ 重み付きエネルギー推定が不可欠である。
• 解の時間区間を $ \varepsilon $ に一様に拡張する継続的議論に依拠し、すべての $ \varepsilon \in (0, \varepsilon_0] $ に対して元の系の解の存在を保証した。
• 境界付近における初期データの小ささ条件が境界層の安定性を保証し、収束結果にとって不可欠であることが示された。