ACION
Universidad Indust.rial de Sant.ander
Escuela de Mat.emáticas
Vol. 13, No 1, p. 116, enero-junio de l!J!}r,
BERENICE GUERRERO·
OSWALDO LEZAMAt
Si suponemos que la partícula es sometida a una fuerza F, dada por una ley
física, F : R ~ IR,el estado de la partícula en el tiempo t depende del estado
inicial (xo, vo) en el tiempo to Y de la fuerza F. El conjunto de funciones F
forma el espacio de los observables del sistema.
Xl ( 1 2 3) ,
= q, q , q
Desde sus comienzos las leyes de la mecánica han estado formuladas sobre bases
geométricas y algebraicas. Es decir, los espacios sobre los que se construyen
modelos mecánicos tienen estructuras geométricas,y los observables de los
sistemas físicos tienen estructuras algebraicas bíén determinadas.
De los comentarios anteriores podemos concluir que un sistema físico tiene
una estructura geométrica compuesta por un espacio de configuración M que
generalmente es una variedad diferenciab1e. Los elementos q (t) de ese espacio
M representan configuraciones instantáneas del sistema físico, y el vector
(q
1, ... ,q n·1
,q , ... ,q.n)
d (aL.).
dt 8tj
_- aLoq'
llamada la ecuación de Euler-Lágrange.
En el caso general de Un sistema hamiltonial1o el Illovimiento está determi-
nado pOL el hamiltoniáno (H), función definida sobl'e el fibrado cotangente
(con estructti'rade variedad simpléctica) H : T* M-. IR,Y gobernado por las
ecuaciones de Hamilton
. () 8H ( ) , .i () 8H ( )
Pi t =- 8qi q, P , q t = 8Pi q, P,
donde (ql (t) , ... , qn (t), Pl (t) , ... , Pn (t»), es una trayectoria sobre el espacio
T*M.
llamada la (~cun.cíón de EuieT-Ln.grn.nge, donde q1, ... , qn, tj1, ... ,tjn son las
coordenadas locales sobre T M conqilas coordenadas de la velocidad vi y
L=I'-V.
Hamiltoll llegó a un resultado equivalente partiendo de la transformación de
LegelHlre 1\ .Yde la función de Lagrange L, no necesariamente de la forma
('- V.
La formulación hamiltoniana consiste en lo siguiente: dada la transformación
de Lagrangc L : T M --+ IR,para cada v en el espacio tangente TqM sea I\q (v)
Áq (v, w) =dd L (v + tW)1
t t==O
para q E M Yv E TqM.
Si la función de Lagrange L es igual a r - V, esta energía E se puede escribir
en coor d·ena d as 1oca 1es (.)
q, q = q ln'l
, .. " q , q ., . , : ' q·n como
1
r(q,q)=(q,q)=2 'í";
9íjq q
J.L (t) = (q1(t), ... ,qn (t) ,Pl (t), ... ,Pn (t)),
con Pi, i = 1, ... , n las coordenadas duales, Hamilton encontró que los mo-
vimientos del sistema físico están gobernados por el sistema de ecuaciones
diferenciales de primer orden:
dqi 8H
-=-. -,
dt 8Pi
. (8F 8H 8F8H)
F = ¡:
, 8qi 8Pi - 8Pi 8qi .
(c) {F, {G, H}}' + {G,{H,F}} + {H, {F, G}} = O Identidad de .Jacobi.
Una variedad M con Ull corchete de Poisson definido sobre las funciones dife-
renciables eoo' (M), se llama una variedad de Poisson.
Cuando el espacio de configuración M de un sistema físico cs una variedad,
el corchete (4) define un corchete de Poisson sobre el esp~cio de funciones
diferenciables Coo (M), con lo cual M es una variedad dc Poisson.
En mecánica clásica las cantidades físicas, o sea los observablr.s, son identifica-
dos coh las funciones sóbre el espacio de fasé <5= T M 0<5 = T* M, Y forman
el espacio A = Coo (<5). Esto se debe a que las cantidades físicas definidas so-
bre el eflpacio de ~onfiguación M determinan en forma natural las cantidades
físicas definidas sobre el fibrado tangente T M o sobre elfibradb cotangente
T* M. En esta sección identificaremos las estructuras algebraiclts que posee el
espacio de observables A= C~ (~). '
El espacio de las funciones diferellciables A = Coo (lB) es un álgcbra asociativa
y conmutativa sobre los reales con respecto a la adición y multiplicación usual
de funciones. Además, el corchete de Poisson (4), definido sobre este espacio,
le da a A = Cco (Q;) una estructura de álgebra de Lie. Si Q; es un grupo de
Lie, el álgebra A = Coo (Q;) tiene también estructura de álgebra de Hopf, como
veremos a continuación.
Sea A un álgebra sobre los reales. Se dice que Aes de Hopf si A posee una
comultiplicación ~, una counidad E y una antípoda 8, las cuales cumplen
las siguientes condiciones:
~(a) = I:a'®a";
(a)
(iv) 8 : A ---> A es una aplicación lineal que cumple las siguientes condi-
m o (8 ® 1) o '¿l = i o E, m o (1 ® $) o ~ = i ()f;
El álgebra de Hopf A se acostumbra a notar por (A, m, i, ~,'f, 8); se dice que
A es conmutativa si m es una operación conmutativa., es decir, ab = ba para
cualesquiera elementos a y b de .A.. A es coconmutativa si
donde T : A®A --+ A®A es la aplicación lineal definida por T (a ® b) = b®a.
Ya estamos en capacidad de mostrar que si el espacio de fase 1.5 es un grupo
de Lie, entonces el espacio de observables A = Cco (1.5) es un álgebra de Ropf
conmutativa. Sabemos que A es una IR-álgebra asociativa, conmutativa y con
unidad. El producto en 1.5
Cco (0) e
F F (e),
*h : A®A ---+ A,
donde {Xl, .. ", xn} es una base de 9 y 81, ... , 8n son los correspondientes
campos vectoriales invariantes a izquierda; nótese que cada 8i es una aplicación
lineal de A en A. Entoces se toma
1
Fl = --r.
2