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.

I was reading through a textbook, and the statement was made that the inner products are guaranteed to exist if the eigenvalue spectrum of the operator is discrete. I have come across no support for this claim, and the basis for this claim was not immediately apparent after quite a long time of consideration on my behalf. Furthermore, while trying to deduce the answer, I was lead to the complement of my first question: why does a continuous eigenvalue spectrum of an operator lead to non-normalizable eigenfunctions (i.e. the inner products don't exist)?

share|improve this question
    
I think that this question is (also) suitable for a math forum. -you might get better answers. –  Hans-Peter E. Kristiansen Aug 9 '12 at 22:18
add comment

4 Answers

up vote 2 down vote accepted

For a complete explanation look at a functional analysis book.

But for discrete points of the spectrum one can explicitly write down the projection operator onto the corresponding eigenspace :

The resolvent of the operator has poles at the discrete points of the spectrum and the residue of such a pole is the projection operator onto the corresponding eigenspace , see http://en.wikipedia.org/wiki/Resolvent_formalism .

share|improve this answer
    
@Christoph also captured this in his post, and I would like to acknowledge that. All of these answers have helped me realize that the question I was asking does not have a simple answer like the author of the textbook I was reading implied; additionally, I think a full comprehension will require a few more years of study in math on my part. Thanks all. –  BielsNohr Aug 12 '12 at 9:31
    
Comment to the answer(v1): Most mathematical books on functional analysis would just treat (bounded and unbounded) operators as living on a (standard) Hilbert space (where the inner product exists by definition). OP's title question(v1) only becomes non-trivial if one goes beyond the framework of standard Hilbert spaces, e.g. in the context of rigged Hilbert spaces. –  Qmechanic Aug 12 '12 at 19:58
    
@Qmechanics: Question (v1) is also non-trivial on standard Hilbert spaces, since not every value of the spectrum is an eigenvalue. So one has to prove that isolated points of the spectrum are indeed eigenvalues. –  jjcale Aug 13 '12 at 17:48
    
The title question(v1) concerns just the eigenvalue spectrum (= point spectrum), not the full spectrum. –  Qmechanic Oct 2 '12 at 18:06
    
@BielsNohr I think your comment to Christoph describes a very wise approach. I find many things in physics likewise: deductions are made with no proof that would withstand a mathematician's scrutiny. Often a "physically reasonable postulate" is implicitly being made: here we make an implicit assumption that it is physically reasonable to restrict our theory to observables whose eigenfunctions have inner products well behaved in the way you describe. I wish more authors were a bit more forthright about their assumptions - there's nothing wrong with making them: it is physics, after all. –  WetSavannaAnimal aka Rod Vance Aug 20 '13 at 0:49
add comment

The spectrum of a bounded linear operator $A$ is by definition the set of numbers $\lambda$ where $A-\lambda$ is not invertible. In the finite dimensional case, this means $A-\lambda$ is neither injective nor surjective, and the former statement is just a fancy way of saying that there exists an eigenvector; as this eigenvector is by definition a part of the Hilbert space, it is in partiular normalizable.

However, in the infinite-dimensional case, injective and surjective are no longer equivalent and the spectrum decomposes into the point spectrum, the continuous spectrum and the residual spectrum.

The point spectrum is the part of the spectrum where the map is not injective (it might not be hard to prove that it is indeed discrete - too lazy to investigate right now). The residual spectrum is empty for normal operators (and thus in particular selfadjoint operators), which leaves the continuous spectrum where the map is injective (and thus there are no eigenvectors) but not surjective. The concept of eigenvector just doesn't make sense for the coninuous spectrum in this formalism.

The situation gets muddled (or, depending on your point of view, un-muddled) in the formalism of rigged Hilbert spaces, which is the proper framework for the treatment of unbounded operators: Rigged Hilbert spaces allow us to introduce 'eigenvectors' which aren't part of our Hilbert space. In particular, in case of the Hilbert space $L^2$, they can be non-normalizable functions (eg plane waves) or not functions at all (eg delta distributions).

share|improve this answer
add comment

Here is a partial answer the question (v1). OP would have to provide more mathematically precise details and assumptions in order to guarantee that an eigenvector (for an operator $H$ with discrete spectrum) has finite norm, i.e. is normalizable. For instance, within the framework of rigged Hilbert spaces.

Counterexample: Domain $D:=C^{\infty}(\mathbb{R})$=infinitely often differentiable complex-valued functions on the real line $\mathbb{R}$. Norm:

$$|| f||^2 ~:=~ \int_{\mathbb{R}} \! dx~|f(x)|^2~. $$

Let the operator $H:=0$ to be the zero-operator, taking all functions $f$ to the zero-function $0$. (Let us mention that the pair $(H,D)$ can be modified to become a selfadjoint operator, but skip the details here.) The spectrum is discrete

$${\rm spec}(H)=\{0\}.$$

Any function $f\in D\backslash\{0\}$ is an eigenfunction for $H$ with eigenvalue $0$, but the norm $|| f||^2$ is not necessarily finite.

share|improve this answer
1  
Answer to comments: 1. According to my reading of OP's question(v1), this answer does address the spirit of OP's question, namely whether it is possible or not to mathematically justify some physics lore OP had read. 2. The details concerning selfadjointness was skipped for brevity, since the domain of the adjoint operator was not specified. 3. An operator with discrete spectrum is allowed to have infinite-dimensional eigenspaces by definition. –  Qmechanic Aug 12 '12 at 14:34
1  
1. OP's statement only becomes a theorem if he specifies the pertinent assumptions. 2. Technically, if the domain $D(H^{\dagger})$ assigned to the adjoint operator $H^{\dagger}$ is different from the domain $D(H)$ of $H$, then $H$ is not selfadjoint (in the mathematical sense of the word). –  Qmechanic Aug 12 '12 at 17:37
1  
1. In the usual definition, a spectrum is the set of eigenvalues, i.e. a spectrum does not depend on whether the eigenvalues are degenerate or not. 2. A domain of an operator is not necessarily a Hilbert space. Moreover, if an inner product is available (as it is by definition of a Hilbert space), then the title question(v1) becomes a triviality. –  Qmechanic Aug 13 '12 at 9:36
1  
@Qmechanics : To "In the usual definition, a spectrum is the set of eigenvalues" : No, the spectrum of an operator A is the set of values $\lambda$ such that $\lambda$ - A is not bijective. –  jjcale Aug 13 '12 at 17:55
1  
@jjcale: Yes, you are right. I gave the definition of a point spectrum rather than a spectrum, and should have said so. –  Qmechanic Oct 2 '12 at 18:09
show 3 more comments

The complimentary question is the real question here. If you have a continuous set of vectors there could be a discontinuity, in which case the inner product would depend on how you approach the discontinuity. In that case we can say the inner product does not exist. This isn't a problem with a discrete set of vectors.

share|improve this answer
1  
I am still not entirely clear on the matter, and I believe you have simply shifted my question (I guess I am looking for something more fundamental than what you have given me). You said there "could" be a discontinuity... but what guarantees this (or is it a guarantee)? Does Hilbert space have inherent discontinuities when you go to the continuous level? (excuse my possible incorrect use of terminology math is not my forte). –  BielsNohr Aug 8 '12 at 13:43
add comment

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.