[論文レビュー] A non-linear Egorov theorem and Poincaré-Birkhoff normal forms for quasi-linear pdes on the circle

Roberto Feola, Felice Iandoli|arXiv (Cornell University)|Feb 27, 2020

Quantum chaos and dynamical systems参考文献 22被引用数 10

ひとこと要約

本稿は、円周上の擬微分方程式の非線形Egorov定理を確立し、正則化誤差を除いて定数係数形に変換する座標変換の存在を証明する。ハミルトニアン系に対しては、さらにPoincaré-Birkhoff正準形への還元を達成し、初期データに対称性の仮定を必要としない超線形分散を有する擬線形PDEに対する、初めての長時間存在結果を可能にする。

ABSTRACT

In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincaré-Birkhoff normal forms. We apply this transformation to quasi-linear perturbations of the Schrödinger and Beam equations, obtaining a long time existence result without requiring any symmetry on the initial data. We also provide the local in time well-posedness for quasi-linear perturbations of the Benjamin-Ono equation.

研究の動機と目的

• 円周上における一般の擬線形擬微分方程式のクラスに対して、正則化誤差を除いて定数係数形に変換する非線形Egorov型変換の構築。
• この変換をハミルトニアン系に拡張し、非共鳴条件の下でPoincaré-Birkhoff正準形還元を達成する。
• シュレーディンガー方程式およびビーム方程式の摂動、ベンジャミン＝オンォ方程式を含む具体的な擬線形PDEにこの手法を適用する。
• 初期データに対称性の仮定を必要としない、超線形分散を有する擬線形PDEの長時間存在を証明する。
• 誘導損失を克服するため、擬微分正準形による長時間安定性のフレームワークを提供する。

提案手法

• 元の擬線形PDEを扱いやすい構造を持つ擬微分方程式に還元するために、Bonyの擬微分化公式を用いる。
• 擬微分座標変換による共役手続きを適用し、正則化誤差を除いて対角的かつ定数係数形の式に変換する。
• ハミルトニアン構造を保存するためのシンプレクティック共役を用い、正準形還元を可能にする。
• 擬線形問題における導関数の損失に対処するため、擬微分作用素の文脈でNash-Moser型反復スキームを実装する。
• Bonyの擬微分計算およびBirkhoff正準形手順を用いて、ハミルトニアン展開における非共鳴項を体系的に除去する。
• 具体的な方程式（シュレーディンガー方程式、ビーム方程式、ベンジャミン＝オンォ方程式）に対して、明示的な記号展開と正則性推定を用いて理論を適用する。

実験結果

リサーチクエスチョン

• RQ1 円周上の擬線形擬微分方程式に対して、非線形Egorov定理を確立し、定数係数形に変換可能か？
• RQ2 ハミルトニアン的擬線形PDEが、擬微分共役を介してどのような条件下でPoincaré-Birkhoff正準形に還元可能か？
• RQ3 初期データに対称性の仮定を必要としない、超線形分散を有する擬線形PDEの長時間存在を証明可能か？
• RQ4 擬微分技法および正準形還元を用いて、擬線形系における導関数の損失をどのように克服できるか？
• RQ5 Bonyの擬微分化公式は、変換の実現およびその後の正準形構成において果たす役割は何か？

主な発見

• 本稿は、円周上における一般の擬線形擬微分方程式のクラスに対して、正則化誤差を除いて定数係数擬微分方程式に変換する座標変換の存在を証明する。
• ハミルトニアン系に対しては、非共鳴条件の下でPoincaré-Birkhoff正準形還元が達成され、長時間安定性解析が可能になる。
• 著者らは、初期データに対称性の仮定を必要としない、円周上における超線形分散を有する擬線形PDEに対する、初めての長時間存在結果を確立する。
• 本手法は、シュレーディンガー方程式およびビーム方程式の擬線形摂動に適用可能であり、$ s $ が十分に大きい場合のソボレフ空間 $ H^s $ における長時間存在をもたらす。
• 変換はハミルトニアン構造を保存し、修正エネルギー推定により $ H^s $-ノルムを制御可能となり、$ rac{d}{dt} orm{w}_{H^s}^2 riangleq orm{w}_{H^s}^{N+2} $ を得る。これは長時間の制御を示唆する。
• 本結果はベンジャミン＝オンォ方程式へも拡張され、同じ擬微分共役フレームワークを用いて、擬線形摂動に対する局所時間内存在を証明する。