CHAPITRE IV, — PROPRIÉTÉS COMMUNES AUX FONCTIONS ELLIPTIQUES
la forme a -f- co', l'une au moins des deux quantités pv et jd'V est négative.
Ainsi, quand le discriminant est positif et quept^, p'v sont réels, il faut et il suffît, pour la réalité de r, que pv elp" v soient positifs. Dans les cas opposés, v est une cjuantité réelle, augmentée de la demi-période to' purement imaginaire.
bi V est réel, les quatre arguments -> - -h co, — h ^^ , — h w+ o)
sont ou réels, ou réels sauf la demi-période w' ; p et p sont réels pour chacun d'eux. Donc, quand le discriminant est positif et, en outre,
(58) a\ — aort2>o, i2(aj — «o«2)^— Sag > o,
les quatre racines de X sont réelles.
Si V est de la forme a -f- w', les cjuatre arguments — '^nnù -\- n m'
sont imaginaires, et les fonctions p'\ p' le sont aussi. Donc, quand les deux conditions (58) ne sont pas satisfaites, les quatre racines de X sont imaginaires.
Pour ce dernier cas, on pourrait craindre l'existence de valeurs particulières de p, imaginaires et rendant néanmoins une racine réelle. Voici comment on écarte cette petite difficulté. Soit
ô) = /?z co -^ m' to'
une demi-période. Pour toute racine, u a la forme h ô3, el
l'on a alors
La formule (48 a) devient, en ce cas,
(59) J^— 3pt^ = 2 j)(^^ ^wj — pr ;
elle montre que, si^ et par suite j»' aussi sont réels, pi- — h w ) doit
être réel; donc ou bien l'un des arguments -> to' est réel, ou
bien l'un des arguments -? oj est purement imaginaire. Aucun de ces cas n'a lieu si {v — 0/) est réel, ce qui se présente quand, pç» et p'p étant réels, (^ n'est pas lui-même réel. L'argu-
124 PKEMIÈRE PARTIE. — THÉORIE.
ment c, bien entendu, est toujours envisagé ici comme déterminé à des périodes près.
La formule (5") nous présente toujours les quatre racines de X comme différentes entre elles. Il n'y a pas de valeurs de v qui rendent deux racines égales entre elles; on le voit nettement par la formule (ap)- Tl ne faut pas s'en étonner: la condition pour l'existence d'une racine double, c'est que le discriminant de X, S^ — 27T-, soit nul. S'il en est ainsi, le discriminant A des fonctions elliptiques est nul aussi, et les fonctions elliptiques disparaissent. Elles dégénèrent en fonctions circulaires (ou exponentielles).
Distinction des racines par ordre de grandeur.
Il est utile, au point de vue des applications, de savoir distinguer les racines réelles de X, dans la formule (oy), quant à leurs grandeurs relatives. Pour ce but, nous fondant sur ce que deux racines ne deviennent jamais égales entre elles, nous substituerons à f une valeur particulière : nous aurons soin de choisir cette valeur particulière Çq, de telle sorte qu'un argument variable i^' puisse aller de ('0 à v sans que, dans l'intervalle, aucune racine (5-) devienne infinie. Il est alors certain que chaque racine varie, dans cet intervalle, d'une manière continue, et que l'ordre des quatre racines se conserve inaltéré.
Prenons le cas oîi les quatre racines sont réelles (le discriminant est alors positif). L'argument réel v peut être choisi entre zéro et 210. Choisissons Çq=o, et faisons varier ç' de zéro à v. Examinons d'abord les racines pour l'hvpothèse : ç' voisin de zéro. Elles sont contenues dans la formule (37), que nous reproduisons ici :
Nous les distinguerons par des indices o, i, 2, 3, correspondant aux quatre valeurs de (b.
i" (.0-^0. — L'argument ç' étant infiniment petit, p" - et p' -
