Aller au contenu principal

Fondamentaux du calcul infinitésimal

Cette séquence s'articule autour d'une idée : décrire d'abord le changement localement, puis l'accumuler globalement.

  1. Les limites établissent le comportement local et la continuité.
  2. Les dérivées mesurent le changement instantané.
  3. Les intégrales accumulent des quantités et renouent avec les dérivées.
  4. Les gradients et la descente de gradient étendent la notion de changement à plusieurs variables.
  5. L'optimisation transforme les dérivées en décisions.
  6. L'optimisation dans les réseaux de neurones applique ces outils aux systèmes d'apprentissage.

Avant de commencer

Il faut savoir transformer des équations, lire domaines et graphes de fonctions, et utiliser puissances, logarithmes et fonctions trigonométriques (en radians). Commencez par une variable ; les vecteurs et l'algèbre linéaire deviennent utiles pour les gradients et les nombreux paramètres.

Un calcul qui relie les notions

Soit une position s(t)=t2s(t)=t^2 mètres, où tt est en secondes. Le taux d'accroissement vaut

s(t+h)s(t)h=2t+h(h0).\frac{s(t+h)-s(t)}h=2t+h\quad(h\ne0).

En faisant tendre hh vers zéro, on obtient la vitesse s(t)=2ts'(t)=2t mètres par seconde. Entre 1 et 3 secondes, intégrer cette vitesse donne le déplacement 132tdt=91=8\int_1^3 2t\,dt=9-1=8 mètres. C'est un déplacement signé, pas nécessairement la distance totale ; celle-ci intégrerait s(t)|s'(t)| si le sens changeait.

Le théorème fondamental relie ces opérations : si ff est continue sur [a,b][a,b], alors F(x)=axf(t)dtF(x)=\int_a^x f(t)\,dt a pour dérivée f(x)f(x) à l'intérieur, et toute primitive GG donne abf(x)dx=G(b)G(a)\int_a^b f(x)\,dx=G(b)-G(a). La continuité est ici une condition suffisante ; cela n'affirme pas que toute fonction est dérivable ou intégrable.

En optimisation, une dérivée nulle ne fournit qu'un candidat : f(x)=x3f(x)=x^3 vérifie f(0)=0f'(0)=0 sans extremum en zéro. Sur un intervalle fermé, examinez aussi les extrémités et les points où la dérivée n'existe pas.

Explorer les liensOuvrir le réseau