Hamiltoniano (mecánica clásica)
El hamiltoniano es una función escalar a partir de la cual pueden obtenerse las ecuaciones de movimiento de un sistema mecánico clásico que se emplea en el enfoque hamiltoniano de la mecánica clásica.
Bajo ciertas condiciones relacionadas con las características del sistema (sistema conservativo) y las coordenadas empleadas, el hamiltoniano puede identificarse con la energía mecánica del sistema, aunque esto no sucede para todos los sistemas.
Usualmente el hamiltoniano es una función de las variables de posición y sus momentos conjugados, o más generalmente puede definirse como una función escalar definida sobre el espacio fásico del sistema.
{\displaystyle (\mathbf {q} ,\mathbf {p} ,t)\in \mathbb {R} ^{2n+1}\mapsto H(\mathbf {q} ,\mathbf {p} ,t)\in \mathbb {R} }
Si el sistema es autónomo, es decir, si no existe dependencia explícita del tiempo t en el lagrangiano y el conjunto de coordenadas escogidas son naturales, entonces puede probarse que el hamiltoniano es una integral de movimiento y además coincide en valor con la energía mecánica total del sistema.
En un sistema autónomo, en el que el lagrangiano no depende del tiempo, el hamiltoniano sigue siendo una integral del movimiento y por tanto se mantiene constante.
En la sección anterior vimos que este valor constante es igual a:
Este valor, para sistemas autónomos es lo que se conoce como integral de Jacobi o integral de Jacobi-Painlevé.
Conviene notar, sin embargo, que si el sistema no es natural este valor constante del hamiltoniano en general no coincidirá con el valor total de la energía mecánica y por tanto la energía mecánica no tiene por qué ser una constante del movimiento, ya que esta viene dada por:
Un péndulo esférico es un caso de sistema no-natural y simultáneamente autónomo.
El lagrangiano de un péndulo forzado, como el de la figura, formado por una partícula de masa m sujeta a un hilo inextensible forzado a girar con velocidad angular ω mientras oscila respecto a un eje perpendicular a la dirección:
Obviamente este lagrangiano es independiente del tiempo, por lo que el sistema es autónomo; sin embargo, la relación entre la coordenada generalizada α y las coordenadas cartesinas de la partícula son relaciones dependientes del tiempo:
Puesto que esas relaciones dependen explícitamente del tiempo, el sistema de coordenadas generalizadas no es natural.
El hamiltoniano, por no depender el lagragiano del tiempo, es obviamente una magnitud conservada o constante del movimiento:
La explicación de por qué no se conserva es simple.
El sistema, aunque autónomo, no está aislado, pues necesita un "motor" que mantenga constante la velocidad angular ω.
Por ello hay un flujo de energía desde el exterior, y la energía mecánica oscila entre un máximo y un mínimo.
El valor instantáneo de la energía y su valor medio temporal son:
Nótese que para que la hamiltoniana esté correctamente expresada en el formalismo hamiltoniano, ésta ha de ser una función de la forma:
y no de las velocidades generalizadas del sistema,
Para expresar correctamente la hamiltoniana, es necesario usar las ecuaciones de los momentos conjugados:
En mecánica cuántica se usa un concepto de hamiltoniano diferente matemáticamente del usado en mecánica clásica.
Si bien en mecánica clásica el hamiltoniano es una función definida sobre el espacio de fases del sistema (variedad simpléctica de dimensión finita), en mecánica cuántica el hamiltoniano es un operador lineal que actúa sobre elementos de un espacio vectorial, generalmente de dimensión infinita.
La conexión entre ambos conceptos es difícil de entender.
Para empezar, necesitamos definir una medida invariante sobre el espacio de fases que usualmente se toma como una potencia de la forma simpléctica que define la estructura simpléctica de dicho espacio:
es la medida invariante que aparece en el teorema de Liouville.
Además, la solución de las ecuaciones de Hamilton dan lugar a un flujo sobre el espacio fásico, que puede representarse por un grupo uniparamétrico {Tt}.
Finalmente, puede verse que este flujo induce sobre las funciones de cuadrado integrable definidas un grupo unitario de operadores de evolución {Ut}: (*)
La ecuación de la solución de Schrödinger puede representarse también por un grupo unitario de operadores construible a partir del hamiltoniano cuántico: (**)
Los paralelos formales entre (*) y (**) son evidentes.
