[論文レビュー] Wave breaking in a shallow water model

Vera Mikyoung Hur, Lizheng Tao|arXiv (Cornell University)|Aug 16, 2016

Advanced Mathematical Physics Problems参考文献 10被引用数 3

ひとこと要約

本稿は、水面波の全分散関係を組み込んだ、Whitham方程式を一般化した双方向浅水域モデルにおいて、解は有界のままだがその空間微分が無限に発散する波の破壊（wave breaking）を確立している。非局所的で非線形な偏微分方程式系の厳密な解析を通じて、初期データの勾配が十分に負である場合、解の勾配が有限時間内に発散することを証明し、物理的に妥当な分散を備えた浅水域フレームワークにおいてWhithamの予想を裏付けた。

ABSTRACT

We prove wave breaking --- bounded solutions with unbounded derivatives --- in the nonlinear nonlocal equations which combine the dispersion relation of water waves and the nonlinear shallow water equations, and which generalize the Whitham equation to permit bidirectional wave propagation, provided that the slope of the initial data is sufficiently negative.

研究の動機と目的

• 非線形性と現実的な分散を両方とも正確に捉えるモデルの開発を通じて、水波理論における波の破壊問題を長年の懸案として解決すること。
• Whitham方程式を拡張し、双方向波動伝播を可能にしつつ、水面波の正しい分散関係を維持すること。
• この一般化モデルの解が、有界な解でありながらその微分が無限に発散する波の破壊を有限時間内に示すことを厳密に証明すること。
• 非線形浅水域方程式（常に破壊を予測）とKdV方程式（決して破壊を予測しない）の限界を克服し、バランスの取れた物理的に正確なモデルを導入すること。
• 適切な非局所的・非線形方程式が全分散を備えることで波の破壊現象を捉えることができるというWhithamの予想を確認すること。

提案手法

• 非線形浅水域方程式と水面波の全分散関係を組み合わせることで、フーリエ乗算子作用素を用いて表現された双方向浅水域モデルを構築する。
• 非局所的で非線形なPDE系として支配方程式を導出：∂tη + ∂x(u(1 + aη)) = 0 および ∂t u + ∂xη + a u ∂x u = 0。分散は、記号 c(ξ) = tanh(ξ)/ξ を持つWhitham型作用素 M1/2 でモデル化される。
• エネルギー推定と事前境界を用いて、非局所核 K(x) = (1/2π) ∫ e^{ixξ} c(ξ) dξ の構造を活用し、ソリューションのSobolev空間における挙動を制御する。
• 最大勾配と速度の時間発展に基づく背理法を用い、v1(t;x) = ∂x u(t;x) および m(t) = max_x |∂x u(t;x)| の挙動を追跡する。
• 積分推定と核 K の対数的境界を用いて、非局所項 K1(t;x) が局所的非線形項に比べて小さく保たれることを証明する。
• スターリングの不等式と組み合わせ的推定を用いて、エネルギー推定における高階項の成長を制御し、爆発条件が満たされることを保証する。

実験結果

リサーチクエスチョン

• RQ1 水面波の全分散関係を有する双方向浅水域モデルは、解は有界のままだがその微分が有限時間内に無限に発散する波の破壊を示せるか？
• RQ2 Whitham分散関係 c(ξ) = tanh(ξ)/ξ を用いた現実的な分散の導入は、非線形浅水域方程式が予測する非物理的波の破壊を防ぐか？
• RQ3 この一般化されたWhitham-Boussinesqモデルにおいて、初期データのどのような条件下で波の破壊が発生するか？
• RQ4 非局所的・非線形方程式が全分散を備えることで波の破壊現象を捉えることができるというWhithamの予想は、厳密に証明可能か？
• RQ5 このモデルにおける非線形性と分散のバランスは、解の勾配における特異点の形成にどのように影響するか？

主な発見

• 初期勾配が十分に負である場合、双方向浅水域モデルにおいて波の破壊が発生し、解は有界のままだがその微分が有限時間内に無限に発散する。
• 解はL∞で一様に有界のままだが、時間tが有限の爆発時刻T*に近づくにつれて、空間微分 ∂x u は無限に発散する。
• 爆発は非線形項 −u ∂x u によって駆動され、勾配が急峻になると非局所的分散項よりも支配的となり、有限時間内に勾配の爆発が生じる。
• 非局所核 K(x) が、任意の ε > 0 に対して |K_n(t;x)| ≤ C(ε) (δ^ε ‖ζ_n(t)‖_{L∞} + δ^{1−ε} ‖ζ_{n+1}(t)‖_{L∞}) の境界を満たすことが示され、非局所項の制御が保証される。
• 証明は背理法に依拠している：斜めが大きい領域 Σ_γ(t) から点x1が抜け出すと、再びその中に戻ることはできず、波の破壊が発生しないと仮定すると矛盾が生じる。
• 解析により、全分散を有するWhitham方程式（c(ξ) = tanh(ξ)/ξ）が波の破壊を支持することが確認され、Whithamの長年の予想が正当化された。