Développement limité - Définition

En physique et en mathématiques, un développement limité d'une fonction f au voisinage de x₀, est l'écriture d'une fonction sous la forme d'une fonction polynôme et d'un reste .

Il se révèle très utile quand on recherche l'approximation d'une fonction au voisinage d'un point ou un équivalent de celle-ci.

En physique, il est fréquent de confondre la fonction avec son développement limité à condition que l'erreur ainsi faite soit inférieure à l'erreur autorisée. Si l'on se contente d'un développement d'ordre 1, on parle d'approximation linéaire.

En mathématiques, les développements limités permettent de trouver plus simplement des limites de fonctions, de calculer des dérivées ou d'étudier des positions de courbes par rapport à des tangentes.

L'étude des développement limités se prolonge par l'étude des développements en séries entières.

Définitions

On dit que la fonction f possède un développement limité d'ordre n (abrégé par la suite en D.L._n) au voisinage I de x₀ s'il existe n + 1 réels a₀, …, a_n et une fonction ε(x), tels que, pour tout x de I :

la fonction ε(x) tendant vers 0 lorsque x tend vers un point x₀, et ce " plus rapidement " que le dernier terme de la série, c'est-à-dire que :

Les fonctions vérifiant ceci sont notées o((x – x₀)ⁿ), on écrit donc :

Le nombre n est appelé ordre de développement.

Il est fréquent de chercher plutôt un développement limité au voisinage de 0 dont l'expression se trouve être plus simple :

il est facile d'y parvenir en posant le changement de variable x = x₀ + h

On prouve que si une fonction admet un D.L._n au voisinage de x₀, ce développement est unique. On prouve aussi que a₀ = f(x₀).

Note : la fonction f peut être à valeurs vectorielles.

Opérations sur les développements limités

Somme

Si ƒ et g possèdent deux D.L._n, alors ƒ + g possède un D.L._n qui s'obtient en effectuant la somme des deux polynômes.

Multiplication par λ

si ƒ possède un D.L._n alors λ·ƒ aussi, obtenu en multipliant le D.L._n de ƒ par λ.

Produit

Si ƒ et g possèdent des D.L._n, alors ƒ·g possède un D.L._n. Si a_k, b_k et c_k sont les coefficients de x^k dans les développements respectifs de ƒ, g et ƒ·g, le coefficient c_k est obtenu par la formule suivante :

Inverse

Si u(x₀) = 0 et si u possède un D.L._n au voisinage de x₀, alors possède un D.L._n. Ce développement limité se trouve en cherchant un D.L._n de

Composition

si u possède un D.L._n au voisinage de x₀ et si v possède un D.L._n au voisinage de u(x₀), alors v o u possède un D.L._n qui s'obtient en cherchant un D.L._n de Q_n o P_n où P_n et Q_n sont les D.L._n de u et v

ex : développement limité d'ordre 2 au voisinage de 0 de

D.L.₂au voisinage de 1 de e^x :

rem: le D.L. au voisinage de 1 de e^x se trouve en remarquant que e^x = e^.e^{x − 1} et en utilisant le D.L. de e^h au voisinage de 0

D.L.₂ au voisinage de 0 de  :

D.L.₂ au voisinage de 0 de :

Intégration

Si ƒ est continue sur un intervalle I autour x₀ et possède un D.L._n au voisinage de x₀, alors toute primitive F de ƒ possède un D.L._n+1 au voisinage de x₀ qui est

Dérivation

il n'existe pas de théorème général sur l'existence d'un D.L._{n - 1} pour la dérivée d'une fonction admettant un D.L._n au voisinage de x₀.

par exemple la fonction définie par

pour tout x non nul et ƒ(0) = 0

possède un développement limité d'ordre 2 au voisinage de 0 mais sa dérivée, non continue, ne possède pas de D.L.₁ .

Par contre si f' admet un D.L d'ordre n-1 en x_o alors la partie régulière du D.L de f' est la dérivée de la partie régulière du D.L d'ordre n de f en x_o .

D.L._n et fonctions dérivables

Article principal: Théorème de Taylor

Le mathématicien Taylor a démontré qu'une fonction f, dérivable n fois sur un intervalle I contenant x₀, possédait un D.L._n au voisinage de x₀ :

soit en écriture abrégée

En revanche, le fait qu'une fonction possède un D.L._n au voisinage de x₀ n'assure pas que la fonction soit n fois dérivable en x₀. On peut juste déduire, de l'existence d'un D.L.₀ au voisinage de x₀, la continuité en x₀, et, de l'existence d'un D.L.₁ au voisinage de x₀, la dérivabilité en x₀. Par contre si f' admet un D.L d'ordre n-1 en x_o alors la partie régulière du D.L de f' est la dérivée de la partie régulière du D.L d'ordre n de f en x_o .

Quelques utilisations

Le développement d'ordre 0 consiste à considérer que ƒ est continue en x₀ :

Le développement limité d'ordre 1 consiste à approcher une courbe par sa tangente ; on parle aussi d'approximation linéaire :

.

Son existence équivaut à la dérivabilité de la fonction en x₀.

Le développement limité d'ordre 2 consiste à approcher une courbe par une parabole, ou loi quadratique. Il permet aussi de préciser la position de la courbe par rapport à sa tangente, au voisinage du point de contact (pourvu que le coefficient du terme de degré 2 soit non nul).

Le changement de variable permet, à l'aide d'un D.L.₀ au voisinage de 0, de chercher une limite à l'infini, et, à partir d'un D.L.₁ au voisinage de 0, de déterminer l'équation d'une asymptote.

Quelques exemples

Fonction cos et son développement limité d'ordre 4 au voisinage de 0

Les fonctions suivantes possèdent des D.L._n au voisinage de 0 pour tout entier n et sont développables en séries entières.

• une conséquence en est la somme de la série géométrique.
• par intégration de la formule précédente et changement de x en -x
• 
• à l'ordre 2n + 1 ou 2n + 2, car le terme en x^{2n + 2} est nul (comme tous les autres termes de puissance paire), donc o(x^{2n + 1}) = o(x^{2n + 2}).
• à l'ordre 2n ou 2n + 1, car le terme en x^{2n + 1} est nul (comme tous les autres termes de puissance impaire), donc o(x²ⁿ) = o(x^{2n + 1}).
• 

Voir l'article série entière.

Applications

Pour ces mêmes fonctions, voici quelques applications des formules précédentes à des ordres couraments utilisés :

Approximations linéaires : développements limités d'ordre 1 en physique

En physique, on utilise fréquemment des développements limités d'ordre 1 :

• en 0 : , en particulier
  • ,
  • ,

toute forme de type (a + x), , peut se transformer en

• en 0 : fonctions trigonométriques
  • 
  •