Pokhozhaev's identity

Pokhozhaev's identity is an integral relation satisfied by stationary localized solutions to a nonlinear Schrödinger equation or nonlinear Klein–Gordon equation. It was obtained by S.I. Pokhozhaev and is similar to the virial theorem. This relation is also known as G.H. Derrick's theorem. Similar identities can be derived for other equations of mathematical physics.

The Pokhozhaev identity for the stationary nonlinear Schrödinger equation

Here is a general form due to H. Berestycki and P.-L. Lions.

Let [math]\displaystyle{ g(s) }[/math] be continuous and real-valued, 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)\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{ \frac{n-2}{2}\int_{\R^n}|\nabla u(x)|^2\,dx=n\int_{\R^n}G(u(x))\,dx. }[/math]

The Pokhozhaev identity for the stationary nonlinear Dirac equation

There is a form of the virial identity for the stationary nonlinear Dirac equation in three spatial dimensions (and also the Maxwell-Dirac equations) and in arbitrary spatial dimension. Let [math]\displaystyle{ n\in\N,\,N\in\N }[/math] and let [math]\displaystyle{ \alpha^i,\,1\le i\le n }[/math] and [math]\displaystyle{ \beta }[/math] be the self-adjoint Dirac matrices of size [math]\displaystyle{ N\times N }[/math]:

[math]\displaystyle{ \alpha^i\alpha^j+\alpha^j\alpha^i=2\delta_{ij}I_N, \quad \beta^2=I_N, \quad \alpha^i\beta+\beta\alpha^i=0, \quad 1\le i,j\le n. }[/math]

Let [math]\displaystyle{ D_0=-\mathrm{i}\alpha\cdot\nabla=-\mathrm{i}\sum_{i=1}^n\alpha^i\frac{\partial}{\partial x^i} }[/math] be the massless Dirac operator. Let [math]\displaystyle{ g(s) }[/math] be continuous and real-valued, with [math]\displaystyle{ g(0)=0 }[/math]. Denote [math]\displaystyle{ G(s)=\int_0^s g(t)\,dt }[/math]. Let [math]\displaystyle{ \phi\in L^\infty_{\mathrm{loc}}(\R^n,\C^N) }[/math] be a spinor-valued solution that satisfies the stationary form of the nonlinear Dirac equation,

[math]\displaystyle{ \omega\phi=D_0\phi+g(\phi^\ast\beta\phi)\beta\phi, }[/math]

in the sense of distributions, with some [math]\displaystyle{ \omega\in\R }[/math]. Assume that

[math]\displaystyle{ \phi\in H^1(\R^n,\C^N),\qquad G(\phi^\ast\beta\phi)\in L^1(\R^n). }[/math]

Then [math]\displaystyle{ \phi }[/math] satisfies the relation

[math]\displaystyle{ \omega\int_{\R^n}\phi(x)^\ast\phi(x)\,dx =\frac{n-1}{n}\int_{\R^n}\phi(x)^\ast D_0\phi(x)\,dx +\int_{\R^n}G(\phi(x)^\ast\beta\phi(x))\,dx. }[/math]

See also

• Virial theorem
• Derrick's theorem