[論文レビュー] Complex numbers in three dimensions

Silviu Olariu|ArXiv.org|Aug 16, 2000

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

ひとこと要約

本稿は、三元数 $ w = x + hy + kz $ の形で定義される3次元の可換超複素代数を導入する。乗法則は $ h^2 = k $、$ k^2 = h $、$ hk = 1 $ である。三元数関数における指数関数的・三角関数的表現、正則性、経路に依存しない積分、留数論を確立し、幾何学的・代数的整合性を保ったまま、複素解析を3次元に一般化する。

ABSTRACT

A system of commutative hypercomplex numbers of the form w=x+hy+kz are introduced in 3 dimensions, the variables x, y and z being real numbers. The multiplication rules for the complex units h, k are h^2=k, k^2=h, hk=1. The operations of addition and multiplication of the tricomplex numbers introduced in this paper have a simple geometric interpretation based on the modulus d, amplitude ρ, polar angle θand azimuthal angle ϕ. Exponential and trigonometric forms are obtained for the tricomplex numbers, depending on the variables d, ρ, θand ϕ. The tricomplex functions defined by series of powers are analytic, and the partial derivatives of the components of the tricomplex functions are closely related. The integrals of tricomplex functions are independent of path in regions where the functions are regular. The fact that the exponential form of the tricomplex numbers contains the cyclic variable ϕleads to the concepts of pole and residue for integrals of tricomplex functions on closed paths. The polynomials of tricomplex variables can be written as products of linear or quadratic factors.

研究の動機と目的

• 3次元における可換超複素数体系を構築し、複素解析に類似した正則関数論を展開すること。
• クォータニオンやその他の非可換超複素系の制限を克服し、幾何学的・代数的豊かさを備えた可換かつ結合的代数を構築すること。
• 振幅 $ \rho $、極座標角 $ \theta $、方位角 $ \phi $ を用いて、三元数の指数関数的・三角関数的・べき級数的表現を定義すること。
• 三元数関数の正則性理論を確立し、経路に依存しない積分と、$ \phi $ の循環的性質に基づく留数計算を可能にする。
• 三元数多項式が一次または二次の因数に分解可能であるが、成分の順序に依存するため、因数分解は一意でないことを示すこと。

提案手法

• 三元数を $ u = x + hy + kz $ として定義し、$ x, y, z \in \mathbb{R} $ とし、乗法則 $ h^2 = k $、$ k^2 = h $、$ hk = 1 $ を満たすことで、可換性と結合性を保証する。
• 幾何的不変量として、振幅 $ \rho = (x^3 + y^3 + z^3 - 3xyz)^{1/3} $、$ \tan\theta = D/s $ を用いた極座標角 $ \theta $、平面 $ x + y + z = 0 $ 上の方位角 $ \phi $ を導入する。
• cosexponential関数 $ \text{cx}(\xi), \text{mx}(\xi), \text{px}(\xi) $ を用いて指数関数的・三角関数的表現を構築し、$ \text{cx}^3 + \text{px}^3 + \text{mx}^3 - 3\text{cx}\,\text{px}\,\text{mx} = 1 $ を満たすようにする。
• べき級数による正則三元数関数の定義を行い、その成分が微分関係を満たし、導関数が経路に依存しないことを示す。
• 閉曲線積分を確立し、ループが三等分線を貫く場合に $ \oint_\Gamma f(u)\,du/(u - u_0) = 2\pi(h - k)f(u_0) $ が成り立つことを示し、留数論の構築を可能にする。
• 行列表現 $ TUT^{-1} $ を用いて、実3×3行列形式を導出し、可約性の確認と実係数構造の保証を行う。

実験結果

リサーチクエスチョン

• RQ1 可換かつ結合的な3次元超複素代数は、複素解析に類似した正則関数論を支えることができるか？
• RQ2 振幅 $ \rho $、極座標角 $ \theta $、方位角 $ \phi $ を用いて、三元数の指数関数的・三角関数的表現をどのように定義できるか？
• RQ3 正則領域において、三元数関数の積分は経路に依存しないか？また、留数論をどのように定式化できるか？
• RQ4 三元数変数のべき級数は収束性および正則性の観点でどのように振る舞うか？
• RQ5 三元数多項式は、実数係数または複素共役係数をもつ一次または二次因数に分解可能か？

主な発見

• 振幅 $ \rho $ と $ \tan\theta/\sqrt{2} $ は乗法的であり、$ \phi $ は加法的である。これは2次元複素数の性質と類似している。
• 指数関数的表現は $ u = \rho \exp\left[ \frac{1}{3}(h + k)\ln(\sqrt{2}/\tan\theta) + \frac{1}{3}(h - k)\phi \right] $ であり、$ \phi $ が循環的であるため、留数論が可能になる。
• 三角関数的表現は $ u = d\sqrt{3/2} \left[ \frac{1}{3}(2 - h - k)\sin\theta + \frac{1}{3}(1 + h + k)\sqrt{2}\cos\theta \right] \exp\left( \frac{(h - k)\phi}{\sqrt{3}} \right) $ であり、幾何的洞察を提供する。
• 三元数変数のべき級数は、三等分線 $ x = y = z $ を中心とする円柱領域で収束し、円板収束の一般化である。
• 正則三元数関数に対して、積分 $ \int_A^B f(u)\,du $ は経路に依存しない。これは複素解析と類似している。
• 留数論が成立する：ループが $ u_0 $ を通る三等分線を囲むとき、$ \oint_\Gamma f(u)\,du/(u - u_0) = 2\pi(h - k)f(u_0) $ が成り立つ。
• 多項式は一次または二次因数の積に分解可能であるが、横方向および縦方向成分における根の順序に依存するため、因数分解は一意でない。