Clase EDP

DIFERENCIAS FINITAS: INTRODUCCIN
En la bsqueda de una descripcin cualitativa de un determinado

fenmeno fsico, normalmente el ingeniero plantea un sistema de
ecuaciones diferenciales ordinarias o parciales, vlidas para
determinada regin, e impone sobre dicho sistema condiciones
apropiadas de frontera e iniciales.
Modelo matemtico completo
Aparece la mayor dificultad,
pues solamente la forma ms
simple de ecuaciones, con
fronteras geomtricamente
triviales, puede ser resuelta en
forma exacta con los mtodos
matemticos disponibles.
DIFERENCIAS FINITAS: INTRODUCCIN
Si se desea resolver este problema
sin software, es necesario
presentarlo de una manera
algebraica.
Proceso de discretizacin: el
conjunto infinito de nmeros que
representan la funcin o funciones
incgnitas en el continuo, es
reemplazado por un nmero finito de
parmetros incgnita, y este proceso
requiere alguna forma de aproximacin
Entre las diferentes formas de discretizacin posibles (elementos
finitos, volmenes finitos, etc.), una de las ms simples es mediante el
Mtodo de Diferencias Finitas.
DIFERENCIAS FINITAS: VALOR FRONTERA
En una solucin por este mtodo, las derivadas son reemplazadas por
aproximaciones en diferencias finitas, convirtiendo entonces un
problema de ecuaciones diferenciales en un problema algebraico
fcilmente solucionable por medios comunes (especialmente
matriciales).
VALOR EN LA FRONTERA
Consideremos el problema de encontrar la funcin |(x) que satisface
la ecuacin diferencial:
Sujeta a las condiciones de frontera
Las ecuaciones anteriores
son utilizadas para la
descripcin analtica de
muchos procesos fsicos, por
ejemplo:
Conduccin de calor a
travs de una pared plana
(TQ en 1-D)
Flujo en canales y
tuberas
Deflexin transversal de
cables
Deformacin axial de
barras (ver Figura).
Entre otros
En la primera condicin de frontera, aplicada en x = 0, el valor de la
funcin |(x) se especifica como |
0
, tal como se muestra en la
siguiente ecuacin:

| = |
0
en x = x
0

Una condicin de frontera de este tipo se denomina condicin de
frontera Dirichlet. En la segunda condicin, aplicable a la condicin
remanente de la frontera x = L, el valor de la funcin corresponde a la
ecuacin:
Este tipo de condicin de frontera se denomina condicin de frontera
Neumann .
DIFERENCIAS FINITAS EN 1-D
Si queremos resolver el
problema de valor de frontera
unidimensional presentado
anteriormente, por el mtodo de
diferencias finitas (ver Figura),
se debe comenzar por
diferenciar la variable
independiente x, construyendo
un conjunto (o grilla o malla de
L+1 puntos discretos igualmente
espaciados (ver Figura).
APROXIMACIN DE DERIVADAS MEDIANTE DIFERENCIAS FINITAS
Forma alternativa para obtener aproximaciones de diferencia. Permite
deducir:
Frmulas de diferencia sistemticamente
Trminos de error de truncamiento.
Se pueden obtener las aproximaciones de diferencia hacia atrs,
centrada y hacia adelante.
Rn x x
x f
x x x f x f x f
i i
i
i i i i i
+ + + + =
+ + +
... ) (
! 2
) ( ' '
) )( ( ' ) ( ) (
2
1 1 1
La serie de Taylor para una funcin f evaluada en X
i+1
es:
h
x f x f
x f
i i
i
) ( ) (
) (
1
'

=
+
Truncando en el trmino de la primera derivada y realizando los
cambios pertinentes se obtiene:
Tabla 1. Frmulas de diferencias finitas hacia adelante.
Derivada-Frmula Error
Derivada de orden 1
O(h)
h
x f x f x f
x f
h
x f x f
x f
i i i
i
i i
i
2
) ( 3 ) ( 4 ) (
) (
) ( ) (
) (
1 2
'
1
'
+
=
=
+ +
+

O(h
2
)
Derivada de orden 2
O(h)
2
1 2 3
2
1 2
2 5 4
2
h
) x ( f ) x ( f ) x ( f ) x ( f
) x ( f
h
) x ( f ) x ( f ) x ( f
) x ( f
i i i i
i
' '
i i i
i
' '
+ +
=
+
=
+ + +
+ +

O(h
2
)

Tabla 2. Frmulas de diferencias finitas hacia atrs.
Derivada de orden 1
O(h)
h
) x ( f ) x ( f ) x ( f
) x ( f
h
) x ( f ) x ( f
) x ( f
i i i
i
'
i i
i
'
2
4 3
2 1
1

+
=
=

O(h
2
)
Derivada de orden 2
O(h)
O(h
2
)
2
3 2 1
2
2 1
4 5 2
2
h
) x ( f ) x ( f ) x ( f ) x ( f
) x ( f
h
) x ( f ) x ( f ) x ( f
) x ( f
i i i i
i
' '
i i i
i
' '

+
=
+
=

O(h
2
)

Tabla 3. Frmulas de diferencias finitas centradas.
Derivada de orden 1
O(h
2
)
h
) x ( f ) x ( f ) x ( f ) x ( f
) x ( f
h
) x ( f ) x ( f
) x ( f
i i i i
i
'
i i
i
'
12
8 8
2
2 1 1 2
1 1
+ +
+
+ +
=
=

O(h
4
)
Derivada de orden 2
O(h
2
)
O(h
4
)
2
2 1 1 2
2
1 1
12
16 30 16
2
h
) x ( f ) x ( f ) x ( f ) x ( f ) x ( f
) x ( f
h
) x ( f ) x ( f ) x ( f
) x ( f
i i i i i
i
' '
i i i
i
' '
+ +
+
+ +
=
+
=

O(h
4
)

Tabla 3. Frmulas de diferencias finitas centradas.
Derivada de orden 1
O(h
2
)

O(h
4
)
Derivada de orden 2
O(h
2
)
O(h
4
)
O(h
4
)

SOLUCIN DE EDP ELPTICAS
Una de las ecuaciones elpticas ms
representativas es la ecuacin de Laplace:

Para la solucin por diferencias finitas se transforma la primera
ecuacin en una ecuacin algebraica de diferencias
0
2
2
2
2
=
c
c
+
c
c
y
T
x
T
Ecuacin empleada cuando NO
HAY fuentes o prdidas de calor
dentro del dominio. (ec. 1)
( ) y x f
y
T
x
T
,
2
2
2
2
=
c
c
+
c
c
Ecuacin empleada cuando HAY
fuentes o prdidas de calor
dentro del dominio. (ec. 1)

Analicemos la transferencia de calor en una placa,
aplicando la Ley de Fourier con flujo en el eje x y en el
eje y :

y
0,0 x
PLACA
Placa plana en donde se
da la transferencia de
calor
Texto 4 Texto
En Diferencias Finitas se trata el problema como una
malla de puntos discretos:
y
0,0 x
(i, j-1)
(i+1,j) (i-1, j) (i, j)
(m+1, n+1)
(i, j+1)
Malla de puntos
discretos
correspondiente a
la placa calentada
El anlisis de diferencias centradas presenta las
siguientes ecuaciones con respecto a la
variacin de la temperatura en las dimensiones x
y y:
2
. 1 , , 1
2
2
2
x
T T T
x
T
j i j i j i
A
+
=
c
c
+
2
1 , , 1 ,
2
2
2
y
T T T
y
T
j i j i j i
A
+
=
c
c
+
Sustituyendo las ecuaciones 3 y 4 en la ecuacin 1,
asumiendo una malla en la que x = y y
reagrupando trminos se obtiene :
0 4
, 1 , 1 , , 1 , 1
= + + +
+ + j i j i j i j i j i
T T T T T
Ecuacin Laplaciana en diferencias;
satisface todos los puntos interiores de la
placa.
De manera prctica se analiza el caso de la placa
calentada con condiciones de frontera fijas.
y
0,0 x
T=100C
T=0C
T=75C
T=50C
(1,1) (2,1) (3,1)
(1,2) (2,2) (3,2)
(1,3) (2,3) (3,3)
Aplicando la ecuacin Laplaciana a cada nodo:

Para el nodo (1,1)
0 4
1 , 1 0 , 1 2 , 1 1 , 0 1 , 2
= + + + T T T T T
Observando la figura se puede ver que To,1 =75 y T1,0 = 0,
por lo tanto la ecuacin se reduce a:
75 4
1 , 1 2 , 1 1 , 2
= + T T T
De la misma manera se pueden obtener las ecuaciones en los otros 8 nodos
para obtener:
4 , 3 3 , 4 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
2 , 4 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
0 , 3 1 , 4 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
4 , 2 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
0 , 2 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
4 , 1 3 , 0 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
2 , 0 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
0 , 1 1 , 0 3 , 3 2 , 3 1 , 3 3 , 2 2 , 2 1 , 2 3 , 1 2 , 1 1 , 1
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
T T T T T T T T T T T
T T T T T T T T T T
T T T T T T T T T T
T T T T T T T T T
T T T T T T T T T T
T T T T T T T T T T
= + + + + + + + +
= + + + + + + + +
= + + + + + + + +
= + + + + + + + +
= + + + + + + + +
= + + + + + +
= + + + + + + + +
= + + + + + + + +
= + + + + + + + +
4 1 1
1 4 1 1
1 4 1
1 4 1 1
1 1 4 1 1
1 1 4 1
1 4 1
1 1 4 1
1 1 4
Lo cual se puede llevar a un sistema matricial de la
forma:
(
(
(
(
(
(
(
(
(
(
(
(

=
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
50 100
50
50 0
100
0
0
100 75
75
75 0
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0
0 0 0 0 0 0
3 , 3
2 , 3
1 , 3
3 , 2
2 , 2
1 , 2
3 , 1
2 , 1
1 , 1
T
T
T
T
T
T
T
T
T
4 1 1
1 4 1 1
1 4 1
1 4 1 1
1 1 4 1 1
1 1 4 1
1 4 1
1 1 4 1
1 1 4
b A x b Ax
1
= =
MTODO DE LIEBMANN

Es posible obtener sistemas de ecuaciones muy grandes, en los
cuales hay un nmero significativo de ceros (matices dispersas), en
estos casos no es eficiente aplicar mtodos tradicionales de
solucin matricial puesto que se gasta gran cantidad de memoria de
la computadora almacenando ceros, por esta razn los mtodos
aproximados representan un mejor procedimiento para obtener
soluciones. El mtodo ms comnmente empleado es el de Gauss-
Seidel , el cual cuando se aplica a EDP tambin se conoce como
Mtodo de Liebmann.
Partiendo de esta tcnica se puede llegar a la siguiente
ecuacin:
0
4
1 , 1 , , 1 , 1
,
=
+ + +
=
+ + j i j i j i j i
j i
T T T T
T
La anterior ecuacin se resuelve de manera
iterativa para j=1 hasta n y i=1 hasta m
Algunas veces se utiliza la sobrerrelajacin para
acelerar la velocidad de convergencia, aplicando la
siguiente frmula despus de cada iteracin:
( )
anterior
j i
nuevo
j i
nuevo
j i
T T T
, , ,
1 + =
Donde

= Factor de ponderacin con valores entre 1 y 2
Igual que en el mtodo de Gauss-Seidel, las iteraciones
se repiten hasta que los valores absolutos de todos los
errores relativos porcentuales (a)i,j estn por debajo de
un criterio pre-especificado de terminacin s, dichos
errores porcentuales se estiman mediante la siguiente
ecuacin:
( ) % 100
,
, ,
,

=
nuevo
j i
anterior
j i
nuevo
j i
j i
a
T
T T
c
CONDICIONES CON DERIVADA EN LA FRONTERA

Un caso especfico de condiciones de frontera es en donde se da la
derivada, conocida como condicin de frontera de Neumann.

Siguiendo con el ejemplo de la placa calentada se presenta el
siguiente esquema:
T
1,j
To,
,j
T
0,j-1
T
-1,j
T
0,j+1
Esquema de un nodo frontera en
el extremo izquierdo de la placa
calentada
La ecuacin para el nodo frontera es la siguiente:
0 4
, 0 1 , 0 1 , 0 , 1 , 1
= + + +
+ j j j j j
T T T T T
El punto imaginario nos permite incorporar la derivada de la
condicin de frontera en el problema, esto es representar la
primera derivada en la dimensin x en (0,j) por la diferencia
dividida finita:
x
T T
x
T
j j i
A
~
c
c

2
, 1 ,
x
T
x T T
j j
c
c
A =
2
, 1 , 1
Remplazando se obtiene:

0 4 2 2
, 0 1 , 0 1 , 0 , 1
= + +
c
c
A
+ j j j j
T T T
x
T
x T
De la misma forma es posible establecer relaciones
similares para las condiciones de frontera con
derivadas en los otros extremos.
FRONTERAS IRREGULARES

En muchas ocasiones los problemas de ingeniera no presentan
geometras regulares como en el caso de la placa estudiada
anteriormente. La figura 4 muestra el caso de una placa calentada
con una frontera de forma irregular.
2
y

2
x
1
x
1
y
Malla de una placa
calentada con una frontera
de forma irregular.
Aproximacin de las primeras derivadas en la direccin x
x
T T
x
T
j i j i
i i
A
~
|
.
|
\
|
c
c

1
, 1 ,
, 1
o
x
T T
x
T
j i j i
i i
A
~
|
.
|
\
|
c
c
+
+ 2
, , 1
1 ,
o
De las primeras derivadas se obtienen las segundas
derivadas
2
2 1
1 ,
2
2
x x
x
T
x
T
x
T
x x
T
i i
A + A
|
.
|
\
|
c
c
|
.
|
\
|
c
c
=
|
.
|
\
|
c
c
c
c
=
c
c
+
o o
Sustituyendo las derivadas en la ecuacin anterior y
agrupando trminos se obtiene:
( ) ( )
(
+
+
A
=
c
c
+
2 1 2
, , 1
2 1 1
, , 1
2 2
2
2
o o o o o o
j i j i j i j i
T T T T
x x
T
De la misma manera se obtiene una expresin para la
dimensin y
( ) ( )
(
+
+
A
=
c
c
+
2 1 2
, 1 ,
2 1 1
, 1 ,
2 2
2
2
| | | | | |
j i j i j i j i
T T T T
y y
T
Sustituyendo las ecuaciones en la ecuacin diferencial
inicial (Laplace) se obtiene:
( ) ( ) ( ) ( )
(
+
+
A
+
(
+
+
A
=
+ +
2 1 2
, , 1
2 1 1
, , 1
2
2 1 2
, 1 ,
2 1 1
, 1 ,
2
2 2
0
o o o o o o | | | | | |
j i j i j i j i j i j i j i j i
T T T T
x
T T T T
y
Esta ecuacin anterior se aplica a cualquier nodo que
sea adyacente a una frontera irregular tipo Dirichlet.
EDP Parablicas
Introduccin
Las ecuaciones
parablicas a diferencia
de las elpticas,
determinan como una
incgnita vara tanto en el
espacio como en el
tiempo. Para la Ecuacin
de conduccin de calor
(caso de problemas de
propagacin), se toma
un diferencial de una
barra larga, delgada y
aislada.

q(X)
Y
Z
X
q(X+X)
! " # $ % & # $ % % ' & # $ % ' A A A A = A A A A + A A A ! ! ! ! ! ! ! ! " # ! ! ! " #
Dividiendo por XYZ, aplicando Ley de
Furier y segn la definicin por lmite:
&
!
%
!
(
c
c
=
c
c
!
!
EDP Parablicas
A travs de los
mtodos explcitos se
calculan los valores
en cada nodo para un
tiempo posterior,
basndose en los
valores presentes del
nodo y sus vecinos.
Mtodos Explcitos o de diferencias progresivas
EDP Parablicas
Las ecuaciones
parablicas estn
temporalmente
abiertas en los
extremos mientras
que las elpticas
estn acotadas en
todas las
dimensiones.
EDP Parablicas
Para la ecuacin de conduccin de calor:

Se aproxima la primera y segunda derivada por diferencias
finitas, hacia delante y centradas respectivamente.

&
) )
&
)
%
) ) )
%
)
*
+
*
+
*
+
*
+
*
+
A
=
c
c
A
+
=
c
c
+
+
"
!
" "
!
!
!
&
)
%
)
c
c
=
c
c
!
!
u
" ! # !
" #
!
*
+
*
+
*
+
*
+
*
+
) ) )
%
&
) )
" "
!
"
!
+
+
+
A
A
+ =
u
Donde:
u
=
A
A
!
" #
!
%
&
EDP Parablicas
Convergencia: Conforme a X y t tienden a cero, los
resultados de la tcnica por diferencias finitas se
aproximarn a la solucin verdadera.
Estabilidad: Los errores en cualquier etapa del clculo
no se amplifican, sino que se atenan conforme avanza
el clculo.
El mtodo es convergente y estable si 1/2 o

Se tendr un valor ptimo 1/6 al minimizar los errores
de truncamiento

Mtodos Explcitos: Convergencia y estabilidad
u
!
!
" %
&
A
= A
EDP Parablicas
En la frontera izquierda: i=0

Para este punto en la
siguiente ecuacin

Se sustituye la aproximacin
en trminos de la 1ra
derivada

En la frontera derecha: i=m+1

Para este punto en la
siguiente ecuacin

Se sustituye la aproximacin
en trminos de la 1ra
derivada
,-
)
- ) )
-
) )
,-
)
* *
* *
c
A =
A
=
c
!
!
" "
" "
Mtodos Explcitos: Derivada en las condiciones de
frontera
* * * *
) ) ) )
" # "
"
#
! " + + =

+
" #
* * * *
) )
-
)
- ) )
" # "
"
#
! " ! + +
|
.
|
\
|
c
c
A =
+
" #
,-
)
- ) )
-
) )
,-
)
*
.
*
.
*
.
*
.
c
A =
A
=
c
+
+
!
!
!
!
*
.
*
.
*
.
*
.
) ) ) )
! "
"
"
! "
+ +
+
+
+ + = " #
|
.
|
\
|
c
c
A + + + =
+
+
+
-
)
- ) ) ) )
*
.
*
.
*
.
*
.
! ! "
"
"
"
" #
EJEMPLO. EDP PARABLICA [2]
2
2
x
T
k
t
T
c
c
=
c
c
Calcular la distribucin de temperatura en una barra larga y
delgada que tiene una longitud de 10 cm. K=0.835cm2/s.
1 X en 5 T y 0 X en 1 T : 0 t
10 x 0 para T t
= = = =
s s = =
0 00
0 0
:
s t
cm x
1 0
2
. = A
= A
2
x
t
k
A
A
=
020875 0. =
METODO EXPLICITO
EJEMPLO. EDP PARABLICA
( )
l
i
l
i
l
i
l
i
T T T T
1 1
1
+
+
+ =
nodo tiempo Ecuacin Resultado
X=2
0.1 2.0875
0.2 4.0878
X=4
0.1 0
0.2 0.043577
X=6
0.1 0
0.2 0.021788
X=8
0.1 1.0438
0.2 2.0439
( ) ( ) 100 0 2 0 020875 0 0
1
+ + = .
l
T
( ) ( ) 0 0 2 0 020875 0 0
3
+ + = .
l
T
( ) ( ) 0875 2 0 2 0 020875 0 0
2
2
. . + + = T
( ) ( ) 0 0 2 0438 1 020875 0 0
2
3
+ + = . . T
( ) ( ) 0 0 2 50 020875 0 0
4
+ + = .
l
T
( ) ( ) 0 0438 1 2 50 020875 0 0438 1
2
4
+ + = . . . T
( ) ( ) 100 0875 2 2 0 020875 0 0875 2
2
1
+ + = . . . T
( ) ( ) 0 0 2 0 020875 0 0
2
+ + = .
l
T
EDP Parablicas
Mtodo Implcito Simple
Aunque utilizan algoritmos ms complicados que los mtodos
explcitos, mejoran los problemas de estabilidad y no excluyen
informacin de importancia para la solucin.

La derivada espacial se aproxima en un nivel de tiempo posterior.
Para el ejemplo de la barra visto anteriormente,
la segunda derivada se aproxima mediante:

que tiene una exactitud de segundo orden.
Cuando esta ecuacin se reemplaza en la EDP
original, resulta una ecuacin con varias
incgnitas que no puede resolverse como en el
mtodo explcito.

EDP Parablicas
2
1
1
1 1
1
2
2
) (
2
x
T T T
x
T
l
i
l
i
l
i
A
+
~
c
c
+
+ +
+
EDP Parablicas
El sistema debe resolverse simultneamente pues con las condiciones de
frontera, las formulaciones implcitas dan como resultado un conjunto de
m ecuaciones lineales algebraicas con el mismo nmero de incgnitas. As,
el problema se reduce a la solucin de un sistema de ecuaciones
simultneas en cada punto en el tiempo.

que se puede expresa como:

Donde:

Esta ecuacin se aplica a todos los nodos interiores, excepto al primero y
al ltimo de los nodos, los cuales deben modificarse para considerar las
condiciones de frontera.

t
T T
x
T T T
k
l
i
l
i
l
i
l
i
l
i
A
=
A
+
+ +
+ +
+
1
2
1
1
1 1
1
) (
2
l
i
l
i
l
i
l
i
T T T T = + +
+
+
+ +
1
1
1 1
1
) 2 1 (
2
) ( x
t
k
A
A
=
EDP Parablicas

Para el extremo izquierdo de la barra (i=0):

Donde es una funcin que describe cmo cambia la temperatura
con el tiempo de la frontera.

Sustituyendo en la ecuacin de diferencias, se obtiene la ecuacin para el
primer nodo interior:

) (
1 1
0
+ +
=
l
o
l
t f T
) (
1 + l
o
t f
) ( ) 2 1 (
1 1
2
1
1
+ + +
+ = +
l
o
l
i
l l
t f T T T
EDP Parablicas
De manera similar se obtiene la ecuacin para el ltimo nodo interior
(i=m):

Donde describe los cambios especficos de temperatura en el

extremo derecho de la barra. (i=m+1)

Cuando se escriben las ecuaciones de diferencias para todos los nodos,
se obtiene el sistema de ecuaciones a resolver. El mtodo tiene la ventaja
de que el sistema es tridiagonal.

) ( ) 2 1 (
1
1
1 1
1
+
+
+ +
+ = + +
l
m
l
m
l
m
l
m
t f T T T
) (
1
1
+
+
l
m
t f
EJEMPLO . EDP PARABLICA [2]
Resolver el ejemplo anterior por este mtodo
METODO IMPLICITO SIMPLE
( ) ( )
1
0 1
1
2
1
1
2 1
+ + +
+ =
l l l l
t f T T T
( )
l
i
l
i
l
i
l
i
T T T T = + +
+
+
+ +
1
1
1 1
1
2 1
( ) ( )
1
1
1 1
1
2 1
+
+
+ +
= + +
l
m
l
m
l
m
l
m
t f T T T
Primer nodo
Nodos interiores
Ultimo nodo
|
|
|
|
|
.
|
\
|

04375 . 1
0
0
0875 . 2
04175 . 1 020875 . 0 0 0
020875 . 0 04175 . 1 020875 . 0 0
0 020875 . 0 04175 . 1 020875 . 0
0 0 020875 . 0 04175 . 1
4
3
2
1
l
l
l
l
T
T
T
T
EJEMPLO . EDP PARABLICA
0023 1
0209 0
0406 0
0047 2
4
3
2
1
.
.
.
.
l
l
l
l
T
T
T
T
9653 1
0618 0
1190 0
9305 3
2
4
2
3
2
2
2
1
.
.
.
.
T
T
T
T
|
|
|
|
|
.
|
\
|

04069 2
02090 0
04059 0
09215 4
04175 1 020875 0 0 0
020875 0 04175 1 020875 0 0
0 020875 0 04175 1 020875 0
0 0 020875 0 04175 1
2
4
2
3
2
2
2
1
.
.
.
.
. .
. . .
. . .
. .
T
T
T
T
EDP Parablicas

Aunque este mtodo es estable y convergente, presenta una
deficiencia: la aproximacin en diferencias temporal tiene una
exactitud de primer orden; y la aproximacin en diferencias espacial
tiene una exactitud de segundo orden. Adems, hay un lmite de
exactitud para el uso de pasos de tiempo grandes.

El mtodo de Richardson tiene una exactitud de segundo orden para el
espacio y para el tiempo, pero presenta serios problemas de
estabilidad.

El mtodo conocido como Crank- Nicholson ofrece un esquema
implcito que tiene una exactitud de segundo orden para el espacio y
para el tiempo y es incondicionamente estable.

EJERCICIOS DE APLICACIN EDP Parablicas
El Mtodo de Crank - Nicholson
Se desarrollan aproximaciones por diferencias en el punto medio del
incremento del tiempo.

As, la primera derivada temporal, para el caso de la barra, se aproxima en
t
l+1/2
por:

t
T T
t
T
l
i
l
i
A
~
c
c
+1
EJERCICIOS DE APLICACIN EDP Parablicas
La segunda derivada en el espacio puede determinarse en el punto medio
promediando las aproximaciones por diferencias al principio (tl) y al final
(tl+1) del incremento del tiempo:

(
A
+
+
A
+
~
c
c
+
+ +
+ +
2
1
1
1 1
1
2
1 1
2
2
) (
2
) (
2
2
1
x
T T T
x
T T T
x
T
l
i
l
i
l
i
l
i
l
i
l
i
EDP Parablicas

Sustituyendo y reagrupando:

Se determinan las condiciones de frontera

para obtener versiones de la ecuacin de diferencias para los nodos
interiores primero y ltimo.

Para el primer nodo:

Para el ltimo nodo:

l
i
l
i
l
i
l
i
l
i
l
i
T T T T T T
1 1
1
1
1 1
1
) 1 ( 2 ) 1 ( 2
+
+
+ +
+ + = + +
) ( ) 1 ( 2 ) ( ) 1 ( 2
1
2 1
1
1
1
1
+ +
+
+ + + = +
l
o
l l l
o
l
i
l
t f T T t f T T
) (
1 1
0
+ +
=
l
o
l
t f T ) (
1
1
1
1
+
+
+
+
=
l
m
l
m
t f T
) ( ) 1 ( 2 ) ( ) 1 ( 2
1
1 1 1
1 1
1
+
+ +
+ +
+ + + = + +
l
m
l
m
l
m
l
m
l
m
l
m
t f T T t f T T
EJEMPLO . EDP PARABLICA [2]
METODO DE CRANK-NICHOLSON
Resolver ejemplo anterior por este mtodo
|
|
|
|
|
.
|
\
|

0875 2
0
0
175 4
04175 2 020875 0 0 0
020875 0 04175 2 020875 0 0
0 020875 0 04175 2 020875 0
0 0 020875 0 04175 2
4
3
2
1
.
.
. .
. . .
. . .
. .
l
l
l
l
T
T
T
T
0225 1
0107 0
0210 0
0450 2
4
3
2
1
.
.
.
.
l
l
l
l
T
T
T
T
EJEMPLO . EDP PARABLICA
|
|
|
|
|
.
|
\
|

0901 4
0427 0
0841 0
1801 8
04175 2 020875 0 0 0
020875 0 04175 2 020875 0 0
0 020875 0 04175 2 020875 0
0 0 020875 0 04175 2
2
4
2
3
2
2
2
1
.
.
.
.
. .
. . .
. . .
. .
T
T
T
T
0036 2
0422 0
0826 0
0073 4
2
4
2
3
2
2
2
1
.
.
.
.
T
T
T
T
Comparacin de los mtodos para la
solucin EDP parablicas
Explcito Implcito Crank-
Nicolson
Solucin directa Sistema de
ecuaciones
Sistema de
ecuaciones
Condicionalmente
estable
Incondicionalmente
estable
Incondicionalmente
estable
Segundo orden en
espacio O(x
2
) y
primer orden en
tiempo O(t)
Segundo orden en
espacio O(x
2
) y
primer orden en
tiempo O(t)
Segundo orden en
espacio y en tiempo
O(x
2
+t
2
)
EDP Parablicas
La ecuacin parablicas que representan fenmenos de
propagacin y difusin, para dos dimensiones (X,Y) se
podr expresar:

De igual forma se aproxima por diferencias finitas.
En el caso bidimensional para el mtodo explicito se
tendrn los siguientes criterios para la convergencia y
estabilidad.

Ecuaciones parablicas en 2 dimensiones
|
|
.
|
\
|
c
c
+
c
c
=
c
c
!
!
!
!
$
)
%
)
&
)
u
$
"
!
s
A
A
=
" #
!
%
& u
u
! !
%
" $ %
&
A + A
s A
EDP Parablicas
Las tcnicas implcitas brindan mayor estabilidad pero
por para dos y tres dimensiones se obtienen sistemas
de mxn ecuaciones simultaneas, perdindose la
propiedad en la matriz de ser tridiagonales.

Se propone entonces otros mtodos (Mtodos de
separacin), como el esquema IDA, mtodo implcito de
direccin alternante
Ecuaciones parablicas en 2 dimensiones

EDP Parablicas
Resuelve ecuaciones diferenciales parablicas en 2
dimensiones espacial es usando matrices tri-diagonales
y para ello cada incremento se hace en dos pasos. En el
primero

Para una malla cuadrada, la ecuacin anterior se expresa:

|
|
.
|
\
|
A
+
+
A
+
=
A

+
+ +
+ +
+
!
! "
"
! " ! "
"
!
" "
! "
! !
! " # " # $
$
%
$
%
$
% % % % %
$
%
$
) ) )
%
) ) )
&
) )
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
u
Ecuaciones parablicas en 2 dimensiones: Esquema IDA

Explicito
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
) ) ) ) ) )
% % %
$
%
$
%
$
%
" # " #
" "
! "
"
! " ! "
"
" ! " !
+
+
+
+ +
+ + = + +
EDP Parablicas
En el segundo

La ecuacin se expresa entonces:

|
|
.
|
\
|
A
+
+
A
+
=
A
+ +
+
+
+ +
+
+ +
!
! "
"
! " ! "
"
!
"
"
" "
"
! " "
! !
! " # " # $
$
%
$
%
$
% % % %
$
% %
$
! ! !
%
! ! !
(
&
! !
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
Ecuaciones parablicas en 2 dimensiones: Esquema IDA

Implcito
! "
"
! " ! "
"
"
"
" "
"
" ! " !
$
%
$
%
$
% % % %
" # " #
+
+
+ +
+
+
+ +
+ + = + +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
*
/ +
! ! ! ! ! !
Primer Paso: (x explcita, y implcita)
x
i-1
x
i
x
i+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
t
l+1
t
l+1/2
t
l
Segundo Paso: (x implcita, y explcita)
Explcito
Implcito
x
i-1
x
i
x
i+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
t
l+1
t
l+1/2
t
l
x
i-1
x
i
x
i+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
t
l+1
t
l+1/2
t
l
x
i-1
x
i
x
i+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
x
i-1
x
i
x
i+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
x
i-1
x
i
x
i+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
y
j-1
y
j
y
j+1
t
l+1
t
l+1/2
t
l
t
l+1
t
l+1/2
t
l
Explcito
Implcito
Explcito
Implcito
EJEMPLO. EDP PARABLICA [2]
METODO IDA
Utilice el mtodo IDA para encontrar la temperatura de la placa
suponga que la temperatura de la placa es cero en el tiempo 0 y
que se llevan instantaneamente a los valores de la figura. Emplee
un tamao de paso de 10s. K = 0.835cm
2
/s
50C
100C
0C
75C
Placa de 40 x 40 cm
Ax = 10
= 0.0835
|
|
.
|
\
|
c
c
+
c
c
=
c
c
2
2
2
2
y
T
x
T
k
t
T
( ) ( )
l
j i
l
j i
l
j i
l
j i
l
j i
l
j i
T T T T T T
1 1
2 1
1
2 1 2 1
1
1 2 1 2
+
+
+
+ +
+ + = + +
, , ,
/
,
/
,
/
,
(3,1) (3,2) (3,3)
(2,1) (2,2) (2,3)
(1,1) (1,2) (1,3)
Primer paso:
Segundo paso:
( ) ( )
2 1
1
2 1 2 1
1
1
1
1 1
1
1 2 1 2
/
,
/
,
/
, , , ,
+
+
+ +
+
+
+ +
+ + = + +
l
j i
l
j i
l
j i
l
j i
l
j i
l
j i
T T T T T T
|
|
|
.
|
\
|

6125 14
2625 6
2625 6
167 2 0835 0 0
0835 0 167 2 0835 0
0 0835 0 167 2
2 1
3 1
2 1
2 1
2 1
1 1
.
.
.
. .
. . .
. .
/
,
/
,
/
,
T
T
T
Primer paso:
Para los nodos (1,1) (1,2) y (1,3) se plantea el sistema
Segundo paso:
Para los nodos (1,1) (2,1) y (3,1) se plantea el sistema
|
|
|
.
|
\
|

0619 8
2577 0
0639 13
167 2 0835 0 0
0835 0 167 2 0835 0
0 0835 0 167 2
1
3 1
1
2 1
1
1 1
.
.
.
. .
. . .
. .
,
,
,
T
T
T
|
|
|
.
|
\
|
=
|
|
|
|
.
|
\
|
8692 6 2708 3 01060 3
1291 4 2900 0 1274 0
0256 6 2477 2 0181 2
2 1
3 1
2 1
2 1
2 1
1 1
2 1
3 2
2 1
2 2
2 1
1 2
2 1
3 3
2 1
2 3
2 1
1 3
. . .
. . .
. . .
/
,
/
,
/
,
/
,
/
,
/
,
/
,
/
,
/
,
T T T
T T T
T T T
Primer paso:
|
|
|
.
|
\
|
=
|
|
|
|
.
|
\
|
1120 13 1683 6 5855 5
3207 8 8238 0 4782 0
3606 11 2359 4 7388 3
1
3 1
1
2 1
1
1 1
1
3 2
1
2 2
1
1 2
1
3 3
1
2 3
1
1 3
. . .
. . .
. . .
, , ,
, , ,
, , ,
T T T
T T T
T T T
Segundo paso:
Ecuaciones hiperblicas
Aspectos bsicos
,
De forma general se puede decir que son las ecuaciones que tienen
variacin en la dimensin espacial y derivada de orden 2 con respecto al
tiempo.

Generalmente se emplean para problemas de vibraciones y
propagacin.

Para ilustrar los principios del mtodo de diferencias finitas aplicado a
la resolucin de ecuaciones diferenciales hiperblicas partiremos de una
ecuacin tpica, como la ecuacin de onda, que esta dada por:

2 2
2
2 2
( , ) ( , ) 0
u u
x t x t
t x
o o
o
o o
=
Diferencias finitas aplicado a la ecuacin de onda
,
Sujeta a las condiciones de frontera:

u (0,t) = u(l,t) = 0, para t>0

Lo interpretacin fsica de estas condiciones es que para cualquier
tiempo t la posicin en los extremos es cero.

Las condiciones iniciales son:

u(x,0) = f(x) y para:

Estas condiciones iniciales expresan la posicin y la velocidad inicial de
la onda, las cuales estn dadas por funciones que dependen de la
dimensin espacial x.

( , 0) ( )
u
x g x
x
o
o
=
0 x l s s
,
Para establecer el mtodo de diferencias finitas, se selecciona un entero
m>0 y el tamao de paso de tiempo k>0. Con h= l/m los puntos de red (x
i
,
t
j
) son:
x
i
= ih, y t
j
= jk
para cada i = 0,1,2,m y j=0,1 En cualquier punto de red interior
(x
i
,t
j
) la ecuacin de onda se transforma en:

2 2
2
2 2
( , ) ( , ) 0
i j i j
u u
x t x t
t x
o o
o
o o
=
El mtodo de diferencias se obtiene usando el cociente de
diferencias centradas en las segundas derivadas parciales, dadas
por:
2 2 4
, 1
2 2 4
( , ) 2 ( ) ( , )
( , ) ( , )
12
i i j i j i j
j j i j
u x t u x t u x t
u k u
x t x
t k t
o o

o o
+
+
=
,

2 2 4
1 , 1
2 2 4
( , ) 2 ( ) ( , )
( , ) ( , )
12
i j i j i j
j j i j
u x t u x t u x t
u h u
x t t
x h x
o o
c
o o
+
+
=
Si se diferencia para la dimensin espacial:
Si se sustituyen las ecuaciones de diferencias en la original, se
obtiene la ecuacin de diferencias:

1 1 1 1 2
2 2
( , ) 2 ( , ) ( , ) ( , ) 2 ( , ) ( , )
0
i j i j i j i j i j i j
u x t u x t u x t u x t u x t u x t
k h
o
+ +
+ +
=
Si se reemplaza u (x,t) por el trmino de aproximaciones numricas
w con sus respectivos subndices (i, j) y se toma k
h
o
=
2 2 2
, 1 , , 1 1, , 1,
2 2 0
i j i j i j i j i j i j
w w w w w w
+ +
+ + =
La ecuacin queda:
,

Esta ecuacin se resuelve para w
i,j+1
, o sea la aproximacin ms
avanzada para el paso del tiempo, obteniendo:
2 2
, 1 , 1, 1, , 1
2(1 ) ( ) 0
i j i j i j i j i j
w w w w w
+ +
= + + =
De manera grfica se pueden observar los puntos
involucrados en el clculo:
t
l

t
l+1

x
i-1
x
i+1
x
i

t
x
,

Esta ecuacin es aplicable para toda i=1,2,3.m-1 y para j=1,2,3.

Las condiciones de frontera, dan:
w(0,j)= w(m,j)=0, para cada j=1,2,3

Y la condicin inicial implica que:
w(i,0)=f(x
i
), para cada i=1,2,. m-1

Adems el punto w(i,1) se obtiene a partir de la condicin de
velocidad inicial y da:
(error 0(k))

Que se deduce de la aproximacin hacia delante de la derivada.

,1 ,0
( )
i i i
w w kg x = +
,

1, 1 1, 1, 1
2 2
2, 1 2, 2, 1
2 2 2
1, 1 1, 1, 1
2
2 2
2(1 )
2(1 )
2(1 )
0
0
0
0 0
j j j
j j j
m j m j m j
w w w
w w w
w w w

+
+
+
| |
|
|
( ( (
|
( ( (
|
( ( (
|
=
( ( (
|
( ( (
|
( ( (
|

|
|
|
\ .
La ecuacin de forma matricial queda:
2 2
2
,1 1 1
(1 ) ( ) ( ) ( ) ( )
2 2
i i i i i
w f x f x f x kg x

+
= + + +
Si se desea mayor exactitud error 0(k
3
)
,
ALGORITMO PARA RESOLUCIN DE LA ECUACIN DE ONDA:

2 2
2
2 2
( , ) ( , ) 0
u u
x t x t
t x
o o
o
o o
=
0 , 0 x l t T < < < <
Para:

Sujeta a las condiciones de frontera:
u (0,t) = u(l,t) = 0, para
Y las condiciones iniciales:
u(x,0) = f(x), y
0 t T < <
( , 0) ( )
u
x g x
x
o
o
=
0 x l s s
para:
,

/
/
/
h l m
k T N
k h o
=
=
=
0,
,
0
0
j
m j
w
w
=
=
Entrada: extremo l, tiempo mximo T, constante , enteros m >=2, N>=2
Salida: aproximaciones w
i,j
a u(x
i
,t
j
) para toda i=0,.,m y j=0,.,N.
Paso 1.
Tome:

Paso 2
Para j=1,.N, tome
Paso 3
Tome:
( )
( );
;
,
,
l f w
f w
m
=
=
0
0 0
0
Paso 4.
Para i=1,..m-1 (inicialize para t=0 y t=k) Tome w
i,0
= f(i,h);

2 2
2
,1 1 1
(1 ) ( ) ( ) ( ) ( )
2 2
i i i i i
w f x f x f x kg x

+
= + + +
Paso 5. Multiplicacin de matrices:
Para j=1,..N-1
Para i=1,m-1
Tome:
2 2
, 1 , 1, 1, , 1
2(1 ) ( ) 0
i j i j i j i j i j
w w w w w
+ +
= + + =
Paso 6.
Para j = 0, .N
Tome: t=jk;
Para i=0,..m
Tome x=ih;
SALIDA (x,t,w
i,j
)
Paso 7. FIN
APLICACION 1. EDP ELPTICA [1]
Ecuacin de Laplace
0
2
2
2
2
=
c
c
+
c
c
y
u
x
u
Condiciones de frontera
( )
=
=
=
=
= c
1 1
1 1
0 0
0 0
y
x
y
x
y x u
,
,
,
,
,
Regin: [0, 1] ! [0, 1]
h= 0.25
APLICACION 1. EDP ELPTICA
Para el nodo (1,1)
u
(2, 1)
+ u
(0, 1)
+ u
(1, 2)
+ u
(1, 0)
4 u
(1, 1)
= 0
u(0.25, 0) = u(0, 0.25) = 0

u
(2, 1)
+ u
(1, 2)
4 u
(1, 1)
= 0

( ) ( ) ( ) ( ) ( ) ( )
0
2
2
1 1
2
1 1
=
A
+
+
A
+
+ +
y
u u u
x
u u u
j i j i j i j i j i j i , , , , , ,
( ) ( ) ( ) ( ) ( )
0 4
1 1 1 1
= + + +
+ + j i j i j i j i j i
u u u u u
, , , , ,
Para el nodo (3,2)
u
(4, 2)
+ u
(2, 2)
+ u
(3, 3)
+ u
(3, 1)
4 u
(3, 2)
= 0

u(1, 0.5) = 1

u
(2, 2)
+ u
(3, 3)
+ u
(3, 1)
4 u
(3, 2)
= -1

SOLUCION: u = (1/7, 2/7, 1/2, 2/7, 1/2, 5/7, 1/2, 5/7, 6/7)
h= 0.25
h= 0.01
h= 0.05
APLICACIN 2. CRANK-NICHOLSON [3]
-Se quiere solucionar la EDP de transferencia de calor (archivo heat3.m)
usando el mtodo de Crack-Nicholson, en el intervalo de x entre 0 y 10. Para
resolver los sistemas de ecuaciones implcitas en cada tiempo se usa la
factorizacin LU y se usa un Ax = 0.5 y un At = 0.05
condiciones de frontera en el
lado derecho (archivo right.m):

1)

2) T = 3
3) T = 0
condiciones de frontera en el lado
izquierdo (archivo left.m):

1)

2) T = -2;
3) T = 100.0;
4) T = 0;
Condiciones iniciales (archivo heatf.m):

1) 3)

2) y
1
= x; y
2
= 10 -x; T = (x < 5.001).*y
1
+ (x > 5).*y
2
; 4) T = 0
( )
( ) t
te
t
t
T
2
1

+
+
=
( )
( ) t
te
t
t
T
2
1

+
+
=
( ) x
e
x
T
5
10
2
|
.
|
\
|
t
= sin
( ) x x T t + = 2 2 5 sin
APLICACIN 2. CRANK-NICHOLSON
En la siguiente tabla se relacionan las diferentes soluciones segn las
condiciones de frontera e iniciales usadas
C. F.
derecha
C. F
izquierda
C. Inicial Figura
1 1 1 Figura 1
2 2 2 Figura 2
3 3 3 Figura 3
2 4 4 Figura 4
Figura 1 Figura 2

Figura 3 Figura 4

APLICACIN 2. CRANK-NICHOLSON
-Ahora se quiere solucionar la EDP de calor (archivo heat4.m) con las
condiciones de frontera de Neuman T(0,t) = T(10,t) = 0
q(x) puede ser (archivo q.m):

1)

2)
( ) x q
x
T
k
t
T
=
c
c
c
c
2
2
C. Inicial q(x) Figura
4 1 Figura 5
4 2 Figura 6
3 1 Figura 7
3 2 Figura 8
( )
2
5
=
x
e T
( )
( ) ( )
( )
( ) ( )
2 2
7 8 2 2
5 2 5

> =
x x
e x e x T
Figura 5 Figura 6

Figura 7 Figura 8
APLICACIN 3. ECUACIN DE LA ONDA [3]
-Solucionar la ecuacin de la onda (archivo wave1.m) en un intervalo en x de o
a 10, con u igual a cero en las dos fronteras usando el mtodo de diferencias
finitas. Tanto Ax como At son 0.25. En t=0, u=0. d=0.1 y k = 4.
0 2
2
2
2
2
= +
c
c
c
c
+
c
c
ku
x
u
t
u
d
t
u
APLICACIN 3. ECUACIN DE LA ONDA
-Solucionar la ecuacin (archivo wave2.m) en un intervalo en x de o a 10, con u
igual a cero en las dos fronteras usando el mtodo de diferencias finitas. Tanto
Ax como At son 0.25. q=5
0
3
2
2
2
2
= q +
c
c
c
c
u
x
u
t
u
APLICACIN 4. ECUACINES DE TRANSPORTE [4]
0 =
c
c
c
c
x
u
a
t
u
-Solucionar la ecuacin de transporte
En un intervalo [a,b], con
condiciones iniciales u(x,0) = u_0(x)
con los esquema de diferencias
finitas de (archivo transport.m) :

Euler
Lax-Friedrichs
Lax-Wendroff
Upwind

Euler
Upwind
Lax-Friedrichs

Lax-Wendroff
BIBLIOGRAFIA
[1] Douglas Wilhelm Harder, M.Math. Numerical Methods and Analysis for Engineers.
University of Waterloo. Department of Electrical and Computer Engineering.
http://www.ece.uwaterloo.ca/~ece204/TheBook/

[2] Chapra and Canale. Mtodos numricos para ingenieros. 4 ed. Mc Graw Hill,2002

[3] Jeffery Cooper . Mathematics Department. The University of Maryland.
http://www.math.umd.edu/~jec/

[4] Scientific Educational Matlab Database. Universidad de Stutgart.
http://matlabdb.mathematik.uni-stuttgart.de/index.jsp

Clase EDP

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Clase EDP

Transféré par

Droits d'auteur :

Formats disponibles

DIFERENCIAS FINITAS: INTRODUCCIN

En la bsqueda de una descripcin cualitativa de un determinado

Vous aimerez peut-être aussi