Mecánica hamiltoniana

De testwiki
Revisión feita o 5 de xaneiro de 2024 ás 02:10 por imported>InternetArchiveBot (Recuperando 1 fontes e etiquetando 0 como mortas.) #IABot (v2.0.9.5)
(dif) ← Revisión máis antiga | Revisión actual (dif) | Revisión máis nova → (dif)
Saltar á navegación Saltar á procura

A mecánica hamiltoniana foi desenvolvida en 1833 por William Rowan Hamilton.[1] Como a mecánica lagranxiana, é unha reformulación da mecánica clásica.

Características

A mecánica hamiltoniana pode ser formulada por si mesma, usando os espazos simplécticos, sen referir a conceptos anteriores de forza ou da mecánica lagranxiana.

Na primeira parte do artigo, a modo de conexión, amósase como xorde historicamente do estudo da mecánica lagranxiana.

Na mecánica lagranxiana, as ecuacións do movemento son dependentes das coordenadas xeneralizadas:

qj para j=1... N (coordenadas de posición xeneralizada) e

{qj˙|j=1,...,N}. (coordenadas de velocidade xeneralizada)

escríbese o lagranxiano como

L(qj,qj˙,t),

coas variables anteriores representando todas as variables N dese tipo. A mecánica hamiltoniana apunta a substituír as variables xeneralizadas da velocidade polas variables xeneralizadas do momento, tamén coñecidas como momento conxugado. Para cada velocidade xeneralizada, hai un momento conxugado correspondente, definido como

pj=Lqj˙.

nas coordenadas cartesianas, os momentos xeneralizados resultan ser os momentos lineais físicos. En coordenadas polares, o momento xeneralizado que corresponde á velocidade angular é o momento angular físico. Para unha elección arbitraria de coordenadas xeneralizadas, pode non ser posible obter unha interpretación intuitiva dos momentos conxugados. O hamiltoniano é a transformación de Legendre do lagranxiano

H(qj,pj,t)=iqi˙piL(qj,qj˙,t).

Se as ecuacións da transformación que definen as coordenadas xeneralizadas son independentes de t, pode ser demostrado que H é a enerxía total E = T + V.

Cada beira na definición de H produce un diferencial:

dH=i[(Hqi)dqi+(Hpi)dpi+(Ht)dt]=i[qi˙dpi+pidqi˙(Lqi)dqi(Lqi˙)dqi˙(Lt)dt].

substituíndo a definición anterior dos momentos conxugados nesta ecuación e emparellando coeficientes, obtemos as ecuacións do movemento da mecánica hamiltoniana, coñecidas como ecuacións canónicas de Hamilton:

Hqj=pj˙,Hpj=qj˙,Ht=Lt.

As ecuacións de Hamilton son ecuacións diferenciais de primeira orde, e por tanto máis doadas de solucionar que as ecuacións de Lagrange, que son de segunda orde. Non embargantes, os pasos que levan ás ecuacións do movemento son máis dificultosos que en mecánica lagranxiana - comenzando coas coordenadas xeneralizadas e o lagranxiano, debemos calcular o hamiltoniano, expresar cada velocidade xeneralizada en termos dos momentos conxugados, e substituír as velocidades xeneralizadas no hamiltoniano polos momentos conxugados.

En última instancia, producirá a mesma solución que a mecánica lagranxiana e as leis de Newton do movemento. A atracción principal do enfoque hamiltoniano é que proporciona a base para resultados máis profundos na teoría da mecánica clásica.

Formalismo matemático

Se temos un espazo simpléctico, que está equipado naturalmente cun corchete de Poisson e unha función diferenciable H sobre ela, entón H define unha familia de transformacións uniparamétricas con respecto ó tempo e isto chámase mecánica hamiltoniana. En particular,

tf={f,H}.

así, se temos unha distribución de probabilidade, ρ, entón

tρ={ρ,H}.

A isto chámaselle Teorema de Liouville. Cada función diferenciable, G, sobre a variedade simpléctica xera unha familia uniparamétrica de simplectomorfismos e se {G, h}=0, entón G consérvase e os simplectomorfismos son transformacións de simetría.

Álxebras de Poisson

Hai outra xeneralización que podemos facer. En troques de mirar a álxebra de funcións diferenciables sobre unha variedade simpléctica, a mecánica hamiltoniana pódese formular nunha álxebra de Poisson real unital conmutativa xeral. Un estado é unha funcional lineal continua na álxebra de Poisson (equipada dalgunha topoloxía conveniente) tales que para calquera elemento da álxebra, A, A^2 vai a ser un número real non negativo.

Notas

Véxase tamén

Outros artigos

Ligazóns externas

Modelo:Control de autoridades