Algorithmes de résolution d’équations différentielles linéaires dans une extension exponentielle
Fredet, Anne1
1 Laboratoire Gage - École polytechnique 91 128 Palaiseau cedex - France
Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 31-34.

L’etude des équations différentielles linéaires est relativement ancienne. L’apparition d’ordinateurs et l’émergence du calcul formel ont amené à avoir une approche plus algorithmique de ces problèmes. Si la théorie de résolution des équations différentielles linéaires est généralement présentée sur un corps différentiel quelconques, les algorithmes développés concernent le plus souvent des équations différentielles linéaires à coefficients dans C(x). Le but de cet exposé est de présenter un algorithme de calcul de solutions rationnelles d’équations différentielles linéaires à coefficients dans une extension exponentielle de C(x), en mettant en évidence l’importance du système de générateurs pris pour définir l’extension. On arrive ainsi à une séparation entre la théorie (deux extensions isomorphes ont les mêmes propriétés) et la pratique (le choix du système de générateurs influe sur l’efficacité de l’algorithme présenté).

Publié le :
Fredet, Anne 1

1 Laboratoire Gage - École polytechnique 91 128 Palaiseau cedex - France 
@article{RFM_2002__6_S2_31_0,
     author = {Fredet, Anne},
     title = {Algorithmes de r\'esolution d{\textquoteright}\'equations diff\'erentielles lin\'eaires dans une extension exponentielle},
     journal = {Femmes & math},
     pages = {31--34},
     publisher = {Association femmes et math\'ematiques},
     year = {2002},
     language = {fr},
     url = {http://www.numdam.org/item/RFM_2002__6_S2_31_0/}
}
TY  - JOUR
AU  - Fredet, Anne
TI  - Algorithmes de résolution d’équations différentielles linéaires dans une extension exponentielle
JO  - Femmes & math
PY  - 2002
SP  - 31
EP  - 34
PB  - Association femmes et mathématiques
UR  - http://www.numdam.org/item/RFM_2002__6_S2_31_0/
LA  - fr
ID  - RFM_2002__6_S2_31_0
ER  - 
%0 Journal Article
%A Fredet, Anne
%T Algorithmes de résolution d’équations différentielles linéaires dans une extension exponentielle
%J Femmes & math
%D 2002
%P 31-34
%I Association femmes et mathématiques
%U http://www.numdam.org/item/RFM_2002__6_S2_31_0/
%G fr
%F RFM_2002__6_S2_31_0
Fredet, Anne. Algorithmes de résolution d’équations différentielles linéaires dans une extension exponentielle. Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 31-34. http://www.numdam.org/item/RFM_2002__6_S2_31_0/

[ABP95] S. Abramov, M. Bronstein, and M. Petkovšek On polynomial solutions of linear operator equations. ISSAC’95. ACM Press | Zbl

[Bronstein] Manuel Bronstein On solutions of linear ordinary differential equations in their coefficient field. Journal of Symbolic Computation,13(4) :413–440 - 1992 | MR | Zbl

[BF99] Manuel Bronstein and Anne Fredet Solving linear ordinary differential equations over C(x,e∫f(x)dx). ISSAC’99. ACM Press.

[Fre01] Anne Fredet Résolution sous forme finie d’équations différentielles linéaires et extensions exponentielles Thèse, Laboratoire Gage - École polytechnique, 2001.

[Poo60] E.G.C Poole Introduction to the Theory of Linear Differential Equations. Dover Publications Inc., 1960. | MR | Zbl

[Risch] R.H. Risch The Problem of Integration in Finite Terms. Trans A.M.S. 1969 The Solution of the Problem of Integration in Finite Terms. Bulletin A.M.S. 1970 | MR | Zbl

[Singer] Michael F. Singer Liouvillian solutions of linear differential equations with liouvillian coefficients. Journal of Symbolic Computation, 11 :251–273. 1991 | MR | Zbl