Hamiltonian reduction from particular integrals

Resumen Técnico: Reducción Hamiltoniana a partir de Integrales Particulares

Planteamiento del Problema
El artículo aborda los mecanismos geométricos que subyacen a las "integrales particulares": cantidades que no son globalmente conservadas, pero que se vuelven conservadas cuando la dinámica de un sistema hamiltoniano se restringe a un subconjunto invariante específico del espacio de fase. Mientras que la integrabilidad de Liouville–Arnold clásica se basa en constantes de movimiento globales en involución para definir toros invariantes, y el trabajo previo sobre integrabilidad particular se centró en resolver ecuaciones restringidas mediante cuadraturas de Lie (que no necesariamente son sistemas hamiltonianos), existe una brecha en la comprensión de cómo las integrales particulares pueden generar un mecanismo de reducción hamiltoniana riguroso. Específicamente, los autores buscan determinar si los sistemas de integrales particulares pueden definir subvariedades invariantes que hereden una estructura presimpléctica, permitiendo una proyección a un sistema hamiltoniano de menor dimensión genuino.

Metodología
Los autores desarrollan un marco geométrico basado en los siguientes pasos:

1. Generalización de las Integrales Particulares: La condición escalar estándar de una integral particular, $\dot{f} = af$, se generaliza a un sistema de funciones $f_1, \dots, f_k$ que satisfacen una condición de clausura lineal:
   $$\dot{f}_i = a^j_i f_j$$
   donde $a^j_i$ son funciones suaves en el espacio de fase. El Lema 1 demuestra que el conjunto de nivel cero común $M_f = \{x \mid f_i(x) = 0\}$ de tal sistema es una subvariedad embebida dinámicamente invariante de codimensión $k$.

2. Reducción Presimpléctica: En el contexto hamiltoniano, si las funciones $f_i$ están en involución de Poisson ($\{f_i, f_j\} = 0$), la subvariedad invariante $M_f$ hereda una 2-forma cerrada de rango constante (una forma presimpléctica) de la variedad simpléctica ambiente. La dinámica restringida a $M_f$ es presimpléctica.

3. Reducción de Gauge y Proyección: Los autores aplican el procedimiento de reducción de gauge a la variedad presimpléctica. Al realizar el cociente de $M_f$ por la distribución característica (el núcleo de la forma presimpléctica), construyen una variedad simpléctica reducida. Se demuestra que la dinámica en este cociente es un sistema hamiltoniano genuino con menos grados de libertad.

4. Construcciones de Elevación (Lifts): El artículo investiga "elevaciones" de sistemas hamiltonianos naturales (sistemas con energía cinética y potencial) a espacios de configuración extendidos. Específicamente, los autores analizan:

   • La elevación de Eisenhart, que realiza las trayectorias como geodésicas.
   • Elevaciones auxiliares escalares, diagonales y no diagonales, donde se introducen coordenadas y momentos auxiliares.
   • Sistemas con interacciones magnéticas y hamiltonianos polinómicos.
     En estas construcciones, los momentos auxiliares (o combinaciones de ellos) forman sistemas de integrales particulares. La dinámica original se recupera al restringirse al conjunto de nivel cero de estos momentos y proyectar fuera las variables auxiliares.

Contribuciones Clave y Resultados

• Subvariedades Invariantes desde la Clausura Lineal: El artículo establece que las subvariedades invariantes no necesitan ser definidas por constantes de movimiento globales o por una única integral particular escalar. Pueden surgir como los conjuntos de nivel cero comunes de familias de funciones cuyas derivadas temporales se cierran linealmente sobre la propia familia.
• Integrabilidad de Liouville Particular: Los autores introducen un nuevo concepto denominado "integrabilidad de Liouville particular". Un sistema es particularmente integrable de Liouville si la dinámica, al ser restringida por un conjunto de integrales particulares en involución y proyectada a lo largo de la distribución característica, produce un sistema hamiltoniano completamente integrable de Liouville. Esto distingue el resultado de la "integrabilidad de Lie particular" (donde las ecuaciones restringidas son solubles por cuadraturas pero no son necesariamente hamiltonianas).
• Puente Geométrico: El trabajo proporciona un puente geométrico directo entre las integrales particulares, la reducción presimpléctica y la dinámica hamiltoniana de menor dimensión. Aclara que cuando las integrales particulares están en involución, la reducción conduce a un sistema hamiltoniano estándar en la variedad cociente.
• Mecanismos de Elevación: El artículo demuestra que las elevaciones auxiliares (escalares, diagonales, no diagonales) generan naturalmente sistemas de integrales particulares. En estos sistemas elevados, las integrales primeras del sistema base generalmente dejan de ser constantes de movimiento globales; en su lugar, se convierten en parte de sistemas de integrales particulares (por ejemplo, $f-c$ y el momento auxiliar $p_z$) que definen la subvariedad invariante donde se recupera la dinámica original.
• Extensión a Sistemas Magnéticos y Polinómicos: Se muestra que el mecanismo de reducción se extiende a sistemas hamiltonianos con potenciales vectoriales magnéticos y a hamiltonianos polinómicos, siempre que la evolución de los momentos auxiliares se cierre sobre el ideal generado por dichos momentos.

Significancia y Reivindicaciones
El artículo afirma ofrecer una forma "geométicamente robusta" de conservación que organiza la dinámica hamiltoniana incluso cuando no hay leyes de conservación globales. Su principal significancia radica en:

1. Marco Unificador: Sitúa las formas déb y restringidas de integrabilidad (donde la integrabilidad se mantiene solo en niveles selectos de energía o momento) dentro de un marco común con la integrabilidad de Liouville estándar.
2. Mecanismo de Reducción: Identifica las integrales particulares como un generador para la reducción hamiltoniana, distinto de las simetrías de Noether o las transformaciones canónicas.
3. Clarificación de Tipos de Integrabilidad: Distingue rigurosamente entre la dinámica restringida que es meramente soluble por cuadraturas (integrabilidad de Lie) y aquella que retiene una estructura hamiltoniana en el espacio reducido (integrabilidad de Liouville).

Los autores señalan que, si bien la construcción encaja naturalmente con el estudio de las simetrías y las leyes de conservación, la clasificación de todas las elevaciones auxiliares que transforman las integrales primeras en integrales particulares sigue siendo una dirección abierta. Del mismo modo, se sugiere como trabajo futuro la extensión a sistemas de Poisson, cosimplécticos y dependientes del tiempo, los cuales no se desarrollan en este artículo.