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.

105<br />

Thus<br />

lim φ n = φ 0 + lim<br />

n→∞ n→∞<br />

n∑<br />

∞∑<br />

s n (t) = φ 0 + s n (t) = φ 0 + S(t) (12.36)<br />

k=1<br />

The left hand side of the equation exists if and only if the right hand side<br />

of the equation exists. Hence lim n→∞ φ n exists if and only if S(t) exists,<br />

i.e, S(t) converges.<br />

k=1<br />

Lemma 12.6. With s n , K, and M as previously def<strong>in</strong>ed,<br />

|s n (t)| = |φ n − φ n−1 | ≤ K n−1 M |t − t 0| n<br />

Proof. For n = 1, equation (12.37) says that<br />

n!<br />

(12.37)<br />

|φ 1 − φ 0 | ≤ K 0 M |t − t 0| 1<br />

= M|t − t 0 | (12.38)<br />

1!<br />

We have already proven that this is true <strong>in</strong> Lemma (12.4).<br />

For n > 1, prove <strong>in</strong>ductively. Assume that (12.37) is true and then prove<br />

that<br />

|φ n+1 − φ n | ≤ K n M |t − t 0| n+1<br />

(12.39)<br />

(n + 1)!<br />

Us<strong>in</strong>g the def<strong>in</strong>ition of φ n and φ n+1 ,<br />

∫ t<br />

∫ t<br />

|φ n+1 − φ n | =<br />

∣ y 0 + f(s, φ n+1 (s))ds − y 0 − f(s, φ n (s))ds<br />

∣ (12.40)<br />

t 0 t 0<br />

∫ t<br />

=<br />

∣ [f(s, φ n+1 (s))ds − f(s, φ n (s))]ds<br />

∣ (12.41)<br />

t 0<br />

≤<br />

≤<br />

∫ t<br />

t 0<br />

|f(s, φ n+1 (s))ds − f(s, φ n (s))|ds (12.42)<br />

∫ t<br />

t 0<br />

K|φ n+1 (s) − φ n (s)|ds (12.43)<br />

where the last step follows because f is Lipshitz <strong>in</strong> y. Substitut<strong>in</strong>g equation<br />

(12.37) gives<br />

∫ t<br />

|φ n+1 − φ n | ≤ K K n−1 M |s − t 0| n<br />

ds (12.44)<br />

t 0<br />

n!<br />

= Kn M<br />

n!<br />

= Kn M<br />

n!<br />

∫ t<br />

|s − t 0 | n ds<br />

t 0<br />

(12.45)<br />

|t − t 0 | n+1<br />

n + 1<br />

(12.46)

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

Saved successfully!

Ooh no, something went wrong!