# Energy spectrums in QM

1. Sep 9, 2008

### jostpuur

This is about quantum mechanics, but it is sufficiently difficult existence question dealing with DE and operator theory, that I think it fits the DE subforum the best:

Let $$E:\mathbb{N}\to\mathbb{R}$$ be an arbitrary map, but so that $$\textrm{Im}(E)$$ is bounded from below. Does there exist a measurable function $$V:\mathbb{R}\to\mathbb{R}$$ such that the eigenvalues of the operator

$$H = -\frac{1}{2}\partial_x^2 + M_V$$

are the given $$E(n)$$?

Here $$M_V:\mathbb{C}^{\mathbb{R}}\to \mathbb{C}^{\mathbb{R}}$$ is the multiplication operator $$(M_V\psi)(x) = V(x)\psi(x)$$.

For the sake of rigor we can give the following definition for the domain of H,

$$D(H) = \{\psi\in L^2(\mathbb{R},\mathbb{C})\;|\; \psi\;\textrm{is piece wisely}\;C^2\quad\textrm{and}\quad \int dx\;\Big|-\frac{1}{2}\partial_x^2\psi(x) + V(x)\psi(x)\Big|^2 < \infty\}$$

So H is a mapping $$H:D(H)\to L^2(\mathbb{R},\mathbb{C})$$.

Last edited: Sep 9, 2008
2. Sep 9, 2008

### atyy

I'm not a math person, so just a wild question:is your question equivalent to asking whether a Hamiltonian exists whose eigenvalues are the zeros of the Riemann zeta function?

3. Sep 9, 2008

### jostpuur

I don't know enough of Riemann zeta function to answer that. I'll say that I don't know how precisely my question would be related to it now.

If $$T:\mathcal{H}\to\mathcal{H}$$ is some linear operator on some inner product space, we can define a new non-linear mapping

$$f:\mathcal{H}\to\mathcal{H},\quad f(\psi) = T\psi - \frac{(\psi|T\psi)}{\|\psi\|^2}\psi$$

which has the property

$$f(\psi)=0\quad\Leftrightarrow\quad T\psi\propto\psi,$$

so in this sense every eigenvalue problem is related to a problem of finding zeros of some function. So... who knows?

4. Sep 9, 2008

### jostpuur

Now I read your post more carefully. You were speaking about eigenvalues being zeros of some function, and I was about eigenvectors being zeros of some function. So this seems to be different thing.

5. Sep 9, 2008

### atyy

Let's see, I understood your question to be:
Given a countable set of real numbers, does a Hamiltonian exist such that its eigenvalues are the elements of the given set?

(A little more strictly, you asked if a V(x) exists such that the eigenvalues of the Hamiltonian are the elements of the given set.)

6. Sep 10, 2008

### atyy

7. Sep 10, 2008

### jostpuur

I see. So the problem I described, seems to be similar to the Berry Conjecture.

8. Sep 10, 2008

### atyy

Hmm, reading the Berry conjecture, it seems they need a more general form of the Hamiltonian than in your problem. I wonder whether they've already ruled out "nice" Hamiltonians, and if so, how they did that.

9. Sep 12, 2008