Lagrange-Fehlerschranke

Aus einer Schranke M für die n-te Ableitung Ihrer Funktion, den Positionen der Interpolationsknoten und dem Auswertungspunkt liefert sie die größtmögliche Abweichung zwischen der wahren Funktion und dem Interpolationspolynom, berechnet mit dem klassischen Restgliedsatz. Ein Aufruf, eine Zahl, kein numerisches Raten — die Schranke ist eine geschlossene Formel, das Ergebnis also exakte Arithmetik statt einer durch Stichproben erzeugten Schätzung.

Was die Fehlerschranke tatsächlich aussagt

Die Interpolation einer Funktion durch eine Menge von Stützstellen liefert ein Polynom, das an diesen Stellen exakt mit der Funktion übereinstimmt, aber für sich genommen nichts über die Punkte dazwischen aussagt. Der Lagrange-Restgliedsatz schließt diese Lücke: Verläuft das Polynom durch n Stützstellen und übersteigt der Betrag der n-ten Ableitung der Funktion auf dem Intervall niemals M, dann ist der wahre Fehler an jedem Punkt x höchstens M geteilt durch n Fakultät, multipliziert mit dem Produkt der Abstände von x zu jeder Stützstelle. Dieser Endpunkt wertet diesen Ausdruck direkt aus.

Sie geben die Ableitungsschranke M, die Positionen der Stützstellen und den Auswertungspunkt an; Sie erhalten den maximalen Fehler zurück, den die Interpolation dort überhaupt haben kann. Damit ist sie ein Zertifikat, keine Messung — sie gilt selbst im schlimmsten Fall, und genau das brauchen Sie, bevor Sie einem interpolierten Wert in einem Bericht, einem Regelsystem oder einer veröffentlichten Grafik vertrauen.

Wie Stützstellen und Auswertungspunkt die Schranke formen

Der Produktterm ist der Teil, den es zu verstehen lohnt, denn er erklärt, wo Interpolation sicher und wo sie gefährlich ist. Jede Stützstelle trägt einen Faktor bei, nämlich den Abstand zwischen Ihrem Auswertungspunkt und dieser Stützstelle, sodass die Schranke exakt an den Stützstellen auf null fällt — dort ist das Polynom konstruktionsbedingt exakt — und wächst, sobald Sie sich von der Gruppe entfernen.

Eine Auswertung innerhalb einer engen, gut verteilten Gruppe von Stützstellen hält das Produkt klein; eine Extrapolation über die äußerste Stützstelle hinaus lässt jeden Faktor gleichzeitig wachsen, und die Schranke explodiert entsprechend. Die Fakultät im Nenner arbeitet zu Ihren Gunsten: Jede zusätzliche Stützstelle erhöht den Grad um eins und teilt die Schranke durch einen weiteren Faktor — deshalb kann eine gut platzierte Stützstelle die Genauigkeit drastisch verbessern.

Nutzen Sie diesen Endpunkt, um diese Intuition quantitativ zu prüfen: Verschieben Sie den Punkt, fügen Sie Stützstellen hinzu oder entfernen Sie sie, und beobachten Sie, wie der Worst-Case-Fehler reagiert, bevor Sie sich auf eine Anordnung festlegen.

Wo der Endpunkt im echten Arbeitsablauf passt

Der typische Einsatz ist die Verifikation, nicht die Entdeckung. Sie haben bereits eine Funktion, eine Reihe von Messpunkten und einen Grund zu interpolieren — eine Nachschlagetabelle für einen Sensor, eine glatte Rekonstruktion tabellierter physikalischer Daten, einen günstigen Ersatz für eine teure Berechnung. Bevor Sie die Näherung ausliefern, begrenzen Sie ihren Fehler und halten die Zahl fest.

Ingenieure nutzen sie, um zu beweisen, dass eine tabellengestützte Regelung innerhalb der Toleranz bleibt; Analysten nutzen sie, um die Veröffentlichung interpolierter Werte zu rechtfertigen; Studierende nutzen sie, um Hausaufgaben am Satz zu prüfen, statt zu hoffen. Die Berechnung ist deterministische Arithmetik in geschlossener Form: kein Zufall, keine Stichproben, keine externen Aufrufe — dieselbe Eingabe liefert also immer dieselbe Schranke.