Resolución numérica de Ecuaciones en Derivadas

Parciales (EDP) con Elementos Finitos usando

FreeFem++
Francisco Periago Esparza

Dpto. Matemática Aplicada y Estadística

Universidad Politécnica de Cartagena. Spain

IV Escuela conjunta UVEG-UASL-UPCT. Aplicaciones modernas de las matemáticas.

Universidad Autónoma de San Luís Potosí. México. Julio 2012
 Esquema del curso
¿ Qué problemas queremos resolver ?

•  Mecánica de fluidos, difusión de calor, elasticidad,

electromagnetismo, etc..
•  Todos estos problemas están modelizados matemáticamente a
través de una ecuación en derivadas parciales (EDP)

Análisis Numérico:El Método de los Elementos Finitos

•  Formulación variacional o débil de una EDP

•  Descripción del Método
•  Control del Error

Implementación numérica con FreeFem++

•  Software libre de elementos finitos para problemas 2D y 3D

•  Algunos ejemplos concretos
¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Mecánica de Fluidos

Ω V
Γ
 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Ecuaciones de Navier-Stokes. Fluidos viscosos incompresibles

Claude-Louis Navier(1827) Georges Stokes (1845)

 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Difusión de Calor

D q

400
350 cobre
300
250 aluminio
κ

200
150
100
50 acero
0
250 350 450 550 650
temperatura ºK
 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Ecuación del Calor

Jean Baptiste Joseph Fourier (1768-1830)

¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Electrostática
 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Ecuaciones de Maxwell del Electromagnetismo en el vacío

James Clerk Maxwell (1862)

 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Membrana Elástica Sujeta en el Borde

f

Cuerda Elástica Sujeta en los Extremos

f
0 x L

u(x)
 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Elasticidad Lineal. Caso Estático

Robert Hooke (1678)

 ¿QUÉ PROBLEMAS QUEREMOS RESOLVER?

Más modelos….. y ecuaciones en derivadas parciales

Etc, etc, etc….

 UN POCO DE HISTORIA

El Laplaciano

Pierre-Simon Laplace
(1749-1827)

Sir Isaac Newton (1643-1727)

 CONCLUSIONES I

La Filosofía está escrita en ese

gran libro del universo, que está
continuamente abierto para que lo
observemos.
Pero el libro no puede comprenderse
sin que antes aprendamos el lenguaje
y alfabeto en que está compuesto.

Galileo Galilei (1564-1642)

Está escrito en el lenguaje de las matemáticas y sus

caracteres son triángulos, círculos y otras figuras
geométricas, sin las cuales es humanamente imposible
entender una sola de sus palabras. Sin ese lenguaje,
navegamos en un oscuro laberinto.
 CONCLUSIONES II

1. La Modelización Matemática es la mejor herramienta de

la que disponemos para entender buena parte de fenómenos
físicos que interesan a la Ciencia y la Tecnología.

2. Estos modelos matemáticos se componen de sistemas

enormemente complejos de Ecuaciones en Derivadas Parciales
que fueron formulados hace muchos pero aún hoy día sigue
siendo un reto resolverlos satisfactoriamente.

3. El Método de los Elementos Finitos es uno de los

métodos numéricos más usados por la comunidad científica y
por la industria para poder resolver numéricamente dichos
modelos.
 SIGLO XX: AÑO 1946

Teoría de las Distribuciones (1946).

Nuevos conceptos de Soluciones de las
Ecuaciones en derivadas Parciales

Laurent Schwartz (1915-2002)

John P. Eckert y Johnn W. Mauchly
contruyeron en 1946 el ENIAC
(Electronic Numerical Integrator and
Computer), primer ordenador de la
historia

METODO DE LOS ELEMENTOS FINITOS

Richard Courant (1943)
 SIGLO XXI: Método Científico

1. Modelización Matemática

2. Análisis Matemático

3. Análisis y Simulación Numérica

4. Control, Diseño, etc…

 ANÁLISIS MATEMÁTICO

Cuerda Elástica Sujeta en los Extremos

L /2
( PM )

( PM ) NO TIENE SOLUCIÓN CLÁSICA!!

 ¿QUÉ SE PUEDE HACER ENTONCES?

L /2
( PM )

( PV )

Trabajo virtual interno de deformación Trabajo virtual de las fuerzas exteriores

 ANÁLISIS MATEMÁTICO
L /2

Paul Dirac (1902-1984)

 ANÁLISIS MATEMÁTICO

Teoría de Distribuciones
 ANÁLISIS MATEMÁTICO

Teoría de Distribuciones
 ANÁLISIS MATEMÁTICO

Ejemplos de Distribuciones
 ANÁLISIS MATEMÁTICO

La derivación es una operación válida para cualquier distribución !!!

 ANÁLISIS MATEMÁTICO

L /2
( PM )

( PV )
 ANÁLISIS MATEMÁTICO

L /2

( PM )

( PV )

< f,v >

a(u,v)
ANÁLISIS MATEMÁTICO
 ANÁLISIS MATEMÁTICO

Formulación en Mínima Energía

Principio de Mínima Principio de los Trabajos

Energía Virtuales
Ecuación de Euler-
Lagrange
MÉTODO DE LOS ELEMENTOS FINITOS

Idea General del MEF

 MÉTODO DE LOS ELEMENTOS FINITOS

Construcción de los Espacios de Aproximación

 MÉTODO DE LOS ELEMENTOS FINITOS

Construcción de los Espacios de Aproximación

 MÉTODO DE LOS ELEMENTOS FINITOS

El Problema Variacional en los Espacios de Aproximación

MÉTODO DE LOS ELEMENTOS FINITOS

A modo de Resumen

MEF

Sistema de ecuaciones
algebraico
 MÉTODO DE LOS ELEMENTOS FINITOS

Estructura de la Matriz de Rigidez

 MÉTODO DE LOS ELEMENTOS FINITOS

Simulación Numérica con Matlab

-0.05

-0.1

-0.15

-0.2

-0.25

-0.3

-0.35
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
 MÉTODO DE LOS ELEMENTOS FINITOS

Ensamblado de la Matriz de Rigidez

⎡0 0 0 0 ... 0⎤
⎢0 0 0 0
Ah1
... 0⎥⎥
⎢ Ah2
⎢0 0 0 0 ... 0⎥
Ah = ⎢ Ah3 ⎥
⎢0 0 0 0 ... 0⎥
⎢    ⎥
⎢ ⎥
⎢⎣0 0 0 0 ... 0⎥⎦
 MÉTODO DE LOS ELEMENTOS FINITOS

Control del Error en el MEF

• Regularidad de la malla
• Regularidad de la solución débil
• Grado de los polinomios de interpolación

( PV )
 MÉTODO DE LOS ELEMENTOS FINITOS

El caso de las dimensiones 2 y 3

Fórmula de integración por partes (Teorema de Green)

1D

2D

ND
 MÉTODO DE LOS ELEMENTOS FINITOS

Forma Clásica de la EDP

Fórmulación Variacional de la EDP

Multiplicar la EDP por v

e integrar

Integrar por partes

Condiciones de frontera

Forma variacional de la EDP

 MÉTODO DE LOS ELEMENTOS FINITOS

Función de forma en dimensión 2

Discretización de la forma variacional de la EDP de
forma similar al caso 1D ……. y llegamos a un sistema
lineal de ecuaciones algebráico

Función de forma para elementos finitos de Lagrange P1 en 2D

 INTRODUCCIÓN A FreeFem++

Función de forma en dimensión 2

¿Qué es FreeFem++?

Software libre para resolver EDP usando el Método de los

Elementos Finitos. Funciona bajo Windows, Linux y Mac OS

Se puede bajar de la página http://www.freefem.org

Ha sido desarrollado en el Laboratoire Jacques-Luis Lions
de la Université Pierre et Marie Curie (Paris, Francia)

¿Cómo funciona?, ¿cómo se maneja?

Veamos un primer ejemplo sencillo en la versión gráfica

FreeFem++-cs 12.4 32
 INTRODUCCIÓN A FreeFem++
La ecuación de forma
Función de Poisson
en en el disco2 unidad (2D)
dimensión

Forma variacional:

border C(t=0,2*pi){x=cos(t);y=sin(t);} // frontera

mesh Th = buildmesh(C(100)); // malla. 100 puntos en el borde
plot(Th,ps= malla1.eps ); //dibujamos y grabamos la malla
fspace Vh(Th,P1); // espacio de elementos finitos Lagrange P1
Vh uh,vh; // uh,vh pertenecen a Vh
func f=1; // término de la derecha
solve Poisson(uh,vh)= // definimos el problema
int2d(Th)(dx(uh)*dx(vh)+dy(uh)*dy(vh))
-int2d(Th)(f*vh)
+on(C,uh=0);
plot(uh); // gráfica de la solución
 INTRODUCCIÓN A FreeFem++
La ecuación de forma
Función de Poisson
en en el disco2 unidad (2D)
dimensión

Forma variacional:

control del error

func u=0.25*(1-x^2-y^2); // solución exacta
real L2error; //variable real
L2error=sqrt(int2d(Th)(u-uh)^2); // error en norma L^2
cout<< L2error = <<L2error<<endl; // imprimir en pantalla
 INTRODUCCIÓN A FreeFem++
La ecuación de forma
Función de Poisson
en en el cubo 2unidad (3D)
dimensión

Forma variacional:
 INTRODUCCIÓN A FreeFem++

Problemas Evolutivos. Ecuación del Calor

Concepto de solución débil. Se ha de cumplir:

Solución del problema discretizado con elementos finitos:

 INTRODUCCIÓN A FreeFem++

Tras sustituir la solución del problema discretizado en la

formulación variacional obtenemos el sistema de
ecuaciones diferenciales ordinarias:

incógnita

matriz de masa

matriz de rigidez

término independiente
 INTRODUCCIÓN A FreeFem++

Finalmente, se ha de discretizar la variable temporal. Por

ejemplo con un esquema de Euler implícito.

Veamos un ejemplo concreto:

Forma variacional discretizada con un esquema de

Euler implícito:
INTRODUCCIÓN A FreeFem++
 INTRODUCCIÓN A FreeFem++
El sistema
Función de
de la elasticidad
forma lineal
en dimensión 2 2D

Forma variacional:
 INTRODUCCIÓN A FreeFem++

Función de forma en dimensión 2

 INTRODUCCIÓN A FreeFem++

Skin
Función
effectdeinforma
AC Power
en dimensión
electromagnetics
2

Forma variacional:
 INTRODUCCIÓN A FreeFem++

Función de forma en dimensión 2

 INTRODUCCIÓN A FreeFem++
Lubricación hidrodinámica.
Función de forma enEcuación de 2Reynolds
dimensión

Forma variacional: