[论文解读] Bicomplex algebra and function theory

Stefan Rönn|ArXiv.org|Jan 24, 2001

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

一句话总结

本文通过复数对表示法，发展了双复数上全纯函数的完整理论，将复分析推广至四维实空间。它建立了双复数的柯西-黎曼方程，证明了所有阶导数的存在性，并推导出柯西定理和积分公式的双复版本，将其与四维拉普拉斯方程的因式分解联系起来，揭示了新的可微函数类，包括弗策尔正则函数。

ABSTRACT

This treatise investigates holomorphic functions defined on the space of bicomplex numbers introduced by Segre. The theory of these functions is associated with Fueter's theory of regular, quaternionic functions. The algebras of quaternions and bicomplex numbers are developed by making use of so-called complex pairs. Special attention is paid to singular bicomplex numbers that lack an inverse. The elementary bicomplex functions are defined and their properties studied. The derivative of a bicomplex function is defined as the limit of a fraction with nonsingular denominator. The existence of the derivative amounts to the validity of the complexified Cauchy-Riemann equations, which characterize the holomorphic bicomplex functions. It is proved that such a function has derivatives of all orders. The bicomplex integral is defined as a line integral. The condition for path independence and the bicomplex generalizations of Cauchy's theorem and integral formula are given. Finally, the relationship between the bicomplex functions and different forms of the Laplace equation is considered. In particular, the four-dimensional Laplace equation is factorized using quaternionic differential operators. The outcome is new classes of bicomplex functions including Fueter's regular functions. It is shown that each class contains differentiable functions.

研究动机与目标

• 开发双复代数上全纯函数的严格理论，将复分析推广至四维实空间。
• 解决奇异双复数（非零元无逆元）的代数异常及其对函数理论的影响。
• 建立经典复分析结果的双复类比，包括柯西积分公式和路径无关性。
• 探讨双复全纯函数与四维拉普拉斯方程解之间的关系。
• 识别并表征新的可微函数类，包括与弗策尔正则函数相关的函数。

提出的方法

• 将双复数和四元数表示为复数对 (a,b)，其中 a 和 b 为复数，以简化代数运算与分析。
• 将双复函数的导数定义为分母非奇异时的极限，从而导出复化柯西-黎曼方程。
• 使用双复函数在 R⁴ 中的表示来分析可微性并推导高阶导数。
• 将双复积分定义为线积分，并利用原函数建立路径无关的条件。
• 应用四元数微分算子对四维拉普拉斯方程进行因式分解，并从双复全纯函数导出解。
• 引入配对数以分析双复解析函数的结构及其积分性质。

实验结果

研究问题

• RQ1 如何通过复数对表示法定义和表征全纯双复函数？
• RQ2 缺乏逆元的奇异双复数对双复函数理论有何影响？
• RQ3 双复导数与积分如何推广其复数对应物？路径无关性的条件是什么？
• RQ4 双复全纯函数与四维拉普拉斯方程的解之间存在何种关系？
• RQ5 通过四元数算子对四维拉普拉斯方程进行因式分解，如何产生新的可微函数类？

主要发现

• 双复函数的导数存在当且仅当满足复化柯西-黎曼方程，从而表征了全纯双复函数。
• 全纯双复函数具有所有阶导数，扩展了复函数的解析性性质。
• 双复积分被定义为线积分，当存在原函数时路径无关性成立。
• 柯西定理与积分公式被推广至双复空间，其中配对数在积分公式中起关键作用。
• 四维拉普拉斯方程通过四元数微分算子被因式分解，表明双复全纯函数在其复数对分量中满足二维复化拉普拉斯方程。
• 识别出新的可微函数类，包括弗策尔正则函数，其被证明包含在更广泛的双复全纯函数类之中。