[論文レビュー] On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences

A. K. Kwaśniewski|ArXiv.org|Dec 20, 2003

Advanced Combinatorial Mathematics参考文献 21被引用数 5

ひとこと要約

本稿では、ウォードの数列の微積分に基づくロータ＝ムリン有限作用素微積分の拡張としてのψ微積分に基づく、シーファーψ多項式の統一的枠組みを提示する。∂ψシフト不変性とψ基本列を導入することで、シーファーψ多項式の単純な特徴付けが得られ、スペクトル定理やラグランジュ逆行列の一般化が可能となり、二項型を越える任意の多項式列に対する体系的なアンブレル微積分が可能になる。

ABSTRACT

A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.

研究の動機と目的

• ロータ＝ムリン有限作用素微積分の拡張として、二項型多項式列を超える一般の多項式列に対しても適用可能な包括的なψ微積分を構築すること。
• ∂ψシフト不変性と作用素論的手法を用いて、シーファーψ多項式の単純で内生的な特徴付けを提供すること。
• ヴィスコフ、マルコフスキー、ローマの結果をウォードの数列の微積分の枠組みに統合・拡張すること。
• q微積分の定式化（例：量子平面）を一般ψアンブレル設定に拡張する際の限界を示し、普遍的ψ量子平面が存在しないことを示すこと。

提案手法

• ∂ψシフト不変作用素を用いてψ微積分を定義し、任意の許容可能な列ψに対してψ基本列および一般化階乗nψ!を導入する。
• 多項式代数上の線形作用素代数End(P)におけるGHW代数構造を、双対作用素対{Q, x̂Q}および{∂ψ, x̂ψ}で表現する。
• 指数作用素E^y(∂ψ) = exp(y ∂ψ)を用いた母関数法により、ψシフトおよびψ畳み込み恒等式を定義する。
• ψシーファー多項式の母関数およびψ拡張ラグランジュ逆行列公式といった主要恒等式を導出する。
• 作用素q̂ψ,Qを用いてψアナロジーのq交換子を定義し、q̂ψ,Q p_n = ((n+1)ψ - 1)/nψ p_nとして定義され、qの場合を一般化する。
• qアンブレル恒等式（例：ジグラーおよびキルシュェンホーファーの結果）が、ψ-量子平面の非結合性のため、一般ψアンブレル設定に拡張されないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ψ微積分枠組み内において、シーファーψ多項式は単純で内生的な作用素論的条件によって特徴付けられるか？
• RQ2 ψ微積分は、古典的アンブレル微積分をどのように一般化し、ロータ＝ムリン有限作用素微積分を二項型でない多項式列へどのように拡張するか？
• RQ3 qアンブレル恒等式（例：量子平面の交換関係）を一般ψアンブレル設定に拡張する際の構造的限界は何か？
• RQ4 スペクトル定理やラグランジュ逆行列といった古典的結果は、ψアンブレル設定においてどの程度一般化可能か？
• RQ5 量子平面の交換子[A,B]_q = 0の整合的ψアナロジー[A,B]_q̂ψ,Q = 0は、完全なψ拡張有限作用素微積分を支えるために存在するか？

主な発見

• シーファーψ多項式は、∂ψシフト不変性および母関数s_n(x+y_ψ) = E^y(∂ψ)s_n(x)（ここでy_ψはψ畳み込みを表す）によって完全に特徴付けられる。
• スペクトル定理およびラグランジュ逆行列公式は、双対対{∂ψ, x̂ψ}および作用素E^y(∂ψ)を介してψアンブレル設定に自然に拡張される。
• ψ拡張有限作用素微積分は、普遍的ψ量子平面を用いて定式化できない。なぜなら、[A,B]_q̂ψ,Q = 0という交換子が一貫した作用素代数を支えられないからである。
• q̂ψ,Q p_n = ((n+1)ψ - 1)/nψ p_nとして定義される作用素q̂ψ,Qは、q微分を一般化し、q数作用素のψアナロジーを提供する。
• アッペルおよびシーファーψ多項式は、x̂Q ∑_{m=0}^n a_m(Q) x̂Q^m / mψ! = a_n(Q) x̂Q^{n+1} / mψ!という恒等式を満たし、古典的アンブレル恒等式を一般化する。
• 双対対{Q, x̂Q}に対して、(Q x̂Q Q)^n = Q^n x̂Q^n Q^nおよび(x̂Q Q x̂Q)^n = x̂Q^n Q^n x̂Q^nが成り立ち、既知の結果がψ設定へ拡張される。