LettreHenri Poincaré à Gösta Mittag-Leffler - 1 juin 1881

Caen 1 Juin 18811

Monsieur,

Je vous remercie bien de votre lettre et, loin de vous en vouloir, je suis enchanté du moyen que vous me fournissez de rectifier une erreur historique.2 N’ayant pas lu le mémoire Zur Funktionenlehre,3 j’attribuais à M. Hermite la première idée de ce nouveau genre de fonctions.4 La manière de définir une fonction, page 3, je ne la croyais pas nouvelle, car je la qualifie de “Procédé bien connu”.5 Je la considérais comme étant passée dans le domaine public depuis Cauchy ;6 quant à la série : \[1 + \sum {b^\nu x^{a^\nu } }\] je ne la regardais pas non plus comme nouvelle, mais si on m’avait demandé de qui elle était, je crois que j’aurais dit : de Lejeune-Dirichlet ou de du Bois-Reymond. Vous voyez par là combien mes connaissances historiques étaient imparfaites et combien vous m’avez été utile.7 Je ne regrette qu’une chose, c’est que vous avez fait commencer l’impression avant de m’écrire, car cela rendra les corrections plus difficiles.

En ce qui concerne la série : \[s = x\,\varphi (1) + x^2 \varphi (2) + \ldots + x^n\varphi(n) + \ldots\] je ne puis dire que je m’en suis occupé le premier, puisqu’elle ressemble à tel point aux séries envisagées par Jacobi dans la théorie des fonctions elliptiques, mais je ne puis non plus dire qu’on s’en est occupé avant moi ; car les deux séries sont presque les mêmes sans être tout à fait les mêmes.8

Voici en surplus comment j’y ai été conduit. Soit : \[S = \sum\limits_{m,n} {(am + bn)^{-\lambda} }\] m et n prennent sous le signe \(\sum{}\) tous les systèmes de valeurs entières, positives et négatives, sauf : \(m = n = 0\), \(\lambda\) est un entier plus grand que 2.

Posons \[x = e^{\frac{{b\sqrt { - 1} }}{a}}\] on trouve : \(a^\lambda S = A + Bs\) \(A\) et \(B\) étant des constantes dont je ne me rappelle plus la valeur. De la forme de la série \(S\) se déduit immédiatement la propriété indiquée de la série \(s\).9

Voici maintenant comment je conçois le rapport entre la série s et les séries de Jacobi . La fonction modulaire est une fonction fuchsienne ; parmi les fonctions fuchsiennes, il y en a une autre que j’appelle fonction arithmétique qui s’exprime rationnellement par la fonction modulaire. Toute fonction rationnelle de la fonction modulaire s’exprime par le quotient de deux fonctions analogues aux fonctions \(\Theta\) et que j’appelle thêtafuchsiennes modulaires ; de même toute fonction rationnelle de la f[onction] arithmétique s’exprime par le quotient de deux fonctions thêtafuchsiennes arithmétiques. Eh bien les séries de Jacobi sont des fonctions thêtafuchsiennes modulaires, les séries s sont des fonctions thêtafuchsiennes arithmétiques.10

Vous me demandez un exemple de fonctions fuchsiennes présentant un espace lacunaire ; 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;11 ou bien encore la fonction définie de la manière suivante :

Envisageons l’équation hypergéométrique de Gauss et je suppose que la différence des racines des équations déterminantes soient des parties aliquotes de 1. Si on envisage la variable comme fonction du rapport des intégrales, ce sera une fonction fuchsienne présentant un espace lacunaire.12

Je ne sais pas quand je publierai en détail mes recherches sur ces sortes de fonctions fuchsiennes ; mais je puis vous donner quelques détails sommaires.

Je cherche toutes les fonctions uniformes de z qui satisfont à des relations telles que celles-ci : \[\text{F(}z\text{) = F}\left( {\frac{{a_1 z + b_1 }} {{c_1 + d_1 }}} \right) = \text{F}\left( {\frac{{a_2 z + b_2 }} {{c_2 + d_2 }}} \right) = \quad\ldots\quad = \text{F}\left( {\frac{{a_n z + b_n }} {{c_n + d_n }}} \right)\] les a, b, c, d sont réels ; je les suppose donnés. / Seulement ils ne peuvent être choisis d’une façon quelconque et le problème le plus difficile est de déterminer comment on doit les choisir pourqu’il existe de telles fonctions. Je le résous à l’aide de considérations empruntées à la géométrie non-euclidienne.13

J’ai surtout à faire ressortir les analogies avec les fonctions elliptiques;14 j’ai trouvé des fonctions rappelant à certains points de vue les fonctions \(\Theta\) et \(Z\);15 j’ai montré comment on pouvait les appliquer à l’intégration des équations linéaires, au calcul des intégrales abéliennes et à diverses questions d’arithmétique.16

J’ai lieu de penser que toutes les équations linéaires à coefficients rationnels s’intègrent par ma méthode ; mais je ne l’ai pas encore démontré rigoureusement.
Vous me demandez aussi quelques détails sur cette fonction qui intègre l’équation (8) ; c’est bien simple ; d’après la forme de cette équation, il y a une série ordonnée suivant les puissances des u qui satisfait à l’équation et il n’y en a qu’une ; c’est cette série considérée comme fonction du paramètre x, qui est la fonction à espace lacunaire à étudier. Quant à un exemple, voici le plus simple que je puisse donner ; c’est l’équation : \[u_1 \frac{{dz}}{{du_1 }} + \left( {x - \alpha _2 } \right)u_2 \left( {1 - u_1} \right)\frac{{dz}}{{du_2 }} + \left( {x - \alpha _3 } \right)u_3 \frac{{dz}}{{du_3 }} + \cdots + \left( {x - \alpha _n } \right)u_n \frac{{dz}}{{du_n }}\] dont l’unique intégrale holomorphe est à un facteur numérique près :17 \[\sum {\frac{{m_2^{m_1 } u_1^{m_1 } u_2^{m_2 } \quad \ldots \quad u_n^{m_n } }} {{\prod\limits_{\mu = 1}^{\mu = m_1 } {\left[ {m_1 - 1 + \left( {x - \alpha _2 } \right)m_2 + \left( {x - \alpha _3 } \right)m_3 + \quad \ldots \quad + \left( {x - \alpha _n } \right)m_n } \right]} }}}\]

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

Veuillez agréer, Monsieur, avec tous mes remerciements, l’assurance de ma considération la plus distinguée.

Poincaré


Apparat critique

  1. Caen-2 juin — Stockholm-10 juin — Dalarö-11 juin.

    Cette lettre a été publiée en partie dans les Acta mathematica 38, p. 147-149. Le document conservé à l’Institut Mittag-Leffler sous la cote (IML Poincaré 1) est un faire-part annonçant le mariage de Poincaré avec mademoiselle Poulain d’Andecy (20 avril 1881).

  2. Voir lettre n°2, note n°5.

    Dans l’introduction de la version définitive de son article, Poincaré rectifie aussi clairement que possible “son erreur historique” :

    M. Weierstrass dans un Mémoire intitulé Zur Funktionenlehre et inséré dans les Berliner Monatsberichte a appelé l’attention des géomètres sur certaines fonctions présentant des singularités spéciales. Au lieu de présenter un nombre fini ou infini de points singuliers essentiels isolés elles offrent des lignes singulières spéciales ou même des espaces lacunaires à l’intérieur desquels elles cessent d’exister. Dans une lettre à M. Mittag-Leffler , insérée dans les Acta Societatis Scientiarum Fennicæ, M. Hermite a retrouvé les mêmes résultats par une voie toute différente. D’après les conseils de M. Hermite j’ai entrepris de rechercher de nouveaux exemples de la particularité signalée par les deux savants géomètres. (Valiron, dir, (1950, 28); Poincaré (1883))

  3. Poincaré écrit à Brunel début juillet pour lui demander des références sur les travaux de Weierstrass . Dans sa réponse datée du 15 juillet 1881, Brunel lui signale le petit supplément à son mémoire Zur Functionenlehre que Weierstrass a publié en février (Dugac (1989, 96))

  4. On ne sait pas explicitement pourquoi Poincaré attribue à Hermite la paternité des fonctions à espace lacunaire. On peut cependant penser que Poincaré , élève de l’Ecole Polytechnique, a lu le manuel Calcul différentiel et calcul intégral de Lacroix puisque ce traité était une référence incontournable. Dans la 6 édition, Hermite rédige une Note sur la Théorie des Fonctions elliptiques (Hermite (1894), (1908, 125–238)).

    Il y reprend les notations utilisées par Jacobi dans son traité Fundamenta nova théoriæ functionum ellipticarum. Il désigne par \(K\) et \(iK'\), les périodes et obtient les les fonctions \(\Theta\) et \(H\) sous forme de développements en série \[\Theta(2Kx/\pi) = 1 - 2q\,\cos 2x qq qq + 2q^4 \cos 4x - 2q^9 \cos 6x + \, \cdots\]

    \[H(2Kx/\pi) = 2\sqrt[{^4 }]{{q\,}}\sin x - 2\sqrt[{^4 }]{{q^9 \,}}\sin 3x + 2\sqrt[{^4 }]{{q^{25} \,}}\sin 5x + \, \cdots\]q désigne la quantité \(e^{-\pi K'/K}qq\). Puis, Hermite introduit les fonctions module et complément du module \[k = {{H^2(K)}/{\Theta^2(K)}}\quad \quad k' = \Theta^2(0)/{\Theta^2(K)}.\] Il étudie alors le module et le complément du module comme une fonction de \(\omega\)\(q = e^{i\pi\omega}\).

    […] ces quantités [k et k’] constituent un genre de fonctions analytiques entièrement nouvelles et de la plus haute importance parmi les fonctions d’une seule variable. […] On se rendra compte, jusqu’à un certain point, de cette difficulté, en observant que k et \(k'\) n’existent comme fonctions de \(\omega\) qu’autant qu’en supposant cette variable imaginaire et de la forme \(\omega = \alpha + i\beta\), \(\beta\) est essentiellement différent de zéro et positif. Ce sont donc véritablement des parties de fonctions qui, dès lors, échappent à beaucoup des méthodes les plus habituellement employées. (Hermite (1894), (1908, 163–64))

    Hermite fait donc apparaître l’idée de fonctions non-prolongeables dans le contexte des fonctions elliptiques en 1862 ; Weierstrass introduit cette idée dès ses premiers cours consacrés à la théorie des fonctions vers 1860 (voir lettre n°2, note n°9).

  5. “Mais il est un moyen bien connu d’étendre au delà du cercle de convergence le domaine où la fonction envisagée existe” (Valiron (1950, 29); Poincaré (1883)).

  6. Dans son cours d’Analyse (Cauchy (1821), (1897)), Cauchy traite de la notion de convergence des séries en donnant aux méthodes “toute la rigueur qu’on exige en géométrie, de manière à ne jamais recourir aux raisons tirées de la généralité de l’algèbre”. Cauchy entend par là n’utiliser dans les calculs de l’analyse que des séries dont on a vérifié la convergence.

    Pour cette raison, j’ai cru devoir rejeter les développemen[t]s des fonctions en séries infinies, toutes les fois que les séries obtenues ne sont pas convergentes. (Cauchy (1823); (1899, 5))

    Dans son cours ((1821), (1897)), Cauchy commet une erreur qui illustre de manière évidente qu’il ne possédait pas réellement les moyens de son ambition. En effet, il “démontre” que la somme d’une série de fonctions continues est continue. Dans un cours inédit de 1861, Weierstrass sera le premier à énoncer et démontrer correctement les théorèmes de continuité et de dérivabilité de la somme d’une série de fonctions continues et à introduire la notion de convergence uniforme (pour plus de détails, on peut consulter Dugac (1973, 66–67)).

    De même, Weierstrass est le premier à définir rigoureusement les notions de fonctions analytiques et à traiter la question du prolongement analytique. Le point de vue adopté par Poincaré dans son article est exactement celui de Weierstrass (voir lettre n°2, note n°5).

  7. Dans la version définitive Poincaré reprend cette filiation depuis Cauchy :

    C’est ce qui est facile, grâce à une conception nouvelle des fonctions analytiques qui a son origine dans les travaux de Cauchy et que M. Weierstrass a si clairement exposée dans son Mémoire Zur Functionenlehre […]. ((1883), (1950, 28))

  8. Dans Fundamenta nova theoriæ functionum ellipticarum, Jacobi établit plusieurs formules analogues à celle étudiée par Poincaré .

    Designante \(p\) rursus numerum imparem, \(\varphi p\)) summam factorum ipsius \(p\) : fit : \[ \begin{align} \tag{34}\frac{{4\text{KK}}} {{\pi \pi }} &= 1 + 8\sum {\varphi \left( p \right)\;\left[ {q^p + 3q^{2p} + 3q^{4p} + 3q^{8p} + 3q^{16p} + \; \cdots } \right]} \\ \tag{35}\frac{{4kk\text{KK}}} {{\pi \pi }} &= 16\sum {\varphi \left( p \right)} \,q^p \\ \tag{36}\frac{4k'k'\text{KK}}{\pi\pi} &= 1 + 8\sum {\varphi \left( p \right)} \;\left[ { - q^p + 3q^{2p} + 3q^{4p} + 3q^{8p} + 3q^{16p} + \; \cdots } \right]\\ \tag{37}\frac{{4kk'\text{KK}}} {{\pi \pi }} &= 4\sum {\left( { - 1} \right)^{\frac{{p - 1}} {2}} } \varphi \left( p \right)\;\sqrt {q^p }\\ \tag{38}\frac{4k'KK}{\pi\pi} &= 1 + 8\sum {\varphi \left( p \right)} \;\left[ { - q^{2p} + 3q^{4p} + 3q^{8p} + 3q^{16p} + 3q^{32p} + \; \cdots } \right]\\ \frac{{4kKK}}{{\pi \pi }} &= \sum {\varphi \left( p \right)\;\sqrt {q^p } }.\tag{39} \end{align}\] Borchardt, ed, (1881, 162); Jacobi (1829)

     

    Les notations sont les mêmes que celles de la note 4. D’autre part, ces développements sont directement liés aux fonctions \(\Theta\) et \(H\). En effet, Jacobi établit les formules suivantes : \[\Theta(K) = \sqrt{\frac{2K}{\pi}}\quad H(K) = \sqrt{\frac{2kK}{\pi}}\] Borchardt, ed, (1881, 235); Jacobi (1829)

    Dans une lettre adressée à Liouville le 9 septembre 1828, Jacobi insiste sur l’importance qu’il accorde à ces développements en série.

    […] Vous ne m’avez dit dans deux de vos lettres pas un seul mot sur ces séries remarquables sommées par les fonctions elliptiques, dans lesquelles les exposants suivent la loi des carrés, et dont celle-ci : \[\sqrt {\frac{2K}{\pi }} = 1 + 2q + 2q^4 + 2q^9 + 2q^{16} + 2q^{32} + \; \cdots\] me paraît être l’un des résultats les plus brillants de toute la théorie. Tout ce qui regarde la décomposition des nombres en nombres carrés devient, par ces séries, du ressort des fonctions elliptiques. Les développements de celles-ci me donnent, par exemple : \[\begin{split} \left( \frac{2K}{\pi} \right)^2 &= 1 + \frac{{8q}} {{1 - q}} + \frac{{16q^2 }} {{1 + q^2 }} + \frac{{24q^3 }} {{1 - q^3 }} + \frac{{32q^4 }} {{1 + q^4 }} + \cdots \\ &= 1 + \frac{{8q}} {{\left( {1 - q} \right)^2 }} + \frac{{8q^2 }} {{\left( {1 + q^2 } \right)^2 }} + \frac{{8q^3 }} {{\left( {1 - q^3 } \right)^2 }} + \frac{{8q^4 }} {{\left( {1 + q^4 } \right)^2 }} + \cdots \\ &= 1 + 8\sum {\varphi \left( p \right)\,\left( {q^p + 3q^{2p} + 3q^{4p} + 3q^{8p} + 3q^{16p} + 3q^{32p} + \cdots } \right)} \end{split}\] \(p\) étant un nombre impair quelconque, et \(\varphi p\)) la somme des facteurs de \(p\) Comme dans cette série, il ne manque aucune puissance de \(q\) et qu’on a en même temps \[\left( \frac{2K}{\pi} \right)^2 = \left( 1 + 2q + 2q^4 + 2q^9 + 2q^{16} + \; \cdots \right)^4,\] il suit comme corollaire de cette formule le fameux théorème de Fermat, que chaque nombre est la somme de quatre carrés. (Jacobi (1881, 423–24))

  9. Poincaré avait obtenu ce résultat dans le cadre de son étude des invariants arithmétiques. Il distingue les invariants algébriques d’une forme, qui sont des fonctions uniformes des coefficients invariantes par toutes les substitutions linéaires unimodulaires des variables, et les invariants arithmétiques, qui sont des fonctions uniformes des coefficients invariantes par les substitutions linéaires unimodulaires des variables à coefficients entiers. On trouve la première allusion à la notion d’invariant arithmétique, ainsi qu’à des calculs analogues à ceux dont il est question dans cette lettre, dans la note Sur les formes quadratiques ((1879, 897–99), (1950, 192–94)).

    Dans son article Sur les invariants arithmétiques, Poincaré pose

    \[\varphi _k \left( q \right) = \sum {\frac{1} {{\left( {qm + n} \right)^{2k} }}}.\] et annonce explicitement mais sans démonstration parmi les propriétés de la fonction \(\varphi _k \left( q \right)\), le résultat suivant :

    Quand la partie imaginaire de q est positive, \(\varphi _k \left( q \right)\) peut se développer en série et l’on a \[\varphi _k \left( q \right) = \sum\limits_{n = 1}^{n = \infty } {\frac{1} {{n^{2k} }} + \frac{{\left( {2i\pi } \right)^{2k} }} {{1.2\; \cdots \;\left( {2k - 1} \right)}}} \sum\limits_{m = 1}^{m = \infty } {u_m e^{2imq} }.\] Dans cette formule, \(u_m\) représente la somme des puissances \((2k-1)^\textrm{ièmes}\) des diviseurs de \(m\). (Poincaré (1881a); Châtelet (1950, 198))

    Dans cet article, Poincaré ne signale pas que \(\varphi_k(q)\) n’est définie qu’à la condition \(k = 2\). Les \(\varphi_k\) fournissent un exemple d’invariant arithmétique qui n’est pas un invariant algébrique.

    Une forme linéaire \(ax + by\) n’a pas d’invariant algébrique ; elle a, au contraire des invariants arithmétiques ; par exemple, les séries convergentes \[\sum {\frac{1} {{\left( {am + bn} \right)^{2k} }}} = \frac{1} {{2^k }}\varphi _k \left( {\frac{a} {b}} \right).\] (Poincaré (1881a), (1950, 199))

    On trouve une démonstration de la propriété annoncée par Poincaré dans le livre de Chandrasekharan sur les fonctions elliptiques ((1985, 82–83)).

  10. Poincaré définit les groupes fuchsiens comme les sous-groupes discrets du groupe

    PSL(2, R) \[= \left\{ {z \to T\left( z \right) = \frac{{az + b}} {{cz + d}}/ad - bc = 1} \right\}.\]

    Une fonction fuchsienne est une fonction invariante par un groupe fuchsien. Il montre qu’entre deux fonctions fuchsiennes correspondant à un même groupe, il y a une relation algébrique et que toutes les fonctions qui correspondent à un même groupe s’expriment rationnellement en fonction de deux d’entre elles.

    Poincaré introduit d’autre part les séries thétafuchsiennes associées à un groupe fuchsien

    \[\sum\limits_i {H\left( {\frac{{\alpha _i z + \beta _i }} {{\gamma _i z + \delta _i }}} \right)\left( {\gamma _i z + \delta _i } \right)^{ - 2m} \,} = \Theta \left[ {z,\,H\left( z \right)} \right]\]

    H désigne une fonction rationnelle quelconque. Une telle série est une fonction thétafuchsienne, c’est-à-dire vérifie

    \[\Theta \left( {\frac{{\alpha _k z + \beta _k }} {{\gamma _k z + \delta _k }}} \right) = \Theta \left( z \right)\,\left( {\gamma _k z + \delta _k } \right)^{2m}\tag{1}\]

    Elle peut toujours se mettre sous la forme

    \[\left( {\frac{{dx}} {{dz}}} \right)^m F\left( {x,\,y} \right)\tag{2}\]

    F désigne une fonction rationnelle et x et y, les deux fonctions fuchsiennes, à l’aide desquelles toutes les autres s’expriment rationnellement. Une des idées fondamentales de Poincaré est d’associer à chaque groupe fuchsien un polygone du plan hyperbolique, qu’il appelle “polygone principal” (voir note 16). Il montre que si toutes les expressions de la forme (2) s’annulent sur les sommets de seconde catégorie (c’est-à-dire des sommets situés sur le cercle fondamental et dont un des côtés adjacents est situé sur ce cercle) du polygone fondamental du groupe, les fonctions fuchsiennes peuvent s’exprimer d’une infinité de manière, sous la forme du quotient de deux séries thétafuchsiennes. La dénomination thétafuchsienne vient de l’analogie avec les fonctions elliptiques et les fonctions théta.

    Les fonctions modulaires sont les fonctions méromorphes sur \(Im z > 0\) et invariantes par le groupe modulaire ou un sous-groupe d’indice fini du groupe modulaire

    PSL(2, Z) \[= \left\{ {z \to T\left( z \right) = \frac{{az + b}} {{cz + d}}/a,\,b,\,c,\,d \in Z,\,ad - bc = 1} \right\}\] .

    Les fonctions modulaires sont évidemment un cas particulier de fonctions fuchsiennes et s’expriment donc sous la forme d’un quotient de séries thétafuchsiennes.

    La fonction modulaire de Jacobi est définie par le carré du module k (voir note 4). Les formules de Jacobi (voir note 8) montrent que cette fonction s’écrit comme un quotient de séries de Jacobi : \[k^2 = \frac{{H\left( K \right)^2 }} {{\Theta \left( K \right)^2 }} = \frac{{16\sum\limits_p {\varphi \left( p \right)\,q^p } }} {{1 + 8\sum\limits_p {\varphi \left( p \right)\,\left[ {q^p + 3q^{2p} + 3q^{4p} + 3q^{16p} + \, \cdots } \right]} }}.\]

    Poincaré , dans un travail ultérieur (Poincaré (1887); Darboux (1916, 416–511)) définira des fonctions fuchsiennes arithmétiques (voir lettre n°64, note 4).

    Par contre, il n’utilise pas l’expression fonction fuchsienne arithmétique au singulier pour désigner une fonction fuchsienne arithmétique particulière au même titre que l’expression fonction modulaire désigne la fonction de Jacobi . Néanmoins, la question des fonctions thétafuchsiennes associées à un groupe fuchsien obtenu à partir du groupe des substitutions linéaires qui n’altère pas une forme quadratique ternaire est directement liée à celle des invariants arithmétiques de la forme quadratique (voir note 9).

    Les invariants arithmétiques se ramènent très aisément aux fonctions thétafuchsiennes, et l’on peut ramener aussi aux groupes fuchsiens les groupes de substitutions linéaires à coefficients entiers, qui reproduisent une forme quadratique ternaire indéfinie à coefficients entiers. (Poincaré (1882), (1916, 90–91))

    Soit H(x, y) une fonction rationnelle quelconque, homogène d’ordre \(-2k\) par rapport à x et à y et envisageons les séries

    (2)\[\sum {H\left( {\alpha a + \beta ,\,\gamma a + \delta } \right) = \sum {\left( {\gamma a + \delta } \right)} } ^{ - 2k} H\left( {\frac{{\alpha a + \beta }} {{\gamma a + \delta }},\,1} \right)\] et

    (2bis)\[\sum {H\left( {\alpha a + \beta b,\,\gamma a + \delta b} \right)}\] étendues à tous les systèmes de nombres entiers \(\alpha\), \(\beta\), \(\gamma\), \(\delta\), qui satisfont \(\alpha\delta\)\(\beta\gamma = 1\). La première est une série thétafuchsienne, la seconde est un invariant arithmétique. (Poincaré (1905), (1950, 205–6))

    Nous avons déjà vu que les invariants arithmétiques des formes quadratiques ternaires de la forme

    \[\Phi_k \left( {a,\,b} \right) = \sum {\frac{1} {{\left( {am + bn} \right)^k }}}\] se décomposent en série à l’aide des séries de Poincaré (voir note 9). Dans son article de 1905 sur les invariants arithmétiques, Poincaré montre que pour des raisons de convergence des séries, “les \(\Phi_k\) ne peuvent être mis sous la forme de séries thétafuchsienne” (Poincaré (1905); Châtelet, dir, (1950, 207)).

  11. La fonction modulaire de Jacobi est holomorphe dans le demi-plan \(Im\; z > 0\). C’est donc un exemple de fonction fuchsienne à espace lacunaire, c’est-à-dire non-prolongeable méromorphiquement au plan complexe.

  12. On considère l’équation différentielle du second ordre \[\frac{{d^2 f}} {{dz^2 }} + p\left( z \right)\frac{{df}} {{dz}} + q\left( z \right)f = 0\tag{1}\] où l’on suppose p et q analytiques dans le domaine D = \[\left\{ {z/0 < | {z - z_0 } | < \text{R}} \right\}.\] Un point \(z_{0}\) est appelé un point régulier de (1) si p et q sont analytiques dans un voisinage de ce point. Dans le cas contraire, on dit que c’est un point singulier. Un point singulier est appelé régulier si toute solution de (1) est méromorphe dans un voisinage de \(z_{0}\), autrement dit s’il existe un réel positif \(r_{0}\) tel que : \[\mathop {\lim }\limits_{z \to z_0 } \,\left( {z - z_0 } \right)^{r_0 } f\left( z \right) = 0.\]

    Un théorème de Fuchs montre que l’origine \(z= 0\) est un point singulier régulier de (1) si et seulement si \[P\left( z \right) = z\,p\left( z \right)\] et \[Q\left( z \right) = z^2 \,q\left( z \right)\] sont analytiques au voisinage de 0.

    L’étude des racines de l’équation déterminante

    \[s\left( {s - 1} \right) + P\left( 0 \right)s + Q\left( 0 \right) = 0\tag{E}\] permet d’étudier les solutions de (1).

    L’équation hypergéométrique de Gauss s’écrit \[x\left( {1 - x} \right)\,y^{\prime\prime} + \left[ {\gamma - \left( {\alpha + \beta + 1} \right)x} \right]\,y' - \alpha \beta \,y = 0.\tag{H}\]

    Elle présente 3 points singuliers réguliers 0, 1 et \(\infty\) Les équations déterminantes de ces trois points sont respectivement

    \[r\left( {r - 1} \right) + \gamma r = 0,\quad r\left( {r - 1} \right) - \left( {\gamma - \alpha - \beta - 1} \right)r = 0,\quad r\left( {r + 1} \right) + \left( {\alpha + \beta + 1} \right)r - \alpha \beta = 0\]

    et admettent respectivement \[\left( {0,\,1 - \gamma } \right),\;\left( {0,\,\gamma - \alpha - \beta } \right),\;\left( {\alpha ,\,\beta } \right)\] comme racines.

    Dans le mémoire qu’il présente en 1880 pour le grand Prix des Sciences mathématiques de l’Académie des Sciences ((1923), (1928, 336–73)) et dans les suppléments à ce mémoire (dans (1997)), Poincaré considère les équations différentielles linéaires du second ordre et s’intéresse entre autre à déterminer des conditions suivant lesquelles la variable vue comme fonction du quotient est une fonction méromorphe.

    En désignant par \(fx\)) et \(\varphi x\)) deux intégrales d’une équation différentielle linéaire du second ordre et en posant \[\frac{{f\left( x \right)}} {{\varphi \left( x \right)}} = z\]

    M. Fuchs démontre que, à certaines conditions, […] x est fonction méromorphe de z ; […]
    Pour que ce premier résultat soit vrai, les conditions de \(M\). Fuchs ne sont pas nécessaires et suffisantes ; en effet, il faut, pour que x soit fonction méromorphe, que pour tous les points singuliers, y compris le point \(\infty\), la différence des racines de l’équation déterminante soit une partie aliquote de l’unité. (Poincaré (1923), (1928, 336–37))

    Poincaré désigne par \(\rho _1 ,\,\rho _2 ,\,r\) les différences des racines des 3 équations déterminantes. Dans le cas \(\rho _1 + \rho _2 + r < 1,\) Poincaré montre dans le premier supplément, que x est invariante par un certain groupe fuchsien.

    Si \(\rho _1 + \rho _2 + r < 1,\)

    x est une fonction de z qui n’existe pas à l’extérieur du cercle \(HH'\) et qui est méromorphe à l’intérieur de ce cercle. (Poincaré (1997, 37))

  13. Un des objectifs de Poincaré était de “former tous les groupes fuchsiens”, c’est-à-dire d’obtenir tous les sous-groupes discrets de PSL(2, R). Pour cela, Poincaré associe à chaque groupe fuchsien un pavage hyperbolique du disque unité.

    J’ai fait voir que la surface du cercle fondamental peut se décomposer (et cela d’une infinité de manières) en une infinité de régions \[R_0,\, R_1, \, R_2, \, \cdots \, , R_i, \, \cdots\] satisfaisant aux conditions suivantes :

    I. Ces régions sont des polygones curvilignes dont les côtés sont des arcs de cercle appartenant à des circonférences qui coupent orthogonalement le cercle fondamental.

    II. On a, quel que soit l’indice \(i\), \[\text{R}_i = \text{R}_0 K_i\] \(K_i\) étant une opération du groupe hyperbolique.

    Il est clair que les différentes opérations \(K_i\) forment un groupe discontinu contenu dans le groupe hyperbolique, c’est à dire un groupe fuchsien. (Poincaré (1881b, 333–34) , (1916, 1))

    Lorsque l’on identifie le disque unité au plan de Lobatchevski, on obtient un interprétation géométrique de l’étude des groupes fuchsiens.

    Il existe des liens étroits entre les considérations qui précèdent et la géométrie non-euclidienne de Lobatchewski. Qu’est-ce en effet qu’une Géométrie ? C’est l’étude du groupe d’opérations formé par les déplacements que l’on peut faire subir à une figure sans la déformer. Dans la Géométrie euclidienne, ce groupe se réduit à des rotations et à des translations. Dans la pseudogéométrie de Lobatchewski, il est plus compliqué.

    Eh bien, le groupe des opérations combinées à l’aide de M et N [deux opérations engendrant le sous-groupe considéré] est isomorphe à un groupe contenu dans le groupe pseudogéométrique. Etudier le groupe des opérations combinées à l’aide de M et N, c’est donc faire de la géométrie de Lobatchewski. La pseudogéométrie va par conséquent nous fournir un langage commode pour exprimer ce que nous aurons à dire de ce groupe. ((1997, 35))

  14. Voir lettre n°11,

  15. Nous avons déjà vu (voir note 12) que Poincaré définit les fonctions thétafuchsiennes par analogie avec les fonctions théta de la théorie des fonctions elliptiques.

    J’appelle fonction thétafuchsienne toute fonction \(\Theta \left( z \right)\) uniforme en \(z\), et telle que (\(K_i\) étant une opération quelconque d’un groupe fuchsien) on ait identiquement \[\Theta \left( {z\,\text{K}_i } \right) = \Theta \left( z \right)\left( {\frac{{dz\,K_i }} {{dz}}} \right)^{ - m},\] \(m\) étant un nombre entier positif. (Poincaré (1881b, 335); Darboux (1916, 3))

    C’est encore à l’analogie avec les fonctions elliptiques que j’ai dû faire appel. On sait que ces fonctions peuvent être regardées comme le quotient de deux transcendantes, non plus simplement uniformes, mais encore entières, et que l’on appelle les séries \(\Theta\). Les fonctions ne sont plus doublement périodiques, mais elles sont multipliées par une exponentielle quand la variable augmente d’une période. De même ici, je devais chercher à exprimer les fonctions fuchsiennes par le quotient de deux transcendantes finies et uniformes, tout à fait analogues aux fonctions \(\Theta\), et se reproduisant multipliées par un facteur simple, quand la variable z subit une des transformations du groupe.

    Je trouvai aisément des séries satisfaisant à ces conditions et je les appelai thétafuchsiennes. Le quotient de deux pareilles séries était évidemment une fonction fuchsienne : j’avais du même coup démontré l’existence de ces fonctions et trouvé leur expression analytique. Le quotient de l’unité par une série thétafuchsienne est susceptible aussi d’un développement simple, et c’est la considération de ces développements nouveaux qui m’a permis de démontrer réciproquement que toute fonction fuchsienne peut être regardée comme le quotient de deux séries thétafuchsiennes. (Poincaré (1921, 46))

    Poincaré montre que les fonctions fuchsiennes peuvent “être regardées comme provenant de l’inversion d’une équation du second ordre à coefficients algébriques, c’est à dire qu’on peut l’obtenir en regardant la variable \(x\) comme fonction du rapport z des intégrales de cette équation” et permettent donc d’intégrer un grand nombre d’équations différentielles linéaires. Néanmoins, ces équations intégrables par simple inversion ne constituent que des cas particuliers d’équations du second ordre. Poursuivant l’analogie avec la théorie des fonctions elliptiques, Poincaré pose alors le problème de réduire une équation linéaire d’ordre quelconque à une équation intégrable par inversion d’une fonction fuchsienne.

    On ne doit pas s’en étonner si l’on réfléchit un peu à l’analogie avec les fonctions elliptiques. Le procédé de l’inversion ne permet de calculer que les intégrales elliptiques de première espèce. Pour les intégrales de deuxième et troisième espèce, il faut procéder d’une autre manière.

    Envisageons, par exemple, l’intégrale de deuxième espèce \[u = \int_0^x {\frac{{x^2 dx}} {{\sqrt {\left( {1 - x^2 } \right)\,\left( {1 - k^2 x^2 } \right)} }}}.\] Pour l’obtenir, nous considérons comme équation auxiliaire celle qui donne l’intégrale de première espèce \[z = \int_0^x {\frac{{dx}} {{\sqrt {\left( {1 - x^2 } \right)\,\left( {1 - k^2 x^2 } \right)} }}};\] d’où par inversion \(x = \text{sn}\,z\). Remplaçant \(x\) par sn \(z\), on trouve que \(u\) est égal à une fonction uniforme de \(z\), \(Z(z)\), qui augmente d’une constante quand \(z\) augmente d’une période. On est donc conduit à employer ici un procédé analogue : étant donnée une équation linéaire \(E\) d’ordre quelconque, à coefficients algébriques en \(x\), on se sert d’une équation auxiliaire \(E'\) du second ordre, et cette équation auxiliaire doit être choisie de telle façon que \(x\) soit fonction fuchsienne du rapport \(z\) des intégrales de \(E'\) et que les intégrales de \(E\) soient des fonctions uniformes de \(z\). (Poincaré (1921, 48–49))

    Poincaré définit les fonctions zétafuchsiennes qui ont un rôle analogue à celui des fonctions zéta \(Z\) de la théorie des fonctions elliptiques.

    Si maintenant on considère le rapport z des intégrales de cette équation auxiliaire, x est une fonction de z que j’appelle f(z), et les intégrales de l’équation E sont des fonctions uniformes de z, qui subissent des transformations linéaires lorsque z subit une transformation du groupe, de la même manière que la fonction Z(z) augmente d’une constante quand z augmente d’une période. Ces fonctions uniformes jouent pour l’intégration de l’équation E le même rôle que la fonction Z(z) joue pour le calcul des intégrales elliptiques de seconde espèce. C’est pour cette raison que je les ai appelées zétafuchsiennes. (Poincaré (1921, 50))

    Poincaré justifiait déjà de la même manière la dénomination de ces fonctions dans le premier supplément au mémoire présenté au concours pour le Prix des Sciences mathématiques.

    Nous les appellerons fonctions zétafuchsiennes parce qu’elles nous semblent présenter quelque analogie avec les fonctions zéta que l’on considère dans la théorie des fonctions doublement périodiques. (Poincaré (1997, 55))

  16. Poincaré développe la théorie des fonctions fuchsiennes dans le but explicite d’intégrer les équations différentielles linéaires à coefficients algébriques.

    Le but que je me propose, dans le travail que j’ai l’honneur de présenter à l’Académie, est de rechercher s’il n’existe pas des fonctions analytiques analogues aux fonctions elliptiques et permettant d’intégrer diverses équations différentielles linéaires à coefficients algébriques. (Poincaré (1881b, 333); Darboux (1916, 1))

    Le point fondamental de la théorie est que les équations différentielles linéaires du second ordre à coefficients algébriques sont intégrables à partir d’une fonction fuchsienne.

    Toute fonction fuchsienne \(F(z)\) permet d’intégrer une équation linéaire à coefficients algébriques de la manière suivante. Si l’on pose \[x = F\left( z \right),\quad y_1 = \sqrt {\frac{{dF}} {{dz}}} ,\quad y_2 = z\sqrt {\frac{{dF}} {{dz}}},\] \(y_1\) et \(y_2\) satisfont à l’équation différentielle \[\frac{{d^2 y}} {{dx^2 }} = y\,\varphi \left( x \right)\] \(\varphi(x)\) étant algébrique en x. (Poincaré (1881c, 395); Darboux (1916, 5))

    Les applications de la théorie des fonctions fuchsiennes à d’autres domaines des mathématiques sont un peu moins spectaculaires et tiennent essentiellement à la relation algébrique qui lie deux fonctions fuchsiennes qui ont même groupe.

    […] il y a entre deux fonctions fuchsiennes qui ont même groupe une relation algébrique. […] grâce à ces relations algébriques, il est possible d’utiliser les fonctions fuchsiennes pour l’étude des fonctions et des courbes algébriques. Ainsi l’on peut exprimer les coordonnées des points d’une courbe algébrique par des fonctions fuchsiennes, c’est-à-dire uniforme, d’un même paramètre. On peut alors se servir de ces expressions des coordonnées pour arriver à un certain nombre de théorèmes sur ces courbes. On peut s’en servir également pour exposer d’une façon plus simple la théorie des fonctions abéliennes. (Poincaré (1921, 46))

    Par contre, dès le début de la théorie, Poincaré s’inspire de ses travaux sur les invariants arithmétiques des formes ternaires et souligne à plusieurs reprises les rapports que sa théorie des fonctions fuchsiennes entretient avec l’arithmétique.

    Parmi les groupes fuchsiens, il en est qui méritent d’attirer particulièrement notre attention : 1 Le groupe (2, 3, \(\infty\)), qui est isomorphe au groupe des opérations qui changent z en \(\frac{{az + b}}{{cz + d}},\) a, b, c, d étant des entiers tels que \(ad - bc = 1\).

    2 Certains groupes qui sont isomorphes aux groupes des substitutions linéaires à coefficients entiers, qui reproduisent une forme quadratique ternaire indéfinie à coefficients entiers.

    L’existence de ces groupes fait ressortir les liens intimes qui unissent la théorie des nombres à la question analytique qui nous occupe. (Poincaré (1881b, 335); Darboux (1916, 3))

  17. Cette formule est annotée deux fois de la main de Mittag-Leffler : Le facteur \(m_2^{m_1}\) dans le numérateur est remplacé par \[(x - \alpha_2)^{m_1}\] et le 1 est remplacé par \(\mu\). Voir Mittag-Leffler à Poincaré , 22.06.1881 (lettre n°4).


Références

Académie des sciences de Paris, ed. 1897. Œuvres complètes d’Augustin Cauchy , Série 2, Volume 3: Cours d’analyse de l’École royale polytechnique sur le calcul infinitésimal. Paris: Gauthier-Villars.

———, ed. 1899. Œuvres complètes d’Augustin Cauchy , Série 2, Volume 4 : Memoires publies separement. Paris: Gauthier-Villars.

Appell, Paul, and Jules Drach, eds. 1928. Œuvres d’Henri Poincaré , Volume 1. Paris: Gauthier-Villars.

Borchardt, Carl Wilhelm, and Karl Weierstraß, eds. 1881. C. G. J. Jacobi ’s gesammelte Werke, Volume 1. Berlin: Georg Reimer.

Cauchy , Augustin-Louis. 1821. Cours d’Analyse de l’Ecole royale polytechnique sur le calcul infinitésimal. Paris: Debure.

———. 1823. Résumé des leçons données à l’École polytechnique sur le calcul infinitésimal. Paris: Debure.

Chandrasekharan, Komaravolu. 1985. Elliptic Functions. Berlin-Heidelberg: Springer Verlag.

Châtelet, Albert, ed. 1950. Œuvres d’Henri Poincaré , Volume 5. Paris: Gauthier-Villars.

Darboux, Gaston, N. E. Nörlund, and Ernest Lebon, eds. 1916. Œuvres d’Henri Poincaré , Volume 2. Paris: Gauthier-Villars.

Dugac, Pierre. 1973. “Éléments d’analyse de Karl Weierstrass .” Archive for History of Exact Sciences 10: 41–176.

———. 1989. “Sur la correspondance de Borel et le théorème de Dirichlet-Heine-Weierstrass -Borel-Schönflies-Lebesgue.” Archives Internationales d’histoire Des Sciences 39: 69–110.

Gray, Jeremy, and Scott A. Walter, eds. 1997. Henri Poincaré : Trois suppléments sur la découverte des fonctions fuchsiennes. Berlin: Akademie-Verlag.

Hermite , Charles. 1894. Note sur la théorie des fonctions elliptiques. Paris: Gauthier-Villars.

———. 1908. Œuvres de Charles Hermite , Volume 2. Paris: Gauthier-Villars.

Jacobi , Carl Gustav Jacobi . 1829. Fundamenta nova theoriæ functionum ellipticarum. Königsberg: Sumtibus Fratrum.

Poincaré , Henri. 1879. “Sur les formes quadratiques.” Comptes Rendus Hebdomadaires Des Séances de L’Académie Des Sciences de Paris 89: 897–99.

———. 1881a. “Sur les applications de la géométrie non-euclidienne à la théorie des formes quadratiques.” Association Française Pour L’avancement Des Sciences 10: 132–38.

———. 1881b. “Sur les fonctions fuchsiennes.” Comptes Rendus Hebdomadaires Des Séances de L’Académie Des Sciences de Paris 92 (7): 333–35.

———. 1881c. “Sur les fonctions fuchsiennes.” Comptes Rendus Hebdomadaires Des Séances de L’Académie Des Sciences de Paris 92 (8): 395–98.

———. 1882. “Sur la théorie des fonctions fuchsiennes.” Mémoires de L’Académie Nationale Des Sciences, Arts et Belles-Lettres de Caen, 3–29.

———. 1883. “Sur les fonctions à espaces lacunaires.” Acta Societatis Scientiarum Fennicae 12: 343–50.

———. 1887. “Les fonctions fuchsiennes et l’arithmétique.” Journal de Mathématiques Pures et Appliquées 3: 405–64.

———. 1905. “Sur les invariants arithmétiques.” Journal Für Die Reine Und Angewandte Mathematik 129: 89–150.

———. 1921. “Analyse des travaux scientifiques de Henri Poincaré faite par lui-même.” Acta Mathematica 38: 1–135.

———. 1923. “Extrait d’un mémoire inédit de Henri Poincaré sur les fonctions fuchsiennes.” Acta Mathematica 39: 58–93.

Valiron, Georges, ed. 1950. Œuvres d’Henri Poincaré , Volume 4. Paris: Gauthier-Villars.

Titre
Henri Poincaré à Gösta Mittag-Leffler - 1 juin 1881
Incipit
Je vous remercie bien de votre lettre et, loin de vous en vouloir...
Date
1881-06-01
Lieu
Paris
Sujet
Équations aux dérivées partielles et espaces lacunaires
Fonction Analytique
Fonction Elliptique
Fonction Fuchsienne
Fonction Modulaire de Jacobi
Fonction Théta
Fonction Thétafuchsienne
Fonction à espace lacunaire
Fonction Modulaires
Géométrie non-euclidienne
Groupe fuchsien
Invariant algébrique
Invariant arithmétique
Série thétafuchsienne
Équation Déterminante
Équation hypergéométrique de Gauss
Lieu d’archivage
Mittag-Leffler Institute
Section (dans le livre)
3
Nombre de pages
4
Langue
fr
Publié sous la référence
CHP 1:3
Licence
CC BY-ND 4.0

« Henri Poincaré à Gösta Mittag-Leffler - 1 Juin 1881 ». La Correspondance Entre Henri Poincaré Et Gösta Mittag-Leffler. Archives Henri Poincaré, s. d, Archives Henri Poincaré, s. d, La correspondance d'Henri Poincaré, consulté le 28 mars 2024, https://henripoincare.fr/s/Correspondance/item/5832