¿Espacio de fase no euclidiano?

En mecánica clásica, las ecuaciones canónicas de movimiento se pueden representar en términos de corchetes de Poisson :

{ q i , F ( q , pag ) } = F pag i , { pag i , F ( q , pag ) } = F q i ,   a norte d { H , F ( q , pag ) } = d F d t .

Esto se entiende en el sentido de que el q i genera traducciones en el pag i dirección, pag i en el q i dirección, y H (el hamiltoniano) a través del tiempo. ¿Hay algo que se pueda ganar agregando un símbolo de Christoffel como una conexión a las ecuaciones canónicas (es decir, traduciendo el gradiente del espacio de fase en una derivada covariante )?

Concretamente, decir V j está en un espacio vectorial tangente a la variedad del espacio de fase (en alguna combinación de q y pag direcciones, o en un espacio vectorial completamente no relacionado). ¿Es posible construir un espacio de fase significativo definiendo los corchetes de Poisson como:

{ q i , V j ( q , pag ) } = V j pag i + [ Γ pag ] i k j i k V k , { pag i , V j ( q , pag ) } = V j q i [ Γ q ] i k j i k V k ,   a norte d { H , V j ( q , pag ) } = d V j d t [ Γ t ] i k j i k V k ,
o alguna construcción análoga?

¿Es siempre expresable el espacio de fase curvo resultante, a través de alguna transformación de coordenadas y hamiltoniano, utilizando ecuaciones de movimiento canónicas ordinarias?

no puede hacer que una transformación de coordenadas canónicas cambie sus corchetes de Poisson (esa es más o menos la definición de canónico). De todos modos, es posible que desee buscar en Googlegeomeotry of poisson brackets

Respuestas (1)

  1. Dada una variedad simpléctica ( METRO , ω ) , es natural preguntarse qué conexión de haz tangente

    (1) : Γ ( T METRO ) × Γ ( T METRO ) Γ ( T METRO )
    ¿elegir?

  2. Genéricamente, es natural elegir estar libre de torsión

    (2) T   =   0 ,
    y compatibles
    (3) ω   =   0
    con el simpléctico 2 -forma ω .

  3. Uno puede mostrar (a través de la partición de la unidad) que una conexión sin torsión y compatible existe en un colector paracompacto, cf. por ejemplo , esta publicación de Phys.SE. Tenga en cuenta que tal conexión está lejos de ser único.

  4. el triple ( METRO , ω , ) se denomina variedad de Fedosov y es la entrada geométrica para el producto estrella de Fedosov en la cuantización de la deformación .

  5. La cuantificación de Fedosov se puede utilizar para definir derivadas covariantes y evolución temporal para campos tensoriales, cf. referencias 1-2. La construcción clásica se puede extraer en el 0 límite.

  6. En casos especiales la variedad simpléctica ( METRO , ω ) está dotado de una métrica compatible gramo , cf. múltiple de Kähler . En tales situaciones, la métrica gramo destaca de manera única la conexión Levi-Civita . Consulte también esta publicación Phys.SE relacionada.

  7. Finalmente, mencionemos que si la variedad simpléctica METRO = T q es un paquete cotangente equipado con la estructura simpléctica tautológica (cf., por ejemplo , esta publicación de Phys.SE), y la variedad base q está dotado de una conexión, esto también conduce a posibilidades interesantes, por ejemplo, un soporte de super-Poisson, cf. Árbitro. 3.

Referencias:

  1. BV Fedosov, Una construcción geométrica simple de cuantización de deformación, J. Diff. Geom. 40 (1994) 213.

  2. BV Fedosov, Cuantización de la deformación y teoría del índice, Temas matemáticos, vol. 9, Akademie Verlag, Berlín, 1996.

  3. B. DeWitt, Supermanifolds, Universidad de Cambridge. Prensa, 1992; Sección 6.7.