[论文解读] Analytic Functions of a Quaternionic Variable

Charles Schwartz|ArXiv.org|Mar 26, 2008

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 $ 而非导数 $ dF/dx $，克服将标准实/复分析微积分推广至四元数时的障碍。
• 推导出一个紧凑且通用的一阶展开公式，同时包含局部项与非局部项。
• 通过李代数方法，将该框架推广至非交换代数，特别是 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) $。
• 通过将 $ \delta $ 分解为与单位虚数 $ u_x $ 平行和垂直的分量，实现几何分解，使用 $ \delta_1 = \frac{1}{2}(\delta - u_x\delta u_x) $ 和 $ \delta_2 = \frac{1}{2}(\delta + u_x\delta u_x) $。
• 通过变换至局部坐标系 $ x = x_0 I + r J_3 $，将方法应用于 SU(2) 李代数，实现 $ \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 $ 分别为 $ \delta $ 在相对于 $ u_x $ 的交换与反交换子空间上的投影，得到 $ F(x+\delta) = F(x) + F'(x)\delta_1 + \frac{F(x)-F(x^*)}{x-x^*}\delta_2 + O(\delta^2) $。
• 对于指数函数 $ e^x $，展开式给出显式系数 $ a, b, c $，以 $ r $ 和三角函数表示：$ 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_\perp $，避免显式坐标旋转，即 $ \delta_{\parallel} = \delta - \frac{1}{r^2}[x,[x,\delta]] $ 与 $ [J_3,\delta_\perp] = \frac{1}{r}[x,\delta] $，实现无需选择坐标系的内在表述。