[논문 리뷰] Power and Laurent series in the algebra of complex quaternions

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

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$를 통해 허니우이언 매핑의 맥락으로 일반화한다.

제안 방법

• 복소 허니우이언에 값을 갖는 $G$-단조성 매핑 $\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$로 분해하여, 해석 함수 $F_k: \mathbb{C}^2 \to \mathbb{C}$의 분석으로 문제를 축소한다.
• 성분 함수 $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$가 무한한 극한을 갖는 경우 극이며, 극한이 존재하지 않는 경우 본질적 특이점이다.
• 비제거 가능 특이점의 집합인 $\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)$ 로 주어진다.
• 성분 함수 $F_k$가 $\xi_1$ 및 $\xi_2$에서 로랑 전개를 갖는다면, $G$-단조성 매핑은 $\zeta_0$의 구멍 난 근처에서 로랑 급수 전개를 갖는다. 주요 부분은 이러한 성분의 특이점에 의해 결정된다.
• 매핑 $\Phi$의 고립 특이점 $\zeta_0$는 오직 모든 성분 함수 $F_k$가 $\xi_{10}$ 및 $\xi_{20}$에서 유한한 극한을 갖는 경우에만 제거 가능하다. 그렇지 않으면, 적어도 하나의 $F_k$가 무한한 극한을 갖는 경우 극이다.
• 만약 $\Phi$의 로랑 급수의 주요 부분이 무한히 많은 비영항을 포함하면, 적어도 하나의 성분 함수 $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}$에서 본질적 특이점을 갖는다면, $\Phi$는 $e^* \in L_\zeta^2$ 인 $\zeta_0 + e^*$에서 유한하거나 무한한 극한을 갖지 않으며, 이는 허니우이언 설정에서 본질적 특이점의 존재를 확인한다.