Variable Compleja & Transformadas (Matemticas II)

Departamento de Matemtica Aplicada y Estadstica

E.T.S. Ingeniera Industrial B UPCT
Grado en Ingeniera Electrnica Industrial y Automtica

Guin resumen del tema 6

Ecuaciones en derivadas parciales. Resolucin aproximada
mediante el mtodo de las diferencias nitas
1. Clasicacin
Una ecuacin diferencial en la que aparecen dos o ms variables independientes se llama

ecuacin derivadas parciales (edp). En una ecuacin en derivadas parciales, la incgnita es

una funcin u : R2 7 R; (x, t) 7 u(x, t) que suele modelar algn fenmeno con origen en la Fsica
(temperatura, vibracin, elasticidad,... etc.). Estudiaremos ecuaciones en derivadas parciales con
la siguiente estructura:

auxx (x, t) + buxt (x, t) + cutt (x, t) = F (x, t, u, ux , ut ) ;

(1)

donde a, b, c R y F es una funcin que depende de x, t, u y derivadas primeras de u. Identicaremos x con una variable espacial y t como variable temporal. Si la ecuacin no depende del
tiempo se denomina estacionaria y, en este caso, la funcin u = u(x, y) depende de las variables
espaciales x, y .

Si b2 4ac > 0, la ecuacin (1) se llama hiperblica.

J

Si b2 4ac = 0, la ecuacin (1)se llama parablica.

Si b2 4ac < 0, la ecuacin (1) se llama elptica.

Como prototipos de los casos anteriores consideraremos las siguientes edp's.

Como ejemplo de una ecuacin hiperblica consideramos el modelo unidimensional de una

cuerda vibrante de longitud L. El desplazamiento vertical de la cuerda en la posicin
x (0, L) en un instante de tiempo t > 0 viene dado por la solucin u(x, t) de la ecuacin
de ondas:
utt (x, t) = T uxx (x, t);

(x, t) (0, L) (0, +).

La constante es la masa de la cuerda por unidad de longitud y T es la tensin de la

cuerda. La ecuacin se reformula como

utt (x, t) = c2 uxx (x, t);

2012

(x, t) (0, L) (0, +).

Material docente elaborado por M. Moncayo.

(2)

Variable Compleja & Transformadas

La posicin y velocidad inicial vienen dadas por:

para 0 t < +,

u(x, 0) = f (x)
ut (x, 0) = g(x)

para 0 x < L.

Los valores de desplazamiento vertical en los extremos de la cuerda son nulos, es decir:

u(0, t) = 0

para 0 t < +,

u(L, t) = 0

para 0 t < +.

Como ejemplo de ecuacin parablica consideramos el modelo uni-dimensional del ujo

de calor en un alambre aislado de longitud L. La ecuacin del calor, que nos da la
temperatura u(x, t) en la posicin x del alambre y en el instante t, es

uxx (x, t) = ut (x, t) (x, t) [0, L) (0, +).

La constante es el coeciente de conductividad trmica, es el calor especco y es la
densidad del material. La ecuacin anterior se suele reformular como

ut (x, t) = c2 uxx (x, t) (x, t) [0, L) (0, +).

(3)

La distribucin inicial de temperaturas es

u(x, 0) = f (x)

para 0 x L.

La condicin de contorno en los extremos del alambre es

u(0, t) = g1 (t)
u(L, t) = g2 (t)

para 0 t < +,
para 0 t < +.

u es la funcin potencial, que puede representar el rgimen estacionario de un potencial

electrosttico o el rgimen estacionario de la distribucin de temperatura en una regin
del plano de forma rectangular. Estas situaciones se modelan mediante la ecuacin de
Laplace sobre el rectngulo:
uxx (x, y) + uyy (x, y) = 0;

(x, y) (0, a) (0, b).

(4)

La ecuacin anterior se suele escribir en trminos del operador de Laplace:

u(x, y) = 0;

(x, y) (0, a) (0, b).

Las condiciones de contorno sobre cada lado del rectngulo se denen mediante unas
funciones conocidas f1 , f2 , f3 y f4 :

u(x, 0) = f1 (x) x [0, a],

u(x, b) = f2 (x) x [0, a],
u(0, y) = f3 (y) y [0, b],
u(a, y) = f4 (y) y [0, b].
En algunos casos es posible resolver de manera exacta las ecuaciones en derivadas parciales
descritas haciendo uso de desarrollos de Fourier y el mtodo de separacin de variables. La
solucin exacta resulta tambin til a la hora de comprobar la ecacia de un mtodo de solucin
aproximado o numrico. En este tema se presenta el mtodo numrico ms sencillo para resolver
edp's.
Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas

2. El mtodo de las diferencias nitas. Consideraciones generales

El teorema de Taylor establece que si u es una funcin de una variable, x, con derivadas
nitas y continuas y h > 0, entonces se tiene:

h2 00
u (x) +
2!
h2 00
0
u(x h) = u(x) hu (x) + u (x)
2!
0

u(x + h) = u(x) + hu (x) +

h3 000
u (x) + O(h4 )
3!
h3 000
u (x) + O(h4 ),
3!

donde O(h4 ) denota a trminos que contienen potencias de hn , con n 4. Al sumar las dos
expresiones anteriores se obtiene
00

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

Si asumimos que los trminos O(h4 ) son pequeos, entonces se tiene la siguiente aproximacin
00
de u (x). Esta aproximacin es de orden h2 :
00

u (x) w

u(x + h) 2u(x) + u(x h)

.
h2

(5)

Anlogamente, restando las ecuaciones de la expansin Taylor con trminos O(h3 ), se obtiene
0
una aproximacin de u (x) que es de orden h2 :
0

u (x) w

u(x + h) u(x h)
.
2h

(6)

La expresin (6) indica que una aproximacin de la pendiente de la recta tangente a u en (x, u(x))
se puede construir mediante la pendiente de la recta que une los puntos (x h, u(x h)) y
(x + h, u(x + h)). La aproximacin (6) se conoce como aproximacin por diferencia central.
0
Si se aproxima u (x) mediante la pendiente de la recta que une los puntos (x h, u(x h)) y
(x, u(x)) se obtiene la aproximacin por diferencias progresivas:
0

u (x) w

u(x) u(x h)
.
h

(7)

Si se aproxima u (x) mediante la pendiente de la recta que une los puntos (x, u(x)) y (x +
h, u(x + h)) se obtiene la aproximacin por diferencias regresivas:
0

u (x) w

u(x + h) u(x)
.
h

(8)

Si u es una funcin de dos variables, (x, y) R2 , suencientemente regular, entonces pueden

obtenerse expresiones anlogas a las anteriores para aproximar las derivadas parciales de u de
primer y segundo orden. En esas expresiones, h denota el paso para la variable x y k > 0 denota
el paso para la variable y . Con idea de simplicar la escritura, si xi R, se suele denotar xi h
como xi1 y xi + h como xi1 . Anlogamente, si yj R, se suele denotar yj k como yj1 y
yj + k como yj1 y tambin u(xi , yj ) se denota mediante ui,j .
Se dene una particin uniforme en el plano de la siguiente forma:

{(xi , yj ) R2 ; xi = ih, yj = jk; i Z, j Z}.

Con esta notacin, y teniendo en cuenta las expresiones (5), (6), (7), (8), obtenemos que:

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas

ui+1,j 2ui,j + ui1,j

,
(9)
h2
ui,j+1 2ui,j + ui,j1
,
uyy (xi , yj ) w
k2
ui+1,j ui1,j
ux (xi , yj ) w
, (diferencia central)
2h
ui,j+1 ui,j1
uy (xi , yj ) w
, (diferencia central)
2k
ui,j ui1,j
ux (xi , yj ) w
, (diferencia progresiva)
h
ui,j ui,j1
uy (xi , yj ) w
, (diferencia progresiva)
k
ui+1,j ui,j
, (diferencia regresiva)
ux (xi , yj ) w
h
ui,j+1 ui,j
uy (xi , yj ) w
, (diferencia regresiva).
k
El mtodo de las diferencias nitas para la resolucin de ecuaciones diferenciales ordinarias y
ecuaciones en derivadas parciales consiste en transformar las ecuaciones de partida por ecuaciones
en diferencias mediante la sustitucin de las derivadas por las correspondientes aproximaciones
de (9).
uxx (xi , yj ) w

2.1. Mtodo de las diferencias nitas para la ecuacin de ondas

La ecuacin (2) se considera formulada en los intervalos x (0, L) y t (0, b), donde b R.
Se dene una particin uniforme del rectngulo (0, L) (0, b). La particin es

{xi , tj ) R2 ; xi = ih, tj = (j 1)k; i = 1, 2, n, j = 1, 2, m}

y se cumple que t1 = 0. Si se sustituye en (2) las derivadas por las aproximaciones, se tiene la
siguiente ecuacin en diferencias:

ui,j+1 2ui,j + ui,j1

2 ui+1,j 2ui,j + ui1,j
=c
.
k2
h2
ck
Si se denota r = , entonces la ecuacin anterior queda
h

ui,j+1 2ui,j + ui,j1 = r2 (ui+1,j 2ui,j + ui1,j ).

Tras reordenar los trminos, obtenemos una expresin que permite calcular los valores de u
en la la j + 1-sima a partir de los valores sobre las dos las anteriores:

ui,j+1 = (2 2r2 )ui,j + r2 (ui+1,j + ui1,j ) ui,j1 ;

(i = 2, 3, , n 1).

(10)

Las condiciones iniciales del problema nos hacen conocer la solucin para t = t1 = 0, pues
u(xi , 0) = f (xi ). Por tanto ui,1 es conocido. Los valores de ui,2 son necesarios para comenzar
a aplicar (10). A partir de la condicin ut (xi , 0) = gi se puede obtener una aproximacin de
u(xi , t2 ) que se toma como ui,2 . Si f es derivable, entonces ui,2 = fi + kgi , i = 2, 3, , n 1. Si
00
f es dos veces derivables, entonces ux,x (x, 0) = f (x) y es posible usar la frmula de Taylor de
orden 2 para obtener

r2
(fi+1 + fi1 ); (i = 2, 3, , n 1).
2
Nota: Si el error cometido en una etapa de los clculos no se amplica en las etapas
posteriores, entonces se dice que el mtodo es estable. Para garantizar la estabilidad de la
frmula (10) es necesario que r 1. Existen otros esquemas ms complejos, llamados implcitos,
que no precisan restricciones sobre r para garantizar la estabilidad.
ui,2 = (1 r2 ) fi + k gi +

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas

2.2. Mtodo de las diferencias nitas para la ecuacin del calor

Consideraremos la ecuacin introducida en (3) en el caso particular en el la temperatura
del alambre sea constante en los extremos, i.e., g1 (t) = c1 , g2 (t) = c2 ,, c1 , c2 R. Tambin se
considera t [0, b], con b R y una particin uniforme de [0, L] [0, b] con t1 = 0:

{xi , tj ) R2 ; xi = ih, tj = (j 1)k; i = 1, 2, n, j = 1, 2, m}.

La ecuacin (3) se transforma en una nueva ecuacin en diferencias al sustituir las derivadas
correspondientes por las expresiones de (9). Si se sustituye ut por la expresin de diferencias
regresivas, se obtiene:

ui,j+1 ui,j
2 ui1,j 2ui,j + ui+1,j
=c
.
k
h2
Por comodidad, tomaremos r = c2 k/h2 en la ecuacin anterior. Al reordenar un poco los trminos,
se obtiene lo que se conoce como ecuacin en diferencias progresivas explcita, que permite
calcular los valores de ui,j+1 a partir de los de la la anterior:
(11)

ui,j+1 = (1 2r)ui,j + r(ui1,j + ui+1,j ).

Para comenzar a aplicar la expresin anterior, es necesario conocer ui,1 , y este dato se tiene
directamente de la condicin inicial: u(xi , 0) = f (xi ).

Observaciones:
La frmula de diferencias progresivas (11) es estable si, y solo si, 0 r
que el tamao del paso k debe cumplir k

h2
.
2c2

1
. Esto signica
2

La precisin de la ecuacin en diferencias progresivas (11) es de orden O(k) + O(h2 ). Como

el trmino O(k) tiende a cero linealmente, de nuevo tenemos que es necesario considerar k
pequeo para obtener buenas aproximaciones.

2.3. Mtodo de las diferencias nitas para la ecuacin de Laplace

La ecuacin (4) est denida en el rectngulo [a, b]. En este caso se considera una particin
uniforme del rectngulo con h = k , es decir a = nh y b = mh. As la particin se dene mediante
(n 1)(m 1) cuadrados de lado h. A partir de (9), si h = k , el operador de Laplace se puede
aproximar por la expresin

u(xi , yj ) w

ui+1,j + ui1,j + ui,j+1 + ui,j1 4ui,j

.
h2

Por tanto, la versin discreta de la ecuacin (4) es

ui+1,j + ui1,j + ui,j+1 + ui,j1 4ui,j = 0.

(12)

Las condiciones de contorno sobre la frontera del rectngulo permiten conocer los valores sobre
los puntos de la malla siguientes:

ui,1 = f1 (xi ) i = 2, , n 1,
ui,m = f2 (xi ) i = 2, , n 1,
u1,j

= f3 (yj ) j = 2, , m 1,

un,j

= f4 (yj ) j = 2, , m 1.
Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas

Al aplicar la expresin (12) en cada uno de los puntos de la malla que pertenecen al interior
del rectngulo, se obtiene un sistema lineal de (n 2) ecuaciones con (n 2) incgnitas. La
solucin de este sistema es nica y proporciona las aproximaciones de la solucin exacta u(x, y)
sobre los puntos de la malla interiores al rectngulo.

Material docente elaborado por M. Moncayo.