[论文解读] Integral theorems for the quaternionic G-monogenic mappings

Vitalii Shpakivskyi, T. S. Kuzmenko|arXiv (Cornell University)|Dec 17, 2014

Algebraic and Geometric Analysis参考文献 5被引用 3

一句话总结

本文为复数域上的四元数代数中一类新映射——$G$-正则函数，建立了经典柯西积分定理的四元数类比。通过广义方向导数（Gateaux differentiability）与特定基底，作者利用曲线积分与曲面积分定理证明了柯西积分公式，将福特定理（Fueter-type）结果推广至更广泛的函数类，适用于超复分析。

ABSTRACT

In the paper [1] considered a new class of quaternionic mappings, so-called $G$-monogenic mappings. In this paper we prove analogues of classical integral theorems of the holomorphic function theory: the Cauchy integral theorems for surface and curvilinear integrals, and the Cauchy integral formula for $G$-monogenic mappings.

研究动机与目标

• 将复分析中的经典积分定理推广至四元数框架，适用于一类新函数。
• 通过特定基底与线性张成，定义并分析四元数代数中$G$-正则映射。
• 在该推广框架下，建立曲面积分与曲线积分的柯西积分定理与公式的类比。
• 通过放宽可微性假设并引入新的代数结构，推广福特（Fueter）及其他学者的先前结果。

提出的方法

• 引入复化四元数代数$Λ(Λ)，其基底为$\{e_1, e_2, e_3, e_4\}$，并利用广义方向导数定义$G$-正则映射。
• 将四元数映射表示为$\Phi(\zeta) = \xi_1 e_1 + \xi_2 e_2$，其中$\xi_1, \xi_2 \in \mathbb{C}$，从而可应用复变函数技巧。
• 应用广义高斯-奥斯特定里公式，通过微分形式$\sigma = dydz + dzdx\,i_2 + dxdy\,i_3$，建立体积分与曲面积分之间的关系。
• 通过结合广义方向导数与条件$1 + i_2^2 + i_3^2 = 0$，推导曲面积分定理，该条件与三维拉普拉斯方程相关联。
• 通过$&#x03xi;_1$与$&#x03xi;_2$变量的复围线积分，利用复留数与基底分解，证明柯西积分公式。
• 假设$f_1(E_3) = f_2(E_3) = \mathbb{C}$，以确保在表示中完整覆盖复参数。

实验结果

研究问题

• RQ1 如何将经典柯西积分定理推广至$Λ(Λ)中的四元数$G$-正则映射？
• RQ2 在何种微分结构与基底条件下，可将柯西型积分公式推广至该类函数？
• RQ3 能否在复化四元数代数框架下，利用曲线积分推导柯西积分公式？
• RQ4 对于$G$-正则映射，曲面积分与体积分定理如何与三维拉普拉斯方程关联？
• RQ5 代数结构$1 + i_2^2 + i_3^2 = 0$在简化积分恒等式中起何作用？

主要发现

• 建立了$G$-正则映射的柯西积分公式：$\Phi(\zeta_0) = \sum_{k=1}^4 e_k \cdot \frac{1}{2\pi i} \int_{C_k} \frac{F_k(\xi_k)}{\xi_k - \xi_k^{(0)}} d\xi_k$，其中$\zeta_0 = \xi_1^{(0)}e_1 + \xi_2^{(0)}e_2$，通过复围线积分证明该公式。
• 曲面积分定理由恒等式$\int_{\partial\Omega_\zeta} \sigma \Phi(\zeta) = \int_{\Omega_\zeta} (1 + i_2^2 + i_3^2) \Phi'(\zeta) \, dxdydz$证明，将边界积分与导数关联。
• 当$1 + i_2^2 + i_3^2 = 0$时，曲面积分消失：$\int_{\partial\Omega_\zeta} \sigma \Phi(\zeta) = \int_{\partial\Omega_\zeta} \widehat{\Phi}(\zeta) \sigma = 0$，表明三维拉普拉斯方程的解满足积分恒为零的条件。
• 广义高斯-奥斯特定里公式（15）与（16）被推导用于涉及$\sigma \Psi(\zeta)$与$\Psi(\zeta) \sigma$的曲面积分，使用微分形式与偏导数。
• 证明方法与文献[8]中的定理6类似，将有限维半单交换代数技巧适配至四元数框架。
• 本研究通过放宽可微性假设并引入具有更丰富代数结构的新函数类，拓展了经典四元数分析。