[논문 리뷰] Analytic Functions of a Quaternionic Variable

Charles Schwartz|ArXiv.org|2008. 03. 26.

Algebraic and Geometric Analysis참고 문헌 3인용 수 3

한 줄 요약

이 논문은 비국소 미분 연산자를 통해 타일러 전개를 재해석함으로써 허미션 변수의 해석적 함수에 대한 미분법을 개발한다. 이 과정에서 국소 미분 연산자 $ F'(x) $ 와 비국소 항 $ [F(x) - F(x^*)]/(x - x^*) $ 를 포함하는 간결한 일阶 전개를 유도한다. 주요 기여는 비가환성에 의해 유도되는 기하적 분해와 리 대수적 구조를 통해 일반화된 타일러 유사 공식을 유도한 것으로, 자연스럽게 SU(2) 리 대수로 확장된다.

ABSTRACT

Here we follow the basic analysis that is common for real and complex variables and find how it can be applied to a quaternionic variable. Non-commutativity of the quaternion algebra poses obstacles for the usual manipulations; but we show how many of those obstacles can be overcome. After a tiny bit of linear algebra we look at the beginnings of differential calculus. The surprising result is that the first order term in the expansion of F(x+delta) is a compact formula involving both F'(x) and [F(x) - F(x*)]/(x-x*).

연구 동기 및 목표

• 비가환성에도 불구하고 허미션 변수의 해석적 함수에 대한 일관된 미분법을 수립하기 위해.
• 표준 실수/복소수 미분법을 허미션으로 확장하는 데서 발생하는 장애를 극복하기 위해, 도함수 $ dF/dx $ 가 아닌 미분 $ dF $ 에 초점을 맞추기 위해.
• 국소 및 비국소 항을 모두 포함하는 간결하고 일반적인 일阶 전개 공식을 도출하기 위해.
• 리 대수적 방법을 사용하여 비가환 대수, 특히 SU(2)로 이 프레임워크를 확장하기 위해.
• 물리학 및 비가환 해석학에 적용 가능한 허미션 함수 이론의 기하학적 및 대수적 기초를 제공하기 위해.

제안 방법

• 지수 함수 $ e^x $ 를 기초로 삼고, 시간 순서 적분을 통해 전개를 유도한다: $ e^{x+ u} = e^x + \int_0^1 ds \; e^{(1-s)x} \nu e^{sx} + O(\nu^2) $.
• 일반 함수 $ F(x) $ 는 라플라스 변환을 통해 표현한다: $ F(x) = \int dp \; f(p) \; e^{px} $, 이를 통해 체계적인 전개가 가능해진다.
• 일阶 전개를 도출한다: $ F(x+\delta) = F(x) + F'(x)\delta + \frac{1}{4r}(-F(x)+F(x^*)) [u_x,\delta] + \frac{1}{4}F'(x)[u_x,[u_x,\delta]] + O(\delta^2) $.
• 단위 허수 $ u_x $ 와 평행 및 수직인 성분으로 $ \delta $ 를 기하학적으로 분해한다. $ \delta_1 = \frac{1}{2}(\delta - u_x\delta u_x) $ 과 $ \delta_2 = \frac{1}{2}(\delta + u_x\delta u_x) $ 를 사용한다.
• 지역 좌표계로 변환하여 SU(2) 리 대수에 적용한다. $ x = x_0 I + r J_3 $ 로 표현함으로써 $ \delta $ 를 $ \delta_\parallel $ 과 $ \delta_\perp $ 로 분리할 수 있다.
• 회전 및 수반 작용 공식을 사용하여 비가환 항을 $ e^{\theta J_3} J_i e^{-\theta J_3} $ 의 형태로 표현하고, $ F(x+ir) $, $ F(x-ir) $, $ [J_3, \delta_\perp] $ 를 포함하는 닫힌 형태의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 비가환성에도 불구하고 허미션 변수의 해석적 함수에 대해 일관된 미분법을 어떻게 정의할 수 있는가?
• RQ2 허미션 환경에서 표준 타일러 전개 $ F(x+\delta) = F(x) + F'(x)\delta + \cdots $ 의 올바른 일반화는 무엇인가?
• RQ3 표준 도함수 $ dF/dx $ 는 허미션 경우에서 왜 실패하는가? 그리고 간결하고 실용적인 전개를 얻을 수 있는 대안적 공식은 무엇인가?
• RQ4 허미션에 사용된 방법이 SU(2) 리 대수와 같은 다른 비가환 대수로 일반화될 수 있는가?
• RQ5 기하학적 및 대수적 구조(예: 켤레, 회전, 근)는 미분 전개의 형태에 어떻게 영향을 미치는가?

주요 결과

• 함수 $ F(x+\delta) $ 의 일阶 전개는 국소 도함수 $ F'(x) $ 와 비국소 항 $ \frac{1}{4r}(-F(x)+F(x^*))[u_x,\delta] $ 를 포함하는 간결한 공식으로 주어진다. 이는 비가환성을 반영한다.
• 전개는 $ \delta_1 $ 과 $ \delta_2 $ 를 통해 재작성될 수 있다. 여기서 $ \delta_1 $ 과 $ \delta_2 $ 는 $ u_x $ 와 상대적으로 가환 및 비가환 부분공간에 대한 $ \delta $ 의 사영이다. 결과적으로 $ F(x+\delta) = F(x) + F'(x)\delta_1 + \frac{F(x)-F(x^*)}{x-x^*}\delta_2 + O(\delta^2) $ 를 얻는다.
• 지수 함수 $ e^x $ 의 전개에서는 $ r $ 과 삼각함수를 포함한 명시적 계수 $ a, b, c $ 를 도출할 수 있다: $ a = \frac{1}{2}(1 + \frac{\sin 2r}{2r}) $, $ b = \frac{1}{2}\frac{\cos 2r - 1}{2r} $, $ c = \frac{1}{2}(-1 + \frac{\sin 2r}{2r}) $.
• 로그 함수는 유사한 전개를 만족한다: $ \ln(y+\Delta) = \ln y + A y^{-1}\Delta + B[u_x, y^{-1}\Delta] + C u_x y^{-1}\Delta u_x + O(\Delta^2) $, 여기서 $ A = \frac{1}{2}(r \cot r + 1) $, $ B = \frac{r}{2} $, $ C = \frac{1}{2}(r \cot r - 1) $ 이며, 일반 공식과의 일관성을 확인한다.
• SU(2) 리 대수의 경우 전개는 $ F(x+\delta) = F(x) + F'(x)\delta_\parallel + \{F(x+ir)-F(x-ir)\}\frac{1}{2ir}\delta_\perp + \{F(x+ir)+F(x-ir)-2F(x)\}\frac{1}{2r}[J_3,\delta_\perp] + O(\delta^2) $ 로 일반화되며, 이는 방법의 광범위한 적용 가능성을 보여준다.
• 좌표 회전을 명시적으로 피하기 위해 $ \delta_{\parallel} = \delta - \frac{1}{r^2}[x,[x,\delta]] $ 과 $ [J_3,\delta_\perp] = \frac{1}{r}[x,\delta] $ 를 사용하여 $ \delta_\parallel $ 과 $ \delta_\perp $ 를 대수적으로 표현함으로써, 좌표 선택 없이도 내재적인 공식화가 가능해진다.