MTODO DE LOS ELEMENTOS FNITOS

Lista 19

Problema 01:
Demostrar el siguiente teorema:
Teorema (Lema de LaxMilgram): Dada una forma bilineal a(.,.), coersiva (V-liptica),
acotada y una funcional lineal l(.) lineal y acotada entonces existe un nico u tal que:
( ) = e a u,v l(v) u V
Si adems, a(.,.) es simtrica entonces es el nico minimizador global de:
( ) = e
1
J(u) a u,v l(v) u V
2

NOTA:
Antes de demostrar el teorema de Lax, veamos lo siguiente: Dado H, un especio de
Hilbert, y a: H H una forma bilineal acotada, nos interesa definir el operador
A:H H inducido por ( ) a .,. y viceversa. Para ello, consideremos un elemento e v Hy
definamos el funcional
v
F : H por
( ) = e
v
F (w): a v,w w V
Puesto que ( ) a .,. es lineal es su segunda componente (porque ( ) a .,. es bilineal) se tiene
claramente que es lineal. Adems, dado que ( ) a .,. es acotada (con constante M) se tiene
que:
s e
v
F (w) M v w w H
Con lo cual se concluye que e
v 1
F H y
( )
= =
=
= =
s =
s e
v
v
w 0 w 0
w 0
v
a v,w F (w)
F sup sup
w w
M v w
sup M v
w
F M v v H (1)

Lo anterior induce la definicin del operador
1
B: H H como:
= e
v
B(v): F v H
El cual, gracias a la linealidad tambin de en su primera componente y a la desigualdad
(1), es un operador lineal y acotada con:
( )
s
L H,H
1
B M
Finalmente, si
1
R: H Hdenota la aplicacin de Ritz correspondiente, se define el
operador A:H Hinducido por ( ) a .,. como:
= = A: R B RB

Note que Aes lineal y acotado (porque R y B lo son) y adems:
( ) ( ) ( ) = = = = e
v
A(v),w RB(v),w B(v)(w) F (w) a v,w v,w H
Recprocamente, si ( ) e A L H,H entonces se define la forma bilineal B:H H inducida
por A como:
( ) ( ) = e B u,w A(v),w v,w H


Ahora probemos el Teorema de Lax- Milgram:
a) Sea H un espacio de Hilbert y a: H H una forma bilineal acotada y H-elptica, y una
funcional lineal l:H y acotada, entonces existe un nico u tal que:
( ) = e a u,v l(v) u V (2)
Prueba:
Sea A:H Hel operador lineal y acotado inducido por ( ) a .,. , esto es:
( ) ( ) e A(v),w =a u,w v,w H
Y sea
1
R: H Hla aplicacin de Ritz correspondiente. Entonces, encontrar un nico
e u Htal que (2) ocurra es equivalente a pedir que:
( ) ( ) e e
1
A(u),v = R(l),v u V, l H
O bien, tal que:
= A(u) R(l) (3)

As, la presente demostracin se reduce a probar que es biyectivo (Inyectivo para
garantizar que la solucin es nica y sobreyectividad para garantizar la existencia de la
solucin)
Probemos que A es inyetivo:
En efecto: A partir de la H-elipticidad de a, se tiene:
( ) ( ) o s = s e
2
v a v,v A(v),v A(v) v , v H
De donde
o s e v A(v) v H (4)
Si = A(v) 0, entonces o = v 0 , luego = v 0, por lo tanto A es inyectivo.
Probemos que A es sobreyectivo:
Para probar que A es sobreyectivo, basta demostrar que el rango de A
{ } = e R(A) A(v), v H
Es cerrado y denso en H.
Probemos que R(A) es denso en V:
En efecto:
Dado ( )

e w R(A) se tiene que ( ) = e z,w 0 z R(A) , o bien, equivalentemente,

( ) = e A(v),w 0 v H.En particular, para = v wse tiene, utilizando la H-elipticidad de
( ) a .,. ,
( ) ( ) = = >o
2
0 A(w),w a w,w w
De donde = w 0, lo cual implica que R(A) es denso en H.
Probemos que es R(A) cerrado:
En efecto:
Sea =
n n
u A(v ) una sucesin en R(A) tal que
n
u uen H, usando (4), tenemos,
( ) ( ) ( ) o s = =
n m n m n m n m
v v A v v A v A v u u
Por lo que la sucesin { }
n
v es de Cauchy, lo cual implica que existe e v Htal que
n
v v
. As pues como ( ) ( ) ( ) e
n
A L H,H A v A v , es decir = e A(v) u R(A) . Lo cual implica
que R(A) es cerrado.
En consecuencia, existe un nico e u Htal que = A(u) R(l) , esto es:
( ) = e a u,v l(v) v H

b) Si adems ( ) a .,. es simtrico, entonces u es el nico minimizador global de
( ) = e
1
J(u) a u,u l(u) u H
2

Prueba:
Probemos que si e u Hsatisface ( ) = a u,v l(v)entonces s e J(u) J(v) H.
En efecto:
Definamos = e w v u V, as:
( )
( ) ( ) ( )
( )
= +
= + + +
= + +
= +
>
s e
J(v) J(u w)
1
a u w,u w l(u w)
2
1 1
a u,u l(u) a u,u a u,w l(w)
2 2
1
J(u) a w,w
2
J(u)
J(u) J(v) v H

Dado e v Hy un nmero real c , +c e u v H. Definamos ( ) c = +c I( ): J u v , ya que u
minimiza la funcional J , se tiene que = J'(u) 0 , as = I'(0) 0, por lo que:
( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( )
( )
c c
c
c
c
+ c
c
= = =
c c
+ c + c + c
=
c
c
+ + c c
=
c
c
+ c c
=
c
=
= e
0 0
0
2
0
2
0
E u v E u
I( ) I(0)
0 I'(0) lim lim
1 1
a u v,u v l u v a u,u l(u)
2 2
lim
1 1
a u,u a v, v a u,u l(u) l(v) a u,u l(u)
2 2 2
lim
a v, v a u, v l(v)
2
lim
a u, v l(v)
a u, v l(v) v H


Problema 02:
Mostrar en la prueba del lema del Lax-Milgram que V es completo en la norma ( ) a u,u .
Prueba:
En el caso ( ) a .,. que sea simtrico, ( ) a .,. es un producto escalar pues:
a) ( ) a .,. es bilineal.
b) ( ) a .,. es Simtrica.
c) De la cohesividad de ( ) a .,. , se tiene que ( ) > e a v,v 0 v Hy si
( ) = = a v,v 0 v 0.
Dicho producto escalar induce sobre H una norma, ( ) =
a
u a u,u .
Mostremos que
a
y
H
son equivalentes.
En efecto:
Como ( ) a .,. es continua y cohesiva, se tiene que:
( ) ( ) s > o
s > o
s > o
o s s
2 2
H H
2 2 2
a H a H
a H a H
H a H
a u,u C u y a u,u u
u C u y u u
u C u y u u
u u C u (5)

Lo cual implica que
a
y
H
son equivalentes.
Como las normas y son equivalentes, entonces H ser un espacio de Hilbert tambin en la
norma
a
.
En efecto:
Supongamos que { }
n
v es una sucecin de Cauchy en
( )
a
H, entonces

n m
a
v v 0, n,m . De (5) se tiene:
o s
n m n m
H
v v v v 0
Lo cual implica
n m
H
v v 0, n,m .
Entonces { }
n
v es tambin una sucesin de Cauchy en
( )
H
H, .
Como H es un espacio completo, existe un elemento e v Htal que
n
H
v v 0. De (5) se
tiene:
s
n n
a H
v v C v v
Luego, la sucesin { }
n
v converge en la norma
a
. Po lo tanto
( )
a
V, es completo.