Resolucin numrica de ecuaciones diferenciales

con derivadas parciales

1. Objetivo

Las presentes notas de clase tienen como objetivo el estudio, desde el anlisis numrico, de las ecuaciones
diferenciales con derivadas parciales (EDP) y su aplicacin a problemas de ingeniera.
Se supone como saberes previos el conocimiento de ecuaciones diferenciales con derivadas parciales. Entre
otros contenidos, se recomienda la revisin de: errores, derivacin numrica, resolucin de sistemas de ecuaciones
y manejo de software especco

2. BIBLIOGRAFA:

Los distintos temas comprendidos en esta gua de estudio se presentan de manera introductoria, siendo
necesaria la consulta entre la bibliografa citada a continuacin.
1. Burden R. y Faires D. , Anlisis Numrico, Grupo Editorial Thomson.
2. S. Chapra y R. Canale , Mtodos Numricos para Ingenieros, cuarta edicin, McGraw-Hill.
3. S. Nakamura , Anlisis Numrico y Visualizacin Grca con MatLab, Prentice-Hall.
4. Mathews, Fink , Mtodos Numricos con Matlab, Prentice-Hall.

1
UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

ndice

1. Ob jetivo 1

2. BIBLIOGRAFA: 1

3. Introduccin 3

4. Tipos de ecuaciones diferenciales en derivadas parciales 3

5. Condiciones de contorno 3

6. Soluciones numricas de las EDPs 4

6.1. Mtodo de Diferencias Finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
6.2. Consistencia, convergencia y estabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
7. Ecuaciones elpticas 6
7.1. Ecuacin de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
7.1.1. Solucin numrica de la ecuacin de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . 6
8. Ecuaciones parablicas 7
8.1. Mtodo explcito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
8.2. Mtodo implcto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

Matemtica D1 - Rev: 1.01-2016 2

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

3. Introduccin

Las ecuaciones diferenciales son una herramienta de suma utilidad para la ingeniera ya que permiten el
modelado matemtico de una variada cantidad de problemas fsicos.
En este tipo de problemas se encuentran presentes funciones de varias variables y sus derivadas parciales,
representndose en una ecuacin de la siguiente forma:

f (x, y, ux , uy , uxx , )
Donde:
u u 2u
ux = uy = uxx =
x y x2
son las derivadas parciales intervinientes. El orden de la ecuacin diferencial parcial (EDP) estar denido
por el grado de la derivada parcial mayor.
Suponiendo que la EDP posea dos variables, se busca la solucin u(x, y) que satisfaga la ecuacin f para
todo (x, y).
A la ecuacin diferencial se debern adicionar condiciones de borde (condiciones iniciales y/o condiciones de
frontera) de manera de hallar una solucin particular de la ecuacin de inters para el problema de ingeniera
que se est abordando.
En la ingeniera, el concepto de medio continuo es utilizado en la representacin de numerosos problemas de
slidos, uidos (lquidos y gases), materiales en fundicin y otros materiales. El modelo matemtico de muchos
problemas es de tipo continuo en el espacio y el tiempo, y en general la representacin es a travs de ecuaciones
diferenciales en derivadas parciales. La resolucin exacta de estas ecuaciones es posible obtenerla para casos
sencillos, que muchas veces no son representativos del problema fsico que se pretende modelar. Por esto se
estudiarn algunos mtodos numricos con los que se pretende alcanzar una solucin aproximada al problema.

4. Tipos de ecuaciones diferenciales en derivadas parciales

Las ecuaciones diferenciales en derivadas parciales representan el modelo matemtico de muchos problemas
de ingeniera como la mecnica de slidos continuos, escurrimientos de uidos, transferencia de calor, etc.
A partir de una ecuacin bidimensional lineal de segundo orden:
2u 2u 2u u u
a 2
+ b + c 2
+d +e + f u(x, y) + g = 0
x xy y x y
procederemos a una clasicacin de la siguiente manera:
Si b2 4ac < 0 ecuaciones elpticas
Si b2 4ac = 0 ecuaciones parablicas
Si b2 4ac > 0 ecuaciones hiperblicas
Las ecuaciones parablicas e hiperblicas representan en general problemas que dependen del tiempo. Las
ecuaciones elpticas describen problemas de equilibrio o estacionarios.

5. Condiciones de contorno

Para que la solucin exista y sea nica deben establecerse condiciones iniciales y/o de contorno al problema.
Sea un dominio en el que es vlida la EDP y sea el contorno o frontera de ese dominio, como se representa
en la gura 1, se pueden diferenciar tres tipos de condiciones de contorno:

Condiciones de Dirichlet: en este caso se supone conocido el valor de la funcin u(x, y) incgnita en el
contorno o frontera , o en una parte 1 de la frontera del problema.
Sea u(x, y) un valor prejado en la frontera, la condicin de contorno de Dirichlet se puede expresar como:

u(x, y)|1 = u(x, y)

Matemtica D1 - Rev: 1.01-2016 3

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

y(x)

x
Figura 1

Condiciones de Neumann: se conoce el valor de la derivada de la funcin incgnita en el contorno o

frontera del problema. Se identican estas condiciones cuando, por ejemplo, la derivada de la incgnita
segn la normal n (gura 1) exterior a la frontera , o en una parte 2 de ella toma un valor prejado q ,
se puede expresar como:

u(x, y) 
=q
n 2

Condiciones mixtas: son una combinacin lineal de las dos primeras.

Las condiciones de contorno dependern del tipo de problema y de las variables de las que depende.

6. Soluciones numricas de las EDPs

Las soluciones analticas de las Ecuaciones Diferenciales Parciales (EDPs) para una determinada geometra
y condiciones de contorno pueden resultar engorrosas y en la mayora de los casos imposibles de obtener.
En estos casos resulta particularmente til la aplicacin de Mtodos Numricos de solucin que, si bien no
suministran el resultado para absolutamente todos los puntos del dominio, lo hacen en un nmero discreto de
aquellos que resulta suciente para los nes prcticos.
Entre los mtodos numricos ms difundidos para la resolucin de las EDPs se encuentran los de Diferencias
Finitas y de Elementos nitos. Cada uno de estos mtodos plantea un esquema de discretizacin del dominio
que lo caracteriza y adems encierra determinadas limitaciones presentando algunas dicultades.
Los inconvenientes que presentan las tcnicas de diferencias nitas son:

La grilla regular de diferencias nitas que se utiliza en la discretizacin es incapaz de reproducir con
precisin todas las geometras de los problemas a resolver (fundamentalmente cuando se trata de contornos
curvos).

Para los casos en que las condiciones de contorno involucran derivadas, resulta necesario utilizar puntos
externos cticios.

Las desventajas que presenta el Mtodo de Elementos Finitos son:

La gran cantidad de informacin requerida para discretizar el dominio completo.

Los resultados que se obtienen son poco precisos cuando los problemas involucran funciones discontinuas,
singularidades o funciones que varan rpidamente.

Los modelos pueden ser difciles de de construir, chequear o modicar.

Matemtica D1 - Rev: 1.01-2016 4

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

6.1. Mtodo de Diferencias Finitas

En este mtodo se aproximan las derivadas mediante desarrollos en series de Taylor truncadas y se las
aplica en un nmero discreto de puntos del dominio. Sobre cada uno de estos puntos, la aplicacin de estas
aproximaciones conduce a una ecuacin algebraica representativa de la ecuacin en diferencias parciales que
gobierna el fenmeno. Teniendo en cuenta las condiciones iniciales y las condiciones de contorno, la aplicacin
de esta aproximacin conduce a un sistema de ecuaciones algebraicas, cuya solucin exacta es la solucin
aproximada de la ecuacin en diferencias parciales.
El primer paso consiste en la construccin de una grilla discreta del dominio de la EDP a partir de la eleccin
de un paso de discretizacin de cada variable como se esquematiza en la gura 2.

j+1 j+1 j+1

i-1 i i+1

j j j
i-1 i i+1

j-1 j-1 j-1

i-1 i i+1

Figura 2

Si u(x, y) es la solucin de la ecuacin diferencial se calcular la aproximacin u(xi , yj ) en los puntos de la

grilla discreta.
El segundo paso consiste en expresar las derivadas por sus correspondientes aproximaciones, si la ecuacin
diferencial contiene derivadas primeras, estas aproximaciones pueden realizarse de tres maneras distintas:
Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo de inters y en el nodo
siguiente la aproximacin dada por la diferencia se llama hacia delante (forward dierence aproximation ),
cuyas expresiones son las siguientes:

uji+1 uji
j j
u(x, y)  u(x, y)  uj+1
i uji

x i x y i y

Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo de inters y en el nodo
anterior la aproximacin dada por la diferencia se llama hacia atrs (backward dierence aproximation ),
cuyas expresiones son las siguientes:

uji uji1
j j
u(x, y)  u(x, y)  uji uj1
i

x i x y i y

Cuando la derivada se reemplaza por la diferencia nita de las soluciones en el nodo anterior y en el nodo
siguiente la aproximacin dada por la diferencia se llama centrada (centred dierence aproximation ), cuyas
expresiones son las siguientes:

uji+1 uji1
j j
u(x, y)  u(x, y)  uj+1
i uij1

x i 2 x y i 2 y

Matemtica D1 - Rev: 1.01-2016 5

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

Adoptando este ltimo tipo de aproximacin (centrada) para la derivada segunda, las expresiones resultantes
son las siguientes:
j j
2 u(x, y)  uji1 2 uji + uji+1 2 u(x, y)  uj1
i 2 uji + uj+1
i

x2 i x2 y 2 i y 2
Se utiliza signo en lugar del signo = ya que las aproximaciones dadas involucran un cierto error producto
de no considerar todos los trminos de la expansin en series de Taylor (truncado).
Una vez escogidos los esquemas de derivacin que se utilizaran se procede a discretizar la EDP que se desea
resolver, de esta forma se obtiene un esquema de clculo que debe ser aplicado en cada nodo interno de la
grilla construida. Estos esquemas, generalmente se expresan de forma grca, como se describe en secciones
posteriores y son conocidos como molculas o stencil, proveniente del idioma ingls.
En la mayora de los casos, la aplicacin de la molcula de clculo en todos los nodos internos de la grilla
permitir la construccin de un sistema de ecuaciones lineales que junto al empleo de las condiciones de borde
del problema permite obtener una aproximacin de la variable de inters en cada punto de la grilla.

6.2. Consistencia, convergencia y estabilidad

El sistema de ecuaciones algebraicas generado por la discretizacin se dice consistente con la EDPs original,
si en el lmite para el que tanto x como y tienden a cero, el sistema de ecuaciones algebraicas obtenido
resulta equivalente a la EDPs en cada punto de la grilla. Esto implica que cuando las dimensiones del espaciado
de la grilla se hacen tender a cero, el error de truncado tambin tiende a cero.
El sistema de ecuaciones algebraicas generado por la discretizacin se dice convergente si se acerca a la
solucin exacta de la EDPs para cada valor de las variables independientes cuando el espaciado de la grilla
tiende a cero.
En cada paso computacional que tiende a la solucin del sistema, se introducen errores de redondeo. Cuando
el efecto acumulativo de todos estos errores resulta despreciable el mtodo para llegar a la solucin del sistema
se dice que es estable.

7. Ecuaciones elpticas

Las ecuaciones elpticas representan problemas no dependientes del tiempo, de tipo estacionario o de equi-
librio.

7.1. Ecuacin de Laplace

Dentro de las EDPs Elpticas se encuentran algunas que tienen mltiples aplicaciones en el campo de la
ingeniera, tales como las de Poisson y de Laplace, que pueden expresarse segn la siguiente ecuacin:
2u 2u

2 f = 0 : Laplace
u= + 2 = f (x, y)
x2 y f 6= 0 : P oisson
que representa el comportamiento de una variable u en un dominio plano (x, y).
La ecuacin de Laplace as expresada es una ecuacin bidimensional, de segundo orden, lineal, homognea y
de coecientes constantes, que describe potenciales elctricos, gravitatorios o de velocidad, o procesos de difusin
en los que se ha alcanzado un equilibrio trmico.
La ecuacin de Poisson es tambin una ecuacin bidimensional, de segundo orden, lineal, de coecientes
constantes, pero no homognea.
La ecuacin de Laplace describe siempre procesos estacionarios en los que el tiempo no es una de las
variables independientes. Esto signica que el tipo de problemas que se considera para esta ecuacin no va a
incluir condiciones iniciales (a diferencia de lo que ocurre con, por ejemplo, las ecuaciones de ondas y difusin).

7.1.1. Solucin numrica de la ecuacin de Laplace

Se discretiza el dominio continuo (x, y) a partir de la eleccin de un valor para x y uno para y de forma
tal que:

xi+1 = xi + x
yj+1 = xj + y

Matemtica D1 - Rev: 1.01-2016 6

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

Se escogen los esquema de derivacin numricos para las derivadas segundas respecto a cada variable:
j j
2 u(x, y)  uji1 2 uji + uji+1 2 u(x, y)  uj1
i 2 uji + uj+1
i

x2  i x2 y 2  i y 2

Se discretiza la ecuacin diferencial de Laplace, utilizando las aproximaciones de las derivadas

2u 2u
+ 2 =0
x2 y

uji1 2 uji + uji+1 uij1 2 uji + uj+1

i
+ =0
x2 y 2

Si se recoge x = y agrupando y reordenando se obtiene el siguiente esquema de 5 puntos

uji1 + uj1
i 4 uji + uji+1 + uj+1
i =0

Se puede representar de forma simblica con la molcula que se muestra en la gura 3, tambin conocido
como stencil.
j+1
1
i

j j j
1 4 1
i-1 i i+1

j-1
1
i
Figura 3

8. Ecuaciones parablicas

Las ecuaciones parablicas representan problemas dependientes del tiempo, en general con condiciones ini-
ciales en el tiempo t = 0. Un problema clsico de este tipo, es la ecuacin de difucin del calor unidimensional

u(x, t) 2 u(x, t)
=C
t x2

Donde u(x, t) es la variable (temperatura) en el dominio unidimensional x, y C es el coeciente de conduc-

tibilidad trmica, que es una propiedad dependiente del material.
Para la resolucin aplicando el mtodo de diferencias nitas se procede a discretizar las variables espacio y
tiempo. Se utilizar como notacin el subndice i para representar la variable dimensional x y el suprandice n
para representar la variable del tiempo t, como se esquematiza en la gura 4.
Segn los puntos que se utilicen y el esquema de derivacin empleado se obtendr el mtodo explicito o
implcito que se describen a continuacin.

Matemtica D1 - Rev: 1.01-2016 7

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

i=0 i=1 i=2 i=2 i=4

n=0

n=1

n=2
un
i

n=3

n=4

Figura 4

8.1. Mtodo explcito

La derivada primera respecto al tiempo y la derivada segunda respecto al espacio de la EDP se reemplazan
por las aproximaciones numricas siguientes:
n n
u(x, y)  un+1
i uni 2 u(x, y)  uni+1 2 uni + uni1

t i t y 2 i x2

reemplazando en la ecuacin diferencial

un+1 uni un 2 uni + uni1

i
= C i+1
t x2

se despeja el trmino un+1

i obteniendo el siguiente esquema de clculo explcito:

t
un+1 =C (un 2 uni + uni1 ) + uni
i
x2 i+1
t
deniendo a = C y reagrupando se obtiene:
x2

un+1
i = uni+1 + (1 2 ) uni + uni1

Se puede representar de forma simblica con la siguiente molcula:

n n n
1-2
i-1 i i+1

n+1
1
i
Figura 5

1
El mtodo explcito es condicionalmente estable, necesariamente se debe cumplir 0 .
2

Matemtica D1 - Rev: 1.01-2016 8

UNIVERSIDAD NACIONAL DE LA PLATA Facultad de Ingeniera

8.2. Mtodo implcto

En este caso, para la aproximacin de la derivada primera respecto al tiempo se utiliza una expresin hacia
atrs, de forma que, las aproximaciones de las derivadas son:
n n
u(x, y)  un un1 2 u(x, y)  un 2 uni + uni1
i i
2
i+1
t 
i t y 
i x2
reemplazando en la ecuacin diferencial
uni un1 un 2 uni + uni1
i
= C i+1
t x2
operando algebraicamente se obtiene el siguiente esquema de clculo:
 
t n t t n
un1 C u + 1 + 2C uni C u =0
i
x2 i+1 x2 x2 i1
t
deniendo a = C se obtiene:
x2
un1
i uni+1 + (1 + 2 ) uni uni1 = 0

Se puede representar de forma simblica con la siguiente molcula:

n-1
-1
i

n n n
- 1+2 -
i-1 i i+1
Figura 6

El mtodo implcito no presenta condicionamientos para la estabilidad.

Matemtica D1 - Rev: 1.01-2016 9