Mtodos de Diferencias Finitas (ecuaciones hiperblicas)

Mtodo de las caractersticas

El mtodo de las caractersticas se basa en determinar la solucin partiendo de nodos
iniciales (el espaciamiento puede no ser uniforme) y siguiendo el andamiento de las
caractersticas.
En el caso de las ecuaciones de Saint-Venant las caractersticas son
Los invariantes de Riemann de las ecuaciones de Saint-Venant sin trminos de fuente ya
se demostr anteriormente que son
Demostrase que cuando existen trminos de fuente los invariantes pasan a ser casi-
invariantes y son
Agrupando los invariantes y las caractersticas se obtiene el siguiente sistema de
ecuaciones
Considerando que se conocen las variables en dos nodos L y R (en el inicio del clculo
son las condiciones iniciales), pueden discretizarse las ecuaciones anteriores para
obtener la solucin en el punto P en un instante de tiempo superior
dx
u c
C u c
dt
dx
C u c
u c
dt
+

+

+

' '

2
2
u c cte
u c cte
+
'

( ) ( )
( ) ( )
0
0
2
2
f
f
d
u c g S S
dt
d
u c g S S
dt

'

( ) ( )
( ) ( )
0
0
2
al longo de
2
al longo de
+

1
+
1
1
1
+
1
]
'
1

1
]
e
e
d
u c g S S
dt
C
dx
u c
dt
d
u c g S S
dt
C
dx
u c
dt
[ ]
[ ]
( )
[ ]
[ ]
[ ]
[ ]
[ ]
( )
[ ]
[ ]
[ ]
0
0
2
al longo de
2
al longo de
+

1
+

1
1
]

1
+

1
1
]
'
1

1
1
]
1

1
]

P
L
e
P L
L
P
L
L P
L
P
R
e
P R
R
P
R
R P
R
u c
g S S
t
C
x
u c
t
u c
g S S
t
C
x
u c
t
Desarrollando la ecuacin anterior se concluye que tiene 4 incgnitas todas en el punto P
(uP, cP, tP y xP). Note que todos los valores de las variables en los puntos L (uL, cL, tL y xL) y
R (uR, cR, tR y xR) son conocidos
Las variables S0 y Se de los trminos de fuente pueden ser especificadas por ecuaciones
de cierre que las relacionan con las otras variables. Por ejemplo,
La metodologa de clculo es la siguiente:
Determinase el tiempo en el nodo P, tP, eliminando xP en las 2da y 4ta ecuaciones
Se obtiene la distancia en el nodo P, xP, usando la 2da ecuacin
( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( )
0
0
2 2
al longo de
2 2
al longo de
+

1 + +
1
+
1
]

'
1

1 ]
P P L L L eL P L
P L L L P L
P P R R R eR P R
P R R R P R
u c u c g S S t t
C
x x u c t t
u c u c g S S t t
C
x x u c t t
cota del fondo
0

f
z
S
x
( )
2
2 3
e
u
S
K R h
_

1
] ,
( ) ( ) ( )
( ) ( )
L R R R R L L L
P
R L L R
x x t u c t u c
t
u u c c
+ +

Se obtiene la celeridad (altura de agua) en el nodo P, cP, eliminando uP en las 1ra y 3ra
ecuaciones
Por ltimo, se obtiene la velocidad en el nodo P, uP, usando la 1ra ecuacin
El mtodo de las caractersticas es as un mtodo explcito, por lo que su estabilidad
numrica est sujeta a la siguiente condicin
A pesar del mtodo de las caractersticas permitir una excelente visualizacin del
andamiento de la solucin y del comportamiento de las caractersticas, su aplicacin a
sistemas de EDPs ms complicados coloca algunos problemas. Nmadamente en la
determinacin de la matriz Jacobiana, de los respectivos valores propios (caractersticas)
y de los invariantes de Riemann
La aplicacin del mtodo a problemas con ms do que una dimensin espacial es tambin
complexo, dado que las caracterstica dejan de ser curvas en un plano para pasaren a ser
superficies en un espacio tridimensional. As, la interseccin de las caractersticas en el
resulta en un nodo, pero si en un conjunto de nodos (lnea o curva)
Mtodos de diferencias finitas para resolver EDPs hiperblicas.
Recordando las ecuaciones de Saint-Venant
( ) ( )
P L L L P L
x x u c t t + +
( ) ( ) ( ) ( ) ( ) ( )
0 0
1
2
4
P L R L R L eL P L R eR P R
c u u c c g S S t t g S S t t 1 + + +
]
( ) ( ) ( )
0
2 2
P L L P L eL P L
u u c c g S S t t + +
( ) max
x x
t
u c C


+
Cuanto ms completa es la ecuacin de la conservacin del momento, mayor mbito de
validad tendr el sistema de EDPs
Se demuestra que el modelo de onda cinemtica conduce a la ecuacin de adveccin de
1ra orden
Se demuestra que el modelo de onda difusiva conduce a la ecuacin de adveccin-
difusin de 1ra orden
Existen un conjunto vasto de mtodos de diferencias finitas para solucionar EDPs
hiperblicas, en el se pudiendo referir que un sea mejor do que el otro, dado que sus
resultados irn depender de las propias EDPs. O sea, un esquema puede ser adecuado
para una dada EDP y para otra ya en el lo ser, o para tornarlo adecuado implica introducir
algunos cambios
Inicialmente, los mtodos de diferencias finitas para EDPs hiperblicas presentaran
problemas de estabilidad numrica. Tomando por ejemplo, el problema unidimensional
homogneo
pueden por ejemplo desarrollarse esquemas con diferencias centradas (2da orden) en el
espacio y con diferencias progresivas (1ra orden), regresivas (1ra orden) o centradas (2da
orden) en el tiempo
( )
( )
0
0
0 con
0

+ +

+
'

k k
e
h u h
h u
h h
t x x c c f h
t x
g S S
( )
( ) ( )
2
1 2
2
0
0
' 0 con ' y

+ +

+
'

k D k D
e
h u h
h u
h h h
t x x
c C c f h C f h
h t x
x
g S S
x
0 (forma conservativa)
t x

+

U F
Aplicando diferencias centradas (2da orden) en el espacio y diferencias progresivas (1
orden) en el tiempo se obtiene un esquema explcito (mtodo de Euler)
Aplicando diferencias centradas (2 orden) en el espacio y diferencias regresivas (1
orden) en el tiempo se obtiene un esquema implcito (mtodo implcito de Euler) (Nota:
conduce a una matriz tridiagonal)
Note que los dos esquemas anteriores son muy similares a los descritos para EDPs
parablicas (solo que en esas se discretiz
2
/x
2
en vez de /x)
Aplicando el esquema de Euler explcito a la ecuacin hiperblica ms simples, ecuacin
unidimensional de adveccin pura (note que la variable dependiente puede ser la
temperatura, concentracin, presin, altura de agua, etc.)
se obtiene
El parmetro es designado por nmero de Courant y verificase que la estabilidad del
esquema depende exclusivamente de esto parmetro
De los ejemplos anteriores se destaca la importancia de la estabilidad numrica. Sin
embargo, existen an ms dos aspectos que deben ser considerados: la consistencia y
la convergencia
La consistencia significa que las ecuaciones a las diferencias deben tender para las
correspondientes EDPs cuando t y x tienden para cero. Este concepto puede
resumirse: un esquema es consistente si el error de redondeo tender para cero cuando t
y x tienden para cero
La convergencia significa que en un dado nodo i la solucin numrica debe tender para
la solucin exacta de la EDP a medida que se disminuyen los pasos de clculo t y x, o
sea a medida que tienden para cero
0 (forma conservativa)
t x

+

U F
( )
1
1 1 1
1 1
0
2 2
n n n n
n n n n i i i i
i i i i
t
t x x
+
+ +
+

+

U U F F
U U F F
( )
1 1 1
1 1 1 1 1
1 1
0
2 2
n n n n
n n n n i i i i
i i i i
t
t x x
+ + +
+ + + +
+

+

U U F F
U U F F
0
u u
c
t x

+
( ) ( )
1
1 1 1 1
2 2
c t
x
n n n n n n n
i i i i i i i
c t
u u u u u u u
x

+
+ +

Como es obvio la estabilidad, la consistencia y la convergencia estn interrelacionadas. El

teorema de Lax refiere para un problema de valor inicial y una discretizacin
consistente, la estabilidad es condicin necesaria y suficiente para garantir la
convergencia
El teorema de Lax muestra que el anlisis de un esquema numrico debe obedecer a los
siguientes pasos:
1. Analizar la consistencia a travs de la determinacin del error de redondeo, por el
camino queda tambin determinada la orden de aproximacin
2. Analizar la estabilidad a travs del desarrollo en series de Fourier (la metodologa ya ha
sido presentada anteriormente: coeficiente y matriz de amplificacin)
Adems de la estabilidad, otro aspecto que qued evidente de los ejemplos de 1ra y 2da
orden presentados es que el hecho de se utilizar un esquema de 1ra orden, a pesar de
ser estable, conduce a una mala precisin. As, ser conveniente conseguir una
aproximacin de 2da orden, pero que al contrario del mtodo de Euler no sea inestable