[論文レビュー] Monogenic functions in finite-dimensional commutative associative algebras

Vitalii Shpakivskyi|arXiv (Cornell University)|Mar 24, 2015

Advanced Topics in Algebra参考文献 17被引用数 16

ひとこと要約

本稿は、複素数体上の有限次元可換結合的代数（m個の冪等元をもつ）における単生成関数（連続的かつGateaux微分可能な関数）の構成的記述を提供する。このような関数を複素変数の正則関数の合成として表現することにより、著者らはそれらがすべての順序のGateaux微分可能性を有することを証明し、従来の3次元ケースの結果を任意のk次元部分空間へ一般化する。

ABSTRACT

Let $\mathbb{A}_n^m$ be an arbitrary $n$-dimensional commutative associative algebra over the field of complex numbers with $m$ idempotents. Let $e_1=1,e_2,\ldots,e_k$ with $2\leq k\leq 2n$ be elements of $\mathbb{A}_n^m$ which are linearly independent over the field of real numbers. We consider monogenic (i.~e. continuous and differentiable in the sense of Gateaux) functions of the variable $\sum_{j=1}^k x_j\,e_j$, where $x_1,x_2,\ldots,x_k$ are real, and obtain a constructive description of all mentioned functions by means of holomorphic functions of complex variables. It follows from this description that monogenic functions have Gateaux derivatives of all orders. The present article is generalized of the author's paper [1], where mentioned results are obtained for $k=3$.

研究の動機と目的

• 複素数体上での有限次元可換結合的代数における単生成関数の既存結果（3次元調和代数の場合）を、任意の有限次元可換結合的代数へ一般化すること。
• 複素変数の正則関数を用いて単生成関数の構成的特徴づけを提供すること。
• このような代数における単生成関数が無限回Gateaux微分可能であることを確立すること。
• m個の冪等元をもつ代数およびk個の線形独立な実数生成元をもつ代数へ超複素解析の枠組みを拡張すること。
• 従来の単生成関数に関する半単純および非半単純代数における結果を統一・一般化すること。

提案手法

• 複素数体ℂ上に存在するm個の冪等元をもつn次元可換結合的代数𝔸ⁿᵐを考察する。
• ℝ上線形独立なk個の元e₁=1, e₂, ..., eₖを選び、それらがk次元実部分空間をなすようにする。
• 変数∑ⱼ xⱼ eⱼ（xⱼ ∈ ℝ）に関する連続的かつGateaux微分可能な関数として単生成関数を定義する。
• 複素変数の正則関数との合成により、このような単生成関数を構成する。
• Gateaux微分の条件dΦ = Φ′(ζ) dζを用いて微分制約を導出する。
• 生成関数の正則性を活用することで、得られた関数が無限回Gateaux微分可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限次元可換結合的代数（ℂ上）における単生成関数は、どのように構成的に記述できるか？
• RQ2 このような代数における単生成関数と複素変数の正則関数の間にはどのような関係があるか？
• RQ3 これらの代数における単生成関数は、すべての順序のGateaux微分可能性を有するか？
• RQ4 m個の冪等元の存在が、単生成関数の構造にどのように影響するか？
• RQ5 k=3の場合の結果を、代数の任意のk ≥ 2に対して一般化できるか？

主な発見

• 代数における単生成関数は、k個の複素変数の正則関数を用いて構成的に記述できる。
• この構成法により、単生成関数が無限回Gateaux微分可能であることが保証される。
• この手法により、従来の3次元代数の結果が、代数の任意のk次元実部分空間へ一般化される。
• 代数的構造、特に冪等元の存在により、単生成関数の体系的な分解が可能となる。
• この枠組みは、半単純および非半単純代数における従来の単生成関数の結果を統一的に扱う。
• 正則関数を構成要素として用いることで、解析的性質および古典的複素解析の原則との整合性が保証される。