El trmino de error en los esquemas de diferencias finitas

Selene Solorza, Carlos Yee-Romero, Adina Jordan-Aramburo y Samuel Cardea-Snchez

Facultad de Ciencias, Universidad Autnoma de Baja California, Km. 103 carretera Tijuana-Ensenada, CP 22860, Ensenada, B.C., Mxico. E-mail: selene.solorza@gmail.com (Recibido el 30 de Septiembre de 2009; aceptado el 17 de Diciembre de 2009) Resumen
Debido a su simplicidad, los esquemas de diferencias finitas se usan frecuentemente en las simulaciones numricas de aquellos fenmenos fsicos que se pueden representar mediante modelos matemticos que involucran ecuaciones diferenciales. Esta metodologa se basa en la hiptesis de la equivalencia entre las derivadas (dominio continuo) y las ecuaciones de diferencias (dominio discreto). Sin embargo, tal equivalencia se obtiene de truncar la expansin en serie de Taylor de la funcin desconocida, lo cual en la mayora de los casos implica que la ecuacin de diferencias solamente ser una aproximacin de la ecuacin diferencial. El trmino de error en los esquemas de diferencias representa la diferencia que existe entre la solucin en el dominio continuo (solucin analtica) y la solucin en el dominio discreto (solucin numrica). Y, slo se tendr una apropiada equivalencia entre ambos dominios, si el trmino de error es cero. Desafortunadamente esto ltimo no sucede en la mayora de los problemas, y los estudiantes de los primeros aos de licenciatura en ciencias tienen dificultades en comprender el significado de dicho trmino que aparece en los esquemas de diferencias finitas. Palabras clave: Diferencias finitas, el trmino de error, esquemas recursivos.

Abstract
Due to the simplicity, the finite difference method is frequently used in numerical simulations for physical phenomena represented by mathematical models involving differential equations. This methodology is based on the assumption of the equivalence between the derivatives (continuous domain) and the difference equations (discrete domain). However, such equivalence is obtained by a truncated Taylor series expansion of the unknown function, which obviously implies that the difference equation will be only an approximation of the differential equation. The error term in the finite schemes represent the difference between the solution in the continuous domain (analytical solution) and the solution in the discrete domain (numerical solution). And, only we have an appropriate equivalence between both domains if the error term is zero. Unfortunately this does not happen in the majority of the problems, and the first years-old students of a science major have difficulties in comprehends the meaning of such term that appears in the finite difference schemes. Keywords: Finite difference, recursive schemes, the error term. PACS: 01.50.H, 01.50.Lc, 02.60.Cb, 02.60.Lj, 02.70.Bf ISSN 1870-9095

I. INTRODUCCIN
La mayora de las propiedades cualitativas y cuantitativas de los fenmenos fsicos se pueden representar mediante ecuaciones diferenciales ordinarias o parciales con condiciones de frontera y/o iniciales para algn dominio. Una vez que el modelo matemtico est bien definido, el siguiente paso es encontrar su solucin analtica. Sin embargo, este paso se puede volver muy complicado puesto que slo algunos modelos matemticos tienen solucin analtica [1]. Cuando la solucin analtica de un problema de valor a la frontera es desconocida o muy complicada de encontrar, comnmente se utilizan mtodos numricos para determinarla. Y, debido a su simplicidad de construccin e
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010 168

implementacin computacional las ecuaciones recursivas de diferencias finitas son uno de los mtodos numricos ms utilizados para resolver modelos matemticos que involucran ecuaciones diferenciales, las cuales han sido estudiadas desde el inicio del siglo pasado [2, 3, 4, 5]. La ecuacin recursiva de diferencias finitas se construye sustituyendo las derivadas (dominio continuo) del modelo matemtico por sus correspondientes ecuaciones de diferencias (dominio discreto). Entonces, el valor de los puntos seleccionados (nmero finito de puntos) en el dominio discreto se convierten en las incgnitas en lugar de la variable dependiente que es continua (nmero infinito de puntos). Esencialmente, en esta metodologa el dominio se discretiza y la solucin de la ecuacin diferencial se busca en los puntos discretos
http://www.journal.lapen.org.mx

Selene Solorza, Carlos Yee-Romero, Adina Jordan-Aramburo y Samuel Cardea-Snchez

mediante la relacin recursiva [6]. Por lo que, la solucin del esquema de diferencias finitas, de aqu en adelante llamada solucin numrica, ser una buena aproximacin de la solucin analtica cuando el dominio se discretice apropiadamente [7,8]. Sin embargo, en la mayora de los casos es muy complicado encontrar la discretizacin exacta del dominio. Entonces, para asegurar que la solucin numrica se parezca a la solucin analtica, la ecuacin de recurrencia debe satisfacer las condiciones de estabilidad y convergencia. Frecuentemente estas condiciones son muy tediosas de establecer; pero una vez que la condicin de estabilidad se determina, sta nos ayudar a tener una idea de como discretizar el dominio, aunque por lo regular no nos indica la discretizacin exacta. Entonces, existir una diferencia entre la ecuacin diferencial y su correspondiente esquema de diferencias; dicha diferencia es medida mediante el trmino conocido como el error del esquema de diferencias. Por lo que surgen las siguientes preguntas: Cmo debe ser el trmino de error para que la solucin numrica se parezca a la solucin analtica?, existir una manera de construir el esquema de diferencias de forma que el trmino de error sea cero?. En la siguiente seccin se describe la metodologa estndar para construir esquemas de diferencias finitas y tambin la forma de obtener las relaciones de recurrencia donde el trmino de error sea cero, para la ecuacin de Schrdinger independiente del tiempo y la ecuacin de onda en una dimensin espacial. Finalmente, las conclusiones se presentan en la seccin III.

A. El trmino de error en las ecuaciones de diferencias Para construir la ecuacin de diferencias para 2u0x,t 1 , se toma la expansin en serie de Taylor de u 0 x, t $5t 1 alrededor del punto (x,t), entonces de la ecuacin (1) tenemos que
2t

u0x,t $ 5t 1 ! u(x,t) $ 5t !

n 2u0x,t 1 5t n 2 u0x,t 1 $ "$ $" , (2) 2t n! 2t n

y reescribiendo la ecuacin (2) como

2 u 0 x, t1 u 0 x, t $5t 1 # u(x, t) 2t
! 5t $5t , #

) 1 2 2u 0 x, t 1 + 2! 2 t
2

#"#

5t

n#2 2 nu x, t 0 1

n!

2t

#"/

- , (3) .

podemos escribir la ecuacin (3) en forma compacta de la siguiente manera

2u0x,t 1 u0x,t $ 5t 1 # u(x,t) ! $ O05t 1 . 2t 5t

(4)

Si O 05t 1 ! 0 entonces tendramos una representacin exacta en el dominio discreto de la diferencial parcial de la ecuacin (4), esto es
DP ! ED ,

(5)

II. LOS ESQUEMAS DE DIFERENCIAS FINITAS

La metodologa estndar para construir los esquemas de diferencias finitas se basa en sustituir cada operador diferencial del modelo matemtico por su respectiva ecuacin de diferencias. Tales ecuaciones de diferencias se obtienen de la expansin en series de Taylor de la funcin desconocida. En este trabajo slo se consideran funciones de una y dos variables, por lo que usaremos el teorema de Taylor especializado para funciones de dos variables [9]: Si u(x,t) es una funcin suave, es decir, es una funcin que es infinitamente diferenciable, sobre D! 'x " %x0 #r,x0 $ r&, t " %t0 #r,t0 $ r&(, donde x 0 , t 0 , r son nmeros reales, entonces
u(x, t) ! 3 3 1 )*n -* n# j j 2 u 0x,t 1 0 ,* /* x # x 0 1 0t # t 0 1 2 x n # j2 t j n! +*j .* n! 0 j! 0
4 n n

donde DP y ED representan, respectivamente, la derivada parcial y la ecuacin de diferencias. Sin embargo, en la mayora de los problemas fsicos esto no sucede, as que se tiene que considerar que 5t es infinitamente pequeo para que el trmino O05t1 de la ecuacin (4) tienda a cero, es decir, lo que en realidad se tiene es

DP ! ED $ O 05 t 1 ,

(6)

entonces, el trmino O05t1 es el error de representar a la diferencial parcial por la ecuacin de diferencias. Dicho error surge de truncar los trminos entre parntesis de la expansin en serie de Taylor de la ecuacin (3). Notemos que en el caso de la ecuacin (3) el trmino de error tiende a cero conforme lo hace 5t , as que decimos que (3) tiene un trmino de error lineal. Cuando la ecuacin tenga un trmino de la forma O0 5tn 1 diremos que tiene un error de orden n. Al discretizar el domino como

,
0x 0 ,t 0 1

(1)

x 6 k5x,

t 6 n5t ,

(7)

donde )n- ! n! es el coeficiente binomial. , / + j. j !0 n# j1 !

donde k, n son nmeros enteros y 5x, 5t son el tamao de paso de la discretizacin del dominio D en las coordenadas x y t, respectivamente, entonces podemos definir a la funcin continua u0x,t 1 en el punto 0k,n1 en el dominio discreto como
169 http://www.journal.lapen.org.mx

Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010

El trmino de error en los esquemas de diferencias finitas

u 0 x, t 1 6

n uk

(8)

As pues, la ecuacin (4) se reescribe

n n 2u0x,t 1 uk $1 # uk ! $ O05t 1 , 2t 5t

El esquema de diferencias finitas para la ecuacin (13) se obtiene sustituyendo la ecuacin (12) en la (13), y despus de agrupar apropiadamente los trminos se tiene que

(9)

7 k $1 ! ,*2 # 5x 2
!

)* +*

2m -* E /* k # 7 k #1 , 7 # 2 .*

(14)

entonces, tenemos una frmula que expresa la primera derivada parcial, con respecto a la variable t, de la funcin continua u0x,t 1 en trminos de la funcin evaluada en los puntos 0k,n$11 y 0k,n 1, es por eso que a la ecuacin (9) se le conoce como ecuacin de diferencias progresivas en el tiempo. De la misma manera, para construir la ecuacin de diferencias para 2 2 u 0 x , t 1 , se toma la expansin en serie de Taylor de u0x,t $ 5t1 $ u0x,t # 5t1 alrededor del punto 0x,t1 y despus de agrupar trminos tendremos que
2 2 u 0 x , t 1 u kn $1 # 2 u kn $ u kn #1 ! $ O 05 t 2 1, 2t 2 5t2
2t 2

notando que el esquema se construy con un error de truncamiento de la forma O05x 2 1. Entonces, si deseamos construir un esquema donde el error sea menor, debemos agregar trminos a la serie de Taylor, y si queremos que el error sea nulo debemos tomar a la serie de Taylor en su entidad completa. Por ejemplo, si vamos a construir un esquema donde el trmino de error sea cero, entonces no debemos desechar ningn trmino de la serie de Taylor, es decir,
7 0 x $ 5x 1 $7 0 x # 5x 1 ! 2 <7 0 x 1 $
> : ; 5x2 d 27 5x2n d 2n7 $"$ $"= . 2 2! dx (2n)! dx2n ?

(10)

(15) De la ecuacin (13) obtenemos las relaciones para las derivadas de orden superior, esto es,
-*n )* 2 m d 2 n7 ! ( # 1) n ,* 2 E /* 7 ( x ) , .* +* # dx 2 n !

a esta ecuacin se le conoce como ecuacin de diferencias centradas en el tiempo, puesto que para calcular la segunda derivada parcial, con respecto a la variable t, de la funcin u0x,t1 se necesita de la funcin evaluada en los puntos 0k,n$11, 0k,n1 y 0k,n #11. Para funciones de una variable, el procedimiento para obtener las ecuaciones de diferencias es el mismo descrito anteriormente, por lo que
du0x 1 uk $1 # uk ! $ O05x 1 , dx 5x

(16)

donde n es un nmero entero positivo. Al sustituir (16) en los trminos entre parntesis cuadrados de la ecuacin (15), esta se reescribe como
7 0 x $5x1 $7 0 x #5x1 ! 2 <1#
n 2n : 2mE 5x2 ; ) 2mE - 5x $"$(#1)n , 2 / $" 7(x) , = 2 # 2! + # . (2n)! = < > ?

(11)

d 2 u0x 1 uk $1 # 2uk $ uk#1 ! $ O05x 2 1. dx 2 5x 2

(12)

(17) notando que el trmino entre parntesis cuadrados es la )* expansin en serie de potencias de cos ,* 2 mE 5x -*, /* entonces la ecuacin (17) se simplifica como
7 0x $ 5x 1 $ 7 0x # 5x 1 ! 2cos,*
!
! +* # .*

En las siguientes dos subsecciones estudiaremos el trmino de error de los esquemas de diferencias finitas para la ecuacin de Schrdinger independiente del tiempo y la ecuacin de onda en una dimensin espacial.
B. La ecuacin de Schrdinger

)* 2mE -* 5x /* (x) , 7 +* # .*

(18)

El desplazamiento de un electrn, 70x1, movindose libremente en una caja unidimensional est gobernado por la ecuacin de Schrdinger independiente del tiempo dada por
2 # 2 d 7 0x 1 ! E 7 0x 1 , # 2 !! 2 m dx

en el dominio discreto el esquema de diferencias finitas anterior, llamado tambin esquema de diferencias finitas exactas (DFE) porque el trmino de error es cero, se escribe como
7k$1 ! 2cos , ,
) 2mE 5x /7k #7k#1 . / # + .

(13)

(19)

donde !! ! 1.05 810#34 J 9 s es la constante de Planck, m es la # masa de la partcula y E es la energa asociada a la partcula.
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010 170

Es conocido que la solucin analtica de la ecuacin (13) tiene forma sinusoidal. Como se observa, el esquema recursivo (19) incorpora explcitamente un trmino sinusoidal, mientras que el esquema tradicional (14) slo
http://www.journal.lapen.org.mx

Selene Solorza, Carlos Yee-Romero, Adina Jordan-Aramburo y Samuel Cardea-Snchez

toma en consideracin los dos primeros trminos de la expansin del coseno en serie de potencias. As, que existe una sustancial diferencia entre el esquema de diferencias finitas tradicional (DF) y el exacto (DFE). Por ejemplo, si consideramos un electrn de masa 9.11 8 10#31 Kg movindose libremente dentro de una caja unidimensional de longitud 5 810#10 m , la ecuacin (13) sujeta a las condiciones de frontera 7 00 1 ! 0 y 7 0L 1 ! 7 05 8 10 #10 1 ! 0 , tiene la siguiente solucin analtica (SA)
4

de 10 #12 , sin embargo esperaramos que fueran cero por haber usado un esquema exacto. Los valores del error absoluto porcentual no son cero debido a la limitacin de aritmtica no exacta de las computadoras. Para el esquema de diferencias finitas (14) con O(!2) los valores del error absoluto porcentual son del orden de 10 #1 , por lo que existen once rdenes de magnitud de diferencia en el error absoluto porcentual de ambas soluciones numricas.
C. La ecuacin de Onda

70x1 ! 6.32468104 3 sen,*

n!#4

)*n@ +* L

-* x/* , .*

(20)

La ecuacin de onda en una dimensin espacial est dada por

con E ! 2 .4126 8 10 # 19 n 2 . Para facilitar el anlisis del trmino de error en este ejemplo, se seleccionar el segundo modo (n=2) de la funcin (20) normalizada y se discretizar el espacio #11 usando 5x !1810 m. La figura 1(a) muestra mediante la curva continua negra la grfica de la solucin analtica (SA) de la densidad de probabilidad del electrn, con la curva punteada negra la solucin del esquema de diferencias finitas exactas (DFE) y en crculos negros la solucin del esquema de diferencias finitas (DF). La figura 1(b) y 1(c) muestran los valores del error absoluto porcentual (EAP) de las soluciones numricas. El error absoluto porcentual representa una manera de medir la diferencia que existe entre la solucin numrica (SN) y la solucin analtica (SA), matemticamente se calcula como

2 2u0x, t1 2 2u0x, t1 , ! c2 2 2t 2x 2

(22)

donde u 0 x , y 1 representa la posicin del objeto en la direccin x en el tiempo t y c es la velocidad a la cual se mueve. El esquema de diferencias finitas para la ecuacin (22) se obtiene sustituyendo la ecuacin (10) correspondiente al tiempo y al espacio en la ecuacin (22), y despus de agrupar apropiadamente los trminos, se obtiene
n n n n n n u k $ 1 $ u k #1 ! A 2 0u k $1 # 2 u k $ u k #1 1 $ 2 u k ,

(23)

con la restriccin que

A 2 ! ,*c

EAP ! SA # SN 8 100 % .

(21)

)* 5t -*2 /* B 1 , +* 5x .*

(24)

la cual es conocida como la condicin de estabilidad de Courant-Friedrichs-Lewy [5], nombrada as en honor de Richard Courant, Kurt Friedrichs y Hans Lewy. Si deseamos construir un esquema donde el trmino de error sea cero, entonces partimos de la expansin en serie de Taylor de u0x,t $ 5t 1 $ u0x,t # 5t 1 alrededor de (x,t) para tener que
: ; 5t 2n 2 2nu( x, t) u 0 x, t $ 5t 1 $ u 0 x, t #5t 1 ! 2 <u( x, t) $"$ $"= , 2n 0 2n1 ! 2 t > ? (25)

donde n es un nmero entero. Posteriormente, de la ecuacin de onda (22) generamos las siguientes relaciones

FIGURA 1. (a) Densidad de probabilidad del electrn. (b) Error absoluto porcentual de la solucin numrica del esquema de DFE. (c) Error absoluto porcentual del esquema de DF.

2 2 n u 0 x, t 1 2 2 n u 0 x, t 1 , ! c 2n 2n 2t 2x 2 n

(26)

que al sustituirlas en la ecuacin (25), esta se reescribe como

Para la solucin del esquema de diferencias finitas exactas (19) los valores del error absoluto porcentual son del orden
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010
171

http://www.journal.lapen.org.mx

El trmino de error en los esquemas de diferencias finitas

: 0 c5t 1 2 2nu(x,t) $"; , u0 x,t $5t 1 $u0 x,t #5t 1 ! 2 <u(x,t) $"$ = 0 2n1 ! 2 x2n < = > ? (27)
2n

Entonces, con este ejercicio tambin mostramos que el esquema de DFE es independiente del tamao de paso seleccionado mientras que la relacin recursiva de DF variar con la discretizacin seleccionada para el dominio.

entonces, al definir

5x ! c5t ,

(28)

se obtiene que el esquema de diferencias finitas exactas para la ecuacin de onda (22), es
n n n n u k $1 $ u k #1 ! u k $1 $ u k #1 ,

5 x ! c5 t .

(29)

El esquema de diferencias finitas (29) muestra una nica forma de discretizar el dominio, mientras que el esquema (23) presenta un sin fin de posibilidades, segn el valor de A 2 que se seleccione. Por ejemplo, la ecuacin de onda (22) sujeta a las siguientes condiciones de frontera

u 00, t 1 ! u 01, t 1 ! 0,
y condiciones iniciales

t C 0,

(30)

2 u 0 x, t 1 ! 0, 0 D x D 1, u 0 x,01 ! sen 0 m@ x1 , 2 t t !0

(31)

FIGURA 2. (a) Movimiento de una cuerda de un 1 cm de longitud para t=0.3 seg, 5x ! 0.1 cm y A ! 1/2 . (b) Error absoluto porcentual de la solucin del esquema de diferencias finitas exactas. (c) Error absoluto porcentual de la solucin del esquema de diferencias finitas.

donde m es un nmero entero, tiene la solucin analtica

u( x, t) !

m ! #4

3 sen (m @x) cos( m @ t) .

(32)

Para facilitar el anlisis del trmino de error en este ejemplo, se seleccionar slo el primer modo de vibracin, esto es m !1 y se usar c !1 cm/seg. En el esquema exacto (29) se discretizar el dominio en el espacio y el tiempo usando 5x ! 0.1 cm y 5t ! 0.1 seg, respectivamente. Y para el esquema tradicional (23) se escoger ! = 1/2 con 5x ! 0.1 cm, por lo que 5 t ! 0.05 seg. La figura 2(a) muestra la grfica de la solucin analtica (curva negra continua), la solucin numrica del esquema de DFE (curva negra punteada) y la de DF (curva negra de crculos). La figura 2(b)-(c) presenta los valores del EAP para las soluciones numricas obtenidas con los esquemas de DFE y DF. Estas grficas muestran que esencialmente la relacin de recurrencia de DFE tiene valores del EAP prcticamente de cero mientras que DF alcanza valores de hasta el 0.2%. La teora predice que los valores del EAP tendern a cero conforme !2 tienda a uno, entonces el ejemplo numrico se repite pero ahora con ! = 3/4. Los resultados se muestran en la figura 3, obteniendo que efectivamente los valores del EAP se reducen, ahora slo llegan hasta el 0.1%, mientras que para el esquema de diferencias finitas exactas permanece prcticamente igual, del orden de 10 #14 %.
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010
172

FIGURA 3. (a) Movimiento de una cuerda de un 1 cm de longitud para t=0.3 seg, 5x ! 0.1 cm y A ! 3 / 4 . (b) Error absoluto porcentual de la solucin del esquema de diferencias finitas exactas. (c) Error absoluto porcentual de la solucin del esquema de diferencias finitas.

http://www.journal.lapen.org.mx

Selene Solorza, Carlos Yee-Romero, Adina Jordan-Aramburo y Samuel Cardea-Snchez

IV. CONCLUSIONES
Frecuentemente las soluciones numricas obtenidas mediante diferencias finitas se utilizan para predecir el comportamiento de fenmenos fsicos. Tambin, en ocasiones se usan para calcular las condiciones iniciales de algoritmos numricos ms complicados. Por lo que es importante comprender el significado del trmino de error en dichos esquemas y la forma en que el dominio se discretiza. Si se logra construir esquemas de recurrencia donde el error es cero, entonces tendremos una apropiada discretizacin del dominio y podremos asegurar que la solucin numrica reproducir fielmente a la solucin analtica. Pero si este no es el caso, entonces el objetivo es construir esquemas en los que podamos asegurar que la solucin numrica se parecer a la solucin analtica del problema planteado, adems de buscar que los esquemas sean estables, es decir, que pequeos cambios en el tamao de paso no ocasionen cambios considerables en la solucin numrica.

REFERENCIAS
[1] Kreyszig, E., Advanced Engineering Mathematics (John Wiley & Sons, New York, 1979). [2] Batchelder, M., An Introduction to Linear Difference Equations (Harvard University Press, Cambridge, 1927). [3] Boole, G., Calculus of Finite Differences (Chelsea, 4th edition, New York, 1958). [4] Richtmyer, R. D. and Morton, K.W., Difference Methods for Initial-Value Problem (Interscience, New York, 1967). [5] Hildebrand, F. B., Finite-Difference Equations and Simulations (Prentice-Hall, Englewood Cliffs, New Jersey, 1968). [6] Mitchell, A. R. and Griffiths, The Finite Difference Method in Partial Differential Equations (John Wiley & Sons, New York, 1980). [7] Solorza, S., Diferencias Finitas: Un Estudio Pedaggico (Centro de Investigacin Cientfica y de Estudios Superiores de Ensenada, B.C., Mxico, 1999). [8] Cardea-Snchez, S., Diferencias Finitas Exactas Para Ecuaciones Diferenciales Parciales En Una Dimensin Escalar (Universidad Autnoma de Baja California, B.C., Mxico, 2008). [9] Arfken, G. B., Mathematical Methods for Physicists (Academic Press, New York, 2001).

Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010

173

http://www.journal.lapen.org.mx