Derrick's theorem

Derrick's theorem is an argument by physicist G. H. Derrick which shows that stationary localized solutions to a nonlinear wave equation or nonlinear Klein–Gordon equation in spatial dimensions three and higher are unstable.

Original argument

Derrick's paper, which was considered an obstacle to interpreting soliton-like solutions as particles, contained the following physical argument about non-existence of stable localized stationary solutions to the nonlinear wave equation

[math]\displaystyle{ \nabla^2 \theta-\frac{\partial^2\theta}{\partial t^2}=\frac 1 2 f'(\theta), \qquad \theta(x,t)\in\R,\quad x\in\R^3, }[/math]

now known under the name of Derrick's Theorem. (Above, [math]\displaystyle{ f(s) }[/math] is a differentiable function with [math]\displaystyle{ f'(0)=0 }[/math].)

The energy of the time-independent solution [math]\displaystyle{ \theta(x)\, }[/math] is given by

[math]\displaystyle{ E=\int\left[(\nabla\theta)^2+f(\theta)\right] \, d^3 x. }[/math]

A necessary condition for the solution to be stable is [math]\displaystyle{ \delta^2 E\ge 0\, }[/math]. Suppose [math]\displaystyle{ \theta(x)\, }[/math] is a localized solution of [math]\displaystyle{ \delta E=0\, }[/math]. Define [math]\displaystyle{ \theta_\lambda(x)=\theta(\lambda x)\, }[/math] where [math]\displaystyle{ \lambda }[/math] is an arbitrary constant, and write [math]\displaystyle{ I_1=\int(\nabla\theta)^2 d^3 x }[/math], [math]\displaystyle{ I_2=\int f(\theta) d^3 x }[/math]. Then

[math]\displaystyle{ E_\lambda =\int\left[(\nabla\theta_\lambda)^2+f(\theta_\lambda)\right] \, d^3 x =I_1/\lambda +I_2/\lambda^3. }[/math]

Whence [math]\displaystyle{ dE_\lambda/d\lambda\vert_{\lambda=1}=-I_1-3 I_2=0.\, }[/math] and since [math]\displaystyle{ I_1\gt 0\, }[/math],

[math]\displaystyle{ \left.\frac{d^2E_\lambda}{d\lambda^2}\right|_{\lambda=1}=2 I_1+12 I_2=-2 I_1\,\lt 0. }[/math]

That is, [math]\displaystyle{ \delta^2 E\lt 0\, }[/math] for a variation corresponding to a uniform stretching of the particle. Hence the solution [math]\displaystyle{ \theta(x)\, }[/math] is unstable.

Derrick's argument works for [math]\displaystyle{ x\in\R^n }[/math], [math]\displaystyle{ n\ge 3\, }[/math].

Pokhozhaev's identity

More generally, let [math]\displaystyle{ g }[/math] be continuous, with [math]\displaystyle{ g(0)=0 }[/math]. Denote [math]\displaystyle{ G(s)=\int_0^s g(t)\,dt }[/math]. Let

[math]\displaystyle{ u\in L^\infty_{\mathrm{loc}}(\R^n), \qquad \nabla u\in L^2(\R^n), \qquad G(u(\cdot))\in L^1(\R^n), \qquad n\in\N, }[/math]

be a solution to the equation

[math]\displaystyle{ -\nabla^2 u=g(u) }[/math],

in the sense of distributions. Then [math]\displaystyle{ u }[/math] satisfies the relation

[math]\displaystyle{ (n-2)\int_{\R^n}|\nabla u(x)|^2\,dx=n\int_{\R^n}G(u(x))\,dx, }[/math]

known as Pokhozhaev's identity (sometimes spelled as Pohozaev's identity). This result is similar to the virial theorem.

Interpretation in the Hamiltonian form

We may write the equation [math]\displaystyle{ \partial_t^2 u=\nabla^2 u-\frac{1}{2}f'(u) }[/math] in the Hamiltonian form [math]\displaystyle{ \partial_t u=\delta_v H(u,v) }[/math], [math]\displaystyle{ \partial_t v=-\delta_u H(u,v) }[/math], where [math]\displaystyle{ u,\,v }[/math] are functions of [math]\displaystyle{ x\in\R^n,\,t\in\R }[/math], the Hamilton function is given by

[math]\displaystyle{ H(u,v)=\int_{\R^n}\left( \frac{1}{2}|v|^2+\frac{1}{2}|\nabla u|^2+\frac{1}{2}f(u) \right)\,dx, }[/math]

and [math]\displaystyle{ \delta_u H\, }[/math], [math]\displaystyle{ \delta_v H\, }[/math] are the variational derivatives of [math]\displaystyle{ H(u,v)\, }[/math].

Then the stationary solution [math]\displaystyle{ u(x,t)=\theta(x)\, }[/math] has the energy [math]\displaystyle{ H(\theta,0)=\int_{\R^n}\left( \frac{1}{2}|\nabla\theta|^2+\frac{1}{2}f(\theta) \right)\,d^n x }[/math] and satisfies the equation

[math]\displaystyle{ 0=\partial_t \theta(x)=-\partial_u H(\theta,0)=\frac{1}{2}E'(\theta), }[/math]

with [math]\displaystyle{ E'\, }[/math] denoting a variational derivative of the functional [math]\displaystyle{ E=\int_{\R^n}[\vert\nabla\theta\vert^2+f(\theta)]\,d^n x }[/math]. Although the solution [math]\displaystyle{ \theta(x)\, }[/math] is a critical point of [math]\displaystyle{ E\, }[/math] (since [math]\displaystyle{ E'(\theta)=0\, }[/math]), Derrick's argument shows that [math]\displaystyle{ \frac{d^2}{d\lambda\,^2}E(\theta(\lambda x))\lt 0 }[/math] at [math]\displaystyle{ \lambda=1\, }[/math], hence [math]\displaystyle{ u(x,t)=\theta(x)\, }[/math] is not a point of the local minimum of the energy functional [math]\displaystyle{ H\, }[/math]. Therefore, physically, the solution [math]\displaystyle{ \theta(x)\, }[/math] is expected to be unstable. A related result, showing non-minimization of the energy of localized stationary states (with the argument also written for [math]\displaystyle{ n=3 }[/math], although the derivation being valid in dimensions [math]\displaystyle{ n\ge 2 }[/math]) was obtained by R. H. Hobart in 1963.

Relation to linear instability

A stronger statement, linear (or exponential) instability of localized stationary solutions to the nonlinear wave equation (in any spatial dimension) is proved by P. Karageorgis and W. A. Strauss in 2007.

Stability of localized time-periodic solutions

Derrick describes some possible ways out of this difficulty, including the conjecture that Elementary particles might correspond to stable, localized solutions which are periodic in time, rather than time-independent. Indeed, it was later shown that a time-periodic solitary wave [math]\displaystyle{ u(x,t)=\phi_\omega(x)e^{-i\omega t}\, }[/math] with frequency [math]\displaystyle{ \omega\, }[/math] may be orbitally stable if the Vakhitov–Kolokolov stability criterion is satisfied.

See also

• Orbital stability
• Pokhozhaev's identity
• Vakhitov–Kolokolov stability criterion
• Virial theorem