The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Date
2019-01Author
Subject
Metadata
Show full item recordAbstract
We present the Maple package TDDS (Thomas Decomposition of Differential Systems) for decomposition of polynomially nonlinear differential systems, which in addition to equations may contain inequations, into a finite set of differentially triangular and algebraically simple subsystems whose subsets of equations are involutive. Usually the decomposed system is substantially easier to investigate and solve both analytically and numerically. The distinctive property of a Thomas decomposition is disjointness of the solution sets of the output subsystems. Thereby, a solution of a well-posed initial problem belongs to one and only one output subsystem. The Thomas decomposition is fully algorithmic. It allows to perform important elements of algebraic analysis of an input differential system such as: verifying consistency, i.e., the existence of solutions; detecting the arbitrariness in the general analytic solution; given an additional equation, checking whether this equation is satisfied by all common solutions of the input system; eliminating a part of dependent variables from the system if such elimination is possible; revealing hidden constraints on dependent variables, etc. Examples illustrating the use of the package are given.
Collections
Publisher
Journal
Volume
Pagination
Author URL
Publisher URL
Recommended, similar items
The following license files are associated with this item: