# PlanetPhysics/Wave Function Space

\setcounter{section}{1}
The wave functions capable of representing a given quantum system belong to a function space which should be specified precisely. In order that the probability distribution of position $P\left(\mathbf {r} \right)$ and momentum $\Pi \left(\mathbf {p} \right)$ have meaning, it is necessary and sufficient that the normalization condition
   $N\equiv \int \left|\Psi \left(\mathbf {r} \right)\right|^{2}d\mathbf {r} =1$
could be applied to the wave function $\psi (r)$. We are thus led to the following definition of wave function space:
The wave functions of wave mechanics are the square integrable functions of configuration space, that is to say the functions $\psi (q_{1},\dots ,q_{R})$ such that the integral $\int \left|\psi (q_{1},\dots ,q_{R})\right|^{2}d\tau$ converges.
Where $d\tau$ denotes the volume element $dq_{1}dq_{2}\dots dq_{R}$. Also, note that the Fourier transform $\phi (p_{1},\dots ,p_{R})$ of such a function always exists: it is a square integrable function possessing the same normalization as $\psi (q_{1},\dots ,q_{R})$.
We could restrict the function space somewhat more by requiring the wave functions to be normalized to unity (eq. 1). Hwever, it turns out to be more convenient to relax this normalization condition; this can be done, as we shall see below, at the price of a slight modification in the definition of the statistical distributions and probabilities.
In the langage of mathematics, the function space defined above is a Hilbet space. It possesses indeed the properties characteristic of such a space, as shown below.
In the first place, it is a linear space . If $\psi _{1}$ and $\psi _{2}$ are two square integrable functions, their sum, the product of each by a complex number and, more enerally, any linear combinations
$\lambda _{1}\psi _{1}+\lambda _{2}\psi _{2}$
where $\lambda _{1}$ and $\lambda _{2}$ are arbitrarily chosen complex numbers, are also square-integrable functions.
In the second place, one can define a scalar product in that space. By definition, the scalar product of the function $\psi$ by the function $\phi$ is
   $<{\phi },{\psi }>\equiv \int \phi ^{*}(q_{1},\dots ,q_{R})\psi (q_{1},\dots ,q_{R})d\tau$
If it is zero, the functions $\phi$ and $\psi$ are said t be orthogonal . The norm $N_{\psi }$ of a funcion $\psi$ is the scalar product of this function by itself:
$N_{\psi }\equiv <\psi ,\psi >$
The fundamental properties of the scalar product are as follows:
a) the scalar product of $\phi$ and $\psi$ is the complex conjugate of the scalar product of $\psi$ by $\phi$, namely
   $<\psi ,\phi >=<\phi ,\psi >^{*}$
b) the scalar product of $\psi$ by $\phi$ is linear with respect to $\psi$, in other words
   $<\phi ,\lambda _{1}\psi _{1}+\lambda _{2}\psi _{2}>=\lambda _{1}<\phi ,\psi _{1}>+\lambda _{2}<\phi ,\psi _{2}>$
c) the norm of a function $\psi$ is a real, non-negative number:
   $<\psi ,\psi >\,\,\geq 0$
and if $<\psi ,\psi >=0$, we have necessarily $\psi =0$.
All the above properties are easily deduced from the very definition of the scalar product itself. From properties (a) and (b) one easily shows that the scalar product $<\phi ,\psi >$ does not depend linearly, but antilinearly on $\phi$:
   $<\lambda _{1}\phi _{1}+\lambda _{2}\phi _{2},\psi >=\lambda _{1}^{*}<\phi _{1},\psi >+\lambda _{2}^{*}<\phi _{2},\psi >$
From the properties (a),(b), and (c) follows a very important property of the scalar produt, the Schwarz inequality
   $\left|<\phi ,\psi >\right|\,\leq {\sqrt {<\phi ,\phi ><\psi ,\psi >}}$
Equality obtains when the functions $\phi$ and $\psi$ are multiples of each other, and only in that case. The Schwarz inequality insures that the integral (2) defining the scalar product convertges when the functions $\phi$ and $\psi$ are square integrable functions.
In addition to the fact that it is linear and that one can define a scalar product there, the space of square integrable functions possesses the property of being complete ; this is what allows us to identify it as a Hilbert space. To be complete means that any set of suare integrable functions satisfying the Cauchy criterion, converges (in the quadratic mean) toward a square integrable function. Conversely, any square integrable function can be considered as the limit (in the quadratic mean) of a converging series( in the sense of Cauchy) of square integrable functions (separability ).