[论文解读] Integrable Lagrangians and modular forms

E. V. Ferapontov, A. V. Odesskiĭ|ArXiv.org|Jul 23, 2007

Nonlinear Waves and Solitons参考文献 10被引用 7

一句话总结

该论文通过证明作用于拉格朗日密度 f 的可积性条件（以 f 的四阶偏微分方程组形式表述）在 20 参数李对称群作用下不变，建立了三维可积拉格朗日量与模形式之间的深刻联系。一般解对应于复双曲球面上权为一、级别为三的模形式，使可积性条件线性化，并揭示了根植于自守函数的主拉格朗日结构。

ABSTRACT

We investigate non-degenerate Lagrangians of the form $$ \int f(u_x, u_y, u_t) dx dy dt $$ such that the corresponding Euler-Lagrange equations $ (f_{u_x})_x+ (f_{u_y})_y+ (f_{u_t})_t=0 $ are integrable by the method of hydrodynamic reductions. We demonstrate that the integrability conditions, which constitute an involutive over-determined system of fourth order PDEs for the Lagrangian density f, are invariant under a 20-parameter group of Lie-point symmetries whose action on the moduli space of integrable Lagrangians has an open orbit. The density of the `master-Lagrangian' corresponding to this orbit is shown to be a modular form in three variables defined on a complex hyperbolic ball. We demonstrate how the knowledge of the symmetry group allows one to linearise the integrability conditions.

研究动机与目标

• 表征非退化拉格朗日量 f(u_x, u_y, u_t)，其欧拉-拉格朗日方程可通过流体动力学约化实现可积。
• 识别可积性条件的完整对称群，并分析其在可积拉格朗日量模空间上的作用。
• 利用多变量的模形式与自守形式构造可积系统显式解。
• 证明可积系统的一般解对应于权为一、级别为三的模形式。
• 通过对称变换探索退化极限及其与已知多项式拉格朗日量的联系。

提出的方法

• 可积性条件由包含 Hessian 矩阵 H、二阶导数对称矩阵 M 以及对称微分 d^3f 和 d^4f 的紧凑微分恒等式导出。
• 证明可积性系统在 20 参数李群（同构于 SL(4,R)）的射影与仿射变换作用下不变。
• 应用对称约化方法，通过识别在群作用下满足线性化系统的微分不变量，使可积性系统线性化。
• 对于 f = u_x u_y g(u_t) 的情形，利用 Gl(2,R)-不变性导出并求解 g 的常微分方程，得到解为 theta 级数，当 z = u_t / (2πi) 时成为模形式。
• 通过以两变量或三变量模形式为基的级数展开，分析一般情形 f(u_x, u_y, u_t)，构造自守解。
• 通过识别对称群的开轨道并将在域 D 上实现解空间为 G-不变函数，成功构造主拉格朗日量作为复双曲球面上的模形式。

实验结果

研究问题

• RQ1 三维拉格朗日量 f(u_x, u_y, u_t) 的可积性条件的完整对称群是什么？
• RQ2 如何利用对称群线性化可积性系统？
• RQ3 可积拉格朗日量模空间的几何与算术结构是什么？
• RQ4 可积系统的一般解能否表示为模形式或自守形式？
• RQ5 已知多项式拉格朗日量（如无色散 KP 方程、Boyer-Finley 方程）如何作为主拉格朗日量的退化极限出现？

主要发现

• f(u_x, u_y, u_t) 的可积性条件在同构于 SL(4,R) 的 20 参数李群作用下不变，该群在可积拉格朗日量 20 维模空间上具有开轨道。
• 当 f = u_x u_y g(u_t) 且 g(u_t) = ∑_{(α,β)∈ℤ²} e^{(α²−αβ+β²)u_t} 时，可积系统的一般解对应于权为一、级别为三的模形式，即 Eisenstein 级数 E_{1,3}(z)。
• 在代换 u_t = 2πiz 下，级数 g(u_t) 变为模形式 E_{1,3}(z)，即模群 Γ(3) 上的权为一的全纯尖点形式。
• 主拉格朗日量密度被实现为复双曲球面 D 上的模形式，其中群 G ⊂ SL(4,ℂ) 保持由矩阵 J 定义的厄米形式。
• 主拉格朗日量的退化极限恢复了已知的多项式拉格朗日量，如无色散 KP 方程与 Boyer-Finley 方程，表明其构成一个统一的基于对称性的框架。
• 对称群作用使可积性系统线性化，通过识别三个满足 SL(4,R) 变换下线性系统的微分不变量 x, y, z 实现。