Yes, I am aware of the ennui caused by this topic. We write schrodinger’s time independent equation, solve it, apply the boundary conditions, find the energy eigen states, normalize them and everybody is happy. If you are a physics major, then you must have done this countless times. But I always had a problem with this system because of its highly un-physical nature (I will come back to this later). That makes it a mathematical curiosity and if it is, then why not explore it to the full extent? Please note that in this post I will use rigorous mathematics and will define terms in proper mathematical language (I hope this post will serve as my notes for future reference). Here one can also appreciate the aesthetics of Linear Algebra.

The question I had been asking myself was, “Why do we always work in position representation? What is wrong in working in momentum representation (for this particular problem)?”. The curiosity to find the answers compelled me to plunge into the depths that are generally not touched and mentioned in physics literature.

The conventional Quantum Mechanics (for this problem) is performed on the Hilbert Space which I will denote with . Here (read L two) represents a functional space of square integrable functions and represents the range of parameter (position). I am interested in working with and want to obtain energy eigen states in terms of the wavefunction . I dont know the range of the parameter (momentum). I can’t take it as whole real line (because of the bounded nature of position). Parseval-Plancherel theorem in not applicable here. I must first find the nature of momentum operator. Then maybe its spectrum might give me the idea about the range of momentum.

Just like a function has a domain, the linear operator on Hilbert space has a domain. The formal definition of the operator is (this definition is for general Hilbert Spaces and not restricted to L two spaces)

An operator on the Hilbert space is a linear map : such that (where ).

represents the linear subspace of . This subspace is the domain of the operator. *Strictly speaking*, Hilbert space operator is the pair which is the specification of the operation with the domain on which the operation is defined. Now two operators are said to be equal if and only if

for all .

Let us consider position operator denoted by . The operation is defined as . But given the boundary conditions, the domain is defined as

and .

As mentioned earlier, the Quantum Mechanics is performed on the Hilbert Space of square integrable functions (denoted by ), we certainly would not want a mapping which blows up the square integrability. Hence it is important to put the restriction that the output be which translates into . So, in words, the domain of is the set of all the square integrable functions such that

- they satisfy boundary conditions
- the output of linear map should be finitely square integrable

Now let us define momentum operator . Quantum Mechanics defines the operation of this operator (on a function) as

Certainly, we would like to have a set of those functions which besides satisfying boundary condition, also have square integrable derivatives. In formal language

and .

Now let us see the definition of the adjoint of an operator which means we have to define the operation and domain of the adjoint of operator (let’s denote it by ).

such that

This definition says that the domain of is set of (square integrable) such that there exists (again square integrable) which makes the equation true for all the belonging to domain of operator .

For a given , depends on and . The operation of is defined as

.

So we, now, have a full working definition of the adjoint of a operator. Let’s find the adjoint of . The inner product equation must hold. So

.

On integrating by parts, the RHS

.

For this equation to be true we must have

or

.

The most curious and interesting point is that the function does’t need to satisfy boundary condition (of infinite square well) since is zero as already satisfies the boundary condition. Clearly the has no restriction save square integrability which shows that the set has more elements than set . The formal definition of is

.

It can be seen that . Thus i.e* the momentum operator is not self-adjoint*. On the other hand it is quiet simple to show that i.e *the position operator is self-adjoint.*

Now let us see the definition of Hermitian operators.

The operator on is Hermitian if for all

Since operates on both the functions, needless to say, they must belong to the domain of the operator. Let us use the definition of adjoint operators. Operator is such that which implies . Thus if the operation of the operator is same as that of its adjoint, then it is Hermitian operator. The domain of both the operators need not be same.

We have seen that the specification of both and is same . *The momentum operator is Hermitian* for this case but not self-adjoint. It is easy to note that all the self-adjoint operators are Hermitian but *vice-versa* is not true.

Now the spectral theorem of linear operators states that

If the Hilbert space operator A is self-adjoint, then its spectrum is real and the eigenvectors associated to different eigenvalues are mutually orthogonal; moreover, the eigenvectors together with the generalized eigenvectors yield a complete system of (generalized) vectors of the Hilbert space.

This property does not hold for only Hermitian operators.

As the momentum operator, here, is only Hermitian its eigen vectors won’t form complete basis. Thus there is no use in solving this problem in momentum space. Moreover, space wont have continuous momentum (because of quantization imparted by boundary conditions).

Normally one assumes that the eigen vectors of an observable forms a complete set of basis. This means that observables must be represented by self-adjoint operators. From above we note that *momentum operator is not an observable for this problem! *

Absurd, isn’t it? Well, the boundary condition itself gives us the hint of the highly non-physical nature of the problem. The “non self-adjointness” of momentum operator further shows us how the infinite potential square well is a mathematical curiosity with tenuous nexus to real physical systems.

Please mention all your references too so that readers can follow up.

Thanks for pointing that out Aiman. I have consulted from

1) http://arxiv.org/abs/quant-ph/9907069 (an excellent paper I would recommend to undergraduates)

2) Introductory Functional Analysis With Applications [Kreyszig] (an interesting text I would suggest to study in holidays)

Some pointers from dextercioby (from PF http://www.physicsforums.com/showthread.php?p=4559460#post4559460).

1. the infinite sq. well is a non-physical example. There are no infinities in real life systems. Nonetheless, it serves as the perfect example to the fact that a theoretical resolution of a (non-)physical problem should always be done with the maximum knowledge of mathematics (in this case the theory of unbounded operators on Hilbert spaces).

2. the reason that the momentum operator is symmetric and not self-adjoint relies with the physical boundary condition: psi (outside the box) = psi (left edge of the box) = psi (right edge of the box) = 0. If you relax the boundary condition to psi (left edge of the box) = psi (right edge of the box) =/= 0, then the momentum operator becomes self-adjoint. This would be the case for the finite square well, however (which is in fact a physically correct example).

3. it’s interesting to notice that 2 unphysical situations (the free particle on the real line and the free particle in an infinite square well) are usually presented in a non-mathematical manner to students to illustrate that the energy levels of the particle are either continous, or discrete. The real value of these 2 examples is actually to prove that functional analysis is the root of all quantum mechanical calculations.