Nonlinear Waves Roger Grimshaw, Gennady El, Karima Khusnutdinova Lecture 10 Sine-Gordon Equation February 24, 2010 Lecture 10: Sine-Gordon equation by Karima Khusnutdinova Introduction The sine-Gordon (SG) equation φtt − φxx = − sin φ (1) has many applications: I it appeared in 19th century in the differential geometry of surfaces with constant negative Gaussian curvature (Bour 1862, Bianchi, Enneper) I as a model of dislocations in a crystal (Frenkel and Kontorova, 1939) I as a model for elementary particles (Perring and Skyrme, 1962) I as a model of transverse electromagnetic waves on a superconducting ‘strip-line’ transmission system (long Josephson junctions, Scott and Johnson, 1969) I etc. The equation is integrable by the Inverse Scattering Transform (IST) (Takhtajan and Faddeev, AKNS 1974). 10.1 Sine-Gordon equation: Bäcklund Transformations and integrability The SG equation (1) can be written in the characteristic form φξη = sin φ, where ξ= x −t x +t , η= . 2 2 Then, it appears as a compatibility condition of the following (AKNS) linear problem: ψ1 ξ = −iζψ1 − ψ2 ξ = iζψ2 + φξ ψ2 , 2 φξ ψ1 ; 2 and i [cos φ ψ1 + sin φ ψ2 ], 4ζ i = [sin φ ψ1 − cos φ ψ2 ]; 4ζ (2) ψ1 η = ψ2 η providing the basis for the IST. (3) 10.1 Sine-Gordon equation: Bäcklund Transformations and integrability Bäcklund transformations (BT) for the SG equation were devised in 1880s in differential geometry and are attributed to Bianchi and Bäcklund. They have the form: 1 φ − φ̃ (φ + φ̃)ξ = α sin , 2 2 1 φ + φ̃ 1 (φ − φ̃)η = sin , 2 α 2 (4) where both φ and φ̃ are solutions of the SG equation (1), and can be viewed as a transformation of the SG equation into itself. BT allow one to construct hierarchies of solutions, starting from some simple known solutions. Are there any other Klein-Gordon equations φξη = F (φ), admitting Bäcklund transformation of the form: φ − φ̃ 1 (φ + φ̃)ξ = f ( ), 2 2 1 φ + φ̃ (φ − φ̃)η = g ( )? 2 2 (5) (6) 10.1 Sine-Gordon equation: Bäcklund Transformations and integrability Differentiating (5) with respect to η and (6) with respect to ξ, we obtain φ − φ̃ φ + φ̃ 1 (φ + φ̃)ξη = f 0 ( )g ( ), 2 2 2 φ + φ̃ φ − φ̃ 1 (φ − φ̃)ξη = g 0 ( )f ( ), 2 2 2 (7) (8) which implies φ − φ̃ φ + φ̃ φ + φ̃ φ − φ̃ )g ( ) + g 0( )f ( ), (9) 2 2 2 2 φ − φ̃ φ + φ̃ φ + φ̃ φ − φ̃ )g ( ) − g 0( )f ( ). (10) = F (φ̃) = f 0 ( 2 2 2 2 φξη = F (φ) = f 0 ( φ̃ξη Introducing functions v = (φ + φ̃)/2 and w = (φ − φ̃)/2, we rewrite the previous equations as F (v + w ) = g (v )f 0 (w ) + g 0 (v )f (w ), 0 0 F (v − w ) = g (v )f (w ) − g (v )f (w ). (11) (12) 10.1 Sine-Gordon equation: Bäcklund Transformations and integrability Differentiating either of these equations with respect to v and then w , and either adding or subtracting the results, we obtain f 00 (w ) g 00 (v ) = = λ = const. g (v ) f (w ) Thus, g 00 = λg , f 00 = λf , and λ can be assumed to be −1, 0, 1. For λ = −1 we find g (v ) = β sin v , f (w ) = α sin w . (13) Substituting (13) into (11) and (12), we obtain F (φ) = sin φ for β = α−1 , giving us the BT for the sine-Gordon equation. The choice of λ = 1 yields the sinh-Gordon equation, λ = 0 - the linear Klein-Gordon equation. Thus, the SG equation is a very special equation (existence of the BT for it is related to the integrability of this equation by the IST). 10.1 Sine-Gordon equation: Bäcklund Transformations and integrability Derivation of BTs from AKNS problem? (Following H-H Chen, Phys. Rev. Lett. 33 (1974) 925-928) I ψ1 Having AKNS problem for ψ1 and ψ2 , introduce G = ψ and derive 2 equations for Gξ and Gη (turn out to be Riccati equations). I Eliminating φ (solution of the SG equation) from these equations, one can obtain an equation for G only. I This equation turns out to be invariant under the transformation (G , ζ) → (−G , −ζ), indicating that there is another solution φ̃ of the SG equation, related to (−G , −ζ). This gives a second pair of equations for Gξ and Gη , containing φ̃. I BTs (relating φ and φ̃) can be derived from the two pairs of equations for Gξ and Gη . 10.2 Symmetries of the SG equation In the following we use the following continuous and discrete symmetries, admitted by the SG equation (1): t → t + t0 , x → x, φ→φ (shift in t), t → t, x → x + x0 , φ→φ (shift in x), t → t, x → x, φ → φ + 2πn, n is any integer, (discrete shifts in φ), t → −t, t → t, t → t, x → x, φ → φ (reflection in t), x → −x, φ → φ (reflection in x), x → x, φ → −φ (reflection in φ), t − cx x − ct t→√ , x→√ , 1 − c2 1 − c2 (Lorenz transformation). φ → φ, For example, if φ is a solution, then −φ is a solution as well, etc. 10.3 Bäcklund Transformations: Kink and Antikink Given a solution φ0 of the SG equation, BT (4) allows one to find a 2-parameter family of solutions. Consider the trivial solution φ = 0. Substituting it into (4), we obtain φ̃ξ = −2α sin φ̃ , 2 φ̃η = − 2 φ̃ sin . α 2 Integrating, Z φ̃ 2αξ = − d φ̃ φ̃ 2 sin 2 η=− α Z φ̃ d φ̃ sin φ̃ 2 = −2 ln (tan φ̃ ) + p(η), 4 = −2 ln (tan φ̃ ) + q(ξ). 4 Therefore, tan φ̃4 = exp (aξ + 1a η + δ), where a = −α, δ = const. Thus, the trivial solution φ = 0 has generated a new solution: 1 φ1 = φ̃ = 4 tan−1 exp(aξ + η + δ). a (14) 10.3 Bäcklund Transformations: Kink and Antikink Reverting to t and x: φ1 = φ̃ = 4 tan where v = 1−a2 1+a2 , −1 x − vt exp σ √ +δ , 1 − v2 σ = ±1 (we can assume δ = 0, up to shifts in x, t). Σ= 1 HkinkL, v = 0.5, t = 0 Σ= -1 HantikinkL, v = 0.5, t = 0 6 6 5 5 4 4 j1 3 j1 3 2 2 1 1 0 -10 -5 0 x 5 10 0 -10 -5 0 x 5 10 Figure: Kink and antikink for v = 0.5 at t = 0. Remarks. Note that derivatives of these solutions are hump-shaped, like a solitary wave. Also note that 2πn, where n is an integer can be added to any solution of the SG equation due to invariance of the equation with respect to this transformation. 10.4 Addition theorem Now we can again use the BT (4), so that φ1 generates a new solution φ2 . To do this, put φ = φ1 into the BT (4), and integrate to find a new solution. This new solution can then also be used to find another solution, etc. However, the direct integration is not easy, and the actual way to use the BTs for finding new solutions is based on the fact that BTs commute, which is shown on the diagram below. Figure: http://homepages.tversu.ru/∼s000154/collision/main.html Remark. To be precise, BTs can be made commutative by adjusting the integration constants (e.g., McLaughlin and Scott 1973, Seeger et al. 1953). 10.4 Addition theorem Let us take a sequence of pairs (φ0 , φ11 ), (φ11 , φ2 ), (φ0 , φ21 ), (φ21 , φ2 ). Then, we have the following BTs (follow the diagram): 1 (φ0 + φ11 )ξ 2 1 (φ0 − φ11 )η 2 1 (φ0 + φ21 )ξ 2 1 (φ0 − φ21 )η 2 φ0 − φ11 , 2 1 φ0 + φ11 = sin ; α1 2 φ11 − φ2 1 (φ11 + φ2 )ξ = α2 sin , 2 2 1 1 φ11 + φ2 (φ11 − φ2 )η = sin ; 2 α2 2 φ0 − φ21 = α2 sin , 2 1 φ0 + φ21 = sin ; α2 2 1 φ21 − φ2 (φ21 + φ2 )ξ = α1 sin , 2 2 1 1 φ21 + φ2 (φ21 − φ2 )η = sin . 2 α1 2 = α1 sin (15) (16) (17) (18) (19) (20) (21) (22) 10.4 Addition theorem Taking (15) - (17) - (19) + (21) and using the trigonometric formula α−β sin α + sin β = 2 sin α+β 2 cos 2 , one can obtain α1 sin φ0 − φ11 + φ21 − φ2 φ0 + φ11 − φ21 − φ2 = α2 sin , 4 4 which yields, by using sin(α ± β) = sin α cos β ± sin β cos α with α = φ0 − φ2 and β = φ21 − φ11 , tan φ0 − φ2 α2 + α1 φ21 − φ11 = . tan 4 α2 − α1 4 (23) The same formula follows from the second group of equations, (16), (18), (20) and (22). The relation (23) is called the addition theorem for the Bäcklund transformations. This relation allows one to obtain new solution φ2 algebraically, from the known solutions φ0 , φ11 , φ21 , without any integration. Repeatedly applying this theorem, one can obtain successively new solutions by means of purely algebraic manipulations. 10.5 Two-wave interactions (kink-kink, kink-antikink, etc.) Let φ0 = 0. Then φ11 and φ21 are (solutions are parametrized by ai = −αi ): 2 ai + 1 1 − ai2 −1 φi1 = 4 tan exp θi (+2πni ), θi = (x − t) + δi 2ai 1 + ai2 Using the addition theorem (23) and the formula tan α−tan β tan(α − β) = 1+tan α tan β , we find the two-soliton solution: φ2 = 4 tan −1 a1 + a2 e θ2 − e θ1 · . a1 − a2 1 + e θ1 +θ2 Choosing different values of parameters a1 and a2 , one can obtain solutions describing various interaction scenarios (kink-kink, kink-antikink, etc.) (24) 10.5 Two-wave interactions (kink-kink, kink-antikink, etc.) Example 1 (worked example in the lecture). The symmetric kink-kink solution (head-on collision, same velocities) is obtained when a2 = −1/a1 , a1 > 0 and δ1 = δ2 = 0. It can be written as " # x v sinh √1−v 2 1 − a12 −1 . (25) φ2 = 4 tan , where v = vt cosh √1−v 2 1 + a12 Considering the asymptotics of (24) as t → −∞ (and then x → −∞ and x → +∞) and as t → +∞√(and then x → −∞ and x → +∞), one can find the phase shift to be 2 v 2 − 1 log v (the only “evidence” of interaction). 5 10 j2 0 5 -5 -10 0x -5 t -5 0 5 10 -10 Figure: Head-on collision of two kinks for v = 0.6. 10.5 Two-wave interactions (kink-kink, kink-antikink, etc.) Example 2. The symmetric kink-antikink solution (head-on collision, same velocities) is obtained when a2 = 1/a1 , a1 < 0 and δ1 = δ2 = 0. It can be written as # " vt sinh √1−v 2 1 − a12 −1 . (26) , where v = φ2 = 4 tan x v cosh √1−v 1 + a12 2 10 5 t 0 -5 -10 5 j2 0 -5 10 5 0 x -5 -10 Figure: Head-on collision of kink and antikink for v = 0.6. 10.6 Breather The symmetric kink-antikink solution (26) takes an interesting form if the velocity parameter v is allowed to be imaginary. Setting iω v=√ , ω < 1, 1 − ω2 one obtains the breather "√ # 2 sin ωt 1 − ω √ · φ2 = 4 tan−1 , (27) ω cosh 1 − ω 2 x which is a localized, but oscillating in time solution. 4 2 j2 0 -2 -4 10 20 10 0 t 5 0 x -10 -5 -10 -20 Figure: A stationary breather for ω = 0.5. 10.6 Breather The solution (27) describes a stationary breather. Using the Lorentz symmetry of the SG equation: x − ct x→√ , 1 − c2 t − cx t→√ , 1 − c2 one can obtain a moving breather: √ √ 2 sin[ ω(t−cx) ] 2 1 − ω 1−c . √ · φ2 = 4 tan−1 2 (x−ct) ω √ cosh [ 1−ω ] 1−c 2 Here, an envelope velocity c is equal to the reciprocal of its carrier velocty c −1 . 10.7 Soliton “ladder” The procedure, described above, can be continued, resulting in the so-called soliton “ladder”, shown below: Figure: http://homepages.tversu.ru/∼s000154/collision/main.html 10.8 Soliton interactions I Interactions of any SG solitons are accompanied by phase shifts only (elastic interactions). I Interactions have a two-particle nature: when several solitons collide, a shift of any soliton involved into the interaction is equal to the sum of the shifts caused by its independent interactions with other solitons. 10.8 Soliton interactions Visit: http://homepages.tversu.ru/∼s000154/collision/main.html to see some movies, showing kink-kink, kink-antikink, kink-breather, etc. interactions. Lecture 10 References From the list of main references: 1. Ablowitz, M.J. & Segur, H. 1981 Solitons and the Inverse Scattering Transform, SIAM. 2. Dodd, R.K., Eilbeck, J.C., Gibbon, J.D., & Morris, H.C. 1982 Solitons and Nonlinear Wave Equations, Academic Press Inc. 3. Drazin, P.G. and Johnson, R.S. 1989 Solitons: an Introduction, Cambridge University Press, London. 4. Scott, A. 1999 Nonlinear Science: Emergence and Dynamics of Coherent Structures, Oxford University Press Inc., New York. Additional references: 1. Lamb, G.M. 1980 Elements of Soliton Theory, Wiley, New York. 2. Chen, H-H, General Derivation of Bäcklund Transformations from Inverse Scattering Problems, Phys. Rev. Lett. 33 (1974) 925-928. 3. http://homepages.tversu.ru/∼s000154/collision/main.html