E. Hubert
N. Le Roux
ABSTRACT
This paper presents a new algorithm to compute the power series solutions of a significant class of nonlinear systems of partial differential equations. The algorithm is very different from previous algorithms to perform this task. Those relie on differentiating iteratively the differential equations to get coefficients of the power series, one at a time. The algorithm presented here relies on using the linearisation of the system and the associated recurrences. At each step the order up to which the power series solution is known is doubled. The algorithm can be seen as belonging to the family of Newton iteration methods.
- F. Boulier and E. Hubert. phdiffalg: description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998. Now available at http://www.inria.fr/cafe/Evelyne.Hubert/webdiffalg.Google Scholar
- F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Representation for the radical of a finitely generated differential ideal. In ISSAC. ACM Press, 1995. Google ScholarDigital Library
- F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Computing representations for radicals of finitely generated differential ideals. Technical Report IT-306, LIFL, 1997.Google Scholar
- D. Bouziane, A. Kandri Rody, and H. Maârouf. Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. Journal of Symbolic Computation, 31(6):631--649, 2001. Google ScholarDigital Library
- R. P. Brent and H. T. Kung. Fast algorithms for manipulating formal power series. Journal of the Association Computing Machinery, 25(4):581--595, 1978. Google ScholarDigital Library
- G. Carra Ferro. Gröbner bases and differential algebra. In AAECC, volume 356 of Lecture Notes in Computer Science. Springer-Verlag Berlin, 1987.Google Scholar
- J. Denef and L. Lipshitz. Power series solutions of algebraic differential equations. Mathematische Annalen, 267(2):213--238, 1984.Google ScholarCross Ref
- K. O. Geddes. Convergence behaviour of the Newton iteration for first-order differential equations. In Symbolic and algebraic computation, pages 189--199. Springer, Berlin, 1979. Google ScholarDigital Library
- L. Guo, W. F. Keigher, P. J. Cassidy, and W. Y. Sit, editors. Differential Algebra and Related Topics. World Scientific Publishing Co., 2002.Google ScholarCross Ref
- E. Hubert. Factorisation free decomposition algorithms in differential algebra. Journal of Symbolic Computation, 29(4-5):641--662, 2000. Google ScholarDigital Library
- E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In F.Winkler and U.Langer, editors, Symbolic and Numerical Scientific Computations, LNCS. Springer, to appear. Google ScholarDigital Library
- E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. In F.Winkler and U.Langer, editors, Symbolic and Numerical Scientific Computating, LNCS. Springer, to appear. Google ScholarDigital Library
- E. Kolchin. Selected works of Ellis Kolchin with commentary. Commentaries by Armand Borel, Michael F. Singer, Bruno Poizat, Alexandru Buium and Phyllis J. Cassidy, Edited and with a preface by Hyman Bass, Buium and Cassidy. American Mathematical Society, Providence, RI, 1999.Google Scholar
- E. R. Kolchin. Differential Algebra and Algebraic Groups, volume 54 of Pure and Applied Mathematics. Academic Press, New York-London, 1973.Google Scholar
- F. Lemaire. Contribution à l'algorithmique en algèbre différentielle. PhD thesis, Université des Sciences et Technologies de Lille, 2002.Google Scholar
- F. Lemaire. Les classements les plus généraux assurant l'analycité des solutions des systèmes orthonomes pour des conditions initiales analytiques. In CASC. Technische Universität München, 2002.Google Scholar
- E. L. Mansfield. Differential Gröbner Bases. PhD thesis, University of Sydney, 1991.Google Scholar
- F. Ollivier. Standard bases of differential ideals. In Applied algebra, algebraic algorithms and error-correcting codes (Tokyo, 1990), pages 304--321. Springer, Berlin, 1991. Google ScholarDigital Library
- A. Peladan-Germa. Testing equality in differential ring extensions defined by pde's and limit conditions. Applicable Algebra in Engineering, Communication and Computing, 13(4):257--288, 2002.Google Scholar
- G. J. Reid, A. D. Wittkopf, and A. Boulton. Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. of Appl. Math., 7:604 -- 635, 1996.Google ScholarCross Ref
- C. Riquier. Les systèmes d'équations aux dérivées partielles. Gauthier-Villars, Paris, 1910.Google Scholar
- J. F. Ritt. Differential Algebra, volume XXXIII of Colloquium publications. American Mathematical Society, 1950. http://www.ams.org/online_bks.Google Scholar
- A. Rosenfeld. Specializations in differential algebra. Transaction of the American Mathematical Society, 90:394--407, 1959.Google ScholarCross Ref
- C. J. Rust, G. J. Reid, and A. D. Wittkopf. Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In ISSAC, pages 105--112. ACM, 1999. Google ScholarDigital Library
- A. Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time. In ISSAC, pages 309--316. ACM, 2001. Google ScholarDigital Library
- A. Seidenberg. Abstract differential algebra and the analytic case. Proceedings of the American Mathematical Society, 9:159--164, 1958.Google ScholarCross Ref
- W. Sit. The Ritt-Kolchin theory for differential polynomials. In Guo et al. {9}.Google Scholar
- J. van der Hoeven. Relax, but don't be too lazy. J. Symbolic Comput., 34(6):479--542, 2002. Google ScholarDigital Library
- A. Witkopf and G. Reid. The RIF package. CECM - Simon Fraser University - Vancouver, http://www.cecm.sfu.ca/ wittkopf/rif.html.Google Scholar
- W. T. Wu. On the foundation of algebraic differential geometry. Systems Science and Mathematical Sciences, 2(4):289--312, 1989.Google Scholar
Index Terms
Computing power series solutions of a nonlinear PDE system
Recommendations
Power series solutions for non-linear PDE's
This paper describes an algorithmic method iterative method for searching power series solutions of a partial differential equation. Power series expansions considered have support in some convex cone of RN. We do this by introducing a N-variables ...
On initials and the fundamental theorem of tropical partial differential algebraic geometry
AbstractTropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The fundamental theorem ...
On the Summability of Formal Solutions of Nonlinear Partial Differential Equations with Shrinkings
We investigate the existence and Borel summability of formal power series in one variable with holomorphic coefficients, solutions of nonlinear partial differential equations with shrinkings having non-Kowalewski type in the complex domain. Sufficient ...
Comments