I am studying a classical dynamical system defined on CP2: the phase space is parametrized in terms of three complex coordinates ψi (i=1,2,3) and Hamilton's equations of motion take the form,
ıdψidt=∂H∂ψ∗i,ıdψ∗idt=−∂H∂ψi.
I would like to make an amplitude-phase decomposition, replacing the three complex coordinates and their conjugates, {ψi,ψ∗i}, with six real ones {ni,ϕi}, with
ψi=√niexp(ıϕi)
But this transformation appears not to be canonical: instead of the usual,
∇ξΘ⋅Ω⋅∇ξΘ=Ω,
where ∇ξΘ is the Jacobian of the transformation and Ω is the symplectic block matrix, I get,
∇ξΘ⋅Ω⋅∇ξΘ=1ıΩ.
Is the amplitude-phase decomposition not a canonical transformation? Or did I make a mistake?
I'm sure this is a standard problem, but I am very new to the idea of classical dynamics on complex manifolds and haven't gotten my bearings yet. Any reference suggestions would be welcome!
Answer
For simplicity consider the 1-d case, with ψ=√ne2iϕ, then
iψt=i2˙n√ne2iϕ−√ne2iϕ2˙ϕ.
Similarly
∂H∂ψ∗=∂H∂n∂n∂ψ∗+∂H∂ϕ∂ϕ∂ψ∗=2√ne2iϕ∂H∂n+i2√ne2iϕ∂H∂ϕ.
Equating the real and imaginary parts (with H real), we have
dndt=∂H∂ϕ;dϕdt=−∂H∂n.
The other governing equation for dψ∗/dt gives the same information. Hence, (n,ϕ) are canonical variables.
EDIT: As Ted Pudlik correctly pointed out, the above reasoning is incorrect. Why? Well, it's because I was being sloppy and got bit. Let's try this again.
As usual, we need to work at the order of the action in order to get coherent results.
Consider S=∫i˙ψψ−Hdt.
Hamilton's principle states the dynamics of the system are given when S is stationary, and indeed this yields the set of Hamilton's equations you originally stated.
Next, we consider a different action, S′ defined as
S′=∫−2n˙ϕ−2H′dt
for some undetermined H′. Hamilton's principle yields (1) with H→H′.
For S and S′ to give the same dynamics, they must differ by a constant, ie
S−S′=∫dfdt dt
for some function f. Now, when we substitute in our two actions, we find
∫−2n˙ϕ+˙n−H+2n˙ϕ+2H′ dt
The perfect derivative integrates to 0 (we assume the wave is compact in time) and we are left with the requirement that for the transformation to be canonical, 2H′≡H, as you pointed out in your comment.
No comments:
Post a Comment