刚体定点转动中的角速度矢量、角加速度矢量与欧拉运动学方程的矩阵指数形式和李群表示

1. 出发点回顾：角速度的矢量性与运动学方程

   • 在之前关于“角速度”和“欧拉运动学方程”的词条中，我们已明确：对于一个绕定点O转动的刚体，其转动状态可由一个角速度矢量ω完全描述。ω的方向沿瞬时转轴，大小表示转动快慢。
   • 我们还学习了用欧拉角（ψ, θ, φ）及其时间导数（进动、章动、自转角速度）来表示ω在体坐标系（固定在刚体上）或空间坐标系（惯性系）中的分量。连接体坐标系与空间坐标系的是旋转矩阵R(t)。这个3×3的矩阵是正交矩阵（R^T R = I， det R = 1），它将空间坐标系的矢量映射到体坐标系：x_body = R * x_space。

2. 旋转矩阵的微分方程：从欧拉运动学方程到矩阵形式

   • 角速度矢量ω与旋转矩阵R的时间演化有直接关系。在空间坐标系中观察到的ω（记为ω_space）满足：dR/dt = R * [ω_space]×。这里[ω]×表示由矢量ω = (ω_x, ω_y, ω_z)^T构成的反对称矩阵（叉乘矩阵）：

     [ω]× = [ 0    -ω_z   ω_y  ;
              ω_z    0    -ω_x ;
             -ω_y   ω_x    0   ]
     

   • 这个方程dR/dt = R * [ω_space]×是欧拉运动学方程的紧凑矩阵形式。其含义是：旋转矩阵的时间变化率，等于当前的旋转矩阵乘以一个由瞬时空间角速度构成的反对称矩阵。这本质上是旋转的无穷小生成关系。

3. 矩阵指数与旋转的李群结构

   • 所有可能的绕定点O的刚体转动的集合，是数学上三维特殊正交群SO(3)。这是一个李群，其元素是满足R^T R = I 且 det R = 1 的3×3矩阵。
   • SO(3)群在单位元（恒等旋转，R=I）附近的“切空间”由所有3×3的反对称矩阵构成。这个切空间就是李代数so(3)。每个反对称矩阵[ω]×对应一个角速度方向和大小的无穷小生成元。
   • 关键的一步是，任何有限转动（即SO(3)中的元素R）都可以通过对某个反对称矩阵（李代数元素）取矩阵指数来得到：

     R(t) = exp( [θ(t) n(t)]× )
     

     其中θ(t)是绕单位轴n(t)转过的角度。[θ n]×是一个反对称矩阵，其指数运算给出了对应的旋转矩阵。这个关系是旋转运动学的核心：角速度矢量（李代数元素）的积分（通过指数映射）生成了旋转（李群元素）。

4. 运动学方程的指数解与角加速度

   • 当角速度ω随时间变化时，旋转矩阵R(t)是微分方程dR/dt = R * [ω(t)]×的解。这个解可以形式地写为时间排序的矩阵指数（类似于量子力学中的时间演化算子）：

     R(t) = T exp( ∫_0^t [ω(τ)]× dτ )
     

     其中T表示时间排序算符，因为一般来说，不同时刻的[ω(t)]×矩阵不对易。这反映了三维空间中连续转动的不可交换性（转动顺序不同，结果不同）。
   • 角加速度矢量β定义为角速度矢量的时间导数：β = dω/dt。在矩阵表示中，[β]× = d[ω]×/dt。值得注意的是，即使ω在体坐标系中是常数（比如自由欧拉陀螺），由于坐标系本身的旋转，在空间坐标系中观察到的角加速度也可能非零。这关联到之前讲过的“角速度在惯性系与非惯性系之间的坐标变换的微分关系”。

5. 李群表示的意义与优势

   • 将刚体定点转动运动学表述为SO(3)群上的演化，具有深刻的几何和代数清晰性。
   • 全局性与无奇异性：使用旋转矩阵R或四元数（另一种SO(3)的表示，但未被要求讲解）可以避免欧拉角的万向节死锁奇异性问题，因为矩阵指数和对数映射提供了从李代数到李群的全局（除个别点外）一一对应。
   • 合成与插值：旋转的合成就是矩阵乘法，这在计算（如机器人学、计算机图形学）中非常高效。基于李代数/李群的插值（如SLERP）也比直接对欧拉角插值更自然，能保证转动插值的最短路径（测地线）。
   • 动力学方程的几何化：这种表示是推导欧拉-庞加莱方程或刚体动力学在SO(3)上的李-泊松方程的自然起点。动力学方程可以优雅地写为在李群SO(3)及其对偶空间（角动量空间）上的哈密顿或拉格朗日方程。这为几何力学和结构保持数值积分方法（如辛算法、李群积分器）提供了基础，这些方法能长时间精确保持系统的能量、动量等几何结构。

总结：从经典的角速度矢量、欧拉运动学方程出发，我们通过引入旋转矩阵和反对称矩阵的表示，将其提升到SO(3)李群及其so(3)李代数的框架。这个框架的核心是矩阵指数映射，它将角速度（李代数）与有限转动（李群）联系起来，并通过时间排序的矩阵指数形式给出运动学方程的一般解。这种表示不仅避免了坐标奇异性，而且深刻地揭示了转动运动学的几何与代数结构，是连接经典力学、微分几何、李群理论以及现代计算动力学的桥梁。