Differensoperator

Inom matematiken är en differensoperator en operator som avbildar en funktion $f(x)$ till en annan funktion $f(x+a)-f(x+b)$.

De två enklaste differensoperatorerna är framåtdifferensoperatorn:

$\mathrm{\Delta }f(x)=f(x+1)-f(x)$

och bakåtdifferensoperatorn:

$\mathrm{\nabla }f(x)=f(x)-f(x-1)$.

Framåtdifferensoperatorn spelar inom diskret matematik en liknande roll som derivatan spelar inom kontinuerlig matematik. Differensekvationer kan med differensoperatorn ofta lösas på ett liknande sätt som differentialekvationer löses med differentialoperatorn.

Räkneregler

För både $\mathrm{\Delta }$ och $\mathrm{\nabla }$ gäller att:

• Om $c$ är konstant är:

$\mathrm{\Delta }c=0$

• Linjäritet, för funktioner $f,g$ och konstanter $a,b$:

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

Följande regler är olika för $\mathrm{\Delta }$ och $\mathrm{\nabla }$:

• Produktregel:

$\mathrm{\Delta }(fg)=f\mathrm{\Delta }g+g\mathrm{\Delta }f+\mathrm{\Delta }f\mathrm{\Delta }g$

$\mathrm{\nabla }(fg)=f\mathrm{\nabla }g+g\mathrm{\nabla }f-\mathrm{\nabla }f\mathrm{\nabla }g$

• Kvotregel:

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

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

• Summering:

$\sum _{k=a}^b\mathrm{\Delta }f(k)=f(b+1)-f(a)$

$\sum _{k=a}^b\mathrm{\nabla }f(k)=f(b)-f(a-1)$

Detta göra att summeringar av funktioner $f$ där man vet att $\mathrm{\Delta }g=f$ blir väldigt enkla. Likheter kan ses med integraler, om $F(x)$ är en primitiv funktion fill $f(x)$:

$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a)$

Exempel

En fallande potens av ett tal $x$ är ett tal sådant att:

$x^{\underset{\_}{m}}=x(x-1)...(x-m+1)$

Fallande potenser har väldigt enkla differenser:

$\mathrm{\Delta }(x^{\underset{\_}{m}})=(x+1{)}^{\underset{\_}{m}}-x^{\underset{\_}{m}}=(x+1)x(x-1)...(x-m+2)-x(x-1)...(x-m+1)=$

$=x(x-1)...(x-m+2)(x+1-(x-m+1))=mx(x-1)...(x-m+2)=m{x}^{\underset{\_}{m-1}}$

Dvs, kort uttryckt:

$\mathrm{\Delta }(x^{\underset{\_}{m}})=m{x}^{\underset{\_}{m-1}}$.