Die natürliche Metrik eines Phasenraums und der Lyapunov-Exponent

Für mich scheint es, dass es keine offensichtliche Metrik für einen Phasenraum eines dynamischen Systems gibt . Natürlich kann man naiv eine euklidische Metrik darauf definieren, aber es scheint, dass diese Metrik nicht viel mit den Besonderheiten eines Phasenraums zu tun hat.

Aber in vielen Lehrbüchern über dynamische Systeme ist es die Metrik, die bei der Definition des Lyapunov-Exponenten verwendet wird .

Ist das wirklich ein schöner Ansatz?

Ich denke, das ist eine großartige Frage, aber ich bin nicht gut genug, um sie jetzt zu beantworten. Meine direkte Antwort wäre gewesen "es ist kein mertischer Raum, es ist ein symplektischer Raum", aber es beantwortet nichts ganz. Beim Durchsuchen des Internets habe ich diese Notizen gefunden , die ich noch nicht vollständig verstehen kann, aber vielleicht einige Antworten für Sie enthalten.

Antworten (1)

Es wurde von Eichhorn, Linz und Hänggi im Jahr 2000 gezeigt, dass die numerischen Werte von Lyapunov-Exponenten unter jeder invertierbaren Variablentransformation invariant sind. Dies ist nur eine Umformulierung der Tatsache, dass sie metrisch invariant sind, weil die Autoren die Norm voraussetzen | | eine willkürliche Norm in den gegebenen Koordinaten zu sein - es genügen schon seine Grundeigenschaften wie Linearität.

Um etwas Intuition dafür zu bekommen - Lyapunov-Exponenten sind mit der Haussdorf- oder fraktalen Dimension der Flugbahn verknüpft. Obwohl die Hausdorff-Dimension auf einem metrischen Raum definiert ist, haben wir eine Intuition, dass eine fraktale Dimension eigentlich eher eine Eigenschaft einer differentiellen Struktur als eine spezifische Vorstellung von Länge/Oberfläche/Volumen ist. Die Metrik ist nur ein Griff, um zur fraktalen Dimension zu gelangen, aber sie ist von Natur aus nicht metrisch. Wir können den Erwerb von Lyapunov-Exponenten auf ähnliche Weise verstehen - die Metrik ist nur ein Griff und wir wählen willkürlich einen aus.

Eine zweite Möglichkeit, eine Intuition zu bekommen, ist die explizite Definition der Exponenten λ über die lineare Variation δ x ( t ) zeitlich gewachsen:

λ = lim t Protokoll | δ x ( t ) | t
Nehmen wir das an δ x ( t ) = e μ t δ x ( 0 ) . Dann aus der Linearität der Norm, die wir haben | δ x ( t ) | = e μ t | δ x ( 0 ) | und die Grenzerträge
λ = lim t ( μ t t + Protokoll | δ x ( 0 ) | t )
Der zweite Begriff stirbt ab und wir haben λ = μ für jede positive bestimmte lineare | | . Dh man bekommt die gleiche Zahl mit einer anderen Norm und somit gibt der Lyapunov-Exponent etwas an, was mit einer von der Metrik unabhängigen „relativen Wachstumsrate“ verbunden ist. Dieses Argument weist einige Schlupflöcher auf, die in dem oben zitierten Artikel behandelt werden.

Kleiner Kommentar zum Beitrag (v1): Bitte denken Sie daran, Autor, Titel etc. des Links explizit anzugeben, damit der Link im Falle einer Linkfäule rekonstruiert werden kann.
Eine eng verwandte Frage, wenn ich darf: Benachbarte Trajektorien in einem chaotischen System divergieren exponentiell (Rate gegeben durch Lyapunovs exp), impliziert dies, dass die Mannigfaltigkeit solcher Systeme eine negative Riemannsche Krümmung hat? (für die benachbarte Geodäten exponentiell divergieren müssen.) Ich versuche nur zu verstehen, warum es exponentiell divergieren muss .
@Phonon Geodätische Flüsse auf Riemannschen Mannigfaltigkeiten mit negativer Schnittkrümmung und gebundenen Geodäten sind in der Tat chaotisch. Besonders in der Relativitätstheorie ist es oft möglich, den pseudo-riemannschen geodätischen Fluss in einen riemannschen zu transformieren, um Chaotik zu beweisen. Die exponentielle Definition ist etwas "numerisch-empirisch" - sie scheint nur für nicht-quasiperiodisches Verhalten exklusiv zu sein, während integrierbare Systeme immer ein lineares bis polynomielles Fehlerwachstum aufweisen.
@Void danke, dass du dich bei mir gemeldet hast. Macht viel Sinn. Ich hatte immer den starken Eindruck, dass die ergodische Hypothese nur für eine exponentielle Divergenz gelten würde, dh obwohl die Trajektorien auseinander gespreizt sind, reicht die lineare Divergenz nicht aus, um zu garantieren, dass das System jede messbare Teilmenge des Phasenraums abdeckt. Letzte Frage, in der klassischen Mechanik muss der Phasenraum entweder für reguläre oder chaotische dynamische Systeme kompakt sein, aber ist es richtig zu sagen, dass die Topologie für ein chaotisches System nicht flach (oder torusartig) sein kann? (offensichtlich sowieso nicht mehr symplektisch)
@Phonon Nicht wirklich, das bekannteste Lorenz-Modell hat einen R 3 Phasenraum. Die berühmten gekickten Oszillatoren haben eine formale T 2 × R 2 Phasenraum, was auch beim ebenen Doppelpendel der Fall ist. Es gibt einige topologische Überlegungen im Chaos, aber der Phasenraum muss nur eine Dimension haben 3 um zeitkontinuierliches Chaos zuzulassen.