Mathematik II für Physiker und Elektrotechniker SS04 Aufgabenblatt 10
Name(n) Tutor Datum
Aufgabe 1
a) Berechnen Sie die drei Nullstellen z0,z1,z2 des komplexen Polynoms pz=z3−1 und prüfen Sie nach, daß z3−1=z−z1z−z2z−z3 .
b) Bilden Sie zu obigem Polynom pz die Iterationsfunktion des Newton-Verfahrens, also f z:=p 'zz−pz
p'z . Als rationale Funktion (d.h. Quotient von Polynomen) ist f eine Abbildung ℂ ℂ . Im gegebenen Fall ist f z∈ℂ für z≠0 , so daß wir f auch als Abbildung ℂ−{0}ℂ auffassen können. Die drei Nullstellen von p sind attraktive Fixpunkte von f , insbesondere haben wir f :U1/10ziU1/10zi .
Man kann sich nun die Funktionsweise des Newtonverfahrens für p veranschaulichen, indem man den Ausschnitt [−4,4]×[−3,3] der komplexen Ebene wählt, sowie ein 0 , und für jeden Punkt w≠0 der Form w=−4ki−4l , den man mit einem Pixel des oben definierten Bildausschnitts identifiziert, prüft, nach wieviel Iterationen in der Folge w0:=w , wn1:=f wn wn das erste Mal in einem der U1/10zi liegt. Ist
n256 , so färbe man das entsprechende Pixel weiß, anderenfalls auf einer Intensitätsskala 0-255 rot/grün/blau bei Konvergenz gegen z1,z2,z3 , in Abhängigkeit von der Anzahl der benötigten Iterationen. Das Pixel, welches dem Nullpunkt entspricht, färbe man auch weiß.
Dabei sollen Farbwerte so codiert werden:
0 0 0 stehe für schwarz, 255 255 255 für weiß, 255 0 0 für den intensivsten Rotwert, entsprechend 0 255 0 für Grün, 0 0 255 für Blau.
Liegt beispielsweise für das Pixel z der Iterationswert z123 erstmals in U1/10z2 , so ist der zugehörige Farbwert 0 (256 – 123) 0 . Denken wir uns nun ein Bild mit 640x480 Pixeln, so ist =1/80 . Wir berechnen mit Pari für jedes Pixel den wie oben kodierten Farbwert und schreiben ihn z.B. mit dem Befehl write1("newton.ppm", "0 133 0 ") in die Datei newton.ppm.
Am Anfang dieser Datei muß vorher oder nachher nachher noch folgende Information eingetragen werden:
P3# newton.ppm 640 480
255
Dabei ist „P3“ ein Code für das „portable pixel format“1, die Zeile „# newton.ppm“ enthält einen optionalen Kommentar, „640 480“ ist die Information über die Anzahl der Pixel, 255 gibt den maximalen Farbwert an. In den folgenden Zeilen folgen dann die Informationen über die Pixel-Farbwerte, also etwa wie in folgender Datei:
P3
# test.ppm 4 4
15
0 0 0 0 0 0 0 0 0 15 0 15 0 0 0 0 15 7 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 0 0 0 15 0 15 0 0 0 0 0 0 0 0 0
Mit dem Programm IrfanView unter Windows (http://www.irfanview.com/) oder xv unter Unix kann ich diese Datei - test.ppm - darstellen und erhalte
Die Farbwerte für die Pixel in der Datei test.ppm können auch einfach hintereinandergeschrie- ben werden:
P3
# test.ppm 4 4
15
0 0 0 0 0 0 0 0 0 15 0 15 0 0 0 0 15 7 0 0 0 0 0 0 0 0 0 0 0 0 0 15 7 0 0 0 15 0 15 0 0 0 0 0 0 0 0 0
führt zum selben Ergebnis.
Man kann nun also mit dem Pari – Befehl
write1("newton.ppm","P3\n# newton.ppm\n640 480\n255\n")
die Datei newton.ppm entsprechend dem ppm-Format initialisieren und anschließend nur noch die 640x480 Befehle write1("newton.ppm",red," ",green," ",blue," ")
innerhalb einer doppelten Schleife ausführen lassen, wobei red, green, blue die für das jeweilige Pixel errechneten Farbwerte sind.
Führen Sie dieses Programm aus und errechnen Sie womöglich noch weitere Bilder, ggf. mit höheren Pixel- und Farbauflösungen für andere rationale Funktionen oder Polynome f .
1Vielen Dank an Johannes Markus für die Information über ppm.
Aufgabe 2
a) Gehen Sie aus von der 4x4 Einheitsmatrix X=matid(4) und addieren einige Male zufällige ganzzahlige Vielfache von zufälligen Zeilen/Spalten zu zufälligen anderen Zeilen/Spalten. Z.B. wird durch X[1,]+=3*X[4,] das 3-fache der 4. Zeile zur 1. Zeile addiert. Dadurch erhalten Sie eine schließlich eine zufällige Matrix X mit det X=1 , deren Inverse ebenfalls ganzzahlige Koeffizienten besitzt.
b) Setzen Sie B=
2 1 0 00 2 0 00 0 2 00 0 0 3
und berechnen mit Pari A=XBX−1 . Begründen Sie, warum A dasselbe charakteristische Polynom und damit dieselben Eigenwerte besitzt wie B.Jedenfalls ist A=−23−3 , d.h. 2 ist Eigenwert der Ordnung 3 und 3 ist Eigenwert der Ordnung 1.
c) Zeigen Sie, daß im vorliegenden Fall2 nicht erst der verallgemeinerte Eigenraum
E23A:={x∈ℂ4∣2E−A3x=0} , sondern bereits E22A:={x∈ℂ4∣2E−A2x=0}
dreidimensional ist, zeigen Sie E22=E23 und geben Sie eine Basis an.
d) Zerlegen Sie den Vektor c=
1234
in eine Summe c=c1c2 , wobei c1∈E23A und c2∈E13A .e) Freiwillige Zusatzaufgabe (trotzdem einfach):
Zeigen Sie, daß für einen Vektor c∈E32B in der Exponentialreihe für exptAc nur 3 Summanden ungleich Null sind.
_______
PS: Die entsprechenden Fragen für die Matrix A müßten fSie fast ohne Rechnung beantworten können.
2Anders wäre es, wenn auch noch b23=1 gelten würde. Rechnen Sie das ggf. nach!