Re: limite à calculer

Liste des GroupesRevenir à fs maths 
Sujet : Re: limite à calculer
De : efji (at) *nospam* efi.efji (efji)
Groupes : fr.sci.maths
Date : 23. Apr 2025, 19:26:11
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vubbc5$3mkna$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
Le 09/01/2025 à 18:11, MAIxxxx a écrit :
Quelqu'un connaît-il une démonstration (simple?) de la valeur de la limite
suivante (en français..):
limite quand n tend vers l'infini de (1/n!) * somme de 0 à n de
(t^n)*exponentielle(-t) dt.
 J'ai cru comprendre que ça vaut 1/2 cette question  avait été posée lors d'un
oral à Gnouf vers les années 60. J'ai vu un jour la démonstration dans un
bouquin mais j'ai oublié le raisonnement.
Je reviens sur cette vieille question car je suis tombé par hasard sur la démonstration limpide et simplissime. J'avais essayé des choses compliquées en coupant les epsilons en 4 ou en cherchant (mal) une récurrence, d'autres avaient donné une démonstration très compliquée utilisant le théorème du col, alors qu'en fait ça s'écrit en 3 lignes :
pour a>0, posons
f(a) = \int_0^{+\infty}  e^{-ax}dx = [-e^{-ax}/a]_0^{+\infty} = 1/a
cette fonction est infiniment dérivable (règle de Leibniz) et sa dérivée n-ieme vaut
f^{(n)}(a) = \int_0^{+\infty} (-x)^n e^{-ax}dx = (-1)^n (n!)/(a^{n+1})
En prenant a=1 on retrouve la formule demandée.
--
F.J.

Date Sujet#  Auteur
9 Jan 25 * limite à calculer15MAIxxxx
9 Jan 25 +* Re: limite à calculer13Prime
9 Jan 25 i+* Re: limite à calculer2Richard Hachel
9 Jan 25 ii`- Re: limite à calculer1efji
9 Jan 25 i+* Re: limite à calculer2efji
9 Jan 25 ii`- Re: limite à calculer1Prime
11 Jan 25 i`* Re: limite à calculer8robby
11 Jan 25 i +* Re: limite à calculer4MAIxxxx
11 Jan 25 i i`* Re: limite à calculer3efji
12 Jan 25 i i `* Re: limite à calculer2Michel Talon
14 Jan 25 i i  `- Re: limite à calculer1Michel Talon
11 Jan 25 i `* Re: limite à calculer3Prime
11 Jan 25 i  `* Re: limite à calculer2MAIxxxx
11 Jan 25 i   `- Re: limite à calculer1MAIxxxx
23 Apr 25 `- Re: limite à calculer1efji

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal