[论文解读] Symmetries of Differential Equations via Cartan's Method of Equivalence

Oleg I. Morozov|arXiv (Cornell University)|May 16, 2001

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

一句话总结

本文提出了一种基于Cartan等价法与活动标架技术的算法方法，用于计算微分方程对称性伪群的不变1-形式与结构方程。该方法避免了对无穷小定义系统的计算、分析或积分，仅依赖微分与线性代数运算，从而可直接推导出对称性结构。该方法在二阶PDE系统上得到验证，确认其对称性伪群依赖于一个变量的两个任意函数，与Liouville的结果一致。

ABSTRACT

We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our apparoach does not require a preliminary computation of infinitesimal defining systems, their analysis and integration, and uses differentiation and linear algebra operations only. Examples of its applications are given.

研究动机与目标

• 开发一种无需积分无穷小定义系统的直接、算法化方法，用于计算对称性伪群不变量。
• 将Cartan等价法与活动标架法系统地应用于喷层空间中的微分方程。
• 仅通过微分与线性代数运算，推导对称性伪群的结构方程与不变1-形式。
• 在二阶PDE系统上演示该方法，恢复已知的对称性维数与结构。

提出的方法

• 该方法首先将系统提升至一阶喷层空间，将其视为纤维化流形一阶喷层上的子丛。
• 应用Cartan等价法，为一阶喷层上的接触变换伪群计算Cartan活动标架。
• 将完整接触伪群的不变1-形式限制到由微分方程系统定义的子丛上。
• 对限制形式之间产生的线性相关性条件应用归一化程序，以提取对称性不变量。
• 通过标架的延拓与外微分的计算，推导对称性伪群的结构方程，从而得到一组Cartan结构方程。
• 通过检查Cartan的可积性测试并识别解中任意函数的数量，验证该过程，表明对称性维数。

实验结果

研究问题

• RQ1 是否可以不求解或积分无穷小定义系统，直接计算微分方程对称性伪群？
• RQ2 如何系统地应用Cartan等价法与活动标架法，以计算对称性伪群的不变1-形式？
• RQ3 对于给定的微分方程组，其对称性伪群的结构是什么，特别是其Cartan结构方程的形式如何？
• RQ4 能否直接从结构方程中确定对称性伪群中任意函数的数量？
• RQ5 该方法是否与已知结果一致，例如Liouville对系统 $u_t = v$, $v_x = e^u$ 的对称群分类结果？

主要发现

• 该方法成功地仅通过微分与线性代数运算，计算出系统 $u_t = v$, $v_x = e^u$ 的对称性伪群结构方程，绕过了对定义系统的积分。
• 经延拓后，所得标架被证明是可积的，满足Cartan测试，其约化特征为 $s'_1 = 2$, $s'_2 = \text{...} = s'_9 = 0$，表明存在两个一个变量的任意函数。
• 确认对称性伪群依赖于两个一个变量的任意函数，与Liouville的经典结果一致。
• 结构方程 (23) 与 (25) 无挠率且在外部微分下封闭，证实了对称性结构的可积性。
• 吸收与归一化过程有效将系统简化为标准形式，从而可直接提取对称性不变量，而无需事先分析无穷小系统。
• 该方法在原则上具有算法性，尽管计算复杂，但提示未来可通过高阶喷层上的标准接触形式实现优化。