[論文レビュー] On the integrability of the Benjamin-Ono equation on the torus

Patrick Gérard, Thomas Kappeler|arXiv (Cornell University)|May 6, 2019

Advanced Mathematical Physics Problems参考文献 24被引用数 15

ひとこと要約

この論文は、$L^2(\mathbb{T})$ 上に全空間で定義された実解析的関数としてのグローバル・バーキョフ座標を構成することにより、トーラス上のベンジャミン＝オンォ方程式が最も強い意味で可積分であることを確立した。これらの座標は、方程式を作用量・位相変数の系に変換する。これにより、すべての$L^2$解が時間に関してほぼ周期的関数として表現可能であることが可能となり、Lax作用素のスペクトル解析と階層全体を記述する生成関数を用いて達成された。

ABSTRACT

In this paper we prove that the Benjamin-Ono equation, when considered on the torus, is an integrable (pseudo)differential equation in the strongest possible sense: it admits global Birkhoff coordinates on the space $L^2(\T)$. These are coordinates which allow to integrate it by quadrature and hence are also referred to as nonlinear Fourier coefficients. As a consequence, all the $L^2(\T)$ solutions of the Benjamin--Ono equation are almost periodic functions of the time variable. The construction of such coordinates relies on the spectral study of the Lax operator in the Lax pair formulation of the Benjamin--Ono equation and on the use of a generating functional, which encodes the entire Benjamin--Ono hierarchy.

研究の動機と目的

• トーラス上のベンジャミン＝オンォ方程式が、最大限の意味で可積分であることを確立すること、すなわち、グローバル・バーキョフ座標を有すること。
• 実解析的微同相写像 $L^2_{r,0}$ から $h^{1/2}_+$ への構成、解を作用量・位相変数に写像すること。
• Lax作用素のスペクトル理論とトレース公式を用いて、すべての$L^2$解が時間に関してほぼ周期的であることを示すこと。
• ハミルトニアンが $|\zeta_n|^2$ のみに依存することを証明し、完全可積分性を確認すること。

提案手法

• ベンジャミン＝オンォ方程式に関連するLax作用素 $L_u$ のスペクトル性質を分析するためのLaxペア形式の使用。
• 階層全体を記述する生成関数の構成により、トレース公式の導出を可能にする。
• Lax作用素のスペクトルデータを介して定義される複素バーキョフ座標 $\zeta_n(u)$ の使用により、実解析的およびポisson括弧構造の保証。
• トーレプチツ型作用素のスペクトル理論とハーディー空間の利用により、$L^2$関数と $h^{1/2}_+$ 内の列との関係を確立。
• トレース公式の証明：$\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$、これはパーサバルの定理の非線形版に相当する。
• $L^2(\mathbb{R})$ と $L^2(\mathbb{T} \times [0,1])$ 間のユニタリ同値性を、写像 $\psi[f](x,\xi)$ を介して用いて、$\mathbb{R}$ 上のLax作用素のスペクトルを分析すること。

実験結果

リサーチクエスチョン

• RQ1 トーラス上のベンジャミン＝オンォ方程式は、$L^2(\mathbb{T})$ にグローバル・バーキョフ座標を有するか？
• RQ2 Lax作用素のスペクトルデータを用いて、方程式の完全な作用量・位相変数の集合を構成可能か？
• RQ3 ベンジャミン＝オンォ方程式のハミルトニアンは、$|\zeta_n|^2$ のみに依存して表現可能か？
• RQ4 すべての$L^2$解は、時間に関してほぼ周期的か？
• RQ5 実数直線上のLax作用素 $L_u^\mathbb{R}$ のスペクトル構造は何か？また、トーラス問題とどのように関係するか？

主な発見

• トーラス上のベンジャミン＝オンォ方程式は、$L^2_{r,0} \to h^{1/2}_+$ へのグローバル・バーキョフ座標 $\Phi$ を有し、これは実解析的かつ全空間で定義されている。
• 座標間のポisson括弧は $\{\zeta_n, \overline{\zeta_k}\} = -i\delta_{nk}$ および $\{\zeta_n, \zeta_k\} = 0$ を満たし、正準構造が確認された。
• ハミルトニアン $\mathcal{H} \circ \Phi^{-1}$ は、$|\zeta_n|^2$ のみに依存し、完全可積分性が確認された。
• すべての$L^2(\mathbb{T})$解は、グローバル・バーキョフ座標の存在のおかげで、時間に関してほぼ周期的である。
• トレース公式 $\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$ が成立し、これは非線形設定におけるパーサバルの定理の一般化である。
• 実数直線上のLax作用素 $L_u^\mathbb{R}$ のスペクトルは、絶対連続的であり、$\bigcup_{n=0}^\infty [\lambda_n(u), \lambda_n(u)+1]$ に等しい。スペクトル測度は、$[0,1]$ 上での$L^2$重み付き積分として与えられる。