2014
DOI: 10.1007/978-3-642-54862-8_19
|View full text |Cite
|
Sign up to set email alerts
|

Characterizing Algebraic Invariants by Differential Radical Invariants

Abstract: We prove that any invariant algebraic set of a given polynomial vector field can be algebraically represented by one polynomial and a finite set of its successive Lie derivatives. This so-called differential radical characterization relies on a sound abstraction of the reachable set of solutions by the smallest variety that contains it. The characterization leads to a differential radical invariant proof rule that is sound and complete, which implies that invariance of algebraic equations over real-closed fiel… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

2
96
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
7

Relationship

3
4

Authors

Journals

citations
Cited by 48 publications
(98 citation statements)
references
References 27 publications
2
96
0
Order By: Relevance
“…The proof is in the companion report [12]. When the evolution domain constraints are dropped (H = True) and r = 1 (one equation), one recovers exactly the statement of [11,Theorem 2] which characterizes invariance of atomic equations. Intuitively, Theorem 2 says that on the invariant algebraic set, all higher-order Lie derivatives of each polynomial h i must vanish.…”
Section: Characterizing Invariance Of Conjunctive Equationsmentioning
confidence: 70%
See 2 more Smart Citations
“…The proof is in the companion report [12]. When the evolution domain constraints are dropped (H = True) and r = 1 (one equation), one recovers exactly the statement of [11,Theorem 2] which characterizes invariance of atomic equations. Intuitively, Theorem 2 says that on the invariant algebraic set, all higher-order Lie derivatives of each polynomial h i must vanish.…”
Section: Characterizing Invariance Of Conjunctive Equationsmentioning
confidence: 70%
“…Using Theorem 2, the differential radical invariant proof rule DRI [11] generalizes to conjunctions of equations with evolution domain constraints as follows:…”
Section: Characterizing Invariance Of Conjunctive Equationsmentioning
confidence: 99%
See 1 more Smart Citation
“…In [7], the authors extended the work of Matringe et al to generate real algebraic invariants of polynomial ODEs, giving a search procedure for the most general class of invariant sets that can be expressed using polynomial equations. The same procedure can be used to generate Darboux polynomials over the reals or over the complexes only by changing the underlying computational field.…”
Section: Automated Generation Of Decoupling Abstractionsmentioning
confidence: 99%
“…This relationship will enable us to exploit the efficient symbolic generation methods reported in [15,7]. We outline a procedure for constructing polynomials p such that L f (p) = G(p), where G ∈ R[X], from a list of automatically generated Darboux polynomials (up to some given degree).…”
Section: Automated Generation Of Decoupling Abstractionsmentioning
confidence: 99%