# Quantum mechanics theory of simultaneous eigenfunctions

In this pdf

https://ocw.mit.edu/courses/chemistry/5-73-introductory-quantum-mechanics-i-fall-2005/lecture-notes/sec7.pdf

talking about the particle in a central field problem, on page 3, the following sentence is written:

$$H=\frac{-1}{r^2}\frac{\partial }{\partial r}r^2\frac{\partial }{\partial r}+\frac{L^2}{r^2}+V(r)$$ hence, all of the angular dependence of $$H$$ is contained in $$L^2$$ and we immediately conclude that:

[$$H$$,$$L^2$$]=[$$H,L_z$$]=$$0$$ which means that the eigenfunctions of $$H$$ are also angular momentum eigenfunctions!

I can't understand this last sentence.

All I know from theory is that "If two operators do commute , they have a complete set of simultaneous eigenfunctions."

So I agree that $$H,L^2,L_z$$ have a complete set of simultaneous eigenfunctions, but I also know that not all the eigenstates of one operator are also eigenstates of the other operators i.e, there might be eigenstates of the Hamiltonian that are not simultaneous eigenstates of the three operators.

So what is the meaning of that sentence?

Maybe it refers to the fact that I can express any eigenstates of the Hamiltonian as a linear combination of simultaneous eigenvectors (since they form a complete set) and so:

$$L^2|H\rangle=L^2\sum_{i} c_i|H,L^2,L_z\rangle~?$$

Yes this is not clearly written. $$H$$ and $$L^2$$ have a common set but this does not mean that every eigenstate of $$H$$ is also an eigenstate of $$L^2$$. The issue comes down to repeated eigenvalues of one or both of the operators.
A simple example would be a combination of two hydrogen atom states with the same energy but different $$\ell$$ values: clearly this is still an eigenstate of $$H$$ but by construction not of $$L^2$$. Alternatively, two hydrogen wavefunctions with different energies but the same $$\ell$$ are eigenstates of $$L^2$$ but not of $$H$$.
The same holds for $$L_z$$.
• your notation is funny…. not sure about $\vert H\rangle$ since $H$ is an operator. Maybe you mean $\vert \epsilon_i\ell_i m_i\rangle$. Jan 29, 2022 at 22:10
• Sorry, by $|H\rangle$ I mean an eigenstate of $H$, so $L^2|\epsilon\rangle=L^2\sum_{i} c_i|\epsilon_i,l_i,m_i\rangle~?$ Jan 29, 2022 at 22:13