【数学】四元数

【数学】四元数

https://github.com/Krasjet/quaternion

定义

四元数本质是一种具有三个虚数的高阶复数，四元数集英文表示为 \(H\)，对于任意四元数 \(q \in H\)，可表示为如下形式：

\[q = a+bi+cj+dk \]

其中 \(a,b,c,d \in R\) 且 \(i^2=j^2=k^2=ijk=-1\)。

此外四元数还有几种特别的表示形式，这些主要是用于从不同的角度解释四元数，并因此简化四元数的运算。

向量形式

将四元数的实部和虚部分开表示，虚部用向量表示：

\[a+bi+cj+dk = \begin{bmatrix} s,\vec{v} \end{bmatrix}\cdot \]

• \(s\)：实部标量，等于 a。
• \(\vec{v}\)：虚部向量，三个分量分别表示 b、c、d。

特别的当 \(a=0\) 时，这种形式的四元数（即\([0,\vec{v}]\)）被称为纯四元数。

该形式主要是为了简化表示和计算的过程，本质上与其相关的运算推论都是可以从一般形式的四元数运算中推出来。

矩阵形式

四元数也可以像复数一样，用四元数乘法推导出矩阵形式，不过由于四元数乘法不满足交换律，故左乘 q 和右乘 q 的矩阵是不一样的：

左乘等价矩阵

\[a+bi+cj+dk = \begin{bmatrix} a&-b&-c&-d\\ b&a&-d&c\\ c&d&a&-b\\ d&-c&b&a \end{bmatrix} \]

右乘等价矩阵

\[a+bi+cj+dk = \begin{bmatrix} a&-b&-c&-d\\ b&a&d&-c\\ c&-d&a&b\\ d&c&-b&a \end{bmatrix} \]

几何意义

（以下论点可从后续的表示旋转章节中得到解释）

四元数本质是向量旋转公式，即代表一种变换，使一个向量绕 \(\vec{u}\) 轴旋转 \(\theta\) 度。从该意义可以将四元数看成如下组成：

\[[\cos(\theta/2),\sin(\theta/2)*\vec{u}]\cdot \]

运算

一般情况下等价于对应的复数运算，但要注意的是四元数的乘法不具备交换律。

为什么四元数不具备乘法交换律？

1. 利用 ijk 等式推导可以发现交换虚数顺序后，值不同。
2. 复数的几何意义是旋转，但复数是二维旋转，旋转方向始终一致，因此角度可以累加，但四元数的旋转方向可以不同，顺序不同后即使累计角度一致，最终的旋转结果还是不同的。

与向量运算

将向量转换为纯四元数和再运算即可。（若后续出现为未在头部添加箭头的向量，则表示是该向量对应的四元数）

Graßmann 积

四元数乘法结果的向量表示形式（写成一般式太长了，于是将一般式中的很多多项式用诸如向量点乘叉乘的运算代替表示后就可以得到如下公式）：

\[[a,\vec{v}]*[e,\vec{u}]=[ae-\vec{v}\cdot \vec{u},a\vec{u}+e\vec{v}+\vec{v}\times\vec{u}] \]

共轭

将四元数虚数部分符号全部取反，即：

\[[s,\vec{v}]^*=[s,-\vec{v}] \]

乘以共轭

\[qq^*=[s^2+\vec{v}*\vec{v},0]=|q|^2 \]

共轭运算满足交换律，即 \(q^*q=qq^*\)。

逆

\[q^{-1} = \frac{q^*}{|q|^2} \]

特别的，当 \(|q|=1\) 时（用四元数表示的旋转变换，其逆变换求解竟如此简单）：

\[q^{-1}=q^* \]

推导过程如下：

\( \begin{aligned} qq^{-1} &=1（逆运算的定义）\\ q^*qq^{-1} &= q^* \\ |q|^2q^{-1} &= q^* \\ q^{-1} &= \frac{q^*}{|q|^2} \end{aligned} \)

乘法特例

一些关于四元数乘法的特殊性质，这可用于推导四元数表示旋转公式。

平方与旋转的关系

若 \(p=[\cos(\theta),\sin(\theta)\vec{u}]\)，其中 \(\vec{u}\) 为单位向量，则：

\[pp=[cos(2\theta),\sin(2\theta)\vec{u}] \]

证明过程：

\( \begin{aligned} pp &= [cos^2(\theta)-\sin(\theta)\vec{u} \cdot \sin(\theta)\vec{u},2\cos(\theta)\sin(\theta)\vec{u}+\sin(\theta)\vec{u}\times\sin(\theta)\vec{u}]\\ &= [cos^2(\theta)-\sin^2(\theta)\vec{u}\cdot\vec{u},2\cos(\theta)\sin(\theta)\vec{u}] （向量平行，叉乘为 0）\\ &= [cos^2(\theta)-\sin^2(\theta),2\cos(\theta)\sin(\theta)\vec{u}]（自点乘等于模的平方，单位向量模为 1）\\ &= [cos(2\theta),\sin(2\theta)\vec{u}]（两角和差公式）\\ \end{aligned} \)

平行四元数的乘法交换律

若 \(q=[a,b\vec{u}]\)，且有 \(\vec{v}_{\parallel}\) 平行于 \(\vec{u}\)，则：

\[qv_{\parallel} = v_{\parallel}q \]

证明过程：

\( \begin{aligned} qu*{\parallel} &= u*{\parallel}q\\ [a,b\vec{u}][0,\vec{v}_{\parallel}] &= [0,\vec{v}\_{\parallel}][a,b\vec{u}]\\ [-b(\vec{u}\cdot\vec{v}_{\parallel}),a\vec{v}_{\parallel}+b(\vec{u}\times\vec{v}_{\parallel})] &= [-b(\vec{v}_{\parallel}\cdot\vec{u}),a\vec{v}_{\parallel}+b(\vec{v}_{\parallel}\times\vec{u})]\\ [-b(\vec{u}\cdot\vec{v}_{\parallel}),a\vec{v}_{\parallel}] &= [-b(\vec{v}_{\parallel}\cdot\vec{u}),a\vec{v}_{\parallel}]（平行的向量叉乘为 0）\\ [-b(\vec{u}\cdot\vec{v}_{\parallel}),a\vec{v}_{\parallel}] &= [-b(\vec{u}\cdot\vec{v}_{\parallel}),a\vec{v}_{\parallel}]（点乘满足交换律）\\ \end{aligned} \)

正交四元数的乘法等价变换

若 \(q=[a,b\vec{u}]\)，且有 \(\vec{v}_{\perp}\) 正交于 \(\vec{u}\)，则：

\[qv_{\perp}=v_{\perp}q^* \]

证明过程：

\( \begin{aligned} qv*{\perp} &= v*{\perp}q^*\\ [a,b\vec{u}][0,\vec{v}_{\perp}] &= [0,\vec{v}\_{\perp}][a,-b\vec{u}]\\ [-b(\vec{u}\cdot\vec{v}_{\perp}),a\vec{v}_{\perp}+b(\vec{u}\times\vec{v}_{\perp})] &= [b(\vec{u}\cdot\vec{v}_{\perp}),a\vec{v}_{\perp}-b(\vec{v}_{\perp}\times\vec{u})] \\ [0,a\vec{v}_{\perp}+b(\vec{u}\times\vec{v}_{\perp})] &= [0,a\vec{v}_{\perp}-b(\vec{v}_{\perp}\times\vec{u})] （正交的向量点乘为 0）\\ [0,a\vec{v}_{\perp}+b(\vec{u}\times\vec{v}_{\perp})] &= [0,a\vec{v}_{\perp}+b(\vec{u}\times\vec{v}_{\perp})] （叉乘满足反交换律）\\ \end{aligned} \)

表示旋转

根据四元数的集合意义，四元数可以看成一种旋转变换，就类似于矩阵一样，其推理过程如下：

表示正交向量旋转变换

• 表示：\(q = [\cos(\theta),\sin(\theta)\vec{n}]\)

  • \(\theta\)：旋转角度
  • \(\vec{n}\)：旋转轴

• 运用：\(\vec{v}_{\perp}'= q\vec{v}_{\perp}\)

推导过程：

由向量章节的旋转公式可知，旋转与法线正交的向量的公式如下：

\( \vec{v}_{\perp}'= \cos(\theta) \vec{v}_{\perp}+ \sin(\theta)(\vec{n}\times\vec{v}_{\perp}) \)

利用纯四元数，可以很轻松的将上述向量替换成四元数表示：

• \(v_{\perp}=[0,\vec{v}_{\perp}]\cdot\)
• \(n=[0,\vec{n}]\cdot\)

且因为 \(v_{\perp}\) 和 \(n\) 向量正交且都是纯四元数，故：

\(v_{\perp}n=[0,\vec{n}\times\vec{v}_{\perp}]\)

于是旋转正交向量的公式可以完美用四元数实现：

\( \begin{aligned} v_{\perp}' &= \cos(\theta) v_{\perp}+ \sin(\theta)nv_{\perp} \\ v_{\perp}' &= (\cos(\theta)+ \sin(\theta)n)v_{\perp} \\ v_{\perp}' &= qv_{\perp}\\ \end{aligned} \)

其中 \(q = \cos(\theta)+ \sin(\theta)n\)，该四元数表示的便是旋转变换。

表示任意向量旋转变换

• 表示：\(p=[\cos(\frac{\theta}{2}),\sin(\frac{\theta}{2})\vec{n}]\)

  • \(\theta\)：旋转角度
  • \(\vec{n}\)：旋转轴

• 运用：\(\vec{v}'= p\vec{v}p^*\)

推导过程：

由“向量章节的旋转公式”和“四元数的正交向量旋转”可知，旋转任意向量的公式如下：

\( \begin{aligned} v' &= v_{\parallel} + qv_{\perp}\\ &= pp^{-1}v_{\parallel} + ppv_{\perp}（设~pp=q）\\ &= pp^*v_{\parallel} + pv_{\perp}p^*（单位四元数的逆与共轭相等，正交四元数的等价变换）\\ &= p(v_{\parallel}p^* + v_{\perp}p^*)（平行四元数乘法满足交换律）\\ &= p(v_{\parallel} + v_{\perp})p^*\\ &= pvp^*\\ \end{aligned} \)

由于 \(q=[\cos(\theta),\sin(\theta)\vec{n}]\)，\(pp=q\)，故 \(p=[\cos(\theta/2),\sin(\theta/2)\vec{n}]\)

转换为旋转矩阵

有了对任意向量旋转的四元数表示后，通过将四元数替换为矩阵（注意左乘右乘的区别），再将矩阵相乘化简，就可以得到四元数旋转的矩阵形式：

若有四元数旋转变换 \(q = a+bi+cj+dk\)，则该旋转变换的矩阵形式如下：

\[v'=\begin{bmatrix} 1-2c^2-2d^2 & 2bc-2ad & 2ac+2bd\\ 2bc+2ad & 1-2b^2-2d^2 & 2cd-2ad\\ 2bd-2ac & 2ab+2cd & 1-2b^2-2c^2\\ \end{bmatrix}v \]