Commuting Operators and Eigenfunctions in One Dimension

  • Context: Graduate 
  • Thread starter Thread starter LagrangeEuler
  • Start date Start date
  • Tags Tags
    Commutator
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
LagrangeEuler
Messages
711
Reaction score
22
For every operator ##A##, ##[A,A^n]=0##. And if operators commute they have complete eigen- spectrum the same. But if I look for ##p## and ##p^2## in one dimension ##sin kx## is eigen- function of ##p^2##, but it isn't eigen-function of ##p##.
[tex]p^2 \sin kx=number \sin kx[/tex]
[tex]p\sin kx \neq number \sin kx[/tex]
where
[tex]p=-i\hbar\frac{d}{dx}[/tex]
[tex]p^2=-\hbar^2\frac{d^2}{dx^2}[/tex]
 
Physics news on Phys.org
When two operators commute with each other this doesn't mean that they have the same set of eigenstates. This means that you can alway find a set of eigenstates common to both the operators.
In you particular case the set of common eigenstates must be composed of some other functions.
 
Einj said:
When two operators commute with each other this doesn't mean that they have the same set of eigenstates. This means that you can alway find a set of eigenstates common to both the operators.
In you particular case the set of common eigenstates must be composed of some other functions.

If I understand your post correctly, you are saying that if two operators commute, then it is wrong to conclude that every eigenstate of one operator is necessarily an eigenstate of the other operator. However it is right to conclude that at least one set of eigenstates of one is a set of eigenstates of the other.

And so the set of eigenstates the original poster found for p^2 just happened to be one of those sets that isn't a set of eigenstates for p.

Is that right?
 
As a simple example of what is going on here, consider two matrices: diag(1, 1) and diag(1, -1). These matrices commute (after all, one is the identity). Yet the column vector (1 1) is a eigenvalue of the first matrix, but not of the second. The fact that the matrices commute only tells us that there is some basis of common eigenvectors; in this case, the vectors (1, 0) and (0, 1).
 
DocZaius said:
And so the set of eigenstates the original poster found for p^2 just happened to be one of those sets that isn't a set of eigenstates for p.

Is that right?

That's correct :biggrin: