Teorema lui Liouville (mecanică statistică)

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Teorema lui Liouville este în mecanica hamiltoniană si mecanica statistică o teoremă fundamentală legată de descrierea evoluției dinamice a stării unui sistem format dintr-un număr foarte mare de corpuri, considerate punctiforme și alcătuind un sistem de puncte materiale. Teorema lui Liouville afirmă că pentru un domeniu arbitrar \scriptstyle \mathcal{D} din spațiul fazelor, alcătuit din totalitatea punctelor \scriptstyle \left( p , \, q \right) \in \mathcal{D} care reprezintă stările mecanice ale sistemului la un moment inițial \scriptstyle \ t, evoluția temporală a acestor stări, potrivit ecuațiilor canonice ale lui Hamilton, este de așa natură încât volumul domeniului \scriptstyle \mathcal{D}^\prime, format din pozițiile punctelor \scriptstyle  \left( p^\prime, \,q^\prime \right) \in \mathcal{D}^\prime, considerate la un moment ulterior \scriptstyle \ t^\prime, este egal cu volumul domeniului \scriptstyle \mathcal{D}. Cu alte cuvinte, volumul în spațiul fazelor este un invariant al mișcării pe traiectoria de fază. Este o consecință a ecuațiilor canonice ale lui Hamilton, respectiv a ecuației lui Liouville, din el decurgând o serie de constatări importante pentru fundamentarea teoretică a mecanicii statistice. Această teoremă a fost formulată pentru prima oară de către Gibbs în 1902, care a denumit-o după numele matematicianul francez Joseph Liouville, deoarece a demonstrat teorema pornind de la ecuația lui Liouville, stabilit de acesta în 1838 pentru sisteme necanonice.

Enunțul teoremei Liouville[modificare | modificare sursă]

Pentru teorema lui Liouville, după diverse tratate, există o serie de enunțuri echivalente între ele, una din acestea este:

Enunț:
Volumul în spațiul fazelor este un invariant al mișcării pe traiectoria de fază.

Există formulări care afirmă că: volumul din spațiul fazelor se conservă dea-lungul traiectoriei punctului reprezentativ, sau, mai explicit: fie un domeniu arbitrar \scriptstyle \mathcal{D} în spațiul fazelor; se consideră totalitatea punctelor \scriptstyle \left( p , q \right) \in \mathcal{D} ca reprezentând stări mecanice ale sistemului la un moment inițial \scriptstyle \ t; se urmărește evoluția acestor stări, conform ecuațiilor canonice; fie \scriptstyle \left( p^\prime , q^\prime \right) \in \mathcal{D}^\prime pozițiile punctelor considerate la un moment ulterior \scriptstyle \ t^\prime; atunci volumul domeniului \scriptstyle \mathcal{D}^\prime este egal cu volumul domeniului \scriptstyle \mathcal{D}. Toate aceste formulări sunt echivalente.

Ecuațiile de mișcare sub forma canonică. utilizate în mecanica hamiltoniană și adoptate de mecanica statistică. sunt date de relațiile: \scriptstyle \dot{q_i} = \frac{\partial H}{\partial p_i} , \quad \dot{p_i} = - \frac{\partial H}{\partial q_i} , \quad \left( i = 1 , \ldots , n \right) ,. Starea unui sistem cu \scriptstyle\ n grade de libertate microscopice este determinată, la orice moment, prin valorile coordonatelor generalizate \scriptstyle q = \left( q_1 , \ldots , q_n \right) și a impulsurilor generalizate conjugate \scriptstyle p = \left( p_1 , \dots , p_n \right) .. Funcția \scriptstyle H \left( p, \,q \right) , numită hamiltoniană, reprezintă energia totală a sistemului. Se poate demonstra că această funcție rămâne constantă în timpul evoluției dinamice a sistemului, deci energia totală se conservă (este un invariant al evoluției dinamice).


O stare microscopică a sistemului se numește fază; ea poate fi reprezentată geometric printr-un punct de coordonate \scriptstyle \left( p , q \right) într-un spațiu cu \scriptstyle \ 2n dimensiuni, numit spațiul fazelor. Evoluția în timp a sistemului, se reprezintă geometric printr-o curbă continuă în spațiul fazelor, numită traiectoria (rar: orbită) punctului reprezentativ. Întrucât starea sistemului, la orice moment, este complet determinată dacă este cunoscută starea sa la un moment anterior, rezultă că traiectoria în spațiul fazelor este complet determinată de unul din punctele ei și prin fiecare punct din spațiul fazelor trece o singură traiectorie.

Traiectoria punctului reprezentativ este în întregime conținută într-o suprafață de energie constantă, care e o varietate \scriptstyle \left( 2n-1 \right) -dimensională în spațiul fazelor \scriptstyle \ 2n-dimensional, suprafețele de energie constantă sunt suprafețe închise și reprezintă frontiera regiunii în care se află toate stările cu energie mai mică decât sau egală cu \scriptstyle \ E , ele definesc regiuni sau domenii \scriptstyle \mathcal{D} al spațiului fazelor în mod univoc determinat de relația \scriptstyle H \left( p , q \right) \le E. Volumul acestei regiuni este dat de integrala \scriptstyle \Omega \left( E \right) = \int_{H \left( p , q \right) \le E} dp \, dq ,, volumul infinitezimal în spațiul fazelor s-a notat prin \scriptstyle dp \, dq = dp_1 \cdots dp_n \, dq_1 \cdots dq_n . \scriptstyle\Omega \left( E \right) este o funcție monoton crescătoare de \scriptstyle \ E; pentru sisteme cu un număr foarte mare de grade de libertate ea este o funcție rapid crescătoare.[1]

Demostrație Pentru a demonstra teorema, se pornește de la volumul elementar din spațiul fazelor \scriptstyle dp_0 \, dq_0, „fixat” la un moment inițial \scriptstyle\ t_0, pe punctul reprezentativ de pe traiectoria de fază; se consideră un moment \scriptstyle\ t oarecare, ulterior lui \scriptstyle\ t_0 pentru care volumul elementar, „centrat” pe punctul reprezentativ, va fi \scriptstyle dp(t) \, dq(t) , unde \scriptstyle p(t) și \scriptstyle q(t) sunt soluțiile ecuațiilor de mișcare canonice:
\dot{q} = \frac{\partial H}{\partial p} , \quad \dot{p} = - \frac{\partial H}{\partial q}
având condițiile inițiale:
 p_0 = {\left ( p(t) \right)}_{t = 0}
 q_0 = {\left ( q(t) \right)}_{t = 0}
Funcțiile \scriptstyle p(t) si \scriptstyle q(t), fiind continue și derivabile în raport cu parametrul timp, se poate face o transformare de coordonate \scriptstyle \left (p ,\, q \right) \rightarrow \left (p_0 ,\, q_0\right), . În acest caz, elementul de volum la momentul \scriptstyle\ t se scrie în funcție de elementul de volum la momentul inițial \scriptstyle\ t_0 prin relația:
 dp(t) \, dq(t)= \frac{\partial \left (p ,\, q \right)}{\partial \left (p_0 ,\, q_0\right)}dp_0 \, dq_0
unde \scriptstyle\mathcal{J}=\frac{\partial \left (p ,\, q \right)}{\partial \left (p_{0} ,\, q_{0} \right)} este jacobianul transformării de coordonate.
Pentru a arăta că volumul elementar pe traiectoria de fază rămâne constant, în tot timpul evoluției sistemului, trebuie demonstrat că \scriptstyle \mathcal{J}=1.
Se consideră o variabilă dinamică oarecare \scriptstyle\ A(p,\,q) care nu depinde explicit de timp; derivând această variabilă în raport cu timpul se găsește relația:
 \frac {d A(p, \,q)}{dt}= \sum_{i=1}^{2n} \left( \frac{\partial A}{\partial p_i } \dot{p_i}+ \frac{ \partial A}{\partial q_i } \dot{q_i} \right)=\sum_{i=1}^{2n} \left( \frac{\partial A}{\partial q_i } \frac{ \partial H}{\partial p_i }-\frac{\partial A}{\partial p_i } \frac{\partial H}{\partial q_i }\right) = \{A, H \}= -i  \mathcal{L}  A(p,\,q)
Unde,  \scriptstyle \{A, H \} este paranteza Poisson a funcțiilor  \scriptstyle A și  \scriptstyle H , iar  \scriptstyle \mathcal {L} este operatorul lui Liouville, definit prin relația:
 \mathcal{L}=i \, \sum_{i=1}^{2n} \left( \frac{\partial H}{\partial q_i } \frac{ \partial }{\partial p_i }-\frac{\partial H}{\partial p_i } \frac{\partial }{\partial q_i }\right),\, unde\, i=\sqrt{-1}
Prin urmare, derivata temporală a variabilei dinamice  \scriptstyle A, se poate exprima prin relațiile:
 \frac {d A(p, \,q)}{dt}=-i  \mathcal{L}  A(p,\,q)
echivalentă cu scrierea de mai jos
 \frac {d A(p, \,q)}{A(p, \,q)}=-i  \mathcal{L}  dt
trecând la integrarea ultimei ecuații, se obține:
 \int_{(p_0, \,q_0)}^{(p, \,q)} \frac{ dA} {A}= - i \, \mathcal{L} \, \int_{t_0}^{t} dt \Rightarrow A (p,q)= A(0) e^{-i \, \mathcal{L} \,( t-t_0)}
.
Din conveniență, se poate considera  \scriptstyle t_0=0 și introduce notația  \scriptstyle A(0)=A(p_0, \,q_0)= \left( A (p, \,q) \right){(p=p_0, \,q=q_0)} ; cu aceste notații, forma generală a soluției devine:
 A(p,\,q)=A(p_0, \,q_0)e^{-i \, \mathcal{L} \, t} .
În particular, se pot scrie aceste soluții pentru impulsurile și coordonatele generalizate, sub forma
 p(t)=p(0) e^{-i \, \mathcal{L} \, t}, \, \, q(t)=q(0) e^{-i \, \mathcal{L} \, t}.
Folosind aceste forme particulare, se construiește jacobianul  \scriptstyle \mathcal{J} a transformării \scriptstyle \left (p ,\, q \right) \rightarrow \left (p_0 ,\, q_0\right):
\mathcal{J}= \begin{vmatrix} {\partial p\over\partial p_0} & {\partial p\over \partial q_0}   \\ {\partial q\over \partial p_0} & {\partial q\over \partial q_0}   \end{vmatrix}=\begin{vmatrix} {e^{-i \, \mathcal{L} \, t} \, \cdot \,1} & {0}   \\ {0} &  {e^{-i \, \mathcal{L} \, t} \, \cdot \,1}   \end{vmatrix}=e^{-i \, \mathcal{L} \, t} \, \cdot \, 1 \cdot e^{-i \, \mathcal{L} \, t} \, \cdot \,1= {\left ( e^{-i \, \mathcal{L} \, t} \, \cdot \, 1 \right)}^{2}
Dezvoltând operatorul  \scriptstyle e^{-i \, \mathcal{L} \, t} în serie Taylor după exponent:
 e^{-i \, \mathcal{L} \, t}=1+\sum_{j=1}^{\infty} \frac {(-i \, \mathcal{L} \, t)^j }{j ! },
se aplică operatorul \scriptstyle e^{-i \, \mathcal{L} \, t} unei constante complexe arbitrare  \scriptstyle \alpha \in \mathbb{C} și se găsește identitatea:
 e^{-i \, \mathcal{L} \, t} \, \cdot \,\alpha  = \left[ 1+\sum_{j=1}^{\infty} \frac {(-i \, \mathcal{L} \, t)^j }{j ! } \right] \,\cdot \alpha = \alpha+\sum_{j=1}^{\infty} \frac {(-i \, \mathcal{L} \, t)^j }{j ! } \, \cdot \, \alpha=\alpha
Termenul conținând puterile operatorului Liouville se anulează din cauza faptului că pentru orice constantă complexă, avem  \scriptstyle\mathcal{L} \, \cdot \, \alpha=0, constanta  \scriptstyle \alpha fiind arbitrară, se ia pentru ea valoarea  \scriptstyle 1=1+0 \, \cdot  \, i , prin urmare jacobianul transformării devine:
\mathcal{J}=\frac{\partial \left (p ,\, q \right)}{\partial \left (p_{0} ,\, q_{0} \right)}={\left ( e^{-i \, \mathcal{L} \, t} \, \cdot \, 1 \right)}^{2}=1.
din acestă ultimă identitate, se obține egalitatea:
 dp(t) \, dq(t)= dp_0 \, dq_0=constant.
Cu alte cuvinte, pentru orice moment de timp al evoluției sistemului, volumul în spațiul fazelor rămâne neschimbat.

Ecuația lui Liouville[modificare | modificare sursă]

Definiție:
Evoluția în timp a stării unui sistem termodinamic este descrisă de ecuația:
\frac{\partial \rho \left(p ,\, q, \,t \right)} {\partial t }=\{H,\,\rho \}
numită ecuația lui Liouville
unde:\scriptstyle \rho \left(p ,\, q, \,t \right) este funcția de distribuție a sistemului
\scriptstyle H reprezintă hamiltoniana sistemului.

Paranteza Poisson,\scriptstyle \{H,\,\rho \}, a funcțiilor \scriptstyle H și \scriptstyle \rho se poate exprima cu ajutorul operatorul lui Liouville, definit în secțiunea anterioară:

\{H,\,\rho \}=\sum_{i=1}^{2n} \left( \frac{\partial H}{\partial q_i } \frac{\partial \rho}{\partial p_i }-\frac{\partial H}{\partial p_i } \frac{\partial \rho}{\partial q_i }\right) =  i  \mathcal{L}  \rho
Demostrație
În spațiul fazelor, pentru un domeniu infinit de mic, avand volumul \scriptstyle dp dq se poate scrie relatia dintre frecventa relativa a punctelor reprezentative din elementul de volum și probabilitatea:
 \frac{ d \mathcal {N}} { \mathcal {N}} =\rho \left(p ,\, q, \,t \right)\,dp dq

Consecințe ale teoremei și ecuației lui Liouville[modificare | modificare sursă]

Bibliografie[modificare | modificare sursă]

  • Ciobanu, Gheorghe: Termodinamică și fizică statistică, Editura Tehnică, București, 2004.
  • Landau, L.D. și Lifshitz, E.M.: Statistical Physics, Pergamon Press, 1980. ISBN 0-08-023038-5.
  • Țițeica, Șerban: Elemente de mecanică statistică, Editura Tehnică, București, 1956.
  • Károlyházy, Frigyes; Marx, György; Nagy, Károly: Statisztikus mechanika, Műszaki Könyvkiadó, Budapesta, 1965.

Legături externe[modificare | modificare sursă]

Referințe[modificare | modificare sursă]

  1. ^ Țițeica (1956), p. 19.