La mecánica hamiltoniana es una formulación matemáticamente sofisticada de la mecánica clásica . Históricamente, contribuyó a la formulación de la mecánica estadística y la mecánica cuántica . La mecánica hamiltoniana fue formulada por primera vez por William Rowan Hamilton en 1833, a partir de la mecánica lagrangiana , una reformulación previa de la mecánica clásica introducida por Joseph Louis Lagrange en 1788. Al igual que la mecánica lagrangiana, la mecánica hamiltoniana es equivalente a las leyes del movimiento de Newton en el marco de la mecánica clásica. .
Descripción general
Coordenadas del espacio de fase (p, q) y Hamiltoniano H
Dejar ser un sistema mecánico con el espacio de configuración y el suave lagrangiano Seleccione un sistema de coordenadas estándar en Las cantidades se llaman momentos . (También momentos generalizados , momentos conjugados y momentos canónicos ). Por un instante de tiempola transformación de Legendre se define como el mapa que asumiremos que tiene un inverso suave Para un sistema con grados de libertad, la mecánica de Lagrange define la función de energía
La inversa de la transformación de Legendre gira en una función conocido como hamiltoniano . Formalmente,
lo que implica que
donde las velocidades se encuentran en el (-dimensional) ecuación que, por supuesto, se puede resolver de forma única para La (-dimensional) par se llama coordenadas del espacio de fase . (También coordenadas canónicas ).
Observación terminológica. Algunas fuentes definen la transformación de Legendre como una función dependiente del tiempo.
donde, como antes, la función satisface Bajo esta última definición, el hamiltoniano es la transformación de Legendre del Lagrangiano
De la ecuación de Euler-Lagrange a las ecuaciones de Hamilton
En coordenadas de espacio de fase la (-dimensional) Ecuación de Euler-Lagrange
se convierte en el (-dimensional) ecuaciones de Hamilton
Del principio de acción estacionaria a las ecuaciones de Hamilton
Dejar ser el conjunto de caminos lisos para cual y La acción funcional se define a través de
dónde y (véase más arriba). Un senderoes un punto estacionario de (y por lo tanto es una ecuación de movimiento) si y solo si la trayectoria en el espacio de fase las coordenadas obedecen a las ecuaciones de Hamilton.
Interpretación física básica
Una interpretación simple de la mecánica hamiltoniana proviene de su aplicación en un sistema unidimensional que consta de una partícula de masa m . El valordel hamiltoniano es la energía total del sistema, es decir, la suma de la energía cinética y potencial , tradicionalmente denominadas T y V , respectivamente. Aquí p es el impulso mv y q es la coordenada espacial. Luego
T es una función de p solo, mientras que V es una función de q solo (es decir, T y V son escleronómicos ).
En este ejemplo, la derivada del momento p es igual a la fuerza newtoniana , por lo que la primera ecuación de Hamilton significa que la fuerza es igual al gradiente negativo de energía potencial. La derivada temporal de q es la velocidad, por lo que la segunda ecuación de Hamilton significa que la velocidad de la partícula es igual a la derivada de su energía cinética con respecto a su momento.
Ejemplo
El péndulo esférico consiste en una masa m que se mueve sin fricción sobre la superficie de una esfera . Las únicas fuerzas que actúan sobre la masa son la reacción de la esfera y la gravedad . Las coordenadas esféricas se utilizan para describir la posición de la masa en términos de ( r , θ , φ ), donde r es fijo, r = l .
El lagrangiano para este sistema es [1]
Así, el hamiltoniano es
dónde
y
En términos de coordenadas y momentos, el hamiltoniano lee
Las ecuaciones de Hamilton dan la evolución temporal de coordenadas y momentos conjugados en cuatro ecuaciones diferenciales de primer orden,
- .
Impulso , que corresponde a la componente vertical del momento angular , es una constante de movimiento. Eso es una consecuencia de la simetría rotacional del sistema alrededor del eje vertical. Estar ausente del acimut hamiltoniano es una coordenada cíclica , lo que implica la conservación de su momento conjugado.
Derivando las ecuaciones de Hamilton
Las ecuaciones de Hamilton se pueden derivar observando cómo el diferencial total del Lagrangiano depende del tiempo, las posiciones generalizadas q i y las velocidades generalizadas q̇ i : [2]
Los momentos generalizados se definieron como
Si esto se sustituye en el diferencial total del Lagrangiano, se obtiene
Esto se puede reescribir como
que después de reorganizar conduce a
El término en el lado izquierdo es solo el hamiltoniano que se definió antes, por lo tanto
También es posible calcular el diferencial total del hamiltoniano H con respecto al tiempo directamente, similar a lo que se hizo con el lagrangiano L anterior, obteniendo:
De las dos ecuaciones independientes anteriores se deduce que sus lados derechos son iguales entre sí. El resultado es
Dado que este cálculo se realizó fuera de la estructura (es decir, sin tener en cuenta las ecuaciones de movimiento), se pueden asociar los términos correspondientes de ambos lados de esta ecuación para obtener:
En el caparazón, las ecuaciones de Lagrange indican que
Una reordenación de esto produce
Por tanto, las ecuaciones de Hamilton son
Las ecuaciones de Hamilton constan de 2 n ecuaciones diferenciales de primer orden , mientras que las ecuaciones de Lagrange constan de n ecuaciones de segundo orden. Las ecuaciones de Hamilton generalmente no reducen la dificultad de encontrar soluciones explícitas, pero aún ofrecen algunas ventajas: Se pueden derivar importantes resultados teóricos, porque las coordenadas y los momentos son variables independientes con roles casi simétricos.
Las ecuaciones de Hamilton tienen otra ventaja sobre las ecuaciones de Lagrange: si un sistema tiene una simetría, tal que una coordenada no ocurre en el hamiltoniano, se conserva el momento correspondiente y esa coordenada puede ignorarse en las otras ecuaciones del conjunto. Esto reduce efectivamente el problema de n coordenadas a ( n - 1) coordenadas. En el marco lagrangiano, el resultado de que se conserva el momento correspondiente todavía sigue inmediatamente, pero todas las velocidades generalizadas todavía ocurren en el lagrangiano. Aún queda por resolver un sistema de ecuaciones en n coordenadas. [3] Los enfoques lagrangiano y hamiltoniano proporcionan la base para resultados más profundos en la teoría de la mecánica clásica y para las formulaciones de la mecánica cuántica.
Hamiltoniano de una partícula cargada en un campo electromagnético
El hamiltoniano de una partícula cargada en un campo electromagnético da una ilustración suficiente de la mecánica hamiltoniana . En coordenadas cartesianas, el lagrangiano de una partícula clásica no relativista en un campo electromagnético es (en unidades SI ):
donde q es la carga eléctrica de la partícula, φ es el potencial escalar eléctrico y A i son las componentes del potencial del vector magnético que pueden depender explícitamente de y .
Este lagrangiano, combinado con la ecuación de Euler-Lagrange , produce la ley de fuerza de Lorentz
y se llama acoplamiento mínimo .
Tenga en cuenta que los valores del potencial escalar y el potencial vectorial cambiarían durante una transformación de calibre , [4] y el propio Lagrangiano también recogerá términos adicionales; Pero los términos adicionales en lagrangiano se suman a una derivada de tiempo total de una función escalar y, por lo tanto, no cambiarán la ecuación de Euler-Lagrange.
Los momentos canónicos vienen dados por:
Tenga en cuenta que los momentos canónicos no son invariantes de calibre y no se pueden medir físicamente. Sin embargo, el impulso cinético :
es de calibre invariante y medible físicamente.
El hamiltoniano, como la transformación de Legendre del lagrangiano, es por tanto:
Esta ecuación se utiliza con frecuencia en mecánica cuántica .
Transformación bajo calibre :
donde f ( r , t) es cualquier función escalar de espacio y tiempo, la transformación lagrangiana, canónica y hamiltoniana antes mencionada como:
que todavía produce la misma ecuación de Hamilton:
En mecánica cuántica, la función de onda también sufrirá una transformación de grupo local U (1) [5] durante la Transformación de calibre, lo que implica que todos los resultados físicos deben ser invariantes bajo transformaciones locales U (1).
Partícula cargada relativista en un campo electromagnético
El lagrangiano relativista para una partícula ( masa en reposo y cargar ) es dado por:
Por tanto, el momento canónico de la partícula es
es decir, la suma de la cantidad de movimiento cinética y la cantidad de movimiento potencial.
Resolviendo la velocidad, obtenemos
Entonces el hamiltoniano es
Esto da como resultado la ecuación de fuerza (equivalente a la ecuación de Euler-Lagrange )
de donde se puede derivar
La derivación anterior hace uso de la identidad de cálculo vectorial :
Una expresión equivalente para el hamiltoniano en función del momento relativista (cinético), , es
Esto tiene la ventaja de que el impulso cinético se puede medir experimentalmente mientras que el impulso canónico no puedo. Observe que el hamiltoniano ( energía total ) puede verse como la suma de la energía relativista (cinética + reposo) ,, más la energía potencial ,.
Estructuras matemáticas
Geometría de los sistemas hamiltonianos
El hamiltoniano puede inducir una estructura simpléctica en una variedad uniforme de dimensión uniforme M 2 n de varias formas diferentes, pero equivalentes, las más conocidas entre las que se encuentran las siguientes: [6]
Como 2-forma simpléctica no degenerada cerrada ω. De acuerdo con el teorema de Darboux , en un pequeño vecindario alrededor de cualquier punto de M en coordenadas locales adecuadas existe la forma simpléctica
Las coordenadas locales p , q se denominan canónicas o simplécticas .
La forma permite construir un isomorfismo natural del espacio tangente y el espacio cotangente Esto se hace mapeando un vector a la forma 1 dónde por un arbitrario Debido a la bilinealidad y no degeneración de y el hecho de que el mapeo es de hecho un isomorfismo lineal . Este isomorfismo es natural porque no cambia con el cambio de coordenadas en Repitiendo para cada terminamos con un isomorfismo entre el espacio de dimensión infinita de los campos vectoriales suaves y el de las formas 1 suaves. Para cada y
(En términos algebraicos, uno diría que el -módulos y son isomorfos). Si luego, por cada fijo y se conoce como campo vectorial hamiltoniano . La ecuación diferencial respectiva en
se llama ecuación de Hamilton . Aquí y es el valor (dependiente del tiempo) del campo vectorial a
Un sistema hamiltoniano puede entenderse como un haz de fibras E a lo largo del tiempo R , siendo las fibras E t , t ∈ R el espacio de posición. El lagrangiano es, por tanto, una función del haz de chorros J sobre E ; tomando la transformada de Legendre por fibras del lagrangiano produce una función en el haz dual a lo largo del tiempo cuya fibra en t es el espacio cotangente T ∗ E t , que viene equipado con una forma simpléctica natural , y esta última función es la hamiltoniana. La correspondencia entre la mecánica lagrangiana y la hamiltoniana se logra con la forma tautológica .
Cualquier función H uniforme de valor real en una variedad simpléctica se puede utilizar para definir un sistema hamiltoniano . La función H se conoce como "la hamiltoniana" o "la función de energía". La variedad simpléctica se llama entonces espacio de fase . El hamiltoniano induce un campo vectorial especial en la variedad simpléctica, conocido como campo vectorial hamiltoniano .
El campo vectorial hamiltoniano induce un flujo hamiltoniano en el colector. Ésta es una familia de transformaciones de un solo parámetro de la variedad (el parámetro de las curvas se llama comúnmente "el tiempo"); en otras palabras, una isotopía de simplectomorfismos , comenzando por la identidad. Según el teorema de Liouville , cada simplectomorfismo conserva la forma de volumen en el espacio de fase . La colección de simplectomorfismos inducidos por el flujo hamiltoniano se denomina comúnmente "la mecánica hamiltoniana" del sistema hamiltoniano.
La estructura simpléctica induce un corchete de Poisson . El corchete de Poisson da al espacio de funciones en la variedad la estructura de un álgebra de Lie .
Si F y G son funciones suaves en M, entonces la función suave ω 2 ( IdG , IdF ) está correctamente definida; se llama un corchete de Poisson de funciones F y G y se denota { F , G }. El corchete de Poisson tiene las siguientes propiedades:
- bilinealidad
- antisimetría
- ( Regla de Leibniz )
- ( Identidad Jacobi )
- no degeneración: si el punto x en M no es crítico para F, entonces existe una función suave G tal que.
Dada una función f
si hay una distribución de probabilidad , ρ , entonces (dado que la velocidad del espacio de fase tiene divergencia cero y la probabilidad se conserva) se puede demostrar que su derivada convectiva es cero, por lo que
Esto se llama teorema de Liouville . Cada función suave G sobre la variedad simpléctica genera una familia de simmplectomorfismos de un parámetro y si { G , H } = 0 , entonces G se conserva y los simplectomorfismos son transformaciones de simetría .
Un hamiltoniano puede tener múltiples cantidades conservadas G i . Si la variedad simpléctica tiene dimensión 2 n y hay n cantidades conservadas funcionalmente independientes G i que están en involución (es decir, { G i , G j } = 0 ), entonces el hamiltoniano es integrable de Liouville . El teorema de Liouville-Arnold dice que, localmente, cualquier hamiltoniano integrable de Liouville puede transformarse mediante un simplectomorfismo en un nuevo hamiltoniano con las cantidades conservadas G i como coordenadas; las nuevas coordenadas se denominan coordenadas de ángulo de acción . El hamiltoniano transformado depende solo de G i , y por lo tanto las ecuaciones de movimiento tienen la forma simple
para alguna función F . [7] Hay todo un campo que se centra en pequeñas desviaciones de los sistemas integrables regidos por el teorema de KAM .
La integrabilidad de los campos vectoriales hamiltonianos es una cuestión abierta. En general, los sistemas hamiltonianos son caóticos ; los conceptos de medida, integridad, integrabilidad y estabilidad están mal definidos.
Variedades de Riemann
Un caso especial importante consiste en aquellos hamiltonianos que son formas cuadráticas , es decir, hamiltonianos que pueden escribirse como
donde ⟨,⟩ q es un producto interno que varía suavemente en las fibras T∗
qQ , el espacio cotangente hasta el punto q en el espacio de configuración , a veces llamado cometrico. Este hamiltoniano consta completamente del término cinético .
Si se considera una variedad Riemanniana o una variedad pseudo-Riemanniana , la métrica Riemanniana induce un isomorfismo lineal entre los haces tangente y cotangente. (Ver isomorfismo musical ). Usando este isomorfismo, se puede definir una cometrica. (En coordenadas, la matriz que define la córnea es la inversa de la matriz que define la métrica). Las soluciones de las ecuaciones de Hamilton-Jacobi para este hamiltoniano son las mismas que las geodésicas de la variedad. En particular, el flujo hamiltoniano en este caso es lo mismo que el flujo geodésico . La existencia de tales soluciones y la integridad del conjunto de soluciones se analizan en detalle en el artículo sobre geodésicas . Véase también Geodésica como flujos hamiltonianos .
Variedades subriemannianas
Cuando la córnea está degenerada, entonces no es invertible. En este caso, uno no tiene una variedad de Riemann, ya que no tiene una métrica. Sin embargo, el hamiltoniano todavía existe. En el caso de que la córnea esté degenerada en cada punto q del espacio de configuración de la variedad Q , de modo que el rango de la córnea sea menor que la dimensión de la variedad Q , se tiene una variedad subriemanniana .
El hamiltoniano en este caso se conoce como un hamiltoniano subriemanniano . Cada uno de esos hamiltonianos determina de forma única la cometrica, y viceversa. Esto implica que cada variedad subriemanniana está determinada únicamente por su hamiltoniano subriemanniano, y que lo contrario es cierto: cada variedad subriemanniana tiene un hamiltoniano subriemanniano único. La existencia de geodésicas subriemannianas viene dada por el teorema de Chow-Rashevskii .
El grupo de Heisenberg continuo y de valor real proporciona un ejemplo simple de una variedad subriemanniana. Para el grupo de Heisenberg, el hamiltoniano viene dado por
p z no está involucrado en el hamiltoniano.
Álgebras de Poisson
Los sistemas hamiltonianos se pueden generalizar de varias formas. En lugar de simplemente mirar el álgebra de funciones suaves sobre una variedad simpléctica , la mecánica hamiltoniana se puede formular en álgebras de Poisson reales unitales conmutativas generales . Un estado es un funcional lineal continuo en el álgebra de Poisson (equipado con alguna topología adecuada ) de modo que para cualquier elemento A del álgebra, A 2 se asigna a un número real no negativo.
La dinámica de Nambu ofrece una generalización adicional .
Generalización a la mecánica cuántica mediante el corchete de Poisson
Las ecuaciones de Hamilton anteriores funcionan bien para la mecánica clásica , pero no para la mecánica cuántica , ya que las ecuaciones diferenciales discutidas asumen que se puede especificar la posición exacta y el momento de la partícula simultáneamente en cualquier momento. Sin embargo, las ecuaciones pueden generalizarse adicionalmente para luego extenderse a aplicar a la mecánica cuántica, así como con la mecánica clásica, a través de la deformación de la álgebra de Poisson más de p y q para el álgebra de soportes Moyal .
Específicamente, la forma más general de la ecuación de Hamilton dice
donde f es alguna función de p y q , y H es el hamiltoniano. Para conocer las reglas para evaluar un corchete de Poisson sin recurrir a ecuaciones diferenciales, consulte álgebra de Lie ; un corchete de Poisson es el nombre del corchete de Lie en un álgebra de Poisson . Estos paréntesis de Poisson pueden luego extenderse a corchetes de Moyal que comportan un álgebra de Lie desigual, como lo demostró Hilbrand J. Groenewold , y por lo tanto describen la difusión mecánica cuántica en el espacio de fases (ver la formulación del espacio de fases y la transformada de Wigner-Weyl ). Este enfoque más algebraico no solo permite, en última instancia, extender las distribuciones de probabilidad en el espacio de fase a las distribuciones de cuasi-probabilidad de Wigner , sino que, en el mero ajuste clásico del paréntesis de Poisson, también proporciona más poder para ayudar a analizar las cantidades conservadas relevantes en un sistema.
Ver también
- Transformación canónica
- Teoría de campo clásica
- Teoría del campo hamiltoniano
- Teoría del campo covariante hamiltoniano
- Mecanica clasica
- Teoría de sistemas dinámicos
- Ecuación de Hamilton-Jacobi
- Ecuación de Hamilton – Jacobi – Einstein
- Mecánica lagrangiana
- Ecuaciones de Maxwell
- Hamiltoniano (mecánica cuántica)
- Ecuaciones cuánticas de Hamilton
- Teoría cuántica de campos
- Óptica hamiltoniana
- Teoría de De Donder-Weyl
- Mecánica geométrica
- Mecánica routhiana
- Mecánica nambu
- Mecánica de fluidos hamiltoniana
- Campo de vector hamiltoniano
Referencias
- ^ Landau y Lifshitz 1976 , págs. 33–34
- ↑ Esta derivación sigue las líneas que se dan en Arnol'd 1989 , págs. 65–66.
- ^ Goldstein, Poole y Safko 2002 , págs. 347–349
- ^ Srednicki, Mark (enero de 2007). Teoría cuántica de campos . Cambridge Core . doi : 10.1017 / cbo9780511813917 . ISBN 9780511813917. Consultado el 8 de mayo de 2020 .
- ^ Zinn-Justin, Jean; Guida, Riccardo (4 de diciembre de 2008). "Invarianza de calibre" . Scholarpedia . 3 (12): 8287. Código Bibliográfico : 2008SchpJ ... 3.8287Z . doi : 10.4249 / scholarpedia.8287 . ISSN 1941-6016 .
- ^ Arnol'd, Kozlov y Neĩshtadt 1988 , §3. Mecánica hamiltoniana.
- ^ Arnol'd, Kozlov y Neĩshtadt 1988
Otras lecturas
- Landau, Lev Davidovich ; Lifshitz, Evgenii Mikhailovich (1976). Mecánica . Curso de Física Teórica . 1 . Sykes, JB (John Bradbury), Bell, JS (3ª ed.). Oxford. ISBN 0-08-021022-8. OCLC 2591126 .
- Abraham, R .; Marsden, JE (1978). Fundamentos de la mecánica (2d ed., Rev., Enl. Y reset ed.). Reading, Mass .: Benjamin / Cummings Pub. Co. ISBN 0-8053-0102-X. OCLC 3516353 .
- Arnol'd, VI ; Kozlov, VV; Neĩshtadt, AI (1988). Aspectos matemáticos de la mecánica clásica y celeste . 3 . Anosov, DV Berlín: Springer-Verlag. ISBN 0-387-17002-2. OCLC 16404140 . Parámetro desconocido
|book-title=
ignorado ( ayuda ) - Arnol'd, VI (1989). Métodos matemáticos de la mecánica clásica (2ª ed.). Nueva York: Springer-Verlag. ISBN 0-387-96890-3. OCLC 18681352 .
- Goldstein, Herbert ; Poole, Charles P. Jr .; Safko, John L. (2002). Mecánica clásica (3ª ed.). San Francisco: Addison Wesley. ISBN 0-201-31611-0. OCLC 47056311 .
- Vinogradov, AM ; Kupershmidt, BA (31 de agosto de 1977). "La estructura de la mecánica hamiltoniana" . Encuestas matemáticas rusas . 32 (4): 177–243. doi : 10.1070 / RM1977v032n04ABEH001642 . ISSN 0036-0279 .
enlaces externos
- Binney, James J. , Classical Mechanics (lecture notes) (PDF) , Universidad de Oxford , consultado el 27 de octubre de 2010
- Tong, David , Classical Dynamics (notas de la conferencia de Cambridge) , Universidad de Cambridge , consultado el 27 de octubre de 2010
- Hamilton, William Rowan , Sobre un método general en dinámica , Trinity College Dublin