Numerical analysis of constrained Hamiltonian systems and the formal theory of differential equations Original Research Article

We show how the formal theory of differential equations provides a unifying framework for some aspects of constrained Hamiltonian systems and of the numerical analysis of differential algebraic equations, respectively. This concerns especially the Dirac algorithm for the construction of all constraints and various index concepts for differential algebraic equations.