[论文解读] A four dimensional Jensen formula

Alessandro Perotti|arXiv (Cornell University)|Feb 18, 2019

Algebraic and Geometric Analysis参考文献 10被引用 4

一句话总结

本文为一个四元数变量的切片正则函数建立了四维 Jensen 公式，将函数在某一点的取值及其前两个导数与函数在 3-球面上的积分平均值以及其零点和极点的分布联系起来。该公式将先前的结果推广至非保切片函数，并通过广义 Blaschke 型因式分解，统一处理了孤立零点和极点以及球面对零点和极点。

ABSTRACT

We prove a Jensen formula for slice-regular functions of one quaternionic variable. The formula relates the value of the function and of its first two derivatives at a point with its integral mean on a three dimensional sphere centred at that point and with the disposition of its zeros. The formula can be extended to semiregular slice functions.

研究动机与目标

• 将切片正则函数的 Jensen 公式推广至四元数设定下的非保切片函数。
• 利用四元数上切片正则函数的结构，将经典 Jensen 公式推广至四维实空间。
• 通过 Blaschke 型因子，将孤立零点和极点以及球面对零点和极点统一纳入一个积分公式。
• 通过切片积和提升至复四元数，为包含极点的半正则函数提供一个有效的公式。
• 建立一个框架，利用球面对称性和迹运算，计算原点处的对数积分与导数。

提出的方法

• 通过 $\mathbb{H} \otimes_{\mathbb{R}} \mathbb{C}$ 中的茎函数构造，将切片正则函数提升为复化四元数上的全纯函数。
• 利用切片积和倒数 Blaschke 因子，构造一个保切片的乘子 $g$，使得 $gf$ 延拓为一个切片正则函数 $h$。
• 通过实极点 $p_k$ 的 $r$-Blaschke 因子和球面对极点 $b_i$ 的普通函数定义 $g$，确保在 $\partial\mathbb{B}_r$ 上有 $|g|=1$。
• 应用已知的 $h$ 的 Jensen 公式，并分解对数项，以恢复 $f$ 的公式。
• 利用球面对算子和拉普拉斯算子 $\Delta_4$，将原点处的二阶导数与 $|N(f)|$ 的对数积分联系起来。
• 通过引入孤立重数 $i_f(z_j)$ 来处理非恒定极点阶数，并利用导出的恒等式匹配各项贡献。

实验结果

研究问题

• RQ1 如何将经典 Jensen 公式推广至四元数变量的切片正则函数在四维实空间的情形？
• RQ2 球面对零点和极点在四元数函数的广义 Jensen 型公式中起什么作用？
• RQ3 切片正则函数在原点的一阶和二阶导数如何与它在 3-球面上的积分平均值相关联？
• RQ4 能否为包含变阶零点和极点的半正则函数推导出一个统一的公式？
• RQ5 非恒定阶数的球面对极点对 Jensen 公式中对数积分的贡献是什么？

主要发现

• 公式将 $\log|f(0)|$ 及其前两个导数表示为 $\log|f|$ 和 $\log|f \circ S_f|$ 在 3-球面 $\partial\mathbb{B}_r$ 上的积分平均值。
• 公式中包含了对孤立零点 $a_i$、孤立极点 $p_k$ 和球面对极点 $\SS_{b_i}$ 的校正项，其显式依赖于 $|a_i|$、$|p_k|$ 和 $|b_i|$。
• 对于非恒定阶数的球面对极点，公式考虑了孤立重数 $i_f(z_j)$，其贡献与 $a_i$ 满足 $q' = q$ 的情况相匹配。
• 项 $\frac{r^2}{4}\operatorname{Re}\left(\left(f(0)^{-1}\overline{\frac{\partial f}{\partial x}(0)}\right)^2\right)$ 捕获了一阶导数对对数平均值的影响。
• 项 $-\frac{r^2}{4}\operatorname{Re}\left(f(0)^{-1}\frac{\partial^2 f}{\partial x^2}(0)\right)$ 表征了原点处二阶导数的贡献。
• 当所有极点和零点为实数或常数阶数的球面对时，公式正确退化为保切片情形，并与 [1] 和 [10] 中的已知结果一致。