# Liouville's Theorem

Also found in: Wikipedia.

## Liouville's theorem

[′lyü‚vēlz ‚thir·əm]*The Great Soviet Encyclopedia*(1979). It might be outdated or ideologically biased.

## Liouville’s Theorem

**(1)** In mechanics, a theorem asserting that the volume in phase space of a system obeying the equations of mechanics in Hamiltonian form remains constant as the system moves. Liouville’s theorem was established in 1838 by the French scientist J. Liouville.

The state of a mechanical system defined by the generalized coordinates *q*_{1}, *q*_{2}, . . ., *q*_{N} and the canonically conjugate generalized momenta *p*_{1}, *p*_{2}, . . ., *p*_{N} (where *N* is the number of degrees of freedom of the system) can be considered as a point with rectangular Cartesian coordinates *q*_{1}, *q*_{2}, ..., *q*_{N}; *p*_{1}, *p*_{2}, . . ., *p*_{N} is a 2*N*-dimensional space called the phase space. The evolution of the system in time is represented as the motion of this phase point in the 27V-dimensional space. If phase points entirely fill some region of the phase space at the initial moment of time and pass over into another region of the space in the course of time, then the corresponding phase volume, according to Liouville’s theorem, will be the same. Thus the motion of the points that represent the state of the system in the phase space resembles that of an incompressible fluid.

Liouville’s theorem permits introduction of a distribution function of the particles of the system in phase space and is the basis of statistical physics.

### REFERENCES

Synge, J. L.*Klassicheskaia dinamika.*Moscow, 1963. (Translated from English.)

Gibbs, J.

*Osnovnye printsipy statisticheskoi mekhaniki.*Moscow, 1946. (Translated from English.)

Leontovich, M. A.

*Statisticheskaia fizika.*Moscow-Leningrad, 1944.

**(2)**In the theory of analytic functions, a theorem asserting that every entire function that is finite on the entire complex plane is identically a constant. Liouville’s theorem is named after J. Liouville, who made it the basis of his lectures (1847) on the theory of elliptical functions. However, it was first formulated and proved by A. Cauchy in 1844.