[論文レビュー] Hyperbolic Cauchy Integral Formula for the Split Complex Numbers

Matvei Libine|ArXiv.org|Dec 3, 2007

Algebraic and Geometric Analysis参考文献 3被引用数 10

ひとこと要約

本稿は、j² = 1 を満たす代数 ℝ¹,¹ における分割複素数のための双曲的コーシー積分公式を確立する。波動方程式 □₁,₁F = 0 の解に対する積分表現は、光円錐上の特異性を正則化するカーネル K_{Z₀,ε}(Z) を通じて得られ、古典的コーシー公式が分割複素数設定に一般化される。主な結果は、滑らかで有界な ∂₁,₁⁺F = 0 の解に対して、|N(Z)| = R における閉曲線積分として F(Z₀) を表す極限公式である。

ABSTRACT

In our joint papers [FL1-FL2] we revive quaternionic analysis and show deep relations between quaternionic analysis, representation theory and four-dimensional physics. As a guiding principle we use representation theory of various real forms of the conformal group. We demonstrate that the requirement of unitarity of representations naturally leads us to the extensions of the Cauchy-Fueter and Poisson formulas to the Minkowski space, which can be viewed as another real form of quaternions. However, the Minkowski space formulation also brings some technical difficulties related to the fact that the singularities of the kernels in these integral formulas are now concentrated on the light cone instead of just a single point in the initial quaternionic picture. But the same phenomenon occurs when one passes from the complex numbers to the split complex numbers (or hyperbolic algebra). So, as a warm-up example we proved an analogue of the Cauchy integral formula for the split complex numbers. On the other hand, there seems to be sufficient interest in such formula among physicists. For example, see [KS] and the references therein.

研究の動機と目的

• 古典的コーシー積分公式を、j² = 1 で、ラプラシアンの代わりに波動作用素が働く代数 ℝ¹,¹ に拡張すること。
• 双曲的ケイリー代数のクaternion的解析の類似物における光円錐特異性に起因する技術的課題を解決すること。
• 正則化カーネルを用いて、2次元における波動方程式 □₁,₁F = 0 の解に対する厳密な積分表現を提供すること。
• 局所化関数 φ を用いて非有界関数への一般化を図ることで、有界解に限らない適用可能性を保証すること。

提案手法

• ℝ¹,¹ を ℝ² に j² = 1 での乗法 x + jy を備えた分割複素数代数として定義し、∂₁,₁ および ∂₁,₁⁺ という微分作用素を導入し、∂₁,₁∂₁,₁⁺ = ¼□₁,₁ を満たすようにする。
• ∂₁,₁⁺F = 0 の解を、滑らかな f,g: ℝ → ℝ に対して F(x,y) = (f(x+y) + jf(x+y)) + (g(x−y) − jg(x−y)) として特徴付ける。
• 光円錐 N(Z) = x² − y² = 0 上の特異性を取り扱うために、符号関数と ε-正則化を用いて正則化カーネル K_{Z₀,ε}(Z) を構成する。
• 有界領域 U = {Z : |N(Z)| < R} に対してストークスの定理を適用し、境界 ∂U を外向き法線と接線ベクトルのペアで方向付ける。
• 関数 F を Z₀ の近傍で局所化しながら全純性を保つために、局所化関数 φ を導入する。
• 極限過程を用いて積分公式を証明する：ε → 0⁺ および S → ∞ のとき、閉曲線積分はポアソン核の極限 ∫ 2ε/((u−u₀)²+ε²) du → 2πi を用いて F(Z₀) に収束する。

実験結果

リサーチクエスチョン

• RQ1 j² = 1 で波動作用素 □₁,₁ がラプラシアンの代わりに働く分割複素数代数 ℝ¹,¹ において、古典的コーシー積分公式をどのように一般化できるか？
• RQ2 ℝ¹,¹ における ∂₁,₁⁺F = 0 の解の構造は何か？また、x+y や x−y の関数とどのように関係するか？
• RQ3 N(Z) = 0 における光円錐上での特異性をどのように正則化し、双曲的設定における意味のある積分カーネルを定義できるか？
• RQ4 局所化関数を用いて、∂₁,₁⁺F = 0 の非有界解への積分公式を拡張できるか？
• RQ5 ε → 0⁺ のとき、正則化カーネル K_{Z₀,ε}(Z) の極限挙動は何か？また、F(Z₀) をどのように回復できるか？

主な発見

• ∂₁,₁⁺F = 0 の解は、F(x,y) = (f(x+y) + jf(x+y)) + (g(x−y) − jg(x−y)) と、x+y および x−y の関数にのみ依存する成分に分解できる関数に限り、正確に一致する。
• カーネル K_{Z₀,ε}(Z) は、2つの特徴的方向（x+y および x−y）に対応する2つの項の和として構成され、光円錐特異性を取り扱うために ε-正則化と符号関数が用いられる。
• ∫_{|N(Z)|=R} K_{Z₀,ε}(Z) · F(Z) dZ は ε → 0⁺ のとき 2πi · F(Z₀) に収束し、双曲的コーシー公式が確立される。
• 有界解に対しては、d(F dZ) = 2j · (∂₁,₁⁺F) dx∧dy により ∫_{∂U} F dZ = 0 が成り立つ。これは ∂₁,₁⁺F = 0 のとき消える。
• K_{Z₀,φ,ε} を用いた局所化バージョンの公式により、F を Z₀ の近傍で局所化しながら全純性を保ち、非有界解への応用が可能になる。
• 極限 ∫_{-∞}^{∞} 2ε/((u−u₀)²+ε²) du → 2πi は ε → 0⁺ のとき、ポアソン核を用いて F(Z₀) を回復するのに用いられ、正則化の正当性が確認される。