todo de las Diferencias Finitas y su Me n a Problemas de Electrosta tica Aplicacio

A. Zozaya S. 7 de agosto de 2004

Resumen En este documento se explora el m etodo de las diferencias nitas y su aplicaci on a problemas de electrost atica con valores en la frontera en dominios rectangulares bidimensionales.

Indice
Indice 1 1. Introducci on 2 2. Tipos de ecuaciones diferenciales
2.1. Condiciones iniciales y de borde, 3.

2.1.1. Forma de las condiciones iniciales . . . . . . . . . . . . . . . . . . . . . . 3 2.1.2. Forma de las condiciones de contorno . . . . . . . . . . . . . . . . . . . . 3 3. El problema 3
3.1. Muestreo de la regi on: construcci on de la malla de puntos, 4.3.2. Muestreo temporal, 4.3.3. Aproximaci on de los diferenciales por diferencias nitas y de las derivadas por cocientes de diferencias nitas, 5.

4. Aplicaci on del m etodo FD para el calculo del potencial y el campo el ectrico en dominios rectangulares 7
4.1. Problema de Dirichlet, 7.

A. Secciones c onicas 11 B. Series de Taylor 13 Referencias 15

1.

Introducci on

El m etodo de las diferencias nitas (abreviado DF en castellano) consiste en aproximar las ecuaciones diferenciales por ecuaciones en diferencias obtenidas usualmente a partir del truncamiento de series de Taylor. El conjunto de ecuaciones en diferencias resultante constituye un sistema de ecuaciones lineales, el cual se puede resolver num ericamente en un computador obteniendo una soluci on aproximada del problema original. Si el problema carece de dependencia temporal el m etodo se denomina simplemente m etodo de las diferencias nitas (abreviado en ingl es FD Finite Dierence ). Si el problema incluye la variable temporal se denomina m etodo de las diferencias nitas en el dominio temporal (abreviado en ingl es FDTD Finite Dierence Time Domain ). Aunque en las secciones iniciales de este art culo nos referimos a ambos, nos ocuparemos principalmente del m etodo FD en el resto del documento.

2.

Tipos de ecuaciones diferenciales

En este documento se revisar an los aspectos m as relevantes del m etodo de las diferencias nitas relativo a ecuaciones diferenciales de segundo orden en derivadas parciales. Estas ecuaciones pertenecen a la familia de ecuaciones diferenciales cuadr aticas de la forma:
x t

A B B C
forma cuadr atica

x t

u+

D E

x t

u + Fu = G

(1)

donde A, B , C , D, E , F y G son funciones de x (espacio) y de t (tiempo), las cuales son continuas en cierto subespacio R en el dominio (x, t). A un cuando la ecuaci on (1) representa un problema unidimensional en el espacio, las conclusiones que iremos construyendo podr an extenderse al caso de problemas tridimensionales en el espacio. Dependiendo del signo del determinante de la matriz cuadrada de la forma cuadr atica de la ecuaci on (1) se obtiene una de las siguientes categor as de ecuaciones diferenciales: on diferencial el ptica; > 0, ecuaci A B 2 = 0, ecuaci on diferencial parab olica; = AC B (2) B C < 0, ecuaci on diferencial hiperb olica. Esta denominaci on se debe a la similitud de la ecuaci on (1) con la ecuaci on general de las secciones c onicas (ver ap endice A en la p agina 11). Una forma expl cita de la ecuaci on (1) se obtiene resolviendo el producto de matrices: A 2u 2u u u 2u + 2 B + C +D +E + Fu = G 2 2 x xt t x t 2 (3)

1. Ejemplo de ecuaci on diferencial el ptica: la ecuaci on de Poisson 2 u = f 2. Ejemplo de ecuaci on diferencial parab olica: 3. Ejemplo de ecuaci on diferencial hiperb olica: la ecuaci on de onda unidimensional 2u 1 2u =0 x2 c2 t2 (5) (4)

2.1.

Condiciones iniciales y de borde

En un problema t pico se cuenta con cierta regi on espacial y su contorno y ciertas condiciones de borde e iniciales. 2.1.1. Forma de las condiciones iniciales

Las condiciones iniciales se reeren a conocer en t = 0 el valor de la funci on incognita u para todos los puntos de la regi on espacial : u(x, 0) = u0 (x), 2.1.2. x (6)

Forma de las condiciones de contorno

Las condiciones de borde se reeren a conocer para todos los instantes de tiempo el valor de u, o de su derivada espacial u/x1 , o de una combinaci on de ambas en la frontera de : b = 0, Condiciones de Dirichlet; u(x, t) a = 0, Condiciones de Neumann; (7) au(x, t) + b = c, x , t, x c = 0, Condiciones de Robin.

3.

El problema

La resoluci on de un problema denido por la ecuaci on (3) y el conjunto de condiciones iniciales (6) y de borde (7) consiste en hallar una funci on u = u(x, t) que sea continua en + , que sea diferenciable dos veces en , que satisfaga en la ecuaci on (3), y que cumpla con las condiciones iniciales (6) y de borde (7). El primer paso del m etodo de las diferencias nitas consiste en seleccionar (muestrear) un conjunto de puntos discretos (malla de puntos) de la regi on , un subdominio temporal de
Para el caso tridimensional se debe conocer la derivada respecto de la normal a la supercie fronteriza: u an |
1

observaci on y un intervalo t de muestreo temporal. El segundo paso consiste en aproximar la ecuaci on diferencial mediante una ecuaci on en diferencias. El tercer paso comprende evaluar la ecuaci on en diferencias en cada uno de los puntos de la malla y del subdominio temporal seleccionado. Finalmente, se procede a resolver num ericamente el sistema de ecuaciones lineales que resulta.

3.1.

Muestreo de la regi on: construcci on de la malla de puntos

El conjunto de puntos discretos {xi } se puede construir seleccionando una separaci on espacial x constan + te, lo cual no es restrictivo, de modo que xi = ix, para el caso unidimensional (ver gura 1). En la gura 2(a) se extiende el razonamiento anterior al caso bidimensional. Figura 1: Dominio espacial unidimensio- Para el caso tridimensional ver gura 2(b) se escoge un nal paso para cada direcci on, de forma que:

u(xi , yj , zk ) = u(ix, j y, k z )

(8)

+
(a)

k +1

i 1

+
(b)

Domino bidimensional.

Dominio tridimensional.

Figura 2: Dominios espaciales de orden superior.

3.2.

Muestreo temporal
u(xi , yj , zk , tn ) = u(ix, j y, k z, nn) (9) (10)

Si discretizamos el tiempo tomando un intervalo de muestreo t, resulta: Para ahorrar escritura se suele emplear la siguiente notaci on [1]: un (i, j, k ) u(ix, j y, k z, nn) 4

3.3.

Aproximaci on de los diferenciales por diferencias nitas y de las derivadas por cocientes de diferencias nitas

Tomando como referencia la gura 1, poniendo x = h, y asumiendo que la funci on u(x) posee derivadas de cualquier orden, es posible expandir u(xi+1 ) u(xi + h) y u(xi1 ) u(xi h) en sendas series de Taylor a partir del valor de la funci on u(x) y sus derivadas en xi (ver ap endice B en la p agina 13): du u(xi + h) =u(xi ) + h dx du dx h2 d2 u + 2 dx2 h2 d2 u 2 dx2 h2 d3 u + 6 dx3 h2 d3 u 6 dx3

+
xi n=4

xi

xi

hn dn u n! dxn
O(h4 )

(11)
xi

u(xi h) =u(xi ) h

+
xi

xi

+
xi n=4

(1)n

hn dn u n! dxn

(12)
xi

O(h4 )

donde O(hn ) es la notaci on empleada para indicar el orden del error que se comete cuando el valor deseado, por ejemplo u(xi + h) en la ecuaci on (11), es aproximado por una cantidad nita de elementos de la serie suprimiendo los t erminos a partir de n inclusive, asumiendo que h es muy peque no (?). La potencia m as peque na de h de los t erminos suprimidos determina el orden del error porque los t erminos siguientes son despreciables bajo la premisa de que h 1. Si llamamos e(h) al error, siendo el orden del error de O(hn ), se puede demostrar que: hn dn u e(h) = n! dxn donde [x, x + h] para h > 0 ecuaci on (11) o [x |h|, x] para h < 0 ecuaci on (12) [2]. Una expresi on m as compacta de las ecuaciones (11) y (12) se obtiene poniendo xi = x, du dn u (n) u y dxn u : dx u(x + h) =u(x) + hu (x) + hn (n) h2 h2 u (x) + u (x) + u (x) 2 6 n ! n=4

h2 h2 =u(x) + hu (x) + u (x) + u (x) + O(h4 ) 2 6 h2 h2 hn u(x h) =u(x) hu (x) + u (x) u (x) + (1)n u(n) (x) 2 6 n! n=4 h2 h2 =u(x) hu (x) + u (x) u (x) + O(h4 ) 2 6 5

(13)

(14)

De las ecuaciones (13), (14) y de su combinaci on obtenemos las aproximaciones de primero y segundo orden siguientes, respectivamente, para la primera derivada de la funci on u(x): u ( x) = = u(x + h) u(x) hn1 (n) u (x) h n ! n=2 (15)

u(x + h) u(x) + O(h) h u(x + h) u(x) h u(x) u(x h) hn1 (n) u (x) = + (1)n u (x) h n ! n=2 u(x) u(x h) + O(h) h u(x) u(x h) h = u(x + h) u(x h) 2h hn1 (n) u (x) n!

(16)

u ( x) =

n=3 n impar

u(x + h) u(x h) + O(h2 ) 2h u(x + h) u(x h) 2h =

(17)

Las ecuaciones (15), (16) y (17) se conocen como f ormulas de aproximaci on en diferencias hacia adelante, hacia atr as y central de la primera derivada de u(x), respectivamente. De modo an alogo, combinando apropiadamente las ecuaciones (13) y (14), se obtiene una aproximaci on en diferencias centradas de la segunda derivada de u(x): u(x + h) u(x h) + 2u(x) h2 2hn2 (n) u (x) n! (18)

u (x) =

n=4 n par

u(x + h) u(x h) + 2u(x) + O(h2 ) h2 u(x + h) u(x h) + 2u(x) h2 =

El desarrollo en serie de Taylor se extiende en modo natural a funciones de varias variables. Sea, por ejemplo, u = u(x, y ), escribiremos: h2 2 u 3 u(x + h, y ) = u(x, y ) + h u + + O ( h ) x (x,y ) 2 x2 (x,y ) u h2 2 u 3 u(x h, y ) = u(x, y ) h x (x,y) + 2 x2 + O(h ) (x,y ) (19) 2 2u +h + O(h3 ) u(x, y + h) = u(x, y ) + h u y 2 y 2 (x,y ) (x,y ) h2 2 u u 3 + u(x, y h) = u(x, y ) h + O(h )
y (x,y ) 2 y 2 (x,y )

A partir del conjunto de ecuaciones (19) podemos deducir una aproximaci on en diferencias de segundo orden para el laplaciano de u(x, y ). En primer lugar sumamos todas las ecuaciones: u(x + h, y ) + u(x h, y ) + u(x, y + h) + u(x, y h) = 2u 4u(x, y ) + h2 x2 y luego despejamos 2 u 2u 2u + x2 y 2
2u x2

+ h2
(x,y )

2u y 2

+ O(h4 ) (20)
(x,y )

2u : y 2

=
(x,y )

u(x + h, y ) + u(x h, y ) + u(x, y + h) + u(x, y h) 4u(x, y ) + O(h2 ) h2 u(x + h, y ) + u(x h, y ) + u(x, y + h) + u(x, y h) 4u(x, y ) h2

(21)

4.

Aplicaci on del m etodo FD para el calculo del potencial y el campo el ectrico en dominios rectangulares

En esta secci on procederemos a aplicar el m etodo de la diferencias nitas para calcular el potencial V (x, y ) y el campo el ectrico E (x, y ) en dominios rectangulares.

4.1.

Problema de Dirichlet

Sea dado el siguiente problema con valores en la frontera de Dirichlet ver gura 3(a): 2V 2V + =0 x2 y 2 (22) V (x, 0) = V1 V (a, y ) = V2 V (x, b) = V2 V (0, y ) = V4 7

y
b

V3

V4 2V = 0 V2
0

V1

     V   V V      x V a 0
Discretizaci on de la regi on.
(b)

Problema de contorno de Dirichlet.

(a)

Figura 3: Problema de contorno de Dirichlet y discretizaci on del dominio. Los representan puntos interiores al dominio; las puntos sobre la frontera.

cuya soluci on anal tica est a disponible en varios libros [3, 4]. Para ilustrar la aplicaci on del m etodo tomamos un n umero limitado de puntos dentro del dominio presentado en la gura 3(a) y los ordenamos de forma natural [5] como se muestra en la gura 3(b); luego evaluamos en tales puntos el laplaciano 2 V aproximado por la ecuaci on (21): 2 V obteniendo:
i,j

Vi+1,j + Vi1,j + Vi,j +1 + Vi,j 1 4Vi,j h2

1 4 1 4 1 4 1 4

(23)

V1,1 V1,2 V2,1 V2,2

(V2,1 + V1,2 + V1 + V4 ) (V1,1 + V2,2 + V1 + V2 ) (V1,1 + V2,2 + V3 + V4 ) (V2,1 + V1,2 + V2 + V3 ) = = = =

1 4 1 4 1 4 1 4

= = = =

0 0 0 0

V1,1 1 V 1 V 4 1,2 4 2,1 1 1 4 V1,1 + V1,2 4 V2,2 1 V + V2,1 1 V 4 1,1 4 2,2 1 1 4 V1,2 4 V2,1 + V2,2 que en forma matricial asume el aspecto: 1 1 1 4 4 0 1 1 0 1 4 4 1 1 0 1 4 4 1 1 1 0 4 4

(V1 + V4 ) (V1 + V2 ) (V3 + V4 ) (V2 + V3 ) V1 + V4 V1 + V2 V3 + V4 V2 + V3

V1,1 V1,2 = 1 V2,1 4 V2,2

(24)

y resolvemos: 1 1 V1,1 1 1 0 4 4 1 V1,2 1 1 1 0 4 = 4 1 V2,1 4 1 0 1 4 4 1 1 0 4 4 1 V2,2

20

V1 + V4 V1 + V2 V3 + V4 V2 + V3

(25)

9 0.307

18
0.3 9 07

60

83

16

0.

1.2092

1.5096

12
0.3079

10

6
0.3

2.1105

1.
07 9

20

92

0.6

083

0.9

2 2 4 6 8 10 x 12

08

76
18

0.307 9 14

16

2.4109

14

0.9 08

76

1.8

833 90876 0.60 0. 6 92 09 20 1.5 1.

10
2.41 09 1 105 .810 2.1 1

1
20

1.8101

Figura 4: Curvas equipotenciales y l neas de fuerza de E estimadas con el m etodo FD usando 20 puntos con V1 = 0 , V2 = 3 , V3 = 0 , y V4 = 0 .

Obviamente cuatro puntos no son sucientes para obtener una buena aproximaci on Vi,j = V (xi , yj ) de la soluci on V (x, y ). Con la ayuda de MATLAB [6] hemos estimado V (x, y ) y E (x, y ) usando 20 puntos para V1 = 0, V2 = 3, V3 = 0, y V4 = 0 ver guras 4 y 5(a). En las guras 5(b) y 6 se ilustran los resultados obtenidos usando 40 puntos con V1 = 1, V2 = 2, V3 = 0, y V4 = 1.

833 0.60

0.9 08 76
1. 50 96

3
1

2.5
0.5

2
0

1.5
0.5

1
1

0.5
1.5

0 25 20 15 10 5 y 0 0 10 5 x 15 20 25

50 40 30 10 20 30 40 50 x 0 10 y 20

2 0

(a) V (x, y ) estimado usando 20 puntos y V1 = 0, V2 = 3 , V3 = 0 , y V4 = 0 .

V (x, y ) estimado usando 40 puntos y V1 = 1, V 2 = 2, V 3 = 0 , y V 4 = 1 .

(b)

Figura 5: Aplicaci on del m etodo de las diferencias nitas al problema (22).

40

0 .02 71 55

4238 0.3

30

62

271 55

0.60331

0.288 08

15

55

71

0.2 88 08

.0 2

.3 0

42

38

.6

57

10

0.97

62

285

1.2881

.34 23 8

7 0.65
5

62
10 15 20 x 25 30

1 .2

1.6033
88 1

20

0.0

0.

657

0.

25

972

85

35

1 .28

.3

42

1.6
40

.6 0
38

Figura 6: Curvas equipotenciales y l neas de fuerza de E estimadas con el m etodo FD usando 40 puntos con V1 = 1, V2 = 2, V3 = 0, y V4 = 1.

10

81

033

35

57

62

8 72 .9 0

0.6 03 31
28 0. 80 8

A.

Secciones c onicas
A B B C
2

La ecuaci on general de las curvas c onicas es: x y x y + D E

2

x y

+F =0

(26)

Ax + 2Bxy + Cy + Dx + Ey + F = 0 Bajo una apropiada rotaci on podemos obtener una nueva ecuaci on: A x2 + 2B xy + C y 2 + D x + E y + F = 0 y en particular forzar B = 0: A x2 + C y 2 + D x + E y + F = 0 Completando el cuadrado2 [7] podemos reescribir la ecuaci on (28) de la forma: A x2 + C y 2 + D x + E y + F = 0 A x+ D 2A
2

(27)

(28)

F D2 2 4A

+C

y+

E 2C

F E2 2 4C
2 2

=0

(29)

Ax +C y =H donde x = x + D /2A , y = y + E /2C , y H = D 2 /4A + E 2 4C F .

Cuadro 1: Formas est andares de las secciones c onicas y su comparaci on con la ecuaci on A x + C y
2 2

= H.

elipse hip erbola par abola

x2 2

y + 2 = 1 2 y y2 x2 2 = 1 o 2 + 2 = 1 x2 = y o y 2 = x

x2 2

H H 2 = A , 2 = C 2 2 > 0 A C > 0 H H 2 = A , 2 = C 2 2 < 0 A C < 0 C = D = F = 0, = E 2 2 = 0 A C = 0 A o A = E = F = 0, = D C

De la comparaci on de la ecuaci on (29) con las formas est andares de las secciones c onicas onica representada [8] que se muestran en el cuadro 1, podemos concluir acerca del tipo de c por la mencionada ecuaci on mediante el siguiente criterio [9]:
2

ax2 + bx + c = a x +

b 2a

+ c

b2 4a

= a(x + B )2 + C donde: B = b/2a y C = c b2 /4a.

11

AC >0 AC <0 AC =0

elipse hip erbola par abola

Ahora bien, ya que el determinante3 de la matriz de la ecuaci on (26) es invariante ante cualquier rotaci on del sistema de referencia [9]: A A B = B B C B C

AC B 2 = A C B 2 AC B 2 = A C podemos extender el criterio anterior a la ecuaci on m as general (26): si A C = AC B 2 > 0 la ecuaci on 26 representa una elipse 2 si A C = AC B < 0 la ecuaci on 26 representa una hip erbola abola si A C = AC B 2 = 0 la ecuaci on 26 representa una par

(30)

El negativo de este determinante se conoce como discriminante.

12

B.

Series de Taylor

Dada la funci on f = f (x) de la variable x la cual posee derivadas de cualquier orden en cierto intervalo [a, b], para todo x, x0 [a, b], se cumple que:
x

f (x) dx = f (x) f (x0 )

x0 x x0 x x0 x x0 x

(31)

f (x) (dx) = =
x0

f (x)|x0 dx [f (x) f (x0 )] dx (32)

= f (x) f (x0 ) f (x0 )(x x0 )

x x0 x x0 x x0

f (x) (dx)3 = =

x x0 x x0

f (x)|x0 (dx)2
x x0

[f (x) f (x0 )] (dx)2 (33) f (x0 ) (x x0 )2 2

=
x0

[f (x) f (x0 ) f (x0 )(x x0 )] dx

= f (x) f (x0 ) f (x0 )(x x0 )

Y la integral repetida n + 1 veces de la derivada de orden n + 1 de f (x) arroja:

x

x0 n+1

f (n+1) (x) (dx)n+1 = f (x) f (x0 ) f (x)(x x0 )

f (x) (x x0 )2 2 f (n) (x x0 )n (34) n!

De la ecuaci on (34) se puede escribir el valor de la funci on f en x a partir del valor de f y sus derivadas en x0 : f (n) f (x) (x x0 )2 + + (x x0 )n 2 n!
x

f (x) = f (x0 ) + f (x)(x x0 ) +

x0 n+1

f (n+1) (x) (dx)n+1 (35)

13

Serie que se conoce como serie (unidimensional) de Taylor. Una expresi on m as compacta de la serie (35) se obtiene poniendo:
n

f (x) = f (x0 ) +
k=1

f (k) (x x0 )k + Rn k!

(36)

donde el residuo Rn viene dado por la expresi on

x

Rn =

x0 n+1

f (n+1) (x) (dx)n+1

(37)

el cual, en virtud del teorema del valor medio [10], vale: Rn = donde [x, x0 ]. f (n+1) ( ) (x x0 )n+1 (n + 1)! (38)

14

Referencias
[1] Kane S. Yee, Numerical solution of initial boundary value problems involving maxwells equations in isotropic media, IEEE Transactions on Antennas and Propagation, vol. 14, no. 3, pp. 302307, May 1966. [2] Eric W. Weisstein, Taylor series, From MathWorldA Wolfram Web Resource, http://mathworld.wolfram.com/TaylorSeries.html, 2004. [3] William H. Hayt, Teor a Electromagn etica, Mc. Graw Hill, 5 edition, 1994. [4] Hermann A. Haus and James R. Melcher, Electromagnetic Fields and Energy, Prentice Hall, 1989. [5] David R. Kincaid and David M. Young, A tutorial on nite dierence methods and ordering of mesh points, in Fall Joint Computer Conference Proceedings, H. S. Stone and S. Winkler, Eds., pp. 556559. 1986. [6] Duane Hanselman and Bruce Littleeld, The Student Edition of MATLAB, version 5, users guide, The MATLAB curriculum series. Prentice-Hall, Inc., 1997. [7] Eric W. Weisstein, Completing the square, From MathWorldA Wolfram Web Resource, http://mathworld.wolfram.com/CompletingtheSquare.html, 2004. [8] Steven J. Leon, Linear Algebra with Applications, Prentice Hall, Inc., Upper Saddle River, New Jersey, USA., 5 edition, 1998. [9] Eric W. Weisstein, Quadratic curve discriminant, From MathWorldA Wolfram Web Resource, http://mathworld.wolfram.com/QuadraticCurveDiscriminant.html, 2004. [10] Eric W. Weisstein, Mean-value theorem, From MathWorldA Wolfram Web Resource, http://mathworld.wolfram.com/Mean-ValueTheorem.html, YEAR = 2004,.

15