2
$\begingroup$

I'm looking at a solution in my book that says $[xp_{y},x]$ commutes.
Does bracket notation imply:

$[A,B]=AB-BA$

so that

$[xp_{y},x]=xp_{y}x-xxp_{y}$


Taking the comment from Max Graves and solving a slightly different commutation relation:

\begin{align} -[yp_{x},x]f &= yi\hbar\frac{\partial}{\partial x}(xf)-xyi\hbar \\ &=i\hbar y \bigg( (x\frac{\partial f}{\partial x} -\frac{\partial x}{\partial x}f)-x\frac{\partial f}{\partial x} \bigg) \notag\\ &=yi\hbar \bigg( x\frac{\partial f}{\partial x}+ f-x\frac{\partial f}{\partial x} \bigg) \notag\\ &=yi\hbar f\ \Rightarrow -[yp_{x},x] = yi\hbar \end{align} Does this look correct? Do the first and last terms cancel even though the order is not exactly the same?

$\endgroup$
  • 1
    $\begingroup$ you often need to use a test function to check these commutation relations. $\endgroup$ – codeAndStuff Nov 7 '13 at 19:00
  • 1
    $\begingroup$ Yeah, that looks ok. See my edit, I cleaned it up a bit. But yeah once you end up deriving a bunch of these relationships it becomes easier to just not use a test function, but the easiest way to not make a mistake is to insert a simple test function. $\endgroup$ – codeAndStuff Nov 7 '13 at 20:14
6
$\begingroup$

You may just not bother to use a test function, here. This problem is so easy you can work it all just using the properties of the commutator.

$$[xp_y,x]=x[p_y,x]+[x,x]p_y$$

Now $[p_y,x]$ vanishes because of the fundamental commutation relation between $p_i$ and $x_i$ which is $$[p_i, x_j]= -i\hbar \delta_{ij}$$

On the other hand $[x,x]=0$ because anything commmutes with itself.

$\endgroup$
  • $\begingroup$ Thanks Frederico! So $[p_{y},x]$ vanishes because $i=y$ and $j=x$ and the Kronecker delta is $0$ when $i\neq j$? $\endgroup$ – curiousGeorge119 Nov 7 '13 at 19:48
  • $\begingroup$ Exactly. In this conventions $i,j=1,2,3$ and $p_1=p_x$, $p_y=p_y$, etc. $\endgroup$ – Federico Carta Nov 7 '13 at 19:50
  • $\begingroup$ @curiousGeorge119 For interest's sake, the property that Frederico uses is that the Lie bracket is a derivation (something that fulfils Liebnitz's rule). Derivations always form a Lie algebra, and in the finite dimensional case the Lie algebra of derivations $Der(\mathfrak{g})\subset \mathfrak{g}$ of the Lie algebra $\mathfrak{g} = {\rm Lie}(\mathfrak{G})$ of a Lie group $\mathfrak{G}$ is the Lie subgroup of automorphisms ${\rm Aut}(\mathfrak{G})\subset\mathfrak{G}$, i.e. ${\rm Der}(\mathfrak{g}) = {\rm Lie}({\rm Aut}(\mathfrak{G})$; somewhat more obtusely: ... $\endgroup$ – WetSavannaAnimal Nov 8 '13 at 6:23
  • $\begingroup$ @curiousGeorge119 ... ${\rm Der}({\rm Lie}(\mathfrak{G})) = {\rm Lie}({\rm Aut}(\mathfrak{G}))$, since I know you are interested in this stuff. See en.wikipedia.org/wiki/Derivation_(abstract_algebra) $\endgroup$ – WetSavannaAnimal Nov 8 '13 at 6:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.