Вы находитесь на странице: 1из 16

Comportement des sommes

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 :

Lemme 6
Page 3sur 16 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...



Corollaire 6 (pour )
*


pour

* pour

*


pour

*

*
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 :

Page 9sur 16 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...


donc :



(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.

Page 16sur 16 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=484&Type=enonce&Num=0&Mode=...