Captulo 3

Mtodo de Diferencias Finitas

en el Dominio del Tiempo
(FDTD)
El mtodo de Diferencias Finitas en el Dominio del Tiempo (FDTD), es una poderosa
teora de simulacin creada para resolver las ecuaciones de Maxwell
[20]
. Las
ecuaciones a resolver deben ser reemplazadas por un sistema de ecuaciones expresadas
en diferencias nitas donde se deben elegir las componentes a evaluar de manera con-
veniente. La solucin a este sistema de ecuaciones satisface condiciones de frontera las
cuales involucran capas ideales (PML).
3.1. Acerca del mtodo FDTD
Este mtodo computacional se ha popularizado debido a su gran poder y exibilidad
como herramienta para modelar problemas de electrodinmica. Algunas de las grandes
ventajas del FDTD son las siguientes: poder modelar geometras arbitrarias, incluir
diferentes tipos de fuentes con facilidad, su programacin es relativamente simple y sus
clculos son precisos.
Por otra parte, el algoritmo FDTD tiene varias ventajas sobre otros esquemas de
diferencias nitas. Primero, el mtodo FDTD utiliza diferencias espacio-temporales cen-
28
3.1. Acerca del mtodo FDTD 29
tradas para aproximar las derivadas, lo que proporciona una precisin de segundo orden
en dichas derivadas espacio-temporales comparadas con otros esquemas de primer or-
den. Y segundo, no hay necesidad de un tratamiento muy especial de los lmites del
problema
[21]
.
Figura 3.1.1. Algoritmo del mtodo FDTD.
La propagacin de los campos electromagnticos en medios dispersivos presenta com-
portamientos complicados por lo que se debe implementar mtodos numricos precisos
para estudiar diferentes situaciones donde existe interaccin de luz con materiales de-
pendientes de la frecuencia.
Originalmente, el FDTD fue propuesto como una tcnica numrica para resolver las
ecuaciones de Maxwell en problemas lineales, sin embargo ahora se sabe que puede
emplearse para resolver problemas con geometras complicadas, interaccin de luz con
medios dispersivos e incluso fsica no lineal.
[22]
30 3. Diferencias Finitas en el Dominio del Tiempo
3.2. Estabilidad del mtodo
Como es bien sabido
[23]
, una onda electromagntica que se propaga en el vaco no puede
ir ms rpido que la velocidad de la luz. Entonces para lograr su propagacin en una
unidad espacial, con direccin paralela a los ejes, se requiere un tiempo mnimo de
1t = 1r,c.
Sin embargo, cuando queremos una simulacin en 2D, como en nuestro caso, debemos
considerar tambin la propagacin en direccin diagonal, por lo cual nos lleva a que el
tiempo requerido sea 1t = 1r,
p
2c. Esto puede generalizarse con la llamada Condicin
de Courant, donde : es la dimensin de la simulacin:
1t
1r
p
:c
. (3.2.1)
Dicha condicin arma que para una solucin numrica, dada una discretizacin es-
pacial, no debe tomarse un intervalo temporal ms grande que una cierta cantidad
computable. En otras palabras, el paso temporal debe mantenerse lo sucientemente
pequeo como para que la onda, en nuestro caso, tenga tiempo suciente para propa-
garse a travs de la discretizacin espacial. Por facilidad, deniremos 1t como
1t =
1r
2c
con lo que lograremos que
1t
1r
c =
1r, (2c)
1r
c
y por tanto
1t
1r
c =
1
2
. (3.2.2)
3.3. Ejemplo de FDTD 31
3.3. Ejemplo de FDTD
Para ejemplicar la efectividad del mtodo de Diferencias Finitas en el Dominio del
Tiempo, presentamos a continuacin un resultado ampliamente conocido: la curva del
coeciente de reexin 1 para una pelcula delgada de metal con vaco a los lados,
modelada con Drude.
Aqu, hemos calculado la reexin para la pelcula delgada de manera exacta con los
coecientes de Fresnel y calculado el mismo resultado empleando el mtodo FDTD.
En esta prueba, hemos denido un espesor para el metal de 500 nm. Asimismo denimos
la frecuencia de plasma y la absorcin, para el modelo de Drude, como .
p
= 5.887210
15
y = .
p
/20.
Figura 3.3.1. Reexin de una pelcula delgada.
Comparacin de la curva exacta y la curva FDTD.
32 3. Diferencias Finitas en el Dominio del Tiempo
3.4. Capa de Acoplamiento Perfecto (PML)
Cuando se hace una simulacin con FDTD existe un problema cuando el campo llega
a la orilla del espacio de cmputo: se reeja (Fig. 3.4.1). Esta reexin no deseada
interere con los resultados, por lo que es necesario implementar una herramienta que
elimine dicha reexin.
Para solucionar este problema, primero es necesario comprender que el tamao del
rea simulada por el FDTD es limitada por nuestros recursos computacionales. En
el presente caso, tenemos una simulacin en dos dimensiones y nuestro cdigo fuente
contiene matrices bidimensionales para el valor de todos los campos (H
z
, 1
x
, 1
y
, 1
x
,
1
y
), as como algunas otras matrices que empleamos.
Figura 3.4.1. Esquema de un problema de electrodinmica,
donde algunas ondas escapan al innito.
Una de las herramientas ms utilizadas para solucionar este problema (Fig. 3.4.2) es el
mtodo llamado Perfectly Matched Layer, PML
[24]
. A continuacin explicaremos breve-
mente las condiciones y requisitos para emplear PML.
1
1
Consulte el Apndice D, pg. 160, para mayor explicacin.
3.5. Condiciones y Denicin de las PML 33
Figura 3.4.2. Esquema del mismo problema,
con el espacio computacional truncado por las PML.
3.5. Condiciones y Denicin de las PML
El mtodo PML y sus variantes posteriores, consisten bsicamente en denir una capa
cticia que tenga igual impedancia que su capa contigua para toda frecuencia y para
todo ngulo. Esta capa es capaz de absorber todo lo que llegue a ella, evitando as la
reexin.
Para lograr estas condiciones se introducen absorcin y constantes cticias que simulan
respuesta anisotrpica en y j. Hay dos condiciones
[25]
que se requieren para una PML:
(c) que la impedancia sea constante:
j
0
= j
m
=
_
j
3
Fx

3
Fx
= 1
(/) y que en la direccin perpendicular a la frontera, la constante dielctrica relativa y
la permeabilidad relativa deben ser la inversa de ellas en las otras direcciones. Es decir,
si vamos perpendiculares en la direccin r (anlogamente si vamos a otra direccin),
34 3. Diferencias Finitas en el Dominio del Tiempo
entonces

y
=
1

x
,
z
=
1

x
y tambin
j
y
=
1
j
x
, j
z
=
1
j
x
.
Suponiendo que estas cantidades cticias son complejas, de la forma

3
Fx
:=
Fm
0
o
Dm
i.
0
para : = r
j
3
Fx
:= j
Fm
0
o
Hm
i.j
0
para : = r
la siguiente seleccin de parmetros satisface las condiciones impuestas por el inciso (/)

Fm
= j
Fm
= 1
o
Dm

0
=
o
Hm
j
0
=
o
D

0
.
De donde
j
0
= j
m
=
_
j
3
Fx

3
Fx
=

_
1 0
(x)
i!"

1 0
(x)
i!"

= 1
lo que satisface la condicin (c). De las ecuaciones de Maxwell, y tomando la pola-
rizacin TM con propagacin sobre el plano r- se tiene la Ec. (D.1.9):
2
0i.1
z
_
1 0
o
D
(r)
i.
0
_
=
J1
z
Jt
+
o
D
(r)

0
1
z
. (3.5.1)
2
Consulte el Apndice D, pg. 160, para ver desarrollo algebraico.
3.5. Condiciones y Denicin de las PML 35
Tomando la aproximacin en diferencias nitas, se tiene que (3.5.1) queda como
J1
z
Jt
+
o
D
(r)

0
1
z
'
1
n+

z
(i. ,) 01
n0

z
(i. ,)
1t
+
o
D
(i)

0
1
z
n+

(i. ,) + 1
n0

z
(i. ,)
2
= 1
n+

z
(i. ,)
1
1t
_
1 +
o
D
(i)
2
0
1t
_
01
n0

z
(i. ,)
1
1t
_
1 0
o
D
(i)
2
0
1t
_
que al unir con las derivadas espaciales y al utilizar la Ec. (3.2.2):
1t
1r
c =
1r, (2c)
1r
c =
1
2
.
obtenemos
1
n+

z
(i. ,) = qi3 (i) 1
n0

z
(i. ,) + qi2 (i)
_
1
2
_
_
H
n
y
_
i +
1
2
. ,
_
0H
n
y
_
i 0
1
2
. ,
_
0H
n
x
_
i. , +
1
2
_
0H
n
x
_
i. , +
1
2
_
_
.
Anlogamente, para H
y
, en un procedimiento casi idntico, se obtiene
H
n+1
y
_
i +
1
2
. ,
_
= ,i3
_
i +
1
2
_
H
n
y
_
i +
1
2
. ,
_
+ ,i2
_
i +
1
2
_ _
1
2
_
_
1
n+

z
_
i +
1
2
. ,
_
01
n+

z
(i. ,)
_
donde los nuevos parmetros qi2 y qi3 estn dados por
qi2 (i) =
1
1 +

D
(i) 1t
2"

qi3 (i) =
1 0

D
(i) 1t
2"

1 +

D
(i) 1t
2"

36 3. Diferencias Finitas en el Dominio del Tiempo

y
,i2
_
i +
1
2
_
=
1
1 +

D(i+

) 1t
2"

,i3 (i) =
1 0

D(i+

) 1t
2"

1 +

D(i+

) 1t
2"

.
Estas cuatro funciones qi2, qi3, ,i2 y ,i3 son los parmetros de las capas articiales
PML cuya funcin es hacer absorber los campos con los que est en contacto. Fuera del
espacio de las PML, los parmetros son la unidad.