[论文解读] Theory of Transformation Groups, by S. Lie and F. Engel (Vol. I, 1888). Modern Presentation and English Translation

Joël Merker|arXiv (Cornell University)|Mar 16, 2010

Mathematics and Applications被引用 15

一句话总结

本文对索菲斯·李与弗里德里希· Engel 于 1888 年发表的关于连续变换群的奠基性著作进行了现代英语翻译与阐述，建立了由有限参数参数化的局部解析微分同胚群的理论。文中通过偏微分方程引入了无穷小生成元的关键概念，证明了群公理由存在结构常数矩阵，并展示了有限变换如何通过积分这些生成元得到，以实直线上射影群为例进行说明。

ABSTRACT

The goal of this modern presentation, followed by an English translation from the German, is to make available some parts of Lie's very systematic mathematical thought which deserve to join the contemporary literature, and above all also, to be read.

研究动机与目标

• 为李与恩格尔 1888 年关于连续变换群的原始论著提供一种现代且易于理解的英文阐述。
• 阐明一族解析微分同胚构成局部连续群的条件，特别是通过消除冗余参数来实现。
• 确立控制群结构的基本偏微分方程，并从群公理推导出无穷小生成元。
• 展示如何通过积分无穷小生成元来重构有限群变换，以实直线上射影群为例说明。
• 证明逆公理无法仅从复合公理由推导得出，纠正了李早期假设中的一个误解。

提出的方法

• 利用变换映射 $ f_i(x; a) $ 在基点附近的局部幂级数展开，通过系数映射 $ \textsf{U}_\text{infty} $ 分析参数依赖性。
• 引入系数映射的通用秩 $ \rho_\text{infty} $ 概念，以确定本质参数的最小数量。
• 从群的复合与逆公理出发，推导出基本 PDE 系统 $ \frac{\partial f_i}{\partial a_k}(x; a) = -\sum_j \psi_{kj}(a) \frac{\partial f_i}{\partial a_j}(x; e) $。
• 将无穷小生成元 $ X_k^a|_x = \sum_i \frac{\partial f_i}{\partial a_k}(x; a) \frac{\partial}{\partial x_i} $ 定义为在参数 $ a $ 处群作用的切向量。
• 采用无穷小增量方法 $ a_k = a_k^0 + \delta t_k $，推导变换的线性化形式，并提取无穷小生成元。
• 应用常微分方程 $ \frac{dx'}{\lambda_1 + \lambda_2 x' + \lambda_3 (x')^2} = dt $ 的积分方法，从无穷小变换重构有限变换。

实验结果

研究问题

• RQ1 在何种条件下，可以从一族解析微分同胚中去除冗余参数，以获得最小参数化？
• RQ2 群的复合与逆公理由如何导出控制变换映射的偏微分方程系统？
• RQ3 连续群的逆运算能否仅从复合公理由推导得出，还是其为独立存在？
• RQ4 连续变换群的无穷小生成元具有怎样的几何与代数结构？
• RQ5 如何通过积分常微分方程，从无穷小生成元重构有限群变换？

主要发现

• 变换群中本质参数的数量由系数映射 $ \textsf{U}_\text{infty} $ 的通用秩 $ \rho_\infty $ 决定，其值可能小于原始参数数 $ r $。
• 群公理由导出 PDE 系统：$ \frac{\partial f_i}{\partial a_k}(x; a) = -\sum_j \psi_{kj}(a) \frac{\partial f_i}{\partial a_j}(x; e) $，其中矩阵 $ (\psi_{kj}) $ 仅依赖于群参数，且在单位元附近局部可逆。
• 无穷小生成元 $ X_k^a|_x = \sum_i \frac{\partial f_i}{\partial a_k}(x; a) \frac{\partial}{\partial x_i} $ 是基本向量场的线性组合，其系数为 $ -\psi_{kj}(a) $，并张成群的李代数。
• 实直线上射影群的三个无穷小生成元分别为 $ X_1(f) = \frac{\partial f}{\partial x} $，$ X_2(f) = x \frac{\partial f}{\partial x} $，和 $ X_3(f) = x^2 \frac{\partial f}{\partial x} $，分别对应参数 $ \delta t_1, \delta t_2, \delta t_3 $。
• 射影群的一般有限变换为 $ \frac{x' - \alpha}{x' - \beta} = \overline{\gamma} \frac{x - \alpha}{x - \beta} $，其中 $ \overline{\gamma} = e^{\gamma t} $，表明对固定的 $ \alpha, \beta $，该群为单参数族。
• 常微分方程 $ \frac{dx'}{\lambda_1 + \lambda_2 x' + \lambda_3 (x')^2} = dt $ 的解为 $ \frac{x' - \alpha}{x' - \beta} = e^{\gamma t} \frac{x - \alpha}{x - \beta} $，其中 $ \alpha, \beta $ 为二次方程 $ \lambda_3 z^2 + \lambda_2 z + \lambda_1 = 0 $ 的根，且 $ \gamma = \sqrt{\lambda_2^2 - 4\lambda_1\lambda_3} $。