旋转矩阵的导数
贡献者: addis
预备知识 刚体的瞬时转轴、角速度的矢量相加
,叉乘的矩阵形式
假设坐标系 中任意一不动点坐标为 (不随时间变化),通过三维旋转矩阵 变换到坐标系 中的坐标 ,即
令 是 相对于 的瞬时角速度。假设 随时间 变化,记为函数 。那么它对时间求导 (即每个矩阵元对 求导)为
其中
1. 证明
把式 1 对 求导得该点在实验室坐标系的速度为
角速度和速度之间有 (
式 5 )。我们可以把叉乘用矩阵乘法表示为(
式 2 )
(
式 3 )是一个反对称矩阵,即
由于 是任意的,对比
式 4 和
式 5 得
式 2 。证毕。