差商とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 差商の意味・解説 

差商

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/03/11 10:24 UTC 版)

ナビゲーションに移動 検索に移動

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

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

定義

n + 1 個の節点 に対する、前進差商

で定義される。同様に後退差商
と定義される。

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

等間隔の場合

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

すなわち、上と同じ節点のデータが与えられ、適当な数 h > 0 に対して xν = x0 + νh (ν = 0, …, n) となっているとき、前進差分は

で定義される。前進差分と差商との関係は
と書ける[3]

ニュートンの三角形

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

あるいは

記法

節点が函数 f を用いて と与えられているときには、

と書くこともある。同様に
などとも書く。

具体的に書き下せば:

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

性質

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

別定義

ペアノ形

次数 n − 1Bスプライン Bn−1 を用いて、差商を

と書くことができる。f(n)fn-階導函数である。

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

テイラー形

考えている節点が集積しているならば、ほとんどゼロに近い値での割り算が生じ、桁落ちによって相対誤差が大きくなるから、数値計算はおぼつかない。しかしその場合も、差分商微分商で(あるいはその逆に)近似することはできる:

この近似はテイラーの定理

が適用できる函数に関しては等式
に変えることができる。また、中央差分を利用すれば y − x の奇数冪の項を消すことができる:

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

通常の冪函数 pn(x) := xn によって、通常のテイラー級数を

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

行列表示

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

行列 J

とすれば、これは節点 x0, …, xn に関する恒等写像 f(x) = x の差商をすべて包摂したものと考えることができる。特に Jn冪函数 xn に対する差商が全て現れる。差商の線型性により、多項式 p に対する多項式函数を J適用したものは、
と書くことができ、オピッツの公式と呼ばれる[4][5]

多項式 p の次数を無限大に飛ばして形式冪級数とすれば、テイラー展開可能な函数 f に対しても、その差商を J を用いた行列表示

によって与えることができる。

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

関連項目

参考文献

  1. ^ 世界大百科事典『差分商』 - コトバンク
  2. ^ Isaacson, Walter (2014). The Innovators. Simon & Schuster. p. 20. ISBN 978-1-4767-0869-0 
  3. ^ Burden, Richard L.; Faires, J. Douglas (2011). Numerical Analysis (9th ed.). p. 129 
  4. ^ de Boor, Carl, Divided Differences, Surv. Approx. Theory 1 (2005), 46–69, [1]
  5. ^ Opitz, G. Steigungsmatrizen, Z. Angew. Math. Mech. (1964), 44, T52–T54
  • Louis Melville Milne-Thomson (2000) [1933]. The Calculus of Finite Differences. American Mathematical Soc.. Chapter 1: Divided Differences. ISBN 978-0-8218-2107-7 
  • Myron B. Allen; Eli L. Isaacson (1998). Numerical Analysis for Applied Science. John Wiley & Sons. Appendix A. ISBN 978-1-118-03027-1 
  • Ron Goldman (2002). Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Geometric Modeling. Morgan Kaufmann. Chapter 4:Newton Interpolation and Difference Triangles. ISBN 978-0-08-051547-2 

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「差商」の関連用語

差商のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



差商のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの差商 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS