[論文レビュー] On the development of Bohr's phenomenon in the context of Quaternionic analysis and related problems

J. Morais, K. Guerlebeck|arXiv (Cornell University)|Apr 7, 2010

Algebraic and Geometric Analysis参考文献 22被引用数 6

ひとこと要約

本稿は、3次元実空間 R³ の単位球において、斉次正規直交モノジェニック多項式の基底を用いて、クォaternion的解析におけるボーアの現象を発展させ、ボーア半径の改善された推定値を確立した。超複素導関数の上界を、その本質的上限ノルムと原点における値の観点から明示的に導出し、3次元クォaternion的解析における既存の結果を著しく改善するとともに、ボーア型不等式の高次元一般化のための枠組みを提供する。

ABSTRACT

The Bohr theorem states that any function $f(z) = \sum_{n=0}^{\infty} a_{n} z^{n}$, analytic and bounded in the open unit disk, obeys the inequality $\sum_{n=0}^{\infty} |a_{n}| |z|^{n} < 1$ in the open disk of radius 1/3, the so-called Bohr radius. Moreover, the value 1/$ cannot be improved. In this paper we review some results related to this theorem for the three-dimensional Euclidean space in the setting of quaternionic analysis. The existing results for the Bohr radius will be improved and also some estimates for the hypercomplex derivative of a monogenic function by the norm of the function will be proved.

研究の動機と目的

• クォaternion的解析を用いて、R³ の単位球におけるモノジェニック関数へのボーアの現象の拡張を図ること。
• 先行研究 [16, 17] で得られた半径 1/2 に制限されたボーア半径の推定値を改善すること。
• モノジェニック関数の超複素導関数の定量的上界を、その本質的上限ノルムと原点における値の観点から確立すること。
• 正規直交斉次モノジェニック多項式系とスカラー部の射影を用いた体系的アプローチの構築

提案手法

• R³ に値をとる縮約クォaternionに同一視された、3次元空間における斉次モノジェニック多項式の正規直交基底を構成する。
• この基底におけるフーリエ級数展開を用いてモノジェニック関数を表現し、内積を介して係数を抽出する。
• ボレル–カラテオドリ型不等式と積分推定を用いて、基底多項式のスカラー部およびそのノルムを上界で抑え込む。
• 関数のスカラー部とその最大モジュラスおよび原点における値との関係を L² 内積を介して関係づけ、係数推定を導出する。
• 超複素ディラック作用素 (1/2)D̅ を適用し、関数の本質的上限ノルムと f(0) を用いた導関数の上界を導出する。
• 直交性条件を用いて定数項を除去し、超正則定数の平均がゼロであるという仮定の下で推定値を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 縮約クォaternion的設定下で、R³ の単位球におけるモノジェニック関数に対する最適なボーア半径は何か？
• RQ2 正規直交斉次モノジェニック多項式系を用いることで、ボーア半径のより鋭い推定値を得られるか？
• RQ3 モノジェニック関数の超複素導関数は、その本質的上限ノルムと原点における値の観点から、どのように上界で抑えられるか？
• RQ4 ボレル–カラテオドリ型不等式は、フーリエ係数推定の観点からクォaternion的設定にどの程度一般化可能か？
• RQ5 超正則定数に対して直交する関数に制限した場合、ノルム推定値にどのような改善が可能か？

主な発見

• 従来の 1/2 という上限を上回るボーア半径が、精緻な多項式基底解析を用いて達成された。
• 超複素導関数に対する鋭い上界が得られた：|(1/2)D̅f(x)| ≤ (4/3)(M_f(1) - Sc{f(0)}) ∑_{n=1}^∞ |x|^{n-1} n²(n+1)(n+2)。
• 非自明な超正則定数に対して直交する関数に対しては、0 ≤ r < 1 に対して不等式 M((1/2)D̅f, r) ≤ (8(3r+1)/(1−r)^5)(M_f(1) − |f(0)|) が成り立つ。
• 係数推定は L² 内積およびスカラー部の射影を介して導出され、スカラー部の最大値と基底多項式のノルムを含む上界が得られた。
• 本手法は、モノジェニック多項式系を用いることで、複素ボーア定理の手法を3次元クォaternion的設定に成功裏に一般化した。
• 正規直交系とスカラー部分解を用いることで、従来の手法に比べてよりタイトで効果的な推定値が得られることを示した。