Uniqueness of canonical transformations

AI Thread Summary
Canonical transformations in mechanics are not unique, as the transformation from \( q \) to \( Q \) allows for an arbitrary function \( \tilde{P}(q) \) in the mapping of \( p \) to \( P \). Specifically, if \( Q = Q(q) \), the relationship \( P(q,p) = \frac{p}{Q'(q)} + \tilde{P}(q) \) shows that \( P \) is determined up to this arbitrary function. The transformation must satisfy the canonical Poisson-bracket relations to be considered a symplectomorphism on phase space. This highlights that while canonical transformations encompass a broader range than symmetry transformations, they still retain a structure defined by specific constraints. Understanding these properties is crucial for applying Hamiltonian mechanics effectively.
neelakash
Messages
491
Reaction score
1
The following question seems to be simple enough...Anyway, I hope if someone could confirm what I am thinking.

Is canonical transformation in mechanics unique? We know that given \ (q, p)\rightarrow\ (Q, P), \ [q,p] = [Q,P] = constant and Hamilton's equations of motion stay the same in the new co-ordinates.

My question is: given \ q\rightarrow Q in a canonical transoformation, is the map \ p\rightarrow P uniquely determined? Seems yes to me, but I do not find an off-hand argument in favour.

Can anyone tell how to derive this map?

-Regards,
Neel
 
Physics news on Phys.org
This is a simplified special case, i.e.,
Q=Q(q).
Now we have
\{Q,P \}=Q'(q) \frac{\partial P}{\partial p} \stackrel{!}{=} 1.
This means that
\frac{\partial P}{\partial p}=-\frac{1}{Q'(q)}.
This means that
P(q,p)=-\frac{p}{Q'(q)}+\tilde{P}(q).
with an arbitrary function \tilde{P}(q) alone. Thus, the canonical transformation is determined up to this arbitrary function only.
 
Thanks for the reply...I think I see your point; in such a case, apparently p\rightarrow P is a linear map...By the way, if it was intended, I could not understand the appearance of '!' and '-' sign.
 
Argh! The minus sign is simply wrong.

The exclamation mark over the equality sign indicates that this is a constraint to make the transformation a canonical one (i.e., a symplectomorphism on phase space). One can show that a transformation is canonical if and only if the canonical Poisson-bracket relations hold for the new variables. So the correct answer to your question is

Q=Q(q), \quad P(q,p)=+\frac{p}{Q'(q)}+\tilde{P}(q).

By the way, this is the special case of a "point transformation", which is the same as changing from a generalized coordinate q to an arbitrary new one, Q within the Lagrangian formulation of analytical mechanics.

The important point to realize is that the Hamilton formulation admits a larger group of transformations, namely the canonical transformations!
 
I agree fully...The scope of canonical transformations is a larger than the so-called symmetry transformations...Thank you very much for the explanations...
 
Thread 'Gauss' law seems to imply instantaneous electric field propagation'
Imagine a charged sphere at the origin connected through an open switch to a vertical grounded wire. We wish to find an expression for the horizontal component of the electric field at a distance ##\mathbf{r}## from the sphere as it discharges. By using the Lorenz gauge condition: $$\nabla \cdot \mathbf{A} + \frac{1}{c^2}\frac{\partial \phi}{\partial t}=0\tag{1}$$ we find the following retarded solutions to the Maxwell equations If we assume that...
Maxwell’s equations imply the following wave equation for the electric field $$\nabla^2\mathbf{E}-\frac{1}{c^2}\frac{\partial^2\mathbf{E}}{\partial t^2} = \frac{1}{\varepsilon_0}\nabla\rho+\mu_0\frac{\partial\mathbf J}{\partial t}.\tag{1}$$ I wonder if eqn.##(1)## can be split into the following transverse part $$\nabla^2\mathbf{E}_T-\frac{1}{c^2}\frac{\partial^2\mathbf{E}_T}{\partial t^2} = \mu_0\frac{\partial\mathbf{J}_T}{\partial t}\tag{2}$$ and longitudinal part...
Thread 'Recovering Hamilton's Equations from Poisson brackets'
The issue : Let me start by copying and pasting the relevant passage from the text, thanks to modern day methods of computing. The trouble is, in equation (4.79), it completely ignores the partial derivative of ##q_i## with respect to time, i.e. it puts ##\partial q_i/\partial t=0##. But ##q_i## is a dynamical variable of ##t##, or ##q_i(t)##. In the derivation of Hamilton's equations from the Hamiltonian, viz. ##H = p_i \dot q_i-L##, nowhere did we assume that ##\partial q_i/\partial...
Back
Top