[论文解读] Analytic cliffordian functions

Guy Laville, Eric Lehman|arXiv (Cornell University)|Feb 4, 2005

Algebraic and Geometric Analysis被引用 5

一句话总结

本文通过定义偶数和奇数维情形下的全纯克利福德函数，将复解析函数理论推广至克利福德代数，采用广义柯西-黎曼算子。研究证明在此设定下解析性与全纯性等价，关键结果表明福特定方法可通过复全holomorphic函数构造此类函数，且在奇数维情形下，迭代拉普拉斯算子通过在抛物向量上的泰勒展开控制解的结构。

ABSTRACT

In classical function theory, a function is holomorphic if and only if it is complex analytic. For higher dimensional spaces it is natural to work in the context of Clifford algebras. The structures of these algebras depend on the parity of the dimension n of the underlying vector space. The theory of holomorphic Cliffordian functions reflects this dependence. In the case of odd n the space of functions is defined by an operator (the Cauchy-Riemann equation) but not in the case of even $n$. For all dimensions the powers of identity (z^n, x^n) are the foundation of function theory.

研究动机与目标

• 通过克利福德代数将复解析函数理论推广至高维空间。
• 解决在定义全纯函数时偶数维与奇数维克利福德代数之间的结构性差异。
• 在偶数和奇数维中建立解析性（幂级数收敛）与全纯性（满足广义柯西-黎曼方程）之间的等价性。
• 将福特定方法扩展至偶数维空间，以构造全纯克利福德函数，此前该方法仅在奇数维中被证明有效。
• 通过迭代拉普拉斯算子和泰勒级数展开表征奇数维空间中解的行为。

提出的方法

• 通过形如 $ M_N^a(z) = a(za)^{N-1} $ 的齐次多项式定义解析克利福德函数，作为构建模块。
• 对 $ \text{Cl}_{0,n} $ 中的元素引入分解 $ A = \tilde{R}A + e_n \tilde{J}A $，实现跨维度的递归分析。
• 使用微分算子 $ D = \frac{\nabla}{\nabla z_0} + e_1 \frac{\nabla}{\nabla z_1} + \nabla z_n $ 及其共轭 $ D_* $，其中 $ \triangle = DD_* $ 为拉普拉斯算子。
• 通过将复全holomorphic函数 $ \varphi(\zeta) = p(\xi,\eta) + i q(\xi,\eta) $ 提升为 $ u(z_0 + \vec{z}) = p(z_0, |\vec{z}|) + \frac{\vec{z}}{|\vec{z}|} q(z_0, |\vec{z}|) $ 的方式应用福特定方法，生成左全纯和右全纯的克利福德全holomorphic函数。
• 在奇数维中通过迭代拉普拉斯算子 $ \Delta^\mu u(x) $ 推导出泰勒型展开，其系数涉及 $ (2m-1)^{-2\mu} $ 和 $ e_{2m+1} $，用于奇次幂。
• 利用柯西-柯瓦列夫斯卡娅定理证明在奇数维中全纯延拓的存在性与唯一性，限制条件为 $ f(\bar{z}) = \overline{f(z)} $。

实验结果

研究问题

• RQ1 解析性与全纯性之间的等价性是否可从复分析推广至偶数和奇数维的克利福德代数？
• RQ2 克利福德代数 $ \mathbb{R}_{0,n} $ 的结构，特别是其中心，如何影响全纯克利福德函数的定义与性质？
• RQ3 福特定方法在偶数维空间中构造全纯克利福德函数时，其有效性在多大程度上仍然成立？
• RQ4 迭代拉普拉斯算子在表征奇数维空间中全纯克利福德函数的行为方面起什么作用？
• RQ5 全纯克利福德函数的边界行为如何通过法向导数和微分算子来描述？

主要发现

• 对于奇数 $ n = 2m+1 $，全纯克利福德函数的空间由广义柯西-黎曼方程 $ Df = 0 $ 描述，且此类函数可表示为迭代拉普拉斯算子的泰勒展开。
• 奇数维中 $ f(z) $ 的泰勒展开为 $ f(z) = \sum_{\mu=0}^\infty \frac{(-1)^\mu}{(2m-1)^{2\mu}(2\mu)!} (z_{2m+1})^{2\mu} \Delta^\mu u(x) + e_{2m+1} \sum_{\mu=0}^\infty \frac{(-1)^{\mu+1}}{(2m-1)^{2\mu+1}(2\mu+1)!} (z_{2m+1})^{2\mu+1} D\Delta^\mu u(x) $，明确显示出对 $ \Delta^\mu u $ 和 $ D\Delta^\mu u $ 的依赖。
• 在实截面 $ \Omega $ 上，法向导数 $ \left(\frac{\partial}{\partial n}\right)^j f \big|_\Omega $ 满足 $ \left(\frac{\partial}{\partial n}\right)^{2\mu} f = (-1)^\mu (2m-1)^{-2\mu} \Delta^\mu u(x) $ 与 $ \left(\frac{\partial}{\partial n}\right)^{2\mu+1} f = (-1)^{\mu+1} (2m-1)^{-(2\mu+1)} e_{2m+1} D\Delta^\mu u(x) $，将法向导数与基空间上的微分算子联系起来。
• 对于偶数 $ n = 2m $，本文表明福特定方法仍能通过将复全holomorphic函数提升至 $ \mathbb{R} \oplus V_n $ 上的 $ u(z_0 + \vec{z}) = p(z_0, |\vec{z}|) + \frac{\vec{z}}{|\vec{z}|} q(z_0, |\vec{z}|) $，生成左全纯和右全纯的克利福德全holomorphic函数，且 $ f(\bar{z}) = \overline{f(z)} $ 确保了在实截面上的实性。
• 在 $ \mathbb{R}_{0,2m+1} $ 中，其中心为 $ \mathbb{R} \oplus \mathbb{R} e_{12\ldots 2m+1} $，且 $ e_{12\ldots 2m+1} $ 与所有元素可交换，从而支持法向导数公式的构造。
• 根据柯西-柯瓦列夫斯卡娅定理，奇数维中全纯延拓的存在性与唯一性得到保证，其中 $ f $ 定义在子域 $ \Lambda' \subset \mathbb{R} \oplus V_{2m+1} $ 上，满足 $ \Lambda' \cap (\mathbb{R} \oplus V_{2m}) = \Omega $。