En matemáticas y mecánica clásica , el corchete de Poisson es una operación binaria importante en la mecánica hamiltoniana , desempeñando un papel central en las ecuaciones de movimiento de Hamilton, que gobiernan la evolución temporal de un sistema dinámico hamiltoniano . El corchete de Poisson también distingue una cierta clase de transformaciones de coordenadas, llamadas transformaciones canónicas , que asignan sistemas de coordenadas canónicos a sistemas de coordenadas canónicos. Un "sistema de coordenadas canónico" consta de variables canónicas de posición y momento (simbolizadas a continuación por y , respectivamente) que satisfacen las relaciones canónicas entre corchetes de Poisson. El conjunto de posibles transformaciones canónicas es siempre muy rico. Por ejemplo, a menudo es posible elegir el propio hamiltoniano como una de las nuevas coordenadas de momento canónicas.
En un sentido más general, el corchete de Poisson se utiliza para definir un álgebra de Poisson , de la cual el álgebra de funciones sobre una variedad de Poisson es un caso especial. También hay otros ejemplos generales: ocurre en la teoría de las álgebras de Lie , donde el álgebra tensorial de un álgebra de Lie forma un álgebra de Poisson; En el artículo de álgebra envolvente universal se ofrece una construcción detallada de cómo se produce esto . Las deformaciones cuánticas del álgebra envolvente universal conducen a la noción de grupos cuánticos .
Todos estos objetos llevan el nombre de Siméon Denis Poisson . Introdujo el soporte de Poisson en su tratado de mecánica de 1809. [1] [2]
Propiedades
Dadas dos funciones f y g que dependen del espacio de fase y el tiempo, su soporte de Poisson es otra función que depende del espacio de fase y el tiempo. Las siguientes reglas son válidas para tres funciones cualesquiera de espacio y tiempo de fase:
Los corchetes de Poisson de las coordenadas canónicas son
donde está el delta de Kronecker .
Las ecuaciones de movimiento de Hamilton.
Las ecuaciones de movimiento de Hamilton tienen una expresión equivalente en términos del corchete de Poisson. Esto puede demostrarse más directamente en un marco de coordenadas explícito. Supongamos que es una función en la variedad de trayectorias de la solución. Luego, de la regla de la cadena multivariable ,
Por lo tanto, la evolución temporal de una función en una variedad simpléctica se puede dar como una familia de simplectomorfismos de un solo parámetro (es decir, transformaciones canónicas , difeomorfismos que preservan el área), siendo el tiempo el parámetro: el movimiento hamiltoniano es una transformación canónica generada por el hamiltoniano. Es decir, los corchetes de Poisson se conservan en él, de modo que en cualquier momento de la solución de las ecuaciones de Hamilton,
pueden servir como coordenadas de corchetes. Los corchetes de Poisson son invariantes canónicos .
El concepto de corchetes de Poisson se puede ampliar al de matrices definiendo la matriz de Poisson.
Considere la siguiente transformación canónica: Al definir , la matriz de Poisson se define como , donde está la matriz simpléctica bajo las mismas convenciones utilizadas para ordenar el conjunto de coordenadas. De la definición se desprende que:
La matriz de Poisson satisface las siguientes propiedades conocidas:
donde se conoce como matriz de Lagrange y cuyos elementos corresponden a corchetes de Lagrange . La última identidad también se puede expresar de la siguiente manera: Tenga en cuenta que la suma aquí implica coordenadas generalizadas así como impulso generalizado.
La invariancia del corchete de Poisson se puede expresar como: , lo que conduce directamente a la condición simpléctica: . [3]
Constantes de movimiento
Un sistema integrable tendrá constantes de movimiento además de la energía. Tales constantes de movimiento conmutarán con el hamiltoniano bajo el paréntesis de Poisson. Supongamos que alguna función es una constante de movimiento. Esto implica que si es una trayectoria o solución de las ecuaciones de movimiento de Hamilton , entonces
a lo largo de esa trayectoria. Luego
, como arriba, el paso intermedio sigue aplicando las ecuaciones de movimiento y asumimos que no depende explícitamente del tiempo. Esta ecuación se conoce como ecuación de Liouville . El contenido del teorema de Liouville es que la evolución temporal de una medida dada por una función de distribución viene dada por la ecuación anterior.
Si el corchete de Poisson de y desaparece ( ), entonces se dice que y está en involución . Para que un sistema hamiltoniano sea completamente integrable , las constantes de movimiento independientes deben estar en involución mutua , donde es el número de grados de libertad.
Además, según el teorema de Poisson , si dos cantidades y son constantes de movimiento explícitamente independientes del tiempo ( ), también lo son sus corchetes de Poisson . Sin embargo, esto no siempre proporciona un resultado útil, ya que el número de posibles constantes de movimiento es limitado ( para un sistema con grados de libertad) y, por lo tanto, el resultado puede ser trivial (una constante o una función de y ).
El corchete de Poisson en lenguaje sin coordenadas
Si el producto interior o la operación de contracción están definidos por , entonces la no degeneración equivale a decir que para cada forma hay un campo vectorial único tal que . Alternativamente ,. Entonces, si es una función suave , el campo vectorial hamiltoniano se puede definir como . Es fácil ver que
El corchete de Poisson en ( M , ω ) es una operación bilineal en funciones diferenciables , definida por ; el corchete de Poisson de dos funciones en M es en sí mismo una función en M . El corchete de Poisson es antisimétrico porque:
Además,
Aquí X g f denota el campo vectorial X g aplicado a la función f como derivada direccional, y denota la derivada de Lie (totalmente equivalente) de la función f .
Si α es una forma única arbitraria en M , el campo vectorial Ω α genera (al menos localmente) un flujo que satisface la condición de frontera y la ecuación diferencial de primer orden.
Habrá simplectomorfismos ( transformaciones canónicas ) para cada t en función de x si y sólo si ; cuando esto es cierto, Ω α se llama campo vectorial simpléctico . Recordando la identidad de Cartan y d ω = 0 , se deduce que . Por lo tanto, Ω α es un campo vectorial simpléctico si y sólo si α es una forma cerrada . Desde , se deduce que todo campo vectorial hamiltoniano X f es un campo vectorial simpléctico y que el flujo hamiltoniano consta de transformaciones canónicas. Desde (1) arriba, bajo el flujo hamiltoniano X H ,
Este es un resultado fundamental en la mecánica hamiltoniana, que rige la evolución temporal de funciones definidas en el espacio de fases. Como se señaló anteriormente, cuando { f , H } = 0 , f es una constante de movimiento del sistema. Además, en coordenadas canónicas (con y ), las ecuaciones de Hamilton para la evolución temporal del sistema se derivan inmediatamente de esta fórmula.
También se deduce de (1) que el corchete de Poisson es una derivación ; es decir, satisface una versión no conmutativa de la regla del producto de Leibniz :
El corchete de Poisson está íntimamente conectado con el corchete de Lie de los campos vectoriales hamiltonianos. Debido a que la derivada de Lie es una derivación,
Así, si v y w son simplécticos, utilizando la identidad de Cartan y el hecho de que es una forma cerrada,
De ello se deduce que , de modo que
Por tanto, el corchete de Poisson en funciones corresponde al corchete de Lie de los campos vectoriales hamiltonianos asociados. También hemos demostrado que el corchete de Lie de dos campos vectoriales simplécticos es un campo vectorial hamiltoniano y, por tanto, también es simpléctico. En el lenguaje del álgebra abstracta , los campos vectoriales simplécticos forman una subálgebra del álgebra de Lie de campos vectoriales suaves en M , y los campos vectoriales hamiltonianos forman un ideal de esta subálgebra. Los campos vectoriales simplécticos son el álgebra de Lie del grupo de Lie ( de dimensión infinita) de simplectomorfismos de M.
Se afirma ampliamente que la identidad de Jacobi para el grupo de Poisson
se deriva de la identidad correspondiente para el grupo de Lie de campos vectoriales, pero esto es cierto sólo hasta una función localmente constante. Sin embargo, para probar la identidad de Jacobi para el corchete de Poisson, basta demostrar que:
donde el operador de funciones suaves en M está definido por y el corchete del lado derecho es el conmutador de operadores, . Por (1) , el operador es igual al operador X g . La prueba de la identidad de Jacobi se deduce de (3) porque, hasta el factor de -1, el grupo de Lie de los campos vectoriales es simplemente su conmutador como operadores diferenciales.
El álgebra de funciones suaves en M, junto con el corchete de Poisson, forma un álgebra de Poisson , porque es un álgebra de Lie bajo el corchete de Poisson, que además satisface la regla de Leibniz (2) . Hemos demostrado que toda variedad simpléctica es una variedad de Poisson , es decir, una variedad con un operador de "llaves" en funciones suaves tales que las funciones suaves forman un álgebra de Poisson. Sin embargo, no todas las variedades de Poisson surgen de esta manera, porque las variedades de Poisson permiten una degeneración que no puede surgir en el caso simpléctico.
Este importante resultado merece una breve demostración. Escriba un campo vectorial en un punto del espacio de configuración donde
está el marco de coordenadas local. El momento conjugado tiene la expresión
donde son las funciones de momento conjugadas con las coordenadas. Entonces se tiene, para un punto en el espacio de fases ,
Lo anterior es válido para todos , dando el resultado deseado.
Para decir esto de manera más explícita y precisa, el álgebra envolvente universal del álgebra de Heisenberg es el álgebra de Weyl (módulo la relación de que el centro sea la unidad). El producto de Moyal es entonces un caso especial del producto estrella en el álgebra de símbolos. En el artículo sobre el álgebra envolvente universal se da una definición explícita del álgebra de símbolos y del producto estrella .
^ significa es una función de las variables independientes: momento ,; posición, ; y el tiempo,
Referencias
^ SD Poisson (1809)
^ CM Marle (2009)
^ Giacaglia, Giorgio EO (1972). Métodos de perturbación en sistemas no lineales . Ciencias matemáticas aplicadas. Nueva York Heidelberg: Springer. págs. 8–9. ISBN 978-3-540-90054-2.
Karasëv, Mikhail V.; Maslov, Víctor P. (1993). Corchetes de Poisson no lineales, Geometría y Cuantización . Traducciones de monografías matemáticas. vol. 119. Traducido por Sossinsky, Alexey; Shishkova, MA Providence, RI: Sociedad Matemática Estadounidense. ISBN 978-0821887967. SEÑOR 1214142.
Moretti, Valter (2023). Mecánica Analítica, Mecánica Clásica, Lagrangiana y Hamiltoniana, Teoría de la Estabilidad, Relatividad Especial . UNITEXTO. vol. 150. Saltador. ISBN 978-3-031-27612-5.
Poisson, Siméon-Denis (1809). "Mémoire sur la variation des constantes arbitraires dans les questions de Mécanique" (PDF) . Journal de l'École Polytechnique, 15e cahier . 8 : 266-344.
Marle, Charles-Michel (2009). "El inicio de la geometría simpléctica: las obras de Lagrange y Poisson durante los años 1808-1810". Letras en Física Matemática . 90 : 3-21. arXiv : 0902.0685 . doi :10.1007/s11005-009-0347-y.