Paper 2, Section II, A

Integrable Systems
Part II, 2018

(a) Let L,A\mathcal{L}, \mathcal{A} be two families of linear operators, depending on a parameter tt, which act on a Hilbert space HH with inner product (,(,, . Suppose further that for each t,Lt, \mathcal{L} is self-adjoint and that A\mathcal{A} is anti-self-adjoint. State LaxL a x 's equation for the pair L,A\mathcal{L}, \mathcal{A}, and show that if it holds then the eigenvalues of L\mathcal{L} are independent of tt.

(b) For ψ,ϕ:RC\psi, \phi: \mathbb{R} \rightarrow \mathbb{C}, define the inner product:

(ψ,ϕ):=ψ(x)ϕ(x)dx(\psi, \phi):=\int_{-\infty}^{\infty} \overline{\psi(x)} \phi(x) d x

Let L,AL, A be the operators:

Lψ:=id3ψdx3i(qdψdx+ddx(qψ))+pψAψ:=3id2ψdx24iqψ\begin{gathered} L \psi:=i \frac{d^{3} \psi}{d x^{3}}-i\left(q \frac{d \psi}{d x}+\frac{d}{d x}(q \psi)\right)+p \psi \\ A \psi:=3 i \frac{d^{2} \psi}{d x^{2}}-4 i q \psi \end{gathered}

where p=p(x,t),q=q(x,t)p=p(x, t), q=q(x, t) are smooth, real-valued functions. You may assume that the normalised eigenfunctions of LL are smooth functions of x,tx, t, which decay rapidly as x|x| \rightarrow \infty for all tt.

(i) Show that if ψ,ϕ\psi, \phi are smooth and rapidly decaying towards infinity then:

(Lψ,ϕ)=(ψ,Lϕ),(Aψ,ϕ)=(ψ,Aϕ)(L \psi, \phi)=(\psi, L \phi), \quad(A \psi, \phi)=-(\psi, A \phi)

Deduce that the eigenvalues of LL are real.

(ii) Show that if Lax's equation holds for L,AL, A, then qq must satisfy the Boussinesq equation:

qtt=aqxxxx+b(q2)xxq_{t t}=a q_{x x x x}+b\left(q^{2}\right)_{x x}

where a,ba, b are constants whose values you should determine. [You may assume without proof that the identity:

LAψ=ALψ3i(pxdψdx+ddx(pxψ))+[qxxx4(q2)x]ψL A \psi=A L \psi-3 i\left(p_{x} \frac{d \psi}{d x}+\frac{d}{d x}\left(p_{x} \psi\right)\right)+\left[q_{x x x}-4\left(q^{2}\right)_{x}\right] \psi

holds for smooth, rapidly decaying ψ.]\psi .]