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

Click For Summary

Homework Help Overview

The discussion revolves around proving that the expression (x p)^2 is not equal to (x)^2 (p)^2, where x and p represent the position and momentum operators in quantum mechanics. Participants explore the implications of operator equality and commutation relations within this context.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the equality of operators and the conditions under which two operators are considered equal. There is mention of using commutators to explore the relationship between the two expressions. Some suggest substituting the momentum operator with its differential form to analyze the expressions further.

Discussion Status

The discussion has seen various approaches, including the use of commutators and explicit operator expressions. Some participants have acknowledged simpler methods to demonstrate the inequality, while others express uncertainty about their initial approaches. There is no explicit consensus on a single method, but several productive lines of reasoning have been explored.

Contextual Notes

Participants note the complexity of calculations involved in proving the inequality and question the assumptions underlying the operator relationships. There is a recognition that if the two expressions were equal, it would imply that the position and momentum operators commute, which is a significant point of discussion.

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 [tex]- \hbar^2 x^2 \frac{d^2f}{dx^2}[/tex]. 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

[tex]px\psi (x)= p(x \psi (x) ) = \frac{d}{dx}(x \psi (x))[/tex]

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
3K
Replies
5
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K