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
be continuous and real-valued, with
.
Denote
.
Let
:
be a solution to the equation
:
,
in the sense of distributions.
Then
satisfies the relation
:
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
and let
and
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
:
:
Let
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
be continuous and real-valued, with
.
Denote
.
Let
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 ...
,
:
in the sense of distributions,
with some
.
Assume that
:
Then
satisfies the relation
:
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