定義
![差商](/img/3/78e/wZwpmLyMDNzQDM5EjNxADN0UTMyITNykTO0EDMwAjMwUzLxYzL2AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/b/5a7/wZwpmL0IDM3UDM2QTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL0UzL2MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![差商](/img/5/924/wZwpmLxQjN2YTM3kTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5UzL3YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![差商](/img/3/78e/wZwpmLyMDNzQDM5EjNxADN0UTMyITNykTO0EDMwAjMwUzLxYzL2AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/6/b9e/wZwpmL2ITOzgTOyYDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL2QzL0UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
給定函式和插值節點用表示關於節點的k階差商(k-th Difference Quotient)(k=1,2,…,n),它們可遞歸定義為
![差商](/img/9/0b0/wZwpmLzUDNzUTN3EDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLxQzL4AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![差商](/img/3/78e/wZwpmLyMDNzQDM5EjNxADN0UTMyITNykTO0EDMwAjMwUzLxYzL2AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/4/913/wZwpmLyEjM0IzM4YzMwEDN0UTMyITNykTO0EDMwAjMwUzL2MzLygzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/f/1bd/wZwpmLyQDOxMTOzADN0MTN1UTM1QDN5MjM5ADMwAjMwUzLwQzLzMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
其中關於節點的0階差商定義為其函式值,即。
差商表
![差商](/img/3/78e/wZwpmLyMDNzQDM5EjNxADN0UTMyITNykTO0EDMwAjMwUzLxYzL2AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
可以構造差商表(表1),按列遞推計算的各階差商:
節點 | 0階差商 | 1階差商 | 2階差商 | 3階差商 | 4階差商 | ![]() |
![]() | ![]() | |||||
![]() | ![]() | ![]() | ||||
![]() | ![]() | ![]() | ![]() | |||
![]() | ![]() | ![]() | ![]() | ![]() | ||
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
具體計算過程為
0階差商:
![差商](/img/4/772/wZwpmLycjNzITM2UjN0MTN1UTM1QDN5MjM5ADMwAjMwUzL1YzL2IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
1階差商:
![差商](/img/3/a89/wZwpmL1YjM5gDNyIjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyYzLxgzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
2階差商:
![差商](/img/9/85c/wZwpmL1YDM4kjMwMzN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzczLwgzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![差商](/img/0/933/wZwpmL0IDOwEzMwMzN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzczLyUzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/7/b1f/wZwpmL2AjM5UTM5ATMzEzM1UTM1QDN5MjM5ADMwAjMwUzLwEzL4YzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
3階差商:
![差商](/img/9/338/wZwpmL2EzNyAjM1IjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyYzL3UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![差商](/img/7/b1f/wZwpmL2AjM5UTM5ATMzEzM1UTM1QDN5MjM5ADMwAjMwUzLwEzL4YzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
差商的性質
根據差商的定義,利用數學歸納法可以證明差商具有如下性質:
性質1
![差商](/img/4/438/wZwpmL4ADNxITM4kTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5UzL3MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
對有
![差商](/img/e/4d1/wZwpmLzcTNxkTM3IDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL0czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/4/eb6/wZwpmLxEzM4kDMzIjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyYzLzEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![差商](/img/c/738/wZwpmL0MDM2kDN1kDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5QzL2gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
如
性質2
![差商](/img/5/924/wZwpmLxQjN2YTM3kTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5UzL3YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
(對稱性)差商與插值節點的順序無關,即
![差商](/img/d/679/wZwpmL4QzM2IDM2kjN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5YzL2YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![差商](/img/2/fc3/wZwpmL0gjNwITOyIDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL1IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![差商](/img/4/1a3/wZwpmL0QTM4kzN3EjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLxYzLwAzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
其中是的任意一個排列。