DOCTORADO EN INGENIERIA EN PROCESAMIENTO DE

MINERALES

CURSO: “MÉTODOS MATEMÁTICOS”

Tema VII: Ecuaciones diferenciales ordinarias

MÉTODO DE LAS DIFERENCIAS FINITAS

El fundamento del método es similar a la definición de las derivadas. Se aproxima la tangente

por la secante sin hacer tender ∆x → 0 .

∂φ φ x +∆x − φ x
Figura 7-1 diferencias hacia adelante o “forward”. ≅
∂x x ∆x

en este caso son diferencias hacia adelante o “forward”.

Este es el primer paso del método y consiste en reemplazar “derivadas por diferencias”.
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

∂φ φ x − φ x −∆x
Figura 7-2 Diferencias hacia atrás o backward
≅
∂x x ∆x

∂φ φ − φ x − ∆x
Figura 7-3 Diferencias centrales ≅ x + ∆x
∂x x 2 ∆x

T VII - 2
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

Estas fórmulas se pueden obtener también aplicando la serie de Taylor

∂φ ∆x 2 ∂ 2 φ ∆x n ∂ n φ
φ x + ∆x = φ x + ∆x
∂x x
+
2 ∂x x 2
+...+
n! ∂x x 2 (
+ O ∆x n + 1 )
para n = 1
∂φ φ x + ∆x − φ x
≅ + O( ∆x )
∂x ∆x

de idéntico modo se demuestra que

diferencia hacia adelante ⇒ error → O( ∆x )
diferencia hacia atrás ⇒ error → O( ∆x )
diferencia centrales ⇒ (
error → O ∆x 2 )
segundo paso : incorporar las “diferencias” en la ecuación diferencial, por ejemplo

∂φ
+ φ = 5x
∂x

aplicamos diferencias centrales

φ x + ∆x − φ x − ∆x
+ φ( x ) ≅ 5x (1)
2 ∆x

tercer paso : discretizar el “dominio”

Figura 7-4

aplicando (1) a xi y despejando φ( x i ) = φ i queda

1 n −1 1 n−1
φ in = 5x i − φ i +1 + φ i −1 (2)
2 ∆x 2 ∆x

T VII - 3
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

aplicando esta ecuación en forma reiterada para i = 1 hasta n y juntando las n ecuaciones me
queda

     
 M  φ = b
     
  m× n   n   n
voy a tener problemas para i = 1 e i = n pues necesitaría φ0 y φn+1. A estas dos ecuaciones las
obtengo de las condiciones de borde, por ejemplo las condiciones de Dirichlet donde φ1 y φn
son conocidos, φ1 = A y φn = B

ecuación 1 →1 ⋅ φ 1 + 0 ⋅ φ 2 +...+0 ⋅ φ n = A
ecuación n → 0 ⋅ φ 1 + 0 ⋅ φ 2 +...+1 ⋅ φ n = B

cuarto paso : resolver el sistema de ecuaciones resultante por algún método estudiado en
métodos numéricos I
Nota: la transformación de una ecuación diferencial en un sistema de ecuaciones algebraicas
es común a todos los métodos numéricos.

DERIVADAS DE ORDEN SUPERIOR

∂2φ
∂x 2
Aplico serie de Taylor

 ∂φ  ∆x 2  ∂ 2 φ  ∆x 3  ∂ 3 φ 
φi +1 = φi + ∆x  +
 ∂x  x

2  ∂x 2  x
 + 
6  ∂x 3  x
 + O ∆x( )
4

 ∂φ  ∆x 2  ∂ 2 φ  ∆x 3  ∂3φ 
φi −1 = φi − ∆x  +
 ∂x  x

2  ∂x 2  x
 −   + O ∆x
6  ∂x 3  x
4
( )

∂2φ
sumando miembro a miembro y despejando queda
∂x 2
∂ 2 φ φi + 1 + φ i − 1 − 2φi
∂x 2
≅
∆x 2
( )
+ O ∆x 2

T VII - 4
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

PASOS DESIGUALES

Figura 7-5

Sea
∆xi +1
θ= → ∆xi + 1 = θ∆xi
∆xi
2
∂φ (θ ∆x ) ∂ 2φ + O θ ∆x 3
φi + 1 = φi + θi ∆xi + i i ( i i)
∂x i 2 ∂x 2
∂φ ∆x 2 ∂ 2φ 3
φi −1 = φi − ∆xi + i 2
+ O( ∆xi )
∂x i 2 ∂x

∂ 2φ
eliminando queda
∂x 2
∂φ 1  φ i +1 (1 − θ)φ i θφ i −1  2
≅  − −  + O( ∆xi )
∂x ∆xi  θ(1 + θ) θ (1 + θ) 
error → O(θ∆xi2 )

∂φ
eliminando queda
∂x
∂2 φ 2  φ φ φ 
≅ 2  i +1 − i − i −1  + O( ∆xi )
∂x 2
∆xi  θ(1 + θ) θ (1 + θ) 
(
error → O 2(θ − 1) ∆xi )

T VII - 5
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

PASOS DESIGUALES EN UNA MALLA NO ESTRUCTURADA

Figura 7-6

∂φ φ x + ∆x − φ x − ∆x
≅
∂x 2 ∆x
∂2 φ φ x + ∆x + φ x − ∆x − 2φ x
≅
∂x 2 ∆x 2

Suponiendo una distribución lineal en los intervalos

Figura 7-7

ai φi +1 + bi φi
φ x + ∆x = (2)
li
a φ +b φ
φ x − ∆x = i −1 i i −1 i −1 (3)
li −1

T VII - 6
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

PASOS DESIGUALES

Necesidad: Geometría o fenómeno físico.

Figura 7-8

Figura 7-9

T VII - 7
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

Figura 7-10

Figura 7-11

T VII - 8
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

DERIVADAS SUCESIVAS

∂φ φ i +1 − φi
≅ (forward ) (1)
∂x ∆x

Derivando respecto a x con backward

∂2 φ 1 ∂ ∂ 
2
≅  φi + 1 − φi 
∂x ∆x  ∂x ∂x 
2
∂φ 1  φi + 1 − φi φi − φi + 1 
≅ −
∂x 2
∆x  ∆x ∆x 
∂ 2φ 1
≅
∂x 2 ∆x 2
[φ i + 1 + φi − 1 − 2 φi ]

∂ 2φ
obtengo en diferencias centrales, con experiencia puedo elegir diferentes combinaciones
∂x 2
( no vamos a usar este método ).

DERIVADAS CRUZADAS

Derivando (1) con respecto a y

∂2 φ 1
≅
∂x∂y ∆x∆y
[( ) (
φ ij++11 − φ ij+1 − φ ij +1 − φ ij )]
Lo más exacto es aplicar Taylor

i
1
n −1
∂ ∂
φ( x + ∆x; y + ∆i ) = φ( x , y ) + ∑  ∆x + ∆y  φ( x , y ) +
i = 1 i ! ∂x ∂y 
n
1 ∂ ∂
 ∆x + ∆y  φ( x + θ∆x , y + θ∆y)
n!  ∂x ∂y 

siendo 0 ≤ θ ≤ 1

T VII - 9
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

ESTRUCTURA DEL SISTEMA DE ECUACIONES

∂ 2φ
= x ∀x ∈ Ω
∂x 2

φi + 1 + φi − 1 − 2φ i
= axi (1)
∆x 2

condición de borde

 φ1 = 5

 φ5 = 8

Figura 7-12

reordenando (1)

φ i −1 − 2 φ i + φ i +1 = a∆x 2 xi
1 0 0 0 0  φ1   5 
1 −2 1 0 0 φ 2  a∆x 2 x2 
    
0 1 −2 1 0 φ 3  =  a∆x 2 x3 
    
0 0 1 −2 1 φ 4  a∆x 2 x4 
0 0 0 0 1  φ5   8 

i
E D ≥ ∑ Ei → bien condicionado

T VII - 10
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

CONTORNOS CON DERIVADAS

Sea la ecuación
∂ 2φ
=0
∂x 2

Figura 2-13

condiciones de borde

φ A = 1

 ∂φ
 ∂x = 0
 B

la ultima ecuación ( en n ) será

φ n + 1 + φ n − 1 − 2φ n
= 0 (1)
∆x 2
φ n +1 + φ n −1 − 2 φ i = 0

agrego el nodo ficticio n+1 y planteo la CB en B por diferencias finitas

∂φ φ − φ n −1
= n +1 = 0 (2)
∂x B 2 ∆x
φ n +1 = φ n −1

reemplazando en (1) y ordenando

φn −1 − φn = 0 (3)

la ecuación (3) será la n-esima ecuación de nuestro sistema

T VII - 11
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

AVANCE EN EL TIEMPO ( ECUACIONES PARABÓLICAS )

∂φ ∂ 2φ
=a 2
∂t ∂x
 6447 A 448  n
 φ + φ − 2φ 
 i +1 i −1 i

φin +1 − φin  
=a 2
(1)
∆t ∆x
φi − φi a
∆t
(
= 2 ξAn +1 + (1 − ξ ) A n
∆x
)
0 → forward
1
 2 → Crank − Nicholson
ξ=
 2 3 → Galerkin

1 → backward

para ξ = 0
φin +1 − φ in a n
= 2 (φi +1 + φi −1 − 2φi ) (1)
∆t ∆x

para ξ = 1
φin +1 − φin a n +1
= 2 ( φi + 1 + φi − 1 − 2φi ) (2)
∆t ∆x

Los conceptos de forward y backward no son los mismos que para las derivadas. Nótese que
en la formula (1) el esquema es explícito en
n
φin + 1 = f (φ...)

mientras que en (2) el esquema es explícito en

n +1
φin = f ( φ...)

e implícito en
φn+1
i
Se denominan en general FTCS (forward in time, centered in space ).

T VII - 12
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

Figura 7-14

∂φ ∂ 2φ
=a 2
∂t ∂x
condiciones de borde
{φ1 = φ9 = 100
∆t n
φin +1 = φ in + a 2 (φi +1 + φi −1 − 2 φi )
∆x
todo punto que no sea vecino del borde, no se verá influenciado en el primer avance del
tiempo
para n = 1
∆t  
φ15 = φ50 + a 2  112+ 14
4 −32
∆x  0 
∆t  
φ12 = φ 02 + a 2 1
1+
4 10
2 −32
4
∆x  9 

T VII - 13
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

ESTABILIDAD

Sea la ecuación
∂φ ∂ 2φ
=a 2
∂t ∂x
desarrollada en diferencias
φin +1 − φin a
∆t
(
= 2 φ ni +1 + φin−1 − 2φin
∆x
)
agrupando y reordenando con
∆t
r=a 2
∆x
( )
φi = r φin+1 + φ ni −1 + (1 − 2 r )φin
n +1

sea
φin = 0 ; φin+1 = φin−1 = 100
φin +1 = r (200) + (1 − 2r )0

∆t r φn+1
i

∆t1 ¼ 50
∆t2 ½ 100
∆t3 1 200

Figura 7-15

φi + 1 + φi − 1 − 2 φ i ∂2 φ
= 0 = 0 hiperbólica en x
∆x 2 ∂x 2
φi = φi + 1 + φi − 1 − φi
φinuevo = φ in+1 + φin−1 − φin ( implícito )
φ′i = φ inuevo
φin +1 = βφi′ + (1 − β)φin
donde

T VII - 14
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

β → factor de relajación
desarrollando
φin +1 = βφin+1 + βφin−1 − βφ ni + φin − βφin
reagrupando
(
φin +1 = φin + β φin+1 + φ ni −1 − 2φin )
a ∆t
donde β es análogo a
∆x 2
pueden aparecer inestabilidades que se controlarán a través del valor de β.

ECUACIONES HIPERBÓLICAS

∂ 2φ 2 ∂ φ
2
− a =0
∂t 2 ∂x 2
separando variables
∂ 2φ 2 ∂ φ
2
= a
∂t 2 ∂x 2
siendo las condiciones de borde
φ( x ,0) = f ( x ) φ( 0, t ) = φ(t )

 ∂φ 
 ∂t ( x ,0) = g( x ) φ( l , t ) = Ψ(t )

φin +1 + φin −1 − 2φin
=a 2 ( )
φ ni +1 + φin−1 − 2φ in
∆t 2 ∆x 2
haciendo
a ∆t
=1
∆x
φin +1 = φ in+1 + φ in−1 − φin −1 (1)
necesitamos conocer φ en los dos saltos de tiempo anteriores.
De la condición de borde
∂φ
= g( x )
∂t A
φin +1 − φin −1
= g( x )
2∆t
φin −1 = φin +1 − 2∆t g ( x ) (2)
reemplazando (2) en (1) queda
(
φin +1 = φin + φin−1 − φ in +1 − 2∆t g ( x) )
que reordenada será la ecuación para calcular el primer avance en el tiempo.

T VII - 15
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

CRITERIOS DE ESTABILIDAD

Sea
Dφ = f
esta ecuación representa dos soluciones
D ⇒ solución con precisión ( de la computadora con que se efectúan los cálculos )
infinita
N ⇒ solución con precisión finita
A ⇒ solución analítica de la ecuación diferencial

error de discretización = A - D = δ
error de redondeo = N - D = ε

Los criterios de O’Brien dicen que

1. Si el error de redondeo general
 crece  inestabilidad 
no crece  ⇒ ferte  estabilidad 
   
2. Si un error de redondeo local
 crece  inestabilidad 
no crece  ⇒ debil  estabilidad 
   

T VII - 16
MÉTODOS MATEMÁTICOS Tema VII: Ecuaciones diferenciales EN DERIVADAS PARCIALES
_________________________________________________________________________________________________________________

ANÁLISIS DE VON NEUMANN

N = D+ε
Se puede demostrar que si N satisface la ecuación en diferencias y D también, entonces ε
también lo hará. Es decir que tanto D como ε poseen idéntica propiedad de crecimiento.
Cualquier perturbación de los valores de entrada en el n-esimo nivel de tiempo se propagará
creciendo o decreciendo según un factor de amplificación que se puede obtener de la ecuación
Dε = f
ejemplo
φ ij +1 − φ ij φ j − φ ij
= c i +1
∆t ∆x
y significa
ε n +1 = βε n
si β ≤ 1 los errores no crecerán. De allí se obtiene la condición que
∆t ≤ f (c, ∆x )
en general
∆t
c
∆x
se llama “número de Courant” y la condición de Courant dice que
∆t 1
c ≤
∆x 2
para
φij +1 − φij φ j + φ ij−1 − φij
= c i +1
∆t ∆x 2
∆t 1
c 2 ≤
∆x 2

T VII - 17