See

discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/242635725

Optica geomtrica vs. Fsica en medios

anisotrpicos
Article December 1997

CITATIONS

READS

137

3 authors:
Ana Leonor Rivera

Sergei Chumakov

Universidad Nacional Autnoma de Mxico

University of Guadalajara

54 PUBLICATIONS 265 CITATIONS

115 PUBLICATIONS 1,029 CITATIONS

SEE PROFILE

SEE PROFILE

Kurt Bernardo Wolf

Universidad Nacional Autnoma de Mxico
260 PUBLICATIONS 3,180 CITATIONS
SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Vizualizacin de la estructura de los descubrimientos cientficos en Mxico a travs del

Anlisis de Redes Sociales View project

Available from: Kurt Bernardo Wolf

Retrieved on: 26 September 2016

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 Aut

onoma 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 peque
nas.

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.

Introducci
on

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 peque
nas. 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 electromagnetismo, 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 direcci
on 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 requieren ser comparados crticamente con las predicciones del tratamiento
maxwelliano. Este u
ltimo, 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 Cari
nena y
Nasarre [6]. Hemos encontrado que solamente Kravtsov y Orlov [17] presentan 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 dependencia 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 extraordinario es su complemento inseparable. Finalmente, la Seccion 5 ofrece
algunas conclusiones sobre la semejanza y las diferencias entre las dos teoras.

2
2.1

Optica geom
etrica en medios anisotr
opicos
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 ejem3

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 direcci
on 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 formulaci

on 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 com
un 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
=
.
r
ds r

(3)

De acuerdo con esta formulacion, el momento del sistema, que indicaremos adelante por p, esta dado por el vector de anisotropa del medio,
A=

L
.
r

(4)

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 ecuaciones 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

Formulaci
on 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 mediante 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 acompa
nado 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 resumimos:
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 =
=
.
ds
|p A|
p

(9)

El rayo tiene un vector de momento optico p dado por (7), y este responde 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 inhomogeneidad, 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 conserva: 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 ,
6

(11)

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 u
ltimas 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 u
ltima tiene la direccion r del
rayo saliente.

Anisotropa geom
etrica

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)
=Dr .

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


(1)

n 
=

= (1 r r )D = D n(1) (r)
r = (r D) r ,
r |r|=1

(12)

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 cuadraticamente 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
b su tensor (matriz) cuadrupolar.
cuadrupolar y a Q
b en (13) colinda con el mismo vector r
Como la matriz cuadrupolar Q
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 tama
no
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

b a forma diagonal,
matriz cuadrupolar Q

Qx 0
0
b =
0
Q
0
Q

y
0
0 Qz

donde Qx + Qy + Qz = 0 .

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

2Tb v. Su restriccion a |v| = 1 es, como en la ecuacion (12),



(2)

]
[
Q 
b r = 2 Q
b n(2) (r)
=
= 2(1 r r )Q
r .

r |r|=1

(14)

El vector momento es
[

b r = (n(0) + 2Q
b r Q
b r)
p = n(r)
+ 2(1 r r )Q
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 u
ltimas 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
act
ua 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)
0

0
n(r)
= n + (x,
y,
z)

y
0 0 2
z
= n(0) + (x 2 + 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 cuadrupolar; en la u

ltima 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
pz

=
(

(n(0) + 4 3 sin2 ) sin

(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(m) (r),

n(r, 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,

n(m) (r)
=

(m)

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 mismas 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 u
ltima igualdad define el vector
(m)

Ni

(r)
=

(m)

ni,i2 ,...im ri2 ri3 rim ,

i2 ,...im

cuyas componentes son polinomios homogeneos de grado m 1 en las componentes 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 r r )N (m) (r)
= m[N (m) (r)
n(m) (r)
r],

y el vector momento es
p = nr +

m1

A(m) =

[mN (m) (r)

(m 1)n(m) (r)
r],

m0

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

cuando sus coeficientes son cero.

Anisotropa maxwelliana

La optica geometrica correcta es la que se obtiene de las ecuaciones de

Maxwell [14] en el lmite de longitudes de onda peque
nas. 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 ecuaciones 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)],
11

(17)

donde S es la funcion conocida como eikonal ; es una funcion escalar y real

de la posicion; en mecanica su analogo es la acci
on; el n
umero 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 seg
un 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 demuestra que la conservacion de la energa implica que estas matrices son
simetricas; en medios de interes optico, la permeabilidad magnetica es
m
ultiplo 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,

S=

c
E H = |S| r,

(21)

que indica la direccion de propagacion de la energa electromagnetica; indicamos por r el vector unitario en esa direccion, adelantando que se corresponde 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 conclusiones que, junto con las relaciones materiales (18), determinan el modelo
maxwelliano geometrico:
D
B
1 D
H
c t
1 B
E+
c t

= 0 p d = b e,
= 0 p b = h,

(23)
(24)

= 0 b e = h p,

(25)

= 0 h = p e,

(26)

donde d y b son los vectores de desplazamiento e induccion definidos de la

misma manera que e y h en (17).

4.2

Ecuaci
on 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 sobre 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
=
=
=
=
vr
np
|e| |d|
|d|
np
|d|
n2r |e|
=
=
.
n2p |e|
|d|

cos =

(27)

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 producto 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,
consistente con la relacion geometrica propuesta en la ecuacion (7). Las u
ltimas
dos expresiones se obtienen a partir de las ecuaciones de Maxwell; en efecto:
substituyendo h de (26) en (25) y multiplicando escalarmente por (25) obtenemos d2 = p2 ed, de donde se sigue la pen
ultima igualdad de (27); la u
ltima
deriva de esa y las anteriores. Anotamos tambien que de la u
ltima 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
u
ltimo 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 ortogonal unitario r como d = (1 r r ) d. Referido a ejes donde el tensor de
permitividad electrica es diagonal, b = (i ), podemos eliminar las componentes de e y escribir
i r d
ri , i = x, y, z .
di = 2
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))
n2

x
y
z
rx2 + 2
ry2 + 2
r 2 = 1 .
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,
ry2
rx2
rz2
+
+
=0.
n2 nx2 n2 n2y n2 n2z

(28)

Esta es una ecuacion de segundo grado en n2 , como puede verse multiplicando (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)

1 1
donde tr b = x + y + z es la traza de b, y b1 = diag (1
x , y , z ). Las
u
ltimas 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 peque
na

Con objeto de comparar los ndices de refraccion maxwellianos con los del
modelo geometrico cuadrupolar (13), conviene considerar que la anisotropa
es peque
na, es decir, proponer
b = diag (o + x , o + y , o + z ) = o 1b + b,
15

|i | o .

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)
2
n (r)
=
4r r ,
r br (r br)
4n(0)
donde = diag (y z , z x , x y ). Notemos que el grado de homogeneidad de
(2)
en (dentro y fuera de la raz cuadrada) es uno.
n (r)
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 ,
ne = n () n+

3
sin2 ,
2n+

y esto lleva a identificar los parametros de (16) con los parametros fsicos
seg
un 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

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 apreciar 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 propuesto 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 peque
nas, 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. Sabemos 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 acompa
nan 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 u
til contar con una teora geometrica
que reproduzca ciertos aspectos relevantes del fenomeno y se preste para
producir, por ejemplo, los algoritmos necesarios para el dise
no 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 Feynman 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. Zajac, Optics, (Addison Wesley, Reading, Mass., 1979); R.W. Ditchburn,
Optica, (3a Ed., Reverte, Barcelona, 1982); R.D. Guenther, Modern Optics, (University Science Books, California, 1988); J.W. Blaker, Geometric 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 geometrical anisotropic optics, Rev. Mex. Fs. 41, 229234 (1995).
[4] A.L. Rivera, S.M. Chumakov y K.B. Wolf, Hamiltonian foundation of geometrical 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. Cari
nena y J. Nasarre On the symplectic structures arising in geometric optics Fortschr. Phys. 44, 181198 (1996). J.F. Cari
nena 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 propagacion 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 electromagneticos en un medio anisotropico. Los frentes de onda son transversales a la direccion del momento p, la cual en general no coincide con la de
propagacion de la energa S.
21