La Universidad del Zulia

Facultad de Ingeniería
División de Estudios para Graduados

Asignatura:
Tópicos Especiales en Computación Numérica

7. Ecuaciones diferenciales parciales

• Diferencias finitas: ecuaciones elípticas
• Diferencias finitas: ecuaciones parabólicas

Prof. Luis Zerpa, M.Sc.

Email: lzerpa@ica.luz.ve
 Motivación
• Dada una función u que depende de x y de y, la derivada parcial de
u con respecto a x en un punto cualquiera (x,y) está definido como

u u  x  x, y   u  x, y 
 lim
x x 0 x

• La derivada parcial de u con respecto de y es

u u  x, y  y   u  x, y 
 lim
y y 0 y

• Una función que involucra derivadas parciales de una función

desconocida con dos o más variables independientes, se denomina
ECUACIÓN DIFERENCIAL PARCIAL, o EDP
 Motivación
• Ejemplos de ecuaciones diferenciales parciales

 2u  2u  3u  2u
 2 xy 2  u  1  x 2  8u  5 y
x 2
y x y
2
y
3
  2u   3u  2u u
 2   6 x  xu x
 x  xy 2
x 2
y

• El orden de una EDP es el de la derivada más alta

• Se dice que una ecuación diferencial parcial es lineal, si es lineal en la

función desconocida y en todas sus derivadas, con coeficientes que
dependen sólo de las variables independientes
 Motivación

• Por su amplia aplicación en ingeniería, nos concentramos en la

solución de ecuaciones diferenciales parciales lineales de segundo
orden
 2u  2u  2u
A 2 B C 2  D  0
x xy y
donde
A, B, y C son funciones de x y y
D es una función de x, y, u, u/x y u/y

• Dependiendo de los valores de los coeficientes de los términos de

la segunda derivada (A, B, y C) esta ecuación se puede clasificar en
elíptica, parabólica o hiperbólica
 Motivación
Clasificación de ecuaciones diferenciales parciales lineales de
segundo orden

B2-4AC Categoría Ejemplo

Ecuación de Laplace (en estado
estable con dos dimensiones  2T  2T
<0 Elíptica  2 0
espaciales) x 2
y

Ecuación de conducción de calor

(variable de tiempo con una T  2T
=0 Parabólica dimensión espacial)  k' 2
t x
Ecuación de onda (variable de
tiempo con una dimensión 2 y 1 2 y
>0 Hiperbólica espacial)  2 2
x 2
c t

 2u  2u  2u
A 2 B C 2  D  0
x xy y
 Métodos empleados antes de la era de las
computadoras
• Antes de la llegada de las computadoras se utilizaban soluciones
analíticas o exactas de ecuaciones diferenciales parciales

• Aparte de los casos más simples, estas soluciones a menudo

requieren gran esfuerzo y complicación matemática

• Muchos sistemas físicos no pueden resolverse analíticamente, por

lo que tienen que simplificarse usando linearización,
representaciones geométricas simples, y otras idealizaciones

• Estas soluciones aportan algún conocimiento del sistema que se

está estudiando, sin embargo, están limitadas por la fidelidad con
que representan la realidad
 EDP y práctica de la ingeniería
• Cada una de las categorías de ecuaciones diferenciales parciales
conforman clases específicas de problemas de ingeniería
• Las ecuaciones elípticas se usan para caracterizar sistemas de
estado-estable (ausencia de una derivada con respecto al tiempo, o
término transitorio)
– Por lo general se emplean para determinar la distribución en
estado estable de una incógnita en dos dimensiones
Tw
Frame 001  17 Sep 2002  CONDUCCION ESTABLE CON GENERACION DE CALOR

1 1

0.9

0.8

0.7

Tw S Y(m) 0.6
Distribución de
0.5
1 temperaturas
k 0.4
Tw 0.3

0.2

0.1

0
0 0.5 1
X(m)
Tw

Conducción estable con generación de calor

 EDP y práctica de la ingeniería

• Las ecuaciones parabólicas determinan cómo varía una incógnita

tanto en espacio como en tiempo (presencia de derivadas especial y
temporal)
– Tales casos se conocen como problemas de propagación

• Las ecuaciones hiperbólicas, también representan problemas de

propagación, sin embargo, se diferencia de las ecuaciones parabólicas
en que la incógnita se caracteriza por una segunda derivada con
respecto al tiempo
– En consecuencia, la solución oscila
 Diferencias finitas: ecuaciones elípticas
• Las ecuaciones elípticas se usan comúnmente para
caracterizar problemas de estado estable y con valores en la
frontera

ECUACIÓN DE LAPLACE
• La ecuación de Laplace puede ser usada para modelar diversos
problemas que involucran el potencial de una variable desconocida
• Ésta se puede deducir a partir
de un problema físico sencillo
• La transferencia de calor a
través de una placa rectangular
delgada
 Diferencias finitas: ecuaciones elípticas
y
q es el flujo de calor (cal/(cm2 s)

ECUACIÓN DE LAPLACE
• La placa esta aislada excepto en sus q(y+Δy)
extremos
q(x) q(x+Δx) Δy
• La transferencia de calor esta limitada
a las dimensiones x y y q(y)

• Considerando un elemento de la
placa, el flujo de calor que entra en un x
z Δz Δx
periodo de tiempo debe ser igual al
que sale
q x  yzt  q y  xzt  q x  x  yzt  q y  y  xzt
• Dividiendo entre Δz y Δt
 q x   q x  x   y   q y   q y  y   x  0

 q x   q x  x   xy   q y   q y  y   xy  0 
q q
 0
x y x y
 Diferencias finitas: ecuaciones elípticas
q q
  0
x y
• Ésta es una ecuación diferencial parcial, que es una expresión de la
conservación de energía de la placa

• La ecuación debe ser replanteada en términos de la temperatura

• El enlace entre el flujo de calor y la temperatura está dado por la

Ley de Fourier de conducción de calor

T • qi: flujo de calor en la dimensión i [cal/(cm2 s)]

qi  kC • k: coef. de difusividad térmica [cm2/s]
i • ρ: densidad del material [g/cm3]
• C: capacidad calorífica del material [cal/(g ºC)]
• T: temperatura [ºC]
k '  kC • k’: coef. De conductividad térmica [cal/s cm ºC]
 Diferencias finitas: ecuaciones elípticas

• Sustituyendo la Ley de Fourier en la ecuación de conservación de

energía de la placa se obtiene la ecuación de Laplace
 2T  2T
 2 0
x 2
y

• Para el caso donde hay fuentes o sumideros de calor dentro del

dominio bidimensional, se agrega un término adicional

 2T  2T
 2  f  x, y  Ecuación de Poisson
x 2
y
 Técnica de solución

• La solución numérica de las EDP elípticas procede en dirección

inversa a la manera en que fue deducida la ecuación

• Se sustituyen las derivadas parciales de la ecuación por diferencias

finitas basadas en la discretización de la placa como una malla de
puntos discretos, transformando la EDP en una ecuación algebraica
de diferencias y
m+1, n+1
i, j+1 0, n+1

i-1, j i+1, j
i, j

i, j-1 0, 0
m+1, 0 x
 La ecuación de Laplace en diferencias

• Las diferencias centrales basadas en el esquema de la malla son

 2T Ti 1, j  2Ti , j  Ti 1, j  2T Ti , j 1  2Ti , j  Ti , j 1

 
x 2 x 2 y 2
y 2

• Las cuales tienen errores de O[Δx2] y O[Δy2] i, j+1

• Sustituyendo en la ec. de Laplace

i-1, j i+1, j
i, j
 2T  2T Ti 1, j  2Ti , j  Ti 1, j Ti , j 1  2Ti , j  Ti , j 1
 2 0  0
x 2
y x 2 y 2 i, j-1

• Para una malla cuadrada Δx = Δy

Ti 1, j  Ti 1, j  Ti , j 1  Ti , j 1  4Ti , j  0 Cumple para todos los puntos

internos de la malla
 La ecuación de Laplace en diferencias

• Las condiciones en la frontera en los extremos de la placa deben

estar especificadas para obtener una solución única
• Condición de frontera de Dirichlet  es el caso más simple, se
especifican valores constantes de la variable dependiente
(Temperatura) en los bordes
• Para el nodo (1, 1) el balance de energía es,
y
T2,1  T0,1  T1, 2  T1, 0  4T1,1  0 T = 100ºC m+1, n+1
0, n+1

(1, 3) (2, 3) (3, 3)

T = 75ºC
Cond. Borde  T0,1 = 75 T1,0 = 0

T = 50ºC
(1, 2) (2, 2) (3, 2)

(1, 1) (2, 1) (3, 1)

 4T1,1  T1, 2  T2,1  75

0, 0
T = 0ºC m+1, 0 x
 La ecuación de Laplace en diferencias

• Determinando el balance de energía en cada uno de los nodos

internos se obtiene un sistema de nueve ecuaciones algebraicas
lineales con nueve incógnitas

4T1,1  T2,1  T1, 2  75

 T1,1 4T2,1  T3,1  T2, 2 0 y
 T2,1 4T3,1  T3, 2  50 T = 100ºC m+1, n+1
0, n+1
 T1,1 4T1, 2  T2, 2  T1,3  75
 T2,1  T1, 2 4T2, 2  T3, 2  T2,3 0 (1, 3) (2, 3) (3, 3)

 T3,1  T2, 2  T3,3  50

T = 75ºC
4T3, 2

T = 50ºC
(1, 2) (2, 2) (3, 2)
 T1, 2 4T1,3  T2,3  175
 T2, 2  T1,3 4T2,3  T3,3  100 (1, 1) (2, 1) (3, 1)

 T3, 2  T2,3 4T3,3  150

0, 0
T = 0ºC m+1, 0 x
 La ecuación de Laplace en diferencias

• Al resolver el sistema de ecuaciones se obtiene la distribución de

temperatura en el interior de la placa

 T1,1   43.00061
T    y
  
2 , 1 33. 29755  T = 100ºC m+1, n+1
0, n+1
T3,1  33.88506
   
T
 1, 2   63. 21152 
(1, 3) (2, 3) (3, 3)

   
T = 75ºC

T2, 2   56.11238 

T = 50ºC
(1, 2) (2, 2) (3, 2)
T  52.33999
 3, 2    (1, 1) (2, 1) (3, 1)
T1,3  78.58718
T   
  
2 , 3 76. 06402  0, 0
T3,3  69.71050 T = 0ºC m+1, 0 x
 Método de Liebmann

• En la práctica, las soluciones numéricas de la ecuación de Laplace

involucran sistemas mucho más grandes

• En el balance de energía de un nodo de la malla pueden haber

hasta un máximo de cinco incógnitas  un número significativo de
términos es cero

• Por esta razón, se prefiere usar métodos aproximados para la

solución del sistema de ecuaciones resultante

• El método de Liebmann es un método para resolver EDP que utiliza

el método de Gauss-Siedel para resolver el sistema de ecuaciones
algebraicas lineales
 Método de Liebmann
• La ecuación para cada incógnita es,

Ti 1, j  Ti 1, j  Ti , j 1  Ti , j 1
Ti , j 
4
esta se resuelve de manera iterativa desde j = 1 a n, y de i = 1 a m
• Como el sistema de ecuaciones es diagonalmente dominante, este
procedimiento converge finalmente a una solución estable
• Se puede usar sobrerrelajación para acelerar la razón de
convergencia, aplicando la siguiente fórmula después de cada
iteración
 1   Ti , j
nuevo nuevo anterior
Ti , j  Ti , j 1   2

• Criterio de paro nuevo anterior

Ti , j  Ti , j
  a  i, j  nuevo
 s s: error esperado
Ti , j
 Condiciones en la frontera de Neumann

• Otra condición en la frontera comúnmente utilizada, en lugar de fijar

un valor constante para la variable dependiente, es el caso cuando
la derivada esta dada (tasa de variación de la variable dependiente
en la frontera)
• Esta condición es conocida como condición en la frontera de
Neumann
• Para el caso de la placa calentada, equivale a especificar el flujo de
calor en la frontera
• Un ejemplo es cuando un extremo de la placa está aislado, en este
caso la derivada es cero (condición en la frontera natural)
• Otro podría ser cuando se especifica el flujo de calor, ya sea por
radiación o conducción, en una frontera
 Condiciones en la frontera de Neumann

• Supongamos que se especifica una condición de Neumann en la

frontera izquierda de la placa, la ecuación de balance de energía en
un punto de dicha frontera es
T1, j  T1, j  T0, j 1  T0, j 1  4T0, j  0
0, j+1
• Se usa un punto imaginario fuera de la
T
placa, que permite especificar la x
condición de frontera de la derivada -1, j 1, j
0, j
T T1, j  T1, j T
  T1, j  T1, j  2x
x 2x x
0, j-1
• Sustituyendo
Estas condiciones generan
T
2T1, j  2x  T0, j 1  T0, j 1  4T0, j  0 ecuaciones adicionales para
x caracterizar a los nodos frontera a los
cuales se especifican las derivadas
 Diferencias finitas: ecuaciones
parabólicas
• Las ecuaciones parabólicas se emplean para caracterizar
problemas dependientes del tiempo y el espacio

ECUACIÓN DE CONDUCCIÓN DE CALOR

• Se puede usar la conservación de calor para desarrollar un balance de energía en un
elemento diferencial de una barra larga y delgada aislada, considerando la cantidad
de calor que se almacena en un periodo de tiempo Δt
q x  yzt  q x  x  yzt  xyzCT
Dividiendo entre el volumen
Caliente Frio
q x   q x  x  T
 C
x t
Tomando el límite q T
  C
x t

dT  2T T
Sustituyendo la Ley de Fourier q  k ' k 2 
dx x t
 Diferencias finitas: ecuaciones
parabólicas
• Las EDP parabólicas pueden ser resueltas sustituyendo las
derivadas parciales por las diferencias divididas finitas
• Sin embargo, ahora hay que considerar cambios en el tiempo así
como en el espacio
• Mientras las ecuaciones elípticas están acotadas en todas las
dimensiones, las parabólicas están temporalmente abiertas en los
extremos
• Existen dos aproximaciones fundamentales para la solución de
EDP parabólicas:
– Esquema explícito
– Esquema implícito

 2T T
k 2 
x t
 Métodos explícitos

• La ecuación de conducción de calor requiere aproximaciones para

la segunda derivada en el espacio y para la primera derivada en el
tiempo
 2T Ti l1  2Ti l  Ti l 1 T Ti l 1  Ti l
 
x 2 x 2 t t
Error de O[Δx2] Error de O[Δt]

• Sustituyendo
 2T T Ti l 1  2Ti l  Ti l1 Ti l 1  Ti l
k 2  k 
x t  x  2
t

kt
Ti l 1  Ti l   Ti l 1  2Ti l  Ti l1  
 x  2
 Convergencia y estabilidad de los
métodos explícitos
• Convergencia: significa que conforme Δx y Δt tienden a cero, los
resultados de la técnica por diferencias finitas se aproximan a la
solución verdadera
• Estabilidad: significa que los errores en cualquier etapa del cálculo no
son amplificados, sino que son atenuados conforme el cálculo avanza
• Se puede demostrar que el método explícito es convergente y estable
si  < 1/2, o

1  x 
2
t 
2 k
• Si   1/2  la solución oscila
• Si   1/4  la solución no oscila
• Si   1/6  los errores por truncamiento se minimizan
 Métodos implícitos

• Los métodos implícitos superan los problemas de estabilidad que

presentan los métodos explícitos
• Para la forma explícita, aproximamos la derivada espacial en el
nivel de tiempo l
• En los métodos implícitos, la derivada espacial es aproximada en
un nivel de tiempo l+1
 2T Ti l 11  2Ti l 1  Ti l 11 Ti l 11  2Ti l 1  Ti l 11 Ti l 1  Ti l
 k 
x 2 x 2  x  2
t
Error de O[Δx2]

kt
 Ti l 11  1  2 Ti l 1  Ti l 11  Ti l 
 x  2

Esta ecuación se aplica en todos los nodos, excepto en el primero y en el último,

los cuales deben ser modificados para contener las condiciones en la frontera