Développement #1354

Titre : Formule de Stirling par la méthode de Laplace

Contenu : -> On commence par montrer le lemme de Watson pour la transformée de Laplace :\rSoit $f$ une fonction intégrable au voisinage de 0 et à croissance au plus exponentielle en l'infini, on suppose de plus que $f$ admet un développement asymptotique en 0 de la forme :\r\r$f(x) = a_0 x^{\alpha_0} + \ldots a_n x^{\alpha_n} + O_0(x^{\alpha_{n + 1}})$\ravec $-1 < \alpha_0 < \ldots < \alpha_{n + 1}$\r\rAlors $\mathcal{L}(f) = \sum_{k = 0}^{n} a_k \frac{\Gamma(\alpha_k + 1)}{x^{\alpha_k + 1}} + O_{+\infty}(\frac{1}{x^{\alpha_{n + 1} + 1}})$\r\r-> On utilise ensuite ce lemme pour appliquer la méthode de Laplace à la fonction Gamma et retrouver ainsi l'équivalent de Stirling\r$\Gamma(x + 1) \sim_{+\infty} e^{-x}x^x\sqrt{2\pi x}$

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42