Als Überbestimmung wird in Teilgebieten der Mathematik und deren Anwendungen typischerweise das Problem bezeichnet, dass ein System durch mehr Gleichungen als Unbekannte beschrieben wird. Im allgemeinen Fall können die Einschränkungen an das System auch in Form von Ungleichungen und anderem vorgegeben sein. Es liegen also mehr Informationen vor, als zur Bestimmung der Parameter in einer Modellbeschreibung des Systems nötig sind.
Die zusätzliche, ggf. widersprüchliche Information kann verschiedenen Zwecken dienen:
- zur Kontrolle des Systems, etwa beim Zusammenfügen mehrerer Operate oder beim Vorliegen unterschiedlicher Bearbeitungsmethoden,
- zur Steigerung der Genauigkeit, weil jede zusätzliche Beobachtung die Wirkung kleiner, unvermeidlicher Messabweichungen verringern kann,
- für Aussagen über die Bestimmtheit und Verlässlichkeit eines Systems.
Durch die zusätzlichen Gleichungen oder Messungen kommt es häufig zu Widersprüchen im System, die aber nicht selten geeignet auflösbar sind.
Geodäsie, Satellitensysteme Bearbeiten
In der Geodäsie wird mit „Überbestimmung“ das Vorhandensein oder die Messung zusätzlicher, insbesondere geometrischer Größen wie Richtungen oder Strecken bezeichnet, die über die notwendigen Bestimmungsstücke eines Modells hinausgehen. Das einfachste Beispiel ist die Messung eines dritten Winkels im Dreieck, der sich mit den zwei anderen zu 180° ergänzen müsste. Komplexere Fälle sind geometrische Körper oder Vermessungsnetze, bei denen überschüssige Messungen oder Daten vorliegen. Ein aktuelles Alltagsbeispiel sind Navigationssysteme: Bei drei empfangbaren Navigationssatelliten lassen sich der geographische Längen- und Breitengrad direkt berechnen, bei vier Satelliten zusätzlich die Höhe über Meeresspiegel, doch bei noch mehr Satelliten wird das System überbestimmt.
Werkzeuge Bearbeiten
Die mathematischen Werkzeuge zur korrekten Bearbeitung von Überbestimmungen sind in vielen Fällen die Ausgleichsrechnung und die Varianzanalyse. Sie beruhen auf der statistischen Verteilung unmerklicher Einflüsse (siehe Normalverteilung) und minimieren die Widersprüche zwischen überzähligen Messungen oder Angaben mit der Methode der kleinsten Quadrate. Als Ergebnis erhält man die wahrscheinlichsten Werte der Unbekannten und die sogenannten Residuen (Restabweichungen) zwischen den endgültigen Werten und den einzelnen Bestimmungsgrößen. Aus diesen Residuen können die einzeln wirksamen Fehleranteile herausgerechnet und für eine Verfeinerung des mathematisch-physikalischen Modells verwendet werden.
Typischerweise haben überbestimmte Systeme keine exakte Lösung. Für überbestimmte Systeme linearer Gleichungen wird ersatzweise anstelle des ursprünglichen Systems ein passend bestimmtes lineares Ausgleichsproblem gelöst, mit dem ein Lösungsvektor bestimmt wird, der den Fehler so klein wie möglich macht. Für überbestimmte Systeme nichtlinearer Gleichungen wird vielfach die sogenannte Gauß-Newton-Methode herangezogen.
Differentialgleichungen Bearbeiten
Bei Systemen von Differentialgleichungen wird der Begriff ebenfalls verwendet. Zum Beispiel seien in zwei Dimensionen die partiellen Ableitungen einer Funktion durch zwei verschiedene Funktionen gegeben (die in einem Gebiet samt ihren partiellen Ableitungen stetig sind). Es gibt also mehr Gleichungen als Unbekannte, das Differentialgleichungssystem ist überbestimmt. Man macht dann häufig die Zusatzbedingung, dass die Funktion f samt ihren Ableitungen stetig sein soll, wozu die partiellen Ableitungen vertauschen müssen, was eine zusätzliche Integrabilitätsbedingung ergibt.
Bedingungen Bearbeiten
Allgemein hat man bei überbestimmten Systemen von Differentialgleichungen ähnlich wie bei linearen Gleichungen die Frage zu klären, ob sie dasselbe System beschreiben und wie dieses spezifiziert wird. Bei linearen Gleichungen führt das auf die Frage, ob alle Gleichungen voneinander linear unabhängig sind (Bestimmung des Rangs der zugehörigen Matrix). Bei Systemen von partiellen Differentialgleichungen führt das auf Kompatibilitätsbedingungen aus der Vertauschbarkeit der partiellen Ableitungen. Man spricht hier auch von vollständiger Integrierbarkeit. Ein Beispiel ist hier der Satz von Frobenius in der Differentialgeometrie, der angibt, wann ein System partieller Differentialgleichungen in q Dimensionen im zu einem q-dimensionalen Tangentialraum einer Mannigfaltigkeit gehört. Die Bedingung dafür ist für Frobenius, dass der Kommutator der Vektorfelder des Systems wieder in diesem liegt.
Statik Bearbeiten
Für den Begriff Überbestimmtheit (Unbestimmtheit) in der Statik siehe Statische Bestimmtheit (hier liegt im Gegensatz zu den oben betrachteten Fällen die Situation vor, dass weniger lineare Gleichungen vorhanden sind, als zur Bestimmung der Unbekannten nötig sind).
Siehe auch Bearbeiten
Literatur Bearbeiten
- Richard L. Branham, Jr.: Scientific Data Analysis. An Introduction to Overdetermined Systems. Springer Verlag, New York 1990, ISBN 0-387-97201-3 (MR1043632).
- Martin Brokate, Norbert Henze, Frank Hettlich, Andreas Meister, Gabriela Schranz-Kirlinger, Thomas Sonar: Grundwissen Mathematikstudium: Höhere Analysis, Numerik und Stochastik. Unter Mitwirkung von Daniel Rademacher. 1. Auflage. Springer Spektrum, Berlin / Heidelberg 2016, ISBN 978-3-642-45077-8, doi:10.1007/978-3-642-45078-5.
- Josef Stoer: Einführung in die Numerische Mathematik I. Unter Berücksichtigung von Vorlesungen von F. L. Bauer (= Heidelberger Taschenbücher. Band 105). 4., verbesserte Auflage. Springer-Verlag, Berlin / Heidelberg / New York / Tokyo 1983, ISBN 3-540-12536-1.
- Guido Walz (Red.): Lexikon der Mathematik in sechs Bänden. Zweiter Band. Spektrum Akademischer Verlag, Heidelberg/Berlin 2001, ISBN 3-8274-0434-7.
- Guido Walz (Red.): Lexikon der Mathematik in sechs Bänden. Fünfter Band. Spektrum Akademischer Verlag, Heidelberg/Berlin 2002, ISBN 3-8274-0437-1.
Einzelnachweise und Anmerkungen Bearbeiten
- Man sagt dann, dass die zusätzlichen Gleichungen oder Messungen das System „versteifen“.
- Martin Brokate u. a.: Grundwissen Mathematikstudium: Höhere Analysis, Numerik und Stochastik. 2016, S. 584 ff.
- Josef Stoer: Einführung in die Numerische Mathematik I. 1983, S. 179 ff.
- Lexikon der Mathematik in sechs Bänden. Fünfter Band. 2002, S. 258.
- Lexikon der Mathematik in sechs Bänden. Zweiter Band. 2001, S. 252–253.
- Bieberbach: Theorie der Differentialgleichungen. Springer 1930, S. 276.