<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html    PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
           "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta name="GENERATOR" content="TtM 3.76" />
 <style type="text/css">
 div.p { margin-top: 7pt; }
 span.roman {font-family: serif; font-style: normal; font-weight: normal;} 
</style>
 

       
  
  
   
<title> Mittag-Leffler à Poincaré </title>
</head>
<body>

<h3>Mittag-Leffler à Poincaré</h3><a name="mittag-leffler2">
</a>

<div class="p"><!----></div>

<div align="right">Helsingfors 22 mai 1881<br />
Finlande
</div>

<div class="p"><!----></div>
Monsieur,

<div class="p"><!----></div>
Permettez-moi d'abord de vous remercier cordialement de votre 
lettre aimable<a href="#tthFtNtAAB" name="tthFrefAAB">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>1</mn></mrow>
</msup>
</mrow></math></a>
datée le 22/4 et du cadeau de votre thèse<a href="#tthFtNtAAC" name="tthFrefAAC">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow></math></a>.
Je n'ai pas eu le 
temps encore d'étudier sérieusement celle-là mais je l'ai 
parcourue à la hâte ce qui m'a suffit pour voir combien des 
choses nouvelles vous y donnez et le premier moment que j'aurai 
libre, je veux employer à en approfondir l'étude.

<div class="p"><!----></div>
Monsieur Hermite m'a envoyé votre travail&#x00A0;: "<i>Sur 
les fonctions à espaces lacunaires</i>"<a href="#tthFtNtAAD" name="tthFrefAAD">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>3</mn></mrow>
</msup>
</mrow></math></a> et il m'a prié de le présenter dans son nom et le 
votre à notre société des sciences. La société a été 
très sensible de ce cadeau et m'a prié de vous présenter 
ses remerciements. Je vous envoie une épreuve en deux exemplaires 
en vous priant de vouloir bien me renvoyer l'une après y avoir 
fait les changements que vous trouverez convenables.<br />
Et permettez-moi de vous dire franchement et loyalement que je 
trouve que vous devez faire ressortir les rapports que votre 
travail a avec les recherches de Monsieur Weierstrass publiées 
dans le "<i>Berliner Monatsbericht</i>" Août 1880 
sous le titre "<i>Zur Functionenlehre</i>"<a href="#tthFtNtAAE" name="tthFrefAAE">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>4</mn></mrow>
</msup>
</mrow></math></a>. Votre manière de définir une fonction -
page 3 - est exactement la même que Monsieur Weierstrass emploie
depuis 30 ans déjà, et vous trouvez les mêmes idées
clairement développées dans le mémoire&#x00A0;:
"<i>Zur Functionenlehre</i>" -
page&#x00A0;12<a href="#tthFtNtAAF" name="tthFrefAAF">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>5</mn></mrow>
</msup>
</mrow></math></a>
-. C'est sur cette définition
même que Monsieur Weierstrass a construit tout ce système sublime
qu'il développe dans / son cours à l'université de Berlin et qui
embrasse la théorie générale des fonctions, la théorie des fonctions
elliptiques, la théorie des fonctions Abéliennes et bien d'autres
choses encore<a href="#tthFtNtAAG" name="tthFrefAAG">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>6</mn></mrow>
</msup>
</mrow></math></a>. Vous avez tort quand vous dites que Monsieur
Hermite a mis le premier en lumière l'existence des fonctions à
"espaces lacunaires".<a href="#tthFtNtAAH" name="tthFrefAAH">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>7</mn></mrow>
</msup>
</mrow></math></a> 
Vous ne pouvez pas savoir que Monsieur Weierstrass a parlé 
de telles fonctions depuis des années dans son cours mais dans 
le travail&#x00A0;: "<i>Zur Functionenlehre</i>" il 
en donne l'exemple et met en lumière justement cette propriété. 
Les deux fonctions représentées par la série <br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<munderover><mo>&sum;</mo><mrow><mi>&nu;</mi><mo>=</mo><mn>0</mn> </mrow>
<mrow><mi>&infin;</mi></mrow></munderover>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mi>x</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>
<mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mo>-</mo><mi>&nu;</mi></mrow>
</msup>
</mrow>
</mfrac>
</mrow>
    </mstyle></math>
</td></tr></table>
<br />

- voir les pages 5, 13, 14 en "<i>Zur
  Functionenlehre</i>"<a href="#tthFtNtAAI" name="tthFrefAAI">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>8</mn></mrow>
</msup>
</mrow></math></a>
- sont des telles fonctions à "espaces
lacunaires"<a href="#tthFtNtAAJ" name="tthFrefAAJ">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>9</mn></mrow>
</msup>
</mrow></math></a> 
et la fonction remarquable 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<munderover><mo>&sum;</mo><mrow><mi>&nu;</mi><mo>=</mo><mn>0</mn> </mrow>
<mrow><mi>&infin;</mi></mrow></munderover>
<msup><mrow><mi>b</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>

<msup><mrow><mi>x</mi></mrow><mrow>
<msup><mrow><mi>a</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>
</mrow>
</msup>
</mrow>
    </mstyle></math>
</td></tr></table>
<br />

où <i>b</i> est un nombre positif plus petit que 1, <i>a</i> un nombre 
entier inégal<a href="#tthFtNtABA" name="tthFrefABA">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>10</mn></mrow>
</msup>
</mrow></math></a> et positif et 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mi>ab</mi><mo>&gt;</mo><mn>1</mn><mo>+</mo>
<mfrac><mrow><mn>3</mn></mrow>
<mrow><mn>2</mn></mrow>
</mfrac>
<mi>&pi;</mi></mrow>
    </mstyle></math>
</td></tr></table>
<br />

est aussi une telle fonction - voir les pages 26 et 27 en "<i>Zur 
Functionenlehre</i>"<a href="#tthFtNtABB" name="tthFrefABB">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>11</mn></mrow>
</msup>
</mrow></math></a> 
-. Votre fonction
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mn>1</mn><mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow><mn>2</mn></mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow>
</msup>
<mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow>
<msup><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow>
</msup>
<mo>+</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>&#x2026;</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow>
</msup>
</mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow>
<msup><mrow><mn>3</mn></mrow><mrow><mi>n</mi></mrow>
</msup>
</mrow>
</msup>
<mo>+</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>&#x2026;</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

est comme vous voyez un cas spécial de celle-là.

<div class="p"><!----></div>
Excusez-moi d'avoir fait ces remarques, mais je suppose que vous 
n'avez pas eu l'occasion encore d'étudier le mémoire&#x00A0;: 
"<i>Zur Functionenlehre</i>" et j'ai cru que vous 
veuillez faire justice dans votre propre travail aux recherches 
approfondies du grand géomètre de Berlin publiées il y 
a déjà plusieurs mois. Je possède malheureusement d'une 
manière très imparfaite la langue française et je vous 
prie en conséquent de ne pas regarder de trop près ce qu'il 
y a peut-être inconvenant dans ma manière de m'exprimer / 
mais de vouloir voir seulement mon désir de vous être utile 
et de compléter l'appareil historique dans votre beau travail.

<div class="p"><!----></div>
Je me permets en terminant de vous prier humblement de me donner 
quelques éclaircissements qui m'intéressent beaucoup.

<div class="p"><!----></div>
Qui a étudié le premier la série
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mi>x</mi><mi>&#x2002;</mi><mi>&phiv;</mi><mo stretchy="false">(</mo><mn>1</mn><mo stretchy="false">)</mo><mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow>
</msup>
<mi>&phiv;</mi><mo stretchy="false">(</mo><mn>2</mn><mo stretchy="false">)</mo><mo>+</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>&#x2026;</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mi>n</mi></mrow>
</msup>
<mi>&phiv;</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo><mo>+</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>&#x2026;</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

<a href="#tthFtNtABC" name="tthFrefABC">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>12</mn></mrow>
</msup>
</mrow></math></a>

<div class="p"><!----></div>
Est-ce-que c'est vous ? Comment démontrez vous la propriété 
indiquée ?

<div class="p"><!----></div>
Je ne vois pas bien ce que vous voulez dire sur la fonction qui 
intègre votre équation&#x00A0;(8)<a href="#tthFtNtABD" name="tthFrefABD">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>13</mn></mrow>
</msup>
</mrow></math></a>. Il me parait que quelque condition doit 
être mise. Veuillez bien être de l'obligeance de m'éclairer 
par un exemple.

<div class="p"><!----></div>
Est-ce-que vous pouvez me donner un exemple d'une fonction fuchsienne 
présentant une "espace lacunaire".<a href="#tthFtNtABE" name="tthFrefABE">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>14</mn></mrow>
</msup>
</mrow></math></a>

<div class="p"><!----></div>
Je n'ai pas trouvé l'occasion encore d'étudier vos articles 
dans les "<i>comptes rendus</i>".<a href="#tthFtNtABF" name="tthFrefABF">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>15</mn></mrow>
</msup>
</mrow></math></a> 
Quand est-ce-que vous publierez en détail vos recherches sur 
les fonctions fuchsiennes? En même temps que vos autres recherches 
sur les équations différentielles&#x00A0;?<a href="#tthFtNtABG" name="tthFrefABG">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>16</mn></mrow>
</msup>
</mrow></math></a> Ces choses là me paraissent être d'un très 
grand intérêt et j'attends avec impatience la publication 
de vos découvertes.

<div class="p"><!----></div>
Encore une fois je vous prie de regarder plutôt la bonne intention 
que j'ai eu[e] que la forme peu convenable dans laquelle j'ai 
exprimé ma demande et je vous prie d'agréer l'expression 
de la haute considération avec laquelle je suis votre serviteur 
dévoué.

<div class="p"><!----></div>
G. Mittag-Leffler

<div class="p"><!----></div>
<br /><br /><font size="-1"><b>ALS 2p. Mittag-Leffler Archives, Djursholm.</b><font size="+0">

<div class="p"><!----></div>
</font></font><hr /><h3>Notes:</h3>

<div class="p"><!----></div>
<a name="tthFtNtAAB"></a><a href="#tthFrefAAB">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>1</mn></mrow>
</msup>
</mrow></math></a>La lettre de Poincaré du 22 avril manque.
<div class="p"><!----></div>
<a name="tthFtNtAAC"></a><a href="#tthFrefAAC">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow></math></a>[Poincaré 
1879]. Poincaré avait soutenu, le 1
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow>
<mtext>r</mtext>
</mrow>
</msup>
</mrow></math> août 1879, sa thèse de 
Mathématiques <i>Sur les propriétés des fonctions définies 
par les équations aux dérivées partielles</i>&#x00A0;; Bouquet 
était le président du jury, Bonnet et Darboux étaient les 
examinateurs et ont cosigné le rapport officiel de soutenance 
[Gispert 1981, p.&#x00A0;331]. Ce rapport reprend, en l'édulcorant 
un peu, le rapport assez mitigé de Darboux du 6 juin 1879&#x00A0;:

<div class="p"><!----></div>

<blockquote>La thèse de M.&#x00A0;Poincaré traite de l'intégration 
des équations aux dérivées partielles par la méthode 
des séries. Cauchy avait déjà étudié cette question 
et il avait donné une méthode qui tombe en défaut pour 
certaines valeurs exceptionnelles des variables. L'auteur a en 
vue surtout des cas d'exception. Sur ce sujet, il a donné au 
commencement de la deuxième partie un théorème très intéressant 
qui, sans donner la solution complète de la question proposée, 
constitue un premier progrès réellement remarquable.

<div class="p"><!----></div>
Quelques lemmes de l'Introduction m'ont paru dignes d'intérêt. 
Le reste de la thèse est confus et prouve que l'auteur n'a 
pu encore parvenir à exprimer ses idées d'une manière claire 
et simple. Comme d'ailleurs la thèse a été renvoyée bien 
souvent à son auteur, les points fondamentaux signalés plus 
haut étant d'ailleurs établis d'une manière satisfaisante, 
je propose l'admission. [BAS - Ms 2720, 8]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtAAD"></a><a href="#tthFrefAAD">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>3</mn></mrow>
</msup>
</mrow></math></a>[Poincaré 
1881a].
<div class="p"><!----></div>
<a name="tthFtNtAAE"></a><a href="#tthFrefAAE">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>4</mn></mrow>
</msup>
</mrow></math></a>Dans 
une lettre adressée à Hermite le 23 mars 1881, Mittag-Leffler, 
tout en reconnaissant le talent de Poincaré et plus généralement 
de la génération montante des mathématiciens français, 
notait que ses résultats avaient en partie déjà été 
obtenus par Weierstrass&#x00A0;:

<blockquote>
Je trouve la découverte de M.&#x00A0;Poincaré fort jolie. 
Seulement il me paraît que l'existence des fonctions avec 
des lacunes avait été démontrées auparavant par M.&#x00A0;Weierstrass.

<div class="p"><!----></div>
Il n'y a pas en Allemagne maintenant un si grand nombre de jeunes 
géomètres distingués comme en France et je trouve que vous 
avez eu tort quand vous m'avez dit une fois que la race française 
n'est pas si douée pour les mathématiques comme la race germanique. 
Mais c'est votre mérite que les talents se sont développés 
parce que c'est seulement depuis que vous êtes devenu professeur 
à la Sorbonne que la France a des jeunes géomètres de talent 
supérieur. [AS]
</blockquote>

<div class="p"><!----></div>
Dans sa lettre adressée à Hermite le 17 mai 1881, Mittag-Leffler 
insiste de la même manière sur la priorité de Weierstrass&#x00A0;:

<div class="p"><!----></div>

<blockquote>[... ] M.&#x00A0;Poincaré est évidemment aussi un très 
grand talent. Les fonctions qu'il étudie dans la mémoire 
que vous avez bien voulu m'envoyer me paraissent d'être d'un 
grand intérêt. Pourtant, il n'a pas été assez juste envers 
M.&#x00A0;Weierstrass et je ne sais pas s'il a lu le mémoire <i>Zur 
Functionenlehre</i> dans le <i>Monatsbericht</i> d'Août 80. J'ai corrigé 
l'épreuve aujourd'hui et si tôt que j'aurai une nouvelle épreuve 
je l'enverrai à M.&#x00A0;Poincaré en le priant de vouloir 
bien ajouter quelques remarques qui me paraissent nécessaires. 
Je tacherai après de faire valoir devant la société ce 
qu'il y a de nouveau dans le mémoire de M.&#x00A0;Poincaré 
et j'enverrai à vous et à lui ce que je pourrai dire là-dessus. 
[AS]
</blockquote>

<div class="p"><!----></div>
Dans son article <i>Zur Functionenlehre</i>, Weierstrass se propose 
d'étudier certaines séries dont les termes sont des fonctions 
rationnelles d'une variable. En particulier, il fait apparaître 
que si le domaine de convergence de ces séries se compose de 
plusieurs composantes connexes, il n'y a aucune raison pour qu'elle 
représente dans ces différentes composantes des «&#x00A0;branches 
d'une même fonction monogène&#x00A0;».

<div class="p"><!----></div>

<blockquote>Muss diese Frage verneint werden, wie dies wirklich der Fall 
ist, so ist damit bewiesen, dass der Begriff einer monogenen 
Function einer complexen Veränderlichen mit dem Begriff einer 
durch (arithmetische) Grössenoperationen ausdrückbaren Abhängigkeit 
sich nicht vollständig deckt. [Weierstrass 1880a, p.&#x00A0;210]
</blockquote>

<div class="p"><!----></div>
Weierstrass cite comme exemple la série 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<munderover><mo>&sum;</mo><mrow><mi>&nu;</mi><mo>=</mo><mn>0</mn> </mrow>
<mrow><mi>&infin;</mi></mrow></munderover><mrow><mo>(</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mi>x</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>
<mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mo>-</mo><mi>&nu;</mi></mrow>
</msup>
</mrow>
</mfrac>
<mo>)</mo></mrow></mrow>
    </mstyle></math>
</td></tr></table>
<br />

et montre qu'elle représente deux fonctions différentes
à l'intérieur et à l'extérieur du disque unité. Il
en conclut à l'existence de <i>fonctions qui ne peuvent pas
  être continuées au delà des limites de cette portion</i>
(voir note n°9).
<div class="p"><!----></div>
<a name="tthFtNtAAF"></a><a href="#tthFrefAAF">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>5</mn></mrow>
</msup>
</mrow></math></a>Mittag-Leffler fait
    allusion ici aux ressemblances étroites entre les
    définitions de Poincaré [1881a, p.&#x00A0;29] et de
    Weierstrass [1880, p.&#x00A0;726-728] d'une fonction par
    les développements en série. Weierstrass introduit ce type
    de fonction de la manière suivante&#x00A0;:

<div class="p"><!----></div>

<blockquote>Möglicherweise erstreckt sich, wenn die Stelle <i>a</i> der 
Begrenzung von <i>A'</i> hinlänglich nahe angenommen wird, der 
Convergenzbezirk der Reihe 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>P</mi><mrow><mo>(</mo><mi>x</mi><mo>-</mo><mi>a</mi><mo>)</mo></mrow></mrow></math>
 über <i>A'</i> hinaus. In diesem Falle (der sogar der gewöhnliche 
ist) existieren unendlich viele, aus 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>P</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
<mrow><mo>(</mo><mi>x</mi><mo>-</mo>
<msub><mrow><mi>a</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
<mo>)</mo></mrow></mrow></math>
 durch das beschriebene Verfahren ableitbare Potenzreihen 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>P</mi><mo>'</mo><mrow><mo>(</mo><mi>x</mi><mo>-</mo><mi>a</mi><mo>'</mo><mo>)</mo></mrow></mrow></math>
, deren Convergenzbezirke ganz oder theilweise ausserhalb <i>A'</i> 
liegen, und aus diesen können dann möglicherweise durch dasselbe 
Verfahren wieder andere sich ergeben, welche in ihrem Convergenzbezirk 
auch Stellen von <i>A'</i> enthalten, aber an diesen andere Werthe 
wie <i>F</i>(<i>x</i>) haben. Alle diese Reihen stellen Fortsetzungen 
der durch die gegebene Reihe zunächst für die dem Bezirk 
A' angehörigen Werthe von <i>x</i> definirten Function dar&#x00A0;; 
sie sind, nach der in meinen Vorlesungen über die Anfangsgründe 
der allgemeinen Functionenlehre eingeführten Terminologie, 
sämmtlich Elemente einer monogenen analytischen Function, die 
eindeutig oder mehrdeutig sein kann, aber als vollständig definirt 
zu betrachten ist, sobald irgend eines ihrer Elemente gegeben 
ist. [Weierstrass 1880a, p.&#x00A0;728]
</blockquote>

<div class="p"><!----></div>
Poincaré définit de la même manière ces fonctions&#x00A0;:

<div class="p"><!----></div>

<blockquote>Considérons une série développée suivant les puissances croissantes
  de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
</mrow></math>. Elle sera convergente à l'intérieur d'un cercle 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
</mrow></math>
  ayant pour centre 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
</mrow></math> et pour rayon <i>R</i>. Si on ne
  s'occupait que du développement lui-même, on pourrait considérer la
  fonction définie par la série comme cessant d'exister à l'extérieur
  du cercle de convergence, et toute la région du plan extérieur à ce
  cercle comme formant un espace lacunaire. Ainsi comprise, la
  fonction à espaces lacunaires ne serait pas une notion analytique
  nouvelle. Mais il est un moyen bien connu d'étendre au delà du
  cercle de convergence le domaine où la fonction envisagée existe. Si
  l'on considère un point 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow></math> intérieur au cercle de convergence, on
  pourra par la formule de Taylor développer la fonction en série
  ordonnée suivant les puissances de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow></math> et convergente à
  l'intérieur d'un cercle. A l'intérieur de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow></math>, on prendra un point
  
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow></math> et on pourra développer la fonction en série ordonnée suivant
  les puissances de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow></math> et convergente à l'intérieur d'un
  cercle 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow></math>. La fonction se trouvera alors définie non seulement à
  l'intérieur du premier cercle de convergence, mais à l'intérieur de
  
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow></math>, de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow></math>, etc.

<div class="p"><!----></div>
  Pour la plupart des fonctions qui ont été jusqu'ici l'objet des
  travaux des géomètres, les cercles tels que 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow></math>, 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>C</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow></math>, etc.,
  recouvrent tout le plan, soit une fois, soit plusieurs fois, soit
  une infinité de fois, en laissant seulement de côté certains points
  isolés, appelés points singuliers. La fonction existe partout, sauf
  en des points isolés. Il n'y a pas d'espace lacunaire. [Poincaré
  1881b]
</blockquote>
Voir <a href="mittag-leffler3.xml">mittag-leffler3</a>, note n°6.
<div class="p"><!----></div>
<a name="tthFtNtAAG"></a><a href="#tthFrefAAG">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>6</mn></mrow>
</msup>
</mrow></math></a>Weierstrass est nommé à l'Université de Berlin
    en 1856 et y enseigne pendant 30 ans essentiellement l'analyse.

<div class="p"><!----></div>
L'examen de la liste des cours de Weierstrass à l'université 
de Berlin est important pour la compréhension de son oeuvre 
mathématique. Lorsqu'on lit attentivement cette liste, on y 
trouve une suite de cycles qui reflètent la conception weierstrassienne. 
Il y a seize cycles, généralement de deux ans, plus ou moins 
complets, du semestre d'été 1857 au semestre d'été 1887, 
dont le schéma général (qui ne comprend pas tous les cours 
de Weierstrass, en particulier ceux sur le calcul des variations) 
est le suivant&#x00A0;:

<blockquote>
La théorie des fonctions analytiques.<br />
La théorie des fonctions elliptiques.<br />
Applications des fonctions elliptiques à la géométrie et 
à la mécanique.<br />
La théorie des fonctions abéliennes.
</blockquote>

<div class="p"><!----></div>
Mais il ne faut pas négliger un autre aspect de l'enseignement 
de Weierstrass et du but qu'il poursuivait à l'université 
de Berlin, que tant d'autres universités reprendront plus tard. 
Il caractérisera lui-même à l'époque de 1864 à 1883 
comme celle des efforts conjugués de Kummer, de Kronecker et 
de lui-même pour donner, en deux années, aux jeunes mathématiciens 
une formation générale de base avec un très large éventail 
des plus importantes disciplines mathématiques. Dans ces conditions, 
on comprendra pourquoi Berlin fut à cette époque le centre 
mondial où affluaient les jeunes de tous les pays pour apprendre 
les mathématiques nouvelles. [Dugac 1973, p.&#x00A0;62]

<div class="p"><!----></div>
Comme l'a montré Dugac [1973], les idées de Weierstrass 
sur les fondements de l'analyse ont évolué fortement. Plusieurs 
versions de ses éléments d'analyse sont connues, en particulier 
par des notes de cours de certains de ses élèves.

<div class="p"><!----></div>
En 1881, les leçons de Weierstrass ne sont pas encore publiées 
et son enseignement n'est, en grande partie, connu que de ses 
étudiants. Il n'est donc pas étonnant que Poincaré en ignore 
le contenu. Ce problème se reposera pour certaines questions 
de priorité (voir lettres 24 et 58). Les élèves de Weierstrass 
publieront l'essentiel de ses leçons dans ses oeuvres complètes 
(1894-1927)&#x00A0;:

<div class="p"><!----></div>

<blockquote>Weierstrass' Vorlesungen sind für uns deshalb so besonders 
wichtig, weil Weierstrass selbst sehr wenig druckte. Er hatte 
- uns das ist entschieden eine sehr merkwürdige Erscheinung 
in diesem "Zeitalter Gutenbergs" - eine prinzipielle 
Abneigung gegen Druckerschwärze. So ließ er auch seine Vorlesung 
niemals autographieren, sondern verlangte, dass sie abgeschrieben 
wurde. Es war damals Sitte in Berlin, ganz schematisch abzuschreiben, 
was man an Kollegs von Weierstrass mitnehmen wollte. Diese Abschriften 
sind auch im Ausland verbreitet worden, so dass sie, nachwirkend, 
einen massgebenden Einfluss auf den Gang unserer Wissenschaft 
ausgeübt haben. Wir müssen uns also hier etwas näher mit 
ihnen befassen.

<div class="p"><!----></div>
Eine volle Liste finden wir am Schluss von Bd. 3 der Werke. Ich 
möchte nur den allgemeinen Turnus nennen, den Weierstrass einhielt&#x00A0;:

<div class="p"><!----></div>
Analytische Funktionen - Elliptische Funktionen - Anwendungen 
der elliptischen Funktionen - Hyperelliptische oder Abelsche 
Funktionen. [Klein 1926,1, p.&#x00A0;283-284]
</blockquote>

<div class="p"><!----></div>
Cependant, Hermite connaissait la teneur des enseignements 
de Weierstrass, en reconnaissait l'importance fondamentale et 
était conscient de l'influence de Weierstrass sur ses travaux 
et ceux des analystes contemporains&#x00A0;:

<blockquote>
[... ] je vins à Paris suivre le cours d'Hermite&#x00A0;; 
je n'oublierai jamais la stupéfaction que j'éprouvai aux 
premiers mots qu'il m'adressa&#x00A0;: «&#x00A0;Vous avez fait erreur, 
Monsieur, me dit-il&#x00A0;: Vous auriez dû suivre les cours 
de Weierstrass à Berlin. C'est notre maître à tous&#x00A0;». [Mittag-Leffler 
1923, p.&#x00A0;133]
</blockquote>

<div class="p"><!----></div>
D'autre part, sans cautionner la légende selon laquelle 
Poincaré n'était pas un grand lecteur de mathématiques, 
il n'en est pas moins vrai qu'il préférait retrouver par 
ses propres moyens les résultats annoncés plutôt que de 
suivre l'analyse des auteurs (voir <a href="mittag-leffler80.xml">mittag-leffler80</a>). On ne peut cependant 
qu'être surpris de le voir ignorant des travaux de Weierstrass 
alors que celui-ci est un des maîtres de la théorie des 
fonctions elliptiques et abéliennes, théorie que Poincaré 
utilisera en permanence pour fonder ses intuitions dans le développement 
de sa théorie des fonctions fuchsiennes. En outre, Poincaré 
a sûrement au moins parcouru l'article de Hermite <i>Sur quelques 
points de la théorie des fonctions</i>. En effet, Hermite remercie 
Mittag-Leffler le 14 avril 1881 de l'envoi des tirés-à-part 
de son article publié dans les <i>Acta Societatis Scientarum 
Fennicæ</i> [voir <a href="mittag-leffler1.xml">mittag-leffler1</a>, note n°1] et on peut penser qu'ils 
commençaient à circuler parmi les mathématiciens français. 
Or, Hermite cite à plusieurs reprises, dans cet article, le 
travail de Weierstrass. Ainsi, après avoir étudié un type 
de coupure particulière attachée à une fonction définie 
par une intégrale, il fait le lien entre ses résultats et 
«&#x00A0;les vues exposées récemment par M.&#x00A0;Weierstrass sur 
le mode d'existence des fonctions de l'Analyse&#x00A0;» [Hermite 1881a, 
p.&#x00A0;62]. Enfin, il envisage des fonctions pour lesquelles 
on pourrait définir «un espace pour lequel échapperait la 
définition de la fonction, de sorte que dans la conception 
générale de fonction on doive admettre, ainsi que l'a déjà 
dit M.&#x00A0;Weierstrass, l'existence de lacunes comme possible» 
[Hermite 1881a, p.&#x00A0;75] (voir <a href="mittag-leffler3.xml">mittag-leffler3</a>, note&#x00A0;n°4).

<div class="p"><!----></div>
De plus, une traduction de l'article de Weierstrass, <i>Zur Functionenlehre</i>, 
était en cours et devait paraître dans le tome 5 (1881) 
du <i>Bulletin des sciences mathématiques et astronomiques</i>. 
En effet, Hermite avait été chargé par l'éditeur du <i>Bulletin</i>, 
Darboux, d'insister auprès de Weierstrass pour obtenir l'autorisation 
d'en publier une traduction. Dans sa lettre du 13 février 1881, 
Hermite demande à Mittag-Leffler d'intercéder en ce sens&#x00A0;:

<div class="p"><!----></div>

<blockquote>A l'égard des deux articles si importants des <i>Monatsberichte</i>
  d'août 1880 [Weierstrass 1880a et 1880b], la traduction faite par
  M.&#x00A0;Tannery a été envoyée et soumise à M.&#x00A0;Weierstrass, qui a répondu
  et donné son consentement pour la publication du premier, celui qui
  concerne votre théorème [1880b]. Mais pour le second [1880a], il a
  négligé jusqu'ici de répondre, et je dois vous prier encore de la
  part de M.&#x00A0;Darboux d'insister auprès de l'illustre Analyste, pour
  qu'il veuille bien donner son consentement à la publication de ce
  second article, dont vous connaissez l'intérêt et l'importance.
  [Dugac 1984, p.&#x00A0;100]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtAAH"></a><a href="#tthFrefAAH">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>7</mn></mrow>
</msup>
</mrow></math></a>Dans une première version de son
    article, Poincaré écrivait&#x00A0;:

<div class="p"><!----></div>

<blockquote>M.&#x00A0;Hermite a mis le premier cette vérité en lumière, 
en définissant, à l'aide d'intégrales multiples définies 
des transcendantes qui n'ont d'existence que dans un domaine 
limité. [Poincaré 1881b, p.&#x00A0;2]
  </blockquote>

<div class="p"><!----></div>
Dans la version définitive, il insiste sur la priorité 
des résultats de Weierstrass&#x00A0;:

<div class="p"><!----></div>

<blockquote>M.&#x00A0;Weierstrass a le premier mis cette vérité en 
lumière, et après lui M.&#x00A0;Hermite a défini à l'aide 
d'intégrales multiples définies des transcendantes qui n'ont 
d'existence que dans un domaine limité. [1881a, p.&#x00A0;29]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtAAI"></a><a href="#tthFrefAAI">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>8</mn></mrow>
</msup>
</mrow></math></a>[Weierstrass 1880a, p.&#x00A0;203, 211 et
    212].
<div class="p"><!----></div>
<a name="tthFtNtAAJ"></a><a href="#tthFrefAAJ">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>9</mn></mrow>
</msup>
</mrow></math></a>Weierstrass cite cette série comme un exemple
    de série dont le domaine de convergence se compose de plusieurs
    composantes connexes et dans lesquelles elle représente des
    fonctions différentes qui ne peuvent être prolongées au delà des
    limites des composantes (voir note n°4).
    
<blockquote>
Ich habe bereits vor Jahren gefunden - und in meinen Vorlesungen 
mitgetheilt - dass die oben angeführte Reihe
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mi>F</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo>
<munderover><mo>&sum;</mo><mrow><mi>&nu;</mi><mo>=</mo><mn>0</mn> </mrow>
<mrow><mi>&infin;</mi></mrow></munderover><mrow><mo>(</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mi>x</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>
<mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mo>-</mo><mi>&nu;</mi></mrow>
</msup>
</mrow>
</mfrac>
<mo>)</mo></mrow></mrow>
    </mstyle></math>
</td></tr></table>
<br />

deren Convergenzbereich aus zwei Stücken besteht, zwei verschieden 
monogene Functionen, und zwar eine jede vollständg darstellt. 

<div class="p"><!----></div>
Ist nämlich 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
</mrow></math> irgend ein Werth von <i>x</i>, der den absoluten 
Betrag 1 hat, so lässt sich - zeigen, dass sich sowohl unter 
denjenigen Werthen von <i>x</i>, für die 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mo stretchy="false">&verbar;</mo><mi>x</mi><mo stretchy="false">&verbar;</mo><mi>&#x2002;</mi><mo>&lt;</mo><mi>&#x2002;</mi><mn>1</mn><mo>,</mo></mrow></math>
als auch unter denen, für die 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mo stretchy="false">&verbar;</mo><mi>x</mi><mo stretchy="false">&verbar;</mo><mi>&#x2002;</mi><mo>&gt;</mo><mi>&#x2002;</mi><mn>1</mn></mrow></math>,
in jeder noch so kleinen Umbegung von 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>x</mi></mrow><mrow><mn>0</mn></mrow>
</msub>
</mrow></math> solche finden, 
für die der absolute Betrag von 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>F</mi><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo></mrow></math> jede beliebig 
angenommene Grösse übertrifft. Daraus folgt sofort, dass 
die Reihe in jedem der beiden Stücke ihres Convergenzbereichs 
eine Function darstellt, die über die Begrenzung des Stückes 
hinaus nicht fortgesetzt werden kann. [Weierstrass 1880a, p.&#x00A0;211]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtABA"></a><a href="#tthFrefABA">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>10</mn></mrow>
</msup>
</mrow></math></a>Il faut comprendre ici <i>impair</i>. Dans 
le texte de Weierstrass, <i>a</i> est un nombre entier positif impair 
(<i>ungerade</i>).
<div class="p"><!----></div>
<a name="tthFtNtABB"></a><a href="#tthFrefABB">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>11</mn></mrow>
</msup>
</mrow></math></a>Weierstrass cite cette série 
comme un exemple facile à traiter de fonction «&#x00A0;ayant cette 
propriété que les points du plan de la variable, pour lesquels 
elle ne peut être définie, ne sont pas seulement des points 
isolés, mais forment des lignes et des surfaces&#x00A0;». Weierstrass 
précise qu'il s'agit d'une propriété qu'il a mise en évidence 
dès le début de ses leçons sur les éléments de la théorie 
des fonctions, c'est-à-dire entre 1857 et 1860.

<blockquote>
Durch die Reihe
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<munderover><mo>&sum;</mo><mrow><mi>&nu;</mi><mo>=</mo><mn>0</mn> </mrow>
<mrow><mi>&infin;</mi></mrow></munderover>
<msup><mrow><mi>b</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msup>
<mi>&#x2002;&#x2002;</mi>
<msup><mrow><mi>x</mi></mrow><mrow>
<msub><mrow><mi>a</mi></mrow><mrow><mi>&nu;</mi></mrow>
</msub>
</mrow>
</msup>
</mrow>
    </mstyle></math>
</td></tr></table>
<br />

wird also, wenn 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mi>ab</mi><mo>&gt;</mo><mn>1</mn><mo>+</mo>
<mfrac><mrow><mn>3</mn></mrow>
<mrow><mn>2</mn></mrow>
</mfrac>
<mi>&pi;</mi><mo>,</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

eine Function definirt, die nicht über den Convergenzbereich 
der Reihe hinaus fortgesetzt werden kann und also ausschliesslich 
für solche Werthe von <i>x</i>, deren absoluter Betrag die Einheit 
nicht überschreitet, existiert. [Weierstrass 1880, p.&#x00A0;223]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtABC"></a><a href="#tthFrefABC">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>12</mn></mrow>
</msup>
</mrow></math></a>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>&phiv;</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo></mrow></math> représente la somme des diviseurs de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>n</mi></mrow></math>&#x00A0;:

<blockquote>
On pourrait citer un grand nombre d'autres exemples de ce 
fait analytique. Ainsi, les fonctions définies par les séries&#x00A0;:
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mn>1</mn><mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow><mn>2</mn></mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow>
</msup>
<mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mn>2</mn></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow>
<msup><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow>
</msup>
</mrow>
</msup>
<mo>+</mo><mi>&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;</mi><mo>+</mo>
<mfrac><mrow><mn>1</mn></mrow>
<mrow>
<msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow>
</msup>
</mrow>
</mfrac>

<msup><mrow><mi>x</mi></mrow><mrow>
<msup><mrow><mn>3</mn></mrow><mrow><mi>n</mi></mrow>
</msup>
</mrow>
</msup>
<mo>+</mo><mi>&#x2002;</mi><mo>&#x2026;</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

et 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mi>x</mi><mi>&#x2002;</mi><mi>&phiv;</mi><mo stretchy="false">(</mo><mn>1</mn><mo stretchy="false">)</mo><mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow>
</msup>
<mi>&#x2002;</mi><mi>&phiv;</mi><mo stretchy="false">(</mo><mn>2</mn><mo stretchy="false">)</mo><mo>+</mo><mi>&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;</mi><mo>+</mo>
<msup><mrow><mi>x</mi></mrow><mrow><mi>n</mi></mrow>
</msup>
<mi>&#x2002;</mi><mi>&phiv;</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo><mo>+</mo><mi>&#x2002;</mi><mo>&#x2026;</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

où 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>&phiv;</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo></mrow></math> représente la somme des puissances premières des diviseurs 
de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>n</mi></mrow></math> n'existent qu'à l'intérieur du cercle qui a pour centre 
l'origine et pour rayon l'unité. [Poincaré 1881b, p.&#x00A0;2]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtABD"></a><a href="#tthFrefABD">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>13</mn></mrow>
</msup>
</mrow></math></a>L'équation (8) 
de la première version du mémoire sur les fonctions à espace 
lacunaire est l'équation à laquelle Hermite fait allusion 
dans l'article qu'il avait envoyé à Mittag-Leffler (voir 
<a href="mittag-leffler1.xml">mittag-leffler1</a>, note n°2) et qui va occuper une bonne partie de la 
correspondance à venir&#x00A0;:

<div class="p"><!----></div>
Soit l'équation aux différences [dérivées] partielles&#x00A0;:

<div class="p"><!----></div>
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<msub><mrow><mi>u</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mi>&#x2002;</mi>
<msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mi>&#x2002;</mi>
<mfrac><mrow><mi>dz</mi></mrow>
<mrow>
<msub><mrow><mi>du</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow>
</mfrac>
<mi>&#x2002;&#x2002;</mi><mo>+</mo><mi>&#x2002;&#x2002;</mi>
<msub><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mi>&#x2002;</mi>
<msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mi>&#x2002;</mi>
<mfrac><mrow><mi>dz</mi></mrow>
<mrow>
<msub><mrow><mi>du</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow>
</mfrac>
<mi>&#x2002;&#x2002;</mi><mo>+</mo><mi>&#x2002;&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>+</mo>
<msub><mrow><mi>u</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
<mi>&#x2002;</mi>
<msub><mrow><mi>F</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
<mi>&#x2002;</mi>
<mfrac><mrow><mi>dz</mi></mrow>
<mrow>
<msub><mrow><mi>du</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
</mrow>
</mfrac>
<mi>&#x2002;&#x2002;</mi><mo>=</mo><mi>&#x2002;&#x2002;</mi><mi>z</mi><mi>&#x2003;&#x2003;&#x2003;&#x2003;&#x2003;&#x2003;</mi><mo stretchy="false">(</mo><mn>8</mn><mo stretchy="false">)</mo></mrow>
    </mstyle></math></td><td width="1">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mo stretchy="false">(</mo><mn>1</mn><mo stretchy="false">)</mo></mrow>
    </mstyle></math>
</td></tr></table>



<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi>
<msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>,</mo>
<msub><mrow><mi>F</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
</mrow></math>
 sont des fonctions holomorphes des <i>n</i> variables 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>u</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi>
<msub><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>,</mo>
<msub><mrow><mi>u</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
</mrow></math>
et du paramètre 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi></mrow></math> holomorphes pour toutes les valeurs de 

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi></mrow></math> et lorsque les modules de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msub><mrow><mi>u</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi>
<msub><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>,</mo>
<msub><mrow><mi>u</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
</mrow></math>
 sont suffisamment petits. Elles se réduisent respectivement 
à
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow><mn>1</mn><mo>,</mo><mi>&#x2003;&#x2003;&#x2003;</mi>
<mfrac><mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
</mrow>
<mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow>
</mfrac>
<mo>,</mo><mi>&#x2003;&#x2003;&#x2003;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>,</mo><mi>&#x2003;&#x2003;&#x2003;</mi>
<mfrac><mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
</mrow>
<mrow><mi>x</mi><mo>-</mo>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
</mrow>
</mfrac>
</mrow>
    </mstyle></math>
</td></tr></table>
<br />

quand on y annule tous les 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>u</mi></mrow></math>.

<div class="p"><!----></div>
Dans une thèse que j'ai soutenue devant la Faculté des Sciences 
de Paris le 1
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow>
<mtext>r</mtext>
</mrow>
</msup>
</mrow></math> août 1879, j'ai démontré que si le point 

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi></mrow></math> est extérieur au polygone convexe P circonscrit aux 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>n</mi></mrow></math> 
points 
<br />
<table width="100%"><tr><td align="center">
    <math xmlns="http://www.w3.org/1998/Math/MathML">
    <mstyle displaystyle="true"><mrow>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mn>1</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mn>2</mn></mrow>
</msub>
<mo>,</mo><mi>&#x2002;&#x2002;</mi><mo>&#x2026;</mo><mi>&#x2002;&#x2002;</mi><mo>,</mo>
<msub><mrow><mi>&alpha;</mi></mrow><mrow><mi>n</mi></mrow>
</msub>
<mo>,</mo></mrow>
    </mstyle></math>
</td></tr></table>
<br />

il existe une série S ordonnée suivant les puissances des 

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>u</mi></mrow></math>, convergente et satisfaisant à l'équation (8) pourvu 
que les modules de ces variables soient assez petits. Les coefficients 
de cette série sont des fonctions rationnelles de <i>x</i>&#x00A0;; 
si l'on donne aux 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>u</mi></mrow></math> des valeurs de module suffisamment petit 
et qu'on les considère comme des constantes, la somme de la 
série est une fonction de 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>x</mi></mrow></math>, et l'on peut voir qu'elle est 
analogue à la fonction 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow><mi>&phi;</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo></mrow></math> définie par la série 
(1) et qu'elle présente comme elle un espace lacunaire. Le 
polygone P est compris tout entier dans cet espace lacunaire. 
[1881a, p.&#x00A0;35]
<div class="p"><!----></div>
<a name="tthFtNtABE"></a><a href="#tthFrefABE">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>14</mn></mrow>
</msup>
</mrow></math></a>Mittag-Leffler 
interroge Poincaré au sujet d'une remarque dans laquelle il 
indique que certaines fonctions fuchsiennes sont à espace lacunaire&#x00A0;:

<blockquote>
Il en est de même [n'exister qu'à l'intérieur du cercle 
unité] de certaines fonctions que j'ai définies dans une 
note insérée aux <i>Comptes Rendus de l'Académie des Sciences 
de Paris</i> (Séances des 14 et 21 Février 1881) et que j'ai 
appelées fonctions fuchsiennes. [1881a, p.&#x00A0;29-30]
</blockquote>

<div class="p"><!----></div>
<a name="tthFtNtABF"></a><a href="#tthFrefABF">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>15</mn></mrow>
</msup>
</mrow></math></a>Mittag-Leffler 
fait allusion à la série de notes publiées aux <i>Comptes 
rendus</i> en 1881 par Poincaré sur les fonctions fuchsiennes.
<div class="p"><!----></div>
<a name="tthFtNtABG"></a><a href="#tthFrefABG">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mrow>
<msup><mrow></mrow><mrow><mn>16</mn></mrow>
</msup>
</mrow></math></a>Poincaré avait 
publié une note aux <i>Comptes rendus</i> [1880b] dans laquelle 
il annonçait une partie des résultats du premier <i>Mémoire 
sur les courbes définies par une équation différentielle</i> 
[1881c].<div class="p"></div><br /><br /><hr /><a href="../index.html"><img src="../icons/contents_motif.gif" alt="contents_motif.gif" /></a>&#x00A0;&#x00A0;&#x00A0;&#x00A0;&#x00A0;&#x00A0;<a href="/poincare/chp/">Archives Henri Poincar&eacute;</a> (CNRS, UMR 7117)<div class="p"></div></body></html>

