Hamiltonian (quantum mechanics)

In quantum mechanics, the Hamiltonian "H" is the observable corresponding to the total energy of the system. As with all observables, the spectrum of the Hamiltonian is the set of possible outcomes when one measures the total energy of a system. Like any other self-adjoint operator, the spectrum of the Hamiltonian can be decomposed, via its spectral measures, into pure point, absolutely continuous, and singular parts. The pure point spectrum can be associated to eigenvectors, which in turn are the bound states of the system. The absolutely continuous spectrum corresponds to the free states. The singular spectrum, interestingly enough, comprises physically impossible outcomes. For example, consider the finite potential well, which admits bound states with discrete negative energies and free states with continuous positive energies.

chrödinger equation

The Hamiltonian generates the time evolution of quantum states. If $left|\; psi\; (t)\; ight\; angle$ is the state of the system at time "t", then

:$H\; left|\; psi\; (t)\; ight\; angle\; =\; mathrm\{i\}\; hbar\; \{partialoverpartial\; t\}\; left|\; psi\; (t)\; ight\; angle$.

where $hbar$ is the reduced Planck constant . This equation is known as the Schrödinger equation. (It takes the same form as the Hamilton-Jacobi equation, which is one of the reasons "H" is also called the Hamiltonian.) Given the state at some initial time ("t" = 0), we can integrate it to obtain the state at any subsequent time. In particular, if "H" is independent of time, then

:$left|\; psi\; (t)\; ight\; angle\; =\; expleft(-\{mathrm\{i\}Ht\; over\; hbar\}\; ight)\; left|\; psi\; (0)\; ight\; angle$.

Note: In introductory physics literature, the following is often taken as an assumption: :The eigenkets (eigenvectors) of "H", denoted $left|\; a\; ight\; ang$ (using Dirac bra-ket notation), 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 {"E"_a}, solving the equation:

::$H\; left|\; a\; ight\; angle\; =\; E\_a\; left|\; a\; ight\; angle$.

:Since "H" 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 assumption. 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.

Similarly, the exponential operator on the right hand side of the Schrödinger equation is sometimes defined by the power series. One might notice that taking polynomials of unbounded and not everywhere defined operators may not make mathematical sense, much less power series. Rigorously, to take functions of unbounded operators, a functional calculus is required. In the case of the exponential function, the continuous, or just the holomorphic functional calculus suffices. We note again, however, that for common calculations the physicist's formulation is quite sufficient.

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

:$U\; =\; expleft(-\{mathrm\{i\}Ht\; over\; hbar\}\; ight)$

is an unitary operator. It is the "time evolution operator", or "propagator", of a closed quantum system. If the Hamiltonian is time-independent, {U(t)} form a one parameter unitary group (more than a semigroup); this gives rise to the physical principle of detailed balance.

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 "x" direction is a different state from one propagating in the "y" 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 degeneracy occurs whenever a nontrivial unitary operator "U" commutes with the Hamiltonian. To see this, suppose that |a> is an energy eigenket. Then "U"|a> is an energy eigenket with the same eigenvalue, since

:$UH\; |a\; angle\; =\; U\; E\_a|a\; angle\; =\; E\_a\; (U|a\; angle)\; =\; H\; ;\; (U|a\; angle).$

Since "U" is nontrivial, at least one pair of $|a\; ang$ and $U|a\; ang$ must represent distinct states. Therefore, "H" 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, which rotates the wavefunctions by some angle while otherwise preserving their shape.

The existence of a symmetry operator implies the existence of a conserved observable. Let "G" be the Hermitian generator of "U":

:$U\; =\; I\; -\; mathrm\{i\}\; epsilon\; G\; +\; O(epsilon^2)$

It is straightforward to show that if "U" commutes with "H", then so does "G":

:$[H,\; G]\; =\; 0$

Therefore,

:$frac\{part\}\{part\; t\}\; langlepsi(t)|G|psi(t)\; angle=\; frac\{1\}\{mathrm\{i\}hbar\}\; langlepsi(t)|\; [G,H]\; |psi(t)\; angle\; =\; 0$

In obtaining this result, we have used the Schrödinger equation, as well as its dual,

:$langlepsi\; (t)|H\; =\; -\; mathrm\{i\}\; hbar\; \{partialoverpartial\; t\}\; langlepsi(t)|$.

Thus, the expected value of the observable "G" 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

Hamilton's equations in classical Hamiltonian mechanics have a direct analogy in quantum mechanics. Suppose we have a set of basis states $left\{left|\; n\; ight\; angle\; ight\}$, which need not necessarily be eigenstates of the energy. For simplicity, we assume that they are discrete, and that they are orthonormal, i.e.,

:$langle\; n\text{'}\; |\; n\; angle\; =\; delta\_\{nn\text{'}\}.$

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 "t", $left|\; psileft(t\; ight)\; ight\; angle$, can be expanded in terms of these basis states:

:$|psi\; (t)\; angle\; =\; sum\_\{n\}\; a\_n(t)\; |n\; angle$

where

:$a\_n(t)\; =\; langle\; n\; |\; psi(t)\; angle.$

The coefficients "a_n(t)" are 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

:$langle\; H(t)\; angle\; stackrel\{mathrm\{def\{=\}\; langlepsi(t)|H|psi(t)\; angle=\; sum\_\{nn\text{'}\}\; a\_\{n\text{'}\}^*\; a\_n\; langle\; n\text{'}|H|n\; angle$

where the last step was obtained by expanding $left|\; psileft(t\; ight)\; ight\; angle$ in terms of the basis states.

Each of the "a_n(t)"'s 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 "a_n(t)" and its complex conjugate "a_n*(t)". With this choice of independent variables, we can calculate the partial derivative

:$frac\{partial\; langle\; H\; angle\}\{partial\; a\_\{n\text{'}\}^\{*=\; sum\_\{n\}\; a\_n\; langle\; n\text{'}|H|n\; angle=\; langle\; n\text{'}|H|psi\; angle$

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

:$frac\{partial\; langle\; H\; angle\}\{partial\; a\_\{n\text{'}\}^\{*=\; mathrm\{i\}\; hbar\; frac\{partial\; a\_\{n\text{'}\{partial\; t\}$

Similarly, one can show that

:$frac\{partial\; langle\; H\; angle\}\{partial\; a\_n\}=\; -\; mathrm\{i\}\; hbar\; frac\{partial\; a\_\{n\}^\{*\{partial\; t\}$

If we define "conjugate momentum" variables "π_n" by

:$pi\_\{n\}(t)\; =\; mathrm\{i\}\; hbar\; a\_n^*(t)$

then the above equations become

:$frac\{partial\; langle\; H\; angle\}\{partial\; pi\_\{n=\; frac\{partial\; a\_\{n\{partial\; t\}\; quad,quadfrac\{partial\; langle\; H\; angle\}\{partial\; a\_n\}=\; -\; frac\{partial\; pi\_\{n\{partial\; t\}$

which is precisely the form of Hamilton's equations, with the $a\_n$s as the generalized coordinates, the $pi\_n$s as the conjugate momenta, and $langle\; H\; angle$ taking the place of the classical Hamiltonian.

ee also

*Hamiltonian mechanics