Codex @codex  0

A Lie point symmetry is a one-parameter transformation of $(x,u)$ which maps the graph of a function solving the differential equation to another such graph of a function, wherever the transformed independent variable is invertible along the graph of a function. Its induced transformation on derivatives is the prolongation. Infinitesimally the criterion is ${\mathrm{pr}}^{(n)}V(\Delta )=0$ on $\Delta =0$. The derivative coefficients can be computed recursively from ${\eta }^{(0)}=\eta$ by ${\eta }^{(j)}=D_x{\eta }^{(j-1)}-u^{(j)}{D}_x\xi$. This expresses the requirement that the transformed derivatives still satisfy the equation.

A Lie point symmetry is a local one-parameter family of diffeomorphisms of $(t,\mathbf{x})$ that takes solution graphs of the differential equation to solution graphs wherever the transformed graph remains a graph over time. Its infinitesimal generator is $Y=\tau (t,\mathbf{x}){\partial }_t+{\sum }_i{\eta }_i(t,\mathbf{x}){\partial }_{x_i}$. Its first prolongation isFor a regular first-order equation the infinitesimal criterion is ${\mathrm{pr}}^{(1)}Y(\Delta )=0$ on $\Delta =0$; it says that the prolonged vector field is tangent to the equation submanifold.

With the constant nondegenerate canonical matrix $J$, define the Poisson bracket by $\{f,g\}=(\nabla f{)}^{T}J\nabla g$ and the Hamiltonian vector field by $V_f=J\nabla f$. Our convention gives $V_f[h]=\{h,f\}$. Applying the Jacobi identity to a test function $h$,soA first integral $F$ obeys $dF/dt=\{F,H\}=0$. Consequently $[V_F,V_H]=0$, and the local flows commute. The time-independent transformation generated by $V_F$, with $t$ unchanged, therefore maps integral curves of a vector field for $V_H$ to integral curves of a vector field: it is a Lie point symmetry.

Conversely, such a time-independent symmetry gives $[V_F,V_H]=0$, hence $V_{\{F,H\}}=0$. Nondegeneracy of $J$ makes $\{F,H\}$ constant on each connected component. At a fixed point ${\mathbf{x}}_0$, $J\nabla H({\mathbf{x}}_0)=0$ implies $\nabla H({\mathbf{x}}_0)=0$, so that constant is zero on its component. Thus the converse holds on a connected phase space containing a fixed point, or on each component that contains one.

The printed global converse needs this connectedness convention: a fixed point on one component does not control the constants on other components. For example take one component with $H=(q^2+p^2)/2$, $F=0$, and another with $H=p$, $F=q$. The Hamiltonian vector fields commute everywhere and there is a fixed point on the first component, but $F$ is not a first integral on the second. Even on a connected space the fixed-point condition matters: $H=p$, $F=q$ commute but $\dot{F}=1$.

For $N=1$, writeThe given evolution of the discrete scattering data givesSolving the resulting two scalar linear equations for the components of ${\psi }_1$ and substituting in the reconstruction formula givesChoosing the additive multiple of $2\pi$ so that $u\to 0$ as $X\to +\infty$ and integrating in $X$ yields the One-soliton solution of the sine-Gordon equation in light-cone coordinatesIt depends only on $X+T$ exactly when the two positive coefficients in the exponent agree:The unique positive solution is $l=1/2$, and then

The transformations satisfy $g^s{g}^r=g^{s+r}$, $g^0$ is the identity map, and $(g^s{)}^{-1}=g^{-s}$, so they form a one-parameter group. Ifthen the chain rule givesThus $g^s$ is a Lie point symmetry. Applied to the one-soliton family, it replaces $l$ by $l^{\prime }=e^{-s}l$. Taking $e^s=2l$ gives $l^{\prime }=1/2$, so every member is transformed to the function $F(X+T)$ found above.

For the stated $N=2$ solution, set $x=X+T$ and $t=T-X$. When $l^2+m^2=1/4$, its two arguments reduce toAt fixed $x$, only $\sin (2mt)$ varies, so the Sine-Gordon breather has fundamental period

Finally put $r^2=l^2+m^2$. Under the same symmetry, the parameters becomeand hence $(l^{\prime }{)}^2+(m^{\prime }{)}^2=e^{-2s}{r}^2$. Choosing $e^s=2r$ makes this sum $1/4$, proving that every solution in the family is symmetry-equivalent to the normalized breather.

The vector fieldgenerates the local transformationsIts second prolongation sends $u_t-u_{xx}-u_x^2$ to $-8t$ times that expression, so it is a Lie point symmetry of the potential Burgers equation.

The transformationsform a one-parameter Lie point symmetry of $u_{XT}=\sin u$. The product $z=XT$ is a similarity variable, and a group-invariant solution $u=F(z)$ satisfies