差分

Posted on 2011-12-20 21:56  无忧consume  阅读(820)  评论(0编辑  收藏  举报

差分,又名差分函数差分运算,是数学中的一个概念。它将原函数 \ f(x) 映射到 \ f(x+a)-f(x+b)。差分运算,相应于微分运算,是微积分中重要的一个概念。

前向差分差分的定义分为前向差分逆向差分两种。

函数的前向差分通常简称为函数的差分。对于函数\ f(x),如果:

\ \Delta f(x)=f(x+1)-f(x)

则称\ \Delta f(x)\ f(x)的一阶前向差分。在微积分学中的有限差分(finite differences),前向差分通常是微分离散的函数中的等效运算。差分方程的解法也与微分方程的解法相似。当\ f(x)多项式时,前向差分为Delta算子,一种线性算子。前向差分会将多项式阶数降低1。

逆向差分

对于函数\ f(x),如果:

\ \nabla f(x)=f(x)-f(x-1).\,

则称\ \nabla f(x)\ f(x)的一阶逆向差分。

差分的阶

\ \Delta^n [f](x)\ f(x)\ n阶差分,即\ 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)

前向差分有时候也称作数列二项式变换

差分的性质

对比解析函数中的微分的属性,差分的性质有:

\ \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}
\ \nabla\left( \frac{f}{g} \right)= \frac {g \nabla f - f \nabla g}{g \cdot (g - \nabla g)}
\ \triangle\left( \frac{f}{g} \right)= \frac {g \triangle f - f \triangle g}{g \cdot (g + \triangle g)}
\ \sum_{n=a}^{b} \triangle f(n) = f(b+1)-f(a)
\ \sum_{n=a}^{b} \nabla f(n) = f(b)-f(a-1)

牛顿数列

牛顿数列(级数),也称作牛顿前向差分方程是一个以数学与物理学家牛顿命名的函数关系。具体为:

f(x+a)=\sum_{k=0}^\infty\frac{\Delta^k [f](a)}{k!}(x)_k
= \sum_{k=0}^\infty {x \choose k} \Delta^k [f](a)

要注意的是,上式对所有的多项式都成立,但只对部分解析函数成立。其中

{x \choose k} = \frac{(x)_k}{k!}

二项式系数

(x)_k=x(x-1)(x-2)\cdots(x-k+1)

为 \ x 的 \ k 阶下降阶乘幂。牛顿数列与泰勒级数的相似性是哑微积分的一个典型。

卡尔森定理(Carlson's theorem)指出,如果一个函数的牛顿数列存在,则该函数存在的牛顿数列是唯一的。然而牛顿数列并不总存在。

牛顿数列是差分多项式(差分级数)的特例。

Copyright © 2024 无忧consume
Powered by .NET 9.0 on Kubernetes