25,202 research outputs found
Bounds for algorithms in differential algebra
We consider the Rosenfeld-Groebner algorithm for computing a regular
decomposition of a radical differential ideal generated by a set of ordinary
differential polynomials in n indeterminates. For a set of ordinary
differential polynomials F, let M(F) be the sum of maximal orders of
differential indeterminates occurring in F. We propose a modification of the
Rosenfeld-Groebner algorithm, in which for every intermediate polynomial system
F, the bound M(F) is less than or equal to (n-1)!M(G), where G is the initial
set of generators of the radical ideal. In particular, the resulting regular
systems satisfy the bound. Since regular ideals can be decomposed into
characterizable components algebraically, the bound also holds for the orders
of derivatives occurring in a characteristic decomposition of a radical
differential ideal.
We also give an algorithm for converting a characteristic decomposition of a
radical differential ideal from one ranking into another. This algorithm
performs all differentiations in the beginning and then uses a purely algebraic
decomposition algorithm.Comment: 40 page
Correlation between Adomian and Partial Exponential Bell Polynomials
We obtain some recurrence relationships among the partition vectors of the
partial exponential Bell polynomials. On using such results, the -th Adomian
polynomial for any nonlinear operator can be expressed explicitly in terms of
the partial exponential Bell polynomials. Some new identities for the partial
exponential Bell polynomials are obtained by solving certain ordinary
differential equations using Adomian decomposition method
Canonical Characteristic Sets of Characterizable Differential Ideals
We study the concept of canonical characteristic set of a characterizable
differential ideal. We propose an efficient algorithm that transforms any
characteristic set into the canonical one. We prove the basic properties of
canonical characteristic sets. In particular, we show that in the ordinary case
for any ranking the order of each element of the canonical characteristic set
of a characterizable differential ideal is bounded by the order of the ideal.
Finally, we propose a factorization-free algorithm for computing the canonical
characteristic set of a characterizable differential ideal represented as a
radical ideal by a set of generators. The algorithm is not restricted to the
ordinary case and is applicable for an arbitrary ranking.Comment: 26 page
Thomas Decomposition of Algebraic and Differential Systems
In this paper we consider disjoint decomposition of algebraic and non-linear
partial differential systems of equations and inequations into so-called simple
subsystems. We exploit Thomas decomposition ideas and develop them into a new
algorithm. For algebraic systems simplicity means triangularity, squarefreeness
and non-vanishing initials. For differential systems the algorithm provides not
only algebraic simplicity but also involutivity. The algorithm has been
implemented in Maple
- …