En la teoría de sistemas dinámicos , el teorema de Liouville-Arnold establece que si, en un sistema dinámico hamiltoniano con n grados de libertad , también hay n primeras integrales de movimiento independientes, con conmutación de Poisson , y el conjunto de niveles de energía es compacto, entonces existe una transformación canónica a coordenadas de ángulo de acción en la que el hamiltoniano transformado depende sólo de las coordenadas de acción y las coordenadas de los ángulos evolucionan linealmente en el tiempo. Por tanto, las ecuaciones de movimiento del sistema se pueden resolver en cuadraturas si se pueden separar las condiciones establecidas simultáneamente a nivel. El teorema lleva el nombre de Joseph Liouville y Vladimir Arnold . [1] [2] [3] [4] [5] : 270–272
Historia
El teorema fue demostrado en su forma original por Liouville en 1853 para funciones con estructura simpléctica canónica . Arnold lo generalizó al contexto de variedades simplécticas , quien dio una prueba en su libro de texto Métodos matemáticos de la mecánica clásica publicado en 1974.![{\displaystyle \mathbb {R} ^{2n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Declaración
Definiciones preliminares
Sea una variedad simpléctica -dimensional con estructura simpléctica .![{\displaystyle (M^{2n},\omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\omega}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un sistema integrable es un conjunto de funciones , etiquetadas , que satisfacen![{\displaystyle M^{2n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M^{2n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F=(F_{1},\cdots,F_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Independencia lineal (genérica): en un conjunto denso
![{\displaystyle dF_{1}\wedge \cdots \wedge dF_{n}\neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Conmutación mutua de Poisson: el corchete de Poisson desaparece para cualquier par de valores .
![{\ Displaystyle (F_ {i}, F_ {j})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i,j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El corchete de Poisson es el corchete de Lie de los campos vectoriales del campo vectorial hamiltoniano correspondiente a cada uno . En su totalidad, si el campo vectorial hamiltoniano corresponde a una función suave , entonces, para dos funciones suaves , el corchete de Poisson es .![{\displaystyle F_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{H}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H:M^{2n}\rightarrow \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F,G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (F,G)=[X_{F},X_{G}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un punto es un punto regular si .![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle df_{1}\wedge \cdots \wedge df_{n}(p)\neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El sistema integrable define una función . Denotar por el conjunto de niveles de las funciones ,
o alternativamente, .![{\displaystyle F:M^{2n}\rightarrow \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_{\mathbf {c} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_{\mathbf {c} }=\{x:F_{i}(x)=c_{i}\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_{\mathbf {c} }=F^{-1}(\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ahora bien, si se le da la estructura adicional de una función distinguida , el sistema hamiltoniano es integrable si se puede completar en un sistema integrable, es decir, existe un sistema integrable .![{\displaystyle M^{2n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (M^{2n},\omega,H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F=(F_{1}=H,F_{2},\cdots,F_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema
Si es un sistema hamiltoniano integrable y es un punto regular, el teorema caracteriza el conjunto de niveles de la imagen del punto regular :![{\displaystyle (M^{2n},\omega,F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle L_ {c}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c=F(p)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una variedad suave que es invariante bajo el flujo hamiltoniano inducido por (y por lo tanto bajo el flujo hamiltoniano inducido por cualquier elemento del sistema integrable).![{\displaystyle H=F_{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si además es compacto y conexo, es difeomorfo al N-toro .
![{\displaystyle T^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Existen coordenadas (locales) tales que son constantes en el nivel establecido mientras . Estas coordenadas se llaman coordenadas de ángulo de acción .
![{\displaystyle (\theta _ {1},\cdots,\theta _ {n},\omega _ {1},\cdots,\omega _ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \omega _ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\dot {\theta }}_{i}:=(H,\theta _ {i})=\omega _ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos de sistemas integrables en Liouville
Un sistema hamiltoniano que es integrable se denomina "integrable en el sentido de Liouville" o "integrable de Liouville". En esta sección se dan ejemplos famosos.
Alguna notación es estándar en la literatura. Cuando la variedad simpléctica considerada es , sus coordenadas a menudo se escriben y la forma simpléctica canónica es . A menos que se indique lo contrario, estos se asumen para esta sección.![{\displaystyle \mathbb {R} ^{2n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle (q_ {1}, \ cdots, q_ {n}, p_ {1}, \ cdots, p_ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \omega =\sum _{i}dq_{i}\wedge dp_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Oscilador armónico :con. Definiendo, el sistema integrable es.
![{\displaystyle (\mathbb {R} ^{2n},\omega,H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H(\mathbf {q} ,\mathbf {p} )=\sum _{i}\left({\frac {p_{i}^{2}}{2m}}+{\frac {1 }{2}}m\omega _{i}^{2}q_{i}^{2}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H_{i}={\frac {p_{i}^{2}}{2m}}+{\frac {1}{2}}m\omega _{i}^{2}q_{i }^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (H,H_{1},\cdots,H_{n-1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sistema de fuerza central :conalgunafunción potencial. Definiendo el momento angular, el sistema integrable es.
![{\displaystyle (\mathbb {R} ^{6},\omega,H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H(\mathbf {q} ,\mathbf {p} )={\frac {\mathbf {p} ^{2}}{2m}}-U(\mathbf {q} ^{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {L} =\mathbf {p} \times \mathbf {q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (H,\mathbf {L} ^{2},L_{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ J. Liouville, «Note sur l'intégration des équations différentielles de la Dynamique, présentée au Bureau des Longitudes le 29 juin 1853», JMPA , 1855, p. 137-138, pdf.
- ^ Fabio Benatti (2009). Dinámica, Información y Complejidad en Sistemas Cuánticos. Medios de ciencia y negocios de Springer . pag. 16.ISBN 978-1-4020-9306-7.
- ^ P. Tempesta; P. Winternitz; J. Harnad; W. Miller hijo; G. Pogosyan; M. Rodríguez, eds. (2004). Superintegrabilidad en sistemas clásicos y cuánticos. Sociedad Matemática Estadounidense . pag. 48.ISBN 978-0-8218-7032-7.
- ^ Christopher KRT Jones; Alejandro I. Khibnik, eds. (2012). Sistemas dinámicos de múltiples escalas de tiempo. Medios de ciencia y negocios de Springer . pag. 1.ISBN 978-1-4613-0117-2.
- ^ Arnold, VI (1989). Métodos Matemáticos de la Mecánica Clásica . Saltador. ISBN 9780387968902.