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 ).

  1. L’application est par morceaux, continue, dérivable à gauche et à droite sur telle que

  2. 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 et .

Exemple 5.

Changement de variable

Théorème 6 (Changement de variable). Soit un segment. Soit une application de classe et 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 :

  1. Si reste inchangé en changeant en , on pose .

  2. Si reste inchangé en changeant en , on pose .

  3. 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 :

  1. et sont mesurables.

  2. Dans ,

Théorème 15 (Fubini-Lebesgue). Soient et deux espaces mesurés et . Alors :

  1. Pour tout , et pour tout , sont intégrables.

  2. et sont intégrables, les fonctions étant définies pp.

  3. 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 :

  1. pp. en , converge dans vers .

  2. positive telle que Alors,

Exemple 23. Soit . On pose . Alors,

Exemple 24.

Exemple 25.

Régularité sous l’intégrale

Soit est un espace métrique. On pose .

Théorème 26 (Continuité sous le signe intégral). On suppose :

  1. , est mesurable.

  2. pp. en , est continue en .

  3. 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 :

  1. , .

  2. pp. en , est dérivable sur . On notera cette dérivée définie presque partout.

  3. 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

Application 30 (Intégrale de Dirichlet). On pose , alors :

  1. est bien définie et est continue sur .

  2. est dérivable sur et , .

  3. .

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

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 .

  1. Méthode des rectangles. On suppose continue. Avec , on a .

  2. Méthode du point milieu. On suppose de classe . Avec , on a .

  3. Méthode des trapèzes. On suppose de classe . Avec , on a .

  4. Méthode de Simpson. On suppose de classe . Avec , on a .