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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

32 CHAPTER 2. SUCCESSIVE APPROXIMATIONS<br />

g(a) = f(a) − a > 0 (2.20)<br />

g(b) = f(b) − b < 0 (2.21)<br />

Hence by the intermediate value theorem, g has a root r ∈ (a, b), where g(r) = 0. ⇐=<br />

<strong>The</strong>n<br />

f(r) = r (2.22)<br />

i.e., r is a fixed point of f.<br />

Review: <strong>The</strong>orems about Functions<br />

<strong>The</strong>orem 2.2. Rolle’s <strong>The</strong>orem. Suppose that f ∈ C[a, b] and f ∈ D(a, b). If<br />

f(a) = f(b) then there exists some number c ∈ (a, b) such that f ′ (c) = 0.<br />

<strong>The</strong>orem 2.3. Mean Value <strong>The</strong>orem. Suppose that f ∈ C[a, b] and f ∈ D(a, b).<br />

If f(a) = f(b) then there exists some number c ∈ (a, b) such that<br />

f ′ (c) =<br />

f(b) − f(a)<br />

b − a<br />

(2.23)<br />

<strong>The</strong>orem 2.4. Extreme Value <strong>The</strong>orem. If f ∈ C[a, b] then there exist numbers<br />

c 1 , c 2 ∈ [a, b] such that f(c 1 ) are f(c 2 ) are the global minimum and maximum values<br />

of f(x) on [a, b]. In other words, f has a maximum and minimum value in [a, b].<br />

Furthermore, if f ∈ D(a, b) then each of c 1 and c 2 occur at either an endpoint or<br />

[a, b] or where f ′ (t) = 0.<br />

<strong>The</strong>orem 2.5. Generalized Rolle’s <strong>The</strong>orem. Suppose that f ∈ C n [a, b], and<br />

that f(t) has n + 1 distinct zeroes<br />

t 0 , t 1 , . . . , t n (2.24)<br />

in [a, b]. <strong>The</strong>n there is some number c ∈ (a, b) such that f (n) (c) = 0.<br />

<strong>The</strong>orem 2.6. Intermediate Value <strong>The</strong>orem. Suppose that f ∈ C[a, b] and that<br />

K is some number between f(a) and f(b). <strong>The</strong>n there exists some number c ∈ [a, b]<br />

such that f(c) = K. In other words, f takes on every value between the values at<br />

the endpoints.<br />

<strong>The</strong>orem 2.7 (Condition for a unique fixed point). Suppose that<br />

(a) f ∈ C[a, b] maps its domain into a subset of itself.<br />

(b) <strong>The</strong>re exists some K > 0, K < 1, such that<br />

|f ′ (t)| ≤ K, ∀t ∈ [a, b] (2.25)<br />

<strong>The</strong>n f(t) has a unique fixed point in [a, b].<br />

Math 582B, Spring 2007<br />

California State University Northridge<br />

c○2007, B.E.<strong>Shapiro</strong><br />

Last revised: May 23, 2007

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

Saved successfully!

Ooh no, something went wrong!