Methode der kleinsten Quadrate
Die Methode der kleinsten Quadrate (kurz: MKQ) oder KQ-Methode (englisch method of least squares oder lediglich least squares, kurz: LS); zur Abgrenzung von daraus abgeleiteten Erweiterungen wie z. B. der verallgemeinerten Methode der kleinsten Quadrate oder der zweistufigen Methode der kleinsten Quadrate auch mit dem Zusatz „gewöhnliche“ bezeichnet, d. h. gewöhnliche Methode der kleinsten Quadrate (englisch ordinary least squares, kurz: OLS; veraltet Methode der kleinsten Abweichungsquadratsumme) ist das mathematische Standardverfahren zur Ausgleichungsrechnung.
Dabei wird zu einer Menge von Datenpunkten eine Funktion bestimmt, die möglichst nahe an den Datenpunkten verläuft und somit die Daten bestmöglich zusammenfasst. Die am häufigsten verwendete Funktion ist die Gerade, die dann Ausgleichsgerade genannt wird. Um die Methode anwenden zu können, muss die Funktion mindestens einen Parameter enthalten. Diese Parameter werden dann durch die Methode bestimmt, so dass, wenn die Funktion mit den Datenpunkten verglichen und der Abstand zwischen Funktionswert und Datenpunkt quadriert wird, die Summe dieser quadrierten Abstände möglichst gering wird. Die Abstände werden dann Residuen genannt.
Typischerweise werden mit dieser Methode reale Daten, etwa physikalische oder wirtschaftliche Messwerte, untersucht. Diese Daten beinhalten oft unvermeidbare Messfehler und Schwankungen. Unter der Annahme, dass die gemessenen Werte nahe an den zugrunde liegenden „wahren Werten“ liegen und zwischen den Messwerten ein bestimmter Zusammenhang besteht, kann die Methode verwendet werden, um eine Funktion zu finden, die diesen Zusammenhang der Daten möglichst gut beschreibt. Die Methode kann auch umgekehrt verwendet werden, um verschiedene Funktionen zu testen und dadurch einen unbekannten Zusammenhang in den Daten zu beschreiben.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/MDKQ1.svg/320px-MDKQ1.svg.png)
In der Beispielgrafik sind Datenpunkte und eine Ausgleichsfunktion eingetragen. Es wird eine allgemeine Funktion (die Modellfunktion) ausgewählt, die zur Fragestellung und den Daten passen sollte, hier eine logistische Funktion. Deren Parameter werden nun so bestimmt, dass die Summe der Abweichungsquadrate der Beobachtungen von den Werten der Funktion minimiert wird. In der Grafik ist die Abweichung an der Stelle als senkrechter Abstand der Beobachtung von der Kurve zu erkennen.
In der Stochastik wird die Methode der kleinsten Quadrate meistens als regressionsanalytische Schätzmethode benutzt, wo sie auch als Kleinste-Quadrate-Schätzung bzw. gewöhnliche Kleinste-Quadrate-Schätzung bezeichnet wird. Da die Kleinste-Quadrate-Schätzung die Residuenquadratsumme minimiert, ist es dasjenige Schätzverfahren, welches das Bestimmtheitsmaß maximiert. Angewandt als Systemidentifikation ist die Methode der kleinsten Quadrate in Verbindung mit Modellversuchen z. B. für Ingenieure ein Ausweg aus der paradoxen Situation, Modellparameter für unbekannte Gesetzmäßigkeiten zu bestimmen.
Geschichte
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Carl_Friedrich_Gauss.jpg/220px-Carl_Friedrich_Gauss.jpg)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Ceres-Beobachtung_von_Piazzi.png/220px-Ceres-Beobachtung_von_Piazzi.png)
Am Neujahrstag 1801 entdeckte der italienische Astronom Giuseppe Piazzi den Zwergplaneten Ceres. 40 Tage lang konnte er die Bahn verfolgen, dann verschwand Ceres hinter der Sonne. Im Laufe des Jahres versuchten viele Wissenschaftler erfolglos, anhand von Piazzis Beobachtungen die Bahn zu berechnen – unter der Annahme einer Kreisbahn, denn nur für solche konnten damals die Bahnelemente aus beobachteten Himmelspositionen mathematisch ermittelt werden.
Der 24-jährige Carl Friedrich Gauß schaffte es, die Bahn mit Hilfe einer neuen indirekten Methode der Bahnbestimmung und seiner Ausgleichsrechnungen auf Basis der Methode der kleinsten Quadrate (wenn auch noch nicht so bezeichnet) so zu berechnen, dass Franz Xaver von Zach ihn am 7. Dezember 1801 und – bestätigt – am 31. Dezember 1801 wiederfinden konnte. Heinrich Wilhelm Olbers bestätigte dies unabhängig von Zach durch Beobachtung am 1. und 2. Januar 1802.[1]
Das Problem der Wiederauffindung der Ceres als solches lag darin, dass durch die Beobachtungen weder der Ort, ein Stück der Bahn, noch die Entfernung bekannt sind, sondern nur die Richtungen der Beobachtung. Dies führt auf die Suche einer Ellipse und nicht nach einem Kreis, wie ihn Gauß’ Konkurrenten ansetzten.[2] Einer der Brennpunkte der Ellipse ist bekannt (die Sonne selbst), und die Bögen der Bahn der Ceres zwischen den Richtungen der Beobachtung werden nach dem zweiten Keplerschen Gesetz durchlaufen, das heißt, die Zeiten verhalten sich wie die vom Leitstrahl überstrichenen Flächen. Außerdem ist für die rechnerische Lösung bekannt, dass die Beobachtungen selbst von einem Kegelschnitt im Raum ausgehen, der Erdbahn selbst.
Im Grundsatz führt das Problem auf eine Gleichung achten Grades, deren triviale Lösung die Erdbahn selbst ist. Durch umfangreiche Nebenbedingungen und (später) die von Gauß entwickelte Methode der kleinsten Quadrate gelang es dem 24-Jährigen, für die Bahn der Ceres für den 25. November bis 31. Dezember 1801 den von ihm berechneten Ort anzugeben. Damit konnte Zach am letzten Tag der Vorhersage Ceres wiederfinden. Der Ort lag nicht weniger als 7° (d. h. 13,5 Vollmondbreiten) östlich der Stelle, wo die anderen Astronomen Ceres vermutet hatten, was nicht nur Zach, sondern auch Olbers gebührend würdigten.[3]
Seine ersten Berechnungen waren zwar noch ohne die Methode der kleinsten Quadrate, erst als nach der Wiederentdeckung von Ceres viele neue Daten vorlagen, benutzte er diese für eine genauere Bestimmung der Bahnelemente, ohne aber Details seiner Methode allgemein offenzulegen.[4] Piazzis Ruf, der aufgrund seiner nicht zu einer Kreisbahn passen wollenden Bahnpunkte stark gelitten hatte, war ebenfalls wiederhergestellt.[5]
Eine Vorgängermethode der Methode der kleinsten Quadrate stellt die Methode der kleinsten absoluten Abweichungen dar, die 1760 von Rugjer Josip Bošković entwickelt wurde. Die Grundlagen der Methode der kleinsten Quadrate hatte Gauß schon 1795 im Alter von 18 Jahren entwickelt. Zugrundeliegend war eine Idee von Pierre-Simon Laplace, die Abweichungen der Messwerte vom erwarteten Wert so aufzusummieren, dass die Summe über all diese sogenannten Fehler null ergab. Im Unterschied zu dieser Methode verwendete Gauß statt der Fehler die Fehlerquadrate und konnte so auf die Nullsummen-Anforderung verzichten. Unabhängig von Gauß entwickelte der Franzose Adrien-Marie Legendre dieselbe Methode, veröffentlichte diese als Erster im Jahr 1805, am Schluss eines kleinen Werkes über die Berechnung der Kometenbahnen,[6] und veröffentlichte eine zweite Abhandlung darüber im Jahr 1810. Seine Darstellung war überaus klar und einfach. Von Legendre stammt auch die Bezeichnung Méthode des moindres carrés (Methode der kleinsten Quadrate).
1809 publizierte Gauß dann im zweiten Band seines himmelsmechanischen Werkes Theoria motus corporum coelestium in sectionibus conicis solem ambientium (Theorie der Bewegung der Himmelskörper, welche in Kegelschnitten die Sonne umlaufen) das Verfahren[7] inklusive der Normalengleichungen, sowie das Gaußsche Eliminationsverfahren und das Gauß-Newton-Verfahren,[8] womit er weit über Legendre hinausging. Darin bezeichnete er die Methode der kleinsten Quadrate als seine Entdeckung und behauptete, diese schon im Jahr 1795 (also vor Legendre) entdeckt und angewandt zu haben, was diesen nachhaltig verärgerte. Legendre beschwerte sich darüber in einem langen Brief an Gauß, welchen dieser unbeantwortet ließ.[9] Gauß verwies nur gelegentlich auf einen Eintrag in seinem mathematischen Tagebuch vom 17. Juni 1798 (dort findet sich der kryptische Satz in Latein: Calculus probabilitatis contra La Place defensus (Kalkül der Wahrscheinlichkeit gegen Laplace verteidigt) und sonst nichts).[10] Laplace beurteilte die Sache so, dass Legendre die Erstveröffentlichung tätigte, Gauß die Methode aber zweifelsfrei schon vorher kannte, selbst nutzte und auch anderen Astronomen brieflich mitteilte.[11] Die Methode der kleinsten Quadrate wurde nach ihrer Veröffentlichung schnell das Standardverfahren zur Behandlung von astronomischen oder geodätischen Datensätzen.
Gauß nutzte das Verfahren intensiv bei seiner Vermessung des Königreichs Hannover durch Triangulation. 1821 und 1823 erschien die zweiteilige Arbeit sowie 1826 eine Ergänzung zur Theoria combinationis observationum erroribus minimis obnoxiae (Theorie der den kleinsten Fehlern unterworfenen Kombination der Beobachtungen),[12] in denen Gauß den Erfolg der Methode der kleinsten Quadrate damit begründete, dass dieses im Vergleich zu anderen Verfahren der Ausgleichungsrechnung in einer breiten Hinsicht optimal ist. Die mathematische Formulierung dieser Aussage ist als Satz von Gauß-Markow bekannt, benannt nach Andrei Andrejewitsch Markow, der diesen anfänglich wenig beachteten Teil der Arbeit Gauß’ im 20. Jahrhundert wiederentdeckt und bekannt gemacht hatte (siehe auch Satz von Gauß-Markow#Geschichte). Die Theoria Combinationis enthält ferner Methoden zum effizienten Lösen linearer Gleichungssysteme, wie das Gauß-Seidel-Verfahren und die LR-Zerlegung, die einen wesentlichen Fortschritt zum damaligen mathematischen Kenntnisstand darstellen.[13]
Der französische Vermessungsoffizier André-Louis Cholesky entwickelte während des Ersten Weltkriegs die Cholesky-Zerlegung, die gegenüber den Lösungsverfahren von Gauß nochmal einen erheblichen Effizienzgewinn darstellte. In den 1960er Jahren entwickelte Gene Golub die Idee, die auftretenden linearen Gleichungssysteme mittels QR-Zerlegung zu lösen.
Das Verfahren
Voraussetzungen
Man betrachtet eine abhängige Größe , die von einer Variablen oder auch von mehreren Variablen beeinflusst wird. So hängt die Dehnung einer Feder nur von der aufgebrachten Kraft ab, die Profitabilität eines Unternehmens jedoch von mehreren Faktoren wie Umsatz, den verschiedenen Kosten oder dem Eigenkapital. Zur Vereinfachung der Notation wird im Folgenden die Darstellung auf eine Variable beschränkt. Der Zusammenhang zwischen und den Variablen wird über eine Modellfunktion , beispielsweise eine Parabel oder eine Exponentialfunktion
- ,
die von sowie von Funktionsparametern abhängt, modelliert. Diese Funktion entstammt entweder der Kenntnis des Anwenders oder einer mehr oder weniger aufwendigen Suche nach einem Modell, eventuell müssen dazu verschiedene Modellfunktionen angesetzt und die Ergebnisse verglichen werden. Ein einfacher Fall auf Basis bereits vorhandener Kenntnis ist beispielsweise die Feder, denn hier ist das Hookesche Gesetz und damit eine lineare Funktion mit der Federkonstanten als einzigem Parameter Modellvoraussetzung. In schwierigeren Fällen wie dem des Unternehmens muss der Wahl des Funktionstyps jedoch ein komplexer Modellierungsprozess vorausgehen.
Um Informationen über die Parameter und damit die konkrete Art des Zusammenhangs zu erhalten, werden zu jeweils gegebenen Werten der unabhängigen Variablen entsprechende Beobachtungswerte erhoben. Die Parameter dienen zur Anpassung des gewählten Funktionstyps an diese beobachteten Werte . Ziel ist es nun, die Parameter so zu wählen, dass die Modellfunktion die Daten bestmöglich approximiert.
Gauß und Legendre hatten die Idee, Verteilungsannahmen über die Messfehler dieser Beobachtungswerte zu machen. Sie sollten im Durchschnitt Null sein, eine gleichbleibende Varianz haben und von jedem anderen Messfehler stochastisch unabhängig sein. Man verlangt damit, dass in den Messfehlern keinerlei systematische Information mehr steckt, sie also rein zufällig um Null schwanken. Außerdem sollten die Messfehler normalverteilt sein, was zum einen wahrscheinlichkeitstheoretische Vorteile hat und zum anderen garantiert, dass Ausreißer in so gut wie ausgeschlossen sind.
Um unter diesen Annahmen die Parameter zu bestimmen, ist es im Allgemeinen notwendig, dass deutlich mehr Datenpunkte als Parameter vorliegen, es muss also gelten.
Minimierung der Summe der Fehlerquadrate
Das Kriterium zur Bestimmung der Approximation sollte so gewählt werden, dass große Abweichungen der Modellfunktion von den Daten stärker gewichtet werden als kleine. Sofern keine Lösung ganz ohne Abweichungen möglich ist, dann ist der Kompromiss mit der insgesamt geringsten Abweichung das beste allgemein gültige Kriterium.
Dazu wird die Summe der Fehlerquadrate, die auch Fehlerquadratsumme (genauer: Residuenquadratsumme) heißt, als die Summe der quadrierten Differenzen zwischen den Werten der Modellkurve und den Daten definiert.
In Formelschreibweise mit den Parametern und ergibt sich
Es sollen dann diejenigen Parameter ausgewählt werden, bei denen die Summe der quadrierten Anpassungsfehler minimal wird:
Wie genau dieses Minimierungsproblem gelöst wird, hängt von der Art der Modellfunktion ab.
Wird die Fehlerquadratsumme für einen externen Datensatz vorhergesagt, so spricht man von der PRESS-Statistik (englisch predictive residual sum of squares).
Zusammenhang mit dem zentralen Grenzwertsatz
Selbst wenn die Fehlerterme nicht normalverteilt sind, folgt aus dem zentralen Grenzwertsatz oft, dass der Schätzer der bedingten Erwartung approximativ normalverteilt ist, solange die Stichprobe hinreichend groß ist. Aus diesem Grund ist die Verteilung des Fehlerterms bei großen Stichprobenumfängen oft kein gravierendes Problem in der Regressionsanalyse. Speziell ist es häufig nicht wichtig, ob der Fehlerterm einer Normalverteilung folgt, es sei denn es liegen beispielsweise folgende Punkte vor[14]:
- die Stichprobengröße ist klein
- die Verteilung der Fehler ist eine Heavy-tailed-Verteilung, welche zur Erzeugung von Daten führt, welche weit weg von den anderen Daten liegen (Stichproben aus den Heavy tails werden dann oft als Ausreißer interpretiert)
- Multimodale Fehlerverteilungen
- große Schiefe der Fehlerverteilung
Lineare Modellfunktion
Lineare Modellfunktionen sind Linearkombinationen aus beliebigen, im Allgemeinen nicht-linearen Basisfunktionen. Für solche Modellfunktionen lässt sich das Minimierungsproblem auch analytisch über einen Extremwertansatz ohne iterative Annäherungsschritte lösen. Zunächst werden einige einfache Spezialfälle und Beispiele gezeigt.
Spezialfall einer einfachen linearen Ausgleichsgeraden
Herleitung und Verfahren
Eine einfache Modellfunktion mit zwei linearen Parametern stellt das Polynom erster Ordnung
dar. Gesucht werden zu gegebenen Messwerten die Koeffizienten und der bestangepassten Geraden. Die Abweichungen zwischen der gesuchten Geraden und den jeweiligen Messwerten
nennt man Anpassungsfehler oder Residuen. Gesucht sind nun die Koeffizienten und mit der kleinsten Summe der Fehlerquadrate
- .
Der große Vorteil des Ansatzes mit diesem Quadrat der Fehler wird sichtbar, wenn man diese Minimierung mathematisch durchführt: Die Summenfunktion wird als Funktion der beiden Variablen und aufgefasst (die eingehenden Messwerte sind dabei numerische Konstanten), dann die Ableitung (genauer: partielle Ableitungen) der Funktion nach diesen Variablen (also und ) gebildet und von dieser Ableitung schließlich die Nullstelle gesucht. Es ergibt sich das lineare Gleichungssystem
mit der Lösung
- und ,
wobei die Summe der Abweichungsprodukte zwischen und darstellt, und die Summe der Abweichungsquadrate von darstellt. Dabei ist das arithmetische Mittel der -Werte, entsprechend. Die Lösung für kann mit Hilfe des Verschiebungssatzes auch in nicht-zentrierter Form
angegeben werden. Diese Ergebnisse können auch mit Funktionen einer reellen Variablen, also ohne partielle Ableitungen, hergeleitet werden.[15]
Aus der Lösung von wird zudem eine Eigenschaft der linearen Ausgleichsgerade ersichtlich: Die Ausgleichsgerade verläuft stets durch den Punkt . Das ist hilfreich, falls die Ausgleichsgerade sehr steil oder gar senkrecht verläuft und der Achsenabschnitt dadurch sehr groß wird oder gar nicht berechnet werden kann. In diesem Fall kann dieser Punkt als Stützpunkt einer Vektordarstellung der Ausgleichsgerade verwendet werden.
Beispiel mit einer Ausgleichsgeraden
In diesem Beispiel wird eine Ausgleichsgerade der Form berechnet, um den Zusammenhang zwischen zwei Merkmalen eines Datensatzes darzustellen. Der Datensatz besteht aus Länge und Breite von zehn Kriegsschiffen (siehe Kriegsschiffsdaten). Es soll versucht werden, die Breite mit der Länge in Bezug zu setzen. Die Daten werden in der folgenden Tabelle in den ersten drei Spalten wiedergegeben. Die weiteren Spalten beziehen sich auf Zwischenergebnisse zur Berechnung der Ausgleichsgeraden. Die Variable soll dabei die Länge des Kriegsschiffs bezeichnen und dessen Breite. Gesucht ist die Gerade für die, wenn die bekannten Werte eingesetzt werden, die Funktionswerte möglichst nahe an den bekannten Werten liegen.
Kriegsschiff | Länge (m) | Breite (m) | ||||||
---|---|---|---|---|---|---|---|---|
1 | 208 | 21,6 | 40,2 | 3,19 | 128,24 | 1616,04 | 24,88 | 3,28 |
2 | 152 | 15,5 | −15,8 | −2,91 | 45,98 | 249,64 | 15,86 | 0,36 |
3 | 113 | 10,4 | −54,8 | −8,01 | 438,95 | 3003,04 | 9,57 | −0,83 |
4 | 227 | 31,0 | 59,2 | 12,59 | 745,33 | 3504,64 | 27,95 | −3,05 |
5 | 137 | 13,0 | −30,8 | −5,41 | 166,63 | 948,64 | 13,44 | 0,44 |
6 | 238 | 32,4 | 70,2 | 13,99 | 982,10 | 4928,04 | 29,72 | −2,68 |
7 | 178 | 19,0 | 10,2 | 0,59 | 6,02 | 104,04 | 20,05 | 1,05 |
8 | 104 | 10,4 | −63,8 | −8,01 | 511,04 | 4070,44 | 8,12 | −2,28 |
9 | 191 | 19,0 | 23,2 | 0,59 | 13,69 | 538,24 | 22,14 | 3,14 |
10 | 130 | 11,8 | −37,8 | −6,61 | 249,86 | 1428,84 | 12,31 | 0,51 |
Summe Σ | 1678 | 184,1 | 3287,82 | 20391,60 |
Die Ausgleichsgerade wird durch die Koeffizienten und bestimmt, die wie oben angegeben berechnet werden mit
Die Konstanten und sind jeweils die Mittelwerte der - und -Messwerte, also
Als erster Zwischenschritt kann nun für jedes Kriegsschiff die Abweichung vom Mittelwert berechnet werden: und – diese Werte sind in der vierten und fünften Spalte der oberen Tabelle eingetragen. Die Formel für vereinfacht sich dadurch zu
Als zweiter Zwischenschritt können die Produkte und für jedes Kriegsschiff berechnet werden. Diese Werte sind in der sechsten und siebten Spalte der Tabelle eingetragen und lassen sich nun einfach aufsummieren. Damit kann berechnet werden als
Der Wert von kann bereits interpretiert werden: Mit der Annahme, dass die Daten in einem linearen Zusammenhang stehen und durch unsere berechnete Ausgleichsgerade beschrieben werden können, steigt die Breite eines Kriegsschiffes um ca. 0,16 Meter für jeden ganzen Meter, um den es länger ist.
Der Achsenabschnitt ist dann
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5b/MDKQ2.svg/320px-MDKQ2.svg.png)
Die Gleichung der Ausgleichsgerade lautet somit
Zur Veranschaulichung können die Daten als Streudiagramm aufgezeichnet und die Ausgleichsgerade eingefügt werden. Das Diagramm legt nahe, dass für unsere Beispieldaten zwischen Länge und Breite eines Kriegsschiffs tatsächlich ein linearer Zusammenhang besteht. Die Anpassung der Punkte ist recht gut. Als Maß kann auch die Abweichung der durch die Gerade vorhergesagten Werte von den gemessenen Werten betrachtet werden. Die entsprechenden Werte sind in der achten und neunten Spalte der Tabelle eingetragen. Die Abweichung beträgt im Mittel 2,1 m. Auch das Bestimmtheitsmaß, als normierter Koeffizient, ergibt einen Wert von ca. 92,2 % (100 % würde einer mittleren Abweichung von 0 m entsprechen); zur Berechnung siehe das Beispiel zum Bestimmtheitsmaß.
Allerdings bedeutet der negative Achsenabschnitt , dass in unserem linearen Modell ein Kriegsschiff mit einer Länge von 0 Metern eine negative Breite besitzt – oder Kriegsschiffe erst ab einer gewissen Mindestlänge zu existieren beginnen. Verglichen mit der Realität ist das natürlich falsch, was bei der Beurteilung einer statistischen Analyse berücksichtigt werden kann. Wahrscheinlich ist, dass das Modell nur für den Bereich gültig ist, für den tatsächlich Messwerte vorliegen (in diesem Fall für Kriegsschiffslängen zwischen 100 m und 240 m) und außerhalb des Bereiches eine lineare Funktion nicht mehr geeignet ist, um die Daten darzustellen.
Einfache polynomiale Ausgleichskurven
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/90/MDKQ3.svg/320px-MDKQ3.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/MDKQ_anim.gif/320px-MDKQ_anim.gif)
Allgemeiner als eine lineare Ausgleichsgerade sind Ausgleichspolynome
- ,
die nun anhand eines Beispiels illustriert werden (auch solche Ausgleichspolynomansätze lassen sich – zusätzlich zur iterativen Lösung – analytisch über einen Extremwertansatz lösen).
Als Ergebnisse der Mikrozensus-Befragung durch das statistische Bundesamt sind die durchschnittlichen Gewichte von Männern nach Altersklassen gegeben (Quelle: Statistisches Bundesamt, Wiesbaden 2009). Für die Analyse wurden die Altersklassen durch die Klassenmitten ersetzt. Es soll die Abhängigkeit der Variablen Gewicht () von der Variablen Alter () analysiert werden.
Das Streudiagramm lässt auf eine annähernd parabolische Beziehung zwischen und schließen, welche sich häufig gut durch ein Polynom annähern lässt. Es wird ein polynomialer Ansatz der Form
versucht. Als Lösung ergibt sich das Polynom 4. Grades
- .
Die Messpunkte weichen im Mittel (Standardabweichung) 0,19 kg von der Modellfunktion ab. Reduziert man den Grad des Polynoms auf 3, erhält man die Lösung
mit einer mittleren Abweichung von 0,22 kg und beim Polynomgrad 2 die Lösung
mit einer mittleren Abweichung von 0,42 kg. Wie zu erkennen ist, ändern sich beim Wegfallen der höheren Terme die Koeffizienten der niedrigeren Terme. Die Methode versucht, das Beste aus jeder Situation herauszuholen. Entsprechend werden die fehlenden höheren Terme mit Hilfe der niedrigeren Terme so gut wie möglich ausgeglichen, bis das mathematische Optimum erreicht ist. Mit dem Polynom zweiten Grades (Parabel) wird der Verlauf der Messpunkte noch sehr gut beschrieben (siehe Abbildung).
Spezialfall einer linearen Ausgleichsfunktion mit mehreren Variablen
Ist die Modellfunktion ein mehrdimensionales Polynom erster Ordnung, besitzt also statt nur einer Variablen mehrere unabhängige Modellvariablen , erhält man eine lineare Funktion der Form
- ,
die auf die Residuen
führt und über den Minimierungsansatz
gelöst werden kann.
Der allgemeine lineare Fall
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/25/MDKQ_3D.svg/340px-MDKQ_3D.svg.png)
f(x1, x2) = 0 + 1x11 + 2x12 + 3x21 + 4x11x21 + 5x12x21 + 6x22 + 7x11x22 + 8x12x22
Im Folgenden soll der allgemeine Fall von beliebigen linearen Modellfunktionen mit beliebiger Dimension gezeigt werden. Zu einer gegebenen Messwertfunktion
mit unabhängigen Variablen sei eine optimal angepasste lineare Modellfunktion
gesucht, deren quadratische Abweichung dazu minimal sein soll. sind dabei die Funktionskoordinaten, die zu bestimmenden linear eingehenden Parameter und beliebige zur Anpassung an das Problem gewählte linear unabhängige Funktionen.
Bei gegebenen Messpunkten
erhält man die Anpassungsfehler
oder in Matrixschreibweise
wobei der Vektor die zusammenfasst, die Matrix die Basisfunktionswerte , der Parametervektor die Parameter und der Vektor die Beobachtungen , wo .
Der beste Schätzer wird durch die Lösung des Minimierungsproblems bestimmt. Das Minimierungsproblem, das sich mithilfe der euklidischen Norm durch
formulieren lässt, kann im regulären Fall (d. h. hat vollen Spaltenrang, somit ist regulär und damit invertierbar) mit der Formel
eindeutig analytisch gelöst werden (siehe nächster Abschnitt). Im generalisierten Fall der gewichteten kleinsten Quadrate muss zudem noch die inverse Kovarianzmatrix berücksichtigt werden
Im singulären Fall, wenn nicht von vollem Rang ist, ist das Normalgleichungssystem nicht eindeutig lösbar, d. h. der Parameter nicht identifizierbar (siehe Satz von Gauß-Markow#Singulärer Fall, schätzbare Funktionen).
Jedoch ist in vielen praktischen Anwendungen die Modellfunktionen nicht analytisch bekannt, sondern kann nur für verschiedene diskrete Werte bestimmt werden. In diesem Fall kann die Modellfunktion mithilfe einer linearen Regression näherungsweise bestimmt werden, und der beste Schätzer wird direkt mit der Gleichung des linearen Template Fits[16] bestimmt:
Dabei ist die Matrix mit den bekannten Werten der Modellfunktion (Template Matrix) für alle , und der Vektor bezeichnet die Zufallsvariablen (bspw. eine Messung). Die Matrix und der Vektor werden mithilfe der Stützstellen (zusammengefasst in der Matrix ) berechnet.
Lösung des Minimierungsproblems
Herleitung und Verfahren
Das Minimierungsproblem ergibt sich, wie im allgemeinen linearen Fall gezeigt, als
Dieses Problem ist immer lösbar. Hat die Matrix vollen Rang, so ist die Lösung sogar eindeutig. Zum Bestimmen des extremalen Punktes ergibt Nullsetzen der partiellen Ableitungen bezüglich der ,
ein lineares System von Normalgleichungen (auch Gaußsche Normalgleichungen oder Normalengleichungen)
welches die Lösung des Minimierungsproblems liefert und im Allgemeinen numerisch gelöst werden muss. Hat vollen Rang und ist , so ist die Matrix positiv definit, so dass es sich beim gefundenen Extremum in der Tat um ein Minimum handelt.[17] Damit kann das Lösen des Minimierungsproblems auf das Lösen eines Gleichungssystems reduziert werden. Im einfachen Fall einer Ausgleichsgeraden kann dessen Lösung, wie gezeigt wurde, sogar direkt als einfache Formel angegeben werden.
Alternativ lassen sich die Normalgleichungen in der Darstellung
ausschreiben, wobei das Standardskalarprodukt symbolisiert und auch als Integral des Überlapps der Basisfunktionen verstanden werden kann. Die Basisfunktionen sind als Vektoren zu lesen mit den diskreten Stützstellen am Ort der Beobachtungen .
Ferner lässt sich das Minimierungsproblem mit einer Singulärwertzerlegung gut analysieren. Diese motivierte auch den Ausdruck der Pseudoinversen, einer Verallgemeinerung der normalen Inversen einer Matrix. Diese liefert dann eine Sichtweise auf nichtquadratische lineare Gleichungssysteme, die einen nicht stochastisch, sondern algebraisch motivierten Lösungsbegriff erlaubt.
Numerische Behandlung der Lösung
Zur numerischen Lösung des Problems gibt es zwei Wege. Zum einen können die Normalgleichungen
gelöst werden, die eindeutig lösbar sind, falls die Matrix vollen Rang hat. Ferner hat die Produktsummenmatrix die Eigenschaft, positiv definit zu sein, ihre Eigenwerte sind also alle positiv. Zusammen mit der Symmetrie von kann dies beim Einsatz von numerischen Verfahren zur Lösung ausgenutzt werden: beispielsweise mit der Cholesky-Zerlegung oder dem CG-Verfahren. Da beide Methoden von der Kondition der Matrix stark beeinflusst werden, ist dies manchmal keine empfehlenswerte Herangehensweise: Ist schon schlecht konditioniert, so ist quadratisch schlecht konditioniert. Dies führt dazu, dass Rundungsfehler so weit verstärkt werden können, dass sie das Ergebnis unbrauchbar machen. Durch Regularisierungsmethoden kann die Kondition allerdings verbessert werden.
Eine Methode ist die sog. Ridge-Regression, die auf Hoerl und Kennard (1970) zurückgeht.[18] Das englische Wort ridge heißt soviel wie Grat, Riff, Rücken. Hier wird anstelle der schlecht konditionierten Matrix die besser konditionierte Matrix benutzt. Dabei ist die -dimensionale Einheitsmatrix. Die Kunst besteht in der geeigneten Wahl von . Zu kleine erhöhen die Kondition nur wenig, zu große führen zu verzerrter Anpassung.
Zum anderen liefert das ursprüngliche Minimierungsproblem eine stabilere Alternative, da es bei kleinem Wert des Minimums eine Kondition in der Größenordnung der Kondition von , bei großen Werten des Quadrats der Kondition von hat. Um die Lösung zu berechnen, wird eine QR-Zerlegung verwendet, die mit Householdertransformationen oder Givens-Rotationen erzeugt wird. Grundidee ist, dass orthogonale Transformationen die euklidische Norm eines Vektors nicht verändern. Damit ist
für jede orthogonale Matrix . Zur Lösung des Problems kann also eine QR-Zerlegung von berechnet werden, wobei man die rechte Seite direkt mittransformiert. Dies führt auf eine Form
mit wobei eine rechte obere Dreiecksmatrix ist. Die Lösung des Problems ergibt sich somit durch die Lösung des Gleichungssystems
Die Norm des Minimums ergibt sich dann aus den restlichen Komponenten der transformierten rechten Seite da die dazugehörigen Gleichungen aufgrund der Nullzeilen in nie erfüllt werden können.
In der statistischen Regressionsanalyse spricht man bei mehreren gegebenen Variablen von multipler linearer Regression. Der gebräuchlichste Ansatz ein multiples lineares Modell zu schätzen ist als die gewöhnliche Kleinste-Quadrate-Schätzung bzw. gewöhnliche Methode der kleinsten Quadrate (englisch ordinary least squares, kurz OLS) bekannt. Im Gegensatz zur gewöhnlichen KQ-Methode wird die verallgemeinerte Methode der kleinsten Quadrate, kurz VMKQ (englisch generalised least squares, kurz GLS) bei einem verallgemeinerten linearen Regressionsmodell verwendet. Bei diesem Modell weichen die Fehlerterme von der Verteilungsannahme wie Unkorreliertheit und/oder Homoskedastizität ab. Dagegen liegen bei multivariater Regression für jede Beobachtung viele -Werte vor, so dass statt eines Vektors eine -Matrix vorliegt (siehe Allgemeines lineares Modell). Die linearen Regressionsmodelle sind in der Statistik wahrscheinlichkeitstheoretisch intensiv erforscht worden. Besonders in der Ökonometrie werden beispielsweise komplexe rekursiv definierte lineare Strukturgleichungen analysiert, um volkswirtschaftliche Systeme zu modellieren.
Probleme mit Nebenbedingungen
Häufig sind Zusatzinformationen an die Parameter bekannt, die durch Nebenbedingungen formuliert werden, die dann in Gleichungs- oder Ungleichungsform vorliegen. Gleichungen tauchen beispielsweise auf, wenn bestimmte Datenpunkte interpoliert werden sollen. Ungleichungen tauchen häufiger auf, in der Regel in der Form von Intervallen für einzelne Parameter. Im Einführungsbeispiel wurde die Federkonstante erwähnt, diese ist immer größer Null und kann für den konkret betrachteten Fall immer nach oben abgeschätzt werden.
Im Gleichungsfall können diese bei einem sinnvoll gestellten Problem genutzt werden, um das ursprüngliche Minimierungsproblem in eines einer niedrigeren Dimension umzuformen, dessen Lösung die Nebenbedingungen automatisch erfüllt.
Schwieriger ist der Ungleichungsfall. Hier ergibt sich bei linearen Ungleichungen das Problem
- mit ,
wobei die Ungleichungen komponentenweise gemeint sind. Dieses Problem ist als konvexes und quadratisches Optimierungsproblem eindeutig lösbar und kann beispielsweise mit Methoden zur Lösung solcher angegangen werden.
Quadratische Ungleichungen ergeben sich beispielsweise bei der Nutzung einer Tychonow-Regularisierung zur Lösung von Integralgleichungen. Die Lösbarkeit ist hier nicht immer gegeben. Die numerische Lösung kann beispielsweise mit speziellen QR-Zerlegungen erfolgen.
Nichtlineare Modellfunktionen
Grundgedanke und Verfahren
Mit dem Aufkommen leistungsfähiger Rechner gewinnt insbesondere die nichtlineare Regression an Bedeutung. Hierbei gehen die Parameter nichtlinear in die Funktion ein. Nichtlineare Modellierung ermöglicht im Prinzip die Anpassung von Daten an jede Gleichung der Form . Da diese Gleichungen Kurven definieren, werden die Begriffe nichtlineare Regression und „curve fitting“ zumeist synonym gebraucht.
Manche nichtlineare Probleme lassen sich durch geeignete Substitution in lineare überführen und sich dann wie oben lösen. Ein multiplikatives Modell von der Form
lässt sich beispielsweise durch Logarithmieren in ein additives System überführen. Dieser Ansatz findet unter anderem in der Wachstumstheorie Anwendung.
Im Allgemeinen ergibt sich bei nichtlinearen Modellfunktionen ein Problem der Form
mit einer nichtlinearen Funktion . Partielle Differentiation ergibt dann ein System von Normalgleichungen, das nicht mehr analytisch gelöst werden kann. Eine numerische Lösung kann hier iterativ mit dem Gauß-Newton-Verfahren erfolgen.
Aktuelle Programme arbeiten häufig mit einer Variante, dem Levenberg-Marquardt-Algorithmus. Dabei wird durch eine Regularisierung die Monotonie der Näherungsfolge garantiert. Zudem ist das Verfahren bei größerer Abweichung der Schätzwerte toleranter als die Ursprungsmethode. Beide Verfahren sind mit dem Newton-Verfahren verwandt und konvergieren unter geeigneten Voraussetzungen (der Startpunkt ist genügend nahe beim lokalen Optimum) meist quadratisch, in jedem Schritt verdoppelt sich also die Zahl der korrekten Nachkommastellen.
Wenn die Differentiation auf Grund der Komplexität der Zielfunktion zu aufwendig ist, stehen eine Reihe anderer Verfahren als Ausweichlösung zur Verfügung, die keine Ableitungen benötigen, siehe bei Methoden der lokalen nichtlinearen Optimierung.
Beispiel aus der Enzymkinetik einer nicht linearisierbaren Modellfunktion
Ein Beispiel für Regressionsmodelle, die voll nichtlinear sind, ist die Enzymkinetik. Hier ist zu fordern, dass „nur“ (Reaktionsgeschwindigkeit) und nicht (Substratkonzentration) einem Fehler unterliegt und damit als Variable genutzt werden kann. Die Lineweaver-Burk-Beziehung ist zwar eine algebraisch korrekte Umformung der Michaelis-Menten-Gleichung , ihre Anwendung liefert aber nur korrekte Ergebnisse, wenn die Messwerte fehlerfrei sind. Dies ergibt sich aus der Tatsache, dass sich die Realität nur mit einer erweiterten Michaelis-Menten-Beziehung
mit als Fehlerparameter, beschreiben lässt. Diese Gleichung lässt sich nicht mehr linearisieren, also muss hier die Lösung iterativ ermittelt werden.
Fehlverhalten bei Nichterfüllung der Voraussetzungen
Die Methode der kleinsten Quadrate erlaubt es, unter bestimmten Voraussetzungen die wahrscheinlichsten aller Modellparameter zu berechnen. Dazu muss ein korrektes Modell gewählt worden sein, eine ausreichende Menge Messwerte vorliegen und die Abweichungen der Messwerte gegenüber dem Modellsystem müssen eine Normalverteilung bilden. In der Praxis kann die Methode jedoch auch bei Nichterfüllung dieser Voraussetzungen für diverse Zwecke eingesetzt werden. Dennoch sollte beachtet werden, dass die Methode der kleinsten Quadrate unter bestimmten ungünstigen Bedingungen völlig unerwünschte Ergebnisse liefern kann. Beispielsweise sollten keine Ausreißer in den Messwerten vorliegen, da diese das Schätzergebnis verzerren. Außerdem ist Multikollinearität zwischen den zu schätzenden Parametern ungünstig, da diese numerische Probleme verursacht. Im Übrigen können auch Regressoren, die weit von den anderen entfernt liegen, die Ergebnisse der Ausgleichsrechnung stark beeinflussen. Man spricht hier von Werten mit großer Hebelkraft (englisch High Leverage Value).
Multikollinearität
Das Phänomen der Multikollinearität entsteht, wenn die Messreihen zweier gegebener Variablen und sehr hoch korreliert sind, also fast linear abhängig sind. Im linearen Fall bedeutet dies, dass die Determinante der Normalgleichungsmatrix sehr klein und die Norm der Inversen umgekehrt sehr groß ist; die Kondition von ist also stark beeinträchtigt. Die Normalgleichungen sind dann numerisch schwer zu lösen. Die Lösungswerte können unplausibel groß werden, und bereits kleine Änderungen in den Beobachtungen bewirken große Änderungen in den Schätzwerten.
Ausreißer
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/71/MDKQ4.svg/320px-MDKQ4.svg.png)
Der Wert zieht die Gerade nach oben
Als Ausreißer sind Datenwerte definiert, die „nicht in eine Messreihe passen“. Diese Werte beeinflussen die Berechnung der Parameter stark und verfälschen das Ergebnis. Um dies zu vermeiden, müssen die Daten auf fehlerhafte Beobachtungen untersucht werden. Die entdeckten Ausreißer können beispielsweise aus der Messreihe ausgeschieden werden oder es sind alternative ausreißerresistente Berechnungsverfahren wie gewichtete Regression oder das Drei-Gruppen-Verfahren anzuwenden.
Im ersten Fall wird nach der ersten Berechnung der Schätzwerte durch statistische Tests geprüft, ob Ausreißer in einzelnen Messwerten vorliegen. Diese Messwerte werden dann ausgeschieden und die Schätzwerte erneut berechnet. Dieses Verfahren eignet sich dann, wenn nur wenige Ausreißer vorliegen.
Bei der gewichteten Regression werden die abhängigen Variablen in Abhängigkeit von ihren Residuen gewichtet. Ausreißer, d. h. Beobachtungen mit großen Residuen, erhalten ein geringes Gewicht, das je nach Größe des Residuums abgestuft sein kann. Beim Algorithmus nach Mosteller und Tukey (1977), der als „biweighting“ bezeichnet wird, werden unproblematische Werte mit 1 und Ausreißer mit 0 gewichtet, was die Unterdrückung des Ausreißers bedingt. Bei der gewichteten Regression sind in der Regel mehrere Iterationsschritte erforderlich, bis sich die Menge der erkannten Ausreißer nicht mehr ändert.
Heteroskedastische Fehler
Liegen heteroskedastische Fehler vor, so liefert die Minimierung des Mittelwertes der kleinsten Quadrate keinen effizienten Schätzer des (bedingten) Mittelwertes, obwohl dieser immer noch unverzerrt ist[19]. Die Minimierung der Gausschen Negativen Log-Likelihood kann in diesem Fall eine Alternative sein.
Verallgemeinerte Kleinste-Quadrate-Modelle
Weicht man die starken Anforderungen im Verfahren an die Fehlerterme auf, erhält man so genannte verallgemeinerte Kleinste-Quadrate-Ansätze. Wichtige Spezialfälle haben dann wieder eigene Namen, etwa die gewichtete Methode der kleinsten Quadrate (englisch weighted least squares, kurz WLS), bei denen die Fehler zwar weiter als unkorreliert angenommen werden, aber nicht mehr von gleicher Varianz. Dies führt auf ein Problem der Form
wobei D eine Diagonalmatrix ist. Variieren die Varianzen stark, so haben die entsprechenden Normalgleichungen eine sehr große Kondition, weswegen das Problem direkt gelöst werden sollte.
Nimmt man noch weiter an, dass die Fehler in den Messdaten auch in der Modellfunktion berücksichtigt werden sollten, ergeben sich die „totalen kleinsten Quadrate“ in der Form
wobei der Fehler im Modell und der Fehler in den Daten ist.[20][21]
Schließlich gibt es noch die Möglichkeit, keine Normalverteilung zugrunde zu legen. Dies entspricht beispielsweise der Minimierung nicht in der euklidischen Norm, sondern der Summennorm. Solche Modelle sind Themen der Regressionsanalyse.
Literatur
- Åke Björck: Numerical Methods for Least Squares Problems. SIAM, Philadelphia 1996, ISBN 0-89871-360-9.
- Walter Großmann: Grundzüge der Ausgleichsrechnung. 3. erw. Auflage. Springer Verlag, Berlin / Heidelberg / New York 1969, ISBN 3-540-04495-7.
- Richard J. Hanson, Charles L. Lawson: Solving least squares problems. SIAM, Philadelphia 1995, ISBN 0-89871-356-0.
- Frederick Mosteller, John W. Tukey: Data Analysis and Regression – a second course in statistics. Addison-Wesley, Reading MA 1977, ISBN 0-201-04854-X.
- Gerhard Opfer: Numerische Mathematik für Anfänger. Eine Einführung für Mathematiker, Ingenieure und Informatiker. 4. Auflage. Vieweg, Braunschweig 2002, ISBN 3-528-37265-6.
- Peter Schönfeld: Methoden der Ökonometrie. 2 Bände. Vahlen, Berlin/Frankfurt 1969–1971.
- Eberhard Zeidler (Hrsg.): Taschenbuch der Mathematik. Begründet v. I.N. Bronstein, K.A. Semendjajew. Teubner, Stuttgart/Leipzig/Wiesbaden 2003, ISBN 3-8171-2005-2.
- T. Strutz: Data Fitting and Uncertainty (A practical introduction to weighted least squares and beyond). 2nd edition. Springer Vieweg, 2016, ISBN 978-3-658-11455-8.
Weblinks
Einzelnachweise
- ↑ Göttingen. In: Göttingische Anzeigen von Gelehrten Sachen / Göttingische Anzeigen von gelehrten Sachen / Göttingische gelehrte Anzeigen, 23. Jänner 1802, S. 1 (online bei ANNO).Vorlage:ANNO/Wartung/gas
- ↑ Moritz Cantor: Gauß: Karl Friedrich G. In: Allgemeine Deutsche Biographie (ADB). Band 8, Duncker & Humblot, Leipzig 1878, S. 430–445., hier S. 436.
- ↑ Paul Karlson: Zauber der Zahlen. Ullstein-Verlag, Berlin–West. Neunte, überarbeitete und erweiterte Auflage, 1967, S. 390 f.
- ↑ A. Abdulle, Gerhard Wanner: 200 years of least square methods. In: Elemente der Mathematik, Band 57, 2002, S. 45–60, doi:10.1007/PL00000559.
- ↑ Vgl. Moritz Cantor: Gauß: Karl Friedrich G. In: Allgemeine Deutsche Biographie (ADB). Band 8, Duncker & Humblot, Leipzig 1878, S. 430–445., S. 436.
- ↑ Adrien-Marie Legendre: Nouvelles méthodes pour la détermination des orbites des comètes. Paris 1805, S. 72–80 (Anhang): Sur la Méthode des moindres quarrés.
- ↑ Carl Friedrich Gauß: Theoria Motus Corporum Coelestium in sectionibus conicis solem ambientium. Göttingen 1809; Carl Haase (Übers.): Theorie der Bewegung der Himmelskörper, welche in Kegelschnitten die Sonne umlaufen. Hannover 1865.
- ↑ Matrices and determinants.
- ↑ Abgedruckt in Gauß, Werke, Band X/1, S. 380.
- ↑ Abdulle, Wanner: Elemente der Mathematik. Band 57, 2002, S. 51. Mit Faksimileabdruck des Tagebucheintrags.
- ↑ Laplace, zitiert nach Herman Goldstine: A history of numerical analysis. Springer, 1977, S. 209.
- ↑ Carl Friedrich Gauß: Theoria combinationis observationum erroribus minimis obnoxiae. 2 Teile. Göttingen 1821–1823 (Commentationes Societatis Regiae Scientiarum Gottingensis recentiores, classis mathematicae, Band 5.); Supplementum Theoria combinationis observationum erroribus minimis obnoxiae. Göttingen 1826/28 (Commentationes Societatis Regiae Scientiarum Gottingensis recentiores, classis mathematicae, Band 6.). Anton Börsch Paul Simon (Hrsg.): Abhandlungen zur Methode der kleinsten Quadrate von Carl Friedrich Gauss. In deutscher Sprache. Berlin 1887, Textarchiv – Internet Archive.
- ↑ Pete Stewart: Maybe We Should Call It “Lagrangian Elimination”. NA Digest Sunday, 21. Juni 1991, June 30, 1991 Volume 91, Issue 26.
- ↑ Applied Regression Analysis and Generalized Linear Models, John Fox, 2015, ISBN 9781483321318, Google Books
- ↑ H. Wirths: Beziehungshaltige Mathematik in Regression und Korrelation. In: Stochastik in der Schule, 1991, Heft 1, S. 34–53
- ↑ D. Britzger: The Linear Template Fit. In: Eur. Phys. J. C. Band 82, 2022, S. 731, doi:10.1140/epjc/s10052-022-10581-w, arxiv:2112.01548.
- ↑ Hans R. Schwarz, Norbert Köckler: Numerische Mathematik. 7. überarb. Auflage. Teubner, 2009, doi:10.1007/978-3-8348-9282-9, ISBN 978-3-8348-9282-9, S. 141, Kapitel 3.6 (Gauß-Approximation), Satz 3.23.
- ↑ A.E. Hoerl and R.W. Kennard: Ridge regression: Biased estimation for nonorthogonal problems, Technometrics 12 (1970), 55-82.
- ↑ The SAGE Encyclopedia of Research Design, ISBN ISBN 978-1-0718-1210-5, Seite 1291, Google books
- ↑ Sabine Van Huffel, Joos Vandewalle: The Total Least Squares Problem: Computational Aspects and Analysis. SIAM Publications, Philadelphia PA 1991, ISBN 0-89871-275-0.
- ↑ Martin Plesinger: The Total Least Squares Problem and Reduction of Data in AX ≈ B. Dissertation. (Memento vom 24. Juli 2012 im Internet Archive; PDF; 1,6 MB) TU Liberec und ICS Prague, 2008.