QM - Operator Algebra Problem 2.7 Rojansky

Click For Summary
SUMMARY

The discussion focuses on proving a general statement in operator algebra from the book "Introductory Quantum Mechanics" by Vladimir Rojansky. The key assertion is that if \(\alpha\beta - \beta\alpha = 1\), then \(\alpha\beta^n - \beta^n\alpha = n\beta^{n-1}\) holds for all positive integers \(n\). The proof utilizes mathematical induction, starting with the base case and establishing the inductive step to confirm the validity of the statement for \(n+1\). The participants emphasize the importance of following a structured approach to avoid circular reasoning in proofs.

PREREQUISITES
  • Understanding of operator algebra in quantum mechanics
  • Familiarity with mathematical induction principles
  • Knowledge of the commutation relation in quantum mechanics
  • Basic proficiency in algebraic manipulation of operators
NEXT STEPS
  • Study the principles of mathematical induction in depth
  • Explore operator algebra applications in quantum mechanics
  • Learn about commutation relations and their implications
  • Review examples of proofs in quantum mechanics literature
USEFUL FOR

Students of quantum mechanics, mathematicians interested in operator algebra, and educators teaching mathematical induction and its applications in physics.

NoPhysicsGenius
Messages
58
Reaction score
0
The following is problem number 7 of section 2 in the book Introductory Quantum Mechanics by Vladimir Rojansky:
Show by operator algebra that, if [tex]\alpha\beta - \beta\alpha = 1[/tex], then [tex]\alpha \beta^2 - \beta^2 \alpha = 2 \beta[/tex], [tex]\alpha \beta^3 - \beta^3 \alpha = 3 \beta^2[/tex], and, in general, [tex]\alpha \beta^n - \beta^n \alpha = n \beta^{n-1}[/tex].
I have no problems proving the first two statements.
To prove the first statement, we do the following:
[tex]\alpha \beta - \beta \alpha = 1[/tex]
[tex]\Rightarrow ( \alpha \beta - \beta \alpha ) \beta = 1 (\beta)[/tex]
[tex]\Rightarrow \alpha \beta^2 - \beta \alpha \beta = \beta[/tex]
[tex]\Rightarrow \alpha \beta^2 - \beta ( 1 + \beta \alpha ) = \beta[/tex]
[tex]\Rightarrow \alpha \beta^2 - \beta - \beta^2 \alpha = \beta[/tex]
[tex]\Rightarrow \alpha \beta^2 - \beta^2 \alpha = 2 \beta[/tex]
[tex]\square[/tex]
To prove the second statement, we start with the conclusion of the first statement:
[tex]\alpha \beta^2 - \beta^2 \alpha = 2 \beta[/tex]
[tex]\Rightarrow ( \alpha \beta^2 - \beta^2 \alpha ) \beta = 2 \beta ( \beta )[/tex]
[tex]\Rightarrow \alpha \beta^3 - \beta^2 \alpha \beta = 2 \beta^2[/tex]
[tex]\Rightarrow \alpha \beta^3 - \beta^2 ( 1 + \beta \alpha ) = 2 \beta^2[/tex]
[tex]\Rightarrow \alpha \beta^3 - \beta^2 - \beta^3 \alpha = 2 \beta^2[/tex]
[tex]\Rightarrow \alpha \beta^3 - \beta^3 \alpha = 3 \beta^2[/tex]
[tex]\square[/tex]
However, I am having problems proving the final statement. Here's what I've got:
[tex]\alpha \beta - \beta \alpha = 1[/tex]
[tex]\Rightarrow ( \alpha \beta - \beta \alpha ) \beta^{n-1} = \beta^{n-1}[/tex]
[tex]\Rightarrow \alpha \beta^n - \beta \alpha \beta^{n-1} = \beta^{n-1}[/tex]
[tex]\Rightarrow \alpha \beta^n - \beta \alpha \beta \beta^{n-2} = \beta^{n-1}[/tex]
[tex]\Rightarrow \alpha \beta^n - \beta ( 1 + \beta \alpha ) \beta^{n-2} = \beta^{n-1}[/tex]
[tex]\Rightarrow \alpha \beta^n - \beta \beta^{n-2} - \beta^2 \alpha \beta^{n-2} = \beta^{n-1}[/tex]
[tex]\Rightarrow \alpha \beta^n - \beta^2 \alpha \beta^{n-2} = 2 \beta^{n-1}[/tex]
I feel like I'm going in circles! I'm clearly missing some sort of mathematical technique here ... (Is it sort of like induction?)
Please help. Thank you.
 
Last edited:
Physics news on Phys.org
It's exactly like induction. For some reason you tried to prove the general statement by going all the way back to the first statement, so in some sense you are going in circles! Do you like you did for the others and start with [tex]\alpha \beta^n - \beta^n \alpha = n \beta^{n-1}[/tex]. Follow the standard induction proof and try to show that the n+1 statement is true. You should use the same couple of steps that you used in your previous two calculations.
 
Physics Monkey said:
It's exactly like induction. For some reason you tried to prove the general statement by going all the way back to the first statement, so in some sense you are going in circles! Do you like you did for the others and start with [tex]\alpha \beta^n - \beta^n \alpha = n \beta^{n-1}[/tex]. Follow the standard induction proof and try to show that the n+1 statement is true. You should use the same couple of steps that you used in your previous two calculations.
According to An Introduction To Abstract Mathematics by Robert J. Bond and William J. Keane, the First Principle of Mathematical Induction is as follows:
Let [tex]P(n)[/tex] be a statement about the positive integer [tex]n[/tex]. Suppose that
1. [tex]P(1)[/tex] is true.
2. Whenever [tex]k[/tex] is a positive integer for which [tex]P(k)[/tex] is true, then [tex]P(k + 1)[/tex] is also true.​
Then [tex]P(n)[/tex] is true for every positive integer [tex]n[/tex].
Therefore, let [tex]P(n)[/tex] be the statement [tex]\alpha \beta^n - \beta^n \alpha = n \beta^{n-1}[/tex].
We note that the statement [tex]P(1)[/tex], which is [tex]\alpha \beta - \beta \alpha = 1[/tex], is true, since it was given.
Suppose now that [tex]k[/tex] is a positive integer for which [tex]P(k)[/tex] is true. Then [tex]\alpha \beta^k - \beta^k \alpha = k \beta^{k-1}[/tex]. (This is the induction hypothesis.)
We now want to establish that [tex]P(k + 1)[/tex] is true, which is equivalent to showing that:
[tex]\alpha \beta^{k+1} - \beta^{k+1} \alpha = (k+1) \beta^k[/tex].
Multiplying both sides of the induction hypothesis [tex]P(k)[/tex] by [tex]\beta[/tex], we get:
[tex]( \alpha \beta^k - \beta^k \alpha ) \beta = ( k \beta^{k-1} ) \beta[/tex]
[tex]\Rightarrow \alpha \beta^{k+1} - \beta^k \alpha \beta = k \beta^k[/tex]
[tex]\Rightarrow \alpha \beta^{k+1} - \beta^k ( 1 + \beta \alpha ) = k \beta^k[/tex]
[tex]\Rightarrow \alpha \beta^{k+1} - \beta^k - \beta^k \beta \alpha = k \beta^k[/tex]
[tex]\Rightarrow \alpha \beta^{k+1} - \beta^{k+1} \alpha = k \beta^k + \beta^k[/tex]
[tex]\Rightarrow \alpha \beta^{k+1} - \beta^{k+1} \alpha = (k+1) \beta^k[/tex]
Hence [tex]P(k+1)[/tex] is true. It now follows by induction that [tex]P(n)[/tex] is true for every positive integer [tex]n[/tex].
There ... That wasn't so bad!
Thanks for your help.
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
Replies
10
Views
4K
  • · Replies 26 ·
Replies
26
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K