Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

Hm, this just occurred to me while answering another question:

If I write the Hamiltonian for a harmonic oscillator as $$H = \frac{p^2}{2m} + \frac{1}{2} m \omega^2 x^2$$ then wouldn't one set of possible basis states be the set of $\delta$-functions $\psi_x = \delta(x)$, and that indicates that the size of my Hilbert space is that of $\mathbb{R}$.

On the other hand, we all know that we can diagonalize $H$ by going to the occupation number states, so the Hilbert space would be $|n\rangle, n \in \mathbb{N}_0$, so now the size of my Hilbert space is that of $\mathbb{N}$ instead.

Clearly they can't both be right, so where is the flaw in my logic?

share|improve this question
1  
An important keyword here is separable. –  Emilio Pisanty May 26 '13 at 19:37
add comment

3 Answers

up vote 13 down vote accepted

This question first posed to me by a friend of mine. For the subtleties involved, I love this question. :-)

The "flaw" is that you're not counting the dimension carefully. As other answers have pointed out, $\delta$-functions are not valid $\mathcal{L}^2(\mathbb{R})$ functions, so we need to define a kosher function which gives the $\delta$-function as a limiting case. This is essentially done by considering a UV regulator for your wavefunctions in space. Let's solve the simpler "particle in a box" problem, on a lattice. The answer for the harmonic oscillator will conceptually be the same. Also note that solving the problem on a lattice of size $a$ is akin to considering rectangular functions of width $a$ and unit area, as regulated versions of $\delta$-functions.

The UV-cutoff (smallest position resolution) becomes the maximum momentum possible for the particle's wavefunction and the IR-cutoff (roughly max width of wavefunction which will correspond to the size of the box) gives the minimum momentum quantum and hence the difference between levels. Now you can see that the number of states (finite) is the same in position basis and momentum basis. The subtlety is when you take the limit of small lattice spacing. Then the max momentum goes to "infinity" while the position resolution goes to zero -- but the position basis states are still countable!

In the harmonic oscillator case, the spread of the ground state (maximum spread) should correspond to the momentum quantum i.e. the lattice size in momentum space.

The physical intuition

When we consider the set of possible wavefunctions, we need them to be reasonably behaved i.e. only a countable number of discontinuities. In effect, such functions have only a countable number of degrees of freedom (unlike functions which can be very badly behaved). IIRC, this is one of the necessary conditions for a function to be fourier transformable.

share|improve this answer
    
Ah, that clears it up. I guess one problem is that while of course I can expand any wavefunction in terms of $\delta$-functions, those $\delta$-functions themselves are, among other things, not square-integrable. –  Lagerbaer May 16 '13 at 22:34
    
Right. And if I understand correctly, the discontinuity argument I gave should in essence be the same as a function being $\mathcal{L^2}(\mathbb{R})$, like @Qmechanic says. But I'm not able to think of a justification right away. –  Siva May 16 '13 at 22:45
    
-1: I don't mean to be mean, but I feel like all of this talk of regulators really obscures the mathematical crux of the issue. I feel like this response might lead people to feel that that introducing a regulator is necessary to make sense of this stuff, but, at least in my view, its really about getting your definition of dimension correct. –  joshphysics May 17 '13 at 0:51
    
A regulator is just a tool to help you count the dimension. I used field theory inspired jargon, but I would think that the regulator notion would buttress the rigorous math of $\mathcal{L}^2(\mathbb{R})$ functions. After all, even to define something like a $\delta$-function but square integrable, you need a regulator. I'll rephrase my answer to make it a little clearer. –  Siva May 17 '13 at 1:29
add comment

The Hilbert space ${\cal H}$ of the one-dimensional harmonic oscillator in the position representation is the set $L^{2}(\mathbb{R})$ of square integrable functions $\psi:\mathbb{R}\to\mathbb{C}$ on the real line.

The Dirac delta distribution $\delta(x-x_{0})$ is not a function. In particular, it is not square integrable, cf. this Phys.SE post.

One may prove that all infinite-dimensional separable complex Hilbert spaces are isomorphic to the set $${\ell}^{2}(\mathbb{N})~:=~\left\{(x_n)_{n\in\mathbb{N}}\mid\sum_{n\in\mathbb{N}} |x_n|^2 <\infty\right\}$$ of square integrable complex sequences.

share|improve this answer
add comment

Although I think user Siva's argument is nice for intuition, I feel that the key mathetmatical point is being obscured; you just need to be careful about what you mean by the "size" of a vector space.

The dimension theorem for vector spaces tells us that any two bases for a vector space must have the same cardinality. This allows us to define the dimension of a vector space as the cardinality of any basis.

Now let's examine the case of the harmonic oscillator. What is the dimension of its Hilbert space? As Qmechanic writes, the Hilbert space for the one-dimensional harmonic oscillator is $L^2(\mathbb R)$. We know that there exists at least one countable orthonormal basis for $L^2(\mathbb R)$. Therefore, the dimension of $L^2(\mathbb R)$ is $\aleph_0$.

Finally, as Qmechanic also points out, dirac deltas are not elements of $L^2(\mathbb R)$, so there is no contradiction.

share|improve this answer
    
Can you briefly add why we know that there exists a countable orthonormal basis for $L^2(\mathbb{R})$? –  Lagerbaer May 17 '13 at 0:51
    
Well it depends on what level of mathematical rigor you are looking for. Do you believe that the set of energy eigenvectors $|n\rangle$ is an orthonormal basis for $L^2(\mathbb R)$? If so, then you're done. Otherwise, one can prove this using standard theorems in functional analysis. This mathoverflow.net/questions/42310/when-is-l2x-separable also gives what you want if you note the fact that a Hilbert space is separable if and only if it admits a countable, orthonormal basis. –  joshphysics May 17 '13 at 1:02
    
In general, it is usefull to remember that mathematically there is essentially one infinite-dimensional separable Hilbert space -- $l_2$, everything that you can imagine is isomorphic to it. –  Peter Kravchuk May 17 '13 at 21:05
    
@PeterKravchuk Tru dat. –  joshphysics May 17 '13 at 21:34
    
@PeterKravchuk: Absolutely, but then another remark is in order. I find that many beginners tend to misuse this isomorphism, believing, for example, that the Schroedinger operator in $L^2$ can be mapped unitarily to the Schroedinger operator on $\ell^2$. This is not true, since (1) there are uncountably many possible isomorphisms to choose from (so equivalence of operators would not be canonically defined) and (2) if $A: L^2\rightarrow L^2$ and $B:\ell^2\rightarrow \ell^2$ are given operators, it does not follow that there exists an isomorphism $U: L^2\rightarrow\ell^2$ such that $UA = BU$. –  William May 26 '13 at 7:09
show 4 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.