差商

数学における差商（さしょう、; 分割差分、差分商）は、差分商をとる操作を再帰的に繰り返すことで与えられる。歴史的には対数表や三角函数表の計算に用いられ、チャールズ・バベッジの階差機関（初期の機械式計算機）はこれを実装するものとして設計された。
差商はニュートン補間における補間多項式の計算に用いることができる。
定義.
 個の節点 formula_1 に対する、前進差商は formula_2 で定義される。同様に後退差商は formula_3 と定義される。
以下本項では主に前進差商のみを扱い、それを単に差商と呼ぶ。
等間隔の場合.
節点（の -座標）が等間隔に並んでいるときには、前進差分（あるいは後退・中央の各有限差分）の定める差分商によって差商を記述することができる。この場合は、より一般の差商よりも計算が楽になる。注目すべきは、差商の分母が既知であるならば、差分商から差商を容易に回復することができることである。
すなわち、上と同じ節点のデータが与えられ、適当な数 に対して となっているとき、前進差分は formula_4 で定義される。前進差分と差商との関係は formula_5 と書ける。
ニュートンの三角形.
隣り合う二項から次の階数の項が次々に作られる様子は、パスカルの三角形の類似で、差商を三角形状に並べるとわかりよい。
記法.
節点が函数 を用いて formula_8 と与えられているときには、formula_9 と書くこともある。同様に formula_10 などとも書く。
具体的に書き下せば: formula_11 のようになる。一般に formula_12 となり、これを多項式函数 formula_13 を用いてformula_14 と書くことができる。また極限を用いて formula_15 とも書ける。
別定義.
ペアノ形.
次数 のBスプライン を用いて、差商を formula_20と書くことができる。 は の -階導函数である。
これを差商のペアノ形 ("Peano form") と言い、 をこの差商のと呼ぶ。ともに名称はジゼッペ・ペアノに因む。
テイラー形.
考えている節点が集積しているならば、ほとんどゼロに近い値での割り算が生じ、桁落ちによって相対誤差が大きくなるから、数値計算はおぼつかない。しかしその場合も、差分商を微分商で（あるいはその逆に）近似することはできる:formula_21
この近似はテイラーの定理 formula_22 が適用できる函数に関しては等式 formula_23に変えることができる。また、中央差分を利用すれば の奇数冪の項を消すことができる: formula_24
原理的には、テイラー級数および任意のに差商近似が適用できる。テイラー級数は冪函数に関する無限和で、函数にその差商を対応させる写像 は線型汎函数であるから、基底函数にこの汎函数を適用すればよい。
通常の冪函数 によって、通常のテイラー級数を formula_25 と書けば、差商のテイラー級数は formula_26 と書けることになる。この最初の 項は多項式の次数よりも高階の差分だから消えており、それ以降の項も以下のように知ることができる: formula_27
行列表示.
多項式の差商はライプニッツの法則の恩恵を受けられる点で興味を持たれる。
行列 を formula_28 とすれば、これは節点 に関する恒等写像 の差商をすべて包摂したものと考えることができる。特に は冪函数 に対する差商が全て現れる。差商の線型性により、多項式 に対する多項式函数を に適用したものは、formula_29 と書くことができ、オピッツの公式と呼ばれる。
多項式 の次数を無限大に飛ばして形式冪級数とすれば、テイラー展開可能な函数 に対しても、その差商を を用いた行列表示 formula_30 によって与えることができる。
節点 が全て等しいとき、 はジョルダン細胞であり、ジョルダン標準形を考えることでスカラー函数を行列函数に一般化することができる。