Según tengo entendido, la falta de indicación sobre cómo obtener las primeras integrales en la teoría de Arnol'd-Liouville es una razón por la que estamos interesados en los sistemas bi-hamiltonianos.
Dos Paréntesis de Poisson $\{ \cdot,\cdot \} _{1} , \{ \cdot , \cdot \} _{2}$ en un colector $M$ son compatibles si su combinación lineal arbitraria $\lambda \{ \cdot , \cdot \} _1+\mu\{\cdot,\cdot\} _2$ es también un soporte de Poisson. Un sistema bi-hamiltoniano es aquel que permite formulaciones hamiltonianas con respecto a dos corchetes de Poisson compatibles. Posee automáticamente un número de integrales en involución.
La definición de una integrabilidad completa (à la Liouville-Arnol'd) es:
Flujos hamiltonianos y mapas de Poisson en un $2n$ -de la variedad simpléctica de las dimensiones $\left(M,\{ \cdot, \cdot \}_M\right)$ con $n$ funciones (suaves de valor real) $F _1,F _2,\dots,F _n$ tal que: (i) sean funcionalmente independientes (es decir, los gradientes $\nabla F _k$ son linealmente independientes en todas partes en $M$ ) y (ii) estas funciones están en involución (es decir $\{F _k,F _j\}=0$ ) se denominan completamente integrables.
Ahora, me gustaría entender las conexiones entre estas dos nociones, y como no he estudiado la teoría, cualquier respuesta sería útil. La lectura de documentos sobre estos temas me parece demasiado técnica en este momento. Las preguntas específicas que tengo en mente son
¿Permite siempre un sistema completamente integrable una estructura bi-hamiltoniana? ¿Son todos los sistemas bi-hamiltonianos completamente integrables? Si no es así, ¿cuáles son los ejemplos (o lugares donde encontrar ejemplos) de sistemas que poseen una propiedad pero no la otra?
Pido disculpas por cualquier error estúpido que haya podido cometer arriba. Siéntase libre de editar (etiquetado incluido).