Algebra and algorithm for singularities of implicit differential equations
Hubert, Evelyne
HAL, tel-00004947 / Harvested from HAL
L'ensemble des solutions d'une équation différentielle algébrique, ordinaire ou aux dérivées partielles se scinde entre la solution générale et les solutions singulières. Ces notions peuvent être définies de manière rigoureuse dans le cadre de l'algèbre différentielle, une théorie fondée par J.F.Ritt. Des travaux récents dans ce domaine ont permis de mettre au point des algorithmes effectifs pour déterminer la trivialité d'un système différentiel en effectuant une première décomposition. On peut ainsi déterminer si une équation différentielle admet des solutions singulières et quelles sont elles. Les décompositions obtenues ne sont néanmoins pas minimales. Nous proposons un algorithme, qui évite les factorisations, pour éliminer les composantes redondantes. En termes analytiques, il s'agit de distinguer les solutions singulières essentielles, qui sont enveloppes de la solution générale, des solutions singulières particulières, qui sont limites de solutions essentielles. la solution générale, des solutions singulières particulières, qui sont limites de solutions essentielles. Au c\oe ur de cette détermination se tient le Théorème des petites puissances, la réalisation effective étant soutenue par l'algorithme Rosenfeld-Gröbner. Nous présentons de plus un algorithme et quelques critères qui permettent de calculer les bases différentielles des composantes essentielles. De telles bases permettent une analyse des points singuliers ainsi que des heuristiques d'intégration.
Publié le : 1997-04-23
Classification:  Equations Différentielles Algébriques,  Solution Générale,  Solutions Singulières,  Algèbre Différentielles,  Calcul Formel,  Algebraic Differential Equations,  General Solution,  Singular Solutions,  Differential Algebra,  Computer Algebra.,  [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation,  [MATH]Mathematics [math]
@article{tel-00004947,
     author = {Hubert, Evelyne},
     title = {Algebra and algorithm for singularities of implicit differential equations},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/tel-00004947}
}
Hubert, Evelyne. Algebra and algorithm for singularities of implicit differential equations. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/tel-00004947/