Matroids Matheplanet Forum Index
Moderiert von Wally haerter
Gewöhnliche DGL » Systeme von DGL » Dynamisches System (Definition)
Autor
Universität/Hochschule Dynamisches System (Definition)
Felixg
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 03.04.2020
Mitteilungen: 22
  Themenstart: 2021-06-18

Hallo. In der Vorlesung beschäftigen wir uns seit Kurzem mit dynamischen Systemen. Im Skript haben wir eine Definition eines dynamischen Systems. Doch im Internet finde ich Definitionen, die teilweise ganz andere Voraussetzungen haben. Und ich verstehe nicht warum... Also ich erkenne die Äquivalenz beider Definitionen nicht. Hier die 2 Definitionen: Definition I: Sei $U \subseteq \mathbb{R}^{n}$ offen und für $x \in U$ sei $I(x) \subseteq \mathbb{R}$ ein offenes Intervall in $\mathbb{R}$ mit $0 \in I(x)$. Ferner sei $\Omega = \bigcup\limits_{x \in U} I(x) \times \{ x \} \subseteq \mathbb{R} \times U$ offen in $\mathbb{R}^{n + 1}$. Dann heißt eine stetig differenzierbare Abbildung $\varphi: \Omega \rightarrow U: (t, x) \mapsto \varphi^{t}(x) $ ein dynamisches System oder ein Fluss auf $U$, wenn: (1) $\varphi^{0} = id_{U}$ (2) $s \in I(\varphi^{t}(x))$ genau dann, wenn $s + t \in I(x)$ für alle $x \in U, t \in I(x)$ (3) Es gilt $(\varphi^{s}\circ \varphi^{t})(x)= \varphi^{s + t}(x)$ für alle $t, s + t \in I(x)$. Definition II Ein dynamisches System auf einem Gebiet $U \subseteq \mathbb{R}^{n}$ ist gegeben durch eine stetig differenzierbare Abbildung $\varphi: \Omega \rightarrow G, (t, x) \mapsto \varphi^{t}(x)$ mit folgenden Eigenschaften: (1) $\Omega \subseteq \mathbb{R} \times U$ ist ein Gebiet, so dass $\{ 0 \} \times U \subseteq \Omega$ ist und für jedes $x \in U$ die Menge $I(x) := \{ t \in \mathbb{R}\; \vert \; (t, x) \in \Omega \}$ wegzusammenhängend ist. (2) $\varphi^{0} = id_{U}$ (3) $s \in I(\varphi^{t}(x))$ genau dann, wenn $s + t \in I(x)$ für alle $x \in U, t \in I(x)$ (4) Es gilt $(\varphi^{s}\circ \varphi^{t})(x)= \varphi^{s + t}(x)$ für alle $t, s + t \in I(x)$. Die Punkte (2), (3), (4) von Definition II sind identisch mit den Punkte (1), (2), (3) von Definition I. Der Punkt (1) von Definition I könnte man noch in die Voraussetzung packen. Also so: Seien $U \subseteq \mathbb{R}^{n}, \Omega \subseteq \mathbb{R} \times U$ Gebiete, so dass $\{ 0 \} \times U \subseteq \Omega$ ist und für jedes $x \in U$ die Menge $I(x) := \{ t \in \mathbb{R}\; \vert \; (t, x) \in \Omega \}$ wegzusammenhängend ist. Dann heißt eine stetig differenzierbare Abbildung $\varphi: \Omega \rightarrow U: (t, x) \mapsto \varphi^{t}(x) $ ein dynamisches System oder ein Fluss auf $U$, wenn: $\vdots$ Scheinbar haben beide Definitionen am Anfang verschiedene Voraussetzungen. Warum sind denn beide zulässig? Oder sind beide Definitionen äquivalent? Falls ja, wie sieht man das? Grüße, Felix


   Profil
Folgende Antworten hat der Fragensteller vermutlich noch nicht gesehen.
Er/sie war noch nicht wieder auf dem Matheplaneten
haerter
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 07.11.2008
Mitteilungen: 1735
Wohnort: Bochum
  Beitrag No.1, eingetragen 2021-06-21

Hallo, vielleicht übersehe ich etwas, aber der Punkt, der das I(x) aus Definition 1 mit (1) aus Definition 2 verknüpft ist doch die Tatsache, dass die wegzusammenhängenden Teilmengen von $\mathbb{R}$ gerade die Intervalle sind. Daraus ergibt sich dann die Äquivalenz der beiden Definitionen. Vorstellen sollte man sich $I(x_0)$ als das maximale Zeitintervall, für das der Orbit durch den Punkt $x_0$ existiert (zum Beispiel die Lösung einer Differentialgleichung zum Anfangswert $x(0)=x_0$). Ich würde ja sagen: Für die allermeisten Sätze und Beispiele kann man zunächst so tun als ob $I(x)=\mathbb{R}$ für alle $x$ wäre und dann überlegen, ob es einen Unterschied macht, wenn $I(x)$ kleiner ist. Anders ausgedrückt: Die Punkte (1),(2) und (3) aus Definition 1 sind die wichtigen Elemente der Definition eines dynamischen Systems (bzw. eines Flusses), das $I(x)$ ist eher technisches Beiwerk. Viele Grüße, haerter


   Profil

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]