[论文解读] 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})$ 上构造全局 Birkhoff 坐标，证明了环面上的 Benjamin-Ono 方程在最强意义上是可积的，这些坐标是实解析的，并将方程转化为一组作用量-角度变量。这些坐标使得所有 $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.

研究动机与目标

• 在最强可能的意义上确立环面上的 Benjamin-Ono 方程是可积的，即存在全局 Birkhoff 坐标。
• 构造从 $L^2_{r,0}$ 到 $h^{1/2}_+$ 的实解析微同胚，将解映射为作用量-角度变量。
• 通过 Lax 算子的谱理论和迹公式，证明所有 $L^2$ 解在时间上是几乎周期的。
• 证明哈密顿量仅依赖于作用量 $|\zeta_n|^2$，从而确认完全可积性。

提出的方法

• 使用 Lax 对形式化方法分析与 Benjamin-Ono 方程相关的 Lax 算子 $L_u$ 的谱性质。
• 构造一个生成泛函，编码整个 Benjamin-Ono 层次结构，并允许推导迹公式。
• 应用通过 $L_u$ 的谱数据定义的复 Birkhoff 坐标 $\zeta_n(u)$，确保实解析性与泊松括号结构。
• 利用 Toeplitz 算子的谱理论与 Hardy 空间，将 $L^2$ 函数与 $h^{1/2}_+$ 中的序列联系起来。
• 证明一个迹公式：$\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$，其形式类似于 Parseval 恒等式。
• 利用映射 $\psi[f](x,\xi)$ 实现 $L^2(\mathbb{R})$ 与 $L^2(\mathbb{T} \times [0,1])$ 之间的酉等价性，以分析 $\mathbb{R}$ 上 Lax 算子的谱。

实验结果

研究问题

• RQ1 环面上的 Benjamin-Ono 方程是否在 $L^2(\mathbb{T})$ 中存在全局 Birkhoff 坐标？
• RQ2 Lax 算子的谱数据能否用于构造该方程的完整作用量-角度变量集？
• RQ3 Benjamin-Ono 方程的哈密顿量是否可仅用作用量 $|\zeta_n|^2$ 表示？
• RQ4 所有 $L^2$ 解是否在时间上都是几乎周期的？
• RQ5 Lax 算子 $L_u^\mathbb{R}$ 在 $\mathbb{R}$ 上的谱结构是什么？其与环面问题有何关联？

主要发现

• 环面上的 Benjamin-Ono 方程存在全局 Birkhoff 坐标 $\Phi: L^2_{r,0} \to h^{1/2}_+$，这些坐标是实解析且全局定义的。
• 坐标之间的泊松括号满足 $\{\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})$ 解在时间上都是几乎周期的，这是全局 Birkhoff 坐标存在的直接结果。
• 存在一个迹公式：$\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$，该公式将 Parseval 恒等式推广至非线性情形。
• Lax 算子 $L_u^\mathbb{R}$ 在 $\mathbb{R}$ 上的谱是绝对连续的，且等于 $\bigcup_{n=0}^\infty [\lambda_n(u), \lambda_n(u)+1]$，其谱测度由 $[0,1]$ 上的 $L^2$-加权积分给出。