Second class constraints


Second class constraints

In a constrained Hamiltonian system, a dynamical quantity is second class if its Poisson bracket with at least one constraint is nonvanishing. A constraint that has a nonzero Poisson bracket with at least one other constraint, then, is a second class constraint.

See first class constraints or Dirac bracket for the preliminaries.

An example: a particle confined to a sphere

Before going on to the general theory, let's look at a specific example step by step to motivate the general analysis.

Let's start with the action describing a Newtonian particle of mass m constrained to a surface of radius R within a uniform gravitational field "g". When one works in Lagrangian mechanics, there are several ways to implement a constraint: one can switch to generalized coordinates that manifestly solve the constraint or one can use a Lagrange multiplier.

In this case, the particle is constrained to a sphere, therefore the natural solution would be to use angular coordinates to describe the position of the particle instead of Cartesian and solve the constraint in that way (the first choice). For didactic reasons, instead, consider the problem in Cartesian coordinates with a Lagrange multiplier term.

The action is given by

S=int dt L=int dt left [frac{m}{2}(dot{x}^2+dot{y}^2+dot{z}^2)-mgz+frac{lambda}{2}(x^2+y^2+z^2-R^2) ight]

where the last term is the Lagrange multiplier term enforcing the constraint.

Of course, we could have just used different coordinates and written it as

S=int dt left [frac{mR^2}{2}(dot{ heta}^2+sin^2( heta)dot{phi}^2)+mgRcos( heta) ight]

instead, but let's look at the former coordinatization.

The conjugate momenta are given by

p_x=mdot{x}, p_y=mdot{y}, p_z=mdot{z}, p_lambda=0.

Note that we can't determine dot{lambda} from the momenta.

The Hamiltonian is given by

H=vec{p}cdotdot{vec{r+p_lambda dot{lambda}-L=frac{p^2}{2m}+p_lambda dot{lambda}+mgz-frac{lambda}{2}(r^2-R^2).

We can't eliminate dot{lambda} at this stage yet. We are here treating dot{lambda} as a shorthand for a function of the symplectic space which we have yet to determine and "not" an independent variable. For notational consistency, define u_1=dot{lambda} from now on. The above Hamiltonian with the p_lambda term is the "naive Hamiltonian". Note that since, on-shell, the constraint must be satisfied, one cannot distinguish between the naive Hamiltonian and the above Hamiltonian with the undetermined coefficient, dot{lambda}=u_1, on-shell.

We have the primary constraint pλ=0.

We require, on the grounds of consistency, that the Poisson bracket of all the constraints with the Hamiltonian vanish at the constrained subspace. In other words, the constraints must not evolve in time if they are going to be identically zero along the equations of motion.

From this consistency condition, we immediately get the secondary constraint

r2-R2=0.

By the same reasoning, this constraint should be added into the Hamiltonian with an undetermined (not necessarily constant) coefficient u_2. At this point, the Hamiltonian is:H = frac{p^2}{2m} + mgz - frac{lambda}{2}(r^2-R^2) + u_1 p_lambda + u_2 (r^2-R^2)

And from the secondary constraint, we get the tertiary constraint

vec{p}cdotvec{r}=0,

by demanding on the grounds of consistency that {r^2-R^2,, H}_{PB} = 0 on-shell. Again, one should add this constraint into the Hamiltonian since on-shell no one can tell the difference. Therefore, so far, the Hamiltonian looks like:H = frac{p^2}{2m} + mgz - frac{lambda}{2}(r^2-R^2) + u_1 p_lambda + u_2 (r^2-R^2) + u_3 vec{p}cdotvec{r},where u_1, u_2, and u_3 are still completely undetermined. Note that frequently all constraints that are found from consistency conditions are referred to as "secondary constraints" and secondary, tertiary, quaternary, etc. constraints are not distinguished.

The tertiary constraint's consistency condition yields:{vec{p}cdotvec{r},, H}_{PB} = frac{p^2}{m} - mgz+ lambda r^2 -2 u_2 r^2 = 0.This is "not" a quaternary constraint, but a condition which fixes one of the undetermined coefficients. In particular, it fixes:u_2 = frac{lambda}{2} + frac{1}{r^2}left(frac{p^2}{2m}-frac{1}{2}mgz ight).

Now that there are new terms in the Hamiltonian, one should go back and check the consistency conditions for the primary and secondary constraints. The secondary constraint's consistency condition gives:frac{2}{m}vec{r}cdotvec{p} + 2 u_3 r^2 = 0.Again, this is "not" a new constraint; it only determines that:u_3 = -frac{vec{r}cdotvec{p{m r^2}.

At this point there are no more constraints or consistency conditions to check.

Putting it all together,:H=left(2-frac{R^2}{r^2} ight)frac{p^2}{2m} + frac{1}{2}left(1+frac{R^2}{r^2} ight)mgz - frac{(vec{r}cdotvec{p})^2}{mr^2} + u_1 p_lambda.When finding the equations of motion, one should use the above Hamiltonian, and as long as one is careful to never use constraints before taking derivatives in the Poisson bracket then one gets the correct equations of motion. That is, the equations of motion are given by:dot{vec{r = {vec{r}, , H}_{PB}, quad dot{vec{p = { vec{p},, H}_{PB}, quad dot{lambda} = { lambda,, H}_{PB},quad dot{p}_lambda = { p_lambda, H}_{PB}.

Before analyzing the Hamiltonian, consider the three constraints::phi_1 = p_lambda, quad phi_2 = r^2-R^2, quad phi_3 = vec{p}cdotvec{r}.Notice the nontrivial Poisson bracket structure of the constraints. In particular,:{phi_2, phi_3} = 2 r^2 eq 0.The above Poisson bracket does not just fail to vanish off-shell, which might be anticipated, but even on-shell it is nonzero. Therefore, phi_2 and phi_3 are second class constraints while phi_1 is a first class constraint. Note that these constraints satisfy the regularity condition.

Here, we have a symplectic space where the Poisson bracket does not have "nice properties" on the constrained subspace. But Dirac noticed that we can turn the underlying differential manifold of the symplectic space into a Poisson manifold using a different bracket, called the Dirac bracket, such that the Dirac bracket of any (smooth) function with any of the second class constraints always vanishes and a couple of other nice properties.

If one wanted to canonically quantize this system, then, one needs to promote the canonical Dirac brackets not the canonical Poisson brackets to commutation relations.

Examination of the above Hamiltonian shows a number of interesting things happening. One thing to note is that on-shell when the constraints are satisfied the extended Hamiltonian is identical to the naive Hamiltonian, as required. Also, note that lambda dropped out of the extended Hamiltonian. Since phi_1 is a first class primary constraint it should be interpreted as a generator of a gauge transformation. The gauge freedom is the freedom to choose lambda which has ceased to have any effect on the particle's dynamics. Therefore, that lambda dropped out of the Hamiltonian, that u_1 is undetermined, and that phi_1 = p_lambda is first class, are all closely interrelated.

Note that it would be more natural not to start with a Lagrangian with a Lagrange multiplier, but instead take r^2-R^2 as a primary constraint and proceed through the formalism. The result would the elimination of the extraneous lambda dynamical quantity. Perhaps, the example is more edifying in its current form.

Another example with second class constraints is the Proca action.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Class stratification — is a form of social stratification in which a society tends to divide into separate classes whose members have differential access to resources and power. An economic and cultural rift usually exists between different classes. People are usually… …   Wikipedia

  • Second Amendment to the United States Constitution — The Second Amendment (Amendment II) to the United States Constitution is a part of the United States Bill of Rights that protects the pre existing individual right to possess and carry weapons (i.e. keep and bear arms ) in case of confrontation.… …   Wikipedia

  • First class constraint — In Hamiltonian mechanics, consider a symplectic manifold M with a smooth Hamiltonian over it (for field theories, M would be infinite dimensional). Poisson bracketsSuppose we have some constraints : f i(x)=0, for n smooth functions :{ f i } {i=… …   Wikipedia

  • Danube class starship — Danube class The USS Yangtzee Kiang, a Danube class runabout First appearance Emissary Affiliation United Federation of Planets Starfleet …   Wikipedia

  • Collins class submarine — HMAS Rankin, sixth submarine of the Collins class, underway in 2006 Class overview Builders: Australian Submarine Corporatio …   Wikipedia

  • Mistral class amphibious assault ship — The Mistral in Toulon harbour Class overview Name: Mistral Builders: STX Europe …   Wikipedia

  • SR N class — Infobox Locomotive powertype=Steam name = SR N classHaresnape, section: N class ] caption = BR N class number 31871 at Plymouth 1948 in early BR livery designer = Richard Maunsell builder = SECR/SR Ashford Works builddate = 1917 ndash;1934… …   Wikipedia

  • LSWR S15 class — Infobox Locomotive powertype=Steam name = LSWR/SR S15 classHerring, Peter, Classic British Steam Locomotives (Abbeydale Press: London, 2000) Section S15 Class Pages 100 to 101 ISBN 1861470576] caption = Preserved No. 825 at Pickering, October… …   Wikipedia

  • LNER Peppercorn Class A1 60163 Tornado — Infobox Locomotive name= LNER Class A1 Peppercorn 60163 Tornado powertype= Steam caption= Tornado , 8 August 2008 designer= Arthur Peppercorn (original designer) builder= A1 Steam Locomotive Trust builddate= 1994 2008 whytetype= Whyte|4 6 2… …   Wikipedia

  • Zumwalt class destroyer — Artist rendering of the Zumwalt class destroyer Class overview Name: Zumwalt Builders: General Dynamics …   Wikipedia