差分作用素

数学における差分演算子または差分作用素（さぶんさようそ、テンプレート:Lang-en-short）は函数に対してその適当な有限差分を与える作用素を言う。

有限差分の計算において $$\mathrm{\Delta }f(x):=f(x+1)-f(x)$$ で定義される前進差分作用素 (forward difference operator) テンプレート:Math がしばしば現れ、これは離散的な場合に用いられることを除けば微分と同様の役割を果たすものである。差分方程式はしばしば微分方程式の解法と非常によく似た手法によって解くことができる。後退差分作用素 (backward difference operator) テンプレート:Math も同様に $$\mathrm{\nabla }f(x):=f(x)-f(x-1)$$で定義される。

多変数函数に対する差分作用素への一般化は、例えば実函数の単調性を多変数に一般化することを可能にする。あるいはテンプレート:仮リンク(stochastics; 推計学)および測度論において差分作用素を用いて抽象体積概念が定義される。

定義

実多変数実数値函数 テンプレート:Math が与えられたとき、二点 $a^1=(a_1^1,\dots ,a_n^1),a^2=(a_1^2,\dots ,a_n^2)$ に対する差分作用素は、$${\mathrm{\Delta }}_{a^1}^{a^2}F:=\sum _{i_1,\dots ,i_n\in \{1,2\}}(-1{)}^{i_1+\dots +i_n}F(a_1^{i_1},\dots ,a_n^{i_n})$$で定義される。二つのベクトルの各成分を入れ替えることにより得られる任意のベクトルは テンプレート:Math 内のテンプレート:仮リンクの テンプレート:Math 個の頂点を与えるから、上記の定義式は、各頂点における函数の値に、もとのベクトルのどの成分であったかに依存して決まる符号をつけて加え合わせたものになっている。例えば テンプレート:Math のとき、二点 テンプレート:Math に対して、テンプレート:Mvar の差分は $${\mathrm{\Delta }}_a^{b}F=F(b_1,b_2)-F(a_1,b_2)-F(b_1,a_2)+F(a_1,a_2)$$ であたえられる。

また、第 テンプレート:Mvar-成分に関する偏差分作用素は $${}_{\nu }{\mathrm{\Delta }}_{\alpha }^{\beta }F:=F(x_1,\dots ,x_{\nu -1},\beta ,x_{\nu +1},\dots ,x_n)-F(x_1,\dots ,x_{\nu -1},\alpha ,x_{\nu +1},\dots ,x_n)$$ で与えられる。ここで第 テンプレート:Mvar-成分は定数だが、通常はまだ テンプレート:Math 上の函数と見なされるから、さらに差分作用素を適用することができる。

性質

• 差分作用素は線型である。すなわち $${\mathrm{\Delta }}_a^b(F+G)={\mathrm{\Delta }}_a^{b}F+{\mathrm{\Delta }}_a^{b}G$$ が成り立つ。
• 成分に分けて考えれば、差分作用素と偏差分作用素の関係を $${\mathrm{\Delta }}_{a^1}^{a^2}F=\sum _{i_1=1}^2(-1{)}^{i_1}\cdot \sum _{i_2=1}^2(-1{)}^{i_2}\cdot \dots \cdot \sum _{i_n=1}^2(-1{)}^{i_n}F(a_1^{i_1},\dots ,a_n^{i_n})={}_1{\mathrm{\Delta }}_{a_1^1}^{a_1^2}\cdots {}_n{\mathrm{\Delta }}_{a_n^1}^{a_n^2}F$$ と書くことができる。
• また、テンプレート:Math なるとき $${}_{\mu }{\mathrm{\Delta }}_{\alpha }^{\beta }{}_{\nu }{\mathrm{\Delta }}_{\alpha }^{\beta }F={}_{\nu }{\mathrm{\Delta }}_{\alpha }^{\beta }{}_{\mu }{\mathrm{\Delta }}_{\alpha }^{\beta }$$ が成り立つ。すなわち、各成分に対する偏差分作用素は互いに可換である。

応用

ここで定義した差分作用素の意味において、例えば函数の単調性を拡張することができる。函数 テンプレート:Math がテンプレート:仮リンクであるとは $$a\le b⟹{\mathrm{\Delta }}_a^{b}F\ge 0$$ を満たすことを言う。ただし テンプレート:Math は、任意の成分に対して テンプレート:Math が成り立つという意味とする。これに基づいて、さらにこのような函数を調べることができる。

また、テンプレート:仮リンクおよびテンプレート:仮リンクにおける差分作用素は多次元分布函数によって テンプレート:Math 上のテンプレート:仮リンクを定義するのにも用いられる。

参考文献

• テンプレート:Citation2
• テンプレート:Citation2

外部リンク

• テンプレート:MathWorld