cnica Nacional

Escuela Polite
Ecuaciones Diferenciales Parciales I

Trabajo final

Milton Torres

Edwin Naula

29 de agosto de 2016

Ejercicio 1 (Espacio H (div, )). Sea RN abierto acotado de frontera localmente Lipschitz. Se
define el siguiente conjunto:
n
o
H (div, ) := u L2 ()N : div u L2 () .
Es claro que H (div, ) es un subespacio vectorial de L2 ()N .
a) Muestre que
(u, v)H(div,) = (u, v)L2 ()N + (div u, div v)L2 ()
define un producto escalar sobre el espacio H (div, ).
b) Muestre que H (div, ) es un espacio completo para la norma kkH(div,) inducida por el producto
escalar (u, v)H(div,) .
c) Pruebe que el espacio C

N

es denso en H (div, ).

N
P
d) Muestre que la aplicaci
on C
7 n
= N
i=1 i ni se prolonga por continuidad a una
12
aplicacion lineal y continua de H (div, ) en H (), la cual se la denotara por n , donde n
es
el vector normal unitario exterior a .
e) Muestre que n es una aplicaci
on sobreyectiva y kn k



1
L H(div,),H 2 ()

= 1.

Soluci
on. Resolvamos cada literal por separado.
a) La divergencia act
ua linealmente, por ende, para todo u, v, w H (div, ) y escalar,
(u + v, w)H(div,) = (u + v, w)L2 ()N + (div(u + v), div w)L2 ()
= (u, w)L2 ()N + (v, w)L2 ()N + (div u + div v, div w)L2 ()
h
i
h
i
= (u, w)L2 ()N + (div u, div w)L2 () + (v, w)L2 ()N + (div v, div w)L2 ()
= (u, w)H(div,) + (v, w)H(div,) .
De manera similar
(u, v + w)H(div,) = (u, v)H(div,) + (u, w)H(div,) ,
1

por lo que (u, v)H(div,) es bilineal.

Claramente (u, v)H(div,) = (v, u)H(div,) , por lo que se tiene simetra. Ahora,
(u, u)H(div,) = (u, u)L2 ()N + (div u, div u)L2 () = kuk2L2 ()N + kdiv uk2L2 () 0,
y a
un mas, si (u, u)H(div,) = 0, tenemos
0 kuk2L2 ()N kuk2L2 ()N + kdiv uk2L2 () = (u, v)H(div,) = 0,
por lo que kuk2L2 ()N = 0 y as u = 0. De este modo, (u, v)H(div,) es definida positiva.
En conclusi
on, (u, v)H(div,) define un producto escalar sobre H (div, ).

b) Sea (un ) una sucesi

on de Cauchy en H (div, ). Entonces
kun um k2L2 ()N kun um k2L2 ()N + kdiv un div um k2L2 ()N = kun um k2H(div,)
por lo que (un ) es de Cauchy en L2 ()N , y as existe u L2 ()N tal que un u en L2 ()N .
Por otro lado, tenemos que
kdiv un div um k2L2 () kun um k2L2 ()N + kdiv un div um k2L2 ()N = kun um k2H(div,)
por lo que (div un ) es de Cauchy en L2 () y as existe v L2 () tal que div un v en L2 ().
Tenemos entonces, por definici
on de divergencia e integrando por partes, que para toda funci
on
D (),
Z
Z
(div un ) dx =

un dx,

por ende, por el teorema de convergencia dominada obtenemos que, cuando n ,

Z
Z
v dx = u dx,

luego div u = v L2 (), esto implica que u H (div, ) y que div un div u en L2 ().
Finalmente
kun uk2H(div,) = kun uk2L2 ()N + kdiv un div uk2L2 () ,
por lo tanto, cuando n , kun ukH(div,) 0 y as un u en H (div, ). Se sigue de esto
que H (div, ) es completo.



c) Mostraremos que el complemento ortogonal de C en H (div, ) es {0}, pues H (div, ) es un
espacio de Hilbert.




Sea u C , entonces para toda funcion C se tiene que (u, )H(div,) = 0. Adem
as,

notemos que D () C
.
Por otro lado, sea (n ) una sucesi
on regularizante, entonces para n suficientemente grande tenemos


un = n u = (n u1 , . . . , n uN ) D () C ,
donde hemos escrito u = (u1 , . . . , uN ). De este modo, para todo n suficientemente grande, tenemos
que (u, un )H(div,) = 0. Por lo tanto, un u en L2 ()N . Tambien tenemos que
div un =

n
X
(un )
i=1

xi

n
X
i=1

ui
= n div u
xi

y como div u L2 (), se sigue que div un div u L2 (). De este modo, un u H (div, ), y
por tanto, como el producto escalar es continuo (por la desigualdad de Cauchy-Schwarz), tenemos
que
0 = (u, un )H(div,) (u, u)H(div,) ,


lo que implica que kuk2H(div,) = (u, u)H(div,) = 0, y por ende, u = 0. Como u C
es

arbitrario, se concluye que C = {0}.




d) Como C es denso en H (div, ), por el teorema de extension continua basta mostrar que la


1
es continua (como es lineal, entonces
funcion n : C H 2 () definida por n () = n
continuidad implica Lipschitz-continuidad). En efecto, si T es el operador traza, tenemos
kn ()k
donde a = kf k

H 2 ()

H 2 ()

= k n
k

= sup |h n
, f i| ,
a=1

Ahora, sea f H 2 () tal que kf k

H 2 ()

|h n
, f i|

H 2 ()

N Z
X
i=1

= 1, tenemos

|i | |ni | |f | dx

N Z
X
i=1

|i | |f | dx kf kL2 ()

N
X

ki kL2 () .

i=1

El operador traza es acotado, por tanto, existe una constante C > 0 que depende solamente de
tal que
ki kL2 () C ki kH 1 () .
De esto, se sigue
N
X

ki kL2 () C kkH(div,) ,

i=1

para una constante C adecuada. Finalmente, como kf kL2 () kf k

H 2 ()

= 1, se infiere que

|h n
, f i| C kkH(div,) ,
es decir,
kn ()k

H 2 ()

C kkH(div,) .

Por tanto, n es continuo.

e) Sea g en H 1/2 () tal que resuelve

Z
Z
Z
u v dx +
u v dx =

gv dx

v H 1 () ,

el cual tiene una soluci

on u
nica u H 1 (). Por tanto, se satisface que u + u = 0 en y
entonces = u est
a contenido en H (div, ) y verifica div ( ) = u , y la formulacion variacional

precisa que n
= g. As, la aplicaci
on n es sobreyectiva.

Ejercicio 2. Sea RN abierto acotado de frontera suficientemente regular. Considere el siguiente
problema de Robin:
(
u + u = f, en
u+

u
n

= 0,

sobre

con f L2 (). Est

a este problema bien planteado en el sentido de Hadamard?
Soluci
on. Dividiremos la demostraci
on en dos partes:
3

Existencia y unicidad