差商 · Familiom • Czytelnia

数学における差商（さしょう、; 分割差分、差分商）は、差分商をとる操作を再帰的に繰り返すことで与えられる。歴史的には対数表や三角函数表の計算に用いられ、チャールズ・バベッジの階差機関（初期の機械式計算機）はこれを実装するものとして設計された。

差商はニュートン補間における補間多項式の計算に用いることができる。

定義個の節点に対する、前進差商はで定義される。同様に後退差商はと定義される。

以下本項では主に前進差商のみを扱い、それを単に差商と呼ぶ。

等間隔の場合

節点（の -座標）が等間隔に並んでいるときには、前進差分（あるいは後退・中央の各有限差分）の定める差分商によって差商を記述することができる。この場合は、より一般の差商よりも計算が楽になる。注目すべきは、差商の分母が既知であるならば、差分商から差商を容易に回復することができることである。

すなわち、上と同じ節点のデータが与えられ、適当な数に対してとなっているとき、前進差分はで定義される。前進差分と差商との関係はと書ける。

ニュートンの三角形隣り合う二項から次の階数の項が次々に作られる様子は、パスカルの三角形の類似で、差商を三角形状に並べるとわかりよい。あるいは

記法節点が函数を用いてと与えられているときには、と書くこともある。同様になどとも書く。

具体的に書き下せば: のようになる。一般にとなり、これを多項式函数を用いてと書くことができる。また極限を用いてとも書ける。

性質線型性: ライプニッツの法則: 対称性: 差商に対する平均値の定理より:

別定義ペアノ形次数のBスプラインを用いて、差商をと書くことができる。はの -階導函数である。

これを差商のペアノ形 (Peano form) と言い、をこの差商のと呼ぶ。ともに名称はジゼッペ・ペアノに因む。

テイラー形考えている節点が集積しているならば、ほとんどゼロに近い値での割り算が生じ、相対誤差が大きくなるから、数値計算はおぼつかない。しかしその場合も、差分商を微分商で（あるいはその逆に）近似することはできる:

この近似はテイラーの定理が適用できる函数に関しては等式に変えることができる。また、中央差分を利用すればの奇数冪の項を消すことができる:

原理的には、テイラー級数および任意のに差商近似が適用できる。テイラー級数は冪函数に関する無限和で、函数にその差商を対応させる写像は線型汎函数であるから、基底函数にこの汎函数を適用すればよい。

通常の冪函数によって、通常のテイラー級数をと書けば、差商のテイラー級数はと書けることになる。この最初の項は多項式の次数よりも高階の差分だから消えており、それ以降の項も以下のように知ることができる:

行列表示多項式の差商はライプニッツの法則の恩恵を受けられる点で興味を持たれる。

行列をとすれば、これは節点に関する恒等写像の差商をすべて包摂したものと考えることができる。特には冪函数に対する差商が全て現れる。差商の線型性により、多項式に対する多項式函数をに適用したものは、と書くことができ、オピッツの公式と呼ばれるde Boor, Carl, Divided Differences, Surv. Approx. Theory 1 (2005), 46–69, Opitz, G. Steigungsmatrizen, Z. Angew. Math. Mech. (1964), 44, T52–T54。

多項式の次数を無限大に飛ばして形式冪級数とすれば、テイラー展開可能な函数に対しても、その差商をを用いた行列表示によって与えることができる。

節点が全て等しいとき、はジョルダン細胞であり、ジョルダン標準形を考えることでスカラー函数を行列函数に一般化することができる。

差商

Źródło i licencja