3
$\begingroup$

In his book The Principles of Quantum Mechanics, Dirac states:

"We call a real dynamical variable whose eigenstates form a complete set an observable."

To Dirac, any observable has a complete set of eigenstates. This philosophy is taken seriously in the physicist approach of quantum mechanics. Usually one starts learning quantum mechanics by solving the time-independent Schrödinger equation, in which one looks for eigenstates of the Hamiltonian operator. Since the Hamiltonian operator is an observable, their eigenstates are supposed to form a complete set and every state of that Hilbert space could be expressed in terms of these eigenstates.

From the mathematical point of view, we know that this approach has serious limitations. If we consider $\mathscr{H} = L^{2}(\mathbb{R}^{n})$ for instance, we know that some self-adjoint operators have no eigenvectors at all. However, in some cases we can find a complete orthonormal set of eigenvectors of the Hamiltonian operator (e.g. the harmonic oscillator).

I would like to know what is/are some theorems which can be used to justify the physicist approach, at least for a large class of models of interest. For example, a large class of models deals with Hamiltonians which are of the form $H = -\Delta + V$ on $L^{2}(\mathbb{R}^{n})$, where $-\Delta$ is the Laplace operator and $V$ some external potential function. In my experience, most books on mathematical aspects of quantum mechanics put a lot of effort discussing conditions on $V$ for which $H$ becomes self-adjoint. But I have seen barely no discussion (at least explicitly) about what conditions would make $H$ self-adjoint and have a complete orthonormal set of eigenstates.

Are there any results in this direction? Or one should analyse case by case (and thus there is no point of discussing it in depth on quantum mechanics math book)? I would like something general enough so the basic examples (harmonic oscillator, square well etc) would follow from it. Are there such results? Reference suggestions are also welcome!

$\endgroup$
4
  • 3
    $\begingroup$ Lots of physical systems have observables with a continuous spectrum (possibly in addition to a point spectrum), for example the Hamiltonian in the case of scattering states (as opposed to bound states). The formalism of "rigged Hilbert spaces" provides eigen"vectors" for elements of the continuous spectrum, but these are not in the Hilbert space. They may be distributions, or unnormalizable plane waves, or other stuff. $\endgroup$ Commented Apr 22, 2022 at 19:40
  • $\begingroup$ see mathoverflow.net/q/383952/11260 for a discussion of this issue $\endgroup$ Commented Apr 22, 2022 at 19:58
  • 1
    $\begingroup$ @MathMath: It seems you want Schrodinger operators which are (essentially) self-adjoint as well as with compact resolvent. TYpically you need a potential V that grows fast enough so eigenstates are trapped, i.e., square integrable. You can search with keywords like: Schrodinger operators with confining potential, compact resolvent., and probably find useful references. $\endgroup$ Commented Apr 22, 2022 at 20:49
  • $\begingroup$ See mathoverflow.net/a/278598/7410 $\endgroup$ Commented Apr 22, 2022 at 20:52

0

You must log in to answer this question.