大学数学基礎解説

文献あり

四元数のオイラーの公式

四元数

335

四元数のオイラーの公式

複素数についてのオイラーの公式はよく知られています。

$e^{i x} = \cos x + i \sin x$

この公式の四元数版を考えます。四元数とは、虚数単位を3つ含む数 $w + i x + j y + k z$ です。

指数関数

まず、オイラーの公式の左辺に出てくる指数関数について見ておきます。

実数の指数関数から始めます。定義のしかたはいろいろありますが、ひとつには、数の自然数乗から始める次の方法があります。

実数の指数関数

実数 $a > 0$ を固定します。

正の整数 $n$ に対して、 $a^{n} := a \cdot a \dots a$ （右辺は $n$ 個の積）と定義する。
$a^{0} := 1$ と定義する。
正の整数 $n$ に対して、 $a^{- n} := \frac{1}{a^{n}}$ と定義する。
有理数 $x = \frac{m}{n}$ （ここで $m$ は整数、 $n$ は正の整数）に対して、 $a^{x} := \sqrt[n]{a^{m}}$ と定義する。
実数 $x$ に対して、 $x$ に収束する有理数列 ${x_{k}}$ を選び、 $a^{x} := lim_{k \to \infty} a^{x_{k}}$ と定義する。

このとき、 $R$ から $R$ への関数 $x \mapsto a^{x}$ を、 $a$ を底とする指数関数、と定義します。

なお、実数の場合の定義は有理数列をひとつ選んでいますが、実際には有理数列の取り方によらず同じ値へ収束するため、この定義はwell-definedです。

特に、ネイピア数 $e$ を底とする指数関数を $\exp$ と書きます。つまり、 $\exp x := e^{x}$ です。これ以降は、指数関数といえばこの $\exp$ のことを指します。

指数関数は次のように冪級数展開できます。

指数関数の冪級数展開

$\exp x = 1 + x + \frac{1}{2!} x^{2} + \frac{1}{3!} x^{3} + \dots + \frac{1}{k!} x^{k} + \dots$

これを使って、指数関数を複素数に拡張します。

複素数の指数関数

指数関数 $\exp : C \to C$ を次で定義します。

$\exp z = 1 + z + \frac{1}{2!} z^{2} + \frac{1}{3!} z^{3} + \dots + \frac{1}{k!} z^{k} + \dots$

オイラーの公式

指数関数 $\exp z$ の $z$ が特に純虚数 $i x$ の場合を考えます。

$\begin{aligned} \exp i x & = 1 + i x + \frac{1}{2!} (i x)^{2} + \frac{1}{3!} (i x)^{3} + \frac{1}{4!} (i x)^{4} + \frac{1}{5!} (i x)^{5} + \frac{1}{6!} (i x)^{6} + \dots \\ = 1 + i x - \frac{1}{2!} x^{2} - \frac{1}{3!} i x^{3} + \frac{1}{4!} x^{4} + \frac{1}{5!} i x^{5} - \frac{1}{6!} x^{6} + \dots \\ = (1 - \frac{1}{2!} x^{2} + \frac{1}{4!} x^{4} - \frac{1}{6!} x^{6} + \dots) + i (x - \frac{1}{3!} x^{3} + \frac{1}{5!} x^{5} + \dots) \\ = \cos x + i \sin x \end{aligned}$

となります。途中で和の順序を変更できるのは、この無限級数が絶対収束することによります。こうして、複素数のオイラーの公式が導かれました。

複素数のオイラーの公式

$\exp i x = \cos x + i \sin x$

四元数の定義

次に、四元数の定義を確認しておきます。

四元数

次の形であらわされる数を四元数と呼びます。ここで $w$ 、 $x$ 、 $y$ 、 $z$ は実数です。

$w + i x + j y + k z$

$i$ 、 $j$ 、 $k$ は虚数単位と呼ばれ、次のルールに従います。

$\begin{matrix} i^{2} = - 1 / j^{2} = - 1 / k^{2} = - 1 \\ i j = k / j k = i / k i = j / j i = - k / k j = - i / i k = - j \end{matrix}$

加法や乗法は、多項式の演算と同様に定義されます。四元数では、その定義から乗法の交換法則は成り立ちませんが、加減乗除が行えます。つまり、四元数の集合は加法と乗法で斜体となります。

実数体を $R$ 、複素数体を $C$ で書くのと同様に、四元数体は $H$ と書きます。なお、Hという文字を使うのは四元数を考案したハミルトンに由来しています。四元数は英語でquaternionですが、Qは有理数体で使われているので被りますね。

四元数のノルム

四元数 $q = w + i x + j y + k z$ に対して、ノルム $| q |$ を次で定義します。

$| q | := \sqrt{w^{2} + x^{2} + y^{2} + z^{2}}$

四元数の指数関数

指数関数を複素数に拡張したときと同様の方法で、指数関数を四元数に拡張します。

四元数の指数関数

指数関数 $\exp : H \to H$ を次で定義します。

$\exp q = 1 + q + \frac{1}{2!} q^{2} + \frac{1}{3!} q^{3} + \dots + \frac{1}{k!} q^{k} + \dots$

四元数のオイラーの公式へ向けての考察

指数関数 $\exp q$ の $q$ が特に純虚四元数 $i x + j y + k z$ の場合を考えると、オイラーの公式の四元数版が出てきます。複素数の場合に比べると複雑になるので、少しずつ考察していきましょう。

$q := i x$ の場合

まずは、複素数のときと同じ形 $q := i x$ の場合。これは $q$ を何乗しても虚数単位 $j$ 、 $k$ が出てこないので、複素数と場合と同じになります。

$q := i + j$ の場合

次に、虚数単位をひとつ増やして $q := i + j$ の場合。 $q^{2}$ 、 $q^{3}$ 、などを計算します。

$\begin{aligned} (i + j)^{2} & = (i + j) (i + j) \\ = i^{2} + i j + j i + j^{2} \\ = - 1 + k - k - 1 \\ = - 2 \\ (i + j)^{3} & = - 2 (i + j) \\ (i + j)^{4} & = 4 \\ (i + j)^{5} & = 4 (i + j) \\ (i + j)^{6} & = - 8 \end{aligned}$

これを使うと、 $\exp (i + j)$ は次のようになります。

$\begin{aligned} \exp (i + j) & = 1 + (i + j) + \frac{1}{2!} (i + j)^{2} + \frac{1}{3!} (i + j)^{3} + \frac{1}{4!} (i + j)^{4} \\ + \frac{1}{5!} (i + j)^{5} + \frac{1}{6!} (i + j)^{6} + \dots \\ = 1 + (i + j) - \frac{1}{2!} 2 - \frac{1}{3!} 2 (i + j) + \frac{1}{4!} 4 + \frac{1}{5!} 4 (i + j) - \frac{1}{6!} 8 + \dots \\ = (1 - \frac{1}{2!} 2 + \frac{1}{4!} 4 - \frac{1}{6!} 8 + \dots) + (i + j) (1 - \frac{1}{3!} 2 + \frac{1}{5!} 4 + \dots) \\ = (1 - \frac{1}{2!} (\sqrt{2})^{2} + \frac{1}{4!} (\sqrt{2})^{4} - \frac{1}{6!} (\sqrt{2})^{6} + \dots) \\ + \frac{i + j}{\sqrt{2}} (\sqrt{2} - \frac{1}{3!} (\sqrt{2})^{3} + \frac{1}{5!} (\sqrt{2})^{5} + \dots) \\ = \cos \sqrt{2} + \frac{i + j}{\sqrt{2}} \sin \sqrt{2} \end{aligned}$

うまく変形してやれば、複素数のオイラーの公式と似たような形に持ち込める様子が見えてきます。

$q$ の $k$ 乗のかたち

$q$ の $k$ 乗が循環する様子も見えてきているので、確認します。純虚四元数 $q := i x + j y + k z$ について、まず $q^{2}$ を計算します。

$\begin{aligned} q^{2} & = (i x + j y + k z) (i x + j y + k z) \\ = i^{2} x^{2} + i j x y + i k x z \\ + j i x y + j^{2} y^{2} + j k y z \\ + k i x z + k j y z + k^{2} z^{2} \\ = - x^{2} + k x y - j x z \\ - k x y - y^{2} + i y z \\ + j x z - i y z - z^{2} \\ = - (x^{2} + y^{2} + z^{2}) \\ = - | q |^{2} \end{aligned}$

したがって、次が得られます。

$\begin{aligned} q^{2} & = - | q |^{2} \\ q^{3} & = - | q |^{2} q \\ q^{4} & = | q |^{4} \\ q^{5} & = | q |^{4} q \\ q^{6} & = - | q |^{6} \end{aligned}$

四元数のオイラーの公式

純虚四元数 $q := i x + j y + k z$ について、 $\exp q$ は次のようになります。

$\begin{aligned} \exp q & = 1 + q + \frac{1}{2!} q^{2} + \frac{1}{3!} q^{3} + \frac{1}{4!} q^{4} + \frac{1}{5!} q^{5} + \frac{1}{6!} q^{6} + \dots \\ = 1 + q - \frac{1}{2!} | q |^{2} - \frac{1}{3!} | q |^{2} q + \frac{1}{4!} | q |^{4} + \frac{1}{5!} | q |^{4} q - \frac{1}{6!} | q |^{6} + \dots \\ = (1 - \frac{1}{2!} | q |^{2} + \frac{1}{4!} | q |^{4} - \frac{1}{6!} | q |^{6} + \dots) + q (1 - \frac{1}{3!} | q |^{2} + \frac{1}{5!} | q |^{4} + \dots) \\ = \cos | q | + \frac{q}{| q |} \sin | q | \end{aligned}$

四元数のオイラーの公式

純虚四元数 $q := i x + j y + k z$ について、次が成り立ちます。

$\exp q = \cos | q | + \frac{q}{| q |} \sin | q |$

$q$ を使わずに書くと次のようになります。

$\exp (i x + j y + k z) = \cos \sqrt{x^{2} + y^{2} + z^{2}} + \frac{i x + j y + k z}{\sqrt{x^{2} + y^{2} + z^{2}}} \sin \sqrt{x^{2} + y^{2} + z^{2}}$

最後の式で、 $y = z = 0$ とすれば、複素数のオイラーの公式になることがわかります。

補足：指数法則は成り立たない

複素数の指数関数は冪級数で定義しても、指数法則 $\exp (a + b) = (\exp a) (\exp b)$ が満たされます。しかし、四元数の指数関数の定義では、指数法則が満たされません。

成り立たない例を挙げます。

$\begin{aligned} \exp i x & = \cos x + i \sin x \\ \exp j x & = \cos x + j \sin x \\ \exp (i x + j x) & = \cos \sqrt{2} x + \frac{i + j}{\sqrt{2}} \sin \sqrt{2} x \\ (\exp i x) (\exp j x) & = (\cos x)^{2} + i (\cos x) (\sin x) + j (\cos x) (\sin x) + k (\sin x)^{2} \end{aligned}$

したがって、 $\exp (i x + j x) \neq (\exp i x) (\exp j x)$ です。

参考文献

[1]

松岡学, 数の世界自然数から実数、複素数、そして四元数へ, ブルーバックス, 講談社, 2020

[2]

今野紀雄, 四元数, 森北出版, 2016

投稿日：2024年12月14日

更新日：2024年12月14日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

usami

3354

他の人のコメント

コメントはありません。

読み込み中

usami

四元数のオイラーの公式

四元数のオイラーの公式
指数関数
オイラーの公式
四元数の定義
四元数の指数関数
四元数のオイラーの公式へ向けての考察
四元数のオイラーの公式
補足：指数法則は成り立たない
参考文献

四元数のオイラーの公式

四元数のオイラーの公式

指数関数

オイラーの公式

四元数の定義

四元数の指数関数

四元数のオイラーの公式へ向けての考察

q:=ix の場合

q:=i+j の場合

q の k 乗のかたち

四元数のオイラーの公式

補足：指数法則は成り立たない

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$q := i x$ の場合

$q := i + j$ の場合

$q$ の $k$ 乗のかたち