HOME

TheInfoList



OR:

Pokhozhaev's identity is an integral relation satisfied by stationary localized solutions to a
nonlinear Schrödinger equation In theoretical physics, the (one-dimensional) nonlinear Schrödinger equation (NLSE) is a nonlinear variation of the Schrödinger equation. It is a classical field equation whose principal applications are to the propagation of light in nonlin ...
or nonlinear Klein–Gordon equation. It was obtained by S.I. Pokhozhaev and is similar to the
virial theorem In mechanics, the virial theorem provides a general equation that relates the average over time of the total kinetic energy of a stable system of discrete particles, bound by potential forces, with that of the total potential energy of the system. ...
. 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 g(s) be continuous and real-valued, with g(0)=0. Denote G(s)=\int_0^s g(t)\,dt. Let :u\in L^\infty_(\R^n), \qquad \nabla u\in L^2(\R^n), \qquad G(u)\in L^1(\R^n), \qquad n\in\N, be a solution to the equation :-\nabla^2 u=g(u), in the sense of distributions. Then u satisfies the relation :\frac\int_, \nabla u(x), ^2\,dx=n\int_G(u(x))\,dx.


The Pokhozhaev identity for the stationary nonlinear Dirac equation

There is a form of the virial identity for the stationary
nonlinear Dirac equation :''See Ricci calculus and Van der Waerden notation for the notation.'' In quantum field theory, the nonlinear Dirac equation is a model of self-interacting Dirac fermions. This model is widely considered in quantum physics as a toy model of s ...
in three spatial dimensions (and also the Maxwell-Dirac equations) and in arbitrary spatial dimension. Let n\in\N,\,N\in\N and let \alpha^i,\,1\le i\le n and \beta be the
self-adjoint In mathematics, and more specifically in abstract algebra, an element ''x'' of a *-algebra is self-adjoint if x^*=x. A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold. A collection ''C'' of elements of a sta ...
Dirac matrices In mathematical physics, the gamma matrices, \left\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra Cl1,3(\ma ...
of size N\times N: : \alpha^i\alpha^j+\alpha^j\alpha^i=2\delta_I_N, \quad \beta^2=I_N, \quad \alpha^i\beta+\beta\alpha^i=0, \quad 1\le i,j\le n. Let D_0=-\mathrm\alpha\cdot\nabla=-\mathrm\sum_^n\alpha^i\frac be the massless
Dirac operator In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formall ...
. Let g(s) be continuous and real-valued, with g(0)=0. Denote G(s)=\int_0^s g(t)\,dt. Let \phi\in L^\infty_(\R^n,\C^N) be a
spinor In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a slight ...
-valued solution that satisfies the stationary form of the
nonlinear Dirac equation :''See Ricci calculus and Van der Waerden notation for the notation.'' In quantum field theory, the nonlinear Dirac equation is a model of self-interacting Dirac fermions. This model is widely considered in quantum physics as a toy model of s ...
, : \omega\phi=D_0\phi+g(\phi^\ast\beta\phi)\beta\phi, in the sense of distributions, with some \omega\in\R. Assume that : \phi\in H^1(\R^n,\C^N),\qquad G(\phi^\ast\beta\phi)\in L^1(\R^n). Then \phi satisfies the relation : \omega\int_\phi(x)^\ast\phi(x)\,dx =\frac\int_\phi(x)^\ast D_0\phi(x)\,dx +\int_{\R^n}G(\phi(x)^\ast\beta\phi(x))\,dx.


See also

*
Virial theorem In mechanics, the virial theorem provides a general equation that relates the average over time of the total kinetic energy of a stable system of discrete particles, bound by potential forces, with that of the total potential energy of the system. ...
*
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 argum ...


References

Mathematical_identities Theorems in mathematical physics Physics theorems