[論文レビュー] KAM for quasi-linear and fully nonlinear forced KdV

Pietro Baldi, Massimiliano Berti+1 more|arXiv (Cornell University)|Nov 28, 2012

Quantum chaos and dynamical systems参考文献 25被引用数 15

ひとこと要約

本稿では、非線形項に微分作用素と同一階数の導関数を含む準線形および完全非線形強制KdV方程式に対して、初のKAM結果を確立した。これは、新規のNash-Moserスケームと正則化手続き、および還元可能性に基づくKAM反復法を組み合わせることで達成された。小振幅の準周期的解の存在と、ハミルトニアン的または可逆的非線形性のもとでの線形安定性が証明され、偏微分方程式における小分母問題と微分項の非線形性という課題を克服した。

ABSTRACT

We prove the existence of quasi-periodic, small amplitude, solutions for quasi-linear and fully nonlinear forced perturbations of KdV equations. For Hamiltonian or reversible nonlinearities we also obtain the linear stability of the solutions. The proofs are based on a combination of different ideas and techniques: (i) a Nash-Moser iterative scheme in Sobolev scales. (ii) A regularization procedure, which conjugates the linearized operator to a differential operator with constant coefficients plus a bounded remainder. These transformations are obtained by changes of variables induced by diffeomorphisms of the torus and pseudo-differential operators. (iii) A reducibility KAM scheme, which completes the reduction to constant coefficients of the linearized operator, providing a sharp asymptotic expansion of the perturbed eigenvalues.

研究の動機と目的

• 非線形項に線形作用素と同じ階数の微分を含む準線形および完全非線形PDEへのKAM理論の拡張を図ること。
• KdV方程式に準線形的または完全非線形的摂動を含む場合に、KAM理論が適用可能かどうかという長年の未解決問題に取り組むこと。
• このような非線形性を有する強制KdV方程式に対して、準周期的解の存在とその線形安定性を証明すること。
• 小分母問題と線形化作用素における微分の損失を扱える新しい解析的枠組みの構築。
• 摂動された固有値の鋭い漸近展開を確立し、線形化作用素を定数係数に還元可能にする

提案手法

• 微分の損失を避けるために、Sobolevスケール上でのNash-Moser反復スキームを用いる。
• トーラス上の微分同相写像と擬微分作用素を用いて、線形化作用素を定数係数微分作用素に加え、有界な剰余項をもつ形に共役化する正則化手続きを導入する。
• 五段階の変換を含む手法：空間変数の変更、時間再パラメータ化、擬微分作用素による降下法、平行移動、変数係数の低減のための共役化。
• 還元可能性に基づくKAMスキームを適用し、線形化作用素をさらに定数係数に還元し、摂動された固有値の明確な漸近展開を得る。
• 非線形作用素およびその導関数に対するTameおよびLipschitz推定式を導出し、Nash-Moser反復の収束に不可欠な条件を満たす。
• ハミルトニアンPDEにおけるKAM理論の先行研究にインspiredされた「擬Töplitz」ベクトル場の概念を活用し、線形化作用素の成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 非線形項に線形部と同じ階数の微分を含む準線形および完全非線形PDEに対して、KAM理論を拡張することは可能か？
• RQ2 準線形的または完全非線形的摂動を含む強制KdV方程式に対して、準周期的解を構成することは可能か？
• RQ3 このような解の周囲の線形化作用素を定数係数に還元することは可能か？ その結果、線形安定性が保証されるか？
• RQ4 このような方程式のKAM理論の文脈において、小分母問題と微分の損失をどのように克服できるか？
• RQ5 このような系における摂動された固有値の漸近的挙動は何か？ そして、その挙動はMelnikovの非共鳴条件を満たすために利用可能か？

主な発見

• 本稿では、強制KdV方程式における広範な準線形非線形性クラスに対して、小振幅の準周期的解の存在を証明した。
• ハミルトニアン的または可逆的非線形性のもとでは、線形化作用素が定数係数に還元されることにより、構築された解は線形安定性を示す。
• 線形化作用素は、微分同相写像と擬微分変換の系列を通じて、定数係数作用素に加え有界な剰余項を持つ形に正しく共役化された。
• 摂動された固有値の鋭い漸近展開が得られ、2次のMelnikov非共鳴条件を満たすことが可能になった。
• Nash-Moser反復はSobolevノルムにおいて収束し、非線形剰余項のノルムに対して、$\|\mathcal{R}\|_s \leq \varepsilon C(s)(1 + \|u\|_{s+2\tau_0+2\mathfrak{s}_0+12})$ という正則性の制御された増加を示す推定式が得られた。
• 本手法により、このようなタイプの完全非線形PDEに対する初のKAM結果が達成され、準線形および完全非線形PDE理論における画期的な前進となった。