[論文レビュー] Cullen-regular quaternionic functions in a Fueter operator framework

Daniel Alayón-Solarz|ArXiv.org|May 2, 2008

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

ひとこと要約

本稿は、Cullen-正則なクaternion関数を特徴付けるためにFueter作用素の枠組みを確立し、Cullen-正則性とFueter作用素および虚数単位 $\iota$ を含む微分的恒等式との同値性を示している。Cullen-正則性の一般化された概念を導入し、$C^1$ 関数を超える範囲にまで拡張することで、角速度導関数を持つ連続関数に対する積分定理の適用が可能になる。

ABSTRACT

We show characterizations of the class of Cullen-regular functions in the sense of Gentili-Struppa for any domain $Ω$ in terms of the Fueter operator. We then state a Integral Theorem and discuss how it can be used to define a more general version of Cullen-regularity, that does not require the function to be of class $C^{1}$.

研究の動機と目的

• 球座標系における左-Fueter作用素を用いたCullen-正則関数の特徴付けを提供すること。
• 角速度導関数と積分的恒等式を活用することで、Cullen-正則性の概念を $C^1$ 関数を超えて拡張すること。
• 標準的意味での $C^1$ でないが、角変数 $\alpha$ および $\beta$ に関して $C^1$ である連続関数に対して、一般化された積分定理を確立すること。
• 積分定理の有効性および $\iota f$ に対する双対性に基づいて、より広いクラスのCullen-正則関数を定義すること。

提案手法

• 球座標系 $(t, r, \alpha, \beta)$ における左-Fueter作用素 $D_l$ を表現し、$\iota$ および $\partial/\partial_\iota$ を含む径方向および角方向成分に分解する。
• $\Omega \setminus \mathbb{R}$ における重要な恒等式 $D_l\iota f + \iota D_l f = -2f/r$ を導出し、これは左-Cullen-正則関数を特徴付ける。
• $u = \frac{1}{2} \partial_\iota(\iota f)$ および $v = \frac{1}{2} \partial_\iota(f)$ を定義し、$f = u + \iota v$ に分解することで、正則性と角速度導関数を結びつける。
• ガウスの定理を用いて積分的恒等式 $\int_K n(p)f(p)\,dS_K = \int_{K^*} (-2v/r)\,dV$ を導出する。これは実軸から離れた超曲面 $K$ に対して成り立つ。
• 積分定理および $\iota f$ に対する同様の恒等式が成り立つ限り、連続関数で $\alpha$ および $\beta$ に関して $C^1$ である関数に対してCullen-正則性を一般化する。
• 超正則関数（Cullen-正則関数の部分クラス）が右乗算によって正則性を保ち、かつ級数展開の仮定なしにFueterの定理を満たすための条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 Cullen-正則関数は、球座標系におけるFueter作用素を用いてどのように特徴付けられるか？
• RQ2 $D_l$, $\iota$, および $f$ を含む微分的恒等式は、$\Omega \setminus \mathbb{R}$ において左-Cullen-正則性と同値であるか？
• RQ3 角速度導関数と積分定理を用いて、Cullen-正則性の概念を非-$C^1$ 関数へ拡張可能か？
• RQ4 一般化されたCullen-正則関数が、級数展開の仮定なしにFueterの定理 $D_l\Delta f = 0$ を満たすための条件は何か？
• RQ5 $f = u + \iota v$ の実数部 $u$ および $v$ は、超正則関数の構造にどのように制約を加えるか？

主な発見

• Cullen-正則関数は、$\Omega \setminus \mathbb{R}$ において恒等式 $D_l\iota f + \iota D_l f = -2f/r$ によって特徴付けられ、これは標準的な $C^1$ 左-Cullen-正則性と同値である。
• 分解 $f = u + \iota v$ において $u = \frac{1}{2} \partial_\iota(\iota f)$, $v = \frac{1}{2} \partial_\iota(f)$ とすると、$\Omega \setminus \mathbb{R}$ で $D_l f = -2v/r$ および $D_l(\iota f) = -2u/r$ が成り立つ。
• 一般化された積分定理 $\int_K n(p)f(p)\,dS_K = \int_{K^*} (-2v/r)\,dV$ は、$t,x,y,z$ に関して $C^1$ でなくても、$\alpha$ および $\beta$ に関して $C^1$ である連続関数に対して成り立つ。
• 一般化されたCullen-正則性の条件は、実軸から離れたすべての滑らかで単純閉曲面 $K$ に対して、積分定理および $\iota f$ に対する双対性が成り立つことによって定義される。
• 超正則関数（$u$ および $v$ が角速度方程式 (1) および (2) を満たすもの）は、クォータニオン定数による右乗算によって正則性を保ち、右クォータニオン係数を持つ級数を含む。
• 超正則関数 $f$ が $C^3$ であれば、級数展開やFueterの元々の仮定なしに $D_l\Delta f = 0$ が成り立つ。