Are all selfadjoint operators in quantum mechanics bounded?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
6 replies · 2K views
hitche
Messages
3
Reaction score
0
Hi, I'd like to know if the following statement is true:
Let [itex]\hat{A}, \hat{B}[/itex] be operators for any two observables [itex]A, B[/itex]. Then [itex]\langle \hat{A} \rangle_{\psi} = \langle \hat{B} \rangle_{\psi} \forall \psi[/itex] implies [itex]\hat{A} = \hat{B}[/itex].
Here, [itex]\langle \hat{A} \rangle_{\psi} = \int_\mathbb{R^3} d^3x \psi^* \hat{A} \psi[/itex] is standard definition of expectation value of an operator [itex]\hat{A}[/itex].
If this doesn't hold, could you provide any counterexample? Thank you!
 
Physics news on Phys.org
yes - because the expected value of A-B will be zero for all psi, then by taking psi to be A-B's eigenvector, you reached the conclusion that A-B has only zero eigenvalues, which means A-B must be a zero operator.
 
Of course, not. The general solution of [itex]\langle\psi, A\psi \rangle= \langle\psi, B\psi\rangle[/itex] is that either one is an extension of the other. Equality follows iff both operators are bounded. As a counterexample would be any symmetric operator which is not self-adjoint.
 
cattlecattle said:
yes - because the expected value of A-B will be zero for all psi, then by taking psi to be A-B's eigenvector, you reached the conclusion that A-B has only zero eigenvalues, which means A-B must be a zero operator.

Not that's wrong. If either A or B is unbounded then clearly your argument won't apply.
 
WannabeNewton said:
Not that's wrong. If either A or B is unbounded then clearly your argument won't apply.

sorry, I failed to see which step was not applicable due to unboundedness
 
cattlecattle said:
sorry, I failed to see which step was not applicable due to unboundedness

I'm new to the theory, but I think the reason is that spectrum of operator is defined for bounded operators. There exists also some extended definition of spectrum for unbounded operators, but it can be empty (unlike the spectrum of a bounded operator).
BUT I read that in quantum mechanics every observable is represented by selfadjoint linear operator and according to another resource every selfadjoint everywhere defined operator is bounded. On the other hand bounded self adjoint operator may have no eigenvalue. So.. I don't know!