Dirac bracket is an extension of Poisson bracket, used to deal with the Hamiltonian with constraints. Especially it is useful in quantizing gauge theories. In detail, Dirac bracket is defined as , where
is the Poisson bracket,
is some constraints such as a gauge condition, and
is some matrix we will talk about later.
Suppose there exits a Hamiltonian with a set of constraints
(Here “
” means equations hold on shell, say after evaluate all the Poisson brackets then turn on the constraints conditions. We call this “weakly equal to”). For example, in E&M theory,
. So the canonical momenta are
. We immediately get a set of primary constraints that
(we call this a set of constraints, because the equation holds on every point of space time). These constraints are needed to hold all the time, so
is demanded; hence a set of secondary constraints
follows. There are no more constraints here, because
reduces to
(trivial). If it’s a non-trivial equation, we keep on this process until we get a “
“.
According to Dirac, we decompose those constraints into two classes: the first-class constraints and the second-class constraints. The first-class constraint means its Poison bracket with all the other constraints vanishes on the other hand, the second-class does not, which indicates that no linear combination
vanishes. As the E&M example above,
and
are first-class constraints.
In quantizing the gauge field, the primary first-class constraints(such as or maybe all the first-class constraints are harmless for they can be eliminated by a choice of gauge. So we took linear combination of constraints so that as many constraints can be put into first-class as possible then eliminate them by choosing gauge. After that, we left with a set of second-class constraints.
The existence of the second-class constraints indicates some degrees of freedom are not physically important. The naive idea to deal with them is just to “throw them away” and only keeping those degrees of freedom of physical importance. For example, suppose that we have constraints ,
, we can just take
and
as identically
. This is a simplest example. For generalization, Dirac proposed the following scheme:
Since for second-class constraints no linear combination vanishes, then
, where
. Hence
is reversible. By introducing Dirac bracket
, we can get all commutation relations for canonical variables. And use them to quantize gauge field theory. We can check by using the
,
, that this scheme is the same as we throw away
and
.
Still use the E&M case as an example. First as we mentioned above , and
are first class constraints. Now we propose a gauge(here we use coulomb gauge)
. Together with
, we can eliminate
(In this case
). Then we left with two second-class constraints:
and the gauge condition
, since
, Δ1x,1y=Δ2x,2y = 0, Det(Δ)≠0. Finally, we use the Dirac bracket we get, [Ai, Πj]D= iδijδ(x-y)+i ∂2/∂i∂j(1/4π|x-y|). And extend this to quantum version, to quantize E&M.