Time-varying linear DAEs transferable into standard canonical form
We introduce a solution theoryfor time-varying linear diﬀerential-algebraic equations(DAEs) E(t)˙x = A(t)x which can be transformed into standard canonical form (SCF), i.e. the DAE is decoupled into an ODE ˙z1 = J(t)z1 and a pure DAE N(t)˙z1 = z1 , where N is pointwise strictly lower triangular. This class is a time-varying generalization of time-invariant DAEs where the corresponding matrix pencil is regular. It will be shown in which sense the SCF is a canonical form, that it allows for a transition matrix similar to the one for ODEs, and how this can be exploited to derive a variation of constants formula. Furthermore, we show in which sense the class of systems transferable into SCF is equivalent to DAEs which are analytically solvable, and relate SCF to the derivative array approach, diﬀerentiation index and strangeness index. Finally, an algorithm is presented which determines the transformation matrices which put a DAE into SCF.