Les développements limités (DL) sont l’un des outils les plus puissants de l’analyse. Ils permettent d’approcher localement une fonction par un polynôme, et sont indispensables pour calculer des limites, étudier des fonctions au voisinage d’un point, et lever des formes indéterminées.
Comparaison asymptotique§
Avant les DL, il faut maîtriser les notations de comparaison.
Notation de Landau§
Soit f , g : I → R f, g : I \to \mathbb{R} f , g : I → R et a a a un point ou ± ∞ \pm\infty ± ∞ .
Notation Signification Interprétation f = o ( g ) f = o(g) f = o ( g ) en a a a f ( x ) g ( x ) → 0 \dfrac{f(x)}{g(x)} \to 0 g ( x ) f ( x ) → 0 quand x → a x \to a x → a f f f est négligeable devant g g g f = O ( g ) f = O(g) f = O ( g ) en a a a ∣ f ( x ) g ( x ) ∣ \left|\dfrac{f(x)}{g(x)}\right| g ( x ) f ( x ) est bornéf f f est dominée par g g g f ∼ g f \sim g f ∼ g en a a a f ( x ) g ( x ) → 1 \dfrac{f(x)}{g(x)} \to 1 g ( x ) f ( x ) → 1 quand x → a x \to a x → a f f f est équivalente à g g g
Relations entre les notations
f ∼ g ⟹ f = O ( g ) ⟹ (rien de plus en g e ˊ n e ˊ ral) f \sim g \implies f = O(g) \implies \text{(rien de plus en général)} f ∼ g ⟹ f = O ( g ) ⟹ (rien de plus en g e ˊ n e ˊ ral)
f = o ( g ) ⟹ f = O ( g ) f = o(g) \implies f = O(g) f = o ( g ) ⟹ f = O ( g )
f ∼ g ⟺ f = g + o ( g ) f \sim g \iff f = g + o(g) f ∼ g ⟺ f = g + o ( g )
Échelle de comparaison en + ∞ +\infty + ∞ §
( ln x ) α ≪ x β ≪ e γ x pour α , β , γ > 0 (\ln x)^\alpha \ll x^\beta \ll e^{\gamma x} \quad \text{pour } \alpha, \beta, \gamma > 0 ( ln x ) α ≪ x β ≪ e γ x pour α , β , γ > 0
lim x → + ∞ ( ln x ) α x β = 0 \lim_{x \to +\infty} \dfrac{(\ln x)^\alpha}{x^\beta} = 0 lim x → + ∞ x β ( ln x ) α = 0 pour tous α > 0 , β > 0 \alpha > 0, \beta > 0 α > 0 , β > 0
lim x → + ∞ x β e γ x = 0 \lim_{x \to +\infty} \dfrac{x^\beta}{e^{\gamma x}} = 0 lim x → + ∞ e γ x x β = 0 pour tous β > 0 , γ > 0 \beta > 0, \gamma > 0 β > 0 , γ > 0
Définition du développement limité§
f f f admet un développement limité à l’ordre n n n en a a a (noté DLn ( a ) _n(a) n ( a ) ) s’il existe des réels c 0 , c 1 , … , c n c_0, c_1, \ldots, c_n c 0 , c 1 , … , c n tels que :
f ( x ) = c 0 + c 1 ( x − a ) + c 2 ( x − a ) 2 + ⋯ + c n ( x − a ) n + o ( ( x − a ) n ) f(x) = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots + c_n(x-a)^n + o((x-a)^n) f ( x ) = c 0 + c 1 ( x − a ) + c 2 ( x − a ) 2 + ⋯ + c n ( x − a ) n + o (( x − a ) n )
La partie régulière est le polynôme T n ( x ) = ∑ k = 0 n c k ( x − a ) k T_n(x) = \sum_{k=0}^{n} c_k (x-a)^k T n ( x ) = ∑ k = 0 n c k ( x − a ) k .
Si un DL existe, les coefficients sont uniques. De plus, si f f f est n n n fois dérivable en a a a (formule de Taylor-Young) :
c k = f ( k ) ( a ) k ! c_k = \frac{f^{(k)}(a)}{k!} c k = k ! f ( k ) ( a )
DL des fonctions usuelles en 0§
Tableau à connaître par coeur
e x = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ + x n n ! + o ( x n ) e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots + \frac{x^n}{n!} + o(x^n) e x = 1 + x + 2 ! x 2 + 3 ! x 3 + ⋯ + n ! x n + o ( x n )
sin x = x − x 3 3 ! + x 5 5 ! − ⋯ + ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! + o ( x 2 n + 2 ) \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots + (-1)^n \frac{x^{2n+1}}{(2n+1)!} + o(x^{2n+2}) sin x = x − 3 ! x 3 + 5 ! x 5 − ⋯ + ( − 1 ) n ( 2 n + 1 )! x 2 n + 1 + o ( x 2 n + 2 )
cos x = 1 − x 2 2 ! + x 4 4 ! − ⋯ + ( − 1 ) n x 2 n ( 2 n ) ! + o ( x 2 n + 1 ) \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots + (-1)^n \frac{x^{2n}}{(2n)!} + o(x^{2n+1}) cos x = 1 − 2 ! x 2 + 4 ! x 4 − ⋯ + ( − 1 ) n ( 2 n )! x 2 n + o ( x 2 n + 1 )
1 1 − x = 1 + x + x 2 + ⋯ + x n + o ( x n ) \frac{1}{1-x} = 1 + x + x^2 + \cdots + x^n + o(x^n) 1 − x 1 = 1 + x + x 2 + ⋯ + x n + o ( x n )
1 1 + x = 1 − x + x 2 − ⋯ + ( − 1 ) n x n + o ( x n ) \frac{1}{1+x} = 1 - x + x^2 - \cdots + (-1)^n x^n + o(x^n) 1 + x 1 = 1 − x + x 2 − ⋯ + ( − 1 ) n x n + o ( x n )
ln ( 1 + x ) = x − x 2 2 + x 3 3 − ⋯ + ( − 1 ) n − 1 x n n + o ( x n ) \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots + (-1)^{n-1} \frac{x^n}{n} + o(x^n) ln ( 1 + x ) = x − 2 x 2 + 3 x 3 − ⋯ + ( − 1 ) n − 1 n x n + o ( x n )
( 1 + x ) α = 1 + α x + α ( α − 1 ) 2 ! x 2 + ⋯ + ( α n ) x n + o ( x n ) (1+x)^\alpha = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!}x^2 + \cdots + \binom{\alpha}{n} x^n + o(x^n) ( 1 + x ) α = 1 + α x + 2 ! α ( α − 1 ) x 2 + ⋯ + ( n α ) x n + o ( x n )
tan x = x + x 3 3 + 2 x 5 15 + o ( x 6 ) \tan x = x + \frac{x^3}{3} + \frac{2x^5}{15} + o(x^6) tan x = x + 3 x 3 + 15 2 x 5 + o ( x 6 )
arctan x = x − x 3 3 + x 5 5 − ⋯ + ( − 1 ) n x 2 n + 1 2 n + 1 + o ( x 2 n + 2 ) \arctan x = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots + (-1)^n \frac{x^{2n+1}}{2n+1} + o(x^{2n+2}) arctan x = x − 3 x 3 + 5 x 5 − ⋯ + ( − 1 ) n 2 n + 1 x 2 n + 1 + o ( x 2 n + 2 )
sinh x = x + x 3 3 ! + x 5 5 ! + ⋯ + x 2 n + 1 ( 2 n + 1 ) ! + o ( x 2 n + 2 ) \sinh x = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots + \frac{x^{2n+1}}{(2n+1)!} + o(x^{2n+2}) sinh x = x + 3 ! x 3 + 5 ! x 5 + ⋯ + ( 2 n + 1 )! x 2 n + 1 + o ( x 2 n + 2 )
cosh x = 1 + x 2 2 ! + x 4 4 ! + ⋯ + x 2 n ( 2 n ) ! + o ( x 2 n + 1 ) \cosh x = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots + \frac{x^{2n}}{(2n)!} + o(x^{2n+1}) cosh x = 1 + 2 ! x 2 + 4 ! x 4 + ⋯ + ( 2 n )! x 2 n + o ( x 2 n + 1 )
sin \sin sin et sinh \sinh sinh : termes impairs seulement
cos \cos cos et cosh \cosh cosh : termes pairs seulement
sin \sin sin alterne les signes, sinh \sinh sinh garde le + + +
cos \cos cos alterne les signes, cosh \cosh cosh garde le + + +
Opérations sur les DL§
Somme et combinaison linéaire§
Si f f f et g g g admettent un DLn ( 0 ) _n(0) n ( 0 ) , alors α f + β g \alpha f + \beta g α f + β g admet un DLn ( 0 ) _n(0) n ( 0 ) obtenu par combinaison linéaire des parties régulières.
Produit§
On multiplie les parties régulières et on ne garde que les termes de degré ≤ n \leq n ≤ n .
DL3 ( 0 ) _3(0) 3 ( 0 ) de e x sin x e^x \sin x e x sin x :
e x = 1 + x + x 2 2 + x 3 6 + o ( x 3 ) e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + o(x^3) e x = 1 + x + 2 x 2 + 6 x 3 + o ( x 3 )
sin x = x − x 3 6 + o ( x 3 ) \sin x = x - \frac{x^3}{6} + o(x^3) sin x = x − 6 x 3 + o ( x 3 )
Produit (on garde jusqu’à x 3 x^3 x 3 ) :
e x sin x = x + x 2 + x 3 2 − x 3 6 + o ( x 3 ) = x + x 2 + x 3 3 + o ( x 3 ) e^x \sin x = x + x^2 + \frac{x^3}{2} - \frac{x^3}{6} + o(x^3) = x + x^2 + \frac{x^3}{3} + o(x^3) e x sin x = x + x 2 + 2 x 3 − 6 x 3 + o ( x 3 ) = x + x 2 + 3 x 3 + o ( x 3 )
Quotient§
On effectue une division suivant les puissances croissantes, ou on utilise 1 1 − u \frac{1}{1-u} 1 − u 1 .
DL2 ( 0 ) _2(0) 2 ( 0 ) de e x cos x \dfrac{e^x}{\cos x} cos x e x :
cos x = 1 − x 2 2 + o ( x 2 ) \cos x = 1 - \frac{x^2}{2} + o(x^2) cos x = 1 − 2 x 2 + o ( x 2 ) , donc 1 cos x = 1 1 − x 2 / 2 + ⋯ = 1 + x 2 2 + o ( x 2 ) \frac{1}{\cos x} = \frac{1}{1 - x^2/2 + \cdots} = 1 + \frac{x^2}{2} + o(x^2) c o s x 1 = 1 − x 2 /2 + ⋯ 1 = 1 + 2 x 2 + o ( x 2 )
e x = 1 + x + x 2 2 + o ( x 2 ) e^x = 1 + x + \frac{x^2}{2} + o(x^2) e x = 1 + x + 2 x 2 + o ( x 2 )
e x cos x = ( 1 + x + x 2 2 ) ( 1 + x 2 2 ) + o ( x 2 ) = 1 + x + x 2 + o ( x 2 ) \frac{e^x}{\cos x} = (1 + x + \frac{x^2}{2})(1 + \frac{x^2}{2}) + o(x^2) = 1 + x + x^2 + o(x^2) cos x e x = ( 1 + x + 2 x 2 ) ( 1 + 2 x 2 ) + o ( x 2 ) = 1 + x + x 2 + o ( x 2 )
Composition§
Si f f f a un DLn ( 0 ) _n(0) n ( 0 ) et g ( x ) → 0 g(x) \to 0 g ( x ) → 0 quand x → 0 x \to 0 x → 0 avec g g g ayant un DLn ( 0 ) _n(0) n ( 0 ) sans terme constant , alors f ∘ g f \circ g f ∘ g a un DLn ( 0 ) _n(0) n ( 0 ) . On substitue g ( x ) g(x) g ( x ) dans le DL de f f f .
DL3 ( 0 ) _3(0) 3 ( 0 ) de e sin x e^{\sin x} e s i n x :
sin x = x − x 3 6 + o ( x 3 ) \sin x = x - \frac{x^3}{6} + o(x^3) sin x = x − 6 x 3 + o ( x 3 )
e u = 1 + u + u 2 2 + u 3 6 + o ( u 3 ) e^u = 1 + u + \frac{u^2}{2} + \frac{u^3}{6} + o(u^3) e u = 1 + u + 2 u 2 + 6 u 3 + o ( u 3 ) avec u = sin x u = \sin x u = sin x
e sin x = 1 + ( x − x 3 6 ) + x 2 2 + x 3 6 + o ( x 3 ) = 1 + x + x 2 2 + o ( x 3 ) e^{\sin x} = 1 + \left(x - \frac{x^3}{6}\right) + \frac{x^2}{2} + \frac{x^3}{6} + o(x^3) = 1 + x + \frac{x^2}{2} + o(x^3) e s i n x = 1 + ( x − 6 x 3 ) + 2 x 2 + 6 x 3 + o ( x 3 ) = 1 + x + 2 x 2 + o ( x 3 )
Intégration§
Si f ( x ) = c 0 + c 1 x + ⋯ + c n x n + o ( x n ) f(x) = c_0 + c_1 x + \cdots + c_n x^n + o(x^n) f ( x ) = c 0 + c 1 x + ⋯ + c n x n + o ( x n ) , alors :
∫ 0 x f ( t ) , d t = c 0 x + c 1 2 x 2 + ⋯ + c n n + 1 x n + 1 + o ( x n + 1 ) \int_0^x f(t) , dt = c_0 x + \frac{c_1}{2} x^2 + \cdots + \frac{c_n}{n+1} x^{n+1} + o(x^{n+1}) ∫ 0 x f ( t ) , d t = c 0 x + 2 c 1 x 2 + ⋯ + n + 1 c n x n + 1 + o ( x n + 1 )
On ne peut pas dériver un DL L’intégration d’un DL donne un DL d’ordre supérieur. Mais la dérivation d’un DL n’est en général pas licite (le o o o n’est pas dérivable).
Méthode générale§
flowchart TD
A["Calculer le DL de f(x) en a à l'ordre n"] --> B{"f est une composée,<br/>un produit, un quotient ?"}
B -->|Composée| C["Identifier u = g(x) → 0<br/>Substituer dans le DL de f(u)"]
B -->|Produit| D["Multiplier les DL<br/>Tronquer à l'ordre n"]
B -->|Quotient| E["Calculer le DL de 1/g(x)<br/>via 1/(1-u), puis multiplier"]
B -->|Fonction de base| F["Utiliser le tableau<br/>des DL usuels"]
C --> G["Ne garder que les termes ≤ n"]
D --> G
E --> G
F --> G
G --> H["Résultat : partie régulière + o(xⁿ)"]
Applications§
1. Calcul de limites§
Les DL sont l’arme absolue pour lever les formes indéterminées.
lim x → 0 tan x − sin x x 3 \lim_{x \to 0} \frac{\tan x - \sin x}{x^3} x → 0 lim x 3 tan x − sin x
tan x = x + x 3 3 + o ( x 3 ) \tan x = x + \frac{x^3}{3} + o(x^3) tan x = x + 3 x 3 + o ( x 3 ) , sin x = x − x 3 6 + o ( x 3 ) \sin x = x - \frac{x^3}{6} + o(x^3) sin x = x − 6 x 3 + o ( x 3 )
tan x − sin x x 3 = x 3 3 + x 3 6 + o ( x 3 ) x 3 = 1 3 + 1 6 + o ( 1 ) = 1 2 \frac{\tan x - \sin x}{x^3} = \frac{\frac{x^3}{3} + \frac{x^3}{6} + o(x^3)}{x^3} = \frac{1}{3} + \frac{1}{6} + o(1) = \frac{1}{2} x 3 tan x − sin x = x 3 3 x 3 + 6 x 3 + o ( x 3 ) = 3 1 + 6 1 + o ( 1 ) = 2 1
2. Étude locale d’une courbe§
Le DL permet de déterminer :
Tangente : donnée par les termes de degré 0 et 1
Position par rapport à la tangente : donnée par le premier terme non nul après la tangente
f ( x ) = e x f(x) = e^x f ( x ) = e x en 0 0 0 : f ( x ) = 1 + x + x 2 2 + o ( x 2 ) f(x) = 1 + x + \frac{x^2}{2} + o(x^2) f ( x ) = 1 + x + 2 x 2 + o ( x 2 )
Tangente : y = 1 + x y = 1 + x y = 1 + x . Position : f ( x ) − ( 1 + x ) = x 2 2 + o ( x 2 ) > 0 f(x) - (1+x) = \frac{x^2}{2} + o(x^2) > 0 f ( x ) − ( 1 + x ) = 2 x 2 + o ( x 2 ) > 0 au voisinage de 0.
La courbe est au-dessus de sa tangente (cohérent avec la convexité de e x e^x e x ).
3. Développements asymptotiques§
Pour x → + ∞ x \to +\infty x → + ∞ , on pose u = 1 / x → 0 u = 1/x \to 0 u = 1/ x → 0 et on fait le DL en u u u .
Asymptote de f ( x ) = x 2 + x f(x) = \sqrt{x^2 + x} f ( x ) = x 2 + x en + ∞ +\infty + ∞ :
f ( x ) = x 1 + 1 / x = x ( 1 + 1 2 x − 1 8 x 2 + o ( 1 / x 2 ) ) = x + 1 2 − 1 8 x + o ( 1 / x ) f(x) = x\sqrt{1 + 1/x} = x\left(1 + \frac{1}{2x} - \frac{1}{8x^2} + o(1/x^2)\right) = x + \frac{1}{2} - \frac{1}{8x} + o(1/x) f ( x ) = x 1 + 1/ x = x ( 1 + 2 x 1 − 8 x 2 1 + o ( 1/ x 2 ) ) = x + 2 1 − 8 x 1 + o ( 1/ x )
Asymptote oblique : y = x + 1 2 y = x + \frac{1}{2} y = x + 2 1 , et la courbe est en dessous (car − 1 8 x < 0 -\frac{1}{8x} < 0 − 8 x 1 < 0 pour x > 0 x > 0 x > 0 ).
Exercices types§
Calculer lim x → 0 e x − 1 − x x 2 \displaystyle\lim_{x \to 0} \frac{e^x - 1 - x}{x^2} x → 0 lim x 2 e x − 1 − x .
Solution : e x = 1 + x + x 2 2 + o ( x 2 ) e^x = 1 + x + \frac{x^2}{2} + o(x^2) e x = 1 + x + 2 x 2 + o ( x 2 ) , donc e x − 1 − x x 2 = 1 2 + o ( 1 ) → 1 2 \frac{e^x - 1 - x}{x^2} = \frac{1}{2} + o(1) \to \boxed{\frac{1}{2}} x 2 e x − 1 − x = 2 1 + o ( 1 ) → 2 1
Exercice 2 — DL par composition DL4 ( 0 ) _4(0) 4 ( 0 ) de ln ( cos x ) \ln(\cos x) ln ( cos x ) .
Solution : cos x = 1 − x 2 2 + x 4 24 + o ( x 4 ) \cos x = 1 - \frac{x^2}{2} + \frac{x^4}{24} + o(x^4) cos x = 1 − 2 x 2 + 24 x 4 + o ( x 4 ) . On pose u = − x 2 2 + x 4 24 + o ( x 4 ) u = -\frac{x^2}{2} + \frac{x^4}{24} + o(x^4) u = − 2 x 2 + 24 x 4 + o ( x 4 ) .
ln ( 1 + u ) = u − u 2 2 + o ( u 2 ) \ln(1+u) = u - \frac{u^2}{2} + o(u^2) ln ( 1 + u ) = u − 2 u 2 + o ( u 2 )
u = − x 2 2 + x 4 24 u = -\frac{x^2}{2} + \frac{x^4}{24} u = − 2 x 2 + 24 x 4 , u 2 = x 4 4 + o ( x 4 ) u^2 = \frac{x^4}{4} + o(x^4) u 2 = 4 x 4 + o ( x 4 )
ln ( cos x ) = − x 2 2 + x 4 24 − x 4 8 + o ( x 4 ) = − x 2 2 − x 4 12 + o ( x 4 ) \ln(\cos x) = -\frac{x^2}{2} + \frac{x^4}{24} - \frac{x^4}{8} + o(x^4) = -\frac{x^2}{2} - \frac{x^4}{12} + o(x^4) ln ( cos x ) = − 2 x 2 + 24 x 4 − 8 x 4 + o ( x 4 ) = − 2 x 2 − 12 x 4 + o ( x 4 )
Trouver un équivalent de ( cos x ) 1 / x 2 (\cos x)^{1/x^2} ( cos x ) 1/ x 2 quand x → 0 x \to 0 x → 0 .
Solution : ( cos x ) 1 / x 2 = e ln ( cos x ) x 2 = e − x 2 / 2 + o ( x 2 ) x 2 = e − 1 / 2 + o ( 1 ) → e − 1 / 2 = 1 e (\cos x)^{1/x^2} = e^{\frac{\ln(\cos x)}{x^2}} = e^{\frac{-x^2/2 + o(x^2)}{x^2}} = e^{-1/2 + o(1)} \to \boxed{e^{-1/2} = \frac{1}{\sqrt{e}}} ( cos x ) 1/ x 2 = e x 2 l n ( c o s x ) = e x 2 − x 2 /2 + o ( x 2 ) = e − 1/2 + o ( 1 ) → e − 1/2 = e 1
À retenir§
Connaître par coeur les DL des fonctions usuelles
Opérations : somme, produit, composition, quotient, intégration — mais pas dérivation
Le DL est l’outil n°1 pour les limites et les formes indéterminées
Le premier terme non nul après la tangente donne la position de la courbe
Pour les développements asymptotiques en + ∞ +\infty + ∞ , poser u = 1 / x u = 1/x u = 1/ x
Commentaires