21.04.2015 Views

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - 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.

219<br />

In the case just proven, there may be multiple fixed po<strong>in</strong>ts. If the derivative<br />

is sufficiently bounded then there will be a unique fixed po<strong>in</strong>t.<br />

Theorem 26.3 (Condition for a unique fixed po<strong>in</strong>t). Let f be a<br />

cont<strong>in</strong>uous function on [a, b] such that f : [a, b] ↦→ S ⊂ (a, b), and suppose<br />

further that there exists some postive constant K < 1 such that<br />

Then f has a unique fixed po<strong>in</strong>t <strong>in</strong> [a, b].<br />

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

Proof. By theorem 26.2 a fixed po<strong>in</strong>t exists. Call it p,<br />

p = f(p) (26.8)<br />

Suppose that a second fixed po<strong>in</strong>t q ∈ [a, b], q ≠ p also exists, so that<br />

Hence<br />

q = f(q) (26.9)<br />

|f(p) − f(q)| = |p − q| (26.10)<br />

By the mean value theorem there is some number c between p and q such<br />

that<br />

f ′ f(p) − f(q)<br />

(c) = (26.11)<br />

p − q<br />

Tak<strong>in</strong>g absolute values,<br />

f(p) − f(q)<br />

∣ p − q ∣ = |f ′ (c)| ≤ K < 1 (26.12)<br />

and thence<br />

|f(p) − f(q)| < |p − q| (26.13)<br />

This contradicts equation 26.10. Hence our assumption that a second,<br />

different fixed po<strong>in</strong>t exists must be <strong>in</strong>correct. Hence the fixed po<strong>in</strong>t is<br />

unique.<br />

Theorem 26.4 (Fixed Po<strong>in</strong>t Iteration Theorem). Let f be as def<strong>in</strong>ed<br />

<strong>in</strong> theorem 26.3, and p 0 ∈ (a, b). Then the sequence of numbers<br />

⎫<br />

p 1 = f(p 0 )<br />

p 2 = f(p 1 )<br />

⎪⎬<br />

.<br />

(26.14)<br />

p n = f(p n−1 )<br />

⎪⎭<br />

.<br />

converges to the unique fixed po<strong>in</strong>t of f <strong>in</strong> (a, b).

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

Saved successfully!

Ooh no, something went wrong!