Inverse Streutransformation

Die Inverse Streutransformation (englisch Inverse Scattering Transformation, kurz IST) ist ein Verfahren zur exakten Lösung von Anfangswertproblemen bestimmter nichtlinearer partieller Differentialgleichungen (Evolutionsgleichungen) wie der Korteweg-de-Vries-Gleichung (KdV), die Solitonen beschreiben.

Geschichte

Die Inverse Streutransformation wurde 1967 und 1974 von Robert Miura, Martin Kruskal, Clifford Gardner und John Greene (GGKM) veröffentlicht.[1][2] Wesentliche Beiträge lieferten auch

Anwendung

Weitere Gleichungen, die mit der Inversen Streutransformation exakt gelöst werden konnten, sind

Die ursprünglich betrachteten Beispiele waren eindimensional im Raum, es gibt aber auch IST für mehrdimensionale Probleme wie die KP-Gleichung; die Benjamin-Ono-Gleichung nimmt eine Stellung zwischen ein- und mehrdimensionalen IST-Schemen ein.

Formulierung

Die nichtlineare Evolutionsgleichung (NL) sei durch:

für die Funktion mit Anfangswert gegeben (zusätzlich wird angenommen, dass die gesuchten (Solitonen-)Lösungen für große Abstände genügend stark abfallen). Tiefgestellte Indizes sind partielle Ableitungen. Wichtig ist, dass die Nichtlinearitäten der rechten Seite Funktionen von (und dessen räumlichen Ableitungen) sind.

Bei der KdV-Gleichung ist zum Beispiel

Bei der IST wird eine der NL zugeordnete lineare gewöhnliche Differentialgleichung (hier als LODE abgekürzt) betrachtet, die von einem zeitunabhängigen Spektralparameter abhängt und in die die gesuchte Lösung der NL als Potential eingeht. Die LODE beschreibt ein Streuproblem mit Streudaten, die durch den Spektralparameter (die Lösung besteht aus einer endlichen Anzahl gebundener Zustände und dem kontinuierlichen Spektrum), den Reflexionskoeffizienten[9] und die Normierungskonstanten gegeben sind. Man bestimmt die Streudaten-Lösung des Streuproblems für , entwickelt die Streudaten von zu (mithilfe einer linearen gewöhnlichen Differentialgleichung) und löst dann das inverse Streuproblem (mit der Martschenko-Methode bzw. Martschenko-Integralgleichung, manchmal auch zusätzlich nach Israel Gelfand und Boris Levitan benannt), das heißt die Rekonstruktion von aus . Das ist dann die gesuchte Lösung der NL.

Im Fall der KdV-Gleichung ist die zugehörige LODE die Schrödingergleichung:

Um die zur NL gehörige LODE zu bekommen, wird meist die Lax-Methode angewandt, in der es darauf ankommt, die NL als Lax-Paar mit zwei linearen Operatoren , zu formulieren:

(Gleichung 1)

und

(die Laxgleichung)

ist der Kommutator der beiden Operatoren. Dabei beschreibt die Zeitentwicklung von :

(Gleichung 2)

Durch die zweite Gleichung im Lax-Paar, die Laxgleichung, ist sichergestellt, dass der Spektralparameter und überhaupt das ganze Spektrum zeitunabhängig ist (ein wichtiger Punkt für die Anwendung der IST), das Problem ist isospektral in der Zeit.[10] Die Laxgleichung entspricht auch der ursprünglichen NL nach Einsetzen von B, L.

Das Lax-Paar für die KdV-Gleichung ist:

ist hier vom Sturm-Liouville-Typ und selbstadjungiert, B ist schief-adjungiert[11]. Einsetzen in die Laxgleichung ergibt die KdV-Gleichung.

Die IST besteht dann aus der Lösung von Gleichung 1 für die Streudaten zur Zeit , die Zeitentwicklung der Streudaten mit Gleichung 2 zur Zeit und der Rücktransformation von den Streudaten zur Zeit auf das Potential zur Zeit .

Bei der KdV-Gleichung ergeben sich die Solitonen aus den endlich vielen gebundenen Zuständen des Streuproblems (das kontinuierliche Spektrum liefert mit der Zeit abklingende Strahlung). Aus der IST bzw. daraus, dass das Spektrum der LODE zeitunabhängig ist, lässt sich auch die Existenz einer unendlichen Anzahl von Erhaltungsgrößen für die KdV ableiten, was die exakte Integrabilität sicherstellt.

Alle bisher bekannten nichtlinearen Evolutionsgleichungen, die mit der IST lösbar sind, lassen eine Reduktion zu einer Gruppe nichtlinearer gewöhnlicher Differentialgleichungen, den Painlevé-Gleichungen, zu. Diese Beobachtung wird als Test für die Anwendung der IST benutzt (Painlevé-Test), und es gibt eine Vermutung von M. Ablowitz, A. Ramani und H. Segur, dass dies immer so ist.[12]

Literatur

  • M. Ablowitz, H. Segur: Solitons and the Inverse Scattering Transform, SIAM 1981
  • M. Ablowitz, P. Clarkson, Solitons, Nonlinear Evolution Equations and Inverse Scattering, Cambridge University Press, Cambridge, 1991.

Einzelnachweise

  1. Gardner, Greene, Kruskal, Miura, Method for Solving the Korteweg-deVries Equation, Physical Review Letters, Band 19, 1967, S. 1095–1097
  2. Gardner, Greene, Kruskal, Miura, Korteweg-de Vries equation and generalizations VI. Methods for exact solution, Communications on Pure and applied mathematics. Band 27, 1974, S. 97–133
  3. Lax, Integrals of nonlinear equations of evolutions, Comm. Pure Appl. Math., Band 21, 1968, S. 467–490
  4. V. E. Zakharov, A. B. Shabat: Exact Theory of Two-Dimensional Self-Focusing and One-Dimensional Self-Modulation of Waves in Nonlinear Media, Soviet Phys. JETP, Band 34, 1972, S. 62–69.
  5. Zakharov, Shabat, A scheme for integrating the nonlinear equations of mathematical physics by the method of the inverse scattering problem, Funct. Anal. Appl., Band 8, 1974, S. 226–235
  6. Ablowitz, Kaup, Newell, Segur, The inverse scattering transform-Fourier analysis for nonlinear problems, Stud. Appl. Math., Band 53, 1974, S. 249–315
  7. Ablowitz, Science Citation Classics, 1982, PDF-Datei
  8. M.J. Ablowitz, D.J. Kaup, A.C. Newell, H. Segur, Method for Solving the Sine-Gordon Equation, Phys. Rev. Lett., Band 30, 1973, S. 1262–1264
  9. Ähnlich wie in der elementaren quantenmechanischen Streutheorie
  10. Man differenziere zum Beweis Gleichung (1) nach der Zeit und benutzte Gleichung (2). Man erhält als Bedingung für das Verschwinden der zeitlichen Ableitung von die Laxgleichung.
  11. Das führt dazu, wie Lax 1968 zeigte, dass der Zeitentwicklungsoperator (Lösung von Gleichung 2 mit ) unitär ist und , mit der Folge, dass das ganze Spektrum von zeitinvariant ist.
  12. M. Ablowitz, A. Ramani, H. Segur, A connection between nonlinear evolution equations and ordinary differential equations of P-type, 2 Teile, J. Math. Phys., Band 21, 1980, S. 715–721, 1006–1015