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.

224 LESSON 26. GENERAL EXISTENCE THEORY*<br />

Hence<br />

‖T u − u‖ ≤ ‖T u − v n+1 ‖ + ‖v n+1 − u‖ (26.42)<br />

= ‖T u − T v n ‖ + ‖u − v n+1 ‖ (26.43)<br />

≤ K‖u − v n ‖ + ‖u − v n+1 ‖<br />

(because T is a contraction)<br />

(26.44)<br />

≤ ‖u − v n ‖ + ‖u − v n+1 ‖ (because K < 1)<br />

(26.45)<br />

= 2‖u − v n ‖ (26.46)<br />

< δ (26.47)<br />

This is a contradiction. Hence u must be a fixed po<strong>in</strong>t of T .<br />

To prove uniqueness, suppose that there is another fixed po<strong>in</strong>t w ≠ u.<br />

Then ‖w − u‖ > 0 (otherwise they are equal). But<br />

‖u − w‖ = ‖T u − T w‖ ≤ K‖u − w‖ < ‖u − w‖ (26.48)<br />

which is impossible and hence and contradiction.<br />

Thus u is the unique fixed po<strong>in</strong>t of T .<br />

Theorem 26.11. Fundamental Existence Theorem. Let D ∈ R 2 be<br />

convex and suppose that f is cont<strong>in</strong>uously differentiable on D. Then the<br />

<strong>in</strong>itial value problem<br />

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

has a unique solution φ(t) <strong>in</strong> the sense that φ ′ (t) = f(t, φ(y)), φ(t 0 ) = y 0 .<br />

Proof. We beg<strong>in</strong> by observ<strong>in</strong>g that φ is a solution of equation 26.49 if and<br />

only if it is a solution of<br />

φ(t) = y 0 +<br />

Our goal will be to prove 26.50.<br />

∫ t<br />

t 0<br />

f(x, φ(x))dx (26.50)<br />

Let V be the set of all cont<strong>in</strong>uous <strong>in</strong>tegrable functions on an <strong>in</strong>terval (a, b)<br />

that conta<strong>in</strong>s t 0 . Then V is a complete normed vector space with the supnorm<br />

as norm, as we have already seen. mn<br />

Def<strong>in</strong>e the l<strong>in</strong>ear operator T on V by<br />

T (φ) = y 0 +<br />

∫ t<br />

t 0<br />

f(s, φ(s))ds (26.51)

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

Saved successfully!

Ooh no, something went wrong!