[论文解读] Power and Laurent series in the algebra of complex quaternions

T. S. Kuzmenko|arXiv (Cornell University)|Mar 17, 2015

Algebraic and Geometric Analysis被引用 3

一句话总结

本文建立了复四元数代数中取值于 $G$-正则映射的泰勒级数与洛朗级数展开，引入了一种基于特定幂等基的全新框架。它将这些映射的孤立奇点分类为可去奇点、极点或本性奇点，通过将其分量函数的复分析方法，将经典复分析概念推广至非交换四元数设置。

ABSTRACT

Taylor's and Laurent's expansions of $G$-monogenic mappings taking values in the algebra of complex quaternion are obtained and singularities of these mappings are classified.

研究动机与目标

• 将经典复分析结果——特别是泰勒级数与洛朗级数展开——推广至复四元数代数中的 $G$-正则映射。
• 根据其分量函数在复平面上的行为，定义并分类 $G$-正则映射的孤立奇点。
• 通过特定的幂等基 $\{e_1, e_2, e_3, e_4\}$，为 $G$-正则映射的级数展开提供一种构造性框架，使其可分解为全纯分量。
• 通过函数分量 $F_1, F_2, F_3, F_4$，将孤立奇点（可去、极点、本性）的概念从复分析推广至四元数映射的语境。

提出的方法

• 使用幂等基 $\{e_1, e_2, e_3, e_4\}$ 表示 $G$-正则映射 $\Phi: \Omega_\zeta \to \mathbb{H}(\mathbb{C})$，其中 $\zeta = \xi_1 e_1 + \xi_2 e_2$，且 $\xi_1 = f_1(\zeta)$，$\xi_2 = f_2(\zeta)$，$\|\zeta\| = \sqrt{|\xi_1|^2 + |\xi_2|^2}$。
• 将映射分解为 $\Phi(\zeta) = F_1(\xi_1, \xi_2)e_1 + F_2(\xi_1, \xi_2)e_2 + F_3(\xi_1, \xi_2)e_3 + F_4(\xi_1, \xi_2)e_4$，从而将问题简化为分析 $\mathbb{C}^2 \to \mathbb{C}$ 的全纯函数 $F_k$。
• 通过对分量函数 $F_k$ 应用经典复分析技术，推导 $\Phi$ 的泰勒级数与洛朗级数展开，利用 $\Phi$ 是 $G$-正则映射当且仅当其分量满足特定解析性条件这一事实。
• 利用预解恒等式 $(t - \zeta)^{-1} = \frac{1}{t - \xi_1}e_1 + \frac{1}{t - \xi_2}e_2$，识别奇点集为 $\mathbb{R}^3$ 中的直线 $L^1, L^2$，分别对应 $\xi_1 = \xi_{10}$ 与 $\xi_2 = \xi_{20}$。
• 通过分析 $F_k$ 在 $\xi_{10}$ 与 $\xi_{20}$ 处的行为对 $\Phi$ 的奇点进行分类：若所有 $F_k$ 在该点有有限极限，则 $\zeta_0$ 为可去奇点；若至少一个 $F_k$ 有无穷极限，则 $\zeta_0$ 为极点；若极限均不存在，则为本性奇点。
• 定义非可去奇点的集合为 $\widetilde{\mathcal{K}}_\zeta^0 \cap \{\zeta_0 + e^* : e^* \in L_\zeta^1 \cup L_\zeta^2\}$，并证明：若洛朗级数的主部包含无穷多项非零项，则至少一个 $F_k$ 在 $\xi_{10}$ 或 $\xi_{20}$ 处具有本性奇点。

实验结果

研究问题

• RQ1 如何将泰勒级数与洛朗级数展开推广至复四元数代数中取值的 $G$-正则映射？
• RQ2 一个 $G$-正则映射的奇点集结构是什么？它与分量函数在复平面上的奇点有何关联？
• RQ3 复分析中的可去、极点与本性奇点概念如何推广至四元数设置下的 $G$-正则映射？
• RQ4 在何种条件下，$G$-正则映射在某点无有限或无穷极限？这与其分量函数的行为有何关联？

主要发现

• 右-$G$-正则映射 $\Phi$ 在球 $B(\zeta_0, R)$ 内存在泰勒级数展开 $\Phi(\zeta) = \sum_{n=0}^\infty (\zeta - \zeta_0)^n p_n$，其中 $R = \min_{\zeta \in \partial \Omega_\zeta} \|\zeta - \zeta_0\|$，系数为 $p_n = \frac{1}{2\pi i} \int_{\gamma_\zeta} (\tau - \zeta_0)^{-n-1} d\tau \, \Phi(\tau)$。
• $G$-正则映射在 $\zeta_0$ 的穿孔邻域内存在洛朗级数展开，当且仅当其分量函数 $F_k$ 在 $\xi_1$ 与 $\xi_2$ 上存在洛朗展开，且主部由这些分量的奇点决定。
• 映射 $\Phi$ 的孤立奇点 $\zeta_0$ 为可去奇点，当且仅当所有分量函数 $F_k$ 在 $\xi_{10}$ 与 $\xi_{20}$ 处均有有限极限；否则，若至少一个 $F_k$ 有无穷极限，则 $\zeta_0$ 为极点。
• 若 $\Phi$ 的洛朗级数主部分包含无穷多项非零项，则至少一个分量函数 $F_k$ 在 $\xi_{10}$ 或 $\xi_{20}$ 处具有本性奇点，意味着 $\Phi$ 在 $\zeta_0$ 处无有限或无穷极限。
• 非可去奇点的集合包含于 $\widetilde{\mathcal{K}}_\zeta^0 \cap \{\zeta_0 + e^* : e^* \in L_\zeta^1 \cup L_\zeta^2\}$，其中 $L_\zeta^1$ 与 $L_\zeta^2$ 是 $\mathbb{R}^3$ 中直线 $L^1$ 与 $L^2$ 在 $E_3$ 上的提升。
• 若 $F_1 \equiv 0$，$F_3 \equiv 0$，$F_4 \equiv 0$，且 $F_2$ 在 $\xi_{20}$ 处具有本性奇点，则对所有 $e^* \in L_\zeta^2$，$\Phi$ 在 $\zeta_0 + e^*$ 处无有限或无穷极限，从而证实了四元数设置下本性奇点的存在性。