Emeanza

Revista Mexicana de Fsica 37 No. 1(1991) 136-146

Las tres caras de Hamilton en la ptica geomtrica y en la mecnica

Guillermo
Instituto

Krotzsch y Kurt Bernardo

Wolf

de Investigaciones en Matemticas Aplicadas y en Sistemas - Cuerna vaca Universidad Nacional Autnoma de Mxico, Apartada postal 20-726, 01000 Mxica, D.F. (Recibido el 9 de febrero de 1990; aceptado el 24 de abril de 1990)

Resumen. Obtenemos las ecuaciones de Hamilton de la ptica geomtrica y de la. mecnica de partculas a partir de consideraciones geomtricas sencillas y de postulados dinmicos que representan las leyes de Snell y de Newton, respectivamente. El parmetro de evolucin puede ser la longitud del arco de trayectoria, el tiempo, o distancia sobre un 'eje ptico', en los dos sistemas. Dependiendo de la eleccin del parmetro, las ecuaciones de Hamilton presentan tres caras, y aspectos . o formas de la funcin hamiltoniana. Discutimos las ventajas de usar las diversas formas y las ejemplificamos con la correspondencia entre fibras pticas y osciladores armnicos. PACS: 02,40,+m; 42.30.Di; 42.90.+m

1. Las ecuaciones de Hamilton

El segundo tercio del siglo pasado vio el inicio de la mecnica analtica con los trabajos de Hamilton sta madur con el uso que Schrodinger le dio como fundamento de la mecnica cuntica y, en aos ms recientes, su reinterpretacin en geometra simplctica. En este artculo nos proponemos explorar un atajo didctico que lleva desde postulados geomtricos y dinmicos mnimos directamente a las ecuaciones de Hamilton de la ptica y la mecnica. Las ecuaciones de Hamilton les que tienen la forma general son una pareja de ecuaciones diferenciales vectoria-

(1.1) (1.2)
Dada la funcin hamiltoniana 'H.(q, P w L las ecuaciones de Hamilton determinan la evolucin infinitesimal del vector de posicin qy del vector de momento p, referidos a un parmetro w. Vectores q y p relacionados as por ecuaciones de Hamilton son conjugados cannicos. La solucin de las ecuaciones ofrece en principio q(io, POi w) y jj(io,Poi w), donde y Po son los valores en w :::; O que determinan las trayectorias

qo

Las tres caras de Hamilton. ..

137

que representan el movimiento de puntos iniciales bajo la evolucin del sistema. El conjunto de estas soluciones define un flujo del espacio fase (q,p), parametrizado por w y generado por 1. Este flujo tiene la propiedad de Liouville: conserva el elemento de volumen dqdp invariante [1]. La evolucin en w de la propia funcin hamiltoniana 1(q,p;w) se obtiene de las ecuaciones anteriores: dH OH di aH d; aH -;_.-+-.-+-;dw ai dw a; dw OH aw ' (1.3)

aw

donde 105 dos primeros sumandos se cancelan. En consecuencia, 'H puede integrarse en w separadamente; cuando la funcin hamiltoniana no depende explcitamente del parmetro w, entonces el valor de 11 es una constante bajo la evolucin que genera. Todas estas definiciones (en itlicas) y propiedades bsicas son seguramente conocidas por el lector; si no lo son, aseguramos que aqu ganarn cuerpo. En un artculo anterior [2] examinamos la geometra de los rayos de luz de la ptica, con la ley de Snell como postulado dinmico, para encontrar las ecuaciones de lIamilton con el parmetro de evolucin medido sobre el eje ptico del sistema.. En el presente trabajo aplicaremos argumentos similares para tres parmetros distintos (longitud del arco, tiempo, y distancia en la direccin de un eje) en dos sistemas fsicos (ptica geomtrica y mecnica de partculas). El paso entre los ltimos dos parmetros ha sido tocado, en otra perspectiva, por G. Torres del Castillo [3]. En la Seco 2, obtenemos las primeras ecuaciones' de Hamilton (1.1), a partir de consideraciones geomtricas con dos parmetros espaciales; para el tiempo, un postulado fsico distingue entre las caras que adopta la ecuacin en ptica y en mecnica, respectivamente. En la Seco3 la dinmica, definida por la ley de Snell o la ley de Newton nos lleva a las segundas ecuaciones de Hamilton (1.2). La Seco4 ejemplifica las analogas y diferencias entre la ptica y la mecnica examinando el comportamiento de un rayo de luz en una fibra ptica y sus analogas y dferen. cias con una partcula en un oscilador armnico, En la Seco 5 agregamos algunas conclusiones.

2. Posicin, momento

y tiempo:

primera ecuacin

Suponemos que los fenmenos fsicos que nos interesa describir presentan un espacio de configuracin, cuyos puntos denotamos por vectores de posicin ij EReN, y N cuya evolucin queda 'lderrninada por un segundo vector pE Re , su momento cannicamente conjugado. En los sistemas que aqu se examinan, p es tangente a la trayectoria y paralelo a dij en cada punto de ella. La geometra implica, entonces, que los siguientes dos vcctores unitarios son iguales di
ji
;:::

lJHi'i
Ji';'

rl<:' ;::: !ir 1

(2.1a)

138

Guillermo

Krotzsch y Kurt Bernardo

Wo/j

donde

d. = [dql = Jdq. dq.

(2.1 b)

El ltimo miembro de (2.1a) propone una funcin hamiltoniana 1{l"!(q,Ps) que genere esta evolucin en el parmetro s. la longitud de arco a lo largo de la trayectoria. Aun cuando 1-{ no d('penda de s, nos referiremos al parmetro colocndolo como superndice entre corchetes; abajo trabajaremos con parmetros difercntes. La integracin en '1 de la (~cl1acindifcrencial es
}fl'] =

lll + 5(q.').

(2.2)

donde la funcin S(q, s) est, por )0 pronto, indeterminada. El parmetro que mide la evolucin del punto en su trayectoria en el espacio q puede ser tambin \Ina de las coordenadas del propio espacio. Elegimos la coordenada ~N; denotaremos con negritas los vectores en el subespacio ortogonal N q E Re - , y similarmente COIl P = (p, PN)' Esta parametrizacin refiere la cvolucin de una imagen en ulla pantalla plana (q. p) perpendicular a un eje ptico qN' Perderemos solamente la descripcin de los puntos donde las trayectorias sean paralelas a la pantalla. Dividiendo las N - l primeras componentes de la ecuacin (2.1a) por la N.sima [3) (cf. HeL [2]), obtenernos la primera igualdad en

(2.3) La segunda igualdad propone que la cvol1Jci6n es debida a una funcin hamiltoniana. No intentaremos an integrarla, pero adelantamos que se obtendr 1-{lqNl = -pN. sujeta a una restriccin p,.. = p,..((j, p). Hasta aqu, nuestra presentacin es vlida tanto en la ptica como en la mecnica. Para que el parmetro de evolucin en las ccuaciones de Hamilton sea el tiempo

t, debemos especificar su relacin infinitesimal con el arco de trayectoria s recorrido

en (2.1) como postulado fsico en el modelo. En la ptica geomtrica [4l. los puntos deben moverse con velocidad e/n(q), donde e es la velocidad de la luz en el vaco y n(q) ~ l el ndice de refraccin en el punto ij de un medio ptico inhomogneo. (Suponemos que el medio es isotrpico y constante: n ser independiente de P y de t.) En la mecnica, en cambio (IJ, el vector momento es el producto de la masa m (constante) por la velocidad de cada partcula. As, obtenemos las siguientes relaciones infinite3imales: d.

c/n(q) dt

en ptica, en mecnica.

(2.4) (2.5)

d. = /il/mdt
Esto permite encontrar

la evolucin temporal en estos modelos a partir de (2.1).

Las tres caras de Hamilton...

139

Designaremos las funciones hamiltonianas generadoras por glt) en ptica geomtrica y ... \..1[tjen i\..1ecnica, respectivamente. As,

agl'l ; c di = ---- = a; n(i) I;I dt di dt

;
m

en ptica,

(2.6)

aM~1 a;

en mecnica.

(2.7)

Estas funciones hamiltonianas pueden integrarse en indeterminadas T y ~V de (/ y t:

hasta suma con funciones

gl'l = cl;l/n(i)
MI'I

+ T(i, t),

en ptica,
en mecnica.

(2.8)
(2.9)

= I;I' 12m + W(i, t),

En especial, si T y W no dependen explcitamente de t, gl'I(i, ;)

E son invariantes

= G y MI'I(i,

;)

bajo la evolucin temporal; G y E son constantes

de movimiento.

3. Las leyes de Snell y de Newton: segunda ecuacin La refraccin de la luz se caracteriza por la ley de Sndl. Esta ley fue conocida por Descartes como ley de conservacin de la componente de ptangencial a la superficie de discontinuidad entre dos medios pticos homogneos [2]; la lnica componente que cambia su magnitud es aquella en la direccin normal a la superficie. La for. mulacin infinitesimal de la ley de Snell que nos parece ms sencilla, propone que el incremento dp del vector momento en un elemento de trayectoria ds es paralelo

e igual al gradiente del ndice de refraccin 'Vn(i) igualdad en

an(i)IBi. Esta es la primera

(3.\ )
La segunda igualdad es la que cumple la evolucin de~vector momento para satisfacer la segunda ecuacin de Hamilton (1.2). La funcin hamiltoniana gl!l tambin es solucin de la primera ecuacin (2.1), que fue parcialmente integrada con el re-

sultado (2.2). El reemplazo de (2.2) en (3.\) identifica S(i, s) = -n(i)

En consecuencia, una funcin hamiltoniana trayectorias de la ptica geomtrica es que genera traslaciones

+ constante.

a lo largo de las

gl'l

I;I - n(q).

(3.2)

Su valor ser una constante incorporable a n, de modo que cero representa el caso ~pnpri{"o oarti Sil solucin. Esta consiste ("n restrin~ir el vector momento ii a una

140

Guillermo

Krotzsch y Kurt Bernardo

Wol!

esfera de radio

IJI = n(q).
Esta es la esfera de Descartes sobre la cual comentaremos ms abajo.

(3.3)

La mecnica de partculas bajo la influencia de un potencial V(q) nos afirma que la fuerza que acta sobre ellas es (menos) el gradiente del potencial. Esta fuerza es igual a la masa m por la aceleracin cf./dt2, o sea dp/dt. Postulamos as ley de Newton como la primera igualdad en.

(3.4 )

El ltimo miembro propone la funcin hamiltoniana que cumple la segunda ecuacin de Hamilton. Ahora bien, la primera ecuacin de Bamilton (de este sistema y parmetro) llev a la forma (2.9) de la funcin hamiltoniana aqu vemos que la funcin W, entonces indeterminada, coincide con la funcin potencial V hasta una constante E. Escribimos ~V = V - E, de modo que el valor de
,Mili =

IJI' + V( q)
2m

_ E,

(3.5 )

es una constante de movimiento que tomamos como cero. Esto restringe el vector momento p a la superficie de una esfera de radio

IJI =

y'2m(E

- V(q)).

(3.6)

En atencin a la analoga con la esfera de Descartes (3.3) en la ptica, podernos llamar a (3.6) la esfera de Newion de la mecnica. Los dos pr{afos anteriores plantean que las dinmicas que modelan a la ptica geomtrica y a la mecnica de partculas tienen su expresin ms sencilla cuando se escribe el primer sistema en trminos del parmetro s de longitud de trayectoria y en trminos del tiempo t el segundo. La ley de Snell y la de Newton son las segundas ecuaciones de Hamilton en esos parmetros. En ambos casos la invariancia de la uncin hamiltoniana respectiva sita al vector momento sobre su esfera de Descartes o Newton. Esta esfera reacciona a la inhomogeneidad del medio cambiando su radio 1.01 segn (3.3) o (3.6). El vector .o se acomoda en su esfera de manera tal que COn-'ierva la componente perpendicular al gradiente del ndice de refraccin n o del potencial V. As, la trayectoria "'cae'" hacia regiones 'densas' del espacio donde el ndice de refraccin n > 1 es grande o el potencial V es grande y negativo, pues la componente de p a lo largo del gradiente crece. La restriccin del vector momento a una esfera permite escribir funciones Equivalentes a la hamiltoniana con factores de IJI/u en ptica o IJI/ y'2m(E - V(q)) en

Las tres caras de Hamilton. . .

141

mecnica, cuyo valor es la unidad. Estas funciones satisfarn las ecuaciones de Hamilton (que derivan esta funcin respecto a q y p). As, hamiltonianos equivalentes a gl'l = IP'I- n(q) en (3.3) son (3.7)

Basta verificar que se siguen cumpliendo (2.1) y (3.1), es decir

(3.8a, b)
El valor de todas las 91J,r] en la esfera Ipl = n es idnticamente cero, como el de gl"] ;:; 9[J,11. En particular, 9IJ,2] es una funcin hamiltoniana cuadrtica en el momento, y anloga (imperfecta) de la funcin hamiltoniana de la mecnica (3.5). La ptica geomtrica puede tambin ser descrita en el tiempo. [Con (2.6) y d/dt = c/nd/ds en (3.1) obtenemos dP'/dt, integramos la segunda ecuacin de Hamilton y encontramos que en (2.8), T = constante.] Las ecuaciones de Hamilton de la ptica en t son

--c-----al;' dt - n(q)' -

dq

P'

agll]

(a,b)

Formas equivalentes de la funcin hamiltoniana que tambin satisfacen las ecuaciones de Hamilton son
gil,,]

cJL _.:
xn(q)' x'

(3.10)

El valor de las funciones en la esfera de Descartes es cero; 9'IJI ;:; 91J,11 es (2.8) 9[J,21 tiene dependencia cuadrtica en el momento y muestra nuevamente la diferencia entre la ptica y la mecnica. Las ecuaciones de Hamilton de la mecnica expresadas en trminos de la longitud de la trayectoria ,",:obtienen por pasos paralelos al prrafo anterior. [Usamos (2.1), (2.2) Yd/ds = m/IP'1 d/dt para obtener dP'/ds en (3.4) y efectuar la integracin de (2.2) respecto de q y encontrar S( q, s) = - J2m( E - V (q)) + constante.] Las ecuaciones son

dq =
ds

P'
J2m(E - VilJ

dp' = ds

J2m(E - V(q))

av(q aMI'] aq = - aq .
(3.11a, b)

142

Guillermo Krotuch

y Kurt Bernardo Wolj

Formas equivalentes de la funcin hamiltoniana (2.2) son

MI")

son

Mi"')

Ipl'
x [v'2m(E-V(q))]

,-1 -

.!.v'2m(E x

- V(q).

(3.12a,b)

Nuevamente, M[") = M[",l) es (2.2), Mf",2) tiene dependencia cuadrtica en Ipl y sus valores en la esfera de Newton son cero, Notamos que las ecuaciones de Bamilton (3.11) son singulares en lpl = O, es decir, en puntos de la trayectoria donde la partcula se detiene; en ptica IEqs. (3.8) y (3.9)], esto ocurre slo en el lmite
n -+ oo.

Entre los parmetros de evolucin que presentamos en la seccin anterior, resta considerar qNt la distancia a lo largo de un 'eje ptico'. El espacio fase se reduce entonces al de una 'pantalla' (q,p) que avanza en qN. Como Ipl = v'!pIZ + P~ el el radio de la esfera de Descartes o de Newton, funcin de q, PN queda convertida en funcin de las otras coordenadas del espacio fase. As tenemos PN = Vn(q,qN)2 PN = V2m(E

-lpJ2 -lpl2

en ptica, en mecnica.

(3.13) (3.14)

- V(q,qNI)

y (3.13)J, obtenemos

De las ecuaciones de Harnilton de la ptica en s o t [(2.1)-(3.1) o (3.9a)-(3.9b) [3) dq dqN p PN

agl'N)

ap'

(3.15a,b)
g[9N)

La integracin de estas ecuaciones en q y p determina la funcin hamiltoniana hasta una constante,

(3.16) En completa analoga, de las ecuaciones de Hamilton de la mecnica en t o s [(2.7)-(3.4) o (3.l1a)-(3.l1b) y (3.14)) obtenemos

(3.17a, b) Notamos que estas ecuaciones se vuelven (3.15) si reemplazamos formalmente V(q) 1-+ -n(q) en las derivadas parciales y m 1-+ n fuera de ellas: aqu encalla la analoga entre la ptica y la mecnica, pues la masa es una constante mientras que el ndice de refraccin en general no lo es. La funcin hamiltoniana que integra

Las tres caras de Hamilton...

143

estas ecuaciones cs, hasta una constante,

(3.18)
En ambos sistemas, la funcin hamiltoniana es (menos) la componente del vector momento ji a lo largo del eje qN'

4. El oscilador

armnico

y la fibras pticas

El oscilador armnico es un sistema prototipo de la mecnica clsica; se ha utilizado ampliamente tambin para modelar el comportamiento de la luz en fibras pticas bajo la bien c,onocida aproximacin paraxial, que resumiremos adelante. En esta seccin compararemos los dos sistemas con objeto de preguntarnos si existe un ndice de refraccin n(q) independiente de qN -pues es una fibra que suponemos homognea bajo traslaciones sobre ese eje- que sea un anlogo ptico del oscilador armnico en el mismo nmero de dimensiones: N - 1. Buscamos anlogos directos, donde las observables de posicin y momento de un sistema sean precisamente las del otro. El oscilador armnico se caracteriza por su fuerza de restitucin kql donde k es la constante de I1ooke; la funcin potencial es V(q) = ~klqI2. Examinamos el comportamiento de oscilador en el tiempo [e/. (2.7), p.l) Y (3.5)J mediante las ecuaciones de Hamiltoll que aqu toman la forma dq p -=C-, dt
m

dp _ -k
dt -

q,

[ti [pi' k[ql' M~c=?+-2-' _m

(4.la,h,c)

Cya solucin es bien conocida q

11 J:

= =

qo coswt

+ po

~ senwt, vkm

(4.2a)

-qoJ[';;;seTlIN't

+ Pocoswi,

(4.2h)

Podemos comparar (4.1) con las ecuaciones de Hamilton de la ptica: (3.8) en SI (3.9) en t, o (3.15) en q,v. LdS ecuaciones en los primeros dos parmetros no toman la forma requerida para ningn ndice de refraccin n(qj que no sea constante. Las ecuaciones de Hamilton pticas referidas al eje qN, (3.15), s son compatibl<'S con las del oscilador armnico referidas al tiempo, pues en las primeras PN es una constante de movimiento que en cada trayectoria slo .depende de las condiciones iniciales (aunque no sea, una constante para todos, como lo es la masa m). As los segundos trminos de las ecuaciones (:l.15a) y (4.1a) toman forlllas semejantes. Para que el segundo trmino de (;~.15b), ~l'181l(q)2/aq,sea compatible con su corres-

144

Guillermo Krotzsch !I Kurt Bernardo Wo/[

pondiente en (4.lb), -kq, se requiere que n(q)' '" Iql'+ constante. Si tomamos (4.3) estaremos definiendo una fibra cuyo ndice de refraccin tiene un perfil elptico (grafquese n~ + K21ql2 == n5 en q contra ne). El mximo de ne(q) es no> 1 y est en el eje de la fibraj el ndice de refraccin disminuye a medida que nos alejamos del eje y llega a valer la unidad en Iql = (ni _1)/.', lmite de toda fibra fsica. Las ecuaciones de Hamilton para esta fibra son dq
dqN

p =-,
PN

--

dp

= ---

.'q
PN

dqN

g!'NI =

-PN =

-jni _ (Ipl'

+ .'Iql'). (4.40, b, e)

La solucin es [5J
q = qo cos vqN p =
qOK

+ Po- sen vqN,

(4.50) v

sen vqN

+ po cos vqN,

= -,=========

jni - (IPol'

(4 .5b)

+ "Iqol')

Este es un movimiento oscilatorio (en qN) que en el espacio fase (q, p) se desarrolla sobre la elipse IPol2 + K21qol2 = constante :5 En el espacio q es una sinusoide de longitud de onda.\ = 2,,/v = 2"PN/" As, una fibra ancha (. pequea) porta longitudes de onda mayores que una fibra estrecha (K grande), como es de esperarse. Concurrentemente, para K fija, segn las condiciones iniciales en O < PN :5 no, la longitud de onda ser ms larga si P N es grande (elongacin qo y componente transversal Po pequeas), o ms corta si la rbita en el espacio fase es cercana a la elipse lmite PN = O ([poi' + .'Iqol' = ni), donde las ecuaciones de Hamilton (4.4) son singulares (la luz oscilara diametralmente sin salir de la fibra). En realidad, el modelo "oscilador" de las fibras pticas no trabaja con las soluciones exactas buscadas arriba, sino con la aproximacin paraxial: Iqj y Ipl pequeas. Si proponemos un desarrollo en serie de Taylor para el ndice de refraccin

n5.

(4.6) entonces, el desarrollo en serie de la funcin hamiltoniana (3.16) es ['NI _ _

gT

I ay or

-PN

-nO

+ - + n,lql + - + --2n5 2no 8n~ Ipl.

Ipl'

,Ipl'

Iql'lpl'

+ n,lql +...

(4.7) orden,

a cuarto orden en

es en (4.lc), con m no y!k n,. Las ecuaciones de Hamilton (4.1) aproximan entonces a (4.4) y el oscilador armnico en mecnica clsica (y cuntica)

g~;;o, M\:L,

Iql

Si nos reducimos exclusivamente a segundo

Las tres caros de Hamilton...

145

describc la ptica geomtrica (y ondulatoria) en una fibra cuyo perfil de ndice de refraccin general (4.6) queda aproximado por su trmino cuadrtico; se denomina perfil parablico. Por supuesto que las soluciones pticas exactas en una fibra de perfil estrictamente parablico no coincide con el oscilador armnico porquc la funcin hamiltoniana (.1.7) siempre contendr trminos de orden superior, aun cn el caso de propagacin libre 112 = O. La aproximacin paraxial, no obstantc, es suficientemente buena y popular como para que sea casi la nica en la literatura y en aplicaciones. En pt ica ondulatoria, donde pocos modelos son exactamente solubles, el comportamiento de la luz cn fibras parece scr muy resistente a esta aproximacin.

5. Conclusiones Hemos derivado las ecuaciones de Hamilton de la ptica y de la mecnica en mcdios in homogneos continuos a partir de primeros principios. Las hemos comparado y hemos visto que aunque no son idnticas, se prestan para serlo en la aproximacin paraxiaJ. No es exagerado afirmar que la ptica es ms rica que la mecnica pues no usa slo medios continuos, sino tambin discontinuos, como superficies refractantcs en lentes. Sistcmas mecnicos con potenciales cscaln, que producen "golpesTl (kicks), son reahnente pocos en la naturaleza; la mecnica cuntica los usa como modelo soluble para explicar transmisin con reflexin parcial. Las superficies rcfractanles o reflejantcs producen transformaciones "sbitas del espacio fase, aparentemente no descritas por ecuacion('s diferenciales o funciones hamiltonianas (vase, sin embargo, las referencias en [6]) y su tratamiento ser diferido para otra ocasin. El manejo cabal de la ptica a ngulos grandes, ya sea por desarrollos en series de aberraciones o por mtodos globales, es importante en el diseo de circuitos pticos de cmputo en paralelo. No slo podernos esperar que los elementos de estos circuitos se minia. turicen a tarnailOS comparables con la longitud de onda en el infrarrojo, sino que se incorporen cada \'('z ms los medios pticamente activos, que cambian su ndice de refraccin en respucsta a la intensidad de la luz formando hologramas dinmicos. Las ecuaciones de lIamilloll han demostrado su proclividad a la cuantizacin en la mecnica y prometcn utilidad CII la ondulacin de la ptica geomtrica.
Tl

Agradecimientos Queremos agradecer a Alejandro Frank (IENUNA~f, DF) y Frall~ois Lcyvraz NAM, Cuernavaca) por discusiones tiles sobre el material de este artculo. Referencias
l. 11.Goldstcin. Clas.o;ical.\((cllanic8. Addison.\\'esicy, Rcading, Mass. (1050) captulos
(IFU-

7 y 8.

146 2. 3. 4. 5. 6.

Guillermo Krotzsch y l\urt Bernardo lVol! E. Lpez 1'loreno y K.B. WoIf, De la ley de Snell-Descartes a las ecuaciones de Hamilton en el espacio fase de la ptica geomtrica, llevo Afex. F{s. 35 (1989) 291-300. G.F. Torres del Castillo, Orbitas y prillcipios variacionales para sistemas hamiltonianos conservativos, Rev. Mex. F{s. 35 (1989) 691-700. F' H('cht y A. Zajac, Optics. Addison Wesley, Reading, 1hss. (1974). i. Sekiguchi y K.H. WoIf, The Hamiltonian formulation of optics, Amer. J. Phys. 55 (1987) 830-835. A.J. Dragt, Lectures in Notdinear Orbit DYl1amcs, American Institute of Physics, Conference Proceedings, Vol. 87, (1982); A.J. Dragt, E. Forest y K.n. \Volf, Foundations of a Lie algebraic theory of Geometrical Optics, en Lie Methods in Optics, editado por J. Snchez 1101l<lragn y K.n. \Volf, Leeture Notes in Physies, Vol. 250, Springer Verlag, Heidelberg (1986), pp. 105-158; K.B. Wolf, Nonlinearity in Aberration Optics, en Symmeiries and Nonlinear PhCtlOmena, editado por D. Levi y P. \Vinternitz, CIF series, Vol. 9, World Scientifie, Singapur (1988), pp. 376.430.

Abstract. We obtaiu tite lIamilton equatiolls of geometrica! optics and of particle mechanics fmm simple geometric consi<ieratiolls alld frolll clynamical postulatcs that realize Suell's and N('wtoll's laws. respectively. The evolution parallleter may he the trajectory are length. time, or distan ce a10ng an "optical axis", in both systems. Dej)(,llc!ing on the choice of parameter, the lIamilton equations present three faces, and aspects or forms of the lIamiltonian function. \Ve discIIss the advanta. ges of the variolls forms and exemplify them with tlle correspondence between optical fibers alld barmonie oscillators.