Proving the Commutator Relationship with Power Series Expansion | Homework Help

  • Thread starter Thread starter cahill8
  • Start date Start date
  • Tags Tags
    Commutator Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving the commutator relationship involving a power series expansion of a function f(p) in the context of quantum mechanics. The original poster attempts to show that the commutator [x, f(p)] equals iħ(d/dp)(f(p)), using the power series representation of f(p) and known commutator identities.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the application of the commutator identity [A, BC] = [A,B]C + B[A,C] and question its applicability to power series. There is also exploration of the identity [A, B + C] = [A,B] + [A,C] in the context of the problem. Some participants express uncertainty about the steps taken and seek clarification on the reasoning behind certain manipulations.

Discussion Status

Participants are actively engaging with the problem, with some offering hints and feedback on the approaches taken. There is a recognition of the correctness of certain steps, but no explicit consensus on the overall direction or outcome of the discussion has been reached.

Contextual Notes

There is an emphasis on the need for clarity regarding the use of commutator identities and the handling of power series. Some participants question the assumptions made in the manipulations and the implications of treating constants within the context of the commutators.

cahill8
Messages
29
Reaction score
0

Homework Statement


Show [tex]\left[x,f(p)[/tex][tex]\right)][/tex] = [tex]i\hbar\frac{d}{dp}(f(p))\right.[/tex]


Homework Equations



I can use [tex]\left[x,p^{n}[/tex][tex]\right)][/tex] = [tex]i\hbar\\n\right.[/tex][tex]p^{n}\right.[/tex]
f(p) = [tex]\Sigma[/tex] [tex]f_{n}[/tex][tex]p^{n}[/tex] (power series expansion)


The Attempt at a Solution


I started by expanding f(p) to the power series which makes

[tex]\left[x,\Sigma\\f_{n}\\p^{n}[/tex][tex]\right)][/tex]

and I know I must use the commutator identity [A, BC] = [A,B]C + B[A,C]
but the power series cannot be split up into two products(BC) ? So I'm not sure how to go on
 
Physics news on Phys.org
cahill8 said:
and I know I must use the commutator identity [A, BC] = [A,B]C + B[A,C]
How do you know that?
 
In a textbook it says it can be shown using that equation

Trying a different method:

[x, f(p)] = [x,[tex]\sum_{n}\\f_{n}p^{n}[/tex]] = [x,fnpn + [tex]\sum_{n-1}\\f_{n}p^{n}[/tex]]

using [A, B+C] = [A,B] + [A,C]

= [x, fnpn] + [x, [tex]\sum_{n-1}\\f_{n}p^{n}[/tex]]

using [A, BC] = C[A,B] + B[A,C]

= fn[x, pn] + pn[x, fn] + [x, [tex]\sum_{n-1}\\f_{n}p^{n}[/tex]]

using [x, pn] = i[tex]\hbar[/tex]npn-1

= fni[tex]\hbar[/tex]npn-1 + pn[x, fn] + [x, [tex]\sum_{n-1}\\f_{n}p^{n}[/tex]]

[x, fn] = 0 as fn is a const.

= fni[tex]\hbar[/tex]npn-1 + [x, [tex]\sum_{n-1}\\f_{n}p^{n}[/tex]]

am I on the right track?
 
Last edited:
I'm curious why you used
[A, rC] = [A,r]C + r[A,C]​
to pull out a scalar, rather than just using
[A, rC] = r [A,C]​

I'm also curious why you stopped using
[A, B + C] = [A,B] + [A,C]​
after a single addition.

But that aside, everything you wrote looks correct. We won't know if you're on the right track until we see where this path leads, though!
 
I see what you mean. [x, fnpn] = fn[x, pn] is fine.

I kept going with the addition and noticed a pattern and managed to solve it. Thanks for the hints :)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
1
Views
2K
Replies
2
Views
4K
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K