- 24,488
- 15,057
Ok, once more. If ##\hat{p}=-\mathrm{i} \partial_x## on ##\mathrm{L}^2([0,1])## with rigid boundary conditions ##\psi(0)=\psi(1)=0## were self-adjoint, then it would have a complete set of orthonormal eigenvectors. The putative eigenfunctions are of course ##u_p(x)=N_p \exp(\mathrm{i} p x)##, but these are not in the Hilbert space, i.e., there are no eigenvalues and eigenvectors at all.stevendaryl said:Maybe it should be a separate thread (or perhaps it already is), but I still am not clear about the reasons that \hat{p} is not self-adjoint. I understand that the spectral theorem tells us that if \hat{p} is self-adjoint, then its eigenfunctions form a complete basis. But since \hat{p} has no eigenfunctions (it has functions \psi(x) satisfying \hat{p} \psi(x) = \lambda \psi(x), but such functions are not elements of the Hilbert space), it can't be self-adjoint.
But the definition of self-adjoint is (if I have this right):
The first is easily proved using integration by parts. So if \hat{p} is not self-adjoint, it must be that dom(\hat{p}^\dagger) \supset dom(\hat{p}). That in turn means that there is some element |\psi\rangle that is in the domain of \hat{p}^\dagger but not in the domain of \hat{p}. So what's an example of such a |\psi\rangle?
- \hat{p} |\psi \rangle = \hat{p}^\dagger |\psi \rangle whenever both sides are defined (that is, it's symmetric)
- dom(\hat{p}) = dom(\hat{p}^\dagger) where dom means the domain (which I take to mean that dom(A) = those |\psi\rangle such that A |\psi\rangle is an element of the Hilbert space)
For the same reason it doesn't make any sense to talk about the momentum representation and to think about position-momentum uncertainty relations. The "particle in the infinite square well" is a very bad example for beginners in QM 1. It should be avoided in teaching the subject! There's no harm (may be even less harm) done when simply ignoring it.