Special Partitioned Additive Runge-Kutta Integrators

SPARK or Special Partitioned Additive Runge-Kutta Integrators are a family of integrators that have been introduced by Laurent O. Jay for the integration of differential algebraic equations and in particular systems subject to holonomic and nonholonomic constraints [[37], [33], [34], [38], [39]]. Recently, the idea of SPARK methods has been generalized and adapted to facilitate the integration of degenerate Lagrangian systems as well as Hamiltonian systems subject to Dirac constraints [[40]].

GeometricIntegrators.jl provides several flavours of such SPARK methods (some are still experimental):

IntegratorDescription
IntegratorHPARKPartitioned additive methods for Hamiltonian system subject to a general constraint $\phi(q,p) = 0$
IntegratorVPARKPartitioned additive methods for Lagrangian system subject to a general constraint $\phi(q,p) = 0$
IntegratorSPARKSPARK methods for general index-two differential algebraic equations
IntegratorHSPARKHamiltonian system subject to a general constraint $\phi(q,p) = 0$
IntegratorHSPARKprimaryHamiltonian system subject primary constraint in the sense of Dirac
IntegratorHSPARKsecondaryHamiltonian system enforcing primary & secondary Dirac constraint
IntegratorVSPARKLagrangian system in implicit form subject to a general constraint $\phi(q,p) = 0$
IntegratorVSPARKprimaryDegenerate Lagrangian system subject primary constraint in the sense of Dirac
IntegratorVSPARKsecondaryDegenerate Lagrangian system enforcing primary & secondary Dirac constraint

These integrators are applied to either an IDAE, HDAE or LDAE.