Resolucin de ecuaciones en derivadas parciales:

diferencias finitas
Resumen de la clase

23 de febrero de 2017

Durante la clase de hoy, hemos trabajado los siguientes conceptos clave:

Las ecuaciones en derivadas podemos resolverlas sustituyendo las derivadas por dife-
rencias finitas. A esto lo llamamos formulacin fuerte (ya veremos en prximas clases
lo que es la formulacin fuerte y dbil).

Podemos plantear cualquier problema de inters que evolucione en el tiempo como:

w
= f(w, t) (1)
t
donde w es el vector de estado, t es el tiempo y f es una funcin del vector de estado
y del tiempo. Por supuesto, habr que aadir apropiadamente condiciones iniciales y
de contorno.

Podemos resolver la Ecuacin 1 haciendo uso de cualquier esquema de integracin

de ecuaciones diferenciales ordinarias. Estos esquemas hacen avanzar la solucin en
pasos temporales discretos.

Los integradores temporales se dividen en explcitos (bajo coste computacional por

paso, usan informacin conocida del vector de estado para obtener su actualizacin) e
implcitos (alto coste computacional por paso, usan informacin del vector de estado
en el paso temporal prximo para obtener la actualizacin del mismo).

Los integradores temporales tienen distintos rdenes de convergencia. Los integrado-

res de primer orden tienen un error de integracin del tamao del paso temporal t.
Los integradores de segundo orden tienen un error del orden de ( t)2 . Los integrado-
des de tercer orden tienen un error del orden de ( t)3 . . . Los integradores de mayor
orden tienen, en general, menos error pero mayor coste computacional (en tiempo de
CPU, memoria o ambos).

Cada combinacin de problema e integrador temporal tiene un paso temporal mxi-

mo t admisible para asegurar la convergencia. En general, este paso es muy pequeo
para los esquemas explcitos y puede ser arbitrariamente grande para los esquemas
implcitos (con algunas restricciones). Esta propiedad de los esquemas implcitos se
llama A-estabilidad (consultar bibliografa de la asignatura si se desea ms informa-
cin) y slo se puede dar para esquemas de, como mucho, orden 2.

1
Un problema en derivadas parciales puede aproximarse por diferencias finitas:
u u du u i u i1
+ =0 + =0 (2)
t x dt x
donde u es la variable dependiente y x es la posicin temporal. La Ecuacin 2 ha sido
convertida a diferencias finitas tras discretizar en mltiples nodos de clculo. Cada
nodo i se encuentra en una posicin x i , con las posiciones separadas una distancia x.
La derivada ha sido sustituida por diferencias finitas adelantadas de primer orden
(mtodo upwind de primer orden). Ntese que se necesita una malla muy regular
para poder aproximar la derivada correctamente!

La Ecuacin 2 puede ser integrada con cualquier integrador temporal, sabiendo sus
condiciones iniciales y de contorno.

Los esquemas de discretizacin espacial de primer orden son muy difusivos y tienen
un error del orden de x. Los esquemas de mayor orden tienen un error ms pequeo
y son menos difusivos. Por supuesto, los esquemas de mayor orden tienen un mayor
coste computacional.

Del Teorema de Godunov: los esquemas de discretizacin espacial lineales de orden

dos o superior generan oscilaciones espurias (que no se dan en la realidad, introduci-
das por el propio mtodo numrico) ante la presencia de discontinuidades. Habr que
usar esquemas no lineales (con un mayor coste) para evitarlo.

Los sistemas de ecuaciones hiperblicos tienen un dominio de dependencia limitado.

La zona afectada por un punto est limitada por la velocidad de propagacin de la
informacin (por los autovalores del problema).

El dominio de dependencia del esquema numrico ha de estar contenido dentro del

dominio de dependencia del problema fsico, o se generarn problemas, errores y di-
vergencia de la solucin. En lenguaje llano: no es buena idea usar zonas que en la
fsica real no afecten a un punto para calcular la evolucin en dicho punto.

Esto produce que:

x

t|max = C (3)
min
donde t|max es el paso temporal mximo admisible, C es el llamado nmero de
Courant y los trminos son los autovalores del sistema. En general, estos autovalo-
res son la velocidad de propagacin de la informacin (la velocidad del fluido ms la
velocidad del sonido, por ejemplo, en las ecuaciones de Euler). El nmero de Courant
suele tener que ser menor que 1. A esta condicin de estabilidad se le llama condicin
de estabilidad de Courant-Friedrichs-Lewy.

La condicin CFL en los sistemas hiperblicos los convierte en rgidos: el paso tem-
poral necesario es mucho ms pequeo que el deseable slo por criterior de error de
integracin temporal.

La condicin CFL es una condicin necesaria pero no suficiente de estabilidad!

Dada la condicin CFL, el coste computacional de integrar en el tiempo crece con el

cuadrado de la inversa del espaciado entre nodos (por el coste de evaluar f y por el
tamao del paso temporal).

Es posible usar nmeros Courant mayores que 1 con esquemas implcitos.