Completion of Linear Differential Systems to Involution

Vladimir P. Gerdt
Additional contact information
Vladimir P. Gerdt: Joint Institute for Nuclear Research, Laboratory of Computing Techniques and Automation

A chapter in Computer Algebra in Scientific Computing CASC’99, 1999, pp 115-137 from Springer

Abstract: Abstract In this paper we generalize the involutive methods and algorithms have been devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group.

Keywords: Polynomial Ideal; Hilbert Function; Monomial Ideal; Differential Algebra; Parametric Derivative (search for similar items in EconPapers)
Date: 1999
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-60218-4_9

Ordering information: This item can be ordered from
http://www.springer.com/9783642602184

DOI: 10.1007/978-3-642-60218-4_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().