• Aucun résultat trouvé

L E T T R E S D ' H E N R I P O I N C A R I A M . M I T T A G - L E F F L E R # . . . . . C a e n , i J u i n i 8 8 i . J e v o u s r e m e r c i e b i e n d e v o t r e l e t t r e e t , l o i n d e v o u s e n v o u l o i r , j e s u i s e n c h a n t 6

N/A
N/A
Protected

Academic year: 2022

Partager "L E T T R E S D ' H E N R I P O I N C A R I A M . M I T T A G - L E F F L E R # . . . . . C a e n , i J u i n i 8 8 i . J e v o u s r e m e r c i e b i e n d e v o t r e l e t t r e e t , l o i n d e v o u s e n v o u l o i r , j e s u i s e n c h a n t 6"

Copied!
14
0
0

Texte intégral

(1)

LETTRES D'HENRI POINCARI A M. MITTAG-LEFFLER#

. . . Caen, i J u i n i 8 8 i .

J e v o u s r e m e r c i e b i e n de v o t r e l e t t r e et, loin de v o u s en v o u l o i r , j e suis e n c h a n t 6 d u m o y e n q u e v o u s m e fournissez de r e c t i f i e r u n e e r r e u r h i s t o r i q u e . N ' a y a n t p a s lu le m 4 m o i r e Z u r F u n k t i o n e n l e h r e , ~ j ' a t t r i b u a i s g M. HERMITE la p r e m i S r e id6e de ce n o u v e a u g e n r e de f o n c t i o n s . L a m a n i ~ r e de d6finir u n e f o n e t i o n , p a g e 3, je ne la e r o y a i s p a s nouvelle, c a r je la qualifie de ((Procddd bien connu)>. J e la consid4rais c o m m e 4 t a n t pass4e d a n s le d o m a i n e p u b l i c de- p u i s CAUCHY; q u a n t ~ la s6rie:

A + ~ b~x a"

je ne la r e g a r d a i s p a s n o n p l u s c o m m e n o u v e l l e , m a i s si on m ' a v a i t d e m a n d 6 de qui elle 4tait, je crois q u e j ' a u r a i s d i t : d e LEJEUNE-DrRICt/LET OU de I ) U Bo~s- REY~OZqD. V o u s v o y e z p a r lg e o m b i e n m e s c o n n a i s s a n c e s h i s t o r l q u e s 6 t a l e n t i m p a r f a i t e s e t c o m b i e n v o u s m ' a v e z ~t6 utile. J e n e r e g r e t t e q u ' u n e chose, e ' e s t q u e v o u s a y e z fair c o m m e n c e r l ' i m p r e s s i o n a v a n t de m ' 4 e r i r e , c a r cela r e n d r a les c o r r e c t i o n s plus difficiles.

E n ce q u i c o n c e r n e la s6rie:

s = x ~ ( I ) + x~ef(2) + . . . + x " 9 ( n ) + . . . 3

je ne puis dire q u e je m ' e n suis oecup6 ]e p r e m i e r , p u i s q u ' e l l e r e s s e m b l e s tel p o i n t a u x s6ries e n v i s a g 4 e s p a r JACOBI d a n s la t h 6 o r i e des f o n e t i o n s e l l i p t i q u e s ; Les trois lettres de i juin i88i, de 29 juin ,88i et de 26 juillet 188i se rapportent au page 94 du m~moire de CH. HERMITF, r quelques points de la th6orie des fonctionm~ (Extrait d'une lettre de M. Cm HERMITE ~ M. MIT'rA.G-LEFFLER), Acta Societatis Scientiaram Fennic~e, Tome XII, 1883 (imprim4 1881), Journal fiir die reine und angewandte Mathematik, Bd. 9I, p.

77--78, ainsi qu'au mdmoire de H. Poil~cAa~ ~Sur les fonctions i~ espaces lacunaires*, Acta So- cietatis Scientiaram Fennicm, Tome XII, I883. (imprim6 1881)

Monatsberichte der Akademie der Wissenschaften zu Berlin, I88O, p. 719--743; Mathe- matische Werke yon KXRL W~.maSTRASS, Bd. 2, p. 2oI--~-23.

s ,~ (n) repr6seate la somme des puissances (~--i)i~me, des diviseurs de n.

(2)

mais je ne puis non plus dire qu'on s'en est occup6 a v a n t moi; car les deux s6ries sont presque les mfimes sans ~tre tout d /ait les m~mes.

Voici au surplus comment j ' y ai 6t6 conduit: Soit:

S = ~.,,,.n(am + bn)-Z;

m e t n p r e n n e n t sous le signe ~ tous les syst~mes de valeurs enti~res, positives et n6gatives, saul:

~. est un entier plus grand que 2.

Posons

on trouve:

' m = n ~ o

2.-,bg~

9 . ~ e a

azS ~ A + B s

A et B ~tant des constantes d o n t je ne me rappelle plus la valeur. 1 De la forme de la s6rie S se d~duit imm6diatement la propri~t6 indiqu~e de la s6ri.e s.

Voiei m a i n t e n a n t comment je con~ois le rapport entre la sbrie s e t les s6ries de JACOBI. La fonction modulaire est une ]onction/uchsienne; parmi les fonctions fuehsiennes il y en a une a u t r e que j'appelle /onction arithmdtique qui s'exprime rationnellement par la fonetion modulaire. Toute fonction rationnelle de la fonc- tion modulaire s'exprime par le quotient de deux fonctions analogues aux fonc- tions O et que j'appelle thdta]uchsiennes modulaires; de m~me toute fonction ra- tionnelle de la f. arithm6tique s'exprime par le quotient de deux fonctions thdta- /uchsiennes arithmdtiques. Eh bien les s6ries de J.,cont sont des fonctions th~ta- fuchsiennes modulaires, les s~ries s sont des fonctions th~tafuchsiennes arithm(~ti- ques. Vous me demandez un exemple de fonctions fuchsiennes pr6sentant un espace ]acunaire; presque toutes celles que j'ai ~tudi~es jusqu'ici pr~sentent un tel espace. Je vous citerai seulement comme exemple la fonction modulaire qui vous est bien connue; ou bien encore la fonction d6finie de la mani~re suivante:

Envisageons l'~quation hyperg~om6trique de GAUSS et je suppose que la difference des racines des 6quations ddterminantes soient des parties aliquotes

d e I .

Si on envisage la variable comme fonetion du rapport des int6grhles, ee sera une fonetion fuchsienne prSsentant un espace lacunaire.

Si 2 e s t u n h o m b r e p a i r o n t r o u v e

). ).

A = (-- ~)~- +IB~, ,~ ~2 f2~)~. ,

~ . [ 2 Z ) ' , B = 2 ( - , ( ~ - - I ) !

oh les B ) . r e p r d s e n t e n t les n o m b r e s de B e r n o u l l i . Si 2 e s t u n n o m b r e i m p a i r la s o m m e de la s6rie S e s t dgale it z6ro et la r e l a t i o n i n d i q u 6 e e n t r e S e t s n e s u b s i s t e p a s e n ce cas,

(3)

Lettres d'Henri Poincar~ ~ M~ Mittag-Leffler. 149 J e ne sais quand je pubiierai en d6tail mes recherches sur ces sortes de fonctions fuchsiennes; mais je puis vous donner quelques d6tails sommaires.

J e cherche routes les fonetions uniformes de z qui satisfont ~ des relations telles que celles-ei:

( a , z + b,t (a2z + b21 [ a , z + bnl.

les a, b, c, d sont r~els; je ]es suppose donn6s. Seulement ils ne p e u v e n t ~tre choisis d'une fa~on quelconque et le p r o b l ~ m e le plus difficile est de d6terminer comment on dolt les choisir pour qu'il existe de telles fonctions. J e le r6sous s l'aide de consid6rations emprunt6es s la g~om~trie non-euclidienne.

J'ai surtout ~ faire ressortir les analogies avec les fonctions elliptiques, j'ai trouv6 des foneti0ns rappelant s certains points de r u e les fonctions O e t Z; j'ai montr6 comment on pouvait les appliquer ~ l'int6gration des 6quations lin6aires, au calcul des int6grales ab61iennes et g diverses questions d'arithm6tique.

J'ai lieu de penser que toutes les 6quations lin6aires g coefficients rationne]s s'int6grent par ma m6tbode; mais je ne l'ai pas encore d6montr6 rigoureusement.

Vous me demandez aussi quelques d6tails sur cette fonction qui int~gre l'6quation (8); e'est bien simple; d'apr~s la forme de cette 6quation, il y a une s6rie ocdonn6e suivant les puissances des u qui satisfait h l'6quation et il n'y en a qu'une; c'est cette s6rie, consid6r6e comme fonction du param~tre x, qui est la fonction g espace lacunaire ~ 6tudier. Quant k un exemple, voici le plus simple que je puisse donner; e'est l'6quation:

d z d z d z d z

u, ~ , +

( ~ - . ~ ) u ~ ( i - u , ) ~ + (x,--.~)U~d--~ + . . + (z--.,,)'a,,~i-~=z

dont l'unique int6grale holomorphe est s un facteur num6rique pros:

q~ft

m~m! (X - - a~ )mt Ul mt U2 m2 9 9 9 "an

Ira, - ~ + ( ~ - . ~ )

~ + ( ~ - .~) m~ +... + ( ~ -

. . ) m,,]

~u:l

Vous verrez d'ailleurs dans le texte la rectification que j'ai faite.

. . . Caen, le 29 juin 1881.

II y a en effet une erreur dans l'exemple que je vous ai envoy6. La seule int6grale holomorphe de l'6quation serait 6videmment:

z --- u~ X constante.

(4)

J e vais p r e n d r e u n e x e m p l e d i f f e r e n t et faire t o u t le calcul p o u r 4 v i t e r t o u t e e r r e u r n o u v e l l e . Soit:

d z

u~ (x - - u~ - - u s - - u~ u ~ ) ~ i

S'il y a u n e i n t 4 g r a l e h o l o m o r p h e , on

d z d z

+ Z~us~-~, + Z.~u~d-uu ~ = z .

o b t i e n d r a le c o e f f i c i e n t de u~"' u ~ u~"' e n d i f f 6 r e n t i a n t m, fois p a r r a p p o r t ~ u , , m2 lois p a r r a p p o r t ~ u2, puis m s fois p a r r a p p o r t b. u~ e t f a i s a n t :

J e p o s e p o u r a b r S g e r :

d z d z d z

du-~, = p~" d ~ = p : ' du~ - - p~;

d ml V D , U = d u ~ " "

d"~ U u = d"* U " D 3 U = d u_m~ ; D s d us '~ '

J e diff4rentie d ' a b o r d mz lois p a r r a p p o r t s u2; il v i e n t : u~ (I - - u , - - Us - - u.~ u3) D2p~ + L~u2D2ps + )~3u, D~p~ - -

~m2--1 q~

U ~ r t

- - m ~ u , ( I + 3, d u ~ , _ l

J e fais u 2 ~ o e t je d i f f & e n t i e ml fois p a r r a p p o r t s u~; il v i e n t : u~ (, - - u,) D~ Ds pj + [m~ ( I - - u,) - - m~ u~ ] D~ Dz z + ~ u3 D~ D~. p~ - -

d m ' - I Pl - - m2 u, ( I - t - u 3 ) D , ~ - 2 z..Zi~

d m~-I Z

+ m~;csD, D 2 z - - m , ( m ~ I ) D ~ d u ~ , _ 1 D ~ D 2 z .

J e fais u L ~ o

d ra2-1 z m ~ D ~ D 2 z + Z ~ u ~ D ~ D ~ p ~ - - m , m ; ( ~ + u~) D , ~ u , ~ = i +

D - - D ~ D 2 D : , z .

- - + m~).2D,2z ~ D 2 z .

dm2-1z

d m~-I z + m . ~ s D ~ D 2 z = D , D s z + m: (m~ - - x ) D.~ du,~,_ ~ 9 J e diff4rentie m s lois p a r r a p p o r t ~ u3; il v i e n t :

(5)

Lettres d'Henri Poincar6 A M. Mittag-Leffler.

d m2-1 z

(m~ + ~ . ~ m ~ - - I ) D z + ),~u~Dpa-- m t m ~ (I + u3) D t D 3 d u ~ _ ~ +

J ' a p p e l l e :

151

dm2+ma-2z

+ m3),~ Dz - - mt m~ m, D~ du,~,~_i d u ~ _ l = m~ (m~ - - i) D2 Da dd~'-iZu~ ,-~ "

( m l , m = , m3) le c o e f f i c i e n t de '/t 1 U ~ m, m~. ~3. /t s ,

m t ! m 2 I m a !

l ' 6 q u a t i o n p r 6 e 6 d e n t e m e d o n n e :

(m,, m2, m3) (m~ + m2 g2 + ms g3 - - I) = m I m 2 (m~, m2 - - I , m:,) +

+ ml m2 m3 (ml, m2 - - i , m 3 - - I ) + ml (ml - - I ) ( m r - - i , m2, m ~ ) . C e t t e 6 q u a t i o n m o n t r e c o m m e n t o n p o u r r a c a l c u l e r les c o e f f i c i e n t s de p r o c h e en p r o e h e .

Soit d ' a b o r d m t = i; m2 = m~ = o; l ' 6 q u a t i o n e s t i n d 6 t e r m i n 6 e ; on p e u t p r e n d r e u n co~fficien~ q u e l c o n q u e , p r e n o n s i ; s o i t m a i n t e n a n t m ~ = I , m2 = i , m 3 = 0 l ' 6 q u a t i o n d e v i e n t :

(I, I, o) (I + ~ - - I) = I,

S O i l ; m t = I , m 2 = i , m 3 = i , o n a :

I 9

(r. I. ~) (~.. + ~,.) = (r. o. I) + (I. o. o). (z. o. I) g , = o . ( i . i . i ) = ~ + g , (I. 2. ~)(2~.= + ~ ) = 2 ( i . I. i ) + 2 (~. I. 0).

2 2

(I, 2, I) = (~,2 + g~) (2g~ + gs) + g2 (2)L 2 + g3);

(2. o. o) = 2 (I. o. o) = 2;

(2, I , O ) ( I + g 2 ) = 2 ( 2 , o , o ) + 2 ( I , I , O ) = 4 + etc.

2

I+~--I'

(6)

Paris, le 26 juillet x88x.

Si vous voulez bien: je vais p r e n d r e u n a u t r e e x e m p l e tr~s simple, et cal- culer s e u l e m e n t les p r e m i e r s t e r m e s de l'int~grale. J e p r e n d s d e u x v a r i a b l e s s c u l e m e n t u~ e t u:; soit:

u, (z + u2) d z d z

. . . j ' o b t i e n s p a r la m ~ t h o d e des coefficients ind~termin~s . . .

z ~ u ' - - - Z--~- + 2Z', 6Z~ +

On p o u r r a i t 6 v i d e m m e n t t r o u v e r l ' i n t r g r a l e de la fa~on s u i v a n t e ; p o s a n t

il v i e ~ t :

Z ~ t u I

d t u ) dt t ( z + u 2 ) + u t ( I + u ~ ) d ~ ~ + 2 2 d u 2 -

d o n t u n e i n t r g r a l e s ' o b t i e n t s i m p l e m e n t en p o s a n t :

d ' o h :

t + 2du: ~ o,

U2

t ~ e ).2

t,

de s o r t e que l ' i n t r g r a l e h o l o m o r p h e s%crit:

U2

z = u~ e ~-~ multipIi6 p a r u n e c o n s t a n t e . D a n s cet e x e m p l e , en p o s a n t e n s u i t e

c o m m e ie le fais d a n s m a note, o n n ' a u r a i t pas d ' e s p a c e l a e u n a i r e . Cela n ' a r r i - v e r a i t que dans des cas plus compliqu~s. Mais ce qui p r e c e d e suffira, je pense, p o u r vous faire c o m p r e n d r e c o m m e n t il f a u d r a i t c o n d u i r e le calcu] dans t o u s l e s

cas possibles . . . .

(7)

Lettres d'Henri Poincar~ ~ M; Mittag-Leffier. 153

. . . Caen, le I Aofit 1881,

P e r m e t t e z - m o i de v o u s e n v o y e r e n c o r e u n e e x e m p l e r e l a t i f fi, n o t r e ~ q u a t i o n -F dz

(1)

~ ,

~du~--z

e x e m p l e qui m e t t r a b i e n en l u m i ~ r e la n a t u r e et les propriSt~s de l ' i n t d g r a l e . J e s u p p o s e , v o u s v o u s le r a p p e l e z , que, quand on annule tous les u, F , F2 . . . . F~

se r 4 d u i s e n t r e s p e e t i v e m e n t k

J e p o s e : d ' o f l :

I ~ X - - ( 1 2 , . . o X - - ~ n .

2 ~ t u I

dz dt dz dt

dui

L ' ~ q u a t i o n (1) v a d e v e n i r , en s u p p o s a n t n ~ 3 p o u r fixer les i d l e s : dt

~tl F 1

J e p o s e m a i n t e n a n t : d'ot~

F dt dt

+ u2 ~du2 + u ~ F 3 d u 3 = t ( I - - F ~ ) "

dt dv

dui dui'

l'6quation (i)

d e v i e n t a l o r s :

F dv F dv F d r = i - - F 1 ul ~ + % 2du 2+u3 3du 3

ou en p o s a n t :

F2 F3 I - - F~ = ~f,

F~ ~ % ; ~ =-: cp3 ; F ,

dv dv dv

+ 2 p2d ; +

A c t a m a t h e m a t l c a . 38. Imprim~ le 13 aollt 1914. 20

(8)

Q u a n d o n a n n u l e t o u s l e s u, les f o n c t i o n s ~f2, (P3 et e f s e r 6 d u i s e n t r e s p e c t i v e m e n t h:

E h bien, je v a i s s u p p o s e r q u e % e t (f3 se r 6 d u i s e n t i d e n t i q u e m e n t s x - - a 2 , x - - ~ 3 ; j ' a u r a i ainsi un e x e m p l e s i m p l e off l ' i n t 6 g r a l e s'6erira p r e s q u e i m m 6 d i a - t e m e n t .

Soit en effet:

~f = 2~ A . . . m, u,"~ % "~ u'~ n~

et 6 c r i v o n s que ]a f o n c t i o n i n c o n n u e v, s'~,crit:

v = ~ C , , . . . ,,~ u7 '~ u ~ u'~*

on a., e n i d e n t i f i a n t :

(2) Cml.m2.m3(ml + m 2 ( x - - a 2 ) + m 3 ( x - - a a ) ) = A . . .

ce q u i d o n n e les v a l e u r s des C. I1 n ' y a u r a i t en e f f e t de difficult6 q u e si l ' o n a v a i t :

m, + m~ ( x - - a~) + m, (x - - a~) = o.

Or d a n s le cas off l'origine est e x t 6 r i e u r e au t r i a n g l e f o r m 6 p a r les p o i n t s I, x - - a . , , x--c~.~; cela ne p e u t a r r i v e r q u e si

m l = m 2 ----~ ~3 = O.

Mais a[ors, c o m m e A0.0.0 est nul, l ' ~ q u a t i o n (2) se r ~ d u i t s u n e identit6.

Q u a n t h la c o n v e r g e n c e de la sgrie, elle se d ~ m o n t r e a i s 6 m e n t d a n s le cas oh l ' o r i g i n e est e x t 6 r i e u r e a u t r i a n g l e i , x - - e e 2 , x - - a . ~ .

On a d o n c u n e f o n c t i o n v h o l o m o r p h e d6finie p a r la s6rie c o n v e r g e n t e :

9 '?/~1 m 2 f n 3

Am1 ~72.m3~1 U~ ~q

ce qui d6finit en m 6 m e t e m p s une i n t 6 g r a l e z h o l o m o r p h e de l ' 6 q u a t i o n ( i ) . Ces f o n c t i o n s v et z p r 6 s e n t e r o n t un e s p a c e l a c u n a i r e d 6 t e r m i n 6 p a r la con- d i t i o n q u e ]'origine soit i n t 6 r i e u r e a u t r i a n g l e i, x - - c ~ , , x - - a 3 . Cet e s p a c e la- cuna.ire e s t limit6 p a r trois d r o i t e s , d o n t l ' u n e e s t la d r o i t e ~ , c~a et les a u t r e s s o n t les para]161es ~ l ' a x e d e s q u a n t i t 6 s r6elles m e n 6 e s p a r a: et a~ d a n s la di- r e c t i o n des q u a n t i t 6 s r6elles n 6 g a t i v e s .

(9)

Lettres d'Henri Poincar6 /~ M. Mittag-Leffler. 155

!

~ 3

Si au lieu de supposer que F2 et F.~ se r6duisent s x - - a 2 , x:--a3 quand on annule tous les u, j'avais suppos6 que ces fonctions se rdduisent

X - - (%2 X - - Cr x - - ( % 1 x - - ( ~ l

j'aurais ell pour espace lacunaire le triangle a~ a2 a3.

Vous voyez comment d a n s le cas simple off l'on a identiquement:

ou bien :

- F 2 ~ F ~ x - - ( % 2 : v - - c e a

- - - - , F 3 ~ F I - - ,

x - - (%1 x - - (%t

la question p e u t

voyer un exemple Plus comphque. " '

se traiter. Si vous le d6sirez d'ailleurs, je pourrai vous en-

. . . Paris, le 27 juillet i88a.

J ' a i relu les m6moires de M. SCttWARZ pour voir si j'avais quelque chose modifier dans la r6daction de mon historique. Ces m6moires forment une sorte de s6rie et l'on peut y voir le d6veloppcment des id6es de M. SC~WARZ. Les voici dans l'ordre de leur publication:

Ueber einige Abbildungsaufgaben (Crelle 7o), Conforme Abbildung der Ober- fliiche eines Tetraeders auf die Oberfl~iche einer Kugel (Crelle 7o), Zur Integra-

d ~u d ~ u

tion der partiellen Differentialgleichung ~ + ~ - ~ ~ o (Crelle 74), Ueber die In- d~u d2u

tegration der partiellen Differentialgleichung ~ + d - ~ ~ o unter vorgeschriebe- hen Grenz- und Unstetigkeitsbedingungen (Monatsberichte i87o ), Ueber diejenigen F~lle, in welehen die Gaussische hypergeometrischc Reihe eine algebraische Func- tion ihres vierten Elementes darstellt (Crellc 75).

(10)

D a n s c e t t e s6rie de m6moires, il n ' y a que q u e l q u e s lignes qui se r a p p o r t e n t la q u e s t i o n qui nous o c c u p e et je les citerai t e x t u e l l e m e n t t o u t ~, l ' h e u r e .

D a n s le p r e m i e r de ces m6moires, M. SC~WARZ cite q u e l q u e s e x e m p l e s d ' A b - b i l d u n g d ' u n G e b i e t donnd,, p a r e x e m p l e d ' u n e p a r a b o l e , d ' u n e ellipse, d ' u n p o l y - gone rectiligne, sur u n cercle et il r e m a r q u e q u e p a r l ' i n t e r m 6 d i a i r e d ' u n e ~ q u a t i o n lin~aire h co6fficients rdels, on p e u t a b b i l d e n un cercle s u r un K r e i s b o g e n p o l y g o n . J ' i g n o r e s'il dtait le p r e m i e r h faire c e t t e r e m a r q u e , mais dans t o u s l e s cas, elle ne se r a p p o r t e pas ~, la q u e s t i o n qui n o u s occupe, p u i s q u e M. SCHWARZ ne s'est n u l l e m e n t inqui6t6 de s a v o i r si ]a f o n c t i o n qui p e r m e t t a i t c e t t e A b b i l d u n g d t a i t u n i f o r m e . P a r c o n s e q u e n t , je n'ai pas cru d e v o i r c i t e r ce m d m o i r e ; car p e r s o n n e n ' a j a m a i s dour6 que x ne ffit une f o n c t i o n de z; ce qui est int~ressant, c ' e s t de sa- voir q u e c e t t e f o n c t i o n p e u t , dans c e r t a i n s cas, ~tre u n i f o r m e . L e second m~moire C o n f o r m e A b b i l d u n g d e r Oberfl~che eines T e t r a e d e r s . . . . se r a p p o r t e s une int6grale

f ( x - - a ) ~ ( x - - b ) , ~ . . . . d x e t ne nous intdresse pas.

0

D a n s les m6moires d u T o m e 74 e t des M o n a t s b e r i e h t e , M. SCHWARZ d6- m o n t r e le principe de DIRICItLET.

J ' a r r i v e enfin au m6moire d u T o m e 75- M. SCHWARZ 6tudie l ' 6 q u a t i o n diff6- rentielle de la s~rie de GAUSS; il appelle s le r a p p o r t des intdgrales, il pose

)~ = I - - 7 , ,, = ~ - - fl , r = 7 - - , - - fl.

I1 e x a m i n e d ' a b o r d le eas off ). + , - + v < i et il d i t :

, > . . . Es ist d a h e r in diesem Falle die GrSsse s stets eine uncndlich viel- deutige, also t r a n s c e n d e n t e F u n c t i o n v o n x. D a g e g e n k a n n der Fall e i n t r e t e n , dass u m g e k e h r t x eine e i n d e u t i g e F u n c t i o n y o n s ist; dies f i n d e r s t a t t w e n n

I I I

~ ' iS' v g a n z e Z a h l e n sind. Es t r i t t j e d o c h hierbei d e r b e m e r k e n s w e r t h e Urn- s t a n d ein, dass das G e b i e t d e r V a r i a b l e n s a u f das I n n e r e eines Kreises be- schr~inkg ist u n d dass die P e r i p h e r i e dieses K r e i s e s fiir jenes G e b i e t eine natfir- liehe G r e n z e bildet, fiber welche h i n a u s eine a n a l y t i s c h e F o r t s e t z u n g des zwischen F u n c t i o n u n d A r g u m e n t b e s t e h e n d e n Abh~ingigkeitsverhgltnisses in dam gewShn- lichen Sinne u n m S g l i c h i s t . . . , > ~

i Dans l'ddition de ses (Euvres (Gesammelto Mathematische Abhandlungen yon H. A.

SCHWARZ, Zweiter Band, I89o, Anmerkungen und ZusRtze, S. 363) M. SCUWARZ a ajoutd: *Die hier betrachteten eindeutigen analytischen Funktionen besitzen die Eigenschaft, bei unendlich vielen linearen T r a n s f o r m a t i o n e n ihres A r g u m e n t e s in sich selbst iiberzugcheu~. (Voir H. POINC/tR}~,

Mdmoires sur les fonctions fuchsiennes, w i ce journal, t. I.)

(11)

Lettres d'Henri Poincar6 i~ M. Mittag-Leffler. 157 M. SCnWARZ p a r l e e n s u i t e des f o n c t i o n s m o d u l a i r e s , puis des cas off x est f o n e t i o n r a t i o n n e l l e de s.

M. SCHWARZ a donc dans ce m6moire 6nonc6 un r 6 s u l t a t de la plus h a u t c i m p o r t a n c e et c ' e s t celui que j'ai cit6. I1 n ' e n d o n n e a u c u n e d 6 m o n s t r a t i o n . I1 y a d a n s la d 6 m o n s t r a t i o n de ce r 6 s u l t a t un p o i n t trbs d61icat, u n e difficult6 d ' u n e n a t u r e sp6ciale; j ' i g n o r e c o m m e n t M. Sc~wARz l ' a v a i t s u r m o n t 6 e .

Ainsi en r6sum6, M. SCHWARZ a o b t e n u les d e u x r6sultats s u i v a n t s . D a n s u n e 6 q u a t i o n lin6aire d u 2 d ordre, il a r e g a r d 6 la v a r i a b l e x c o m m e f o n c t i o n d u r a p p o r t z des int6grales (j'ignore s'il a eu le p r e m i e r c e t t e id6e, je n e erois pas) et il a r e c o n n u : x ~ que si les cofiff, de l ' 6 q u a t i o n lin6aire s o n t r6els, c e t t e fonc- tion p e r m e t l ' A b b i l d u n g d ' u n cercle sur u n K r e i s b o g e n p o l y g o n ; 2 ~ q u e d a n s le cas de la s6rie h y p e r g 6 o m 6 t r i q u e et ~ c e r t a i n e s conditions, cet.te f o n c t i o n 6fair uniforme.

Le p r e m i e r de ces r6sultats n ' a a u e u n r a p p o r t a v e c la d i s c o n t i n u i t 6 des groupes. J e le citerai p e u t - ~ t r e d a n s . m o n s e c o n d m 6 m o i r e off il est q u e s t i o n des f o n c t i o n s e t n o n plus des groupes. J e p o u r r a i s n ' e n pas p a r l e r p u i s q u e le p o i n t i m p o r t a n t , l'uniformit6, n ' e s t pas touch6, mais je pr6f~re le faire. D a n s m o n p r e m i e r m6moire, e e t t e c i t a t i o n ne s e r a i t pas ~ sa place.

Q u a n t a u s e c o n d r6sultat, c'est celui q u e j'ai tit6 e t je ne vois pas ce q u e je p o u r r a i s c h a n g e r h m a c i t a t i o n . Vous v e r r e z p o u r t a n t , dans les 6 p r e u v e s q u e je v o u s envoie, que j ' y ai a j o u t 6 u n e p h r a s e destin6e s faire r e s s o r t i r l ' i m p o r -

t a n e e d u r6sultat. 1 . . .

N a n c y , le 6 F 6 v r i e r

I883.

Vous me d e m a n d e z q u e l q u e s e x p l i c a t i o n s a u s u j e t de m o n m6moire sur les f o n c t i o n s de d e u x variables. Vous m e d e m a n d e z d ' a b o r d p o u r q u o i je dis q u e dans la p a r t i e c o m m u n e a u x d e u x r6gions R0 et R, le r a p p o r t N00 ne d e v i e n t ni 5T~

n u l ni infini; c ' e s t q u e je suppose q u e d a n s la r6gion R 0 les d e u x fonctions holo- m o r p h e s No et D O ne s ' a n n u l e n t s la fois q u e p o u r des p o i n t s isol6s, ou si vous voulez qu'elles ne p e u v e n t pas 6 t r e t o u t e s d e u x divisibles p a r u n e m 6 m e f o n c t i o n

~f s ' a n n u l a n t ~ l ' i n t 6 r i e u r de R 0. C e t t e s u p p o s i t i o n est t o u j o u r s p e r m i s e et de plus elle est

absolument indispensable

p o u r la suite de la d ~ m o n s t r a t i o n .

Voici d'ailleurs p o u r q u o i elle est permise: Si No et Do o n t u n f a c t e u r com- m u n qui s ' a n n u l e au p o i n t Xo, Y0, il est possible de f o r m e r e f f e c t i v e m e n t ce

1 Th4orie des groupes fuchsiens, pag. 52. Ce journal, t. 1.

(12)

f a c t e u r et de le faire d i s p a r a l t r e . Si No et D O n ' o n t pas de f a c t e u r c o m m u n s ' a n n u l a n t en X0, Y0 il sera possible de p r e n d r e la r6gion R0 assez p e t i t e p o u r qu'il n ' y ait pas de f a c t e u r c o m m u n s ' a n n u l a n t g l ' i n t 6 r i e u r de R0.

Vous me d e m a n d e z p o u r q u o i u n p o i n t x, y , z, t a p p a r t i e n d r a au plus g cinq des r6gions R . J e ne p o u v a i s disposer d e ces r6gions de telle fa~on q u ' u n p o i n t a p p a r t l n t au plus g c~uatre de ces r6gions. E n e f f e t consid6rons la p a r t i e com- m u n e g 4 r6gions R, elle satisfera a u x 4 in6galit6s:

(I)

S ~ < o , S ~ < o , $ 3 < o , S ~ < o . Les q u a t r e ~ q u a t i o n s :

Sl = S~ = S~ -~ $4 ~ o,

a u r o n t t o u j o u r s des solutions c o m m u n e s ; dans le voisinage d ' u n e de ces solu- tions il y a u r a d e s p o i n t s s a t i s f a i s a n t a u x 4 in6galit~s (i) et n ' a p p a r t e n a n t p a r c o n s e q u e n t g a u c u n e a u t r e r~gion R que les 4 r~gions consid~r~es, et des p o i n t s qui s a t i s f e r o n t a u x 4 in~galit~s

S~>o, S.~ >o, S.~>o, $ 4 > o ,

et qui n ' a p p a r t i e n d r o n t s a u c u n e des 4 r~gions R~, R~, R3, R 4 g cause de ces in~galit~s; ni s a u c u n e a u t r e r6gion R puisqu'ils sont i n f i n i m e n t voisins des pre- miers.

Au e o n t r a i r e , on p e u t t o u j o u r s disposer des r~gions R , de telle s o r t e q u ' u n p o i n t a p p a r t i e n n e au moins s i et au plus s 5 d ' e n t r e elles. Vous p o u v e z ais~- m e n t vous r e n d r e c o m p t e de t o u t ce]a en c o n s i d ~ r a n t s e u l e m e n t d e u x dimensions en e n v i s a g e a n t des cercles. L e h o m b r e est alors 3 et n o n plus 5- Cela n ' a d'ail- leurs a u c u n e i m p o r t a n c e p o u r ce qui suit . . . .

. . . P a r i s 2~ 1885.

Voici la solution de la q u e s t i o n d o n t vous m ' a v i e z parl6.

Soient al, a2 . . . . an, n des eSt6s du p o l y g o n e R0, at1, at2 . . . . a'n ]eurs con- jugu6s, Si la s u b s t i t u t i o n qui c h a n g e ai en ari. J e dis que $1, $2 . . . . Sn s o n t f o n d a m e n t a l e s ~ ; du moins en g6n6ral et sauf une e x c e p t i o n d o n t je p a r l e r a i plus loin. J e dis q u e S~ ne peu~ pas 6tre u n e c o m b i n a i s o n de $1, $2 . . . . 8~-1. Sans c e l a u n e e o m b i n a i s o n des n s u b s t i t u t i o n s S t , $2 . . . . S~, oh S~ n'entrerait q u ' u n e seule /ois se r6duisait g la s u b s t i t u t i o n unit~. Ou en d ' a u t r e s t e r m e s on p o u r r a i t

1 Voir Thdorie des groupes fuchsiens, pag. Io, ce journal, t. I.

(13)

Lettres d'Henri Poincar~ it M. Mittag-Leffier. 159 c o n s t r u i r e u n c o n t o u r ferm6 C f r a n c h i s s a n t une seule /ois u n cSt~ h o m o l o g u e an. J e dis q u e cela est i m p o s s i b l e .

Consid6.rons les d e u x extr4mitSs A0 et Be d e am.

I1 peut, a r r i v e r trois cas:

10 ou b i e n Ie cycle d e n t fai~ p a r t i e le s o m m e t A 0 a p o u r s o m m e : d e ses angles 2 ~r q > i et le cycle d e n t f a i r p a r t i e le s o m m e t B 0 a p o u r s o m m e de ses

q

2 ~

angles ~ - p > i . (Il p e u t a r r i v e r : d ' a i l l e u r s q u e ]es d e u x s o m m e t s A 0 et B o f o n t p a r t i e d ' u n m ~ m e cycle, alors p ~ q mais rien n ' e s t change. Alors on p e u t faire p a s s e r p a r A 0 u n cSt~ A 0 B 1 h o m o l o g u e s am et c o u p a n t A o B o sous l'angle 2_~z,

q

2 ~

puis u n eSt6 B~At h o m o l o g u e s an et e o u p a n t A0 B1 sous l'angle ~ - , puis u n c5t6 A~ B2 h o m o l o g u e h am e t e o u p a n t B~A~ sous l'angle 2 ~ e t ainsi d e suite.

q

De m~me, de l ' a u t r e cSt~, on c o n s t r u i r a B0 A-1 h o m o l o g u e h am et c o u p a n t A 0 B 0 sous l'angle 2 ~ et ainsi de suite.

P

On a u r a ainsi u n e ligne bris~e form~e de cSt~s h o m o l o g u e s h a~, . . . A2

B~ A~ B1 A0 B0

A-1 B - 1 A - 2 . . .

C e t t e ligne bris~e sera rdguli~re a u p o i n t de v u e de ]a gdom6trie non euelidi- enne, t o u s l e s s o m m e t s Ao, A I , A.~, etc. s e r o n t sur u n m~me cercle, t o u s l e s som- m e t s Be, B~, B2, etc. s e r o n t sur u n a u t r e cercle.

:Enfin e e t t e ]ignc bris~e (qui sera g 6 n ~ r a l e m e n t ind6finie) p a r t a g e r a le cercle f o n d a m e n t a l en d e u x r~gions. Il est d o n c impossible q u ' u n c o n t o u r ferm~ c o u p e an en un seul p o i n t , sans aller r e c o u p e r ]a ligne bris~e, c ' e s t s dire sans r e c o u p e r u n c5t6 h o m o l o g u e ~ a,~. D o n e S , n e p e u t s ' e x p r i m e r p a r u n e c o m b i n a i s o n d e

$1, $2 . . . S ~ - I .

2 ~ cas. Les d e u x s o m m e t s A0 et B 0 f o n t p a r t i e d ' u n m 6 m e cycle e t la s o m m e des angles de ce cycle est 2 z . J ' a p p e l l e r a i le s o m m e t B 0 = A~ p o u r plus de sym6trie. Alors on p e u t c o n s t r u i r e un c6t6 A t A 2 h o m o l o g u e h an, puis d ' a u t r e s A~ A3, A~ A4 etc., h o m o l o g u e s & an.

N o u s a u r o n s ainsi une ligne bris6e

. . . A-2 A-1 A0 At A~ A~ A, . . .

r6guli~re au p o i n t de r u e de la g6om6~rie n o n euclidienne, tous les angles s e n t 6gaux e n t r e e u x et tous les s o m m e t s s e n t sur u n m 6 m e eerele. Cette ligne bris6e

(14)

p a r t a g e e n c o r e le cercle f o n d a m e n t a l en d e u x r6gions. On e s t d o n c c o n d u i t s la m S m e conclusion q u e d a n s le cas p r 6 c 6 d e n t .

3 ~ cas. L e s d e u x s o m m e t s A0 et B 0 ne f o n t p a s p a t t i e d ' u n m ~ m e cycle et la s o m m e des angles d u cycle d o n t fair p a r t i e A 0 e s t 6gale ~ 2~r. I1 y a alors e x c e p t i o n et Sn n ' e s t q u ' u n e c o m b i n a i s o n de S t , Sz, . . S n - l . Il a r r i v e a l o r s t o u j o u r s q u ' o n p e u t p a r ]e proe6d6 d u w 91 r a m e n e r ]e p o l y g o n e R 0 ~ u n a u t r e qui a d e u x cSt6s de moins.

Soit p a r e x e m p l e u n p o l y g o n e de 4 P + ~ cSt6s d o n t les cSt6s o p p o s 6 s s o n t conjugu6s, d o n t les s o m m e t s de r a n g i m p a i r e f o r m e n t u n cycle d o n t la s o m m e des angles est 2 ~v et d o n t les s o m m e t s de r a n g p a i r f o r m e n t u n a u t r e cycle.

Oil p e u t r a m e n e r ce p o l y g o n e h u n a u t r e de 4 P cSt6s d o n t t o u s l e s s o m m e t s

f o r m e n t un seul cycle . . . .

1 Voir ce journal, t. I, pag. 44.

Références

Documents relatifs

construct a reflexive sheaf from Y using the Serre construction, and then to describe this sheaf by means of a monad, where the family of monads involved

The following theorem implies Theorem 5 o f Rothschild--Stein [1] if one takes for Yi left invariant vector fields from the appropriate nilpotent Lie group...

N o u s nous placerons dans un espace vectoriel rrel, 6ventuellement muni d'une topologie vectorielle (ce qui sera prrcis6 dans chaque 6noncr) et adopterons les

Two theorems in this paper investigate Fourier--Stieltjes transforms of measures on curves in the plane; the first is more general in respect of the curves investigated

— Tension nominale : C'es-r la valeur maximum de la somme de la tension continue de polarisation et de la valeur de crete de la tension ondulee qui peut etre appliquee en

Existence de sections hyperplanes assez g~n~rales 3.. Construction des bons

Therefore, the Ward identities and the linear differential equations satisfied by the correlation functions involve derivatives with respect to all the moduli

Dans le triangle ABC : (CE) est une droite qui passe par un sommet et qui est perpendiculaires au côté opposé : donc (CE) est une hauteur de ABC.. 3) Dans le triangle ABC (CE) est