[論文レビュー] Mathematics for 2d Interfaces

Claude Bardos, David Lannes|arXiv (Cornell University)|May 28, 2010

Navier-Stokes equation solutions参考文献 59被引用数 14

ひとこと要約

本稿は、ケルビン＝ヘルムホルツ、レイノルズ＝ターレー、および水面波といった2次元流体界面不安定性の数学的解析を提供する。Birkhoff-Rott方程式のような界面方程式を導出し、それらを検討することで、解が正則性閾値を超えると必ず解析的であることが示され、非解析的設定では適切に定式化されないことが示唆される。また、良好な強調性およびレイノルズ＝ターレー条件のおかげで、水面波の安定性がより高いことが強調されている。

ABSTRACT

We present here a survey of recent results concerning the mathematical analysis of instabilities of the interface between two incompressible, non viscous, fluids of constant density and vorticity concentrated on the interface. This configuration includes the so-called Kelvin-Helmholtz (the two densities are equal), Rayleigh-Taylor (two different, nonzero, densities) and the water waves (one of the densities is zero) problems. After a brief review of results concerning strong and weak solutions of the Euler equation, we derive interface equations (such as the Birkhoff-Rott equation) that describe the motion of the interface. A linear analysis allows us to exhibit the main features of these equations (such as ellipticity properties); the consequences for the full, non linear, equations are then described. In particular, the solutions of the Kelvin-Helmholtz and Rayleigh-Taylor problems are necessarily analytic if they are above a certain threshold of regularity (a consequence is the illposedness of the initial value problem in a non analytic framework). We also say a few words on the phenomena that may occur below this regularity threshold. Finally, special attention is given to the water waves problem, which is much more stable than the Kelvin-Helmholtz and Rayleigh-Taylor configurations. Most of the results presented here are in 2d (the interface has dimension one), but we give a brief description of similarities and differences in the 3d case.

研究の動機と目的

• 圧縮性でなく、粘性のない定常密度の流体が界面で分離する2次元流体界面の数学的構造を分析すること。
• さまざまな配置下で、Euler方程式から界面発展方程式（例：Birkhoff-Rott）を導出し、それらを検討すること。
• 強調性および正則性が解の適切な定式化と解析性を決定する役割を調査すること。
• 2次元および3次元におけるケルビン＝ヘルムホルツ、レイノルズ＝ターレー、および水面波問題の安定性および数学的挙動を比較すること。
• 表面張力および粘性の消失が、解の適切な定式化および収束性に与える影響を検討すること。

提案手法

• Biot-Savart法則および界面におけるHilbert変換を用いて、2次元Euler方程式から界面方程式（例：Birkhoff-Rott）を導出する。
• 界面問題の線形化を行い、線形化された作用素の強調性およびスペクトル的性質を分析する。
• 特異積分およびジャンプ関係の理論を用いて、界面をはさんで速度および圧力のジャンプを特徴付ける。
• 安定性および適切な定式化の主要基準として、レイノルズ＝ターレーの符号条件 $-\partial_{\vec{n}}p > 0$ を用いる。
• Euler方程式の摂動およびその極限を検討することで、表面張力および粘性の役割を分析する。
• 2次元および3次元のケースを比較し、特にケルビン＝ヘルムホルツおよびレイノルズ＝ターレー問題における3次元での強調性の喪失および擬微分性の喪失に注目する。

実験結果

リサーチクエスチョン

• RQ1 2次元界面問題の解が解析的であるための正則性条件は何か？ そして、その結果としての適切な定式化への影響は？
• RQ2 線形化された問題の強調性が、ケルビン＝ヘルムホルツおよびレイノルズ＝ターレー設定における解の安定性および正則性をどのように決定するか？
• RQ3 なぜ水面波問題はケルビン＝ヘルムホルツおよびレイノルズ＝ターレー問題よりも安定性が高く、レイノルズ＝ターレーの符号条件はその要因としてどのように作用するか？
• RQ4 表面張力および粘性を除去した場合、特に弱解の文脈において、界面問題の適切な定式化はどのように変化するか？
• RQ5 特に強調性および大域的解の存在性の観点から、2次元および3次元における界面方程式の数学的性質の違いは何か？

主な発見

• 初期データが十分に正則であれば、ケルビン＝ヘルムホルツおよびレイノルズ＝ターレー問題の解は必然的に解析的である。これは、非解析的関数空間では適切に定式化されないことを示唆する。
• ケルビン＝ヘルムホルツおよびレイノルズ＝ターレー問題の線形化された問題は強調性を示し、これが解の解析性および正則性閾値以下の領域での適切に定式化されない性質を支えている。
• 水面波問題において、レイノルズ＝ターレーの符号条件 $-\partial_{\vec{n}}p > 0$ が安定性を保証し、解の大域的存在性および正則性を可能にする。
• 表面張力を含めると、第三階の分散項が導入され、局所的適切な定式化が回復するが、この性質はレイノルズ＝ターレー条件を満たさない限り、表面張力がゼロに近づく極限では成立しない。
• 3次元では、線形化された問題における強調性の喪失が顕著に現れ、滑らかな初期データに対しても、適切に定式化されない可能性や正則性の欠如が生じる。
• Prandtl-Munkのヴォルテックスシートモデルは、Euler方程式の弱解が、Navier-Stokes解の極限として得られない可能性があることを示しており、粘性近似の逆極限における収束性に疑問を呈する。