Mathematisches Modell

Ein mathematisches Modell ist ein mittels mathematischer Notation erzeugtes Modell zur Beschreibung eines Ausschnittes der beobachtbaren Welt. Dieses Modell kann in beliebigen, begrenzten Bereichen der beobachtbaren Realität, wie z.B. den Naturwissenschaften, den Wirtschafts- oder Sozialwissenschaften, der Medizin oder den Ingenieurwissenschaften Anwendung finden. Mathematische Modelle erlauben eine logische, strukturelle Durchdringung je nach Art hinsichtlich von geltenden Gesetzmäßigkeiten, erlaubten und nicht erlaubten Zuständen, sowie seiner Dynamik mit dem Ziel, diese Erkenntnisse auf das modellierte System zu übertragen.

Der Prozess zur Erstellung eines Modells wird als Modellierung bezeichnet. Die Erstellung eines mathematischen Modells für einen Realitätsausschnitt ist nicht mehr Aufgabe der Mathematik, sondern des jeweiligen Wissenschaftsgebietes. Inwieweit ein mathematisches Modell Vorgänge in der Realität korrekt beschreibt, muss durch Messungen überprüft und validiert werden.

Ein mathematisches Modell stellt somit einen Realitätsbezug her, der für mathematische Teilgebiete im Allgemeinen nicht vorhanden sein muss.

Aufkommen und Verbreitung des Begriffs Modell

Dass Modellvorstellungen eine zunehmend wichtige Rolle in der wissenschaftlichen Theoriebildung spielen, wurde bei der Diskussion von Atommodellen Anfang des 20. Jahrhunderts klar erkannt. Aufgrund der wissenschaftstheoretischen Vorbildfunktion der Physik hat sich der Begriff Modell, wie andere ursprünglich physikalische Begriffe auch, in andere Disziplinen ausgebreitet.

Modellgestützte Methoden sind nicht auf die Naturwissenschaften beschränkt. Zum Beispiel beruhen die bekannten zweidimensionalen Auftragungen funktionaler Zusammenhänge in den Wirtschaftswissenschaften auf radikal vereinfachender Modellbildung.

Begriffe in der Modellierung

System

Hauptartikel für Systeme innerhalb der Systemtheorie: Systemtheorie

Mathematische Modelle modellieren Systeme.

Vereinfacht lässt sich ein System als eine Menge von Objekten beschreiben, die durch Relationen verbunden sind. Ein System kann dabei ein natürliches System (etwa ein See, ein Wald), ein technisches System (etwa ein Motor oder eine Brücke), aber auch ein virtuelles System (etwa die Logik eines Computerspiels) sein.

Ein System ist von seiner Umgebung umhüllt. Diese Umgebung wirkt von außen auf das System ein. Derartige Einwirkungen, werden als Relationen {{\mathcal  R}} bezeichnet. Ein System reagiert auf Einwirkungen durch Veränderungen von Systemvariablen.

Grundsätzlich hat ein System auch Wirkungen nach außen, also auf die Umgebung. Im Rahmen der Modellierung von Systemen wird diese nach außen gerichtete Wirkung jedoch üblicherweise vernachlässigt.

Ein System wird von der Umgebung durch klar definierte Systemgrenzen abgeschlossen. Das bedeutet, dass für die Modellierung ausschließlich die definierten Relationen wirksam sind. Als Beispiel sei die Untersuchung des Phosphoreintrags in einen See genannt. Im Rahmen eines Modells soll als einzige Quelle ein in den See mündender Fluss betrachtet werden, die Grenze des Systems ist in diesem Beispiel dann die Relation „Fluss“. Weitere in der Natur auftauchende Quellen (Grundwasser, Schiffsverkehr, Fische, und so weiter) werden im Modell nicht berücksichtigt.

Die Definition eines konkreten Systems als Untersuchungsgegenstand bei der Modellierung von mathematischen Modellen erfolgt durch den Analytiker entsprechend dem Untersuchungsziel.

Boxmodell

Schematisch lässt sich ein System über ein sogenanntes Boxmodell darstellen.

{\mathcal  R}\ \rightarrow \ {\begin{array}{|c|}\hline \quad \\\quad {\mathcal  V}_{i}\leftrightarrow {\mathcal  V}_{n}\quad \\\quad \\\hline \end{array}}\ \rightarrow

Die Box ist dabei das modellierte System. Die Eingangsrelation \mathcal R sind symbolisch die Einwirkungen der Umwelt auf das modellierte System und der ausgehende Pfeil symbolisiert die Veränderungen des Systems. Zwischen den Systemvariablen \mathcal V selbst, können beliebige weitere Relationen bestehen.

In der Praxis werden Boxmodelle als Denkhilfe benutzt. Die grafische Darstellung eines Systems vereinfacht die Erkennung von Systemvariablen. Ein modelliertes System kann dabei aus beliebig vielen weiteren Subsystemen bestehen, die jeweils wieder ein eigenes Boxmodell darstellen.

Das Boxmodell wird insbesondere in den Ingenieurswissenschaften bei der Erstellung von Computermodellen benutzt. Dabei stellen die Modelle jeweils insgesamt ein Boxmodell (genauer die Relationen innerhalb des Systems) dar. Jedes grafische Element ist wiederum ein eigenes Boxmodell. Zur Vereinfachung wurden dabei unterschiedliche grafische Symbole für Boxmodelle benutzt, etwa ein gewendeltes Symbol um die Systemvariable einer Spule darzustellen.

Im Rahmen der Modellierung sind Systeme denkbar, die Wirkungen nach außen haben, aber keine Eingangsrelationen. Etwa ein System welches Zeittakte produziert. Es sind auch Systeme denkbar, die zwar über Eingangsrelationen aber nicht über Auswirkungen verfügen. Zum Beispiel zum Monitoring von Werten.

Nach dem Grad der Bestimmtheit eines Boxmodells lassen sich Boxmodelle in Black-Box- und White-Box-Modelle unterscheiden. Black-Box-Modelle beschreiben das Verhalten eines Systems in Form einer Gleichung, ohne dabei die Komplexität des Systems zu berücksichtigen. White-Box-Modelle versuchen dagegen ein System so genau wie möglich zu modellieren.

Die Wahl eines dieser Modelle ist abhängig vom Untersuchungsgegenstand. Soll ein mathematisches Modell lediglich als Berechnungshilfe dienen, ist eine Black Box ausreichend. Soll das innere Verhalten eines Systems, etwa bei einer Simulation untersucht werden, muss zwangsweise eine White Box erstellt werden.

Dimension

Hauptartikel für physikalische Dimensionen: Dimension (Größensystem). Hauptartikel für mathematische Dimensionen: Dimension (Mathematik)

Die Dimension eines Systems ist die Anzahl der Zustandsvariablen, mit der das mathematische Modell beschrieben wird.

Modellgleichung

Eine Modellgleichung ist das formelle mathematische Modell eines Systems in Form einer Funktion.

Modellgleichungen haben grundsätzlich die Form \{{\mathcal  V}\}=f(\{{\mathcal  R}\},\{{\mathcal  V}\},\{p\})

\{{\mathcal  V}\}
ist eine Menge von Modellvariablen.
\{{\mathcal  R}\}
ist eine Menge von Relationen, die auf das System einwirken.
\{p\}
ist eine Menge von Modellkonstanten.

Grundsätzlich kann jede der Mengen leer sein. Oft besteht die Menge auch nur aus einem Element. Es ist daher üblich in einer konkreten Modellgleichung nur benötigte Mengen anzugeben und die Elemente der benötigten Teilmengen per Index zu bestimmen. Abhängig vom Wissenschaftsbereich für den eine Modellgleichung erstellt wird, bekommen die Elemente einer Modellgleichung andere Variablennamen.

In den verschiedenen Fachgebieten werden unterschiedliche Variablennamen benutzt, passend zur Fachsprache und üblichen Variablennamen des Gebiets.

Arten mathematischer Modelle

Statische Modelle

Beschreiben den Zustand eines Systems vor und nach Änderungen äußerer Relationen, nicht jedoch während einer Änderung. Ein einfaches statisches Modell wäre etwa die Berechnung der Mischungstemperatur zweier verschieden warmer Flüssigkeiten. Über ein statisches Modell kann die Temperatur vor der Mischung berechnet werden und es kann die Temperatur nach der Mischung berechnet werden. Die Systemgleichung eines statischen Modells hat die allgemeine Form {\mathcal  V}={\mathit  {f}}({\mathcal  R})
wobei {\mathit  {f}} eine beliebig komplexe Funktion sein kann und es durchaus möglich ist, dieser Funktion weitere Parameter als Konstante zu übergeben.

Dynamische Modelle

Beschreiben die Reaktion eines Systems auf Änderungen äußerer Relationen. Mit derartigen Modellen ließe sich die Temperaturänderung der Mischung während der Mischung beschreiben.
Zeitlich Kontinuierliche Modelle
Beschreiben die Reaktion eines Systems bei Änderungen äußerer Relationen über einen kontinuierlichen Zeitraum. Die Modellierung erfolgt mit Differentialgleichungen. Im Mischungsbeispiel wäre das Modell eine Funktion, über die zu jedem beliebigen Zeitpunkt die Änderungstendenz berechnet werden kann. Über die Integration der Gleichung kann die Temperatur zu jedem Zeitpunkt berechnet werden. Die Systemgleichung eines zeitlich kontinuierlichen Modells hat die allgemeine Form: Zeitliche Veränderung von {\mathcal  V}={\mathit  {f}}({\mathcal  R},{\mathcal  V}) beziehungsweise {\frac  {{\rm {d{\mathcal  V}}}}{{\rm {d{\mathit  {t}}}}}}={\mathcal  V}(t)'={\mathit  {f}}({\mathcal  R},{\mathcal  V})
Zeitlich Diskrete Modelle
Nicht alle Prozesse lassen sich kontinuierlich beschreiben. Oft erfolgen Messungen nur in bestimmten Intervallen. Der Systemzustand zwischen diesen Intervallen ist nicht bekannt, also diskret. Mit Hilfe von Zeitreihenanalysen können Differenzengleichungen zur Modellierung derartiger Systeme erstellt werden. Die Systemgleichung eines derartigen Modells hat die allgemeine Form {\mathcal  V}^{{(k+1)}}={\mathit  {f}}({\mathcal  R}^{{(k)}},{\mathcal  V}^{{(k)}})
Räumlich Kontinuierliche Modelle
Zur Modellierung von Systemen bei denen neben einer zeitlichen auch die räumliche Dimension relevant ist, werden räumlich kontinuierliche Modelle mit Hilfe von partieller Differentialgleichung erstellt. Im Mischungsbeispiel könnte mit Hilfe eines solchen Modells zum Beispiel bestimmt werden, welche Temperatur zu einem bestimmten Zeitpunkt an einer bestimmten Stelle im Mischungsgefäß erreicht wird.
Stochastische Modelle
Nicht alle Systeme verhalten sich deterministisch, also vorhersagbar. Ein typisches Beispiel ist der Zerfallsprozess von radioaktiven Isotopen. Über einen gewissen Zeitraum ist zu erwarten, dass eine bestimmte Menge von Isotopen zerfallen ist, aber es ist nicht vorhersagbar wann genau dies passieren wird. Zur Modellierung derartiger Systeme werden stochastische Modelle mit Hilfe von Wahrscheinlichkeitsrechnungen erstellt.

Klassifizierung mathematischer Modelle

Nach dem Änderungsverhalten

in statische oder dynamische Modelle

Nach der Kontinuität

in diskrete oder kontinuierliche Modelle

Nach der Vorhersagbarkeit

in stochastische und deterministische Modelle

Nach der Anzahl der Systemvariablen

in 1- bis n-dimensionale Modelle

Nach der Art der Gleichungen und Gleichungssysteme

in lineare, quadratische und exponentielle Modelle

Nach dem Wissenschaftszweig

etwa in physische, chemische, … Modelle

Modellierung eines Beispielsystems

Formulierung des Modells

Magnetismus kann verschiedene Ursachen haben; in einem einzelnen Magneten können verschiedene Mechanismen wirken, die den Magnetismus hervorbringen, verstärken oder abschwächen; der Magnet kann aus kompliziert aufgebauten, verunreinigten Materialien bestehen; und so weiter. In dieses Durcheinander versucht man Licht zu bringen, indem man Modellsysteme untersucht. Ein physikalisches Modell für einen Ferromagneten kann etwa so lauten: eine unendlich ausgedehnte (man sieht also von Oberflächeneffekten ab), periodische (man sieht also von Gitterfehlern und Verunreinigungen ab) Anordnung atomarer Dipole (man konzentriert sich auf den Magnetismus gebundener Elektronen und beschreibt diesen in der einfachsten mathematischen Näherung).

Untersuchung des Modells

Um das soeben eingeführte physikalische Modell eines Ferromagneten zu untersuchen, sind verschiedene Methoden denkbar:

Validierung des Modells

Man wählt Parameter aus, die man einerseits aus experimentellen Untersuchungen an realen Ferromagneten kennt und die man andererseits auch für das Modell bestimmen kann; im konkreten Beispiel zum Beispiel die magnetische Suszeptibilität als Funktion der Temperatur. Wenn Vorbild und Modell in diesem Parameter übereinstimmen, dann kann man zurückschließen, dass das Modell relevante Aspekte der Wirklichkeit korrekt wiedergibt.

Beispiele mathematischer Modelle

Die wohl bekanntesten und ältesten Anwendungsbeispiele für mathematische Modelle sind die natürlichen Zahlen, die die Gesetzmäßigkeiten beim „Zählen“ konkreter Objekte beschreiben, die erweiterten Zahlenmodelle, die das klassische „Rechnen“ beschreiben, sowie die Geometrie, die die Landmessung ermöglichte.

Elektrotechnik

Physik

Astronomie

Chemie

Mathematik

Spieltheorie (Volkswirtschaftslehre)

Betriebswirtschaftslehre

Soziologie

Grenzen mathematischer Modelle

„After having been involved in numerous modeling and simulation efforts, which produced far less than the desired results, the nagging question becomes; Why?“

„Nachdem ich an vielen Modellierungs- und Simulationsbemühungen teilgenommen habe, die weit weniger als die erhofften Ergebnisse gebracht haben, entsteht die quälende Frage; Warum?“

– Gene Bellinger: Mental Model Musings

Mathematische Modelle sind eine vereinfachte Darstellung der Realität, nicht die Realität selbst. Sie dienen der Untersuchung von Teilaspekten eines komplexen Systems und nehmen dafür Vereinfachungen in Kauf. In vielen Bereichen würde eine vollständige Modellierung aller Variablen zu einer nicht mehr beherrschbaren Komplexität führen. Modelle, insbesondere solche, die menschliches Verhalten beschreiben, stellen nur eine Annäherung an die Wirklichkeit dar. Es ist nicht immer möglich, mit Modellen die Zukunft berechenbar zu machen.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 02.02. 2021