Intégrale de Wallis

Intégrale particulière
(Redirigé depuis Intégrales de Wallis)

En mathématiques, et plus précisément en analyse, une intégrale de Wallis est une intégrale faisant intervenir une puissance entière de la fonction sinus. Les intégrales de Wallis ont été introduites par John Wallis, notamment pour développer le nombre π en un produit infini de rationnels : le produit de Wallis.

John Wallis, par Godfrey Kneller.

Définition, premières propriétés

modifier

Les intégrales de Wallis sont les termes de la suite réelle   définie par :

 

ou de façon équivalente (par le changement de variable  ) :

 .

Les premiers termes de cette suite sont :

                 
                 

Puisque pour  , on a  , la suite   est (strictement) positive et décroissante[1] ; on en déduit, d’après le théorème de convergence dominée, que sa limite est nulle ; ce résultat est également conséquence de l'équivalent qui sera obtenu plus loin.

Relation de récurrence, calcul des intégrales de Wallis

modifier

Une intégration par parties permet d'établir la relation de récurrence[1] :

 .

De cette relation et des valeurs de   et  , on tire une expression des termes de la suite, selon la parité de leur rang :

 

Autre relation pour le calcul des intégrales de Wallis

modifier

Les intégrales de Wallis peuvent s'exprimer grâce aux intégrales eulériennes :

  1. L'intégrale d'Euler de première espèce aussi appelée fonction bêta :
     
  2. L'intégrale d'Euler de seconde espèce aussi appelée fonction gamma :
     .

Sachant que   et  , on peut écrire les intégrales de Wallis sous la forme suivante :

 .

Un équivalent de la suite des intégrales de Wallis

modifier

De la formule de récurrence précédente, on déduit l'encadrement :   , d'où l'équivalence[1] :

 .

Puis, en étudiant  , on établit l'équivalent suivant[1] :

 .

Série génératrice

modifier

La série génératrice des termes pairs est  .

La série génératrice des termes impairs est[2]  .

Applications

modifier

Établissement de la formule de Stirling

modifier

On suppose connue l'existence d'une constante   telle que[3] :

 .

En remplaçant les factorielles dans l'expression ci-dessus des intégrales de Wallis, on en déduit un nouvel équivalent :

 .

En le confrontant à l'équivalent de   obtenu précédemment, on en déduit que

 .

On a ainsi établi la formule de Stirling :

 .

Calcul de l'intégrale de Gauss

modifier

On peut aisément utiliser les intégrales de Wallis pour calculer l'intégrale de Gauss.

On utilise pour cela l'encadrement suivant[4], issu de la construction de la fonction exponentielle par la méthode d'Euler : pour tout entier   et tout réel  ,

 .

Posant alors  , on obtient :

 .

Or les intégrales d'encadrement sont liées aux intégrales de Wallis. Pour celle de gauche, il suffit de poser   (t variant de 0 à π/2). Quant à celle de droite, on peut poser   (t variant de 0 à π/4) puis majorer par l'intégrale de 0 à π/2. On obtient ainsi :

 .

Par le théorème des gendarmes, on déduit alors de l'équivalent de   ci-dessus que

 .

Remarque : il existe bien d'autres méthodes de calcul de l'intégrale de Gauss, dont une méthode bien plus directe.

Calcul de π

modifier

Puisque   (voir supra),

 .

Or d'après le calcul ci-dessus des intégrales de Wallis :

 .

On en déduit pour la constante π/2 l'expression (appelée produit de Wallis) :

 .

Notes et références

modifier
  1. a b c et d Pour le détail des calculs, voir par exemple le lien en bas de cette page vers Wikiversité.
  2. René Adad, « Coefficient Binomial Central : un aperçu », sur math-os.com, Annexe 2.
  3. Voir par exemple cet exercice corrigé de la leçon « Série numérique » sur Wikiversité.
  4. Voir par exemple cet exercice corrigé de la leçon « Suites et séries de fonctions » sur Wikiversité.

Voir aussi

modifier

Sur les autres projets Wikimedia :

Article connexe

modifier

Calcul du volume de l'hypersphère

Lien externe

modifier

John Wallis, sur le site L'univers de π.