au voisinage de 0 pour entier naturel non nul et certaines
valeurs de par B. Boulehjoul 1
On suppose connues les proprits classiques de la fonction Gamma ( ), en particulier la formule de Gauss et la formule des complments. On commence par le cas en donnant une expression intgrale des sommes la valeur : Lemme 1
Corollaire 1 :
On dveloppe ensuite les formules obtenues en sries entires de :
Lemme 2 :
Corollaire 2 :
On tudie maintenant les sries entires et au voisinage de 1. Un changement Page 1sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... de variable dans les expressions de et va permettre de donner un quivalent simple de ces coefficients pour un infiniment grand, moyennant un rsultat sur la transformation de Laplace :
Lemme 3 Soit ; on suppose qu'il existe un rel tel que converge et que , avec et ; alors :
Corollaire 3 :
Grce un rsultat classique sur les sries entires relles, on obtient enfin quelques rsultats bien mrits. Lemme 4 Soit une srie entire relle de rayon de convergence 1 ; si et si diverge, alors : . Application
Corollaire 4 * pour
* * pour
Page 2sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... * * , : Exemples Moyennant ( ) et , on obtient :
Avec l'aide des techniques prcdentes et d'une expression intgrale de pour , on peut prciser la dernire formule du corollaire prcdent pour , et obtenir un premier rsultat pour . Lemme 5 Corollaire 5 * pour
*
* pour
* Quelques formules de trigonomtrie vont permettre de nouveaux rsultats :
* pour Page 4sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...
*
* pour
*
* pour
*
Notes ... Boulehjoul 1
Agrg de mathmatiques. Lyce Essalam, Maroc.
Dmonstrations Remarque Bibliographie
Dmonstrations Lemme 1. Moyennant les hypothses faites sur , la fonction est continue sur et l'on a ; ; ceci indique son intgrale sur absolument convergente ( . En appliquant pour et l'identit , et en multipliant chaque membre de l'galit par , on obtient : Page 5sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...
Pour , un simple changement de variable fournit la convergence de
et sa valeur ; ceci nous autorise intgrer l'galit ci-dessus entre 0 et (la dernire intgrale est donc convergente) :
Les fonctions sont continues sur et la double ingalit :
permet d'affirmer que la suite converge simplement sur vers la fonction nulle et satisfait la condition de domination du thorme de convergence domine ( est intgrable) ; par suite :
et le lemme est dmontr (convergence de la srie incluse) en faisant tendre vers dans .
Corollaire 1. Il suffit d'appliquer le lemme 1 , puis d'identifier les parties relle et imaginaire dans l'galit obtenue : les sries et les intgrales convergent et l'on a bien les galits annonces. Page 6sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... On notera que la premire galit montre que a le signe de , ce qui n'tait pas vident a priori.
Lemme 2. Pour tout et , on a , et l'on peut dvelopper en sries gomtriques sous les intgrales :
Les fonctions et sont continues sur ; les sries et convergent simplement sur respectivement vers et , et l'on a les ingalits suivantes :
les fonctions majorantes tant intgrables sur (voir corollaire 1). Le thorme de convergence domine s'applique une fois encore, et on en dduit les formules annonces.
Corollaire 2. Il est obtenu en combinant les rsultats du corollaire 1 et du lemme 2 appliqu .
Lemme 3. On peut videmment supposer , ce qui assure que
avec les hypothses, ainsi que . Page 7sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... Soit : . On dduit de ceci, pour :
pour l'autre morceau :
Exploitons maintenant la domination :
et par suite :
En combinant et , il en dcoule, pour :
ce qui achve la dmonstration.
Corollaire 3. Pour entier naturel, le changement de variable dans les expressions de et fournit :
Les fonctions et sont continues, positives, d'intgrales convergentes , et Page 8sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... ; le lemme 3 s'applique avec et fournit les rsultats annoncs.
Lemme 4. a pour rayon de convergence 1 ; on note :
Les tant , la suite des sommes partielles de la srie diverge vers ; pour donn, il existe donc un entier tel que l'on ait : . De , on dduit l'existence de tel que :
Alors a fortiori : , et donc : . Soit . ; pour et ; il suit :
On conclut en remarquant que le premier terme de la somme majorante tend vers 0 quand tend vers 1. On peut bien sr se contenter de la condition partir d'un certain rang. Soit ; la srie diverge et le lemme s'applique ; la formule de Gauss (sans ) o , valable pour et applique fournit :
(On peut retrouver ce dernier rsultat sans la formule de Gauss, l'aide de comparaisons du terme gnral de la srie avec une intgrale.) Corollaire 4. Pour , le lemme 4 s'applique aux sries et (on convient de ) :
Il suit, en vertu de l'application du mme lemme et de la formule ( ) : si :
si :
On obtient les deux premiers rsultats en posant et en utilisant le corollaire 2 et les quivalents connus de et au voisinage de . De mme, le lemme 4 s'applique pour aux sries et (on convient de ) : Page 10sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...
Il suit : si :
si :
Avec et le corollaire 2, on dduit les deux rultats suivants (le second terme de est prpondrant par rapport au premier). Le dernier rsultat (cas ) provient de la possibilit d'intervertir limite et somme grce la convergence normale de la srie sur .
Lemme 5. Soit ; on peut obtenir l'galit annonce en constatant la convergence uniforme de la srie et de l'intgrale sur dans l'galit du lemme 1, ou en procdant directement : Le changement de dans fournit, pour :
Pour tout , est continue sur ; converge pour tout rel , de somme , et on a :
Page 11sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... fonction intgrable sur ; le rsultat est consquence du thorme de convergence domine.
Corollaire 5. Avec le corollaire 1 et le lemme 5, on obtient, pour et :
La mthode utilise au lemme 2 fournit sans difficults, pour et :
Pour , on crit ensuite l'aide du changement de variable en vue d'utiliser le lemme 3 :
Le lemme 3 s'applique (avec ; est continue, positive, d'intgrale convergente , et ) :
Le lemme 4 s'applique ensuite lorsque diverge, i.e. pour ; en consquence :
soit donc (en dtaillant avec l'application du lemme 4) : Page 12sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...
On dduit alors aisment les deux premiers rsultats. Pour et , on peut ensuite crire, grce l'identit : , et les deux rsultats suivants en dcoulent.
Lemme 6. Les formules sont laisses au soin du lecteur.
Corollaire 6. Pour , et rel, les formules suivantes sont consquences du lemme 6 : * * * ( ) * ( ) Combines avec les corollaires 4 et 5, elles fournissent : * :
avec et .
Page 13sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... * ( ) : avec et .
* :
avec et .
* ( ) : avec et .
* : avec et .
* ( ) : avec et .
* : avec et .
Page 14sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=... * ( ) : avec et . Les formules du lemme 6 fournissent ensuite les identits suivantes, qui permettrons d'obtenir dans l'ordre les huit premiers rsultats du corollaire 6 :
Le rsultat et l'identit ci-dessus permettent d'crire : * :
La neuvime formule ( ) est alors consquence de et , et on obtient finalement la dixime et dernire formule ( ) avec et l'identit :
Remarque Moyennant le corollaire 6, on peut poursuivre l'tude des comportements de et en pour . Par exemple, pour , donne :
et, en intgrant sur (convergence uniforme sur ), on obtient : Page 15sur 16 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...
En intgrant une nouvelle fois cette formule crite pour , on trouvera :
Par des intgrations successives, on peut ainsi donner des dveloppements asymptotiques au voisinage de de et pour , .
Bibliographie Xavier Gourdon, Les Maths en tte, Analyse.