Mecanică hamiltoniană
Parte a seriei de articole despre |
Mecanică clasică |
---|
Subiecte de bază |
Categorii |
În mecanică, prin ecuațiile lui Hamilton, sau simplu prin Hamiltonian, se înțelege o reformulare a mecanicii clasice, introdusă în 1833 de matematicianul irlandez William Rowan Hamilton, care la rândul său provine din ecuațiile lui Lagrange, o reformulare anterioară a mecanicii clasice introdusă de Joseph Louis Lagrange în 1788. Metoda lui Hamilton diferă de metoda lui Lagrange prin faptul că în loc să exprime ecuațiile diferențiale de ordinul doi pe un spațiu n-dimensional (n fiind numărul gradelor de libertate ale sistemului), le exprimă prin ecuații de ordinul întâi pe un spațiu 2n-dimensional, numit spațiul fazelor. [1]
Ca și ecuațiile lui Lagrange, ecuațiile lui Hamilton furnizează un mod nou și echivalent de a privi mecanica clasică. În general, aceste ecuații nu dau o cale mai convenabilă în rezolvarea problemelor particulare, ci mai de grabă oferă perspective de înțelegere mai profundă a mecanicii clasice și legăturile ei cu mecanica cuantică, precum și legături cu alte domenii științifice.
Privire generală asupra ecuațiilor
[modificare | modificare sursă]Hamiltonianul descrie energia totală a unui sistem. Pentru un sistem închis, el este suma energiei cinetice și a energiei potențiale a sistemului. Hamiltonianul reprezintă un set de ecuații diferențiale, cunoscute drept ecuațiile lui Hamilton, care descriu evoluția în timp a unui sistem. Hamiltonianul poate fi folosit pentru a descrie mișcarea sistemelor simple, precum un pendul sau un arc care oscilează și care schimbă energia cinetică în energie potențială și invers, precum și pentru sisteme dinamice complexe, de exemplu orbitele planetare din mecanica cerească, sau cele din mecanica cuantică. [2]
Ecuațiile lui Hamilton sunt scrise la modul general sub forma:
În aceste ecuații punctul denotă derivata în raport cu timpul a funcțiilor p = p(t), numit impuls generalizat, și q = q(t), numită coordonată generalizată, iar = este hamiltonianul. Mai explicit, putem scrie:
dar trebuie să specificăm domeniul în care variază timpul t.
Baza fizică de interpretare
[modificare | modificare sursă]Dacă aplicăm ecuațiile lui Hamilton asupra unui sistem unidimensional format dintr-o particulă de masă m, cu condiții la limită independente de timp, interpretarea acestor ecuații este următoarea: Hamiltonianul reprezintă energia totală a sistemului formată din suma energiei cinetice și potențiale, notate tradițional cu T, respectiv V. În acest sistem q este coordonata x, iar p este impulsul mv. Astfel că, obținem:
De notat că T este funcție numai de p, iar V este funcție numai de x (sau q).
În ecuațiile de mai sus, derivata în funcție de timp a impulsului p egalează forța Newtoniană, deci, din prima ecuație rezultă că forța particulei egalează rata cu care pierde energie potențială prin schimbarea coordonatei x, adică, forța egalează gradientul negativ al potențialului energetic.
Derivata în timp a lui q înseamnă viteză, deci: A doua ecuație a lui Hamilton înseamnă că viteza particulei egalează derivata energiei cinetice prin schimbarea impulsului. Prin derivare în funcție de p a formulei p2/2m se obține p/m = mv/m = v.
Folosirea ecuațiilor lui Hamilton
[modificare | modificare sursă]- Întâi scriem Lagrangianul L = T – V. Exprimăm pe T și V la fel ca în ecuațiile lui Lagrange.
- Calculăm impulsul diferențiind Lagrangianul în funcție de viteză
- Exprimăm viteza în funcție de impuls prin inversarea expresiei de la pasul (2)
- Calculăm Hamiltonianul folosind definiția uzuală:
- . Substituim viteza folosind rezultatele de la pasul (3).
- Aplicăm ecuațiile lui Hamilton.
Note
[modificare | modificare sursă]Ecuațiile lui Hamilton sunt atractive având în vedere simplitatea și simetria lor. Ele au fost analizate din toate punctele de vedere imaginabile, de la mecanica fundamentală la geometria spațiilor vectoriale. Se cunosc o serie întreagă de soluții ale acestor ecuații, dar soluția generală exactă a ecuațiilor de mișcare pentru sisteme cu mai mult de două corpuri nu se cunoaște încă. Găsirea integralelor prime, adică a mărimilor care se conservă, joacă un rol important în găsirea soluțiilor sistemului, sau al informațiilor despre natura lor. Modelele cu un număr infinit de grade de libertate, evident sunt mult mai complicate, dar o arie interesantă de cercetare este studiul sistemelor integrabile, în care se pot construi un număr infinit de mărimi independente care se conservă.
Deducerea ecuațiilor lui Hamilton
[modificare | modificare sursă]Putem obține ecuațiile lui Hamilton văzând cum se schimbă Lagrangianul unei particule în timp, spațiu și viteză:
Impulsul generalizat este definit ca , iar ecuațiile lui Lagrange ne spun că:
pe care o pune rescrie sub forma:
și substituind rezultatul în diferențiala lui Lagrange, obținem:
pe care o putem rearanja sub forma:
sau mai concis:
Termenul din stanga egalului este Hamiltonianul definit anterior, deci:
a doua egalitate fiind dată de definiția derivatelor parțiale. Asociind termenii din ambele parți ale egalului, obținem de fapt ecuațiile canonice ale lui Hamilton:
Aceste ecuații au avantajul că și apar ca funcții explicite de și .
Reformularea mecanicii lui Lagrange
[modificare | modificare sursă]Începând cu mecanica lui Lagrange, ecuațiile de mișcare se bazează pe coordonatele generalizate:
și similar vitezele generalizate:
Deci, putem scrie Lagrangianul sub forma:
unde indicii j variază de la 1 la N. Mecanica hamiltoniană are drept scop înlocuirea vitezelor generalizate cu impulsurile generalizate, cunoscute și sub numele de coordonate canonice.
Fiecărei viteze generalizate îi corespunde o coordonată canonică, definită prin:
În coordonate Carteziene, impulsul generalizat corespunde exact impulsului. În coordonate polare, impulsul generalizat corespunde momentului unghiular, iar prin alegerea unei coordonate generalizate oarecare, este posibil să nu obținem o interpretare intuitivă fizică a coordonatei canonice.
Un lucru care nu este prea evident în acestă formulare dependentă de coordonată, faptul că, diferite coordonate generalizate nu sunt altceva decât sisteme de coordonate diferite ale aceluiași spațiu vectorial.
Hamiltonianul este de fapt transformarea Legendre a Lagrangianului:
În cazul în care ecuațiile de transformare care definesc coordonatele generalizate sunt independente de t, iar Lagrangianul este o sumă de produse de funcții (în coordonate generalizate), care sunt omogene de ordinul 0, 1 sau 2, atunci se poate demonstra că H este egală cu energia totală E=T+V.
Diferențiind pe , obținem:
Substiuind coordonata generalizată definită anterior în acestă ecuație, obținem ecuațiile de mișcare ale lui Hamilton, numite ecuațiile canonice ale lui Hamilton:
Ecuațiile lui Hamilton sunt ecuații diferențiale de ordinul întâi, ele fiind mai ușor de rezolvat decât ecuațiile lui Lagrange, care sunt de ordinul doi. Cu toate acestea, pași care conduc la ecuațiile de mișcare sunt mai costisitori decât în mecanica lui Lagrange - începând cu coordonatele generalizate și Lagrangianul, trebuie să calculăm hamiltonianul exprimând fiecare viteză generalizată în termenii coordonatelor generalizate, pe care o vom înlocui în hamiltonian. În final, vom obține aceeași soluție ca în mecanica lui Lagrange sau folosind legile de mișcare Newtoniene.
Principala atracție a hamiltonianului fiind aceea că, oferă o bază pentru rezultate mai profunde în teoria mecanicii clasice, precum și legătura ei cu mecanica cuantică.
Geometria sistemelor Hamiltoniene
[modificare | modificare sursă]Sistemele Hamiltoniene pot fi înțelese ca spații fibrate E peste timpul R, cu fibrajul Et, t ∈ R, R fiind spațiul pozițiilor. Astfel Lagrangianul este o funcție pe un spațiu fibrat neted J peste E. Luând transformata Legendre a Lagrangianului, obținem o funcție de timp pe spațiul fibrat dual, a cărei fibră la timpul t este spațiul cotangent T*Et, care este înzestrat cu un spațiu vectorial natural, iar această ultimă funcție este Hamiltonianul.
Generalizarea mecanicii cuantice prin intermediul parantezelor lui Poisson
[modificare | modificare sursă]Ecuațiile lui Hamilton sunt bune pentru mecanica clasică, dar nu și pentru mecanica cuantică, deoarece ecuațiile diferențiale în cauză precizează că se cunosc simultan și cu exactitate poziția și impulsul unei particule, oricare ar fi timpul t. Cu toate acestea, ecuațiile pot fi generalizate pentru a fi apoi extinse la mecanica cuantică, precum și la mecanica clasică, prin deformarea algebrei Poisson peste p și q pentru o algebră de paranteze Moyal.
Mai precis, sub o formă mai generală ecuația lui Hamilton se scrie:
unde f este o funcție de p și q, iar H hamiltonianul. Pentru a afla regulile de evaluare a unei paranteze Poisson, fără a recurge la ecuații diferentiale, a se vedea algebra Lie, care specifică: o paranteză Poisson este numele pentru o paranteză Lie într-o algebră Poisson. Aceste paranteze Poisson pot fi extinse la paranteze Moyal, corespunzătoare unei algebre Lie neechivalentă, după cum a dovedit H Groenewold, descriind difuzia din mecanica cuantică în spațiul fazelor (a se vedea principiul de incertitudine și cuantificare Weyl). Această abordare algebrică, nu numai că permite prelungirea probabilității de distribuție din spațiul fazelor la probabilitatea de distribuție cvasi-Wigner, dar o simplă paranteză Poisson clasică, oferă un puternic ajutor în analiza mărimilor care se conservă într-un sistem oarecare.
Formalismul matematic
[modificare | modificare sursă]Orice funcție reală netedă H pe o mulțime simplectică poate fi folosită pentru definirea unui sistem Hamiltonian. Funcția H este cunoscută ca Hamiltonian sau funcția energetică, iar mulțimea simplectică se numește spațiul fazelor. Hamiltonianul induce un câmp vectorial special peste o mulțime simplectică, cunoscut drept câmp vectorial simplectic.
Câmpul vectorial simplectic, numit și câmp vectorial Hamiltonian, induce un flux Hamiltonian peste această mulțime. Curbele integrale ale câmpului vectorial sunt o familie uniparametrică de transformări ale mulțimii, parametrul curbelor numindu-se timp, iar evoluția în timp este dată prin simplectomorfism, care păstrează volumul în spațiul fazelor conform teoremei lui Liouville. Colecția simplectomorfismelor indusă de fluxul Hamiltonian este numită mecanica Hamiltoniană a unui sistem Hamiltonian.
Structura simplectică induce o paranteză Poisson, iar paranteza Poisson dă spațiul funcțiilor pe structura mulțimii unei algebre Lie.
Fiind dată funcția f, aven:
Dacă avem o probabilitate de distribuție ρ, deoarece viteza din spațiul fazelor () are divergența egală cu zero și probabilitatea se conservă, derivata ei convectivă este zero și putem scrie:
Aceasta se numește teorema lui Liouville: Fiecare funcție netedă G peste o mulțime simplectică generează o familie uniparametrică de simplectomorfisme, iar dacă { G, H } = 0, atunci G se conservă, iar simplectomorfismele sunt transformări simetrice.
Hamiltonianul poate avea multe cantități Gi care se conservă. Dacă mulțimea simplectică are dimensiunea 2n și dacă există n cantități Gi independente funcțional care se conservă, fiind în involuție (adică, { Gi, Gj } = 0), atunci Hamiltonianul este integrabil în sensul lui Liouville. Teorema Liouvile-Arnol’d afirmă că, local orice Hamiltonian integrabil în sensul lui Liouville poate fi transformat printr-un simplectomorfism într-un Hamiltonian cu cantitățile Gi conservate sub forma coordonatelor, iar noile coordonate se numesc coordonate unghi-acțiune. Hamiltonianul transformat depinde numai de Gi, și astfel ecuația de mișcare capătă forma simplă:
pentru câteva funcții F (Arnol'd et al., 1988). De altfel, există o serie întreagă de lucrări care se concentrează pe micile deviații față de sistemele integrabile guvernate de teorema KAM.
Integrabilitatea câmpului vectorial Hamiltonian este încă o problemă deschisă. În general, sistemele Hamiltoniene sunt haotice, iar conceptele de măsură, de completitudine, de integrabilitate și stabilitate sunt slab definite.
Mulțimi Riemanniane
[modificare | modificare sursă]Un caz special important este acela în care Hamiltonianul are formă pătratică, adică poate fi scris sub forma:
unde este un produs scalar care variază lent pe spațiul fibrat , spațiul cotangent în punctul q din spațiul configurațiilor, uneori numit și cometrică. Acest Hamiltonian se bazează în totalitate pe energia cinetică.
Dacă se consideră o mulțime Riemanniană sau o pseudo-mulțime Riemanniană, metrica Riemanniană induce un izomorfism liniar între fibrajul tangent și cel cotangent (vezi Izomorfism canonic). Folosind acest izomorfism, putem defini o cometrică. În coordonate, matricea care definește o cometrică este inversa unei matrici care definește o metrică. Soluțiile ecuațiilor Hamilton-Jacobi pentru acest Hamiltonian sunt aceleași ca ale geodezicelor unui mulțimi. În particular, fluxul Hamiltonian în acest caz este același ca al fluxului geodezic. Pentru detalii vezi articolele Geodezică și Geodezice ca flux Hamiltonian.
Submulțimi Riemanniene
[modificare | modificare sursă]Atunci când cometrica este degenerată, acesta nu este inversabilă. În acest caz, nu avem o mulțime Riemanniană și nici metrică. Totuși, Hamiltonianul încă există. În cazul în care cometrica este degenerată în fiecare punct q al mulțimii Q din spațiul configurațiilor, astfel încât rangul cometricii este mai mic decât dimensiunea grupului Q, avem o submulțime Riemanniană.
În acest caz, Hamiltonianul este cunoscut sub numele de Hamiltonianul submulțimii Riemenniene. Fiecare astfel de Hamiltonian determină în mod unic cometrica, și vice-versa. Acest lucru presupune ca fiecare submulțime Riemanniană să fie unic determinată de Hamiltonianul submulțimii Riemanniene, deci, este adevărat faptul că: fiecare submulțime Riemanniană are un unic Hamiltonian al submulțimii Riemanniene. Existența subgeodezicelor Riemanniene este dată de teorema Chow-Rashevskii.
Un exemplu simplu de submulțime Riemanniană este grupul Heisenberg real. Pentru acest grup Hamiltonianul este dat de:
- .
nefiind implicat în Hamiltonian.
Algebra Poisson
[modificare | modificare sursă]Sistemele Hamiltoniene pot fi generalizate în diverse feluri. În loc de privi în mod simplist la algebra funcțiilor netede peste o mulțime simplectică, mecanica Hamiltoniană poate fi formulată ca o algebră Poisson comutativă reală unitară. O stare este o funcțională liniară continuă pe algebra Poisson, înzestrată cu a topologie corespunzătoare, astfel încât, pentru orice element A al algebrei, A² este un număr real nenegativ.
O generalizare a celor expuse mai sus este dată de dinamica Nambu.
Particule încărcate într-un câmp electromagnetic
[modificare | modificare sursă]O bună ilustrare a mecanicii Hamiltoniene este dată de Hamiltonianul unei particule încărcate într-un câmp electromagnetic. În coordonate carteziene, adică , Lagrangianul nerelativist clasic al particulei în câmpul electromagnetic este:
unde e este sarcina electrică a particulei (nu neapărat sarcina electronului), este potențialul electric scalar, iar sunt componentele potențialului electric vector.
Impulsul generalizat poate fi derivat din:
Rearanjând, putem exprima viteza în funcție de impuls:
Substituind în Hamiltonian și rearanjând, se obține:
Acestă ecuație este frecvent folosită în mecanica cuantică.
Particulă relativistă încărcată în câmp electromagnetic
[modificare | modificare sursă]Lagrangianul pentru o particulă relativistă încărcată este dat de:
Impulsul canonic total al particulei este:
adică, suma impulsului și al potențialului cinetic.
Rezolvând, obținem viteza:
Deci Hamiltonianul este:
din care obținem ecuația forței (echivalentă cu ecuația Euler-Lagrange):
pe care derivând-o, obținem:
O expresie echivalentă pentru Hamiltonian în funcție de impulsul relativist este:
Acestă formulare are avantajul că poate fi măsurat experimental, iar nu. De notat că Hamiltonianul (energia totală) poate fi văzut ca suma energiilor relativiste plus potențialul energetic,
Principiul lui Hamilton aplicat corpurilor deformabile
[modificare | modificare sursă]Principiul lui Hamiltion este un principiu variațional în elasticitate. În contrast cu un sistem compus din corpuri rigide, corpurile deformabile au o infinitate de grade de libertate și umplu o regiune din spațiu ca un mediu continuu; consecvent, starea sistemului este descrisă folosind funcții continue de spațiu și timp. Principiul lui Hamilton extins la astfel de corpuri este dat de:
unde este energia cinetică, este energia elastică, este lucrul mecanic al forțelor exterioare asupra corpului, iar timpul inițial și final. Dacă sistemul este conservativ, lucrul mecanic al forțelor exterioare poate deriva dintr-un potențial scalar . În acest caz:
Acesta este Principiul lui Hamiton și este invariant la transformări de coordonate.
Vezi și
[modificare | modificare sursă]- Transformări canonice
- Teoria câmpului clasic
- Mecanică clasică
- Teoria sistemelor dinamice
- Hamiltonian (mecanică cuantică)
- Ecuația Hamilton–Jacobi
- Lagrangian
- Ecuațiile lui Maxwell
- Teoria câmpului cuantic
- Mecanică cuantică
Note
[modificare | modificare sursă]- ^ LaValle, Steven M. (), „§13.4.4 Hamiltonian mechanics”, Planning Algorithms, Cambridge University Press, ISBN 978-0-521-86205-9, arhivat din original la , accesat în .
- ^ „The Hamiltonian”, MIT OpenCourseWare website 18.013A Chapter 16.3 Accessed February 2007.
Bibliografie
[modificare | modificare sursă]- Radu Voinea, Dumitru Voiculescu și Florian-Paul Simion Introducere în mecanica solidului cu aplicații în inginerie, Edititura Academiei Republicii Socialiste România, 1989.
- Iacob, Caius: Mecanică teoretică, Editura didactică și pedagogică, București, 1980.
- Mercheș, Ioan și Burlacu, Lucian: Mecanică analitică și a mediilor deformabile, cap.3, paragraful 3.1. (pag.15-16), Editura didactică și pedagogică, București, 1983.
- V.I. Arnol'd, Mathematical Methods of Classical Mechanics, Springer-Verlag (1989), [ISBN 0-387-96890-3]
- Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X
- V.I. Arnol'd, V.V. Kozlov and A.I. Neĩshtadt, "Mathematical aspects of classical and celestial mechanics." In: Encyclopaedia of Mathematical Sciences, Dynamical Systems III (vol. 3), Springer-Verlag, 1988.
- A. M. Vinogradov , B. A. Kupershmidt "The structure of Hamiltonian mechanics Arhivat în , la Wayback Machine." (djvu), London Math. Soc. Lect. Notes Ser., 60 (1981), Cambridge Univ. Press, London
- Binney, James, "Classical Mechanics Arhivat în , la Wayback Machine." (PostScript) lecture notes (PDF)
- Tong, David, Classical Dynamics (Cambridge lecture notes)