Numerische Quadratur

Bei der numerischen Quadratur versucht man, den Wert eines Riemann-Integrals näherungsweise zu bestimmen.

right Das Riemann-Intergral

J(f) = \int_{a}^{b}f(x)dx

ist der Flächeninhalt unterhalb der Kurve der Funktion f(x), wobei wir zunächst annehmen, dass f(x) > 0 im Intervall [a,b] ist.

Oft kann man das Integral nicht geschlossen lösen, d.h. man kann keine Stammfunktion zu f(x) angeben. Deshalb versucht man, Näherungswerte zu ermitteln.

Dazu unterteilt man die gesuchte Fläche in senkrechte Streifen und nähert jede dieser so erhaltenen Teilflächen durch einfache geometrische Figuren (z.B. Trapez) oder einfache Funktionen (z.B. Polynome) an.

Für die Flächenberechnung dieser einfachen Figuren benötigt man den Wert der Funktion f(x) an den so genannten Stützstellen x0, ... xm. Die Summe über diese Teilflächen ergibt eine Näherung des Integrals. Je schmaler man die einzelnen Teilflächen wählt desto genauer wird die Näherung. Von Interesse ist dann noch die Frage, wie groß der Fehler ist, der sich durch die Näherung ergibt. Dieser Fehler wird durch das Restglied beschrieben.

Inhaltsverzeichnis
1 Allgemeine Quadraturformel
2 Summierte Quadraturformeln
3 Spezielle Quadraturformeln

3.1 Sehnentrapezformel
3.2 Tangententrapezformel
3.3 Simpsonsche Formel oder Keplersche Fassregel
3.4 Hermitsche Formel

Allgemeine Quadraturformel

Mit Hilfe von Interpolationspolynomen und deren Lagrange-Darstellung kann man die folgende allgemeine Quadraturformel und das zugehörige Restglied herleiten.

Die allgemeine Quadraturformel für eine Teilfläche lautet

Q(f) = \sum_{j=0}^m \beta_j(b-a)^{j+1}f(x_0,...,x_j)

mit den Koeffizienten

Parser-Fehler (die PNG-Konvertierung schlug fehl.): \beta_j=\left\{\begin{matrix} 1 & \mbox{für }j\mbox{ = 0} \\ \int_0^1(z-z_0)...(z-z_{j-1}) dz & \mbox{für }j\mbox{ =1,2,...,m} \end{matrix}\right.
z_j = \frac{x_j -a}{b-a}

Das Restglied beträgt

E(f) = \int_a^b(x-x_0)...(x-x_m)f(x_0,..,x_m,x)dx

Ist die Funktion f(x) im Intervall [a,b] (m+1)-mal stetig differenzierbar ("reellwertig" wird nicht gefordert), dann läßt sich das Restglied nach oben abschätzen durch

\left| E(f) \right| \le {(b-a)^{m+2} \over (m+1)!}\int_{0}^{1}{\left|(z-z_0)...(z-z_m)\right|dz}\ \max_{a\le x \le b} {\left| f^{(m+1)}(x) \right|}

Wenn noch zusätzlich für alle Stützstellen im Intervall [a,b] gilt (x - xj) >=0 oder alternativ (x - xj) <=0, dann hat der Integrand keinen Vorzeichenwechsel in [a,b] und man kann zeigen:

\int_{0}^{1}{\left|(z-z_0)...(z-z_m)\right|dz} = {\left|\beta_{m+1} \right|}

Daraus folgt dann die Restgliedabschätzung

\left| E(f) \right| \le {(b-a)^{m+2} \over (m+1)!}{\left|\beta_{m+1} \right|}\ \max_{a\le x \le b} {\left| f^{(m+1)}(x) \right|}

Ist die Funktion f(x) zusätzlich noch reellwertig in [a,b], dann kann man mit Hilfe des Mittelwertsatzes der Integralrechnung folgende Darstellung für das Restglied herleiten:

E(f) = {(b-a)^{m+2} \over (m+1)!}{\beta_{m+1}}{f^{(m+1)}(\zeta)}

mit einer Zwischenstelle ζ im Intervall [a,b].

Summierte Quadraturformeln

Um das Integral noch besser annähern zu können unterteilt man das Intervall [a,b] in nebeneinanderliegende kleinere Teilintervalle. In jedem Teilintervall wendet man die gleiche Näherung für die einzelnen Flächen an und addiert danach die entstandenen Näherungen.

Unterteilen wir also das Intervall [a,b] in N nebeneinanderliegende Teilntervalle

[a1,b1],[a2,b2], ... [aN,bN]     mit a1=a;    ak+1=bk  k=1,...,N-1;   bN = b

Die Teilintervalle müssen zunächst nicht die gleiche Länge haben.

Dann gilt für jede Teilfläche

\int_{a_k}^{b_k}f(x)dx = Q_k(f)+E_k(f)\quad k=1,...,N

Daraus folgt für das gesamte Integral

J(f) = \int_{a}^{b}f(x)dx = \sum_{k=1}^N \int_{a_k}^{b_k}f(x)dx = Q(f) + E(f)

mit

Q(f) = \sum_{k=1}^N Q_k(f)
E(f) = \sum_{k=1}^N E_k(f)

Sei f(x) nun (m+1) mal stetig differenzierbar im Gesamtintervall [a,b]. Ferner sollen ab jetzt alle Teilintervalle die gleiche Länge h haben, also

h=b_k-a_k=\frac{b -a}{N}\quad k=1,...,N

Dann gilt für die einzelnen Restglieder (s.oben)

\left| E_k(f) \right| \le {h^{m+2} \over (m+1)!}{\left|\beta_{m+1} \right|}\ \max_{a_k\le x \le b_k} {\left| f^{(m+1)}(x) \right|}

Summierung über die einzelnen Restglieder ergibt die Abschätzung für das gesamte Restglied

\left| E(f)\right| \le \sum_{k=1}^N \left| E_k(f) \right| \le (b-a){h^{m+1} \over (m+1)!}{\left|\beta_{m+1} \right|}\max_{a_k \le x \le b_k}{\left| f^{(m+1)}(x) \right|}

mit Nh = b - a.

Ist die Funktion f(x) zudem auf [a,b] reellwertig, dann kann man für das Restglied analog herleiten:

E(f) = (b-a) {h^{m+1} \over (m+1)!}{\beta_{m+1}}{f^{(m+1)}(\zeta)}

Spezielle Quadraturformeln

Man hat nun verschiedene Möglichkeiten, die einzelnen Teilfächen durch spezielle einfachere Flächen anzunähern. Die Anwendung der obigen allgemeinen Quadraturformel auf diese speziellen Flächen liefert einige bekannte und wichtige spezielle Quadraturformeln.

Sehnentrapezformel

Man ersetzt die Kurve f(x) durch die Verbindungsgerade zwischen den Punkten (a,f(a)) und (b,f(b)) - also durch die Sehne - und erhält somit ein Trapez.

Mit

erhält man die Koeffizienten βj

und daraus schließlich die Sehnentrapezformel

Q(f) = \frac{b-a}{2}(f(a)+f(b))

Tangententrapezformel

Man legt an die Kurve f(x) im Punkt c in der Mitte des Intervalls [a,b] die Tangente und erhält so wieder ein Trapez.

Mit

erhält man die Koeffizienten βj

und daraus schließlich die Tangententrapezformel

Q(f) = (b-a) \ f({a+b \over 2})

Simpsonsche Formel oder Keplersche Fassregel

Interpoliert man die Funktion f(x) mittels eines quadratischen Polynoms in den Punkten a,b,c (c liegt in der Mitte von [a,b]), dann erhält man die Simpsonsche Formel.

Mit

erhält man die Koeffizienten βj

und damit die Simpsonsche Formel

Q(f) = \frac{b-a}{6} \ (f(a)+4f(\frac{a+b}{2})+f(b))

Hermitsche Formel

Mit

ergeben sich


Kategorie:Integralrechnung Kategorie:Numerische Mathematik

See also: Numerische Quadratur, Integralrechnung, Keplersche Fassregel, Sehnentrapezformel, Simpsonsche Formel, Tangententrapezformel, Hermitsche Formel