The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapter 9<br />
<strong>Differential</strong> Algebraic <strong>Equation</strong>s<br />
9.1 Concepts<br />
A differential algebraic equation 1 (DAE) is a system of differential equations and<br />
algebraic constraints. <strong>The</strong> most general form is<br />
F(t, y, y ′ ) = 0 (9.1)<br />
where the Jacobian matrix F y ′ may be singular. 2 For example, the DAE with<br />
y = (u, v, w) T described by the system of scalar equations<br />
has<br />
<strong>The</strong> Jacobian is<br />
u ′ = v (9.2)<br />
v ′ = w (9.3)<br />
0 = ue w + we u (9.4)<br />
⎛<br />
u ′ ⎞<br />
− v<br />
F(t, y, y ′ ) = ⎝ v ′ − w ⎠ (9.5)<br />
ue w + we u<br />
⎛ ⎞<br />
1 0 0<br />
∂F<br />
∂y ′ = ⎝0 1 0⎠ (9.6)<br />
0 0 0<br />
Under certain conditions any DAE can be reduced to a system of ordinary differential<br />
equations by repeatedly differentiating the constraints. <strong>The</strong> idea is to get an explicit<br />
equation for each of the derivatives, of the form y ′ = f(t, y). For example, if we<br />
differentiate 9.4 we get<br />
0 = u ′ e w + uw ′ e w + w ′ e u + wu ′ e u (9.7)<br />
= u ′ (e w + we u ) + w ′ (ue w + e u ) (9.8)<br />
w ′ = − u′ (e w + we u )<br />
ue w + e u = − v(ew + we u )<br />
ue w + e u (9.9)<br />
1 <strong>The</strong> material in this and the following sections is based on [5].<br />
2 In general, throughout this chapter we will be informal with notation and may omit the boldface<br />
even though the referenced variable may be a vector or matrix as in the Jacobian F y ′<br />
167