[论文解读] The Structure of Lie Algebras and the Classification Problem for Partial Differential Equations

P. Basarab-Horwath, V. Lahno+1 more|ArXiv.org|May 12, 2000

Nonlinear Waves and Solitons被引用 7

一句话总结

本文通过基于低维实李代数理论的系统方法，完全解决了如下形式的非线性热传导方程 $u_t = F(t,x,u,u_x)u_{xx} + G(t,x,u,u_x)$ 的群分类问题。证明了此类方程不存在维数大于五的对称代数，并对具有一至五维对称代数的所有非等价方程进行了分类，分别找到两个、三十四个、三十五个、六个和一个方程。

ABSTRACT

The present paper solves completely the problem of the group classification of nonlinear heat-conductivity equations of the form\ $u_{t}=F(t,x,u,u_{x})u_{xx} + G(t,x,u,u_{x})$. We have proved, in particular, that the above class contains no nonlinear equations whose invariance algebra has dimension more than five. Furthermore, we have proved that there are two, thirty-four, thirty-five, and six inequivalent equations admitting one-, two-, three-, four- and five-dimensional Lie algebras, respectively. Since the procedure which we use, relies heavily upon the theory of abstract Lie algebras of low dimension, we give a detailed account of the necessary facts. This material is dispersed in the literature and is not fully available in English. After this algebraic part we give a detailed description of the method and then we derive the forms of inequivalent invariant evolution equations, and compute the corresponding maximal symmetry algebras. The list of invariant equations obtained in this way contains (up to a local change of variables) all the previously-known invariant evolution equations belonging to the class of partial differential equations under study.

研究动机与目标

• 解决一大类非线性热传导偏微分方程的完整群分类问题。
• 确定该类方程中李不变代数可能的最大维数。
• 系统地分类所有具有1至5维对称代数的非等价方程。
• 提供必要低维李代数理论的详细、自包含说明，该内容在英文文献中常被遗漏。
• 提出一种构造性方法，利用代数与无穷小技术推导不变方程并计算其最大对称代数。

提出的方法

• 该方法依赖于对相关PDE类中向量场空间内低维李代数的所有可能实现进行分类。
• 利用Ovsjannikov的框架，结合等价群与子群的最优系统，系统地生成不变方程。
• 作者构建并分析了所有非等价的五维及以下实李代数的实现，特别关注可解代数与半单代数。
• 分类基于基向量场的对易关系，显式计算结构常数与根式分解。
• 该过程包括通过无穷小方法求解确定方程，识别每个不变方程的最大对称代数。
• 该方法确保所有已知的此类不变方程均能被恢复，至局部变量变换意义下。

实验结果

研究问题

• RQ1 对于形式为 $u_t = F(t,x,u,u_x)u_{xx} + G(t,x,u,u_x)$ 的非线性热传导方程，其李不变代数的最大维数是多少？
• RQ2 哪些 $F$ 和 $G$ 的非等价形式会产生具有1、2、3、4或5维对称代数的方程？
• RQ3 如何利用低维实李代数理论系统地对所有此类不变方程进行分类？
• RQ4 是否存在该类中具有维数大于五的对称代数的非线性热传导方程？
• RQ5 所推导的不变方程列表是否包含所有此前已知的此类方程，至局部变量变换意义下？

主要发现

• 所研究类中的任何非线性热传导方程均不具有维数大于五的李不变代数。
• 恰好存在两个非等价方程具有1维对称代数。
• 存在三十四个非等价方程具有2维对称代数。
• 存在三十五个非等价方程具有3维对称代数。
• 存在六个非等价方程具有4维对称代数。
• 恰好存在一个非等价方程具有5维对称代数。