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.

130 LESSON 15. LINEAR OPERATORS AND VECTOR SPACES<br />

3. The triangle follows from the properties of real numbers,<br />

‖v + w‖ ∞ = ‖(x + p, y + q, z + r)‖ (15.23)<br />

because |x + p| ≤ |x| + |p|, etc.Hence<br />

Thus ‖v‖ ∞ is a norm.<br />

= max(|x + p|, |y + q|, |z + r|) (15.24)<br />

≤ max(|x| + |p|, |y| + |q|, |z| + |r|) (15.25)<br />

‖v + w‖ ∞ ≤ max(|x|, |y|, |z|) + max(|p|, |q|, |r|) (15.26)<br />

= ‖v‖ ∞ + ‖w‖ ∞ (15.27)<br />

Example 15.6. Let V be the set of all functions y(t) def<strong>in</strong>ed on the <strong>in</strong>terval<br />

0 ≤ t ≤ 1. Then<br />

(∫ 1<br />

1/2<br />

‖y‖ = |y(t)| dt) 2 (15.28)<br />

is a norm on V.<br />

0<br />

The first property follows because the <strong>in</strong>tegral of an absolute value is a<br />

positive number (the area under the curve) unless y(t) = 0 for all t, <strong>in</strong><br />

which case the area is zero.<br />

The second property follows because<br />

(∫ 1<br />

‖cy‖ =<br />

0<br />

1/2 (∫ 1<br />

1/2<br />

|cy(t)| dt) 2 = |c| |y(t)| dt) 2 = |c|‖y‖ (15.29)<br />

0<br />

The third property follows because<br />

‖y + z‖ 2 =<br />

=<br />

≤<br />

∫ 1<br />

0<br />

∫ 1<br />

0<br />

∫ 1<br />

0<br />

|y(t) + z(t)| 2 dt (15.30)<br />

|y(t) 2 + 2y(t)z(t) + z(t) 2 |dt (15.31)<br />

|y(t)| 2 dt + 2<br />

∫ 1<br />

By the Cauchy Schwarz Inequality 3<br />

∣<br />

3 The Cauchy-Schwarz <strong>in</strong>equality is a property of <strong>in</strong>tegrals that says exactly this formula.<br />

∫ 1<br />

0<br />

y(t)z(t)dt<br />

∣<br />

2<br />

(∫ 1<br />

≤<br />

0<br />

0<br />

|y(t)||z(t)|dt +<br />

∫ 1<br />

0<br />

|z(t)| 2 dt (15.32)<br />

) (∫ 1<br />

)<br />

|y(t)| 2 dt |z(t)| 2 dt = ‖y‖ 2 ‖z‖ 2 (15.33)<br />

0

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

Saved successfully!

Ooh no, something went wrong!