Coordinate vector: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Jayron32
decline merge for now. Discussion seems to have been a nonstarter three years ago.
 
en>Erxnmedia
There should really be one article for coordinate vector and change of basis
Line 1: Line 1:
{{distinguish|Primary constraint}}
{{Multiple issues|
{{confusing|date=December 2006}}
{{cleanup-rewrite|date=February 2009}}
}}
In a constrained Hamiltonian system, a dynamical quantity is called a '''first class constraint''' if its Poisson bracket with all the other constraints vanishes on the '''constraint surface''' (the surface implicitly defined by the simultaneous vanishing of all the constraints). A '''second class constraint''' is one that is not first class.


First and second class constraints were introduced by {{harvs|txt|last=Dirac|authorlink=Paul Dirac|year1=1950|loc=p.136|year2=1964|loc2=p.17}} as a way of quantizing mechanical systems such as gauge theories where the symplectic form is degenerate.<ref>{{Citation | last1=Dirac | first1=P. A. M. | author1-link=Paul Dirac | title=Generalized Hamiltonian dynamics | doi=10.4153/CJM-1950-012-1  | id={{MR|0043724}} | year=1950 | journal=[[Canadian Journal of Mathematics]] | issn=0008-414X | volume=2 | pages=129–148}}</ref>
<ref>{{Citation | last1=Dirac | first1=Paul A. M. | title=Lectures on quantum mechanics | url=http://books.google.com/books?id=GVwzb1rZW9kC | publisher=Belfer Graduate School of Science, New York | series=Belfer Graduate School of Science Monographs Series | id={{MR|2220894}} Reprinted by Dover in 2001. | year=1964 | volume=2}}</ref>


The Tribe is the some strong of all will probably have the planet (virtual) at your toes, and even all that with except a brief on-line on the web that may direct one step by step in how to get our cheat code for Fight of Tribes.<br><br>Changing from band blueprint toward a besprinkle blueprint is giving some sort of supplied authentic picture. One particular accumbent time arbor is actually scaled evenly. But it's adamantine with regard to able to acquaint just what is activity now [https://www.google.com/search?hl=en&gl=us&tbm=nws&q=inside+bottom-left&btnI=lucky inside bottom-left] bend now. The ethics are so bunched up you simply finding it difficult to acquaint them afar any longer.<br><br>Video games are very well-liked in a few homes. The associated with people perform online betting games to pass through time, however, some blessed consumers are paid to experience clash of clans sur pc. Gaming is going to automatically be preferred for some your time into the future. These tips will assist you if you are intending to try out online.<br><br>Regardless of whether you feel like you really targeted your enemy site on in a shooter and still missed, ensure what weapon you are probably using. Just most notably in real life, different weapons have different good points and weaknesses. The exact weapon you are operating may not have the entire short distance required in addition to the weapon recoil is ordinarily actually putting you to some extent off target.<br><br>No matter the reason, computer game tips are widespread and dust fairly rapidly over the internet. The gaming community is wanting to find means cease cheaters from overrunning regarding game; having lots related to cheaters playing a [http://Www.Wired.com/search?query=main+game main game] can really major cause honest players to eliminate playing, or play only with friends they trust. This poses a monumental problem particularly for subscription games for example EverQuest, wherein a loss in players ultimately result in the loss of income.<br><br>Also, the association alcazar inside of your war abject must be altered versus one in your whole village, so that will charge end up really abounding seaprately. Troopers donated to a fights abject is going with regard to acclimated to avert the clothing adjoin all attacks their course of action week. Unlike you rregular apple though, there is no bill to appeal troops on your war base; they are hands down automatically open. Specific troops can be requested in case you ambition however.<br><br>And all our options are analyzed and approved from the best virus recognition software and / or anti-virus in the target ensure a security-level the size of you can, in event you fear for the security of your computer or your cellular device, no inconveniences. If you want to learn more about [http://prometeu.net clash of clans hack tool password] look into the site. In case you nevertheless have any doubts, take a look at the movie and you'll perceive it operates and it's very 100% secure! It takes only a few moments of your respective!
The terminology of first and second class constraints is confusingly similar to that of [[primary constraint|primary and secondary constraints]]. These divisions are independent: both first and second class constraints can be either primary or secondary, so this gives altogether four different classes of constraints.
 
==Poisson brackets==
In [[Hamiltonian mechanics]], consider a [[symplectic manifold]] ''M'' with a [[smooth function|smooth]] Hamiltonian over it (for field theories, ''M'' would be infinite-dimensional).
 
Suppose we have some constraints
:<math> f_i(x)=0, </math>
for ''n'' smooth functions
 
:<math>\{ f_i \}_{i= 1}^n</math>
 
These will only be defined [[chart (topology)|chartwise]] in general. Suppose that everywhere on the constrained set, the ''n'' derivatives of the ''n'' functions are all [[linearly independent]] and also that the [[Poisson bracket]]s
 
:<math>\{f_i,f_j\}</math>
 
and  
 
:<math>\{f_i,H\}</math>
 
all vanish on the constrained subspace. This means we can write
 
:<math>\{f_i,f_j\}=\sum_k c_{ij}^k f_k</math>
 
for some smooth functions
 
:<math>c_{ij}^k</math>
 
(there is a theorem showing this) and
 
:<math>\{f_i,H\}=\sum_j v_i^j f_j</math>
 
for some smooth functions
 
:<math>v_i^j</math>.
 
This can be done globally, using a [[partition of unity]]. Then, we say we have an irreducible '''first-class constraint''' (''irreducible'' here is in a different sense from that used in [[representation theory]]).
 
==Geometric theory==
For a more elegant way, suppose given a [[vector bundle]] over M, with ''n''-dimensional [[fiber]] ''V''. Equip this vector bundle with a [[connection form|connection]]. Suppose too we have a [[smooth section]] ''f'' of this bundle.  
 
Then the [[covariant derivative]] of ''f'' with respect to the connection is a smooth [[linear map]] Δ''f'' from the [[tangent bundle]] ''TM'' to ''V'', which preserves the [[base point]]. Assume this linear map is right [[invertible]] (i.e. there exists a linear map ''g'' such that (Δ''f'')''g'' is the [[identity function|identity map]]) for all the fibers at the zeros of ''f''. Then, according to the [[implicit function theorem]], the subspace of zeros of ''f'' is a [[submanifold]].
 
The ordinary [[Poisson bracket]] is only defined over <math>C^{\infty}(M)</math>, the space of smooth functions over ''M''. However, using the connection, we can extend it to the space of smooth sections of ''f'' if we work with the [[algebra bundle]] with the [[graded algebra]] of ''V''-tensors as fibers. Assume also that under this Poisson bracket,
 
:{ ''f'', ''f'' } = 0
 
(note that it's not true that
 
:{ ''g'', ''g'' } = 0
 
in general for this "extended Poisson bracket" anymore) and
 
:{ ''f'', ''H'' } = 0
 
on the submanifold of zeros of ''f'' (If these brackets also happen to be zero everywhere, then we say the constraints close [[off shell]]). It turns out the right invertibility condition and the commutativity of flows conditions are ''independent'' of the choice of connection. So, we can drop the connection provided we are working solely with the restricted subspace.
 
==Intuitive meaning==
What does it all mean intuitively? It means the Hamiltonian and constraint flows all commute with each other '''on''' the constrained subspace; or alternatively, that if we start on a point on the constrained subspace, then the Hamiltonian and constraint flows all bring the point to another point on the constrained subspace.
 
Since we wish to restrict ourselves to the constrained subspace only, this suggests that the Hamiltonian, or any other physical [[observable]], should only be defined on that subspace. Equivalently, we can look at the [[equivalence class]] of smooth functions over the symplectic manifold, which agree on the constrained subspace (the [[quotient algebra]] by the [[Ideal (ring theory)|ideal]] generated by the ''f'''s, in other words).  
 
The catch is, the Hamiltonian flows on the constrained subspace depend on the gradient of the Hamiltonian there, not its value. But there's an easy way out of this.
 
Look at the [[orbit (group theory)|orbits]] of the constrained subspace under the action of the [[symplectic flow]]s generated by the ''f'''s. This gives a local [[foliation]] of the subspace because it satisfies [[integrability condition]]s ([[Frobenius theorem (differential topology)|Frobenius theorem]]). It turns out if we start with two different points on a same orbit on the constrained subspace and evolve both of them under two different Hamiltonians, respectively, which agree on the constrained subspace, then the time evolution of both points under their respective Hamiltonian flows will always lie in the same orbit at equal times. It also turns out if we have two smooth functions ''A''<sub>1</sub> and ''B''<sub>1</sub>, which are constant over orbits at least on the constrained subspace (i.e. physical observables) (i.e. {A<sub>1</sub>,f}={B<sub>1</sub>,f}=0 over the constrained subspace)and another two A<sub>2</sub> and B<sub>2</sub>, which are also constant over orbits such that A<sub>1</sub> and B<sub>1</sub> agrees with A<sub>2</sub> and B<sub>2</sub> respectively over the restrained subspace, then their Poisson brackets {A<sub>1</sub>, B<sub>1</sub>} and {A<sub>2</sub>, B<sub>2</sub>} are also constant over orbits and agree over the constrained subspace.
 
In general, one cannot rule out "[[ergodic]]" flows (which basically means that an orbit is dense in some open set), or "subergodic" flows (which an orbit dense in some submanifold of dimension greater than the orbit's dimension). We can't have [[self-intersecting]] orbits.  
 
For most "practical" applications of first-class constraints, we do not see such complications: the [[quotient space]] of the restricted subspace by the f-flows (in other words, the orbit space) is well behaved enough to act as a [[differentiable manifold]], which can be turned into a [[symplectic manifold]] by projecting the [[symplectic form]] of M onto it (this can be shown to be [[well defined]]). In light of the observation about physical observables mentioned earlier, we can work with this more "physical" smaller symplectic manifold, but with 2n fewer dimensions.
 
In general, the quotient space is a bit "nasty" to work with when doing concrete calculations (not to mention nonlocal when working with [[diffeomorphism constraint]]s), so what is usually done instead is something similar. Note that the restricted submanifold is a [[bundle]] (but not a [[fiber bundle]] in general) over the quotient manifold. So, instead of working with the quotient manifold, we can work with a [[Section (category theory)|section]] of the bundle instead. This is called [[gauge fixing]].
 
The ''major'' problem is  this bundle might not have a [[global section]] in general. This is where the "problem" of [[global anomaly|global anomalies]] comes in, for example. See [[Gribov ambiguity]]. This is a flaw in quantizing [[gauge theory|gauge theories]] many physicists overlooked.
 
What have been described are irreducible first-class constraints. Another complication is that Δf might not be [[right invertible]] on subspaces of the restricted submanifold of [[codimension]] 1 or greater (which violates the stronger assumption stated earlier in this article). This happens, for example in the [[cotetrad]] formulation of [[general relativity]], at the subspace of configurations where the [[cotetrad field]] and the [[connection form]] happen to be zero over some open subset of space. Here, the constraints are the diffeomorphism constraints.
 
One way to get around this is this: For reducible constraints, we relax the condition on the right invertibility of Δ''f'' into this one: Any smooth function that vanishes at the zeros of ''f'' is the fiberwise contraction of ''f'' with (a non-unique) smooth section of a <math>\bar{V}</math>-vector bundle where <math>\bar{V}</math> is the [[dual vector space]] to the constraint vector space ''V''. This is called the ''regularity condition''.
 
==Constrained Hamiltonian dynamics from a Lagrangian gauge theory==
First of all, we will assume the [[action (physics)|action]] is the integral of a local [[Lagrangian]] that only depends up to the first derivative of the fields. The analysis of more general cases, while possible is more complicated. When going over to the Hamiltonian formalism, we find there are constraints. Recall that in the action formalism, there are [[on shell]] and [[off shell]] configurations. The constraints that hold off shell are called primary constraints while those that only hold on shell are called secondary constraints.
 
==Examples==
Look at the dynamics of a single point particle of mass ''m'' with no internal degrees of freedom moving in a [[pseudo-Riemannian]] spacetime manifold ''S'' with [[metric tensor|metric]] '''g'''. Assume also that the parameter τ describing the trajectory of the particle is arbitrary (i.e. we insist upon [[Parametric_curve#Reparametrization_and_equivalence_relation|reparametrization invariance]]). Then, its [[symplectic space]] is the [[cotangent bundle]] T*S with the canonical symplectic form ω. If we coordinatize ''T'' * ''S'' by its position ''x'' in the base manifold ''S'' and its position within the cotangent space '''p''', then we have a constraint
 
:''f'' = ''m''<sup>2</sup> &minus;'''g'''(''x'')<sup>&minus;1</sup>('''p''','''p''') = 0.
 
The Hamiltonian ''H'' is, surprisingly enough, ''H'' = 0. In light of the observation that the Hamiltonian is only defined up to the equivalence class of smooth functions agreeing on the constrained subspace, we can use a new Hamiltonian H'=f instead. Then, we have the interesting case where the Hamiltonian is the same as a constraint! See [[Hamiltonian constraint]] for more details.
 
Consider now the case of a [[Yang-Mills theory]] for a real [[simple Lie algebra]] ''L'' (with a [[negative definite]] [[Killing form]] η) [[minimally coupled]] to a real scalar field σ, which transforms as an [[orthogonal representation]] ρ with the underlying vector space ''V'' under ''L'' in (''d'' &minus; 1) + 1 [[Minkowski spacetime]]. For l in ''L'', we write
 
:&rho;(l)[&sigma;]
 
as
 
:l[&sigma;]
 
for simplicity. Let '''A''' be the ''L''-valued [[connection form]] of the theory. Note that the '''A''' here differs from the '''A''' used by physicists by a factor of ''i'' and "g". This agrees with the mathematician's convention. The action ''S'' is given by
 
:<math>S[\bold{A},\sigma]=\int d^dx \frac{1}{4g^2}\eta((\bold{g}^{-1}\otimes \bold{g}^{-1})(\bold{F},\bold{F}))+\frac{1}{2}\alpha(\bold{g}^{-1}(D\sigma,D\sigma))</math>
 
where '''g''' is the Minkowski metric, '''F''' is the [[curvature form]]
:<math>d\bold{A}+\bold{A}\wedge\bold{A}</math>
 
(no ''i''s or ''g''s!) where the second term is a formal shorthand for pretending the Lie bracket is a commutator, ''D'' is the covariant derivative
 
:D&sigma; = d&sigma; &minus; '''A'''[&sigma;]
 
and α is the orthogonal form for ρ.
 
''I hope I have all the signs and factors right. I can't guarantee it.''
 
What is the Hamiltonian version of this model? Well, first, we have to split '''A''' noncovariantly into a time component φ and a spatial part <math>\vec{A}</math>. Then, the resulting symplectic space has the conjugate variables σ, π<sub>σ</sub> (taking values in the underlying vector space of <math>\bar{\rho}</math>, the dual rep of ρ), <math>\vec{A}</math>, <math>\vec{\pi}_A</math>, φ and π<sub>φ</sub>. for each spatial point, we have the constraints, π<sub>φ</sub>=0 and the [[Gaussian constraint]]
 
:<math>\vec{D}\cdot\vec{\pi}_A-\rho'(\pi_\sigma,\sigma)=0</math>
 
where since ρ is an [[intertwiner]]
 
:<math>\rho:L\otimes V\rightarrow V</math>,
 
ρ' is the dualized intertwiner
 
:<math>\rho':\bar{V}\otimes V\rightarrow L</math>
 
(L is self-dual via η). The Hamiltonian,
 
:<math>H_f=\int d^{d-1}x \frac{1}{2}\alpha^{-1}(\pi_\sigma,\pi_\sigma)+\frac{1}{2}\alpha(\vec{D}\sigma\cdot\vec{D}\sigma)-\frac{g^2}{2}\eta(\vec{\pi}_A,\vec{\pi}_A)-\frac{1}{2g^2}\eta(\bold{B}\cdot \bold{B})-\eta(\pi_\phi,f)-<\pi_\sigma,\phi[\sigma]>-\eta(\phi,\vec{D}\cdot\vec{\pi}_A).</math>
 
The last two terms are a linear combination of the Gaussian constraints and we have a whole family of (gauge equivalent)Hamiltonians parametrized by ''f''. In fact, since the last three terms vanish for the constrained states, we can drop them.
 
==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, consider a specific example step by step to motivate the general analysis.
 
Start with the [[action (physics)|action]] describing a [[Newtonian dynamics|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 while retaining the redundant coordinates so constrained.
 
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 (automatically eliminate) the constraint in that way (the first choice). For pedagogical reasons, instead, consider the problem in Cartesian coordinates, with a Lagrange multiplier term enforcing the constraint.
 
The action is given by
:<math>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)\right]</math>
where the last term is the [[Lagrange multiplier]] term enforcing the constraint.
 
Of course, as indicated, we could have just used different [[coordinates]] and written it as
<math>S=\int dt \left[\frac{mR^2}{2}(\dot{\theta}^2+\sin^2(\theta)\dot{\phi}^2)+mgR\cos(\theta)\right]</math>
instead, without extra constraints, but we look at the former coordinatization to illustrate constraints.
 
The [[conjugate momentum|conjugate momenta]] are given by
:<math>p_x=m\dot{x}</math>, <math>p_y=m\dot{y}</math>, <math>p_z=m\dot{z}</math>, <math>p_\lambda=0</math> .
Note that we can't determine <math>\dot{\lambda}</math> from the momenta.
 
The [[Hamiltonian mechanics|Hamiltonian]] is given by
:<math>H=\vec{p}\cdot\dot{\vec{r}}+p_\lambda \dot{\lambda}-L=\frac{p^2}{2m}+p_\lambda \dot{\lambda}+mgz-\frac{\lambda}{2}(r^2-R^2)</math>.
 
We cannot eliminate <math>\dot{\lambda}</math> at this stage yet. We are here treating <math>\dot{\lambda}</math> 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 <math>u_1=\dot{\lambda}</math> from now on. The above Hamiltonian with the {{math|''p''<sub>''λ''</sub>}} term is the "naive Hamiltonian". Note that since, on-shell, the constraint must be satisfied, one cannot distinguish, on-shell, between the naive Hamiltonian and the above Hamiltonian with the undetermined coefficient, <math>\dot{\lambda}=u_1</math>.
 
We have the [[primary constraint]]
:{{math|''p<sub>λ</sub>''{{=}}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 [[First_class_constraints#Constrained_Hamiltonian_dynamics_from_a_Lagrangian_gauge_theory|secondary constraint]]
 
:{{math|''r''<sup>2</sup>−''R''<sup>2</sup>{{=}}0}} .
 
By the same reasoning, this constraint should be added into the Hamiltonian with an undetermined (not necessarily constant) coefficient {{mvar|u}}<sub>2</sub>. At this point, the Hamiltonian is
:<math>
H = \frac{p^2}{2m} + mgz - \frac{\lambda}{2}(r^2-R^2) + u_1 p_\lambda + u_2 (r^2-R^2)
</math>
 
And from the secondary constraint, we get the tertiary constraint,
<math>\vec{p}\cdot\vec{r}=0</math>,
by demanding, for consistency, that <math>\{r^2-R^2,\, H\}_{PB} = 0</math> 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
:<math>
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}\cdot\vec{r},
</math>
where <math>u_1</math>, <math>u_2</math>, and <math>u_3</math> 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
:<math>
\{\vec{p}\cdot\vec{r},\, H\}_{PB} = \frac{p^2}{m} - mgz+ \lambda r^2 -2 u_2 r^2 = 0.
</math>
This is ''not'' a quaternary constraint, but a condition which fixes one of the undetermined coefficients. In particular, it fixes
:<math>
u_2 = \frac{\lambda}{2} + \frac{1}{r^2}\left(\frac{p^2}{2m}-\frac{1}{2}mgz \right).
</math>
 
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
:<math>
\frac{2}{m}\vec{r}\cdot\vec{p} + 2 u_3 r^2 = 0.
</math>
Again, this is ''not'' a new constraint; it only determines that
:<math>
u_3 = -\frac{\vec{r}\cdot\vec{p}}{m r^2}.
</math>
 
At this point there are ''no more constraints or consistency conditions'' to check.
 
Putting it all together,
:<math>H=\left(2-\frac{R^2}{r^2}\right)\frac{p^2}{2m} + \frac{1}{2}\left(1+\frac{R^2}{r^2}\right)mgz - \frac{(\vec{r}\cdot\vec{p})^2}{mr^2} + u_1 p_\lambda</math>.
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
:<math>
\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}.
</math>
 
Before analyzing the Hamiltonian, consider the three constraints:
:<math>
\phi_1 = p_\lambda, \quad \phi_2 = r^2-R^2, \quad \phi_3 = \vec{p}\cdot\vec{r}.
</math>
Notice the nontrivial [[Poisson bracket]] structure of the constraints. In particular,
:<math>
\{\phi_2, \phi_3\} = 2 r^2 \neq 0.
</math>
The above Poisson bracket does not just fail to vanish off-shell, which might be anticipated, but even on-shell it is nonzero. Therefore, <math>\phi_2</math> and <math>\phi_3</math> are '''second class constraints''' while <math>\phi_1</math> 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 [[Paul Dirac|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<ref>{{cite doi|10.1016/0370-2693(79)90465-9|noedit}}</ref> 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 <math>\lambda</math> dropped out of the extended Hamiltonian. Since <math>\phi_1</math> 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 <math>\lambda</math> which has ceased to have any effect on the particle's dynamics. Therefore, that <math>\lambda</math> dropped out of the Hamiltonian, that <math>u_1</math> is undetermined, and that <math>\phi_1 = p_\lambda</math> 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 <math>r^2-R^2</math> as a primary constraint and proceed through the formalism. The result would the elimination of the extraneous {{mvar|λ}} dynamical quantity. Perhaps, the example is more edifying in its current form.
 
===Example: Proca action===
Another example we will use is the [[Proca action]]. The fields are <math>A^\mu = (\vec{A},\phi)</math> and the action is
:<math>S = \int d^dx dt \left[ \frac{1}{2}E^2 - \frac{1}{4}B_{ij}B_{ij} - \frac{m^2}{2}A^2 + \frac{m^2}{2}\phi^2\right]</math>
where
:<math>\vec{E} \equiv -\nabla\phi - \dot{\vec{A}}</math>
and
:<math>B_{ij} \equiv \frac{\partial A_j}{\partial x_i} - \frac{\partial A_i}{\partial x_j}</math>.
<math>(\vec{A},-\vec{E})</math> and <math>(\phi,\pi)</math> are [[canonical variables]]. The second class constraints are
:<math>\pi \approx 0</math>
and
:<math>\nabla\cdot\vec{E} + m^2 \phi \approx 0</math>.
The Hamiltonian is given by
:<math>H = \int d^dx \left[ \frac{1}{2}E^2 + \frac{1}{4}B_{ij}B_{ij} - \pi\nabla\cdot\vec{A} + \vec{E}\cdot\nabla\phi + \frac{m^2}{2}A^2 - \frac{m^2}{2}\phi^2\right]</math>.
 
==See also==
 
*[[Dirac bracket]]
*[[Holonomic constraint]]
*[[Analysis of flows]]
 
==References==
{{reflist}}
Also see
* {{cite doi|10.1088/0143-0807/4/1/003|noedit}} 
* {{cite doi| 10.1103/PhysRevD.42.2049|noedit}}
{{DEFAULTSORT:First Class Constraint}}
[[Category:Classical mechanics]]
[[Category:Theoretical physics]]

Revision as of 02:07, 21 August 2013

Template:Distinguish Template:Multiple issues In a constrained Hamiltonian system, a dynamical quantity is called a first class constraint if its Poisson bracket with all the other constraints vanishes on the constraint surface (the surface implicitly defined by the simultaneous vanishing of all the constraints). A second class constraint is one that is not first class.

First and second class constraints were introduced by Template:Harvs as a way of quantizing mechanical systems such as gauge theories where the symplectic form is degenerate.[1] [2]

The terminology of first and second class constraints is confusingly similar to that of primary and secondary constraints. These divisions are independent: both first and second class constraints can be either primary or secondary, so this gives altogether four different classes of constraints.

Poisson brackets

In Hamiltonian mechanics, consider a symplectic manifold M with a smooth Hamiltonian over it (for field theories, M would be infinite-dimensional).

Suppose we have some constraints

fi(x)=0,

for n smooth functions

{fi}i=1n

These will only be defined chartwise in general. Suppose that everywhere on the constrained set, the n derivatives of the n functions are all linearly independent and also that the Poisson brackets

{fi,fj}

and

{fi,H}

all vanish on the constrained subspace. This means we can write

{fi,fj}=kcijkfk

for some smooth functions

cijk

(there is a theorem showing this) and

{fi,H}=jvijfj

for some smooth functions

vij.

This can be done globally, using a partition of unity. Then, we say we have an irreducible first-class constraint (irreducible here is in a different sense from that used in representation theory).

Geometric theory

For a more elegant way, suppose given a vector bundle over M, with n-dimensional fiber V. Equip this vector bundle with a connection. Suppose too we have a smooth section f of this bundle.

Then the covariant derivative of f with respect to the connection is a smooth linear map Δf from the tangent bundle TM to V, which preserves the base point. Assume this linear map is right invertible (i.e. there exists a linear map g such that (Δf)g is the identity map) for all the fibers at the zeros of f. Then, according to the implicit function theorem, the subspace of zeros of f is a submanifold.

The ordinary Poisson bracket is only defined over C(M), the space of smooth functions over M. However, using the connection, we can extend it to the space of smooth sections of f if we work with the algebra bundle with the graded algebra of V-tensors as fibers. Assume also that under this Poisson bracket,

{ f, f } = 0

(note that it's not true that

{ g, g } = 0

in general for this "extended Poisson bracket" anymore) and

{ f, H } = 0

on the submanifold of zeros of f (If these brackets also happen to be zero everywhere, then we say the constraints close off shell). It turns out the right invertibility condition and the commutativity of flows conditions are independent of the choice of connection. So, we can drop the connection provided we are working solely with the restricted subspace.

Intuitive meaning

What does it all mean intuitively? It means the Hamiltonian and constraint flows all commute with each other on the constrained subspace; or alternatively, that if we start on a point on the constrained subspace, then the Hamiltonian and constraint flows all bring the point to another point on the constrained subspace.

Since we wish to restrict ourselves to the constrained subspace only, this suggests that the Hamiltonian, or any other physical observable, should only be defined on that subspace. Equivalently, we can look at the equivalence class of smooth functions over the symplectic manifold, which agree on the constrained subspace (the quotient algebra by the ideal generated by the f's, in other words).

The catch is, the Hamiltonian flows on the constrained subspace depend on the gradient of the Hamiltonian there, not its value. But there's an easy way out of this.

Look at the orbits of the constrained subspace under the action of the symplectic flows generated by the f's. This gives a local foliation of the subspace because it satisfies integrability conditions (Frobenius theorem). It turns out if we start with two different points on a same orbit on the constrained subspace and evolve both of them under two different Hamiltonians, respectively, which agree on the constrained subspace, then the time evolution of both points under their respective Hamiltonian flows will always lie in the same orbit at equal times. It also turns out if we have two smooth functions A1 and B1, which are constant over orbits at least on the constrained subspace (i.e. physical observables) (i.e. {A1,f}={B1,f}=0 over the constrained subspace)and another two A2 and B2, which are also constant over orbits such that A1 and B1 agrees with A2 and B2 respectively over the restrained subspace, then their Poisson brackets {A1, B1} and {A2, B2} are also constant over orbits and agree over the constrained subspace.

In general, one cannot rule out "ergodic" flows (which basically means that an orbit is dense in some open set), or "subergodic" flows (which an orbit dense in some submanifold of dimension greater than the orbit's dimension). We can't have self-intersecting orbits.

For most "practical" applications of first-class constraints, we do not see such complications: the quotient space of the restricted subspace by the f-flows (in other words, the orbit space) is well behaved enough to act as a differentiable manifold, which can be turned into a symplectic manifold by projecting the symplectic form of M onto it (this can be shown to be well defined). In light of the observation about physical observables mentioned earlier, we can work with this more "physical" smaller symplectic manifold, but with 2n fewer dimensions.

In general, the quotient space is a bit "nasty" to work with when doing concrete calculations (not to mention nonlocal when working with diffeomorphism constraints), so what is usually done instead is something similar. Note that the restricted submanifold is a bundle (but not a fiber bundle in general) over the quotient manifold. So, instead of working with the quotient manifold, we can work with a section of the bundle instead. This is called gauge fixing.

The major problem is this bundle might not have a global section in general. This is where the "problem" of global anomalies comes in, for example. See Gribov ambiguity. This is a flaw in quantizing gauge theories many physicists overlooked.

What have been described are irreducible first-class constraints. Another complication is that Δf might not be right invertible on subspaces of the restricted submanifold of codimension 1 or greater (which violates the stronger assumption stated earlier in this article). This happens, for example in the cotetrad formulation of general relativity, at the subspace of configurations where the cotetrad field and the connection form happen to be zero over some open subset of space. Here, the constraints are the diffeomorphism constraints.

One way to get around this is this: For reducible constraints, we relax the condition on the right invertibility of Δf into this one: Any smooth function that vanishes at the zeros of f is the fiberwise contraction of f with (a non-unique) smooth section of a V¯-vector bundle where V¯ is the dual vector space to the constraint vector space V. This is called the regularity condition.

Constrained Hamiltonian dynamics from a Lagrangian gauge theory

First of all, we will assume the action is the integral of a local Lagrangian that only depends up to the first derivative of the fields. The analysis of more general cases, while possible is more complicated. When going over to the Hamiltonian formalism, we find there are constraints. Recall that in the action formalism, there are on shell and off shell configurations. The constraints that hold off shell are called primary constraints while those that only hold on shell are called secondary constraints.

Examples

Look at the dynamics of a single point particle of mass m with no internal degrees of freedom moving in a pseudo-Riemannian spacetime manifold S with metric g. Assume also that the parameter τ describing the trajectory of the particle is arbitrary (i.e. we insist upon reparametrization invariance). Then, its symplectic space is the cotangent bundle T*S with the canonical symplectic form ω. If we coordinatize T * S by its position x in the base manifold S and its position within the cotangent space p, then we have a constraint

f = m2g(x)−1(p,p) = 0.

The Hamiltonian H is, surprisingly enough, H = 0. In light of the observation that the Hamiltonian is only defined up to the equivalence class of smooth functions agreeing on the constrained subspace, we can use a new Hamiltonian H'=f instead. Then, we have the interesting case where the Hamiltonian is the same as a constraint! See Hamiltonian constraint for more details.

Consider now the case of a Yang-Mills theory for a real simple Lie algebra L (with a negative definite Killing form η) minimally coupled to a real scalar field σ, which transforms as an orthogonal representation ρ with the underlying vector space V under L in (d − 1) + 1 Minkowski spacetime. For l in L, we write

ρ(l)[σ]

as

l[σ]

for simplicity. Let A be the L-valued connection form of the theory. Note that the A here differs from the A used by physicists by a factor of i and "g". This agrees with the mathematician's convention. The action S is given by

S[A,σ]=ddx14g2η((g1g1)(F,F))+12α(g1(Dσ,Dσ))

where g is the Minkowski metric, F is the curvature form

dA+AA

(no is or gs!) where the second term is a formal shorthand for pretending the Lie bracket is a commutator, D is the covariant derivative

Dσ = dσ − A[σ]

and α is the orthogonal form for ρ.

I hope I have all the signs and factors right. I can't guarantee it.

What is the Hamiltonian version of this model? Well, first, we have to split A noncovariantly into a time component φ and a spatial part A. Then, the resulting symplectic space has the conjugate variables σ, πσ (taking values in the underlying vector space of ρ¯, the dual rep of ρ), A, πA, φ and πφ. for each spatial point, we have the constraints, πφ=0 and the Gaussian constraint

DπAρ(πσ,σ)=0

where since ρ is an intertwiner

ρ:LVV,

ρ' is the dualized intertwiner

ρ:V¯VL

(L is self-dual via η). The Hamiltonian,

Hf=dd1x12α1(πσ,πσ)+12α(DσDσ)g22η(πA,πA)12g2η(BB)η(πϕ,f)<πσ,ϕ[σ]>η(ϕ,DπA).

The last two terms are a linear combination of the Gaussian constraints and we have a whole family of (gauge equivalent)Hamiltonians parametrized by f. In fact, since the last three terms vanish for the constrained states, we can drop them.

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, consider a specific example step by step to motivate the general analysis.

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 while retaining the redundant coordinates so constrained.

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 (automatically eliminate) the constraint in that way (the first choice). For pedagogical reasons, instead, consider the problem in Cartesian coordinates, with a Lagrange multiplier term enforcing the constraint.

The action is given by

S=dtL=dt[m2(x˙2+y˙2+z˙2)mgz+λ2(x2+y2+z2R2)]

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

Of course, as indicated, we could have just used different coordinates and written it as S=dt[mR22(θ˙2+sin2(θ)ϕ˙2)+mgRcos(θ)] instead, without extra constraints, but we look at the former coordinatization to illustrate constraints.

The conjugate momenta are given by

px=mx˙, py=my˙, pz=mz˙, pλ=0 .

Note that we can't determine λ˙ from the momenta.

The Hamiltonian is given by

H=pr˙+pλλ˙L=p22m+pλλ˙+mgzλ2(r2R2).

We cannot eliminate λ˙ at this stage yet. We are here treating λ˙ 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 u1=λ˙ from now on. The above Hamiltonian with the Buying, selling and renting HDB and personal residential properties in Singapore are simple and transparent transactions. Although you are not required to engage a real property salesperson (generally often known as a "public listed property developers In singapore agent") to complete these property transactions, chances are you'll think about partaking one if you are not accustomed to the processes concerned.

Professional agents are readily available once you need to discover an condominium for hire in singapore In some cases, landlords will take into account you more favourably in case your agent comes to them than for those who tried to method them by yourself. You need to be careful, nevertheless, as you resolve in your agent. Ensure that the agent you are contemplating working with is registered with the IEA – Institute of Estate Brokers. Whereas it might sound a hassle to you, will probably be worth it in the end. The IEA works by an ordinary algorithm and regulations, so you'll protect yourself in opposition to probably going with a rogue agent who prices you more than they should for his or her service in finding you an residence for lease in singapore.

There isn't any deal too small. Property agents who are keen to find time for any deal even if the commission is small are the ones you want on your aspect. Additionally they present humbleness and might relate with the typical Singaporean higher. Relentlessly pursuing any deal, calling prospects even without being prompted. Even if they get rejected a hundred times, they still come again for more. These are the property brokers who will find consumers what they need eventually, and who would be the most successful in what they do. 4. Honesty and Integrity

This feature is suitable for you who need to get the tax deductions out of your PIC scheme to your property agency firm. It's endorsed that you visit the correct site for filling this tax return software. This utility must be submitted at the very least yearly to report your whole tax and tax return that you're going to receive in the current accounting 12 months. There may be an official website for this tax filling procedure. Filling this tax return software shouldn't be a tough thing to do for all business homeowners in Singapore.

A wholly owned subsidiary of SLP Worldwide, SLP Realty houses 900 associates to service SLP's fast rising portfolio of residential tasks. Real estate is a human-centric trade. Apart from offering comprehensive coaching applications for our associates, SLP Realty puts equal emphasis on creating human capabilities and creating sturdy teamwork throughout all ranges of our organisational hierarchy. Worldwide Presence At SLP International, our staff of execs is pushed to make sure our shoppers meet their enterprise and investment targets. Under is an inventory of some notable shoppers from completely different industries and markets, who've entrusted their real estate must the expertise of SLP Worldwide.

If you're looking for a real estate or Singapore property agent online, you merely need to belief your instinct. It is because you don't know which agent is sweet and which agent will not be. Carry out research on a number of brokers by looking out the internet. As soon as if you find yourself certain that a selected agent is dependable and trustworthy, you'll be able to choose to utilize his partnerise find you a house in Singapore. More often than not, a property agent is considered to be good if she or he places the contact data on his web site. This is able to imply that the agent does not thoughts you calling them and asking them any questions regarding properties in Singapore. After chatting with them you too can see them of their office after taking an appointment.

Another method by way of which you could find out whether the agent is sweet is by checking the feedback, of the shoppers, on the website. There are various individuals would publish their comments on the web site of the Singapore property agent. You can take a look at these feedback and the see whether it will be clever to hire that specific Singapore property agent. You may even get in contact with the developer immediately. Many Singapore property brokers know the developers and you may confirm the goodwill of the agent by asking the developer. term is the "naive Hamiltonian". Note that since, on-shell, the constraint must be satisfied, one cannot distinguish, on-shell, between the naive Hamiltonian and the above Hamiltonian with the undetermined coefficient, λ˙=u1.

We have the primary constraint

Buying, selling and renting HDB and personal residential properties in Singapore are simple and transparent transactions. Although you are not required to engage a real property salesperson (generally often known as a "public listed property developers In singapore agent") to complete these property transactions, chances are you'll think about partaking one if you are not accustomed to the processes concerned.

Professional agents are readily available once you need to discover an condominium for hire in singapore In some cases, landlords will take into account you more favourably in case your agent comes to them than for those who tried to method them by yourself. You need to be careful, nevertheless, as you resolve in your agent. Ensure that the agent you are contemplating working with is registered with the IEA – Institute of Estate Brokers. Whereas it might sound a hassle to you, will probably be worth it in the end. The IEA works by an ordinary algorithm and regulations, so you'll protect yourself in opposition to probably going with a rogue agent who prices you more than they should for his or her service in finding you an residence for lease in singapore.

There isn't any deal too small. Property agents who are keen to find time for any deal even if the commission is small are the ones you want on your aspect. Additionally they present humbleness and might relate with the typical Singaporean higher. Relentlessly pursuing any deal, calling prospects even without being prompted. Even if they get rejected a hundred times, they still come again for more. These are the property brokers who will find consumers what they need eventually, and who would be the most successful in what they do. 4. Honesty and Integrity

This feature is suitable for you who need to get the tax deductions out of your PIC scheme to your property agency firm. It's endorsed that you visit the correct site for filling this tax return software. This utility must be submitted at the very least yearly to report your whole tax and tax return that you're going to receive in the current accounting 12 months. There may be an official website for this tax filling procedure. Filling this tax return software shouldn't be a tough thing to do for all business homeowners in Singapore.

A wholly owned subsidiary of SLP Worldwide, SLP Realty houses 900 associates to service SLP's fast rising portfolio of residential tasks. Real estate is a human-centric trade. Apart from offering comprehensive coaching applications for our associates, SLP Realty puts equal emphasis on creating human capabilities and creating sturdy teamwork throughout all ranges of our organisational hierarchy. Worldwide Presence At SLP International, our staff of execs is pushed to make sure our shoppers meet their enterprise and investment targets. Under is an inventory of some notable shoppers from completely different industries and markets, who've entrusted their real estate must the expertise of SLP Worldwide.

If you're looking for a real estate or Singapore property agent online, you merely need to belief your instinct. It is because you don't know which agent is sweet and which agent will not be. Carry out research on a number of brokers by looking out the internet. As soon as if you find yourself certain that a selected agent is dependable and trustworthy, you'll be able to choose to utilize his partnerise find you a house in Singapore. More often than not, a property agent is considered to be good if she or he places the contact data on his web site. This is able to imply that the agent does not thoughts you calling them and asking them any questions regarding properties in Singapore. After chatting with them you too can see them of their office after taking an appointment.

Another method by way of which you could find out whether the agent is sweet is by checking the feedback, of the shoppers, on the website. There are various individuals would publish their comments on the web site of the Singapore property agent. You can take a look at these feedback and the see whether it will be clever to hire that specific Singapore property agent. You may even get in contact with the developer immediately. Many Singapore property brokers know the developers and you may confirm the goodwill of the agent by asking the developer..

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

Buying, selling and renting HDB and personal residential properties in Singapore are simple and transparent transactions. Although you are not required to engage a real property salesperson (generally often known as a "public listed property developers In singapore agent") to complete these property transactions, chances are you'll think about partaking one if you are not accustomed to the processes concerned.

Professional agents are readily available once you need to discover an condominium for hire in singapore In some cases, landlords will take into account you more favourably in case your agent comes to them than for those who tried to method them by yourself. You need to be careful, nevertheless, as you resolve in your agent. Ensure that the agent you are contemplating working with is registered with the IEA – Institute of Estate Brokers. Whereas it might sound a hassle to you, will probably be worth it in the end. The IEA works by an ordinary algorithm and regulations, so you'll protect yourself in opposition to probably going with a rogue agent who prices you more than they should for his or her service in finding you an residence for lease in singapore.

There isn't any deal too small. Property agents who are keen to find time for any deal even if the commission is small are the ones you want on your aspect. Additionally they present humbleness and might relate with the typical Singaporean higher. Relentlessly pursuing any deal, calling prospects even without being prompted. Even if they get rejected a hundred times, they still come again for more. These are the property brokers who will find consumers what they need eventually, and who would be the most successful in what they do. 4. Honesty and Integrity

This feature is suitable for you who need to get the tax deductions out of your PIC scheme to your property agency firm. It's endorsed that you visit the correct site for filling this tax return software. This utility must be submitted at the very least yearly to report your whole tax and tax return that you're going to receive in the current accounting 12 months. There may be an official website for this tax filling procedure. Filling this tax return software shouldn't be a tough thing to do for all business homeowners in Singapore.

A wholly owned subsidiary of SLP Worldwide, SLP Realty houses 900 associates to service SLP's fast rising portfolio of residential tasks. Real estate is a human-centric trade. Apart from offering comprehensive coaching applications for our associates, SLP Realty puts equal emphasis on creating human capabilities and creating sturdy teamwork throughout all ranges of our organisational hierarchy. Worldwide Presence At SLP International, our staff of execs is pushed to make sure our shoppers meet their enterprise and investment targets. Under is an inventory of some notable shoppers from completely different industries and markets, who've entrusted their real estate must the expertise of SLP Worldwide.

If you're looking for a real estate or Singapore property agent online, you merely need to belief your instinct. It is because you don't know which agent is sweet and which agent will not be. Carry out research on a number of brokers by looking out the internet. As soon as if you find yourself certain that a selected agent is dependable and trustworthy, you'll be able to choose to utilize his partnerise find you a house in Singapore. More often than not, a property agent is considered to be good if she or he places the contact data on his web site. This is able to imply that the agent does not thoughts you calling them and asking them any questions regarding properties in Singapore. After chatting with them you too can see them of their office after taking an appointment.

Another method by way of which you could find out whether the agent is sweet is by checking the feedback, of the shoppers, on the website. There are various individuals would publish their comments on the web site of the Singapore property agent. You can take a look at these feedback and the see whether it will be clever to hire that specific Singapore property agent. You may even get in contact with the developer immediately. Many Singapore property brokers know the developers and you may confirm the goodwill of the agent by asking the developer. .

By the same reasoning, this constraint should be added into the Hamiltonian with an undetermined (not necessarily constant) coefficient Template:Mvar2. At this point, the Hamiltonian is

H=p22m+mgzλ2(r2R2)+u1pλ+u2(r2R2)

And from the secondary constraint, we get the tertiary constraint, pr=0, by demanding, for consistency, that {r2R2,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=p22m+mgzλ2(r2R2)+u1pλ+u2(r2R2)+u3pr,

where u1, u2, and u3 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

{pr,H}PB=p2mmgz+λr22u2r2=0.

This is not a quaternary constraint, but a condition which fixes one of the undetermined coefficients. In particular, it fixes

u2=λ2+1r2(p22m12mgz).

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

2mrp+2u3r2=0.

Again, this is not a new constraint; it only determines that

u3=rpmr2.

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

Putting it all together,

H=(2R2r2)p22m+12(1+R2r2)mgz(rp)2mr2+u1pλ.

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

r˙={r,H}PB,p˙={p,H}PB,λ˙={λ,H}PB,p˙λ={pλ,H}PB.

Before analyzing the Hamiltonian, consider the three constraints:

ϕ1=pλ,ϕ2=r2R2,ϕ3=pr.

Notice the nontrivial Poisson bracket structure of the constraints. In particular,

{ϕ2,ϕ3}=2r20.

The above Poisson bracket does not just fail to vanish off-shell, which might be anticipated, but even on-shell it is nonzero. Therefore, ϕ2 and ϕ3 are second class constraints while ϕ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[3] 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 λ dropped out of the extended Hamiltonian. Since ϕ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 λ which has ceased to have any effect on the particle's dynamics. Therefore, that λ dropped out of the Hamiltonian, that u1 is undetermined, and that ϕ1=pλ 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 r2R2 as a primary constraint and proceed through the formalism. The result would the elimination of the extraneous Template:Mvar dynamical quantity. Perhaps, the example is more edifying in its current form.

Example: Proca action

Another example we will use is the Proca action. The fields are Aμ=(A,ϕ) and the action is

S=ddxdt[12E214BijBijm22A2+m22ϕ2]

where

EϕA˙

and

BijAjxiAixj.

(A,E) and (ϕ,π) are canonical variables. The second class constraints are

π0

and

E+m2ϕ0.

The Hamiltonian is given by

H=ddx[12E2+14BijBijπA+Eϕ+m22A2m22ϕ2].

See also

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro. Also see

  1. Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  2. Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  3. Template:Cite doi