Symbolische Dynamik

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Symbolische Dynamik ist ein Zweig der Theorie dynamischer Systeme, in dem Methoden der Formalen Sprachen (Grammatiktheorie, Automatentheorie, Komplexitätstheorie) und der Theorie stochastischer Prozesse zur Anwendung kommen.

Der Ausgangspunkt der symbolischen Dynamik ist ein zeitdiskretes dynamisches System mit Zustandsraum und Fluss , wobei entweder gleich oder für reversible Dynamik gleich ist. Durch eine Partition des Zustandsraums in eine endliche Anzahl von n Teilmengen gewinnt man eine Vorschrift, wie eine Anfangsbedingung auf eine Symbolsequenz abzubilden ist:

Weise der Anfangsbedingung ein Symbol zu, wenn , weise dann dem Folgezustand ein Symbol zu, wenn , kurz: Weise dem Zustand ein Symbol zu, wenn . Die Folge der von der Bahnkurve durchzogenen Teilmengen kann dann als Symbolsequenz mit Symbolen angesehen werden. Dabei ist ein endliches Alphabet bestehend aus sovielen Symbolen wie es Teilmengen der Partition gibt.

Abhängig von der Zeitmenge erhält man entweder einseitig unendliche Symbolsequenzen , wenn (engl. one-sided shifts), oder zweiseitig unendliche Symbolsequenzen , wenn (engl. two-sided shifts). Der Punkt nach kennzeichnet üblicherweise die Anfangsbedingung. Die Menge der Symbolsequenzen, der Zustandsraum der symbolischen Dynamik, wird dann (einseitig), bzw. geschrieben. Die obige Konstruktionsvorschrift einer Symbolsequenz entspricht dann einer Abbildung , so dass , wenn , wobei der Teilmenge der Partition das Symbol zugeordnet ist.

Zwischen den symbolischen Darstellungen einer Anfangsbedingung und ihrer ersten Iteration besteht ein simpler Zusammenhang: Während durch die Sequenz dargestellt wird, beginnt die Konstruktion der Symbolsequenz für mit dem Symbol . Daher wird durch die Folge dargestellt. unterscheidet sich also von dadurch, dass alle Symbole in um eine Stelle nach links (oder der Punkt um eine Stelle nach rechts) gerückt sind. Daher gibt es eine Abbildung auf dem Raum der Symbolsequenzen , mit . Die Abbildung wird Linksverschiebung (engl. left-shift) genannt. heißen symbolische Dynamik. Zwischen dem ursprünglichen System und der symbolischen Dynamik besteht der Zusammenhang .

Referenzen[Bearbeiten | Quelltext bearbeiten]