行列式与坐标反演
在刚体运动学(1)中已经提到,唯一地确定刚体内某点的位置一共需要个坐标。其中个位置坐标用来确定参考系的相对位置,剩下个方向坐标则是从个方向余弦中消去个正交条件得到的。
考虑两个正交变换
将式一代入式二,得
由于坐标之间均是独立的,该等式若成立,则只有可能
(1)当时,
(2)当时,
所以
或者写成矩阵形式
现在考虑双重求和
不论是矩阵还是张量的形式,都满足结合律。
如果先结合前两者,有
如果结合后两者,
于是
一般,将的下指标互换的操作对应求矩阵的行与列相互对调。我们将其称为矩阵的转置(transpose),表示为。
所以对于正交矩阵,有
对等式:求行列式(determinant),有
可见,正交矩阵的行列式只能为正负一。
但实际上,对于刚体,所有代表着真实旋转的正交矩阵的行列式必须为,这样的正交矩阵是常规的(proper)。相反,对于那些行列式为的正交矩阵,对应的旋转则不具备任何实际物理意义,它们是反常的(improper)。只有刚体旋转对应的正交变换是一个常规矩阵,我们才可以写出系统的拉格朗日函数并得到运动方程。原因是任何对应了刚体真实运动的变换必须要从单位矩阵开始进行连续变化,由于单位矩阵行列式为,如果过程中行列式突然变为,那么这样的变化将不再满足“连续”的特点,故无法代表刚体的真实位移。
更具体一点的解释,让我们考虑一个行列式为的矩阵
该矩阵可以改变坐标轴或者矢量分量的方向。这样的变换将一个右手坐标系变为了左手坐标系,所以通常被称为坐标反演(inversion of coordinates)。
想要执行坐标系的反演变换并不难,其中一种方法就是先进行绕转轴(如轴)弧度的旋转变换,然后再进行仅关于转轴的反射变换。
或者,用矩阵表示
如此一来,一个遵循右手定则的坐标系就变为了一个遵行左手定则的坐标系。
从反演变换的本质来看,因为涉及到了关于某个方向的反射,很明显,从右手参考系到左手参考系的变换是不可能通过任何方向上刚性变化达成的。所以,任何涉及到坐标反演的变换绝不可能用来表示一个刚体的真实位移。由于任何其它行列式等于的矩阵均可被表示为矩阵与一些行列式为矩阵的乘积,所以任何行列式为的矩阵亦无法表示刚体的真实位移。所以,与刚体真实运动所对应的变换矩阵的行列式只能等于。
欧拉角
最常用,也是最有用的一组用来描述刚体位置的方向坐标要属欧拉角(Eulerian angles),由数学家欧拉最早提出。
根据坐标变换的本质,从笛卡尔坐标系出发,进行三次特定连续的旋转变换后,我们可以得到另一个新坐标系。欧拉角则是被定义为这三次连续特定旋转的角度。
在有效范围内,三次连续旋转的角度大小和转轴的选取顺序其实存在一些随意性。初始旋转的转轴可以是三个笛卡尔坐标中的任意一个,但接下来两次旋转的转轴选取必须要保证三次旋转中不能出现连续的两次绕相同轴的旋转,这就是唯一的限制条件。所以,对于右手坐标系,我们一共有种不同顺序,即存在种可被用来定义欧拉角的顺规。大部分经典力学教材的作者采用的是第二次旋转绕轴的“-顺规(x-convetion)”,而大多量子力学、核物理、粒子物理的教材使用的则是第二次旋转绕轴的“-顺规(y-convention)”。此外,为了弥补前两种约定在变换前后的坐标系区分程度低的缺点,还有第三种常见约定:-顺规(xyz-convention),它在工程应用中经常出现,被经常用来描述如飞机和火箭等移动载具或导弹的方向。这三个角度分别是:关于竖直转轴旋转得到的偏航角(yaw angle),关于垂直于机体转轴旋转得到的姿态角(attitude angle)以及关于机身轴旋转得到的横摆角(roll angle)。根据-顺规得到的角有时也被称为泰特-布莱恩角(Tait-Bryan angles)。
本篇将主要讨论-顺规,以后可能会将后两者添加作为补充。
-顺规可分为下列三次连续旋转:
(1)按逆时针绕坐标系中的轴旋转角度,将得到的新坐标系命名为。
(2)按逆时针绕坐标系中的轴旋转角度,将得到的新坐标系命名为。
(3)按逆时针绕坐标系中的轴旋转角度,将得到的新坐标系命名为。
根据定义,我们将独立角参量称为欧拉角。它们分别是:
自转角(rotation angle),章动角(nutation angle)和旋进角(进动角)(precession angle)。这些名称最早来源于天文学。
轴位于刚好位于图中平面与平面的夹角,被称为交点线(line of nodes)。
三次转动变换可以被表示为
其中均为列矩阵,均为转动算符。
于是
或者用矩阵表示
从到的逆变换为
由于矩阵由三个正交矩阵组成,本身也是具有正交性
所以
求矩阵的转置即可。