21.06.2014 Aufrufe

Beispiel - SAM - ETH Zürich

Beispiel - SAM - ETH Zürich

Beispiel - SAM - ETH Zürich

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

N k ∈ C d k,d k sind nilpotente Matrizen: N<br />

d k = 0<br />

Numerische<br />

Mathemtik<br />

Wegen (1.3.15) genügt esexp(J) für einen generischen Jordan-BlockJ ∈ C n,n zu betrachten.<br />

Verwende: A,B ∈ R n,n : AB = BA ⇒ exp(A+B) = exp(A)·exp(B) . (3.2.5)<br />

exp(tJ) = exp(tλI+λN k ) = exp(tλI)exp(tN k ) = e λt exp(tN k ) .<br />

Beachte:<br />

exp(tN) ist ein Polynom in t, wenn N nilpotent (Exponentialreihe bricht nach endlich<br />

vielen Gliedern ab). Also finden wir<br />

exp(At) = Sexp(Dt)P(t)S −1 , D = diag(λ 1 ,...,λ d ) ,<br />

mit einem Matrixpolynom P vom Grad < d, λ 1 ,...,λ d ˆ= Eigenwerte von A (mit Vielfachheit gezählt).<br />

‖exp(At)‖ ≤ ‖S‖<br />

∥<br />

∥S −1∥ ∥ ∥‖exp(Dt)‖·‖Matrixpolynom int‖ ,<br />

R. Hiptmair<br />

rev 35327,<br />

24. Juni<br />

2011<br />

wobeiDdie Diagonalmatrix der Eigenwerte vonAist. Wegen<br />

∀λ ∈ R: ∀β > λ: ∀p ∈ P n : ∃C = C(λ,β,p): e λt p(t) ≤ Ce βt ∀t ∈ R .<br />

schliessen wir:<br />

‖exp(At)‖ ≤ Ce βt für jedesβ > max{Reσ(A)}.<br />

Beweis. (von Thm.3.2.4) → [8, Satz 3.30], O.B.d.A. y ∗ = 0<br />

3.2<br />

p. 343

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!