Bäcklund-Transformation

Bäcklund-Transformationen (im Englischen auch Baecklund oder Backlund geschrieben) sind Transformationen der abhängigen und unabhängigen Variablen in nichtlinearen Differentialgleichungen, die es ermöglichen, Lösungen einer Gleichung oder Lösungen verschiedener Gleichungen miteinander zu verbinden. Sie sind in der Theorie der Solitonen wichtig.

Geschichte

Bäcklund-Transformationen werden nach Albert Bäcklund benannt, der sie von 1875 bis 1882 in mehreren Arbeiten in den Mathematischen Annalen behandelte,[1][2] und zusätzlich manchmal nach Sophus Lie, der sie ebenfalls um 1880 in der Differentialgeometrie benutzte. Eine Zusammenfassung früherer Arbeiten gab Édouard Goursat,[3] Jean Clairin gab Anfang des 20. Jahrhunderts eine Methode zur Erzeugung von Bäcklund-Transformationen an.[4][5] Danach wurde es ruhig um die Methode, die ab den 1970er Jahren eine Renaissance in der Theorie der Solitonen („teilchenartige“ Lösungen nichtlinearer Differentialgleichungen) erlebte.

Bäcklund-Transformationen für die Sinus-Gordon-Gleichung, die schon im 19. Jahrhundert in der Differentialgeometrie (Flächen negativer Krümmung) betrachtet wurde, waren schon länger bekannt (von Bäcklund selbst), für die Korteweg-de-Vries-Gleichung gaben zuerst Hugo Wahlquist und Frank Estabrook 1973 eine solche Transformation an.[6] Eine Ableitung mit der Methode von J. Clairin gab George Lamb[7], der 1967 auch Multi-Soliton-Lösungen der Sinus-Gordon-Gleichung mit Bäcklund-Transformationen gewann[8], wobei die Sinus-Gordon-Gleichung diesmal in der Theorie ultrakurzer Laserpulse auftrat. Die Methode lieferte (neben der Inversen Streutransformation und der direkten Methode von Ryōgo Hirota) auch Methoden zur Lösung nichtlinearer Evolutionsgleichungen, wobei sie meist auf Gleichungen in zwei unabhängigen Variablen angewandt wurde, doch sind auch Transformationen für mehr Variablen bekannt (wie für die KP-Gleichung).

Definition

In der ursprünglichen Definition[9] verbanden Bäcklund und Lie

• die beiden Gleichungen ${\displaystyle u(x,y)}$, ${\displaystyle v(x_{1},y_{1})}$ zweier Flächen im ${\displaystyle \mathbb {R} ^{3}}$
• die unabhängigen Koordinaten ${\displaystyle x,y}$ bzw. ${\displaystyle x_{1},y_{1}}$ sowie
• die partiellen Ableitungen ${\displaystyle u_{x},u_{y},v_{x_{1}},v_{y_{1}}}$ der beiden Flächengleichungen, wobei z. B. ${\displaystyle u_{x}}$ die partielle Ableitung nach ${\displaystyle x}$ andeutet,

durch vier Gleichungen bzw. Bäcklund-Transformationen:

${\displaystyle B_{j}(u,u_{x},u_{y},x,y,v,v_{x_{1}},v_{y_{1}},x_{1},y_{1})=0}$, (mit ${\displaystyle j=1,\dots ,4}$)

Die Gleichungen verbanden in damaliger Sprachweise zwei Flächenelemente: eine der beiden Flächengleichungen ${\displaystyle u}$ oder ${\displaystyle v}$ war bekannt, die andere suchte man.

Zusätzlich herangezogen wurde die Integrabilitätsbedingung:

${\displaystyle u_{xy}=u_{yx}}$

bzw. die analoge Integrabilitätsbedingung für ${\displaystyle v}$.

Von Goursat und Clairin wurde dies darauf erweitert, dass auch die zweiten Ableitungen in die Relationen einfließen konnten. In modernen Anwendungen sind ${\displaystyle u,v}$ meist Lösungen nichtlinearer partieller Differentialgleichungen (der gleichen oder verschiedener), die miteinander über Bäcklundtransformationen verbunden werden.

Eine moderne geometrische Formulierung von Bäcklund-Transformationen erfolgt über den Jet-Bündel-Formalismus, in dem Systeme partieller Differentialgleichungen als Untermannigfaltigkeiten eines Jet-Bündels betrachtet werden.[10][11]

Beispiele

Cauchy-Riemannsche Differentialgleichungen

Ein einfacher Fall einer Bäcklund-Transformation sind die Cauchy-Riemann-Differentialgleichungen zwischen Realteil ${\displaystyle u}$ und Imaginärteil ${\displaystyle v}$ einer holomorphen Funktion über ${\displaystyle \mathbb {C} }$ (die unabhängige komplexe Variable ${\displaystyle z=x+iy}$ habe Realteil ${\displaystyle x}$ und Imaginärteil ${\displaystyle y}$):

${\displaystyle u_{x}=v_{y},\quad u_{y}=-v_{x},\,}$

In diesem Fall sind sie Bäcklund-Transformationen zur Laplace-Gleichung ${\displaystyle u_{xx}+u_{yy}=0}$, die sowohl ${\displaystyle u}$ als auch ${\displaystyle v}$ als Lösung hat, damit die Integrabilitätsbedingungen ${\displaystyle u_{xy}=u_{yx}}$ (und analog für ${\displaystyle v}$) erfüllt sind.

Erfüllt ${\displaystyle u}$ die Laplacegleichung, kann man umgekehrt über die Bäcklundtransformation ein ${\displaystyle v}$ finden, dass ebenfalls die Laplacegleichung erfüllt. Der Fall ist hier sehr einfach gelagert, da die Transformationen und die zugehörige invariante Differentialgleichung linear sind.

Sinus-Gordon-Gleichung

Die Lösung ${\displaystyle u}$ der Sinus-Gordon-Gleichung:

${\displaystyle u_{xy}=\sin u}$

kann durch eine Bäcklund-Transformation

${\displaystyle {\begin{aligned}v_{x}&=u_{x}+2a\sin {\Bigl (}{\frac {u+v}{2}}{\Bigr )}\\v_{y}&=-u_{y}+{\frac {2}{a}}\sin {\Bigl (}{\frac {v-u}{2}}{\Bigr )}\end{aligned}}}$

(mit Parameter ${\displaystyle a}$) mit einer anderen Lösung der Sinus-Gordon-Gleichung ${\displaystyle v}$ verknüpft werden. Da hier Lösungen derselben Gleichung miteinander verknüpft werden, spricht man von Auto-Bäcklundtransformation.

Liouville-Gleichung

Eine Lösung ${\displaystyle u}$ der nichtlinearen Liouville-Gleichung

${\displaystyle u_{xy}=\exp u}$

kann über eine Bäcklund-Transformation von ${\displaystyle u}$ zu ${\displaystyle v}$:

${\displaystyle {\begin{aligned}v_{x}&=u_{x}+2a\exp {\Bigl (}{\frac {u+v}{2}}{\Bigr )}\\v_{y}&=-u_{y}-{\frac {1}{a}}\exp {\Bigl (}{\frac {u-v}{2}}{\Bigr )}\end{aligned}}}$

(mit einem Parameter ${\displaystyle a}$) in eine Lösung ${\displaystyle v}$ der linearen Gleichung:

${\displaystyle v_{xy}=0}$

transformiert werden und umgekehrt. Statt einer nichtlinearen Differentialgleichung muss man hier nur eine viel einfachere lineare Differentialgleichung lösen.

Korteweg-de-Vries-Gleichung

Betrachtet wird eine Methode, mit Hilfe von Bäcklund-Transformationen neue Lösungen der Korteweg-de-Vries-Gleichung zu erhalten, wenn eine Lösung u schon bekannt ist (Auto-Bäcklund-Transformation).

Die KdV-Gleichung ist:

${\displaystyle u_{t}+6uu_{x}+u_{xxx}=0}$

Gesucht wird folgendes Differentialgleichungspaar, wobei ${\displaystyle u,w}$ Lösung der KdV-Gleichung seien.[12]

${\displaystyle w_{x}=P(u,w,u_{x},u_{t},u_{xx})}$

${\displaystyle w_{t}=Q(u,w,u_{x},u_{t},u_{xx})}$

wobei die Funktionen ${\displaystyle P,Q}$ nur von den angegebenen Variablen, nicht von den partiellen Ableitungen von ${\displaystyle w}$ abhängen. Außerdem wird verlangt, dass

${\displaystyle w_{xt}=w_{tx}}$ (Integrabilitätsbedingung).

Das Finden solcher Bäcklund-Transformationen ist nicht einfach. Hier liefert die Wahl (mit einer Konstanten ${\displaystyle k}$)

${\displaystyle P=-u_{x}-k^{2}+{(w-u)}^{2}}$

${\displaystyle Q=-u_{t}+4(k^{4}+k^{2}u_{x}-k^{2}{(w-u)}^{2}+u_{x}{(w-u)}^{2}+u_{xx}(w-u))}$

eine Bäcklundtransformation, denn aus der Integrabilitätsbedingung folgt, dass ${\displaystyle w,u}$ die Gleichung:

${\displaystyle s_{t}-6s_{x}^{2}+s_{xxx}=0}$

für alle ${\displaystyle k}$ erfüllen und aus der Ableitung dieser Gleichung nach ${\displaystyle x}$ folgt, dass ${\displaystyle -2s_{x}}$ die KdV-Gleichung erfüllt.

Hat man nun eine Lösung, kann man damit unendlich viele weitere konstruieren. Man startet zum Beispiel mit ${\displaystyle u=0}$ und erhält:

${\displaystyle w_{x}=-k_{0}^{2}+w^{2}}$

${\displaystyle w_{t}=-4k_{0}^{2}(w^{2}-k_{0}^{2})}$

Die Lösung ist ${\displaystyle w=-k_{0}\tanh(k_{0}(x-4k_{0}t))=-k_{0}\tanh(\xi _{0})}$ (mit ${\displaystyle \xi _{0}=k_{0}(x-4k_{0}t)}$), die 1-Solitonenlösung der KdV-Gleichung. Setzt man diese ein, erhält man die 2-Solitonenlösung usw. Explizit (mit dem Sekans hyperbolicus ${\displaystyle \operatorname {sech} }$):

${\displaystyle v_{x}=k_{0}\operatorname {sech} ^{2}(\xi _{0})-k_{1}^{2}+{(v+k_{0}\tanh(\xi _{0}))}^{2}}$

Führt man die Funktion ${\displaystyle \phi }$ nach Estabrook und Wahlquist ein mit

${\displaystyle v={\frac {k_{1}^{2}-k_{0}^{2}}{\phi -v}}}$

ergibt sich:

${\displaystyle \phi _{x}=-k_{1}^{2}+\phi ^{2}}$

die von derselben Form ist wie die Gleichung der ersten Näherung. Hier kann man nun eine weitere Lösung ${\displaystyle \phi =-k_{1}\coth(\xi _{1})}$ einsetzen (oben wurde sie außer Acht gelassen, da sie nicht beschränkt ist, hier wird sie aber in den Ansatz für ${\displaystyle v}$ im Nenner eingesetzt) und man erhält die 2-Soliton-Lösung.

Robert Miura benutzte 1968 eine Bäcklund-Transformation, um die Hierarchie unendlicher vieler Konstanten der Bewegung bei der KdV-Gleichung zu erhalten.[13][14] Er schuf damit auch Verbindungen von der KdV-Gleichung zur sogenannten modifizierten KdV-Gleichung ${\displaystyle u_{t}-6u^{2}u_{x}+u_{xxx}=0}$.

Literatur

• C. Rogers, W. Shackwick: Bäcklund transformations and their applications, Elsevier, Academic Press 1982
• C. Rogers, W. K. Schief: Backlund and Darboux Transformations, Cambridge University Press 2002
• R. Miura (Hrsg.): Bäcklund Transformations, the Inverse Scattering Method, Solitons, and Their Applications. New York: Springer-Verlag, 1974.
• G. Lamb: Bäcklund transformations at the turn of the century, in R. M. Miura (Hrsg.), Bäcklund transformations, Springer, Lecture notes in Mathematics 515, 1976, S. 69–79

Weblinks

• Baecklund Transformation, Wolfram Mathworld (mit Literatur)
• W.-H. Steeb, Baecklund transformations, Encyclopedia of Mathematics

Einzelnachweise

1. Bäcklund, Zur Theorie der partiellen Differentialgleichungen erster Ordnung, Mathematische Annalen, Band 17, 1880, S. 285–328, SUB Göttingen
2. Bäcklund, Zur Theorie der Flächentransformationen, Mathematische Annalen, Band 19, 1882, S. 387–422, SUB Göttingen
3. Goursat, Lecons sur l´intégration des equations aux derivées partielles du second ordre, Band 2, 1902
4. Clairin, Sur les transformations de Baecklund, Annales scientifiques de l'École Normale Supérieure, Sér. 3, 19 (1902), p. 3-63, numdam (Memento vom 18. August 2016 im Internet Archive)
5. Clairin, Sur quelques équations aux dérivées partielles du second ordre, Annales de la Faculté des sciences de Toulouse : Mathématiques, Sér. 2, 5 no. 4, 1903, S. 437–458, numdam (Memento vom 18. August 2016 im Internet Archive)
6. Wahlquist, Estabrook, Backlund transformations for solutions of the Korteweg-de-Vries equation, Phys. Rev. Lett., Band 31, 1973, S. 1386
7. G. L. Lamb, Bäcklund transformations for certain nonlinear evolution equations, J. Math. Phys., Band 15, 1974, S. 1257–1265
8. Lamb, Propagation of ultrashort laser pulses, Phys. Lett. A, Band 25, 1967, S. 181–182
9. Zum Beispiel C. Rogers, W. F. Shadwick, Bäcklund transformations and their applications, Academic Press 1982, S. 15
10. C. Rogers, W. F. Shadwick, 1982, Kapitel 2
11. Felix Pirani, D. C. Robinson, W. F. Shackwick, Local jet bundle formalism of Bäcklund transformations, Reidel 1979
12. Die Darstellung folgt E. Infeld, G. Rowlands, Nonlinear Waves, Solitons and Chaos, Cambridge UP 1990, S. 196ff. In der Literatur finden sich auch andere Bäcklund-Transformationen der KdV.
13. Miura, Korteweg-de-Vries equation and generalizions 1, 2, J. Math. Phys., Band 9, 1968, S. 1202, 1204
14. Infeld, Rowlands, loc. cit., S. 191