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 $\mathrm V$ un voisinage de $0$ (autrement dit un intervalle du type $]-\alpha,\alpha[$ avec $\alpha>0$).
Soit $f$ une fonction définie sur $\rm D=V$ ou $\rm D=V \backslash\{0\}$.
Soit $n$ un entier naturel.
$f$ admet un développement limité à l'ordre $n$ au voisinage de $0$ (en abrégé $\mathrm{DL}_n(0)$) s'il existe une fonction polynomiale $x \mapsto a_0+a_1x+\ldots+a_nx^n$ de degré inférieur ou égal à $n$ et une fonction $\epsilon$ définie sur $ \mathrm D$ telles que
- $\displaystyle \lim_{x\rightarrow 0}\epsilon(x)=0$
- $\forall x \in \mathrm D$, $f(x)=a_0+a_1x+\ldots+a_nx^n+\epsilon(x)x^n$.
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é $\epsilon(x)x^n$ (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 $\epsilon(x)x^n$ est négligeable devant $x^n$ car $\displaystyle{\frac{\epsilon(x)x^n}{x^n}= \epsilon(x) \stackrel{x \rightarrow 0}{\longrightarrow} 0}$ ce que l'on écrit par
$\epsilon(x)x^n \stackrel{x \rightarrow 0}{=} o(x^n)$. Ainsi, le $DL_n(0)$ de $f$ s'écrit également $f(x)\stackrel{x \rightarrow 0}{=}a_0+a_1x+\ldots+a_nx^n+o(x^n)$.