• Aucun résultat trouvé

R E M A R O L I E S S U R L . E S I N T I ~ G R A L E S I R R I ~ G I J L I E R E S D E S I ~ O U A T I O N S ~ L I N I ~ A I R E S . I R 6 p o n s e h M . T h o m 6

N/A
N/A
Protected

Academic year: 2022

Partager "R E M A R O L I E S S U R L . E S I N T I ~ G R A L E S I R R I ~ G I J L I E R E S D E S I ~ O U A T I O N S ~ L I N I ~ A I R E S . I R 6 p o n s e h M . T h o m 6"

Copied!
3
0
0

Texte intégral

(1)

310

REMAROLIES SUR L.ES INTI~GRALES IRRI~GIJLIERES

DES I~OUATIONS~ LINI~AIRES.

IR6ponse h M. T h o m 6

P A R

H. P O I N C A R E

P A R I S .

J'ai publi6 deux m6moires sur les int6grales irr6gulibres des 6qua- tions lin6aires, le premier Sur les dquations lin~aires aux diffdrentielles or- dinaires et aux diffdrences finies dans l ' A m e r i c a n j o u r n a l of m a t h e - m a t i c s (t. 7, I885, p. 2 0 3 - - 2 5 8 ) , le second Sur les intdgrales irr~gulidres des dquations lindaires dans les A c t a M a t h e m a t i c a (t. 8, I886, p. 295 --344). Ces deux m6moires ont inspir6 k M. THOM~ une Bemerkung zur Theorie der linearen Differentialgleichungen qu'il a fait imprimer dans le J o u r n a l de CRELLE (t. XOI, I887) et que je ne puis laisser sans r6ponse.

Soit une 6quation lin6aire de la forme suivante:

(i)

p,, d y ~ dz n + P,,_, ~'dz._ ~ + . . . + t', ~z + PuY = o d rt--I y dg

ou los P sont des polyn6mes entiers en x d'un m~me degr6 m.

On d6montre que pour x tr6s grand, cette 6quation admet n int6- grales de la forme suivante:

x P t r ( i = l ~ 2, ..., n)

les ~b 6rant des s~ries convergentes doublement infinies.proc6dant suivant les puissances positives et n6gatives de x. Mais on n'a aucun moyen de d6tcrmincr les exposants p e t les cofifficients des s6ries ~b.

(2)

Remarques sur les intdgrales irrdgulibres des d q u a t i o n s lindaires. 3 1 1

D'autre part, on trouve n s6ries que j'appellerai sgries normales et qui satisfont formellement ~ l'6quation (!)" Ces s6ries, qui sofit gdndrale- ment divergentes, sont de la forme:

t ~ x X"f" (f i (i= t, 2, .... n)

les ~ &ant des sdries ordonn&s suivant les puissances n6gafives de x.

J'ai d6montr6 ~ ce sujet deux th('or6mes.

I ~ Pour qu'une s6rie normale soit convergente, il faut et il suffit que la transformde de LAVLACE de l'dquation (I) admette une int6grale holomorphe dans tout le plan.

2 ~ Alors mdme qu'une s6rie normale diverge, elle repr6sente asymptotiquemeat une des int6grales de l'6quation (i), quand x croit in- d6finiment avec un argument ddtermin6.

M. THOM~ attaque ces ddux th6or6mes, mais ~ dcux points de vue diff6rents. Quant au premier, il n'en conteste pas l'exactitude, mais il le d6clare ddnu6 d ' i n t d r & . C'est l~ un point sur lequel il est malais6 de discuter.

D'apr6s M. TItoMk., il est aussi difficile de distinguer si l'6quation transform6e a une int6grale holomorphe, que de reconnaitre si la sd.rie normale converge. J'en conviens volontiers, mais j'estime qu'il n'est pas inutile, quand on est en prdsence de deux probl6mes 6galement insolubles~

de montrer qu'ils se ram6nent l'un ~ l'autre.

On croirait que M. Trlouk. attendait de moi l'6nonc6 sous forme explicite des conditions de convergence des sdries normales. ]l ne dd.

pendait pas de moi de le lui donner; ces conditions s'expriment dvidem- ment par des relations entre les (n + i)(m + i) coefficients des polyn6mes P; mais ces relations ne sont pas alg6briques. Tout ce qu'on peut faire, c'est &udier les transcendantes qui y entrent. En 6tablissant que la convergence se rattache K une propridt6 du groupe de l'dquation trans- form(~e, je montrais en m~me temps que ces transcendantes sont intimement li6es ~ d'autres fonctions que j'ai &udides dans mon m6moire Sur les groupes des ~quations lindaires (Acta M a t h e m a t i c a , t. 4, I884, p. 2 o I ~ 3 I I ) . Les rdsultats que j'ai donnds au s ujet de ccs dcux classes de transcendantes sont, il est vrai, fort incomplets; mais il est probable qu'on n'en trouvera pas d'autres d'ici ~ quelque temps; c'est ce qui m'a ddtermin6 ~ les pu-

(3)

312 H. Poincard.

blicr, tout en partageant leg regrets de M. TtIOMi; au sujet des lacunes qui y subsistent encore.

Quant au second thdor6me, M. THOM~ It rcgarde comme faux, et cela parce qu'il l'intcrpr6te de la fagon suivante:

Cc serait toujours la mdme intdgrale qui serait reprdsentde asymp- totiquement par la mOne sdrie normalc, quel que soit l'argument avec lequet x croit ind6finiment; d'oh il rdsulterait que leg exposants r~ de- vraicnt at re 6gaux aux exposants p,.

Je n'ai jamais dit une p a r e i l l e b~tise et M. THom~ me l a prate gratuitement. Le w 5 du mdmoire de l ' A m e r i c a n J o u r n a l est tout entier destin6 k ddmontrer le contraire et j'3i encore rdpdt6 lc contraire k plusieurs reprises clans le m6,noire des A c t a M a t h e m a t i c a , et en partieulier dang les deux dernidres lignes de la page 309 et les huit premiSres lignes de la page 3Io.

En ce qui concen,e ees dix lignes, je reconnais que j'aurais mieux fair de les souligner; mats, quant au w 5, je ne pouvais imaginer qu'un paragraphe tout entier 6ehapp,~t au leeteur le plus inattentif.

Je prdvois 13 r6ponse de M. THOM~; mats, dira-t-il, si vous ne pouvez nous donner explicitement 13 valeur des exposants p, votre tra- wall est d6nud d'intdrdt. ,Fen suis f;~ehd, m3is eette ddtermination ex, plicite est impossible; on est oblig6 de se contenter de proc6dds d'ap- proximations ind6finies et c'est ce que j'ai f a i t e n d~finitive, dang le w 5, en ramenant le probl6me k 13 d6termination du groupe d'une 6quation lin6airc, question que j'avais traitde, quoique d'une faqon incompl6te, dang It m6,noire tit6 des A c t 3 M a t h e m a t i e 3 (t. 4)-

Paris, lc 24 Juillet 1887 .

Références

Documents relatifs

Next, to each operator of the Chronogram Language (generation of intervals, rows, columns, multicolumns, time diagrams, etc.) corresponds an operation on languages

Par la suite, plusieurs sous-classes des langages ap@riodiques ont @t@ 6tudi@es, notamment par Brzozowski, Simon, Fioh, SchOtzenberger, Eilenberg, Me Naughton,

≻ la demande est instruite par un Technicien de l’Offre globale de service pour le service Prestations ou, pour le service Action sociale, par un Technicien des Aides

Nous achevons ce travail en notant que les groupes 6tudi6s ici n'ont jamais la propri~td (T) de Kazhdan, en examinant les cons6quences des r6sultats pr6c6dents

There exists a coarse moduli scheme M for the equivalence classes of semistable parabolic vector bundles (on an irreducible nonsingular complete curve X}.. of

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

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

As an approach to the problem of characterising and classifying Banach spaces in terms of their geometric structure, consideration has been given to the following