Lax Form

In mathematics, in the theory of integrable systems, a Lax pair is a pair of time-dependent matrices or operators that satisfy a corresponding differential equation, called the ''Lax equation''. Lax pairs were introduced by Peter Lax to discuss solitons in continuous media. The inverse scattering transform makes use of the Lax equations to solve such systems.

Definition

A Lax pair is a pair of matrices or operators $L(t), P(t)$ dependent on time and acting on a fixed Hilbert space, and satisfying Lax's equation:

:\frac= ,L/math>

where ,LPL-LP is the commutator.
Often, as in the example below, $P$ depends on $L$ in a prescribed way, so this is a nonlinear equation for $L$ as a function of $t$.

Isospectral property

It can then be shown that the eigenvalues and more generally the spectrum of ''L'' are independent of ''t''. The matrices/operators ''L'' are said to be ''isospectral'' as $t$ varies.

The core observation is that the matrices $L(t)$ are all similar by virtue of

:$L(t)=U(t,s) L(s) U(t,s)^$

where $U(t,s)$ is the solution of the Cauchy problem

:$\frac U(t,s) = P(t) U(t,s), \qquad U(s,s) = I,$

where ''I'' denotes the identity matrix. Note that if ''P(t)'' is skew-adjoint, ''U(t,s)'' will be unitary.

In other words, to solve the eigenvalue problem ''Lψ = λψ'' at time ''t'', it is possible to solve the same problem at time 0 where L is generally known better, and to propagate the solution with the following formulas:
:$\lambda(t)=\lambda(0)$ (no change in spectrum)
:$\frac=P \psi.$

Link with the inverse scattering method

The above property is the basis for the inverse scattering method. In this method, ''L'' and ''P'' act on a functional space (thus ''ψ = ψ(t,x)''), and depend on an unknown function ''u(t,x)'' which is to be determined. It is generally assumed that ''u(0,x)'' is known, and that ''P'' does not depend on ''u'' in the scattering region where $\Vert x \Vert\to \infty$.
The method then takes the following form:
# Compute the spectrum of $L(0)$, giving $\lambda$ and $\psi(0,x)$,
# In the scattering region where $P$ is known, propagate $\psi$ in time by using $\frac(t,x)=P \psi(t,x)$ with initial condition $\psi(0,x)$,
# Knowing $\psi$ in the scattering region, compute $L(t)$ and/or $u(t,x)$.

Examples

Korteweg–de Vries equation

The Korteweg–de Vries equation
:$u_t=6uu_x-u_.\,$
can be reformulated as the Lax equation
:L_t= ,L,
with
:$L=-\partial_^2+u\,$ (a Sturm–Liouville operator)
:$P= -4\partial_^3+6u\partial_+3u_x\,$
where all derivatives act on all objects to the right. This accounts for the infinite number of first integrals of the KdV equation.

Kovalevskaya top

The previous example used an infinite dimensional Hilbert space. Examples are also possible with finite dimensional Hilbert spaces. These include Kovalevskaya top and the generalization to include an electric Field $\vec$.

$\begin L &= \begin g_1 + h_2 & g_2 + h_1 & g_3 & h_3\\ g_2 + h_1 & -g_1 + h_2 & h_3 & -g_3\\ g_3 & h_3 & -g_1 - h_2 & g_2 - h_1\\ h_3 & -g_3 & g_2 - h_1 & g_1 + h_2\\ \end \lambda^\\ &+ \begin 0 & 0 & -l_2 & -l_1\\ 0 & 0 & l_1 & -l_2\\ l_2 & -l_1 & -2 \lambda & -2 l_3 \\ l_1 & l_2 & 2 l_3 & 2 \lambda\\ \end \\ P &= \frac \begin 0 & -2 l_3 & l_2 & l_1\\ 2 l_3 & 0 & -l_1 & l_2\\ -l_2 & l_1 & 2 \lambda & 2 l_3 + \gamma\\ -l_1 & -l_2 & -2 l_3 & -2\lambda\\ \end \end$

Heisenberg picture

In the Heisenberg picture of quantum mechanics, an observable without explicit time dependence satisfies

\fracA(t)=\frac ,A(t)

with the Hamiltonian and the reduced Planck constant. Aside from a factor, observables (without explicit time dependence) in this picture can thus be seen to form Lax pairs together with the Hamiltonian. The Schrödinger picture is then interpreted as the alternative expression in terms of isospectral evolution of these observables.

Further examples

Further examples of systems of equations that can be formulated as a Lax pair include:

* Benjamin–Ono equation
* One-dimensional cubic non-linear Schrödinger equation
* Davey–Stewartson system
* Integrable systems with contact Lax pairsA. Sergyeyev, New integrable (3+1)-dimensional systems and contact geometry, Lett. Math. Phys. 108 (2018), no. 2, 359-376,
* Kadomtsev–Petviashvili equation
* Korteweg–de Vries equation
* KdV hierarchy
* Marchenko equation
* Modified Korteweg–de Vries equation
* Sine-Gordon equation
* Toda lattice
* Lagrange, Euler, and Kovalevskaya tops
* Belinski–Zakharov transform, in general relativity.

The last is remarkable, as it implies that both the Schwarzschild metric and the Kerr metric can be understood as solitons.

References

*
archive
* P. Lax and R.S. Phillips, ''Scattering Theory for Automorphic Functions

(1976) Princeton University Press.

{{Functional analysis

Differential equations
Automorphic forms
Spectral theory
Exactly solvable models