[論文レビュー] Commutative complex numbers in four dimensions

Silviu Olariu|ArXiv.org|Aug 16, 2000

Advanced Algebra and Geometry参考文献 7被引用数 5

ひとこと要約

本稿は、4次元における4つの異なる可換超複素数体系—円型、双曲型、平面型、極座標型4複素数—を導入する。各体系は、基底要素 α, β, γ に対する固有の乗法規則で定義される。指数関数的・三角関数的表現を確立し、経路に依存しない積分と正則性条件を証明するとともに、閉曲線積分のための留数論を構築し、4次元可換代数における複素解析の枠組みを提供する。

ABSTRACT

Commutative complex numbers of the form u=x+αy+βz+γt in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases α, βand γare investigated, which correspond to hypercomplex entities called in this paper circular fourcomplex numbers, hyperbolic fourcomplex numbers, planar fourcomplex numbers, and polar fourcompex numbers. Exponential and trigonometric forms for the fourcomplex numbers are given in all these cases. Expressions are given for the elementary functions of the fourcomplex variables mentioned above. Relations of equality exist between the partial derivatives of the real components of the functions of fourcomplex variables. The integral of a fourcomplex function between two points is independent of the path connecting the points. The concepts of poles and residues can be introduced for the circular, planar, and polar fourcomplex numbers, for which the exponential forms depend on cyclic variables. A hypercomplex polynomial can be written as a product of linear factors for circular and planar fourcomplex numbers, and as a product of linear or quadratic factors for the hyperbolic and polar fourcomplex numbers.

研究の動機と目的

• 4次元における結合的かつ可換な乗法を有する可換超複素数の整合的枠組みを構築すること。
• 正則関数、閉曲線積分、留数といった複素解析の概念を、4次元可換代数へと拡張すること。
• 円型、双曲型、平面型、極座標型の4つの異なる4複素数体系を、それらの代数的乗法規則に基づいて分類・特徴づけること。
• 各体系に対して指数関数的および三角関数的表現を確立し、幾何的・解析的解釈を可能にすること。
• 正則4複素関数の積分が経路に依存しないことを証明し、循環変数に依存する系における極と留数を定義すること。

提案手法

• u = x + αy + βz + γt と定義し、x, y, z, t ∈ ℝ であり、α, β, γ が特定の可換的・結合的乗法規則を満たすものとする。
• 振幅、平面角、方位角（例：ρ, ψ, φ, χ）を用いて、各4複素数体系の指数関数的および三角関数的表現を導出する。
• 平面型および極座標型の場合の指数展開を表現するため、4次元の双曲余弦関数 f₄₀, f₄₁, f₄₂, f₄₃ を導入する。
• u → u₀ の極限において、[f(u)−f(u₀)]/(u−u₀) の極限が、接近方向に依存しない唯一の値を持つことにより、正則性を定義する。
• 積分が端点のみに依存するため、経路に依存しない積分 ∫_A^B f(u) du を定義する。
• T を用いた非可約行列表現（例：変換 T）を用いて、極座標型4複素数を実行列形式で表現し、代数的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 4次元における可換的かつ結合的な超複素数代数が、正則関数や閉曲線積分を含む完全な複素解析枠組みを支持できるか。
• RQ2 基底要素 α, β, γ に対する異なる乗法規則（例：α² = −1, β² = −1, γ² = 1）が、幾何的・解析的性質に特徴的な4複素数体系をどのように導くか。
• RQ3 極、留数、多項式の因数分解といった概念が、指数関数的表現に循環変数を含む4複素代数へとどの程度一般化可能か。
• RQ4 4複素関数の積分が経路に依存しない条件は何か。また、その条件は実部成分間の偏微分関係とどのように関連するか。
• RQ5 4複素変数における多項式は、線形または二次因子に因数分解可能か。また、その因数分解は4つの4複素数体系の間でどのように異なるか。

主な発見

• 円型4複素数では、指数関数的表現が振幅 ρ、平面角 ψ、および2つの方位角 φ と χ を含み、ρ⁴ = [(x+t)² + (y+z)²][(x−t)² + (y−z)²] であり、乗法において角度が加法的となる。
• 正則4複素関数に対しては、∫_A^B f(u) du は経路に依存しない。これは、実部成分 P, Q, R, S 間のコーシー・リーマン型関係が閉形式の可積分性を保証するためである。
• 円型、平面型、極座標型4複素数では、循環変数（φ, χ, または φ）を有するため、留数定理が適用可能である：∮_Γ f(u)du/(u−u₀) = π[(α+β)int(u₀ξυ,Γξυ) + (α−β)int(u₀τζ,Γτζ)]f(u₀) であり、int は 0 または 1 をとる。
• 円型および平面型4複素変数における多項式は、線形因子の積に因数分解可能であるが、双曲型および極座標型4複素変数における多項式は、線形または二次因子に因数分解可能である。
• 極座標型4複素数体系では、TUT⁻¹ を用いた非可約行列表現が可能であり、T はユニタリ行列である。変換された行列は、非スカラー部を符号化する2×2実行列 V₁ を持つブロック対角構造を示す。
• 双曲型の場合、指数関数的表現は u = μ exp(αy₁ + βz₁ + γt₁) であり、振幅 μ = (ss's''s''')^{1/4} で、対称な x, y, z, t の組み合わせの対数比から導かれる加法的引数 y₁, z₁, t₁ を有する。