On implicit systems of differential equations.
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Implicit ordinary differential equations, differential-algebraic equations (34A09) Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Symbolic computation and algebraic computation (68W30)
The author studies implicit autonomous systems of ordinary differential equations with polynomial dependency on both the unknown functions and their derivatives. This allows him to make heavy use of methods from commutative algebra and algebraic geometry in his analysis. After a brief review of the relevant methods, the main part of the article consists of an extensive discussion of the completion of such a system in ideal theoretic terms leading to explicit algorithms. The author also offers a geometric interpretation of completion in terms of the tangent variety of the constraint variety along the lines usually used in differential-geometric approaches to differential algebraic equations. Then he provides a field-theoretic formulation of the conditions under which initial data uniquely determine the initial derivatives and shows that this defines then in fact a birational equivalence. This result forms the basis for proving that systems satisfying these conditions possess (locally) unique analytic solutions. Finally, some concrete examples are discussed in detail.
- A normal form for systems of implicit ordinary differential equations
- Implicitization of differential rational parametric equations.
- On state representations of nonlinear implicit systems
- scientific article; zbMATH DE number 1979255
- Computer algebra methods for implicit dynamic systems and applications
- A geometric treatment of implicit differential-algebraic equations
- A modified algorithm for invertibility in nonlinear systems
- An intrinsic sufficient condition for regular decoupling
- Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
- scientific article; zbMATH DE number 3973001 (Why is no real title available?)
- scientific article; zbMATH DE number 108068 (Why is no real title available?)
- scientific article; zbMATH DE number 193260 (Why is no real title available?)
- scientific article; zbMATH DE number 3554399 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 217454 (Why is no real title available?)
- scientific article; zbMATH DE number 3321872 (Why is no real title available?)
- On initial value problems for ordinary differential-algebraic equations
- Polynomial algorithms in computer algebra
- Rank Invariants of Nonlinear Systems
- On the index and the order of quasi-regular implicit systems of differential equations
- Implicitization of differential rational parametric equations.
- Existence and uniqueness results for a third-order implicit differential equation
- An extension of the Dirac and Gotay-Nester theories of constraints for Dirac dynamical systems
- A normal form for systems of implicit ordinary differential equations
- On state representations of nonlinear implicit systems
- scientific article; zbMATH DE number 5657880 (Why is no real title available?)
- scientific article; zbMATH DE number 25872 (Why is no real title available?)
- scientific article; zbMATH DE number 665341 (Why is no real title available?)
- scientific article; zbMATH DE number 1979255 (Why is no real title available?)
- Finite systems of equations and implicit functions. I
- On initial value problems for ordinary differential-algebraic equations
- A geometric index reduction method for implicit systems of differential algebraic equations
This page was built for publication: On implicit systems of differential equations.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1414008)
