In one dimensional quantum mechanics, the state vectors are taken from the Hilbert space of complex valued “square integrable” functions, and the observables correspond to the so-called “Hermitian operators”. That is, if we let the state vectors be represented by and we say where the overline decoration denotes complex conjugation.
The state vectors are said to be “square integrable” which means, strictly speaking, that is finite.
However, there is another hidden assumption beyond the integral existing and being defined and finite. See if you can spot the assumption in the following remarks:
Suppose we wish to show that the operator is Hermitian. To do that we’d have to show that:
. This doesn’t seem too hard to do at first, if we use integration by parts:
. Now because the functions are square integrable, the term is zero (the functions must go to zero as tends to infinity) and so we have: . Now we use integration by parts again:
which is what we wanted to show.
Now did you catch the “hidden assumption”?
Here it is: it is possible for a function to be square integrable but to be unbounded!
If you wish to work this out for yourself, here is a hint: imagine a rectangle with height and base of width . Let be a function whose graph is a constant function of height for for all positive integers and zero elsewhere. Then has height over all of those intervals which means that the area enclosed by each rectangle (tall, but thin rectangles) is . Hence . is certainly square integrable but is unbounded!
It is easy to make into a continuous function; merely smooth by a bump function whose graph stays in the tall, thin rectangles. Hence can be made to be as smooth as desired.
So, mathematically speaking, to make these sorts of results work, we must make the assumption that and add that to the “square integrable” assumption.