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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

62 CHAPTER 3. APPROXIMATE SOLUTIONS<br />

Finally, since the P n (t) are a monotonic sequence with P n+1 (t) ≥ P n (t), we know<br />

that P m (t) ≥ P n (t) whenever m > n. <strong>The</strong>refore<br />

and hence<br />

P m (t) − P m (1) ≤ P n (t) − P n (1) (3.160)<br />

P m (t) − P n (t) ≤ P m (1) − P n (1) (3.161)<br />

lim (P m(t) − P n (t)) ≤ lim (P m(1) − P n (1)) (3.162)<br />

m→∞ m→∞<br />

P (t) − P n (t) ≤ 1 − P n (1) (3.163)<br />

1 − √ 1 − t − P n (t) ≤ 1 − P n (1) (3.164)<br />

=⇒<br />

Pick any ɛ > 0. <strong>The</strong>n, since P n (1) → P (1) as n → ∞, there exists some n such that<br />

1 − P n (1) < ɛ, in which case<br />

1 − √ 1 − t − P n (t) < ɛ (3.165)<br />

i.e.,<br />

‖f(t) − P n (t)‖ < ɛ (3.166)<br />

This proves the Weierstrass Approximation <strong>The</strong>orem for the special case f(t) =<br />

1 − √ 1 − t.<br />

Next, suppose that f(t) = |t − c| for some number c ∈ [0, 1]. Let u = |t − c| and<br />

pick any ɛ > 0. Since u, ɛ ≥ 0, we know that<br />

√<br />

Now define a new variable v,<br />

u 2 + ɛ2 4 < u2 + uɛ + ɛ2 4 = ( ɛ<br />

2 + u ) 2<br />

(3.167)<br />

√<br />

u 2 + ɛ2 4 < ɛ 2 + u (3.168)<br />

u 2 + ɛ2 4 − u < ɛ 2<br />

(3.169)<br />

v = 1 − u 2 − ɛ 2 /4 (3.170)<br />

By the previous case there is some polynomial Q(v) that approximates 1 − √ 1 − v<br />

arbitrarily closely:<br />

∣<br />

∣1 − √ 1 − v − Q(v) ∣ ∣ < ɛ/2 (3.171)<br />

Define a new polynomial P (v) = 1 − Q(v); then we have<br />

∣ √ 1 − v − P (v) ∣ < ɛ/2 (3.172)<br />

√<br />

∣ ∣∣∣∣ u<br />

∣<br />

2 + ɛ2 4 − P (v) < ɛ/2 (3.173)<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!