Simpsonregel

Die Simpsonregel oder Simpsonsche Formel (nach Thomas Simpson) ist ein Verfahren der numerischen Integration, bei dem eine Näherung zum Integral einer in einem Intervall schwer zu integrierenden Funktion berechnet wird, indem man die Funktion durch eine exakt integrierbare Parabel annähert.

Regel

Simpsonsche Formel

Für eine Funktion f : [ a , b ] R {\displaystyle f\colon [a,b]\to \mathbb {R} } im Intervall [ a , b ] {\displaystyle [a,b]} wird eine Parabel P {\displaystyle P} als Interpolationspolynom durch die Funktionswerte an den Stellen a {\displaystyle a} , b {\displaystyle b} und m = a + b 2 {\displaystyle m={\tfrac {a+b}{2}}} gelegt. Das Integral von f {\displaystyle f} nähert man dann durch das Integral der Parabel an. Die Simpsonsregel für das Integral

J = a b f ( x ) d x {\displaystyle J=\int _{a}^{b}f(x)\,\mathrm {d} x}

lautet dann

S ( f ) = b a 6 ( f ( a ) + 4 f ( m ) + f ( b ) ) {\displaystyle S(f)={\frac {b-a}{6}}\cdot \left(f(a)+4f(m)+f(b)\right)} .

Der Wert S ( f ) {\displaystyle S(f)} ist dann eine Näherung von J {\displaystyle J} . Somit ist die Simpsonregel eine abgeschlossene Newton-Cotes-Formel.[1]

Fehlerabschätzung

Das Restglied (alternativ der Quadraturfehler) E ( f ) {\displaystyle E(f)} beschreibt die Differenz des tatsächlichen Integrals und der Näherung durch die Simpsonregel:

J ( f ) = a b f ( x ) d x = S ( f ) + E ( f ) . {\displaystyle J(f)=\int _{a}^{b}f(x)\,\mathrm {d} x=S(f)+E(f).}

Ist f ( x ) {\displaystyle f(x)} viermal stetig differenzierbar in [ a , b ] {\displaystyle [a,b]} , dann gilt für das Restglied E ( f ) {\displaystyle E(f)} die Abschätzung

| E ( f ) | ( b a ) 5 2880 max a x b | f ( 4 ) ( x ) | . {\displaystyle \left|E(f)\right|\leq {\frac {(b-a)^{5}}{2880}}\max _{a\leq x\leq b}{\left|f^{(4)}(x)\right|}.}

Ist f ( x ) {\displaystyle f(x)} zusätzlich noch reellwertig, dann gilt mit einer geeigneten Zwischenstelle ζ {\displaystyle \zeta } aus [ a , b ] {\displaystyle [a,b]} für das Restglied

E ( f ) = ( b a ) 5 2880 f ( 4 ) ( ζ ) . {\displaystyle E(f)=-{\frac {(b-a)^{5}}{2880}}{f^{(4)}(\zeta )}.}

Diese Restglieddarstellung wurde 1887 von Giuseppe Peano gefunden. Sie besagt insbesondere, dass die Simpsonregel Polynome vom Grad drei exakt integriert, also einen Grad höher, als man nach Konstruktion erwarten würde. Diese Eigenschaft haben alle (abgeschlossenen und offenen) Newton-Cotes-Formeln von geradem Grad.[2]

Veranschaulichung durch Rechteckflächen

Simpsonsche Formel Veranschaulichung

Das Integral der Näherungs-Parabel ist gleich der schraffierten Fläche von sechs Rechtecken, deren Breite jeweils 1/6 des Intervalls [ a , b ] {\displaystyle [a,b]} ist. Ein Rechteck hat dabei die Höhe f ( a ) {\displaystyle f(a)} , ein Rechteck die Höhe f ( b ) {\displaystyle f(b)} und vier Rechtecke die Höhe f ( m ) {\displaystyle f(m)} .

Hier sieht man auch den Zusammenhang mit der Sehnentrapezformel

T ( f ) = b a 2   ( f ( a ) + f ( b ) ) {\displaystyle T(f)={\frac {b-a}{2}}\ {\bigl (}f(a)+f(b){\bigr )}}

und der Tangententrapezformel oder Mittelpunktsregel

M ( f ) = ( b a )   f ( a + b 2 ) {\displaystyle M(f)=(b-a)\ f\left({\frac {a+b}{2}}\right)} .

Während die zwei äußeren Rechtecke der mit 1/3 skalierten Sehnentrapezformel entsprechen, entsprechen die übrigen Rechtecke der mit 2/3 skalierten Tangententrapezformel. Es ergibt sich die Ausgangsformel der simpsonschen Formel:

S ( f ) = 1 3   T ( f ) + 2 3   M ( f ) {\displaystyle S(f)={\frac {1}{3}}\ T(f)+{\frac {2}{3}}\ M(f)}

aus der sich nach Einsetzen und Umformen die bereits bekannte simpsonsche Formel ergibt:

S ( f ) = b a 6   (   f ( a ) + 4 f ( m ) + f ( b )   )         ,         m = a + b 2 {\displaystyle S(f)={\frac {b-a}{6}}\ {\bigl (}\ f(a)+4f(m)+f(b)\ {\bigr )}\ \ \ \ ,\ \ \ \ m={\frac {a+b}{2}}} .

Beispiel

Wir betrachten im Folgenden das Beispiel

J ( f ) = 0 2 3 3 x 1 d x = 3 3 x 2 ln ( 3 ) | 0 2 = 728 9 ln ( 3 ) = 73,628 2396649 {\displaystyle J(f)=\int _{0}^{2}3^{3x-1}\,\mathrm {d} x=\left.{\frac {3^{3x-2}}{\ln(3)}}\right|_{0}^{2}={\frac {728}{9\ln(3)}}=73{,}6282396649\dots }

Gute Ergebnisse erzielt man, wenn das Intervall in mehrere Teilintervalle zerlegt und die Simpsonregel in jedem dieser Teilintervalle angewendet wird. Diese Summationsvarianten werden nachfolgend vorgestellt und jeweils auf dieses Beispiel angewendet.

Summierte simpsonsche Formel

Um das Integral noch besser annähern zu können, unterteilt man das Intervall [ a , b ] {\displaystyle [a,b]} in nebeneinanderliegende, gleich große Teilintervalle. In jedem Teilintervall wendet man die simpsonsche Formel für die einzelnen Teilflächen an und addiert danach die entstandenen Näherungen. Damit erhält man die summierte oder zusammengesetzte Simpsonregel. Es gibt unterschiedliche Notationen für die Unterteilung in Teilintervalle, die zu verschiedenen Formulierungen der summierten simpsonschen Formel führen.

Variante 1

Summierte simpsonsche Formel für N = 2 {\displaystyle N=2}

Hier unterteilt man das Intervall [ a , b ] {\displaystyle [a,b]} in N {\displaystyle N} nebeneinanderliegende, gleich große Teilintervalle [ x i , x i + 1 ] {\displaystyle [x_{i},x_{i+1}]} der Länge h {\displaystyle h} . In jedem Teilintervall wendet man die simpsonsche Formel

h 6 ( f ( x i ) + 4 f ( x i + x i + 1 2 ) + f ( x i + 1 ) ) {\displaystyle {\frac {h}{6}}\cdot (f(x_{i})+4\cdot f\left({\frac {x_{i}+x_{i+1}}{2}}\right)+f(x_{i+1}))}

an und addiert danach die entstandenen Näherungen. Mit

h = b a N {\displaystyle h={\frac {b-a}{N}}}

und

x i = a + i h {\displaystyle x_{i}=a+i\cdot h}

erhält man:

S ( N ) ( f ) = h 6 ( f ( x 0 ) + 4 f ( x 0 + x 1 2 ) + 2 f ( x 1 ) + 4 f ( x 1 + x 2 2 ) + + 2 f ( x N 1 ) + 4 f ( x N 1 + x N 2 ) + f ( x N ) ) {\displaystyle S^{(N)}(f)={\frac {h}{6}}\cdot \left(f(x_{0})+4\cdot f\left({\frac {x_{0}+x_{1}}{2}}\right)+2\cdot f(x_{1})+4\cdot f\left({\frac {x_{1}+x_{2}}{2}}\right)+\dotsb +2\cdot f(x_{N-1})+4\cdot f\left({\frac {x_{N-1}+x_{N}}{2}}\right)+f(x_{N})\right)}

bzw.

S ( N ) ( f ) = h 6 ( f ( x 0 ) + 2 i = 1 N 1 f ( x i ) + f ( x N ) + 4 i = 1 N f ( x i 1 + x i 2 ) ) {\displaystyle S^{(N)}(f)={\frac {h}{6}}\cdot \left(f(x_{0})+2\sum _{i=1}^{N-1}f(x_{i})+f(x_{N})+4\sum _{i=1}^{N}f\left({\frac {x_{i-1}+x_{i}}{2}}\right)\right)} .

Beispiel

Angewandt auf obiges Beispiel:

Sei N = 3 {\displaystyle N=3} und somit die Schrittweite h = 2 3 {\displaystyle h={\tfrac {2}{3}}} . Dann ist

S ( 3 ) ( f ) = 2 18 ( f ( 0 ) + 2 ( f ( 2 3 ) + f ( 4 3 ) ) + f ( 2 ) + 4 ( f ( 1 3 ) + f ( 3 3 ) + f ( 5 3 ) ) ) = 2002 27 = 74 , 148 ¯ {\displaystyle {\begin{aligned}S^{(3)}(f)&={\frac {2}{18}}\left(f(0)+2\left(f\left({\frac {2}{3}}\right)+f\left({\frac {4}{3}}\right)\right)+f(2)+4\left(f\left({\frac {1}{3}}\right)+f\left({\frac {3}{3}}\right)+f\left({\frac {5}{3}}\right)\right)\right)\\&={\frac {2002}{27}}=74{,}{\overline {148}}\\\end{aligned}}} .

Sei N = 6 {\displaystyle N=6} und somit die Schrittweite h = 2 6 = 1 3 {\displaystyle h={\tfrac {2}{6}}={\tfrac {1}{3}}} . Dann ist

S ( 6 ) ( f ) = 1 18 ( f ( 0 ) + 2 ( f ( 1 3 ) + f ( 2 3 ) + f ( 1 ) + f ( 4 3 ) + f ( 5 3 ) ) + f ( 2 ) ) + 1 18 ( 4 ( f ( 1 6 ) + f ( 3 6 ) + f ( 5 6 ) + f ( 7 6 ) + f ( 9 6 ) + f ( 11 6 ) ) ) = 1 3 ( T ( 6 ) ( f ) + 2 M ( 6 ) ( f ) ) = 4 T ( 12 ) ( f ) T ( 6 ) ( f ) 3 = 728 ( 3 + 1 ) 27 = 73,664 18473741264 {\displaystyle {\begin{aligned}S^{(6)}(f)&={\frac {1}{18}}\left(f(0)+2\left(f\left({\frac {1}{3}}\right)+f\left({\frac {2}{3}}\right)+f(1)+f\left({\frac {4}{3}}\right)+f\left({\frac {5}{3}}\right)\right)+f(2)\right)\\&+{\frac {1}{18}}\left(4\left(f\left({\frac {1}{6}}\right)+f\left({\frac {3}{6}}\right)+f\left({\frac {5}{6}}\right)+f\left({\frac {7}{6}}\right)+f\left({\frac {9}{6}}\right)+f\left({\frac {11}{6}}\right)\right)\right)\\&={\frac {1}{3}}\left(T^{(6)}(f)+2M^{(6)}(f)\right)={\frac {4\cdot T^{(12)}(f)-T^{(6)}(f)}{3}}={\frac {728\cdot ({\sqrt {3}}+1)}{27}}=73{,}66418473741264\dots \\\end{aligned}}}

Dabei ist T ( 6 ) ( f ) {\displaystyle T^{(6)}(f)} der Wert der Sehnentrapezregel und M ( 6 ) ( f ) {\displaystyle M^{(6)}(f)} der Wert der Tangententrapezregel.

Fehlerabschätzung

Die Fehlerabschätzung für das Restglied E ( f ) = a b f ( x ) d x Q ( f ) {\displaystyle E(f)=\int _{a}^{b}f(x)\,\mathrm {d} x-Q(f)} lautet:

| E ( f ) | ( b a ) 2880 h 4 max a x b | f ( 4 ) ( x ) | , {\displaystyle \left|E(f)\right|\leq {\frac {(b-a)}{2880}}h^{4}\max _{a\leq x\leq b}{\left|f^{(4)}(x)\right|},}

beziehungsweise für reellwertige Funktionen mit einer geeigneten Zwischenstelle ζ {\displaystyle \zeta } aus dem Intervall [ a , b ] {\displaystyle [a,b]}

E ( f ) = ( b a ) 2880 h 4 f ( 4 ) ( ζ ) . {\displaystyle E(f)=-{\frac {(b-a)}{2880}}h^{4}f^{(4)}(\zeta ).}

Der Faktor h 4 {\displaystyle h^{4}} in obiger Formel bedeutet, dass bei einer Halbierung der Schrittweite (Verdoppelung der Intervalle), wie es beim Romberg-Verfahren mit der Romberg-Folge der Fall ist, der Fehler in etwa um den Faktor 16 kleiner wird, wie auch nachfolgendes Beispiel zeigt:

Beispiel

Angewandt auf obiges Beispiel:

Mit f ( 4 ) ( x ) = 3 3 x + 3 ln ( 3 ) 4 {\displaystyle f^{(4)}(x)=3^{3x+3}\cdot \ln(3)^{4}} folgt

max 0 x 2 | f ( 4 ) ( x ) | = 3 3 2 + 3 ln ( 3 ) 4 = 3 9 ( ln ( 3 ) ) 4 {\displaystyle \max _{0\leq x\leq 2}\left|f^{(4)}(x)\right|=3^{3\cdot 2+3}\cdot \ln(3)^{4}=3^{9}\cdot (\ln(3))^{4}}

und somit die Fehlerabschätzung

| E ( 3 ) ( f ) | 2 2880 ( 2 3 ) 4 3 9 ( ln ( 3 ) ) 4 = 27 ( ln ( 3 ) ) 4 10 = 3,933 {\displaystyle \left|E^{(3)}(f)\right|\leq {\frac {2}{2880}}\cdot \left({\frac {2}{3}}\right)^{4}\cdot 3^{9}\cdot (\ln(3))^{4}={\frac {27\cdot (\ln(3))^{4}}{10}}=3{,}933\dotso } ,

die erwartungsgemäß einen größeren Wert ergibt als den exakten Wert

E ( 3 ) ( f ) = 0,519 9 . {\displaystyle E^{(3)}(f)=-0{,}5199\dotso .}

Analog erhält man die Fehlerabschätzung

| E ( 6 ) ( f ) | 2 2880 ( 1 3 ) 4 3 9 ( ln ( 3 ) ) 4 = 27 ( ln ( 3 ) ) 4 160 = 0,245 8 {\displaystyle \left|E^{(6)}(f)\right|\leq {\frac {2}{2880}}\cdot \left({\frac {1}{3}}\right)^{4}\cdot 3^{9}\cdot (\ln(3))^{4}={\frac {27\cdot (\ln(3))^{4}}{160}}=0{,}2458\dotso } ,

die erwartungsgemäß einen größeren Wert ergibt als den exakten Wert

E ( 6 ) ( f ) = 0,035 9 {\displaystyle E^{(6)}(f)=-0{,}0359\dotso } .

Es gilt

| E ( 6 ) ( f ) | = 0,035 9 | E ( 3 ) ( f ) | 16 = 0,519 9 16 = 0,032 49 {\displaystyle \left|E^{(6)}(f)\right|=0{,}0359\dotso \approx {\frac {\left|E^{(3)}(f)\right|}{16}}={\frac {0{,}5199\dotso }{16}}=0{,}03249\dotso } .

Fehlerschätzung

Rechnet man die Simpsonregel zweimal mit 2 verschiedenen Anzahlen von Intervallen N M {\displaystyle N\neq M} , so erhält man folgende Fehlerschätzung:

E ( N ) ( f ) M 4 M 4 N 4 ( S ( M ) ( f ) S ( N ) ( f ) ) . {\displaystyle E^{(N)}(f)\approx {\frac {M^{4}}{M^{4}-N^{4}}}\left(S^{(M)}(f)-S^{(N)}(f)\right).}

Speziell bei der Verdoppelung der Intervalle M = 2 N {\displaystyle M=2N} (Halbierung der Schrittweite) erhält man die Fehlerschätzung:

E ( N ) ( f ) 16 15 ( S ( 2 N ) ( f ) S ( N ) ( f ) ) . {\displaystyle E^{(N)}(f)\approx {\frac {16}{15}}\left(S^{(2N)}(f)-S^{(N)}(f)\right).}

Angewandt auf das obige Beispiel erhält man

E ( 3 ) ( f ) = 0,519 9 16 15 ( S ( 6 ) ( f ) S ( 3 ) ( f ) ) = 0,516 2 {\displaystyle E^{(3)}(f)=-0{,}5199\dots \approx {\frac {16}{15}}\left(S^{(6)}(f)-S^{(3)}(f)\right)=-0{,}5162\dots }

Variante 2

Summierte simpsonsche Formel für N=4

Hier unterteilt man das Intervall [ a , b ] {\displaystyle [a,b]} in n = N / 2 {\displaystyle n=N/2} nebeneinanderliegende, gleich große Teilintervalle [ x i , x i + 2 ] {\displaystyle [x_{i},x_{i+2}]} mit Mittelpunkt x i + 1 {\displaystyle x_{i+1}} und Länge 2 h {\displaystyle 2h} mit h = b a N {\displaystyle h={\tfrac {b-a}{N}}} . Da N {\displaystyle N} jetzt gegenüber Variante 1 doppelt so groß ist, ist h {\displaystyle h} gegenüber Variante 1 nur halb so groß. Somit muss in allen Formeln von Variante 1 das h {\displaystyle h} durch 2 h {\displaystyle 2h} ersetzt werden.

Für jedes gerade i {\displaystyle i} wendet man auf das Intervall [ x i , x i + 2 ] {\displaystyle [x_{i},x_{i+2}]} die simpsonsche Formel

2 h 6 ( f ( x i ) + 4 f ( x i + 1 ) + f ( x i + 2 ) ) = h 3 ( f ( x i ) + 4 f ( x i + 1 ) + f ( x i + 2 ) ) {\displaystyle {\frac {2h}{6}}\cdot (f(x_{i})+4\cdot f(x_{i+1})+f(x_{i+2}))={\frac {h}{3}}\cdot (f(x_{i})+4\cdot f(x_{i+1})+f(x_{i+2}))}

an und addiert danach die entstandenen Näherungen.

Für gerades N {\displaystyle N} gilt nun n = N / 2 {\displaystyle n=N/2} , h = b a N {\displaystyle h={\tfrac {b-a}{N}}} und x k = a + k h {\displaystyle x_{k}=a+k\cdot h} und man erhält:

S ( n ) ( f ) = h 3 ( f ( x 0 ) + 4 f ( x 1 ) + 2 f ( x 2 ) + 4 f ( x 3 ) + 2 f ( x 4 ) + + 4 f ( x N 1 ) + f ( x N ) ) . {\displaystyle S^{(n)}(f)={\frac {h}{3}}\left(f(x_{0})+4\cdot f(x_{1})+2\cdot f(x_{2})+4\cdot f(x_{3})+2\cdot f(x_{4})+\dotsb +4\cdot f(x_{N-1})+f(x_{N})\right).}

bzw.

S ( n ) ( f ) = h 3 ( f ( x 0 ) + 2 k = 1 n 1 f ( x 2 k ) + f ( x 2 n ) + 4 k = 1 n f ( x 2 k 1 ) ) {\displaystyle S^{(n)}(f)={\frac {h}{3}}\left(f(x_{0})+2\sum _{k=1}^{n-1}f(x_{2k})+f(x_{2n})+4\sum _{k=1}^{n}f(x_{2k-1})\right)}

Beispiel

Angewandt auf obiges Beispiel:

Sei N = 6 {\displaystyle N=6} , n = N / 2 = 3 {\displaystyle n=N/2=3} und die Schrittweite h = 2 6 = 1 3 {\displaystyle h={\tfrac {2}{6}}={\tfrac {1}{3}}} . Dann ist

S ( 3 ) ( f ) = 1 9 ( f ( 0 ) + 2 ( f ( 2 3 ) + f ( 4 3 ) ) + f ( 2 ) + 4 ( f ( 1 3 ) + f ( 3 3 ) + f ( 5 3 ) ) ) = 2002 27 = 74 , 148 ¯ {\displaystyle {\begin{aligned}S^{(3)}(f)&={\frac {1}{9}}\left(f(0)+2\left(f\left({\frac {2}{3}}\right)+f\left({\frac {4}{3}}\right)\right)+f(2)+4\left(f\left({\frac {1}{3}}\right)+f\left({\frac {3}{3}}\right)+f\left({\frac {5}{3}}\right)\right)\right)\\&={\frac {2002}{27}}=74{,}{\overline {148}}\\\end{aligned}}} .

Das ist das gleiche Resultat wie in Variante 1.

Fehlerabschätzung

Die Fehlerabschätzung für das Restglied E ( n ) ( f ) = a b f ( x ) d x S ( n ) ( f ) {\displaystyle E^{(n)}(f)=\int _{a}^{b}f(x)\,\mathrm {d} x-S^{(n)}(f)} lautet nun

| E ( n ) ( f ) | ( b a ) 2880 ( 2 h ) 4 max a x b | f ( 4 ) ( x ) | = ( b a ) 180 h 4 max a x b | f ( 4 ) ( x ) | , {\displaystyle \left|E^{(n)}(f)\right|\leq {\frac {(b-a)}{2880}}(2h)^{4}\max _{a\leq x\leq b}{\left|f^{(4)}(x)\right|}={\frac {(b-a)}{180}}h^{4}\max _{a\leq x\leq b}{\left|f^{(4)}(x)\right|},}

beziehungsweise für reellwertige Funktionen mit einer geeigneten Zwischenstelle ζ {\displaystyle \zeta } aus dem Intervall [ a , b ] {\displaystyle [a,b]}

E ( n ) ( f ) = ( b a ) 180 h 4 f ( 4 ) ( ζ ) . {\displaystyle E^{(n)}(f)=-{\frac {(b-a)}{180}}h^{4}f^{(4)}(\zeta ).}

Zusammenhang mit anderen Formeln

Addiert man zum Näherungswert S ( N ) ( f ) {\displaystyle S^{(N)}(f)} die Fehlerschätzung für E ( N ) ( f ) {\displaystyle E^{(N)}(f)} , so erhält man die i. A. bessere Formel:

R ( N ) ( f ) = S ( N ) ( f ) + 16 15 ( S ( 2 N ) ( f ) S ( N ) ( f ) ) = 16 S ( 2 N ) ( f ) S ( N ) ( f ) 15 . {\displaystyle R^{(N)}(f)=S^{(N)}(f)+{\frac {16}{15}}\left(S^{(2N)}(f)-S^{(N)}(f)\right)={\frac {16\cdot S^{(2N)}(f)-S^{(N)}(f)}{15}}.}

Das ist die Formel für die 3. Spalte des Rechenschemas der Romberg-Integration bei Verwendung der Romberg-Folge und gleichzeitig das Resultat der Milne-Regel (Abgeschlossene Newton-Cotes-Formel mit Genauigkeitsgrad 5) bei Anwendung auf N {\displaystyle N} Teilintervalle von [ a , b ] . {\displaystyle [a,b].}

Angewandt auf obiges Beispiel erhält man mit

R ( 3 ) ( f ) = 16 S ( 6 ) ( f ) S ( 3 ) ( f ) 15 = 16 73,664 74 , 148 ¯ 15 = 73,631 92 {\displaystyle R^{(3)}(f)={\frac {16\cdot S^{(6)}(f)-S^{(3)}(f)}{15}}={\frac {16\cdot 73{,}664\dots -74{,}{\overline {148}}}{15}}=73{,}63192\dots }

eine bessere Näherung für das exakte Integral J ( f ) = 0 2 3 3 x 1 d x = 73,628 2396649 {\displaystyle J(f)=\int _{0}^{2}3^{3x-1}\,\mathrm {d} x=73{,}6282396649\dots }

als mit S ( 3 ) ( f ) = 74 , 148 ¯ {\displaystyle S^{(3)}(f)=74{,}{\overline {148}}} oder S ( 6 ) ( f ) = 73,664 , {\displaystyle S^{(6)}(f)=73{,}664\dots ,}

bei gleicher Anzahl auszuwertender Funktionswerte wie bei S ( 6 ) ( f ) {\displaystyle S^{(6)}(f)} , nämlich 13 Stück.

Geschichte

Die Formel wurde erstmals von dem 1608 geborenen Evangelista Torricelli benutzt, ist aber nach dem 1710 geborenen englischen Mathematiker Thomas Simpson benannt.

Keplersche Fassregel

Die Anwendung der Simpsonregel auf Rotationskörper entspricht der Keplerschen Fassregel, die Johannes Kepler bereits 1615 aufstellte. Über die Entstehungsgeschichte berichtet Kepler in der Widmung der späteren Veröffentlichung. Nachdem 1611 Keplers erste Frau in Prag gestorben war, heiratete er – nun in Linz arbeitend – 1613 wieder. Er kaufte für die Hochzeit einige Fässer Wein. Als der Wein eingekellert war, kam der Verkäufer mit einer Messrute und bestimmte den Inhalt für alle Fässer ohne Überlegung oder Rechnung nach der gleichen Methode. Die Messrute wurde mit ihrer metallenen Spitze durch das Spundloch quer bis zu den Rändern der beiden Böden eingeführt und die Marke am Spundloch ergab den Rauminhalt. Kepler wunderte sich, dass eine Diagonale durch die Fasshälfte ein Maß für den Rauminhalt abgeben sollte, und bezweifelte die Richtigkeit dieser Methode, da ein sehr niedriges Fass mit etwas breiteren Böden und daher sehr viel kleinerem Rauminhalt die gleiche Visierlänge besitzen könnte.

Kepler verfasste daraufhin die Schrift Nova Stereometria doliorum vinariorum 1615 (Neue Inhaltsberechnung von Weinfässern), in der er nach überprüfbaren Methoden zur Inhaltsberechnung von Weinfässern suchte. Eine dieser Methoden bestand darin, die Krümmung des Fasses durch eine Parabel anzunähern, da Inhaltsberechnungen mit Hilfe von Parabeln seit Archimedes exakt durchgeführt werden konnten.

Unter anderem beschrieb er darin eine Formel zur Berechnung der Kapazität (genauer des Volumens) von Weinfässern mit unregelmäßigen Formen. Diese Formel liefert exakte Werte für den Kreiszylinder und Kegelstumpf (einschließlich Kegel) und gute Näherungen für Kugel, Rotationsellipsoid, elliptisches Paraboloid und einschaliges Hyperboloid, also Rotationskörper durch rotierende Kegelschnitte.

Der Name Fassregel lässt sich durch die folgende Anwendung begründen: Zur Berechnung des Volumens eines Weinfasses sei q ( x ) {\displaystyle q(x)} die Querschnittsfläche quer zur Längsachse in der Entfernung x {\displaystyle x} vom Boden des Fasses; sie lässt sich durch Bestimmung des Umfanges leicht ausrechnen. Ist h {\displaystyle h} die Höhe des Fasses, so ist das Volumen gleich

V = 0 h q ( x ) d x . {\displaystyle V=\int _{0}^{h}q(x)\,\mathrm {d} x.}

Die Keplersche Fassregel gibt nun

V h 6 ( q ( 0 ) + 4 q ( h 2 ) + q ( h ) ) {\displaystyle V\approx {\frac {h}{6}}\cdot \left(q(0)+4q\left({\frac {h}{2}}\right)+q(h)\right)}

als Näherungswert für das Volumen eines Körpers, dessen Querschnitt an drei Stellen bekannt ist. Ist der Körper ein Rotationskörper, so gilt bei Rotation der (Radius-)Funktion r ( x ) {\displaystyle r(x)} um die x-Achse:

V = π 0 h ( r ( x ) ) 2 d x π h 6 ( ( r ( 0 ) ) 2 + 4 ( r ( h 2 ) ) 2 + ( r ( h ) ) 2 ) {\displaystyle {\begin{aligned}V&=\pi \cdot \int _{0}^{h}(r(x))^{2}\mathrm {d} x\\&\approx \pi {\frac {h}{6}}\cdot \left(\left(r(0)\right)^{2}+4\left(r\left({\frac {h}{2}}\right)\right)^{2}+(r(h))^{2}\right)\end{aligned}}}

Ist u {\displaystyle u} der Umfang von Boden und Deckel und U {\displaystyle U} der Umfang in der Mitte des Fasses, so ergibt sich daraus der Näherungswert N {\displaystyle N}

V N = π h 6 [ 2 ( u 2 π ) 2 + 4 ( U 2 π ) 2 ] = π h 6 [ 2 ( u 2 4 π 2 ) + 4 ( U 2 4 π 2 ) ] = h 6 π ( 1 2 u 2 + U 2 ) {\displaystyle {\begin{aligned}V&\approx N\\&=\pi {\frac {h}{6}}\cdot \left[2\left({\frac {u}{2\pi }}\right)^{2}+4\left({\frac {U}{2\pi }}\right)^{2}\right]\\&=\pi {\frac {h}{6}}\cdot \left[2\left({\frac {u^{2}}{4\pi ^{2}}}\right)+4\left({\frac {U^{2}}{4\pi ^{2}}}\right)\right]\\&={\frac {h}{6\pi }}\cdot \left({\frac {1}{2}}u^{2}+U^{2}\right)\end{aligned}}}
Also (selbstverständlich Innenmaße):
V Fass h 12 π ( u 2 + 2 U 2 ) {\displaystyle V_{\text{Fass}}\approx {\frac {h}{12\pi }}\cdot \left(u^{2}+2U^{2}\right)}

oder

V Fass π h 12 ( d Rand 2 + 2 d Mitte 2 ) {\displaystyle V_{\text{Fass}}\approx {\frac {\pi h}{12}}\cdot \left(d_{\text{Rand}}^{2}+2d_{\text{Mitte}}^{2}\right)} .

Parabolische Krümmung

Fass mit parabolischer Krümmung

Hat das Fass eine parabolische Krümmung, so erhält man das Fass durch Rotation der Funktion des Radius r ( x ) = a x 2 + b x + c {\displaystyle r(x)=ax^{2}+bx+c} um die x-Achse. Legt man zur Vereinfachung das Achsenkreuz in die Mitte des Fasses, so gilt r ( x ) = a x 2 + c . {\displaystyle r(x)=ax^{2}+c\,.}

Mit r r = r ( h 2 ) {\displaystyle r_{r}=r\left({\tfrac {h}{2}}\right)} und r 0 = r ( 0 ) {\displaystyle r_{0}=r(0)} ergeben sich die Parameter

a = 4 h 2 ( r r r 0 ) {\displaystyle a={\frac {4}{h^{2}}}(r_{r}-r_{0})} und c = r 0 {\displaystyle c=r_{0}}

und damit

r ( x ) = 4 h 2 ( r r r 0 ) x 2 + r 0 . {\displaystyle r(x)={\frac {4}{h^{2}}}(r_{r}-r_{0})\cdot x^{2}+r_{0}\,.}

Mit r r = u 2 π {\displaystyle r_{r}={\frac {u}{2\pi }}} und r 0 = U 2 π {\displaystyle r_{0}={\frac {U}{2\pi }}} also

r ( x ) = 4 h 2 ( u 2 π U 2 π ) x 2 + U 2 π = 2 u U π h 2 x 2 + U 2 π {\displaystyle {\begin{aligned}r(x)&={\frac {4}{h^{2}}}\left({\frac {u}{2\pi }}-{\frac {U}{2\pi }}\right)\cdot x^{2}+{\frac {U}{2\pi }}\\&=2{\frac {u-U}{\pi h^{2}}}x^{2}+{\frac {U}{2\pi }}\end{aligned}}}

Für den Querschnitt q ( x ) = π r ( x ) 2 {\displaystyle q(x)=\pi \cdot r(x)^{2}} ergibt das

q ( x ) = 1 π [ 4 ( u U ) 2 h 4 x 4 + 2 U ( u U ) h 2 x 2 + U 2 4 ] {\displaystyle q(x)={\frac {1}{\pi }}\left[{\frac {4(u-U)^{2}}{h^{4}}}\cdot x^{4}+{\frac {2U(u-U)}{h^{2}}}\cdot x^{2}+{\frac {U^{2}}{4}}\right]}

Damit gilt für das Volumen unter Beachtung der Symmetrie (gerade Funktion):

V = h 2 h 2 q ( x ) d x = 2 0 h 2 q ( x ) d x = 2 π 0 h 2 4 ( u U ) 2 h 4 x 4 + 2 U ( u U ) h 2 x 2 + U 2 4 d x = 2 π [ 4 ( u U ) 2 h 4 x 5 5 + 2 U ( u U ) h 2 x 3 3 + U 2 4 x ] 0 h 2 = 2 π ( 4 ( u U ) 2 h 4 h 5 2 5 5 + 2 U ( u U ) h 2 h 3 2 3 3 + U 2 4 h 2 ) = 1 π ( 8 ( u U ) 2 2 5 5 h + 4 U ( u U ) 2 3 3 h + 2 U 2 2 4 h ) = h π ( 1 20 ( u U ) 2 + 1 6 U ( u U ) + 1 4 U 2 ) {\displaystyle {\begin{aligned}V&=\cdot \int _{-{\frac {h}{2}}}^{\frac {h}{2}}q(x)\,\mathrm {d} x\\&=2\cdot \int _{0}^{\frac {h}{2}}q(x)\,\mathrm {d} x\\&={\frac {2}{\pi }}\int _{0}^{\frac {h}{2}}{\frac {4(u-U)^{2}}{h^{4}}}\cdot x^{4}+{\frac {2U(u-U)}{h^{2}}}\cdot x^{2}+{\frac {U^{2}}{4}}\,\mathrm {d} x\\&={\frac {2}{\pi }}\left[4{\frac {(u-U)^{2}}{h^{4}}}\cdot {\frac {x^{5}}{5}}+{\frac {2U(u-U)}{h^{2}}}\cdot {\frac {x^{3}}{3}}+{\frac {U^{2}}{4}}\cdot x\right]_{0}^{\frac {h}{2}}\\&={\frac {2}{\pi }}\left(4{\frac {(u-U)^{2}}{h^{4}}}\cdot {\frac {h^{5}}{2^{5}\cdot 5}}+{\frac {2U(u-U)}{h^{2}}}\cdot {\frac {h^{3}}{2^{3}\cdot 3}}+{\frac {U^{2}}{4}}\cdot {\frac {h}{2}}\right)\\&={\frac {1}{\pi }}\left(8{\frac {(u-U)^{2}}{2^{5}\cdot 5}}h+4{\frac {U(u-U)}{2^{3}\cdot 3}}h+2{\frac {U^{2}}{2\cdot 4}}h\right)\\&={\frac {h}{\pi }}\left({\frac {1}{20}}(u-U)^{2}+{\frac {1}{6}}U(u-U)+{\frac {1}{4}}U^{2}\right)\end{aligned}}}

oder:

V = h π ( 1 20 ( u 2 2 u U + U 2 ) + 1 6 ( U u U 2 ) + 1 4 U 2 ) = h 60 π ( 3 u 2 6 u U + 3 U 2 + 10 U u 10 U 2 + 15 U 2 ) = h 60 π ( 3 u 2 + 4 u U + 8 U 2 ) {\displaystyle {\begin{aligned}V&={\frac {h}{\pi }}\left({\frac {1}{20}}(u^{2}-2uU+U^{2})+{\frac {1}{6}}(Uu-U^{2})+{\frac {1}{4}}U^{2}\right)\\&={\frac {h}{60\pi }}\left(3u^{2}-6uU+3U^{2}+10Uu-10U^{2}+15U^{2}\right)\\&={\frac {h}{60\pi }}\left(3u^{2}+4uU+8U^{2}\right)\end{aligned}}}

Als Fehler erhält man:

E ( f ) = V N = h 60 π [ 3 u 2 + 4 U u + 8 U 2 ] h 12 π [ u 2 + 2 U 2 ] = h 30 π ( u U ) 2 . {\displaystyle E(f)=V-N={\frac {h}{60\pi }}\cdot \left[3u^{2}+4Uu+8U^{2}\right]-{\frac {h}{12\pi }}\cdot \left[u^{2}+2U^{2}\right]=-{\frac {h}{30\pi }}\cdot (u-U)^{2}.}

An diesem Beispiel kann man die Gültigkeit der oben angegebenen Formel

E ( f ) = ( b a ) 5 2880 f ( 4 ) ( ζ ) {\displaystyle E(f)=-{\frac {(b-a)^{5}}{2880}}{f^{(4)}(\zeta )}}

gut verifizieren. Hier ist b a = h {\displaystyle b-a=h} und

f ( x ) = π ( r ( x ) ) 2 = π ( 2 u U π h 2 x 2 + U 2 π ) 2 {\displaystyle f(x)=\pi \cdot (r(x))^{2}=\pi \cdot \left({2{\frac {u-U}{\pi h^{2}}}}x^{2}+{\frac {U}{2\pi }}\right)^{2}}

ein Polynom vom Grad 4 mit konstanter 4. Ableitung:

f ( 4 ) ( x ) = 96 ( u U ) 2 π h 4 . {\displaystyle f^{(4)}(x)={\frac {96\cdot (u-U)^{2}}{\pi \cdot h^{4}}}.}

Für den Fehler erhält man

E ( f ) = h 5 2880 96 ( u U ) 2 π h 4 = h 30 π ( u U ) 2 0 , {\displaystyle E(f)=-{\frac {h^{5}}{2880}}\cdot {\frac {96\cdot (u-U)^{2}}{\pi \cdot h^{4}}}=-{\frac {h}{30\pi }}\cdot (u-U)^{2}\leq 0,}

somit den gleichen Wert wie oben.

Der Fehler ist kleiner oder gleich Null. Damit ist die Näherung N {\displaystyle N} größer oder gleich dem exakten Volumen V {\displaystyle V} . Der Fehler ist umso größer, je mehr sich u {\displaystyle u} und U {\displaystyle U} unterscheiden, je gewölbter das Fass ist. Der Fehler ist genau dann 0, wenn u = U {\displaystyle u=U} , das Fass also ein Zylinder ist, in Übereinstimmung mit obiger Aussage, dass die Formel für Zylinder exakt ist.

Verwendung als Runge-Kutta-Verfahren

Die Simpsonregel lässt sich auch als Runge-Kutta-Verfahren darstellen, und zwar mit dem Butcher-Schema

0 0 0 0 1 2 1 2 0 0 1 1 2 0 1 6 4 6 1 6 . {\displaystyle {\begin{array}{c|ccc}0&0&0&0\\{\frac {1}{2}}&{\frac {1}{2}}&0&0\\1&-1&2&0\\\hline &{\frac {1}{6}}&{\frac {4}{6}}&{\frac {1}{6}}\end{array}}.}

Literatur

  • Hans R. Schwarz, Norbert Köckler: Numerische Mathematik. 6. Auflage, Teubner, Stuttgart 2006, ISBN 3-519-42960-8, S. 311–316.
  • Johannes Kepler: Neue Stereometrie der Fässer. Aus dem Lateinischen übersetzt und herausgegeben von R. Klug. W. Engelmann. Leipzig, 1908.
Commons: Simpson's rule – Sammlung von Bildern, Videos und Audiodateien
  • Website des Museumsraum zu Johannes Kepler des Bundesrealgymnasium Kepler, Graz

Einzelnachweise

  1. Josef Stoer: Einführung in die Numerische Mathematik I. Unter Berücksichtigung von Vorlesungen von F. L. Bauer (= Heidelberger Taschenbücher. Band 105). 9. Auflage. Springer-Verlag, Berlin / Heidelberg / New York / Tokyo 2005, ISBN 3-540-21395-3, S. 157. 
  2. Josef Stoer: Einführung in die Numerische Mathematik I. Unter Berücksichtigung von Vorlesungen von F. L. Bauer (= Heidelberger Taschenbücher. Band 105). 9. Auflage. Springer-Verlag, Berlin / Heidelberg / New York / Tokyo 2005, ISBN 3-540-21395-3, S. 161 ff.