Mathieu Reporte Final

Anlisis experimental y numrico de
haces Mathieu-Gauss generados con

un modulador de fase
1

Reporte
Ral Josu Hernndez Hernndez
Tutor Principal
Dra. Karen Volke Seplveda
Resumen
Este reporte constituye una sntesis breve del trabajo experimental y anlisis numrico de un
tipo de campos pticos correspondientes a las soluciones exactas de la ecuacin de Helmholtz en
coordenadas cilndricas elpticas. La distribucin transversal de estos campos pticos complejos
est descrita en trminos de las funciones radial y angular de Mathieu, por lo que reciben el
nombre de Haces Mathieu.
En general, la generacin de campos pticos en el laboratorio se realiza usando diversos
mtodos refractivos con una eciencia asociada. En este trabajo, se utiliz un modulador espacial
de luz (SLM) en combinacin con hologramas de fase para la generacin de haces Mathieu-
Gauss, codicando la funcin de transmitancia de manera que coincida con la modulacin de
fase del haz que se desea generar.
El presente reporte se divide en siete partes. En la primera parte se presenta una breve
introduccin de los trabajos realizados en las ecuaciones de Mathieu, desde su descubrimiento
hasta aplicaciones modernas. Destacando el inters por estudiarlas debido a sus propiedades y
caractersticas nicas.
En la segunda parte se mencionan algunas deniciones y propiedades que comparten los
campos pticos invariantes en propagacin.
Posteriormente en la tercer parte, aparece como primer ejemplo de campo ptico invariante
el caso de haces Bessel ya que adems de ser un sistema ampliamente estudiado y entendido,
sirve para comparar aspectos similares y diversos con los haces Mathieu.
La cuarta parte comprende los aspectos tericos de los haces Mathieu. Se presenta el sistema
de coordenadas elpticas, ecuacin de Helmholtz en coordenadas elpticas y sus soluciones.
Despus, en la quinta parte se mencionan los detalles del sistema experimental para la
generacin de haces Mathieu-Gauss tipo par, impar y helicoidales de orden y parmetro de
elipticidad arbitrario.
En la sexta parte se presentan y discuten los resultados observados en comparacin con las
simulaciones tericas a partir del anlisis numrico.
Finalmente, se aparecen las conclusiones y se incluye un breve apndice.
2
Generated by Foxit PDF Creator Foxit Software
http://www.foxitsoftware.com For evaluation only.
Introduccin
Existen diversos problemas fsicos y de ingeniera que conducen a las ecuaciones diferenciales
de Mathieu. Sus soluciones son conocidas como funciones Mathieu y fueron presentadas por
Mathieu en 1868[1].
En los ltimos aos, se han desarrollado diversos trabajos presentando nuevos resultados
analticos, estudios numricos y aplicaciones de las ecuaciones de Mathieu [2, 3, 4]. En general,
estas ecuaciones aparecen en dos principales categoras en fsica.
Primero, en aplicaciones que involucran geometras elpticas como el anlisis de modos vi-
bracionales en membranas elpticas, propagacin de modos en cavidades elipticas y oscilaciones
en sistemas con forma elptica. Despus, aparecen en problemas que involucran movimiento
peridico, como la trayectoria de un electrn en un arreglo peridico de tomos, mecnica del
pndulo cuntico, descripcin de solitones en redes Mathieu[5, 6, 7, 8].
En el caso de campos pticos, los haces Mathieu se utilizan para generar haces elpticos
ya que poseen propiedades fsicas nicas, tal como distribucin de intensidad elptica, frentes
de onda elpticos helicoidales[9]. Adems cuentan con singularidades de fase en el centro de
la distribucin de intensidad[10, 11, 12] y tienen la capacidad de transferir momento angular
orbital y de spin[13, 14], otro aspecto relevante es su invariancia en propagacin[12, 15, 16].
3
1
Campos pticos invariantes en
propagacin
Un campo ptico invariante en propagacin (COIP) es una solucin de la ecuacin de onda
que en teora se puede propagar de manera innita en el espacio libre sin difractarse, por esta
razn tambien son conocidos como haces adifraccionales. Esto es [17, 18] :
1(r, j, . 0) = 1(., j, . = 0), (2.1)
donde 1(r, j, .) =
1
2
j E(r, t) j
2
, denota el promedio en el tiempo de la intensidad del campo
elctrico. La condicin (2.1) signica que el perl de intensidad en el plano . = 0 se reproduce de
manera exacta en cualquier plano transversal . 0. Es decir, el perl transversal de intensidad
es independiente de la variable de propagacin .. Aunque no existe propagacin innita en el
mundo fsico, es posible generar aproximaciones de estos campos y la distancia sobre la cual
pueden propagarse est limitada por el tamao de apertura del sistema ptico.
Escribiendo la distribucin de amplitud en tres dimensiones de un campo ptico escalar en
el espacio innito tenemos
1
:
l(r) =
Z
2
0
q() exp[i /
t
(rcos +j sin)] exp[i /
:
.]d, (2.2)
1
Los detalles se muestran en el apndice A.
4
2
l(r, j, .) l
t
(r, j) exp[i /
:
.]. (2.3)
la ecuacin (2.2) describe un campo ptico cuyo patrn transversal l
t
(r, j) es slo una funcin
de las coordenadas transversales, satisfaciendo en efecto la condicin 2.1 que dene a un COIP.
En la ec.(2.2) tenemos que q() es una funcin compleja de modulacin arbitraria, es
una variable angular, /
t
= /
0
sin0
0
y /
:
= /
0
cos 0
0
son respectivamente, las magnitudes de las
componentes transversal y longitudinal del vector de onda k
0
. La integral en (2.2) representa
la superposicin de todas las ondas planas en la esfera de McCutchen (gura 2-1) donde los
vectores de onda forman un cono con ngulo 0
0
= tan
1
I
I
, con respecto al eje ..

En la gura 2-1 debe notarse que los vectores de onda al intersectar la supercie de la esfera
delinean una circunferencia de radio /
t
. Como consecuencia, el espectro de Fourier de cualquier
COIP esta constitudo por un anillo de radio /
t
en el espacio de frecuencias; la amplitud y
modulacin de fase alrededor de este anillo dene a cada COIP.
Figura 2-1. Esfera de McCutchen y representacin de los vectores de onda en la supercie de
un cono con componentes axial /
:
y transversal /
t
.
5
Haces Bessel
En 1987 Durnin [17] report un tipo de campos pticos a los que llam haces sin difraccin,
que son una solucin de la ecuacin de onda en coordenadas cilndricas circulares. stos corre-
sponden al caso ms simple de campos pticos sin difraccin y son conocidos como haces Bessel
por su perl transversal de intensidad. La distribucin de intensidad 1(j, c, .) _ J
2
n
(/
t
j) es
circularmente simtrica, donde : indica el orden de la funcin Bessel, j es el radio transversal
desde el eje de propagacin . y /
t
es la componente transversal del vector de onda que no
depende de la distancia de propagacin ..
En el mismo artculo reportado por Durnin [17] se presenta el primer experimento para
generar haces Bessel de orden cero y se asume una transmitancia unitaria de una rendija anular.
Este mtodo es bastante ineciente debido a que la mayor parte de la intensidad luminosa del
haz incidente se bloquea al utilizar la apertura anular [19], pero es importante mencionarlo
debido a la importancia conceptual y su simplicidad.
Una tcnica alternativa y ms eciente respecto al experimento de Durnin, consiste en
generar una aproximacin de un haz Bessel usando un elemento ptico refractivo de forma
cnica llamado axicn [19, 20]. Cuando se ilumina usando un haz Gaussiano con una cintura
del haz de tamao menor que el dimetro del axicn, casi toda la intensidad luminosa se
convierte en una aproximacin de un haz Bessel (limitada por la calidad del axicn).
Campos pticos ms ecientes se obtienen al utilizar tcnicas hologrcas [16, 21]. En la
mayora de estos mtodos, los campos pticos codicados se reconstruyen fuera del eje ptico
reduciendo la eciencia. Actualmente, una nueva tcnica permite generar haces Bessel de manera
6
3
ms eciente con un modulador espacial de luz [22, 23]. Se codica un holograma de fase cuya
transmitancia coincide con la modulacin de fase del haz que se desea obtener. Esto implica un
pico de amplitud entre las contribuciones de las amplitudes complejas de todos los haces que
componen el holograma de fase. Despus se realiza un ltraje espacial del espectro de Fourier
con una pupila anular que transmite la luz del anillo ms brillante. Al realizar la reconstruccin
del espectro de Fourier con un sistema 4), el haz reconstrudo en el eje ptico presenta una
mejora signicativa en la potencia de salida de los haces generados.
La siguiente imagen (gura 3-1) muestra la distribucin transversal de intensidad en una
simulacin de Matlab y el haz generado en laboratorio usando un holograma de fase con mod-
ulador espacial de luz.
Figura 3-1. ) Perl de intensidad de un haz Bessel de orden cero; 1) Simulacin en
Matlab; C) Haz generado experimentalmente.
A continuacin se muestran imgenes de los resultados en la generacin de haces Bessel de
orden superior utilizando la modulacin de fase y ltraje del espectro de Fourier de acuerdo a
la referencia [22]. Todas las imgenes se obtuvieron en el plano focal posterior de la segunda
lente en un sistema 4).
7
Figura 3-2. Generacin de haces Bessel en eje (A) /
t
= 100 ::
1
y (D) /
t
= 75 ::
1
sin
ltro anular. (B) y (E) Haz Bessel generado con ltro anular de radio r
0
= 0,1 ::, (C) y (F)
Haz Bessel generado con ltro anular de radio r
0
= 0,25 ::.
Por otra parte en la gura 3-3, se muestran los espectros de Fourier obtenidos experimentalmente
para el tipo de haz Bessel con /
t
= 100 ::
1
, ntese el ltraje de contribuciones de luz
indeseadas en el centro del anillo ltrado.
Figura 3-3. Espectro de Fourier de los hologramas de fase para haces Bessel con /
t
= 100
::
1
; (A) sin ltro anular; (B) con ltro anular de radio r
0
= 0,25 ::.
Como se mostr en las guras anteriores y en la referencia [22], la generacin de haces Bessel
en el eje ptico utilizando un ltro del espectro de Fourier mejora considerablemente la calidad
de imagen, uniformidad de intensidad y eciencia de los haces generados. Los detalles acerca
de la obtencin de parmetros utilizados se mencionarn en la siguientes secciones ya que se
utiliz la misma tcnica para la generacion de haces Mathieu de orden y elipticidad arbitrarias.
8
Haces Mathieu
Se les llama haces Mathieu a los campos pticos invariantes en propagacin (COIP-M) que
son soluciones exactas de la ecuacin de onda en coordenadas cilndricas elpticas y fueron
introducidos en 2001[24]. Estn asociados a la geometra transversal elptica pero de hecho,
pueden asociarse tambien a la geometra hiperblica ya que el sistema de coordenadas elpticas
esta formado por familias ortogonales de cilindros elipticos confocales e hiperblicos que se
intersectan entre s[25].
La distribucin transversal de intensidad de estos campos est descrita en trminos de fun-
ciones angulares y radiales de Mathieu. Debido a que los COIP-M forman un conjunto completo
de soluciones de la ecuacin de onda, en principio cualquier distribucin del campo puede ser
descrita como una superposicin de campos de Mathieu tomando en cuenta los correspondientes
factores de peso y fase. Esta propiedad de los COIP nos permite considerar a los COIP-M como
una nueva clase de COIP.
4.1. Coordenadas Cilndricas-Elpticas
En esta seccin introducimos el sistema de coordenadas elpticas. Como veremos, est es-
trechamente ligado al sistema de coordenadas circulares cilindricas y en algunas circunstancias,
ste puede considerarse un caso particular del primero.
9
4
Para describir este sistema primero consideraremos una elipse en el plano (r, j) cuya ecuacin
es (r,a)
2
+ (j,/)
2
= 1, donde a /. La distancia semi focal ) est dada por )
2
= a
2
/
2
, y
la excentricidad c esta expresada como c =
)
o
, donde c 2 [0, 1]. La elipse est denida por dos
parmetros seleccionados de fa, /, ), cg y se representa en la gura 4-1:
Figura 4-1. Sistema de coordenadas elipticas.
las coordenadas transversales elpticas (n, ) estn relacionadas con las coordendas cartesianas
(r, j) por medio de la transformacin
r = ) coshncos ; j = ) sinhnsin; (4.1)
donde n funciona como coordenada radial y toma los valores posibles n 2 [0, 1), la coordenada
es una coordenada angular con valores en el rango 2 [0, 2]
La descripcin del sistema de coordenadas elipticas no est completa sin introducir los
correspondientes factores de escala que son:
/ /
&
= /
= )
p
cosh
2
n cos
2
= )
r
1
2
(cosh2n cos 2); /
:
= 1. (4.2)
10
4.2. Ecuacin de Helmholtz en coordenadas elpticas
Con el sistema de coordenadas presentado anteriormente, se expresa la ecuacin de Helmholtz
en dos dimensiones para coordenadas elpticas como:
0
2
0n
2
+
0
2
0
2
+
)
2
/
2
t
2
(cosh2n cos 2)
l
t
(n, ) = 0. (4.3)
Usando el mtodo de separacin de variables con l
t
(n, ) = 1(n)() se obtienen las ecuaciones:
d
2
dn
2
(a 2
2
cosh2n)
1(n) = 0, (4.4)
d
2
d
2
+ (a 2
2
cos 2)
() = 0, (4.5)
donde a es la constante de separacin del mtodo de separacin de variables y el parmetro
adimensional de elipticidad est denido como
= )
2
/
2
t
,4 (4.6)
este parmetro contiene informacin acerca de la frecuencia transversal /
t
y de ) la semi dis-
tancia focal de la elipse.
Por lo tanto, una combinacin lineal de productos de soluciones angular y radial pueden
utilizarse para representar la solucin total de la ecuacin escalar de una onda elptica viajando
a lo largo del eje ., con velocidad de fase
j
=
.
I
1(r, t) = 1(n)() exp(i/
:
. i.t). (4.7)
Las ecuaciones (4.4) y (4.5) son conocidas en Fsica e Ingeniera como ecuacin radial y
angular de Mathieu, respectivamente. Sus soluciones son las funciones radiales y angulares de
Mathieu. Es importante mencionar que estas mismas ecuaciones son conocidas en matemti-
cas por el nombre de ecuaciones de Mathieu modicada y ordinaria, aunque en este trabajo
usamos la terminologa radial y angular para identicarlas en virtud de su signicado fsico en
propagacin de ondas.
11
Debido a que la ecuacin angular de Mathieu (4.5) es una ecuacin diferencial de segundo
orden, tiene dos familias de soluciones independientes. La solucin del primer tipo, que es la
que nos interesa en el presente caso, es peridica y de acuerdo con la notacin utilizada en
[24], se denota como cc
v
(; ) con eigenvalores a
v
(r = 0, 1, 2, ...) y :c
v
(; ) con eigenvalores /
v
(r = 1, 2, ...). Estas soluciones representan respectivamente a las funciones par e impar ordinarias
de Mathieu y tambien son conocidas como coseno elptico y seno elptico. Las soluciones del
segundo tipo no son peridicas y estn dadas por )c
v
(; ) y qc
v
(; ), respectivamente para las
soluciones par e impar [26].
Para un orden dado de r, la ecuacin radial de Mathieu (4.4) tiene asociadas cuatro solu-
ciones con sus correspondientes eigenvalores a
v
y /
v
; dos soluciones pares Jc
v
(n; ) y c
v
(n; )
y dos soluciones impares Jo
v
(n; ) y o
v
(n; ). En coordenadas elpticas, los eigenvalores de
las soluciones par e impar de la ecuacin de onda son diferentes y entre ms grande sea la
distancia interfocal 2), la diferencia entre los eigenvalores es cada vez mayor. Sin embargo, se
han propuesto superposiciones complejas de haces Mathieu par e impar que son anlogos a los
vrtices Bessel para generar los llamados vrtices elpticos o Mathieu helicoidales (HM)[9].
Cuando la semi distancia focal ) ! 0, las coordenadas elpticas se vuelven coordenadas
circulares y entonces Jc
v
y Jo
v
! J
v
, junto con c
v
y o
v
!
v
, que corresponden a las
funciones de Bessel de primer y segundo orden. En simetra circular, las soluciones par e impar
de la ecuacin de ondas J
n
(/
t
j) cos :, y J
n
(/
t
j) sin:, respectivamente, estn degeneradas
con respecto al eigenvalor : (entero). Esto permite una construccin directa de superposiciones
complejas que dan origen a los modos rotantes conocidos como vrtices pticos, cuya dependen-
cia de fase azimutal toma la forma exp(i:,), donde el eigenvalor es conocido como la carga
topolgica del vrtice y posee un momento angular bien denido[13, 14].
Para encontrar los valores apropiados de los eigenvalores en coordenadas elpticas, de la
solucin de la ecuacin de onda en tres dimensiones se usa la integral de Whittaker que tiene
la forma[26]:
1(r) = exp(i/
:
.)
Z
2
0
(c) exp[i /
t
(rcos c +j sinc)]dc,
donde (c) es el espectro angular del campo (como se habia mencionado en la ec.(2.2)). Durnin
resolvi la ecuacin anterior para el haz Bessel de orden cero con (c) = ctc, mientras que
para haces Bessel de orden mayor (c) = exp(i:c). En coordendas elpticas, (c) depende
12
de cc
v
(; ) y/o :c
v
(; ) en la ecuacin angular de Mathieu, as que la solucin del campo
electromagntico se expresa como:
1(n, , .; ) = [
v
()Jc
v
(n; )cc
v
(; ) +1
v
()Jo
v
(n; ):c
v
(; )] exp(i/
:
.), (4.8)
donde
v
() y 1
v
() son constantes arbitrarias. Este campo se puede obtener con tcnicas
hologrcas (como veremos en la siguiente seccin), el patrn de interferencia de una onda plana
de referencia con el campo 1(n, , .; ) se registra en el holograma y posteriormente se ilumina
con un haz gaussiano de referencia para obtener el campo 1(n, , .; ). Estas aproximaciones
nitas de campos pticos de Mathieu, generados a partir de haces gaussianos reciben el nombre
de haces Mathieu-Gauss.
En forma alternativa, si la transformada de Fourier del campo ptico se registra hologr-
camente, durante la reconstruccin del espectro el patrn ser generado en el campo lejano.
Con esta tcnica se realiza el cmputo de los coecientes de las ecuaciones radial y angular de
Mathieu en la realizacin experimental.
13
Generacin experimental de haces
Mathieu-Gauss con un modulador
espacial de luz
A pesar del incremento en la atencin y propiedades unicas que poseen los haces Mathieu
y Mathieu-Gauss debido a sus aplicaciones, existen pocos reportes acerca de la generacin
experimental de estos haces [11, 12, 16]. La primer demostracin experimental estuvo restringida
a la generacin experimental del haz Mathieu de orden ms bajo [12]. La segunda aproximacin
estuvo basada en la utilizacin de hologramas de fase generados por computadora (CGH), para
los cuales se produjeron haces Mathieu-Gauss de orden y elipticidad arbitrarios reconstruidos
fuera del eje ptico, dando lugar a una eciencia baja [15]. Actualmente se han obtenido todas
las familias de haces Helmholtz-Gauss, incluyendo los modos Mathieu-Gauss haciendo uso de
hologramas de Fourier generados por computadora[16]. Este mtodo produjo haces de buena
calidad pero con una eciencia menor que los obtenidos con los hologramas de fase.
A continuacin se presenta un mtodo alternativo y verstil para la generar haces Mathieu-
Gauss en eje utilizando un modulador espacial de luz (Spatial Light Modulator -SLM-).
Un modulador espacial de luz es una herramienta ptica utilizada por su capacidad para
controlar en forma dinmica la modulacin de la luz. Contiene una pantalla de cristal lquido
donde se despliegan tonos de gris, cada tono de gris corresponde a un valor de voltaje aplicado
14
5
sobre los pixeles de la pantalla de cristal lquido para controlar la amplitud y fase del haz que
se desea generar. Aunque no es posible modular independientemente la amplitud y fase de un
campo ptico complejo con el SLM, se busc obtener la mejor conguracin en la cual el rango
de 256 tonos de gris tiene un comportamiento lineal para la fase y distribucin de intensidad
uniforme. La caracterizacin del modulador para optimizar la modulacin slo de fase, consiste
en utilizar toda la pantalla de modulador haciendo incidir un haz gaussiano expandido con el
propsito de ocupar la mayor rea posible del modulador y desplegar en la pantalla de ste,
patrones peridicos de rejillas con diferentes tonos de gris. Una vez caracterizado el modulador
en fase para los haces de salida, se codicaron diversos tipos de hologramas de haces adifrac-
cionales como los haces Bessel de orden cero y rdenes superiores, as como hologramas de
Bessel binarios (para generar haces Bessel tipo coseno en la dependencia azimutal). Primero
se generaron los haces Bessel (seccin anterior) debido que son un caso particular y porque
comparten algunas propiedades de COIP con los Haces Mathieu.
En nuestro caso, la codicacin es ms simple y eciente que los mtodos anteriores fuera
de eje y el sistema est basado en la tcnica para generar haces Bessel de gran eciencia [22]. Se
utiliz un SLM de reexin (Holoeye LC-R-2500). El sistema experimental para la generacin de
haces Mathieu corresponde a un sistema de ltrado espacial convencional 4), como se muestra
en la gura 5-1. Un haz lser continuo (` = 532 ::) con polarizacin lineal pasa a travs de
una placa retardadora de media onda (HWP) `,2 e incide sobre la pantalla de cristal lquido
del modulador SLM con un ngulo pequeo. El haz reejado es dirigido hacia un polarizador
lineal 1. El eje rpido de la placa retardadora y el eje de transmisin del polarizador lineal,
estn orientados para optimizar el haz de salida del modulador. En el experimento, las lentes
11 y 12 tienen distancias focales de 25 c: y el ltrado espacial se realiza con una apertura
anular.
15
Figura 5-1. Arreglo experimental. HWP: Placa retardadora de media onda; SLM: Modulador
espacial de luz; P: Polarizador; L: Lentes; CCD: Camara
Si se desea, con este mtodo es posible desplegar en cada mitad del SLM dos tipos de haces
distintos para generar dos haces de salida con propiedades diferentes, controlando los dos haces
de manera independiente[23].
Los hologramas de fase desplegados para la generacin de los haces Mathieu par, impar y
helicoidales de orden r estn denidos respectivamente, por las ecuaciones:
'
c
v
(n, ) = :q:fcc
v
(; )Jc
v
(n; )g, (5.1)
'
c
v
(n, ) = :q:f:c
v
(; )Jo
v
(n; )g, (5.2)
'
I
v
(n, ) = exp
i arctan
v
()cc
v
(; /
t
, )Jc
v
(n; /
t
, )
1
v
():c
v
(; /
t
, )Jo
v
(n; /
t
, )
. (5.3)
16
Donde :q:fg representa la funcin binaria "signo". Sus dos valores posibles estn mapeados
en valores de 0 y en la fase del modulador espacial de luz. Los coecientes
v
() y 1
v
() en
la ec.(5.3) estn denidos de acuerdo a la referencia [27].
El estudio numrico se realiz por medio de algoritmos de Fresnel. Se utiliz el paquete de
cmputo Matlab para codicar las funciones de Mathieu (Ecs. 5.1, 5.2, 5.3) en hologramas gen-
erados por computadora y se desplegaron en el modulador de luz. En nuestro anlisis numrico,
multiplicamos cada una de las funciones antes mencionadas por una amplitud Gaussiana de
radio n
0
, G
0
= exp(j
2
,n
2
0
) y esto constituye la condicin inicial en el plano . = 0. Adems
interviene como funcin de apodizacin, dando origen a un espectro de Fourier ms limpio en el
centro de los anillos del espectro de Fourier[23]. El campo se propaga a travs de un sistema 4)
formado por dos lentes de longitud focal )
1
y un ltro de rendija anular en el plano de Fourier.
17
Resultados
En las siguientes guras (6-1 y 6-2) se muestran los resultados de las simulaciones de propa-
gacin para un haz Mathieu par de orden r = 6 y parmetro de elipticidad = 18, en la segunda
simulacin se consider r = 6 y parmetro de elipticidad = 12 para un haz de tipo helicoidal.
En las subgrcas: (a)-(b) Espectro de Fourier antes y despus del ltro anular. (c)-(e) Dis-
tribucin transversal de intensidad del campo reconstrudo en diferentes planos. (f) Holograma
de fase. (g) Distribucin axial de intensidad a lo largo de la propagacin en el sistema ptico
4). Las lneas punteadas indican los planos correspondientes a los perles (c)-(e).
Figura 6-1. Simulacin de la propagacin de un haz Mathieu par de orden r = 6 y parmetro
de elipticidad = 18.
18
6
Figura 6-2. Simulacin de la propagacin de un haz Mathieu rotante de orden r = 6 y
parmetro de elipticidad = 12.
En ambos casos, la frecuencia espacial transversal es /
t
= 10 ::
1
. La distancia axial .
ha sido escalada con respecto a la distancia focal )
1
y las coordenadas transversales (r, j) con
respecto a la cintura del haz n
0
.
Adems con el propsito de facilitar la visualizacin de espectro de Fourier (1o), la longitud
de onda se considera lo sucientemente grande (` = 0,05 ::), lo cual signica que el espectro
no escalado es 100 veces ms pequeo para el caso de una longitud de onda de 500 ::. El
espectro de Fourier en ambos casos consiste en un anillo principal brillante debido a que la
mayor parte de la energa se encuentra concentrada ah y la estructura que lo rodea tiene
una energa mucho menor. El radio y grosor de la rendija anular que funciona como ltro
espacial se ajust de modo tal que permitiera la mayor transmisin de luz del anillo principal,
mientras que las contribuciones del resto son bloqueadas. Se ha demostrado que el espectro
de Fourier de cualquier haz de Helmholtz-Gauss est constituido por un solo anillo cuyo radio
medio en el dominio de frecuencias es /
t
. El anillo est asociado con el espectro de Fourier del
correspondiente COIP ideal y su grosor depende de la envolvente del perl de intensidad del
haz Gaussiano utilizado para generarlo.
19
La seleccin de parmetros para jar el radio y grosor del ltro anular son respectivamente:
1 =
/
t
`)
1
2
, (6.1)
1 =
2`)
1
n
0
. (6.2)
De esta manera se dise una montura para jar este ltro anular con el tamao calculado y
se realizaron pruebas de generacin de haces con diferentes parmetros fsicos y matemticos.
Se encontr que principalmente se debe tener control sobre la anchura del anillo que ltra en el
plano de Fourier y la distancia de propagacin invariante es directamente proporcional al radio
de la envolvente Gaussiana [23, 28].
En el caso de haces Mathieu-Gauss, se observa una caracterstica adicional debido al tamao
nito de la modulacin Gaussiana. Considerando la distribucin de intensidad del haz Mathieu-
Gauss helicoidal mostrado en la gura 6-2 (d), puede notarse que contiene un conjunto de r=6
vrtices con carga topolgica unitaria alineados a lo largo del eje mayor de la elipse [27]. De
la comparacin entre las guras (c) y (c), se observa que la lnea donde se encuentran los
vrtices muestra una ligera rotacin durante la propagacin. Este comportamiento fue predicho
y tambien observado en el caso de haces Mathieu helicoidales [12]. Sin embargo, los haces
Mathieu ideales no deben mostrar este comportamiento, as que una forma de reducir este
efecto es aumentando el tamao de la envolvente Gaussiana.
La eciencia de generacin de los campos pticos se calcul como el cociente de la potencia
restante despus de pasar por el ltro anular con respecto a la potencia entrante utilizando
los hologramas de fase mencionados y ltro anular. En la gura 6-3 se muestra una eciencia
mxima cercana al 80 % pero que depende altamente de los parametros jados. Por ejemplo,
considerando el orden del haz generado (a), se encontr una disminucin de eciencia de 77 %
con respecto a 28 % para r=5 y r=20, con =20, /
t
=10 ::
1
y n
0
=2,35 ::. Por otra parte,
en (/) se observ una disminucin de la eciencia como funcin del parmetro de elipticidad
, en el caso con r=3, /
t
=100 ::
1
y n
0
=2,35 ::, disminuyendo de 76 % para =1 hasta
63 % cuando =80. Es importante sealar que el valor de /
t
no tiene un efecto importante en
trminos de la eciencia como se muestra en (c), pero es importante en trminos de la resolucin
del SLM en cuanto a la estructura en pixeles. Un valor grande de /
t
implica menor detalle en
20
la imagen desplegada del modulador espacial de luz.
Finalmente se observ una dependencia importante con respecto al tamao de la cintura n
0
del haz Gaussiano (d), disminuyendo de 77 % cuando n
0
= 2,35 :: hasta un 30 % cuando n
0
era cinco veces ms grande. De acuerdo con este ltimo resultado, podemos inferir que la luz
difractada de la parte central del holograma tiene una mayor contribucin al anillo principal
del espectro de Fourier que la luz proveniente de la regin externa.
Figura 6-3. Valores de eciencia en funcin de los parmetros utilizados.
La siguiente imagen (gura 6-4) presenta algunos ejemplos de los haces Mathieu-Gauss gen-
erados experimentalmente (columna izquierda) y sus respectivos espectros de Fourier en campo
lejano (columna derecha) captados por una lente adicional ) = 5 c: slo para concentrar la luz
en la CCD. Las imgenes corresponden en orden descendente a los haces Mathieu par, impar y
helicoidal con r = 6, = 12.
21
Figura 6-4. Haces Mathieu-Gauss generados experimentalmente (columna izquierda) y sus
respectivos espectros de Fourier en campo lejano (columna derecha).
La gura 6-5 muestra dos conjuntos de imagenes experimentales mostrando la invariancia
en propagacin para el caso de dos haces Mathieu-Gauss. El primer caso (columna izquierda)
corresponde a un MG par con r = 3 y = 12, mientras la columna del lado derecho muestra un
modo MG impar de orden r = 6 y = 18. El plano transversal con la mejor reconstruccin es
el plano focal de la segunda lente, el cual permanece jo y aparece representado en las guras
como . = 0. La cintura del haz incidente tiene un valor de n
0
= 2,35 ::, dando como resultado
una distancia de propagacin invariante de aproximadamente 50 c:.
22
Figura 6-5. Prueba de invariancia de los campos generados a diferentes distancias.
Para caracterizar las propiedades topolgicas y completar el anlisis de los haces Mathieu-
Gauss helicoidales se utilizaron dos mtodos diferentes: ujo de energia con la prueba de la
navaja[29] y tambin interferencia directa con una onda plana.
En la gura 6-6 se presentan los resultados de la prueba de la navaja para una haz helicoidal
MG con r = 6 y = 12. La imagen (a) es una simulacin mostrando el borde de la navaja
obstruyendo el haz en el plano focal posterior de la segunda lente. En la gura 6-6 parte (/) se
23
muestran las simulaciones (izquierda) e imagenes experimentales (derecha) cuando la cmara
CCD est colocada a una distancia de 10 c: medidos a partir del borde de la navaja. Las
columnas superior e inferior corresponden a haces helicoidales rotando en direcciones opuestas.
Se observa que el patrn de difraccin se esparce de manera asimetrica en ambos casos, pero
la asimetra es opuesta. Esta es una indicacin de que el ujo de energa rotando en el caso de
haces con fase helicoidal [29].
Figura 6-6. (a) Simulacin mostrando el borde de la navaja obstruyendo el haz en el plano
focal posterior de la segunda lente. (/) Simulaciones (izquierda) e imagenes experimentales
(derecha).
Adicionalmente el efecto de ujo de energa se observa a lo largo del eje de propagacn como se
muestra en las siguinetes imgenes (Figura 6-7). Se considera en . = 0, el plano focal posterior
de la segunda lente en el sistema 4). Las distancias son en orden graco descendente 3, 5, 10 y
15 cm.
24
Figura 6-7. Prueba de la navaja para haz Mathieu rotante con r = 6 y = 15. Imagenes
experimentales(columna izquierda) Simulacin en Matlab (columna derecha).
En la gura 6-8 aparecen dos casos de haces Mathieu-Gauss helicoidales (a) (d) r = 6
y = 18 y (c) (/) r = 3 y = 12. La columna izquierda corresponde a las simulaciones y
la columna derecha a los resultados experimentales obtenidos. Los patrones de bifurcacin con
forma de "j" a lo largo de la linea focal de los dos haces se pueden observar claramente en las
imgenes. Cada bifurcacin es la huella que identica la interferencia entre un vrtice con carga
topolgica unitaria y una onda plana[30]. De esta forma, podemos observar que cada unos de los
dos haces Mathieu-Gauss helicoidales tiene un nmero de r vrtices individuales. El conjunto
de bifurcaciones en (c) (d) estn invertidas respecto a los que aparecen en (q) (/) porque
los dos haces estudiados rotan en direcciones opuestas, lo cual signica que las correspondientes
mscaras de fase tienen signos opuestos en el trmino de fase de la ecuacin (5.3). Adems,
25
existe un cambio de fase de entre anillos consecutivos del haz y se observa por el cambio
alternado entre negro y blanco en las franjas de interferencia.
Figura 6-8. Simulaciones numricas (columna izquierda) y resultados experimentales
(columna derecha) de la distribucin transversal de intensidad de haces Mathieu-Gauss y sus
patrones de interferencia con una onda plana (a) (d) r = 6 y = 18 y (c) (/) r = 3 y
= 12.
26
Conclusiones
Este trabajo present un informe de los resultados obtenidos del anlisis numrico y cod-
icacin de hologramas de fase para la generacin experimental de haces par, impar y heli-
coidales de cmpos pticos Mathieu-Gauss. La generacin de haces Mathieu-Gauss se realiz
desplegando un holograma de fase en un modulador espacial de luz, que codica directamente
la modulacin del haz que se desea generar. Los campos difractados por el holograma son pos-
teriormente ltrados utilizando una apertura anular cuyas dimensiones (radio y ancho) estn
determinadas y calculadas a partir del espectro de Fourier del haz que se desea obtener, la
reconstruccion en eje permite obtener haces con alta eciencia. De esta manera se consigui la
generacin de campos pticos invariantes en propagacin desde haces Bessel de orden cero y
ordenes superiores, hasta modos Mathieu-Gauss par e impar y helicoidales con vrtices internos,
orden y elipticidad arbitrarios.
Para el anlisis numrico, se realizaron simulaciones en Matlab por medio de algoritmos
de Fresnel (campo cercano) para comparar con las observaciones experimentales. Se realizaron
pruebas de eciencia, ltraje espacial, distancia de adifraccionalidad, estudio de fase con inter-
ferencia y ujo de energa con la prueba de la navaja. En este sentido, se obtuvo una validacin
satisfactoria de las caractersticas de los campos pticos invariantes en propagacin generados
usando mtodos hologrcos.
Se observ una propagacin invariante a lo largo de una distancia nita en acuerdo con
las simulaciones realizadas a partir de parametros jados experimentalmente. Debido a que
se utiliza un haz Gaussiano para generar los haces Mathieu-Gauss la distancia de propagacin
27
7
invariante es directamente proporcional al radio de la envolvente Gaussiana. Adems se encontr
que se debe tener control preciso sobre las dimensiones del anillo que ltra en el plano de Fourier.
Respecto a las propiedades topolgicas se analiz el comportamiento de fase al interferir los
haces Mathieu-Gauss generados con una onda plana, se observ el ujo de energa en sentido
horario y antihorario (dependiendo el tipo de haz) en el plano focal posterior de la segunda
lente del sistema 4) con la prueba de la navaja.
El mtodo presentado para la generacin de haces Mathieu-Gauss en eje es ms simple
y eciente que trabajos anteriores, por lo cual resulta una opcin apropiada y verstil para
experimentos que involucran aplicaciones de stos campos pticos.
28
Apndice A)
Descripcin matemtica y notacin
para campos pticos invariantes en
propagacon
En esta seccin se presenta la notacin y convenciones para describir a los campos pticos
invariantes en propagacin. Primero, las coordenadas espaciales r = (r, j, .) estan denidas
por:
(r, j, .) = (j cos ,, j sin,, .) = (r sin0 cos ,, r sin0 sin,, r cos 0),
donde j =
p
r
2
+j
2
, , = arctan(
a
j
) y r =
p
j
2
+.
2
.
Si escribimos a las coordenadas en el espacio de frecuencias K, obtenemos:
(1
a
, 1
j
, 1
:
) = (1
t
cos , 1
t
sin, 1
:
) = (1 sincos , 1 sinsin, 1 cos ),
donde 1
t
=
q
1
2
a
+1
2
j
, = arctan(
1
1j
) y 1 =
p
1
2
t
+1
2
:
=
.
c
.
Una frecuencia espacial arbitraria pero ja esta representada por las letras minusculas,
k = (/
a
, /
j
, /
:
). El ngulo polar jo en el espacio de coordenadas r y en el espacio de frecuencias
K esta denotado por 0
0
.
29
Si ahora expresamos el espectro angular de ondas planas de un campo de ondas en tres
dimensiones tenemos:
l(r) =
Z
1
~
l(K) exp[i K r] d
3
1, (8.1)
donde la integral se extiende sobre el espacio K y asumimos a exp(i.t) como la dependencia
temporal de l(r). Si el campo l satisface la ecuacin de Helmholtz:
[r
2
+/
2
]l(r) = 0, (8.2)
al sustituir la ec.(8.1), obtenemos:
Z
1
[1
2
+/
2
]
~
l(K) exp[i K r] d
3
1 = 0. (8.3)
Para que esta ecuacin no tenga solucin trivial, se debe cumplir que el primer trmino entre
corchetes sea igual a cero, es decir 1
2
= /
2
. Por lo tanto, el espectro de un campo monocromti-
co slo existe en la supercie de una esfera de radio / (vease la gura 2-1). sta esfera es conocida
en la literatura como esfera de McCutchen [34] o esfera de Ewald.
Considerando este resultado,
~
l(K) se escribe como
~
l(K) = )(K)c(1 /) = )(, )c(1 /), (8.4)
donde c es la funcin delta de Dirac, y son los ngulos polar y azimutal respectivamente
en coordenadas esfricas del espacio 1 y )(, ) es una funcin compleja y arbitraria que
representa el espectro del campo monocromtico en la esfera de McCutchen. Al reemplazar la
ecuacin (8.4) dentro de la ecuacin (8.1) se obtiene
l(r) =
Z
2
0
Z

0
)(, ) exp[iK r]d
2
1, (8.5)
donde ahora K = [/ sincos , / sinsin, / cos ] y d
2
1 = /
2
sindd corresponde
al elemento de supercie en la esfera. Un COIP propagndose en la direccin . 0 est
caracterizado por una frecuencia espacial longitudinal constante. En el espacio 1 este hecho
30
est representado por un plano 1
:
= /
:
que intersecta la esfera 1 = / en un anillo de radio
/
t
=
p
/
2
/
2
:
, llamado anillo de McCutchen. En la gura A-1 se representa que el anillo
McCutchen esta determinado por c(1 /)c(0
0
) y que dene un cono de vectores de onda
cuyo semi ngulo con respecto al eje . es
= 0
0
= tan
1
/
t
/
:
. (8.6)
Figura A-1. Vectores de onda que describen un campo adifraccional y anillo de McCutchen.
De esta manera, el espectro de un COIP monocromtico se expresa como
~
l(K) = q()c(1 /)c(0
0
), (8.7)
donde q() es una funcin compleja arbitraria. La amplitud y modulacin alrededor de este
anillo dene a cada COIP en particular.
Sustituyendo la ec.(8.7) en la ec.(8.1), realizando las integrales en coordenadas esfricas de
ambas funciones de Dirac
1
, el campo l se reduce a l(r) =
R
2
0
q() exp[i K r] d, donde
ahora K = [/
t
cos , /
t
sin, /
:
]. Con este resultado la expresin para un COIP monocromtico
nalmente es
l(r) =
Z
2
0
q() exp[i /
t
(rcos +j sin)] exp[i /
:
.]d, (8.8)
l(r) l
t
(r, j) exp[i /
:
.]. (8.9)
1
En tres dimensiones la delta de Dirac satisface

c(r)c()c(:)drdd: =
2
0
1
0
c(K)I
2
sin0dId0d,, vease
Ref.[38], Seccin 1.15.
31
La ecuacin (8.8) describe un campo ptico cuyo patron transversal l
t
(r, j) es solo una
funcin de las coordenadas transversales, satisfaciendo en efecto la condicin 2.1 que dene a
un COIP.
Adicionalmente, al sustituir el campo de la ecuacin (8.9) dentro de la ecuacin de Helmholtz
en tres dimensiones (8.2), se obtiene la ecuacin escalar de Helmholtz en dos dimensiones para
el campo transversal l
t
[r
2
+/
2
t
]l
t
= 0. (8.10)
Si una ecuacin diferencial parcial es invariante ante un grupo continuo de simetras es
posible encontrar un sistema coordenado en el cual la ecuacin es separable [33]. En particular,
la ecuacion de Helmholtz en tres dimensiones es separable en once sistemas de coordenadas
ortogonales [34]. De estos once sistemas coordenados cuatro son cilndricos, ya que la ecuacin
puede separarse en una parte transversal y longitudinal independiente. Estos cuatro sistemas
coordenados son el cartesiano (cilindrico rectangular), circular cilndrico, cilndrico parablico
y cilindrico elptico, los cuales tienen simetras de traslacin[35, 36, 37]. La separabilidad de la
ecuacin impone la condicin de que las soluciones de la parte transversal no dependen de la
coordenada longitudinal, como se expresa en la ecuacin (2.1). Esta condicin se satisface en las
soluciones para ondas planas, haces Bessel y de igual forma, en las soluciones de la ecuacin de
Helmholtz en cualquier otro sistema coordenado cilndrico. En todos estos casos, los modos que
son soluciones forman una base completa para construir cualquier campo ptico en el espacio
de tres dimensiones.
32
[1] E. Mathieu, Le mouvement vibratoire dune membrane de forme elliptique, J. Math.
Pures Appl. 13, 137 203 (1868).
[2] L. Ruby, Applications of the Mathieu equation,Am. J. Phys. 64, 39 44 (1996).
[3] N. W. McLachlan, Theory and Application of Mathieu Functions (Oxford Press, London,
1951)
[4] B. M. Rodrguez-Lara and R. Juregui, Dynamical constants for electromagnetic elds
with elliptic-cylindrical symmetry, Phys. Rev. 78 : 033813(2008).
[5] Yaroslav V. Kartashov, Alexey A. Egorov, Victor A. Vysloukh, and Lluis Torner,"Shaping
soliton properties in Mathieu lattices, Opt. Lett. 31, 238 240(2006).
[6] T. R. Carver, Mathieus functions and electrons in a periodic lattice, Am. J. Phys. 39,
1225 1231 (1971).
[7] R. C. Cross, Demonstration of wave propagation in a periodic structure, Am. J. Phys.
53, 563 567 (1985).
[8] G. L. Baker, J. A. Blackburn, and H. J. T. Smith, The quantum pendulum: Small and
large, Am. J. Phys. 70, 525 531 (2002).
[9] Carlos Lpez-Mariscal, Julio C. Gutirrez-Vega, Graham Milne and Kishan Dholakia, Or-
bital angular momentumtransfer in helical Mathieu beams, Optics Express 14, 41824187
(2006).
33
Referencias
[10] Fangwei Ye, Dumitru Mihalache, and Bambi Hu, Elliptic vortices in composite Mathieu
lattices, Phys. Rev. A 79, 053852(2009).
[11] J. C. Gutirrez-Vega, M. D. Iturbe-Castillo, G. A. Ramrez, E. Tepichn, R. M. Rodrguez-
Dagnino, S. Chvez-Cerda, and G. H. C. New, Experimental demonstration of optical
Mathieu beams, Opt. Commun. 195, 35 40(2001).
[12] S. Chvez-Cerda, M. J. Padgett, I. Allison, G.H.C. New, J. C. Gutirrez-Vega, A. T. ONeil,
I. MacVicar and J. Courtial, Holographic generation and orbital angular momentum of
high-order Mathieu beams, J. Opt. B: Quantum Semiclass. Opt.4, o52 o57(2002).
[13] K. Volke-Seplveda, V. Garcs-Chvez, S. Chvez-Cerda, J. Arlt and K. Dholakia, Orbital
angular momentum of a high-order Bessel light beam, J. Opt. B: Quantum Semiclass. Opt.
4, o82 o88(2002).
[14] H. He, M. E. J. Friese, N. R. Heckenberg, and H. Rubinsztein-Dunlop, Direct observation
of transfer of angular momentum to absorptive particles from a laser beam with a phase
singularity, Phys. Rev. Lett. 75, 826 829(1995).
[15] C. Lpez-Mariscal, M. A. Bandrs, and J. C. Gutirrez-Vega, Observation of the experi-
mental propagation properties of Helmholtz-Gauss beams, Opt. Eng. 45, 068001(2006).
[16] A. Vasara, J. Turunen and A. Friberg, Realization of general nondiracting beams with
computer-generated holograms, J. Opt. Soc. Am. A 6, 1748 1754(1989).
[17] J. Durnin, J.J. Miceli, and J.H. Eberly, "Diraction-free beams,"Phys.Rev.Lett. 58, 1499
1501 (1987).
[18] J.Durnin, .
Ex
act solutions for non diracting beams. I. The scalar theory", J. Opt. Soc.
Am. A 4, 651 (1987).
[19] J. Artl, K. Dholakia, "Generation of high-order Bessel beams by use of an axicon,.
O
pt.
Comm. 177, 297 301 (2000).
[20] D. McGloin and K. Dholakia, "Bessel Beams: diraction in a new light,ontemporary
Physics, 46 (1), 15 28 (2005).
34
[21] J. Turunen, A. Vasara, A.T. Friberg, "Holographic generation of diraction-free
beams,.
A
ppl. Opt. 27, 3959 3961 (1988).
[22] V. Arrizn, D. Snchez-de-la-Llave, U. Ruiz, and G. Mndez, Ecient generation of
an arbitrary nondiracting Bessel beam employing its phase modulation, Opt. Lett.
34, 1456 1458 (2009).
[23] I. Ricardez-Vargas, K. Volke-Seplveda, Experimental generation and dynamical recon-
guration of dierent circular optical lattices for applications in atom trapping, J. Opt.
Soc. Am. B 27, 948 955(2010).
[24] J. C. Gutirrez-Vega, M. D. Iturbe-Castillo, and S. Chvez-Cerda, Alternative formulation
for invariant optical elds: Mathieu beams, Opt. Lett. 25, 1493 1495(2000).
[25] P. M. Morse and H. Feshbach, Methods of theoretical physics, p.657. (McGraw-Hill, 1953).
[26] Rijuparna Chakraborty and Ajay Ghosh, "Generation of an elliptic hollow beam using
Mathieu and Bessel functions,"J. Opt. Soc. Am. A 23, (2006)
[27] S. Chvez-Cerda, J. C. Gutirrez-Vega and G.H.C. New, Elliptic vortices of electromag-
netic wave elds, Opt. Lett. 26, 1803 1805 (2001).
[28] J. C. Gutirrez-Vega and M. A. Bandres, HelmholtzGauss waves, J. Opt. Soc. Am. A
22, 289 298(2005).
[29] J. Arlt, Handedness and azimuthal energy ow of optical vortex beams, Journal of Mod.
Opt. 50, 1573 1580(2003).
[30] G. Indebetouw, Nondiracting optical elds: some remarks on their analysis and synthe-
sis, J. Opt. Soc. Am. A 6, 150 152(1989).
[31] J. Turunen, A. T. Friberg, Self-imaging and propagation-invariance in electromagnetic
elds, Pure Appl. Opt. 2, 51 60(1993).
[32] F. Gori, G. Guattari and C. Padovani, Bessel-Gauss beams, Opt. Commun. 64, 491
495(1987).
35
[33] E.G. Kalnins and W. Miller, Jr., "Lie theory and separation of variables. Orthogonal R-
separable coordinate sistems for the wave equation c
tt
2
c = 0,"J. Math. Phys. 17(3),
pp. 330 355, Mar. 1976.
[34] K.P. Volke Seplveda, "Light beams with angular momentum and applications in optical
tweezers", Ph.D. Thesis, INAOE, Mxico (2003).
[35] M. A. Bandres, J. C. Gutirrez-Vega, and S. Chvez-Cerda, Parabolic nondiracting
optical wave elds, Opt. Lett. 29, 44 46 (2004).
[36] Z. Bouchal and M. Olivik, Non-diractive vector Bessel beams, J. Mod. Opt. 42, 155566
(1995).
[37] K. Volke-Seplveda and E. Ley-Koo, General construction and connections of vector prop-
agation invariant optical elds: TE and TM modes and polarization states, J. Opt. A:
Pure Appl. Opt. 8, 867 877(2006).
[38] G.B. Arfken and H.J. Weber, Mathematical Methods for Physicists Fourth Edition (Aca-
demic Press, U.S.A., 1995).
36

Mathieu Reporte Final

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Mathieu Reporte Final

Încărcat de

Drepturi de autor:

Formate disponibile

Anlisis experimental y numrico de

haces Mathieu-Gauss generados con

, con respecto al eje ..

S-ar putea să vă placă și