Classification méromorphe locale des systèmes différentiels linéaires méromorphes : phénomène de Stokes et applications
Thèses d'Orsay, no. 295 (1991) , 214 p.

This thesis deals with effective computation of meromorphic invariants of linear meromorphic differential systems. The question is double : what to compute ? How to do it ?

In part I we build a natural isomorphism between the (non abelian) cohomological classifying set of Malgrange-Sibuya and the product of Stokes groups. The proof proceeds by selecting in each cohomology class a special cochain which we call fundamental and it gives an explicit algorithm for this selection. The invariants to be computed appear then as the components of this fundamental cochain in a basis, which we fix, for the structure of finite linear affine space induced by this construction on the classifying set.

In addition, we prove some others consequences of both this isomorphism theorem and the constructivity of its proof: an abstract theory of summation for formal solutions of linear differential systems which coincides with the multisummation of Martinet-Ramis and then too, with the accelero-summation of Ecalle; the level-by-level factorization of formal solutions (Ramis) and the Galois properties of the corresponding Stokes matrices (Ramis et Deligne), obtained here through almost only pure algebra ; an explicit well-fitting correspondence betwween the cohomological classifying set of Malgrange-Sibuya and the savage π 1 of Ramis.

The second question, developped in part II, is algorithmic and numerical : the quantities to be computed being mainly transcendental we look forward approximate, yet informative, numerical values. After a brief description of the method by summation - a priori the most direct and natural method but still embarassed with serious problems of numerical stability (Thomann, Richard-Jung) - we detail our infinitesimal method which, though is does not always allow the calculation of all the invariants, except in dimension two, induces a very good numerical stability. The values appear as limits of linear recurrences. The stability seems to be related to good formal initial choices. We study extensively several examples in dimensions two and three.

@phdthesis{BJHTUP11_1991__0295__P0_0,
     author = {Loday-Richaud, Mich\`ele},
     title = {Classification m\'eromorphe locale des syst\`emes diff\'erentiels lin\'eaires m\'eromorphes : ph\'enom\`ene de {Stokes} et applications},
     series = {Th\`eses d'Orsay},
     publisher = {Universit\'e de Paris-Sud Centre d'Orsay},
     number = {295},
     year = {1991},
     language = {fr},
     url = {http://www.numdam.org/item/BJHTUP11_1991__0295__P0_0/}
}
TY  - BOOK
AU  - Loday-Richaud, Michèle
TI  - Classification méromorphe locale des systèmes différentiels linéaires méromorphes : phénomène de Stokes et applications
T3  - Thèses d'Orsay
PY  - 1991
IS  - 295
PB  - Université de Paris-Sud Centre d'Orsay
UR  - http://www.numdam.org/item/BJHTUP11_1991__0295__P0_0/
LA  - fr
ID  - BJHTUP11_1991__0295__P0_0
ER  - 
%0 Book
%A Loday-Richaud, Michèle
%T Classification méromorphe locale des systèmes différentiels linéaires méromorphes : phénomène de Stokes et applications
%S Thèses d'Orsay
%D 1991
%N 295
%I Université de Paris-Sud Centre d'Orsay
%U http://www.numdam.org/item/BJHTUP11_1991__0295__P0_0/
%G fr
%F BJHTUP11_1991__0295__P0_0
Loday-Richaud, Michèle. Classification méromorphe locale des systèmes différentiels linéaires méromorphes : phénomène de Stokes et applications. Thèses d'Orsay, no. 295 (1991), 214 p. http://numdam.org/item/BJHTUP11_1991__0295__P0_0/

[BV] Babbitt D.G., Varadarajan V.S., Local moduli for meromorphic differential equations, I, the Stokes sheaf and its cohomology, Preprint (cf. Bull. AMS, vol. 12, n° 1, 1985, 95-98). | MR | Zbl | DOI

[E] Ecalle J., Les fonctions résurgentes, tome III ; L'équation du pont et la classification analytique des objets locaux, Publications Mathématiques d'Orsay, 85-05. | Zbl | MR

[F] Frenkel J., Cohomologie non abélienne et espaces fibrés, Thèse 22 décembre 1956, Gauthier-Villars, série A n°2963, n° d'ordre 3835.

[Hu] Hukuhara M., Sur les points singuliers des équations différentielles linéaires III, Mem. Fac. Sci. Kyushu University 2 (1942), 125-137. | MR | Zbl | DOI

[J] Jurkat W.B., Meromorphe Differentialgleichungen, Lecture Notes in Math, n°637, Springer Verlag. | MR | Zbl

[JPL1] Jurkat W., Lutz D., Peyerimhoff A., Birkhoff invariants and effective calculations for meromorphic linear differential equations I, J. Math. Anal. Appl., vol.53 (1976), 438-470. | MR | Zbl | DOI

[JPL2] Jurkat W., Lutz D., Peyerimhoff A., Birkhoff invariants and effective calculations for meromorphic linear differential equations II, Houston J. Math., vol.2, n°2 (1976), 207-238. | MR | Zbl

[L] Lutz D.A., Birkhoff invariants and meromorphic differential equations, in Equations différentielles et systèmes de Pfaff dans le champ complexe (R. GERARD et J.-P. RAMIS), Lecture Notes in Math, n°712, 66-76, Springer-Verlag. | MR | Zbl

[M1] Malgrange B., Remarques sur les équations différentielles à points singuliers irréguliers, in Equations différentielles et systèmes de Pfaff dans le champ complexe (R. GERARD et J.-P. RAMIS), Lecture Notes in Math, n°712, 77-86, Springer-Verlag. | MR | Zbl

[M2] Malgrange B., La classification des connexions irrégulières à une variable, Mathématique et physique. Séminaire de l'Ecole Normale Supérieure (Paris 1979-82), Progress in Mathematics, vol.37, 381-399, Birkhaüser, 1983. | Zbl | MR

[MR] Martinet J., Ramis J.-P., Problèmes de modules pour les équations différentielles non linéaires du premier ordre, Publications Math, de l'I.H.E.S., n°55 (1982), 63-164. | MR | Zbl | Numdam | DOI

[RS] Ramis J.-P., Sibuya Y., Hukuhara's domains and fundamental existence and uniqueness theorem for asymptotic solutions, Preprint IRMA Strasbourg, France et University of Minnesota (Minneapolis, 55455 USA). | MR

[T] Tournier E., Solutions formelles d'équations différentielles. Le logiciel de calcul formel :DESIR. Etude théorique et réalisation. Thèse 2 avril 1987, Université scientifique, technologique et médicale de Grenoble.

[W] Wasow W., Asymptotic expansions of ordinary differential equations, Interscience (1965) | MR | Zbl

Wasow W., Asymptotic expansions of ordinary differential equations, R.E.Krieger Publ. Co (1976). | MR | Zbl

[BV p85] D.G. Babbitt, V.S. Varadarajan, Local moduli for meromorphic differential equation I, the Stokes sheaf and its cohomology, Preprint (cf. Bull. AMS, vol.12, n° 1, 1985, pp 95-98), UCLA 1985. | MR | Zbl | DOI

[BV89] D.G. Babbitt, V.S. Varadarajan, Local moduli for meromorphic differential equation, Astérisque n° 169-170 (1989). | MR | Zbl | Numdam

[Bal80] W. Balser, Zum Einzigkeitssatz in der Invariantentheorie meromorphr Differentialgleichungen, Journal für die reine und angewandte Mathematik 318 (1980), 51-82. | MR | Zbl

[Ba89] M. Barkatou, Contribution à l'étude des équations différentielles et aux différences dans le champ complexe, Thèse, Institut National Polytechnique à Grenoble (1989).

[Be79] D. Bertrand, Travaux récents sur les points singuliers des équations différentielles linéaires, Séminaire Bourbaki, 31e année, juin 1979, exposé n°538. | MR | Zbl | Numdam

[Be85] D. Bertrand, Groupes algébriques linéaires et théorie de Galois différentielle, Cours de 3e cycle à l'Université Pierre et Marie Curie (Paris 6), 1985-86 ; notes de cours rédigées par René Lardon.

[Bi13] G.D. Birkhoff, Equivalent singular points of ordinary linear differential equations, Math. Ann. vol.74 n°1 (1913), 134-139. | MR | JFM | DOI

[Chen90] G. Chen, Solutions formelles de systèmes d'équations différentielles linéaires ordinaires homogènes, Thèse, U.S.T.M. de Grenoble (1990).

[De70] P. Deligne, Equations différentielles à points singuliers réguliers, Lecture Notes in Mathematics n° 163, Springer-Verlag (1970). | MR | Zbl

[De77] P. Deligne, Lettre à Malgrange (22 aout 77).

[De86] P. Deligne, Lettre à Varadarajan (4 janvier 86)

P. Deligne, lettre à Ramis (7 janvier 86)

P. Deligne, lettres à Ramis (25 et 28 février 86).

[DeMi80] P. Deligne, J.S. Milne, Tannakian categories, Lectures Notes in Mathematics n°900, Springer-Verlag (1980). | Zbl

[D.Du87] D. Duval, Diverses questions relatives au calcul formel avec des nombres algébriques, Thèse d'Etat, U.S.T.M. de Grenoble (1987).

[Duv83] A. Duval, Etude asymptotique d'une intégrale analogue à la fonction " Γ modifiée," in Lecture Notes in Mathematics, Equations différentielles et systèmes de Pfaff dans le champ complexe, II, édité par R. Gérard et J.-P. Ramis, n° 1015, Springer-Verlag (1983) 50-63. | MR | Zbl | DOI

[DM89] A. Duval, C. Mitschi, Matrices de Stokes et groupe de Galois des équations hypergéométriques confluentes généralisées, Pacific Journal of Math., vol. 138 n °1 (1989) . | MR | Zbl | DOI

[Ec90] J. Ecalle, L'accélération et ses applications, à paraître dans "Travaux en cours", Hermann, 1990.

[Fr56] J. Frenkel, Cohomologie non abélienne et espaces fibrés, Thèse 22 décembre 1956, Gauthier-Villars, série A n°2963, n° d'ordre 3835.

[Hi87] A. Hilali, Solutions formelles de systèmes différentiels linéaires au voisinage d'un point singulier, Thèse, U.S.T.M. de Grenoble (1987).

[Hu42] M. Hukuhara, Sur les points singuliers des équations différentielles linéaires, III, Mem. Fac. Sci. Kyushu University 2 (1942), 125-137. | MR | Zbl | DOI

[Jur78] W.B. Jurkat, Meromorphe differentialgleichungen, Lecture Notes in Mathematics n°637, Springer-Verlag (1978). | MR | Zbl

[JLP76] W. Jurkat, D. Lutz, A. Peyerimhoff, Birkhoff invariants and effective calculations for meromorphic linear differential equations, I, Journal of Math. Analysis and Applications 53 (1976), 438-470 | MR | Zbl | DOI

W. Jurkat, D. Lutz, A. Peyerimhoff, Birkhoff invariants and effective calculations for meromorphic linear differential equations, II, Houston J. Math. vol.2, n°2 (1976), 207-238. | MR | Zbl

[Kol73] E.R. Kolchin, An introduction to differential algebra, Academic Press, 1973.

[L-R90] M. Loday-Richaud, Calcul des invariants de Birkhoff des systèmes d'ordre deux, Funkcialaj Ekvacioj, 33 (1990), 161-225 | MR | Zbl

M. Loday-Richaud, Calcul des invariants de Birkhoff des systèmes d'ordre deux, Prépublication d'Orsay 88-31 (1988).

[L-R avril90] M. Loday-Richaud, Introduction à la multisommabilité, Gazette des mathématiciens n°44, SMF (avril 1990), 41-63. | MR | Zbl

[Mal74] B. Malgrange, Sur les points singuliers des équations différentielles, L'Enseignement mathématique n°20, fasc.1-2 (1974), 147-176. | MR | Zbl

[Mal79] B. Malgrange, Remarques sur les équations différentielles à points singuliers irréguliers, in Lecture Notes in Mathematics, Equations différentielles et systèmes de Pfaff dans le champ complexe, édité par R. Gérard et J.-P. Ramis, n°712, Springer-Verlag (1979), 77-86. | MR | Zbl | Numdam | DOI

[Mal p80] B. Malgrance, Modules microdifférentiels et classes de Gevrey, Preprint, Institut Fourier, Grenoble (1980). | MR | Zbl

[Mal81] B. Malgrange, Travaux d'Ecalle et de Martinet-Ramis sur les systèmes dynamiques, Séminaire Bourbaki n°582, nov. 1981. | Zbl | MR | Numdam

[Mal83] B. Malgrange, La classification des connexions irrégulières à une variable, "Mathématiques et Physique", Séminaire de l'Ecole Normale Supérieure (Paris 1979-82), 381-399 ; Progress in Math, vol.37, Birkhaüser (1983). | Zbl | MR

[Mal85] B. Malgrange, Introduction aux travaux de J. Ecalle, L'Enseignement Mathématique, t.31 (1985), 261-282. | MR | Zbl

[MR82] J. Martinet, J.-P. Ramis, Problèmes de modules pour les équations différentielles non linéaires du premier ordre, Publications Mathématiques de l'IHES n° 55 (1982), 63-164. | MR | Zbl | Numdam | DOI

[MR89] J. Martinet, J.-P. Ramis, Théorie de Galois différentielle et resommation, Computer algebra and differential equations, E. Tournier éd., Academic Press, 1989. | MR | Zbl

[MR90] J. Martinet, J.-P. Ramis, Elementary acceleration and multisummability, Annales de l'Institut Henri Poincaré, série A, Physique théorique, à paraître. | MR | Zbl | Numdam

[MR*] J. Martinet, J.-P. Ramis, Théorie de Cauchy sauvage, en préparation.

[Ra80] J.-P. Ramis, Les séries k-sommables et leurs applications, Complex analysis, microlocal calculus and relativistic quantum theory, Proceedings "Les Houches" 1979 ; D. Iagolnitzer ed., Springer Lecture Notes in Physics n°126 (1980), 178-199. | MR | Zbl | DOI

[Ra p85] J.-P. Ramis, Filtration Gevrey sur le groupe de Picard-Vessiot d'une équation différentielle irrégulière, Preprint n°45 Instituto de Matematica Pura e Aplicada, IMPA, Rio-de-Janeiro (1985), 1-38.

[Ra85] J.-P. Ramis, Phénomène de Stokes et filtration Gevrey sur le groupe de Picard-Vessiot, CRAS Paris, t.301 (1985), 165-167 | MR | Zbl

J.-P. Ramis, Phénomène de Stokes et filtration Gevrey sur le groupe de Picard-Vessiot, Phénomène de Stokes et resommation, CRASParis, t.301 (1985), 99-102. | MR | Zbl

[Ra88] J.-P. Ramis, Irregular connections, savage π 1 and confluence, Proceedings of a Conference at Katata, Japan 1987, Taniguchi Fundation (1988).

[RS89] J.-P. Ramis, Y. Sibuya Hukuhara's domains and fundamental existence and uniqueness theorems for asymptotic solutions of Gevrey type, Asymptotic Analysis 2 (1989), 39-94. | MR | Zbl

[R-J88] F. Richard-Jung, Représentations graphiques de solutions d'équations différentielles dans le champ complexe, Thèse , Université Louis-Pasteur à Strasbourg (1988).

[Sib76] Y. Sibuya, Linear differential equations in the complex domain ; problems of analytic continuation, Kinokuniya, Tokyo (1976), en japonais.

[Sib77] Y. Sibuya, Stokes phenomena, Bull. Am. Math. Soc., vol.83, n°5 (1977), 1075-1077. | MR | Zbl | DOI

[Sib90] Y. Sibuya, Linear differential equations in the complex domain : problems of analytic continuation, Translations of Mathematical Monographs, vol.82, AMS, 1990. | MR | Zbl

[Sto1857] G.G. Stokes, On the discontinuity of arbitrary constants which appear in divergent developments, Trans. of the Cambridge Phil. Soc., vol.X (1857), 106-128.

[Tho90] J. Thomann, Problèmes algorithmiques posés par la resommation numérique des séries multisommables, Actes des Journées du PRC "Mathématiques et Informatique" des 21 et 22 mai 1990 ; Publication interne de l'Université Paris 6, à paraître.

[Tho91] J. Thomann, Resummation of formal series. Solutions of second order linear complex ordinary differential equations near irregular singularities, Numerische Mathematik, à paraître. | MR | Zbl

[T87] E. Tournier, Solutions formelles d'équations différentielles. Le logiciel de calcul formel DESIR, Thèse d'Etat, U.S.T.M. de Grenoble (1987).

[Wa65] W. Wasow, Asymptotic expansions for ordinary differential equations, Interscience, New-York, 1965 | MR

W. Wasow, Asymptotic expansions for ordinary differential equations, reprint R.E. Krieger Publishing Co, inc., 1976. | MR | Zbl