How can I prove that (x p)^2 is not equal to (x)^2 (p)^2 in quantum mechanics?

Click For Summary
SUMMARY

The discussion centers on proving that the operator expression (xp)^2 is not equal to (x^2)(p^2) in quantum mechanics, where x and p represent the position and momentum operators, respectively. Participants emphasize the importance of commutators, specifically using the identity [AB,CD] = A[B,C]D, to demonstrate the non-commutativity of x and p. The conclusion is that if (xp)^2 were equal to (x^2)(p^2), it would imply that x and p commute, which contradicts established quantum mechanics principles.

PREREQUISITES
  • Understanding of quantum mechanics operators, specifically position (x) and momentum (p) operators.
  • Familiarity with commutator algebra and its implications in quantum mechanics.
  • Knowledge of differential operators and their application in quantum mechanics.
  • Proficiency in calculus, particularly the Leibniz product rule for derivatives.
NEXT STEPS
  • Study the properties of commutators in quantum mechanics, focusing on [x,p] = iħ.
  • Learn about the implications of operator non-commutativity in quantum systems.
  • Explore the application of differential operators in quantum mechanics, particularly in wave function analysis.
  • Investigate the role of the Leibniz product rule in quantum mechanics calculations.
USEFUL FOR

Quantum mechanics students, physicists, and anyone interested in the mathematical foundations of quantum theory, particularly those focusing on operator algebra and its implications in quantum systems.

neelakash
Messages
491
Reaction score
1

Homework Statement



I got stuck to this problem:

To prove that (x p)^2 is not equal to (x)^2 (p)^2

where x and p are position and mometum operator in QM.


Homework Equations


The Attempt at a Solution



I approached this way:

Two operators A and B are equal iff Af=Bf for all f

So,here {(x p)^2 - (x)^2 (p)^2}f=0

Since this is valid for all f, we must have {(x p)^2 - (x)^2 (p)^2}=0

In other words, [(x p)^2 , (x)^2 (p)^2 ]=0

But I could not disprove this commutator.Calculations are big and after some steps I doubt whether this might at all be the correct way.

Can anyone please give some hint?
 
Physics news on Phys.org
(xp)^2 = xpxp

if xpxp = xxpp, then what can we say about [x,p] = xp - px ?
 
neelakash said:

Homework Statement



I got stuck to this problem:

To prove that (x p)^2 is not equal to (x)^2 (p)^2

where x and p are position and mometum operator in QM.


Homework Equations


The Attempt at a Solution



I approached this way:

Two operators A and B are equal iff Af=Bf for all f

So,here {(x p)^2 - (x)^2 (p)^2}f=0

Since this is valid for all f, we must have {(x p)^2 - (x)^2 (p)^2}=0

In other words, [(x p)^2 , (x)^2 (p)^2 ]=0

But I could not disprove this commutator.Calculations are big and after some steps I doubt whether this might at all be the correct way.

Can anyone please give some hint?


You can indeed do it with commutators (the identity [AB,CD] = A[B,C]D + etc would be useful) or here it might be simpler to work with explicit differential operators. Just replace the operator p by its usual expression and apply the two expressions to a test function. Obviously, X^2 p^2 f is simply - \hbar^2 x^2 \frac{d^2f}{dx^2}. Calculating the other one won't be too hard and you will see if you get the same result (you won't).
 
malawi_glenn said:
kdv: isn't easier to see that if xpxp = xxpp, then px = xp ?

But xpxp is NOT equal to xxpp!
 
malawi_glenn said:
Iknow, but you missed my point.

IF xpxp = xxpp, then px = xp since

xpxp = x(px)p and xxpp = x(xp)p, so the things inside the paranthesis must be the same, i.e:

px = xp, and if that holds, what can one say about the commutator: [x,p] = xp - px ?

Oh, I see your point. yes, that's a nice way to see right away that the two expressions can't be equal because they would imply that x and p commute. That's nice and quick indeed.

Regards
 
kdv said:
Oh, I see your point. yes, that's a nice way to see right away that the two expressions can't be equal because they would imply that x and p commute. That's nice and quick indeed.

Regards

Now we solved the problem for the OP, which is not so good. So I propose we delete our latest posts :)

EDIT: too late ;)

I should have taken the discussion with you kdv via PM ;)
 
I got glenn's point. Really, it is lot easier.

I also tried in the way kdv indicated.But that did not work.This is really much more simple.
 
neelakash said:
I got glenn's point. Really, it is lot easier.

I also tried in the way kdv indicated.But that did not work.This is really much more simple.

Doing it the other wat should aslo work, remember that an operator operates on EVERYTHING to the right of it, for example

px\psi (x)= p(x \psi (x) ) = \frac{d}{dx}(x \psi (x))

where the last thing is evaluated according to the leibniz product rule for derivatives. Here i have omitted hbar and the imaginary unit from the p-operator just to make things clearer.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K