112 4 1 PDF

Autour de la formule de Jacobi
Jean Varouchas
1

Notes
... Varouchas
1

Ancien lve de l'cole normale suprieure, professeur l'universit Nancy I.

Partie 1
L'IDENTIT DU TRIPLE PRODUIT DE J ACOBI
Partie 2
LE THORME DES DEUX CARRS DE J ACOBI
Partie 3
LE THORME DES QUATRE CARRS DE J ACOBI
Partie 4
L'IDENTIT DU QUINTUPLE PRODUIT DE WATSON ET GORDON
Partie 5
NOMBRE DE REPRSENTATIONS D'UN ENTIER PAR LES FORMES
QUADRATIQUES ET
Partie 6
NOMBRE DE REPRSENTATIONS D'UN ENTIER PAR LA FORME
QUADRATIQUE
Bibliographie

Partie 1
L'IDENTIT DU TRIPLE PRODUIT DE JACOBI
Il s'agit de l'identit suivante :

Les deux membres peuvent tre vus, au choix, soit comme des fonctions analytiques sur
, o est le disque unit, soit comme des sries formelles en coefficients dans
l'anneau des polynmes coefficients entiers en et , ce dernier n'tant autre que
le quotient de par l'idal engendr par . Ce qui suit sert la dmontrer, puis en
donner quelques applications.
1.1 - Le coefficient binomial de Gauss
Dveloppons le produit
Page 1sur 23 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=394&Type=enonce&Num=0&Mode=...

On trouve

Le coefficient de est ainsi somme de monmes en qui sont tous de degr
puisque chaque est au moins gal . On peut donc poser et l'identit devient

Dfinition Le coefficient binomial de Gauss est le polynme en

qui vrifie l'identit fondamentale

1.1.1 - Proposition
Le coefficient binomial de Gauss vrifie les proprits suivantes :
(i)
est un polynme de degr en coefficients entiers strictement positifs.
(ii)
.
(iii)
est le coefficient du binme ordinaire.
(iv)

Dmonstration
Les trois premires rsultent immdiatement de la dfinition. Montrons . On a

Convenons que ds que n'est pas compris entre et . Alors

ce qui implique

et en divisant par on trouve .
1.1.2 - Proposition
On a

o
En particulier,

Dmonstration
La formule (iv) ci-dessus implique immdiatement que

pour et fixs, la valeur de ne change pas quand on passe de ,
donc est gale sa valeur en qui est donc gale .

Remarque 1
En donnant la valeur , comme , on retrouve le fait que
par un argument qui n'tait pas utilisable si l'on s'tait restreint la valeur , c'est--dire
dans le cadre de la formule du binme classique.

Remarque 2
De la formule de la dfinition

il rsulte que le coefficient de dans est le nombre de partitions de en part(ie)s,
chacune n'excdant pas .
1.2 - Preuve de l'identit du triple produit
1.2.1 - Lemme
On a l'identit

Dmonstration
On traite sparment les deux facteurs.


o dans le dernier produit on a pos . Donc

En multipliant par , on trouve le :
1.2.2 - Corollaire

Dmontrons maintenant les deux versions de l'identit de J acobi.
1.2.3 - Preuve dans le cadre des fonctions analytiques
Posons

si et sinon.
Comme existe et est non nulle si , on a .
Pour et fixs, on doit justifier l'interversion entre somme par rapport et
limite par rapport :

Ceci vient du fait que les quotients sont uniformment borns par la constante
(dpendant de seul)

On peut donc intervertir somme et limite car si l'on pose , on a bien
et , ce qui est le terme gnral d'une srie
absolument convergente (indexe par ). Ceci justifie le passage la limite et dmontre
l'identit du triple produit en tant qu'galit entre deux fonctions holomorphes sur .
1.2.4 - Preuve dans le cadre des sries formelles
Soit l'anneau des polynmes coefficients entiers en et , o est une
indtermine. On se place dans l'anneau des sries formelles en coefficients dans .
On raisonnera nouveau sur , qui est un polynme en , en termes de congruence
modulo des puissances de . Comme

la plus basse puissance de y intervenant est , donc

En multipliant par on trouve et, comme

on a la congruence

ce qui implique

et dmontre l'identit du triple produit dans le cadre des sries formelles.
L'identit signifie exactement ceci : pour chaque entier naturel fix, la suite le
coefficient de dans le polynme

est stationnaire et sa valeur limite est si n'est pas un carr d'entier, si , et
si est un carr d'entier.
1.3 - Quatre calculs de M. D. Hirschhorn
Le mathmaticien australien Michael D. Hirschhorn a pouss son extrme l'art de rduire des
identits clbres des consquences triviales de l'identit du triple produit de J acobi.
On adopte les notations suivantes : pour ;
sera le nombre de diviseurs positifs de congrus modulo ;
sera le nombre de -uplets de dont la somme des carrs vaut , c'est--dire le nombre
de reprsentations de comme somme de carrs d'entiers. Il est clair que, pour tout ,

l'aide du seul triple produit, Hirschhorn dmontre les indentits dues J acobi

et

d'o l'on dduit, en comparant le coefficient de q dans le dveloppement en srie entire de
chacun des membres, que, pour tout

(thorme des deux carrs de J acobi) et

(thorme des quatre carrs de J acobi)
ce qui implique que (a) tout nombre premier (mod ) est somme de deux carrs, puisque
, et (b) tout entier naturel est somme de quatre carrs, puisque .
Un troisime rsultat est l'identit du quintuple produit de Gordon et Watson

que Hirschhorn dmontre galement en utilisant comme seul pralable identit du triple produit.
Un quatrime rsultat

.
d'o il rsulte que le nombre de reprsentations de par la forme quadratique est
gal .
Toutes les identits qui suivront seront simultanment vraies dans l'anneau des fonctions
holomorphes sur ou dans l'anneau des sries formelles .
On appliquera constamment et sans autre commentaire l'opration consistant sparer dans les
sommes ou produits infinis les termes d'indice pair et les termes d'indice impair, ou plus
gnralement vrifiant certaines autres congruences.
On utilisera souvent l'identit du triple produit sous la forme
1.3.1 - Lemme

Dmonstration
On a

Mais . En multipliant par , puis en
remplaant par , on trouve le rsultat.
Ce lemme admet la variante suivante
1.3.2 - Lemme

o le membre de droite est galement un lment de .

Dmonstration
De la formule prcdente il rsulte que l'on a

En changeant et dans la dernire somme, on trouve

On ajoute les deux, on divise par , on change en .
Cette forme met en vidence la similitude avec l'identit du quintuple produit.
Notons que la coefficient est un lment de et que
. On a donc, en faisant
1.3.3 - Corollaire

Par ailleurs, on a le trs lmentaire (mais trs utile)
1.3.4 - Lemme

Dmonstration
On simplifie les deux membres de l'identit

Partie 2
LE THORME DES DEUX CARRS DE JACOBI
2.1 - Thorme
On a l'identit

2.2 - Corollaire
Pour tout , le nombre de reprsentations de comme somme de deux carrs d'entiers
relatifs est quatre fois l'excs du nombre de ses diviseurs de la forme sur le nombre de
ses diviseurs de la forme .

Dmonstration du corollaire
On a, d'aprs le thorme

donc, pour tout
ce qui est exactement le rsultat annonc.
2.3 - Dmonstration du thorme
D'aprs le lemme 1.3.1

o dans la premire somme on a regroup les termes d'indice pair et dans la seconde les
termes d'indice impair . On trouve donc une expression de la forme
avec

Donc

Or

et
o
Donc

et
et, aprs multiplication par , en appliquant le lemme 1.3.4, on a

En changeant en on trouve la formule recherche.

Partie 3
LE THORME DES QUATRE CARRS DE JACOBI
3.1 - Thorme
On a l'identit

3.2 - Corollaire
Le nombre de reprsentations d'un entier naturel comme somme de quatre carrs d'entiers relatifs
est huit fois la somme de ceux de ses diviseurs qui ne sont pas divisibles par .
Le corollaire 3.2 rsulte du thorme 3.1 exactement comme le corollaire 2.2 rsulte du
thorme 2.1.
Pour montrer le thorme, on commence par le
3.3 - Lemme


Dmonstration
D'aprs le lemme 1.3.3, on a

En levant au carr, on trouve

On spare en deux termes et pour et de mme parit (dans la somme et de parti
diffrente (dans la somme ). Dans la somme , on fait le changement de variable ,
et on trouve, aprs calcul direct

Mais le passage de ne change pas la valeur de

ce qui prouve que . Donc

ce qui est le rsultat annonc.
3.4 - Dmonstration du thorme
Si l'on pose , alors le lemme ci-dessus s'crit

o
et
donc

Or, et se calculent par l'identit de J acobi.

Par consquent

en drivant logarithmiquement, on trouve

En regroupant les rsultats, on trouve

En changeant en , on obtient

Partie 4
L'IDENTIT DU QUINTUPLE PRODUIT DE WATSON ET
GORDON
C'est l'identit suivante

4.1 - Proposition
On a l'identit

avec

Dmonstration
On a avec

On paramtre les indices intervenant dans par et , de sorte que

Dans on paramtre par et , de sorte que

Dans on paramtre par et , de sorte que

Il suffit d'appliquer l'identit du triple produit chacune des six fonctions ci-dessus pour
obtenir l'identit annonce.
4.2 - Corollaire

avec

Dmonstration
Immdiate partir de la formule prcdente. Dans on a spar les facteurs
et pour , puis on a dcal les indices dans les
autres facteurs.
4.3 - Dmonstration de l'identit du quintuple produit
On crit la formule du corollaire ci-dessus pour . On note qu'alors le terme
s'annule. On a et . Par ailleurs, comme , chacun
des termes et comporte le facteur

lequel, multipli par , donnera . Donc

avec

En crivant sous forme d'un produit et , sous
forme de sries, on trouve

,

et il suffit de changer en , puis en pour obtenir l'identit du quintuple produit.

Partie 5
NOMBRE DE REPRSENTATIONS D'UN ENTIER PAR LES
FORMES QUADRATIQUES ET
5.1 - Thorme
.

Dmonstration
Soient une racine primitive cubique de l'unit et

Pour , notons le terme constant de la srie de Laurent en .
Notons aussi

ce qui se note tradionnellement . Tout d'abord,

donc, aprs le remplacement de par ,

Par ailleurs, par l'identit de J acobi (corollaire 1.3.3 ci-dessus)

d'o
Or, .
Le changement de variable donne

et le changement de variable donne

Donc, et

Maintenant partageons en trois termes selon la classe de modulo .

Or, et , par le changement de variable ,
. Comme en plus , on a par (1) et (2)

donc, en isolant les exposants multiples de trois et en changeant en , on a

5.2 - Corollaire

Dmonstration
On crit , o

Il est clair que et que .
Mais en plus, ces dernires deux quantits sont gales par le changement de variable
.
En plus, , par le changement de variable , .
Donc

Donc

d'o le rsultat.
Ces rsultats signifient que, si dsigne le nombre de diviseurs de congruus modulo
, le nombre de reprsentations entires de par la forme quadratique est

et le nombre de reprsentations entires de par la forme quadratique est :

Partie 6
NOMBRE DE REPRSENTATIONS D'UN ENTIER PAR LA
FORME QUADRATIQUE
6.1 - Thorme

Dmonstration
Nous utiliserons la fonction auxiliaire

qui vrifie, par l'identit du triple produit

En particulier

La drivation logarithmique de (2) implique

o

Par ailleurs, en posant et , dans (1), on voit que

En remplaant par et par , on obtient

d'o

l'aide de (3), (4) et (6), on obtient

o est la srie de Lambert dfinie en (5). Par consquent, on a

En changeant et on obtient


Corollaire
Le nombre de reprsentations d'un entier par la forme quadratique est

Bibliographie
1 M.D. Hirschhorn, A simple proof of Jacobi's two-square theorem , Amer. Math. Monthly,
92 (1985), 579,580.
2 M.D. Hirschhorn, A simple proof of Jacobi's four-square theorem , Proc. Amer. Math.
Soc., 101 (1987), 436,438.
3 M.D. Hirschhorn, A generalization of the quintuple product identity , J . Austral. Math.
Soc. Ser. A, 44 (1988), 42-45.
4 M.D. Hirschhorn, Three classical results on representations of a number , Seminaire
Lotharingien, B42f (1998.
5 J ean Varouchas, Dmonstration lmentaire d'une identit de Lorenz , The Ramanujan
J ournal, Vol. 2, n 4 (1998), 495-498.


112 4 1 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

112 4 1 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Autour de la formule de Jacobi

Vous aimerez peut-être aussi