[论文解读] Group classification of the general evolution equation: local and quasi-local symmetries

Renat Zhdanov, V. Lahno|ArXiv.org|Oct 3, 2005

Nonlinear Waves and Solitons参考文献 1被引用 4

一句话总结

本文提出了一种针对一般非线性演化方程 $ u_t = F(t,x,u,u_x,u_{xx}) $（其中 $ F_{u_{xx}} \neq 0 $）的全面群分类方法，采用一种基于求解对称性决定方程所导出的超定PDE系统的创新策略。主要贡献在于提出了一套系统化方法，用于分类所有可能的三维以内李对称代数，提供了如 $ A_{3.8} $、$ A_{3.9} $ 和 $ so(3) $ 等代数的显式实现形式及其不变方程，且该框架可扩展至更高维度。

ABSTRACT

We expand our group classification of quasilinear evolution equations (Acta Appl.Math., v.69, 2001) to the case of general evolution equation in one spatial variable. This enables obtaining several new classes of evolution equations with nontrivial Lie symmetry. As a by-product, we derive a number of nonlinear evolution equations admitting quasilocal symmetries.

研究动机与目标

• 求解最一般的一维空间变量非线性演化方程在 $ F_{u_{xx}} \neq 0 $ 条件下的完整群分类问题。
• 基于从对称性决定方程导出的超定PDE系统，发展一种系统化方法。
• 对低维李代数（至多三维）的所有可能实现形式进行分类，作为一般演化方程的对称生成元。
• 建立一个将群分类问题转化为求解对称代数相容性条件的框架，利用已知的至六维实李代数分类结果。
• 为每种被允许的对称代数提供显式不变方程，从而可通过变量变换构造拟局部对称性。

提出的方法

• 推导控制一般演化方程所有无穷小对称性 $ Q = \tau \partial_t + \xi \partial_x + \eta \partial_u $ 的决定方程（3）。
• 识别决定方程的解构成一个李代数 $ \ell $，并将问题重新表述为包含结构常数 $ C_{ij}^k $ 的超定系统（4）。
• 利用变换的等价群（5）$ \bar{t} = T(t), \bar{x} = X(t,x,u), \bar{u} = U(t,x,u) $ 对分类进行归一化，并将方程化为标准形式。
• 通过求解具有特定结构常数的系统（4），构造抽象李代数（至多三维）的实现形式，确保其满足相容性并关于换位子封闭。
• 对方程在 $ \partial_u $ 或 $ \partial_t + \tan(t+x)u\partial_u $ 对称性下应用变换 $ u_x \to v $，推导出形式为（6）的拟线性方程，揭示拟局部对称性。
• 利用已知的实李代数分类（如Mubarakzyanov的工作）缩小搜索空间，并确保至维度 $ n_0 $ 的完备性。

实验结果

研究问题

• RQ1 对于一般演化方程 $ u_t = F(t,x,u,u_x,u_{xx}) $ 且满足 $ F_{u_{xx}} \neq 0 $ 的情形，其可能的李对称代数（维度不超过三）有哪些？
• RQ2 如何将一般演化方程的群分类问题转化为求解含结构常数的超定PDE系统？
• RQ3 李代数 $ A_{3.8} $、$ A_{3.9} $ 和 $ so(3) $ 对应的显式不变方程是什么？它们如何从对称生成元推导得出？
• RQ4 拟局部对称性如何从分类中浮现？其与方程的拟线性形式有何关联？
• RQ5 该方法能否扩展至分类维度大于三的对称代数？限制最大维度 $ n_0 $ 的因素是什么？

主要发现

• 一般演化方程的最大不变群由向量场 $ Q = \tau \partial_t + \xi \partial_x + \eta \partial_u $ 生成，其中 $ \tau, \xi, \eta $ 满足决定方程（3）。
• 对于李代数 $ so(3) $，其一个实现为 $ Q_1 = \partial_u $，$ Q_2 = \cos u \partial_x + \tan x \sin u \partial_u $，$ Q_3 = -\sin u \partial_x + \tan x \cos u \partial_u $，对应不变方程为 $ u_t = \sqrt{\sec^2 x + u_x^2} \cdot \tilde{F}(t, \dots) $。
• 对于代数 $ A_{3.8} $，找到两个实现形式：其一为 $ Q_1 = \partial_u $，$ Q_2 = x\partial_u $，$ Q_3 = -(x^2+1)\partial_x - xu\partial_u $，对应方程为 $ u_t = \sqrt{1+x^2} \cdot \tilde{F}(t, u_{xx}(1+x^2)^{3/2}) $。
• 对于 $ A_{3.9} $，当 $ Q_3 = -(x^2+1)\partial_x + (q - x)u\partial_u $ 且 $ q \neq 0 $ 时，得到 $ u_t = e^{-q \arctan x} \sqrt{1+x^2} \cdot \tilde{F}(t, u_{xx} e^{q \arctan x} (1+x^2)^{3/2}) $。
• 对于 $ A_{3.9} $ 的第二个实现形式，当 $ Q_3 = \partial_t + \tan(t+x)u\partial_u $ 时，得到 $ u_t = u_x + \sec(t+x) \cdot F(x, u_{xx}\cos(t+x) - 2u_x\sin(t+x)) $，该形式在求导与变量替换后可生成拟局部对称性。
• 对 $ \mathcal{L}_2 $ 演化方程（即具有拟局部对称性的方程）的分类问题仍为开放问题，尽管已建立框架以供未来扩展至三维以上。