Canonically conjugate operators

[ShayanJ]

I've searched for this but found nothing,so I ask it here.

What are canonically conjugate operators?
Is [A,B]=cI a definition for A and B being canonically conjugate?

Thanks

 

[tom.stoer]

Is [A,B]=cI a definition for A and B being canonically conjugate?

Yes

Canonically conjugate operators A, B follow from canonically conjugate variables A, B in classical mechanics; their Poisson bracket is {A,B} = 1; they span the phase space of the system, can be used to formulate the Hamilton function H(A,B) and therefore their Hamilton e.o.m. fully define the dynamics of the theory.

In QM (canonical quantization) the variables on phase space are replaced by operators acting on Hilbert space; the commutators are defined as

\{A,B\}_\text{Poisson} = c \;\to\; [\hat{A},\hat{B}] = ic;\;c = \text{const.}

 

[ShayanJ]

http://en.wikipedia.org/wiki/Canonical_commutation_relation

In quantum mechanics (physics), the canonical commutation relation is the relation between canonical conjugate quantities (quantities which are related by definition such that one is the Fourier transform of another), for example:

<br /> [x,p_x] = i\hbar<br />

You see,looks like its related to the Fourier transform too.
In the things I've read,such relationship exists in classical mechanics too.
Just extending it to QM is a little hard for me.

Thanks tom

 

[tom.stoer]

I would not start with the Fourier transform.

It's correct, that iff one uses a representation like a wave function in x, then p acts as a derivative and this is related to the Fourier transform; and it's correct that the relation between x- and p-space wave functions is just the Fourier transform. But the defining operator equation [x,p] = i is more general than a specific representation and therefore does not require a Fourier transform in its definition.

 

[geoduck]

Yes

Canonically conjugate operators A, B follow from canonically conjugate variables A, B in classical mechanics; their Poisson bracket is {A,B} = 1; they span the phase space of the system, can be used to formulate the Hamilton function H(A,B) and therefore their Hamilton e.o.m. fully define the dynamics of the theory.

In QM (canonical quantization) the variables on phase space are replaced by operators acting on Hilbert space; the commutators are defined as

\{A,B\}_\text{Poisson} = c \;\to\; [\hat{A},\hat{B}] = ic;\;c = \text{const.}

Does the prescription of turning canonically conjugate variables into operators whose commutator is "i" hold for any pair of classically conjugate variables? I vaguely recall that this is not true for all pairs of classically conjugate variables (it's certainly true for Cartesian variables), but I don't remember exactly what the issue was.

 

[tom.stoer]

Does the prescription of turning canonically conjugate variables into operators whose commutator is "i" hold for any pair of classically conjugate variables? I vaguely recall that this is not true for all pairs of classically conjugate variables (it's certainly true for Cartesian variables), but I don't remember exactly what the issue was.

That is the definition of canonical quantization. The problem with non-cartesian coordinates (like polar coordinates) is that already classically their Poisson bracket is not = 1, so it's the wrong starting point. But yes, you are right, it is not allowed to replace classical Poisson bracket by the commutator in general; it works for "elementary" canonical pairs like x and p but fails for general functions f(x) and g(p). The reason is that first calculating the Poisson bracket {f,g} and then replacing this with the commutator is not the same as replacing {x,p} with the commuattor and then calculating [f,g].

Not knowing (globally) cartesian coordinates is a difficult starting point. On a manifold (with non-trivial metric) one may define "covariant derivatives" instead of standard ones; usually this results in a reasonable quantum theory. If you start with polar coordinates on the sphere using ∂_Ω does not makes sense, but when using covariant derivatives one e.g. arives at the generalized Laplace-Beltrami operator Δ_g (g is the metric on the manifold) which is equivalent to the standard 3-dim. Laplacian expressed in polar coordinates plus ∂_r set to zero (fixed radius).

Have a look at http://en.wikipedia.org/wiki/Canonical_quantization as a starting point