The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
The Computable Differential Equation Lecture ... - Bruce E. Shapiro
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