[论文解读] The group classification of one class of nonlinear wave equations

V. Lahno, Olena Magda|ArXiv.org|Oct 23, 2003

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

一句话总结

本文通过李对称分析与等价群方法，对 (1+1) 维一类非线性双曲波方程 $ u_{tx} = g(t,x)u_x + f(t,x,u) $ 和 $ u_{tx} = f(t,x,u) $ 进行了完整的群分类。主要贡献在于对所有可能的李对称代数（至多三维）及其对应的 $ f $ 和 $ g $ 的不变形式进行了完整分类，提供了所有具有非平凡对称性的非等价方程的完整列表。

ABSTRACT

The problem of group classification of one class of quasilinear equations of hyperbolic type with two independent variables has been solved completely.

研究动机与目标

• 解决长期存在的关于具有两个自变量的拟线性双曲波方程类的群分类问题。
• 在 $ f_{uu} \neq 0 $ 条件下，确定方程 $ u_{tx} = g(t,x)u_x + f(t,x,u) $ 和 $ u_{tx} = f(t,x,u) $ 可实现的所有可能的李对称代数。
• 通过等价群构造对称算子的规范形式，对所有具有非平凡点对称性的非等价方程进行分类。
• 提供所有可能的一维和二维李代数作为方程对称代数的实现的完整列表，包括可解与半单情形。
• 确定该类方程的最大可能对称代数，证明仅存在维度 ≤3 的代数，并为每种情况推导出 $ f $ 和 $ g $ 的显式函数形式。

提出的方法

• 采用李对称方法，推导形式为 $ Q = \tau(t,x,u)\partial_t + \xi(t,x,u)\partial_x + \eta(t,x,u)\partial_u $ 的点对称生成元的确定系统。
• 利用变换的等价群 $ \bar{t} = T(t), \bar{x} = X(x), \bar{u} = U(t,x,u) $ 将一般对称算子约化为规范形式，简化分类过程。
• 应用等价群下线性偏微分算子（LPDO）的规范形式方法，系统性地对称代数进行分类。
• 通过假设可能的李代数类型（如 $ A_{2.1}, A_{2.2}, sl(2,\mathbb{R}) $）并求解 $ f $ 和 $ g $ 的相应PDE系统，分析对称代数的结构。
• 利用条件 $ f_{uu} \neq 0 $ 确保非线性性并避免退化，并聚焦于光滑函数的局部解。
• 通过代入与变量替换，为每种对称代数实现推导出 $ f $ 和 $ g $ 的显式函数形式，包括自相似与指数形式。

实验结果

研究问题

• RQ1 对于满足 $ f_{uu} \neq 0 $ 的非线性双曲波方程类 $ u_{tx} = g(t,x)u_x + f(t,x,u) $，所有可能实现的李对称代数有哪些？
• RQ2 如何利用变换的等价群将对称算子分类为规范形式，从而简化群分类问题？
• RQ3 对于给定李代数作为对称代数的每种非等价实现，$ f $ 和 $ g $ 的显式函数形式是什么？
• RQ4 哪些对称代数（如阿贝尔、可解、半单）可能出现？该类方程的此类代数的最大维度是多少？
• RQ5 对于 $ A_{2.2} $、$ sl(2,\mathbb{R}) $ 和 $ A_{3.6} $，$ f $ 和 $ g $ 的不变形式如何依赖于对称代数的结构？

主要发现

• 方程 (1.1) 的对称代数由形如 $ Q = \tau(t)\partial_t + \xi(x)\partial_x + (h(t)u + r(t,x))\partial_u $ 的算子生成，其中 $ \tau, \xi, h, r $ 满足涉及 $ f $ 和 $ g $ 的PDE系统。
• 对于方程 (1.1)，存在三种非等价的一维李代数实现，分别对应于 $ f $ 和 $ g $ 的不同函数形式。
• 存在三种非等价的二维可解代数 $ A_{2.2} $ 实现，每种对应不同的函数形式：$ g = [mt + (k-m)x]t^{-1}(t-x)^{-1} $，$ g = t^{-2}(kx + mt) $，以及 $ g = (tx)^{-1}(mx - t) $，其中 $ f $ 以自相似变量表示。
• 对于方程 (1.2)，完整分类得到九种非等价情形，包括两种 $ A_{2.1} $ 情形、两种 $ A_{2.2} $ 情形、一种 $ sl(2,\mathbb{R}) $ 情形，以及 $ A_{2.2} \oplus A_1 $ 和 $ A_{2.2} \oplus A_{2.2} $ 情形，每种情形均有特定的 $ f $-形式，如 $ f = e^t \tilde{f}(\omega) $ 或 $ f = (t-x)^{-3} \tilde{f}(\omega) $。
• 该类方程的最大对称代数为 $ A_{3.6} $，当 $ f = \tilde{f}(u) $ 时实现，对称生成元为 $ \partial_t, \partial_x, -t\partial_t - x\partial_x $，且 $ f_{uu} \neq 0 $，表明具有高度对称性。
• 本文证明，所有可能的对称代数维度至多为三，该类方程不存在更高维的对称代数。