デルタ作用素

数学におけるデルタ作用素（デルタさようそ、）とは、体  上のある変数  に関する、多項式のベクトル空間上のシフト同変な線形作用素  で、次数を 1 下げるものである。

ここで  がシフト同変（shift-equivariant）であるとは、 なら

が成立することを言う。言い換えると、 が  のシフトであるなら、 も  のシフトであり、シフトベクトル  を共通のものとして持つことを言う。

また、作用素  が次数を 1 下げるとは、次数  の多項式  に対し、 の次数が  であるか、または 0（ の場合）であることを言う。

デルタ作用素はしばしば、 についての多項式上のシフト同変な線形変換で、 を非ゼロの定数に写すものとして定義される。これは上述の定義よりも弱いように思われるが、シフト同変は十分強い条件なので、上述の定義と同値であることが示される。

例 

 前進差分作用素

 

はデルタ作用素である。

 x に関する微分 D もまた、デルタ作用素である。

 次の形式

 を取る任意の作用素はデルタ作用素である。ここで Dn(ƒ) = ƒ(n) は n 階微分を表し、 である。すべてのデルタ作用素はこの形式で表されることを示すことが出来る。例えば、上述の差分作用素は次のように表される。

 前進差分作用素と通常の微分積分学の微分を結び付ける、における一般化微分は、デルタ作用素である。

 計算機科学およびサイバネティクスにおける離散時間デルタ作用素 (δ) とは、一般に次の差分作用素のことを意味する。

 

 これは離散サンプル時間  に対する通常の微分のオイラー近似である。このデルタの公式は、高速サンプリングにおいて、シフト作用素と比較して多くの数値的な利点を備えるものである。

基本多項式 

すべてのデルタ作用素  には、以下の三つの条件を満たす多項式列として定義される基本多項式（basic polynomials）の一意な列が存在する。

 
 
 

このような基本多項式の列は常に二項型多項式列であり、この他の二項型の列は存在しないことが示される。この初めの二つの条件が満たされない場合、三つ目の条件によって多項式はシェファー列であると言われる。これはより一般的な概念である。

関連項目 

 パンシェルル微分
 シフト作用素
 陰計算

参考文献 
 

線型代数学
多項式
差分法
数学に関する記事