[論文レビュー] Analytic Functions of a Quaternionic Variable

Charles Schwartz|ArXiv.org|Mar 26, 2008

Algebraic and Geometric Analysis参考文献 3被引用数 3

ひとこと要約

本稿では、非局所微分作用素を通じてテイラー展開を再解釈することにより、クaternion変数の解析関数に対する微分積分学を構築する。その結果、導関数 $ F'(x) $ と非局所項 $ [F(x) - F(x^*)]/(x - x^*) $ を含む、簡潔な1次近似展開が得られる。主な貢献は、非可換性を幾何的分解とリー代数的構造を用いて扱う一般化されたテイラー型公式の導出であり、これは自然に SU(2) リー代数へと拡張可能である。

ABSTRACT

Here we follow the basic analysis that is common for real and complex variables and find how it can be applied to a quaternionic variable. Non-commutativity of the quaternion algebra poses obstacles for the usual manipulations; but we show how many of those obstacles can be overcome. After a tiny bit of linear algebra we look at the beginnings of differential calculus. The surprising result is that the first order term in the expansion of F(x+delta) is a compact formula involving both F'(x) and [F(x) - F(x*)]/(x-x*).

研究の動機と目的

• 非可換性の存在にもかかわらず、クォータニオン変数の解析関数に対する一貫性のある微分積分学を確立すること。
• 標準的な実数／複素数微分積分学をクォータニオンへと拡張する際の障害を、微分 $ dF $ に注目することで克服すること。
• 局所的および非局所的項を含む、簡潔で一般的な1次近似展開式を導出すること。
• リー代数的手法を用いて、特に SU(2) を含む非可換代数へとこの枠組みを拡張すること。
• 物理学および非可換解析への応用を想定した、クォータニオン関数論の幾何的・代数的基盤を提供すること。

提案手法

• 指数関数 $ e^x $ を出発点とし、時系列積分を用いて展開を導出する：$ e^{x+ u} = e^x + \int_0^1 ds \; e^{(1-s)x} \nu e^{sx} + O(\nu^2) $。
• 一般関数 $ F(x) $ をラプラス変換で表現する：$ F(x) = \int dp \; f(p) \; e^{px} $、これにより体系的な展開が可能になる。
• 1次近似展開を導出する：$ F(x+\delta) = F(x) + F'(x)\delta + \frac{1}{4r}(-F(x)+F(x^*)) [u_x,\delta] + \frac{1}{4}F'(x)[u_x,[u_x,\delta]] + O(\delta^2) $。
• 単位虚数的 $ u_x $ に対する成分に沿った幾何的分解を導入し、$ \delta_1 = \frac{1}{2}(\delta - u_x\delta u_x) $ および $ \delta_2 = \frac{1}{2}(\delta + u_x\delta u_x) $ を用いる。
• 局所座標系 $ x = x_0 I + r J_3 $ に変換することで、SU(2) リー代数に適用し、$ \delta $ を $ \delta_\parallel $ と $ \delta_\perp $ に分離可能とする。
• 回転および随伴作用の公式を用いて、非可換項を $ e^{\theta J_3} J_i e^{-\theta J_3} $ の形に表現し、$ F(x+ir) $、$ F(x-ir) $、および $ [J_3, \delta_\perp] $ を含む閉形式の表現を得る。

実験結果

リサーチクエスチョン

• RQ1 非可換性の存在にもかかわらず、クォータニオン変数の解析関数に対する一貫性のある微分積分学をどのように定義できるか？
• RQ2 クォータニオン的文脈において、標準的な1次テイラー展開 $ F(x+\delta) = F(x) + F'(x)\delta + \cdots $ の正しい一般化は何か？
• RQ3 標準的導関数 $ dF/dx $ がクォータニオンの場合に失敗する理由は何か？ そして、簡潔で実用的な展開を得るための代替的定式化は何か？
• RQ4 クォータニオンに用いられた手法を、SU(2) リー代数のような他の非可換代数へ一般化できるか？
• RQ5 幾何的・代数的構造（例えば、共役、回転、根）は、微分展開の形にどのように影響を与えるか？

主な発見

• 1次近似展開 $ F(x+\delta) $ は、局所的導関数 $ F'(x) $ と非局所項 $ \frac{1}{4r}(-F(x)+F(x^*))[u_x,\delta] $ を含む簡潔な式で与えられ、非可換性を適切に扱う。
• この展開は $ \delta_1 $ と $ \delta_2 $ を用いて再定式化可能であり、$ \delta_1 $ と $ \delta_2 $ は $ u_x $ に関する可換部分空間および反可換部分空間への $ \delta $ の射影である。その結果、$ F(x+\delta) = F(x) + F'(x)\delta_1 + \frac{F(x)-F(x^*)}{x-x^*}\delta_2 + O(\delta^2) $ が得られる。
• 指数関数 $ e^x $ に対しては、$ r $ と三角関数を用いた明示的な係数 $ a, b, c $ が得られる：$ a = \frac{1}{2}(1 + \frac{\sin 2r}{2r}) $、$ b = \frac{1}{2}\frac{\cos 2r - 1}{2r} $、$ c = \frac{1}{2}(-1 + \frac{\sin 2r}{2r}) $。
• 対数関数についても同様の展開が成り立つ：$ \ln(y+\Delta) = \ln y + A y^{-1}\Delta + B[u_x, y^{-1}\Delta] + C u_x y^{-1}\Delta u_x + O(\Delta^2) $、ここで $ A = \frac{1}{2}(r \cot r + 1) $、$ B = \frac{r}{2} $、$ C = \frac{1}{2}(r \cot r - 1) $ であり、一般式と整合的であることが確認される。
• SU(2) リー代数においては、展開が $ F(x+\delta) = F(x) + F'(x)\delta_\parallel + \{F(x+ir)-F(x-ir)\}\frac{1}{2ir}\delta_\perp + \{F(x+ir)+F(x-ir)-2F(x)\}\frac{1}{2r}[J_3,\delta_\perp] + O(\delta^2) $ に一般化され、本手法の広範な適用可能性が示される。
• 座標変換を明示的に行わず、代わりに $ \delta_{\parallel} = \delta - \frac{1}{r^2}[x,[x,\delta]] $ および $ [J_3,\delta_\perp] = \frac{1}{r}[x,\delta] $ を用いて $ \delta_\parallel $ と $ \delta_\perp $ を代数的に表現することで、座標の選択に依存しない内在的な定式化が可能となる。