Aqui está uma cópia idêntica de uma resposta no MO :
Uma maneira intuitiva de entender um DAE é interpretá-lo como um sistema dinâmico que pode ser controlado por alguns sinais de entrada, cujos sinais de saída precisam satisfazer algumas restrições (equacionais). Para um sistema típico de multicorpos, os sinais de entrada são as forças perpendiculares às restrições, os sinais de saída são as posições dos corpos e as restrições (equacionais) nos sinais de saída são distâncias fixas entre os corpos.
Os sinais de entrada devem agora controlar o sistema dinâmico de forma que os sinais de saída sempre atendam às restrições. Isso é difícil para um sistema multicorpos, porque as forças controlam apenas a taxa de mudança das velocidades, e as velocidades controlam apenas a taxa de mudança das posições, enquanto apenas as posições devem satisfazer as restrições.
Reduzir o índice é fácil em teoria, porque se assumirmos que as posições satisfazem as restrições no momento atual, podemos apenas substituir as restrições nas posições por restrições nas velocidades, garantindo que as posições continuem satisfazendo suas restrições. Na prática, porém, não queremos descartar a restrição nas posições depois de determinarmos as restrições nas velocidades, mas precisamos descartar algumas das equações iniciais (diferenciais), se não quisermos terminar com um sistema superdeterminado.
c(y,t)=0ddtc(y(t),t)=0=∂c∂y∗ddty+∂c∂yddtyddtyddty=vv=y˙0=∂c∂y∗v+∂c∂y0=∂c∂y∗y˙+∂c∂yy˙
y21+y22=1y1y1(t)=1−(y2(t))2−−−−−−−−−√y1ddty1=…y2y2