‹ Mémoires de la Société royale des sciences et belles-lettres de Nancy (volume 4)Chapitre 59 sur 70 · UI · texte numérisé non relu

UI

En désignant par F et « deux fonctions arbitraires, rintégrale générale de Téquation précédente est :

Pour déterminer les deux fonctions arbitraires, ol^ser- ▼ons qu^ayant :

dx à cause de : dç = • on peut écrire :

on aura donc :

d^où en différentiant par rapport à i :

Faisons maintenant dans les deux équations qui précédent $ = o on trouve :

P(dt)-»'(«)=--^ +

Ce sont ces deux équations qui vont nous servir pour déterminer les fonctions arbitraires; posons suivant Tusage :

F(«)= Ta,*»

on obtiendra en intégrant la dernière :

F(a)— *(«) = Z(«) — log. a D^ailleurs on trouve aisément :

On en conclut les expressions suivantes :

«♦(«) =— Z {,) +4-Iog- [ Aa ~ {* + «»*) 1

Les conséqaences des résultats qu'on Tient d^obtenir embrassent les points les plus importants de la théorie des fondions elliptiques. Parmi ces conséquences, on doitsurtout distinguer celles qui sont relatives à rétablissement de formules, par lesquelles la fonction inverse K^H~y3) relative à la somme de deux arguments, s^exprime en Xr et ly. Ce sont aussi ces formules, eo quelque sorte élémentaires , que je vais établir en premier lieu.

Pour abréger récriture, on désignera dans tout ce qui va suivre par A£ ce que devient Lx quand on y remplace X par >(;} ; cela posé, reprenons Téquation :

+ ç A^Ac + /^^«^ = F(it +{;

En différenliant par rapport à S, on a :

A(«) Jf*

Soit fait successivement : Ç 2- a? + y» 5 = « — y»*P"^ retranchons membre à membre , if viendra :

^ ^ = r{x+yH

— P{«--y + «) + *'(*— û? + jr) — ♦'(fit— â5-#)

( â09 ) La première partie du second membre, savoir :

esl une fonction symétrique de x et de «c. Or je dis quMl en est de même de la seconde. En efiet , on voit facilement diaprés l'expression obtenue plus haut de «(a), que sa dérivée est une fonction impaire, et si Ton per* mute œ et a, dans :

♦* (a?— «) = y — ** {x — « — y) il vient : ♦' (oc — x) = y — *' (« — X — y) ou bien :

puisque $' est impaire :

L^ expression ^ «^ étant

>(a? + y)«Xa ^ >(a?-y)-X«

ainsi symétrique par rapport à a? et ce, on a Tégalité :

Aa Aa AX

>(a? + y) - X« ^(^-y) - 5ia ^(«+y) - 5ia?

Ay "^ >(a-y) - Xa?

Soit fait : a r= 0, il viendra Aa = A et par suite :

1 1 Aâ? Aâ?

>(ar + y) :^(a?-y) >y - >fl: >y + >rc

^ 2>y A^ "" )»y ^ Va?

Si daus celte équation on permute x et y, il vienl :

I i g>a? Ay

Où en déduit en ajoutant et retranchant membre à mem bre et divisant par deux :

1 ^ XyAx-Xa? Ay

\ [X + y) >'y - >'ap

1 >y Aa; + >j: Ay

En prenant les inverses et chassant les radicaux du dénominateur, il vient définitivement :

>a; Ay + > y Aa?

X (a; = y) ; T'Tr"""""""

3UC Ay - Xy Ax

Une vérification immédiate de ces deux résultaU

s'obtient en faisant c=4, et Xx— tang.ar , A (a?) =

Page 1