差分

差分，又名差分函數或差分運算，一般是指有限差分（Finite difference），是數學中的一個概念，將原函數 $f(x)$ 映射到 $f(x+a)-f(x+b)$。差分運算，相應於微分運算，是微積分中重要的一個概念。

## 定義

差分分為前向差分和逆向差分。

### 前向差分

函數的前向差分通常簡稱為函數的差分。對於函數$\ f(x)$，如果在等距節點：

$$x_k = x_0 + kh, (k = 0,1,...,n)$$

$$\ \Delta f(x_k)=f(x_{k+1})-f(x_k)$$

則稱$\ \Delta f(x)$，函數在每個小區間上的增量$y_{k+1} - y_k$為$\ f(x)$一階差分。

在微積分學中的有限差分（finite differences），前向差分通常是微分在離散的函數中的等效運算。差分方程的解法也與微分方程的解法相似。當$\ f(x)$是多項式時，前向差分為Delta算子（稱$\Delta$為差分算子），一種線性算子。前向差分會將多項式階數降低 1。

### 逆向差分

對於函數$\ f(x_k)$，如果：

$$\ \nabla f(x_k)=f(x_k)-f(x_{k-1}).\,$$

則稱$\ \nabla f(x_k)$為$\ f(x)$的一階逆向差分。

## 差分的階

一階差分的差分為二階差分，二階差分的差分為三階差分，其餘類推。記：

$\ \Delta^n [f](x)$為$\ f(x)$的$\ n$階差分。

如果

$\ \Delta^n [f](x)$｜$\ = \Delta \{ \Delta^{n-1} [f](x) \}$

$$\ = \Delta^{n-1} [f](x+1) - \Delta^{n-1} [f](x)$$

根據數學歸納法，有

$$\ \Delta^n [f](x) = \sum_{i=0}^n {n \choose i} (-1)^{n-i} f(x+i)$$

其中，$\ {n \choose i}$為二項式係數。

特別的，有

$$\ \Delta^2 [f](x) = f(x+2) - 2f(x+1) + f(x)$$

前向差分有時候也稱作數列的二項式變換

## 差分的性質

對比解析函數中的微分的屬性，差分的性質有：

- 如果C為常數，則有

$$\Delta C=0$$

- 線性：如果 $\ a$ 和 $\ b$ 為常數，則有

$$\Delta (af+bg) = a \Delta f + b \Delta g$$

$$\Delta (fg) = f \Delta g + g \Delta f + \Delta f \Delta g$$

$$\nabla (f g) = f \nabla g + g \nabla f - \nabla f \nabla g$$

$$\nabla \left( \frac{f}{g} \right) = \frac{1}{g} \det \begin{bmatrix} \nabla f & \nabla g \\ f & g \end{bmatrix} \det {\begin{bmatrix} g & \nabla g \\ 1 & 1 \end{bmatrix}}^{-1}$$

$$\Delta \left( \dfrac{f}{g} \right) = \dfrac{1}{g} \det \begin{bmatrix} \Delta f & \Delta g \\ f & g \end{bmatrix} \det {\begin{bmatrix} g & \Delta g \\ -1 & 1 \end{bmatrix}}^{-1}$$

或

$$\nabla\left( \frac{f}{g} \right)= \frac {g \nabla f - f \nabla g}{g \cdot (g - \nabla g)}$$

$$\Delta\left( \frac{f}{g} \right)= \frac {g \Delta f - f \Delta g}{g \cdot (g + \Delta g)}$$

$$\sum_{n=a}^{b} \Delta f(n) = f(b+1)-f(a)$$

$$\sum_{n=a}^{b} \nabla f(n) = f(b)-f(a-1)$$

## 牛頓級數

牛頓插值公式也叫做牛頓級數，由「牛頓前向差分方程」的項組成，得名於伊薩克·牛頓爵士，最早發表為他在1687年出版的《自然哲學的數學原理》中第三編「宇宙體系」的引理五，此前詹姆斯·格雷果里於1670年和牛頓於1676年已經分別獨立得出這個成果。一般稱其為連續泰勒展開的離散對應。

### 單位步長情況

當$x$值間隔為單位步長$1$時，有：

$$\begin{align} f(x) &= f(a) + \frac {x-a} {1} \left[\Delta^1 [f](a) + \frac {x-a-1} {2}\left( \Delta^2 [f](a) + \cdots \right) \right] \\ <pre> &= f(a) + \sum_{k=1}^n \Delta^k [f](a) \prod_{i=1}^{k} \frac{[(x-a)-i+1]}{i} \\ &= \sum_{k=0}^n {x-a \choose k}~ \Delta^k [f](a) \\ </pre> \end{align}$$

這成立於任何多項式函數和大多數但非全部解析函數。這裡的表達式

$${x \choose k} = \frac{(x)_k}{k!} \quad\quad (x)_k=x(x-1)(x-2)\cdots(x-k+1)$$

是二項式係數，其中的$(x)_k$是「下降階乘冪」(另一種常見的標記法為$x^\underline{k}$)，空積$(x)_0$被定義為$1$。這裡的$\Delta_k\left[f\right](x)$是「前向差分」的特定情況，即間距$h=1$。

### 實例

為了展示牛頓的這個公式是如何使用的，舉例數列 1, 4, 9,16...的前幾項，可以找到一個多項式重新生成這些值，首先計算一個差分表，接著將對應於x0（標示了下劃線）的這些差分代換入公式。

$$\begin{matrix} \begin{array}{|c||c|c|c|c|} \hline <pre> x & \Delta^0 & \Delta^1 & \Delta^2 & \Delta^3 \\ </pre> \hline 1&\underline{1}& & &\\ <pre> & &\underline{3}& &\\ </pre> 2&4& &\underline{2} &\\ <pre> & &5& &\underline{0}\\ </pre> 3&9& &2 &\\ <pre> & &7& &\\ </pre> 4&16& & &\\ \hline \end{array} & \quad \begin{align} f(x)&=\Delta^0 +\Delta^1 \dfrac{(x-x_0)}{1!} + \Delta^2\dfrac{(x-x_0)(x-x_0-1)}{2!} \quad (x_0=1)\\ &=1 + 3 \cdot \dfrac{x-1}{1} + 2 \cdot \dfrac{(x-1)(x-2)}{2} \\ &=1 + 3(x-1) + (x-1)(x-2) \\ &=x^2 \end{align} \end{matrix}$$

### 一般情況

對於x值間隔為非一致步長的情況，牛頓計算均差，在間隔一致但非單位量時，即上述前向差分的一般情況，插值公式為：

$$\begin{align} f(x) &= f(a) + \frac {x-a} {h} \left[ \Delta_h^1[f](a) + \frac {x-a-h} {2h}\left(\Delta_h^2[f](a) + \cdots \right) \right] \\ <pre> &= f(a) + \sum_{k=1}^n \frac{\Delta_h^k[f](a)}{k!h^k} \prod_{i=0}^{k-1} [(x-a)-ih] \\ &=f(a) + \sum_{k=1}^n \frac{\Delta_h^k[f](a)}{k!} \prod_{i=0}^{k-1} \left(\frac{x-a}{h}-i\right) </pre> \end{align}$$

在最終公式中hk被消去掉了，對於非一致步長的情況則不會出現階乘。