Btukfyl

I'm taking a course on quantum mechanics and I'm getting to the part where some of the mathematical foundations are being formulated more rigorously. However when it comes to Hilbert spaces, I'm somewhat confused.

The way I understand it is as follows:
The Hilbert space describing for example a particle moving in the $x$-direction contains all the possible state vectors, which are abstract mathematical objects describing the state of the particle. We can take the components of these abstract state vectors along a certain base to make things more tangible. For example:

• The basis consisting of state vectors having a precisely defined position. In which case the components of the state vector will be the regular configuration space wave function


• The basis consisting of state vectors having a precisely defined momentum. In which case the components of the state vector will be the regular momentum space wave function


• The basis consisting of state vectors which are eigenvectors of the Hamiltonian of the linear harmonic oscillator

It's also possible to represent these basis vectors themselves in a certain basis. When they are represented in the basis consisting of state vectors having a precisely defined position, the components of the above becoming respectively Dirac delta functions, complex exponentials and Hermite polynomials.

So the key (and new) idea here for me is that state vectors are abstract objects living in the Hilbert space and everything from quantum mechanics I've learned before (configuration and momentum space wave functions in particular) are specific representations of these state vectors.

The part that confuses me, is the fact that my lecture notes keep talking about the Hilbert space of 'square integrable wave functions'. But that means we are talking about a Hilbert space of components of a state vector instead of a Hilbert space of state vectors?

If there is anybody who read this far and can tell me if my understanding of Hilbert spaces which I described is correct and how a 'Hilbert space of square integrable wave functions' fits into it all, I would be very grateful.

This is a good question, and the answer is rather subtle, and I think a physicist and a mathematician would answer it differently.

Mathematically, a Hilbert space is just any complete inner product space (where the word "complete" takes a little bit of work to define rigorously, so I won't bother).

But when a physicist talks about "the Hilbert space of a quantum system", they mean a unique space of abstract ket vectors ${|psirangle}$, with no preferred basis. Exactly as you say, you can choose a basis (e.g. the position basis) which uniquely maps every abstract state vector $|psirangle$ to a function $psi(x)$, colloquially called "the wave function". (Well, the mapping actually isn't unique, but that's a minor subtlety that's irrelevant to your main question.)

The confusing part is that this set of functions ${psi(x)}$ also forms a Hilbert space, in the mathematical sense. (Mumble mumble mumble.) This mathematical Hilbert space is isomorphic to the "physics Hilbert space" ${|psirangle}$, but is conceptually distinct. Indeed, there are an infinite number of mathematical "functional Hilbert spaces" - one for each choice of basis - that are each isomorphic to the unique "physics Hilbert space", which is not a space of functions.

When physicists talk about "the Hilbert space of square-integrable wave functions", they mean the Hilbert space of abstract state vectors whose corresponding position-basis wave functions are square integrable. That is:

$$mathcal{H} = left { |psirangle middle| int dx |langle x | psi rangle|^2 < infty right }.$$

This definition may seem to single out the position basis as special, but actually it doesn't: by Plancherel's theorem, you get the exact same Hilbert space if you consider the square-integrable momentum wave functions instead.

So while "the Hilbert space of square integrable wave functions" is a mathematical Hilbert space, you are correct that technically it is not the "physics Hilbert space" of quantum mechanics, as physicists usually conceive of it.

I think that in mathematical physics, in order to make things rigorous it's most convenient to consider functional Hilbert spaces instead of abstract ones. So mathematical physicists consider the position-basis functional Hilbert space as the fundamental object, and define everything else in terms of that. But that's not how most physicists do it.

On one side we have the (very specific) Hilbert space of square integrable functions is a vector space where the vector is the function $f$ (i.e., and application from $mathbb Rni [a,b]rightarrow mathbb C$) with the property

$$int_a^b|f|^2dx <infty$$

On the other side we have Quantum Mechanics, which postulates that the states of a physical system may be represented by a vector in some Hilbert space. This state, being a vector, doesn't need components to be defined to retain its identity, but if we want, we can expand it on some suitable basis.

Who provides basis?

A basis could be built from scratch, or we could use Hermitian operators, which are renown to possess a complete and orthonormal/orthonormalizable basis $phi_a$ function of the parameter $a$ which represents the specific eigenvalue associated to the eigenvector $phi_a$ and such that $(phi_a,phi_b)=delta_{ab}$ ($(,,,)$ being the inner product in our Hilbert space). Our generic state $psiinmathcal H$ will be expanded as

$$psi=sum_a(phi_a,psi)phi_a$$

If the operator has a continuous spectrum, let's call it $hat R$, we now have a basis of vectors $phi_r$ labeled by a continuous eigenvalue $r$ and normalized as $(phi_r,phi_{r'})=delta(r-r')$, we could write

$$psi=int_a^b dr(phi_r,psi)phi_r$$

The complex number $(phi_r,psi)$ is a complex function of the variable $r$, and if we add the requirement that all physical states must have norm squared equal to some finite number (for example 1),this brings the following consequence:

$$(psi,psi)=left(int_a^b dx(phi_r,psi)phi_r ,int_a^b dr'(phi_{r'},psi)phi_{r'}right)=int_a^b dr(phi_r,psi)^*int_a^b dr'(phi_{r'},psi)underbrace{left(phi_r^* ,phi_{r'}right)}_{delta(r-r')}=$$

$$=int_a^b dr(phi_r,psi)^*(phi_{r},psi)=int_a^b dr|(phi_r,psi)|^2=1$$

Then, $(phi_r,psi)$ must be a square integrable function. What is $(phi_r,psi)$? It is basically the component of $psi$ in the "direction" described by $r$ in the Hilbert space.

If we change operator (still with continuous spectrum) $hat Q$, we change basis $xi_q$, and we have a new expansion for the state $psi$, but the component of $psi$ in the new basis, $(xi_q,psi)$ will still be a square integrable function of the new variable $q$.

Concluding, the "mathematical" Hilbert space of square integrable functions provides a prototype for Quantum Mechanics, to describe physical states:

• The physical state $psi$ is the analogous of the generic function $f$,




• The components $(phi_r, psi)$ or $(xi_q,psi)$ are the analogous of the function $f$ evaluated in some point $rin Range[hat R]$ or $qin Range[hat Q]$: it's worthwhile to notice that the 2 Hilbert spaces resulting, $L^2(Range[hat R])$ and $L^2(Range[hat Q])$, are in principle different (regardless of the possibility of them being eventually isomorphic).

So, in programming jargon I would say that the mathematical Hilbert space is the class, while the various physical possibilities are the instances of that class.

Your description of an abstract Hilbert space is correct, and that is how we usually think of quantum states. The problem is that to actually define a Hilbert space you need to give a concrete representation: you need to say what its vectors actually are, mathematically. And in our case, one way to define the space is as the set of square integrable functions¹. This defines one basis, the basis of position eigenstates (though you could also define the basis to consist of momentum eigenstates), and hence all other basis.

This is not only possible definition: taking the basis of eigenstates of the harmonic oscillator, we see that this space is also the space of infinite sequences $a_n$ of complex numbers with $sum |a_n|^2 < infty$, so we could also have defined it like that: it's just that the $L^2$ definition is more obvious. In fact, all infinite dimensional separable Hilbert spaces are isomorphic, and since the Hilbert spaces we use in QM are pretty much always separable, we don't actually need the $L^2$ definition, since there's only one possible infinite dimensional Hilbert space. However, since physics books usually don't want to bother with all this, they just define the space as $L^2$ because it's simpler.

¹ Technically the space $L^2$ is the set of square integrable functions modulo functions with zero norm, so not exactly a space of functions.

Paul Dirac managed to help invent QM without knowing and probably not caring what a Hilbert space is, and Pauli told von Neumann who invented the notion of Hilbert spaces:

If mathematics was physics, then you'd make a great physicist.

The implication being that physics is not the same thing as mathematics. It's worth noting that Hilbert spaces are not enough in QM. For example, Diracs delta function is not even a function and for this we need the theory of distributions. For this you need the theory of rigged Hilbert spaces.

It's possible to represent basis vectors themselves in a certain basis.

This is just as true for ordinary, garden-variety vector spaces. If you're having trouble with Hilbert spaces it might be worth revisiting how they work as much of Hilbert space theory is merely generalising results from the finite-dimensional context to the infinite-dimensional context.