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.

221<br />

Theorem 26.5. Under the same conditions as theorem 26.4 except that<br />

the condition of equation 26.7 is replaced with the follow<strong>in</strong>g condition:<br />

f(t) is Lipshitz with Lipshitz constant K < 1. Then fixed po<strong>in</strong>t iteration<br />

converges.<br />

Proof. Lipshitz gives equation 26.16. The rest of the the proof follows as<br />

before.<br />

The Lipshitz condition can be generalized to apply to functions on a vector<br />

space.<br />

Def<strong>in</strong>ition 26.6. Lipshitz Condition on a Vector Space. Let V be a<br />

vector space and let t ∈ R. Then f(t, y) is Lipshitz if there exists a real<br />

constant K such that<br />

for all vectors y, z ∈ V.<br />

|f(t, y) − f(t, z)| ≤ K|y, z| (26.21)<br />

Def<strong>in</strong>ition 26.7. Let V be a normed vector space, S ⊂ V. A contraction<br />

is any mapp<strong>in</strong>g T : S ↦→ V such that<br />

‖T y − T z‖ ≤ K‖y − z‖ (26.22)<br />

where 0 < K < 1, holds for all y, z ∈ S. We will call the number K<br />

the contraction constant. Observe that a contraction is analogous to a<br />

Lipshitz condition on operators with K < 1.<br />

We will need the follow<strong>in</strong>g two results from analysis:<br />

1. A Cauchy Sequence is a sequence y 0 , y 1 , . . . of vectors <strong>in</strong> V such<br />

that ‖v m − v n ‖ → 0 as n, m → ∞.<br />

2. Complete Vector Field. If every Cauchy Sequence converges to an<br />

element of V, then we call V complete.<br />

The follow<strong>in</strong>g lemma plays the same role for contractions that Lemma (12.6)<br />

did for functions.<br />

Lemma 26.8. Let T be a contraction on a complete normed vector space<br />

V with contraction constant K. Then for any y ∈ V<br />

‖T n y − y‖ ≤ 1 − Kn<br />

‖T y − y‖ (26.23)<br />

1 − K

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

Saved successfully!

Ooh no, something went wrong!