[论文解读] The Growth and Distortion Theorems for Slice Monogenic Functions

Guangbin Ren, Xieping Wang|arXiv (Cornell University)|Oct 16, 2014

Algebraic and Geometric Analysis参考文献 23被引用 8

一句话总结

本文建立了 Clifford 代数和四元数中切片正则函数与切片广义解析函数的精确增长与扭曲定理，将经典复分析结果推广至非交换设置，且无需假设星形性或凸性。通过引入一种新颖的凸组合恒等式，作者证明了这些定理对单值切片扩张普遍成立，并进一步在四元数设置中建立了 Koebe 四分之一定理，且等号在广义 Koebe 函数处精确成立。

ABSTRACT

The sharp growth and distortion theorems are established for slice monogenic extensions of univalent functions on the unit disc $\mathbb D\subset \mathbb C$ in the setting of Clifford algebras, based on a new convex combination identity. The analogous results are also valid in the quaternionic setting for slice regular functions and we can even prove the Koebe type one-quarter theorem in this case. Our growth and distortion theorems for slice regular (slice monogenic) extensions to higher dimensions of univalent holomorphic functions hold without extra geometric assumptions, in contrast to the setting of several complex variables in which the growth and distortion theorems fail in general and hold only for some subclasses with the starlike or convex assumption.

研究动机与目标

• 将单复变量中的经典增长与扭曲定理推广至使用切片广义解析函数与切片正则函数的高维非交换设置。
• 通过引入适用于 Clifford 代数与四元数的新凸组合恒等式，克服多复变函数中标准方法的失效。
• 证明增长与扭曲定理对单值函数的切片广义解析扩张普遍成立，且无需星形性或凸性等额外几何假设。
• 在四元数设置中为切片正则函数建立类似 Koebe 的四分之一定理。
• 阐明界限的精确性，并将极值函数刻画为广义 Koebe 函数。

提出的方法

• 推导一个新的凸组合恒等式（公式 3.11），以关联切片广义解析函数与其在切片上的复对应物。
• 通过凸组合恒等式，将高维增长与扭曲定理约化为经典复分析情形。
• 利用开映射定理与公式 (3.11) 中的第一个不等式，证明四元数设置下的 Koebe 四分之一定理。
• 分析切片正则函数在复切片（如 $f_I$）上的限制，以建立单射性与像包含性质。
• 运用定义域不变定理与切片泛函演算的性质，分析极值情形。
• 通过在函数保持至少一个切片的条件下，将凸组合恒等式适配至八元数与实可除 *-代数，推广结果。

实验结果

研究问题

• RQ1 经典复分析中单值全纯函数的增长与扭曲定理能否在无几何约束条件下推广至 Clifford 代数中的切片广义解析函数？
• RQ2 在四元数设置中，切片正则函数是否也存在 Koebe 四分之一定理？
• RQ3 凸组合恒等式在连接复分析与非交换函数理论中起到何种作用？
• RQ4 在切片正则设置中，增长与扭曲界限的极值函数是否恰好为广义 Koebe 函数？
• RQ5 类 $\mathcal{S}_0$ 是否为满足增长、扭曲与覆盖定理的归一化切片正则函数的最大子类？

主要发现

• 在 $\mathbb{R}_n$ 中，切片广义解析函数的增长与扭曲定理是精确的，且无需任何几何假设，从而推广了经典复分析结果。
• 对每个 $x \in \mathbb{B}$，有不等式 $\frac{|x|}{(1+|x|)^2} \leq |f(x)| \leq \frac{|x|}{(1-|x|)^2}$ 成立，且等号当且仅当 $f(x) = x(1 - x e^{i\theta})^{-\ast 2}$ 时成立。
• 导数界限 $\frac{1-|x|}{(1+|x|)^3} \leq |f'(x)| \leq \frac{1+|x|}{(1-|x|)^3}$ 成立且精确，等号仅在广义 Koebe 函数时成立。
• 球面对应导数界限 $\frac{1-|x|}{1+|x|} \leq \left| x f'(x) \ast f^{-\ast}(x) \right| \leq \frac{1+|x|}{1-|x|}$ 成立，且等号刻画了 Koebe 型极值函数。
• 在四元数设置中证明了 Koebe 四分之一定理：函数 $f$ 的单位球像包含开球 $B(0,1/4)$，且等号在 $f = k_{I,\theta}$ 时精确成立。
• 证明了类 $\mathcal{S}_0$ 是这些定理的自然定义域，且本文提出开放问题：它是否为满足这些定理的最大此类类。