Namespaces
Variants
Actions

Difference between revisions of "Liouville-equation(2)"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
The equation of motion for the distribution function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596101.png" /> with respect to the momenta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596102.png" /> and coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596103.png" /> of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596104.png" />-particle classical system
+
<!--
 +
l0596101.png
 +
$#A+1 = 16 n = 0
 +
$#C+1 = 16 : ~/encyclopedia/old_files/data/L059/L.0509610 Liouville equation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596105.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596106.png" /> is the [[Hamiltonian|Hamiltonian]] of the system, and the curly brackets denote the classical [[Poisson brackets|Poisson brackets]].
+
The equation of motion for the distribution function  $  w _ {N} ( p , q ;  t ) $
 +
with respect to the momenta  $  p = ( \mathbf p _ {1} \dots \mathbf p _ {N} ) $
 +
and coordinates  $  q = ( \mathbf r _ {1} \dots \mathbf r _ {N} ) $
 +
of the $  N $-
 +
particle classical system
  
In the phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596107.png" /> the distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596108.png" /> is associated with the density of the phase points (each of which corresponds to a definite mechanical state of the given system of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l0596109.png" /> material points). By virtue of the fact that the trajectories of the motion of these points do not intersect, because of the uniqueness of the solutions of the mechanical equations of motion, and the fact that the phase volume is conserved, by the Liouville theorem (cf. [[Liouville theorems|Liouville theorems]] 4)), the ensemble of these points forms in the phase space a kind of incompressible liquid. The complete derivative of its density <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961010.png" /> with respect to time is equal to zero:
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961011.png" /></td> </tr></table>
+
\frac{\partial  w _ {N} }{\partial  t }
 +
  = \
 +
\{ H , w _ {N} \} _ { \mathop{\rm cl}  . }  \equiv \
 +
\sum _ { i= } 1 ^ { N }
 +
\left (
 +
 
 +
\frac{\partial  H }{\partial  \mathbf r _ {i} }
 +
 
 +
\frac{\partial  w _ {N} }{\partial  \mathbf p _ {i} }
 +
-
 +
 
 +
\frac{\partial  w _ {N} }{\partial  \mathbf r _ {i} }
 +
 
 +
\frac{\partial  H }{\partial  \mathbf p _ {i} }
 +
 
 +
\right ) ,
 +
$$
 +
 
 +
where  $  H $
 +
is the [[Hamiltonian|Hamiltonian]] of the system, and the curly brackets denote the classical [[Poisson brackets|Poisson brackets]].
 +
 
 +
In the phase space  $  ( p , q ) $
 +
the distribution  $  w _ {N} ( p , q ;  t ) $
 +
is associated with the density of the phase points (each of which corresponds to a definite mechanical state of the given system of  $  N $
 +
material points). By virtue of the fact that the trajectories of the motion of these points do not intersect, because of the uniqueness of the solutions of the mechanical equations of motion, and the fact that the phase volume is conserved, by the Liouville theorem (cf. [[Liouville theorems|Liouville theorems]] 4)), the ensemble of these points forms in the phase space a kind of incompressible liquid. The complete derivative of its density  $  w _ {N} $
 +
with respect to time is equal to zero:
 +
 
 +
$$
 +
 
 +
\frac{d w _ {N} }{d t }
 +
  = \
 +
 
 +
\frac{\partial  w _ {N} }{\partial  t }
 +
+
 +
\sum _ { i= } 1 ^ { N }
 +
\left (
 +
 
 +
\frac{\partial  w _ {N} }{\partial  \mathbf r _ {i} }
 +
 
 +
\frac{d \mathbf r _ {i} }{d t }
 +
+
 +
 
 +
\frac{\partial  w _ {N} }{\partial  \mathbf p _ {i} }
 +
 
 +
\frac{d \mathbf p _ {i} }{d t }
 +
 
 +
\right )  = 0 .
 +
$$
  
 
This leads to Liouville's equation if, in accordance with the [[Hamilton equations|Hamilton equations]], one expresses the derivatives of the coordinates and momenta in terms of the corresponding partial derivatives of the Hamiltonian.
 
This leads to Liouville's equation if, in accordance with the [[Hamilton equations|Hamilton equations]], one expresses the derivatives of the coordinates and momenta in terms of the corresponding partial derivatives of the Hamiltonian.
Line 13: Line 72:
 
Liouville's equation is used not only in the examination of general questions of statistical mechanics connected with the determination of the microscopic and macroscopic structures of the state of a system of several bodies, processes of tending towards equilibrium, problems of  "mixing"  in phase space, ergodicity, etc., but also in specific investigations, since Liouville's equation is the original equation for the construction of the [[Bogolyubov chain of equations|Bogolyubov chain of equations]], and consequently also for a different type of kinetic equation, by means of which problems of applied physics are solved.
 
Liouville's equation is used not only in the examination of general questions of statistical mechanics connected with the determination of the microscopic and macroscopic structures of the state of a system of several bodies, processes of tending towards equilibrium, problems of  "mixing"  in phase space, ergodicity, etc., but also in specific investigations, since Liouville's equation is the original equation for the construction of the [[Bogolyubov chain of equations|Bogolyubov chain of equations]], and consequently also for a different type of kinetic equation, by means of which problems of applied physics are solved.
  
In the case of quantum systems the role of Liouville's equation is played by the equation of motion for the statistical operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961012.png" /> (the [[Density matrix|density matrix]]), which in the Schrödinger representation has the form
+
In the case of quantum systems the role of Liouville's equation is played by the equation of motion for the statistical operator $  \rho ( t) $(
 +
the [[Density matrix|density matrix]]), which in the Schrödinger representation has the form
 +
 
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961013.png" /></td> </tr></table>
+
\frac{\partial  \rho }{\partial  t }
 +
  = \
 +
\{ H , \rho \} _ { \mathop{\rm qu}  . }  \equiv \
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961014.png" /> is the Hamilton operator and the curly brackets denote the Poisson quantum bracket. This quantum Liouville equation is a consequence of the structure of the mixed state (described by a given statistical operator), in which each of the pure quantum-mechanical states comprising it evolves according to the [[Schrödinger equation|Schrödinger equation]].
+
\frac{1}{i \hbar }
 +
 
 +
[ H \rho - \rho H ] ,
 +
$$
 +
 
 +
where $  H $
 +
is the Hamilton operator and the curly brackets denote the Poisson quantum bracket. This quantum Liouville equation is a consequence of the structure of the mixed state (described by a given statistical operator), in which each of the pure quantum-mechanical states comprising it evolves according to the [[Schrödinger equation|Schrödinger equation]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Goldstein,  "Classical mechanics" , Addison-Wesley  (1957)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  G.E. Uhlenbeck,  G.V. Ford,  "Lectures in statistical mechanics" , Amer. Math. Soc.  (1963)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.N. Bogolyubov,  "Collected works" , '''2''' , Kiev  (1970)  (In Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Goldstein,  "Classical mechanics" , Addison-Wesley  (1957)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  G.E. Uhlenbeck,  G.V. Ford,  "Lectures in statistical mechanics" , Amer. Math. Soc.  (1963)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.N. Bogolyubov,  "Collected works" , '''2''' , Kiev  (1970)  (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The Poisson quantum bracket is often written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961015.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059610/l05961016.png" /> the commutator bracket.
+
The Poisson quantum bracket is often written as $  \{ H , \rho \} _ { \mathop{\rm qu}  . } = [ H , \rho ] / ( i \hbar ) $,  
 +
with $  [ H , \rho ] = H \rho - \rho H $
 +
the commutator bracket.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C. Cercignani,  "The Boltzmann equation and its applications" , Springer  (1988)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  F.R. [F.R. Gantmakher] Gantmacher,  "Lectures in analytical mechanics" , MIR  (1975)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C. Cercignani,  "The Boltzmann equation and its applications" , Springer  (1988)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  F.R. [F.R. Gantmakher] Gantmacher,  "Lectures in analytical mechanics" , MIR  (1975)  (Translated from Russian)</TD></TR></table>

Revision as of 22:17, 5 June 2020


The equation of motion for the distribution function $ w _ {N} ( p , q ; t ) $ with respect to the momenta $ p = ( \mathbf p _ {1} \dots \mathbf p _ {N} ) $ and coordinates $ q = ( \mathbf r _ {1} \dots \mathbf r _ {N} ) $ of the $ N $- particle classical system

$$ \frac{\partial w _ {N} }{\partial t } = \ \{ H , w _ {N} \} _ { \mathop{\rm cl} . } \equiv \ \sum _ { i= } 1 ^ { N } \left ( \frac{\partial H }{\partial \mathbf r _ {i} } \frac{\partial w _ {N} }{\partial \mathbf p _ {i} } - \frac{\partial w _ {N} }{\partial \mathbf r _ {i} } \frac{\partial H }{\partial \mathbf p _ {i} } \right ) , $$

where $ H $ is the Hamiltonian of the system, and the curly brackets denote the classical Poisson brackets.

In the phase space $ ( p , q ) $ the distribution $ w _ {N} ( p , q ; t ) $ is associated with the density of the phase points (each of which corresponds to a definite mechanical state of the given system of $ N $ material points). By virtue of the fact that the trajectories of the motion of these points do not intersect, because of the uniqueness of the solutions of the mechanical equations of motion, and the fact that the phase volume is conserved, by the Liouville theorem (cf. Liouville theorems 4)), the ensemble of these points forms in the phase space a kind of incompressible liquid. The complete derivative of its density $ w _ {N} $ with respect to time is equal to zero:

$$ \frac{d w _ {N} }{d t } = \ \frac{\partial w _ {N} }{\partial t } + \sum _ { i= } 1 ^ { N } \left ( \frac{\partial w _ {N} }{\partial \mathbf r _ {i} } \frac{d \mathbf r _ {i} }{d t } + \frac{\partial w _ {N} }{\partial \mathbf p _ {i} } \frac{d \mathbf p _ {i} }{d t } \right ) = 0 . $$

This leads to Liouville's equation if, in accordance with the Hamilton equations, one expresses the derivatives of the coordinates and momenta in terms of the corresponding partial derivatives of the Hamiltonian.

Liouville's equation is used not only in the examination of general questions of statistical mechanics connected with the determination of the microscopic and macroscopic structures of the state of a system of several bodies, processes of tending towards equilibrium, problems of "mixing" in phase space, ergodicity, etc., but also in specific investigations, since Liouville's equation is the original equation for the construction of the Bogolyubov chain of equations, and consequently also for a different type of kinetic equation, by means of which problems of applied physics are solved.

In the case of quantum systems the role of Liouville's equation is played by the equation of motion for the statistical operator $ \rho ( t) $( the density matrix), which in the Schrödinger representation has the form

$$ \frac{\partial \rho }{\partial t } = \ \{ H , \rho \} _ { \mathop{\rm qu} . } \equiv \ \frac{1}{i \hbar } [ H \rho - \rho H ] , $$

where $ H $ is the Hamilton operator and the curly brackets denote the Poisson quantum bracket. This quantum Liouville equation is a consequence of the structure of the mixed state (described by a given statistical operator), in which each of the pure quantum-mechanical states comprising it evolves according to the Schrödinger equation.

References

[1] H. Goldstein, "Classical mechanics" , Addison-Wesley (1957)
[2] G.E. Uhlenbeck, G.V. Ford, "Lectures in statistical mechanics" , Amer. Math. Soc. (1963)
[3] N.N. Bogolyubov, "Collected works" , 2 , Kiev (1970) (In Russian)

Comments

The Poisson quantum bracket is often written as $ \{ H , \rho \} _ { \mathop{\rm qu} . } = [ H , \rho ] / ( i \hbar ) $, with $ [ H , \rho ] = H \rho - \rho H $ the commutator bracket.

References

[a1] C. Cercignani, "The Boltzmann equation and its applications" , Springer (1988)
[a2] F.R. [F.R. Gantmakher] Gantmacher, "Lectures in analytical mechanics" , MIR (1975) (Translated from Russian)
How to Cite This Entry:
Liouville-equation(2). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Liouville-equation(2)&oldid=13598
This article was adapted from an original article by I.A. Kvasnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article