21.04.2015 Views

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

The Computable Differential Equation Lecture ... - Bruce E. Shapiro

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!