[論文レビュー] Hamiltonian Birkhoff normal form for gravity-capillary water waves with constant vorticity: almost global existence

Massimiliano Berti, Alberto Maspero+1 more|arXiv (Cornell University)|Dec 23, 2022

Nonlinear Waves and Solitons被引用数 7

ひとこと要約

本稿では、1次元の重力・表面張力波動方程式に対して、定数の渦度を有する小振幅で空間周期的解について、ほぼ全時間存在を示す。この結果を得るために、新しいハミルトニアン偏微分型ピアスフォーム還元を用いる。著者らは、標準的な偏微分型計算がシンプレクティック制約下で破綻するのを克服するため、ハミルトニアン構造を保つように修正されたダーブス型アルゴリズムを開発し、表面張力の値の全測度集合に対して存在を証明する。

ABSTRACT

We prove an almost global in time existence result of small amplitude space periodic solutions of the 1D gravity-capillary water waves equations with constant vorticity. The result holds for any value of gravity, vorticity and depth and any surface tension belonging to a full measure set. The proof demands a Hamiltonian paradifferential Birkhoff normal form reduction for quasi-linear PDEs in presence of resonant wave interactions: the normal form may be not integrable but it preserves the Sobolev norms thanks to its Hamiltonian nature. A major difficulty is that usual paradifferential calculus used to prove local well posedness (as the celebrated Alinhac good unknown) does not preserve the Hamiltonian structure. A major novelty of this paper is to develop an algorithmic perturbative procedure à la Darboux to correct usual paradifferential transformations to symplectic maps, up to an arbitrary degree of homogeneity. The symplectic correctors turn out to be smoothing perturbations of the identity, and therefore only slightly modify the paradifferential structure of the equations. The Darboux procedure which recovers the nonlinear Hamiltonian structure is written in an abstract functional setting, in order to be applicable also in other contexts.

研究の動機と目的

• 1次元の重力・表面張力波動方程式に対して、定数渦度を有する小振幅で空間周期的解のほぼ全時間存在を確立すること。
• 正規化還元の過程でハミルトニアン構造を保つために、標準的な偏微分型計算が失敗する問題を克服すること。
• 任意の同次次数までにまで、非シンプレクティックな偏微分型変換をシンプレクティック写像に修正する体系的でアルゴリズム的な手続きを開発すること。
• 非可積分であっても、ハミルトニアン性質のおかげで、結果として得られる正規形がソボレフノルムを保存することを証明すること。
• 共振波動相互作用と非自明な渦度を有する準線形PDEにまで、ハミルトニアン正規形技術の適用範囲を拡張すること。

提案手法

• 定数渦度を有する枠組みにおいて、水波方程式をハミルトニアン・ザハロフ＝クレイグ＝スレーム形式で定式化し、一般化された速度ポテンシャルとディリクレ＝ノイマン作用素を用いる。
• 系を偏微分型構造に還元するために、アリンハックの「良い未知数」を導入し、線形化を行う。
• 抽象的なダーブス型手続きを用いて、標準的な偏微分型写像をシンプレクティックなものに変換するシンプレクティック補正を構成し、ハミルトニアン性質を保つ。
• 各同次次数において、反復的かつアルゴリズム的な手法を用いて偏微分型構造を補正し、補正項が恒等写像の滑らか化摂動であることを保証する。
• 表面張力に非共鳴条件を適用し、測度ゼロの集合を除き、正規形を任意の次数まで構成可能であることを保証する。
• 補正された正規形の大きさを制御することでソボレフ空間におけるエネルギー推定を確立し、ほぼ全時間存在を導く。

実験結果

リサーチクエスチョン

• RQ1 共振相互作用が存在する中で、定数渦度を有する重力・表面張力波動方程式のハミルトニアン構造は、バーリンフォーム還元の過程でも保たれるか？
• RQ2 準線形PDEの還元において、偏微分型計算をどのように修正すればシンプレクティック性を保てるか？
• RQ3 定数渦度を有する水波系の小振幅周期的解の最大存在時間は何か？
• RQ4 正規形手続きが小分母を回避し、長時間存在を保証する表面張力値の全測度集合を特定できるか？
• RQ5 補正された正規形のハミルトニアン性質は、長時間にわたりソボレフノルムをどの程度まで保存するのか？

主な発見

• 本稿では、重力、渦度、深さ、表面張力が任意に選べる状況において、全測度集合内での値に対して、1次元の重力・表面張力波動方程式の小振幅で空間周期的解がほぼ全時間存在することを証明する。
• 著者らは、可積分でないものの、シンプレクティック性のおかげでソボレフノルムを保存するハミルトニアン・バーリンフォームを構成する。
• 標準的な偏微分型変換をシンプレクティック写像に変換する、新規のシンプレクティック補正付きダーブス型アルゴリズムを考案し、補正項は恒等写像の滑らか化摂動である。
• この手法により、古典的な偏微分型計算（例：アリンハックの良い未知数）がハミルトニアン構造を保てないという障害を克服する。
• 表面張力に対する非共鳴条件により、除外される値の集合は測度ゼロであり、存在時間は初期データサイズの逆数の準多項式的になる。
• この結果は、重力、渦度、深さのすべての値に対して一様に成り立ち、無限大深さを含む深さ無限大および有限深さの両ケースに適用可能である。