[論文レビュー] On the Cauchy problem for gravity water waves

Thomas Alazard, Nicolas Burq+1 more|arXiv (Cornell University)|Dec 4, 2012

Advanced Mathematical Physics Problems参考文献 54被引用数 111

ひとこと要約

本稿では、表面張力のない重力水波系の局所的well-posednessを、最適な正則性閾値まで確立する。初期の自由表面は$C^{3/2+ ho}$のみで、初期速度はリプシッツである。著者らは、低正則性領域におけるディリクレ＝ノイマン作用素の微局所解析と、系の新規なパラディファレンシャル還元を用いて、$s > 1 + d/2$における$H^s$-型ソボレフ空間内での解の存在と一意性を証明し、臨界正則性閾値が$s_c = 1/2 + d/2$であることを示し、この臨界インデックスより$1/2$正則性が高い解が存在することを示している。

ABSTRACT

We are interested in the system of gravity water waves equations without surface tension. Our purpose is to study the optimal regularity thresholds for the initial conditions. In terms of Sobolev embeddings, the initial surfaces we consider turn out to be only of~$C^{3/2+\\epsilon}$-class for some $\\epsilon>0$ and consequently have unbounded curvature, while the initial velocities are only Lipschitz. We reduce the system using a paradifferential approach.

研究の動機と目的

• 表面張力のない重力水波系の初期値問題における最適正則性閾値を特定すること。
• 自由表面が$C^2$正則性を必要とするという一般的な予想に挑戦し、$C^{3/2+\rho}$で十分であることを示すこと。
• 曲率が有界でない低正則性領域における水波系の新しいパラディファレンシャルフレームワークを構築すること。
• 消滅粘性近似において一様推移を確立し、$s > 1 + d/2$における$H^s$空間内での解の存在を保証すること。

提案手法

• 水波系をパラディファレンシャル形式に還元：$\partial_t u + T_V \cdot \nabla u + iT_\gamma u = f$、$T_\gamma$は$1/2$階の作用素。
• $s > 1$における$C^s$領域におけるディリクレ＝ノイマン作用素の微局所解析を導入し、Dahlberg-KenigおよびCraig-Schanz-Sulemの結果を拡張。
• 系の正則化のため、消滅粘性近似$\varepsilon \Delta U$を用い、$H^s$空間内での一様推移を得た。
• 交換子推移とソボレフ埋め込み定理を用いて、エネルギー推移における非線形項を制御。
• ブートストラップ法を用いて、表面および速度のトレースに対して、完全な正則性$H^{s+1/2} \times H^{s+1/2}$を回復。
• 弱コンパクト性と、ディリクレ＝ノイマン作用素が弱収束下で連続であるという事実を用いて、$\varepsilon \to 0$における極限への移行を実行。

実験結果

リサーチクエスチョン

• RQ1 自由表面が$C^2$正則性を必要とするのか、重力水波系の局所的well-posednessにおいて？
• RQ2 初期表面が$C^{3/2+\rho}$、速度場がリプシッツである場合でも、系がwell-posedであるか？
• RQ3 ディリクレ＝ノイマン作用素が滑らかでない場合でも、表面張力のない水波系に対してパラディファレンシャル還元が可能か？
• RQ4 解の存在と一意性を保証する最小正則性閾値は何か？
• RQ5 低正則性初期データに対して、消滅粘性極限で一様推移を得られるか？

主な発見

• 初期自由表面が$C^{3/2+\rho}$、初期速度場がリプシッツである場合の初期値問題の最適正則性閾値が、$C^{3/2+\rho}$であることが判明。これは、$C^2$が必要であるという予想と矛盾する。
• 下位階作用素$T_\gamma$（$1/2$階）を持つパラディファレンシャル形式への還元が可能であり、低正則性空間内での解析を可能にした。
• $s > 1 + d/2$における$H^s \times H^s$空間内での一様推移が得られ、解の存在時間は正則化パrameter $\varepsilon$ に依存しない。
• $s > 1$において、$H^s$内での弱収束下でディリクレ＝ノイマン作用素が連続であることが示され、消滅粘性近似における極限への移行が可能となった。
• 臨界正則性インデックスは$s_c = 1/2 + d/2$であり、well-posedness結果はこの臨界インデックスより$1/2$正則性が高い。
• 存在時間区間内、テイラー係数$a(t)$は$a_0/2$より下限され、スプラッシュ特異性の発生がないことが保証された。