Ayudanta No2

MAT-245
Ecuaciones Diferenciales Parciales

Ayudante: Nicolas Varela Campos

1.

Espacios de Sobolev en N dimensiones y Regularizaci

on

1
1. Sea un abierto de RN . Demuestre el teorema de Friedrichs
, que proporciona una forma de aproximar


1,p

N
funciones en W () mediante funciones en Cc R . Para ello proceda como se se
nala:






a) Pruebe que, si L1 RN y v W 1,p RN , con 1 p , entonces v W 1,p RN cumpliendose
la igualdad2

para i = 1, . . . , N .
xi ( v) = xi v ,

b) Suponga que ( RN . Demuestre
que, si u W 1,p (), con 1 p < , entonces existe una sucesi
on
{un }nN de funciones en Cc RN tal que
 Lp ()
un  u
n

 (Lp ())N
un  u ,
n

para todo .

1,p
c) Suponga ahora que = RN . Demuestre que,

si u W (), con 1 p < , entonces existe una

N
sucesi
on {un }nN de funciones en Cc R
tal que
Lp (RN )

un u
n

(Lp (RN ))
un u .
n

2. Sean y 0 abiertos de RN . Demuestre las siguientes reglas de diferenciacion para funciones en el espacio
W 1,p ():
a) Si u, v W 1,p () L (), donde 1 p , entonces uv W 1,p () L (), cumpliendose la
regla de diferenciaci
on del producto 3





(uv)
=
u
v
+
u
v
, para i = 1, . . . , N .
xi
xi
xi
b) Si u W 1,p (0 ), con 1 p , y H : 0 es una biyeccion tal que

N N

i) H C 1 ().
iii) x
H L ()
.


N
N

ii) H 1 C 1 (0 ).
iv) y
H 1 L ()
.
Entonces u H W 1,p () cumpliendose la f
ormula del cambio de variables 4

PN

para i = 1, . . . , N .
j=1 yj u H(x) xi Hj (x) ,
xi u H(x) =
3. Sea un abierto de RN y sea f : R una funcion localmente integrable. Dado
un  > 0, se le llama


suavizamiento
o regularizaci
on 5 de f a la funcion f  =  f , definida en  = x  dist(x, ) >  ,
donde  es la funci
on regularizante est
andar. Pruebe que f  satisface las siguientes propiedades:
a) f  C ( ).
b) f  f en casi todo .
0

c) Si f C(), entonces f  f uniformemente en subconjuntos compactos de .

0

d) Si f

Lploc (),

Lp ()

con 1 p < , entonces f  loc

f .
0

1 Teorema

9.2. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Edici
on 2011, H. Brezis, p
ag. 265.
9.1. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Edici
on 2011, H. Brezis, p
ag. 266.
3 Teorema 9.4. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Edici
on 2011, H. Brezis, p
ag. 269.
4 Teorema 9.6. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Edici
on 2011, H. Brezis, p
ag. 270.
5 Mollification.

2 Lema