は下降階乗（下方階乗）である（空積 は とする）。これは後述する一般化において、 の変化の歩み (step) が であると仮定した特別の場合である。
この結果とテイラーの定理との形式的な対応に注意せよ。歴史的には、これと 
（二項定理に対応する）は、陰計算の体系に至る観察に含まれる。
有限差分に関する演算子法.
前進差分を、函数 を へ写す差分作用素と考えることができる。この作用素は、歩み のシフト作用素 を用いて
という和に書くことができる。ここに、 および は恒等作用素である。
高階の有限差分は再帰的に ) と定義することができるが、これと同値な別定義として とすることもできる。
差分作用素 は線型作用素であり、上で述べた特別なライプニッツ則
 を満足する。後退および中心差分に関しても同様のことが成立する。
 に関するテイラー級数を形式的に適用することで、等式
が得られる。ここで は函数 をその導函数 へ写す連続的な微分作用素である。十分小さな に対して、この展開は両辺が解析函数に作用するとき有効である。従って であり、逆に冪指数に関して解いて
が得られる。この式は両辺が多項式に作用して同じ結果を与えるという意味において正しい。
解析函数に作用する場合でも、右辺の級数の収束は保証されず、漸近級数となり得る。しかし、微分に対するより精密な近似を得ることには利用できる。例えば、例えばこの級数の最初の二項だけを取り出せば、#高階差分の節の最後に述べた の二階近似が導かれる。
後退および中心差分に対する同様の公式は
となる。
有限差分作用素の計算法則.
と対応して、
この二つの法則は他の差分作用素でも成り立つ。
一般化.
一般化された有限差分は を係数列として
多変数の有限差分.
多変数の場合にも有限差分は考えることができる。それらは多変数の偏微分に対応するものである。
中心差分による偏微分近似をいくつか挙げれば
のようになる。
外部リンク.
[[Category:差分法]]
[[Category:解析学]]
[[Category:線型作用素]]
[[Category:数学に関する記事]]
メイサツキ
エンマシリーズ
エボニー・アイズ
土壌物理学