Time evolution operator

from Wikipedia, the free encyclopedia

The time evolution operator is a quantum mechanical operator with which the temporal evolution of a physical system can be calculated. The quantum mechanical operator is closely related to the propagator in quantum field or many-body theory . Usually it is written as and describes the evolution of the system from time to time .

construction

The time evolution operator can be constructed using the formal exponentiation of the Schrödinger equation or directly using its properties.

About the exponentiation of the Schrödinger equation

The time evolution operator is defined by the time evolution of any state at a point in time up to the point in time :

Insertion into the Schrödinger equation yields a set of ordinary first-order differential equations :

These equations are equivalent to the Schrödinger equation insofar as they describe the extension of the time evolution operator by an infinitesimal time step :

with the Hamilton operator , which represents the generator of the time developments.

From these equations some properties of can be read off:

  1. Continuity :
  2. Unitarity :
  3. Propagator property:

Continuity and propagator properties follow directly from the definition of . The unitarity follows from the self adjointness of and ensures the maintenance of the norm and thus the overall probability:

Via the properties of the operator

Conversely, the development of time can also be used as a starting point: The system is defined by a time development operator that uses the above. Criteria 1 to 3 must meet. Then it can be shown that this is generated by a self-adjoint operator , which bridges the gap between the Hamilton operator and the Schrödinger equation.

Explicit form

From the Schrödinger equation we only get the infinitesimal form of the time evolution operator (see above):

Roughly speaking, finite time developments are obtained either by linking an infinite number of infinitesimal time steps or by a series development .

Time-independent systems

If the Hamilton operator is not explicitly time-dependent, an analytical solution for the time evolution operator can be found. For the stringing together of small time developments , a matrix exponential is obtained in the limit value towards 0 :

The same result also follows directly from the Schrödinger equation for if the operator is expanded into a power series in and a coefficient comparison is carried out. We then get the power series expansion of the exponential function:

is only dependent on the time difference for time-independent systems , which expresses the independence of the system from the choice of the time origin (temporal translation invariance ).

For practical calculations one usually uses the spectral representation of the time evolution operator, in which the "impractical" operator in the exponent becomes a phase factor:

,

where is the eigenbase of energy ( ). This form fits together with the solution of the time-separated Schrödinger equation.

Explicitly time-dependent systems

If it is time-dependent, then in general only numerical solutions for are possible, unless the Hamilton operator commutes, evaluated at different times, with itself. Then, as in the one-dimensional case, the differential equation can be solved by exponentiation and one obtains:

Usually this is not the case and one has to generalize one of the two techniques above for time-independent systems in order to arrive at a solution.

If one considers the time development again as a series of small (in this case not equivalent) time steps , the limit value towards 0 formally defines a product integral according to Vito Volterra :

This picture of the lined up small time steps ("time slicing") is an essential ingredient for the definition of the path integral . For practical calculations, time-dependent perturbation theory is usually used , in which a series expansion is used in the Schrödinger equation in integral form. The disturbance series then results in the so-called Dyson series :

with the timing operator . In the one-dimensional case, this operator is trivial and the above equation is obtained again. While for many systems one can restrict oneself to a few terms of the perturbation series, there are some systems, such as non- Fermi liquids , in which the series does not converge.

literature

Remarks

  1. The exponential function for operators is often also defined via its power series
  2. In this form, the formula is only valid for countable bases. However, it can also be generalized to continuous spectra (see also spectral theorem ).