OPTICA GEOMETRICA vs.

FISICA
EN MEDIOS ANISOTROPICOS
A.L. Rivera, S.M. Chumakov & K.B. Wolf
Instituto de Investigaciones en Matematicas Aplicadas y en Sistemas,
Universidad Nacional Autonoma de Mexico
Apartado Postal 48-3, 62251 Cuernavaca, Mexico
e-mail: rivera@ce.ifisicam.unam.mx
July 1, 2013

Resumen

Estudiamos los rayos de la optica geometrica en medios anisotropicos,

que requieren que el ndice de refraccion dependa de la direccion del rayo.
Usamos el formalismo hamiltoniano con la longitud de arco por parametro
de evolucion. Comparamos los resultados con los obtenidos de las ecuaciones
de Maxwell en el lmite de longitudes de onda pequenas.

PACS: 42.15.Gs , 41.20.Bt

Abstract
We study the rays of geometrical optics in anisotropic media which
allow the refractive index to depend on the ray direction. We use the
hamiltonian formalism with arc-length for evolution parameter. We
compare the results with those obtained from the Maxwell equations
in the small wavelength limit.

1
1 Introduccion
En este artculo comparamos las formulaciones geometricas de la optica de
medios anisotropicos con la que deriva de las ecuaciones de Maxwell en el
lmite de longitudes de onda pequenas. Las formulaciones geometricas son la
lagrangiana, basada en el principio variacional de Fermat, y la hamiltoniana
que propone ecuaciones diferenciales; la primera es global, es decir, propone
un criterio para elegir entre todas las posibles trayectorias que seguira un
rayo entre dos puntos separados; la segunda es local, pues propone desde
el inicio leyes de movimiento entre puntos infinitesimalmente cercanos. La
optica maxwelliana, en contraste, se basa en las leyes fsicas del electro-
magnetismo, particularizadas para campos oscilatorios que se mueven en un
medio material.
La optica geometrica como lmite de la ondulatoria ha sido ampliamente
estudiada [1, 2] en el caso de medios inhomogeneos pero isotropicos. Para
los medios anisotropicos, donde el ndice de refraccion depende no solo de
las coordenadas de posicion, sino de direccion del rayo, no encontramos un
tratamiento proporcionalmente ubcuo en la literatura. Mejor dicho, los
tratamientos geometricos privilegian el principio de Fermat, el cual tiene
un sentido matematico muy claro y fructfero, pero cuyos resultados re-
quieren ser comparados crticamente con las predicciones del tratamiento
maxwelliano. Este ultimo, recordemos, reconoce la interaccion entre los
campos electrico y magnetico de la luz con las propiedades dielectricas de
la materia en la cual se mueven. La formulacion matematica, en cambio, no
hace referencia a los campos electrico y magnetico que constituyen la luz.
Simplemente generalizan resultados correctos a un ambito mas amplio. Las
conclusiones de las dos teoras no son, en efecto, coincidentes.
El tratamiento matematico se resume en la Seccion 2, escogiendo por
parametro de evolucion la longitud de arco medida sobre el rayo. Torres del
Castillo [3] ha estudiado tambien la formulacion lagrangiana y hamiltoniana
de sistemas opticos anisotropicos utilizando como parametro de evolucion el
tiempo. En la referencia [4] nosotros escogimos un eje optico en el espacio
(el eje z) como parametro de evolucion; esto valido los resultados que aqu
presentamos solamente sostenidos por argumentos breves. La longitud de
arco nos parece mas conveniente como parametro de evolucion porque lleva
a formulas covariantes y sencillas; con el se introduce de manera natural un
vector de anisotropa [4, 5], que en algunos aspectos adquiere el papel del

2
potencial vectorial del campo electromagnetico. La longitud de arco tiene,
empero, la desventaja que, en el lmite de medios isotropicos, la formulacion
lagrangiana se vuelve singular. Su formulacion hamiltoniana, en cambio,
sigue siendo perfectamente clara y atractiva su interpretacion. La teora
matematica de la luz en medios anisotropicos ha merecido tratamientos mas
abstractos basados en geometra simplectica desarrollados por Carinena y
Nasarre [6]. Hemos encontrado que solamente Kravtsov y Orlov [17] pre-
sentan un tratamiento completo de los medios anisotropicos, demostrando
resultados geometricos como caso lmite de la teora ondulatoria. Por ello
consideramos de interes comparar las predicciones puramente geometricas
con las que provienen de la optica maxwelliana.
En la Seccion 3, en el marco de lo permitido para el ndice de refraccion,
clasificamos los medios opticos por su multipolaridad, es decir, por la depen-
dencia angular de su anisotropa. As evidenciamos que la optica geometrica,
como otras estructuras matematicas, nos da mas libertad que la fsica. Por
otro lado, la fsica nos presenta fenomenos que la matematica no puede prever
a partir de los axiomas elegidos: as como ante discontinuidades del medio
se generan en general dos rayos (el refractado y el reflejado), en medios
anisotropicos se mueven tambien dos rayos: el ordinario y el extraordinario.
Esta prediccion no deriva de los axiomas del modelo geometrico.
La Seccion 4 resume el tratamiento geometrico maxwelliano que predice
la existencia e ndices de refraccion efectivos para estos dos rayos; en cristales
uniaxiales, el rayo ordinario no siente la anisotropa del medio; el rayo ex-
traordinario es su complemento inseparable. Finalmente, la Seccion 5 ofrece
algunas conclusiones sobre la semejanza y las diferencias entre las dos teoras.

2 Optica geometrica en medios anisotropicos

2.1 Principio de Fermat

El principio de Fermat propone que la trayectoria de un rayo de luz entre
dos puntos P1 y P2 es tal que su tiempo de propagacion es estacionario. En
la literatura frecuentemente se menciona este como un principio de mnima
accion, pero si consideramos reflexion, el tiempo es maximo: vease por ejem-

3
plo Luneburg [7]. Este principio se expresa en la ecuacion variacional [8]:
P2
dt = 0 . (1)
P1

Sea s la longitud medida a lo largo de la trayectoria indicada por el

vector tridimensional r(s), sea ds su elemento de longitud, y r = dr(s)/ds su
vector tangente de norma unidad: |r| = 1. El ndice de refraccion n(r, r) es la
razon de la velocidad clasica c de un grano de luz en el vaco newtoniano, a su
velocidad en el medio ds/dt, en el punto r y con la direccion r. Por definicion,
entonces, la dependencia de n(r, r) en r es solamente en la direccion del vector
velocidad r sobre la esfera, y no de la norma del vector de velocidad. Cuando
n ds = c dt se reemplaza en la ecuacion (1), esta toma la forma [4]
P2
ds n(r, r) = 0 . (2)
P1

2.2 Problema con la formulacion lagrangiana

Como vemos en la ecuacion (2), la funcion lagrangiana de la optica respecto
del parametro s a lo largo del rayo es el ndice de refraccion:

L = n(r, r) .

Esto debemos compararlo con el lagrangiano comun de la mecanica clasica,

cuya forma es energa cinetica menos energa potencial: 21 p2 V (r). Las
ecuaciones de Euler-Lagrange [9, 10] que satisface el integrando son

L d L
= . (3)
r ds r
De acuerdo con esta formulacion, el momento del sistema, que indicare-
mos adelante por p, esta dado por el vector de anisotropa del medio,
L
A= . (4)
r
Como r L/ r = |r| L/|r| = 0, el vector de anistropa es ortogonal al
vector de direccion del rayo:
r A = 0 . (5)

4
 Cuando el medio es isotropico, A = 0 y el miembro derecho de la ecua-
ciones de Euler-Lagrange es cero; el formalismo lagrangiano deja de ser
valido, pues un lagrangiano independiente de la velocidad (o de la energa
cinetica en mecanica) puede extraerse del integrando en (2), y entonces esta
formulacion pierde su capacidad de distinguir la trayectoria estacionaria de
entre todas las posibles.

2.3 Formulacion hamiltoniana

Dado que el lmite isotropico de la formulacion lagrangiana es singular,
evitaremos el uso de las ecuaciones de Euler-Lagrange (3), pasando a la
formulacion hamiltoniana mediante la transformacion de Legendre. Esto nos
sugiere construir la funcion hamiltoniana del sistema como funcion de las
coordenadas y los momentos. Esperamos que la funcion hamiltoniana siga
teniendo la forma de la transformacion de Legendre
H = p r L , (6)
y sabemos que sera constante bajo evolucion del parametro s, longitud de
arco. En esta ecuacion vale L = n y la propiedad (5); para satisfacerla,
postulamos el vector momento del sistema
p = nr + A . (7)
Porque p r = n, su reemplazo en (6) da una funcion hamiltoniana H = n n
identicamente cero para toda trayectoria.
La restriccion de las trayectorias a la superficie H = 0 se hace patente
notando que la ecuacion (7), leda nr = p A, tiene norma
|p A| = n(r, r) . (8)
Es decir, la conservacion del hamiltoniano restringe al vector momento p
a moverse sobre lo que llamaremos el ovoide de Descartes ilustrado en la
Figura 1. En el caso isotropico, A = 0 y la ecuacion (8) se reduce a |p| = n(r).
Esta construccion generaliza el concepto de esfera de Descartes de los medios
isotropicos a los anisotropicos.
Hacemos notar aqu que la ecuacion (8) es, de hecho, la ecuacion de
Hamilton-Jacobi de la optica geometrica anisotropica. Recordemos que p =
S es el gradiente de la funcion eikonal. La formulacion de la mecanica medi-
ante la ecuacion de Hamilton y Jacobi es la tercera formulacion, ademas de la
lagrangiana y hamiltoniana, que puede ser extendida a la optica geometrica.

5
2.4 Ovoides de Descartes
Recordemos que la teora de la refraccion desarrollada por Descartes [11]
explica el quiebre de las trayectorias de la luz al cruzar la interfase entre
medios de ndices de refraccion diferentes con la condicion de conservacion
de la componente del vector momento que es tangente a la interfase en el
punto de contacto, como si el grano de luz estuviese acompanado por una
esfera cuyo radio cambia con el ndice de refraccion local, y cuyo vector
tangente debe acomodarse de tal manera que su componente normal a la
superficie (en general ortogonal al gradiente local del ndice) se mantuviese
constante [12].
En medios opticos inhomogeneos y anisotropicos cuyo ndice de refraccion
es n(r, r) se puede repetir la interpretacion de Descartes. Solo se requiere de
una definicion mas cuidadosa de las cantidades que a continuacion resumi-
mos:

El rayo tiene un vector tangente r de norma unidad que determina la

trayectoria r(s), por integracion de la primera igualdad en

dr pA H
= r = = . (9)
ds |p A| p

El rayo tiene un vector de momento optico p dado por (7), y este re-
sponde a la inhomogeneidad del medio obedeciendo la primera igualdad
en
dp H
= n = . (10)
ds dq

El medio presenta, pues, un campo vectorial que describe su inhomogenei-

dad, n = n/r, y otro que describe su anisotropa, A = n/ r cumpliendo
r A = 0. En el ovoide de Descartes, el vector momento se acomoda de tal
manera que su componente normal a las superficies n = constante se con-
serva: dp n = 0.
En efecto, las afirmaciones anteriores pueden postularse como axiomas
y las segundas igualdades de las dos expresiones anteriores proveen las dos
ecuaciones de Hamilton de la optica anisotropica, con la funcion hamiltoniana

H = |p A| n , (11)

6
cuyo valor sobre las trayectorias opticas es nulo [5].
Como mostramos en la Figura 2, cuando los rayos cruzan la interfase
plana entre dos medios anisotropicos diferentes, con ndices de refraccion
n(r) y n (r) diferentes, trazamos las curvas donde se mueven n(r)r y n (r )r
e indicamos sus tangentes A(r) y A (r ). Estas ultimas llevan a los ovoides de
Descartes de los momentos en los dos medios. Podemos dibujar/computar
su refraccion de la siguiente manera:

Dada la direccion del rayo entrante r, ubicamos el rayo en la curva

nr correspondiente y seguimos la tangente A hasta encontrar el vector
momento p correspondiente.

Proyectamos el momento p sobre la interfase para encontrar p; este es

el momento conservado.

Dibujamos el momento p del rayo saliente sobre el segundo ovoide de

Descartes, de tal manera que su proyeccion sobre la interfase sea igual
a p.

Del segundo ovoide de Descartes seguimos el vector A hasta el punto

correspondiente en la curva de nr ; esta ultima tiene la direccion r del
rayo saliente.

3 Anisotropa geometrica
Aqu clasificaremos sistematicamente las dependencias angulares del ndice
de refraccion que permite el modelo geometrico: medios opticos dipolares,
cuadrupolares y, genericamente, multipolares. En adelante soslayaremos la
inhomogeneidad.

3.1 Medio dipolar

Consideremos primero el caso cuando el vector de anisotropa (4) de un medio
optico es constante, es decir, cuando existe una direccion privilegiada en el
medio indicada por un vector D. El ndice de refraccion puede entonces
depender solo linealmente del vector de direccion del rayo:

n(r) = n(0) + n(1) (r), n(1) (r) = D r .

7
Llamaremos a n(0) la parte monopolar del medio, a n(1) la parte dipolar, y a
D su vector dipolar.
El vector de anisotropa del medio dipolar que obtenemos de la ecuacion
(4) es

n 
A(1)
=  = (1 rr )D = D n(1) (r) r = (r D) r , (12)
r |r|=1

donde usamos la notacion diadica [(1 vv )D]j = Dj vj (v D). El vector

de anisotropa dipolar A(1) esta en el plano de r y D y es ortogonal a la
direccion del rayo r. El vector de momento optico en un medio dipolar es:

p = n(0) r + D .

Entonces, mientras la direccion del rayo r esta sobre la esfera de radio unidad
centrada en el origen, el vector momento tiene por ovoide de Descartes una
esfera de radio n(0) con centro en D. Esto esta ilustrado en la Figura 3.

3.2 Medio cuadrupolar

Consideremos ahora el caso cuando el ndice de refraccion depende cuadra-
ticamente de la direccion del rayo:

n(r) = n(0) + n(2) (r), n(2) (r) = b r .
Qj,k rj rk = r Q (13)
x,y,z

Preparamos la notacion v Tb entre un vector v y una matriz o tensor Tb para

indicar contraccion respecto de su primer ndice. Llamamos a n(2) la parte
cuadrupolar y a Q b su tensor (matriz) cuadrupolar.
Como la matriz cuadrupolar Q b en (13) colinda con el mismo vector r
a ambos lados, es suficiente considerarla como simetrica; como |r| = 1, es
suficiente que tenga traza nula. Conforme r genera una esfera, n(r) genera
un elipsoide porque es una funcion cuadratica en r. Hay seis parametros: los
tres semi-ejes del elipsoide, y los tres que especifican su orientacion respecto
de las coordenadas x, y, z. De los tres primeros parametros, n(0) da el tamano
de la figura y los otros dos la forma del elipsoide. Los tres parametros de
orientacion de la figura no son esenciales porque mediante rotaciones de los

8
ejes podemos referir el elipsoide a sus ejes principales, es decir, llevar su
matriz cuadrupolar Qb a forma diagonal,

Qx 0 0
b =
Q 0 Q 0
donde Qx + Qy + Qz = 0 .
y
0 0 Qz

Calculamos el vector de anisotropa cuadrupolar utilizando (v Tb v)/v =

2Tb v. Su restriccion a |v| = 1 es, como en la ecuacion (12),

Q  [
b r = 2 Q
]
b n(2) (r) r .
A (2)
=  = 2(1 rr )Q (14)
r |r|=1

El vector momento es
[ ]
b r = (n(0) + 2Q
p = n(r) + 2(1 rr )Q b r Q
b r)r . (15)

Cuando r se mueve sobre su esfera de direcciones, p dibuja el ovoide de

Descartes del medio cuadrupolar, como indicamos en la Figura 4. Porque la
direccion r y la anisotropa A son ortogonales, el cuadrado de (15) es

p2 = n(r)2 A(r)2 .

El ovoide de Descartes de un medio cuadrupolar

|p| = n(r)2 A(r)2 n(r) A(r)2 /2n(0) ,

difiere del elipsoide n(q) en un termino proporcional al cuadrado y potencias

mas altas del vector de anisotropa. Si la anisotropa es debil, A(r) n(0) ,
estas ultimas pueden ser despreciadas.

Un caso particular pero importante de anisotropa cuadrupolar es el medio

con un eje de simetra; una direccion alrededor de la cual el medio se ve y
actua igual: el medio uniaxial. Denotamos las componentes de r por (x, y, z)
y alineamos el eje de simetra con el eje z, mientras x y y estan en el plano
transverso invariante bajo rotaciones. En este caso, el ovoide de Descartes
de la Figura 1 es una figura de revolucion que puede dibujarse en el plano

9
de la pagina. El ndice de refraccion, de acuerdo con la ecuacion (13) para
Qx = Qy = y Qz = 2, es:

0 0 x
(0)
n(r) = n + (x, y, z) 0 0 y
0 0 2 z
= n(0) + (x2 + y 2 ) 2 z 2 = n(0) + 3 z 2
= n(0) 2 + 3 sin2 = n(0) + 3 cos2 , (16)

donde n(0) es la parte monopolar, es el coeficiente de anisotropa cuadrupo-

lar; en la ultima expresion hemos introducido el angulo entre r y el eje z,
escribiendo z 2 = cos2 = 1 sin2 .
Para escribir el momento p en terminos de las componentes del vector de
direccion r y su angulo explcitamente, obtenemos de (15)
( ) ( )
p2x + p2y (n(0) + 4 3 sin2 ) sin
=
pz (n(0) 2 3 sin2 ) cos
( )
(n(0) + + 3 cos2 ) sin
= .
(n(0) 5 + 3 cos2 ) cos

Conforme recorre el crculo, el vector p se mueve en una superficie ovoidal

superior, el cual difiere de un elipsoide en terminos de orden 2 , e intercepta
el eje z ( = 0) en pz = (n(0) 2), y un eje transverso x, y en (n(0) + ).
El ovoide es oblato si > 0 y prolato si < 0. En efecto, en modelos de
optica en dos dimensiones solo este caso de anisotropa es permitida. Nos
referiremos a estos resultados en la Seccion 4 para comparar las predicciones
de la optica geometrica y la maxwelliana.

3.3 Medios multipolares

Funciones suaves sobre la esfera se pueden desarrollar en la serie multipolar
[13]:
n(r, r) = n(m) (r),
m0

donde cada sumando es un polinomio homogeneo de grado m = 0, 1, 2, . . .

en las componentes de r. La parte monopolar n(0) (r) = n(0) , la dipolar

10
n(1) y la cuadrupolar n(2) fueron vistas en las dos subsecciones anteriores.
Genericamente,
(m)
n(m) (r) = ni1 ,i2 ,...im ri1 ri2 rim = r N (m) (r),
i1 ,...im

(m)
donde los coeficientes ni1 ,i2 ,...im forman un tensor de rango m que, por las mis-
mas razones dadas para el cuadrupolo, es simetrico y de traza nula en todas
las parejas de ndices y por ello contiene 2m + 1 coeficientes independientes;
la ultima igualdad define el vector
(m) (m)
Ni (r) = ni,i2 ,...im ri2 ri3 rim ,
i2 ,...im

cuyas componentes son polinomios homogeneos de grado m 1 en las com-

ponentes de r.
Calculamos ahora el vector de anisotropa usando n(m) (v)/v = mN (m) (v)
y restringiendo el argumento sobre la esfera. Encontramos
A(m) = m(1 rr )N (m) (r) = m[N (m) (r) n(m) (r) r],
y el vector momento es

p = nr + A(m) = [mN (m) (r) (m 1)n(m) (r) r],
m1 m0

donde los sumandos m = 0 y m = 1 no dependen de r y estan ausentes

cuando sus coeficientes son cero.

4 Anisotropa maxwelliana
La optica geometrica correcta es la que se obtiene de las ecuaciones de
Maxwell [14] en el lmite de longitudes de onda pequenas. Examinaremos
con atencion especial las consecuencias de la anisotropa del medio.

4.1 Vectores, ndices y ecuaciones de Maxwell

Proponemos campos electricos y magneticos que sean soluciones a las ecua-
ciones de Maxwell con la forma compleja [2]
E(r, t) = e(r) exp[i(S(r) t)],
H(r, t) = h(r) exp[i(S(r) t)], (17)

11
donde S es la funcion conocida como eikonal ; es una funcion escalar y real
de la posicion; en mecanica su analogo es la accion; el numero de onda es
= 2/ = /c, donde es la longitud de onda, es la frecuencia angular,
y c es la velocidad de la luz en el vaco. Los vectores e(r) y h(r) son funciones
de la posicion y pueden ser complejos. En el caso de ondas planas con vector
normal unitario u, la funcion eikonal es lineal en las componentes del vector
r: S(r) = (/v)u r, donde v es la velocidad de propagacion en el medio.
Las superficies S(r) = constante son los frentes de onda geometricos.
Las ecuaciones de Maxwell relacionan las divergencias, rotacionales y
derivadas respecto del tiempo de los vectores de campo electrico y magnetico,
de desplazamiento e induccion: E, H, D y B segun la notacion establecida.
Se complementan con las llamadas relaciones materiales
D = b E , B = H . (18)
La anisotropa del medio esta determinada por las permitividades electrica b y
magnetica . En medios isotropicos, b y son independientes de la direccion
y solo contienen la inhomogeneidad del medio. En medios anisotropicos
pueden ser tensores de rango dos que se representan por matrices; se de-
muestra que la conservacion de la energa implica que estas matrices son
simetricas; en medios de interes optico, la permeabilidad magnetica es
multiplo de la matriz unidad y solamente b = (i,j ) es el tensor de tomar en
cuenta [2].
En medios anisotropicos, las ondas planas (17) presentan un vector de
onda normal
p = S, (19)
cuya magnitud
|p| = c/vp = np , (20)
es la razon de la velocidad de la luz en el vaco a la velocidad vp de los
frentes de onda en el medio, llamada la velocidad de fase, y que depende
de la direccion en la que se mueven los frentes. Llamamos np al ndice de
refraccion obtenido de su razon, y adelantamos que el vector de onda p se
corresponde con su vector homonimo de momento en la optica geometrica.
Ante una discontinuidad en el ndice del medio, y por las mismas razones
que en los medios isotropicos, el valor de las fases de los campos y de sus
derivadas tangenciales a ambos lados de la discontinuidad implica que se
conserva la componente tangencial del vector p.

12
 Las mismas ondas planas (17) tienen su vector de Poynting,
c
S= E H = |S| r, (21)
4
que indica la direccion de propagacion de la energa electromagnetica; in-
dicamos por r el vector unitario en esa direccion, adelantando que se corre-
sponde con su vector homonimo de direccion del rayo en optica geometrica.
La energa electromagnetica tiene una velocidad de propagacion (llamada
velocidad de rayo [2]) en el medio que indicamos por vr , y

nr = c/vr (22)

es el ndice de refraccion que previamente llamamos n. Vease la Figura 5.

Al sustituir (17) en las ecuaciones de Maxwell sin corrientes ni cargas, las
derivadas espaciales y temporales actuando sobre el exponente resultan en
factores i y i; dividimos por esta cantidad. Al tomar el lmite 0 [2],
desaparecen las derivadas de e(r) y h(r), y obtenemos () las siguientes con-
clusiones que, junto con las relaciones materiales (18), determinan el modelo
maxwelliano geometrico:

D = 0 p d = b e, (23)
B = 0 p b = h, (24)
1 D
H = 0 b e = h p, (25)
c t
1 B
E+ = 0 h = p e, (26)
c t
donde d y b son los vectores de desplazamiento e induccion definidos de la
misma manera que e y h en (17).

4.2 Ecuacion de rayo de Fresnel

Bajo el lmite 0, el vector de rayo r mantiene claro su significado
geometrico (9); el vector de onda p (ahora el momento) parece persistir
un tanto fantasmalmente como vector piloto del grano de luz. Es el, sin
embargo, el que determina el efecto de interfases refractantes del medio so-
bre el rayo, y genericamente inhomogeneidades, obedeciendo a (10). Esto
proviene del hecho que en cada interfase se debe conservar el campo electrico

13
y el magnetico (17) para los valores de p r, tal y como sucede en medios
isotropicos con su correspondiente esfera de Descartes.
En este modelo, p es ortogonal a d y b, mientras r es ortogonal a e y h,
como esta indicado en la Figura 5. Tiene gran utilidad conocer el angulo
entre ellos, en particular las siguientes igualdades:
vp nr ed |d | p r
cos = = = = =
vr np |e| |d| |d| np
|d| n2r |e|
= = . (27)
n2p |e| |d|
Las cinco primeras expresiones son puramente geometricas, basadas en el
argumento que las distancias recorridas por un frente de onda guardan esa
proporcion, los ndices de refraccion n = c/v la proporcion inversa; el pro-
ducto escalar de e y d entre sus magnitudes, o la razon de la proyeccion
d sobre e de d; y el producto escalar de p con el vector unitario r, consis-
tente con la relacion geometrica propuesta en la ecuacion (7). Las ultimas
dos expresiones se obtienen a partir de las ecuaciones de Maxwell; en efecto:
substituyendo h de (26) en (25) y multiplicando escalarmente por (25) obten-
emos d2 = p2 ed, de donde se sigue la penultima igualdad de (27); la ultima
deriva de esa y las anteriores. Anotamos tambien que de la ultima igualdad
se deriva una relacion de reciprocidad entre los ndices de refraccion asociados
al momento y a la direccion:
np nr = |be|/|e| .
En adelante, trabajaremos exclusivamente con el ndice de refraccion del rayo,
nr , que indicaremos simplemente por n, sabiendo que se trata de la misma
cantidad a la que se refieren las primeras dos secciones de este artculo.
A continuacion mostraremos como de las igualdades (27) se obtendra el
ndice de refraccion anisotropico n(r) en terminos de los parametros fsicos
del medio, las permitividades i , i = x, y, z y . En efecto, del quinto y del
ultimo termino de (27) sigue la igualdad vectorial d /n2 = e/; ademas, la
proyeccion de d en la direccion de e puede escribirse usando el vector ortog-
onal unitario r como d = (1 rr ) d. Referido a ejes donde el tensor de
permitividad electrica es diagonal, b = (i ), podemos eliminar las compo-
nentes de e y escribir
i r d
di = 2 ri , i = x, y, z .
n i

14
Ahora, con objeto de eliminar las componentes de d de nuestra expresion
final, multiplicamos cada ecuacion por ri y sumamos sobre i para obtener
r d en ambos lados de la ecuacion; dividimos por esta cantidad y obtenemos
la ecuacion de rayo de Fresnel ([2], Ec. 14.2(29))
x y z
rx2 + 2 ry2 + 2 r2 = 1 .
n2 x n y n z z

Llamando

nx = x , ny = y , nz = z ,
y recordando que 1 = rx2 + ry2 + rz2 , recolectamos las componentes de r para
escribir una segunda forma de la ecuacion de rayo de Fresnel,

rx2 ry2 rz2

+ + =0. (28)
n2 nx2 n2 n2y n2 n2z

Esta es una ecuacion de segundo grado en n2 , como puede verse multi-

plicando (28) por sus denominadores. Su forma es (n2 )2 + Bn2 + C = 0,
con

B = rx2 n2x + ry2 n2y + rz2 n2z (n2x + n2y + n2z ) = (r br tr b)

C = rx2 n2y n2z + ry2 n2x n2z + rz2 n2x n2y = 2 (det b) r b1 r, (29)

donde tr b = x + y + z es la traza de b, y b1 = diag (1 1 1

x , y , z ). Las
ultimas expresiones para B y C son independientes de la orientacion de los
ejes del espacio respecto a los ejes principales del medio. En estos terminos,
la teora geometrica de Maxwell predice dos ndices de refraccion [16]:

n2 (r) = 21 (B B 2 4C). (30)

4.3 Anisotropa pequena

Con objeto de comparar los ndices de refraccion maxwellianos con los del
modelo geometrico cuadrupolar (13), conviene considerar que la anisotropa
es pequena, es decir, proponer

b = diag (o + x , o + y , o + z ) = o 1b + b, |i | o .

15
Como tr b = 3o , tr b = 0 y n(r) > 0, si despreciamos terminos en 2 , la
ecuacion (30) se reduce a
(2)
n (r) = n(0) + n (r) + O( 2 ), n(0) = o ,
( )
(2)
n (r) = r br (r br) 4r r ,
2
4n(0)
donde = diag (y z , z x , x y ). Notemos que el grado de homogeneidad de
(2)
n (r) en (dentro y fuera de la raz cuadrada) es uno.
Particularicemos nuestro tratamiento analizando un medio cuadrupolar
uniaxial, cuyo resultado a partir del tratamiento hamiltoniano ya conocemos
de la ecuacion (16). Cuando x = y = y z = 2, el discriminante
B 2 4C en (29) se vuelve el cuadrado perfecto de 3(1 rz2 ). Los cuadrados
de los ndices de refraccion [cf. (30)] son entonces

n2+ = (o + ) ,
n2 (r) = n2+ 3(1 rz2 ) .

El primer ndice de refraccion, n+ , es insensible a la anisotropa del medio

(pues no depende de r); el rayo que lo sigue se llama el rayo ordinario y el
ndice de refraccion que obedece es

no = n+ = (o + ) .

Por otra parte, el rayo extraordinario obedece a ne = n (r), que debemos

comparar con (16). Para rz = cos y o ,
3
ne = n () n+ sin2 ,
2n+
y esto lleva a identificar los parametros de (16) con los parametros fsicos
segun las siguientes equivalencias:

n(0) = (o 2) o (1 /o ), = /2no /o 12 .

Como ejemplo numerico apuntamos que, para la longitud de onda =

404.7 nm y = 1, los valores de los ndices de refraccion y parametros de
anisotropa son no = 1.55716 y ne = 1.56671 [15]. Entonces n(0) = 1.56353
y = 0.00318. La aproximacion que desarrolla ne en potencias de /n0
2 103 , permite despreciar terminos de orden O(106 ).

16
5 Conclusiones
El modelo de la optica geometrica de medios anisotropicos propuesto por
nosotros y otros autores, parte de la generalizacion por demas sencilla
de permitir que el ndice de refraccion dependa de la direccion de los rayos.
Genera un esquema matematicamente consistente y atractivo. Permite apre-
ciar tambien el problema que presenta la longitud de arco cuando se usa
como parametro de evolucion en modelos donde el sistema original (la optica
isotropica) no se presta para formular el principio de Fermat; la formulacion
hamiltoniana sortea esta dificultad mejor que la lagrangiana. Las referencias
[3] y [4] en efecto utilizaron parametros de evolucion distintos (el tiempo y
el eje optico) para llegar a los mismos resultados.
Sin embargo, es imperativo preguntarse si el esquema matematico prop-
uesto describe correctamente a la naturaleza, que obedece a las ecuaciones
vectoriales de Maxwell. En su regimen lineal, estas explican el fenonemo de la
birrefringencia por la interaccion de los campos electricos y magneticos con el
medio a traves de la anisotropa del tensor dielectrico. En el lmite geometrico
de longitudes de onda pequenas, este tensor solo permite cuadrupolaridad a
primer orden en las direcciones de los rayos.
La utilidad de un modelo matematico estriba en la sencillez que su manejo
permite y en la claridad con que pueden enunciarse sus fundamentos. Sabe-
mos que la optica geometrica ordinaria (en medios isotropicos) no predice que
bajo refraccion en una discontinuidad del ndice exista a fortiori tambien un
rayo reflejado. Similarmente, el modelo que manejamos aqu no predice que
los rayos en un medio anisotropico se dividan en dos, cada uno obedeciendo un
ndice de refraccion distinto. Tampoco tiene nada que decir sobre los vectores
ortogonales de campo electrico y magnetico que acompanan la trayectoria de
luz, porque estos no han sido incluidos entre los axiomas contenidos en (9)
y (10). A cambio de ello, predice correctamente el angulo de refraccion y el
papel que juega el momento optico dentro de su contexto hamiltoniano.
Los materiales anisotropicos se usan cada vez mas para el manejo eficiente
de informacion por medios opticos. Es util contar con una teora geometrica
que reproduzca ciertos aspectos relevantes del fenomeno y se preste para
producir, por ejemplo, los algoritmos necesarios para el diseno optico basado
en tecnicas de desarrollo en serie de aberraciones [?]. Para esto es importante
conocer el rango de validez del modelo.

17
References
[1] C.S. Hastings, New Methods in Geometrical Optics, (Macmillan, New
York, 1927); M. Herzberger, Modern Geometrical Optics, (Interscience,
New York, 1958); R.P. Feynman, R.B. Leighton y M. Sands, The Feyn-
man Lectures on Physics, (Addison-Wesley, Reading, Mass., 1963; vol.
I, cap. 26); M.V. Klein, Optics, (John Wiley & Sons, New York, 1970);
K.D. Moller, Optics, (Marcel Dekker Inc., New York, 1971); J.W. Blaker,
Geometric Optics, (Marcel Dekker, New York, 1971); E. Hecht y A. Za-
jac, Optics, (Addison Wesley, Reading, Mass., 1979); R.W. Ditchburn,
Optica, (3a Ed., Reverte, Barcelona, 1982); R.D. Guenther, Modern Op-
tics, (University Science Books, California, 1988); J.W. Blaker, Geomet-
ric Optics, (John Wiley & Sons, New York, 1990);

[2] M. Born y E. Wolf, Principles of Optics (6a Ed., Pergamon Pres, Oxford,
1984).

[3] G. Torres del Castillo, Lagrangian and Hamiltonian formulations of ge-

ometrical anisotropic optics, Rev. Mex. Fs. 41, 229234 (1995).

[4] A.L. Rivera, S.M. Chumakov y K.B. Wolf, Hamiltonian foundation of ge-
ometrical anisotropic optics. J. Opt. Soc. Am. A, 12, 13801389 (1995).

[5] A.L. Rivera, S.M. Chumakov y K.B. Wolf, Postulates of Hamiltonian

geometrical optics in isotropic and anisotropic media. En: New Trends
for Hamiltonian Systems and Celestial Mechanics, Advanced Series in
Nonlinear Dynamics, Vol. 8, editado por E Lacomba y J Llibre (World
Scientific Publications, Singapur, 1996); pp. 311317.

[6] J.F. Carinena y J. Nasarre On the symplectic structures arising in ge-

ometric optics Fortschr. Phys. 44, 181198 (1996). J.F. Carinena y J.
Nasarre Presymplectic geometry and Fermats principle for anisotropic
media, J. Phys. A, por aparecer (1997).

[7] R.K. Luneburg, Mathematical Theory of Optics (California Press, Los

Angeles, 1944), pp. 9697.

[8] A. Mercier, Variational Principles of Physics (Dover, New York, 1963),

pp. 222224.

18
 [9] H. Goldstein, Classical Mechanics (2a Ed. Addison Wesley, Reading,
Mass., 1980).

[10] L.D. Landau y E.M. Lifshitz, Mechanics (3a Ed., Pergamon, Oxford,
1976).

[11] R. Descartes, Sur la Dioptrique (Paris, 1633).

[12] T. Sekiguchi and K.B. Wolf, The Hamiltonian formulation of optics.

Am. J. Phys. 55, 830835 (1987).

[13] R. Gilmore, Lie Groups, Lie Algebras and Some of Their Applications
(John Wiley & Sons, New York, 1974).

[14] J.D. Jackson, Classical Electrodynamics (2a Ed., John Wiley & Sons,
New York, 1975).

[15] F.A. Jenkins y H.E. White, Fundamentals of Optics (4a Ed. McGraw
Hill, New York, 1976).

[16] H.A. Buchdahl, An Introduction to Hamiltonian Optics (Cambridge

University Press, Cambridge, 1970).

[17] Yu.A. Kravtsov y Yu.I. Orlov, Geometrical Optics of Inhomogeneous

media (Springer-Verlag, Berlin, 1990).

19
PIES DE FIGURAS
anis1: Figura 1. En un medio anisotropico, mientras el vector r genera la
esfera unitaria, nr dibuja la superficie del rayo (lnea punteada) y el vector
de momento p recorre el ovoide de Descartes (lnea continua).
Snell: Figura 2. Diagrama de Descartes para la refraccion en la interfase
entre dos medios anisotropicos cuadrupolares.
Dipole: Figura 3. En un medio anisotropico dipolar, mientras el vector
r recorre la esfera unitaria, A dibuja una superficie tipo cardioide (lnea
punteada) y el vector de momento p genera una esfera con centro en D
(lnea continua).
Cuadrupole: Figura 4. En un medio anisotropico cuadrupolar, mientras
el vector n0 r recorre la esfera de radio n0 , nr genera la superficie de forma
de cacahuate y el momento p dibuja el ovoide.
Max1 Figura 5. (a) Los vectores electromagneticos en un medio anisotropico.
La direccion del momento optico p no coincide con la direccion de propa-
gacion de la energa S (el vector de Poynting), sino que forma un angulo
con ella. (b) Los frentes de onda son perpendiculares a la direccion del
momento optico p; el vector nr esta a lo largo del vector de Poynting S; el
vector de anisotropa A relaciona los dos; D es la proyeccion del vector de
desplazamiento D sobre el vector de campo electrico E.

20
Figure 1: En un medio anisotropico, mientras el vector r esta sobre la esfera
unitaria, nr dibuja la superficie del rayo (lnea punteada) y el vector de
momento p se mueve sobre el ovoide de Descartes (lnea continua).

Figure 2: Diagrama de Descartes para construir el angulo de refraccion en la

interfase de dos medios anisotropicos cuadrupolares.

Figure 3: En un medio anisotropico dipolar, mientras el vector r esta sobre la

esfera unitaria, el vector de anisotropa A dibuja una superficie tipo cardioide
(lnea punteada) y el vector de momento p se mueve sobre una esfera con
centro en D (lnea continua).

Figure 4: En un medio anisotropico cuadrupolar, mientras el vector n0 r esta

sobre la esfera de radio n0 , nr esta sobre la superficie de forma de cacahuate
y el momento p dibuja un ovoide.

Figure 5: (a) Los vectores electromagneticos en un medio isotropico. Los

frentes de onda son transversales a la direccion del momento p que en este
medio coincide con la de propagacion de la energa S. (b) Los vectores elec-
tromagneticos en un medio anisotropico. Los frentes de onda son transver-
sales a la direccion del momento p, la cual en general no coincide con la de
propagacion de la energa S.

21