[论文解读] A New Definition of Hypercomplex Analyticity

De Leo Stefano, Rotelli Pietro|ArXiv.org|Jan 20, 1997

Geophysics and Sensor Technology参考文献 1被引用 11

一句话总结

本文提出了一种针对四元数和八元数函数的新型超复解析性定义，该定义在不将解析函数简化为平凡类的前提下，推广了复解析性。通过使用广义导数算子将柯西-黎曼条件扩展至超复代数，作者保留了非平凡的解析解，提供了一个与标准复分析相容的一致框架。

ABSTRACT

Complex analyticity is generalized to hypercomplex functions, quaternion or octonion, in such a manner that it includes the standard complex definition and does not reduce analytic functions to a trivial class. A brief comparison with other definitions is presented.

研究动机与目标

• 将复解析性推广至四元数和八元数等超复代数，而不会使解析函数退化为平凡类。
• 解决先前超复解析性定义中的不一致性问题，这些问题要么排除了非平凡解，要么缺乏数学一致性。
• 开发一个自然且一致地将标准复分析扩展至高维超复数的框架。
• 为未来在涉及非结合或非交换代数的数学物理和泛函分析中的应用提供基础。

提出的方法

• 通过定义作用于取值于四元数或八元数的函数的广义导数算子，将柯西-黎曼条件适配至超复代数。
• 利用除法代数（特别是四元数和八元数）的代数结构，通过类似于复数情形的偏微分方程组来定义解析性。
• 在超复设定中应用左解析性和右解析性的概念，确保与八元数的非交换性和非结合性相容。
• 基于超复空间中的Fubini-Study度量和微分算子的形式化，定义解析性条件。
• 通过证明该定义在限制于复子代数时退化为标准复解析性，验证了其定义的有效性。
• 将新定义与现有方法进行比较，证明其在保留非平凡解析解方面的优越性。

实验结果

研究问题

• RQ1 如何在非交换和非结合的超复代数（如四元数和八元数）中一致地推广复解析性？
• RQ2 超复函数需满足何种条件才能被视为解析，而不会退化为平凡类？
• RQ3 新定义的解析性与文献中既有的定义（特别是基于柯西-黎曼型方程的定义）有何关系？
• RQ4 新框架是否能在高维超复空间中支持非平凡的解析解？
• RQ5 所提出的定义是否保留了复解析函数的基本性质，如全纯性和路径无关性？

主要发现

• 所提出的定义成功地将复解析性推广至超复代数，且未使解析函数退化为平凡类。
• 新框架在四元数和八元数设定下均允许非平凡的解析解，解决了先前方法的关键局限性。
• 当限制于复子代数时，该定义与标准复解析性保持一致，确保了与既定结果的兼容性。
• 通过广义导数算子，该方法在高维中保留了柯西-黎曼方程的结构。
• 作者证明了其定义避免了早期表述中常见的退化问题，例如依赖于实部与虚部分离的方案。
• 该方法为将复分析推广至八元数等非结合代数提供了数学上一致的基础。