[논문 리뷰] Introductory Clifford Analysis

John Ryan|ArXiv.org|2003. 03. 26.

Algebraic and Geometric Analysis참고 문헌 22인용 수 6

한 줄 요약

이 논문은 클리포드 대수를 사용하여 복소해석학의 해석적 함수 이론을 고차원 공간으로 일반화함으로써 클리포드 해석학의 기초 개념을 제시한다. 디랙 연산자 D를 수립하고, 좌우 단조함수를 정의하며, 클리포드-카우치 정리와 적분 공식을 증명하고, 복소수 공간의 튜브 영역으로 클리포드-해석적 함수의 해석적 계속성을 보여주며, 비가환 대수적 구조를 갖는 고차원으로 고전 결과를 확장한다.

ABSTRACT

This paper is an elaboration of an introductory talk given by the author at a workshop on Clifford algebras at Tennessee Technical University, in May 2002. We give an introduction to the basic concepts of Clifford analysis, including links to harmonic analysis, Fourier analysis and conformally flat manifolds.

연구 동기 및 목표

• 복소해석학의 해석적 함수 이론을 클리포드 대수를 사용하여 고차원 공간으로 일반화하기.
• 복소도함수의 일반화로서 디랙 연산자 D를 수립하고, D² = -Δn을 만족시키기.
• Df = 0과 gD = 0의 해로서 좌우 단조함수를 정의하고 특성화하기.
• 클리포드 대수 구조로의 고전적 카우치 적분 정리와 공식을 확장하기.
• 클리포드-해석적 함수가 복소수 튜브 영역 C^n으로 해석적으로 계속될 수 있는지 보여주기.

제안 방법

• 디랙 연산자 D = Σ e_j ∂/∂x_j를 정의하고, D² = -Δn를 만족시키기.
• Cl_n에 값이 있는 f, g를 사용하여 Df = 0에 의해 좌단조함수를, gD = 0에 의해 우단조함수를 도입하기.
• 스토크스 정리를 사용하여 클리포드-카우치 정리를 증명하고, 경계가 S인 영역에서 좌/우 단조함수에 대해 ∫_S g(x)n(x)f(x)dσ(x) = 0임을 보이기.
• 클리포드-카우치 적분 공식 수립: f(y) = (1/ω_n) ∫_S G(x−y)n(x)f(x)dσ(x), 여기서 G는 카우치 커널이다.
• 클리포드 대수를 복소화하여 Cl_n(C)로 확장하고, 카우치 커널 G(x−y)를 G^†(x−z) = (x−z)/((x−z)^2)^{n/2}로 복소수 변수 z ∈ C^n로 확장하기.
• 좌단조함수 f의 해석적 확장을 적분 공식 f^†(z) = (1/ω_n) ∫_S G^†(x−z)n(x)f(x)dσ(x)를 통해 구성하기. 이는 U^† ⊂ C^n 내에서 유효하다.

실험 결과

연구 질문

• RQ1 일변수 복소함수 이론은 클리포드 대수를 사용하여 어떻게 고차원으로 일반화될 수 있는가?
• RQ2 클리포드 대수 구조에서 카우치 적분 정리와 공식의 대응체는 무엇인가?
• RQ3 Cl_n의 비가환성으로 인해 좌우 단조함수는 곱셈에 대해 어떻게 행동하는가?
• RQ4 클리포드-해석적 함수는 복소수 영역으로 해석적으로 계속될 수 있으며, 만약 가능하면 어떤 영역으로 계속될 수 있는가?
• RQ5 R^n,+에 정의된 클리포드-해석적 함수가 확장되는 복소수 영역의 구조는 무엇인가?

주요 결과

• 디랙 연산자 D는 D² = -Δn를 만족시키며, R^n으로의 복소도함수의 일반화를 제공한다.
• 좌단조함수 f는 Df = 0를 만족하며, G(x) = x/||x||^n과 같이 실수 조화함수의 기울기 포함한다.
• 클리포드-카우치 정리는, 경계가 S인 영역에서 좌/우 단조함수 f, g에 대해 ∫_S g(x)n(x)f(x)dσ(x) = 0임을 나타낸다.
• 클리포드-카우치 적분 공식은 f(y) = (1/ω_n) ∫_S G(x−y)n(x)f(x)dσ(x)로 주어지며, 여기서 ω_n은 R^n에서 단위구의 표면적이다.
• 클리포드-해석적 함수 f ∈ H²(R^n,+)는 x_n > 0 및 ||y'|| < x_n를 만족하는 C^+ ⊂ C^n 내의 튜브 영역으로 해석적으로 계속된다.
• 해석적 확장 f^†(z)는 복소화된 카우치 커널 G^†(x−z)를 포함하는 적분 공식으로 주어지며, 이는 U^† ⊂ C^n 내에서 유효하다.