[論文レビュー] Quasi-conformal functions of quaternion and octonion variables, their integral transformations

S. V. Lüdkovsky|arXiv (Cornell University)|Mar 27, 2007

Algebraic and Geometric Analysis参考文献 16被引用数 13

ひとこと要約

本稿は、ケイリー・ディクソン代数に基づく擬等角および擬正則関数を、クaternionとオクトンニオンの上に定義し、留数や引数の原理といった解析的性質を確立する。擬等角微分同相写像の族が位相群をなすことを証明し、非可換ラプラシアンおよびメリン変換を用いた応用を示し、複素解析および非可換幾何学に貢献する。

ABSTRACT

The article is devoted to holomorphic and meromorphic functions of quaternion and octonion variables. New classes of quasi-conformal and quasi-meromorphic mappings are defined and investigated. Properties of such functions such as their residues and argument principle are studied. It is proved, that the family of all quasi-conformal diffeomorphisms of a domain form a topological group relative to composition of mappings. Cases when it is a finite-dimensional Lie group over $\bf R$ are studied. Relations between quasi-conformal functions and integral transformations of functions over quaternions and octonions are established. For this, in particular, noncommutative analogs of the Laplace and Mellin transformations are studied and used. Examples of such functions are given. Applications to problems of complex analysis are demonstrated.

研究の動機と目的

• クaternionおよびオクトンニオン上での新しい正則関数および正則関数のクラスを定義することで、非可換代数への複素解析の拡張を図ること。
• 擬等角および擬正則写像の性質、特に留数や引数の原理を調査すること。
• ある領域上のすべての擬等角微分同相写像の集合が合成に関して位相群をなすことの確立。
• クaternionおよびオクトンニオン上の関数に対して、非可換ラプラシアンおよびメリン積分変換の類似物を構築すること。
• リーマンゼータ関数の零点が臨界線上にあることの証明を含む、複素解析の問題への理論の応用。

提案手法

• ケイリー・ディクソン部分代数上の擬等角関数を用いて、擬等角および擬正則写像を定義し、実影 R^{2^b} 上の回転作用素を適用する。
• ケイリー・ディクソン代数における球面座標を用いて、(1,b)-擬正則および(1,b)-擬積分拡張を定義・分析する。
• 非可換ラプラシアンおよびメリン変換を用いて、関数の挙動と対称性を分析し、特にリーマンゼータ関数と関連して考察する。
• 変換された関数の対称性特性（25(1')、25(1',2)）を確立し、引数の原理および零点分布定理の条件を満たすようにする。
• 擬等角微分同相写像の合成が位相群をなすことを証明し、それが実数体上での有限次元リー群となる条件を特定する。
• 恒等式 ∫f(t)exp(pt)dt = g(p)∫f(t)exp((1−p)t)dt を用いて関数方程式および g(p) に対する対称性制約を導出し、g(1/2)=1 および g(p)g(1−p)=1 を得る。

実験結果

リサーチクエスチョン

• RQ1 クaternionやオクトンニオンといった非可換代数上に、意味のある正則関数および正則関数の理論を構築することは可能か？
• RQ2 非可換設定下における擬等角および擬正則関数の解析的性質（留数や引数の原理など）は何か？
• RQ3 ある領域上の擬等角微分同相写像の族は合成に関して位相群をなすか？また、それが有限次元リー群となる条件は何か？
• RQ4 非可換ラプラシアンおよびメリン変換の類似物は、どのように構築され、特殊関数（例：リーマンゼータ関数）に応用できるか？
• RQ5 これらの変換の対称性および積分構造を用いて、リーマンゼータ関数のすべての非自明な零点が臨界線 Re(s)=1/2 上にあることを証明できるか？

主な発見

• ある領域上のすべての擬等角微分同相写像の族は合成に関して位相群をなし、それが実数体上での有限次元リー群となる条件も特定された。
• (1,b)-擬正則および(1,b)-擬積分拡張は、ケイリー・ディクソン代数における球面座標を用いて定義され、対称性および解析的挙動の分析が可能になった。
• 非可換ラプラシアンおよびメリン変換が構築され、特にリーマンゼータ関数と関連する特定の対称性を持つ関数の分析に用いられた。
• 関数 f(t) = −exp(−|t|/2) + 2exp(|t|/2)ψ(exp(2|t|)) が実数値かつ偶関数であることが示され、その変換が対称性条件 25(1') および 25(1',2) を満たすことが確認された。
• 関数 Ω^s(p) = [w^s(p)]^{-1}g^s(p) が対称性特性 25(1',2) を満たすことが証明され、これにより定理 2.17 をゼータ関数に適用可能となった。
• リーマンゼータ関数のすべての非自明な複素零点が、関数方程式および与えられた条件下での変換の対称性に基づき、臨界線 Re(s) = 1/2 上にあることが示された。