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 de coordenadas con elemento de volumen , el soporte de Nambu definido por
es un soporte de Poisson para cualquier elección de función suave distinguida .
Entonces, si entendí la definición, elegimos una función ser una función distinguida, es decir, computará con cualquier otra función y luego, el paréntesis en el sistema de coordenadas se obtiene expresando en términos de . Desde es múltiplo de establecimos ser ese escalar.
Después de eso, aplica esto a la óptica geométrica. Considerando coordenadas cartesianas el autor hace lo siguiente: considera la función distinguida (que aquí se conoce como la asimetría) e introduce el sistema de coordenadas
Con esto presenta la igualdad
y me pregunta lo siguiente
Verifique que la ecuación anterior transforma la paréntesis de coordenadas cartesianas a hiperboloidales, usando las definiciones de en términos de .
Creo que no entendí lo que hay que hacer. De hecho, transformé el elemento de volumen. para que tengamos
así tenemos
nótese, sin embargo, que por definición del paréntesis, el término es solo el paréntesis en coordenadas cartesianas. En el lado derecho entonces no aparece ninguna sino mas bien lo mismo que estaba al otro lado.
Por otro lado, si simplemente aplicamos la definición usando coordenadas hiperboloidales obtenemos
por lo que al final el paréntesis en estas coordenadas sería
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 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?
Cada paréntesis de Poisson está asociado con un campo bivector (ver, por ejemplo, este libro capítulo 4.3):