Proving Quantum Mechanics Inequalities

Click For Summary

Homework Help Overview

The discussion revolves around proving inequalities in quantum mechanics, specifically related to expectation values of observables and their properties in quantum states. The original poster seeks general tips for approaching these proofs, particularly concerning inequalities involving eigenstates and observables.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants suggest simplifying expressions involving sums over complete bases and reference known inequalities in quantum mechanics. There is a discussion on the relevance of eigenstates versus general state vectors in the context of the inequalities being considered.

Discussion Status

The discussion is active, with participants exploring different approaches and clarifying concepts related to the inequalities. Some guidance has been offered regarding the use of known inequalities and the implications of using eigenstates versus general state vectors.

Contextual Notes

There is an emphasis on the need for general tips rather than complete solutions, and participants are navigating the nuances of the inequalities without reaching a consensus on the implications of using different types of state representations.

jameson2
Messages
42
Reaction score
0

Homework Statement


I'm looking for help in proving a few quantum mechanics inequalities. I can't really get started on any of them, so just a few general tips would be helpful. For example:

Given a complete set of normalized discrete eigenstates |n> with eigenvalues q_n.
For any observable P the expectation value of P^2 in the state |n>, <n|P^2|n> satisfies |<n|P|m>|^2 [tex]\leq[/tex] <n|P^2|n> where m is any state from the basis.

Homework Equations


The Attempt at a Solution


As I said, I'm not looking for an answer as I haven't even figured out how to attempt it, any hints would be great.
 
Physics news on Phys.org
Try simplifying

[tex]\sum_m | \langle n | P | m\rangle |^2,[/tex]

where the sum is over the complete basis.
 
Alternatively: do you know the general inequality (it even has its name!)

[tex]|<\psi |\phi>|^2\leq\;\; <\psi|\psi><\phi|\phi>[/tex]?

If so, set [tex]|\psi>=P|n>,\, |\phi >=|m>.[/tex]
 
Last edited:
Ok I think I got it.
I also have this one which I'm not sure about:
For any obserable P and normalised state vector [tex]|\psi >[/tex]
[tex]<\psi |P^2|\psi> \geq <\psi|P|\psi>^2[/tex]

Can you say that [tex]<\psi |P^2|\psi>=<\psi |P|p_{\psi}\psi>=p_{\psi}<\psi |P|\psi>=p_{\psi}^2<\psi |\psi>[/tex] ?
 
Can you say that ...
No.
But this is the same inequality as the first one, only written in the opposite direction and letters has been changed.
 
But there are now state vectors instead of eigenstates, I assumed that makes a difference?
 
In the first inequality you never use the fact that they are eigenvectors. It was irrelevant.
 

Similar threads

Replies
46
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
1
Views
2K