4-44-26. H. Poincaré à Felix Klein

Nancy, le 22 Septembre 1882

Monsieur,

Voici quelques détails sur ces fonctions dont j’ai parlé dans ma note des Annales et dont la limite naturelle est formée d’une infinité de cercles.11endnote: 1 See Poincaré (1882c), and Klein’s letter to Poincaré of 19 September, where Klein claims to know “sehr wohl” such functions (§ 4-44-25). Pour plus de simplicité dans l’exposition, je prendrai pour exemple un cas très particulier. Supposons quatre points aa, bb, cc, dd sur le cercle fondamental et quatre cercles coupant orthogonalement celui-ci : le 1er en aa et en bb ; le 2d en bb et en cc ; le 3e en cc et en dd ; le 4e en dd et en aa. On obtient ainsi un quadrilatère curviligne. Considérons deux substitutions (hyperboliques ou paraboliques), la 1ère changeant le cercle aba\,b, dans le cercle ada\,d ; la 2de changeant le cercle cbc\,b dans le cercle cdc\,d.22endnote: 2 Variant: “Il existe Considérons deux substitutions…”. Les Wiederholungen de notre quadrilatère vont recouvrir la surface du cercle fondamental, ou une portion seulement de cette surface ; mais dans tous les cas le groupe sera évidemment discontinu.33endnote: 3 Autrement dit, les itérations de notre quadrilatère. On reconnaît aisément que le cercle fondamental ne sera recouvert tout entier que dans un seul cas ; lorsque les quatre points abcda\,b\,c\,d seront harmoniques et que les deux substitutions (abab, adad) et (cbcb, cdcd) seront paraboliques. On a affaire alors à la fonction modulaire. Dans tous les autres cas, on trouve que les Wiederholungen en question ne recouvrent qu’un domaine limité par une infinité de cercles. Maintenant le plan tout entier peut-être abgebildet sur notre quadrilatère et de telle façon que deux points correspondants du périmètre correspondent au même point du plan.44endnote: 4 Le plan tout entier peut-être représenté sur notre quadrilatère. Cette Abbildung définit une fonction n’existant que dans le domaine recouvert par les Weiderholdungen.55endnote: 5 Cette représentation définit une fonction n’existant que dans le domaine recouvert par les itérations. Mais ici il faut faire une remarque importante. Le groupe dérivé des deux substitutions (abab, adad) et (cbcb, cdcd) peut être considéré comme engendré d’une autre manière. Considérons quatre cercles C1C_{1}, C2C_{2}, C3C_{3}, C4C_{4} coupant tous quatre orthogonalement le cercle fondamental et ne se coupant pas entre eux de façon à être extérieurs les uns aux autres. Soit deux substitutions changeant C1C_{1} en C2C_{2} et C3C_{3} en C4C_{4} ; le groupe qui en dérive est évidemment discontinu et si les 4 cercles sont convenablement choisis, il peut être identique au groupe dont il a été question plus haut. La portion du plan extérieure aux 4 cercles est une sorte de quadrilatère qui peut être abgebildet sur une surface de Riemann de genre 2 et qui engendre ainsi une fonction existant dans tout le plan. Voilà donc le même groupe donnant naissance à deux fonctions essentiellement différentes. Il peut se poser à ce sujet une foule de questions délicates que je ne puis aborder ici.

En résumé, vous voyez qu’il s’agit bien de fonctions n’existant que dans un domaine limité par une infinité de cercles et cependant de «  fonctions fuchsiennes  » puisque toutes les substitutions du groupe conservent le cercle fondamental. Chacun des cercles de la frontière est conservé par une des substitutions du groupe, laquelle conserve en même temps le cercle fondamental. Vous savez en effet que toute substitution hyperbolique conserve tous les cercles qui passent par les deux points doubles.

J’apprends avec plaisir que vous préparez un grand travail sur l’objet qui nous intéresse tous deux. Je le lirai avec le plus grand plaisir. Comme vous l’a dit M. Mittag-Leffler je prépare moi-même un travail sur ce sujet ; mais vu sa longueur, je l’ai partagé en cinq mémoires:

  • Le 1er qui va paraître cette année, sur les groupes à substitutions réelles (que j’ai appelé groupes fuchsiens)66endnote: 6 Poincaré (1882e).

  • le 2d sur les fonctions fuchsiennes ; j’en achèverai prochainement la rédaction77endnote: 7 Poincaré (1882b).

  • le 3e sur les groupes et les fonctions plus générales que j’ai appelé Kleinéennes.88endnote: 8 Poincaré (1883).

  • Dans le 4e j’aborderai un ordre de questions que j’ai laissées de côté dans le deuxième mémoire ; c’est à dire la démonstration de l’existence de fonctions satisfaisant à certaines conditions, par exemple la démonstration de ce fait qu’à toute surface de Riemann correspond une semblable fonction et la détermination des constantes correspondantes.99endnote: 9 Poincaré (1884b).

  • Enfin dans le 5e je parlerais des fonctions zétafuchsiennes et de l’intégration des équations linéaires.1010endnote: 10 Poincaré (1884a).

Je dois retourner à Paris après demain ; je serai donc là au moment du passage de M. Lie. Je serais désolé de perdre l’occasion de voir ce célèbre géomètre.

Vous avez dû recevoir la première partie de mon travail sur les courbes définies par les équations différentielles; je vous en enverrai prochainement la seconde partie ; je vous enverrais en même temps mon mémoire sur les formes cubiques.1111endnote: 11 Poincaré (1881a), (1882a), (1881b), (1882d).

Veuillez agréer, Monsieur, l’assurance de ma considération la plus distinguée,

Poincaré

ALS 6p. Nachlass Klein 11, 364, Handscriftenabteilung, Niedersächsische Staats- und Universitätsbibliothek, Göttingen. Edited by Nörlund (1923, 131–132), Fricke et al. (1923, 619–621), Julia and Petiau (1956, 63–65), Dugac (1989, 120–121). See also the English translation (§ 7-2-71).

Time-stamp: " 8.08.2022 17:49"

Notes

  • 1 See Poincaré (1882c), and Klein’s letter to Poincaré of 19 September, where Klein claims to know “sehr wohl” such functions (§ 4-44-25).
  • 2 Variant: “Il existe Considérons deux substitutions…”.
  • 3 Autrement dit, les itérations de notre quadrilatère.
  • 4 Le plan tout entier peut-être représenté sur notre quadrilatère.
  • 5 Cette représentation définit une fonction n’existant que dans le domaine recouvert par les itérations.
  • 6 Poincaré (1882e).
  • 7 Poincaré (1882b).
  • 8 Poincaré (1883).
  • 9 Poincaré (1884b).
  • 10 Poincaré (1884a).
  • 11 Poincaré (1881a), (1882a), (1881b), (1882d).

Références

  • P. Dugac (1989) Henri Poincaré, la correspondance avec des mathématiciens (de J à Z). Cahiers du séminaire d’histoire des mathématiques 10, pp. 83–229. link1 Cited by: 4-44-26. H. Poincaré à Felix Klein.
  • R. Fricke, H. Vermeil, and E. Bessel-Hagen (Eds.) (1923) Felix Klein Gesammelte mathematische Abhandlungen, Volume 3. Springer, Berlin. link1 Cited by: 4-44-26. H. Poincaré à Felix Klein.
  • G. Julia and G. Petiau (Eds.) (1956) Œuvres d’Henri Poincaré, Volume 11. Gauthier-Villars, Paris. link1 Cited by: 4-44-26. H. Poincaré à Felix Klein.
  • N. E. Nörlund (1923) Correspondance d’Henri Poincaré et de Felix Klein. Acta mathematica 39, pp. 94–132. link1 Cited by: 4-44-26. H. Poincaré à Felix Klein.
  • H. Poincaré (1881a) Mémoire sur les courbes définies par une équation différentielle (I). Journal de mathématiques pures et appliquées 7, pp. 375–422. link1 Cited by: endnote 11.
  • H. Poincaré (1881b) Sur les formes cubiques ternaires et quaternaires I. Journal de l’École polytechnique 50, pp. 190–253. link1 Cited by: endnote 11.
  • H. Poincaré (1882a) Mémoire sur les courbes définies par une équation différentielle (2nde partie). Journal de mathématiques pures et appliquées 8, pp. 251–296. link1 Cited by: endnote 11.
  • H. Poincaré (1882b) Mémoire sur les fonctions fuchsiennes. Acta mathematica 1, pp. 193–294. link1 Cited by: endnote 7.
  • H. Poincaré (1882c) Sur les fonctions uniformes qui se reproduisent par des substitutions linéaires. Mathematische Annalen 19, pp. 553–564. link1 Cited by: endnote 1.
  • H. Poincaré (1882d) Sur les formes cubiques ternaires et quaternaires II. Journal de l’École polytechnique 51, pp. 45–91. link1 Cited by: endnote 11.
  • H. Poincaré (1882e) Théorie des groupes fuchsiens. Acta mathematica 1, pp. 1–62. link1 Cited by: endnote 6.
  • H. Poincaré (1883) Mémoire sur les groupes kleinéens. Acta mathematica 3, pp. 49–92. link1 Cited by: endnote 8.
  • H. Poincaré (1884a) Mémoire sur les fonctions zétafuchsiennes. Acta mathematica 5, pp. 209–278. link1 Cited by: endnote 10.
  • H. Poincaré (1884b) Sur les groupes des équations linéaires. Acta mathematica 4, pp. 201–311. link1 Cited by: endnote 9.