3
$\begingroup$

For many eigenvalue problems for differential operators (for example the quantum harmonic oscillator (HO)), unless we impose some behaviour at infinity, the eigenvalues will not be discrete. But, suppose we consider the laplacian (of the usual round (Fubini-Study) metric) on $\mathbb{C}\mathbb{P}^1$. If we restrict ourselves to $\mathbb{C}$ and forget about infinity, then we get the eigenvalue problem : $\Delta f = \frac{1}{(1+r^2)^2} \lambda f$ (where $r$ is the distance from the origin in $\mathbb{C}$). Does this have the same eigenvalues as the original laplacian on the sphere? I mean, does forgetting the "boundary" conditions at infinity add new eigenvalues? In general, when is one allowed to "forget" what happens at infinity?

$\endgroup$

1 Answer 1

1
$\begingroup$

Two general facts: $L^2$ spaces do not see, when you remove one point. Laplace operators on compact smooth manifolds have always discrete spectrum. So if you are not interested in smooth or continuous eigenfunctions, then this gives you the answer yes. All eigenvalues in your example are preserved, because the $L^2$ spaces together with the Laplace operator are unitary equivalent via the stereographic projection.

The situation changes drastically, if you consider e.g. the Laplace Beltrami on $SL(2, \mathbb{Z}) \backslash \mathbb{H}$, which has finite volume, but fails to be compact. Hence it admits continouous and discrete spectrum. All naive compactifications at "$\infty$" will destroy all of the eigenvalues, except for the trivial eigenvalue $0$. E.g. adding a point at infinity will give you a sphere as well with a slightly different metric though.

I think this question on Mathexchange is well in the spirit of your question: https://math.stackexchange.com/questions/46919/changing-the-manifold-preserving-the-discrete-spectrum

Edit due to question in the comments: Wikipedia http://en.wikipedia.org/wiki/Clifford_analysis#Cayley_transform_.28stereographic_projection.29 tells me that the Laplace operator on the plane is then the usual one. When you consider the circle, and compare it with the line, there you have definitely a lot more eigenfunctions $e^{\lambda x}$ or not? The same thing happens for the 2-sphere.

Also in the example $SL(2, \mathbb{Z}) \backslash \mathbb{H}$, you definitely get a more flexibility, since usually the growth conditions rule out certain series of Bessel function as solutions. So there the growth conditions does not come for free as well.

$\endgroup$
1
  • $\begingroup$ This is true, but, what if I don't demand that my eigenfunctions lie in L^2 (I just want them to be smooth functions satisfying the differential equation). I mean, in the example I gave, if one can prove that every eigenfunction has a limit as $r\rightarrow \infty$, then it extends to a function on the sphere and hence the eigenvalues will be the same. $\endgroup$
    – Vamsi
    Oct 14, 2011 at 15:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.