next up previous
Next: Momentum Representation Up: Position and Momentum Previous: Schrödinger Representation

Generalized Schrödinger Representation

In the preceding section, we developed the Schrödinger representation for the case of a single operator $ x$ corresponding to a classical Cartesian coordinate. However, this scheme can easily be extended. Consider a system with $ N$ generalized coordinates, $ q_1\cdots q_N$ , which can all be simultaneously measured. These are represented as $ N$ commuting operators, $ q_1\cdots q_N$ , each with a continuous range of eigenvalues, $ q_1'\cdots q_N'$ . Ket space is conveniently spanned by the simultaneous eigenkets of $ q_1\cdots q_N$ , which are denoted $ \vert q_1'\cdots q_N'\rangle$ . These eigenkets must form a complete set, otherwise the $ q_1\cdots q_N$ would not be simultaneously observable.

The orthogonality condition for the eigenkets [i.e., the generalization of Equation (2.26)] is

$\displaystyle \langle q_1'\cdots q_N'\vert q_1''\cdots q_N''\rangle = \delta(q_1'-q_1'')\,\delta(q_2'-q_2'')\cdots \delta(q_N'-q_N'').$ (2.59)

The completeness condition [i.e., the generalization of Equation (2.27)] is

$\displaystyle \int_{-\infty}^{+\infty} \cdots\int_{-\infty}^{+\infty} dq_1' \cdots dq_N'\, \vert q_1'\cdots q_N'\rangle \langle q_1'\cdots q_N'\vert = 1.$ (2.60)

The standard ket $ \rangle$ is defined such that

$\displaystyle \langle q_1'\cdots q_N'\vert\rangle = 1.$ (2.61)

The standard bra $ \langle$ is the dual of the standard ket. A general state ket is written

$\displaystyle \psi(q_1\cdots q_N)\rangle.$ (2.62)

The associated wavefunction is

$\displaystyle \psi(q_1'\cdots q_N') = \langle q_1'\cdots q_N'\vert\psi\rangle.$ (2.63)

Likewise, a general state bra is written

$\displaystyle \langle \phi(q_1\cdots q_N),$ (2.64)


$\displaystyle \phi(q_1'\cdots q_N') = \langle \phi\vert q_1'\cdots q_N'\rangle.$ (2.65)

The probability of an observation of the system simultaneously finding the first coordinate in the range $ q_1'$ to $ q_1'+dq_1'$ , the second coordinate in the range $ q_2'$ to $ q_2'
+dq_2'$ , et cetera, is

$\displaystyle P(q_1'\cdots q_N'; dq_1'\cdots dq_N') = \vert\psi(q_1'\cdots q_N')\vert^{\,2}\,dq_1'\cdots dq_N'.$ (2.66)

Finally, the normalization condition for a physical wavefunction is

$\displaystyle \int_{-\infty}^{+\infty} \cdots \int_{-\infty}^{+\infty}dq_1'\cdots dq_N' \, \vert\psi(q_1'\cdots q_N')\vert^{\,2}= 1.$ (2.67)

The $ N$ linear operators $ \partial/\partial q_i$ (where $ i$ runs from 1 to $ N$ ) are defined

$\displaystyle \frac{\partial}{\partial q_i} \,\psi\rangle =\frac{\partial\psi}{\partial q_i} \rangle.$ (2.68)

These linear operators can also act on bras (provided the associated wavefunctions are square integrable) in accordance with

$\displaystyle \langle \phi\, \frac{\partial }{\partial q_i} = -\langle \frac{\partial \phi} {\partial q_i}.$ (2.69)

[See Equation (2.42).] Corresponding to Equation (2.46), we can derive the commutation relations

$\displaystyle \frac{\partial}{\partial q_i}\, q_j - q_j \,\frac{\partial}{\partial q_i} = \delta_{ij}.$ (2.70)

It is also clear that

$\displaystyle \frac{\partial}{\partial q_i}\,\frac{\partial}{\partial q_j}\, \p...
... \frac{\partial }{\partial q_j} \,\frac{\partial }{\partial q_i}\, \psi\rangle,$ (2.71)

showing that

$\displaystyle \frac{\partial}{\partial q_i}\,\frac{\partial}{\partial q_j} = \frac{\partial }{\partial q_j}\, \frac{\partial }{\partial q_i}.$ (2.72)

It can be seen, by comparison with Equations (2.23)-(2.25), that the linear operators $ -{\rm i}\,\hbar\, \partial/\partial q_i$ satisfy the same commutation relations with the $ q$ 's and with each other that the $ p$ 's do. The most general conclusion that we can draw from this coincidence of commutation relations is

$\displaystyle p_i = -{\rm i} \,\hbar \frac{\partial}{\partial q_i} + \frac{\partial F(q_1\cdots q_N) }{\partial q_i}.$ (2.73)

However, the function $ F$ can be transformed away via a suitable readjustment of the phases of the basis eigenkets [32]. (See Section 2.4.) Thus, we can always construct a set of simultaneous eigenkets of $ q_1\cdots q_N$ for which

$\displaystyle p_i = -{\rm i}\,\hbar \frac{\partial}{\partial q_i}.$ (2.74)

This is the generalized Schrödinger representation.

It follows from Equations (2.61), (2.68), and (2.74) that

$\displaystyle p_i \rangle = 0.$ (2.75)

Thus, the standard ket in the Schrödinger representation is a simultaneous eigenket of all the momentum operators belonging to the eigenvalue zero. Note that

$\displaystyle \langle q_1'\cdots q_N'\vert\,\frac{\partial}{\partial q_i}\, \ps...
...'} = \frac{\partial } {\partial q_i'}\,\langle q_1'\cdots q_N'\vert\psi\rangle.$ (2.76)


$\displaystyle \langle q_1'\cdots q_N'\vert\, \frac{\partial}{\partial q_i} = \frac{\partial}{\partial q_i'}\, \langle q_1'\cdots q_N'\vert,$ (2.77)

so that

$\displaystyle \langle q_1'\cdots q_N'\vert\, p_i = -{\rm i}\,\hbar\,\frac{\partial}{\partial q_i'}\,\langle q_1'\cdots q_N'\vert.$ (2.78)

The dual of the previous equation gives

$\displaystyle p_i\,\vert q_1'\cdots q_N'\rangle = {\rm i}\,\hbar\,\frac{\partial}{\partial q_i'}\, \vert q_1'\cdots q_N'\rangle.$ (2.79)

next up previous
Next: Momentum Representation Up: Position and Momentum Previous: Schrödinger Representation
Richard Fitzpatrick 2016-01-22