Eigenvalue proof. (2nd opinion if my proof is right please)

  • Thread starter Thread starter hoch449
  • Start date Start date
  • Tags Tags
    Eigenvalue Proof
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
3 replies · 3K views
hoch449
Messages
13
Reaction score
0

Homework Statement



Prove that if two linear operators A and B commute and have non-degenerate eigenvalues then the two operators have common eigenfunctions.

Homework Equations



[tex][A,B]= AB - BA= 0[/tex]

[tex]Af=af[/tex]

[tex]Bg=cg,\ let\ g=(f+1) --> B(f+1)=c(f+1)\ where\ a\neq c[/tex]



The Attempt at a Solution



[tex]Af[B(f+1)]-B(f+1)[Af]=0[/tex]
[tex]Af(Bf+B)-(Bf+B)Af=0[/tex]

I have stopped here because I feel that I am on the wrong track. I have not used the fact that the eigenvalues are non-degenerate in this proof. Although continuation of what I am doing should show that the two operators commute..
 
Physics news on Phys.org
You don't want to show they commute. You already know that. You want to show they have common eigenfunctions. Look at [A,B]f where Af=af. That's ABf-BAf=A(Bf)-a(Bf)=0. That tells you Bf is also an eigenfunction of A corresponding to the eigenvalue a. Just like f. Now what does 'nondegenerate' tell you?
 
Ah that totally makes sense! Non-degenerate eigenvalues means different ie. (not the same) eigenvalues does it not?
 
hoch449 said:
Ah that totally makes sense! Non-degenerate eigenvalues means different ie. (not the same) eigenvalues does it not?

Sort of. It means there is only one eigenvector (up to a constant multiple) corresponding to every eigenvalue.