Un développement limité d'une fonction f est une approximation locale (c'est-à-dire au voisinage d'un point) de f par une fonction polynomiale. Plus précisément, on a la définition suivante :
Définition :
Soit V un voisinage de 0 (autrement dit un intervalle du type ]−α,α[ avec α>0).
Soit f une fonction définie sur D=V ou D=V∖{0}.
Soit n un entier naturel.
f admet un développement limité à l'ordre n au voisinage de 0 (en abrégé DLn(0)) s'il existe une fonction polynomiale x↦a0+a1x+…+anxn de degré inférieur ou égal à n et une fonction ϵ définie sur D telles que
- limx→0ϵ(x)=0
- ∀x∈D, f(x)=a0+a1x+…+anxn+ϵ(x)xn.
Remarques :
- La fonction f n'est pas forcément définie au point où elle admet un développement limité.
- Lorsqu'une fonction admet un développement limité à un ordre donné, ce développement est unique.
- La quantité ϵ(x)xn (qui tend vers 0 lorsque x tend vers 0) représente l'erreur d'approximation lorsqu'on confond f et son approximation polynomiale .
- L'erreur d'approximation ϵ(x)xn est négligeable devant xn car ϵ(x)xnxn=ϵ(x)x→0⟶0 ce que l'on écrit par
ϵ(x)xnx→0=o(xn). Ainsi, le DLn(0) de f s'écrit également f(x)x→0=a0+a1x+…+anxn+o(xn).