Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EDP1
EDP1
A
+ A =
i xxx i xx i x i i
u
x
u
x
u x u u
( ) ( ) ( ) .......
3
4
2 2
3 2
2
+ A A + A =
i xxx i xx i x i i
u x u x u x u u
( )
( ) ( ) ( ) ( ) ( ) ( )
x
x u
x
b c u x b c u c b a
u
i xx i x i
i x
A
A +
A
+ + A + + +
=
3
2
0
2
4 2
Imponiendo a b c + + = 0; 2 1 c b + = ; 5 . 0 , 2 , 5 . 1 0 4 = = = = + c b a b c
( ) ( )
2 2 1
0
2
4 3
x
x
u u u
u
i i i
i x
A +
A
+
=
En este caso, la bsqueda se orient a una expresin explcita. Podra haberse intentado una expresin
implcita ( ) ( ) ( )
2 1
1
0 2 x
x
u u
u u
i i
i x i x
A +
A
= +
+
+
que es de dos puntos y de segundo orden.
Por lo que los valores de ( )
x
u resultan de resolver un sistema, en el cual todos los valores funcionales de
la grilla intervienen.
Con tres puntos, se puede lograr una estimacin de cuarto orden
( ) ( ) ( ) ( )
4 1 1
1 1
0 3 4 x
x
u u
u u u
i i
i x i x i x
A +
A
= + +
+
+
Los esquemas implcitos tienen como ventaja el mayor orden de aproximacin frente a un equivalente
explcito. Como contraparte, exigen resolver un sistema de ecuaciones intermedio. Los esquemas
implcitos tambin son denominados Hermitianos.
ANLISIS DE LOS ESQUEMAS NUMRICOS 3
ANLISIS DE LOS ESQUEMAS NUMRICOS
Referencia: Hirsch, pp. 265-289.
Hasta el momento, se ha insistido en la forma de aproximar al mayor orden posible una ecuacin
diferencial con una ecuacin en diferencias. Ello no garantiza que el resultado sea "aceptable", en un
sentido amplio. Para precisar conceptos, es necesario formular algunas definiciones:
Definiciones
CONSISTENCIA: Un esquema en diferencias se dice consistente si la ecuacin discretizada tiende a la
ecuacin diferencial cuando Ax , Ay, At , etc. tienden a cero.
Esto es relativamente fcil de verificar, dado que plantear el desarrollo en serie de Taylor es siempre
posible.
ESTABILIDAD: El esquema se dice estable si la diferencia entre la solucin exacta y la numrica
permanece acotada n t A , con At fijo, y siendo adems la cota independiente de n.
Es decir,
( ) fijo , t k t n x u u n
i
n
i
A s A
Esta condicin garantiza que los errores (por ejemplo, los iniciales) no se amplifican con el tiempo. Es
una condicin para el esquema, y no para la ecuacin diferencial. Ntese que esto es muy parecido a
decir que las soluciones de la EDP homognea son acotadas en el tiempo.
En realidad, lo que interesa asegurar es que la solucin exacta y la aproximada se parezcan; por ello se
define un nuevo concepto, el de convergencia.
CONVERGENCIA: El esquema ser convergente, si x t , (fijos)
( ) t n t x i x t n x i u u
n
i
n i
t
x
A = A = = A A
+
A
A
, para 0 , lim
,
0
0
fijos
Se pueden vincular las dos primeras condiciones con la tercera, mediante el as llamado Teorema de
equivalencia de Lax. "Para un problema de valor inicial well posed con un esquema de discretizacin
consistente, la estabilidad es CN y S para la convergencia".
Por "well posed" se entiende un problema en el cual la solucin en todo punto del dominio depende en
forma continua de las condiciones iniciales y de borde; ello implica que pequeas perturbaciones en
stas, producen pequeas discrepancias en la solucin.
ECUACIONES PARABLICAS
Referencia : Nakamura, pp. 470-478; 482-484.
Son ejemplos de este tipo de ecuacin los fenmenos transitorios de transmisin de calor en slidos, o
de difusin molecular.
La forma ms simple (unidimensional) del problema sera:
( )
|
.
|
\
|
+ =
t x der
t x S
x t
,
,
2
2
c
| c
o
c
| c
Se estudiarn a continuacin los esquemas tpicamente aplicados a esta tipo de EDP.
4 Ecuaciones en derivadas parciales
Euler hacia adelante (explcito):
( ) ( )
( )
n i
n i n i
t x der
t
t x t x
,
, ,
1
=
A
+
| |
Nota: Se indica con un crculo negro los valores incgnita, y con un crculo blanco los ya conocidos.
Euler hacia atrs (implcito):
( ) ( )
( )
1
1
,
, ,
+
+
=
A
n i
n i n i
t x der
t
t x t x | |
Crank-Nicholson (implcito)
Discretiza en ( )
2
1
,
+ n
i
t x ; es de segundo orden en At
( ) ( )
( ) ( ) | |
n i n i
n i n i
t x der t x der
t
t x t x
, ,
2
1 , ,
1
1
+ =
A
+
+
| |
En cualquiera de los esquemas, debe justificarse la convergencia. Como ello es dificultoso, se intenta
justificar la estabilidad.
Para ello se puede aplicar el criterio de Von Neumann. El mismo es aplicable a ecuaciones lineales con |;
el dominio debe ser no acotado, Ax =cte. y que los coeficientes de la EDP sean tambin constantes.
En estas hiptesis, si la condicin inicial es combinacin lineal de otras funciones, la solucin de la EDP
ser a su vez combinacin lineal de soluciones.
ECUACIONES PARABLICAS 5
Una descomposicin apropiada es la de series de Fourier (en variable compleja)
P.ej 1 ..... 1
1
1
2 2
< + + + + =
e e e
z
mi m i i
Cada sumando de la serie est formado por un N real que multiplica a las funciones base (denominadas
"modos" o "armnicos") ( )
( ) ( )
N
m
ji
N
m
n
m
n
i n i
e E t x
t
| |
=
= ~
1
,
As, para el m-simo armnico
( )
1 = = j e
E
N
m
ji
n
m
n
i
t
|
Para que el esquema sea estable, todos y cada uno de los modos debe permanecer acotado en el tiempo,
o sea, llamando
( )
( )
E
E
G
n
m
n
m
1 +
=
se tiene que
( )
( )
N
m
E
E
G
n
m
n
m
t
u = s =
+
1
1
G es llamado factor de amplificacin, y es en general, un nmero complejo. G depende de A A x t , , u, etc.
As, por ejemplo, para el esquema de Euler hacia adelante.
( ) ( ) ( ) ( ) ( )
solucin la
a n perturbaci la estudia se pues
homognea, ecuacin la analiza Se
2
2
1 1
1
x t
n
i
n
i
n
i
n
i
n
i
A
+
=
A
+
+
| | |
o
| |
( ) ( )
=
u
|
i j n
m
n
i
e E
( ) ( )
( )
( ) ( ) ( )
| |
( )
t
e E
e
e
e E
x t
e E E
i j n
i j i j i j n
m
i j n n
A
+
A
=
A
+
+ u
u u u
u
o
por dividiendo ; 2
1 1
2
1
( )
( )
| | | |
|
.
|
\
|
A
A
+ = +
A
A
=
2
2
2 2
1
2
1 cos 2 1 2 1
u
u u
u
o o
sen
j j
n
m
n
m
x
t
G e e
x
t
E
E
En este caso, G es real, y cumple s
A
A
s
A
A
|
.
|
\
|
s 1 4 1
2
2 2 1
2 2
2
x
t
x
t
sen G
o o u
1 4 1 2 4
2 2
> s
o o A
A
A
A
t
x
t
x
o A
A
t
x
2
1
2
<
Se observa que, an tendiendo a cero, no cualquier combinacin de At , Ax es admisible; el esquema
converge slo si se cumple la condicin.
El criterio de Von Neumann no es una CN CS. Se podra decir, a los fines prcticos, que se usa como CN
y S, pero hay casos que no la cumplen y sin embargo son convergentes (y no es CS por los efectos de no
linealidad, etc. no considerados).
6 Ecuaciones en derivadas parciales
Para el caso de Euler hacia atrs
( ) ( )
( ) ( ) ( )
| |
1
1
1 1
1
2
1
2
+
+
+ +
+
+
A
=
A
n
i
n
i
n
i
n
i
n
i
x t
| | |
o | |
Nuevamente, se estudia un nico armnico
( ) ( )
( )
( ) ( ) ( )
| |
u u u u
o
1 1 1
2
1
2
+ +
+
+
A
=
A
i j i j i j n i j
n n
e e e E
x
e
t
E E
;
si de divide entre
( )
t
e E
i j n
A
u
resulta:
( )
( )
( )
( )
( )
( )
( )
( ) 1 1 cos 2 1 1 cos 2 1
2
1 1
2
1
=
(
A
A
A
A
=
+ + +
u
o
u
o
x
t
E
E
E
E
x
t
E
E
n
n
n
n
n
n
( )
<
A
A
=
>
u
u
o
1
1 cos 2 1
1
0
2
x
t
G es incondicionalmente estable.
Se puede ver que, para Crank-Nicholson,
G
t
x
t
x
=
+
s
1 1
1 1
1
2
2
o
u
o
u
u
A
A
A
A
cos
cos
En general, G es un nmero complejo.