[論文レビュー] 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

ひとこと要約

本稿は、クォータニオンやクライフォード代数におけるスライス正則関数およびスライスモノジェニック関数について、星型性や凸性を仮定せずに、非可換設定へ古典的複素解析の結果を拡張する鋭い成長および歪み定理を確立する。著者らは、新規の凸結合恒等式を用いて、単一のスライス拡張に関してこれらの定理が普遍的に成り立つことを証明し、さらにクォータニオン的設定においてKoebeの1/4定理を確立し、等号が一般化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.

研究の動機と目的

• 1変数複素関数の古典的成長および歪み定理を、スライスモノジェニック関数およびスライス正則関数を用いて、高次元非可換設定へ拡張すること。
• 複素変数関数の標準的手法が失敗する幾つかの状況を克服するため、クライフォード代数およびクォータニオンに適用可能な新規の凸結合恒等式を導入すること。
• 星型性や凸性といった追加の幾何的仮定を必要とせず、単一関数のスライスモノジェニック拡張に関して、成長および歪み定理が成り立つことを証明すること。
• クォータニオン的設定において、スライス正則関数に対してKoebe型の1/4定理を確立すること。
• 境界の鋭さを明確にし、極値関数が一般化Koebe関数として特徴づけられることを明らかにすること。

提案手法

• スライスモノジェニック関数とそのスライス上での複素対応関数を関連付ける新しい凸結合恒等式（式3.11）を導出する。
• 凸結合恒等式を用いて、高次元の成長および歪み定理を古典的複素ケースに還元する。
• 開写像定理および式(3.11)の最初の不等式を用いて、クォータニオン的設定におけるKoebeの1/4定理を証明する。
• 複素スライスへのスライス正則関数の制限（例：$f_I$）を分析して、単射性および像の包含性の性質を確立する。
• 定義域不変の定理およびスライス関数計算の性質を用いて、極値ケースを分析する。
• 関数が少なくとも1つのスライスを保存するという条件下で、凸結合恒等式を適応させることにより、結果をオクタニオンおよび実代数的*-代数へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 正則な全純関数の古典的成長および歪み定理は、幾何的制約なしに、クライフォード代数におけるスライスモノジェニック関数へ拡張可能か？
• RQ2 クォータニオン的設定におけるスライス正則関数に対して、Koebeの1/4定理が成り立つか？
• 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の1/4定理が証明された：$f$による単位球の像は、開球$B(0,1/4)$を含み、等号は$f = k_{I,\theta}$のときに達成される。
• $\mathcal{S}_0$がこれらの定理の自然な定義域であることが示され、同定理が最大クラスであるかどうかは未解決の問題として提起されている。