旋转映射推导[试题学习]

1、旋转映射推导1 概 述旋转是一种常见的现象，最直观的就是日月星辰周而复始的运转；在科学研究中也不可避免的要接触到旋转，旋转实际上是一种运动的反应，我们更多的需要用运动的观点来分析旋转。对于旋转的研究必须选好坐标系，只有在一定的坐标系中来描述旋转才有意义，研究旋转可以从两个方面入手，一方面是研究一个动点的坐标与这个点绕定坐标系中的某个定点（或者定轴）旋转一定的角度后的坐标之间的映射关系，另一个方面是点的位置保持不变，将坐标轴旋转一定的角度后到一个新的坐标系，这个不动点在新旧的坐标系下坐标之间的映射关系。按照相对运动来考虑这两个方面，实际上是统一的，只要找到了其中一个的映射，另一个就是其逆映射，也

2、可表述为正向旋转一个点等同于逆向旋转坐标轴。要得到旋转的坐标映射关系，有多种方法。本文中将用四种方法来推导、描述这种映射关系。它们分别是几何法、复数运算法、变换法、四元数法。其中几何法主要是将直角坐标系中的问题转化到极坐标系下并使用三角公式；复数运算法将平面直角坐标系看作一个复平面，利用复数乘积的特性来得到映射关系；变换法主要利用的是基变换和坐标变换的关系；四元数法直接对于三维矢量的旋转进行描述，且文中对于四元数的一些基本的概念进行了阐释。2 几何法图1 点旋转定坐标系如图1所示，点在坐标系中的坐标为，将点绕坐标原点旋转到，求在坐标系中的坐标。可将这个问题转化为极坐标下来解决，设与的夹角为，其

3、长度为，有： （1） （2）即可得到旋转映射关系： （3） 图2 点静止旋转坐标轴如图2 所示，将坐标系绕坐标原点逆时针旋转后得到新的坐标系，点在坐标系中的坐标为，则根据相对运动（逆时针旋转坐标轴相当于顺时针旋转点），将（3）式中的取为，即可得点在坐标系中的坐标为： （4）对于二维平面中的旋转，用几何法可以很直观的给出坐标映射关系，本文推导的都是绕远点旋转的映射关系，如果不是绕原点旋转，只需要再做一下平移变换即可，这里不再赘述。3 复数运算法我们称为复数，这样一个复数可由一对有序实数唯一确定，所以对于平面上给定的直角坐标系，复数全体与该平面上的点的全体构成一一对应关系，所以复数可以用该坐标系坐

4、标为的点来表示，利用直角坐标与极坐标的关系有：这样我们可以把复数表示成下面的形式： （5）利用欧拉公式还可以表示成： （6）其中称为复数的模，称为复数的幅角。复数的这几种表示方式可以互相转换。对于复数的乘法运算，我们利用（5）式的复数表示方法，设有两个复数则有： （7）由上式可得 两个复数乘积的模等于它们模的乘积，两个复数乘积的幅角等于它们幅角的和。那么，我们用一个复数乘以一个模为1，幅角为的复数，就相当于将复数代表的点绕坐标原点逆时针旋转弧度。设点的坐标为，则对应一个复数，将绕坐标原点逆时针旋转后的点的坐标为，用数学运算表达为： =即可得到旋转映射为： （8）同样也可以利用相对运动的观点得到

5、点静止而旋转坐标轴的旋转映射关系。4 变换法图3 基变换与坐标变换如图3所示，将直角坐标系逆时针旋转角，得到坐标系，设点在中的坐标为，点在坐标系中的坐标为，选的一组基底为，的一组基底为， ，如图3所示，有如下： （9） （10）可得到基变换公式： （11）令，有有了上述基变换公式就可以得出坐标变换公式 （12）即在在坐标系中的坐标为 （13）此处得到的旋转映射和前面两种方法得到的旋转映射结果完全一样，对于三维的旋转，可以通过连续绕坐标轴旋转的方式得到。5 四元数法5.1 四元数的定义与基本运算性质设： （14）其中满足： 则称为四元数，其中为四元数的实部或者标量部分，记为；为四元数的虚部或者矢

6、量部分，记为。类似于复数用一个有序数对表示，我们也可以用用四维有序数对来表示四元数。四元数的集合可以表示为： （15）有了上面的四元数的基本定义，我们继续介绍四元数的基本运算设两个四元数定义四元数的相等：定义四元数的加法：定义四元数的乘法，称为直乘，按照多项式的乘法原则进行：定义四元数的共轭对于任意四元数，定义的矩（或者称为范数）为：对于任意四元数，定义的迹为：对于任意四元数，定义的模为：基于上面的定义容易验证，四元数的加法满足结合律和交换律，乘法满足结合律，乘法对加法满足分配律，但乘法不满足交换律。设，若存在，使得则称四元数为四元数的倒数或者逆元，记为，即有：四元数存在倒数的充要条件是，且的

7、倒数是唯一的，并满足：5.2 四元数的表示5.2.1 四元数的三角形式表示设，且其中中至少有一个不为零，则：即： 其中：，易知：，从而可以写成如下的三角形式 （16） （17）5.2.2 四元数的复数表示设，注意到，则可唯一表示为： （18）于是令，则可唯一表示为： （19）5.2.3 四元数的数量-向量表示设引入表示法： （20）则，称为的数量部分，称为的向量部分。这就是四元数的数量-向量表示法。用四元数的数量-向量表示法的好处是把数量和向量可以分开研究，能够把向量的一些运算性质结合四元数的运算性质来研究问题，比如向量的点乘、叉乘可以和四元数的乘法（直乘）可以建立起联系。下面我们就来研究它们

8、之间的关系。设有两个四元数，根据5.1节定义的四元数乘法可以表示的乘积为： （21）根据四元数的乘法的定义容易验证 （22）等式（22）的左边将看做标量部分为0的四元数进行直乘，等式的右边将看作矢量进行点乘和叉乘。同理： （23） 所以有以下关系存在： （24） （25）（24）、（25）式的形式将在研究矢量转动中用到。正是由于可以将三维矢量看作标量部分为0的四元数，使得其既可以使用四元数的运算法则又可以利用矢量的运算法则，这就为四元数来描述三维矢量的转动提供了基础。5.3 四元数表征矢量的转动5.3.1 转轴与旋转矢量垂直如图4所示，设三维矢量旋转角后变成矢量，；设垂直于、所在平面的转轴方向

9、单位矢量为，转动方向与转轴方向遵循右手定则，因为： （26）图4 转轴与旋转矢量垂直所 以： （27）又因为： （28）由此可以看出形如的一个四元数表示了这样一个旋转：以为转轴，使垂直于转轴平面的一个矢量按右手螺旋方向转过角。定义角度为负值，则相当于转轴反向。5.3.2 转轴与旋转矢量不垂直5.3.1节给出了转轴与旋转矢量垂直时候的情形，只要将矢量看作一个四元数左乘上一个四元数即可表示一个旋转。但是更为一般的情况是转轴与旋转矢量不垂直的情况，如图5所示，其他条件与5.3.1节的条件一致。图5 转轴与旋转矢量不垂直要研究矢量的转动，可以将其分解为平行于转轴的分量和垂直于的分量，即： （29）根据

10、矢量分解和（24）、（25）式有： （30） （31）有了上面的分解，可以把矢量绕旋转角变成矢量，认为是的垂直于的分量绕旋转角，然后再与的平行于的分量合成为，则可利用5.3.1节的结论有： （32）可见需要对旋转矢量同时左乘和右乘一个四元数，设， 则有： （33）结合（32）、（33）式比较系数得： （34）解此方程得到一组解为： （35）记： ，则： （36）表示矢量绕转轴旋转角得到矢量，其中用四元数表示以为转轴旋转角的操作，我们把称为旋转算子。相继两次的旋转合成就是这两个旋转相乘。至此，我们得到了一般情况下利用四元数的运算法则进行矢量旋转的描述，利用四元数的运算就可以很容易得到坐标旋转映射

11、的矩阵。5.4 四元数法进行坐标系旋转变换5.4.1 坐标轴固定矢量旋转在坐标系中，设矢量在空间绕原点旋转至。由欧拉定理可知：矢量在空间绕定点旋转至，效果等价于绕一个瞬时轴转过欧拉角，角速度的方向与瞬时欧拉角的方向一致。设： ，则一定有关系式存在，利用四元数的乘法法则，可以得到： （37）写成矩阵形式即是：（38）可见对于三维空间中每一次转动的坐标映射，就相当于对坐标进行一次左乘转换矩阵的操作，其中转换矩阵的各个元素由表征转动的四元数给出。一般都要把表征旋转映射的四元数单位化，即是，所以转换矩阵一般写为： （39）5.4.2 坐标轴旋转矢量固定设有两个共原点的直角坐标系，具有单位矢量的直角坐标系和具有单位矢量的直角坐标系，在坐标系中固连一个矢量，现在将坐标系连同矢量一起转动到坐标系，转动角度，转动瞬时轴为，得到矢量，则矢量在坐标系的表达式为： （40）假设矢量在坐标系的坐标为：即是： （41）则有关系式： = （42）结合（38）式，将（42）式写成矩阵的形式： （43）（43）式即是坐标变换公式。如果对坐标系连续进行转换，例如在坐标系中有一固定矢量随之一起转动，先绕轴转角度，到达坐标系，再绕轴转过角度，到达坐标系，再绕轴转过角度，最终到达坐标系，则依次得到