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

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

bruce.shapiro.com
from bruce.shapiro.com More from this publisher
21.04.2015 Views

68 CHAPTER 3. APPROXIMATE SOLUTIONS By the ODE (y ′ = f(t, y)) and the mean value theorem (in the second argument) d [y(t) − ỹ(t)] = f(t, y(t)) − f(t, ỹ(t)) (3.217) dt for some η(t) between y(t) and ỹ(t). Hence = [y(t) − ỹ(t)] ∂ f(t, η(t)) (3.218) ∂y ∂p(t, y 0 ) ∂t = y(t) − ỹ(t) y 0 − ỹ 0 ∂ f(t, η(t)) (3.219) ∂y = p(t, y 0 ) ∂ f(t, η(t)) (3.220) ∂y where η(t) → y(t) as ỹ(t) → y(t). Since p ≠ 0 so long as y 0 ≠ ỹ 0 , we may divide by p: 1 ∂p(t, y 0 ) = ∂ f(t, η(t)) (3.221) p(t , y 0 ) ∂t ∂y ln p(t , y 0 ) = ∫ t t 0 ∂ f(s, η(s))ds (3.222) ∂y The constant of integration is determined from p(t 0 , y 0 ) = 1, and {∫ t } ∂ p(t , y 0 ) = exp t 0 ∂y f(s, η(s))ds (3.223) By the definition of p, ∂y(t, ỹ 0 ) ∂y 0 = lim p(t, y 0 ) (3.224) y 0 →ỹ 0 {∫ t } ∂ = exp ∂y f(s, ỹ(s))ds (3.225) t 0 which is continuous in both arguments. Math 582B, Spring 2007 California State University Northridge c○2007, B.E.Shapiro Last revised: May 23, 2007

Chapter 4 Improving on Euler’s Method 4.1 The Test Equation and Problem Stability Consider the initial value problem y ′ = f(t, y), y(0) = y 0 (4.1) What happens if we perturb the initial condition a small amount, ŷ ′ = f(t, ŷ), ŷ(0) = ŷ 0 (4.2) where ŷ 0 = y 0 + δ for some small number δ? How will the two solutions behave with respect to one another? Consider, for example, the following initial value problem, which we shall refer to as the scalar test equation. y ′ = λy, y(0) = y 0 (4.3) We will find it instructive to test many of our methods with the scalar test problem and will formulate much of our theory around this problem, mainly because it is easy to solve and we can describe its behavior very easily.The solution of the scalar problem is y(t) = y 0 e λt (4.4) The perturbed equation has solution and so if λ ∈ R the two solutions will differ by y(t) = ŷ 0 e λt (4.5) ɛ(t) = |y(t) − ŷ(t)| = |y 0 − ŷ 0 |e λt (4.6) Therefore ⎧ ⎪⎨ 0, λ < 0 lim ɛ(t) = |y t→∞ ⎪ 0 − ŷ 0 |, λ = 0 ⎩ ∞, λ > 0 69 (4.7)

Chapter 4<br />

Improving on Euler’s Method<br />

4.1 <strong>The</strong> Test <strong>Equation</strong> and Problem Stability<br />

Consider the initial value problem<br />

y ′ = f(t, y), y(0) = y 0 (4.1)<br />

What happens if we perturb the initial condition a small amount,<br />

ŷ ′ = f(t, ŷ), ŷ(0) = ŷ 0 (4.2)<br />

where ŷ 0 = y 0 + δ for some small number δ? How will the two solutions behave with<br />

respect to one another?<br />

Consider, for example, the following initial value problem, which we shall refer<br />

to as the scalar test equation.<br />

y ′ = λy, y(0) = y 0 (4.3)<br />

We will find it instructive to test many of our methods with the scalar test problem<br />

and will formulate much of our theory around this problem, mainly because it is<br />

easy to solve and we can describe its behavior very easily.<strong>The</strong> solution of the scalar<br />

problem is<br />

y(t) = y 0 e λt (4.4)<br />

<strong>The</strong> perturbed equation has solution<br />

and so if λ ∈ R the two solutions will differ by<br />

y(t) = ŷ 0 e λt (4.5)<br />

ɛ(t) = |y(t) − ŷ(t)| = |y 0 − ŷ 0 |e λt (4.6)<br />

<strong>The</strong>refore<br />

⎧<br />

⎪⎨ 0, λ < 0<br />

lim ɛ(t) = |y<br />

t→∞ ⎪ 0 − ŷ 0 |, λ = 0<br />

⎩<br />

∞, λ > 0<br />

69<br />

(4.7)

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

Saved successfully!

Ooh no, something went wrong!