21.06.2014 Aufrufe

Beispiel - SAM - ETH Zürich

Beispiel - SAM - ETH Zürich

Beispiel - SAM - ETH Zürich

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

✬<br />

✩<br />

Theorem 4.1.10 (Nichterhaltung allgemeiner polynomialer Invarianten).<br />

Fürn ≥ 3 gibt es kein konsistentes Runge-Kutta-Einschrittverfahren (→ Def. 2.3.5) das für alle<br />

autonomen Differentialgleichungenẏ = f(y) alle ihre polynomialen Invarianten (→ Def. 4.1.1)<br />

vom Gradnerhält.<br />

✫<br />

✪<br />

Numerische<br />

Mathemtik<br />

Hilfssatz für den Beweis:<br />

✬<br />

Lemma 4.1.11 (Ableitung der Determinantenfunktion).<br />

Für die Determinantenfunktiondet : R d,d ↦→ R gilt<br />

(Ddet(X))(H) = trace(adj(X)H) , X,H ∈ R d,d .<br />

✫<br />

✩<br />

✪<br />

R. Hiptmair<br />

rev 35327,<br />

24. Juni<br />

2011<br />

✎ Notation: Spur einer MatrixA = (a ij ) d i,j=1 ∈ Rd,d : trace(A) =<br />

d∑<br />

a jj<br />

j=1<br />

✎ Notation: adjungierte Matrix (adj(X)) ij = (−1) i+j det(ˇX ij ), X ∈ R d,d , 1 ≤ i,j ≤ d, ˇX ij<br />

ˆ= Matrix, die ausXdurch Streichen deri. Zeile undj. Spalte ensteht (Minor).<br />

4.1<br />

p. 443

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!