next up previous
Next: Heisenberg Equation of Motion Up: Quantum Dynamics Previous: Introduction

Schrödinger Equation of Motion

Consider a system in a state $ A$ that evolves in time. At time $ t$ , the state of the system is represented by the ket $ \vert At\rangle$ . The label $ A$ is needed to distinguish this ket from any other ket ( $ \vert Bt\rangle$ , say) that is evolving in time. The label $ t$ is needed to distinguish the different states of the system at different times.

The final state of the system at time $ t$ is completely determined by its initial state at time $ t_0<t$ , plus the time interval $ t-t_0$ (assuming that the system is left undisturbed during this time interval). However, the final state only determines the direction of the final state ket. Even if we adopt the convention that all state kets have unit norms, the final ket is still not completely determined, because it can be multiplied by an arbitrary phase-factor. However, we expect that if a superposition relation holds for certain states at time $ t_0$ then the same relation should hold between the corresponding time-evolved states at time $ t$ , assuming that the system is left undisturbed between times $ t_0$ and $ t$ . In other words, if

$\displaystyle \vert Rt_0\rangle = \vert At_0\rangle + \vert B t_0\rangle$ (3.1)

for any three kets then we should have

$\displaystyle \vert Rt\rangle = \vert At\rangle + \vert B t\rangle.$ (3.2)

This rule determines the time-evolved kets to within a single arbitrary phase-factor to be multiplied into all of them. The evolved kets cannot be multiplied by individual phase-factors because this would invalidate the superposition relation at later times.

According to Equations (3.1) and (3.2), the final ket $ \vert Rt\rangle$ depends linearly on the initial ket $ \vert Rt_0\rangle$ . Thus, the final ket can be regarded as the result of some linear operator acting on the initial ket: that is,

$\displaystyle \vert Rt\rangle = T\, \vert Rt_0\rangle,$ (3.3)

where $ T$ is a linear operator that depends only on the times $ t$ and $ t_0$ . The arbitrary phase-factor by which all time-evolved kets may be multiplied results in $ T(t, t_0)$ being undetermined to an arbitrary multiplicative constant of modulus unity.

Because we have adopted a convention in which the norm of any state ket is unity, it make sense to define the time evolution operator $ T$ in such a manner that it preserves the length of any ket upon which it acts (i.e., if a ket is properly normalized at time $ t_0$ then it will remain normalized at all subsequent times $ t>t_0$ ). This is always possible, because the length of a ket possesses no physical significance. Thus, we require that

$\displaystyle \langle A t_0\vert A t_0\rangle =\langle A t\vert A t\rangle$ (3.4)

for any ket $ A$ , which immediately yields

$\displaystyle T^{\dag }\,T = 1.$ (3.5)

Hence, the time evolution operator $ T$ is unitary.

Up to now, the time evolution operator $ T$ looks very much like the spatial displacement operator $ D$ introduced in Section 2.8. However, there are some important differences between time evolution and spatial displacement. In general, we do expect the expectation value of a given observable $ \xi$ to evolve with time, even if the system is left in a state of undisturbed motion (after all, time evolution has no meaning unless something observable changes with time). The triple product $ \langle A\vert\,\xi\,\vert A\rangle$ can evolve either because the ket $ \vert A\rangle$ evolves and the operator $ \xi$ stays constant, the ket $ \vert A\rangle$ stays constant and the operator $ \xi$ evolves, or both the ket $ \vert A\rangle$ and the operator $ \xi$ evolve. Because we are already committed to evolving state kets, according to Equation (3.3), let us assume that the time evolution operator $ T$ can be chosen in such a manner that the operators representing the dynamical variables of the system do not evolve in time (unless they contain some specific time dependence).

We expect, from physical continuity, that if $ t\rightarrow t_0$ then $ \vert At\rangle\rightarrow \vert A t_0\rangle$ for any ket $ A$ . Thus, the limit

$\displaystyle \lim_{t\rightarrow t_0} \frac{\vert At\rangle - \vert At_0\rangle}{t-t_0} = \lim_{t\rightarrow t_0}\frac{T-1}{t-t_0}\,\vert At_0\rangle$ (3.6)

should exist. Note that this limit is simply the derivative of $ \vert A t_0\rangle$ with respect to $ t_0$ . Let

$\displaystyle \tau(t_0) = \lim_{t\rightarrow t_0}\frac{T(t, t_0)-1}{t-t_0}.$ (3.7)

It is easily demonstrated from Equation (3.5) that $ \tau$ is anti-Hermitian: that is,

$\displaystyle \tau^{\dag } + \tau = 0.$ (3.8)

The fact that $ T$ can be replaced by $ T\exp(\,{\rm i}\,\gamma)$ (where $ \gamma$ is real) implies that $ \tau$ is undetermined to an arbitrary imaginary additive constant. (See Section 2.8.) Let us define the Hermitian operator $ H(t_0)= {\rm i}\,\hbar \,\tau$ . This operator is undetermined to an arbitrary real additive constant. It follows from Equations (3.6) and (3.7) that

$\displaystyle {\rm i}\,\hbar \,\frac{d\vert At_0\rangle}{dt_0} = {\rm i}\,\hbar...
...0} = {\rm i}\,\hbar\,\tau(t_0)\,\vert At_0\rangle = H(t_0) \,\vert At_0\rangle.$ (3.9)

When written for general $ t$ , this equation becomes

$\displaystyle {\rm i}\,\hbar\, \frac{d\vert At\rangle}{dt} = H(t)\,\vert At\rangle.$ (3.10)

Equation (3.10) gives the general law for the time evolution of a state ket in a scheme in which the operators representing the dynamical variables remain fixed. This equation is denoted the Schrödinger equation of motion. It involves a Hermitian operator $ H(t)$ that is, presumably, a characteristic of the dynamical system under investigation.

We saw, in Section 2.8, that if the operator $ D_x(x, x_0)$ displaces the system along the $ x$ -axis from $ x_0$ to $ x$ then

$\displaystyle p_x = {\rm i}\,\hbar\,\lim_{x\rightarrow x_0} \frac{D_x(x,x_0)-1}{x-x_0},$ (3.11)

where $ p_x$ is the operator representing the momentum conjugate to $ x$ . Furthermore, we have just shown that if the operator $ T(t, t_0)$ evolves the system in time from $ t_0$ to $ t$ then

$\displaystyle H(t_0) = {\rm i}\,\hbar\,\lim_{t\rightarrow t_0} \frac{T(t, t_0)-1}{t-t_0}.$ (3.12)

Thus, the dynamical variable corresponding to the operator $ H$ stands to time $ t$ as the momentum $ p_x$ stands to the coordinate $ x$ . By analogy with classical physics, this suggests that $ H(t)$ is the operator representing the total energy of the system. (Recall that, in classical physics, if the equations of motion of a system are invariant under an $ x$ -displacement then this implies that the system conserves momentum in the $ x$ -direction. Likewise, if the equations of motion are invariant under a temporal displacement then this implies that the system conserves energy [55].) The operator $ H(t)$ is usually called the Hamiltonian of the system. The fact that the Hamiltonian is undetermined to an arbitrary real additive constant is related to the well-known phenomenon that energy is undetermined to an arbitrary additive constant in physics (i.e., the zero of potential energy is not well defined).

Substituting $ \vert At\rangle = T\, \vert At_0\rangle$ into Equation (3.10) yields

$\displaystyle {\rm i}\,\hbar \,\frac{d T}{dt}\,\vert At_0\rangle = H(t)\,T\,\vert At_0\rangle.$ (3.13)

Because this must hold for any initial state $ \vert A t_0\rangle$ , we conclude that

$\displaystyle {\rm i} \,\hbar\, \frac{dT}{dt} = H(t) \,T.$ (3.14)

This equation can be integrated to give

$\displaystyle T(t, t_0) = \exp\left[-\frac{{\rm i}}{\hbar} \int_{t_0}^t dt'\,H(t') \right],$ (3.15)

where use has been made of Equations (3.5) and (3.6). (Here, we assume that Hamiltonian operators evaluated at different times commute with one another.) The fact that $ H$ is undetermined to an arbitrary real additive constant leaves $ T$ undetermined to a phase-factor. Incidentally, in the previous analysis, time is not an operator (we cannot observe time, as such), it is just a parameter (or, more accurately, a continuous label).

next up previous
Next: Heisenberg Equation of Motion Up: Quantum Dynamics Previous: Introduction
Richard Fitzpatrick 2016-01-22