Formulación de Galerkin

Clase No.
28:
Formulacin de Galerkin
El mtodo de los elementos finitos
MAT251
Dr. Alonso Ramrez Manzanares

Depto. de Matemticas
Univ. de Guanajuato
e-mail: alram@ cimat.mx
web: http://www.cimat.mx/salram/met_num/
Dr. Joaqun Pea Acevedo

CIMAT A.C.
e-mail: joaquin@ cimat.mx
Joaqun Pea (CIMAT)
Mtodos Numricos (MAT251)
26.11.2012
1 / 29
Formulacin dbil
(I)
Sea u : [0, 1] R. Consideremos el problema de valores en la frontera

(u0 )0 + u0 + u
u(0)
u(1)
donde , , : [0, 1] R, con (x) 0 > 0.

Multiplicamos la ecuacin anterior por una funcin v C1 [0, 1] arbitraria,
llamada funcin de prueba, que cumple con v(0) = v(1) = 0. Integrando
Z1
0 0
Z1
(u ) v dx +
0
Z1
u v dx +
0
Z1
uv dx =
0
fv dx
0
Integrando por partes la primera integral:

Z1
0 0
(u ) v dx = [u
0
Joaqun Pea (CIMAT)
v]10
Z1
0 0
Z1
u v dx =
+
0
u0 v0 dx
0
26.11.2012
2 / 29
Formulacin dbil
Sea
(II)
V = {v L2 (0, 1) : v0 L2 (0, 1),
v(0) = v(1) = 0}
Entonces el problema es encontrar u V tal que

Z1
0 0
Z1
0
Z1
Z1
fv dx
uv dx =
u v dx +
u v dx +
0
para todo v V. Este problema es llamado la formulacin dbil.
Hay que notar la diferencia entre el problema original (formulacin

fuerte) y este ltimo.
Note la complejidad del problema.
Joaqun Pea (CIMAT)
26.11.2012
3 / 29
Formulacin de Galerkin
(I)
Fijamos un conjunto de funciones {j (x)}N

j=1 , con j V. Sea
Vh =
N
X
vh : vh =
vj j
j=1
Cambiamos el problema por el siguiente: encontrar uh Vh tal que

Z1
uh0 vh0 dx +
Z1
uh0 vh dx +
Z1
Z1
uh vh dx =
0
fvh dx
0
para todo vh Vh .
Sustituimos y tambin tomamos vh = i :
N
X
j=1
Z1
uj
0
Joaqun Pea (CIMAT)
j0 i0 dx +
Z1
0
j0 i dx +
Z1
Z1
j i dx
0
f i dx
=
0
26.11.2012
4 / 29
Mtodo de los elementos finitos
(I)
El mtodo de los elementos finitos (MEF) es una tcnica especial para

construir el subespacio Vh usando polinomios que tienen soporte compacto.
Hacemos una particin
0 = x0 < x1 < ... < xn = 1.
La eleccin ms sencilla de las funciones i es definindolas como funciones
lineales a pedazos:
xx
i1
i (x) =
Joaqun Pea (CIMAT)
xi xi1
xi+1 x
xi+1 xi
x [xi1 , xi ]
x [xi , xi+1 ]
si no.
26.11.2012
5 / 29
0.4
0.6
(II)
0.0
0.2
c(0.1, 1)
0.8
Mtodo de los elementos finitos
x0
x1
1.0
Lo que resta es
x2
xi2
0.5
xi1
xi
xi+1
0.0
xi+2
0.5
1.0
c(1 h, 1 + h)
sustituir estas funciones en la ecuacin,

calcular el valor de las integrales,
construir el sistema lineal de ecuaciones para determinar los
coeficientes uj .
obtener la solucin del problema en Vh .
Joaqun Pea (CIMAT)
26.11.2012
6 / 29
Ejemplo (I)
y00
y0 y + ex 3 sin x
y(1)
= 1.097374911
y(4)
= 56.559080896
La solucin del problema es y(x) = ex 3 cos x.

Hay que notar que el valor de la solucin no es cero en los extremos. Para
poder aplicar lo anterior, definimos
(x) = +
y
(x 1)
sea
Entonces podemos plantear el problema de calcular u tal que y = u + y
solucin del problema anterior. Entonces
Joaqun Pea (CIMAT)
26.11.2012
7 / 29
Ejemplo (II)
u00
u0 +
u(1)
u(3)
u00 + u0 u = y
+ ex 3 sin x
uy
ex + 3 sin x = f (x)
3
Aplicando el procedimiento descrito anteriormente, llegamos a
N
X
j=1
Z3
uj
i0 j0 dx +
N
X
j=1
Z3
uj
1
i0 j dx
N
X
Z3
ui
j=1
Z3
i j dx =
1
f j dx
1
Hacemos una discretizacin uniforme, de modo que xi xi1 = h.

Debido al soporte compacto de las funciones, tenemos que calcular para
cada i
Joaqun Pea (CIMAT)
26.11.2012
8 / 29
Ejemplo (III)
Z xi
ui1
0
i0 i1
dx + ui
xi h
Z xi
ui1
Z xi
(i0 )2 dx +
Z xi +h
xi h
i0 i1 dx + ui
xi h
ui1
Z xi
i0 i dx +
Z xi
Z xi +h
Joaqun Pea (CIMAT)
xi h
Z xi +h
i0 i dx
+ ui+1
i0 i+1 dx
xi
Z xi +h
(i ) dx +
0
i0 i+1
dx
xi
xi
i i1 dx ui
xi h
+ ui+1
xi
xi h
Z xi
Z xi +h
(i0 )2 dx
Z xi +h
!
2
(i ) dx
xi
ui+1
i i+1 dx
xi
26.11.2012
9 / 29
Ejemplo (IV)
2
1
1
ui1 + ui ui+1
h
h
h
1
1
ui1 + ui+1
2
2
h
2h
h
ui1
ui ui+1
6
3
6
Entonces, para cada i se tiene una ecuacin de la forma
1
h
1
2
Joaqun Pea (CIMAT)
ui1 +
2
h
2h
3
ui +
1
h
1
2
Z3
ui+1 =
f j dx
1
26.11.2012
10 / 29
Ejemplo (V)
Para el caso de diferencias finitas, las ecuaciones que obtuvimos para este
problema son
1+
h
2
h2 [ex1 3 sin x1 ] + 1 +
yi+1
h2 [exi 3 sin xi ]
yn2 + (2 h2 )yn1
yi1 + (2 h2 )yi 1
1+
y2
(2 h2 )y1 1
h
2
h
1
h2 [exn1 3 sin xn1 ]
y podemos ver que son diferentes los sistemas de ecuaciones en cada caso.
Resolvemos el problema para N = 50 y comparamos los resultados
obtenidos con MEF y diferencias finitas.
Joaqun Pea (CIMAT)
26.11.2012
11 / 29
Ejemplo (VI)
Error y(xi ) yi MEF
2e04
vd
4e04
0.002
0.000
vd
0.004
0.006
0e+00
0.008
Error y(xi ) yi DF
1.0
1.5
2.0
2.5
3.0
3.5
4.0
1.0
1.5
2.0
vx
2.5
3.0
3.5
4.0
vx
Reportamos el error max |y(xi ) yi |

n Diferencias finitas
MEF
50
0.03818 0.000393
100
0.01599 0.000098
Joaqun Pea (CIMAT)
26.11.2012
12 / 29
Extensin del mtodo
(I)
Se pueden usar polinomios de orden superior. Por ejemplo, de segundo

grado:
Joaqun Pea (CIMAT)
26.11.2012
13 / 29
Extensin del mtodo
(II)
Tambin se puede extender el mtodo a ms dimensiones.
Joaqun Pea (CIMAT)
26.11.2012
14 / 29
Extensin del mtodo
(III)
Por ejemplo, las funciones de interpolacin para el tringulo de vrtices

(0, 0), (1, 0), (0, 1) son de la forma
N1 (, )
N2 (, )
N3 (, )
=
=
=
Joaqun Pea (CIMAT)
26.11.2012
15 / 29
Extensin del mtodo
Joaqun Pea (CIMAT)
(IV)
26.11.2012
16 / 29
Ejemplo: La ecuacin de Poisson (I)

Vamos a resolver un caso particular de la ecuacin de Poisson.
Consideremos una funcin p = p(x, y) que est definida en cuadrado unitario
= [0, 1] [0, 1].
Queremos resolver
p = f (x)
x = (x, y)
(1a)
p = 0
x = 0,
y (0, 1),
p = 0
(1b)
x = 1,
y (0, 1),
(1c)
p = cos(x)
x (0, 1),
y = 0,
(1d)
p = cos(x)
x (0, 1),
y = 1,
(1e)
donde f (x) = 2 2 cos(x1 ) cos(x2 ).

La solucin exacta es p = cos(x1 ) cos(x2 ).
Joaqun Pea (CIMAT)
26.11.2012
17 / 29
Solucin mediante el MEF
(I)
1.0
Para el dominio = [0, 1] [0, 1], hacemos una discretizacin en tringulos

como se muestra en la siguiente figura.
0.4
0.6
0.0
c(0.15, 1.1)
0.8
0.2
0.2
0
0.2
Joaqun Pea (CIMAT)
0.0
1
0.2
0.4
0.6
0.8
1.0
26.11.2012
18 / 29
(II)
Sean
D
{(x1 , 0) : x1 (0, 1)} {(x1 , 1) : x1 (0, 1)},
{(0, x2 ) : x2 (0, 1)} {(1, x2 ) : x2 (0, 1)}
Sobre D sabemos que p = pD (x), donde pD est dada por (1d) y (1e).
Supongamos que de alguna forma extendemos pD a todo y definimos la
=
D
N , y
funcin p0 = p pD . Entonces p0 es cero en
(p0 + pD ) = f
Multiplicando por una funcin de prueba v a la ecuacin anterior e
integrando sobre se obtiene
Z
Z
(p0 + pD )v dx =
fv dx.
Puesto que [v(p0 + pD )] = v (p0 + pD ) + v (p0 + pD ),
Joaqun Pea (CIMAT)
26.11.2012
19 / 29
(III)
fv dx
{ [v(p0 + pD )] v (p0 + pD )} dx
v (p0 + pD ) dx,
v(p0 + pD ) dl +
por el teorema de la divergencia. Adems

Z
Z
v(p0 + pD ) dl =
vp dl
D
vp dl = 0,
N
por las condiciones de frontera (1b)-(1c). Por tanto

Z
Z
Z
v p0 dx =
fv dx
v pD dx
(2)
La funcin pD se puede definir de muchas formas. Una opcin es

pD (x1 , x2 ) = (1 x2 ) cos x1 x2 cos x1 .
Joaqun Pea (CIMAT)
26.11.2012
20 / 29
(IV)
Entonces el miembro derecho de (2) es conocido. para cada v. Definimos

una discretizacin del dominio en elementos triangulares y asociamos a
cada nodo xk la funcin de interpolacin lineal k (x), entonces
p0 (x)
NM
X
pk k (x).
(3)
k=1
Para i = 1, ..., MN, tomamos v = i y sustituimos en (2).

NM
X
k=1
i k dx =
pk
fv dx
i pD dx
(4)
A partir de (4) se puede formar un sistema de ecuaciones Ap = b, con el que

se pueden obtener los coeficientes p en (3) y de esa forma obtener p0 , y
finalmente obtener p = p0 + pD .
La figura muestra el resultado obtenido con FEM al compararlo con la
solucin analtica de (1). Los errores son ms pequeos que los obtenidos
con diferencias finitas.
Joaqun Pea (CIMAT)
26.11.2012
21 / 29
(V)
1.0
1.0
0.03
0.8
2e04
0.2
0.02
0.0
0.01
0.03
0.6
0e+00
0.4
0.4
0.00
0.6
0.01
2e04
0.2
0.8
4e04
0.02
0.0
0.2
0.4
0.6
X
=
Joaqun Pea (CIMAT)
0.8
1.0
0.0
4e04
0.0
M = 25
0.2
0.4
0.6
0.8
1.0
26.11.2012
22 / 29
(VI)
1.0
1.0
1e04
0.8
0.8
0.010
5e05
0.6
0e+00
0.4
0.4
0.000
0.6
0.005
0.010
5e05
0.2
0.2
0.005
0.0
0.0
1e04
0.0
0.2
0.4
0.6
0.8
1.0
0.0
N =X M = 50
Joaqun Pea (CIMAT)
0.2
0.4
0.6
0.8
1.0
26.11.2012
23 / 29
1.0
(VII)
4e05
0.8
0.8
1.0
0.005
0.6
0e+00
0.4
0.4
0.000
0.6
2e05
0.2
0.2
2e05
0.005
0.0
0.0
4e05
0.0
0.2
0.4
0.6
0.8
1.0
0.0
N =X M = 75
Joaqun Pea (CIMAT)
0.2
0.4
0.6
0.8
1.0
26.11.2012
24 / 29
1.0

1
0.8
0.6
0.4
0.2
0
0.2
Joaqun Pea (CIMAT)
0.0
0.2
0.0
c(0.15, 1.1)
(VIII)
1
0.2Mtodos Numricos
0.4 (MAT251)
0.6
0.8
1.0
26.11.2012
25 / 29
1.0
0.8
0.02
0.03
0.0
0.2
0.4
0.6
X
=
Joaqun Pea (CIMAT)
0.8
1.0
0.6
0.4
Y
0.4
0.2
0.02
0.0
0.01
0.000
0.6
0.01
0.001
0.001
0.2
0.8
0.03
0.00
(IX)
0.002
0.0
1.0
0.0
M = 25
0.2
0.4
0.6
0.8
1.0
26.11.2012
26 / 29
(X)
1.0
1.0
4e04
0.8
0e+00
2e04
4e04
0.6
0.4
0.000
2e04
0.4
0.6
0.005
0.2
0.8
0.010
0.2
0.005
0.0
0.0
0.010
0.0
0.2
0.4
0.6
0.8
1.0
0.0
N =X M = 50
Joaqun Pea (CIMAT)
0.2
0.4
0.6
0.8
1.0
26.11.2012
27 / 29
1.0
(XI)
2e04
0.8
0.8
1.0
0.6
1e04
0e+00
0.4
0.4
0.000
0.6
0.005
0.2
0.2
1e04
0.005
0.0
0.0
2e04
0.0
0.2
0.4
0.6
0.8
1.0
0.0
N =X M = 75
Joaqun Pea (CIMAT)
0.2
0.4
0.6
0.8
1.0
26.11.2012
28 / 29
Discretizacin del dominio
1.0
Una dificultad del MEF es la discretizacin del dominio.
1.0
1.0
0.5
0.0
0.5
1.0
0.5
0.0
0.5
1.0
nodos[, 1]
electr[inds, 1]
Joaqun Pea (CIMAT)
0.5
nodos[, 2]
0.5
0.0
0.5
0.5
0.0
26.11.2012
29 / 29

Formulación de Galerkin

Transféré par

Informations du document

Description originale:

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Formulación de Galerkin

Transféré par

Droits d'auteur :

Formats disponibles

Clase No.

Dr. Alonso Ramrez Manzanares

Dr. Joaqun Pea Acevedo

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Sea u : [0, 1] R. Consideremos el problema de valores en la frontera

donde , , : [0, 1] R, con (x) 0 > 0.

Integrando por partes la primera integral:

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

V = {v L2 (0, 1) : v0 L2 (0, 1),

Entonces el problema es encontrar u V tal que

para todo v V. Este problema es llamado la formulacin dbil.

Hay que notar la diferencia entre el problema original (formulacin

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Fijamos un conjunto de funciones {j (x)}N

Cambiamos el problema por el siguiente: encontrar uh Vh tal que

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Mtodo de los elementos finitos

El mtodo de los elementos finitos (MEF) es una tcnica especial para

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Mtodo de los elementos finitos

sustituir estas funciones en la ecuacin,

Mtodos Numricos (MAT251)

La solucin del problema es y(x) = ex 3 cos x.

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Hacemos una discretizacin uniforme, de modo que xi xi1 = h.

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

h2 [exn1 3 sin xn1 ]

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Reportamos el error max |y(xi ) yi |

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Extensin del mtodo

Se pueden usar polinomios de orden superior. Por ejemplo, de segundo

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Extensin del mtodo

Tambin se puede extender el mtodo a ms dimensiones.

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Extensin del mtodo

Por ejemplo, las funciones de interpolacin para el tringulo de vrtices

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Extensin del mtodo

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Ejemplo: La ecuacin de Poisson (I)

donde f (x) = 2 2 cos(x1 ) cos(x2 ).

Joaqun Pea (CIMAT)

Mtodos Numricos (MAT251)

Solucin mediante el MEF