236 Illustrer par des exemples quelques méthodes de calcul d’intégrales de fonctions d’une ou plusieurs variables.
Illustrer par des exemples quelques méthodes de calcul d’intégrales de fonctions d’une ou plusieurs variables.
analysis
Méthodes de base pour les fonction d’une variable
Primitives
Théorème 1 (Fondamental de l’analyse). Soit (où est un segment et un espace de Banach sur ou ).
L’application est par morceaux, continue, dérivable à gauche et à droite sur telle que
Si est continue sur , est de classe sur avec pour tout .
Corollaire 2. Soit un segment. Toute application continue admet au moins une primitive, et pour toute primitive de sur , on a
Exemple 3. Pour tout , on note . Alors, et .
Proposition 4. Soit . Pour intégrer , on fait une décomposition en éléments simples de , qui nous ramène à calculer des primitives de la forme où et .
Exemple 5.
Changement de variable
Théorème 6 (Changement de variable). Soit un segment. Soit une application de classe et où est un intervalle tel que . Alors,
Exemple 7.
Proposition 8 (Règle de Bioche). Soit . Pour calculer une primitive d’une fonction de la forme , on peut utiliser la règle de Bioche :
Si reste inchangé en changeant en , on pose .
Si reste inchangé en changeant en , on pose .
Si reste inchangé en changeant en , on pose .
Exemple 9.
Intégration par parties
Théorème 10 (Intégration par parties). Soit un segment. Soient deux fonctions de classe . Alors,
Exemple 11 (Fonction d’Euler). On pose Alors, et en particulier, .
Exemple 12 (Intégrales de Wallis). En reprenant l’Exemple 3, on a
Application 13 (Intégrale de Gauss).
Méthodes pour les fonctions de plusieurs variables
Intégration sur un espace produit
Théorème 14 (Fubini-Tonelli). Soient et deux espaces mesurés et . On suppose et -finies. Alors :
et sont mesurables.
Dans ,
Théorème 15 (Fubini-Lebesgue). Soient et deux espaces mesurés et . Alors :
Pour tout , et pour tout , sont intégrables.
et sont intégrables, les fonctions étant définies pp.
On a :
Contre-exemple 16. On considère . Alors, , mais .
Exemple 17. Soient et . Alors,
Changement de variable généralisé
Théorème 18. Soient et deux espaces de Banach et un ouvert. Soit un difféomorphisme de classe . Alors, est mesurable et tout fonction appartient à si et seulement si appartient à . Dans ce cas,
Exemple 19 (Coordonnées polaires). L’application est un difféomorphisme de classe donc le jacobien en vaut .
Exemple 20 (Coordonnées sphériques). L’application est un difféomorphisme de classe donc le jacobien en vaut .
Application 21 (Intégrale de Gauss). En passant en coordonnées polaires,
Utilisation des théorèmes d’intégration
Soit et un espace mesuré.
Convergence dominée
Théorème 22 (Convergence dominée). Soit une suite d’éléments de telle que :
pp. en , converge dans vers .
positive telle que Alors,
Exemple 23. Soit . On pose . Alors,
Exemple 24.
Exemple 25.
Régularité sous l’intégrale
Soit où est un espace métrique. On pose .
Théorème 26 (Continuité sous le signe intégral). On suppose :
, est mesurable.
pp. en , est continue en .
positive telle que
Alors est continue en .
Exemple 27. La fonction de l’Exemple 11 est bien définie et continue sur .
On suppose maintenant que est un intervalle ouvert de .
Théorème 28 (Dérivation sous le signe intégral). On suppose :
, .
pp. en , est dérivable sur . On notera cette dérivée définie presque partout.
compact, positive telle que
Alors , et est dérivable sur avec
Application 29 (Transformée de Fourier d’une Gaussienne). En résolvant une équation différentielle linéaire, on a
integrale-de-dirichlet
Application 30 (Intégrale de Dirichlet). On pose , alors :
est bien définie et est continue sur .
est dérivable sur et , .
.
Utilisation de l’analyse complexe
Formule intégrale de Cauchy
Soit un ouvert de . Soit .
Théorème 31 (Cauchy homologique). Soit un cycle homologue à zéro dans (ie. tel que ). On suppose . Alors,
Corollaire 32 (Formule intégrale de Cauchy). Soit un cycle homologue à zéro dans . On suppose . Alors,
Corollaire 33. On a . De plus, si et que l’on pose , on a
transformee-de-fourier-d-une-gaussienne
Application 34 (Transformée de Fourier d’une gaussienne). On définit , Alors,
Théorème des résidus
Théorème 35 (des résidus). On suppose méromorphe sur et on note l’ensemble de ses pôles. Soit une courbe homologue à zéro dans et ne rencontrant pas . Alors,
Exemple 36.
Exemple 37 (Intégrale de Dirichlet).
Calcul approché d’intégrales
Soit une fonction réelle continue sur un intervalle . On se donne points distincts deux-à-deux.
Définition 38. Pour , on définit le -ième polynôme de Lagrange associé à par
Théorème 39. Il existe une unique fonction polynômiale de degré telle que :
Théorème 40. On note et on suppose fois dérivable . Alors, pour tout , il existe un réel tel que
Corollaire 41.
Application 42 (Calculs approchés d’intégrales). On note . L’objectif est d’approximer par une expression et de majorer l’erreur d’approximation .
Méthode des rectangles. On suppose continue. Avec , on a .
Méthode du point milieu. On suppose de classe . Avec , on a .
Méthode des trapèzes. On suppose de classe . Avec , on a .
Méthode de Simpson. On suppose de classe . Avec , on a .