[论文解读] Cullen-regular quaternionic functions in a Fueter operator framework

Daniel Alayón-Solarz|ArXiv.org|May 2, 2008

Algebraic and Geometric Analysis参考文献 7被引用 3

一句话总结

本文建立了一个Fueter算子框架，用于表征Cullen-正则四元数函数，证明了Cullen-正则性与涉及Fueter算子和虚单位 $\iota$ 的微分恒等式之间的等价性。本文引入了一种广义的Cullen-正则性概念，使其超越 $C^1$ 函数的范围，从而为具有角导数的连续函数建立了积分定理。

ABSTRACT

We show characterizations of the class of Cullen-regular functions in the sense of Gentili-Struppa for any domain $Ω$ in terms of the Fueter operator. We then state a Integral Theorem and discuss how it can be used to define a more general version of Cullen-regularity, that does not require the function to be of class $C^{1}$.

研究动机与目标

• 在球坐标系中，利用左Fueter算子对Cullen-正则函数进行表征。
• 通过利用角导数和积分恒等式，将Cullen-正则性的概念扩展至 $C^1$ 函数之外。
• 为在 $\alpha$ 和 $\beta$ 方向为 $C^1$ 但未必在标准意义下为 $C^1$ 的连续函数，建立广义积分定理。
• 基于积分定理及其对 $\iota f$ 的对偶形式的有效性，定义更广泛的Cullen-正则函数类。

提出的方法

• 在球坐标系 $(t, r, \alpha, \beta)$ 中表达左Fueter算子 $D_l$，将其分解为包含 $\iota$ 和 $\partial/\partial_\iota$ 的径向与角向分量。
• 推导关键恒等式 $D_l\iota f + \iota D_l f = -2f/r$，该恒等式在 $\Omega \setminus \mathbb{R}$ 中表征左Cullen-正则函数。
• 定义 $u = \frac{1}{2} \partial_\iota(\iota f)$ 和 $v = \frac{1}{2} \partial_\iota(f)$，以分解 $f = u + \iota v$，并将正则性与角导数联系起来。
• 利用高斯定理推导积分恒等式：对于不与实轴相交的超曲面 $K$，有 $\int_K n(p)f(p)\,dS_K = \int_{K^*} (-2v/r)\,dV$。
• 在积分定理及其对 $\iota f$ 的对偶形式均成立的前提下，将Cullen-正则性广义化至在 $\alpha$ 和 $\beta$ 方向为 $C^1$ 的连续函数。
• 建立超全纯函数（Cullen-正则函数的一个子类）在右乘以四元数常数时保持正则性的条件，并在不假设幂级数的前提下满足Fueter定理。

实验结果

研究问题

• RQ1 如何在球坐标系中利用Fueter算子表征Cullen-正则函数？
• RQ2 在 $\Omega \setminus \mathbb{R}$ 中，与 $D_l$、$\iota$ 和 $f$ 相关的何种微分恒等式等价于左Cullen-正则性？
• RQ3 能否通过角导数和积分定理，将Cullen-正则性的概念扩展至非 $C^1$ 函数？
• RQ4 在不依赖幂级数表示的前提下，广义Cullen-正则函数在何种条件下满足Fueter定理 $D_l\Delta f = 0$？
• RQ5 函数 $f = u + \iota v$ 的实部 $u$ 和 $v$ 如何约束超全纯函数的结构？

主要发现

• Cullen-正则函数由恒等式 $D_l\iota f + \iota D_l f = -2f/r$ 在 $\Omega \setminus \mathbb{R}$ 中表征，该恒等式与标准 $C^1$ 左Cullen-正则性等价。
• 通过分解 $f = u + \iota v$，其中 $u = \frac{1}{2} \partial_\iota(\iota f)$，$v = \frac{1}{2} \partial_\iota(f)$，可得在 $\Omega \setminus \mathbb{R}$ 中 $D_l f = -2v/r$ 且 $D_l(\iota f) = -2u/r$。
• 广义积分定理 $\int_K n(p)f(p)\,dS_K = \int_{K^*} (-2v/r)\,dV$ 对在 $\alpha$ 和 $\beta$ 方向为 $C^1$ 的连续函数成立，即使其在 $t,x,y,z$ 方向不为 $C^1$。
• 广义Cullen-正则性条件由积分定理及其对 $\iota f$ 的对偶形式在所有与实轴不相交的光滑简单闭超曲面上的有效性所定义。
• 超全纯函数（其中 $u$ 和 $v$ 满足角方程 (1) 和 (2)）在右乘以四元数常数时保持正则性，并包含右四元数系数的幂级数。
• 若一个超全洁函数 $f$ 为 $C^3$，则 $D_l\Delta f = 0$ 成立，无需假设幂级数或Fueter原始假设。