« And what are these Fluxions? The Velocities of evanescent Increments? And what are these same evanescent Increments? They are neither finite Quantities nor Quantities infinitely small, nor yet nothing. May we not call them the ghosts of departed quantities? » — The Analyst by George Berkeley

4.1 Dérivée d'une fonction

Définition 4.1

Soit IRI \subset \mathbb{R} un intervalle ouvert non-vide.

Exemple 4.3: f:RR,xxf:\mathbb{R} \to \mathbb{R}, x \mapsto |x| n'est pas dérivable en 0. Par conséquent, continuité n'implique pas dérivabilité.


Proposition 4.5

ff dérivable en x0fx_0 \Rightarrow f continue en x0x_0.


Proposition 4.6

ff dérivable en x0fx_0 \Leftrightarrow f différentiable en x0x_0:

aR,r:IRxI,f(x)=f(x0)+a(xx0)+r(x)(xx0)\exists a \in \mathbb{R}, \exists r:I \to \mathbb{R} \mid \forall x \in I, f(x) = f(x_0) + a(x-x_0) + r(x)(x-x_0)

Avec limxx0r(x)=r(x0)=0\lim\limits_{x \to x_0} r(x) = r(x_0) = 0


4.2 Propriétés des dérivées

Proposition 4.8: Sommes et produits de dérivées

Soient IRI \subset \mathbb{R} un intervalle ouvert non-vide, x0Ix_0 \in I et f,g:IRf, g:I \to \mathbb{R} dérivables en x0x_0.


Proposition 4.10: Composition de dérivées

Soient I,JRI, J \subset \mathbb{R} des intervalles ouverts non-vides, f:IJf:I \to J dérivable en x0Ix_0 \in I et g:JRg:J \to \mathbb{R} dérivable en y0:=f(x0)Jy_0 := f(x_0) \in J.

Alors, gf:IRg \circ f: I \to \mathbb{R} est dérivable en x0x_0 et

(gf)(x0)=g(f(x0))f(x0)(g \circ f)'(x_0) = g'(f(x_0)) \cdot f'(x_0)


Proposition 4.11: Dérivée de la réciproque

Soient I,JRI, J \subset \mathbb{R} des intervalles ouverts non-vides, f:IJf:I \to J continue, bijective et dérivable en x0Ix_0 \in I avec f(x0)0f'(x_0) \neq 0.

Alors, f1:JIf^{-1}:J \to I est dérivable en y0:=f(x0)y_0 := f(x_0).

(f1)(y0)=1f(f1(y0))(f^{-1})'(y_0) = \frac{1}{{f}'(f^{-1}(y_0))}


4.3 Accroissements et dérivées

Définition 4.14: Maximum / minimum local

Soient IRI \subset \mathbb{R} un intervalle ouvert non-vide, x0Ix_0 \in I et f:IRf:I \to \mathbb{R}.


Proposition 4.15

Soient IRI \subset \mathbb{R} un intervalle ouvert non-vide, et f:IRf:I \to \mathbb{R} dérivable en x0Ix_0 \in I tel que x0x_0 est un extremum local de ff. Alors:

f(x0)=0f'(x_0) = 0


Définition 4.16: Point critique

Un point critique (ou point stationnaire) de la fonction ff est un point xxf(x)=0f'(x) = 0.


Proposition 4.17: Théorème de Rolle

Soient a,bRa, b \in \mathbb{R} tels que a<ba < b et f:[a,b]Rf:[a,b] \to \mathbb{R} continue sur [a,b][a,b] et dérivable sur (a,b)(a,b) telle que f(a)=f(b)f(a) = f(b).

Alors c(a,b)\exists c \in (a, b) tel que:

f(c)=0f'(c) = 0


Théorème 4.19: Théorème des accroissements finis

Soient a,bRa, b \in \mathbb{R} tels que a<ba < b et f:[a,b]Rf:[a,b] \to \mathbb{R} continue sur [a,b][a,b] et dérivable sur (a,b)(a,b).

Alors c(a,b)\exists c \in (a, b) tel que:

f(c)=f(b)f(a)baf'(c) = \frac{{f(b)-f(a)}}{{b}-a}


Corollaire 4.20

Soient a,bRa, b \in \mathbb{R} tels que a<ba < b et f:[a,b]Rf:[a,b] \to \mathbb{R} continue sur [a,b][a,b] et dérivable sur (a,b)(a,b).


Corollaire 4.22

Soient IRI \subset \mathbb{R} un intervalle ouvert, f:IRf:I \to \mathbb{R} et x0Ix_0 \in I. On suppose ff continue en x0x_0 et dérivable sur I{x0}I \setminus \{x_0\}.

Si limxx0f(x)\lim\limits_{x \to x_0} f'(x) existe, alors ff est dérivable en x0x_0 et f(x0)=limxx0f(x)f'(x_0) = \lim\limits_{x \to x_0} f'(x).


4.4 Dérivées d'ordres supérieurs

Définition 4.23

Soit IRI \subset \mathbb{R} un intervalle ouvert non-vide. La fonction f:IRf: I \to \mathbb{R} est dite nn fois dérivable si ff' est n1n-1 fois dérivable.

La dérivée d'ordre nn est notée f(n)f^{(n)}.


Définition 4.24

Soit IRI \subset \mathbb{R} un intervalle ouvert non-vide.


Théorème 4.27: Taylor-Lagrange

Soit IRI \subset \mathbb{R} un intervalle ouvert et a<ba < b dans II. Soit nNn \in \mathbb{N} et f:IRf: I \to \mathbb{R} telle que:

Alors, c(a,b)\exists c \in (a,b) tel que:

f(b)f(a)=k=1nf(k)(a)k!(ba)k+f(n+1)(c)(n+1)!(ba)n+1f(b) - f(a) = \sum\limits_{k=1}^n \frac{{f^{(k)}(a)}}{{k}!}(b-a)^k + \frac{{f^{(n+1)}(c)}}{{}(n+1)!}(b-a)^{n+1}

On définit aussi le polynôme de Taylor d'ordre nn de ff en x0x_0 par:

Tnf(x;x0):=k=0nf(k)(x0)k!(xx0)kT_nf(x;x_0) := \sum\limits_{k=0}^n \frac{{f^{(k)}(x_0)}}{{k}!}(x-x_0)^k


4.5 Comparaison asymptotique

4.5.1 La notation de Landau

Soient ERE \subset \mathbb{R}, f,g:ERf, g : E \to \mathbb{R} et x0x_0 un point limite de EE.

Petit o.

On suppose que ff ne s'annule pas au voisinage de x0x_0. On note g=oxx0(f)g = o_{x \to x0}(f) si:

limxx0g(x)f(x)=0\lim\limits_{x \to x_0} \frac{{g(x)}}{{f}(x)} = 0


Grand O.

On note g=Oxx0(f)g = O_{x \to x_0}(f) s'il existe δ>0\delta > 0 et CRC \in \mathbb{R} tels que:

xx0<δg(x)Cf(x)|x-x_0| < \delta \Rightarrow |g(x)| \leq C|f(x)|


Équivalence asymptotique.

On note gxx0fg \sim_{x \to x_0} f si:

limxx0f(x)g(x)=1\lim\limits_{x \to x_0} \frac{{f(x)}}{{g}(x)} = 1


4.5.2 Formule de Taylor-Young et formes indéterminées.

Proposition 4.34: Formule de Taylor-Young.

Soient IRI \subset \mathbb{R} un intervalle ouvert, fCn(I)f \in \mathscr{C}^n(I) et x0Ix_0 \in I. Alors lorsque xx tend vers x0x_0:

f(x)=Tnf(x;x0)+o((xx0)n)f(x) = T_nf(x;x_0) + o((x-x_0)^n)


4.6 Extrema locaux

Proposition 4.36

Soit IRI \subset \mathbb{R} un intervalle ouvert non vide et fCn(I)f \in \mathscr{C}^n(I).

Soit x0Ix_0 \in I tel que f(x0)=f(x0)==f(n1)(x0)=0f'(x_0) = f''(x_0) = \ldots = f^{(n-1)}(x_0) = 0 et f(n)0f^{(n)} \neq 0.