Fonction gamma
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
praud
- Membre Relatif
- Messages: 175
- Enregistré le: 28 Mai 2006, 20:33
-
par praud » 07 Nov 2007, 22:23
Soit la fonction gamma d'euler
 = \int\limits_0^{ + \infty } {t^{s - 1} e^{ - t} } \])
.
Je cherche a demontre la derivabiltée de la fonction gamma et que la limite de gamma en est

J'est deja montrer que gamma est convergente,continue et que
} \right|^n t^{s - 1} e^{ - t} } <br />\])
est convergente.
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 07 Nov 2007, 22:34
L'intégrande
 \rightarrow e^{-t} t^{s-1})
est continue pour x fixé et continue par morceau à t fixé (car continue...), de plus sa dérivée partielle par rapport à s,
 e^{-t} t^{s-1})
, est aussi continue.
Si s appartient à

on a
)
qui est une référence continue par morceaux et R+ intégrable. (Même domination pour la dérivée mais on multiplie par ln(t) qui ne change rien à la R+ intégrabilité)
Gamma est donc dérivable.
Pour la limite, on peut peut être invoquer le critère séquentiel en montrant que
 = (n-1)!)
-
praud
- Membre Relatif
- Messages: 175
- Enregistré le: 28 Mai 2006, 20:33
-
par praud » 07 Nov 2007, 22:40
Aspx a écrit:Si s appartient à

on a
)
qui est une référence continue par morceaux et R+ intégrable. (Même domination pour la dérivée mais on multiplie par ln(t) qui ne change rien à la R+ intégrabilité)
Gamma est donc dérivable.
Pour la limite, on peut peut être invoquer le critère séquentiel en montrant que
 = (n-1)!)
je n'ai pas compris
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 07 Nov 2007, 22:44
Pour la majoration si t<1 ou >1 c'est soit t^(alpha-1) soit l'autre alors on majore par la somme des deux... Pour le reste c'est la validation du théorème de dérivabilité sous l'intégrale.
-
praud
- Membre Relatif
- Messages: 175
- Enregistré le: 28 Mai 2006, 20:33
-
par praud » 07 Nov 2007, 22:50
J'ai deja majoré

de la facon suivante(dans une question précedente)

<k/t²(k dependant de s).Je peux m'en servir ou pas.
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 07 Nov 2007, 23:00
Oui à condition que

soit majorée. Alors on a une majoration intégrable en l'infini (référence de Bertrand).
-
praud
- Membre Relatif
- Messages: 175
- Enregistré le: 28 Mai 2006, 20:33
-
par praud » 08 Nov 2007, 18:44
est ce que vous pouvez m'expliquer comment on montre que la limite de la fonction gamma est +l'infini.
-
ThSQ
- Membre Complexe
- Messages: 2077
- Enregistré le: 10 Oct 2007, 17:40
-
par ThSQ » 08 Nov 2007, 19:21
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 08 Nov 2007, 19:29
 = (n-1)!)
d'où
 = +\infty)
Le critère séquentiel donne le résultat.
-
ThSQ
- Membre Complexe
- Messages: 2077
- Enregistré le: 10 Oct 2007, 17:40
-
par ThSQ » 08 Nov 2007, 19:35
Aspx a écrit:[Le critère séquentiel donne le résultat.
Tout à fait d'accord mais il faut montrer que la fonction est croissante non ?
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 08 Nov 2007, 19:44
Pourquoi il faudrait montrer qu'elle est croissante ?
-
ThSQ
- Membre Complexe
- Messages: 2077
- Enregistré le: 10 Oct 2007, 17:40
-
par ThSQ » 08 Nov 2007, 19:49
Ben je sais pas moi, c'est pas parceque f(n) -> +oo quand n N -> +oo que f(x) -> +oo quand x IR -> +oo.
f(x) = cos(2*pi*x) * x n'a pas de limite en +oo alors que f(n) = n -> +oo.
-
praud
- Membre Relatif
- Messages: 175
- Enregistré le: 28 Mai 2006, 20:33
-
par praud » 08 Nov 2007, 19:49
ThSQ a écrit: \geq \int\limits_1^{ 2 } {t^{s - 1} e^{ -1 } } \ \rightarrow +\infty)
Je n'ai pas compris pourquoi

-
ThSQ
- Membre Complexe
- Messages: 2077
- Enregistré le: 10 Oct 2007, 17:40
-
par ThSQ » 08 Nov 2007, 19:51
praud a écrit:Je n'ai pas compris pourquoi

C'est

et je suis sûr que ça peut se calculer explicitement !
-
Aspx
- Membre Relatif
- Messages: 285
- Enregistré le: 25 Avr 2006, 13:12
-
par Aspx » 08 Nov 2007, 20:08
ThSQ a écrit:Ben je sais pas moi, c'est pas parceque f(n) -> +oo quand n N -> +oo que f(x) -> +oo quand x IR -> +oo.
f(x) = cos(2*pi*x) * x n'a pas de limite en +oo alors que f(n) = n -> +oo.
Oui entièrement d'accord excuse moi, j'ai pas montré que toute suite qui tend vers l'infini a une limite... Il faudrait montrer que Gamma est croissante ce qui est évident à partir de x>2 par exemple.
-
ThSQ
- Membre Complexe
- Messages: 2077
- Enregistré le: 10 Oct 2007, 17:40
-
par ThSQ » 08 Nov 2007, 20:18
Aspx a écrit:excuse moi
Tu es tout pardonné !!
__________________________
MPSI*

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 108 invités