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

  • Thread starter Thread starter hoch449
  • Start date Start date
  • Tags Tags
    Eigenvalue Proof
Click For Summary

Homework Help Overview

The problem involves proving that two commuting linear operators with non-degenerate eigenvalues share common eigenfunctions. The context is rooted in linear algebra and operator theory.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to manipulate the operators and their eigenfunctions but expresses uncertainty about the relevance of non-degenerate eigenvalues in their proof. Some participants suggest focusing on the implications of the commutation relation and the definition of non-degenerate eigenvalues.

Discussion Status

Participants are exploring the relationship between the operators and their eigenfunctions, with some guidance provided on how to leverage the commutation property. There is an ongoing clarification regarding the meaning of non-degenerate eigenvalues and its implications for eigenfunctions.

Contextual Notes

There is a mention of the original poster's concern about not utilizing the non-degenerate nature of the eigenvalues in their proof attempt. The discussion reflects a need to clarify definitions and implications related to eigenvalues and eigenfunctions.

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.
 

Similar threads

Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K