[論文レビュー] Power and Laurent series in the algebra of complex quaternions

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

Algebraic and Geometric Analysis被引用数 3

ひとこと要約

本稿は、複素クaternion代数に値をとる$G$-正則写像のテイラー展開およびローラン展開を、特定のイデムポテン型基底に基づく新しい枠組みを用いて確立する。これらの写像の孤立特異点を removable（除去可能）、極、本質的特異点に分類し、複素解析の古典的概念を非可換クォータニオン的設定へと拡張する。関数的分解を用いて、複素数値成分への還元が行われる。

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$を介してクォータニオン写像の文脈へ一般化すること。

提案手法

• 写像$\Phi: \Omega_\zeta \to \mathbb{H}(\mathbb{C})$をイデムポテン型基底$\{e_1, e_2, e_3, e_4\}$を用いて表現し、$\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$の特異点を分類する：点$\zeta_0$がすべての$F_k$が有限極限を持つ場合にのみ除去可能であり、少なくとも一つの$F_k$が無限極限を持つ場合に極となり、極限が存在しない場合には本質的特異点となる。
• 非除去可能な特異点の集合$\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$は極である。
• ローラン級数の主部に無限に多くの非ゼロ項が含まれる場合、少なくとも一つの成分関数$F_k$は$\xi_{10}$または$\xi_{20}$で本質的特異点を持つことになり、$\Phi$は$\zeta_0$で有限または無限極限を持たない。
• $\Phi$の非除去可能な特異点の集合は、$\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}$で本質的特異点を持つ場合、$\zeta_0 + e^*$（$e^* \in L_\zeta^2$）において$\Phi$は有限または無限極限を持たない。これはクォータニオン的設定における本質的特異点の存在を確認する。