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 implementacin computacional las ecuaciones recursivas

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
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
168 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 A. El trmino de error en las ecuaciones de diferencias
del esquema de diferencias finitas, de aqu en adelante
llamada solucin numrica, ser una buena aproximacin Para construir la ecuacin de diferencias para u(x,t ) , se
de la solucin analtica cuando el dominio se discretice t
apropiadamente [7,8]. Sin embargo, en la mayora de los toma la expansin en serie de Taylor de u ( x, t +t )
casos es muy complicado encontrar la discretizacin
exacta del dominio. Entonces, para asegurar que la alrededor del punto (x,t), entonces de la ecuacin (1)
solucin numrica se parezca a la solucin analtica, la tenemos que
ecuacin de recurrencia debe satisfacer las condiciones de
estabilidad y convergencia. Frecuentemente estas u(x,t ) t n u(x,t )
n
u(x,t + t ) = u(x,t) + t + + + , (2)
condiciones son muy tediosas de establecer; pero una vez t n! t n
que la condicin de estabilidad se determina, sta nos
ayudar a tener una idea de como discretizar el dominio, y reescribiendo la ecuacin (2) como
aunque por lo regular no nos indica la discretizacin
u ( x, t) u ( x, t +t ) u(x, t) 1 2u ( x, t ) n2 nu x, t
exacta. Entonces, existir una diferencia entre la ecuacin
= +t
t ( ) , (3)

diferencial y su correspondiente esquema de diferencias; t t 2! t
2 n! t
n

dicha diferencia es medida mediante el trmino conocido
como el error del esquema de diferencias. podemos escribir la ecuacin (3) en forma compacta de la
Por lo que surgen las siguientes preguntas: Cmo siguiente manera
debe ser el trmino de error para que la solucin numrica
se parezca a la solucin analtica?, existir una manera de u(x,t ) u(x,t + t ) u(x,t)
construir el esquema de diferencias de forma que el = + O(t ) . (4)
t t
trmino de error sea cero?.
En la siguiente seccin se describe la metodologa Si O (t ) = 0 entonces tendramos una representacin
estndar para construir esquemas de diferencias finitas y
exacta en el dominio discreto de la diferencial parcial de la
tambin la forma de obtener las relaciones de recurrencia
ecuacin (4), esto es
donde el trmino de error sea cero, para la ecuacin de
Schrdinger independiente del tiempo y la ecuacin de
DP = ED , (5)
onda en una dimensin espacial. Finalmente, las
conclusiones se presentan en la seccin III.
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
II. LOS ESQUEMAS DE DIFERENCIAS FINI- tiene que considerar que t es infinitamente pequeo para
TAS que el trmino O(t) de la ecuacin (4) tienda a cero, es
decir, lo que en realidad se tiene es
La metodologa estndar para construir los esquemas de
diferencias finitas se basa en sustituir cada operador
diferencial del modelo matemtico por su respectiva DP = ED + O ( t ) , (6)
ecuacin de diferencias. Tales ecuaciones de diferencias se
obtienen de la expansin en series de Taylor de la funcin entonces, el trmino O(t) es el error de representar a la
desconocida. En este trabajo slo se consideran funciones diferencial parcial por la ecuacin de diferencias. Dicho
de una y dos variables, por lo que usaremos el teorema de error surge de truncar los trminos entre parntesis de la
Taylor especializado para funciones de dos variables [9]: expansin en serie de Taylor de la ecuacin (3).
Notemos que en el caso de la ecuacin (3) el trmino de
Si u(x,t) es una funcin suave, es decir, es una funcin error tiende a cero conforme lo hace t , as que decimos
que es infinitamente diferenciable, sobre que (3) tiene un trmino de error lineal. Cuando la
D= {x [x0 r,x0 + r], t [t0 r,t0 + r]}, donde x 0 , t 0 , r son ecuacin tenga un trmino de la forma O( tn ) diremos que
nmeros reales, entonces tiene un error de orden n.
Al discretizar el domino como
1 n j u (x,t )
n n
u(x, t) = , (1)
(x x 0 ) (t t 0 )
n j

n= 0 j= 0
n! j x n j t j x kx, t nt , (7)
(x 0 ,t 0 )

donde k, n son nmeros enteros y x, t son el tamao de

donde n = n! es el coeficiente binomial. paso de la discretizacin del dominio D en las coordenadas

j j !( n j) ! x y t, respectivamente, entonces podemos definir a la
funcin continua u(x,t ) en el punto (k,n) en el dominio
discreto como

Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010 169 http://www.journal.lapen.org.mx
 El trmino de error en los esquemas de diferencias finitas
u ( x, t ) El esquema de diferencias finitas para la ecuacin (13)
n
uk . (8)
se obtiene sustituyendo la ecuacin (12) en la (13), y
despus de agrupar apropiadamente los trminos se tiene
As pues, la ecuacin (4) se reescribe que
u(x,t ) ukn +1 ukn
= + O(t ) , (9) 2m
t t k +1 = 2 x 2 E k k 1 , (14)
2

entonces, tenemos una frmula que expresa la primera
derivada parcial, con respecto a la variable t, de la funcin notando que el esquema se construy con un error de
continua u(x,t ) en trminos de la funcin evaluada en los truncamiento de la forma O(x 2 ). Entonces, si deseamos
puntos (k,n+1) y (k,n ), es por eso que a la ecuacin (9) se construir un esquema donde el error sea menor, debemos
le conoce como ecuacin de diferencias progresivas en el agregar trminos a la serie de Taylor, y si queremos que el
tiempo. error sea nulo debemos tomar a la serie de Taylor en su
De la misma manera, para construir la ecuacin de entidad completa.
diferencias para 2 u ( x , t ) , se toma la expansin en serie de Por ejemplo, si vamos a construir un esquema donde el
t 2 trmino de error sea cero, entonces no debemos desechar
Taylor de u(x,t + t) + u(x,t t) alrededor del punto (x,t) ningn trmino de la serie de Taylor, es decir,
y despus de agrupar trminos tendremos que
x2 d 2 x2n d 2n
( x + x ) + ( x x ) = 2 ( x ) + + + + .
2 u ( x , t ) u kn +1 2 u kn + u kn 1 2! dx2 (2n)! dx2n
= + O ( t 2 ), (10)
t 2 t2 (15)

a esta ecuacin se le conoce como ecuacin de diferencias De la ecuacin (13) obtenemos las relaciones para las
centradas en el tiempo, puesto que para calcular la segunda derivadas de orden superior, esto es,
derivada parcial, con respecto a la variable t, de la funcin
u(x,t) se necesita de la funcin evaluada en los puntos d 2 n n 2m n
= ( 1) E (x), (16)
(k,n+1), (k,n) y (k,n 1). dx 2 n 2
Para funciones de una variable, el procedimiento para
obtener las ecuaciones de diferencias es el mismo descrito donde n es un nmero entero positivo. Al sustituir (16) en
anteriormente, por lo que los trminos entre parntesis cuadrados de la ecuacin
(15), esta se reescribe como
du(x ) uk +1 uk
= + O(x ) , (11)
2mE x2 n

2mE x
2n
x
+ (x) ,
dx
( x +x) + ( x x) = 2 1 2
+ +(1)n 2
2! (2n )!
d 2 u(x ) uk +1 2uk + uk1
+ O(x 2 ). (12) (17)
=
dx 2 x 2
notando que el trmino entre parntesis cuadrados es la
En las siguientes dos subsecciones estudiaremos el trmino expansin en serie de potencias de cos 2 mE x ,
de error de los esquemas de diferencias finitas para la
ecuacin de Schrdinger independiente del tiempo y la entonces la ecuacin (17) se simplifica como
ecuacin de onda en una dimensin espacial.
2mE
B. La ecuacin de Schrdinger (x + x ) + (x x ) = 2cos x (x) , (18)

El desplazamiento de un electrn, (x), movindose en el dominio discreto el esquema de diferencias finitas

libremente en una caja unidimensional est gobernado por anterior, llamado tambin esquema de diferencias finitas
la ecuacin de Schrdinger independiente del tiempo dada exactas (DFE) porque el trmino de error es cero, se
por escribe como
2
d 2 ( x ) 2mE
= E (x ) , (13) k+1 = 2cos x k k1 . (19)
2 m dx 2

34
donde = 1.05 10 J s es la constante de Planck, m es la
masa de la partcula y E es la energa asociada a la Es conocido que la solucin analtica de la ecuacin (13)
partcula. tiene forma sinusoidal. Como se observa, el esquema
recursivo (19) incorpora explcitamente un trmino
sinusoidal, mientras que el esquema tradicional (14) slo
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010 170 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 1031 Kg movindose libremente dentro de una caja
unidimensional de longitud 5 1010 m , la ecuacin (13)
sujeta a las condiciones de frontera (0 ) = 0 y
(L ) = (5 10 10 ) = 0 , tiene la siguiente solucin
analtica (SA)
n La ecuacin de onda en una dimensin espacial est dada
(x) = 6.3246104 sen x , (20)
n=
L
con E = 2 .4126 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
usando x =11011m. 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
EAP = SA SN 100 % . (21)
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
por
2u(x, t) 2u(x, t) , (22)
= c2
t 2
x 2
donde u ( x , y ) 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
u kn + 1 + u kn 1 = 2 (u kn +1 2 u kn + u kn1 ) + 2 u kn , (23)
con la restriccin que
t 2
2 = c 1, (24)
x
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 u(x,t + t ) + u(x,t t ) alrededor de (x,t) para
tener que

t 2n 2nu( x, t)
u ( x, t + t ) + u ( x, t t ) = 2 u( x, t) + + + ,
( 2n) ! t 2n

(25)

donde n es un nmero entero. Posteriormente, de la

ecuacin de onda (22) generamos las siguientes relaciones

2 n u ( x, t ) 2 n u ( x, t )
= c 2n , (26)
t 2n
x 2 n
FIGURA 1. (a) Densidad de probabilidad del electrn. (b) Error
absoluto porcentual de la solucin numrica del esquema de
que al sustituirlas en la ecuacin (25), esta se reescribe
DFE. (c) Error absoluto porcentual del esquema de DF.
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
( ct ) 2nu(x,t) + ,
2n Entonces, con este ejercicio tambin mostramos que el
u( x,t +t ) +u( x,t t ) = 2 u(x,t) + + esquema de DFE es independiente del tamao de paso
( 2n) ! x2n seleccionado mientras que la relacin recursiva de DF
(27) variar con la discretizacin seleccionada para el dominio.

entonces, al definir

x = ct , (28)

se obtiene que el esquema de diferencias finitas exactas

para la ecuacin de onda (22), es

u kn +1 + u kn 1 = u kn +1 + u kn1 , x = c 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
2 que se seleccione.
Por ejemplo, la ecuacin de onda (22) sujeta a las
siguientes condiciones de frontera

u (0, t ) = u (1, t ) = 0, t > 0, (30)

y condiciones iniciales
FIGURA 2. (a) Movimiento de una cuerda de un 1 cm de
u ( x, t ) longitud para t=0.3 seg, x = 0.1 cm y = 1/2 . (b) Error absoluto
u ( x,0) = sen ( m x) , = 0, 0 < x < 1, (31) porcentual de la solucin del esquema de diferencias finitas
t t =0 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) = sen (m x) cos( m t) . (32)
m =

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 x = 0.1 cm y t = 0.1 seg, respectivamente. Y
para el esquema tradicional (23) se escoger = 1/2 con
x = 0.1 cm, por lo que 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 FIGURA 3. (a) Movimiento de una cuerda de un 1 cm de
numrico se repite pero ahora con = 3/4. Los resultados longitud para t=0.3 seg, x = 0.1 cm y = 3 / 4 . (b) Error
se muestran en la figura 3, obteniendo que efectivamente absoluto porcentual de la solucin del esquema de diferencias
los valores del EAP se reducen, ahora slo llegan hasta el finitas exactas. (c) Error absoluto porcentual de la solucin del
esquema de diferencias finitas.
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 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.
Lat. Am. J. Phys. Educ. Vol. 4, No. 1, Jan. 2010
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).
173 http://www.journal.lapen.org.mx