Name of this relation, and struggle proving it.

  • Context: Graduate 
  • Thread starter Thread starter M. next
  • Start date Start date
  • Tags Tags
    Relation
Click For Summary

Discussion Overview

The discussion revolves around a specific mathematical relation involving commutators, expressed as [a, a^{+(n)}] = na^{+(n-1)}. Participants explore the name of this relation and seek assistance in proving it, particularly through induction.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant asks for the name of the relation [a, a^{+(n)}] = na^{+(n-1)} and mentions an initial attempt to prove it by induction.
  • Another participant questions whether the inquiry is related to homework.
  • A participant suggests using an identity for commutators, [A, B C] = [A, B] C + B [A, C], to facilitate the proof by induction.
  • A later reply expresses gratitude for the suggestion and indicates that previous attempts to prove the relation were unsuccessful without this approach.
  • The original poster clarifies that the inquiry was not homework but a personal endeavor to verify the truth of the relation, mentioning a professor's advice to use induction.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the name of the relation, and while there is agreement on the validity of using induction for the proof, the discussion does not resolve the proof's details or the relation's name.

Contextual Notes

Some assumptions regarding the definitions of the operators involved may be implicit, and the discussion does not fully explore the mathematical steps necessary for the proof.

M. next
Messages
380
Reaction score
0
[a, a[itex]^{+(n)}[/itex]] = na[itex]^{+(n-1)}[/itex]

1) What's the name of this relation if it has any?

2) I tried to prove this by induction, I started by saying that for n=1, this holds since [a, a[itex]^{+}[/itex]] = 1 (as we all know and as we can all prove)

then I assumed it true for (n-1), but I didn't go too far afterwards. Can someone give me a hint concerning its proof.

Thanks!
 
Physics news on Phys.org
M. next said:
[a, a[itex]^{+(n)}[/itex]] = na[itex]^{+(n-1)}[/itex]

1) What's the name of this relation if it has any?

2) I tried to prove this by induction, I started by saying that for n=1, this holds since [a, a[itex]^{+}[/itex]] = 1 (as we all know and as we can all prove)

then I assumed it true for (n-1), but I didn't go too far afterwards. Can someone give me a hint concerning its proof.

Thanks!

Induction works just fine.

There's an identity for working with commutators that helps:

[itex][A, B C] = [A, B] C + B [A, C][/itex]

Apply to the case [itex]A = a[/itex], [itex]B = (a^\dagger)^{n-1}[/itex], [itex]C=a^\dagger[/itex].
Then it should be easy to prove it by induction.
 
Last edited:
  • Like
Likes   Reactions: 1 person
Oh thank you! I am now convinced, I tried proving it several ways, and didn't use what you proposed, and the procedures kept turning me down! Thank you, again!

Bill_K,this wasn't a homework, I was trying to convince myself that its true. I asked my professor and he told me to prove it by induction and didn't give further hints.

Thanks guys.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K