[論文レビュー] Quasi - periodic standing wave solutions of gravity-capillary water waves

Massimiliano Berti|arXiv (Cornell University)|Jan 1, 2016

Ocean Waves and Remote Sensing参考文献 49被引用数 24

ひとこと要約

本稿では、2次元の重力・表面張力水波（無限の深さを想定）に対して、小振幅で時間準周期的立往磁波解の存在と線形安定性を、新しいKAM型アプローチを用いて確立する。著者らは、漸近的に全Lebesgue測度を持つBorel集合における表面張力値に対して、このような解が存在することを証明する。小分母の問題を克服し、ハミルトニアン枠組みにおける線形化作用素の逆可換性を回復するために、擬微分作用素、Nash-Moser反復、退化KAM理論の高度な技術を統合的に用いる。

ABSTRACT

We prove the existence of Cantor families of small amplitude time quasi-periodic standing wave solutions (i.e. periodic and even in the space variable x ) of a 2-dimensional ocean with infinite depth under the action of gravity and surface tension. In addition we prove that these solutions are linearly stable. Joint work with Riccardo Montalto

研究の動機と目的

• 2次元の重力・表面張力水波（無限の深さを想定）に対して、小振幅で時間準周期的立往磁波解の存在を確立すること。
• 重力と表面張力の併存下でのこれらの解の線形安定性を証明すること。
• ハミルトニアン設定における小分母と退化の問題を克服することで、KAM理論を水波系に拡張すること。
• 表面張力を伴う完全な水波方程式を満たし、時間に周期的かつ空間に偶関数である解を構成すること。

提案手法

• ディリクレ＝ノイマン作用素と速度ポテンシャルの定式化を用いて、水波系を無限次元ハミルトニアン系として定式化する。
• 線形化作用素の退化に起因する有限余次元分岐問題を解くために、KAM型反復スキームを適用する。
• 擬微分作用素に対するtame推定を用いたNash-Moser反復を実行し、逆問題における微分の損失を制御する。
• 最高次の項を対角化し、低次の摂動を除去するために、ブロック分解離法とEgorov型還元を実施する。
• 時間還元と空間還元の手続きを実行し、作用素を対称化し、KAM解析に適した形に還元する。
• 退化KAM理論における横断性の性質を用いて、非退化条件の測度推定を確立する。

実験結果

リサーチクエスチョン

• RQ1 2次元の重力・表面張力水波（無限の深さ、非ゼロの表面張力）に対して、準周期的立往磁波解が存在可能か？
• RQ2 どのような表面張力の条件下で、このような解の存在と安定性が保証されるか？
• RQ3 水波ハミルトニアン系における退化と小分母の問題に対処するために、KAM理論をどのように適合可能にするか？
• RQ4 解の対称性（空間に偶関数で時間に周期的）は、存在証明においてどのような役割を果たすか？
• RQ5 微分の損失とパラメータ依存性の滑らかでない性質が生じる状況下で、線形化作用素をどのように逆可換にするか？

主な発見

• 本稿では、2次元の重力・表面張力水波（無限の深さ）に対して、小振幅で時間準周期的立往磁波解の存在を証明する。
• このような解は線形安定であり、漸近的に全Lebesgue測度を持つBorel集合における表面張力値に対して存在する。
• 小分母を克服し、線形化作用素の逆可換性を回復するKAM型反復によって、解の存在が確立される。
• 部分的正規形還元、Egorov型変換、時空対称化を用いて、低次の項を除去する手法に依存する。
• 擬微分作用素の流れに対するtame推定が導出され、Nash-Moserスキームにおける微分の損失を制御するために用いられる。
• 横断性とBorel集合の議論を用いて、非退化条件の測度推定が得られ、パrameter空間における解集合が全測度を持つことが保証される。