[论文解读] Commutative complex numbers in four dimensions

Silviu Olariu|ArXiv.org|Aug 16, 2000

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

一句话总结

本文引入了四种不同的四维可交换超复数系统——圆型、双曲型、平面型和极坐标四复数——每种系统均由基元素 α、β 和 γ 的独特乘法规则定义。文章建立了指数形式与三角形式，证明了路径无关的积分与解析性条件，并发展了闭合路径积分的留数理论，从而为四维可交换代数构建了复分析框架。

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.

研究动机与目标

• 为具有结合与可交换乘法的四维可交换超复数建立一致的框架。
• 将复分析概念（如解析函数、围线积分与留数）扩展至四维可交换代数。
• 根据其代数乘法规则对四种不同的四复数系统进行分类与表征：圆型、双曲型、平面型与极坐标型。
• 为每种类型建立指数与三角形式，以实现几何与解析解释。
• 证明解析四复数函数的积分为路径无关，并为依赖循环变量的系统定义极点与留数。

提出的方法

• 将四复数定义为 u = x + αy + βz + γt，其中 x, y, z, t ∈ ℝ，且 α, β, γ 满足特定的可交换、结合乘法规则。
• 利用振幅、平面角与方位角（如 ρ, ψ, φ, χ）推导每种四复数类型的指数与三角形式。
• 引入四维余指数函数 f₄₀, f₄₁, f₄₂, f₄₃，以在平面型与极坐标型情况下表达指数展开。
• 通过唯一极限 lim_{u→u₀} [f(u)−f(u₀)]/(u−u₀) 的存在性来定义解析性，且该极限与逼近方向无关。
• 通过证明积分仅依赖于端点而非路径，定义路径无关的积分 ∫_A^B f(u) du。
• 利用不可约矩阵表示（例如通过变换 T）将极坐标四复数表示为实矩阵形式，以进行代数分析。

实验结果

研究问题

• RQ1 四维可交换、结合的超复代数是否能够支持完整的复分析框架，包括解析函数与围线积分？
• RQ2 基元素 α, β, γ 的不同乘法规则（例如 α² = −1, β² = −1, γ² = 1）如何导致具有独特几何与解析性质的四复数系统？
• RQ3 极点、留数与多项式因式分解的概念在多大程度上可推广至四复代数，特别是那些在指数形式中包含循环变量的系统？
• RQ4 四复数函数的积分在何种条件下为路径无关？这与其实部分量之间的偏导数关系有何关联？
• RQ5 四复数变量的多项式能否因式分解为一次或二次项的乘积？这种因式分解在四种四复数系统中如何变化？

主要发现

• 对于圆型四复数，指数形式包含振幅 ρ、平面角 ψ 以及两个方位角 φ 与 χ，其中 ρ⁴ = [(x+t)² + (y+z)²][(x−t)² + (y−z)²]，且角度在乘法下具有可加性。
• 对于解析四复数函数，积分 ∫_A^B f(u) du 为路径无关，因为实部分量 P, Q, R, S 之间的柯西-黎曼型关系确保了闭合形式的可积性。
• 对于具有循环变量（φ, χ 或 φ）的圆型、平面型与极坐标型四复数，留数定理成立：∮_Γ f(u)du/(u−u₀) = π[(α+β)int(u₀ξυ,Γξυ) + (α−β)int(u₀τζ,Γτζ)]f(u₀)，其中 int 取值 0 或 1。
• 圆型与平面型四复数变量的多项式可因式分解为一次因式的乘积，而双曲型与极坐标型四复数变量的多项式则可因式分解为一次或二次因式。
• 极坐标四复数系统可通过 TUT⁻¹ 获得不可约矩阵表示，其中 T 为酉矩阵，变换后的矩阵揭示出具有 2×2 实矩阵 V₁ 编码非标量部分的分块对角结构。
• 在双曲型情况下，指数形式为 u = μ exp(αy₁ + βz₁ + γt₁)，其中振幅 μ = (ss's''s''')^{1/4}，且加法性参数 y₁, z₁, t₁ 由 x, y, z, t 的对称组合的对数比值导出。