[論文レビュー] Analytic cliffordian functions

Guy Laville, Eric Lehman|arXiv (Cornell University)|Feb 4, 2005

Algebraic and Geometric Analysis被引用数 5

ひとこと要約

本稿は、一般化されたコーシー＝リーマン作用素を用いて、偶数次元および奇数次元の両方において、クリフォード代数への複素解析関数論の拡張を試みる。解析的であることと正則であることの同値性を確立し、フエーターの方法が複素正則関数を用いてこのような関数を構成すること、および奇数次元における解の構造が反復ラプラシアンとパラベクトル上のテイラー展開によって支配されることを示す。

ABSTRACT

In classical function theory, a function is holomorphic if and only if it is complex analytic. For higher dimensional spaces it is natural to work in the context of Clifford algebras. The structures of these algebras depend on the parity of the dimension n of the underlying vector space. The theory of holomorphic Cliffordian functions reflects this dependence. In the case of odd n the space of functions is defined by an operator (the Cauchy-Riemann equation) but not in the case of even $n$. For all dimensions the powers of identity (z^n, x^n) are the foundation of function theory.

研究の動機と目的

• クリフォード代数を用いて、複素解析関数論を高次元空間へ一般化すること。
• クリフォード代数の偶数次元と奇数次元における正則関数の定義における構造的差を解消すること。
• 偶数次元および奇数次元の両方において、解析的（べき級数の収束）であることと正則的（一般化されたコーシー＝リーマン方程式を満たすこと）であることが同値であることを確立すること。
• 従来奇数次元に限られていたフエーターの方法を、偶数次元における正則クリフォード関数の構成へ拡張すること。
• 奇数次元空間における解の挙動を反復ラプラシアンおよびテイラー級数展開を用いて特徴付けること。

提案手法

• 同次多項式 $ M_N^a(z) = a(za)^{N-1} $ を用いて、解析的クリフォード関数を定義し、それらを構成要素とする。
• $ \text{Cl}_{0,n} $ の元に対して $ A = \tilde{R}A + e_n \tilde{J}A $ の分解を導入し、次元を跨ぐ再帰的解析を可能にする。
• 微分作用素 $ D = \frac{\nabla}{\nabla z_0} + e_1 \frac{\nabla}{\nabla z_1} + \nabla z_n $ 及びその共役 $ D_* $ を用い、$ \triangle = DD_* $ がラプラシアンであることを示す。
• 複素正則関数 $ \varphi(\zeta) = p(\xi,\eta) + i q(\xi,\eta) $ を、$ u(z_0 + \vec{z}) = p(z_0, |\vec{z}|) + \frac{\vec{z}}{|\vec{z}|} q(z_0, |\vec{z}|) $ に上昇させることでフエーターの方法を適用し、左および右正則クリフォード関数を生成する。
• 奇数次元において、反復ラプラシアン $ \Delta^\mu u(x) $ を用いたテイラー型展開を導出する。係数には $ (2m-1)^{-2\mu} $ 及び $ e_{2m+1} $ が奇数次の項に現れる。
• コーシー＝コワレフスキーの定理を用いて、奇数次元における正則拡張の存在および一意性を証明する。但し、$ f(\bar{z}) = \overline{f(z)} $ を満たす部分領域に制限される。

実験結果

リサーチクエスチョン

• RQ1 複素解析関数論における解析的であることと正則であることの同値性が、偶数次元および奇数次元の両方におけるクリフォード代数へ拡張可能か。
• RQ2 特に中心が関与する $ \mathbb{R}_{0,n} $ のクリフォード代数の構造が、正則クリフォード関数の定義および性質に与える影響は何か。
• RQ3 偶数次元空間において、フエーターの方法が正則クリフォード関数を構成するのにどの程度有効に機能するか。
• RQ4 反復ラプラシアンが、奇数次元空間における正則クリフォード関数の特徴付けに果たす役割は何か。
• RQ5 正則クリフォード関数の境界挙動は、法線微分および微分作用素を用いてどのように記述可能か。

主な発見

• 奇数次元 $ n = 2m+1 $ に対して、正則クリフォード関数の空間は一般化されたコーシー＝リーマン方程式 $ Df = 0 $ によって特徴付けられ、このような関数は反復ラプラシアンを用いたテイラー展開をもつ。
• 奇数次元における $ f(z) $ のテイラー展開は、$ f(z) = \sum_{\mu=0}^\infty \frac{(-1)^\mu}{(2m-1)^{2\mu}(2\mu)!} (z_{2m+1})^{2\mu} \Delta^\mu u(x) + e_{2m+1} \sum_{\mu=0}^\infty \frac{(-1)^{\mu+1}}{(2m-1)^{2\mu+1}(2\mu+1)!} (z_{2m+1})^{2\mu+1} D\Delta^\mu u(x) $ で与えられ、$ \Delta^\mu u $ 及び $ D\Delta^\mu u $ への明示的依存性が示されている。
• 実スライス $ \Omega $ における法線微分 $ \left(\frac{\partial}{\partial n}\right)^j f \big|_\Omega $ は、$ \left(\frac{\partial}{\partial n}\right)^{2\mu} f = (-1)^\mu (2m-1)^{-2\mu} \Delta^\mu u(x) $ 及び $ \left(\frac{\partial}{\partial n}\right)^{2\mu+1} f = (-1)^{\mu+1} (2m-1)^{-(2\mu+1)} e_{2m+1} D\Delta^\mu u(x) $ を満たし、法線微分が基底空間上の微分作用素と関連していることが示された。
• 偶数次元 $ n = 2m $ に対して、本稿はフエーターの方法が依然として左および右正則クリフォード関数を生成することを示した。複素正則関数を $ \mathbb{R} \oplus V_n $ に上昇させ、$ u(z_0 + \vec{z}) = p(z_0, |\vec{z}|) + \frac{\vec{z}}{|\vec{z}|} q(z_0, |\vec{z}|) $ として実行し、$ f(\bar{z}) = \overline{f(z)} $ により実スライス上での実数性を保証する。
• $ \mathbb{R}_{0,2m+1} $ の中心は $ \mathbb{R} \oplus \mathbb{R} e_{12\ldots 2m+1} $ であり、$ e_{12\ldots 2m+1} $ はすべての要素と可換であるため、法線微分の公式の構成が可能になる。
• 奇数次元における正則拡張の存在および一意性は、コーシー＝コワレフスキーの定理により保証される。関数 $ f $ は $ \Lambda' \subset \mathbb{R} \oplus V_{2m+1} $ で定義され、$ \Lambda' \cap (\mathbb{R} \oplus V_{2m}) = \Omega $ を満たす。