[Paper Review] Analytic Functions of a Quaternionic Variable

Charles Schwartz|ArXiv.org|Mar 26, 2008

Algebraic and Geometric Analysis3 references3 citations

TL;DR

This paper develops a differential calculus for analytic functions of a quaternionic variable by reinterpreting the Taylor expansion through non-local differential operators, deriving a compact first-order expansion involving both the derivative $ F'(x) $ and a non-local term $ [F(x) - F(x^*)]/(x - x^*) $. The key contribution is a generalized Taylor-like formula that accounts for non-commutativity via geometric decomposition and Lie algebraic structure, extending naturally to SU(2) Lie algebras.

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*).

Motivation & Objective

• To establish a consistent differential calculus for analytic functions of a quaternionic variable despite non-commutativity.
• To overcome obstacles in extending standard real/complex calculus to quaternions by focusing on the differential $ dF $ rather than the derivative $ dF/dx $.
• To derive a compact, general first-order expansion formula that incorporates both local and non-local terms.
• To extend the framework to non-commutative algebras, particularly SU(2), using Lie algebraic methods.
• To provide a geometric and algebraic foundation for quaternionic function theory with applications to physics and non-commutative analysis.

Proposed method

• Uses the exponential function $ e^x $ as a foundation, deriving its expansion via time-ordered integrals: $ e^{x+ u} = e^x + \int_0^1 ds \; e^{(1-s)x} \nu e^{sx} + O(\nu^2) $.
• Represents general functions $ F(x) $ via a Laplace transform: $ F(x) = \int dp \; f(p) \; e^{px} $, enabling systematic expansion.
• Derives the first-order expansion: $ 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) $.
• Introduces a geometric decomposition of $ \delta $ into components parallel and perpendicular to the unit imaginary $ u_x $, using $ \delta_1 = \frac{1}{2}(\delta - u_x\delta u_x) $ and $ \delta_2 = \frac{1}{2}(\delta + u_x\delta u_x) $.
• Applies the method to SU(2) Lie algebras by transforming to a local coordinate system where $ x = x_0 I + r J_3 $, enabling separation of $ \delta $ into $ \delta_\parallel $ and $ \delta_\perp $.
• Uses rotation and adjoint action formulas to express non-commutative terms via $ e^{\theta J_3} J_i e^{-\theta J_3} $, leading to closed-form expressions involving $ F(x+ir) $, $ F(x-ir) $, and $ [J_3, \delta_\perp] $.

Experimental results

Research questions

• RQ1 How can a consistent differential calculus be defined for analytic functions of a quaternionic variable despite non-commutativity?
• RQ2 What is the correct generalization of the first-order Taylor expansion $ F(x+\delta) = F(x) + F'(x)\delta + \cdots $ in the quaternionic setting?
• RQ3 Why does the standard derivative $ dF/dx $ fail in the quaternionic case, and what alternative formulation yields a compact, usable expansion?
• RQ4 Can the method used for quaternions be generalized to other non-commutative algebras, such as SU(2) Lie algebras?
• RQ5 How do geometric and algebraic structures (e.g., conjugation, rotation, roots) influence the form of the differential expansion?

Key findings

• The first-order expansion of $ F(x+\delta) $ is given by a compact formula involving both the local derivative $ F'(x) $ and a non-local term $ \frac{1}{4r}(-F(x)+F(x^*))[u_x,\delta] $, which accounts for non-commutativity.
• The expansion can be rewritten in terms of $ \delta_1 $ and $ \delta_2 $, where $ \delta_1 $ and $ \delta_2 $ are projections of $ \delta $ onto the commutative and anti-commutative subspaces relative to $ u_x $, yielding $ F(x+\delta) = F(x) + F'(x)\delta_1 + \frac{F(x)-F(x^*)}{x-x^*}\delta_2 + O(\delta^2) $.
• For the exponential function $ e^x $, the expansion yields explicit coefficients $ a, b, c $ in terms of $ r $ and trigonometric functions: $ 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}) $.
• The logarithm function satisfies a similar expansion: $ \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) $, with $ A = \frac{1}{2}(r \cot r + 1) $, $ B = \frac{r}{2} $, $ C = \frac{1}{2}(r \cot r - 1) $, confirming consistency with the general formula.
• For SU(2) Lie algebras, the expansion generalizes to $ 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) $, showing the method's broader applicability.
• The method avoids explicit coordinate rotation by expressing $ \delta_\parallel $ and $ \delta_\perp $ algebraically via $ \delta_{\parallel} = \delta - \frac{1}{r^2}[x,[x,\delta]] $ and $ [J_3,\delta_\perp] = \frac{1}{r}[x,\delta] $, enabling intrinsic formulation without coordinate choice.