[論文レビュー] Integral theorems for monogenic functions in commutative algebras

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

Advanced Topics in Algebra参考文献 5被引用数 6

ひとこと要約

本稿では、複素数体ℂ上のn次元可換結合的代数にm個の冪等元をもつものにおいて、k次元実部分空間上に定義された連続的かつGateaux微分可能な関数（モノジェニック関数）に対して、曲線的類似のコーシー積分定理、モレラの定理、およびコーシー積分公式を確立する。主な貢献は、特にネガティブ部分代数の次元≤3であるか、特定の構造定数関係を満たす場合に、これらの積分定理が成り立つことを示したことである。これは、k ∈ [2, 2n] の任意の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 we prove curvilinear analogues of the Cauchy integral theorem, the Morera theorem and the Cauchy integral formula in $k$-dimensional ($2\leq k\leq 2n$) real subset of the algebra $\mathbb{A}_n^m$. The present article is generalized of the author's paper [1], where mentioned results are obtained for $k=3$.

研究の動機と目的

• 古典的複素解析における積分定理（コーシーの積分定理、モレラの定理、コーシー積分公式）を、ℂ上の可換代数のk次元実部分空間におけるモノジェニック関数へと拡張すること。
• Lorch微分可能性に依存する先行研究の制限を克服するため、より弱いGateaux微分可能性条件を用いること。
• 従来の3次元部分空間（k=3）における結果を、任意のk次元実部分空間（2 ≤ k ≤ 2n）へ一般化すること。
• 曲線的積分恒等式が成り立つための十分な代数的条件、特にネガティブ部分代数の構造に関する条件を同定すること。
• 半単純部とネガティブ部をもつ可換代数における積分定理の統一的枠組みを提供すること。

提案手法

• 代数𝔸ₙ^ᵐを、m次元の半単純部分代数S（冪等元で張られる）と(n−m)次元のネガティブ部分代数Nとの半直和として定義する。
• 𝔸ₙ^ᵐに属する線形独立な実係数結合e₁=1, e₂, ..., eₖから生成されるk次元実部分空間Eₖを構成する。
• 変数ζ = ∑ⱼ₌₁ᵏ xⱼ eⱼ（xⱼ ∈ ℝ）に関する連続的かつGateaux微分可能な関数としてモノジェニック関数を表現する。
• 微分形式σᵣを導出し、構造定数Υᵣ,ₖˢを用いてネガティブ部の可積分性条件を分析する。
• 微分形式σᵣを含む重要な恒等式(19)を確立し、ネガティブ部分代数の特定の条件下で積分定理を証明する。
• 関数型fᵤを用いて代数の元を半単純部へ射影し、分解と微分構造の分析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ℂ上の可換代数のk次元実部分空間におけるモノジェニック関数に対して、曲線的類似のコーシー積分定理および公式が成り立つ条件は何か？
• RQ2 ネガティブ部分代数の構造は、Gateauxモノジェニック関数に対する積分定理の有効性にどのように影響するか？
• RQ3 k=3のとき（既に確立済み）の結果を、任意のk ∈ [2, 2n] へ一般化できるか？
• RQ4 構造定数Υᵣ,ₖˢにどのような代数的制約を課すと、微分形式σᵣが消えるか。これは積分恒等式に不可欠である。
• RQ5 ζが半単純部分代数S内にあるか、またはネガティブ部分代数N内にある場合、恒等式(19)の有効性が保証されるのはどのような状況か？

主な発見

• 曲線的コーシー積分定理、モレラの定理、およびコーシー積分公式は、𝔸ₙ^ᵐのk次元実部分空間（2 ≤ k ≤ 2n）におけるモノジェニック関数へ一般化された。
• 恒等式(19)は、代数が純粋に半単純（𝔸ₙ^ᵐ ≡ S、すなわちN = 0）である場合に成り立つ。
• ネガティブ部分代数Nの複素次元が≤3である場合、e₂, ..., eₖの選択にかかわらず恒等式(19)は成り立つ。
• dimℂ N = 4の場合、すべての係数aⱼ,ₘ₊₁ = 0であり、かつすべてのj = 2, ..., kに対してaⱼ,ₘ₊₂またはaⱼ,ₘ₊₃の少なくとも一方が0であれば、恒等式(19)は成り立つ。
• 特定の14個の関係式において、構造定数Υᵣ,ₖˢがすべて0であれば、σᵣ = 0（r = m+1, ..., n）が保証され、恒等式(19)は成り立つ。
• 恒等式(26)の消滅条件を満たす代数の例としては、I₂² = I₃, I₂I₄ = I₅、またはI₂² = I₃, I₄² = I₅で、他の積はすべて0となるような乗法規則を持つものがある。