XLVI

siri

(aA - cd)

• iri\

î^'(flA + crf) y(t)

8 (aft-i-crflxOO cp(T)

i^'(«*4.Ci/) y(T)

pe * '^^^—

— (a6 — crf)

37tl

où Ton a posé

Ce sont les formules mêmes de M. Hermite, tandis que le Ta bleau (XLVI2) est celui de M. Schlâfli.

VI. — Détermination, en fonction des coefficients de la transformation linéaire des fonctions ^, des racines huitièmes de l'unité qni figurent dans ces formules de transformation.

216. Nous avons vu (n° 149) que toute substitution linéaire à coefBcients entiers et à déterminant + 1 peut être obtenue par répétition et combinaison des deux substitutions

et de leurs inverses.

En suivant la marche indiquée au n® 150, il est d'ailleurs facile, chaque fois que les coefficients de la substitution linéaire ont des valeurs numériques données, d'effectuer la décomposition de cette

substitution en substitutions

et en substitutions inverses. Une fois cette décomposition effectuée, on n'a plus qu'à appliquer, dans un ordre déterminé, les formules de transformation du paragraphe précédent pour obtenir, dans le cas particulier considéré, les formules de transformation linéaire des fonctions âret, par suite, les racines huitièmes de l'unité e, e', e", e'".

Mais on peut chercher à s'affranchir de cette décomposition préalable de la substitution linéaire donnée. A cet efi*et, nous établirons, en nous plaçant avec M. Dedekind (*) au point de vue de la fonction h(T), des formules qui donnent explicitement e, et, par suite e', e", e'", en fonction des coefficients entiers a, 6, c, d de la transformation linéaire

c -^ d'z\ a -h bz)

217. Si l'on prend les dérivées, par rapporta v^ des deux membres de l'égalité (XLIIi) et que l'on pose ensuite ç' = o, il vient

(a) e/^TipT^^', (o|t)=-— L__&;(o|T).

En tenant compte de la relation

et en extrayant les racines cubiques dans les deux membres de l'égalité (a), on obtient immédiatement l'égalité

(P) h(T) = eV«-+-^'^h(T),

où e^ est une racine vingt-quatrième de l'unité que nous allons dé* terminer en fonction de a, 6, c, rf.

(') Riemann*s Werke, a« édition, Nachlass XXVII, a. Fragmente uber die Grenzfàlle der elliptUchen Modul/unctionen.

ans le cas où b est nul, cette détermination est immédiate.

'^^ ^fiet, l'égalité ad — bc = i exige alors que l'on ait, soit a = rf= i ,

^^^t» a,=^d=^ — I et l'on peut se limiter à la première alternative,

^^\sque T ne change pas quand on change le signe des quatre

^^mbres a, 6, c, d. On a alors

et, par suite, (XLV|), d'après la formule

h(T-i-c)= ^hQz).

218. Nous supposerons dans la suite b différent de zéro : a -f- èT n'est alors jamais réel.

La constante e^ n'est susceptible que de vingt-quatre valeurs;

elle ne dépendra donc pas de t si l'on a défini y/a -h b'z comme une fonction univoque et continue de t pour les valeurs de t représentées par des points situés au-dessus de l'axe des quantités réelles, valeurs qui sont les seules que nous ayons à considérer ici. A cet effet on pourrait, puisque a-\-b'z est toujours un nombre imaginaire, prendre comme argument de a-\- b'z un angle différent de zéro, compris entre — it et H- tc, et pour y/a -h bi la valeur imaginaire correspondante, dont l'argument est compris entre

et H — > en sorte que la partie réelle de y/a -h 6t soit positive.

Mais il y a avantage à substituer à y/a + &t une quantité qui ne change pas, non plus que t, quand on remplace a, 6, c, d par

— a, — è, — c, — rf: à la place de y/ a -f-ÔT on mettra y/ — (a H- b'z)'^ qui n'en peut différer que par un facteur égal à une racine huitième de l'unité, puisque les valeurs absolues de y/a -\- b'z et de ^ — (^-f- b'Cj^ sont égales et que les arguments de ces quantités ne

peuvent différer que par un multiple de - • Cette racine huitième

de Tunité, multipliée par t^^ reproduit une racine vingt-quatrième

de l'unité. Quant à y/ — (a -h b'zY, elle sera définie comme il suit : — (a -I- 6t)* n'est jamais un nombre négatif, puisque le carré d'un nombre imaginaire a-\- b'z ne peut être un nombre positif; dès lors on peut prendre comme argument de — (a 4- b'zy

gSI CALCUL DIFFÉRENTIEL.

un angle compris entre — u et +«, et ponr^/ — (a -\- 6T)*la valeur correspondante, dont l'argument est compris entre — 7 ®^ "^ 1 *

Entre les deux fonctions ^ — (a -f- 6t)* et \/a -+- 6t, précédemment définies, on a les relations

où il faut prendre le signe supérieur ou le signe inférieur suivant que b est positif ou négatif. En effet, si b est positif, Pargument de a 4- èT peut être regardé comme compris entre o et ti, puisque le coefficient de i dans a -h 6 t est positif; l'argument de la quantité \/a4-"6T, définie comme précédemment, sera donc compris

entre o et -> et l'argument de e * \/a-4- bx sera bien compris

entre — - et -h -,y comme celui de i/ — (a -f- 6t)^ . Le raisonne-

ment est le même quand b est négatif.

Quoi qu'il en soit, la fonction ^ — (a -h bx)^ définie, comme nous venons de le faire, est univoque et continue pour les valeurs de T représentées par des points situés au-dessus de l'axe des quantités réelles, et, si l'on écrit, au lieu de l'égalité (^), l'égalité

où £| est une racine vingt-quatrième de l'unité, il est évident, par le raisonnement du n" 181, que e\ ne peut dépendre de t; en sorte que l'on peut remplacer la formule (y) par celle-ci :

STZi

(8) h(T) = c« V— (aH-6T)»h(T),

N étant un nombre entier indépendant de t qui, lorsqu'on se donne <2, bj c, rf, n'est d'ailleurs déterminé par cette formule qu'à un multiple près de a4. Nous allons donner de ce nombre N une définition précise.