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

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

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

225<br />

for any φ ∈ V.<br />

Let g, h be functions <strong>in</strong> V.<br />

‖T g − T h‖ ∞ = sup<br />

a≤t≤b<br />

|T g − T h| (26.52)<br />

∫ t<br />

∫ t<br />

= sup<br />

∣ y 0 + f(x, g(x))dx − y 0 − f(x, h(x))dx<br />

∣<br />

a≤t≤b t 0 t 0<br />

(26.53)<br />

∫ t<br />

= sup<br />

∣ [f(x, g(x)) − f(x, h(x))] dx<br />

∣ (26.54)<br />

a≤t≤b t 0<br />

S<strong>in</strong>ce f is cont<strong>in</strong>uously differentiable it is differentiable and its derivative<br />

is cont<strong>in</strong>uous. Thus the derivative is bounded (otherwise it could not be<br />

cont<strong>in</strong>uous on all of (a, b)). Therefore by theorem 12.3, it is Lipshitz <strong>in</strong> its<br />

second argument. Consequently there is some K ∈ R such that<br />

∫ t<br />

‖T g − T h‖ ∞ ≤ L sup |g(x) − h(x)| dx (26.55)<br />

a≤t≤b t 0<br />

≤ K(t − t 0 ) sup |g(x)) − h(x)| (26.56)<br />

a≤t≤b<br />

≤ K(b − a) sup |g(x)) − h(x)| (26.57)<br />

a≤t≤b<br />

≤ K(b − a) ‖g − h‖ (26.58)<br />

S<strong>in</strong>ce K is fixed, so long as the <strong>in</strong>terval (a, b) is larger than 1/K we have<br />

where<br />

‖T g − T h‖ ∞ ≤ K ′ ‖g − h‖ ∞ (26.59)<br />

K ′ = K(b − a) < 1 (26.60)<br />

Thus T is a contraction. By the contraction mapp<strong>in</strong>g theorem it has a fixed<br />

po<strong>in</strong>t; call this po<strong>in</strong>t φ. Equation 26.50 follows immediately.<br />

This theorem means that higher order <strong>in</strong>itial value problems also have<br />

unique solutions. Why is this? Because any higher order differential equation<br />

can be converted to a system of equations, as <strong>in</strong> the follow<strong>in</strong>g example.<br />

Example 26.2. Convert <strong>in</strong>itial value problem<br />

⎫<br />

y ′′ + 4t 3 y ′ + y 3 = s<strong>in</strong>(t) ⎪⎬<br />

y(0) = 1<br />

⎪⎭<br />

y ′ (0) = 1<br />

(26.61)

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

Saved successfully!

Ooh no, something went wrong!