¿Cómo se transforma el corchete de Poisson cuando cambiamos de coordenadas?

Estoy estudiando el libro Mecánica geométrica de Darryl D. Holm y hay un ejercicio en el libro que no entiendo muy bien lo que se debe hacer. La misma discusión que hace el autor en el libro se hace en la página 7 de estas soluciones a unos ejercicios proporcionados por él mismo. Este ejercicio, sin embargo, no se trata allí.

El punto es que él define un tipo de soporte Possion de la siguiente manera:

Para cualquier función suave F , H C ( R 3 ) de coordenadas X R 3 con elemento de volumen d 3 X , el soporte de Nambu { F , H } definido por

d C d F d H = { F , H } d 3 X

es un soporte de Poisson para cualquier elección de función suave distinguida C : R 3 R .

Entonces, si entendí la definición, elegimos una función C ser una función distinguida, es decir, C computará con cualquier otra función y luego, el paréntesis { F , H } en el sistema de coordenadas ( X 1 , X 2 , X 3 ) se obtiene expresando d C d F d H en términos de d 3 X . Desde d C d F d H es múltiplo de d 3 X establecimos { F , H } ser ese escalar.

Después de eso, aplica esto a la óptica geométrica. Considerando coordenadas cartesianas ( Y 1 , Y 2 , Y 3 ) el autor hace lo siguiente: considera la función distinguida S 2 = Y 1 2 Y 2 2 Y 3 2 (que aquí se conoce como la asimetría) e introduce el sistema de coordenadas

Y 1 2 = S aporrear tu , Y 2 = S pecado tu aporrear ψ , Y 3 = S pecado tu pecado ψ .

Con esto presenta la igualdad

{ F , H } d Y 1 d Y 2 d Y 3 = { F , H } H y pag mi r b S 2 d S d ψ d aporrear tu

y me pregunta lo siguiente

Verifique que la ecuación anterior transforma la R 3 paréntesis de coordenadas cartesianas a hiperboloidales, usando las definiciones de Y 1 , Y 2 , Y 3 en términos de S , ψ , tu .

Creo que no entendí lo que hay que hacer. De hecho, transformé el elemento de volumen. d Y 1 d Y 2 d Y 3 para que tengamos

d Y 1 d Y 2 d Y 3 = S 2 pecado tu d S d ψ d tu ,

así tenemos

{ F , H } d Y 1 d Y 2 d Y 3 = { F , H } S 2 d S d ψ d aporrear tu ,

nótese, sin embargo, que por definición del paréntesis, el { F , H } término es solo el paréntesis en coordenadas cartesianas. En el lado derecho entonces no aparece ninguna { F , H } H y pag mi r b sino mas bien lo mismo { F , H } que estaba al otro lado.

Por otro lado, si simplemente aplicamos la definición usando coordenadas hiperboloidales obtenemos

d S 2 d F d H = ( 2 S F ψ H tu + 2 S F tu H ψ ) d S d ψ d tu ,

por lo que al final el paréntesis en estas coordenadas sería

{ F , H } H y pag mi r b = ( 2 S F ψ H tu + 2 S F tu H ψ ) .

En ese caso, ¿qué está pasando aquí? Creo que no entendí lo que el autor quiere. ¿Qué hay que hacer realmente aquí?

Mi punto aquí es que simplemente transformando los diferenciales y comparándolos con la expresión que se encuentra en el libro termino obteniendo { F , H } = { F , H } H y pag mi r b que en mi opinión no es correcto. Entonces, ¿qué hay que hacer más aquí?

¿Cómo simplemente transformando los diferenciales y usando la definición de coordenadas hiperboloidales en coordenadas cartesianas se muestra la transformación entre paréntesis?

Respuestas (1)

Cada paréntesis de Poisson { , } está asociado con un campo bivector Λ (ver, por ejemplo, este libro capítulo 4.3):

{ F , h } = Λ ( d F , d h ) .
Lo que tienes que hacer es calcular Λ sobre la base holonómica Y j y luego aplicar la regla de transformación para el campo bivector Λ cuando pasas de coordenadas cartesianas ( Y 1 , Y 2 , Y 3 ) a los hiperboloides.