Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
[parent] wave function space (Topic)

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

$\displaystyle N \equiv \int \left \vert \Psi \left(\mathbf{r}\right) \right \vert^2 d\mathbf{r} = 1$ (1.1)

could be applied to the wave function $\psi(r)$. We are thus led to the following definition of wave function space:

Definition 1.1   The wave functions of wave mechanics are the square integrable functions of configuartion space, that is to say the functions $\psi(q_1,\dots,q_R)$ such that the integral $\int \left\vert \psi( q_1,\dots,q_R)\right\vert^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

$\displaystyle \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

$\displaystyle <{\phi},{\psi}> \equiv \int \phi^*(q_1,\dots,q_R) \psi (q_1,\dots,q_R) d\tau$ (1.2)

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:

$\displaystyle 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

$\displaystyle <\psi,\phi> = <\phi,\psi>^*$ (1.3)

b) the scalar product of $\psi$ by $\phi$ is linear with respect to $\psi$, in other words

$\displaystyle <\phi,\lambda_1\psi_1+\lambda_2\psi_2>=\lambda_1<\phi,\psi_1> + \lambda_2<\phi,\psi_2>$ (1.4)

c) the norm of a function $\psi$ is a real, non-negative number:

$\displaystyle <\psi,\psi> \,\, \ge 0$ (1.5)

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$:

$\displaystyle <\lambda_1 \phi_1+\lambda_2\phi_2,\psi>=\lambda_1^*<\phi_1,\psi> +\lambda_2^*<\phi_2,\psi>$ (1.6)

From the properties (a),(b), and (c) follows a very important property of the scalar produt, the Schwarz inequality

$\displaystyle \left\vert<\phi,\psi>\right\vert \, \le \sqrt{<\phi,\phi><\psi,\psi>}$ (1.7)

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).

References

[1] Messiah, Albert. "Quantum mechanics: Volume I." Amsterdam, North-Holland Pub. Co.; New York, Interscience Publishers, 1961-62.

This entry is a derivative of the Public domain work [1].



"wave function space" is owned by bloftin.

View style:

See Also: wave equations, quantum operator concept, constants of the motion time dependence of the statistical distribution, commutator algebra


This object's parent.

Cross-references: work, domain, quantum mechanics, Hilbert space, scalar, norm, scalar product, Fourier transform, volume, square, mechanics, momentum, position, system, functions, wave

This is version 3 of wave function space, born on 2009-07-18, modified 2009-07-18.
Object id is 818, canonical name is WaveFunctionSpace.
Accessed 879 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "