[論文レビュー] A Cauchy-Kowalevski theorem for inframonogenic functions

Helmuth R. Malonek, Dixan Peña Peña+1 more|ArXiv.org|Nov 4, 2009

Algebraic and Geometric AnalysisMathematics参考文献 16被引用数 21

ひとこと要約

本稿は、クライフォード解析における非モナロニック関数に対して、コーシー＝コワレフスキー型の定理を確立し、$x_0$-正規近傍でコーシー型初期値問題の解が一意に存在することを証明する。解は、解析的初期データ $A_0$ および $A_1$ に微分作用素を作用させることで再帰的に定まる係数を持つ $x_0$ に関する収束するべき乗級数として構成される。

ABSTRACT

In this paper we prove a Cauchy-Kowalevski theorem for the functions satisfying the system DfD=0 (called inframonogenic functions).

研究の動機と目的

• 高次元のクライフォード解析における非モナロニック関数に対して、コーシー＝コワレフスキー型の存在および一意性結果を確立すること。
• 非モナロニック関数とその $x_0$-微分が超平面 $x_0 = 0$ で指定された初期値問題を解くこと。
• 解を $x_0$ に関する収束するべき乗級数として特徴づけ、その係数を解析的初期データに作用する微分作用素から得ること。
• 解作用素 $\mathsf{CK}[A_0, A_1]$ が、$\mathsf{P}(k) \times \mathsf{P}(k-1)$ 内の初期データと $\mathbb{R}^{m+1}$ 内の次数 $k$ の斉次非モナロニック多項式の空間の間で全単射を定めることを示すこと。

提案手法

• 初期条件 $F|_{x_0=0} = A_0(\underline{x})$ および $\partial_{x_0}F|_{x_0=0} = A_1(\underline{x})$ を満たす $x_0$ に関する形式的べき乗級数解 $F(x) = \sum_{n=0}^\infty x_0^n A_n(\underline{x})$ を構成する。
• $\partial_x F \partial_x = 0$ を要求することで $A_n$ の再帰的関係を導出し、$A_{n+2} = -\frac{1}{(n+2)(n+1)}\left((n+1)(\partial_{\underline{x}}A_{n+1} + A_{n+1}\partial_{\underline{x}}) + \partial_{\underline{x}}A_n\partial_{\underline{x}}\right)$ を得る。
• 初期データ $A_0$ および $A_1$ の解析性に基づく主要化推定を用いて、$\widetilde{\Omega}$ における級数の収束性を証明する。ここで $\widetilde{\Omega}$ は $\underline{\Omega} \subset \mathbb{R}^m$ の $x_0$-正規な開近傍である。
• $\mathsf{CK}[A_0, A_1]$ を明示的に定義し、$A_0$ および $A_1$ に繰り返し $\partial_{\underline{x}}$ と $\partial_{\underline{x}}$ を作用させた級数として表す。
• $\mathsf{CK}$ 作用素を用いて、$\mathbb{R}^{m+1}$ 内の次数 $k$ の斉次非モナロニック多項式と $\mathbb{R}^m$ 内の次数 $k$ および $k-1$ の斉次多項式のペアの間の全単射を確立する。
• $\langle\underline{x},\underline{u}\rangle^k e_A$ および $\langle\underline{x},\underline{u}\rangle^{k-1} e_A$ のモナドに対して $\mathsf{CK}$ を明示的に計算し、空間 $\mathsf{I}(k)$ 全体を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 解析的初期データを $x_0 = 0$ で指定した非モナロニック関数のコーシー問題に対して、解が存在するか。
• RQ2 解は、初期データに作用する微分作用素によって定まる係数を持つ $x_0$ に関する収束するべき乗級数として表現可能か。
• RQ3 解作用素 $\mathsf{CK}[A_0, A_1]$ は、初期データと $\mathbb{R}^{m+1}$ 内の次数 $k$ の斉次非モナロニック多項式の間で全単射をなすか。
• RQ4 $A_1 = -\partial_{\underline{x}}A_0$ のとき、$\mathsf{CK}$ 作用素は古典的モノロニック拡張とどのように関係するか。
• RQ5 斉次多項式初期データに対して $\mathsf{CK}$ 拡張の明示的形は何か。

主な発見

• 解 $\mathsf{CK}[A_0, A_1]$ は、$\underline{\Omega} \subset \mathbb{R}^m$ の $x_0$-正規な開近傍 $\widetilde{\Omega}$ 内で非モナロニック関数であり、初期条件 $F|_{x_0=0} = A_0(\underline{x})$ および $\partial_{x_0}F|_{x_0=0} = A_1(\underline{x})$ を満たす。
• 級数解は、$\widetilde{\Omega} = \bigcup_{\underline{y} \in \underline{\Omega}} (-R(\underline{y}), R(\underline{y})) \times B(\underline{y}, R(\underline{y}))$ において正規収束する。ここで $R(\underline{y})$ は初期データの収束半径である。
• $A_1 = -\partial_{\underline{x}}A_0$ のとき、$\mathsf{CK}[A_0, -\partial_{\underline{x}}A_0]$ は左モノロニック拡張 $\sum_{n=0}^\infty \frac{(-x_0)^n}{n!} \partial_{\underline{x}}^n A_0(\underline{x})$ に簡約される。
• $\mathsf{CK}$ 作用素は、$\mathsf{P}(k) \times \mathsf{P}(k-1)$ と $\mathbb{R}^{m+1}$ 内の次数 $k$ の斉次非モナロニック多項式の空間 $\mathsf{I}(k)$ の間で全単射を定める。
• 初期データ $P_k(\underline{x}) \in \mathsf{P}(k)$ および $P_{k-1}(\underline{x}) \in \mathsf{P}(k-1)$ に対して、解 $\mathsf{CK}[P_k, P_{k-1}]$ は $\mathbb{R}^{m+1}$ 内の次数 $k$ の斉次非モナロニック多項式である。
• $\mathsf{CK}[\langle\underline{x},\underline{u}\rangle^k e_A, 0]$ および $\mathsf{CK}[0, \langle\underline{x},\underline{u}\rangle^{k-1} e_A]$ に対して明示的な公式が導出され、二項係数および $\underline{u}$ の繰り返しのクリフォード積を含む。