[論文レビュー] The Gelfand-Tsetlin bases for Hodge-de Rham systems in Euclidean spaces

Richard Delanghe, Roman Lávička+1 more|arXiv (Cornell University)|Dec 22, 2010

Mathematical Analysis and Transform Methods参考文献 22被引用数 4

ひとこと要約

本稿は、Gegenbauer多項式と帰納的構成を用いて、$\mathbb{R}^m$ 上の $s$-ベクトル値 $k$-斉次多項式解のHodge-de Rham系のための明示的な直交Gelfand-Tsetlin基底を構築する。主な貢献は、これらのGT基底を用いて一般化モイリル＝テオドレスク系の直交基底を計算するアルゴリズムを提供することであり、実および複素クリフォード代数の両方で有効である。

ABSTRACT

The main aim of this paper is to construct explicitly orthogonal bases for the spaces of k-homogeneous polynomial solutions of the Hodge-de Rham system in the Euclidean space R^m which take values in the space of s-vectors. Actually, we describe even the so-called Gelfand-Tsetlin bases for such spaces in terms of Gegenbauer polynomials. As an application, we obtain an algorithm how to compute an orthogonal basis of the space of homogeneous solutions of a generalized Moisil-Theodoresco system in R^m.

研究の動機と目的

• 空間$\rH^s_k(\r^m)$、すなわち$\r^m$における$H$-作用を伴う$ s $-ベクトル値$ k $-斉次多項式解のHodge-de Rham系のための明示的な直交Gelfand-Tsetlin (GT) 基底を構築すること。
• 高次元におけるGT基底の構成のため、クリフォード代数値多項式における$ H $-作用へのCauchy-Kovalevskaya (CK) 法の拡張。
• 次元$ m $ごとの帰納的アルゴリズムを用いて、GT基底をGegenbauer多項式の表現として得る。
• 構築されたGT基底を用いて、一般化モイリル＝テオドレスク (GMT) 系の斉次解空間$\rM^S_k(\r^m)$の直交基底を計算するアルゴリズムを導出すること。
• 構築された基底が、$L^2$およびFischer内積を含む不変内積に関して直交することを保証すること。

提案手法

• 空間$\rH^s_k(\r^m)$のGT基底を再帰的に構成するため、$\r^m$値クリフォード代数多項式における$ H $-作用へのCauchy-Kovalevskaya (CK) 法の適応。
• 次元$ m $に関する帰納的構成を用い、再帰的関係を通じてGT基底をGegenbauer多項式の形に表現する。
• $ H $-作用におけるFischer分解を用いて、空間$\rM^S_k(\r^m)$を$\rH^s_k(\r^m)$および$\rH^s_{k-1}(\r^m)$を含む既約成分に分解する。
• $\rH^s_{k-1}(\r^m)$のGT基底に演算子$(k-1+m-s)(\bx\bullet) - (k-1+s)(\bx\bullet)$を作用させることで、$\rM^S_k(\r^m)$の基底の一部を生成する。
• 実クリフォード代数$\rR_{0,m}$の場合は、複素基底における複素共役対を実部と虚部に置き換えることで、実GT基底を構成する。
• MapleのCliffordパッケージを用いた記号計算により、低次元における基底の明示的計算を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$\r^m$におけるHodge-de Rham系の$ k $-斉次解空間$\rH^s_k(\r^m)$の直交Gelfand-Tsetlin基底を明示的に構築できるか？
• RQ2 次元$ m $の増加に伴って、これらのGT基底がGegenbauer多項式の観点からどのように帰納的構造を持つのか？
• RQ3 $\rH^s_k(\r^m)$のGT基底を用いて、$\r^m$における一般化モイリル＝テオドレスク系の直交基底をどのように構成できるか？
• RQ4 $\rM^S_k(\r^m)$における$ H $-作用と既約成分$\rH^s_k(\r^m)$および$\rH^s_{k-1}(\r^m)$との関係は何か？
• RQ5 複素GT基底を実クリフォード代数$\rR_{0,m}$のための実GT基底にどのように変換できるか？

主な発見

• 本稿は、すべての$ m $, $ k $, $ s $に対して有効な、Gegenbauer多項式を用いた$\rH^s_k(\r^m)$の直交Gelfand-Tsetlin基底を明示的に構築する帰納的アルゴリズムを提供する。
• 構築されたGT基底は、$L^2$およびFischer内積を含む任意の不変内積に関して直交している。
• 複素クリフォード代数$\rC_m$の場合、GT基底は複素数値多項式から構成され、MapleとCliffordパッケージを用いた明示的計算が可能である。
• 実クリフォード代数$\rR_{0,m}$の場合、GT基底は複素共役対を実部と虚部に置き換えることで得られ、実直交基底が得られる。
• 一般化モイリル＝テオドレスク系の斉次解空間$\rM^S_k(\r^m)$は、$ s \notin S $のためのGT基底$\rB^{s,m}_k$と、$ H $-作用演算子を用いて$\rH^s_{k-1}(\r^m)$から変換された基底の和集合として構成される直交基底を持つ。
• 次元3および4における小規模な$ k $のためのGT基底の明示的計算例が提示され、構成の実行可能性と構造が示されている。