Resolucin numrica de Ecuaciones en Derivadas

Parciales (EDP) con Elementos Finitos usando

FreeFem++
Francisco Periago Esparza
Dpto. Matemtica Aplicada y Estadstica
Universidad Politcnica de Cartagena. Spain

IV Escuela conjunta UVEG-UASL-UPCT. Aplicaciones modernas de las matemticas.

Universidad Autnoma de San Lus Potos. Mxico. Julio 2012

Esquema del curso

Qu problemas queremos resolver ?
Mecnica de fluidos, difusin de calor, elasticidad,
electromagnetismo, etc..
Todos estos problemas estn modelizados matemticamente a
travs de una ecuacin en derivadas parciales (EDP)
Anlisis Numrico:El Mtodo de los Elementos Finitos
Formulacin variacional o dbil de una EDP
Descripcin del Mtodo
Control del Error
Implementacin numrica con FreeFem++
Software libre de elementos finitos para problemas 2D y 3D
Algunos ejemplos concretos

QU PROBLEMAS QUEREMOS RESOLVER?

Mecnica de Fluidos

QU PROBLEMAS QUEREMOS RESOLVER?

Ecuaciones de Navier-Stokes. Fluidos viscosos incompresibles

Claude-Louis Navier(1827)

Georges Stokes (1845)

QU PROBLEMAS QUEREMOS RESOLVER?

Difusin de Calor

400
350
300
250
200
150
100
50
0

cobre
aluminio

acero
250 350 450 550 650

temperatura K

QU PROBLEMAS QUEREMOS RESOLVER?

Ecuacin del Calor

Jean Baptiste Joseph Fourier (1768-1830)

QU PROBLEMAS QUEREMOS RESOLVER?

Electrosttica

QU PROBLEMAS QUEREMOS RESOLVER?

Ecuaciones de Maxwell del Electromagnetismo en el vaco

James Clerk Maxwell (1862)

QU PROBLEMAS QUEREMOS RESOLVER?

Membrana Elstica Sujeta en el Borde
f

Cuerda Elstica Sujeta en los Extremos

x
u(x)

QU PROBLEMAS QUEREMOS RESOLVER?

Elasticidad Lineal. Caso Esttico

Robert Hooke (1678)

QU PROBLEMAS QUEREMOS RESOLVER?

Ms 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 Filosofa 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 matemticas y sus
caracteres son tringulos, crculos y otras figuras
geomtricas, sin las cuales es humanamente imposible
entender una sola de sus palabras. Sin ese lenguaje,
navegamos en un oscuro laberinto.

CONCLUSIONES II
1. La Modelizacin Matemtica es la mejor herramienta de
la que disponemos para entender buena parte de fenmenos
fsicos que interesan a la Ciencia y la Tecnologa.
2. Estos modelos matemticos se componen de sistemas
enormemente complejos de Ecuaciones en Derivadas Parciales
que fueron formulados hace muchos pero an hoy da sigue
siendo un reto resolverlos satisfactoriamente.

3. El Mtodo de los Elementos Finitos es uno de los

mtodos numricos ms usados por la comunidad cientfica y
por la industria para poder resolver numricamente dichos
modelos.

SIGLO XX: AO 1946

Teora 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: Mtodo Cientfico

1. Modelizacin Matemtica

2. Anlisis Matemtico
3. Anlisis y Simulacin Numrica
4. Control, Diseo, etc

ANLISIS MATEMTICO

Cuerda Elstica Sujeta en los Extremos

L /2

( PM )

( PM ) NO TIENE SOLUCIN CLSICA!!

QU SE PUEDE HACER ENTONCES?

L /2

( PM )

( PV )

Trabajo virtual interno de deformacin Trabajo virtual de las fuerzas exteriores

ANLISIS MATEMTICO
L /2

Paul Dirac (1902-1984)

ANLISIS MATEMTICO
Teora de Distribuciones

ANLISIS MATEMTICO
Teora de Distribuciones

ANLISIS MATEMTICO
Ejemplos de Distribuciones

ANLISIS MATEMTICO

La derivacin es una operacin vlida para cualquier distribucin !!!

ANLISIS MATEMTICO
L /2

( PM )

( PV )

ANLISIS MATEMTICO
L /2

( PM )

( PV )

a(u,v)

< f,v >

ANLISIS MATEMTICO

ANLISIS MATEMTICO
Formulacin en Mnima Energa

Principio de Mnima
Energa

Principio de los Trabajos

Virtuales
Ecuacin de EulerLagrange

MTODO DE LOS ELEMENTOS FINITOS

Idea General del MEF

MTODO DE LOS ELEMENTOS FINITOS

Construccin de los Espacios de Aproximacin

MTODO DE LOS ELEMENTOS FINITOS

Construccin de los Espacios de Aproximacin

MTODO DE LOS ELEMENTOS FINITOS

El Problema Variacional en los Espacios de Aproximacin

MTODO DE LOS ELEMENTOS FINITOS

A modo de Resumen

MEF

Sistema de ecuaciones
algebraico

MTODO DE LOS ELEMENTOS FINITOS

Estructura de la Matriz de Rigidez

MTODO DE LOS ELEMENTOS FINITOS

Simulacin Numrica con Matlab

-0.05

-0.1

-0.15

-0.2

-0.25

-0.3

-0.35

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

MTODO DE LOS ELEMENTOS FINITOS

Ensamblado de la Matriz de Rigidez

0 0 0 0
Ah1
0 0 0 0

Ah2
0 0 0 0
Ah =
Ah3
0 0 0 0

0 0 0 0

... 0

... 0
... 0

... 0

... 0

MTODO DE LOS ELEMENTOS FINITOS

Control del Error en el MEF
Regularidad de la malla
Regularidad de la solucin dbil
Grado de los polinomios de interpolacin

( PV )

MTODO DE LOS ELEMENTOS FINITOS

El caso de las dimensiones 2 y 3
Frmula de integracin por partes (Teorema de Green)
1D
2D
D

ND

MTODO DE LOS ELEMENTOS FINITOS

Forma Clsica de la EDP

Frmulacin Variacional de la EDP

Multiplicar la EDP por v
e integrar
Integrar por partes
Condiciones de frontera

Forma variacional de la EDP

MTODO DE LOS ELEMENTOS FINITOS

Funcin de forma en dimensin 2
Discretizacin de la forma variacional de la EDP de
forma similar al caso 1D . y llegamos a un sistema
lineal de ecuaciones algebrico

Funcin de forma para elementos finitos de Lagrange P1 en 2D

INTRODUCCIN A FreeFem++
Funcin de forma en dimensin 2
Qu es FreeFem++?
Software libre para resolver EDP usando el Mtodo de los
Elementos Finitos. Funciona bajo Windows, Linux y Mac OS
Se puede bajar de la pgina http://www.freefem.org
Ha sido desarrollado en el Laboratoire Jacques-Luis Lions
de la Universit Pierre et Marie Curie (Paris, Francia)
Cmo funciona?, cmo se maneja?
Veamos un primer ejemplo sencillo en la versin grfica
FreeFem++-cs 12.4 32

INTRODUCCIN A FreeFem++
La ecuacin
de forma
Poisson
el disco2 unidad (2D)
Funcin de
en en
dimensin

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; // trmino 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); // grfica de la solucin

INTRODUCCIN A FreeFem++
La ecuacin
de forma
Poisson
el disco2 unidad (2D)
Funcin de
en en
dimensin

Forma variacional:
control del error
func u=0.25*(1-x^2-y^2); // solucin exacta
real L2error; //variable real
L2error=sqrt(int2d(Th)(u-uh)^2); // error en norma L^2
cout<< L2error =

<<L2error<<endl; // imprimir en pantalla

INTRODUCCIN A FreeFem++
La ecuacin
de forma
Poisson
el cubo 2unidad (3D)
Funcin de
en en
dimensin

Forma variacional:

INTRODUCCIN A FreeFem++
Problemas Evolutivos. Ecuacin del Calor

Concepto de solucin dbil. Se ha de cumplir:

Solucin del problema discretizado con elementos finitos:

INTRODUCCIN A FreeFem++
Tras sustituir la solucin del problema discretizado en la
formulacin variacional
obtenemos el sistema de
ecuaciones diferenciales ordinarias:

incgnita

matriz de masa

matriz de rigidez
trmino independiente

INTRODUCCIN A FreeFem++
Finalmente, se ha de discretizar la variable temporal. Por
ejemplo con un esquema de Euler implcito.
Veamos un ejemplo concreto:

Forma variacional discretizada con un esquema de

Euler implcito:

INTRODUCCIN A FreeFem++

INTRODUCCIN A FreeFem++
El sistema
elasticidad
lineal
Funcin de
de la
forma
en dimensin
2 2D

Forma variacional:

INTRODUCCIN A FreeFem++
Funcin de forma en dimensin 2

INTRODUCCIN A FreeFem++
Skin
Funcin
effectdeinforma
AC Power
en dimensin
electromagnetics
2

Forma variacional:

INTRODUCCIN A FreeFem++
Funcin de forma en dimensin 2

INTRODUCCIN A FreeFem++
Lubricacin
hidrodinmica.
de 2Reynolds
Funcin
de forma enEcuacin
dimensin

Forma variacional: