[论文解读] Quasi-conformal functions of quaternion and octonion variables, their integral transformations

S. V. Lüdkovsky|arXiv (Cornell University)|Mar 27, 2007

Algebraic and Geometric Analysis参考文献 16被引用 13

一句话总结

本文引入并研究了四元数和八元数上的拟共形与拟亚纯函数，建立了其解析性质（如留数和幅角原理）。证明了拟共形微分同胚族构成一个拓扑群，并通过非交换拉普拉斯与梅林变换展示了其应用，最终为复分析与非交换几何做出贡献。

ABSTRACT

The article is devoted to holomorphic and meromorphic functions of quaternion and octonion variables. New classes of quasi-conformal and quasi-meromorphic mappings are defined and investigated. Properties of such functions such as their residues and argument principle are studied. It is proved, that the family of all quasi-conformal diffeomorphisms of a domain form a topological group relative to composition of mappings. Cases when it is a finite-dimensional Lie group over $\bf R$ are studied. Relations between quasi-conformal functions and integral transformations of functions over quaternions and octonions are established. For this, in particular, noncommutative analogs of the Laplace and Mellin transformations are studied and used. Examples of such functions are given. Applications to problems of complex analysis are demonstrated.

研究动机与目标

• 通过在四元数和八元数上定义新的全纯与亚纯函数类，将复分析推广至非交换代数。
• 研究拟共形与拟亚纯映射的性质，包括留数和幅角原理。
• 证明在定义域上所有拟共形微分同胚的集合在复合运算下构成一个拓扑群。
• 为四元数和八元数上的函数发展拉普拉斯与梅林积分变换的非交换类比。
• 将该理论应用于复分析问题，包括通过黎曼ζ函数的零点位于临界线上来证明黎曼假设。

提出的方法

• 通过在卡莱-迪克森子代数上使用伪共形函数来定义拟共形与拟亚纯映射，并在实投影空间 R^{2^b} 上应用旋转算子。
• 在卡莱-迪克森代数中使用球坐标来定义并分析函数的 (1,b)-拟正则与 (1,b)-拟积分延拓。
• 应用非交换拉普拉斯与梅林变换来分析函数的行为与对称性，特别是与黎曼ζ函数的关系。
• 建立变换后函数的对称性性质（25(1')，25(1',2)），以满足幅角原理与零点分布定理的条件。
• 证明拟共形微分同胚的复合构成一个拓扑群，并确定其在何种条件下成为实数域上的有限维李群。
• 利用恒等式 ∫f(t)exp(pt)dt = g(p)∫f(t)exp((1−p)t)dt 推导函数方程与 g(p) 的对称性约束，从而得出 g(1/2)=1 且 g(p)g(1−p)=1。

实验结果

研究问题

• RQ1 能否在非交换代数（如四元数和八元数）上建立有意义的全纯与亚纯函数理论？
• RQ2 在非交换设定下，拟共形与拟亚纯函数的解析性质（如留数与幅角原理）是什么？
• RQ3 在定义域上，拟共形微分同胚族在复合运算下是否构成一个拓扑群？在何种条件下它是一个有限维李群？
• RQ4 如何构造并应用拉普拉斯与梅林变换的非交换类比，以处理如黎曼ζ函数等特殊函数？
• RQ5 能否利用这些变换的对称性与积分结构，证明黎曼ζ函数的所有非平凡零点均位于临界线 Re(s)=1/2 上？

主要发现

• 在定义域上所有拟共形微分同胚的族在复合运算下构成一个拓扑群，且在特定条件下可成为实数域上的有限维李群。
• 通过卡莱-迪克森代数中的球坐标定义了函数的 (1,b)-拟正则与 (1,b)-拟积分延拓，从而能够分析其对称性与解析行为。
• 构建了非交换拉普拉斯与梅林变换，并用于分析具有特定对称性质的函数，尤其与黎曼ζ函数相关。
• 函数 f(t) = −exp(−|t|/2) + 2exp(|t|/2)ψ(exp(2|t|)) 被证明是实值且偶函数，其变换满足对称性条件 25(1') 与 25(1',2)。
• 函数 Ω^s(p) = [w^s(p)]^{-1}g^s(p) 被证明满足对称性性质 25(1',2)，从而可将定理 2.17 应用于ζ函数。
• 所有非平凡复零点均位于临界线 Re(s) = 1/2 上，该结论基于函数方程与在给定条件下变换的对称性。