[論文レビュー] On quaternionic functions

Pierre Dolbeault|arXiv (Cornell University)|Jan 7, 2013

Elasticity and Wave Propagation参考文献 2被引用数 5

ひとこと要約

本稿は、四元数関数の右逆関数に対する剰余電流を導入し、複素解析の概念を四元数におけるハイパーホロモーフィック関数へと拡張する。ハイパーメルモーフィック関数は非線形偏微分方程式系の解として特徴付けられ、特に2つの複素変数に関連して、四元数的設定におけるコーシー主値および剰余電流の枠組みが確立される。

ABSTRACT

Several sets of quaternionic functions are described and studied. Residue current of the right inverse of a quaternionic function is introduced in particular cases.

研究の動機と目的

• 1つの複素変数における剰余電流の概念を四元数関数へと拡張すること。
• 逆関数がほとんど everywhere でハイパーホロモーフィックであるような四元数関数を特徴付け、'ハイパーメルモーフィック'関数のクラスを導入すること。
• 特別な場合における四元数関数の逆関数に関するコーシー主値および剰余電流を定義し、それらを研究すること。
• 四元数的剰余電流が2つの複素変数における古典的理論とどのように関係するかを明らかにすること。
• 四元数的メルモーフィック関数およびその特異点に関するより包括的な理論の基盤を築くこと。

提案手法

• 修正されたコーシー＝フイーター作用素 D を用いて、複素成分 f₁ および f₂ を含む2つの非線形偏微分方程式系によりハイパーホロモーフィック関数を定義する。
• 四元数関数 q = z₁ + z₂j の右逆関数を (|z₁|² + |z₂|²)⁻¹(𝑧̅₁ − z₂j) として定義する。これは f ≠ 0 である限り有効である。
• ℂ² ≅ ℍ における複素微分形式および電流を用い、∂̄-作用素と ℂ² における球面への積分を用いて、剰余電流を定義する。
• 極座標および S³ 上の球面体積形式を用いて、|f| = ε における積分の極限を計算し、原点におけるデルタ関数型測度を導出する。
• 逆微分形式 ω = f⁻¹ df の構造を用いて、剰余電流 Res[ω] をレベル集合上の積分の極限として定義する。
• 特に、2変数複素解析における既知の結果、特にコーシーの剰余公式を用いて、四元数的剰余電流が一般化であると解釈する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーホロモーフィックな四元数関数の右逆関数が、ほとんど everywhere でハイパーホロモーフィックであるための条件は何か？
• RQ2 1つの複素変数における剰余電流の概念を四元数的設定へとどのように一般化できるか？
• RQ3 四元数関数の逆関数に関連する剰余電流の構造は何か？ また、古典的コーシーの剰余とはどのように関係するか？
• RQ4 f₁ = z̄₁, f₂ = z̄₂ のような特定の四元数関数クラスに対して、剰余電流を明示的に計算できるか？
• RQ5 非線形偏微分方程式を用いて定義されるハイパーメルモーフィック関数の空間の代数的および解析的性質は何か？

主な発見

• ハイパーホロモーフィック関数の逆関数がほとんど everywhere でハイパーホロモーフィックであるための必要十分条件は、修正されたコーシー＝フイーター作用素から導かれる2つの非線形偏微分方程式系を満たすことである。
• 非自明なハイパーメルモーフィック関数の例が存在することを確認し、この関数空間が非退化的で数学的に有意義であることが示された。
• f₁ = z̄₁, f₂ = z̄₂ の場合、剰余電流 Res[ω] は δ₀(φ₂₂ − φ̄₁₂j) に等しく、原点におけるデルタ関数であり、複素剰余と類似している。
• f₂ = 0 で f₁ が正則関数である場合、剰余電流は古典的コーシーの剰余 2πi に原点での評価を乗じたものに簡約され、複素解析との一貫性が確認された。
• 剰余電流は電流の意味で適切に定義されており、εS³ における積分を用いて計算可能であり、ε → 0 の極限で原点に台を持つ分布が得られる。
• この枠組みにより、四元数解析と複素変数関数論における複数変数の剰余電流理論との橋渡しがなされた、特に ℂ² において顕著である。