[论文解读] Group Classification of Generalised Eikonal Equations

Roman O. Popovych, Irina Yehorchenko|ArXiv.org|Dec 22, 2001

Nonlinear Waves and Solitons被引用 3

一句话总结

本论文通过结合等价群、对称代数结构分析及确定方程分类的方法，对广义eikonal方程 $ u_a u_a = F(t, u, u_t) $ 进行了完整的群分类。该研究识别出所有具有扩展对称代数的非等价方程，包括具有广泛对称群的新非线性一阶偏微分方程，并通过维数和对称代数同构类型等代数不变量证明了其非等价性。

ABSTRACT

A new approach to the problem of group classification is applied to the class of first-order non-linear equations of the form $u_a u_a=F(t,u,u_t)$. It allowed complete solution of the group classification problem for a class of equations for functions depending on multiple independent variables, where highest derivatives enter nonlinearly. Equivalence groups of the class under consideration and algebraic properties of the symmetry algebra are studied. The class of equations considered presents generalisation of the eikonal and Hamilton-Jacobi equations. The paper contains the list of all non-equivalent equations from this class with symmetry extensions, and proofs of such non- equivalence. New first order non-linear equations possessing wide symmetry groups were constructed.

研究动机与目标

• 解决一类含导数非线性的第一阶非线性PDE的群分类问题，该类方程推广了eikonal方程和Hamilton-Jacobi方程。
• 识别该类方程中所有在一般情况之外具有对称性扩展的方程。
• 利用代数与变换准则，建立所有具有扩展对称代数的非等价方程的完整列表。
• 展示一种综合方法（整合等价群分析、对称代数结构分析及李对称性确定方程求解）在解决PDE中复杂群分类问题方面的有效性。

提出的方法

• 应用一种综合方法，整合等价群分析、对称代数结构分析以及李对称性确定方程的求解。
• 利用等价变换减少需分析的案例数，包括简化任意元 $ A(u) $ 的变换。
• 对满足特定微分条件（如 $ (A_u/A)_u = 0 $ 或 $ A_u/A = \nu A + \mu $）的函数 $ A(u) $ 进行分类，以实现对称性扩展。
• 通过其最大对称代数的非同构性证明结果方程的非等价性，特别通过比较维数和代数结构。
• 系统性地利用等价变换（如 $ \widetilde{t} = t, \widetilde{u} = |u + \mu|^{1 - \nu/2} $）减少案例，统一相似情况。
• 利用李群理论与对称分类的已知结果，包括对特殊函数（如 $ \text{sech}^2 u $、$ \text{csch}^2 u $ 和三角函数）的规范形式应用。

实验结果

研究问题

• RQ1 在方程类 $ u_a u_a = F(t, u, u_t) $ 中，哪些方程在一般情况之外具有对称性扩展？
• RQ2 该类方程中具有扩展对称代数的所有非等价方程的完整集合是什么？
• RQ3 如何利用等价变换减少具有多变量任意函数的PDE群分类中的案例数？
• RQ4 哪些代数性质（如维数、同构类型）可区分该类中方程对称代数的非等价性？
• RQ5 结合对称代数结构分析与等价群技术的方法，能否解决直接积分确定方程难以处理的群分类问题？

主要发现

• 本论文提供了对类 $ u_a u_a = F(t, u, u_t) $ 中所有具有对称性扩展的非等价方程的完整分类，完整列表见表1。
• 所分类方程的最大对称代数彼此非同构，维数范围为3至6，其结构决定了非等价性。
• 构造了具有广泛对称群的新一阶非线性PDE，包括在 $ \varepsilon_1, \varepsilon_2 $ 满足特定条件下，$ A(u) = \varepsilon_2 / \cosh^2 u $、$ \varepsilon_2 / \sinh^2 u $ 和 $ \varepsilon_2 / \cos^2 u $ 的方程。
• 当 $ A(u) $ 满足 $ (A_u/A)_u = 0 $、$ A_u \neq 0 $ 时，产生第九类对称性扩展，且与其他情况非等价。
• 当 $ A_u/A = \nu A + \mu $ 时，导出三种规范形式：$ \varepsilon_2 / \cosh^2 u $、$ \varepsilon_2 / \sinh^2 u $ 和 $ \varepsilon_2 / \cos^2 u $，其等价条件为 $ \varepsilon_0 \widetilde{\varepsilon}_0 = \varepsilon_1 \widetilde{\varepsilon}_1 = \varepsilon_2 \widetilde{\varepsilon}_2 $。
• 对于所有其他函数 $ A(u) $，均不发生对称性扩展，从而确认了分类的完备性。