ELEMENTOS FINITOS

Nestor Abel Sanchez Goycochea

24 de mayo de 2015


Indice
general

1. Introduccion
1.1. Un problema uni-dimensional . . . . . . . . . . . . .
1.2. Metodo debil (Distribucional) . . . . . . . . . . . . .
1.3. Vuelta al problema unidimensional: . . . . . . . . . .
1.4. Espacios de Sobolev de orden 1 . . . . . . . . . . . .
1.5. Vuelta al problema unidimensional (2da parte) . . . . .
1.6. Formulacion abstracta para el problema unidimensional
2. Teoremas de Lax-Milgram
2.1. Teorema de Lax-Milgram . . . . . . . . . .
2.2. Teorema de Lax Milgram generalizado . . .
2.3. Teorema de Lax-Milgram version simetrica
2.4. Ejemplo unidimensional mas simple . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

3. Metodo de Galerkin
3.1. Existencia y unicidad de un . . . . . . . . . . . . . . . . .
3.1.1. TLM Discreto . . . . . . . . . . . . . . . . . . . .
3.1.2. TLM generalizado (discreto) . . . . . . . . . . . .
3.2. Calculo de la solucion de Galerkin . . . . . . . . . . . . .
3.3. Vuelta al problema unidimensional mas simple . . . . . .
3.4. Estimacion de Galerkin . . . . . . . . . . . . . . . . . . .
3.5. Caso particular de a simetrica y Helptica . . . . . . .
3.6. Vuelta al problema unidimensional mas simple (2da Parte)
3.7. Propiedad de aproximacion . . . . . . . . . . . . . . . . .
4. Formulacion Mixta
4.1. Un Problema bidimensional . . . . . . . . . . . . .
4.2. Vuelta al problema bidimensional . . . . . . . . . .
4.3. Formulacion mixta del problema de Poisson . . . . .
4.4. Teorema de Babubska-Brezzi (Version mas conocida)
4.5. Vuelta al problema bidimensional (2da ) parte . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

1
1
1
3
5
5
7

.
.
.
.

9
9
11
12
12

.
.
.
.
.
.
.
.
.

15
15
15
16
16
17
19
22
23
24

.
.
.
.
.

27
27
28
30
32
35

Captulo

Introduccion
Fecha: 24 de marzo del 2015

1.1. Un problema uni-dimensional

(P ) =

u + u + u = f

=]0, 1[

(Condiciones de Dirichlet)

u(0) = u(t) = 0

o bien,
u (0) = u (1) = 0

(Condiciones de Neumann)

En el sentido clasico, resolver esta ecuacion (P ), consiste en hallar una funcion u C 2 ()

C() tal que:

x ]0, 1[
u (x) + u (x) + u(x) = f (x)
(P ) =

u(0) = u(t) = 0
(Condiciones de Dirichlet)

1.2. Metodo debil (Distribucional)

E JEMPLO .

C () := { : R/, , , , (n) C(), n N}

{
}
n

1. Polinomios: p(x) =
ak xk C (), abierto.
k=0

2. {ex , R} C (), abierto.

{ k
}

3.
aj sin(jx) + bj cos(jx) C (), abierto.
j=0

1.2. Metodo debil (Distribucional)

C0n () := { C n () : sop() es compacto en }

donde
sop() = { : (x) = 0}
E JEMPLO .
/ C01 ()
1. =] 1, 1[ C0 (), sop() = [ 12 , 12 ],
2. =]0, 1[ C01 (), ( 13 ) = ( 23 ) = 0, ( 31 ) = ( 32 ) = 0
Este tipo de funciones se pueden construir por intermedio del interpolante de Hermite (unico polinomio de grado 3 tal que ( 13 ) = ( 32 ) = 0, ( 31 ) = ( 23 ) = 0). En
general no es simple encontrar funciones en C0n ()). Una posibilidad es buscar polinomios de grado conveniente que satisfagan las condiciones requeridas.
Definamos ademas el conjunto:
C0 () := { C () : sop() es compacto en }
son llamadas funciones test.
E JEMPLO . La funcion
:R R

{ 1
e t, t > 0
t 7 (t) =
0, t 0

C (R) ya que (n) (0) = 0, n N.

Ahora dado x0 Rn y > 0, se define:
x0 , : Rn R

(
x 7 x0 , (x) = 1

{
2
2
||xx0 ||2
,
x0 , (x) = e
0,

||xx0 ||2
2

si ||x x0 || <
si ||x x0 ||

se sigue que sop(x0 , ) = B(x0 , ). Notemos ademas que x0 , = r con

r(x) = 1

||x x0 ||2
2

de donde x0 , C0 (), Rn abierto, tal que B(x0 .) .

Nestor Abel Sanchez Goycochea

Cap. 1: Introduccion

1.3. Vuelta al problema unidimensional:

{
(P )

u + u + u = f,
u(0) = u(1) = 0

=]0, 1[

en

Multiplicando por C0 () e integrando por partes, se tiene:

1

1
f =

(u + u + u)

1
=

u +

1
=
0

u +

1
u
0

1
1

u u  + u + u
| {z }0 0
0
0

Luego se verifica

(u + u + u) =

f ,

C0 ()

1.1. Sea R abierto. Se define el siguiente espacio vectorial.

D EFINICI ON
{
}
/
2
2
L () = v : R
|v| < +

Este espacio es Hilbert, con el producto interno:

u, v0, = u, vL2 () =
uv,

u, v L2 ()

y su correspondiente norma inducida esta dada por:

)1/2

(
||v||0, = ||v||L2 () =

1/2
v, v0,

|v|

En particular , la norma y el producto interno satisfacen





|u, v| =  uv  ||u||0, ||v||0, , u, v L2 ()

(Cauchy-Schwarz)

1.2. Dada v L2 (), se dice que v L2 () en el sentido distribucional

D EFINICI ON
(debil) si existe L2 () tal que:

v = , C0 ()

A la funcion se le llama derivada distribucional o derivada debil de v.

3

Nestor Abel Sanchez Goycochea

1.3. Vuelta al problema unidimensional:

Note que si v C 1 ()

v =



v + v ,

| {z}

C0 ()

y luego

v ,

v =

C0 ()

es decir, si v C 1 (), entonces la derivada distribucional o debil coincide con la derivada

fuerte o en el sentido clasico.
E JEMPLO 1.1. =]0, 1[

v(x) =

] [
, x 0, 12

2x

]
[
2 2x , x 12 , 1

Claramente v C 1 (). Sin embargo, dado C0 ()

1
0

1/2
1

v =
v + v

1/2

1
1/2 1/2
1



= (v) v + (v) v
0

1/2

1/2

1
1/2 1/2
1


= (2x) 2 + ((2 2x)) 2
0

1/2

1/2

1/2
1
= (1/2) 2 (1/2) 2
0

1/2

1
=

donde:
v = =

] [
, x 0, 21

[
]
2 , x 12 , 1
Fecha: 27 de marzo del 2015

Nestor Abel Sanchez Goycochea

Cap. 1: Introduccion

1.4. Espacios de Sobolev de orden 1

1.3.
D EFINICI ON

H 1 () = {v L2 () : v L2 ()}

Sobre H 1 () se define el siguiente producto interior

u, v1, := uv + u v , u, v H 1 ()

y se demuestra que (H 1 (), 1, ) es un espacio de Hilbert.

1.4.
D EFINICI ON
H01 := C0 ()

||||1,

donde
||v||1,

1/2

:= (v 2 ) + (v )2
(

= v20, + v 0,
2

)1/2

= v, v21,
Equivalentemente,
v H01 () v H 1 ()

{j }jN C0 () : ||v j ||1, 0

Es posible demostrar que:

H01 () = {v H 1 () : v(0) = v(1) = 0}
1.1. Esto solo es posible en 1D
O BSERVACI ON
H 1 () C()

1.5. Vuelta al problema unidimensional (2da parte)

Recordemos que a partir de (P ) llegamos a la ecuacion integral:

u + u + u = f ,
C0 ()

De acuerdo a la definicion de H01 () podemos plantear un nuevo metodo para resolver el PVC
(Problemas de valores de contorno) (P ), el cual consiste en hallar u H01 () tal que:

u v + u v + uv = f v
v C0 ()
(P )

Nestor Abel Sanchez Goycochea

1.5. Vuelta al problema unidimensional (2da parte)

Por otro lado podemos plantear el siguiente problema alternativo: Hallar u H01 () tal que,

u v + u v + uv = f v
v H01 ()
(P0 )

L EMA 1.1.
P P0
Demostracion.

P0 = P :

Esto es evidente ya que C0 () H01 ()

P = P0 : Sea u solucion de P . Dado v H01 (), por densidad existe

{j }jN C0 tal que:
j

||j v||1, 0
De aqu se sigue que:

u j + u j + uj = f j

j N

Luego,

 


 






 u v u j  =  u (v j )

 


 


||u ||0, ||v j ||0,

= ||u ||0, ||(v j ) ||0,
j

||u||1, ||v j ||1, 0

De la misma forma,





 u v u j 

 0,




 j
 uv uj 

 0



y suponiendo que f L2 ()





 j

 f v f j 
 0




lo cual concluye el teorema.

z
Nestor Abel Sanchez Goycochea

Cap. 1: Introduccion

1.6. Formulacion abstracta para el problema unidimensional

Definamos H = H01 ()
F : H R

v 7 F (v) = F v,

vH

a : H H R

(u, v) 7 a(u, v) = u v + u v + uv,

vH

Entonces el problema P0 se puede escribir como: Hallar u H tal que:

a(u, v) = F (v),

vH

(Pv)

Notar que:
F H , pues







|F (v)| =  f v  ||f ||0, ||v||0, ||f ||0, ||v||1,



a es bilineal (Tarea)
a es acotada

|a(u, v)| =  u v + u v + uv 



 
 


 
 


 
 






 u v  +  u v  +  uv 

 
 


||u ||0, ||v ||0, + ||u ||0, ||v||0, + ||u||0, ||v||0,

Aplicando Cauchy-Schwarz en R3
1/2

2
2
2
||u
||
+
||u
||
+
||u||
|a(u, v)|
0,
0,
0,

{z
}
|
||u||21,

1/2

||v ||0, + ||v||20, +||v||20,

|

{z
}
||v||21,

)1/2
)1/2 (
(
2
+ ||u||21,
||v||21, + ||v||21,
||u||1,
= 2||u||1, ||v||1,
As,
|a(u, v)| M ||u||1, ||v||1, ,
7

u, v H01 (), M = 2
Nestor Abel Sanchez Goycochea

1.6. Formulacion abstracta para el problema unidimensional

1. a es elptica (o fuertemente coerciva)

a(v, v) = (v ) + v v + (v)2

= ||v||21, +

vv








2

||v||1,  v v 



||v||21,

||v ||0, ||v||0,

Aplicando la desigualdad 12 (a2 + b2 ) ab para a = ||v ||, b = ||v|| se tiene:

)
1( 2
||v ||0, + ||v||20,
2
1
2
= ||v||1, ||v||21,
2
1
2
= ||v||1,
2

a(v, v) ||v||21,

As, a(v, v) ||v||21, , v H01 (), = 1/2

De acuerdo a lo anterior, podemos aplicar el Teorema de Lax-Milgram para demostrar existencia y unicidad del problema (PV).

Nestor Abel Sanchez Goycochea

Captulo

Teoremas de Lax-Milgram
2.1. Teorema de Lax-Milgram
Sea H un espacio de Hilbert y a(, ) una forma bilineal, acotada (con constante M > 0) y
H-elptica (con > 0). Si:
1. |a(u, v)| M ||u||H ||v||H ,
2. a(v, v) ||v||2H ,

u, v H

vH

Entonces, para todo F H , existe un u nico u H tal que:

a(u, v) = F (v),

v H

Ademas

1
||F ||H

La desigualdad (*) es llamada dependencia continua de los datos o estabilidad

||u||H

(*)

Fecha: 31 de marzo del 2015

.
O BSERVACI ON
1. Dada F H y u H (unica solucion del problema) tal que a(u, v) = F (v), v H.
||F ||H = sup
vH
v=

sup
vH
v=

|F (v)|
|a(u, v)|
= sup
||v||H
vH ||v||H
v=

M ||u||H ||v||H
||v||H

M ||u||H
Por lo tanto:
||u||H ||F ||H M ||u||H
9

2.1. Teorema de Lax-Milgram

2. Dados F1 , F2 H y las respectivas soluciones u1 , u2 H se tiene:
||u1 u2 ||H ||F1 F2 ||H M ||u1 u2 ||H
3. En el caso que a : HH R sea una forma bilineal simetrica (a(u, v) = a(v, u), u, v
H) y suponiendo que a es elptica y continua, entonces a(, ) constituye un producto
interior en el espacio H. Mas aun, si || ||a es la norma inducida por la forma bilineal,
es decir:
1
||v||a = (a(u, v)) 2 , v H
(Norma de la energa)
entonces obtenemos:
||v||2H ||v||2a = a(v, v) M ||v||2H
o bien

||v||H ||v||a M ||v||H , v H

(Normas equivalentes)

de donde, si (H, , H ) es Hilbert, entonces (H, a(, )) tambien es Hilbert.

Por otro lado, es facil ver que si
F (H, , H ) F (H, a(, ))
Por lo tanto, el TRR (Teorema de representacion de Riesz) se reduce que para todo
F (H, a(, )) , existe un u nico u (H, a(, )) tal que:
F (v) = a(u, v),
y ademas
||F ||a = ||u||a

vH

||u||H

Tarea: ver que pasa con ||F ||a con ||F ||H
4. Recordemos que demostrar la existencia de u H tal que a(u, v) = F (v), v H
es equivalente a probar que el operador A : H H inducida por la forma bilineal
a(, ) es biyectivo (A(u), v = a(u, v), v H). Esto equivale a demostrar que A es
inyectivo y que R(A) = H. En particular, demostrar que R(A) = H es equivalente a la
existencia de > 0 tal que:
||A (v)||H ||v||H , v H
o equivalentemente
||A (v)||H = sup
wH
w=

A(w), v
a(w, v)
w, A (v)
= sup
= sup
||v||H
||w||H
||w||H
wH
wH ||w||H
w=

es decir
sup
wH
w=

Nestor Abel Sanchez Goycochea

w=

a(w, v)
||v||H , v H
||w||H
10

Cap. 2: Teoremas de Lax-Milgram

Por otro lado, A es inyectivo si y solo s
A(v) = , v H\{}
si y solo s
sup a(v, w) > 0, v =
wH

En efecto,
=

Dado v H\{} tal que A(v) = , basta tomar w = A(v) con lo cual
sup a(v, w) a(v, A(v)) = A(v), A(v)H = ||Av||2H > 0

wH

Para todo v = tal que

sup a(v, w) = sup A(v), w > 0
wH

wH

entonces A(v) =

2.2. Teorema de Lax Milgram generalizado

Sea H un Hilbert y sea a(, ) una forma bilineal acotada. Entonces, para todo F H , existe
un u nico u H tal que:
a(u, v) = F (v),
vH
si y solo s
(i) (Sobreyectividad) Existe > 0 tal que:
sup
wH
w=

a(w, v)
||v||H , v H
||w||H

(ii) (Inyectividad) Para todo v =

sup a(v, w) > 0, v =
wH

Note que si a(, ) es simetrico, entonces el operador A es autoadjunto, esto es A = A . luego

A es sobreyectivo H = R(A) = N (A ) = N (A)
N (A) = {} A es inyectivo.
Asi, una version particular del TLMG es el TLMG version simetrica.
11

Nestor Abel Sanchez Goycochea

2.3. Teorema de Lax-Milgram version simetrica

2.3.

Teorema de Lax-Milgram version simetrica

Sea H un Hilbert y a(, ) una funcion bilineal acotada y simetrica. Entonces, para todo F
H , existe un u nico u H tal que:
a(u, v) = F (v),

vH

si y solo s, existe > 0 tal que:

a(w, v)
||v||H , v H
||w||H

sup
wH
w=

Demostracion. Basta ver, de lo anterior, que (i) (ii). En efecto,

{ (
)}
w
sup a(v, w) = sup a(w, v) sup a
,v
||w||H
wH
wH
wH
w=

= sup
wH
w=

a(w, v)
||v||H > 0,
||w||H

si v =
z

2.1. La condicion
O BSERVACI ON
sup
wH
w=

a(w, v)
||v||H , v H
||w||H

es equivalente a la condicion

nf sup

vH
v=

wH
w=

a(w, v)

||w||H ||v||H

lo que explica el nombre de condicion nf sup para esta desigualdad. Esta condicion
tambien se conoce como condicion de Babuska-Brezzi y como condicion d Lady ShenkayaBabuska-Brezzi (LBB) o como condicion de Neccas
Fecha: 07 de abril del 2015

2.4.

Ejemplo unidimensional mas simple

u = f
u(0) = u(1) = 0

Nestor Abel Sanchez Goycochea

12

en =]0, 1[

Cap. 2: Teoremas de Lax-Milgram

La formulacion variacional se reduce a hallar u H01 () tal que:
1

uv =
0

o bien, hallar u

H01 ()

v H01 ()

f v,
0

tal que:
vH

a(u, v) = F (v),
donde

1
a(u, v) =

u v ,

F (v) =

fv
0

Es claro que a es acotado y F H . En efecto,

|a(u, v)| ||u ||0, ||v ||0, ||u||H ||v||H
Para la elipticidad vemos que:
1
a(v, v) =

(v )2 = ||v ||20, =

|v|21,
| {z }
seminorma

y por lo tanto necesitamos demostrar que existe > 0 tal que:

|v|21, ||v||21, ,

v H = H01 ()

La funcion ||1, : H 1 () R se llama seminorma, la cual no es una norma en H 1 () ya

que |v|1, = 0 ; v =
L EMA 2.1. (Desigualdad de Friederids-Poincare) Sea =]a, b[ R. Entonces, existe > 0
que dependen de a y b tal que:
|v|21, ||v||21, ,

v H01 ()

Demostracion. Dado que C0 es denso en H01 (), basta demostrar la desigualdad para
C0 (). En efecto, dado C0 .
x
(x) =

(t)dt

y luego

2 x
 x
x



|(x)|2 =  (t)dt 12 dt ( (t))2 dt


a

b
(x a)

( (t))2 dt

= (x a)|| ||20, = (x a) ||21,

13

Nestor Abel Sanchez Goycochea

2.4. Ejemplo unidimensional mas simple

es decir:
|(x)|2 (x a) ||21, ,

x ]a, b[

y luego, integrando obtenemos:

b
||||20, =

|(x)|2 dx (x a)dx ||2

1,

(b a)2
||21,
2

y luego
||||21, = ||21, + ||||20,
(b a)2
||21, +
||21,
2
(
)
(b a)2
= 1+
||21,
2
o bien
||21, ||||21, ,

con =

2
2 + (b a)2

Por u ltimo, dado v H01 (), existe {j }jN C0 tal que:

j

||v j ||1, 0
y como
|j |21, ||j ||21, ,

j N

tomando lmite se tiene que:

|v|21, ||v||21, ,

v H01 ()
z

2.2. Notemos que gracias a la desigualdad de F-P, la seminorma constituye

O BSERVACI ON
una norma en H01 () la cual es equivalente a la norma || ||1, .

||v||1, |v|1, ||v||1, , v H01 ()

As, en nuestro ejemplo unidimensional simple, obtenemos que:
a(v, v) = |v|21, ||v||21, ,

con = 2/3

lo que demuestra que a es Helptica. As, por el T.L.M., existe un u nico u H tal que:
a(u, v) = F (v),

vH

y ademas
||u||1,

Nestor Abel Sanchez Goycochea

14

1
||f ||0,

Captulo

Metodo de Galerkin
Sea H un Hilbert y a : H H R una forma bilineal acotada y F H . Supongamos que
existe un u nico u H tal que:
vH

a(u, v) = F (v),

Sea {Hn }nN una sucesion de subespacios de H de dimension finita n y consideremos el

problema:
Hallar un Hn tal que:
a(un , vn ) = F (vn ),
vn H n
P REGUNTAS .
(i) Existe un ?

(iii) Que relacion tiene u y un ?

(ii) Es u nico?

(iv) ||u un ||H 0?

3.1. Existencia y unicidad de un



Notemos que F  Hn y a(, ) : Hn Hn R es una forma bilineal acotada. Entonces,
Hn
tenemos la misma estructura que en el caso continuo en H, y por lo tanto podemos aplicar el
TLM o el TLM generalizado para asegurar existencia y unicidad.

3.1.1. TLM Discreto

Supongamos que existe n > 0 tal que a(vn , vn ) n ||vn ||2H , vn Hn . Entonces existe
una u nica un Hn tal que
a(un , vn ) = F (vn ),
15

vn H n

3.2. Calculo de la solucion de Galerkin

Ademas:
1
||un ||H
n

Hn

Hn

1
|F (vn )|
sup
n vn Hn ||vn ||H
vn =

||F ||H
n
z

Demostracion. Directo del TLM continuo.

3.1. Si a es Helptica, entonces a es Hn elptica
O BSERVACI ON

3.1.2. TLM generalizado (discreto)

Sean
 an : Hn Hn R una forma bilineal acotada. Entonces, para todo Fn Hn (Fn =

F  ), existe un u nico un Hn tal que:
Hn

vn H n

an (un , vn ) = F (vn ),
si y solo s, existe n > 0 tal que:
sup

an (wn , vn )
n ||vn ||Hn
||wn ||H

sup

an (vn , wn )
n ||vn ||Hn
||wn ||H

wn Hn
wn =

o bien, si y solo s
wn Hn
wn =

En cualquier caso se obtiene que

||un ||H

1
||Fn ||Hn
n

Demostracion. Es una aplicacion directa del TLMG, notando ahora que en dimension finita;
z
Inyectividad es equivalente a sobreyectividad.
Fecha: 10 de abril del 2015

3.2.

Calculo de la solucion de Galerkin

Sea Hn un subespacio de H de dimension finita n, y sea {e1 , , en } una base de Hn . Entonces, hallar un Hn tal que:
a(un , ei ) = F (ei ),

i = 1 ,n

A su vez como un Hn , existen 1 , , n R (incognitas) tales que:

un =

j=1

Nestor Abel Sanchez Goycochea

16

j ej

Cap. 3: Metodo de Galerkin

de donde nos queda el problema. Hallar 1 , , n R tales que:
n

i = 1, , n

j a(ej , ei ) = F (ei ),

j=1

lo que matricialmente se escribe como: Hallar

= ... Rn tal que:
n

A
= f

con A = (aij ), i, j {1, , n}, f = (f1 , , fn )t , aij = a(ej , ei ), i, j {1, , n} y

fj = F (ej ), j = 1, , n.

La matriz A se llama Matriz de Rigidez y el vector f se llama vector carga.

3.3. Vuelta al problema unidimensional mas simple

{

Con H = H01 (), a(u, v) =

u = f
u(0) = u(1) = 0
u v , F (v) =

en =]0, 1[

f v, f L2 ()

Consideremos 0 = x0 < x1 < < xn+1 = 1 una particion de ]0, 1[

Dibujo
y definamos el siguiente espacio:
{
}


Hn := vn C() : vn 
P1 ([xj1 , xj ]), j = 1 , n + 1, vn (0) = vn (1) = 0
[xj1 ,xj ]

Dibujo
Notar que vn Hn esta determinado de manera u nica, por los valores que ella toma en los
puntos x1 , x2 , , xn+1 . mas aun, no es difcil ver que {e1 , , cn } es una base de Hn , donde
ej con j = 1, , n es la u nica funcion de Hn tal que:
ej (xj ) = 1,

ej (xi ) = 0, i = j
Dibujo

En efecto, dado un Hn es facil ver que:

vn (x) =

vn (xj )ej (x), x

j=1

17

Nestor Abel Sanchez Goycochea

3.3. Vuelta al problema unidimensional mas simple

As
1

(ej (x)) (ei (x)) dx

a(ej , ei ) =
0

1
fj =

f (x)ej (x)dx
0

Dibujo
Notar que si |i j| 2, entonces sop(ei ) sop(ej ) tiene medida nula y por lo tanto aij = 0
Si i = j
1
aij = aii =

xi

(ei (x))2 dx

(ei (x))2 dx

xi+1

+
(ei (x))2 dx

xi1

xi

Dibujo

x xi1

ei (x) =
hi

 i
xi+1 x

ei (x)
=
hi+1
i+1
As,
xi (
aii =

1
hi

)2

xi+1(

dx +

xi1

)2

1
hi+1

dx =

1
1
+
hi hi+1

xi

Si j = i + 1
1
ai.i+1 =

xi+1

(ei (x))(ei+1 (x))dx =

(ei (x))(ei+1 (x))dx

0
xi+1(

xi

1
hi+1

)(

hi+1

dx =

xi

Dibujo
De la misma forma
ai+1,i =
Nestor Abel Sanchez Goycochea

18

1
hi+1

1
hi+1

Cap. 3: Metodo de Galerkin

A su vez,

fj =

xj

f (x)ej (x)dx =
0

(x xj1 )
dx +
f (x)
hj

x
j+1(

xj+1 x
hj+1

)2
dx

xj

xj1

En resumen, en este caso, la matriz rigidez es:

1
+ h12
h12
0
h1
1
1
h1
+ h3
h13
h2
2

1
1
0
+ h14
h3
h3

A = ..
..
..
.
.
.

0
0
0
0
0
0

..
.

0
0
0
..
.
1
hn1

0
0
0
..
.

h1n

1
hn

h1n
1
1
+ hn+1
hn

En el caso particular en el que la particion es uniforme, es decir hi = h =

nos queda:

2 1 0 0
0
1 2 1 0
0

0
1
2

0
0
1

A=
..
..
..
..
..
...
n+1 .
.
.
.
.

0
0
0 2 1
0
0
0 1 2

1
,
n+1

i {1, , n}

Fecha: 14 de abril del 2015

3.4. Estimacion de Galerkin

Supongamos que existen , n tal que
(i) sup
wH
w=

(ii) sup
wH
w=

a(v, w)
||v||H ,
||w||H

vH

a(vn , wn )
n ||vn ||Hn ,
||wn ||Hn

(iii) sup a(w, v) > 0,

vn Hn

v =

wH

Se sigue de (i) y (iii) que F H , !u H tal que

a(u, v) = F (v),

vH

y de (ii) tenemos que para todo f H , existe un u nico un Hn tal que:

a(un , vn ) = F (vn ),
19

vn H n
Nestor Abel Sanchez Goycochea

3.4. Estimacion de Galerkin

Para esto notemos primero que:
a(u un , vn ) = 0,
vn H n
(Propiedad de ortogonalidad del error)
en efecto,
a(u un , vn ) = a(u, vn ) a(un , vn ) = F (vn ) F (vn ) = 0
Aplicando (i) a v = u un obtenemos,
||u un ||H sup
wH
w=

a(u un , w)
||w||H

a(u un , w + vn vn )
||w||H
wH
w=
{
}
a(u un , vn ) a(u un , w vn )
+
= sup
||w||H
||w||H
wH
= sup

w=

= sup
wH
w=

||u un ||H

a(u un , w vn )
||w||H

||w vn ||H
M
||u un ||H sup
,

||w||H
wH

vn Hn

w=

con esto no se llega a nada.

Por otro lado, notemos que:
||u un ||H ||u vn ||H + ||vn un ||H ,

vn Hn

Luego, aplicando (ii), a (vn un ) Hn vemos que

||vn un ||H

a(vn un , wn )
1
sup
n wn Hn
||wn ||H
w=

1
a(vn u + u un , wn )
sup
n wn Hn
||wn ||H
w=
{
}
1
a(vn u, wn ) a(u un , wn )
=
sup
+
n wn Hn
||wn ||H
||wn ||H

w=

1
a(vn u, wn )
sup
n wn Hn
||wn ||H
w=

M
||vn u||H ,
n

Nestor Abel Sanchez Goycochea

20

vn Hn

Cap. 3: Metodo de Galerkin

As,
(
)
M
||vn un ||H ||u un ||H + ||vn un ||H 1 +
||u vn ||H , vn Hn

o bien,
(
||u un ||H

M
1+

)
nf ||u vn ||H ,

vn H n

vn Hn

o bien,
(
)
M
||u un ||H 1 +
dist(u, Hn )

Esta estimacion se conoce como la Estimacion de Cea

.
O BSERVACI ON
1. Notemos que para que la estimacion de Cea, sea realmente u til, se necesita que n no
tienda a cero cuando n . Para esto, asumimos que existe
e > 0, tal que n >

e, n N con la cual la estimacion de Cea queda

(
)
M
||u un ||H 1 +
dist(u, Hn )

e
2. (Utilidad de la estimacion de Cea) Si somos capaces de construir una familia de operadores de interpolacion n : H Hn , los cuales satisfacen
||v n (v)|| e(n)||v||H ,

vH

con e(n) 0. Entonces de la estimacion de Cea se tiene:

(
)
M
||u un ||H 1 +
||u vn ||H ,

vn H n

En particular, para vn = n (u) se tiene:

(
)
M
||u un ||H 1 +
||u n (u)||H

e
(
)
M
n
1+
e(n)||u||H 0

e
Por lo tanto, el error tiende a cero si la dimension del espacio tiende a infinito.
21

Nestor Abel Sanchez Goycochea

3.5. Caso particular de a simetrica y Helptica

3.5.

Caso particular de a simetrica y Helptica

Supongamos que existe > 0 tal que:

a(v, v) ||v||2H ,

vH

y que a(, ) es simetrica. Entonces a(, ) constituye un producto interior en H cuya norma
asociado denotaremos por || ||a = (a(, ))1/2 . La condicion de ortogonalidad del error establece que:
a(u un , vn ) = 0,
vn H n
lo que en este caso particular es equivalente a que
||u un ||a = mn ||u vn ||a
vn Hn

es decir, un es la mejor aproximacion de u por elementos de Hn con respecto al producto

interior a(, ) o equivalentemente
a(u un , u un ) = mn a(u vn , u vn )
vn Hn

esto es

a(u, u) 2 a(u, un ) +a(un , un ) = mn a(u, u) 2 a(u, vn ) +a(vn , vn )

| {z }
| {z }
vn Hn

F (un )

F (vn )

y cancelando a(u, u) se tiene

a(un , un ) 2F (un ) mn {a(vn , vn ) 2F (vn )}
vn Hn

En otras palabras, introduciendo el funcional cuadratico

J(v) := a(v, v) 2F (v),

vH

se tiene:
J(vn ) = mn J(vn )
vn Hn

es decir, un es el u nico elemento de Hn que minimiza el funcional J en Hn . Finalmente

||u un ||2H a(u un , u un )
a(u vn , u vn )
M ||u vn ||2H , vn Hn
de donde

M
||u vn ||, vn Hn

M
||u un ||H
dist(u, Hn )

||u un ||H

Fecha: 17 de abril del 2015

Nestor Abel Sanchez Goycochea

22

Cap. 3: Metodo de Galerkin

3.6. Vuelta al problema unidimensional mas simple (2da Parte)

{

u = f
u(0) = u(1) = 0

en =]0, 1[

Hallar u H = H01 () tal que:

1
a(u, v) =

y
Hn =

f v,

u v = F (v) =

f L2 ()



vn C() : vn 

[xj1 ,xj ]

P1 ([xj1 , xj ]), j = 1, , n + 1, vn (0) = vn (1) = 0

Hallar un Hn tal que

a(un , vn ) = F (vn ),

vn H n

Sabemos que ambos problemas tienen una u nica solucion.

Veamos que pasa con ||u un ||0,
Sea w H01 () la u nica solucion del problema debil:

Hallar w H01 () tal que:

1
v H01 ()
a(w, v) = (u un )v,
0

En particular para v = u un se tiene

||u un ||20. = a(w, u un ) = a(u un , w)
= a(u un , w vn )
M ||u un ||1, ||w vn ||1, , vn Hn
Por lo tanto:
||u un ||20, M ||u un ||1, nf ||w vn ||1,

(*)

vn Hn

Definamos

H 2 () := {v H 1 () : v L2 ()}

3.2. Si u
O BSERVACI ON

H01 ()

es la solucion de nuestro problema debil a(u, v) =

entonces u H 2 (). En efecto, dado que

a(u, v) = f v,

f v,

v H01 ()

23

Nestor Abel Sanchez Goycochea

3.7. Propiedad de aproximacion

En particular se tiene que para C0 ()
1
a(u, ) =

u =

Entonces:

1
f
0

u = f L2 ()

Supongamos ahora que existe c > 0 tal que z H 2 ()

nf ||z vn ||1, Ce(n)||z ||0, ,

(Propiedad de aproximacion de Hn )

vn Hn
n

con e(n) 0.
Puesto que w H 2 () (w H01 () y w = (u un ) L2 ()), de (*) y la propiedad de
aproximacion, tenemos que
||u un ||20, M ||u un ||1, Ce(n)||w ||0,
y como ||w ||0, = ||u un ||0, , entonces:
||u un ||0, M Ce(n)||u un |1,
Finalmente, notando que:

M
nf ||u vn ||1,
vn Hn

Ce(n)||u ||0,

||u un ||1,

se obtiene:

(P. de Cea)
(P. de aproximacion)

M 3/2 C 2
(e(n))2 ||u ||0,
1/2

O(e(n)), entonces ||u un ||0, O(e(n)2 ), donde O() es el orden de

||u un ||0,

As, si ||u un ||1,

convergencia.
3.3. El argumento que hemos utilizado que se llama Argumento de dualiO BSERVACI ON
dad o Truco de Aubin-Nitsche ya que el punto de partida es el problema auxiliar (problema
dual)
w = u un , en , w(0) = w(1) = 0

3.7.

Propiedad de aproximacion

Definamos el siguiente operador de interpolacion, conocido como Interpolante de Lagrange

In : C() Hn
v 7 In (v) =

j=1

Nestor Abel Sanchez Goycochea

24

v(xj )ej

Cap. 3: Metodo de Galerkin

donde ej , j = 1, , n son las funciones techo y 0 = x0 < x1 < < xn < xn+1 = 1 es
la particion del intervalo [0, 1]
Dibujo
Es claro que
nf ||u vn ||1, ||u In (u)||1,

vn Hn

T EOREMA 3.1. Sea e(n) :=

{hj } :=

max

j{1, ,n+1}

max
j{1, ,n+1}

{xj xj1 }. Entonces existe

c > 0, independiente de n tal que

||v In (v)||1, Ce(n)||v |0, ,

v H 2 ()

Demostracion. Aqu usamos que si u H 2 (), entonces u C() (u es continua), de modo

que In (v) esta bien definida para todo v H 2 ()
Dado v H 2 () y sea j {1, , n + 1} se define la siguiente funcion
wj (t) = (v In (v))(xj1 + t(xj xj1 ))
con t [0, 1].
Observemos que wj (0) = wj (1) = 0 y por lo tanto, por teorema de Rolle, existe ]0, 1[
tal que wj () = 0. As, por teorema fundamental del calculo se tiene que
wj (t) =

wj (s)ds,

t [0, 1]

y luego aplicando C.S

 t
2


 2 

wj (t) =  wj (s)ds





= |t | (wj (s))2 ds , t [0, 1]

|t | ||wj ||20, , t [0, 1]

As, integrando con respecto a t ]0, 1[
1

 2
wj (t) dt ||wj ||20,

1
|t | dt
0

|wj |21,

||wj ||20,
25

(*)
Nestor Abel Sanchez Goycochea

3.7. Propiedad de aproximacion

Notemos que
wj (t) = (v In (v)) (xj1 + t(xj xj1 ))hj
| {z }
hj

Wj (t) = v (xj1 + t(xj xj1 ))hj

As de ()
1

[(v In (v)) (xj1 + t(xj xj1 ))] h2j dt

[v (xj1 + t(xj xj1 ))] h4j dt

2

Haciendo el cambio de variable x = xj1 + t(xj xj1 ), vemos que t [0, 1], entonces
x [xj1 , xj ] y por lo tanto:
xj

xj

xj1

As

[v (x)] h3j dx
2

[(v In (v)) (x)] hj dx

xj1

xj

xj
2

[(v In (v)) (x)] dx

h2j

xj1

[v (x)] dx
2

xj1

y sumando sobre j {1, , n + 1} obtenemos:

|v In (v)|21, {

max hj }2 ||v ||20,

j{1, ,n+1}
|
{z
}
e(n)

y como v In (v) H01 () y usando Poincare se sigue que

||v In (v)||1,

3
3
|v In (v)|21, (e(n))2 ||v ||20,
2
2

con lo cual
||v In (v)||1,

3
e(n)||v ||0,
2
z
Fecha: 21 de abril del 2015

Nestor Abel Sanchez Goycochea

26

Captulo

Formulacion Mixta
4.1. Un Problema bidimensional
Sea R2 un conjunto abierto acotado de R2 , con frontera poligonal (Lipschitz continua).
Dado f L2 (), consideremos el problema de Poisson:
{
u = f, en
u = 0, en =
Dado un campo vectorial F [C 1 () C()]n , n N. El teorema de Gauss establece que:

divF = F

donde es el vector unitario exterior a .

En particular, tomando F = (0, 0, ,

i-esima comp

que:
divF =
con lo cual

0
, , 0)t con u, v C 1 () C(), vemos
|{z}

u(v) v(u)
(uv)
=
+
xi
xi
xi

)
uv vu
+
= uvi
xi
xi

v
u
u
= v
+ uvi
xi
xi

(FIPP: Formulacion de integracion por partes)

w
con w C 2 () C 1 (). De la FIPP, obtenemos
Supongamos ahora que u = x
i

2w
w
w v
= v 2 + v
i
xi xi
xi
xi

27

(FIPP)

4.2. Vuelta al problema bidimensional

y sumando sobre i = 1, , n

wv =
esto es:

vw +

wv =

con

vw

vw +

(PIG)

= w v C 1 () (PIG: Primera identidad de Green.)

A su vez, intercambiando w y v en (PIG) vemos que:

v
wv = wv + w

y restando ambas identidades se llega a:

)

(
v
w
(wv vw) =
w
v

(SIG)

w, v C 2 () C 1 (), (Segunda identidad de Green)

4.2.

Vuelta al problema bidimensional

Tomando C0 () y multiplicando esta funcion por la ecuacion u = f , y utilizando la

PIG obtenemos:

u
f = u = u

| {z }
0

entonces

u =

f ,

C0

4.1. Se define el espacio de Sobolev de orden n

D EFINICI ON
{
}
v
1
2
2
H () := v L () :
L (), i = 1, ,
xi
donde

v
xi

es en el sentido distribucional, esto es, existe wi L2 () tal que:

v
= wi , C0 ()
xi

Nestor Abel Sanchez Goycochea

28

Cap. 4: Formulacion Mixta

Sobre H 1 () se define el producto interior

u, v1, =

uv

uv +

cuya norma asociada esta dada por:

1/2

||v||1, := |v|2 + |v|2Rn = (||v||20, + |v|21, )1/2

El espacio H 1 (), con este producto interior es un Hilbert.

4.2.
D EFINICI ON
H01 () := C0

||||1,

esto es,
j

v H01 () {j }jN C0 tal que ||v j ||1, 0

equivalentemente
H01 () := {v H 1 () : v = 0 en }
(v = 0 en el sentido de trazas)
De este modo, el esquema debil del problema de Poisson es:

Hallar u H01 () tal que:

uv = f v, v H01 ()

(argumento de densidad)
o bien, definiendo
H=

H01 (),

uv ,

a(u, v) =
|

{z

F ormabilineal

Re-escribimos el problema como

F (v) =
|

{z

fv
}

F uncional

Hallar: u H
a(u, v) = F (v), v H

Aplicando Cauchy-Schwarz, se tiene








|a(u, v)| =  uv  ||u||0, ||v||0, ||u||1, ||v||1,



con lo cual a(, ) es acotado en H, con constante M = 1. Por otro lado,

a(v, v) = ||v||20, = |v|21, ||v||21,
29

Nestor Abel Sanchez Goycochea

4.3. Formulacion mixta del problema de Poisson

T EOREMA 4.1. (Desigualdad de Friederich-Poincare) Sea un abierto de Rn , acotado en
alguna direccion coordenada ( i {1, , n}, c > 0 : |xi | c, x = (x1 , , xn ) ).
Entonces, existe > 0 tal que:
|v|21, ||v||21, ,

v H01 ()

depende solo de la medida del dominio.

z

Demostracion. (Tarea- Brezis)

Entonces, aplicando la desigualdad de Poincare, obtenemos que a(, ) es eliptica en Ho1 ().
Finalmente es claro que F es acotado, en efecto,






|F (v)| =  f v  ||f ||0, ||v||0, ||f ||0, ||v||1, , v H01 ()



En particular,
||f ||H ||f ||0,
Por lo tanto, aplicando Lax-Milgram, obtenemos que existe un u nico u H01 () tal que:
a(u, v) = F (v),
Ademas
||u||1,

4.3.

v H01 ()
1
||f ||0,

Formulacion mixta del problema de Poisson

Consideremos Rn abierto, acotado con frontera poligonal y f L2 (). El problema de

Poisson esta dado por:
{
u = f, en
u = 0, en
Interesa una formulacion mixta que incluya a
= u, en
como incognita adicional.
Notando que
div =

n
1
+ +
= div(u) = u
x1
xn

Vemos que el problema de Poisson se re-escribe como un sistema de primer orden, de la

siguiente forma.

= u, en

div = f,
en

u = 0,
en
Nestor Abel Sanchez Goycochea

30

Cap. 4: Formulacion Mixta

Multiplicando la primera ecuacion por

= (1 , , n ) [C0 ()]n e integrando por
partes, vemos que

n
n

u
i

= u =

i =
u
+ ui i = u div
x
x
i
i
i=1
i=1

es decir,

u div
= 0,

[C0 ]n

Por otro lado, multiplicando la segunda ecuacion por v L2 () e integrando, obtenemos:

v div = f v, v L2 ()

Fecha: 23 de abril del 2015

4.3.
D EFINICI ON
H(div, ) := { [L2 ()]n : div L2 ()}
div L2 () w L2 () tal que:

= w,

C0 ()

w = div .
Sobre H(div, ) se define el producto interior

, div, := + div div

cuya norma asociada se define

|| ||2div, := || ||20, + ||div ||20,
con este producto interno (H(div, ), , ) es Hilbert.
Ademas se puede demostrar que:
||||div,

[Co ()]

= H(div, )

y por lo tanto, por densidad, nuestro problema nos queda

Hallar (, u) H(div, ) L2 () tal que:

+ u div = 0, H(div, )

v div = f v, v L2 ()

31

Nestor Abel Sanchez Goycochea

4.4. Teorema de Babubska-Brezzi (Version mas conocida)

A su vez, definiendo H = H(div, ), Q = L2 (),
a:H H
R
(, ) 7 a(, ) =

b:H Q
R
(, v) 7 b(, v) = v div

y los funcionales
G:Q
R
v 7 G(v) = f v

F :H
R
7 F ( ) = 0

El problema se re-escribe como

Hallar (, u) H Q tal que:

a( ) + b(, u) = F ( ), H

b(, v) = G(v), v Q
Para analizar este problema, necesitamos el siguiente resultado clasico.

4.4.

Teorema de Babubska-Brezzi (Version mas conocida)

Sea H y Q dos espacios de Hilbert con a : H H R y b : H Q R dos formas

bilineales acotadas tales que:
(i) > 0 tal que:

a(, ) || ||2H ,

tau K

donde K := { H : b(, v) = 0, v Q} H (K es el kernel de b)

(ii) > 0 tal que:
sup

H
=

b(, v)
||v||Q ,
|| ||H

vQ

Entonces, F H , G Q existe un u nico (, u) H Q tal que:

{
a(, ) + b(, u) = F ( ), H
b(, v) = G(v), v Q
Ademas, c > 0 tal que:
||||H + ||u||Q C (||F ||H + ||G||Q )
Para demostrar este teorema se requiere el siguiente resultado previo.
L EMA 4.1. (Clave) Sea B : H Q un operador lineal acotado. Las siguientes afirmaciones
son equivalentes:
Nestor Abel Sanchez Goycochea

32

Cap. 4: Formulacion Mixta

(i) > 0 tal que ||B (v)||H ||v||Q , v Q.
(ii) B es un isomorfismo (boyeccion lineal) de Q en [N (B)] .
(iii) B es un isomorfismo de [N (B)] en Q y ademas
||B( )||Q || ||H , [N (B)]
z

Demostracion. (TAREA)

Demostracion. (Teorema de Babub

ska-Brezzi) Sean A : H H y B : H Q los operadores
lineales y acotados definidos por:
A(), H = a(, ),
, H
B( ), vQ = b(, v), H, v Q
Entonces, el problema se re-escribe como:
{
A(), H + B (u), H = R(f ), H , H
B(), vQ
= R(G), vQ , v Q
o equivalentemente

A() + B (u) = R(F )

B()
= R(G)

De la condicion nf sup(ii), vemos que:

sup

H
=

es decir,

b(, v)
B( ), vQ
B (v), H
= sup
= sup
= ||B (v)||H
|| ||H
||
||
||
||
H
H
H
H
=

||B (v)||H ||v||Q ,

vQ

Luego, del lema clave se sigue que B es un isomorfismo de [N (B)] en Q y por lo tanto,
existe un u nico g [N (B)] tal que:
B(g ) = R(G)
y ademas
||g ||H ||B()g ||Q = ||R(G)||Q = ||G||Q
es decir:

1
||G||Q

Sea ahora : H K la proyeccion ortogonal de K, con

||g ||H

K := { H : b(, v) = 0, v Q} = { H : B( ) = Q } = N (B)
de (i) se tiene que dado K
|| ||2H a(, ) = A( ), H = (A( )), H ||( A)( )||H || ||H
33

Nestor Abel Sanchez Goycochea

4.4. Teorema de Babubska-Brezzi (Version mas conocida)

entonces:
|| ||H ||( A)( )||H ,
lo que implica que

 )

( A)
:KK
K

es biyectivo, y como existe un u nico 0 K tal que:

(A(0 )) = (R(F ) A(g ))
y de (*)
||0 || ||( A)(0 )|| = ||(R(F ) A(g ))||
1
||F || + ||A||||g || ||F || + ||A||||G||

entonces
||0 ||

1
1
||F || +
||A||||G||

Ademas,
A(0 ), = (A(0 )),
= (R(F ) A(g )),
= R(F ) A(g ), , K
A(0 + g ) R(F ), = 0, K
A(0 + g ) + R(F ) K = (N (B))
lo que implica que gracias a la condicion de nf sup, existe un u nico u Q tal que:
B (u) = A(0 + g ) R(F )
y ademas
||u|| ||B (u)|| = ||A(0 + g ) R(F )||
||A||(||0 || + ||g ||) + ||F ||
e
C(||F
|| + ||G||)
Entonces, haciendo = 0 + g se tiene:
B() = B(0 + g ) = B(0 ) +B(g ) = B(g )
| {z }
0

entonces:

Nestor Abel Sanchez Goycochea

A() + B (u) = R(F )

B()
= R(G)
34

(*)

Cap. 4: Formulacion Mixta

As, (.u) es solucion del problema y ademas existe C > 0, que depende de , , ||A|| tal que:
|||| + ||u|| C(||F || + ||G||)
Para la unicidad, demostraremos que si (, u) es solucion del sistema homogeneo
{
A() + B (u) =
B()
=
entonces = , v = .
En efecto, de la segunda ecuacion K y aplicando a la primera ecuacion se tiene
( A)() + (B (u)) = ( A)() = =
y como = , y de la primera ecuacion B (u) = u =

4.5. Vuelta al problema bidimensional (2da) parte

a(, ) =
b(, v) =

v div

observemos que a y b satisfacen las condiciones (i) y (ii). Notamos primero que
{
}

2
K := H(div, ) :
v div = 0, v L ()

K := { H(div, ) : div = 0, en }
Luego, dado K

= || ||20, = || ||2div,

a(, ) =

con lo cual a es elptica en K.

Para (ii) queremos demostrar que > 0 tal que

v div

||v||0, ,
Se = sup
H(div,) || ||div,

v L2 ()

Dado v L2 (), si encontramos e H(div, ) tal que div e = v y ||e

||div, C||v||0, , se
tiene:

v div e
1 ||v||20,
1

= ||v||0,
Se
||e
||div,
C ||v||0,
C
35

Nestor Abel Sanchez Goycochea

4.5. Vuelta al problema bidimensional (2da ) parte

Para esto, basta considerar e = z en , con z H01 ()
unica solucion del problema
{
z = v
z =
el cual satisface
||z||1, C||v||0,
entonces
div e = z = v
y
{
}1/2
||e
||div, = ||e
||20, + ||div e||20,
{
}1/2
= |z|21, + ||v||20,
{
}1/2
C 2 ||v||20, + ||v||20,
= C 2 ||v||0,

Nestor Abel Sanchez Goycochea

36