Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales Parciales
Ecuaciones Diferenciales Parciales
Derivadas Parciales
12 de noviembre de 2012
Indice general
1. Espacios de Sobolev
2. Formulaci
on d
ebil de problemas elpticos
31
. 35
INDICE GENERAL
2.4. Problema de Dirichlet no homogeneo asociado al operador 4 41
2.5. Problema de Neumann no homogeneo asociado al operador
4 + Id . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.6. Problema de contorno asociado a un operador elptico de segundo orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.7. Un ejemplo sin unicidad . . . . . . . . . . . . . . . . . . . . . 50
2.8. Deformacion elastica de un solido . . . . . . . . . . . . . . . . 54
3. Aproximaci
on num
erica mediante el M
etodo de Elementos
Finitos
59
3.1. Aproximacion variacional abstracta . . . . . . . . . . . . . . . 59
3.2. Construccion de espacios de Elementos Finitos . . . . . . . . . 62
3.2.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . 62
3.2.2. Concepto de Elemento Finito . . . . . . . . . . . . . . 63
3.2.3. Elementos Finitos de Lagrange en un dsimplex . . . . 66
3.2.4. Un metodo general para construir a partir de un ele toda una familia de elementos
mento finito (T, P , )
finitos (T, P, ) . . . . . . . . . . . . . . . . . . . . . . 68
3.2.5. Construccion de subespacios de H 1 . . . . . . . . . . . 77
4. An
alisis num
erico del M
etodo de Elementos Finitos
82
INDICE GENERAL
5. Aspectos pr
acticos y programaci
on del M.E.F.
5.1. Un Metodo de Elementos Finitos para el problema de Poisson
97
97
Indice de figuras
. . . . . . . . . . . . 104
INDICE DE FIGURAS
Captulo 1
Espacios de Sobolev
1.1.
en D() si:
1. el soporte de n permanece en un compacto fijo K de n,
2. Nd se tiene convergencia uniforme, es decir,
sup
| n (x) (x)| 0
n
x,Nd
Ejemplos:
1. Delta de Dirac:
Sea a , la delta de Dirac en a, a se define ha , i = (a) D().
2. Espacio de funciones L2 ():
Recordemos que L2 () = {f : R medibles :
f 2 dx < } es un
T
,
xi
como la siguiente
distribucion:
h
, i = hT,
i, D().
xi
xi
2. La aplicacion
xi
Tf
.
xi
: D0 () D0 () es continua.
1.2.
Tf
xi
f
xi
cumpliendose,
Tf
gdx = hTg , i = h
, i = hTf ,
i= f
dx,
xi
xi
xi
D()
Definici
on: Se llama espacio de Sobolev de orden 1 sobre al espacio,
H 1 () = {v L2 (),
v
L2 (), 1 i d}
xi
(u, v)1,
u v
)dx,
= (uv +
xi xi
i=1
kuk1, =
1/2
(u, v)1,
Tf
xi
u 2 1/2
=( u +
) dx) .
(
xi
i=1
2
kvn
vm k21,
((vn vm )2 +
lo cual implica,
vn vm 2
(
) )dx 0
n,m
x
x
i
i
i=1
(vn vm )2 dx 0,
d vn vm n,m
2
i=1 ( xi xi ) dx 0.
n,m
vm
Por lo tanto, las sucesiones {vm }
m=1 y { xi }m=1 para i = 1, . . . , d, enten-
xi n
v
,
xi
vi , 1 i d.
T vn Tvi , 1 i d.
xi
, 1 i d.
xi n xi
10
Tvn
xi
u
nico, entonces vi =
v
,
xi
Teorema: H 1 () es separable, es decir, tiene una parte densa numerable.
Demostracion: La demostracion de este resultado se basa en las siguientes
propiedades de los espacios separables:
v
v
,...,
)
x1
xd
kJvk(L2 ())d+1 =
(kvk20, )
v 2 1/2
k ) = kvk1, .
+
k
xi 0,
i=1
1.3.
El espacio H01()
para |x| 1
M (x) = 1
0 < M (x) < 1 para 1 < |x| < 2
M (x) = 0
para |x| > 2
Ahora, para todo n
umero real R > 0, definimos la funcion MR D(Rd ) dada
por:
(x)
(x
x
xd )
1
MR (x) = M
donde
=
,...,
.
R
R
R
R
Entonces, si v H 1 (Rd ), la funcion MR v H 1 (Rd ) y es de soporte compacto
pues su soporte es el de MR . Veamos ahora que MR v v en H 1 (Rd ) y
R
2-
MR v
v
x
xi
i
R
en L2 (Rd )
en L2 (Rd ) para i = 1, . . . , d
kM
vk
(M v v)2 dx =
d =
R
0,R
Rd R
2
(M v v) dx + |x|R (MR v v)2 dx
|x|<R R
12
MR v
xi
( M
Rd
xi
)2
MR
(x)
xi
= 0 . As podemos concluir
MR 2
dx sup |
|
xRd xi
Rd
v 2 dx 0
R
2- Regularizacion
Queremos demostrar que toda funcion de H 1 (Rd ) con soporte compacto se
puede escribir como lmite en H 1 (Rd ) de funciones v D(Rd ). Para ello
definimos una funcion D(Rd ) tal que:
0
(x) = 0 si |x| > 1
(x)dx = 1
Rd
Ahora, para cada > 0, construimos la funcion D(Rd ) definida por
(x) =
1
( x )
d
que verifica:
0
(x) = 0 si |x| >
(x)dx = 1
Rd
v (x) =
Rd
(x y)v(y)dy
0
= ?
v
v
xi 0 xi
en L2 (Rd )
? f f = ? f ? fn + ? fn fn + fn f
Tomando la norma k k0,Rd ,
k ? f f k0,Rd k ? f ? fn k0,Rd + k ? fn fn k0,Rd + kfn f k0,Rd
Por un lado, por las propiedades del producto de convolucion, y por ser
k k0,1,Rd = 1, tenemos,
k ? f ? fn k0,Rd = k ? (f fn )k0,Rd k k0,1,Rd kf fn k0,Rd 0
n
Por u
ltimo, multiplicando por
Rd
(x y)dy = 1
( ? fn fn )(x) = Rd
(x y)fn (y)dy fn (x) =
Rd (x y)fn (y)dy Rd (x y)dyfn (x) =
Rd (x y)(fn (y) fn (x)dy =
(x y)(fn (y) fn (x)dy,
|xy|
tomando valor absoluto,
2
2
| ? fn fn | dx sup | ? (fn (x) fn (x)|
1dx 0,
Rd
y:|xy|
Teorema (de prolongaci
on): Si v H01 (), la funcion ve, prolongacion
de v por 0 en Rd \ , es una funcion de H 1 ().
Demostracion: Para esta demostracion utilizaremos repetidamente el teorema de prolongacion de aplicaciones lineales continuas: Sea E un subespacio
de un espacio normado E, con E denso en E, B un espacio de Banach y
f : E B una aplicacion lineal continua, entonces existe una prolongaci
on
fe : E B lineal y continua.
Sea D(), evidentemente
e prolongacion de por 0 en Rd \ es una
funcion de D(Rd ) pues en la frontera de es 0. Por tanto
e sigue siendo de
soporte compacto y C diferenciable en todo Rd . Ademas kk
e 1,Rd = kk1,
provisto D() de la norma inducida por la de H 1 (). Por tanto, la siguiente
aplicacion es lineal y continua:
D() D(Rd ) H 1 (Rd )
7
e
Por otro lado, D() es denso en H01 (), entonces utilizando teorema de prolongacion de aplicaciones lineales continuas, esta aplicacion se prolonga a una
aplicacion lineal continua,
H01 () H 1 (Rd )
v 7 ve
15
v
u
1
u, v H0 () se tiene
u
dx =
vdx i = 1, . . . , d
xi
xi
Demostracion: La demostracion de basa en la formula de Green para
funciones de D() (integracion por partes) y la densidad de D() en H01 ().
Por la densidad de D() en H01 (), existen dos sucesiones {un }
n=1 y
en L2 (),
en L2 ().
un
vn
dx =
vn dx + un vn i ds
un
xi
xi
i=1
16
v 2 1/2
) dx)
xi
v 2 1/2
k0, )
v H01 () kvk0, C()(
k
x
i
i=1
xd
( xd ( e
v 0 )2 )1/2 ( xd 2 )1/2
e
v 0
0
(x , )d
(x , ) d
1 d
.
ve(x , xd ) =
xd
xd
a
a
a
Tomando el cuadrado del valor absoluto,
xd
2
e
e
v
0
2
0
v (x0 , )2 d,
|e
v (x , xd )| (xd a)
(x , ) d (xd a)
xd
a
xd
integrando respecto a la variable x0 ,
0
2
0
|e
v (x , xd )| dx (xd a)
e
v (x)2 dx,
Rd xd
Rd1
b
|e
v (x)| dx =
2
Rd
1
|e
v (x , xd )| dx dxd (b a)2
2
Rd1
0
e
v (x)2 dx,
Rd xd
obteniendo,
2
ev
dx = 1 (b a)2 k ev k2
kvk20, = ke
v k20,Rd 21 (b a)2 Rd x
(x)
2
xd 0,
d
e
v 2
1
2
2
12 (b a)2 di=1 k x
k
=
(b
a)
|v|
1, .
2
i 0,
17
|ba|
|v|1, .
2
Observar que en la demostracion anterior basta exigir que sea acotado
en una direccion.
Supongamos que es acotado y definimos v tal que v(x) = 1, x ,
esta funcion es de H 1 () pero no verifica la desigualdad de Poincare. Por
tanto, podemos concluir el siguiente resultado:
Corolario: Si es un abierto acotado de Rd , entonces H01 () es un
subespacio propio de H 1 (), es decir, H01 ()
1
H ().
6
=
v H01 ()
Demostracion:
|v|21,
d (
d (
v )2
v )2
2
=
dx
v +
dx = kvk21,
x
x
i
i
i=1
i=1
v
2
v
2
kvk21, = kvk20, +
(C 2 ()+1)
= (C 2 ()+1)|v|21,
x
x
0,
i
i 0,
i=1
i=1
18
1.4.
Un teorema de la traza
1
0 : H () L2 ()
v 7 0 v = v|
y as dar sentido al valor de las funciones v H 1 () en . Esta aplicacion
TRAZA, y el valor de 0 v de una funcion
prolongada se llama APLICACION
v H 1 () se llama TRAZA de v en .
D() sera denso en H 1 () para un abierto acotado de Rd con frontera
suficientemente regular. Veamos cuales son estas condiciones de regularidad
suficientes.
1.4.1.
Caso A
h0
(Rd+ )
v
=
y observar que h x
i
( v).
xi h
para v D(Rd+ ).
Sea v D(Rd+ ), por tanto tiene soporte compacto dentro de Rd+ , luego
podemos ampliarla por 0 en Rd \ Rd+ y la funcion ampliada ve D(Rd ). Por
Cauchy-Schwarz, tenemos,
(
)
1 ev 0
h ve ve (x) = ve(x0 , xd + h) ve(x0 , xd ) = 0 h x
(x , xd + th)dt
(
)1/2 ( (
)1/2
(d (
)
)2 )1/2
2
1 2
1 e
1 e
v
v
0
0
h dt
(x , xd + th) dt
h 0 xd (x , xd + th) dt
0
0 xd
20
)2
1 ( ev 0
h2 Rd 0 x
(x , xd + th) dtdx =
d
)2
( ev
(x)
= h2 Rd x
dx h2 |e
v |21,Rd 0
d
h0
(vh v) dx =
2
Rd+
(h veh e
v ) dx
2
Rd+
Rd
(h veh e
v )2 dx 0
h0
)
gh |Rd wh en H 1 (Rd ),
? w
h
h
0
)
gh |Rd wh |Rd en H 1 (Rd ),
? w
+
+
+
0
(
)
gh |Rd D(Rd+ )
donde naturalmente ? w
+
21
v 0
0
2
0
2
|v(x , 0)| =
|v(x , xd )| dxd = 2
v(x0 , xd )
(x , xd )dxd ,
xd
xd
0
0
utilizando la desigualdad de Cauchy-Schwartz,
(
)1/2 ( v
)1/2
0
2
0
2
0
2
|v(x , 0)| 2
|v(x , xd )| dxd
|
(x , xd )| dxd
,
xd
0
0
y la desigualdad 2ab a2 + b2 ,
v 0
0
2
|v(x , 0)|
(x , xd )|2 dxd ,
|v(x0 , xd )|2 + |
xd
0
de modo que concluimos integrando en x0 ,
kv(,
0)k0,Rd1 = Rd1 |v(x0 , 0)|2 dx0
v
|v(x0 , xd )|2 + | x
(x0 , xd )|2 dxd kvk21,Rd .
Rd
d
+
Corolario (Teorema de la traza en Rd+ ): La aplicacion lineal continua
D(Rd+ ) D(Rd1 ) L2 (Rd1 )
v 7 v(, 0)
se prolonga por continuidad a una aplicacion lineal continua
H 1 (Rd+ ) L2 (Rd1 )
v 7 v(, 0)
verificandose ademas v H 1 (Rd+ )
kv(, 0)k0,Rd1 kvk1,Rd+ .
22
1.4.2.
Caso B
Definici
on: Un abierto de Rd se dice que es 1-regular si es acotado y
su frontera es una variedad de clase C 1 de dimension d 1.
Esto significa que existe un n
umero finito de abiertos acotados i de Rd ,
0 i I, tales que 0 esta incluido en , {i }Ii=0 es un recubrimiento abierto
de , y para todo i = 1, . . . , I existe una aplicacion invertible de clase C 1
i : x 7 y = i (x) de i en B, bola abierta de Rd de radio 1, cuya aplicacion
inversa 1
tambien es de clase C 1 y tal que
i
i (i ) = B Rd+ = {y = (y 0 , yd ) Rd , |y| < 1, yd > 0},
i (i ) = {y = (y 0 , yd ) Rd , |y 0 | < 1, yd = 0}.
Diremos que {i , i }Ii=1 es un sistema de cartas locales que definen .
Vamos a demostrar el teorema de la traza para Rd abierto 1-regular,
pero tambien se puede generalizar a abiertos acotados con frontera de clase
C 1 a trozos.
La demostracion se hace en varias etapas, a traves de los siguientes lemas.
Lema 1: Si es 1-regular, existe un operador P lineal continuo llamado
de 1-prolongacion P : H 1 () H 1 (Rd ), tal que
v H 1 () P v = v
P v(x , xd ) =
v(x0 , xd )
si xd 0
v(x0 , xd ) si xd < 0
23
i v,
i=1
P (i v).
i=1
Por un lado, P (0 v) =
g
on de 0 v por 0 en Rd \ . Por otro
0 v, prolongaci
lado, para i = 1, . . . , I, consideramos la funcion wi = (i v) (1
i |B+ ), donde
B+ = B Rd+ . Se tiene que wI H 1 (B+ ) y es nula en un entorno de
{y B+ ; yd > 0}, entonces podemos prolongar wi por 0 en Rd+ \ B+ y
obtener una funcion wei H 1 (R+ ), y esta a su vez prolongarla por reflexion
a una funcion wi H 1 (Rd ) de soporte compacto en B. Finalmente, wi i
on
definido en i se prolonga por 0 en Rd \ i de modo que w^
i i es una funci
de H 1 (Rd ). De este modo definimos P (i v) = w^
i i para i = 1, . . . , I.
Ahora es facil verificar que la aplicacion v
condiciones del lema.
24
I
i=0
P (i v) verifica las
Para el tercer lema utilizaremos la siguiente notacion d denota la medida
superficial sobre , inducida por la medida Lebesgue dx. As definimos L2 ()
el conjunto de las funciones definidas sobre medibles para la medida d y
(
)
de cuadrado integrable, con la norma kvk0, = v 2 d 1/2.
De manera equivalente, utilizando la p`articion de la unidad, podemos
definir,
L2 () = {v R,
2
d1
(i^
v) 1
),
i (, 0) L (R
1 i I}
con la norma
[|v[|0, =
I
(
)1/2
2
k(i^
v) 1
i k0,Rd1
i=1
concluye,
( I
)1/2
2
^
k0 vk0, C2 [|0 v[|0, = C2
k
w
(,
0)k
d1
i
i=1
0,R
( I
)
2 1/2
C2
= Ckvk1,
i=1 kCi
El teorema de la traza es consecuencia directa de estos tres resultados.
Teorema (de la traza): Sea un abierto 1-regular de Rd . Entonces
D() es denso en H 1 () y la aplicacion lineal continua 0 : v 7 0 v = v| de
D() en L2 () se prolonga por continuidad a una aplicacion lineal continua
de H 1 () en L2 (), que denotamos tambien 0 , llamada aplicacion traza.
1.5.
F
ormula de Green para funciones de H 1 ()
Denotamos por i la i-esima componente del vector normal unitario exterior de .
Teorema: Sea un abierto 1-regular de Rd . Entonces u, v H 1 () se
tiene,
v
u
u
dx =
vdx + uvi d, i = 1, . . . , d.
xi
xi
vn
un
un
dx =
vn + un vn i d, i = 1, . . . , d.
xi
xi
en H (v).
Sea ve la prolongacion por 0 de v a todo Rd . Es facil ver que ve H 1 (Rd ).
v
L2 (Rd ), i = 1, . . . , d. Basta deObviamente ve L2 (Rd ) y tambien f
xi
mostrar que
e
v
xi
f
v
= x
, i = 1, . . . , d y tendremos que ve H 1 (Rd ). En
i
e
v
,
i
=
he
v
,
i
=
e
dx
=
h x
d v x dx = Rd x dx
d v
x
x
R
R
i
i
i
i
i
+
+
v
f
f
v
v
vi d = Rd xi dx = Rd xi dx = h xi , i
{(x0 ,0),x0 Rd1 }
+
27
ademas soph ve
Rd+ ,
(Rd+ ).
(Rd+ ),
sucesion buscada.
Construcci
on de subespacios de H 1 () de dimensi
on finita
Otra aplicacion muy u
til es la construccion efectiva de subespacios de
on de tal
dimension finita de H 1 (). Sea = N
r=1 r una descomposici
que:
r es un abierto de Rd contenido en con frontera r de clase C 1 , para
todo r = 1, . . . , N ,
r s = para r 6= s.
Teorema: Sea v C 0 () tal que la restriccion v|r H 1 (r ) r =
1, . . . , N , entonces v H 1 ().
Demostracion: Sea v C 0 () con v|r H 1 (r ), r = 1, . . . , N . Evidentemente v L2 (), veamos que tambien las derivadas en el sentido de las
distribuciones
v
xi
vi L2 () tal que vi |r =
v
| ,
xi r
r = 1, . . . , N , veamos que vi =
v
,
i
=
hv,
i
=
v
dx
=
h x
r=1 r v xi dx =
x
x
i
i
i )
(
v
N
v
dx r vi d = N
r=1
r=1 r xi dx
r xi
N
r=1 r vi dx = vi dx = hvi , i.
Entonces
v
xi
28
v
xi
en el
1.6.
Un resultado de compacidad
1.7.
(u, v)m, =
)
u v dx,
la norma asociada,
kukm, =
1/2
(u, u)m,
( (
)
u dx ,
)2
y la seminorma,
|u|m, =
( (
)2 )
u dx ,
=m
v
xi
H 1 (), 1 i d, y por
v
tanto tambien se pueden definir las trazas de estas funciones 0 x
=
i
v
| ,
xi
v
1 i d, que pertenecen a L2 (). La funcion i x
| es entonces una
i
xi
i=1
d
2u
i=1 x2i
d
d {
}
2u
u v
u
(u)vdx =
vdx
=
dx
v
d
,
i
x2i
xi xi
xi
i=1
i=1
(u)vdx =
u vdx
u
vd.
30
Captulo 2
Formulaci
on d
ebil de problemas
elpticos
2.1.
a(u,v)
kvk
M kuk
Por otra parte, al ser L una forma lineal continua sobre V , aplicando de
nuevo el teorema de Riesz-Frechet, existe un u
nico L V tal que v V
se tiene L(v) = ( L, v).
Observar que esto define una biyeccion lineal,
: V 0 V
L 7 L
que es una isometra puesto que,
L(v)
( L, v)
= sup
= kLk?
vV,v6=0 kvk
vV,v6=0 kvk
k Lk = sup
32
2.2. PROBLEMA DE DIRICHLET HOMOGENEO
ASOCIADO AL
OPERADOR 4
Tomando el lmite cuando 0+ , tenemos,
0 a(u, v u) L(v u).
Como esta desigualdad es cierta v V , podemos tomar v + u en lugar de
u, de donde,
0 a(u, v) L(v), v V,
y de la misma forma, tomandov en lugar de v,
0 a(u, v) L(v),
v V,
de donde se deduce,
v V.
a(u, v) = L(v),
2.2.
4uvdx =
f vdx.
35
2.2. PROBLEMA DE DIRICHLET HOMOGENEO
ASOCIADO AL
OPERADOR 4
Utilizando la formula de Green, teniendo en cuenta que v| = 0, tenemos,
4uvdx =
u vdx,
u vdx =
f vdx,
v H01 ().
Esta ecuacion tiene sentido aunque u no este en H 2 (), basta con que u
H 1 (). Por otro lado, al ser u = 0 sobre y por las propiedades de
tenemos que u H01 (). As podemos reemplazar el problema anterior por
VARIACIONAL O
el siguiente, que recibe el nombre de FORMULACION
DEBIL,
(PDH2) Dada f L2 (), hallar u H01 () tal que,
u vdx =
f vdx,
v H01 ().
a(u, v) =
u vdx,
L(v) = f vdx.
Evidentemente a(, ) es bilineal. La continuidad se obtiene gracias a la
desigualdad de Cauchy-Schwartz, en efecto,
u v
a(u, v) = u vdx = di=1 x
dx
( ( ) )1/2 ( ( i x)i
)1/2
d
d
u 2
v 2
=
i=1 xi dx
i=1 xi dx
= |u|1, |v|1, kuk1, kvk1, .
36
2.2. PROBLEMA DE DIRICHLET HOMOGENEO
ASOCIADO AL
OPERADOR 4
La V -elipticidad se obtiene por la equivalencia de normas en H01 (), por ser
acotado, ya que en este caso se verifica la desigualdad de Poincare, en
efecto,
d
( v )2
dx = |v|21, kvk21, .
a(v, v) =
x
i
i=1
y ademas L(v) = f vdx kf k0, kvk0, kf k0, kvk1, , y por tanto continua.
Comentarios:
1. Observar que evidentemente una solucion del problema fuerte (PDH1)
es solucion del problema debil (PDH2). Recprocamente, si u H01 ()
es solucion del problema debil (PDH2), entonces podemos recuperar las
ecuaciones de la formulacion fuerte en el sentido de las distribuciones
y el teorema de la traza. En efecto, como D() es denso en H01 (),
tenemos que la ecuacion de la formulacion debil tambien es cierta
D(),
u dx =
f dx, D(),
D().
en L2 (),
2.3. PROBLEMA DE NEUMANN HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
y por las propiedades de las funciones de L2 ()
u = f,
en c.t.p. de .
Por u
ltimo, por las condiciones de la frontera del dominio, podemos
aplicar el teorema de la Traza de modo que, al ser u H01 (), entonces
u| = 0.
2. Observar tambien que al ser la aplicacion bilineal de este caso simetrica,
el problema debil es equivalente al siguiente problema de optimizacion,
Dada f L2 (), hallar u H01 () tal que,
J(u) = mn J(v)
vV
donde J(v) =
2.3.
1
2
d ( v )2
i=1
xi
dx
f vdx.
4uvdx +
uvdx =
38
f vdx.
2.3. PROBLEMA DE NEUMANN HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
Utilizando la formula de Green, teniendo en cuenta que
u
|
= 0, tenemos,
4uvdx =
u vdx,
u vdx +
uvdx =
f vdx,
v H 1 ().
MULACION
(PNH2) Dada f L2 (), hallar u H 1 () tal que,
u vdx
uvdx =
f vdx,
v H 1 ().
u v
dx
xi xi
donde como vimos antes L() es lineal y continua, y como la aplicacion bilineal
a(, ) es directamente el producto escalar en H 1 (), aplicando directamente
el teorema de Riesz-Frechet, tenemos que el problema (PNH2) tiene solucion
u
nica.
Comentarios:
1. Es evidente que una solucion del problema fuerte (PNH1) es solucion del problema debil (PNH2). Veamos en que medida una solucion del problema debil (PNH2) es tambien solucion del problema
39
2.3. PROBLEMA DE NEUMANN HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
fuerte (PNH1). Si u es solucion del problema debil (PNH2), como
D() H ( ), se verifica,
u dx +
udx =
D().
f dx,
D(),
u + u = f
De hecho, como f L2 (), se tiene,
u + u = f
en L2 ().
(u + u)vdx +
u
vd =
f dx,
u
vd = 0,
Como u H 2 () entonces
L2 (), se tiene que
u
|
u
|
v H 1/2 ().
= 0 en L2 ().
2.4. PROBLEMA DE DIRICHLET NO HOMOGENEO
ASOCIADO AL
OPERADOR 4
2. Al ser a(, ) el producto escalar en H 1 (), es simetrico, y tenemos la
equivalencia del problema (PNH2) con el problema de optimizacion,
Dada f L2 (), hallar u H 1 () tal que,
J(u) = mn J(v)
vV
donde J(v) =
1
2
( ( )
d
v 2
i=1
xi
dx +
)
uvdx
f vdx.
2.4.
en
sobre
u vdx =
f vdx,
v H01 ().
Esta formulacion no encaja en el marco abstracto del teorema de LaxMilgram puesto que u H 1 () con u| = g y v H01 (). Sin embargo, como
41
2.4. PROBLEMA DE DIRICHLET NO HOMOGENEO
ASOCIADO AL
OPERADOR 4
g H 1/2 (), existe una funcion u0 H 1 () tal que u0 | = g. Sea w = uu0 ,
entonces w| = 0, y si u es solucion de la ecuacion anterior, entonces w lo es
de la siguiente,
w vdx =
f vdx u0 vdx, v H01 ().
donde u0 H 1 () con u0 | = g.
Resuelto este problema, la soluccion que buscamos es u = w + u0 . Por tanto,
el problema variacional que realmente resolvemos es,
(PD2) Dada f L2 () y g H 1/2 (), hallar u H 1 () tal que,
u| = g
Teorema: El problema anterior tiene solucion u
nica.
Demostracion: Sea u0 H 1 () tal que u0 | = g y w solucion del problema
(PD2), veamos que w existe y es u
nica. Si demostramos que la siguiente
aplicacion,
H01 () R
v 7 u0 vdx
es lineal y continua, estaremos en las condiciones del teorema de Lax-Milgram
como en el caso homogeneo. Evidentemente es lineal, la continuidad se obtiene gracias a la desigualdad de Cauchy-Schwartz y al hecho de ser u0 fijo,
en efecto,
0 v
u0 vdx = di=1 u
dx
i
( ( ) )1/2 xi(x
)1/2
d
d ( v )2
u0 2
dx
=
i=1 xi
i=1 xi dx
= |u0 |1, |v|1, |u0 |1, kvk1,
42
2.5. PROBLEMA DE NEUMANN NO HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
Por tanto tenemos,
V = H01 (),
a(u, v) =
bilineal, continua y H01 ()-elptica
u vdx,
u1 vdx = f vdx,
u1 | = g
u2 vdx = f vdx,
u2 | = g
v H01 ()
v H01 ()
(u1 u2 ) vdx = 0,
(u1 u2 )| = 0
v H01 ()
Cku1
u2 k21,
|u1
u2 |21,
(u1 u2 ) u1 u2 dx = 0,
2.5.
2.5. PROBLEMA DE NEUMANN NO HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
(PN1) Dadas f L2 () y g L2 () (o bien g H 1/2 ()), hallar u
definida en y solucion de,
4u + u = f
u
=g
en
sobre
u
u vdx + uvdx
vd =
f vdx, v H01 ().
u vdx + uvdx =
f vdx + gvd, v H 1 ().
d u v
a(u, v) =
i=1 x
i xi dx + uvdx = (u, v)1, ,
L(v) = f vdx + gvd.
Basta demostrar que la siguiente aplicacion es lineal y continua,
H 1 () R
v 7 gu0 vd.
Evidentemente es lineal, veamos la continuidad, que se obtiene gracias a la
desigualdad de Cauchy-Schwartz, al teorema de la traza y al hecho de ser g
fijo, en efecto,
(
)1/2 (
)1/2
2
2
gvd
g d
v d
=
2.6.
i,j=1
2. Existe un n
umero real 0 tal que,
x , a0 (x) 0 , c.t.p. en .
De estas hipotesis se deduce que a(, ) es V -elptica si 0 > 0. Cuando
V = H 1 () la condicion 0 > 0 es necesaria y suficiente para que la forma
bilineal a(, ) sea V -elptica. Por el contrario, cuando V = H01 (), para que
45
v 7 L(v) = f vdx
que es lineal y continua en V .
Definamos el siguiente problema,
(PV) Dadas a(, ) y L() definidas sobre V como antes, hallar u H 1 ()
tal que,
a(u, v) = L(v) v V.
Si la forma bilineal a(, ) es V -elptica, el teorema de Lax-Milgram nos
da la existencia y unicidad de la solucion de (PV).
Veamos como recuperar el problema fuerte a partir de esta formulacion
variacional. Si elegimos una funcion D() en lugar de v V , utilizando
las reglas de derivacion en el sentido de las distribuciones, obtenemos,
a(u, ) = hAu, i,
donde A es el operador diferencial elptico de segundo orden con coeficientes
variables definido por,
d
(
u )
Au =
ai,j
+ a0 u.
x
x
i
j
i,j=1
Por otra parte, L() = hf, i. Por tanto, se verifica la ecuacion en derivadas
parciales de segundo orden,
Au = f
en el sentido de las distribuciones sobre . Pero como f L2 (), entonces
la distribucion Au L2 (), y la igualdad anterior es cierta en L2 (), y en
consecuencia,
Au(x) = f (x) c.t.p. en .
46
Au vdx v V,
a(u, v) =
u
de C 1 () y que u H 2 (), por tanto las funciones dj=1 ai,j x
, 1 i d,
j
pertenecen a H 1 (). Entonces, aplicando la formula de Green generalizada,
tenemos que u H 2 () y v H 1 (),
(
)
d
u
a
vdx
+
a0 uvdx =
Au
vdx
=
i,j
i,j=1 xi
xj
d
u v
u
= i,j=1 ai,j xj xi dx + a0 uvdx i,j=1 ai,j x
i vd =
j
u
= a(u, v) A vd,
donde el operador
i,j=1
asociada al operador A.
Por lo tanto, despejando,
a(u, v) =
Au vdx +
u
vd,
A
u
vd = 0,
A
v V.
u V,
Au = f en ,
a(u, v) = Au vdx v V,
47
donde esta u
ltima ecuacion, en condiciones de regularidad suficientes se puede
sustituir por,
u
vd = 0, v V.
A
Veamos que problema fuerte estamos resolviendo seg
un la eleccion de V .
Au = f en ,
u = 0 sobre .
C 2 ()
Au = f en ,
u
= 0 sobre .
a
En este caso es necesario suponer 0 > 0 para que el problema variacional tenga solucion u
nica.
3. V = {v H 1 (); v = 0 sobre 0 } PROBLEMA MIXTO
El problema resuelto es,
{
Au = f en ,
u
u = 0 sobre 0 ,
= 0 sobre 1 ,
a
d
i=1
v 2
k x
k
i 0,
)1/2
v
xi
= 0 en , i = 1, . . . , d, por tanto v es
49
en L2 ().
se tiene
v
xi
< 1/ 0, es decir,
v
xi
= 0. Luego v H 1 () y es
(
)
d
u
K
=f
i,j
i,j=1 xi
xj
d
u
i,j=1 Ki,j xj i = h(u u )
u =g
en
sobre 1
sobre 0
decir, existe una constante > 0 tal que di,j=1 Ki,j i j ||2 Rd . Si
K = kId, se dice que el medio es isotropo, es decir, el calor se transmite igual
en todas direcciones. h L (1 ), es el coeficiente de conveccion, u L2 (1 )
es la temperatura ambiente, f L2 () es la fuente de calor y g H 1/2 (0 )
es la temperatura en 0 .
2.7.
en
sobre
f dx +
gd = 0
u vdx =
f vdx +
gvd,
v H 1 ().
Sin embargo, el hecho de que una solucion venga determinada salvo constantes, nos lleva a introducir un nuevo espacio de clases de funciones, el
espacio cociente
V = H 1 ()/R,
cuyos elementos son clases de equivalencia u
e, donde dos funciones u1 , u2
1
H () pertenecen a la misma clase de equivalencia si u1 u2 = cte.
Este espacio cociente V , es un espacio vectorial normado con la suma,
producto por escalares y norma habituales,
u
e + ve = u]
+ v,
f
e
u = u,
ke
ukV = infueu kuk1, .
Ademas V es un espacio completo por ser H 1 () completo con la norma
k k1, y R un subespacio cerrado de H 1 ().
Por otro lado, podemos definir un producto escalar en V ,
(e
u, ve)V =
u vdx,
con u u
e y v ve, y su correspondiente norma asociada,
|e
u|V =
1/2
(e
u, u
e)V
d
(
( u )2 )1/2
dx
=
.
x
i
i=1
1/2
Teorema: La norma |e
u|V = (e
u, u
e)V
en V = H ()/R.
Demostracion: En concreto, vamos a demostrar que existe una constante
C > 0 tal que C||e
u||V |e
u|V ||e
u||V .
Primero observemos que u u
e, se tiene,
|e
u|2V
d
d
( u )2
( u )2
=
dx
dx + u2 dx = kuk21, ,
x
x
i
i
i=1
i=1
52
distribuciones,
u
xi
ve 7 (e
v ) = f vdx + gvd,
v ve.
Es facil comprobar que esta bien definida, en efecto, sean v1 , v2 ve, entonces,
|(e
v )| | f vdx| + | gvd| kf k0, kvk0, + kgk0, kvk0,
(kf k0, + C()kgk0, )kvk1, , v ve,
53
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
y como esta desigualdad sigue siendo cierta tomando nfimos en v ve, tenemos,
|(e
v )| (kf k0, + C()kgk0, )ke
v kV .
Por tanto, simplemente aplicando el teorema de Riesz-Frechet en V , tenemos la existencia y unicidad del problema siguiente,
Hallar una clase u
e V = H 1 ()/R u
nica que verifica
(e
u, ve)V = (e
v ),
2.8.
e
v V.
Deformaci
on el
astica de un s
olido
Consideremos un cuerpo solido que se deforma elasticamente bajo la accion de fuerzas exteriores. El cuerpo ocupa una region del espacio Rd
(d = 2, 3). Supongamos que una parte de la frontera 0 , de medida no nula
en Rd1 , se mantiene fija. En el resto de la frontera 1 = \ 0 , supongamos
(
)d
(
)d
la accion de estas fuerzas exteriores f y
g , el cuerpo se deforma y cada pun
i,j (
u ), hasta que se logra un equilibrio con las fuerzas exteriores.
Las ecuaciones que rigen este fenomeno se estudian en la teora de la
elasticidad y son,
j=1 xj i,j ( u )
ui
j=1 i,j ( u )i
= fi
=0
= gi
en ,
sobre 0 ,
sobre 1 ,
i = 1, . . . , d,
i = 1, . . . , d,
i = 1, . . . , d.
Las primeras y u
ltimas ecuaciones representan el equilibrio entre las fuerzas
exteriores y las fuerzas elasticas. Las segundas ecuaciones representan que en
la parte de la frontera 0 no hay desplazamiento.
54
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
El tensor de tensiones viene dado por la ley del comportamiento del material o ley de Hook,
i,j (
u ) = (div
u )i,j + 2i,j (
u)
donde,
i
(div
u ) = (di=1 u
xi
)
(
u ) = 1 ui + ui
i,j
xj
xi
(
u ,
v )(
H 1 ()
)d =
(ui , vi )1, .
i=1
V = {
v H 1 () : vi = 0 sobre 0 , i = 1, . . . , d}.
vi
dx
i,j (
u)
xj
i,j=1
i,j (
u )j vi d =
1 i,j=1
fi vi dx.
i=1
i,j=1
i,j (
u )i,j (
v )dx =
i=1
55
fi vi dx +
i=1
gi vi d.
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
( 2
f L () y
g L () , hallar
u V tal que,
d
i,j=1
i,j (
u )i,j (
v )dx =
i=1
fi vi dx +
i=1
v V.
gi vi d,
E = {
v L2 () ; i,j (
v ) L2 (), i, j = 1, . . . , d} = H 1 () ,
(
)d
ki,j (
v )k20, + k
v k20, Ck
v k21, .
i,j=1
(
)d (
)d
Se han utilizado sobre los espacios L2 () y H 1 () las normas hilbertianas,
k
v k20, =
d
(
kvk20,
)1/2
k
v k21, =
d
(
kvk21,
)1/2
.
i=1
i=1
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
Como consecuencia de la desigualdad de Korn, tenemos el siguiente resultado que nos va a permitir demostrar la existencia y unicidad de la solucion
del problema variacional de la elasticidad (PE).
Teorema (Corolario de la desigualdad de Korn): Supongamos que
es un abierto acotado de Rd de frontera de clase C 1 a trozos. Entonces
ki,j (
v )k20, C0 k
v k21, .
i,j=1
Como consecuencia de estos dos resultados tenemos la existencia y unicidad de la solucion del problema variacional de la elasticidad (PE).
Teorema: El problema (PE) tiene solucion u
nica.
Demostracion: Denotemos,
u )i,j (
v )dx,
a(
u ,
v ) = di,j=1 i,j (
d
d
( v ) = i=1 fi vi dx + i=1 1 gi vi d.
Por tanto el problema (PE) se escribe ahora,
Hallar
u V tal que a(
u ,
v ) = (
v ),
v V.
v ))2 dx
a(
v ,
v ) = (div
v )2 dx + 2 di,j=1 (i,j (
d
v )k20, 2C0 k
v k21, .
2 i,j=1 ki,j (
Y en estas condiciones, el teorema es consecuencia del Lax-Milgram.
Equivalencia con un problema de optimizacion.
La forma bilineal a(, ) es simetrica, por tanto,
57
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
Teorema: La solucion
u del problema (PE) verifica,
J(
u)=
mn J(
v ),
v V
donde,
d
d
d
J( v ) =
i,j ( v )i,j ( v )dx
fi vi dx +
gi vi d.
2 i,j=1
1
i=1
i=1
58
Captulo 3
Aproximaci
on num
erica
mediante el M
etodo de
Elementos Finitos
3.1.
Aproximaci
on variacional abstracta
v V
(P )
(3.1.1)
vh Vh
(Ph )
(3.1.2)
VARIACIONAL ABSTRACTA
3.1. APROXIMACION
N
j=1
N
i = 1, ..., N
(3.1.3)
j=1
(3.1.4)
Demostracion:
v V
vh Vh
M
||u vh || vh Vh
60
VARIACIONAL ABSTRACTA
3.1. APROXIMACION
y finalmente
||u uh ||
M
nf ||u vh ||
vh Vh
Comentarios:
1. Si a(., .) es simetrica, se puede mejorar el resultado anterior. En efecto,
para todo vh Vh
a(u vh , u vh ) = a(u uh + uh vh , u uh + uh vh ) =
a(u uh , u uh ) + 2a(u uh , uh vh ) + a(uh vh , uh vh )
En el segundo miembro, el segundo termino es nulo y el tercero es
mayor o igual que cero. De donde
||u uh ||2 a(u uh , u uh ) a(u vh , u vh ) M ||u vh ||2
y finalmente
||u uh ||
es decir
M
||u vh || vh Vh
||u uh ||
M
nf ||u vh ||
vh Vh
.
2. Si a(., .) es simetrica la solucion obtenida es la mejor posible en el
sentido de la norma
||v||A = a(v, v)1/2
En efecto:
a(u uh , vh ) = 0 vh Vh
||uuh ||2A = a(uuh , uuh ) = a(uuh , uvh ) ||uuh ||A .||uvh ||A
y finalmente
||u uh ||A = nf ||u vh ||A
vh Vh
3.2.
Construcci
on de espacios de Elementos
Finitos
3.2.1.
Generalidades
T Th }
3.2.2.
1jN
p(aj ) = j
1jN
j pj
1 j N . Esto
L : P RN
p (p(aj ))N
j=1
es sobreyectiva y por tanto biyectiva.
Definici
on: Operador de P interpolacion sobre T .
Se llama operador de P interpolacion de Lagrange sobre T al operador
que a toda funcion v definida en T le asocia la funcion T v definida por
Es pues la u
nica funcion p de P verificando p(aj ) = v(aj ).
65
3.2.3.
1 j d + 1 no situados
A=
sea no singular.
Se llama dsimplex T de vertices aj a la envolvente convexa de los puntos
aj . Si d = 2 se llaman triangulos y si d = 3 tetraedros.
Coordenadas baricentricas: Todo punto x de Rd de coordenadas cartesianas xi 1 i d, esta caracterizado dando d + 1 escalares j = j (x) 1
j d + 1 definidos como solucion del sistema lineal
d+1
aij j = xi
j=1
d+1
j = 1
j=1
d+1
j (x)aj
j=1
66
x=
d+1
j (x)aj
0 j (x) 1,
1 j d + 1}
j=1
para 1 i, j d + 1.
Ejemplos
1. Tria-p1-c:
K: Triangulo.
P : Polinomios de grado 1.
: Los tres vertices del triangulo.
Es el ejemplo que hemos estudiado. Las funciones de la base local son
pi = i .
2. Tria-p2-c:
K: Triangulo.
P : Polinomios de grado 2.
: Los tres vertices y los puntos medios de las aristas.
Las funciones de P son pues funciones de la forma p(x, y) = a+bx+cy+
dxy + ex2 + f y 2 . P es un espacio de dimension seis. La base asociada de
P estara formada por las seis funciones pi verificando pi (aj ) = ij . Para
hallar las seis funciones de la base, podemos proceder de la manera
siguiente: Llamemos ai , i = 1, 2, 3 los tres vertices y ai , i = 4, 5, 6
los tres puntos medios de las aristas (ver figura 3.2). Para hallar p1 , es
decir una funcion que verifique
p(a1 ) = 1 p(aj ) = 0 j 6= 1
Observemos que 1 la coordenada baricentrica que vale 1 en el nodo a1 y
cero en a2 , a3 , a4 no se anula en a5 , a6 donde vale 1 (a5 ) = 1 (a6 ) = 1/2.
Por tanto si tomamos
p1 = 1 (21 1)
verifica las propiedades requeridas. Analogamente las otras dos funciones asociadas a los vertices seran
p2 = 2 (22 1)
67
3.2.4.
Un m
etodo general para construir a partir de
toda una familia de
un elemento finito (T, P , )
elementos finitos (T, P, )
a3
3
a4
2.5
a2
a5
1.5
1
a6
0.5
0
a1
0.5
1.5
2.5
3.5
1.2
0.8
0.6
0.4
0.2
0.2
1
0.5
0
0.2
0.4
0.6
69
0.8
1.2
1
0.8
0.6
0.4
0.2
0
0.2
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
1.2
1
0.8
0.6
0.4
0.2
0
0.2
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
70
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
1
0.8
0
0
0.6
0.2
0.4
0.4
0.6
0.8
0.2
1
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
71
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
1jN
i = 1, ..., N
= F ()
Cuando se puede elegir como aplicacion F una aplicacion afn, los elementos
finitos se llaman afn equivalentes.
y (T, P, ) dos elementos de Lagrange equivaTeorema: Sean (T, P , )
lentes y F una biyeccion de T en T verificando la condicion de equivalencia.
es el operador de P -interpolacion sobre ,
el operador de P Si
interoplacion sobre esta caracterizado por
F)
(v) F = (v
para toda funcion v definida en T .
Ejemplo 1
Veamos como podemos construir una familia de elementos finitos (T, P, )
siguiente:
afn equivalentes al elemento finito (T, P , )
T: Triangulo de R2 de vertices (0, 0), (1, 0), (0, 1)
P : Polinomios de grado 2 en T.
{
1 , a
2 , a
3 son los tres vertices de T, y a
4 , a
5 , a
6 son los
:
ai }6i=1 , donde a
puntos medios de los las aristas de T.
73
2 = x
3 = y
Entonces
[ ]
[
]
[
]
[
]
[
] [
] [
]
x
x1
x2
x3
x1
x2
x3
x=
= 1
+ 2
+3
= (1
x
y)
+
x
+
y
y
y1
y2
y3
y1
y2
y3
[
=
x1
y1
x2 x 1 x3 x1
y2 y1 y3 y1
][
x
y
= b + B
x = F (
x)
2.5
a3
a2
T
1.5
1
a1
0.5
T~
0.5
1.5
2.5
La aplicacion F es afn y lleva los vertices a los vertices. Por otra parte
i F 1 , para i = 1, 2, 3 son
si definimos sobre T las funciones pi =
polinomios de grado 1. Resulta
i F 1 )(aj ) =
i (
pi (aj ) = (
aj ) = ij
74
p(
x, y) = a + b
x + c
y + d
xy}
= {
= [1, +1]2
K
=Q
2 =
Q
R;
{
p:K
p(
x, y) = a + b
x + c
y + d
xy + e
x2 + f y2 + g
x2 y + h
xy2 + k
x2 y2 }
= {
ya
ai }9i=1 , donde a
1 , ..., a
4 son los cuatro vertices de K
5 , ..., a
8 son los
puntos medios de los lados, y a
9 es el centro del cuadrado. Tenemos pues que
2 P4
P2 Q
La base sera:
p1 = 14 (1 + x)(1 + y)
xy
p2 = 14 (1 x)(1 + y)
xy
p3 = 14 (1 x)(1 y)
xy
p4 = 14 (1 + x)(1 y)
xy
p5 = 12 (1 + x)(1 x)(1 + y)
y
x
p6 = 12 (1 x)(1 + y)(1 y)
p7 = 12 (1 x)(1 + x)(1 y)
y
p8 = 12 (1 + x)(1 + y)(1 y)
x
p9 = (1 + x)(1 x)(1 + y)(1 y)
76
1.5
a1
a5
a2
1
0.5
a6
a8
a9
0.5
1
a4
a7
a3
1.5
2
2
3.2.5.
1.5
0.5
0.5
1.5
Construcci
on de subespacios de H 1
C 1 a trozos para
2. r s = para r 6= s
tal que la restriccion v|r pertenece a
Sea v una funcion continua en
H 1 (r ), para todo r = 1, ..., N . Entonces v H 1 ().
tal que v|r H 1 (r ); EvidenteDemostraci
on: Sea v continua en
mente v L2 (). Hemos de ver que
Para ello veamos que
v
xi
v
xi
L2 () para i = 1, ..., d
= vi L2 () donde vi |r =
77
(v|r )
xi
L2 (r ).
<
, >= < v,
>=
xi
xi
=
xi
vi ) =
(
v
r
r xi
r xi
r=1
r=1
r=1
N
r=1
xi
r=1
N
v
=
xi
r=1
N
vi =
r
vi =< vi , >
r
pues v es continua.
Vamos ahora a construir subespacios de H 1 () de dimension finita.
Sea un abierto poliedrico (para simplificar) de Rd .
= T T T , siendo Th una triangulacion de
h
Suponemos ademas que cada poliedro T de Th esta asociado a un elemento
finito de Lagrange (T , Pk , k ) tal que Pk H 1 (T )
Definimos el espacio de dimension finita
Vh = {v C 0 ();
T Th ,
v|T Pk }
x T
78
h v(x) = T v(x)
donde T es el operador de PT -interpolacion sobre T . En general sin hipotesis suplementarias sobre el elemento finito (T, PT , T ), la funcion h v no es
y no pertenece a Vh . Para evitar esta situacion
en general continua sobre
se introduce una hipotesis de compatibilidad entre dos elementos finitos:
Supondremos que para todo par {T1 , T2 } de poliedros adyacentes de Th ,
de cara com
un T 0 = T1 T2 , tenemos
1. PT1 |T 0 = PT2 |T 0
2. T1 T 0 = T2 T 0
Ademas necesitaremos la definicion siguiente:
Definici
on: Sea T un poliedro de Rd ; Un elemento finito (T, P, ) se
llama de clase C 0 si las dos condiciones siguientes se satisfacen:
1. P C 0 (T )
2. Para toda cara T 0 de T , el conjunto 0 = T 0 es P 0 -unisolvente donde
P 0 = {p|T 0 ; p P }.
y sea (T, PT , T )T T una famiTeorema: Sea Th una triangulacion de
h
lia de elementos finitos asociada. Suponemos que las condiciones de compatibilidad (1) y (2) anteriores se satisfacen y que para todo T Th , (T, PT , T )
es un elemento finito de clase C 0 y PT es un subespacio de H 1 (T ). Entonces
el operador de interpolacion h , definido por
h v(x) = T v(x) x T
T Th
Vh = {h v; v C 0 ()}
la restriccion
Demostraci
on: Sea v una funcion continua definida en ;
a un elemento cualquiera T de Th de la funcion h v pertenece al espacio PT ,
79
card() = I
i (aj ) = ij
tenemos evidentemente
Si v es una funcion continua sobre ,
h v =
v(ai )i
i=1
v(ai )i
i=1
Definici
on: Los escalares {v(ai )}Ii=1 se llaman grados de libertad de una
funcion v de Vh .
80
81
Captulo 4
An
alisis num
erico del M
etodo
de Elementos Finitos
4.1.
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
de la norma cociente
||v||
H m (T )/E = nf ||v||m,T
vv
||=k+1
| v|2 )1/2
|v|k+1,T = |v + p|k+1,T
Tenemos evidentemente
|v|
k+1,T ||v||
H k+1 (T )/Pk
en efecto, para todo v v
|v|
k+1,T = |v|k+1,T ||v||k+1,T
y tomando el nf para todo v v obtenemos el resultado.
83
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
C{|v|2k+1,T
+
( vdx)2 }1/2
||k
poniendo
vn =
vn
||
vn ||k+1,T
|vn |2k+1,T
||vn ||k+1,T = 1
(4.1.1)
1
+
( vn )2 < 2
n
T
(4.1.2)
||k
de modo que
v v
84
en H k (T )
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
,
|| = k + 1 v 0 en L2 (T )
N ,
d
|| k
v | <
T
N ,
d
|| k
v = 0
T
v = 0 || k
T
N || k,
p = v
T
d
N || k
v = 0
T
C{|v|2k+1,T
+
( v)2 }1/2 = C|v|k+1,T
|lek
85
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
y deducimos
||v||
H k+1 (T )/Pk ||v||k+1,T C|v|k+1,T = C|v|
k+1,T
lo que termina la demostracion.
A partir del teorema anterior obtenemos el siguiente teorema general de
aproximacion en los espacios de Sobolev.
Teorema de Aproximacion I: Sea T una parte compacta y conexa de Rd
de frontera C 1 a trozos y sea un opeardor lineal continuo de H k+1 (T ) en
H m (T ), 0 m k + 1, tal que
p Pk ,
p = p
v H k+1 (T )
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
x Rd ,
x Rd ,
b Rd ,
B, matriz d d
|B|
= sup |B| = sup |B|
Rd ,1
Rd ,||=1
Rd ,6=0 ||
sup
hT
||B1 ||
h
T
87
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
Demostraci
on: Podemos escribir
||B|| =
1
sup |B|
||=
p Pk
p = p
hk+1
T
|v|k+1,T
m
T
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
y por tanto de k y
La constante C depende de T y por tanto de d, de
de m; la novedad reside en que la constante C es independiente de F y por
tanto de las caractersticas geometricas de T . Para la demostracion sera u
til
utilizar la nocion de diferencial de Frechet de una funcion.
Recordemos, si v es una funcion definida en un entorno de un punto
x Rd y diferenciable (en sentido clasico) l veces, se denota Dl v(x) a su
diferencial de orden l que es una forma l-multilineal simetrica sobre Rd
Dl v(x) : Rd ... Rd R
Dl (v(x)(1 , ..., l ) R i Rd
||Dl v(x)|| =
sup
1 ,...,l Rd ,
i = 1, ...l
Demostraci
on: Sea un multientero y || = l, se tiene
| v(x)| = ||Dl v(x)|||e1 |.1 (veces) .|e1 |...|ed |.l (veces) |ed | = ||Dl v(x)||
de modo que
(
||=1
| v(x)| )
2 1/2
||=1
89
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
de donde
||=1
donde C =
| v(x)| )
2 1/2
card{; || = l} y 1 =
k
k=1 i ek
d
D v(x)(1 , ..., l ) =
1
.
C
sup
1 ,...,l
||Dl v(x)|| =
poniendo i =
C(
Rd
|1 |=...=|l |=1
i = 1, ..., l
k1 ,...,kl =1
k1 ,...,kl =1
k1 ,...,kl =1
k1 ,...,kl =1
ahora bien, como los vectores i = (i1 , ...id ) Rd i = 1, ..., l son de norma
k1 ,...,kl =1
1k1 ...lkl |
|1k1 ...lkl |
k1 ,...,kl
1 = 2 (l, d)
k1 ,...,kl
as pues:
||Dl v(x)|| 2 (l, d) max | v(x)|
||=l
de donde
l
2 1/2
2 1/2
( ||D v(x)|| ) 2 (l, d)( (max | v(x)|) ) 2 (l, d)(
| v(x)|2 )1/2
T
T ||=l
||=l
90
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
Demostraci
on del teorema: Sea v D(T ) y v = v F donde F es una
aplicacion afn invertible, es decir, x = F (
x) = B
x + b, siendo B una matriz
invertible de orden d d. Aplicando la regla de la cadena tenemos:
Dl v(
x)(1 , ..., l ) = Dl (v F )(
x)(1 , ..., l
= Dl (v(F (
x)))(B1 , ..., Bl ) = Dl v(x)(B1 , ..., Bl )
de donde
||Dl v(
x)|| =
sup
|1 |=...=|l |=1
|Dl v(
x)(1 , ..., l )| =
sup
|1 |=...=|l |=1
y finalmente
||D v(
x)|| d
x ||B||
l
2l
T
||D(F (
x))||2 d
x
l
2
2l
1
||D v(
x)|| d
x ||B|| |detB|
||Dl v(x)||2 dx
T
2
1
91
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
c =
v
por el teorema de aproximacion y como v
c = |
v | C|
|
v v|
v
v |k+1,T
m,T
m,T
T). Como
donde C = C(,
|
v |k+1,T (k + 1, d)||B||k+1 |det B|1/2 |v|k+1,T
resulta
T)(l, d)(k + 1, d)||B1 ||m ||B||k+1 |v|k+1,T
|v v|m,T C(,
y como ||B||
hT
, ||B1 ||
h
T
|v v|m,T C
hk+1
T
|v|k+1,T
m
T
m
T)(l, d)(k + 1, d) hk+1
donde C = C(,
.
entonces
|v v|l,T = |v l v|l,T C
hk+1
T
|v|k+1,T
lT
l = 0 |v v|0,T C0
v H k+1 (T ) l,
hk+1
T
|v|k+1,T
0T
l = 1 |v v|1,T
hk+1
C1 T |v|k+1,T
T
...
l = m |v v|m,T
hk+1
Cm Tm |v|k+1,T
T
92
0lm
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN
hk+1
T
|v|k+1,T
m
T
2 2(ml) 1/2
) . La constante C se puede mayorar por una
donde C = ( m
l=0 Cl T
constante independiente de las caractersticas geometricas de T, si consideramos solo elementos T suficientemente peque
nos, por ejemplo de diametro
inferior a 1, para los cuales evidentemente el diametro de la circunferencia
inscrita sera menor que 1.
4.2.
Aplicaci
on al an
alisis num
erico del M.E.F.
en problemas elpticos de segundo orden
hT
T 0
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN
||v||
m,T = ||
v(ai )i ||m,T
v V
uV
vh Vh
uh V h
donde
Vh = Xh = {v C 0 ();
v|T PT
T Th }
o bien
Vh = Xh H01 ()
o bien
V h = Xh V
en caso de que V sea un espacio intermedio entre H 1 () y H01 ().
94
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN
h0
M
.
T Th
95
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN
Por el teorema de aproximacion II, existen dos constantes C2 y C3 que de tales que
penden u
nicamente del elemento de referencia (T, P , )
|u T u|1,T C2
||u T u||0,T C3
hk+1
T
|u|k+1,T
T
hk+1
t
|u|k+1,T = C3 hk+1
T |u|k+1,T
0
hT
T
, es decir
1
T
hT
, de donde
es decir lmh0 ||v h v||1, = 0. Por otra parte como V es denso en V , para
todo > 0 existe un elemento v V tal que
||u v||1,
2C
y para este v, existe un n
umero h() > 0 tal que h h() ||v h v||1,
+ )=
2C 2C
Captulo 5
Aspectos pr
acticos y
programaci
on del M.E.F.
5.1.
Un M
etodo de Elementos Finitos para el
problema de Poisson
en
(5.1.1)
u = 0 sobre
(5.1.2)
5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
f v dx1 dx2
uv dx1 dx2 =
(5.1.3)
cada triangulo sea bien la arista de otro triangulo o una parte de la frontera
poligonal . Ver un ejemplo en la figura 5.1. A cada mallado o triangulacion Th le asociamos el parametro h = maxT Th diam(T ), donde diam(T ) =
diametro de T = lado mayor de T .
Definimos ahora Vh como sigue:
Vh = {v : R, continuas, vh |K P1 (x1 , x2 ), vh = 0 en}
donde P1 (x1 , x2 ) designa el conjunto de polinomios de grado 1 de dos variables. El espacio Vh consiste en todas las funciones continuas que son lineales
en cada triangulo de la triangulacion Th y que se anulan en la frontera . Observemos que Vh V . Como parametros para describir una funcion vh de Vh
elegimos los valores vh (pi ), i = 1, ..., M de vh en los puntos pi , i = 1, ..., M ,
vertices de la triangulacion Th , excluyendo los vertices situados en la frontera , puesto que vh = 0 sobre . Las correspondientes funciones de la base
98
5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
1 if i = j
0 if i 6= j
uh vh dx1 dx2 =
f vh dx1 dx2
(5.1.4)
i j dx1 dx2 , bi =
(5.1.5)
cion u = (ui )i=1,...,M , donde ui = uh (pi ) son los coeficientes de la combinacion lineal de elementos de la base de Vh representando uh , es decir,
5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
1
0.8
0.6
0.4
0.2
0
1
0.8
0.6
0.4
0.2
0.4
0.3
0.2
0.1
0.5
0.6
0.7
0.8
0.9
Aij =
ATij
T Th
donde
ATij
i j dx1 dx2
=
T
y
bi =
bTi
T Th
donde
bTi
=
T
f i dx1 dx2
5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
i, j = 1, 2, 3
.
La funcion 1 = a + bx + cy se puede determinar resolviendo el sistema
de tres ecuaciones con tres incognitas, a, b, c,
a + bx1 + cy1 = 1
a + bx2 + cy2 = 0
a + bx3 + cy3 = 0
101
5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
0.8
0.8
0.6
0.4
0.6
0.2
0.4
0
0
0.1
0.2
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
102
5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
y analogamente para las funciones 2 y 3 . Observemos que si K es el triangulo de vertices a1 = (0, 0), a2 = (1, 0) y a3 = (0, 1), entonces las funciones
i , i = 1, 2, 3 tienen una expresion muy sencilla, pues, 1 = 1 x y, 2 = x
y 3 = y. Las funciones 1 , 2 , 3 asociadas a un triangulo T , se llaman
coordenadas baricentricas y toman valores entre 0 y 1 en los puntos interiores de T y mayores que 1 o menores que 0 en los exteriores, y el valor 0 o 1
5.2.
C
alculo de la matriz del sistema de ecuaciones y del segundo miembro: Un ejemplo
Vamos a calcular explcitamente el sistema (5.1.5) en el caso sencillo correspondiente al problema (5.1.4) en un dominio cuadrado con la triangulacion de la figura 5.6. Calcularemos la i-esima ecuacion del sistema (en
las figuras, la ecuacion n
umero 41 que es la que corresponde al centro del
cuadrado). En la figura 5.7 se han dibujado las curvas de nivel de la co103
5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
x x 1 y y1
,
h
h
2 =
x x1
,
h
104
5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
105
5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
49
50
40
41
42
32
33
3 =
y y1
.
h
1 .2 = 1/h2
1 .3 = 1/h2
2 .1 = 1/h2
2 .2 = 1/h2
3 .1 = 1/h2
3 .2 = 0 3 .3 = 1/h2
2 .3 = 0
1
1/2 1/2
0
AT = 1/2 1/2
1/2
0
1/2
106
5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
f (x, y) dxdy
T
a
rea(T )
f (ai )
3
i=1,2,3
a
rea(T )
f 41 dxdy
f (a41 )
3
T
sumando las contribuciones de los seis triangulos de la estrella (ver la figura
5.9) y teniendo en cuenta que el area de cada triangulo es igual a h2 /2, resulta
f 41 dxdy h2 f (a4 1)
T
(5.2.1)
5.3. UN METODO
GENERAL PARA EL CALCULO
DE MATRICES Y
VECTORES ELEMENTALES
5.3.
Un m
etodo general para el c
alculo de
matrices y vectores elementales
Vamos a desarrollar un metodo de calculo de las matrices y vectores elementales que se pueda aplicar a situaciones mas generales que la correspondiente al caso anterior. Por ejemplo en mallados mas generales de dominios
cualesquiera, con elementos finitos de orden mayor que 1, y en problemas
elpticos mas generales como los que veremos en el captulo siguiente. Desarrollaremos con detalle el ejemplo correspondiente al calculo de terminos:
ATij
kl
Dkl
j i
dx1 ...dxd
xk xl
(5.3.1)
T
Aij =
t j Di dx1 ...dxd
(5.3.2)
T
108
5.3. UN METODO
GENERAL PARA EL CALCULO
DE MATRICES Y
VECTORES ELEMENTALES
2 =
3 =
x
y
o bien
[
=
x1
y1
(1 ) +
x
y
[
=
x21 x31
y21 y31
][
x2
y2
[
+
[
+
x1
y1
x3
y3
donde
x21 = x2 x1 ,
x31 = x3 x1 ,
y21 = y2 y1 ,
y31 = y3 y1
o bien llamando
[
B=
x21 x31
y21 y31
[
c=
resulta
x
y
x1
y1
[
= F (, ) = B
]
+c
[
=
109
][
5.3. UN METODO
GENERAL PARA EL CALCULO
DE MATRICES Y
VECTORES ELEMENTALES
[
Bt =
1
=
det B
1
=
det B
y por tanto
B
y31 x31
y21 x21
y31 y21
x31 x21
T
Aij =
t j Di dxdy
T
1
=
detB
j
t
y31 x31
y21 x21
][
D11 D12
D21 D22
][
y31 y21
x31 x21
]
i dd
c11 c12
c21 c22
la matriz AT se escribe
ATij
1
=
detB
2
1
j i
j Ci dd =
d1 d2
ckl
detB k,l=1
T
T k l
t
110
5.3. UN METODO
GENERAL PARA EL CALCULO
DE MATRICES Y
VECTORES ELEMENTALES
111