The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
From MaRDI portal
Publication:6043324
Abstract: We present the Maple package TDDS (Thomas Decomposition of Differential Systems). Given a polynomially nonlinear differential system, which in addition to equations may contain inequations, this package computes a decomposition of it 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.
Cites work
- scientific article; zbMATH DE number 4101137 (Why is no real title available?)
- scientific article; zbMATH DE number 1253957 (Why is no real title available?)
- scientific article; zbMATH DE number 1979252 (Why is no real title available?)
- scientific article; zbMATH DE number 2110642 (Why is no real title available?)
- scientific article; zbMATH DE number 3304265 (Why is no real title available?)
- scientific article; zbMATH DE number 2222314 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- scientific article; zbMATH DE number 3094494 (Why is no real title available?)
- Algorithmic Thomas decomposition of algebraic and differential systems
- Classical mechanics. Hamiltonian and Lagrangian formalism.
- Coherent, regular and simple systems in zero decompositions of partial differential systems.
- Computing representations for radicals of finitely generated differential ideals
- Elimination methods
- Essential components of an algebraic differential equation
- Formal algorithmic elimination for PDEs
- Lagrangian constraints and differential Thomas decomposition
- On decomposition of algebraic PDE systems into simple subsystems
- Reduction of systems of nonlinear partial differential equations to simplified involutive forms
- The differential counting polynomial
Cited in
(12)- Singularities of algebraic differential equations
- Thomas decomposition and nonlinear control systems
- A strongly-consistent difference scheme for 3D nonlinear Navier-Stokes equations
- A logic based approach to finding real singularities of implicit ordinary differential equations
- On boundary conditions parametrized by analytic functions
- Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
- scientific article; zbMATH DE number 701944 (Why is no real title available?)
- On the algorithmic linearizability of nonlinear ordinary differential equations
- Identifying Markov chain models from time-to-event data: an algebraic approach
- Contribution to integral elimination
- Periodic Pólya urns, the density method and asymptotics of Young tableaux
- Surfing on curved surfaces -- the Maple package Surf
This page was built for publication: The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043324)
