[論文レビュー] On the lifespan of three-dimensional gravity water waves with vorticity

Daniel Ginsberg|arXiv (Cornell University)|Dec 4, 2018

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

ひとこと要約

本稿は、自由表面で渇きがゼロであるという条件下で、初期データが小さく非ゼロの渇きを有する三次元重力水波の長期的正則性を確立する。渇きを含む流れに適したZakharov/Craig-Sulem型の定式化を導出し、著者は$ T \sim \nu^{-1} $の生存期間を証明する。ここで$ \nu $は初期渇きの大きさを表し、非渇きの極限では$ \varepsilon^{-N} $の生存期間が回復される。

ABSTRACT

We prove a long-term regularity result for three-dimensional gravity water waves with small initial data but nonzero initial vorticity. We consider solutions whose vorticity vanishes on the free boundary and use this to derive a system for the evolution of the free boundary which reduces to the Zakharov/Craig-Sulem formulation in the irrotational case. We are able to continue the solution until a time determined by the size of the initial vorticity in such a way that if the vorticity is zero, one recovers a lifespan $T\sim ε^{-N}$ where $N$ can be taken arbitrarily large if the initial data is taken to be arbitrarily smooth.

研究の動機と目的

• 初期渇きが非ゼロである三次元重力水波の長期的正則性を確立すること。
• Zakharov/Craig-Sulem定式化に基づく非渇き水波理論を、初期渇きが非ゼロの場合にまで拡張すること。
• 初期渇きの大きさに依存する生存期間の推定を導出し、非渇きの極限で$ \varepsilon^{-N} $の生存期間が回復されることを示すこと。
• 進化過程を通じてターレーの符号条件が保たれ、レイリー＝ターレー不安定性が防がれることを保証すること。

提案手法

• 渇きを含む形に一般化されたZakharov/Craig-Sulem定式化を拡張した自由境界の進化を記述する方程式系を導出すること。
• 自由境界上での渇きがゼロであるという仮定を用いて、エネルギー推定を閉じ、非線形項を制御すること。
• Sobolev空間における局所的well-posednessを証明するために、Nash-Moser型反復スキームを適用すること。
• 渇きと境界ダイナミクスを制御するために、修正された二重線形形式$ B[u,\varphi] $を用いた重み付きエネルギー法を採用すること。
• 境界層解析において生じる楕円型系のグリーン関数を構成し、基本解に対する点ごとの減衰推定を証明すること。
• 境界上の曲率と渇きの$ L^3 $および$ L^{3/2} $ノルムにおける小ささを用いて、二重線形形式の強制性と有界性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 初期渇きが非ゼロだが小さい場合、三次元重力水波の生存期間は短期的領域を超えて延長可能か？
• RQ2 自由表面でトレースがゼロである渇きを有する場合でも、非渇きの場合と同様に長期的存在結果が得られるか？
• RQ3 Zakharov/Craig-Sulem定式化を非ゼロ渇きを含む形に一般化しても、エネルギー推定に必要な構造を保てるか？
• RQ4 三次元設定において、生存期間は初期渇きの大きさにどのように依存するか？
• RQ5 渇きを有する水波の進化過程において、ターレーの符号条件は保存されるか？ これにより安定性が保証されるか？

主な発見

• 初期データの小さな仮定のもとで、解の生存期間は$ T \sim \nu^{-1} $より大きい下界を持つ。ここで$ \nu $は初期渇きの大きさを表す。
• 初期渇きがゼロの場合、生存期間は任意の大きな$ N $に対して$ \varepsilon^{-N} $の挙動を回復し、非渇きの場合と一致する。
• 非渇きの極限において、系は古典的なZakharov/Craig-Sulem定式化に還元され、先行研究と整合性が保たれる。
• $ \|h\|_{W^{4,\infty}} $の小さな条件下で、二重線形形式$ B[u,\varphi] $は有界かつ強制的であり、Lax-Milgram定理の適用が可能になる。
• 楕円型系のグリーン関数に対する点ごとの減衰推定が確立され、$ |G(z,z')| \lesssim |z-z'|^{-1} $および$ |D_z G(z,z')| \lesssim |z-z'|^{-2} $が成り立つ。これは非線形項の制御に不可欠である。
• 境界上での$ \|\nabla H\|_{L^{3/2}} $および$ \|H\|_{L^3} $の小ささが強制性に十分であり、時間$ T \sim \varepsilon_0^{-N} $まで保持されることを示し、生存期間推定と整合する。