Integrables System

Ein integrables System ist ein dynamisches System, welches eine besonders hohe strukturelle Ordnung und explizite Lösbarkeit besitzt. Integrablität bedeutet, dass das System eine tieferliegende mathematische Struktur besitzt, die seine explizite Lösung durch systematische Methoden erlaubt. Durch die Lösbarkeit des Systems erhält man insbesondere eine präzise Vorhersage des Langzeitverhaltens des Systems, was solche Systeme von chaotischen Systemen unterscheidet. Es existiert keine einheitliche formale Definition des Begriffs integrables System, der Begriff wird in verschiedenen Kontexten unterschiedlich verwendet.

In der klassischen Mechanik bezeichnet man ein System als integrabel, wenn es Liouville-integrabel (s. u.) ist, das heißt, wenn es genügend viele in Involution stehende (s. u.) Erhaltungsgrößen besitzt. Für quantenmechanische Systeme existiert der Begriff der Quantenintegrabilität. In moderneren Ansätzen wird ein System als integrabel bezeichnet, wenn es explizit gelöst werden kann, etwa durch Methoden wie die inverse Streutransformation, Riemann-Hilbert-Analyse oder determinantenbasierte Verfahren. Der Fokus liegt dabei weniger auf der Existenz struktureller Kriterien wie zum Beispiel Lax-Paaren oder Symmetrien, sondern auf tatsächlicher Lösbarkeit und Kontrolle der asymptotischen Regionen, das heißt das Verhalten in den Grenzregionen.

Integrable Systeme treten in zahlreichen Bereichen der Mathematik und Physik auf, darunter in der Theorie der nichtlinearen partiellen Differentialgleichungen (z. B. Korteweg-de-Vries-Gleichung, nichtlineare Schrödingergleichung), in der statistischen Mechanik (z. B. Ising-Modell, XXZ-Modell), der Wahrscheinlichkeitstheorie (z. B. Zufallsmatrizen, integrablen Wahrscheinlichkeit, TASEP), der Darstellungstheorie, der algebraischen Geometrie und weiter. Der Begriff der Integrablen Methode (IM) steht dabei für ein einheitliches methodisches Gerüst, das viele dieser scheinbar unterschiedlichen Anwendungen miteinander verbindet.

Integrables System

Klassische Mechanik

Sei ein 2n-dimensionaler Phasenraum M=ℝ2n mit Koordinaten q=(q1,…,qn) und p=(p1,…,pn) (Position und Impuls) und Hamilton-Funktion H:M→ℝ gegeben. Für zwei Phasenraumfunktionen F(q,p) und G(q,p) werden die Poisson-Klammern definiert

{F,G}:=∑k=1n(∂F∂qk∂G∂pk−∂F∂pk∂G∂qk).

Die Poisson-Klammer kann hergeleitet werden, in dem man F nach der Zeit ableitet und dann die hamiltonschen Bewegungsgleichungen

ddtqk=∂H∂pk,ddtpk=−∂H∂qk

einfügt.

Zwei Funktionen F und G Poisson-kommutieren, wenn die Poisson-Klammer verschwindet {F,G}=0. Eine Funktion F, die mit dem Hamiltonian H Poisson-kommutiert, ist eine Erhaltungsgröße. Wenn {F,G}=0, dann sagt man auch, dass F und G in Involution stehen, weil die Größen, die durch diese Funktionen beschrieben werden, unabhängig voneinander sind und sich in ihrer Entwicklung nicht gegenseitig beeinflussen.

Ein dynamisches System heißt Liouville-integrierbar falls es n unabhängige Erhaltungsgrößen hat, die gegenseitig in Involution stehen

{Fi,Fj}=0,i,j=1,…,n.

Der Satz von Liouville sage:

Sei H=H(x,t) eine Hamilton-Funktion auf ℝ2n mit kanonischer Poisson-Klammer und seien I1,…,In Integrale der Bewegung, welche gegenseitig Poisson-kommutieren {Ii,Ij}=0 für i,j=1,…,n. Falls I1,…,In unabhängig auf der Niveaumenge
Ca={(x,t)∈ℝ2n×ℝ:Ii=a,i=1,…,n}
sind, dann erhält man die Lösung der Hamilton-Gleichung ddtx={H,x} auf Ca durch Quadratur (d.h. explizite Integration).

Modernere Theorien

Die moderne Theorie integrierbarer Systeme begann mit der 1967 erschienenen Arbeit von Clifford Gardner, John Greene, Martin Kruskal und Robert Miura (GGKM), die eine neuartige Methode zur Lösung der Korteweg-de-Vries-Gleichung (KdV)

qt+6qqx−qxxx=0,q0(x)→0 wenn |x|→∞

entwickelten, die Inverse Streutransformation. Diese Methode beruhte auf der Spektral- und Streutheorie des zeitabhängigen Schrödinger-Operators L(t):=−∂x2+q(x,t) und ermöglichte die explizite Integration der KdV-Gleichung. Ein Jahr später formulierte Peter Lax die Gleichung um. Sei B(t):=4∂x3−6q∂x−3qx, dann lässt sich die KdV-Gleichung als Lax-Gleichung

∂tL=[B,L]=BL−LB

formulieren. Der Operator B wurde so gewählt, dass das Spektrum von L über die Zeit konstant bleibt, das heißt es gibt eine Familie unitärer Transformationen (U(t))t so dass L(t)=U−1(t)L(0)U(t) und daraus folgt Spec⁡(L(t))=Spec⁡(L(0)). Man nennt dies isospektrale Deformation von L(t). Die konstanten Eigenwerte sind dabei Erhaltungsgrößen des Systems, so dass die KdV-Gleichung Liouville-integrabel wird. Die Operatoren L und B nennt man Lax-Paare und für andere partielle Differentialgleichungen wurden später weitere Lax-Paare gefunden, darunter die nichtlineare Schrödinger-Gleichung und die Sinus-Gordon-Gleichung.

1974 wurde ein Verfahren – die Sacharow-Schabat-Konstruktion – eingeführt, mit dem man Lax-Paare konstruieren kann, die ein integrables System erzeugen.

Abstrakte Definition

Die nachfolgende Definition stammt von Percy Deift und verzichtet dabei auf die Begriffe Liouville-Integrabilität und Erhaltungsgrößen:

Ein dynamisches System η=η(a,b,…) gilt als integrables System, wenn
  • es eine bijektive Substitution η→ζ:=φ(η) gibt, sodass durch die Transformation η(a,b,…)=φ(η(a,b,…)) die Abhängigkeiten des System η von a,b… einfach und gut verstanden ist.
  • die Abbildungen T:η↦ζ:=φ(η) und Z:ζ↦η=φ−1(ζ) einfach und gut verstanden sind, sodass daraus das Verhalten von η(a,b…)=φ−1(ζ(a,b,…)) explizit erschlossen werden kann, insbesondere in den Fällen, wenn a,b,… variieren und speziell klein oder groß werden.

Integrabilität vs. Nicht-Integrabilität

Integrabilität bezeichnet ganz allgemein die Eigenschaft eines Systems, dessen Dynamik durch strukturierte Methoden explizit beschrieben werden kann, dies muss auch nicht immer in einer geschlossenen Lösungsform sein. In diesem Sinne sind integrable Systeme „lösbar“, weil man ihr Verhalten langfristig genau analysieren kann. Nicht-integrable Systeme sind hingegen durch Eigenschaften wie chaotisches Verhalten, starke abhängig von Anfangsbedingungen, dem Fehlen genügender Erhaltungsgrößen oder ganz allgemein dem Fehlen der Methoden, die mit integrablen Systemen verbunden sind, charakterisiert.

Literatur

Einzelnachweise

  1. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, arxiv:1902.10267 [abs].
  2. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, S. 5–6, arxiv:1902.10267 [abs].
  3. ↑ Olivier Babelon, Denis Bernard und Michel Talon: Introduction to Classical Integrable Systems. Hrsg.: Cambridge University Press. Vereinigtes Königreich 2003, S. 5–6.
  4. ↑ Alaing Goriely: Integrability and Nonintegrability of Dynamical Systems. Hrsg.: World Scientific. Singapur 2001, S. 309.
  5. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, S. 2–3, arxiv:1902.10267 [abs].
  6. ↑ C. S. Gardner, J. M. Greene, M. D. Kruskal und R. M. Miura: Method for Solving the Korteweg-deVries Equation. In: Physical Review Letter. Band 19, 1967, S. 1095–1097.
  7. ↑ Peter Lax: Integrals of nonlinear equations of evolution and solitary waves. In: Comm. Pure Appl. Math. Band 21, 1968, S. 6, doi:10.1002/cpa.3160210503.
  8. ↑ Alain Goriely: Integrability and Nonintegrability of Dynamical Systems. Hrsg.: World Scientific. Singapur 2001, S. 309.
  9. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, S. 3, arxiv:1902.10267 [abs].
  10. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, S. 9, arxiv:1902.10267 [abs].
  11. ↑ Wladimir Jewgenjewitsch Sacharow: What Is Integrability? Hrsg.: Springer (= Springer Series in Nonlinear Dynamics). Berlin, Heidelberg 1991, doi:10.1007/978-3-642-88703-1.
  12. ↑ Percy Deift: Fifty Years of KdV: An Integrable System. 2019, arxiv:1902.10267 [abs].