[论文解读] I: Lie symmetries of partial differential equations and CR geometry

Joël Merker|ArXiv.org|Mar 5, 2007

Advanced Differential Equations and Dynamical Systems被引用 15

一句话总结

本文提出了一种新颖的几何框架，将完全可积偏微分方程（PDE）系统的李对称性与CR几何联系起来，以解的子流形为核心对象。该框架建立了PDE系统对称性与复空间中一般实子流形的全纯不变性性质之间的对应关系，通过延拓喷射微分法和CR不变量，导出二阶系统的显式相容性条件。

ABSTRACT

A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal dimension equal to 10. Explicit formulas for the Lie prolongation of vector fields to jets spaces are derived.

研究动机与目标

• 通过解的子流形视角，为完全可积PDE系统建立新的李对称性几何理论。
• 将PDE的对称性结构与复空间中一般实子流形的几何联系起来，特别是通过CR不变量和全纯不变性。
• 利用喷射延拓和微分代数技术，推导二阶PDE系统的显式相容性条件。
• 通过CR-几何不变量，提供一种系统化方法以判断PDE系统的平坦性与等价性。
• 利用喷射理论和几何工具，形式化地将李对称性从解空间转移到PDE的参数空间。

提出的方法

• 将PDE系统的解子流形作为核心几何对象，用于研究其李对称性，取代传统的喷射空间视角。
• 应用CR几何将PDE系统建模为复空间中的实子流形，利用全纯坐标和形式为 $ w^j = \overline{\Theta}^j(z, \bar{z}, \bar{w}) $ 的定义方程。
• 采用喷射延拓技术将向量场扩展到高阶喷射空间，以研究无穷小对称性。
• 通过对方程求导并利用PDE系统代入高阶导数，推导二阶PDE系统的相容性条件。
• 使用符号计算（Maple Release 7）验证组合公式和推导出的恒等式，特别是第一类相容性条件。
• 应用微分代数和导数的线性组合，将复杂的方程组简化为基本相容性条件 (I')、(II')、(III')、(IV')。

实验结果

研究问题

• RQ1 如何通过解的子流形的几何性质系统地表征完全可积PDE系统李对称性的特征？
• RQ2 PDE系统对称代数与相关CR子流形的全纯不变性性质之间的确切对应关系是什么？
• RQ3 从有限组定义方程导出的二阶PDE系统相容性的必要与充分条件是什么？
• RQ4 如何形式化向量场在喷射空间上的延拓，以保持CR几何结构？
• RQ5 CR不变量和类似曲率的表达式在判断PDE系统的平坦性或等价性中起什么作用？

主要发现

• 本文证明了PDE系统的解子流形编码了其完整的对称性结构，从而实现了李对称性的几何分类。
• 通过系统性求导与代入，推导出二阶PDE系统的一组完整相容性条件，得到显式的代数恒等式。
• 第一类相容性条件对于第二辅助系统，被证明是基本恒等式 (I')、(II')、(III')、(IV') 通过线性组合与求导的推论。
• 获得了二阶导数用低阶导数表示的显式公式，例如 $ y_{x^1x^2} = F_{x^1} + y_{x^1}F_y + y_{x^1x^1}F_{y_{x^1}} + G F_{y_{x^1x^1}} $，这对一致性至关重要。
• 该方法成功利用符号计算（Maple）验证了复杂相容性恒等式，确认了推导公式的正确性。
• 该框架通过嵌入CR几何不变量，为PDE理论中的等价性与标准型问题提供了系统化方法。