UNIVERSIDAD DE CONCEPCION FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS DEPARTAMENTO DE INGENIERIA MATEMATICA

METODOS DE ELEMENTOS FINITOS MIXTOS TAREA 1

Profesor: Gabriel N. Gatica. Alumno: Gonzalo Rivera
22 de Marzo 2011. 1. Sean (H, , H , H ) un espacio de Hilebert real y A : H H R una forma bilineal acotada con operados inducido A L(H, H). Suponga que existen operadores S1 , S2 L(H, H) y constantes 1 , 2 > 0 tales que S A( ), 1
H

2 H

AS2 ( ),

2 H

H.

a) Pruebe que para todo F H existe un unico H tal que A(, ) = F ( ) H, (1)

y deduzca la existencia de C > 0, independiente de F , tal que

H

C F

.
h0

b) Sea {Hh }h>0 una familia numerable de subespacios de dimensin nita de H tal que l dis( , Hh ) = o m 0 H, y dado F H , considere el esquema de Galerkin: Hallar h Hh tal que A( h , h ) = F (h ) h Hh (2)

Suponga que para i = 1 o para i = 2 (pero no para ambos), existen operadores inyectivos Si,h L(Hh , Hh ) para todo h > 0, y constantes Ci , > 0, independientes de h, tales que Si (h ) Si,h (h )
H

Ci h Si (h )

h Hh

Demuestre que existe h0 > 0 tal que para todo h h0 el problema (2) tiene solucin unica, o es estable, y se verica la estimacin de Cea. o c) Qu puede decir sobre las hiptesis para a) y b) si A es simtrica? e o e 2. Considere un abierto acotado de Rn con frontera sucientemente suave, y dena el espacio
n

H(div; ) := provisto del producto escalar v, w :=

v [L2 ()]n : div v :=

i=1

vi xi

L2 ()

H(div;)

v w dx +

div v div w dx

v, w H(div; ).

a) Demuestre que (H(div; ); , H(div;) ) es un espacio de Hilbert. Solucin: o veamos que (H(div; ); , H(div;) ) es completo para ello la clave es utilizar el hecho que (L2 (); , L2 () ) es un espacio de Hilbert. Sea {vn }nN (H(div; ) una sucesin de cauchy esto es: vn vm H(div;) 0 o cuando n, m 1

Por otro lado del producto escalar se deduce que la norma inducida es: v por tanto tenemos que vn vm
2 H(div;) 2 H(div;)

= v

2 L2 ()

+ divv

2 L2 ()

= vn vm

2 L2 ()

+ divvn divvm

2 L2 ()

y como vn vm H(div;) 0 cuando n, m se tiene que {vn }nN es una sucesin o 2 2 2 de cauchy en L () y {divvn }nN es una sucesin de cauchy en L () adems como L () o a es Hilbert se tiene que 1) Existe v L2 () : vn v L2 () 0 cuando n, m 2) Existe z L2 () : divvn z L2 () 0 cuando n Resta probar que w H(div; ) tal que vn w H(div;) 0 cuando n cuyo candidato natural es v para ello mostraremos que divv = z observacin: o Dado v [L2 ()]n se dice que divv = z L2 () si
n

i=1

vi

xi

C0

o equivalentemente

C0

Sea C0 y vn {vn }nN (H(div; ) se tiene que

vn

divvn

n N

probaremos que

n N

pero esto se tiene pues: vn

|vn v| | | vn v

L2 ()

L2 ()

luego por 1) se tiene que

n

l m

vn

por otro lado divvn

|divvn z| || divvn z

L2 ()

L2 ()

luego por 2) se tiene que

n

l m

divvn =

luego como

vn

divvn

n N l m v

vn

= l m

divvn

C0 H(div,)

con lo cual se concluye que v H(div, ) y vn v (H(div; ); , H(div;) ) es un espacio de Hilbert.

0 cuando n es decir