Le Théorème Fondamental garantit que si une fonction \(f(x)\) est continue sur un intervalle, alors elle possède toujours au moins une primitive, donnée par la fonction aire calculée entre un point \(a\) (quelconque dans \(I\)) et \(x\): \[ A(x)=\int_a^xf(t)\,dt\,. \] Nous savons aussi que si une fonction possède une primitive \(F\) alors elle en possède une infinité, puisque l'on peut toujours ajouter une constante arbitraire à \(F\).
Remarque: Même si toute fonction continue possède une primitive, cela ne veut pas dire qu'on peut la calculer explicitement. Par exemple, la fonction \[f(x)=e^{-x^2/2}\] étant continue, elle possède une primitive. Mais on ne peut pas l'exprimer de façon simple. Plus précisément, il n'est pas possible d'écrire sa primitive à l'aide d'une combinaison linéaire finie de produits ou compositions de fonctions élémentaires. . Voir la remarque à 4min50 ici (3Blue1Brown).
Commençons par lister l'intégrale indéfinie des principales fonctions élémentaires:
Énonçons quelques-unes des propriétés élémentaires de l'intégrale indéfinie (on suppose partout que les fonctions intégrées sont continûment dérivables).
Beaucoup de primitives peuvent se calculer très simplement si elles concernent une fonction dans laquelle on peut observer une structure qui permet d'utiliser directement une des relations ci-dessus. Parfois, une petite manipulation peut être nécessaire avant l'intégration.
Exemple: Considérons l'intégrale indéfinie \[ \displaystyle \int xe^{-x^2/2}\,dx\,. \] On observe qu'en posant \(g(x)=-\frac{x^2}{2}\), on a \(g'(x)=-x\). Donc, en insérant \(1=(-1)\cdot(-1)\), on fait apparaître \(g'(x)\), et on utilise \(\int f'(g(x))g'(x)\,dx=f(g(x))+C\) \[\begin{aligned} \int xe^{-x^2/2}\,dx &= -\int (-x)e^{-x^2/2}\,dx\\ &= -\int e^{g(x)}g'(x)\,dx\\ &=-e^{g(x)}+C\\ &=-e^{-x^2/2}+C \end{aligned}\] Dans la suite, on fera souvent ce genre d'opérations, sans forcément expliciter tous les détails.
Exemple: À l'aide d'une opération semblable à celle de l'exemple précédent, \[ \int \frac{\log(x)}{x}\,dx= \int \log(x) (\log(x))'\,dx= \frac12(\log(x))^2+C\,. \]
Exemple: Simplement à l'aide du logarithme, \[ \int \frac{1}{1+x}\,dx=\log|1+ x|+C\,. \] Ensuite, \[ \int \frac{1}{1-x}\,dx =-\int \frac{-1}{1-x}\,dx =-\log|1-x|+C\,. \] Ceci permet alors de calculer par exemple une primitive de la fonction rationnelle (un quotient de polynômes) suivante, \[\begin{aligned} \int\frac{1}{1-x^2}\,dx&= \int \frac{1}{(1-x)(1+x)}\,dx\\ &= \frac12\int \Bigl(\frac{1}{1+x}+\frac{1}{1-x}\Bigr)dx\\ &= \frac12\log\Bigl|\frac{1+x}{1-x}\Bigr|+C \end{aligned}\] (Nous avons fait ci-dessus une décomposition en éléments simples, méthode sur laquelle nous reviendrons plus loin.)
Lorsqu'on cherche des primitives impliquant des fonctions trigonométriques, on aura souvent recours à certaines formules trigonométriques.
Exemple: Considérons \[ \int \sin^2(x)\,dx\,. \] En se rappelant (voir ici) la formule \[ \sin^2(\alpha)= \frac{1-\cos(2\alpha)}{2}\,, \] on peut écrire \[\begin{aligned} \int \sin^2(x)\,dx &=\int \frac{1-\cos(2x)}{2}\,dx\\ &=\int \frac{1}{2}\,dx-\frac14 \int\cos(2x) (2x)'\,dx\\ &=\frac{x}{2}-\frac14\sin(2x)+C\,. \end{aligned}\]
Le calcul de primitives plus compliquées, lorsqu'il est possible, requiert l'utilisation de techniques d'intégration, que nous verrons dans les sections suivantes.
Dernière compilation: 2024-10-25 (07:58:48)
Sauf indication contraire, le contenu de ce document est soumis à une licence Creative Commons internationale, Attribution: Pas d'Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 (CC BY-NC-SA 4.0)
