Algorithmic Thomas decomposition of algebraic and differential systems
From MaRDI portal
Abstract: In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these systems into so-called simple subsystems and thereby partition the set of solutions. For algebraic systems, simplicity means triangularity, square-freeness and non-vanishing initials. Differential simplicity extends algebraic simplicity with involutivity. We build upon the constructive ideas of J. M. Thomas and develop them into a new algorithm for disjoint decomposition. The given paper is a revised version of a previous paper and includes the proofs of correctness and termination of our decomposition algorithm. In addition, we illustrate the algorithm with further instructive examples and describe its Maple implementation together with an experimental comparison to some other triangular decomposition algorithms.
Recommendations
- Thomas decomposition of algebraic and differential systems
- On decomposition of algebraic PDE systems into simple subsystems
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- Formal algorithmic elimination for PDEs
- Gauss-Bruhat decomposition as an example of Thomas decomposition
Cites work
- Abstract Differential Algebra and the Analytic Case
- Abstract Differential Algebra and the Analytic Case. II
- Coherent, regular and simple systems in zero decompositions of partial differential systems.
- Comprehensive Triangular Decomposition
- Computing representations for radicals of finitely generated differential ideals
- Counting solutions of polynomial systems via iterated fibrations
- Counting with groups and rings.
- Decomposing polynomial systems into simple systems
- Detecting unnecessary reductions in an involutive basis computation
- Differential elimination and biological modelling
- Effectiveness of involutive criteria in computation of polynomial Janet bases
- Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens
- Elimination methods
- Fast search for the Janet divisor
- Gauss-Bruhat decomposition as an example of Thomas decomposition
- scientific article; zbMATH DE number 1601215 (Why is no real title available?)
- scientific article; zbMATH DE number 2125581 (Why is no real title available?)
- scientific article; zbMATH DE number 1254247 (Why is no real title available?)
- scientific article; zbMATH DE number 1274701 (Why is no real title available?)
- scientific article; zbMATH DE number 517393 (Why is no real title available?)
- scientific article; zbMATH DE number 1979251 (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 1446863 (Why is no real title available?)
- scientific article; zbMATH DE number 5052246 (Why is no real title available?)
- scientific article; zbMATH DE number 3280051 (Why is no real title available?)
- scientific article; zbMATH DE number 3304265 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 967945 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- Involution. The formal theory of differential equations and its applications in computer algebra
- Involutive bases of polynomial ideals
- Minimal involutive bases
- On an algorithmic optimization in computation of involutive bases
- On decomposition of algebraic PDE systems into simple subsystems
- On the theories of triangular sets
- Parallel sparse polynomial multiplication using heaps
- Specializations in Differential Algebra
- Thomas decomposition of algebraic and differential systems
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
Cited in
(47)- Gauss-Bruhat decomposition as an example of Thomas decomposition
- Rational general solutions of systems of first-order algebraic partial differential equations
- Characteristic decomposition: from regular sets to normal sets
- An equivalence theorem for regular differential chains
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations
- The differential counting polynomial
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- On boundary conditions parametrized by analytic functions
- Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
- Chordal graphs in triangular decomposition in top-down style
- Computing strong regular characteristic pairs with Gröbner bases
- On the algorithmic linearizability of nonlinear ordinary differential equations
- On the consistency analysis of finite difference approximations
- Algebraically simple involutive differential systems and the Cauchy problem
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
- On the general analytical solution of the kinematic Cosserat equations
- Formal algorithmic elimination for PDEs
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Thomas decomposition of algebraic and differential systems
- Une note sur les algorithmes de décomposition en algèbre différentielle
- The differential dimension polynomial for characterizable differential ideals
- Formal algorithmic elimination for PDEs
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- Decomposition of polynomial sets into characteristic pairs
- On the Chordality of Simple Decomposition in Top-Down Style
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
- scientific article; zbMATH DE number 7579747 (Why is no real title available?)
- Thomas decomposition and nonlinear control systems
- Some control observation problems and their differential algebraic partial solutions
- On symbolic approaches to integro-differential equations
- A test for monomial containment
- Algorithms yield upper bounds in differential algebra
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
- On rational recursion for holonomic sequences
- Identifying Markov chain models from time-to-event data: an algebraic approach
- Comprehensive characteristic decomposition of parametric polynomial systems
- Choosing variable orderings based on elimination tree for sparse triangular decomposition
- Support bound for differential elimination in polynomial dynamical systems
- Rational solutions of parametric first-order algebraic differential equations
- Simple characteristic decomposition of polynomial sets
- Complexity analysis of triangular decomposition over F₂ with strongly chordal graphs
- Strongly and transitive chordal graphs and their applications in complexity analysis of triangular decomposition
- On the numerical analysis and visualisation of implicit ordinary differential equations
- Singularities of algebraic differential equations
- Lagrangian constraints and differential Thomas decomposition
- On decomposition of algebraic PDE systems into simple subsystems
Describes a project that uses
Uses Software
This page was built for publication: Algorithmic Thomas decomposition of algebraic and differential systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q432753)
