Backward differentiation approximations of nonlinear differential/algebraic systems

Finite-difference approximations of dynamical systems modeled by nonlinear, semiexplicit, differential/algebraic equations are analyzed. Convergence for the backward differentiation method is proved for index two and index three problems when the numerical initial values obey certain constraints. The appropriate asymptotic convergence rates and the leading error terms are determined.