Lektion
Die Theorie — Bogenlänge & Rotationskörper
Eine Kurve kann nicht direkt gemessen werden. Deshalb ist die Bogenlänge nicht durch eine Formel, sondern als Grenzwert definiert: Man ersetzt die Kurve durch eine Kette gerader Sehnen, addiert deren Längen und lässt die Sehnen dann gegen null schrumpfen. Alles Folgende basiert auf dieser einen Idee und dem Satz des Pythagoras.
Was die einzelnen Symbole bedeuten
f(x)- die Kurve, gegeben als Funktion von x — ein y für jedes x. Diese Einschränkung ist der Grund, warum die Voreinstellungen einen Halbkreis und niemals einen vollständigen Kreis anbieten: Ein Kreis weist über den Großteil seiner Breite zwei y-Werte auf, sodass kein einzelnes
fihn zeichnen kann. f'(x)- die Steigung, und das Einzige, worauf der Integrand zurückgreift. Wie hoch die Kurve liegt, spielt keine Rolle — die konstante Funktion
1über[0, 2]hat überall die Steigung0und die Länge genau2, also nur die Breite des Intervalls und nicht mehr. [a, b]- das Intervall, das Teil des Ergebnisses ist und nicht bloß ein Detail davon. Die Parabel verläuft mit der Länge
4.646784über[0, 2]und1.478943über[0, 1]— nicht die Hälfte, weil ein steilerer Kurvenabschnitt mehr Länge auf derselben Breite unterbringt. n- die Anzahl der Teilintervalle, die Simpson übergeben wird. Als einzige dieser Angaben sagt sie nichts über die Kurve aus: Sie bestimmt nur, wie gut das Integral angenähert wird, und die Zeile Fehlerabschätzung gibt an, ob das ausgereicht hat.
Woher die Formel kommt
- Wähle zwei Punkte auf der Kurve, die um einen kleinen Schritt
Δxvoneinander entfernt sind. Die gerade Strecke zwischen ihnen hat die Länge√(Δx² + Δy²). Das ist der Satz des Pythagoras und mehr steckt nicht dahinter. - Ziehe
Δxaus der Wurzel:√(Δx² + Δy²) = Δx·√(1 + (Δy/Δx)²). Die Form des Endergebnisses ist bereits zu erkennen. - Lasse
Δxnun schrumpfen. Das VerhältnisΔy/Δxwird zur Ableitungf′(x), sodass jede verschwindend kleine Sehne√(1 + f′(x)²) dxbeisteuert. - Addiere alle Beiträge:
L = ∫ₐᵦ √(1 + f′(x)²) dx— das ist die Zeile, die die Anzeige ausgibt. Schritt 1 steht ebenfalls auf dem Bildschirm, nämlich als Zeile Sehnenlänge — und bei einer geraden Linie stimmen beide exakt überein. Stellt man die Funktion aufxauf[0, 1]ein, zeigen beide1.414214an, weil dort eine einzige Sehne bereits die gesamte Kurve ist.
So liest du, was du siehst
Die Zeile Sehnenlänge ist Schritt 1 mit einem einzigen Segment, kann also nie der größere der beiden Werte sein: 4.472136 gegenüber 4.646784 bei der Parabel, und die Differenz zwischen ihnen zeigt, wie stark sich die Kurve krümmt. Lies die Fehlerabschätzung aufmerksam, denn sie ist kein Abstand zur Wahrheit — sie gibt |L₂ₙ − Lₙ| aus, die Abweichung zwischen den Näherungen für n und 2n Teilintervalle, sie sagt also aus, ob sich das Verfahren stabilisiert hat, nicht ob es an der richtigen Stelle gelandet ist.
- Setzt voraus
- Dass
fauf[a, b]differenzierbar ist und dass es sich überhaupt um eine Funktion von x handelt. Die Simpson-Regel setzt mehr voraus als die Bogenlängenformel: dass der Integrand glatt genug ist, um über jedem Paar von Teilintervallen durch Parabeln angenähert zu werden. - Versagt, wenn
- Wähle
frac(x)auf[0, 3]und setze die Integrationsschritte auf400. Der Graph besteht aus drei steigenden Abschnitten, die durch drei vertikale Sprungstellen getrennt sind, und an jeder Sprungstelle gibt es keine Ableitung, die die Formel verwenden könnte. Die Anzeige liefert trotzdem ein Ergebnis:29.23057, was weder4.242641entspricht, die man beim Ignorieren der Sprungstellen erhält, noch7.242641, wenn man sie mitzählt — es ist der Integrator, der Differenzen über eine Sprungstelle hinweg bildet. Das Einzige, was das verrät, ist die darunterstehende Zeile Fehlerabschätzung,12.49396, was fast der Hälfte des gemeldeten Ergebnisses entspricht. Ein einzelner Knick hingegen kostet fast nichts:|x|auf[−1, 1]liefert2.827046gegenüber dem exakten2√2 = 2.828427, weil ein einzelner schlechter Punkt innerhalb eines Integrals ein Punkt zu wenig ist, um ins Gewicht zu fallen.
Übung
Prüfe dich selbst
Sage die Antwort zuerst voraus und probiere es dann oben aus. Zeige die Lösung erst, wenn du dich entschieden hast — genau das macht es zur Übung.
-
Lade die Voreinstellung Kugel und setze das Intervall auf a = 0, b = 0.5 — ein Band vom Äquator der Kugel bis zum halben Radius. Die Oberfläche zeigt 3.141593. Schiebe das Band nun auf a = 0.4, b = 0.9, bei gleicher Höhe 0.5. Sage die neue Oberfläche voraus, bevor du etwas drückst.
Antwort anzeigen
Weiterhin 3.141593. Jedes Band der Höhe 0.5 umschließt genau π an Oberfläche, egal wo du schneidest — [−0.25, 0.25] und [−0.9, −0.4] zeigen dieselbe Zahl. Das Volumen verhält sich völlig anders: diese Bänder fassen 1.439897, 0.87441 und 1.538071. Nahe am Pol ist jeder Streifen im Umfang kürzer, dafür steiler geneigt, und beide Effekte heben sich exakt auf, sodass nur die Höhe übrig bleibt. Archimedes bewies das und wünschte sich eine Kugel im Zylinder auf seinem Grabstein — Band für Band hat die Kugel dieselbe Oberfläche wie der Zylinder, der sie gerade umschließt. -
Der dritte Einblick oben behauptet, Gabriels Horn habe endliches Volumen und unendliche Oberfläche, nennt aber keine Zahlen. Hol sie dir: wähle f(x) = 1/x, setze a = 1 und den Modus auf Rotationskörper und lies beide Werte bei b = 10, dann 100, dann 1000 ab.
Antwort anzeigen
Das Volumen läuft 2.827433 → 3.110179 → 3.153626, nähert sich π und gewinnt pro Dekade weniger. Die Oberfläche läuft 15.1775 → 29.6451 → 44.1739 — rund 14.5 mehr, sooft du b verzehnfachst, und das bleibt für immer so. Weit draußen im Horn ist der Oberflächenintegrand im Wesentlichen 2π/x, dessen Integral 2π ln b ist, und 2π ln 10 = 14.47. Was pro Dekade einen festen Betrag zulegt, hat keinen Grenzwert; was pro Dekade weniger zulegt, hat einen. Dem letzten Volumen solltest du allerdings misstrauen: 3.153626 liegt über π, was unmöglich ist, denn 2000 gleichmäßige Schritte können den steilen Teil nahe x = 1 über ein so langes Intervall nicht auflösen. Der Überschuss ist das Gitter, nicht das Horn.
Aufgaben vollständig gelöst
-
Die Bogenlänge von y = x² von 0 bis 2 in geschlossener Form 5 Schritte
Die Bogenlänge von y = x² von 0 bis 2 beträgt 4,646784. Leiten Sie sie in geschlossener Form ab – und erklären Sie dann, warum Sie Glück hatten. Dies ist der Zustand Parabelbogen.
-
Ansatz aufstellen. Die Ableitung von x² ist 2x, somit enthält der Integrand 4x² und nichts Komplizierteres.
-
Die Stammfunktion von √(1 + 4x²) ist Standard – ein algebraischer Term und ein Areasinus hyperbolicus, was ein quadratischer Ausdruck unter einer Wurzel stets ergibt.
-
An den Grenzen auswerten. Die untere Grenze trägt nichts bei, und die beiden Teile bei x = 2 ergeben 4,1231 und 0,5237.
-
Mit der geraden Linie zwischen den Endpunkten vergleichen. Die Kurve ist in diesem Bereich nur um 3,9% länger als die Sehne; deshalb wirkt die numerische Bogenlänge einfach, bis sie es nicht mehr ist.
-
Versuchen Sie nun, den Trick eine Potenz höher zu wiederholen. Der Integrand wird zur Quadratwurzel eines Polynoms vierten Grades, und das bildet die Grenze zwischen elementaren und elliptischen Funktionen.
Antwort
√17 + ¼ arsinh 4, und das Glück liegt darin, dass die Parabel zu den ganz wenigen Ausnahmen gehört, bei denen das funktioniert. Die Bogenlänge erfordert die Integration von √(1 + f′²), und die Quadratwurzel aus einem Polynom ist nur in wenigen Fällen elementar. Erhöht man den Exponenten um eins zu y = x³, lautet der Integrand √(1 + 9x⁴); dieser ist elliptisch und lässt sich nicht durch elementare Funktionen ausdrücken. Das Gleiche gilt für die Bogenlänge einer Ellipse – daher haben elliptische Integrale ihren Namen, und deshalb gibt es für den Umfang einer Ellipse keine Formel, während ihr Flächeninhalt trivial ist. Die Parabel entgeht dem, weil ihre Ableitung linear ist, sodass 1 + f′² quadratisch ist – und quadratische Ausdrücke unter einer Quadratwurzel sind genau das, wofür die arsinh-Substitution erfunden wurde.
-
-
Oberfläche 12,55591 und Volumen 4,18879 des Einheitshalbkreises 6 Schritte
Rotiert man den Einheitshalbkreis, zeigt das Feld eine Oberfläche von 12,55591 und ein Volumen von 4,18879 an. Eines davon ist auf sechs Stellen genau, das andere um 0,083% falsch. Finden Sie heraus, welches und warum. Dies ist der Zustand Rotationskugel.
-
Schreiben Sie die Funktion und ihre Ableitung auf. Von der Ableitung werden die Probleme ausgehen, und das ist bereits sichtbar: Der Nenner verschwindet an beiden Enden.
-
Bilden Sie nun den Integranden für die Oberfläche. Der divergierende Faktor und der verschwindende Faktor sind Kehrwerte voneinander und kürzen sich vollständig weg.
-
Die Integration einer Konstanten über ein Intervall der Länge 2 erfordert keine Analysis. Das Ergebnis ist 4π und hängt nicht davon ab, wie die Kugel geschnitten wurde – was der Inhalt des Ergebnisses von Archimedes ist.
-
Das Volumen ist ein gewöhnliches Polynom-Integral, und es ist jenes, das die Simpson-Regel bis zur letzten ausgegebenen Stelle korrekt berechnet.
-
Vergleichen Sie die angezeigte Oberfläche mit 4π. Die Abweichung ist gering, aber es handelt sich nicht um einen Rundungsfehler – es ist ein systematischer Fehler, der sich an den beiden Polen konzentriert.
-
Die Ursache liegt in Schritt 1. Exaktes Kürzen steht einer Routine, die Werte nur abtastet, nicht zur Verfügung.
Antwort
Das Volumen ist exakt und die Oberfläche um 0,083% zu klein, weil der Integrand der Oberfläche eine Konstante ist, die der Integrator nicht sehen kann. Rechnet man es von Hand durch, geschieht etwas Bemerkenswertes: √(1 + f′²) ist 1/√(1 − x²), was das davorstehende √(1 − x²) exakt kürzt, sodass 2π übrig bleibt. Der Integrand ist konstant, das Integral beträgt 4π, und das ist der Satz des Archimedes – eine Kugel hat dieselbe Oberfläche wie die Mantelfläche des ihr umbeschriebenen Zylinders, was er sich auf seinem Grabstein meißeln ließ. Numerisch jedoch divergiert f′ bei x = ±1, und die Simpson-Regel tastet eine Funktion ab, die überall 2π ist, außer an zwei Punkten, an denen die Arithmetik versagt. Der Integrand des Volumens ist π(1 − x²), ein echtes Polynom, und Simpson integriert Polynome exakt. Die eigene Fehlerschätzung des Bedienfelds von 0,005 zeigt, welcher der beiden Antworten zu vertrauen ist.
-
Quellen (1)
- Insight block 3 — Gabriel's Horn, and how strange it looked at the time: P. Mancosu and E. Vailati, "Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century." Isis 82(1), 50–70, 1991.