[論文レビュー] Pascal like matrices - an accessible factory of one source identities and resulting applications

A. K. Kwaśniewski|ArXiv.org|Mar 7, 2004

Matrix Theory and Algorithms被引用数 3

ひとこと要約

本稿は、$ψ$-有限作用素計算における古典的パスカル行列の一般化として、$ψ$-パスカル行列と$ˇ_q$-パスカル行列を導入する。$ψ$-二項係数と$ψ$-微分作用素を用いることで、組合せ的恒等式の統一的出力源を提供し、$q$-微積分およびフィボナッチ二項係数の設定への拡張を可能にし、特殊多項式における恒等式と応用を導出する自然なフレームワークを提供する。

ABSTRACT

The extension of pascalian like matrices depending on a variable from any field of zero characteristics are shown at work for the first time. Their properties appear to be one source factory of identities and resulting foreseen applications

研究の動機と目的

• 古典的パスカル行列を$ψ$-有限作用素計算を用いて一般化し、組合せ的恒等式の体系的出力源を創出すること。
• 特定の$ψ$-二項係数を用いて、古典的パスカル行列の性質を$q$-微積分およびフィボナッチ二項係数の設定に拡張すること。
• $ψ$-パスカル行列が特殊多項式における恒等式と応用のストリームを自然に生成する源であることを示すこと。
• $ψ$-パスカル行列の代数的構造が可換半群をなすことを確立し、正規列の場合にのみ群構造をとることを示すこと。
• $ψ$-積分と$ψ$-シェッファー恒等式を用いて、$ψ$-基本ベルヌーイ多項式、エルミート・ウォード多項式、およびアッペル多項式への応用を可能にすること。

提案手法

• $ψ$-二項係数$\binom{n}{k}_\psi = \frac{n_\psi!}{k_\psi!(n-k)_\psi!}$を、適切な列$\psi$に対して定義すること。
• 標準微分を一般化する$ψ$-微分作用素$\partial_\psi$を、$\partial_\psi x^n = n_\psi x^{n-1}$として定義すること。
• 下位シフト行列$K_\psi$（要素が$(j+1)_\psi \delta_{i,j+1}$）を用いて、$ψ$-パスカル行列を$P_\psi[x] = \exp_\psi\{xK_\psi\}$として構成すること。
• 行列形式$P_\psi[x] = \left(x^{i-j} \binom{i}{j}_\psi\right)_{i,j \in \mathbb{Z}_n}$を導出し、その指数的生成を示すこと。
• 半群設定下で成り立つ$ψ$-加法性$P_\psi[x]P_\psi[y] = P_\psi[x +_\psi y]$の恒等式を確立すること。
• 特定の$\psi_n = \frac{1}{n_q!}$または$\frac{1}{F_n!}$の選択により、$q$-微積分およびフィボナッチ二項係数のケースにフレームワークを適用すること。

実験結果

リサーチクエスチョン

• RQ1 統一的な$ψ$-微積分フレームワークを用いて、古典的ケースを超えたパスカル行列の恒等式をどのように一般化できるか？
• RQ2 $ψ$-パスカル行列が形成する代数的構造は何か？また、いつ群構造をとるのか？
• RQ3 $ψ$-パスカル行列は、行列乗算によってどのように組合せ的恒等式のストリームを生成するのか？
• RQ4 $q$-微積分およびフィボナッチ二項係数の微積分は、$ψ$-パスカルフレームワークにどのように埋め込まれるか？
• RQ5 $ψ$-パスカル行列フレームワークを用いて、ベルヌーイ多項式やエルミート多項式といった古典的多項式族を拡張できるか？

主な発見

• $ψ$-パスカル行列$P_\psi[x]$は、下位シフト行列$K_\psi$を用いて$\exp_\psi\{xK_\psi\}$として定義され、行列表現$\left(x^{i-j} \binom{i}{j}_\psi\right)$をもつ。
• 行列は$P_\psi[x]P_\psi[y] = P_\psi[x +_\psi y]$を満たし、$ψ$-加法性の下で可換半群をなす。正規列の場合にのみ群構造をとる。
• 行列乗算から導かれる恒等式$\sum_{j \leq k \leq i} \binom{i}{k}_\psi \binom{k}{j}_\psi = (1 +_\psi 1)^{i-j} \binom{i}{j}_\psi$は、古典的パスカル恒等式を一般化する。
• $q$-パスカルおよびフィボナッチ二項係数のケースは、それぞれ$\psi_n = \frac{1}{n_q!}$および$\psi_n = \frac{1}{F_n!}$と選ぶことで明示的に実現される。
• フレームワークにより、$ψ$-シェッファー恒等式と$ψ$-積分を用いてベルヌーイ、エルミート・ウォード、およびアッペル多項式の拡張が可能になる。
• $\hat{q}_\psi$-フェルマー行列と$\hat{q}_\psi$-パスカル行列は、より広範な応用における標準パスカル行列に類似した自然な拡張として特定される。