Editing Hamiltonian (quantum mechanics)

{{short description|Quantum operator for the sum of energies of a system}}

In [[quantum mechanics]], the '''Hamiltonian''' of a system is an [[Operator (physics)|operator]] corresponding to the total energy of that system, including both [[kinetic energy]] and [[potential energy]]. Its [[Spectrum of an operator|spectrum]], the system's ''energy spectrum'' or its set of ''energy eigenvalues'', is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and [[time-evolution operator|time-evolution]] of a system, it is of fundamental importance in most [[Mathematical formulation of quantum mechanics|formulations of quantum theory]].

The Hamiltonian is named after [[William Rowan Hamilton]], who developed a revolutionary reformulation of [[Newtonian mechanics]], known as [[Hamiltonian mechanics]], which was historically important to the development of quantum physics. Similar to [[vector notation]], it is typically denoted by <math>\hat{H}</math>, where the hat indicates that it is an operator. It can also be written as <math>H</math> or <math>\check{H}</math>.

==Introduction==

{{main|Operator (physics)#Operators in quantum mechanics}}

The Hamiltonian of a system represents the total [[energy]] of the system; that is, the sum of the kinetic and potential energies of all particles associated with the system. The Hamiltonian takes different forms and can be simplified in some cases by taking into account the concrete characteristics of the system under analysis, such as single or several particles in the system, interaction between particles, kind of potential energy, time varying potential or time independent one.

==Schrödinger Hamiltonian==

===One particle===

By analogy with [[Hamiltonian mechanics|classical mechanics]], the Hamiltonian is commonly expressed as the sum of [[Hermitian operators|operators]] corresponding to the [[kinetic energy|kinetic]] and [[potential energy|potential]] energies of a system in the form

<math display="block"> \hat{H} = \hat{T} + \hat{V}, </math>

where
<math display="block"> \hat{V} = V = V(\mathbf{r},t) ,</math>
is the [[potential energy]] operator and
<math display="block">\hat{T} = \frac{\mathbf{\hat{p}}\cdot\mathbf{\hat{p}}}{2m} = \frac{\hat{p}^2}{2m} = -\frac{\hbar^2}{2m}\nabla^2,</math>
is the [[kinetic energy]] operator in which <math>m</math> is the [[mass]] of the particle, the dot denotes the [[dot product]] of vectors, and
<math display="block"> \hat{p} = -i\hbar\nabla ,</math>
is the [[momentum operator]] where a <math>\nabla</math> is the [[del]] [[operator (mathematics)|operator]]. The [[dot product]] of <math>\nabla</math> with itself is the [[Laplacian]] <math>\nabla^2</math>. In three dimensions using [[Cartesian coordinates]] the Laplace operator is
<math display="block">\nabla^2 = \frac{\partial^2}{ {\partial x}^2} + \frac{\partial^2}{ {\partial y}^2} + \frac{\partial^2}{ {\partial z}^2}</math>

Although this is not the technical definition of the [[Hamiltonian mechanics|Hamiltonian in classical mechanics]], it is the form it most commonly takes. Combining these yields the form used in the [[Schrödinger equation]]:

<math display="block">\begin{align}
\hat{H} & = \hat{T} + \hat{V} \\[6pt]
 & = \frac{\mathbf{\hat{p}}\cdot\mathbf{\hat{p}}}{2m}+ V(\mathbf{r},t) \\[6pt]
 & = -\frac{\hbar^2}{2m}\nabla^2+ V(\mathbf{r},t)
\end{align}</math>

which allows one to apply the Hamiltonian to systems described by a [[wave function]] <math>\Psi(\mathbf{r}, t)</math>. This is the approach commonly taken in introductory treatments of quantum mechanics, using the formalism of Schrödinger's wave mechanics.

One can also make substitutions to certain variables to fit specific cases, such as some involving electromagnetic fields.

==== Expectation value ====
It can be shown that the expectation value of the Hamiltonian which gives the energy expectation value will always be greater than or equal to the minimum potential of the system.

Consider computing the expectation value of kinetic energy:

<math display="block">\begin{align}
T &= -\frac{\hbar^2}{2m} \int_{-\infty}^{+\infty} \psi^* \frac{d^2\psi}{dx^2} \, dx \\[1ex]
&=-\frac{\hbar^2}{2m} \left( {\left[ \psi'(x) \psi^*(x) \right]}_{-\infty}^{+\infty} - \int_{-\infty}^{+\infty} \frac{d\psi}{dx} \frac{d\psi^*}{dx} \, dx \right) \\[1ex]
&= \frac{\hbar^2}{2m} \int_{-\infty}^{+\infty} \left|\frac{d\psi}{dx}  \right|^2 \, dx  \geq 0
\end{align}</math>

Hence the expectation value of kinetic energy is always non-negative. This result can be used to calculate the expectation value of the total energy which is given for a normalized wavefunction as:

<math display="block">E = T + \langle V(x) \rangle = T + \int_{-\infty}^{+\infty} V(x) |\psi(x)|^2 \, dx \geq  V_{\text{min}}(x) \int_{-\infty}^{+\infty} |\psi(x)|^2 \, dx  \geq V_{\text{min}}(x)  </math>

which complete the proof. Similarly, the condition can be generalized to any higher dimensions using [[divergence theorem]].

===Many particles===

The formalism can be extended to <math>N</math> particles:

<math display="block"> \hat{H} = \sum_{n=1}^N \hat{T}_n + \hat{V} </math>

where
<math display="block"> \hat{V} = V(\mathbf{r}_1,\mathbf{r}_2,\ldots, \mathbf{r}_N,t) ,</math>
is the potential energy function, now a function of the spatial configuration of the system and time (a particular set of spatial positions at some instant of time defines a configuration) and
<math display="block"> \hat{T}_n = \frac{\mathbf{\hat{p}}_n\cdot\mathbf{\hat{p}}_n}{2m_n} = -\frac{\hbar^2}{2m_n}\nabla_n^2</math>
is the kinetic energy operator of particle <math>n</math>, <math>\nabla_n</math> is the gradient for particle <math>n</math>, and <math>\nabla_n^2</math> is the Laplacian for particle {{mvar|n}}:
<math display="block">\nabla_n^2 = \frac{\partial^2}{\partial x_n^2} + \frac{\partial^2}{\partial y_n^2} + \frac{\partial^2}{\partial z_n^2},</math>

Combining these yields the Schrödinger Hamiltonian for the <math>N</math>-particle case:

<math display="block">\begin{align}
\hat{H} & = \sum_{n=1}^N \hat{T}_n + \hat{V} \\[6pt]
 & = \sum_{n=1}^N \frac{\mathbf{\hat{p}}_n\cdot\mathbf{\hat{p}}_n}{2m_n}+ V(\mathbf{r}_1,\mathbf{r}_2,\ldots,\mathbf{r}_N,t) \\[6pt]
 & = -\frac{\hbar^2}{2}\sum_{n=1}^N \frac{1}{m_n}\nabla_n^2 + V(\mathbf{r}_1,\mathbf{r}_2,\ldots,\mathbf{r}_N,t)
\end{align} </math>

However, complications can arise in the [[many-body problem]]. Since the potential energy depends on the spatial arrangement of the particles, the kinetic energy will also depend on the spatial configuration to conserve energy. The motion due to any one particle will vary due to the motion of all the other particles in the system. For this reason cross terms for kinetic energy may appear in the Hamiltonian; a mix of the gradients for two particles:

<math display="block">-\frac{\hbar^2}{2M}\nabla_i\cdot\nabla_j </math>

where <math>M</math> denotes the mass of the collection of particles resulting in this extra kinetic energy. Terms of this form are known as ''mass polarization terms'', and appear in the Hamiltonian of many-electron atoms (see below).

For <math>N</math> interacting particles, i.e. particles which interact mutually and constitute a many-body situation, the potential energy function <math>V</math> is ''not'' simply a sum of the separate potentials (and certainly not a product, as this is dimensionally incorrect). The potential energy function can only be written as above: a function of all the spatial positions of each particle.

For non-interacting particles, i.e. particles which do not interact mutually and move independently, the potential of the system is the sum of the separate potential energy for each particle,<ref name="QuantumPhysics">{{cite book |title=Quantum Physics of Atoms, Molecules, Solids, Nuclei and Particles |url=https://archive.org/details/quantumphysicsof00eisb |url-access=registration |edition=2nd |first1=R. |last1=Resnick |first2=R. |last2=Eisberg |publisher=John Wiley & Sons |year=1985 |isbn=0-471-87373-X }}</ref> that is

<math display="block"> V = \sum_{i=1}^N V(\mathbf{r}_i,t) = V(\mathbf{r}_1,t) + V(\mathbf{r}_2,t) + \cdots + V(\mathbf{r}_N,t) </math>

The general form of the Hamiltonian in this case is:

<math display="block">\begin{align}
 \hat{H} & = -\frac{\hbar^2}{2}\sum_{i=1}^N \frac{1}{m_i}\nabla_i^2 + \sum_{i=1}^N V_i \\[6pt]
 & = \sum_{i=1}^N \left(-\frac{\hbar^2}{2m_i}\nabla_i^2 + V_i \right) \\[6pt]
 & = \sum_{i=1}^N \hat{H}_i
\end{align}</math>

where the sum is taken over all particles and their corresponding potentials; the result is that the Hamiltonian of the system is the sum of the separate Hamiltonians for each particle. This is an idealized situation—in practice the particles are almost always influenced by some potential, and there are many-body interactions. One illustrative example of a two-body interaction where this form would not apply is for electrostatic potentials due to charged particles, because they interact with each other by Coulomb interaction (electrostatic force), as shown below.

==Schrödinger equation==

{{Main|Schrödinger equation}}
The Hamiltonian generates the time evolution of quantum states. If <math> \left| \psi (t) \right\rangle</math> is the state of the system at time <math>t</math>, then

<math display="block"> H \left| \psi (t) \right\rangle = i \hbar {d\over\ d t} \left| \psi (t) \right\rangle.</math>

This equation is the [[Schrödinger equation]]. It takes the same form as the [[Hamilton–Jacobi equation]], which is one of the reasons <math>H</math> is also called the Hamiltonian. Given the state at some initial time (<math>t = 0</math>), we can solve it to obtain the state at any subsequent time. In particular, if <math>H</math> is independent of time, then

<math display="block"> \left| \psi (t) \right\rangle = e^{-iHt/\hbar} \left| \psi (0) \right\rangle.</math>

The [[Matrix exponential|exponential]] operator on the right hand side of the Schrödinger equation is usually defined by the corresponding [[Exponential function#Formal definition|power series]] in <math>H</math>. One might notice that taking polynomials or power series of [[unbounded operator]]s that are not defined everywhere may not make mathematical sense. Rigorously, to take functions of unbounded operators, a [[functional calculus]] is required. In the case of the exponential function, the [[continuous functional calculus|continuous]], or just the [[holomorphic functional calculus]] suffices. We note again, however, that for common calculations the physicists' formulation is quite sufficient.

By the *-[[homomorphism]] property of the functional calculus, the operator

<math display="block"> U = e^{-iHt/\hbar} </math>

is a [[unitary operator]]. It is the ''[[time evolution]] operator'' or ''[[propagator]]'' of a closed quantum system. If the Hamiltonian is time-independent, <math>\{U(t)\}</math> form a [[Stone's theorem on one-parameter unitary groups|one parameter unitary group]] (more than a [[C0 semigroup|semigroup]]); this gives rise to the physical principle of [[detailed balance]].

==Dirac formalism==

However, in the [[bra–ket notation|more general formalism]] of [[Paul Dirac|Dirac]], the Hamiltonian is typically implemented as an operator on a [[Hilbert space]] in the following way:

The [[Quantum_state#Basis_states_of_one-particle_systems|eigenkets]] of <math>H</math>, denoted <math>\left| a \right\rang</math>, provide an [[orthonormal basis]] for the Hilbert space. The spectrum of allowed energy levels of the system is given by the set of eigenvalues, denoted <math>\{ E_a \}</math>, solving the equation:

<math display="block"> H \left| a \right\rangle = E_a \left| a \right\rangle.</math>

Since <math>H</math> is a [[Hermitian operator]], the energy is always a [[real number]].

From a mathematically rigorous point of view, care must be taken with the above assumptions. Operators on infinite-dimensional Hilbert spaces need not have eigenvalues (the set of eigenvalues does not necessarily coincide with the [[spectrum of an operator]]). However, all routine quantum mechanical calculations can be done using the physical formulation.{{clarify|date=December 2011}}

==Expressions for the Hamiltonian==

Following are expressions for the Hamiltonian in a number of situations.<ref>{{cite book |title=Quanta: A Handbook of Concepts |first=P. W. |last=Atkins |publisher=Oxford University Press |year=1974 |isbn=0-19-855493-1 }}</ref> Typical ways to classify the expressions are the number of particles, number of dimensions, and the nature of the potential energy function—importantly space and time dependence. Masses are denoted by <math>m</math>, and charges by <math>q</math>.

===Free particle===

The particle is not bound by any potential energy, so the potential is zero and this Hamiltonian is the simplest. For one dimension:

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} </math>

and in higher dimensions:

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\nabla^2 </math>

===Constant-potential well===

For a particle in a region of constant potential <math>V = V_0</math> (no dependence on space or time), in one dimension, the Hamiltonian is:

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + V_0 </math>

in three dimensions

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\nabla^2 + V_0 </math>

This applies to the elementary "[[particle in a box]]" problem, and [[step potential]]s.

===Simple harmonic oscillator===

For a [[simple harmonic oscillator]] in one dimension, the potential varies with position (but not time), according to:

<math display="block">V = \frac{k}{2}x^2 = \frac{m\omega^2}{2}x^2  </math>

where the [[angular frequency]] <math>\omega</math>, effective [[spring constant]] <math>k</math>, and mass <math>m</math> of the oscillator satisfy:

<math display="block">\omega^2 = \frac{k}{m}</math>

so the Hamiltonian is:

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \frac{m\omega^2}{2}x^2 </math>

For three dimensions, this becomes

<math display="block">\hat{H} = -\frac{\hbar^2}{2m}\nabla^2 + \frac{m\omega^2}{2} r^2 </math>

where the three-dimensional position vector <math>\mathbf{r}</math> using Cartesian coordinates is <math>(x, y, z)</math>, its magnitude is

<math display="block">r^2 = \mathbf{r}\cdot\mathbf{r} = |\mathbf{r}|^2 = x^2+y^2+z^2 </math>

Writing the Hamiltonian out in full shows it is simply the sum of the one-dimensional Hamiltonians in each direction:

<math display="block">\begin{align}
\hat{H} & = -\frac{\hbar^2}{2m}\left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2} \right) + \frac{m\omega^2}{2} \left(x^2 + y^2 + z^2\right) \\[6pt]
& = \left(-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \frac{m\omega^2}{2}x^2\right) + \left(-\frac{\hbar^2}{2m} \frac{\partial^2}{\partial y^2} + \frac{m\omega^2}{2}y^2 \right ) + \left(- \frac{\hbar^2}{2m}\frac{\partial^2}{\partial z^2} +\frac{m\omega^2}{2}z^2 \right)
\end{align}</math>

===Rigid rotor===

For a [[rigid rotor]]—i.e., system of particles which can rotate freely about any axes, not bound in any potential (such as free molecules with negligible vibrational [[Degrees of freedom (physics and chemistry)|degrees of freedom]], say due to [[double bond|double]] or [[triple bond|triple]] [[chemical bond]]s), the Hamiltonian is:

<math display="block"> \hat{H} = -\frac{\hbar^2}{2I_{xx}}\hat{J}_x^2 -\frac{\hbar^2}{2I_{yy}}\hat{J}_y^2 -\frac{\hbar^2}{2I_{zz}}\hat{J}_z^2 </math>

where <math>I_{xx}</math>, <math>I_{yy}</math>, and <math>I_{zz}</math> are the [[moment of inertia]] components (technically the diagonal elements of the [[Moment of inertia#Moment of inertia tensor|moment of inertia tensor]]), and {{nowrap|<math> \hat{J}_x</math>,}} {{nowrap|<math> \hat{J}_y</math>,}} and <math> \hat{J}_z</math> are the total [[angular momentum]] operators (components), about the <math>x</math>, <math>y</math>, and <math>z</math> axes respectively.

===Electrostatic (Coulomb) potential===

The [[Coulomb potential energy]] for two point charges <math>q_1</math> and <math>q_2</math> (i.e., those that have no spatial extent independently), in three dimensions, is (in [[SI units]]—rather than [[Gaussian units]] which are frequently used in [[electromagnetism]]):

<math display="block">V = \frac{q_1q_2}{4\pi\varepsilon_0 |\mathbf{r}|}</math>

However, this is only the potential for one point charge due to another. If there are many charged particles, each charge has a potential energy due to every other point charge (except itself). For <math>N</math> charges, the potential energy of charge <math>q_j</math> due to all other charges is (see also [[Electric potential energy#Electrostatic potential energy stored in a system of point charges|Electrostatic potential energy stored in a configuration of discrete point charges]]):<ref>{{cite book |title=Electromagnetism |url=https://archive.org/details/electromagnetism0000gran |url-access=registration |edition=2nd |first1=I. S. |last1=Grant |first2=W. R. |last2=Phillips |series=Manchester Physics Series |year=2008 |isbn=978-0-471-92712-9 }}</ref>

<math display="block">V_j = \frac{1}{2}\sum_{i\neq j} q_i \phi(\mathbf{r}_i)=\frac{1}{8\pi\varepsilon_0}\sum_{i\neq j} \frac{q_iq_j}{|\mathbf{r}_i-\mathbf{r}_j|}</math>

where <math>\phi(\mathbf{r}_i)</math> is the electrostatic potential of charge <math>q_j</math> at <math>\mathbf{r}_i</math>. The total potential of the system is then the sum over <math>j</math>:

<math display="block">V = \frac{1}{8\pi\varepsilon_0}\sum_{j=1}^N\sum_{i\neq j} \frac{q_iq_j}{|\mathbf{r}_i-\mathbf{r}_j|}</math>

so the Hamiltonian is:

<math display="block">\begin{align}
\hat{H} & = -\frac{\hbar^2}{2}\sum_{j=1}^N\frac{1}{m_j}\nabla_j^2 + \frac{1}{8\pi\varepsilon_0}\sum_{j=1}^N\sum_{i\neq j} \frac{q_iq_j}{|\mathbf{r}_i-\mathbf{r}_j|} \\
 & = \sum_{j=1}^N \left ( -\frac{\hbar^2}{2m_j}\nabla_j^2 + \frac{1}{8\pi\varepsilon_0}\sum_{i\neq j} \frac{q_iq_j}{|\mathbf{r}_i-\mathbf{r}_j|}\right) \\
\end{align}</math>

===Electric dipole in an electric field===

For an [[electric dipole moment]] <math>\mathbf{d}</math> constituting charges of magnitude <math>q</math>, in a uniform, [[electrostatic field]] (time-independent) <math>\mathbf{E}</math>, positioned in one place, the potential is:

<math display="block">V = -\mathbf{\hat{d}}\cdot\mathbf{E} </math>

the dipole moment itself is the operator

<math display="block">\mathbf{\hat{d}} = q\mathbf{\hat{r}} </math>

Since the particle is stationary, there is no translational kinetic energy of the dipole, so the Hamiltonian of the dipole is just the potential energy:

<math display="block">\hat{H} = -\mathbf{\hat{d}}\cdot\mathbf{E} = -q\mathbf{\hat{r}}\cdot\mathbf{E}</math>

===Magnetic dipole in a magnetic field===

For a magnetic dipole moment <math>\boldsymbol{\mu}</math> in a uniform, magnetostatic field (time-independent) <math>\mathbf{B}</math>, positioned in one place, the potential is:

<math display="block">V = -\boldsymbol{\mu}\cdot\mathbf{B} </math>

Since the particle is stationary, there is no translational kinetic energy of the dipole, so the Hamiltonian of the dipole is just the potential energy:

<math display="block">\hat{H} = -\boldsymbol{\mu}\cdot\mathbf{B} </math>

For a [[spin-1/2|spin-{{frac|1|2}}]] particle, the corresponding spin magnetic moment is:<ref>{{cite book |title=Physics of Atoms and Molecules |first1=B. H. |last1=Bransden |first2=C. J. |last2=Joachain |publisher=Longman |year=1983 |isbn=0-582-44401-2 }}</ref>

<math display="block">\boldsymbol{\mu}_S = \frac{g_s e}{2m} \mathbf{S} </math>

where <math>g_s</math> is the "spin [[g-factor (physics)|g-factor]]" (not to be confused with the [[gyromagnetic ratio]]), <math>e</math> is the electron charge, <math>\mathbf{S}</math> is the [[Spin (physics)#Pauli matrices and spin operators|spin operator]] vector, whose components are the [[Pauli matrices]], hence

<math display="block">\hat{H} = \frac{g_s e}{2m} \mathbf{S} \cdot\mathbf{B} </math>

===Charged particle in an electromagnetic field===

For a particle with mass <math>m</math> and charge <math>q</math> in an electromagnetic field, described by the [[scalar potential]] <math>\phi</math> and [[vector potential]] <math>\mathbf{A}</math>, there are two parts to the Hamiltonian to substitute for.<ref name="QuantumPhysics" /> The canonical momentum operator <math>\mathbf{\hat{p}}</math>, which includes a contribution from the <math>\mathbf{A}</math> field and fulfils the [[canonical commutation relation]], must be quantized;

<math display="block">\mathbf{\hat{p}} = m\dot{\mathbf{r}} + q\mathbf{A} ,</math>

where <math>m\dot{\mathbf{r}}</math> is the [[kinetic momentum]]. The quantization prescription reads

<math display="block">\mathbf{\hat{p}} = -i\hbar\nabla ,</math>

so the corresponding kinetic energy operator is

<math display="block">\hat{T} = \frac{1}{2} m\dot{\mathbf{r}}\cdot\dot{\mathbf{r}} = \frac{1}{2m} \left ( \mathbf{\hat{p}} - q\mathbf{A} \right)^2 </math>

and the potential energy, which is due to the <math>\phi</math> field, is given by

<math display="block">\hat{V} = q\phi .</math>

Casting all of these into the Hamiltonian gives

<math display="block">\hat{H} = \frac{1}{2m} \left ( -i\hbar\nabla - q\mathbf{A} \right)^2 + q\phi .</math>

==Energy eigenket degeneracy, symmetry, and conservation laws==

In many systems, two or more energy eigenstates have the same energy. A simple example of this is a free particle, whose energy eigenstates have wavefunctions that are propagating plane waves. The energy of each of these plane waves is inversely proportional to the square of its [[wavelength]].  A wave propagating in the <math>x</math> direction is a different state from one propagating in the <math>y</math> direction, but if they have the same wavelength, then their energies will be the same. When this happens, the states are said to be ''degenerate''.

It turns out that [[Degenerate energy levels|degeneracy]] occurs whenever a nontrivial [[Unitary matrix|unitary operator]] <math>U</math> [[commutation relation|commutes]] with the Hamiltonian. To see this, suppose that <math>|a\rang</math> is an energy eigenket. Then <math>U|a\rang</math> is an energy eigenket with the same eigenvalue, since

<math display="block">UH |a\rangle = U E_a|a\rangle = E_a (U|a\rangle) = H \; (U|a\rangle). </math>

Since <math>U</math> is nontrivial, at least one pair of <math>|a\rang</math> and <math>U|a\rang</math> must represent distinct states. Therefore, <math>H</math> has at least one pair of degenerate energy eigenkets. In the case of the free particle, the unitary operator which produces the symmetry is the [[Rotation operator (quantum mechanics)|rotation operator]], which rotates the wavefunctions by some angle while otherwise preserving their shape.

The existence of a symmetry operator implies the existence of a [[Conservation law (physics)|conserved]] observable. Let <math>G</math> be the Hermitian generator of <math>U</math>:

<math display="block"> U = I - i \varepsilon G + O(\varepsilon^2) </math>

It is straightforward to show that if <math>U</math> commutes with <math>H</math>, then so does <math>G</math>:

<math display="block"> [H, G] = 0 </math>

Therefore,

<math display="block">
\frac{\partial}{\partial t} \langle\psi(t)|G|\psi(t)\rangle
= \frac{1}{i\hbar} \langle\psi(t)|[G,H]|\psi(t)\rangle
= 0.
</math>

In obtaining this result, we have used the Schrödinger equation, as well as its [[bra–ket notation|dual]],

<math display="block"> \langle\psi (t)|H = - i \hbar {d\over\ d t} \langle\psi(t)|.</math>

Thus, the [[expected value]] of the observable <math>G</math> is conserved for any state of the system. In the case of the free particle, the conserved quantity is the [[angular momentum]].

==Hamilton's equations==

[[William Rowan Hamilton|Hamilton]]'s equations in classical [[Hamiltonian mechanics]] have a direct analogy in quantum mechanics. Suppose we have a set of basis states <math>\left\{\left| n \right\rangle\right\}</math>, which need not necessarily be eigenstates of the energy. For simplicity, we assume that they are discrete, and that they are orthonormal, i.e.,

<math display="block"> \langle n' | n \rangle = \delta_{nn'}</math>

Note that these basis states are assumed to be independent of time. We will assume that the Hamiltonian is also independent of time.

The instantaneous state of the system at time <math>t</math>, <math>\left| \psi\left(t\right) \right\rangle</math>, can be expanded in terms of these basis states:

<math display="block"> |\psi (t)\rangle = \sum_{n} a_n(t) |n\rangle </math>

where

<math display="block"> a_n(t) = \langle n | \psi(t) \rangle. </math>

The coefficients <math>a_n(t)</math> are [[Complex number|complex]] variables. We can treat them as coordinates which specify the state of the system, like the position and momentum coordinates which specify a classical system. Like classical coordinates, they are generally not constant in time, and their time dependence gives rise to the time dependence of the system as a whole.

The expectation value of the Hamiltonian of this state, which is also the mean energy, is

<math display="block"> \langle H(t) \rangle \mathrel\stackrel{\mathrm{def}}{=} \langle\psi(t)|H|\psi(t)\rangle
= \sum_{nn'} a_{n'}^* a_n \langle n'|H|n \rangle </math>

where the last step was obtained by expanding <math>\left| \psi\left(t\right) \right\rangle</math> in terms of the basis states.

Each <math>a_n(t)</math> actually corresponds to ''two'' independent degrees of freedom, since the variable has a real part and an imaginary part. We now perform the following trick: instead of using the real and imaginary parts as the independent variables, we use <math>a_n(t)</math> and its [[complex conjugate]] <math>a_n^*(t)</math>. With this choice of independent variables, we can calculate the [[partial derivative]]

<math display="block">\frac{\partial \langle H \rangle}{\partial a_{n'}^{*}}
= \sum_{n} a_n \langle n'|H|n \rangle
= \langle n'|H|\psi\rangle
</math>

By applying [[Schrödinger's equation]] and using the orthonormality of the basis states, this further reduces to

<math display="block">\frac{\partial \langle H \rangle}{\partial a_{n'}^{*}}
= i \hbar \frac{\partial a_{n'}}{\partial t} </math>

Similarly, one can show that

<math display="block"> \frac{\partial \langle H \rangle}{\partial a_n}
= - i \hbar \frac{\partial a_{n}^{*}}{\partial t} </math>

If we define "conjugate momentum" variables <math>\pi_n</math> by

<math display="block"> \pi_{n}(t) = i \hbar a_n^*(t) </math>

then the above equations become

<math display="block"> \frac{\partial \langle H \rangle}{\partial \pi_n} = \frac{\partial a_n}{\partial t},\quad \frac{\partial \langle H \rangle}{\partial a_n} = - \frac{\partial \pi_n}{\partial t} </math>

which is precisely the form of Hamilton's equations, with the <math>a_n</math>s as the generalized coordinates, the <math>\pi_n</math>s as the conjugate momenta, and <math>\langle H\rangle</math> taking the place of the classical Hamiltonian.

==See also==
{{Div col|colwidth=20em}}
*[[Hamiltonian mechanics]]
*[[Two-state quantum system]]
*[[Operator (physics)]]
*[[Bra–ket notation]]
*[[Quantum state]]
*[[Linear algebra]]
*[[Conservation of energy]]
*[[Potential theory]]
*[[Many-body problem]]
*[[Electrostatics]]
*[[Electric field]]
*[[Magnetic field]]
*[[Lieb–Thirring inequality]]
{{Div col end}}

==References==
{{reflist}}

==Further reading==
* {{Cite journal |title=Quantisierung als Eigenwertproblem|last=Schrödinger|first=Erwin|journal=Annalen der Physik|year=1926|volume=79|issue=4|pages=361–376|doi=10.1002/andp.19263840404 |bibcode=1926AnP...384..361S |language=German|trans-title=Quantization as an Eigenvalue Problem|quote=This paper is foundational in quantum mechanics, introducing the [[Schrödinger equation]] and its application to the Hamiltonian operator.|author-link=Erwin Schrödinger}}
* {{Cite journal|last=Dirac|first=Paul A. M.|author-link=Paul Dirac|title=The Quantum Theory of the Electron.|year=1928|series=Series A, Containing Papers of a Mathematical and Physical Character|journal=Proceedings of the Royal Society of London|volume=117|issue=778|pages=610–624|doi=10.1098/rspa.1928.0023 |bibcode=1928RSPSA.117..610D |quote=This paper introduced the [[Dirac equation]], which unified quantum mechanics with special relativity and accounted for the electron's spin.|doi-access=free}}
* {{Cite book|last=Von Neumann|first=John|author-link=John von Neumann|title=Mathematische Grundlagen der Quantenmechanik|year=1932|publisher=Springer|location=Berlin|trans-title=Mathematical Foundations of Quantum Mechanics|quote= Translated into English in 1955, Von Neumann's work formalized quantum mechanics using Hilbert spaces and linear operators. It remains a cornerstone in the field.}}

==External links==
* {{wikiquote-inline}}

{{Quantum mechanics topics}}
{{physics operator}}

{{Authority control}}

[[Category:Hamiltonian mechanics]]
[[Category:Quantum chemistry]]
[[Category:Theoretical chemistry]]
[[Category:Computational chemistry]]
[[Category:William Rowan Hamilton]]
[[Category:Quantum operators]]