- #1
GreyZephyr
- 6
- 0
I am working my way through Ballentine's Quantum Mechanics and I am stuck on the following problem.
Problem 3.1 from Ballentine: Quantum Mechanics
Space is invariant under the scale transformation [tex]x\to x'=e^cx[/tex]
where [tex]c[/tex] is a parameter. The corresponding unitary operator may be written as [tex]e^{-icD}[/tex] where [tex]D[/tex] is the dilation generator. Determine the commutator [tex]\left[D,\mathbf{P}\right][/tex] between the generators of dilation and space displacements.
By looking at [tex]e^{i\epsilon D}e^{-i\epsilon P}e^{-i\epsilon D}e^{i\epsilon P}=I+\epsilon^2[P,D][/tex] and comparing this with the transformations the LHS represents, i.e
[tex]
\begin{align*}
(x_1,x_2,x_3,t)&\to(x_1+\epsilon,x_2,x_3,t)\\
&\to(e^{-\epsilon}(x_1+\epsilon),e^{-\epsilon}x_2,e^{-\epsilon}x_3,t)\\
&\dots\\
&\to(x_1+\epsilon-\epsilon e^{-\epsilon},x_2,x_3,t)\\
&\to(x_1+\epsilon^2,x_2,x_3,t)
\end{align*}
[/tex]
I get [tex][D,P_\alpha]=iP_\alpha +?I[/tex] and I can then do the same thing with the angular momentum and use Jacobi identity to determine that the scale factor in front of [tex]I[/tex] is 0. However this seems very clumsy. To me it looks like the problem is just asking about the generators of the lie group. However I get confused as to what the group should be. Is it is still just the Galilei group? If this is the case, is there not some way to immediately get the answer from the commutation relations of the generators of the Galilei group without resorting to infinitesimal generators?
Given my confusion, I was wondering if anyone could explain, or recommend a book, that details how to find the generators in a more rigours fashion than Ballentine, that is, explains the relationship between the group structure and the physics. I like the clarity of the ideas, in his book, but am finding myself confused over some of the details of implementing them.
Homework Statement
Problem 3.1 from Ballentine: Quantum Mechanics
Space is invariant under the scale transformation [tex]x\to x'=e^cx[/tex]
where [tex]c[/tex] is a parameter. The corresponding unitary operator may be written as [tex]e^{-icD}[/tex] where [tex]D[/tex] is the dilation generator. Determine the commutator [tex]\left[D,\mathbf{P}\right][/tex] between the generators of dilation and space displacements.
The Attempt at a Solution
By looking at [tex]e^{i\epsilon D}e^{-i\epsilon P}e^{-i\epsilon D}e^{i\epsilon P}=I+\epsilon^2[P,D][/tex] and comparing this with the transformations the LHS represents, i.e
[tex]
\begin{align*}
(x_1,x_2,x_3,t)&\to(x_1+\epsilon,x_2,x_3,t)\\
&\to(e^{-\epsilon}(x_1+\epsilon),e^{-\epsilon}x_2,e^{-\epsilon}x_3,t)\\
&\dots\\
&\to(x_1+\epsilon-\epsilon e^{-\epsilon},x_2,x_3,t)\\
&\to(x_1+\epsilon^2,x_2,x_3,t)
\end{align*}
[/tex]
I get [tex][D,P_\alpha]=iP_\alpha +?I[/tex] and I can then do the same thing with the angular momentum and use Jacobi identity to determine that the scale factor in front of [tex]I[/tex] is 0. However this seems very clumsy. To me it looks like the problem is just asking about the generators of the lie group. However I get confused as to what the group should be. Is it is still just the Galilei group? If this is the case, is there not some way to immediately get the answer from the commutation relations of the generators of the Galilei group without resorting to infinitesimal generators?
Given my confusion, I was wondering if anyone could explain, or recommend a book, that details how to find the generators in a more rigours fashion than Ballentine, that is, explains the relationship between the group structure and the physics. I like the clarity of the ideas, in his book, but am finding myself confused over some of the details of implementing them.