Par Boris Gourvitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.

fr

Christian Frtigny

Des applications du thorme des rsidus E. Estenave / C. Fretigny Une pluie de formules !
Je ne peux toutes les mettre, il y en a trop ! Vous les dcouvrirez au fil de la lecture de cette page. Voici nanmoins quelques exemples : mais aussi :

...

Autour de
La premire srie en haut de cette page pour k=0 semble due E. Estenave, Docteur s Sciences, et fut publie par son auteur avec deux dmonstrations un peu confuses dans un petit livre "Sur une srie servant dfinir approximativement le nombre Pi " en 1901. Christian Frtigny, enseignant chercheur l'ESPCI dans le laboratoire de physique quantique, est tomb sur ce livre dans une librairie de Paris. Il m'a d'ailleurs racont qu'une main exigeante et anonyme avait barr au crayon le "dfinir" du titre et l'avait remplac par "dterminer" avec une annotation : "Parlez franais" ! Toujours est-il que C. Frtigny m'a propos cette srie et une de ses gnralisations pour complter ma collection, en me

faisant part d'une autre dmonstration qui utilisait le thorme des rsidus. Aprs quelques lectures sur le sujet (je n'avais jamais tudi les fonctions holomorphes, introuvables en prpa !), nous avons engag une petite correspondance en octobre au fur et mesure que d'autres sries apparaissaient par la mme mthode. Cette page tente de synthtiser les rsultats de cette exploration, bien sr trs incomplte, vu la richesse de la mthode. Plusieurs pistes sont proposes, avec au moins un exemple pour chacune d'elle, lorsque le temps ou l'intuition ont manqu pour explorer plus profondment l'ide. Nous ne savons d'ailleurs pas si une tude complte ou une classification existe sur le sujet, ou bien si certaines de ces sries, il est vrai peu performantes, apparaissent simplement au dtour d'exercices, ni mme si elles sont toutes connues (enfin, l, il ne faut peut-tre pas rver et Maple en connat une bonne partie, d'ailleurs !). L'intrt calculatoire n'est pas norme, bien videmment, et c'est d'ailleurs peut-tre pourquoi je n'ai pas retrouv ailleurs ces formules, mais la thorie, les gnralisations et l'esthtique des sries sont trs intressantes. Sans compter que l'on peut redmontrer ainsi une bonne partie des formules d'Euler de faon trs rapide. A ma connaissance, et aprs quelques recherches, rien n'existe sur le sujet sur le web, si vous avez des renseignements, n'hsitez donc pas !

Le thorme des rsidus

Tout d'abord, rappelons quelques dfinitions avant le fameux thorme des rsidus qui sert de base tous ces calculs : On se place dans le cadre des fonctions de la variable complexe avec f(z) holomorphe (drivable) sur un ouvert E , et valeurs dans C. Soient z i avec i I les ples de f (c'est dire que pour tout i de I, il existe un ni entier minimal, appel l'ordre du ple, tel que (z-zi) f(z) soit drivable en z i). Le dveloppement de Laurent d'une fonction holomorphe, sur une couronne (espace entre deux cercles) dans l'espace complexe, est donn par :
ni

On dfinit le rsidu de f en z i comme le coefficient a-1 dans le dveloppement de Laurent de f avec z i la place de z 0. Lorsque z i est un ple simple, cela revient calculer :

Pour un ple d'ordre m, on a la formule :

On considre ensuite un contour ferm G de classe C contenu dans E et qui englobe les ples z i, i J, J I. On dfinit l'indice de G en z i (winding number) par :

ce qui correspond en pratique au nombre de passages du contour G (compt dans le sens trigonomtrique) autour du

point z i. Alors, finalement, le thorme des rsidus nous donne :

Intuitivement, cela veut dire que l'on peut connatre l'intgrale de f sur un contour ferm si l'on connat le comportement de f en ses points singuliers que sont ses ples. Ce thorme tonnant est videmment trs important en analyse complexe, et, vous allez le voir, galement dans la recherche de sries tendant vers !

Application du thorme une classe de fonctions

Dans toute la suite, les contours utiliss seront de simples contours carrs, donc l'indice de ces contours en n'importe quel point l'intrieur sera toujours 1 d'aprs la dfinition (pratique !). Intuitivement, on a maintenant d'un ct une somme de rsidus, c'est ce qui va donner les sries, et de l'autre une intgrale, que l'on espre donc calculable facilement. Pour certaines fonctions, cette intgrale est nulle lorsque l'on fait tendre le contour vers l'infini, c'est le sens de la classe de fonctions que l'on introduit ici : Soit . On considre comme contour ferm G(N), sur lequel on va . On vite ainsi de passer par les

intgrer, le carr de sommets :

ples de cotan (not cot ), c'est dire les zros de tan( z) , c'est dire encore les n Z (ouf..). Montrons maintenant que l'intgrale de g sur ce contour G(N) tend vers 0 lorsque N tend vers l'infini. Sur le montant vertical de droite, z=N+1/2+i.y, y variant de -N-1/2 N+1/2, on a :

car et sur le montant horizontal du haut, z=x+i(N+1/2), x variant de -N-1/2 N+1/2, on a :

car exp( (2N+1))-1>2 pour N 0 et donc, sur ces deux montants, cot( z) 2, et comme cot est impaire, on en dduit que l'on a ce rsultat sur tout le carr. Comme dans R , on peut alors majorer l'intgrale par la longueur de la courbe * le maximum de la fonction. Le carr ayant pour primtre 4*(2N+1), on obtient :

Or, pour z sur le carr, par exemple sur le montant vertical droit, on a z=(N+1/2)+iy et z (N+1/2) (de mme pour les autres montants). On peut donc encore affiner :

Faisons maintenant tendre le contour vers l'infini, c'est dire faisons tendre N vers l'infini ou encore z vers l'infini pour z sur le contour carr. Il reste choisir une fonction f telle que et l'intgrale tendra vers 0. Cette

forme rappelle un peu le critre de Riemann pour les sries relles, et de mme, toute fonction f de la forme d'une fraction rationnelle ayant un degr du dnominateur suprieur de plus d'un au degr du numrateur conviendra. En particulier, tout f de la forme de (z +c) avec a>1 convient. On a utilis tan dans g(z) mais on peut aussi regarder du ct de sin et cos. Pour cos, pas de problme si l'on ramne 1/cos sa forme exponentielle, puisque l'on a une somme d'exponentielles minorables au dnominateur de la mme faon que pour cot . Pour majorer 1/sin , il suffit d'utiliser la relation , puisque l'on vient de majorer cot( z) en
a -1

module par 2. On peut encore utiliser les fonctions hyperboliques quivalentes (cotanh , 1/sinh , 1/cosh ) mais cela semble peu prs tout. Nous voici donc avec une intgrale qui tend vers 0 si le contour tend vers l'infini. Mais cela veut aussi dire que tous les ples z n de notre fonction g pour n dans I vont tre contenus dans ce contour infini. Le grand avantage est que cot( z) , comme ses quivalents en 1/cos et 1/sin , admet une infinit de ples, qui sont ici les z n=n pour n dans Z, et la somme des rsidus en ces points va donc produire une srie infinie. Aprs s'tre occup de l'intgrale qui est nulle, et comme l'on a vu que les indices du contour infini en les ples z i seront gaux 1, notre cher thorme des rsidus devient donc ici condition de choisir f correctement :

Notre objectif, puisque les suites auront une convergence lente, est qu'au moins elles soient rationnelles. Examinons maintenant une premire application afin d'observer cette mthode simple avant d'expliquer plus en dtail pourquoi cela marche et d'orienter ainsi par la suite les pistes de recherche :

Exemple prliminaire
*** Cas m=4 et p=4

C'est vraiment celui qui marche le mieux, je dtaille donc les calculs, ce dont je me passerai volontiers par la suite ! Il est tout d'abord clair que cette fonction rentre bien dans le cas tudi prcdemment, son intgrale sur le contour infini est donc nulle. Voyons maintenant les ples de g et leurs rsidus : * 0 est un ple (pour z au dnominateur), son rsidu est obtenu en calculant * Les (2n+1) pour n Z sont les ples correspondant aux racines du cos, leurs rsidus respectifs sont :

Excellent, d'un ct, on a plutt sympathique !

m

dans le premier rsidu, et de l'autre la somme des rsidus en 2n+1 donne une srie sur n Z

Oui, mais voil, il y a encore les rsidus de g aux racines m-imes de -p qui sont aussi des ples de g car elles annulent z +p . Il faudrait que leur somme soit agrable, le plus souvent nulle, ce serait parfait. Dans le cas prsent les racines 4-imes de 4 sont 1+i , 1-i , -1+i , -1-i , elles sont simples heureusement, et c'est d'ailleurs ce qui limitera les possibilits par la suite pour d'autres valeurs de m. * Calculons les rsidus en ces racines. Remarquons avant, dans le cas gnral, que lorsque l'on manipule une racine m-ime de p, il ne faut pas oublier que z =-p . Or, avec z(z +p) au dnominateur de g, dans le calcul du rsidu de g en une racine m-ime de p, notons la ai, on a besoin de prendre la valeur en ai de
m m

Donc ce terme ne dpend pas de ai et seul le cos va en dpendre, le rsidu de g en une racine m-ime de p est ainsi : dans notre cas m=4 , p=4

Mais cela, c'est une trs bonne nouvelle car la somme de ces rsidus est nulle. En effet, chaque rsidu d'une racine s'annule avec celui de sa racine conjugue Il nous reste donc finalement qu' appliquer le thorme des rsidus en crivant que la somme des rsidus de g est nulle :

et finalement Gnralisation du cas m=4

(ouf !)

Considrons la fonction (g1 pour premier type de gnralisation) avec k dans N (ou dans Z mais ici, (2k+1) prend les mmes valeurs lorsque k est ngatif cause de la puissance 4) Ici et par la suite, j'userai d'un petit tableau pour prsenter les ples et leurs rsidus, c'est tout de mme plus clair que si les rsultats sont noys au milieu du texte. De plus, seule la somme des rsidus des racines est importante pour la calcul, pas le rsidu en une racine, sauf cas particulier, puisque l'on sait que c'est cause du sinus que la somme s'annule. J'omettrai donc souvent par la suite l'expression du rsidu seul en une racine, surtout lors des gnralisations, le rsultat tant assez pnible ! Ples 0 Rsidus
4

(2n+1)

+/-(2k+1)+/-i(2k+1) 0

somme des rsidus des racines Ce qui permet de mme que prcdemment de construire la srie suivante :

Notons que si l'on fait tendre k vers l'infini, le rapport du terme devant la somme et de celui au dnominateur tend vers 4, et l'on retrouve la suite de Leibniz ! Bon, la rigueur est un peu oublie puisque l'on n'a pas justifi le passage la limite, mais la remarque valait surtout pour l'intuitivit du rsultat. Augmentation du degr du dnominateur

Plus fort ! Le degr du dnominateur, hormis le z , est de 4 avec le z +4 . Eh bien, on peut l'augmenter pour faire converger la suite plus vite. Considrons ainsi la fonction :
4

Calculons les rsidus : Ples Rsidus

(2n+1)

somme des rsidus des racines On obtient alors la srie :

On peut s'intresser au cas limite lorsque j tend vers l'infini, cela revient calculer le produit infini :

On peut partir pour cela de l'expression bien connue (voir par exemple l'encyclopdie d'Eric Weisstein) :

Cela est tout fait intuitif, puisque le produit infini s'annule ds que z prend une valeur impaire, donc c'est une fonction (2n+1) priodique, cela doit tre le cosinus... On a donc :

et finalement :

Bien videmment, cela n'a plus gure d'intrt pour le calcul des dcimales et l encore la rigueur est un peu oublie, mais la formule est assez esthtique, n'est-ce-pas ? A noter que je pense que l'on peut la rapprocher des identits sur la fonction de Riemann trouves par Simon Plouffe et les Borwein en 1997/1998 (voir sa page perso). Une identit utilise est en effet la somme

La dmonstration en est donne sur la page de ce site consacre Plouffe et d'autres formules du mme type s'y trouvent.

Alors, pourquoi a marche et comment continuer ?

Le point majeur tudier est celui de la forme des racines m-imes de p. On a vu que l'annulation de la somme des rsidus pour ces racines dpend de la transformation du cosinus en sin cause du fait que sin est impaire. Comme l'on part d'un cosinus, il faut donc qu'il y ait une translation de car cos(x )=+/ -sin(x).

Dans l'exemple prcdent, comme l'on part de cos( z/2) , il suffit que lors du calcul des rsidus, la racine m-ime de p ait une partie relle de la forme (2k+1), donc entire et impaire. C'tait bien la cas prcdemment pour m=4 et p=4 puisque les racines sont les +/- 1+/- i. Cette proprit dpend essentiellement du degr de la puissance m au travers de la forme des racines m-imes de l'unit. Pour trouver les racines de z +p , il suffit en effet simplement de multiplier les racines m-imes de l'unit par p . Si on note ak la partie relle de la k -ime racine m-ime de l'unit, une condition suffisante pour que cela marche est donc qu'il existe p entier tel que ak .p
1/m m 1/m

=(2k+1)

et que cela soit valable pour toutes les racines avec le mme p. On le verra par la suite, seuls m=2 , m=3 , m=4 et m=6 semblent convenir, car au dessus du degr 6, par exemple pour le degr 8 qui semble favorable, on trouve un p pour 4 racines et un autre p pour les 4 autres racines, et plus rien ne marche, il y a constamment un dcalage de 2
1/2

! Notons aussi que, pour profiter d'un entier solution, on s'intressera

parfois en pratique plutt z + / -q .

Et la gnralisation - pourquoi a marche ?

Lorsque le degr m marche et que l'on a trouv p, rien n'empche ensuite de multiplier p par (2k+1) , on sait que l'on multiplie alors les racines m-imes de p par (2k+1), mais puisque leur partie relle est impaire et que le produit de deux impairs est impair, les nouvelles racines ont encore la bonne proprit sur leur partie relle. Cela explique pourquoi la gnralisation de l'exemple prliminaire fonctionne. Il n'est pas interdit aussi de disposer au dnominateur autant de polynmes de la forme z +p(2k+1) que l'on veut. Cela cre des produits qui augmentent le degr du dnominateur et aboutissent des cas limites comme on l'a vu. Voil en bref le principe d'exploration, il n'est pas impossible que des cas particuliers ne rentrant pas dans les hypothses ci-dessus apparaissent, mais aucun n'a encore montr le bout de son nez. Tous les exemples suivants sont donc des variantes de ce principe. Voici les diverses pistes qui ont t envisages :
m m m

Piste 1 : utilisation du cos, de z et d'un autre polynme de degr m : z +p , m>1 soit

*** Cas m=4 et p=4 Celui-l, on l'a donc vu comme exemple prliminaire *** Cas m=2 * p=-4(2k+1) , p=-4(2k) , p=-4(6k+/- 1) /3 m=2 est un cas un peu particulier, la simplicit des racines nous permet d'tudier le cas gnral en laissant initialement p comme paramtre dans g. On va retrouver ainsi naturellement les valeurs de p choisies ci-dessus : Voici donc le tableau rituel : Ples 0 Rsidus
2 2 2

(2n+1)

somme des rsidus des racines

Le i dans le cosinus est trs gnant si l'on veut une relation agrable et ne pas tomber sur des cosh du plus mauvais effet. Il suffit pour l'enlever de prendre p ngatif, un autre i sortira de la racine. Bien, ensuite, il s'agit de ne pas annuler le cosinus au dnominateur, il faut donc qu'il y ait un facteur 4 sous la racine pour tomber sur des cosinus de multiples de dont on connait bien la valeur. Finalement, on peut prendre pour valeur de p soit -4(2k+1) soit -4(2k) . Et ce choix est loin d'tre anodin, voyons plutt : Avec p=-4(2k+1) , on obtient pour k entier, toujours en annulant la somme des rsidus ci-dessus :
2 2 2

Mais avec p=-4(2k) , surprise, on obtient :

car le rsidu en 0 s'annule avec ceux des racines puisque cos(2k )=1 . Donc selon que l'on choisit les impairs 2k+1 ou les pairs 2k , on a une somme gale intressant !
2

ou nulle, voil un phnomne

En fait, plus gnralement, si l'on choisit p=-4a , on obtient d'aprs le tableau des rsidus le joli rsultat suivant, qui explique cette curiosit :

La seule autre valeur rationnelle pour le cosinus concerne la valeur a=(6k+/- 1)/3 , ce qui donne la nouvelle srie :

Augmentation du degr du dnominateur cela donne :

et pour le cas limite en faisant tendre j vers l'infini :

Cette dernire srie est dj cite d'aprs C. Frtigny dans Gradshteyn, I.S. and Ryzhik, I.M. " Tables of Integrals, Series, and Products " San Diego, CA: Academic Press, 1996 (en version CD) Je n'ai malheureusement pas ce livre ni le CD, mais je sens qu'ils me plairaient ! Il n'y a pas de cas limite pour la deuxime srie nulle, on tombe sur la somme des (-1) dont le rsultat, si il est normalement indterminable, correspond intuitivement bien la valeur 0 de la srie initiale. On peut augmenter le degr du dnominateur de faon plus exotique. Comme l'on a trouv une srie de somme nulle, on peut la soustraire de la srie donnant Pi pour trouver une nouvelle srie (bricolage !). Ainsi, on a :
n

* p=-(2k+1)

Il y a cet autre cas intressant pour m=2 . Il correspond au cas o l'on sait que le dnominateur va s'annuler pour la valeur n=k puisque l'on va avoir (2n+1) -(2k+1) dans la srie. L'ordre des ples en z=+/- (2k+1) n'est alors plus 1. Mais il suffit de calculer les rsidus en ces valeurs avec la formule diffrentielle propose dans la section "Thorme des rsidus", et les rsidus pour les autres valeurs 2n+1 de faon classique, cela donne : Ples 0 Rsidus
2 2

(2n+1) (n#k)

+/- (2k+1)

En annulant la somme de ces rsidus, on peut alors crire pour tout k entier :

La gnralisation par l'augmentation de degr au dnominateur semble plus complexe tout simplement parce que cela

oblige retirer d'autres valeurs de n de la srie. On voit en tous les cas qu'il n'existe pas de cas limite (car il ne resterait plus de valeurs de n dans la srie !!) *** Cas m=3 et p=2
3

Un cas trs classique, parfaitement ressemblant au cas m=4 , et facilement gnralisable, c'est d'ailleurs par l que l'on va commencer puisque le cas p=8 correspond k=0 dans la gnralisation : Rappelons la fonction utilise pour cette gnralisation :

Voici le tableau des ples/rsidus : Ples 0 Rsidus

(2n+1)

-2-4k (1re racine)

1+2k+/- I(2k+1)3 (la somme des rsidus s'annule)

1/2

On le voit, la seule particularit de ce cas est d'avoir une premire racine indpendante des autres ( cause du degr 3), mais son rsidu est parfaitement utilisable, et l'on peut former la somme (qui tait assez prvisible !) :

Une petite variante tout de mme, la somme se fait cette fois-ci sur Z, toujours cause du degr 3, la somme sur N n'tant plus gale la somme sur Z . Je pense que c'est aussi pour cela qu'il ne suffit plus de faire tendre k vers l'infini pour retrouver la suite de Leibniz comme tout l'heure pour le cas m=2 . Cependant, si l'on combine les sommes sur Z et Z , on arrive tout de mme obtenir une srie sur N qui est exactement celle prsente dans la section suivante "Cas m=6 et p=-2 " Augmentation du degr du dnominateur Le principe est connu maintenant, vitons de charger inutilement cette page dj trs longue. On peut sans peine
6 + -

appliquer le mme processu que pour m=2 ou m=4 , on obtient pout tout j entier :

Le cas limite ne semble pas calculable aisment cause du produit infini (est-il seulement calculable ?), si quelqu'un a un rsultat... Tout ce que l'on peut dire est que c'est une fonction (2n+1) priodique sur R et non sur R . Cela rappelle un peu les problmes concernant la somme des inverses des puissances impaires, c'est dire la fonction zta pour les valeurs impaires. *** Cas m=6 et p=-2
6 + -

Dernire valeur apparemment possible, ce cas ne pose pas de difficults particulires thoriques. Les racines au degr 6 sont : +/- (2+4k) qui donnent comme au degr 3 un multiple de Pi
+/- (2+4k){j, j } qui ont une partie relle impaire, donc le cosinus se transforme comme d'habitude en sin et les rsidus
2

des racines conjugues s'annulent. On passe donc vite, pour filer sur le tableau des ples/rsidus et sur les rsultats : Ples 0 Rsidus

(2n+1) somme des rsidus des racines Cela donne : 0

Augmentation du degr du dnominateur Pas de problmes non plus ici, on obtient facilement :

Pour le cas limite, on utilise le mme procd que pour m=4 , savoir l'utilisation du produit infini de degr 2 valant cos( z/2) . La lourdeur des calculs et la taille (dj consquente !) de cette page faisant, on va viter de dtailler le calcul. Pour obtenir le produit infini de degr 6, on va multiplier trois fois ce produit infini de degr 2 valant cos, avec z=(n+1/2), z=j.(n+1/2) et z=j (n+1/2). On trouve alors :
2

Les I vont donner des cosh en dveloppant, (mais ce n'est pas trs beau, mieux vaut laisser sous forme compacte) ce qui va assurer une convergence rapide.

Piste 2 : utilisation du sin, et d'un autre polynme de degr m : z +p , m>1 :

Comme on a obtenu des sries "impaires" avec le cosinus , c'est dire avec un (2n+1) au dnominateur du terme gnral de la srie, on pourrait s'attendre obtenir des sries paires avec le sinus. Mais malheureusement, tout ne marche pas aussi bien... En effet, contrairement au cas (2n+1), 0 est un cas particulier de 2n, et le rsidu en 0 est alors plus difficile calculer, il est en fait nul, mince, n'apparat plus... Il faut recourir une astuce, et dcaler le z du dnominateur en z-1 , c'est dire considrer la fonction

Le 1 est choisi pour obtenir une valeur agrable du sinus, mais l'on pourrait partir d'un autre dcalage, pourvu qu'il ne soit pas de la forme 2n. Tout cela est bien joli, mais avec l'habitude de cette mthode, on voit immdiatement que ce dcalage va ruiner nos espoirs de trouver des sries paires avec cette piste puisque l'on aura au dnominateur une chose de la forme q.n-a. Terrible... *** Cas m=4 et p=4 Un gros problme avec ce cas, le dcalage empche la somme des rsidus des racines de s'annuler totalement et l'on voit apparatre des cosh du plus mauvais effet... Voyons ainsi le tableau des ples/rsidus :

Ples 1

Rsidus

2n

somme des rsidus des racines +/- 1+/- i

Ce qui donne la srie :

Il faut absolument se dbarrasser du terme en cosh, sinon, la srie n'a pas vraiment d'intrt... Une solution est d'crire ce terme sous forme d'une srie par la mme mthode des rsidus, puis de rassembler les deux sries. Ainsi, on considre :

Avec la mthode habituelle, les rsidus en 2n et la somme de ceux-ci pour les racines donnent la srie :

Au passage, notez l'extraordinaire puret de la srie droite, d'une simplicit exceptionnelle, et l'horreur du terme de gauche ! La forme du membre de gauche aurait-elle des proprits si remarquables pour tre gal ce genre de srie ? Toujours est-il qu'en regroupant les deux quations prcdentes, on trouve :

Encore une jolie srie, mais peut-on en tirer un rsultat encore plus satisfaisant ? Gnralisation Comment la gnraliser ? Pas de la manire habituelle avec les (2k+1), on va tenter d'tre plus prcis en introduisant la fonction :

Nous allons chercher la condition sur a, b, et c pour que la somme des rsidus des racines de z +4 s'annule. Pour cela, voyons le calcul des rsidus en z=1+/- i (en n'oubliant pas que z = +/- 2i et z =-4 )
2 4

Bon, on sait que z = +/- 2i donc, pour que la somme de ces deux rsidus s'annule, il suffit d'utiliser cette proprit et que le terme derrire le z au numrateur soit donc proportionnel z , c'est dire : (+/-2a.i+b)( +/-2i-c)=4a-b.c +/-2i(a.c+b)=1+/-i La srie considre prcdemment correspond a=1 , b=-6 et c=1 La somme des deux autres rsidus s'annule car le carr des racines est rel (+/- 2). Intressons-nous maintenant aux autres ples, et sommons par le thorme des rsidus comme d'habitude. Pour 2n, calcul classique que je n'expose pas. Comme la somme des rsidus pour les racines de z -c donne
2 2

, on a tout intrt choisir

c=(2k+1) pour que le sinus soit gal 1, ce qui donne aprs de nombreuses simplifications (ouf !):

La formule originelle est le cas k=0. Pour autant qu'elle marche, cette mthode n'est pas vraiment fate pour les gnralisations et dpend surtout des proprits de la fonction. Ici, le degr 4 est idal car les racines 1+/- i ont pour carr +/- 2i, ce qui permet l'annulation des rsidus des racines conjugues de z +4 . Les degrs 2, 3 et 8 ne m'ont pas sembl favorables, mais il y a donc certainement beaucoup encore fouiller de ce ct-ci !
4

Piste 3 : utilisation de tan et d'un autre polynme de degr m : z +p , m>1

Intuitivement, la drive de tan : (1+tan ) fait penser que l'on peut obtenir des sries non alternes, contrairement aux sinus et aux cosinus . Car le (-1) venait de l'expression de la drive de cos et sin en (2n+1) ou (2n) . L'utilisation de la tangente est tout fait similaire celle du sinus, car leurs comportements sont quivalents l'origine (notamment les ples sont les mmes). Ds lors, on va tre confront au mme problme que pour le sinus, et l'on va devoir dcaler z
n 2

en z-1/2 cette fois-ci (pour tan( /4)=1 ) pour viter d'avoir un rsidu nul en 0. *** Cas m=4 et p=4 De mme que pour le sinus, c'est le degr 4 qui semble marcher le mieux pour les mmes raisons. Passons donc vite et courons vers les rsultats ! En considrant :

on obtient le tableau des ples/rsidus suivant : Ples 1/2 2n Rsidus

somme des rsidus des racines +/- 1+/- i

et la srie :

Ensuite, l'tude de la mme fonction g3 sans le z-1/2 conduit la jolie expression :

ce qui, inject dans la srie prcdente, donne :

Je n'ai pas encore russi gnraliser le rsultat... et je n'ai pas essay avec d'autres degrs que 4. Avis aux amateurs ! Notez que par rapport aux sries habituelles, on a cette fois-ci 4n-1 au lieu de 2n+/- 1. Cette recherche d'autres a*n+/-1 sera l'objet de la piste 6.

Piste 4 : utilisation de z et d'un autre polynme de degr m : z +p , m>1 :

*** Sans polynme z +p On considrera tout d'abord les fonctions sans polynme de degr m, c'est dire du type : ou
m

encore avec le cosinus ou la tangente. Ces fonctions servent redmontrer les innombrables formules d'Euler/Bernoulli. On calculera les rsidus en 0 avec la formule diffrentielle de la section "Thorme des rsidus" pour un ple d'ordre m. Une chose remarquer simplement est que la somme sur Z (priv de 0 lorsqu'il le faut, bien sr) des inverses des puissances est nulle pour certaines puissances cause de la parit. Ainsi, c'est ce qui explique que pour le sinus et q=2 , le rsidu en 0 n'est pas nul et vaut alors qu'il l'est pour q=3 . En effet, on a . Et donc - maintenant

que l'on est habitu, on peut mme se passer du tableau des ples/rsidus - q=2 donne :

Plus gnralement, pour le sinus, on peut utiliser les puissances q=2k pour donner des sries du type de la prcdente. La tangente utilise aussi q=2k et donne les sries non alternes. Pour le cosinus, c'est videmment le mme phnomne dcal puisque 0 n'est pas un ple du cosinus. On doit donc utiliser q=2k+1 pour trouver la somme des inverses des puissances des impairs. Ainsi, q=3 donne :

Ce qui est rageant, c'est que le phnomne

est la raison pour laquelle on ne peut pas calculer avec cette

mthode la valeur de (3) , la constante d'Apry. Et cela est valable pour toutes les puissances impaires, sauf pour les sries alternes comme ci-dessus, malheureusement, on ne peut pas passer d'une srie alterne une non alterne avec les impairs contrairement aux pairs. L'un des plus importants problmes mathmatiques contemporains tient peu de choses tout de mme... *** Avec polynme z +p Malheureusement, tout marche beaucoup moins bien ici que lorsque q=1 (z seulement). La somme des rsidus des racines ne s'annule plus par exemple dans le si joli cas m=4 et p=4 mme avec le cosinus. On obtient une varit hyperbolique genre cosh/sinh et il faut user encore de l'astuce comme pour les sinus, c'est dire utiliser une expression de cosh/sinh pour la remplacer dans la srie.
m

Mais un autre problme arrive : cette expression, par exemple

q

ne converge pas aussi vite

que celle que l'on a obtenue dans la srie car on y fait varier la puissance de (2n+1) , expression absente dans la srie avec cosh. Et donc impossible de s'en sortir pour obtenir un gain de vitesse grce au (2n+1) . Par exemple, en considrant pour q=2 , m=4 et p=4 et le sinus : on obtient l'expression :
q

et l'expression de cosh au dessus permet d'obtenir la srie :

Mais ce n'est gure rjouissant, et semble difficile gnraliser. Pour certaines puissances q, on arrive annuler la somme des rsidus des racines de z +4 (pour le cosinus et q=5 par exemple) mais comme dcidment a ne veut pas marcher, le rsidu en 0 est 1/192* (5
4 4 4

-96) et on ne peut isoler

dans cette expression car le polynme correspondant 1/192*x(5x -96)=c n'a pas de racines exprimables sous la forme de radicaux... Pour le degr q=2 , on a un peu le mme problme dans la mesure ou l'on obtient la srie dans un polynme du second degr de variable . Mais si l'on isole , des racines carrs arrivent or, l'objectif premier tait de rester dans les sries rationnelles, donc galement sans racines. Avoir une srie de somme comme au dessus passe encore, mais si l'on commence introduire des racines, cette page aura une longueur tendant franchement vers l'infini ! Je donne donc seulement un exemple de ce que l'on peut obtenir : q=2 , m=2 , p=(2k+1) donne :
2 2

Donc, on en reste l avec cette piste qui semble un peu bloque si l'on s'en tient l'optique originelle.

Piste 5 : utilisation de ples dcals pour les polynmes

Cette mthode est trs riche pour obtenir de jolies formules gnralises.Elle consiste prendre au lieu du z un z-a systmatiquement, tant entendu que l'on peut rajouter ensuite plusieurs autres polynmes au dnominateur. Pour la

rapidit du chargement de la page (mais quelqu'un sera-t-il seulement parvenu jusque l ??), j'omets les dtails du calcul, lorsqu'il est trs classique. Exemple 1 : deux ples simples dcals L'tude de donne :

Et en faisant tendre a vers b, puis b vers 0, on retrouve bien la srie d'Euler

(encore heureux !)

Les tan et cos (pris en z/2 ) donnent exactement le mme type de formule avec les caractristiques de chacun : tan la place du sin et srie non alterne pour la tan, et cos la place de sin et 2n+1 la place de n pour le cosinus Le rsultat est assez facilement gnralisable pour j+1 ples distincts au dnominateur et cela donne :

Malheureusement, comme les seules valeurs rationnelles pour le sinus sont prises pour des ak rationnels en dans le cadre de l'tude, on ne peut avoir plus de deux termes dans le produit et donc aller au del de j=1 . Exemple 2 : un ple d'ordre q dcal

/3 et

/2,

On va prendre q=3 ici, car il n'existe pas semble-t-il de cas vraiment gnral, les calculs dpendent de la puissance utilise. Considrons ainsi la fonction . L'application de la mthode des rsidus donne :

si je ne me suis pas tromp. Les cas m=1/3 ou m=1/2 semblent les plus intressants (et ce sont visiblement les seuls) si l'on veut obtenir une expression sans terme irrationnel (hormis bien sr !). On peut aussi choisir tan la place de sin. On obtient :

Piste 6 : utilisation d'un polynme z +p , et recherche de coefficients a.n+/-1 au dnominateur de la srie

Cette piste a t effleure la fin de la piste 3. Deux mthodes sont utilisables pour y arriver : * soit l'on utilise un dcalage gnral (z+/-b) et l'on regarde ensuite quelles valeurs de b (de la forme 1/r) permettent de changer le 2n+/-b en 2r.n+/1. *soit l'on part d'un dcalage l'intrieur du cos/sin c'est dire c. .z+ d, de faon ce que les ples soient directement de la forme a.n+1. Les deux cas sont clairements quivalents car ils correspondent un dcalage tous les deux, le second est plus pratique pour trouver ce qui marche et former les sries. Donc, si l'on se penche sur la seconde mthode, et que l'on se base toujours sur l'annulation des rsidus des ples de z +p , fixons les notations, et recherchons a.n+1 au dnominateur avec cos(b. z+c. ) c'est dire la fonction . Voyons les contraintes : 1. Comme on a z au dnominateur, 0 est un ple et il faut donc que le rsidu en ce ple, c'est dire en fait cos(c. ) soit rationnel (pas de problme pour la rationnalit de p !). Cela donne la condition (1) : (1) On exclut le cas c=1/2 qui donne un ple de cosinus (pas pratique !) 2. a.n+1 doit tre un ple, donc b. .(a.n+1)+c. =(2n+1) /2 ce qui est quivalent la condition (2) : a.b=1 (2a) b+c=1/2 (2b) 3. Enfin, pour qu'il y ait transformation du cosinus en sinus, la partie relle z 1 de z se doit de vrifier la condition (3) valable pour les gnralisations :
m

(3) Rsolvons ce sytme en utilisant les diffrentes valeurs possibles de c : A noter que c=0 est le cas que l'on a tudi dans les pistes prcdentes cela donne

c b a z1

c=0 b=1/2 a=2 2k+1

c=1/3 b=1/6 a=6 6k+1 6n+1

c=-1/3 b=5/6 a=6/5 (6k+1)/5 6n+5~6n-1

c=2/3 b=-1/6 a=-6 1-6k 1-6n~6n-1

c=-2/3 b=7/6 a=6/7 (6k+1)/7 6n+7~6n+1

Valeurs de a.n+1 2n+1 possibles

Tout est clair prsent ! Encore une remarque tout de mme, la forme de z 1 oblige considrer seulement un degr 2, voire 3. En effet, 4 racines ne peuvent avoir la mme partie relle. On verra pourtant qu'il existe un cas particulier pour le degr 4. Mais restons pour l'instant dans l'application du tableau, aprs avoir dbroussaill, c'est assez facile. Considrons ainsi l'exemple du degr 3 avec c=1/3 et b=1/6 (3 colonne du tableau) :

donne la srie :

Hlas, pas d'augmentation du degr du dnominateur cause du degr 3, comme on l'avait vu la piste 1... Il existe sinon un cas particulier, le degr 4. La forme obligatoire de z 1 vue ci-dessus empche aux rsidus des racines 4-imes conjugues de z +4 de s'annuler deux deux. Mais la somme des quatre rsidus est nulle ! Je ne crois pas que ce phnomne se retrouve un degr suprieur, cela est d la symtrie parfaite des racines pour le degr 4, c'est dommage... Toujours est-il qu'en considrant p=4*(6k+3) , et encore c=1/3 et b=1/6 , on obtient la srie suivante :
4 4

Et en augmentant le degr du dnominateur, on trouve :

Et comme cas limite, on a :

L'tude du sinus est quivalent celle du cosinus par translation de /2, donc, on ne trouvera pas de nouvelles sries par l. Avec la tangente, la seule possibilit de tangente rationnelle non nulle est pour : tan( /4)=1 . En suivant le mme raisonnement que pour le cosinus , on trouve tout naturellement une srie en 4n+1 , ici pour le degr 2, qui semble le seul possible :

On peut augmenter le degr du dnominateur et obtenir :

et le cas limite donne :

D'autres pistes ?
Avec cette mthode, on voit que l'on peut redmontrer nombre de formules, et bien sr, toutes ne sont pas l ! On peut chercher d'autres fonctions mettre au dnominateur des fonctions g. Par exemple, on peut mettre l'exponentielle complexe la place des cosinus /sinus etc... Seule problme, l'exponentielle ne s'annule pas, il faut donc la coupler avec un cosinus . Plus gnralement, on ne peut utiliser de fonctions qui ne sont pas dfinies correctement sur tout le domaine complexe. Par exemple, on ne peut utiliser cos( *log) pour obtenir des sries la Simon Plouffe car le logarithme n'est dfini dans le domaine complexe que si l'on effectue une coupure (suppression d'une demi-droite issue de l'origine) dans le domaine de dfinition complexe. Sinon, on pourrait tourner autour et avoir deux valeurs diffrentes pour z et z*exp(2i ) ( log(z) et log(z)+2i ). Ce qui serait pour le moins gnant ! A part les polynmes, je n'ai pas d'autres ides d'application pour l'instant, fates m'en part si vous en avez !
Par Boris Gourvitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr