# Sine-Gordon equation

The **sine-Gordon equation** is a nonlinear hyperbolic partial differential equation for a function dependent on two variables typically denoted and , involving the wave operator and the sine of .

It was originally introduced by Edmond Bour (1862) in the course of study of surfaces of constant negative curvature as the Gauss–Codazzi equation for surfaces of constant Gaussian curvature −1 in 3-dimensional space.^{[1]} The equation was rediscovered by Frenkel and Kontorova (1939) in their study of crystal dislocations known as the Frenkel–Kontorova model.^{[2]}

This equation attracted a lot of attention in the 1970s due to the presence of soliton solutions,^{[3]} and is an example of an integrable PDE. Among well-known integrable PDEs, the sine-Gordon equation is the only *relativistic* system due to its Lorentz invariance.

## Origin of the equation in differential geometry[edit]

There are two equivalent forms of the sine-Gordon equation. In the (real) *space-time coordinates*, denoted , the equation reads:^{[4]}

where partial derivatives are denoted by subscripts. Passing to the light-cone coordinates (*u*, *v*), akin to *asymptotic coordinates* where

the equation takes the form^{[5]}

This is the original form of the sine-Gordon equation, as it was considered in the 19th century in the course of investigation of surfaces of constant Gaussian curvature *K* = −1, also called pseudospherical surfaces. There is a distinguished coordinate system for such a surface in which the coordinate mesh *u* = constant, *v* = constant is given by the asymptotic lines parameterized with respect to the arc length. The first fundamental form of the surface in these coordinates has a special form

where expresses the angle between the asymptotic lines, and for the second fundamental form, . Then the Gauss–Codazzi equation expressing a compatibility condition between the first and second fundamental forms results in the sine-Gordon equation.

This analysis shows that any pseudospherical surface gives rise to a solution of the sine-Gordon equation, although with some caveats: if the surface is complete, it is necessarily singular due to the Hilbert embedding theorem. In the simplest case, *the* pseudosphere, also known as the tractroid, corresponds to a static one-soliton, but the tractroid has a singular cusp at its equator.

Conversely, one can start with a solution to the sine-Gordon equation to obtain a pseudosphere uniquely up to rigid transformations. There is a theorem, sometimes called the *fundamental theorem of surfaces*, that if a pair of matrix-valued bilinear forms satisfy the Gauss–Codazzi equations, then they are the first and second fundamental forms of an embedded surface in 3-dimensional space. Solutions to the sine-Gordon equation can be used to construct such matrices by using the forms obtained above.

### New solutions from old[edit]

The study of this equation and of the associated transformations of pseudospherical surfaces in the 19th century by Bianchi and Bäcklund led to the discovery of Bäcklund transformations. Another transformation of pseudospherical surfaces is the Lie transform introduced by Sophus Lie in 1879, which corresponds to Lorentz boosts for solutions of the sine-Gordon equation.^{[6]}

There are also some more straightforward ways to construct new solutions but which do not give new surfaces. Since the sine-Gordon equation is odd, the negative of any solution is another solution. However this does not give a new surface, as the sign-change comes down to a choice of direction for the normal to the surface. New solutions can be found by translating the solution: if is a solution, then so is for an integer.

## Naming[edit]

The name "sine-Gordon equation" is a pun on the well-known Klein–Gordon equation in physics:^{[4]}

The sine-Gordon equation is the Euler–Lagrange equation of the field whose Lagrangian density is given by

Using the Taylor series expansion of the cosine in the Lagrangian,

it can be rewritten as the Klein–Gordon Lagrangian plus higher-order terms:

## Soliton solutions[edit]

An interesting feature of the sine-Gordon equation is the existence of soliton and multisoliton solutions.

### 1-soliton solutions[edit]

The sine-Gordon equation has the following 1-soliton solutions:

where

and the slightly more general form of the equation is assumed:

The 1-soliton solution for which we have chosen the positive root for is called a *kink* and represents a twist in the variable which takes the system from one constant solution to an adjacent constant solution . The states are known as vacuum states, as they are constant solutions of zero energy. The 1-soliton solution in which we take the negative root for is called an *antikink*. The form of the 1-soliton solutions can be obtained through application of a Bäcklund transform to the trivial (vacuum) solution and the integration of the resulting first-order differentials:

for all time.

The 1-soliton solutions can be visualized with the use of the elastic ribbon sine-Gordon model introduced by Julio Rubinstein in 1970.^{[7]} Here we take a clockwise (left-handed) twist of the elastic ribbon to be a kink with topological charge . The alternative counterclockwise (right-handed) twist with topological charge will be an antikink.

### 2-soliton solutions[edit]

Multi-soliton solutions can be obtained through continued application of the Bäcklund transform to the 1-soliton solution, as prescribed by a Bianchi lattice relating the transformed results.^{[9]} The 2-soliton solutions of the sine-Gordon equation show some of the characteristic features of the solitons. The traveling sine-Gordon kinks and/or antikinks pass through each other as if perfectly permeable, and the only observed effect is a phase shift. Since the colliding solitons recover their velocity and shape, such an interaction is called an elastic collision.

The kink-kink solution is given by

while the kink-antikink solution is given by

Another interesting 2-soliton solutions arise from the possibility of coupled kink-antikink behaviour known as a *breather*. There are known three types of breathers: *standing breather*, *traveling large-amplitude breather*, and *traveling small-amplitude breather*.^{[10]}

The standing breather solution is given by

### 3-soliton solutions[edit]

3-soliton collisions between a traveling kink and a standing breather or a traveling antikink and a standing breather results in a phase shift of the standing breather. In the process of collision between a moving kink and a standing breather, the shift of the breather is given by

where is the velocity of the kink, and is the breather's frequency.^{[10]} If the old position of the standing breather is , after the collision the new position will be .

## Bäcklund transformation[edit]

Suppose that is a solution of the sine-Gordon equation

Then the system

where *a* is an arbitrary parameter, is solvable for a function which will also satisfy the sine-Gordon equation. This is an example of an auto-Bäcklund transform, as both and are solutions to the same equation, that is, the sine-Gordon equation.

By using a matrix system, it is also possible to find a linear Bäcklund transform for solutions of sine-Gordon equation.

For example, if is the trivial solution , then is the one-soliton solution with related to the boost applied to the soliton.

## Topological charge and energy[edit]

The **topological charge** or **winding number** of a solution is

**energy**of a solution is

The topological charge is conserved if the energy is finite. The topological charge does not determine the solution, even up to Lorentz boosts. Both the trivial solution and the soliton-antisoliton pair solution have .

## Zero-curvature formulation[edit]

The sine-Gordon equation is equivalent to the curvature of a particular -connection on being equal to zero.^{[11]}

Explicitly, with coordinates on , the connection components are given by

is equivalent to the sine-Gordon equation . The zero-curvature equation is so named as it corresponds to the curvature being equal to zero if it is defined .

The pair of matrices and are also known as a Lax pair for the sine-Gordon equation, in the sense that the zero-curvature equation recovers the PDE rather than them satisfying Lax's equation.

## Related equations[edit]

The **sinh-Gordon equation** is given by^{[12]}

This is the Euler–Lagrange equation of the Lagrangian

Another closely related equation is the **elliptic sine-Gordon equation** or **Euclidean sine-Gordon equation**, given by

where is now a function of the variables *x* and *y*. This is no longer a soliton equation, but it has many similar properties, as it is related to the sine-Gordon equation by the analytic continuation (or Wick rotation) *y* = i*t*.

The **elliptic sinh-Gordon equation** may be defined in a similar way.

Another similar equation comes from the Euler–Lagrange equation for Liouville field theory

A generalization is given by Toda field theory.^{[13]} More precisely, Liouville field theory is the Toda field theory for the finite Kac–Moody algebra , while sin(h)-Gordon is the Toda field theory for the affine Kac–Moody algebra .

## Infinite volume and on a half line[edit]

One can also consider the sine-Gordon model on a circle,^{[14]} on a line segment, or on a half line.^{[15]} It is possible to find boundary conditions which preserve the integrability of the model.^{[15]} On a half line the spectrum contains *boundary bound states* in addition to the solitons and breathers.^{[15]}

## Quantum sine-Gordon model[edit]

In quantum field theory the sine-Gordon model contains a parameter that can be identified with the Planck constant. The particle spectrum consists of a soliton, an anti-soliton and a finite (possibly zero) number of breathers.^{[16]}^{[17]}^{[18]} The number of the breathers depends on the value of the parameter. Multiparticle production cancels on mass shell.

Semi-classical quantization of the sine-Gordon model was done by Ludwig Faddeev and Vladimir Korepin.^{[19]} The exact quantum scattering matrix was discovered by Alexander Zamolodchikov.^{[20]}
This model is S-dual to the Thirring model, as discovered by Coleman.
^{[21]} This is sometimes known as the Coleman correspondence and serves as an example of boson-fermion correspondence in the interacting case. This article also showed that the constants appearing in the model behave nicely under renormalization: there are three parameters and . Coleman showed receives only a multiplicative correction, receives only an additive correction, and is not renormalized. Further, for a critical, non-zero value , the theory is in fact dual to a *free* massive Dirac field theory.

The quantum sine-Gordon equation should be modified so the exponentials become vertex operators

with , where the semi-colons denote normal ordering. A possible mass term is included.

### Regimes of renormalizability[edit]

For different values of the parameter , the renormalizability properties of the sine-Gordon theory change.^{[22]} The identification of these regimes is attributed to Jürg Fröhlich.

The **finite regime** is , where no counterterms are needed to render the theory well-posed. The **super-renormalizable regime** is , where a finite number of counterterms are needed to render the theory well-posed. More counterterms are needed for each threshold passed.^{[23]} For , the theory becomes ill-defined (Coleman 1975). The boundary values are and , which are respectively the free fermion point, as the theory is dual to a free fermion via the Coleman correspondence, and the self-dual point, where the vertex operators form an affine sl_{2} subalgebra, and the theory becomes strictly renormalizable (renormalizable, but not super-renormalizable).

## Stochastic sine-Gordon model[edit]

The **stochastic** or **dynamical sine-Gordon model** has been studied by Martin Hairer and Hao Shen
^{[24]}
allowing heuristic results from the quantum sine-Gordon theory to be proven in a statistical setting.

The equation is

## Supersymmetric sine-Gordon model[edit]

A supersymmetric extension of the sine-Gordon model also exists.^{[25]} Integrability preserving boundary conditions for this extension can be found as well.^{[25]}

## Physical applications[edit]

The sine-Gordon model arises as the continuum limit of the Frenkel–Kontorova model which models crystal dislocations.

It also is in the same universality class as the effective action for a Coulomb gas of vortices and anti-vortices in the continuous classical XY model which is a model of magnetism.^{[26]}^{[27]} The Kosterlitz–Thouless transition for vortices can therefore be derived from a renormalization group analysis of the sine-Gordon field theory.^{[28]}^{[29]}

The sine-Gordon equation also arises as the formal continuum limit of a different model of magnetism, the quantum Heisenberg model, in particular the XXZ model.^{[30]}

## See also[edit]

## References[edit]

**^**Bour, Edmond (1862). "Theorie de la deformation des surfaces".*Journal de l'École impériale polytechnique*.**22**(39): 1–148. OCLC 55567842.**^**Frenkel J, Kontorova T (1939). "On the theory of plastic deformation and twinning".*Izvestiya Akademii Nauk SSSR, Seriya Fizicheskaya*.**1**: 137–149.**^**Hirota, Ryogo (November 1972). "Exact Solution of the Sine-Gordon Equation for Multiple Collisions of Solitons".*Journal of the Physical Society of Japan*.**33**(5): 1459–1463. Bibcode:1972JPSJ...33.1459H. doi:10.1143/JPSJ.33.1459.- ^
^{a}^{b}Rajaraman, R. (1989).*Solitons and Instantons: An Introduction to Solitons and Instantons in Quantum Field Theory*. North-Holland Personal Library. Vol. 15. North-Holland. pp. 34–45. ISBN 978-0-444-87047-6. **^**Polyanin, Andrei D.; Valentin F. Zaitsev (2004).*Handbook of Nonlinear Partial Differential Equations*. Chapman & Hall/CRC Press. pp. 470–492. ISBN 978-1-58488-355-5.**^**Terng, C. L., & Uhlenbeck, K. (2000). "Geometry of solitons" (PDF).*Notices of the AMS*.**47**(1): 17–25.`{{cite journal}}`

: CS1 maint: multiple names: authors list (link)**^**Rubinstein, Julio (1970). "Sine-Gordon equation".*Journal of Mathematical Physics*.**11**(1): 258–266. Bibcode:1970JMP....11..258R. doi:10.1063/1.1665057.- ^
^{a}^{b}^{c}^{d}^{e}^{f}^{g}^{h}^{i}Georgiev D. D., Papaioanou S. N., Glazebrook J. F. (2004). "Neuronic system inside neurons: molecular biology and biophysics of neuronal microtubules".*Biomedical Reviews*.**15**: 67–75. doi:10.14748/bmr.v15.103.`{{cite journal}}`

: CS1 maint: uses authors parameter (link) **^**Rogers, C.; W. K. Schief (2002).*Bäcklund and Darboux Transformations: Geometry and Modern Applications in Soliton Theory*. Cambridge Texts in Applied Mathematics. New York: Cambridge University Press. ISBN 978-0-521-01288-1.- ^
^{a}^{b}Miroshnichenko A. E., Vasiliev A. A., Dmitriev S. V.*Solitons and Soliton Collisions*. **^**Dunajski, Maciej (2010).*Solitons, instantons, and twistors*. Oxford: Oxford University Press. p. 49. ISBN 978-0-19-857063-9.**^**Polyanin, Andrei D.; Zaitsev, Valentin F. (16 December 2011).*Handbook of Nonlinear Partial Differential Equations*(Second ed.). Boca Raton: CRC Press. p. 485. ISBN 978-1-4200-8723-9.**^**Yuanxi, Xie; Tang, Jiashi (February 2006). "A unified method for solving sinh-Gordon–type equations".*Il Nuovo Cimento B*.**121**(2): 115–121. Bibcode:2006NCimB.121..115X. doi:10.1393/ncb/i2005-10164-6.**^**McKean, H. P. (1981). "The sine-Gordon and sinh-Gordon equations on the circle".*Communications on Pure and Applied Mathematics*.**34**(2): 197–257. doi:10.1002/cpa.3160340204.- ^
^{a}^{b}^{c}Bowcock, Peter; Tzamtzis, Georgios (2007). "The complex sine-Gordon model on a half line".*Journal of High Energy Physics*.**2007**(3): 047. arXiv:hep-th/0203139. Bibcode:2007JHEP...03..047B. doi:10.1088/1126-6708/2007/03/047. S2CID 119501952. **^**Korepin, V. E. (1979). "Direct calculation of the S matrix in the massive Thirring model".*Theoretical and Mathematical Physics*.**41**(2): 953–967. Bibcode:1979TMP....41..953K. doi:10.1007/bf01028501. S2CID 121527379.**^**Takada, Satoshi; Misawa, Susumu (1981). "The Quantum Sine-Gordon Model and the Fermi-Bose Relation".*Progress of Theoretical Physics*.**66**(1): 101–117. Bibcode:1981PThPh..66..101T. doi:10.1143/ptp.66.101.**^**Bogoliubov, N. M.; Korepin, V. E.; Izergin, A. G. (1985). "Structure of the vacuum in the quantum sine-Gordon model".*Physics Letters B*.**159**(4): 345–347. Bibcode:1985PhLB..159..345B. doi:10.1016/0370-2693(85)90264-3.**^**Faddeev, L. D.; Korepin, V. E. (1978). "Quantum theory of solitons".*Physics Reports*.**42**(1): 1–87. Bibcode:1978PhR....42....1F. doi:10.1016/0370-1573(78)90058-3.**^**Zamolodchikov, Alexander B.; Zamolodchikov, Alexey B. (1978). "Relativistic factorized S-matrix in two dimensions having O(N) isotopic symmetry".*Nuclear Physics B*.**133**(3): 525–535. Bibcode:1978NuPhB.133..525Z. doi:10.1016/0550-3213(78)90239-0.**^**Coleman, Sidney (15 April 1975). "Quantum sine-Gordon equation as the massive Thirring model".*Physical Review D*.**11**(8): 2088–2097. Bibcode:1975PhRvD..11.2088C. doi:10.1103/PhysRevD.11.2088. Retrieved 27 January 2023.**^**Fröb, Markus B.; Cadamuro, Daniela (2022). "Local operators in the Sine-Gordon model: $\partial_μϕ\, \partial_νϕ$ and the stress tensor". arXiv:2205.09223 [math-ph].**^**Chandra, Ajay; Hairer, Martin; Shen, Hao (2018). "The dynamical sine-Gordon model in the full subcritical regime". arXiv:1808.02594 [math.PR].**^**Hairer, Martin; Shen, Hao (February 2016). "The Dynamical Sine-Gordon Model".*Communications in Mathematical Physics*.**341**(3): 933–989. arXiv:1409.5724. Bibcode:2016CMaPh.341..933H. doi:10.1007/s00220-015-2525-3. S2CID 253750515. Retrieved 14 May 2023.- ^
^{a}^{b}Inami, Takeo; Odake, Satoru; Zhang, Yao-Zhong (1995). "Supersymmetric extension of the sine-Gordon theory with integrable boundary interactions".*Physics Letters B*.**359**(1): 118–124. arXiv:hep-th/9506157. Bibcode:1995PhLB..359..118I. doi:10.1016/0370-2693(95)01072-X. S2CID 18230581. **^**José, Jorge (15 November 1976). "Sine-Gordon theory and the classical two-dimensional x − y model".*Physical Review D*.**14**(10): 2826–2829. Bibcode:1976PhRvD..14.2826J. doi:10.1103/PhysRevD.14.2826.**^**Fröhlich, Jürg (October 1976). "Classical and quantum statistical mechanics in one and two dimensions: Two-component Yukawa — and Coulomb systems".*Communications in Mathematical Physics*.**47**(3): 233–268. Bibcode:1976CMaPh..47..233F. doi:10.1007/BF01609843. S2CID 120798940.**^**Ohta, T.; Kawasaki, K. (1 August 1978). "Renormalization Group Theory of the Interfacial Roughening Transition".*Progress of Theoretical Physics*.**60**(2): 365–379. Bibcode:1978PThPh..60..365O. doi:10.1143/PTP.60.365.**^**Kogut, John B. (1 October 1979). "An introduction to lattice gauge theory and spin systems".*Reviews of Modern Physics*.**51**(4): 659–713. Bibcode:1979RvMP...51..659K. doi:10.1103/RevModPhys.51.659.**^**Faddeev, L. D. (1996). "How Algebraic Bethe Ansatz works for integrable model". arXiv:hep-th/9605187.

## External links[edit]

- sine-Gordon equation at EqWorld: The World of Mathematical Equations.
- Sinh-Gordon Equation at EqWorld: The World of Mathematical Equations.
- sine-Gordon equation Archived 2012-03-16 at the Wayback Machine at NEQwiki, the nonlinear equations encyclopedia.