View source for Sine-Gordon equation

<!--
s0855001.png
$#A+1 = 60 n = 2
$#C+1 = 60 : ~/encyclopedia/old_files/data/S085/S.0805500 Sine\AAhGordon equation
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A relativistically-invariant equation in two space-time variables, of the form

$$ \tag{1 }

\frac{\partial   ^ {2} u }{\partial  t  ^ {2} }
 -

\frac{\partial   ^ {2} u }{\partial  x  ^ {2} }
 +
m  ^ {2}  \sin  u  =  0;
$$

$$ 
- \infty  \langle   x, t  <  \infty ,\  u  \in  \mathbf R  ^ {1} ,\  m  \rangle  0.
$$

The name was suggested by M. Kruskal, in analogy with the linear [[Klein–Gordon equation|Klein–Gordon equation]] (where  $  u $
appears in place of  $  \sin  u $). 
In characteristic (light-cone) variables the sine-Gordon equation has the form

$$ \tag{2 }

\frac{\partial   ^ {2} u }{\partial  \sigma \partial  \tau }
 + m  ^ {2}  \sin  u  = \ 
0,\  \sigma , \tau , u \in \mathbf R  ^ {1} ,\  m > 0.
$$

In both cases (1) and (2), the sine-Gordon equation admits a Lax representation

$$ 

\frac{\partial  L }{\partial  t }
  =  [ L, M] ,
$$

where  $  L $
and  $  M $
are linear operators and  $  [ L, M] = LM - ML $. 
This enables one to obtain solutions of the Cauchy problem by using the inverse scattering method.

The [[Cauchy problem|Cauchy problem]] for the sine-Gordon equation is formulated in the following way.

Case (1):

$$ 
u \mid  _ {t = 0 }   =  u _ {1} ,\ \ 
\left . 
\frac{\partial  u }{\partial  t }
 \right | _ {t = 0 } 
 =  u _ {2} ;
$$

$$ 

\frac{du _ {1} }{dx }
 , u _ {2}  \in  S ( \mathbf R  ^ {1} ); \ \ 
\lim\limits _ {| x| \rightarrow \infty }  u _ {1} ( x)  \equiv  0  (  \mathop{\rm mod}  2 \pi ).
$$

Case (2):

$$ 
u \mid  _ {\tau = 0 }   =  u _ {0} ; \ \ 
\left . 
\frac{du _ {0} }{d \sigma }
  \in  S ( \mathbf R  ^ {1} );
 \right .$$

$$ 
\lim\limits _ {| \sigma | \rightarrow \infty }  u _ {0} ( \sigma )  \equiv  0  (  \mathop{\rm mod}  2 \pi ).
$$

Here  $  S ( \mathbf R  ^ {1} ) $
is the Schwartz space of rapidly-decreasing functions. Under certain additional restrictions on the initial conditions, the Cauchy problems (1) and (2) can be solved uniquely, and their solution sets coincide. The evolution of the scattering data for the corresponding  $  L $-
operators is given by explicit formulas, and solutions  $  u ( x, t) $
and  $  u ( \sigma , \tau ) $
can be found by using integral equations of Gel'fand–Levitan–Marchenko type.

The periodic problem for the sine-Gordon equation can be studied by means of an algebraic-geometric method (similar to the case of the [[Korteweg–de Vries equation|Korteweg–de Vries equation]]). In particular, one obtains explicit expressions for the finite-gap solutions of the sine-Gordon equation in terms of  $  \theta $-
functions on the corresponding Abelian varieties.

The Hamiltonian version of the sine-Gordon equation (in case (1), for example) is the [[Hamiltonian system|Hamiltonian system]] with Hamiltonian

$$ 
P _ {0}  = \ 
{
\frac{1} \gamma 
 }
\int\limits _ {- \infty } ^ { {+ }  \infty }
\left ( {
\frac{1}{2}
 } \pi  ^ {2} ( x) -
{
\frac{1}{2}
 }
\left ( 
\frac{\partial  u }{\partial  x }
 \right )  ^ {2} +
m  ^ {2} ( 1 - \cos  u) \right )  dx,
$$

$$ 
\gamma  >  0,
$$

and symplectic form

$$ 
\Omega  =  {
\frac{1} \gamma 
 }
\int\limits _ {- \infty } ^ { {+ }  \infty }
d \pi ( x) \wedge du ( x)  dx,\ \ 
\pi  =  
\frac{\partial  u }{\partial  t }
 .
$$

This system is completely integrable, and replacing the variables  $  u $
and  $  \pi $
by the scattering data of the corresponding operator  $  L $
yields a canonical transformation into variables of action-angle type. The phase space is parametrized by canonically adjoint variables of three types:

1)  $  0 \leq  \rho ( p) < \infty $, 
$  0 \leq  \phi ( p) < 2 \pi $, 
$  p \in \mathbf R  ^ {1} $;

2)  $  p _ {a} , q _ {a} \in \mathbf R  ^ {1} $, 
$  a = 1 \dots N _ {1} $, 
$  N _ {1} \geq  0 $, 
$  N _ {1} \in \mathbf Z $;

3)  $  \eta _ {b} , \xi _ {b} \in \mathbf R  ^ {1} $, 
$  0 \leq  \xi _ {b} < {8 \pi / \gamma } $, 
$  0 \leq  \eta _ {b} < 2 \pi $, 
$  b = 1 \dots N _ {2} $, 
$  N _ {2} \geq  0 $, 
$  N _ {2} \in \mathbf Z $.

The total energy  $  P _ {0} $
and total momentum

$$ 
P _ {1}  = \ 
{
\frac{1} \gamma 
 }
\int\limits _ {- \infty } ^ { {+ }  \infty }
\pi ( x) 
\frac{\partial  u }{\partial  x }
  dx
$$

of the field  $  u $
in terms of the new variables are as follows:

$$ 
P _ {0}  = \ 
\int\limits _ { - \infty } ^ { {+ }  \infty }
\sqrt {p  ^ {2} + m  ^ {2} }
\rho ( p)  dp +
\sum _ {a = 1 } ^ { {N _ 1 } }
\sqrt {p _ {a}  ^ {2} + M  ^ {2} } +
$$

$$ 
+ 
\sum _ { b = 1 } ^ { {N _ 2 } } \sqrt {\eta _ {b}  ^ {2} + ( 2M  \sin  \theta _ {b} )  ^ {2} } ;
$$

$$ 
P _ {1}  =  \int\limits _ { - \infty } ^ { {+ }  \infty } p \rho ( p) \ 
dp + \sum _ {a = 1 } ^ { {N _ 1 } } p _ {a} + \sum _ { b = 1 } ^ { {N _ 2 } } \eta _ {b} ,
$$

$$ 
M  =  {
\frac{8m } \gamma 
 } ,\  \theta _ {b}  =  {
\frac \gamma {16}
 } \xi _ {b} .
$$

In case (1) one also obtains a completely-integrable Hamiltonian system.

==An application to quantum field theory.==
Let  $  u ( x, t) $
be a scalar field with [[Lagrangian|Lagrangian]]

$$ 
L  =  {
\frac{1}{2 \gamma }
 }
\int\limits _ {- \infty } ^ { {+ }  \infty }
\left ( \left ( 
\frac{\partial  u }{\partial  t }

\right )  ^ {2} - \left ( 
\frac{\partial  u }{\partial  x }

\right )  ^ {2} - 2m  ^ {2} ( 1 - \cos  u)
\right )  dx,
$$

where  $  \gamma $
is the constant of interaction. The sine-Gordon equation is the [[Euler–Lagrange equation|Euler–Lagrange equation]] for this Lagrangian. In the quasi-classical quantization of the field  $  u $, 
a fundamental role is played by the above formulas for  $  P _ {0} $
and  $  P _ {1} $. 
The first terms on their right-hand sides correspond to particles of mass  $  m $
and to particles of the ground field, respectively (cf. also [[Soliton|Soliton]]). The second and third terms correspond to localized solutions of the sine-Gordon equation, namely solitons and dual solitons with masses  $  M $
and  $  2M  \sin  \theta $, 
respectively. The system obeys the conservation law (of topological charge):

$$ 
Q  =  {
\frac{1}{2 \pi }
 }
( u (+ \infty , t) - u (- \infty , t)),\ \ 
Q \in \mathbf Z .
$$

Particles of the first and third types have charge 0, while those of the second type have charge  $  \pm  1 $. 
Particles with equal charges repulse, while those with different charges attract. The presence of infinitely-many conservation laws means that the number of particles of each type is preserved under scattering; the  $  n $-
particle  $  S $-
matrix reduces to paired  $  S $-
matrices (cf. [[Scattering matrix|Scattering matrix]]). Using integrals over trajectories (cf. [[Integral over trajectories|Integral over trajectories]]), one can compute the quantum corrections to the masses and to the quasi-classical  $  S $-
matrix of solitons. One of the non-trivial properties of the above model is the appearance of a whole spectrum of particles (solitons), while the Lagrangian of the theory contains only one field. Furthermore, in the weak interaction approximation (that is, when  $  \gamma $
is small), solitons are heavy particles and interact strongly.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  M., et al. Ablowitz,   "Method for solving the sine-Gordon equation"  ''Phys. Rev. Letters'' , '''30'''  (1973)  pp. 1262–1264</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L.A. Takhtadzhyan,   L.D. Faddeev,   "Essentially nonlinear one-dimensional model of classical field theory"  ''Teoret. Mat. Fiz.'' , '''21''' :  2  (1974)  pp. 160–174  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.A. [L.A. Takhtadzhyan] Tahtadžjan,   L.D. Faddeev,   "The Hamiltonian system connected with the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085500/s08550061.png" />"  ''Proc. Steklov Inst. Math.'' , '''142'''  (1979)  pp. 277–289  ''Trudy Mat. Inst. Akad. Nauk SSSR'' , '''142'''  (1976)  pp. 254–266</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.O. Kozel,   V.P. Kotlyarov,   "Almost-periodic solutions of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085500/s08550062.png" />"  ''Dokl. Akad. Nauk UkrSSR Ser. A'' , '''10'''  (1976)  pp. 878–881; 959  (In Russian)  (English abstract)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.E. Korepin,   L.D. Faddeev,   "Quantization of solitons"  ''Teoret. Mat. Fiz.'' , '''25''' :  2  (1975)  pp. 147–163  (In Russian)  (English abstract)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L. Bianchi,   "Lezioni di geometria differenziale" , '''1–2''' , Zanichelli , Bologna  (1923–1927)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  S.P. Finikov,   "Deformation over a principal base and related problems in geometry" , Moscow-Leningrad  (1937)  (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  E.N. Pelinovskii,   "Some exact methods in nonlinear wave theory"  ''Izv. Vuzov. Radiofizika'' , '''19''' :  5–6  (1976)  pp. 883–901  (In Russian)</TD></TR></table>

====Comments====
There are  "canonical"  sine-Gordon type equations associated to every [[Kac–Moody algebra|Kac–Moody algebra]] [[#References|[a5]]], [[#References|[a4]]]. These are called Leznov–Saveliev systems. There are also Korteweg–de Vries type soliton equations associated to every Kac–Moody algebra, as well as modified Korteweg–de Vries type equations. These mKdV equations and Leznov–Saveliev systems associated to the same (extended) root system are  "in duality" , in the sense that the solutions of the one serve as symmetries of the other and vice versa, [[#References|[a4]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.J. Ablowitz,   H. Segur,   "Solitons and the inverse scattering transform" , SIAM  (1981)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L.D. Faddeev,   L.A. Takhtadzhyan,   "Hamiltonian methods in the theory of solitons" , Springer  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.C. Newell,   "Solitons in mathematics and physics" , SIAM  (1985)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  V.G. Drinfel'd,   V.V. Sokolov,   "Lie algebras and equations of Korteweg–de Vries type"  ''J. Soviet Math.'' , '''30'''  (1985)  pp. 1975–2005  ''Itogi Nauk. i Tekhn. Sovrem. Probl. Mat.'' , '''24'''  (1984)  pp. 81–180</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A.N. Leznov,   "On complete integrability of a nonlinear system of partial differential equations in two-dimensional space"  ''Teoret. Mat. Fiz.'' , '''42''' :  3  (1980)  pp. 343–349  (In Russian)</TD></TR></table>