MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS

HIPERBLICOS

F. VADILLO

Resumen. En esta leccin se estudian las ecuaciones hiperblicas y su resolu-

cin numrico con esquemas en diferencias. Se comienza con la ecuacin de
ondas de primer orden para despus pasar a los sistema hiperblicos con una
atencin especial a la ecuacin de ondas de segundo orden.

ndice

1. E.D.P. de primer orden 1

2. La ecuacin de ondas de orden uno 3
3. Mtodos en diferencias para EDP de primer orden 6
4. Sistemas hiperblicos 8
5. La ecuacin de ondas de segundo orden 9
6. Mtodos en diferencias 12
Referencias 13

1. E.D.P. de primer orden

Una ecuacin en derivadas parciales de primer orden en el plano es una expresin

del tipo:
u u
(1.1) F (x, t, u, , ) = 0.
t x
En particular la ecuacin es lineal si se expresa en la forma:
u u
(1.2) a(x, t) + b(x, t) = c(x, t)u + d(x, t).
x t
Aunque existen tcnicas analticas que resuelven la ecuacin de primer orden
general, sin embargo por sencillez, aqu se considerar el caso cuasilineal porque la
tcnica es mas fcil de comprender.
La tcnica que se explicar a continuacin reduce la ecuacin en derivadas par-
ciales a un sistema de ecuaciones diferenciales ordinarias; sistema que en casos
sencillos se puede resolver por tcnicas analticas o por tcnicas numricas en casos
ms complicados en el conocido como mtodos de las caractersticas.
El problema que se considera es el siguiente:

Received by the editors 3 de febrero de 2009.

Disponible en: www.ehu.es/~mepvaarf.
1
2 F. VADILLO

Halle la funcin u(x, t) que verique la ecuacin cuasilineal:

u u
(1.3) P (x, t, u) + Q(x, t, u) = R(x, t, u),
x t
cuya grca contenga una curva dada:


x = x0 (s),
(1.4) t = t0 (s),


u = u0 (s)
para s (s0 , s1 ).

Si se considera el campo de vectores:

(1.5) v(x, t, u) = P (x, t, u)i + Q(x, t, u)j + R(x, t, u)k,
y el vector normal a la supercie u = u(x, t) es:
u u
(1.6) n= i+ j k,
x t
y la ecuacin (refe:cuasilineal) se pude escribe como:
(1.7) v n = 0,
es decir, el campo de vectores v es tangente a la grca de la funcin u en cada
punto. En consecuencia se puede construir la supercie solucin con las curvas que
salen de la curva inicial siguiendo la direccin del campo v. Por cada punto de
la curva inicial (x0 (s), t0 (s), u0 (s)) se construye una nueva curva, llamada linea de
campo que resuelva el sistema caracterstico :

dx
dr = P (x, t, u),
dt
(1.8) dr = Q(x, t, u),

du
dr = R(x, t, u),

con la condicin inicial (x0 (s), t0 (s), u0 (s)) en r = 0.

La solucin parametrizada:


x = x(s, r),
(1.9) t = t(s, r),


u = u(s, r),
es una supercie integral del campo asociado a la ecuacin y su proyeccin sobre el
plano OXT es una curva caracterstica de la ecuacin.
Para que las ecuaciones parametrizadas denan un supercie regular es necesario
que la curva inicial no sea una curva caracterstica de la ecuacin porque en tal
caso nunca nos moveramos de ella, es necesario entonces que el dato inicial verique
una condicin de transversalidad para que los vectores tangentes no tengan la misma
direccin que es la siguiente:

i j k

(1.10) P Q R 6= 0.
dx
0 dt0 du0
ds ds ds
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 3

Ejemplo 1.1. Halle la solucin de la ecuacin:

u u 2
x +t = u,
x t 3
que contiene la curva interseccin de las supercies: t = u3 , t > 0, x = 1.
El sistema caracterstico es:

dx
dr = x,
dt
dr = t,
du 2
dr = 3 u,

y la condicin inicial: para r = 0, x = 1, t = s3 , u = s.

Es muy sencillo comprobar que se verica la condicin de transversalidad. Inte-
grando las ecuaciones lineales y desacopladas se obtiene la supercie integral:

r
x(s, r) = e ,
t(s, r) = s3 er ,

2r
u(s, r) = se 3 ,
y despejando nalmente s y r en funcin de x y t se llega a la solucin:
1
u = (xt) 3 .

Evidentemente, este mtodo calcula la supercie integral pero no garantiza que

exista una solucin de la ecuacin en derivadas parciales porque puede resultar
imposible despejar los parmetros s y r en funcin de las variables x y t para
calcular u(x, t).

2. La ecuacin de ondas de orden uno

Las ecuaciones en derivadas parciales de primer orden que habitualmente apare-

cen en las aplicaciones estn relacionadas con leyes de conservacin de cantidades
fsicas. Son sistemas de E.D.P. (generalmente no lineales) que dependen del tiempo
y en el caso de una dimensin espacial tiene la forma:

(2.1) u(x, t) + f (u(x, t)) = 0,
t x
donde u es un vector m-dimensional de cantidades conservadas, tales como masas,
momentos , energas,... y f es la funcin ujo del sistema.
El problema ms sencillo es el problema de Cauchy de valores iniciales puro en
que la ecuacin se considera para < x < , t > 0 y se especica una condicin
inicial:
(2.2) u(x, 0) = u0 (x), < x < .
Ejemplo 2.1. Suponga una tubera muy estrecha llena de un gas de densidad (x, t)
que se mueve a una velocidad v(x, t) constantes para cada seccin de la tubera. La
masa de gas entre dos puntos x1 y x2 en en instante t ser:
Z x2
masa en [x1 , x2 ]en el tiempo t = (x, t)dx.
x1
Por otra parte, el ujo de gas que atraviesa la seccin en (x, t) es:
ujo en (x, t) = (x, t)v(x, t).
4 F. VADILLO

Entonces la variacin de la masa en [x1 , x2 ] es el ujo entrante menos el saliente,

es decir: Z
d x2
(x, t)dx = (x1 , t)v(x1 , t) (x2 , t)v(x2 , t),
dt x1
que ser la forma integral de la ley de conservacin de la masa.
Para obtener la forma diferencial de la ley de conservacin de la masa, se debe
suponer que las funciones (x, t) y v(x, t) son diferenciables, entonces:
Z x2

(x1 , t)v(x1 , t) (x2 , t)v(x2 , t) = ((x, t)v(x, t))dx,
x1 x
que llevada a la expresin anterior nalmente resulta:
t + (v)x = 0.
Esta ecuacin se puede resolver si se conoce la velocidad v porque entonces v =
f () y tiene la forma de la expresin general (2.1). Se trata de un ejemplo sencillo
de una ecuacin de conveccin que representa el transporte de la masa a travs del
espacio por el movimiento del medio.
Cuando la velocidad es constante v(x, t) = a la ecuacin que queda es:
t + ax = 0,
llamada ecuacin de conveccin lineal o tambin ecuacin de ondas de primer orden.

La ecuacin de ondas de primer orden ahora se escribir como:

(2.3) ut + aux = 0.
El problema de Cauchy est denido por la ecuacin en < x < , t 0 con
una condicin inicial:
(2.4) u(x, 0) = u0 (x).
El sistema caracterstico es:

dx
dr = a,
(2.5) dt
dr = 1,

du
dr = 0,
con la condicin inicial de que en r = 0, t = 0, x = x0 , u = uo (x0 ).
La solucin que resulta es:
(2.6) u(x, t) = u0 (x at),
para todo t 0. Cuando el tiempo avanza, el dato inicial simplemente se desplaza
con una velocidad a, hacia la derecha si a > 0 y hacia la izquierda cuando a < 0.
Adems, la solucin es constante a lo largo de sus rectas caracterstica x at = cte.
El programa wvmovie.m de la referencia [1] permite observar la evolucin de las
ondas. Si teclea en la ventana de comandos de Matlab el nombre wvmovie se abrir
una ventana como la de la gura 1 donde se puede observa la evolucin de la onda
que se elija.
Otros programas del mismo autor son: wvsurf.m que dibuja la supercie u(x, t)
en el plano xtu y el programa wvslice.m dibuja la funcin en distintos tiempos.
La ecuacin de conveccin con el coeciente variable:
(2.7) ut + (a(x)u)x = 0,
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 5

0.9

0.8

0.7

0.6
u(x,t)

0.5

0.4

0.3

0.2

0.1

0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5

x

Figura 1. Ventana del programa wvmovie

donde a(x) es una funcin regular, se puede escribir de la forma:

(2.8) + a(x) u(x, t) = a0 (x)u(x, t),
t x
de donde se deduce que la evolucin de u a lo largo de las curvas caractersticas:
(
x0 (t) = a(x(t)),
(2.9)
x(0) = a0 ,
satisface la ecuacin diferencial ordinaria:
d
(2.10) u(x(t), t) = a0 (x(t))u(x(t), t).
dt
Por lo tanto, en este caso la solucin no es constante a lo largo de las caractersticas
pero el problema se reduce a resolver ecuaciones diferencias ordinarias.
La E.D.P. de primer orden no lineal de tipo conservativo (2.1) ms famosa es
cuando la funcin f (u) = 12 u2 llamada ecuacin de ondas no lineal o tambin
ecuacin de Burgers sin viscosidad:
(2.11) ut + uux = 0.
Para la condicin inicial u(x, 0) = u0 (x) y usando el sistema caracterstico se obtiene
la solucin exacta:
(2.12) u(x, t) = u0 (x tu(x, t)),
en la que no es posible, en general, despejar la incognita u, hara falta utilizar el
teorema de la funcin implcita.
6 F. VADILLO

Ejemplo 2.2. Cuando u0 (x) = x la solucin es:

x
(2.13) u(x, t) = ,
1t
que explota en t = 1. Las curvas caractersticas x(t) = (1 t)x(0) conuyen en el
punto (0, 1) como se puede apreciar en la gura 2 y en t = 1 tiene lugar un shock
porque como la solucin es constante a lo largo de las curvas caractersticas, en
t = 1 la solucin debiera tomar todos los valores iniciales cosa que evidentemente
es imposible.

Characteristics for Inviscid Burgers Equation

5

4.5

3.5

2.5
t

1.5

0.5

0
10 8 6 4 2 0 2 4 6 8 10
x

Figura 2. Caracterstica de la ecuacin de Burger para u0 (x) = x

3. Mtodos en diferencias para EDP de primer orden

La teora de los mtodos en diferencias para la ecuacin de ondas lineal (2.3) con
una condicin inicial (2.4) apenas presenta novedades respecto a lo que ya se hizo
para la ecuacin del calor, razn por la cual se har con mayor brevedad. La idea
general sigue la teora desarrollada para los problemas parablicos. Para demostrar
la convergencia de un esquema en diferencias se utiliza el teorema de Lax, es decir,
se demuestra la consistencia con el problema y despus se estudia su condicin de
estabilidad numrica.
Sean entonces h y k los pasos en x y t respectivamente, suponiendo en primer
lugar que a > 0, es decir, las pendientes de las rectas caractersticas son positiva;
el llamado mtodo lateral izquierdo es ahora el mtodo upwind:
(3.1) Ujn+1 = Ujn a(Ujn Uj1
n
).
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 7

donde = hk . Suponiendo que u es sucientemente diferenciable y utilizando de-

sarrollos de Taylor, el e.t.l. que resulta es:
2u 3u
(3.2) Thk = chk + d hk + O(k 3 ) + O(h3 ),
x2 x3
donde:
a a
(3.3) chk = (ak h), dhk = (h2 a2 k 2 ),
2 6
son respectivamente los coecientes de disipacin y dispersin del mtodo. En este
caso si hk = a1 ambos coecientes se anulan y el mtodo es de orden dos.
Para estudiar la estabilidad se sustituye en el esquema en diferencias Ujn =
n ijh
g e para obtener el factor de amplicacin que resulta:
(3.4) g() = (1 a) + aeih ,
cuyo mdulo al cuadrado es:
(3.5) |g()|2 = 1 2a(1 a)(1 cos h) 1,
para a 1 que ser por tanto la condicin de estabilidad de este mtodo.
Cuando chk 6= 0 la llamada ecuacin modicada del mtodo es:
u u 2u 3u
(3.6) +a + chk 2 + dhk 3 = 0,
t x x x
que tiene un trmino de difusin no nulo. Esto provocar un efecto difusivo en el
esquema numrico que aproximar mejor la ecuacin modicada que la original,
es decir, los trminos espurios de difusin provocan que las soluciones numricas
correspondan a una ecuacin de difusin y no de conveccin.
Para evitar este problema se pueden introducen en el esquema numrico trminos
de difusin articiales como se ver en el siguiente ejemplo.
Se considera el mtodo en diferencias progresivo en tiempo y central en espacio,
es decir:
a
(3.7) Ujn+1 = Ujn (Uj+1 n n
Uj1 ),
2
cuyo e.t.l. es:
k 2 a2 2 u k 3 a3 ah3 3 u
(3.8) Thk = ( + ) + O(k 4 ) + O(h4 ).
2 x2 6 6 x3
Si ahora se suma en el esquema una aproximacin del trmino de difusin resulta
el llamado mtodo de Lax-Wendro:
a a2
(3.9) Ujn+1 = Ujn (Uj+1 n
Uj1n
) + 2 (Uj+1n
2Ujn + Uj1
n
),
2 2
cuyo coeciente de difusin es cero y por tanto evitar las difusiones en las aproxi-
maciones numricas. Se trata de un mtodo de orden dos y su factor de amplicacin
es:
h
(3.10) g() = 1 + ia sin h 2a2 2 sin2 ,
2
cuyo modulo cuadrado es:
h
(3.11) |g()|2 = 1 + 4(a4 4 a2 2 ) sin4 1,
2
cuando |a| 1.
8 F. VADILLO

A esta misma condicin llegaron en 1928 Courant, Friedrichs y Lewy por un

razonamiento geomtrico comparando los dominios de dependencia de la ecuacin
diferencial y su discretizacin numrica.
Dado un punto de la red (xj , tn ) el valor de la solucin exacta de (2.3) en dicho
punto u(xj , tn ) = u0 (xj atn ) donde xj atn es la interseccin con el eje OX de
la caracterstica x xj = a(t tn ) que pasa por el punto, entonces si la curvas
caractersticas, en este caso recta, no estn contenida en el dominio de dependencia
del esquema, podramos cambiar el dato inicial para modicar la solucin exacta
pero el esquema no se enterara, razn por lo cual no podra haber convergencia
pero como el esquema es consistente lo que se hubiera perdido es la estabilidad.
Como = hk es constante el dominio de dependencia del punto (xj , tn ) en el
esquema no cambia y su interseccin con el eje OX es el intervalo [xj 1 tn , xj + 1 tn ].
En consecuencia para que:
1 n 1
(3.12) xj atn [xj t , xj + tn )],

la condicin que de cumplirse es que |a| 1 lo cual equivale a escribir que |a| 1
que es la denominada condicin CFL del mtodo numrico, condicin necesaria
para la estabilidad de todo esquema explcito.

4. Sistemas hiperblicos

Una generalizacin de la de la ecuacin de ondas ut + aux = b se obtiene cuando

se escribe el sistema vectorial:
(4.1) ut + Aux = b,
donde u(x, t) v b(x, t) son vectores m-dimensional y A(x, t) una matriz m m.
Evidentemente la naturaleza de la ecuacin depender del tipo de matriz.
Cuando la matriz A es constante se dice que es hiperblico si dicha matriz es
diagonalizable, es decir, existe una matriz P no singular tal que:
= diag(1 , ..., m ) = P 1 AP,
donde los j son los autovalores de A. Como A = P P 1 introduciendo esta
expresin en el sistema se tiene:
ut + P P 1 ux = b,
que se puede escribir como:
(P 1 u)t + (P 1 u)x = P 1 b,
y haciendo el cambio de variable v = P 1 u se llega al sistema de m ecuaciones
desacopladas:
(4.2) (vj )t + j (vj )x = (P 1 b)j ,
de soluciones exactas vj (x, t) = (P 1 u0 )j (x j t) para j = 1, ..., m.
El caso ms interesante de los sistemas hiperblicos es cuando m = 2 y la matriz:

0 1
(4.3) A=
1 0
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 9

Si se expresa la ecuacin vectorial por componentes se tiene lo siguiente:

u1 u2
= 0,
t x
u2 u1
= 0.
t x
Derivando la primera ecuacin respecto de t y la segunda respecto de x resulta:
2 u1 2 u2
= 0,
t2 tx
2 u2 2 u1
= 0,
xt x2
que sumadas dan:
2 u1 2 u1
(4.4) 2
= 0,
t x2
que es la conocida como ecuacin de ondas de orden dos que se estudiar en la
siguiente seccin .
Para discretizar los sistemas hiperblicos se utilizan las misma ideas desarrol-
ladas para las ecuaciones escalar aunque, como es natural, aparecen algunas dicul-
tades debidas al aumento en la dimensin. Por ejemplo, se pueden escribir versiones
vectorial de los mtodos upwind, Lax-Wendro.... ( ver tabla 10.1 de [2]).

5. La ecuacin de ondas de segundo orden

El problema de Cauchy de la ecuacin de ondas de segundo orden de velocidad

c es:

utt c2 uxx = 0, x R, t > 0,
(5.1) u(x, 0) = (x), x R,

ut (x, 0) = (x), xR
cuya solucin exacta se puede calcular de forma explcita. En efecto, es fcil com-
probar que la solucin es la famosa frmula d'Alembert:
Z x+ct
1 1
(5.2) u(x, t) = [(x + ct) + (x ct)] + (s)ds,
2 2c xct
que tambin conviene escribir como suma de dos ondas viajeras de velocidades c:
(5.3) u(x, t) = F (x + ct) + G(x ct),
donde:
Z s
1 1
F (x) = (x) + ()d,
2 2c 0
Z 0
1 1
G(x) = (x) + ()d.
2 2c s
Las rectas x ct = cte son las rectas caractersticas de la ecuacin.
La frmula de d'Alembert para la solucin exacta permite deducir algunas propiedades
importante de la ecuacin de ondas:
1. Velocidad nita de propagacin: la solucin en cada punto del plano (x, t)
depende exclusivamente de los datos iniciales en el intervalo de dependencia
[x ct, x + ct].
10 F. VADILLO

2. No hay efecto regularizante: la solucin u es tan regular como la posicin

inicial y gana una derivada respecto a la velocidad inicial .
3. Conserva la energa: la energa del sistema que se dene de la forma:
Z
1
(5.4) E(t) = |ux (x, t)|2 + |ut (x, t)|2 dx,
2 R
verica que:
dE
= 0, t 0.
dt
Esta ley de conservacin sugiere que
T el1 si (, ) H 1 (R) L2 (R) entonces
1 2
la solucin u C([0, ); H (R)) C ([0, ); L (R)) lo que indica que se
preserva la regularidad en los datos iniciales.

Para un modelo simplicado de las vibraciones de una cuerda de longitud se

tiene la ecuacin de ondas en un intervalo acotado :


utt c2 uxx = 0, 0 < x < , t > 0,

u(x, 0) = (x), 0 < x < ,
(5.5)

u t (x, 0) = (x), 0 < x < ,

u(0, t) = u(, t) = 0, t > 0,
donde se han impuesto condicione de contorno de Dirichlet que indican que la
cuerda est jada en los extremos.
El mtodo de separacin de variables permite escribir la solucin en serie de
Fourier. Si los datos iniciales admiten un desarrollo en serie de Fourier:
X X
(x) = l wl (x), (x) = l wl (x), 0 < x < ,
l1 l1
q
2
donde wl (x) = sin(lx), la solucin se escribe de la forma:

!
X l
(5.6) u(x, t) = l cos(lt) + sin(lt) wl (x).
l
l=1

Nuevamente la energa de la solucin que es:

Z
1
(5.7) E(t) = |ux (x, t)|2 + |ut (x, t)|2 dx.
2 0
se conserva, y el espacio natural para resolver el problema es H01 (0, ) L2 (0, ).
El programa wvstring.m de [1] dibuja la solucin de d'Alembert para diferentes
valores iniciales y condiciones de contorno.
Discretizando la variable x con un paso h = M+1 y utilizando la clsica aprox-
imacin de tres puntos para la segunda derivada se obtiene el sistema semi-
discreto de M ecuaciones diferenciales ordinarias lineales:

00 2 uj+1 (t)2uj (t)+uj1 (t)
uj (t) c

h2 = 0, t > 0
uj (0) = j ,
(5.8)

u0 (t) = j ,
j
u0 (t) = uM +1 (t) = 0, t > 0,
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 11

para j = 1, ..., M y que en notacin vectorial se puede escribirse en la forma:

00
u (t) Ah u(t) = 0,
(5.9) u(0) = ,
0
u (0) = .
donde:

u1 (t) 2 1
.. .. ..
. c2 1 . .
u(t) =
..
,
Ah =

.

h2 .. ..
. . . 1
uM (t) 1 2
Considerando ahora el problema de autovalores:
Ah W = W,
las soluciones son:
4c2 2 h
l (h) = 2 sin l ,
h 2
y los autovectores asociados:

r sin(lx1 )
2 ..
Wl (h) = . ,

sin(lxM )
para j = 1, ..., M , y por tanto se concluye que cuando h 0 los autovalores y
autovectores del problema semi-discreto convergen a los autovalores y autovectores
del problema continuo.
La solucin del problema semi-discreto tambin se puede desarrollar en serie
de Fourier. Suponiendo que los datos iniciales admiten los desarrollos en serie de
Fourier siguientes:
M
X
= l (h)Wl (h),
l=1
M
X
= l (h)Wl (h),
l=1
con:
l (h) = h, W(h)ih ,
l (h) = h, W(h)ih
PM
en donde he, f ih = h j=1 ej fj ; la solucin del mtodo semi-discreta que resulta
es:
M
!
X l (h)
(5.10) u(t) = l (h) cos(l (h)t) + sin(l (h)t) Wl (x),
l (h)
l=1
p
donde l (h) = l (h).
Tambin se puede denir una versin discreta de la energa de la forma:
M
" 2 #
h X uj+1 uj 0 2
(5.11) Eh (t) = + |uj | ,
2 j=0 h
12 F. VADILLO

que naturalmente es conservada, es decir, dE dt = 0. La conclusin nal a la que

h

se llega es que el sistema semi-discreto es una aproximacin natural del sistema

continuo y se trata de un mtodo consistente de orden dos.
Para estudiar su estabilidad se puede hacer un anlisis de Von Neumann insertan-
do uj (t) = g(t)eijh en la frmula del mtodo obtenindose la ecuacin diferencial
de segundo orden:
c2 h
g 00 (t) + 4 2 sin2 g(t) = 0,
h 2
que multiplicada por g 0 (t) se expresa de la forma:

d 1 0 2 c2 2 h 2
|g (t)| + 2 2 sin |g(t)| = 0,
dt 2 h 2
que garantiza la estabilidad del mtodo.

6. Mtodos en diferencias

El esquema completamente discreto ms utilizado para aproximar numrica-

mente la ecuacin de ondas de segundo orden es el llamado mtodo leap-frog:
n+1 n n1 n n n

Uj 2U j +Uj
= c2 Uj+1 2Uj +Uj1
,
k 2 h 2
(6.1) U 0
= j ,
j
Un = Un
0 M +1 = 0, ,
para j = 1, ..., M y n 0. Como se trata de un esquema de tres niveles, para
comenzar es imprescindible conocer los Uj0 = j y los Uj1 que de momento se
desconocen, lo natural es utilizar el dato inicial de la derivada y tomar:
(6.2) Uj1 = j + kj ,
porque se trata de una aproximacin de orden dos como lo es tambin el mtodo.

Este mtodo explcito se puede reescribir de forma ms cmoda como:

(6.3) Ujn+1 = (2 22 )Ujn + 2 (Uj+1
n n
+ Uj1 ) Ujn1 ,
con = c hk . Evidentemente es un mtodo consistente de orden dos, y para la
estabilidad se puede utilizar el mtodo de Von Neumann insertando la solucin
Ujn = g n eijh con el resultado siguiente:

h
(6.4) g 2 = 2 42 sin2 ( ) g 1,
2
cuyas races tiene el mdulo menor que uno si 1 que por tanto ser la condicin
de estabilidad. La misma condicin se obtiene cuando se comparan los dominios
de dependencia de la ecuacin diferencial y el esquema numrico en lo sera la
condicin CFL del mtodo.
El programa finedif.m de la referencia [6] implemente el este mtodo leap-frog
y en gura 3 se ha representado la solucin obtenida para el problema:


utt 4uxx = 0, 0 x 1, 0 t 0,5,

u(x, 0) = sin x + sin 2x, 0x1
(6.5)

ut (x, 0) = 0, 0x1

u(0, t) = u(, t) = 0, 0 t 0,5,
 MTODOS EN DIFERENCIAS FINITAS PARA PROBLEMAS HIPERBLICOS 13

1.5

0.5
u(x,t)

0.5

1.5

2
0 20
2 15
4
10
6
5
8
10 0
t
x

Figura 3.

En la bibliografa clsica [3], [4], [5], [2].... se pueden encontrar otros muchos
mtodos en diferencias para la ecuacin de ondas de segundo orden.

Referencias
1. R. Knobel, An Introduction to the Mathematical Theory of Waves, Americal Mathematical
Sociaty, 1999.
2. R.L. LeVeque, Numerical Methods for Conservation Laws, Birkhauser, 1992.
3. R.D. Richtmeyer and K.W.Morton, Dierence Methods for Initial Value Problems (Second
Edition), John Wiley, 1967.
4. J.C. Strikwerda, Finite Dierence Squemes for P.D.E., Wadswork, 1989.
5. E.H. Twizell, Computational Methods for P.D.E., Ellis Horwood, 1984.
6. J.F. Mathews y K.D. Fink, Mtodos Numricos con MATLAB. Tercera edicin, Prentice Hall,
1999.

Dep. Matemtica Aplicada y Estadstica e I.O. de la UPV/EHU.

E-mail address : fernando.vadillo@ehu.es