デルタ作用素のソースを表示

[[数学]]における'''デルタ作用素'''（デルタさようそ、{{Lang-en-short|delta operator}}）とは、[[可換体|体]] <math>\mathbb{K}</math> 上のある変数 <math>x</math> に関する、[[多項式]]の[[ベクトル空間]]上のシフト同変な[[線形作用素]] ''<math>Q\colon\mathbb{K}[x] \longrightarrow \mathbb{K}[x]</math>'' で、次数を 1 下げるものである。

ここで <math>Q</math> が'''シフト同変'''（shift-equivariant）であるとは、<math>g(x) = f(x + a)</math> なら

:<math>{ (Qg)(x) = (Qf)(x + a)} \,</math>

が成立することを言う。言い換えると、''<math>f</math>'' が ''<math>g</math>'' のシフトであるなら、''<math>Qf</math>'' も ''<math>Qg</math>'' のシフトであり、シフトベクトル ''<math>a</math>'' を共通のものとして持つことを言う。

また、作用素 <math>Q</math> が次数を 1 下げるとは、次数 ''<math>n</math>'' の多項式 ''<math>f</math>'' に対し、''<math>Qf</math>'' の次数が <math>n-1</math> であるか、または 0（<math>n = 0</math> の場合）であることを言う。

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

== 例 ==

* 前進[[差分法|差分作用素]]

:: <math> (\Delta f)(x) = f(x + 1) - f(x)\, </math>

:はデルタ作用素である。

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

* 次の形式
::<math>\sum_{k=1}^\infty c_k D^k</math>
: を取る任意の作用素はデルタ作用素である。ここで ''D''<sup>''n''</sup>(&fnof;) = &fnof;<sup>(''n'')</sup> は ''n'' 階微分を表し、<math>c_1\neq0</math> である。すべてのデルタ作用素はこの形式で表されることを示すことが出来る。例えば、上述の差分作用素は次のように表される。
::<math>\Delta=e^D-1=\sum_{k=1}^\infty \frac{D^k}{k!}.</math>

* 前進差分作用素と通常の[[微分積分学]]の微分を結び付ける、{{仮リンク|時間スケール微積分学|en|time scale calculus}}における一般化微分は、デルタ作用素である。

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

:: <math>{(\delta f)(x) = {{ f(x+\Delta t) - f(x) }  \over {\Delta t} }}, </math>

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

== 基本多項式 ==

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

* <math>p_0(x)=1 ;</math>
* <math>p_{n}(0)=0;</math>
* <math>(Qp_n)(x)=np_{n-1}(x), \; \forall n \in \mathbb N.</math>

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

== 関連項目 ==

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

== 参考文献 ==
* {{Citation | last1=Nikol'Skii | first1=Nikolai Kapitonovich | title=Treatise on the shift operator: spectral function theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-15021-5 | year=1986}}

{{DEFAULTSORT:てるたさようそ}}
[[Category:線型代数学]]
[[Category:多項式]]
[[Category:差分法]]
[[Category:数学に関する記事]]