Commutator of $L^2$ and $X^2$, $P^2$ In our quantum mechanics script, it states that $[L^2, X^2] = 0$ and $[L^2, P^2] = 0$, therefore for the following Hamiltonan
$$H = \frac{P^2}{2m} + V(X^2)$$
it is that $[H, L^2] = 0$ therefore $H$ and $L^2$ have the same eigenvectors, and then it continues to calculate orbitals of the hydrogen atom.
My question is: Is there a nice and simple proof of $[L^2, X^2] = 0$ and $[L^2, P^2] = 0$?
 A: Yes there is.
I use the summation convention throughout; repeated indices are summed over 1,2,3.


*

*Begin with the canonical commutation relations (CCRs)
\begin{align}
  [X_i, P_j] = i\hbar\delta_{ij} I, \qquad [X_i, X_j] = 0, \qquad [P_i, P_j] = 0.
\end{align}

*Define the components of orbital angular momentum as follows:
\begin{align}
  L_i = \epsilon_{ijk}X_jP_k
\end{align}

*Prove your desired identities by applying the definition of the angular momentum components and by repeatedly using the CCRs.  I'll leave the details to you; it's a good exercise to get comfortable with using the CCRs to prove stuff.


It actually turns out to prove useful to first prove the following identities which encode the fact that the $X_i$ are components of a "vector operator" and so are the $P_i$.
\begin{align}
  [X_i, L_j] =i\hbar\epsilon_{ijk}X_k 
\end{align}
A: Another possibility. I directly deal with $X^2$, but the same reasoning can obviously be used for $P^2$, $V(X^2)$ and $H$ (that is a linear combination of scalars) in place of $X^2$ below.
Consider a unitary representation of a rotation $U_\theta = e^{-i\theta L_k}$ along the ${\bf e}_k$ axis. As $X^2$ is a scalar under rotations:
$$U_\theta X^2 U_\theta^\dagger =X^2$$
Therefore, taking the derivative at $\theta=0$:
$$[L_i,X^2]=0\:,\quad i=1,2,3$$
and so:
$$[L^2, X^2]=\sum_{i=1}^3[L^2_i, X^2]=\sum_{i=1}^3 L_i[L_i, X^2] +\sum_{i=1}^3[L_i, X^2]L_i =0$$
