06.09.2021 Views

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

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.

352 NORMS FOR FINITE DIMENSIONAL VECTOR SPACES<br />

and by the mean value theorem this equals an expression of the following form where θ k is<br />

a number between 0 and 1.<br />

∞∑ k (t + θ k h) k−1 λ k ∞∑ (t + θ k h) k−1 λ k<br />

=<br />

k!<br />

(k − 1)!<br />

k=1<br />

k=1<br />

∞∑ (t + θ k h) k λ k<br />

= λ<br />

k!<br />

It only remains to verify this converges to<br />

k=0<br />

∞∑ t k λ k<br />

λ<br />

k!<br />

k=0<br />

= λf (t)<br />

as h → 0.<br />

∣ )<br />

∞∑ (t + θ k h) k λ k ∞∑ t k λ k<br />

∣∣∣∣∣ ∞ −<br />

∣ k!<br />

k! ∣ = ∑<br />

((t + θ k h) k − t k<br />

k!<br />

k=0<br />

k=0<br />

and by the mean value theorem again and the triangle inequality<br />

∞∑ k |(t + η<br />

≤<br />

k )| k−1 |h||λ| k<br />

∞ ∣<br />

k! ∣ ≤|h| ∑ k |(t + η k )| k−1 |λ| k<br />

k!<br />

k=0<br />

where η k is between 0 and 1. Thus<br />

k=0<br />

k=0<br />

λ k<br />

∣<br />

∞∑ k (|t| +1) k−1 |λ| k<br />

≤|h|<br />

k!<br />

k=0<br />

= |h| C (t)<br />

It follows f ′ (t) =λf (t) . This proves the first part.<br />

Next note that for f (t) =u (t)+iv (t) , both u, v are differentiable. This is because<br />

Then from the differential equation,<br />

u = f + f<br />

2<br />

and equating real and imaginary parts,<br />

,v= f − f .<br />

2i<br />

(a + ib)(u + iv) =u ′ + iv ′<br />

u ′ = au − bv, v ′ = av + bu.<br />

Then a short computation shows<br />

(<br />

u 2 + v 2) ′ (<br />

=2a u 2 + v 2) , ( u 2 + v 2) (0) = 1.<br />

Now in general, if<br />

y ′ = cy, y (0) = 1,<br />

with c real it follows y (t) =e ct . To see this,<br />

y ′ − cy =0

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

Saved successfully!

Ooh no, something went wrong!