Lie群在Lagrange系统中的应用.pdfVIP

Lie 群在Lagrange 系统中的应用 付晋 力学与工程科学系 摘要 Lie 群在约束力学系统中有许多应用 这里将举出它在Lagrange 系统中的一个应用 由于这涉及到一些数学定义 所以我先要介绍一下这些定义 Lie 变换群 r∗ 是域 n 中的向量 对D 中每个x 确定的变换集合x*=X(x, ),参数 x (x x Lx ) D ⊆ 1, 2 n S,S 是 中的集合 , S 在 S 中有运算 ( , ) S(封闭性) 则这个变换集合 构成变换群 如果满足四条 1. 对S 中每个参数 变换在D 中是一一对应的 且x* D 2. 包含运算 的S 构成一个群 3. 存在单位元e 使得X (x,e)=x. 4. 变换X (x, )满足复合律X (X (x, ), )=X (x, ( , )) 进而 如过一个变换群还满足以下三条 1. 是连续参数 即S 是R 中的一个区间 =0 是单位元 2. X x, 对D 中的x 是无穷次可微的 且是S 中 的解析函数 3. 对 S ( , )是 和 的解析函数 则这个变换群就称为Lie 变换群 由于定义中使用的变换函数只含一个参数 所以这个变换 群也叫做单参数Lie 变换群 无限小变换与无限小生成元 上面介绍Lie 变换群的目的就是为介绍无限小变换群和无限小生成元 因为在后面的讨论中 我们用到的主要数学工具就是无限小变换群和生成元 考虑单参数Lie 变换群 r r x X x ,ε 1 ( ) S,S 中有运算 ( , )和单位元 =0 将 1 式在 =0 展开 得到 r r r ∂X (x ,ε)  2 x=x+ε +ο ε 2  ∂ε ε 0 ( ) r ∂X r r   令ξ(x )   ,则变换x +εξ(x ) 称为Lie 变换群 1 的无限小变换 之所以取这个名 ∂ε  ε 0 r r 字是因为x +εξ(x ) 是通过在 =0 处展开获得的 是小量 显然所有无限小变换也构成一 个变换群 Lie 变换群 1 的无限小生成元定义为算子: 1 r r n ∂ Y Y(x ) ξ(x ) ▽=∑ξi i 1 ∂xi 有了以上这些准备知识我们就可以讨论Lie 群在Lagrange 系统中的应用了 Lagrange 系统 一切力学系统的运动微分方程如能表示为如下方程组   d ∂L ∂L   − 0 (s=1,2, n)