[論文レビュー] A four dimensional Jensen formula

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

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

ひとこと要約

本稿は、1変数のクaternion関数に対するスライス正則関数の4次元のジェンセンの公式を確立し、関数の値および最初の2階微分を、3次球面上の積分平均および零点・極の分布と関連付ける。この公式は、従来の結果をスライスを保存しない関数へ拡張し、一般化されたブラシュケ型因数分解を用いて、孤立した零点および球面型零点・極を統合的に扱う。

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.

研究の動機と目的

• スライス正則関数のジェンセンの公式を、クォータニオン的設定におけるスライスを保存しない関数へ一般化すること。
• クォータニオン上のスライス正則関数の構造を用いて、4実次元における古典的ジェンセンの公式を拡張すること。
• ブラシュケ型因数を用いて、孤立した零点および球面型零点・極を統一的な積分公式に統合すること。
• スライス積と複素クォータニオンへの上昇を活用して、極を含む半正則関数に対しても有効な公式を提供すること。
• 球面対称性とトレース作用素を用いて、原点における対数積分および微分を計算するための枠組みを確立すること。

提案手法

• 複素クォータニオン $\mathbb{H} \otimes_{\mathbb{R}} \mathbb{C}$ 上の茎関数構成を用いて、スライス正則関数を複素クォータニオン上の正則関数へ上昇する。
• スライス積および逆数ブラシュケ因数を用いて、$gf$ がスライス正則関数 $h$ に拡張されるようなスライス保存型乗数 $g$ を構成する。
• 実極 $p_k$ に対して $r$-ブラシュケ因数、球面型極 $b_i$ に対して通常の関数を用いて $g$ を定義し、$\partial\mathbb{B}_r$ 上で $|g|=1$ となるようにする。
• 既知の $h$ に対するジェンセンの公式を適用し、対数項を分解して $f$ に対する公式を回復する。
• 球面型作用素およびラプラシアン $\Delta_4$ を用いて、原点における2階微分を $|N(f)|$ の対数積分と関連付ける。
• 非定数極の位数を考慮するために、孤立した重複度 $i_f(z_j)$ を導入し、導出された恒等式により寄与項を一致させる。

実験結果

リサーチクエスチョン

• RQ1 古典的ジェンセンの公式を、1変数クォータニオン関数のスライス正則関数に、4実次元に拡張することは可能か？
• RQ2 球面型および孤立した零点・極は、クォータニオン関数の一般化されたジェンセン型公式において果たす役割は何か？
• RQ3 スライス正則関数の原点における1階および2階微分は、3次球面上の積分平均とどのように関係するか？
• RQ4 変動する位数を持つ零点および極を含む半正則関数に対して、統一された公式を導出可能か？
• RQ5 非定数位数の球面型極は、ジェンセンの公式における対数積分にどのように寄与するか？

主な発見

• 公式は、$\log|f(0)|$ およびその最初の2階微分を、3次球面 $\partial\mathbb{B}_r$ 上での $\log|f|$ および $\log|f \circ S_f|$ の積分平均で表す。
• 孤立した零点 $a_i$、孤立した極 $p_k$、球面型極 $\SS_{b_i}$ の補正項を含み、$|a_i|$、$|p_k|$、$|b_i|$ に明示的な依存性を示す。
• 非定数位数の球面型極に対しては、孤立した重複度 $i_f(z_j)$ を考慮し、その寄与は $q' = q$ を満たす $a_i$ の和と一致する。
• 項 $\frac{r^2}{4}\operatorname{Re}\left(\left(f(0)^{-1}\overline{\frac{\partial f}{\partial x}(0)}\right)^2\right)$ は、1階微分が対数平均に与える影響を捉えている。
• 項 $-\frac{r^2}{4}\operatorname{Re}\left(f(0)^{-1}\frac{\partial^2 f}{\partial x^2}(0)\right)$ は、原点における2階微分の寄与を説明している。
• すべての零点および極が実数または定数位数の球面型である場合、公式はスライス保存型の場合に正しく還元され、[1]および[10]の既知の結果と一致する。