[論文レビュー] Invariance of the Gibbs measure for the Benjamin-Ono equation

Yu Deng|arXiv (Cornell University)|Oct 4, 2012

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

ひとこと要約

本稿は、$ L^2 $ よりも粗い空間であるBesov型空間 $ Z_1 $ において、周期的Benjamin-Ono方程式の解のほとんど確実な大域的存在および一意性を確立し、関連するGibbs測度が解の流れのもとで不変であることを証明する。証明は、より粗いBesov空間における新規な局所的適切性結果と、切断された方程式および測度近似を用いた極限的議論を組み合わせており、ハミルトニアンPDEの統計力学における長年の未解決問題を解決する。

ABSTRACT

In this paper we consider the periodic Benjemin-Ono equation. We will establish the invariance of the Gibbs measure associated to this equation, thus answering a question raised in Tzvetkov [20]. As an intermediate step, we also obtain a local well-posedness result in Besov-type spaces rougher than L^2, extending the L^2 well-posedness result of Molinet [14].

研究の動機と目的

• Tzvetkov (2008) が提起した、周期的Benjamin-Ono方程式におけるGibbs測度不変性の未解決問題を解決すること。
• Molinet (2010) の $ L^2 $ における局所的適切性理論を、より粗いBesov型空間 $ Z_1 $ に拡張することにより、Gibbs測度の台の取り扱いを可能にすること。
• ゲージ変換と確率論的手法を組み合わせることで、$ L^2 $ よりも低い空間に台を持つGibbs測度の台上で大域的流れを構成すること。
• Gibbs測度が方程式の時間発展のもとで保存されることを証明し、系の長期的統計的挙動に対する自然な不変測度を提供すること。

提案手法

• パrameter $ s > 0 $ を持つ新しいBesov型空間 $ Z_1 $ を導入し、$ p = \frac{2}{1-2s} + s^2 $ を用いてフーリエ係数に対する重み付き $ l^p $ ノルムで定義される。これにより、低正則性解の制御が可能になる。
• ゲージ変換と修正されたピカール反復スキームを用いて、小規模な初期データに対して $ Z_1 $ における局所的適切性を確立し、Molinet (2010) の $ L^2 $ 結果を拡張する。
• 周波数射影 $ \Pi_N $ を用いたBenjamin-Ono方程式の切断版を用い、有限次元Gibbs測度 $ \nu_N $ が切断された流れ $ \Phi_t^N $ に関して不変であることを証明する。
• 極限的議論を適用する：$ N \to \infty $ のとき、切断された流れ $ \Phi_t^N $ は $ \mathcal{V} $ 内の全測度集合上で大域的流れ $ \Phi_t $ に収束する。収束は、距離 $ d(f,g) = \| \langle n\rangle^{-s^6 + r}(f-g) \|_{l^p} $ において行われる。
• $ Z_1 $ 内の有界集合に制限されたGibbs測度 $ \nu $ の正則性に依存しており、これによりコンパクト集合による近似が可能となり、測度論的収束議論が可能になる。
• $ \| \langle \partial_x \rangle^{-s^5}(h^{N_k} - h) \|_{Z_1} \to 0 $ の収束を用いて、切断された解から極限解への移行が可能となり、$ \Phi_t $ が適切に定義され、可測であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 Gibbs測度が $ L^2 $ よりも低い空間に台を持つにもかかわらず、周期的Benjamin-Ono方程式の力学のもとで不変であることが示せるか？
• RQ2 Benjamin-Ono方程式の局所的適切性理論を、$ L^2 $ よりも粗い空間、例えばBesov型空間 $ Z_1 $ に拡張することは可能か？
• RQ3 古典的適切性が $ L^2 $ で成立しない場合でも、Gibbs測度に関してほとんど確実に大域的流れが存在するか？
• RQ4 切断された方程式および有限次元近似を用いた極限的手法によって、Gibbs測度の不変性を確立することは可能か？

主な発見

• 本稿は、Gibbs測度の台に属するほとんどすべての初期データに対して、周期的Benjamin-Ono方程式の解が一意に大域的に存在することを確立し、解がすべての時間においてBesov型空間 $ Z_1 $ に属することを示した。
• $ Z_1 $ における局所的適切性結果が証明され、これは $ L^2 $ よりも粗い空間であり、Molinet (2010) の $ L^2 $ 適切性結果を拡張する。
• Benjamin-Ono方程式に関連するGibbs測度は、大域的流れ $ \Phi_t $ に関して不変である。つまり、すべてのボレル集合 $ E $ に対して $ \nu(\Phi_t(E)) = \nu(E) $ が成り立つ。
• 切断された方程式 $ \Phi_t^N $ と測度 $ \nu_N \to \nu $ の収束を用いた極限的議論により、不変性の性質が極限でも保たれることが保証された。
• 解の流れ $ \Phi_t $ は、$ \rho $-測度が全である部分集合 $ \Sigma \subset \mathcal{V} $ 上で可測変換群を形成し、動的挙動の整合性と一意性が保証された。
• 証明は、$ Z_1 $ 内の有界集合に制限されたGibbs測度の正則性に依存しており、これによりコンパクト集合による近似が可能となり、測度論的収束議論が可能になった。