[論文レビュー] Extended finite operator calculus as an example of algebraization of analysis

A. K. Kwaśniewski, Ewa Borak|ArXiv.org|Dec 13, 2004

Mathematics and Applications参考文献 5被引用数 6

ひとこと要約

本稿では、古典的アンブレル計算およびロータ＝ミュリン作用素計算を一般化するための体系的な代数的枠組みとして、拡張された有限作用素記算法—$ψ$-記算法—を導入する。標準的微分作用素およびシフト作用素を$ψ$-微分作用素および$ψ$-シフトに置き換えることで、著者らは有限作用素記算法の主要な結果が一般化された差分および微分作用素へ自動的に拡張されることを示し、グラーヴズ＝ハイゼンベルク＝ヴァイエル代数を通じて多項式列の統一的代数的構造を確立する。

ABSTRACT

A wardian calculus of sequences started almost seventy years ago constitutes the general scheme for extensions of the classical umbral operator calculus considered by many afterwards . At the same time this calculus is an example of the algebraization of the analysis here restricted to the algebra of formal series. This is a review article based on the recent first author contributions. As the survey article it is supplemented by the short indicatory glossaries of notation and terms used by prominent contributors to the domain.

研究の動機と目的

• 標準的微分作用素$\partial_{\psi}$を用いた、$ψ$-微分作用素を導入することで、古典的有限作用素記算法およびアンブレル記算法を体系的かつ代数的に一般化すること。
• グラーヴズ＝ハイゼンベルク＝ヴァイエル代数の構造が、作用素記算法の結果が一般化された差分および微分作用素へ自動的に拡張可能であることを示すこと。
• マークォスキーの$Q$-アンブレル記算法を統一的かつ拡張的に扱うために、標準的生成子を$Q$-表現に置き換えた場合に$ψ$-記算法の結果が拡張可能であることを示すこと。
• ウォード、ヴィスコフ、ローマン、ロータの表記法を統合・明確化するための表記法の橋渡し的サーベイを提供すること。
• $ψ$-表現によるGHW代数の標準的代数化が、多項式の代数に制限された解析の標準的代数化を実現することを確立すること。

提案手法

• $ψ$-微分作用素$\partial_{\psi}$を、多項式の次数を1つ下げる微分作用素の同値類代表元として用い、$ψ$-記算法の基盤を形成する。
• $ψ$-シフト不変性を作用素の主要な性質として導入し、$x +_{\psi} y$によって定義される一般化されたシフト構造との整合性を保証する。
• グラーヴズ＝ハイゼンベルク＝ヴァイエル代数の$ψ$-表現を用い、標準的生成子$\{D, \hat{x}, \text{id}\}$を$\{\partial_{\psi}, \hat{x}_{\psi}, \text{id}\}$に置き換えることで、拡張された作用素恒等式を導出する。
• $ψ$-二項係数$\binom{n}{k}_{\psi}$を用いて、$ψ$-二項係数の定義式$n_{\psi} = \psi_{n-1}/\psi_n$を通じて、シーファーの定理および二項定理を一般化する。
• 一般化された差分作用素$Q$に$\partial_{\psi}$を置き換えることで、マークォスキーの$Q$-アンブレル記算法へ結果を拡張し、構造的同型を維持する。
• ウォード、ヴィスコフ、ローマン、ロータの表記法の用語集を提供し、異なる形式主義間の代数的言語を統一・明確化する。

実験結果

リサーチクエスチョン

• RQ1 標準的微分作用素$\partial_{\psi}$を用いて、多項式の次数を1つ下げる一般化された微分作用素を導入することで、古典的ロータ＝ミュリン作用素記算法を体系的にどのように拡張できるか。
• RQ2 $ψ$-シフトにおける作用素の不変性を規定する代数的構造は何か。また、それはグラーヴズ＝ハイゼンベルク＝ヴァイエル代数をどのように一般化するか。
• RQ3 $Q$が$\partial_{\psi}$の級数として表現できない場合、$ψ$-記算法の結果がマークォスキーの$Q$-アンブレル記算法へどの程度拡張可能か。
• RQ4 $ψ$-二項性の性質は、多項式列の古典的二項定理をどのように一般化するか。
• RQ5 $ψ$-表現によるGHW代数が、作用素記算法恒等式の自動的移行をどのように可能にするか。

主な発見

• $ψ$-記算法は、$\{D, \hat{x}, \text{id}\}$を$\{\partial_{\psi}, \hat{x}_{\psi}, \text{id}\}$に置き換えることで、古典的有限作用素記算法のほとんど自動的拡張を提供し、すべての構造的恒等式を保持する。
• シーファーの$ψ$-二項定理は、$ψ$-二項係数を用いて一般化され、$s_n(x +_{\psi} y) = \sum_{k \geq 0} \binom{n}{k}_{\psi} s_k(x) q_{n-k}(y)$として表される。
• $ψ$-記算法の展開定理は、任意の$ψ$-シフト不変作用素$T$が$T = \sum_{n \geq 0} \frac{[T p_n(z)]|_{z=0}}{n_{\psi}} Q(\partial_{\psi})^n$として表せると述べる。ここで$n_{\psi} = \psi_{n-1}/\psi_n$である。
• $ψ$-微分作用素$\partial_{\psi}$は、$\partial_{\psi} x^n = n_{\psi} x^{n-1}$を満たし、標準的微分作用素$D x^n = n x^{n-1}$を一般化する。
• $ψ$-基本多項式列$\{p_n(x)\}$は、$\exp_{\psi}\{x Q^{-1}(x)\} = \sum_{k \geq 0} \frac{p_k(y)}{k!} z^k$を満たし、指数型母関数恒等式を一般化する。
• 本フレームワークにより、$\partial_{\psi}$を任意の多項式の次数を1つ下げる一般化された差分作用素$Q$に置き換えることで、$Q$-アンブレル記算法へ拡張可能であり、生成子の置き換えに伴うすべての基本的恒等式が自動的に保持される。