UNIVERSIDAD NACIONAL DEL CALLAO

Facultad de Ciencias Naturales y Matem

atica
Escuela Acad

emico Profesional de Matem

atica
Informe de Pr

actica Pre-Profesional
Modalidad : Docencia
Espacios de Sobolev
Paulo Nicanor Seminario Huertas
050133E
N

06 - 2010 - CD - EPM - FCNM

2011 - A
A). Datos Generales
A.1. Datos del Estudiante
1. Apellidos y Nombres : Seminario Huertas, Paulo Nicanor
2. Codigo : 050133E
3. Universidad : UNAC
4. Facultad : FCNM
5. Escuela Profesional : Escuela Academico Profesional de Matem atica
6. Nombre de la Asignatura : Espacios de Sobolev
7. Ciclo de la Asignatura : VII
8. Semestre Academico : 2011 - A
A.2. Datos del Profesor
1. Apellidos y Nombres : Dr. Cabanillas Lapa, Eugenio
2. Codigo : 0752
3. Categora y Dedicacion : Principal - Tiempo Parcial
4. Condici on : Nombrado
5. Especialidad : Matem atica
6. Facultad : FCNM
ii
B). Ttulo de la Monografa o Artculo
Espacios de Sobolev
C). Cronograma de Actividades Realizadas
La pr actica pre-profesional correspondiente a la modalidad docencia se desa-
rroll o de la siguiente manera
C.1. Practicas Dirigidas:
Se entregaron 7 pr acticas dirigidas de acuerdo al syllabus del curso. Se desarro-
llaron problemas de las pr acticas dentro de las horas establecidas en coordinaci on
con el profesor responsable con una duracion semanal de 2 horas academicas.
C.2. Asesora:
C.2.1. Asesora del Practicante hacia los Alumnos:
La asesora hacia los alumnos consista en ayudar a resolver problemas de las
pr acticas dirigidas u otros problemas concernientes al curso. Esto se realizaba
seg un cronograma.
C.2.2. Asesora del Profesor Responsable hacia el Practi-
cante:
Consistio en la preparacion del informe nal del tema Espacios de Sobolev. La
asesora se realiz o dos veces por semana dedicadas a la b usqueda de bibliografa,
desarrollo, escribir e impresion de trabajo.
iii
C3. Programacion Semanal del Practicante:
- Asesora del practicante hacia los alumnos : Jueves 16 - 18 Horas.
- Asesora del profesor responsable hacia el practicante : Martes 14 - 16 Horas.
- Horario de coordinaci on asesor-practicante: Jueves 12 - 14 Horas.
Hora Lunes Martes Miercoles Jueves Viernes
12 - 14 X
14 - 16 X
16 - 18 X
iv

Indice general
A). Datos Generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii
A.1. Datos del Estudiante . . . . . . . . . . . . . . . . . . . . . ii
A.2. Datos del Profesor . . . . . . . . . . . . . . . . . . . . . . ii
B). Ttulo de la Monografa o Artculo . . . . . . . . . . . . . . . . . iii
C). Cronograma de Actividades Realizadas . . . . . . . . . . . . . . . iii
C.1. Practicas Dirigidas: . . . . . . . . . . . . . . . . . . . . . . iii
C.2. Asesora: . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
C.2.1. Asesora del Practicante hacia los Alumnos: . . . . . . . . iii
C.2.2. Asesora del Profesor Responsable hacia el Practicante: . . iii
C3. Programacion Semanal del Practicante: . . . . . . . . . . . iv
1. Descripcion del Tema de la Asignatura . . . . . . . . . . . . . . . 1
2. Resumen de la Monografa . . . . . . . . . . . . . . . . . . . . . . 2
3. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
4. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
5. Marco Te orico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
5.1. Teora de la Medida . . . . . . . . . . . . . . . . . . . . . 5
5.2. Espacios L
p
() . . . . . . . . . . . . . . . . . . . . . . . . 15
5.3. Soporte de una Funci on . . . . . . . . . . . . . . . . . . . 26
5.4. Espacio de Funciones de Prueba . . . . . . . . . . . . . . . 29
5.5. Distribuciones en . . . . . . . . . . . . . . . . . . . . . . 35
6. Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
v
6.1. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . 41
6.2. El Espacio Dual de H
m
0
() . . . . . . . . . . . . . . . . . . 53
7. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
8. Recomendaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
vi
1. Descripci on del Tema de la Asignatura
El tema referente a los espacios de Sobolev es una parte importante en el estudio
de las Ecuaciones Diferenciales Parciales.
Introduciremos el concepto basico de teora de la medida, as como los espacios
L
p
(), tambien veremos las funciones de prueba y el espacio de las distribuciones,
para terminar con el estudio y analisis de los Espacios de Sobolev.
Con estas herramientas comenzaremos a introducir el concepto de soluci on debil
de una EDP, y veremos una introduccion a la teora variacional para garantizar
la existencia de estas soluciones debiles.
1
2. Resumen de la Monografa
El tema que se trata en la monografa se reere a un compendio de las notas
tocadas en el curso de espacios de Sobolev.
Comenzaremos dando algunas ideas sobre teora de la medida, concluyendo con
algunos teoremas importantes.
Construiremos los espacios L
p
() y veremos sus propiedades m as signicativas y
las inmersiones pertinentes. Tambien deniremos la idea de soporte y los espacios
L
1
loc
().
Con la idea de soporte bien construida, deniremos el espacio de funciones de
prueba y as construiremos el espacio de las distribuciones.
Finalmente tocaremos los item asociados a los espacios de Sobolev.
2
3. Introducci on
Los espacios de Sobolev son una herramienta util para probar la existencia de
soluciones debiles de una EDP.
Por ejemplo, sea la siguiente EDP:
_
_
_
u = f ; x
u = 0 ; x
(1)
con R
N
; N 3 bien regular (Abierto).
La soluci on clasica de (1) estara dada por u C
2
(), lo cual requiere condiciones
fuertes sobre u.
C omo estudiar (1) cuando solo se tiene que trabajar con la primera derivada de
u?
Entonces, que pasa si multiplicamos por v H
1
0
() en (1)

_
_
_
uv = fv ; x
u = 0 ; x
Ahora integramos sobre

_

uv =
_

fv
pero por el teorema de Green y como v H
1
0
(), se anula en = , se tendra
que:
_

uv =
_

fv; v H
1
0
() (2)
esto nos motiva a denir la idea de soluci on debil de (1) y se dene como:
u H
1
0
() es soluci on debil de (1) si u cumple con (2), es decir:
_

uv =
_

fv
Esta denicion se consigue gracias al espacio de Sobolev H
1
0
() y sus propiedades,
adem as, u existe por el teorema de representacion de Riesz.
Notar que en (2) solo se necesita datos de la primera derivada de u a comparaci on
de (1).
3
4. Objetivos
- Objetivos Generales
1) Denir formalmente los espacios de Sobolev, mediante los
espacios L
p
().
2) Estudiar las propiedades de los espacios de Sobolev.
3) Introducir a los alumnos al estudio del An alisis Funcional
y E.D.P. utilizando los espacios de Sobolev.
- Objetivos Especcos
1) Deducir y aplicar las propiedades de los espacios de Sobolev
en las E.D.P.
2) Introducir a los alumnos a los conceptos del C alculo Va-
riacional.
4
5. Marco Te orico
5.1. Teora de la Medida
5.1.1 Definicion. La medida del intervalo I R, de extremos a y b, b a
esta dada por el n umero:
med (I) = b a
a b
med(I)
De la denicion si I

= [a, b[, I

=]a, b[, I

= [a, b], etc.

med (I

) = med (I

) = med (I

) = b a.
Si I no es acotado, denotaremos
med (I) = +.
5.1.2 Definicion. Un intervalo acotado I en R
n
, es un conjunto de la forma:
I = I
1
I
2
. . . I
n1
I
n
=
n

i=1
I
i
donde I
i
son intervalos acotados de R, su medida esta denida por el n umero:
med (I) = med (I
1
) med (I
2
) . . . med (I
n
)
=
n

i=1
med (I
i
) .
5.1.3 Ejemplo.
Sea I
1
=] 1, 1[, I
2
=]0, 2[,
I = I
1
I
2
= ] 1, 1[]0, 2[
= (x, y) R
2
/ 1 < x < 1, 0 < y < 2.
5
I
-1 1
2
x
y
med (I) = med (I
1
) med (I
2
)
= [1 (1)] [2 0]
= 4
5.1.4 Definicion. Sean E R
n
. Diremos que E tiene medida nula (medida
cero) si > 0, esiste un conjunto enumerable de intervalos abiertos I
k

k1
tal
que:
i) E

_
k=1
I
k
(cubrimiento)
ii)

k=1
med (I
k
) < .
en este caso denotaremos:
med (E) = 0.
5.1.5 Ejemplo.
E = x
1
, x
2
, . . . , x
n
, . . . (x
n
)
n1
.
Sea > 0
6
x
n
x
n+1
x
n-1
x
n
- e
2
n+2
x
n
+ e
2
n+2
Denamos:
I
n
=
_
x
n

2
n+2
, x
n
+

2
n+2
_
.
Resulta que:
i) E

_
n=1
I
n
.
Tambien:
med (I
n
) =
_
x
n
+

2
n+2
_

_
x
n

2
n+2
_
=

2
n+1
ii)

n=1
med (I
n
) =

2

n=1
1
2
n
< .
de i) y ii): med (E) = 0.
5.1.6 Ejercicio.
1. Probar que tienen medida nula:
a) Q
b) Z
c) E = x; x R.
2. Determine la medida de E = R Q.
5.1.7 Definicion. Sea R
n
. Decimos que una propiedad P se cumple casi
siempre en , escribiendo:
7
P se cumple c.s. en si P se verica en casi todo punto de , excepto en un
subconjunto E tal que:
med (E) = 0.
5.1.8 Ejemplo. 1) f(x) = , c.s. en ] 1, 1[ signica que, E ] 1, 1[ con
med (() E) = 0 tal que f(x) = , x ] 1, 1[E.
-1 1
x
x
1
x
4
x
3
x
2
y
E = x
1
, x
2
, x
3
, x
4

med (E) = 0.
y = f(x) = ; x ] 1, 1[E.
2) f : R es continua casi siempre, signica que: E tal que med (E) = 0
y f : R es continua en E.
5.1.9 Notaci on.
P se verica casi siempre en P se verica en c.t.p. de P se verica c.s.
en .
Integral de Lebesgue
En general, cuando las integrales son de Riemann no se verican determinadas
propiedades que fundamenten rigurosamente diversos c alculos, por ejemplo, en
8
general no se verica:
lm
y
_

f
y
(x) d x =
_

lm
y
f
y
(x) d x.
Se hace necesario ampliar nuestro concepto de integral. Para introducir la integral
de Lebesgue, usaremos el metodo de Riesz.
Particion de un Intervalo
Consideremos el intervalo I =]a, b[ y puntos a = x
0
< x
1
< . . . < x
n1
< x
n
= b,
el conjunto:
P = x
0
, x
1
, . . . , x
n1
, x
n
.
Se denomina PARTICI

ON de I ( o descomposicion de I).
a=x x =b
] [
0 n
. . .
x
1
x
2
x
n-1
Observe que si I
k
=]x
k1
, x
k
[, entonces:
i)
n
_
k=1
I
k
= I
ii) I
n1
I
k
= ; k = 1, 2, . . . , n.
5.1.10 Observaci on.
La denicion dada contin ua v alida si I es del tipo ]a, b], [a, b[, [a, b].
Un intervalo abierto I R
n
, es un conjunto del tipo:
I = I
1
I
2
. . . I
n
donde I
k
=]a
k
, b
k
[, k = 1, 2, . . . , n.
En general, un intervalo I R
n
, es un conjunto de la forma:
I = I
1
I
2
. . . I
n
9
donde I
k
son intervalos de R.
Adem as I = I
1
. . . I
n
es compacto (en R
n
) si I
k
es compacto, k = 1, 2, . . . , n.
Sea I = I
1
. . . I
n
un intervalo compacto y P
k
una partici on de I
k
. El conjunto:
P = P
1
P
2
. . . P
n
se denomina partici on de I.
5.1.11 Ejemplo.
a
1
b
1
a
2
b
2
I
1
I
2
x
y
P
1
= x
0
, x
1
, x
2
, x
3
, x
4
, P
2
= y
0
, y
1
, y
2
, y
3

P = P
1
P
2
= (x
0
, y
0
), . . . , (x
4
, y
3
)
Observemos que si P
k
descompone a I
k
en m
k
subintervalos reales, entonces P se
descompone en m = m
1
m
2
. . . m
n
subintervalos en R
n
.
5.1.12 Definicion. Sea I un intervalo compacto de R
N
. Decimos que s : I R
es una funci on escalonada en I; si existe una partici on
D = J
1
J
2
. . . J
n
tal que:
s(x) = C
k
; x I
k
10
C
k
= constante real.
C
k
J
k
I
En este caso decimos que s S(I). La integral (de Lesbesgue) de s en I, se dene
por:
_
I
s(x) d x =
n

k=1
C
k
med (J
k
) .
5.1.13 Ejercicio. Pruebe que:
_
I
[s(x)[ d x =
n

k=1
|C
k
|med (J
k
)
donde;
|C| =
_
n

i=1
C
2
i
_
1/2
, C = (C
1
, C
2
, . . . , C
n
).
5.1.14 Definicion. Sea G un intervalo en R
n
(no necesariamente compacto),
se dice que la funci on s : G R es escalonada (en G), si existe un intervalo
compacto I tal que I G y s es escalonada en I con s(x) = 0 x G I.
En este caso se dene:
_
G
s(x) d x =
_
I
s(x) d x (3)
En lo que sigue I es un intervalo arbitrario de R
n
.
11
5.1.15 Definicion. Decimos que f : I R es una funci on superior, denotado
f U(I), si existe una sucesion creciente de funciones escalonadas (s
r
)
r1
en I,
tal que:
i) s
r
f c.s. en I
ii) lm
r
_
I
s
r
(x) d x.
Decimos, en este caso, que la sucesion (s
r
)
r1
genera a f. La integral de f en I
se dene por:
_
I
f d x = lm
r
_
I
s
r
d x (4)
5.1.16 Ejercicio.
1. Demuestre que la integral sobre G en (3), no depende de I.
2. Demuestre que si C 0 y f U(I) entonces cf U(I), adem as
_
I
cf = c
_
I
f.
3. Verique la buena denicion de (4).
Designemos con:
/(I) = f = u v / u, v U(I).
Los elementos de /(I) se denominan funciones Lebesgue - Integrables.
Para f /(I) deniremos la integral (de Lesbesgue) de f mediante
_
I
f =
_
I
u
_
I
v,
donde f = u v; para u, v U(I).
5.1.17 Definicion. Se dice que f : I R es medible, y en este caso escribiremos
f M(I) si existe una sucesion de funciones escalonadas (s
r
)
r1
tal que:
s
r
f c.s. en I.
12
5.1.18 Observaci on.
U(I) /(I) M(I).
5.1.19 Definicion. Sea R
n
. Decimos que es medible (seg un Lebesgue) si
la funci on

(x) =
_
_
_
1 ; x
0 ; x R
n

es medible.
Si adem as

/(R
n
), se dene la medida de mediante:
med () =
_

(x) d x.
Si

es medible pero

/ /(R
n
) deniremos:
med () = +.
La funci on medida as denida se llama medida de Lebesgue.
5.1.20 Definicion. Sea R
n
, medible y f : R. Deniremos:

f(x) =
_
_
_
f(x) ; x
0 ; x R
n

Si

f /(R
n
) decimos que f es Lebesgue - integrable en , denotado f /().
En este caso la integral de f en esta denida por:
_

f =
_
R
n

f.
Resultados Basicos sobre la Integral de Lesbesgue
5.1.21 Teorema. Sean f, g : R
n
R.
a) Si f es medible [f[ es medible.
b) Se f, g son medibles f, f + g, fg son medibles.
13
c) Si f es medible y [f(x)[ g(x) c.s. en para una g no negativa con g /()
f /().
d) Si f es medible y [f[ /() f /()
5.1.22 Teorema. Sea f : R y (f
r
)
r1
sucesi on de funciones medibles en
tal que f
r
f c.s. en f es medible.
5.1.23 Teorema (Convergencia Monotona de Beppo - Levi).
Sea (f
r
)
r1
/() tal que:
i) (f
r
)
r1
es creciente c.s. en
ii) sup
rN
_

f
r
existe.
Entonces:
f /() tal que: f
r
f c.s. en y
_

f = lm
r
_

f
r
.
5.1.24 Teorema (Convergencia Dominada de Lebesgue).
Sea (f
r
)
r1
/(). Supongamos que:
i) f
r
f c.s. en
ii) g /(); g 0 c.s. en con [f
r
(x)[ g(x) c.s. en
(En este caso se dice que g es un mayorante integrable de (f
r
)
r1
).
Entonces:
f /(),
__

f
r
_
r1
converge y
_

f = lm
r
_

f
r
.
14
5.1.25 Teorema. Sea (f
r
)
r1
/(), tal que f
r
f c.s. en . Supongamos
que existe g 0 c.s. en , g /() tal que:
[f(x)[ g(x) c.s. en .
Entonces f /().
5.1.26 Observaci on. Teorema 5.1.24 Teorema 5.1.25.
5.2. Espacios L
p
()
Sea A ,= y R una relaci on de equivalencia en A. Para x, y A denotaremos:
xRy, o (x, y) R
para indicar que x esta relacionado con y mediante R. Para a A, la clase de
equivalencia de A es el conjunto:
[a] = x A / xRa.
En este caso a es llamado representante de clase.
5.2.1 Ejercicio. Demuestre que:
b [a] [a] = [b] aRb.
El conjunto de clases de equivalencia de elementos de A, se denomina conjunto
cociente de A por R y lo denotaremos
A
R
.
As:
A
R
= [a] / a A P(A).
(P(A) conjunto potencia de A).
5.2.2 Teorema (Fundamental de las Relaciones de Equivalencia). Sea
A ,= , toda relacion de equivalencia R en A, induce una particion P de A (en
clases de equivalencia) y recprocamente.
15
En este caso: P =
A
R
A
1
A
4
A
3
A
2
A
A
P = A
1
, A
2
, A
3
, A
4

A
i
A
j
= ; i ,= j
_
A
i
= A
5.2.3 Ejemplo.
A = a, b, c
R = (a, a), (b, b), (c, c), (a, b), (b, a)
R es relaci on de equivalencia
[a] = a, b, [b] = a, b [a] = [b] y [c] = c
A
R
= a, b, c.
16
a
b
c
[a]=[b]
[c]
A
Retornemos a los espacios L
p
().
Sea R
n
/
1
() =
_
U : R / U es medible y
_

[U(x)[ d x < +
_
Con las operaciones usuales de funciones,/
1
() es un espacio vectorial.
Deniremos la aplicaci on:
| |
1
: /
1
() R
u |u|
1
=
_

[u(x)[ d x
Resulta que | |
1
es una seminorma, pues:
Si |u|
1
= 0
_

[u(x)[ d x = 0 u = 0 c.s. en .
u = 0 c.s. en = R.
17
Para salvar esta situacion introduciremos una relaci on en /
1
():
Luego, construimos:
L
1
() =
/
1
()
R
.
Con las operaciones usuales de clases de equivalencia L
1
() es un espacio vecto-
rial.
Deniremos:
[ [
1
: L
1
() R
[u] [[u][
1
=
_

[u(x)[ d x
se tiene que:
i) [ [
1
esta bien denido,
ii) [ [
1
es una norma en L
1
().
Pues:
[[u][
1
= 0
_

[u(x)[ d x = 0
u = 0 c.s. en
uR0
[u] = [0]
5.2.4 Notaci on. [u] L
1
(), [u] u.
5.2.5 Ejemplo. En
Z Z
R
,
1
2

_
1
2
_
=
_
1
2
,
2
4
,
3
6
,
4
8
, . . .
_
.
Generalizando para 1 p < +
/
p
() =
_
u : R / u es medible y
_

[u(x)[
p
d x < +
_
es un espacio vectorial con las operaciones usuales y
|u|
p
=
__

[u(x)[
p
d x
_
1/p
18
| |
p
es una seminorma en /
p
().
Deniremos una relaci on de equivalencia R en /
p
():
uRv u = v c.s. en .
Construiremos:
L
p
() =
/
p
()
R
Resulta un espacio vectorial con las operaciones usuales de clases.
Deniremos
[ [
p
: L
p
() R
[u] [[u][
p
=
__

[u(x)[
p
d x
_
1/p
resulta ser una norma en L
p
()
5.2.6 Proposici on. Si u, v L
p
(), 1 p < +, entonces u + v L
p
() y
[u + v[
p
[u[
p
+[v[
p
.
Demostracion. Como u, v son medibles, entonces u + v es medible.
Adem as:
[u(x) + v(x)[
p
([u(x)[ +[v(x)[)
p
2
p1
([ u(x)
..
L()
[
p
+[ v(x)
..
L()
[
p
)
Por el resultado anterior de integrabilidad
[u + v[
p
/() u + v L
p
()
5.2.7 Lema. Sean a, b 0, 1 p < +. Entonces:
(a + b)
p
2
p1
(a
p
+ b
p
)
19
Demostracion. (Sketch)
Si a = 0, la igualdad es trivial.
Si a > 0, dividiendo por a
p
:
_
1 +
b
a
_
p
2
p1
_
1 +
_
b
a
_
p
_
Para obtener el resultado anterior sera suciente probar que:
(1 + x)
p
1 + x
p
2
p1
, x > 0.
Estudia la funci on:
f(x) =
(1 + x)
p
1 + x
p
f

(x) =
p(1 x
p1
) + (1 +x)
p1
(1 +x
p
)
2
As (1, f(1)) es un m aximo
(1 +x)
p
1 +x
p
f(1) =
2
p
2
= 2
p1

5.2.8 Lema. Sean a, b 0, 1 < p < +, entonces:

ab
a
p
p
+
b
q
q
,
donde
1
p
+
1
q
= 1.
Demostracion.
a x
b
(
a
,
f
(
a
)
)
(b,f(b))
(x,f((1-t)a+tb))
20
Para funciones y = f(x) c oncavas se cumple:
f((1 t)a + tb) (1 t)f(a) + tf(b)
Analizando f(x) = ln x,
f

(x) =
1
x
, f

(x) =
1
x
2
< 0
f(x) = ln x, es c oncavo; x > 0
L : y f(b) =
f(b) f(a)
b a
(x b)
y = f(b) +
f(b) f(a)
b a
(x b)
= f(b) +
f(b) f(a)
b a
([(1 t)a + tb] b)
= f(b) +
f(b) f(a)
b a
(1 t)(a b)
= f(b) + (f(b) + f(a))(1 t)
= f(b)t + f(a)(1 t); t [0, 1]
Luego tomamos:
1 t =
1
p
< 1, t =
1
q
y en este caso de a, a
p
y de b, b
p
ln
_
1
p
a
p
+
1
q
b
q
_

1
p
ln a
p
+
1
q
ln b
q
= ln(ab)
ln
_
1
p
a
p
+
1
q
b
q
_
ln(ab).
Como exp es creciente
1
p
a
p
+
1
q
b
q
ab
con
1
p
+
1
q
= 1.
21
5.2.9 Ejercicio. Sean f L
p
(), g L
q
(), 1 p, q < +,
1
p
+
1
q
= 1.
Entonces f, g L
1
() y
_

[f(x) + g(x)[ d x [f[

p
[g[
q
1
p
+
1
p

= 1
1
p

= 1
1
p
=
p 1
p
p = (p 1)p

Retornando, probaremos que:

[u + v[
p
[u[
p
+[v[
p
En efecto:
[u + v[
p
p
=
_

[u(x) + v(x)[
p
d x
=
_

[u + v[
p1
[u + v[
1
d x

[u + v[
p1
[u[ d x +
_

[u + v[
p1
[v[ d x

__

[u + v[
(p1)p

d x
_
1/p
__

[u[
p
d x
_
1/p
+
__

[u + v[
(p1)p

d x
_
1/p
__

[v[
p
d x
_
1/p
[u + v[
p1
p
[u[
p
+[u + v[
p1
p
[v[
p
[u + v[
p
p
[u + v[
p1
p
([u[
p
+[v[
p
).
Si [u +v[ = 0 La desigualdad (de Minkowski) es trivial.
Si [u +v[ > 0, dividiendo
[u + v[
p
[u[
p
+[v[
p
5.2.10 Definicion. Sean W y V dos espacios de Banach con W V , como
subespacio vectorial, (probablemente W y V con distintas normas: [ [
W
y [ [
V
respectivamente).
22
Decimos que W esta inmerso continuamente en V (o que W tiene inmersion
contnua en V ), denotado:
W V
si la aplicaci on (de inclusion)
i : W V
w i(w) = w
es contnua.
5.2.11 Observaci on. Si la aplicaci on es lineal e inyectiva, por resultados de
Analisis Funcional, la continuidad de i equivale a la acotacion de i, esto es;
C 0 : [i(w)[
V
c[w[
W
C 0 : [w[
V
c[w[
W
As:
W V C 0 : [w[
V
c[w[
W
, w W.
5.2.12 Propiedad. Sea + > q r 1 y R
n
, acotado. Entonces
L
q
() L
r
().
Demostracion. Es claro de que: L
q
() L
r
()
(vericar)
Probaremos que C

> 0:
[u[
r
C

[u[
q
En efecto:
Sea r > 1
[u[
r
r
=
_

[u(x)[
r
d x
q r > 1
q
r
1
r
q
1
23
_
q r
q
_
=
_
1
r
q
_
0
Sea r ,= q
q r
q
> 0

[u(x)[
r

__

1
q/(qr)
_
(qr)/q
__

[u(x)[
rq/r
_
r/q
= (med ())
(qr)/q
[u[
r
q
[u[
r
r
C

[u[
r
q
[u[
r
C

[u[
q
, C

= C

> 0.
Para el caso r = 1 es ejercicio.
5.2.13 Propiedades.
1) 1 p < +: L
p
() es un espacio de Banach.
2) 1 p < +: (L
p
())

L
p

():
1
p
+
1
p

= 1, donde:
(L
p
())

= f : L
p
() R / f es lineal y continua
3) L

() = u : R / es medible y M/[u(x)[ M c.s. en donde M es

el mayorante escencial y:
[u[
L

()
= nfM > 0 : [u(x)[ M c.s. en
sup ess [u[
(supremo escencial)
5.2.14 Ejemplo.
u(x) =
_

_
1 x ; x ]0, 1[
4 ; x = 0
1 + x ; x ] 1, 0[
24
4
1
1 -1
sup ess
x]1,1[
u 1
sup
x]1,1[
u 4
Con este espacio:
[u[
L

()
= lm
p
[u[
p
; u L

()
4) Si es acotado, 1 p q < + L
q
() L
p
().
5) Desigualdad de Interpolacion:
Si u L
p
() L
q
(), 1 p q < + entonces u L
r
(), r, p r q y
se verica:
[u[
L
r
()
[u[

L
r
()
[u[
1
L
q
()
Donde [0, 1] y
1
r
=

p
+
1
q
.
6) Desigualdad de Young:
Sean u L
p
(R
n
), v L
q
(R
n
) con 1 p + y r R tal que:
1
r
=
1
p
+
1
q
1 0.
Entonces: u + v L
r
(R
n
)
[u + v[
L
r
(R
n
)
[u[
L
p
(R
n
)
[v[
L
q
(R
n
)
25
7) L
p
() es reexivo, 1 < p < + (esto es: toda sucesion acotada en L
p
(),
posee una subsucesion debilmente convergente).
8) L
p
() es separable, 1 p < + (es decir W L
p
() / W es numerable y
W
| |
p
= L
p
()).
V espacio de banach, (x
r
)
r1
V , x V
x
r
x f, x
r
f, x, f V

.
5.3. Soporte de una Funci on
5.3.1 Definicion. Sea U : R. El soporte de U, denotado Sop(U), es el
conjunto:
Sop(U) = x / U(x) ,= 0

5.3.2 Ejemplo. u : R R /
u(x) =
_
_
_
3 ; x ]1, 2[
0 ; x R]1, 2[
3
2
1
Sop(u) = x R / u(x) ,= 0
R
= ]1, 2[
R
= [1, 2]
26
5.3.3 Observaci on.
Sop
_
u[
]1,2[
_
=]1, 2[.
5.3.4 Observaci on.
x / u(x) ,= 0 x / u(x) ,= 0

= Sop(u).
Luego:
Si z / Sop(u)
z / x / u(x) ,= 0
u(z) = 0.
5.3.5 Propiedades.
1) Sop(u) es el menor conjunto cerrado fuera del cual u se anula, es decir:
i) Sop(u) es cerrado, u = 0 c.s. en Sop(u).
ii) Si W es cerrado tal que u = 0 en W Sop(u) W.
2) Sean u, v : R, ,= 0, entonces:
i) Sop(u + v) Sop(u) Sop(v),
ii) Sop(uv) Sop(u) Sop(v),
iii) Sop(u) = Sop(u).
3) Sea u : R
n
R, a R
n
, jo. Denimos:

a
u : R
n
R
x (
a
u)(x) = u(x a)
entonces
Sop(
a
u) = a + Sop(u).
i) Sop(D

u) Sop(u), cuando D

u existe; N
n
.
27
4) Sean u, v : R
n
R una de ellas con soporte compacto y tal que u v existe.
Entonces:
Sop(u v) Sop(u) + Sop(v).
5) Sean ,

abiertos de R
n
y u : R, v :

R. Denimos:
u v :

R
(x, y) (u v)(x, y) = u(x) v(y)
Entonces
Sop(u v) = Sop(u) Sop(v).
5.3.6 Definicion. Sean A, B subconjuntos de un espacio vectorial V
A B = a b / a A b B.
5.3.7 Notaci on. Cuando A = a a + B a + B.
5.3.8 Ejercicio. Sean K compacto y F cerrado de R
n
. Probar que K + F es
cerrado.
Demostracion. Denotemos por
W = Sop(u) + Sop(v),
que es cerrado por el ejercicio anterior. Sea x R
n
W. Probaremos que
(u v)(x) = 0.
En efecto:
Si y Sop(v) x y / Sop(u)
(pues si x y Sop(u) x = (x y)
. .
Sop(u)
+ y
..
Sop(v)
W ()).
Luego u(x y)
. .
0
v(y) = 0.
28
Si y / Sop(v) u(x y) v(y)
..
0
= 0.
De ambos casos:
u(x y)v(y) = 0, y R
n
, x R
n
W.
(u v)(x) =
_
R
n
u(x y)v(y) d y = 0.
Por la caracterizaci on de soporte (propiedad 1)
Sop(u v) W
5.4. Espacio de Funciones de Prueba
R
n
, es abierto
C() = U : R / U es continua
C
k
() = U : R / D

U es continua; [[ k
C

() =

kN
C
k
().
Decimos que : R tiene soporte compacto en si Sop() es un conjunto
compacto contenido en .
El conjunto de funciones de prueba (en ) denotado por C

0
() es el conjunto:
C

0
() =
_
_
_
: R /
es innitamente diferenciable y
Sop() es compacto
_
_
_
5.4.1 Observaci on.
C

0
() = C

() C
0
().
Veamos que C

0
() ,= .
5.4.2 Lema. La funcion:
U(x) =
_
_
_
e
1/x
, x > 0
0 , x 0
est a en C

(R).
29
Demostracion.
RESULTADO DE AN

ALISIS:
Sea h :]a, b[R continua, diferenciable en ]a, b[]c, d[, para c ]a, b[ tal que existe
lm
hc
h

(x), entonces h es diferenciable en x = c; adem as

h

(c) = lm
xc
h

(x).
En nuestro lema:
Si x > 0: U

(x) =
1
x
2
e
1/x
, entonces: lm
x0
+
U

(x) = 0.
Si x < 0: U

(x) = 0 lm
x0

(x) = 0.
De ambos casos:
lm
x0
U

(x) = 0.
Del resultado de analisis, U es diferenciable en x = 0 y U

(0) = 0.
Repitiendo el proceso: U
(k)
(0) = 0, k = 1, 2, . . .
U C

(R).
5.4.3 Ejemplo. : R R /
(x) =
_
_
_
e
1
1x
2
; [x[ < 1
0 ; [x[ 1
Sop() = x R / (x) ,= 0
= ] 1, 1[
= [1, 1]
(EJERCICIO: Demostrar que si
1
,
2
C

() entonces =
1

2
C

())
Y observando que:
=
1

2
donde

1
(x) =
_
_
_
e
1
2(1x)
; x < 1
0 ; x 1
30

2
(x) =
_
_
_
e
1
2(1+x)
; x > 1
0 ; x 1
Del lema
1
,
2
C

(R) y as =
1

2
C

(R).
C

0
(R).
5.4.4 Ejercicio. : R
n
R /
(x) =
_
_
_
e

1
1|x|
2
R
n
; [x[
R
n < 1
0 ; [x[
R
n 1
Donde x = (x
1
, x
2
, . . . , x
n
), [x[
R
n =
_
n

i=1
x
2
i
_
1/2
.
Pruebe que:
1. Sop() = B(0, 1),
2. C

(R
n
),
3. C

0
(R
n
).
5.4.5 Ejercicio (Sucesiones Regularizantes). Considere la funci on del ejer-
cicio anterior. Sea
C =
__
R
n
(x) d x
_
1
> 0.
Denimos la sucesion (P
v
)
v1
, tal que
P
v
= Cv
n
(vx)
=
_

_
Cv
n
e

1
1v
2
|x|
2
; [x[ <
1
v
0 ; [x[
1
v
Pruebe que:
1. Sop(P
v
) = B(0, 1/v),
2. p
v
0,
31
3. p
v
C

0
(R
n
)
4.
_
R
n
p
v
(x) d x =
_
B(0,1/v)
p
v
(x) d x = 1.
p
v
f L
uniformemente regularizante uniforme sobre el compacto.
5.4.6 Teorema. Sea f C(R
n
). Entonces p
v
f f uniformemente en com-
pactos de R
n
.
Demostracion. Sea K un compacto de R
n
.
Probemos que:
(p
v
f)(x) f(x), x K
en el sentido:
Dado > 0, r
0
= r
0
(, K) N : x K: r r
0
[(p
v
f)(x) f(x)[ < .
En efecto, para > 0 dado y x K:
[(p
v
f)(x) f(x)[ =

_
R
n
p
v
(x y)f(y) d y f(x)

_
R
n
p
v
(x y)f(y) d y f(x)
_
R
n
p
v
(y) d y

_
R
n
(f(x y) f(x))p
v
(y) d y

_
B(0,1/v)
[f(x y) f(x)[p
v
(y) d y (5)
Por otro lado f es uniformemente continua en todo compacto

K, es decir:
> 0, = (,

K) > 0 z, z
1


K:
[z z
1
[
R
n < [f(z) f(z
1
)[ < (6)
Observemos aqu, que para y B(0, 1/v), no necesariamente x y K.
Construimos:
K
1
= K B(0, 1)
32
que es un compacto de R
n
.
(EJERCICIO: Si A, B son compactos en R
n
, demostrar que: A + B, A B son
compactos).
Tomemos:
z = x y K
1
(pues B(0, 1/v) B(0, 1) B(0, 1)).
z = x K
1
(pues x = x
..
K
0
..
B(0,1)
K
1
), en (6), resulta que para > 0, > 0
tal que:
[y[
R
n = [(x y) x[
R
n < [f(x y) f(x)[ < .
Esto es:
y B(0, ) [f(x y) f(x)[ < ,
tomemos: v
0
>
1

> 0, v
0
N.
Se tiene que para v v
0
B
_
0,
1
v
_
B(0, ).
Por lo que para:
y B
_
0,
1
v
_
y B(0, )
[f(x y) f(x)[ <
Luego en (5)
[(p
v
f)(x) f(x)[
_
B(0,1/v)
p
v
(y) d y = .
En consecuencia:
m ax
xK
[(p
v
f)(x) f(x)[

33
Convergencia en C

0
()
Sea (
v
)
v1
C

0
() y C

0
(). Decimos que (
v
)
v1
converge a , denotado:

v

Si:
i) K compacto : Sop(
v
) K.
ii) D

v
D

uniformemente en K, N
n
.
5.4.7 Observaci on.
i) (C

0
, ) D().
ii) Es necesario denir la convergencia para le vector 0:

v
0
a) K compacto : Sop(
v
) K.
b) D

v
0 uniformemente en K, N
n
.
iii) En la denicion dada de convergencia, tambien:
D

v
D

uniformente en K, N
n
m ax
xK
[D

v
(x) D

(x)[ 0, N
n
.
En particular para = 0 = (0, 0, . . . , 0),
m ax
xK
[
v
(x) (x)[ 0.
5.4.8 Ejercicio. Demostrar que D() no es metrizable.
34
5.5. Distribuciones en
Sea abierto de R
n
. Una aplicaci on:
T : D() R
es una distribuci on (en ), si T es lineal y continua, es decir:
a) T( + ) = T() + T(); R, , D().
b)
v
en D() T(
v
) T() en R.
Denotemos:
D

() = T : D() R / T es lineal y continua

5.5.1 Notaci on. T D

(),
T() T,
D

()D()
, D().
5.5.2 Definicion (Convergencia en D

()). Sea (T
v
)
v1
D

(), T D

().
Decimos que:
T
v
T en D

() T
v
, T, en R, D().
5.5.3 Ejemplo. Sea U L
1
loc
(). Denimos una aplicaci on:
T
U
: D() R
T
U
, =
_

U(x)(x) d x
Veamos que T
U
es una distribuci on.
En efecto:
i) [T
U
, [ =
_

[U(x)(x)[ d x m ax
xK
[(x)[
_
K
[U(x)[ d x
. .
C
K
< +.
ii) T
U
es lineal.
35
iii) T
U
es continua:
Sea (
v
) D(), D() tal que:
v

a) K compacto : Sop(
v
) K,
b) m ax
v+
[
v
[ 0.
Se tiene:
[T
U
,
v
T
U
, [ =

U(x)
v
(x) d x
_

U(x)(x) d x

[U(x)[[
v
(x) (x)[ d x
m ax
xK
[
v
(x) (x)[
_
K
[U(x)[ d x
. .
C
K
0
T
U
,
v
T
U
, , D().
T
U
D

().
5.5.4 Observaci on. Denimos:
: L
1
loc
() D

()
U (U) = T
U
Armemos que es lineal, inyectiva y continua.
D'( ) W
L ( ) W
loc
F( W L ( ))
loc
F
Esto nos permite identicar:
L
1
loc
()

= (L
1
loc
()).
36
Que es lineal (ejercicio).
Que es inyectivo.
Sea U L
1
loc
() / (U) = 0 en D

().
T
U
, = 0, = 0, D().

U(x)(x) d x = 0, D()
(Lema de Du-Bois Raymond)
U = 0 c.s. en
U = 0 en L
1
loc
()
5.5.5 Ejercicio. (Lema de Du-Bois Raymond) Sea U L
1
loc
tal que:
_

U(x)(x) d x = 0, C

0
()
U = 0 c.s. en .
5.5.6 Ejercicio. Si U C() y
_

U(x)(x) d x = 0, C
1
0
()
U = 0 en .
Que es continua:
Sea (U
v
)
v1
L
1
loc
(), U L
1
loc
() tal que:
U
v
U en L
1
loc
()
(es decir [U
v
U[
L
1
(K)
0, K compacto ).
Probaremos que: (U
v
) (U) en D

().
37
En efecto:
[(U
v
), (U), [ = [T
U
v
, T
U
, [
=

U
v
(x)(x) d x
_

U(x)(x) d x

[U
v
(x) U(x)[[(x)[ d x
m ax
xK
[(x)[
_
K=Sop()
[U
v
(x) U(x)[ d x
= C
k
[U
v
U[
L
1
(K)
0 en (L
1
(K))
5.5.7 Notaci on. Con la identicaci on dado anteriormente, podemos denotar:
T
U
U
En este caso se dice que T
U
esta generado (o que proviene) por U, as se tiene:
U, =
_

U(x)(x) d x.
Tambien, se tiene que:
L
1
loc
() D

().
Como subespacio vectorial.
As debido a las propiedades de :
L
1
loc
() D

()
5.5.8 Ejercicio. Dado x
0
. Denimos:

x
0
: D() R

x
0
, = (x
0
)
Demostrar que:
x
0
D

() (
x
0
: Delta de Dirac).
5.5.9 Ejercicio. Demostrar que
x
0
no proviene de ninguna U L
1
loc
().
38
5.5.10 Proposici on. Sea abierto en R
n
, 1 p < +, sea (U
r
)
r1
L
p
(),
U L
p
() tal que:
U
r
U en L
p
().
Entonces U
r
U en D

().
Demostracion. Caso 1 < p < +. Por hip otesis:
[U
r
U[ 0 si r +.
Probaremos que D():
[U
r
U, [ 0.
En efecto:
[U
r
U
. .
L
1
loc
()
, [ =

(U
r
(x) U(x))(x) d x

[U
r
(x) U(x)[[(x)[ d x
[[
L
p

()
[U
r
(x) U(x)[
L
p
()
0
Caso p = 1. Ejercicio.
Derivada de una Distribucion
5.5.11 Motivaci on. Sea abierto en R
n
, sean U, V C

() por el teorema de
Green en R
n
:
_

U
V
x
i
d x =
_

V
U
x
i
d x +
_

UV v
i
d p (7)
Imponiendo (restringiendo) al conjunto de funciones U

s, aquellos tales como:

U[

= 0
Se tiene en la formula (7):
_

U
V
x
i
d x =
_

V
U
x
i
d x
39
Tomando, en particular V = D()
_

U

x
i
d x =
_

U
x
i
d x
Observe que:
_
U,

x
i
_
=
_
U
x
i
,
_
, D()
Motivados por esta expresion tenemos la siguiente denicion:
5.5.12 Definicion. Sea T : D() R una distribuci on y N
n
. La derivada
de orden de T, denotada D

T se dene mediante la relaci on:

D

T,
D
r
()D()
= (1)
||
T, D

, D()
= (
,

2
, . . . ,
n
) N
n
, [[ =
1
+
2
+ . . . +
n
.
D

=

||

1
1
x

2
2
. . . x

n
n
D

= D()?
5.5.13 Propiedad.
1) D

T D

(), N
n
.
2) El operador
D

: D

() D

()
es lineal y continua.
(Esto es:
a) D

(T + S) = D

(T) + D

(S),
b) Si T
r
T en D

() D

T
r
D

T
OBSERVACI

ON: f
r
f , f

r
f

(Caso Real).
3) D
+
T = D
+
T, , N
n
.
(Es decir D

(D

T) = D

(D

T)).
Demostracion. Ejercicio
40
6. Resultados
6.1. Espacios de Sobolev
Sea abierto de R
n
, n 1, m 1, m N. El espacio de SOBOLEV de cada m
esta denido por el conjunto:
H
m
() = U L
2
() / D

U (en el sentido variacional) L

2
(), [[ m
6.1.1 Observaci on.
D

U (en el sentido variacional) L

p
() signica que la distribuci on asociada a
ella, esta generada por una funci on U

L
2
(), es decir:
D

U, = U

, ; D()
con U

L
2
().
(1)
||
U, D

= U

,
(1)
||
_

UD

d x =
_

d x
Luego:
U H
m
() U L
2
() U

L
2
();
(1)
||
_

UD

d x =
_

d x; D(), [[ m
H
m
() con las operaciones usuales de (clases de) funciones en un espacio vectorial.
Introduzcamos el producto interno:
(U, V )
H
m
()
=

||m
(D

U, D

V )
L
2
()
=

||m
(U

, V

)
L
2
()
(D

U D

(), D

V D

(): (D

U, D

V )
L
2
()
)
Demostrar que D

U es unico.
41
Vericar que en efecto ( , )
H
m
()
es un producto interno, que induce una norma
(pruebe que es as).
[U[
H
m
()
=
_
_

||m
[D

U[
2
L
2
()
_
_
1/2
6.1.2 Observaci on.
1) n = 1, =]a, b[, m = 1
H
1
(a, b) = U L
2
(a, b) / U

L
2
(a, b)
=
_

_
U L
2
(a, b) / V L
2
(a, b) :
_
b
a
U(x)

(x) d x =
_
b
a
V (x)(x) d x,
D(a, b)
_

_
(U, V )
H
1
(a,b)
= (U, V )
L
2
(a,b)
+ (U

, V

)
L
2
(a,b)
=
_
b
a
U(x)V (x) d x +
_
b
a
U

(x)V

(x) d x U, V H
1
(a, b)
[U[
H
1
(a,b)
=
_
[U[
2
L
2 +[U

[
2
L
2
_
1/2
=
__
b
a
[U(x)[
2
d x +
_
b
a
[U

(x)[
2
d x
_
1/2
6.1.3 Ejemplo. U :]0, 1[R / U(x) = x.
Observemos que U C
1
(0, 1) L
1
loc
(0, 1)
[U[
2
H
1
(a,b)
=
_
1
0
x
2
d x +
_
1
0
1
2
d x
=
_
1
3
+ 1
_
=
4
3
[U[
H
1
(a,b)
=
2

3
42
2) n = 1, =]a, b[, m N
H
m
(a, b) = U L
2
(a, b) / U

, U

, . . . , U
(m1)
, U
(m)
L
2
(a, b)
(U, V )
H
m
(a,b)
= (U, V )
L
2
(a,b)
+
m

k=1
(U
(k)
, V
(k)
)
L
2
(a,b)
=
_
b
a
UV d x +
m

k=1
_
b
a
U
(k)
V
(k)
d x
[U[
H
m
(a,b)
=
_
_
b
a
[U(x)[
2
d x +
m

k=1
_
b
a
[U
(k)
(x)[
2
d x
_
1/2
3) n > 1, R
m
, m = 1
H
1
() =
_
U L
2
() /
U
x
i
L
2
(), i = 1, 2, . . . , n
_
= U L
2
() / g
i
L
2
() :
_

U

x
i
d x =
_

g
i
d x, D(), i
(U, V )
H
1
()
= (U, V )
L
2
()
+
m

i=1
_
U
x
i
,
V
x
i
_
L
2
()
=
_

UV d x +
m

i=1
_

U
x
i
V
x
i
d x
U, V H
1
().
[U[
H
1
()
=
_
_

[U[
2
d x +
m

i=1
_

U
x

2
d x
_
1/2
(8)
6.1.4 Ejercicio. Deno en H
1
(). La aplicaci on:
| |
H
1 : H
1
() R
mediante
|U|
H
1 = [U[
L
2
()
+
n

i=1

U
x
i

L
2
()
(Vericar que es una norma).
Demostrar que existen C
0
y C
1
> 0, tal que:
C
0
[U[
H
1 |U|
H
1 C
1
[U[
H
1
43
6.1.5 Notaci on. R
n
; U : R
U =
_
U
x
1
,
U
x
2
, . . . ,
U
x
n
_
[U[
R
n =
_
n

i=1

U
x
i

2
R
_
1/2
_

[U[
R
n d x =
n

i=1
_

U
x
i

2
d x
[U[
L
2
()
=
_
n

i=1

U
x
i

2
L
2
()
_
1/2
Luego de (8):
[U[
H
1
()
=
_
[U[
2
L
2
()
+[U[
2
L
2
()
_
1/2
, U H
1
().
6.1.6 Teorema. H
m
() es un espacio de Hilbert, m 1.
Demostracion. Sabemos que H
m
() esta dotado de un producto interno. Sea
(U
r
)
r1
una sucesion de Cauchy en H
m
().
Luego:
[U
r
U
s
[
H
m si r, s +.
Pero:
[D

U
r
D

U
s
[
L
2 [U
r
U
s
[
H
m 0 si r, s +.
(D

U
r
)
r1
es de Cauchy en L
2
(), [[ m.
[D

U[
L
2
_
_

||m
[D

U[
2
L
2
_
_
1/2
= [U[
H
m
Por la completitud de L
2
(), existen U

L
2
() tal que:
D

U
r
U

en L
2
(), [[ m (9)
En particular para = (0, 0, . . . , 0) = 0, denotamos U
0
= U
U
r
U en L
2
()
44
U
r
U en D

()
D

U
r
D

U en D

() (10)
Por otro lado de (9)
D

U
r
U

en D

()
De (10), esta ultima convergencia y la unicidad del lmite:
D

U = U

en D

()
Luego en resumen: U L
2
() D

U L
2
() U H
m
(), [[ m.
Adem as: [U
r
U[
H
m 0 (vericar esto en detalle)
U
r
U en H
m
()
H
m
() es de Hilbert.
6.1.7 Ejercicio. Deno para 1 < p < +
W
1,p
() =
_
U L
p
() /
U
x
i
L
p
()( en D

()), i = 1, 2, . . . , n
_
Con la norma:
[U[
1,p
=
_
[U[
p
p
+[U[
p
p
_
1/p
1. Demostrar que W
1,p
() es de Banach.
2. Demostrar que si |U|
1,p
= [U[
p
+[U[
p
, entonces:
| |
1,p
[ [
1,p
Luego en (9)
[U[
W
1,p
()
=
_
[U[
p
L
p
()
+[U[
p
L
p
()
_
1/p
, U W
1,p
()
En general:
D()
| |
H
m
,= H
m
()
45
(Ver ejercicio m as adelante).
Por lo que llamaremos:
H
m
0
() = D()
| |
H
m
(Observe que D()
| |
H
m
H
m
()).
As por denicion:
U H
m
0
() equivale a
> 0, D() : [U [
H
m < (
v
) D() : [
v
[
H
m 0.
6.1.8 Ejercicio. Demuestre que en efecto:
H
m
0
() es un subspacio cerrado en H
m
().
Por otro lado:
Dado U : R, denimos la funci on de extension de U, denotado por

U:

U : R
n
R /

U(x) =
_
_
_
U(x) ; x
0 ; x /
U
W
U
~
R
R
n
6.1.9 Teorema. Sea U H
m
0
(). Entonces:
1.

U H
m
(R
n
)
46
2. D

U =

D

U, [[ m
3. [U[
H
m
()
= [

U[
H
m
(R
n
)
Demostracion.
Sea D(), entonces D(R
n
) y adem as se tiene que:

=
_
_
_
D

;en = D

, [[ m
0 ; en C (probar esto con detalle)
Notar que:
W
Sop
J
W
J
W
Adem as:
[ [
2
H
m
(R
n
)
=

||m
[D

[
2
L
2
(R
n
)
=

||m
[

[
2
L
2
(R
n
)
=

||m
[D

[
2
L
2
(R
n
)
= [[
2
H
m
()
[ [
2
H
m
(R
n
)
= [[
2
H
m
()
(11)
47
Sabemos que:
[

[
2
L
2
(R
n
)
=
_
R
n
[

[
2
d x
=
_

[
2
d x +
_
R
n
\
[

[
2
d x
=
_

[D

[
2
d x
= [D

[
2
L
2
()
Con lo que denimos:
G : D() H
m
(R
n
)
G() =
que es lineal e isometrica (ver (11)), ([G()[
H
m
(R
n
)
= [[
H
m
()
).
Luego G admite un extension

G lineal e isometrica tal que:

G : D()
| |
H
m
()
H
m
(R
n
)
U

G(U) = lm
v
G(
v
)
Donde (
v
)
v1
D() /
v
U en H
m
().
Ahora si; vayamos a la demostracion del teorema:
i) Sea U H
m
0
(), as: (
v
)
v1
D() tal que
v
U en H
m
()
D

v
D

U en L
2
(), [[ m. (12)
De la continuidad de

G:

G(
v
)

G(U) en H
m
(R
n
)
Pero
v
=
v
. Entonces claramente:
D

(
v
)
. .
D

v
D

G(U) en L
2
(), [[ m
Se tiene:
D

(
v
) D

G(U) en L
2
(R
n
) D

(R
n
)
48

(
v
) D

G(U) en D

(R
n
) (13)
En particular para = (0, 0, . . . , 0) = 0.
Entonces:

v


G(U) en L
2
(R
n
) (14)
Por otro lado de (12):
[
v
U[
2
L
2
()
=
_

[

(
v
U)(x)[
2
d x +
_
R
n
\
[

(
v
U)(x)[
2
d x
= [
v


U[
2
L
2
(R
n
)
As, por (14)
[
v


U[
2
L
2
(R
n
)
= [
v
U[
2
L
2
()
0
Entonces

v


U en L
2
(R
n
) D

(R
n
)
D

v
D

U en D

(R
n
) (15)
Luego de (14) por unicidad de lmte:

G(U) =

U en L
2
(R
n
)
Similarmente de (12) para un ,= 0 se tendr a:

v


D

U en L
2
(R
n
) (16)
Entonces de (13) y (15) se tiene:
D

U = D

G(U) L
2
(R
n
) en D

(R
n
) (17)
D

U L
2
(R
n
) (En el sentido distribucional)

U H
m
(R
n
)
49
ii) De (13),(16) y la unicidad del lmite
D

G(U) =

D

U.
De esta igualdad y (17) tenemos:
D

U =

D

U.
iii) Sea U H
m
0
(), donde (
v
) D() /
v
U en H
m
(). Entonces

[U[
H
m
()
[

U[
H
m
(R
n
)

[U[
H
m
()
[
v
[
H
m
()
+[
v
[
H
m
()
[

U[
H
m
(R
n
)

[U[
H
m
()
[
v
[
H
m
()

U[
H
m
(R
n
)
[
v
[
H
m
(R
n
)

[U
v
[
H
m
()
. .
0
+[

U
v
[
H
m
(R
n
)
. .
0

[U[
H
m
()
[

U[
H
m
(R
n
)

= 0.
6.1.10 Teorema. (De Poincare) Sea R
n
, acotada. Entonces existe C > 0
tal que:
[U[
L
2
()
C
_
n

i=1

U
x
i

2
_
1/2
, U H
1
0
().
Demostracion.
Sea =] a, a[
n
, n 1,a > 0 y D().
Tomemos
x = (x

, x
n
) R
n
, x

= (x
1
, x
2
, . . . , x
n1
)
(x

, x
n
) (x

, a)
. .
0
=
_
x
n
a

x
n
(x

, s) d s
50
[(x

, x
n
)[
_
x
n
a

x
n
(x

, s)

d s

__
x
n
a
1
2
d s
_
1/2
_
_
a
a

x
n
(x

, s)

2
d s
_
1/2
[x
n
+a[
1/2
_
_
a
a

x
n
(x

, s)

2
d s
_
1/2
[2a[
1/2
_
_
a
a

x
n
(x

, s)

2
d s
_
. .
F(x

)
1/2
Elevando al cuadrado e integrado en x

sobre ] a, a[
n1
,
_
]a,a[
n1
[(x

, x
n
)[
2
d x

2a
_
]a,a[
n1
_
a
a

x
n
(x

, s)

2
d s
= (2a)
_
I

x
n

2
d x
Integrando en ] a, a[, respecto a x
n
, y aplicando el teorema de Fubini:
_
I
[(x)[
2
d x (2a)
2
_
_
I

x
n
(x

, s)

2
d x
_
[[
L
2
(I)
2a

x
n

L
2
(I)
Analogamente se obtiene
[[
L
2
(I)
2a

x
i

L
2
(I)
, i = 1, 2, . . . , n.
Elevando al cuadrado, sumando de i = 1 hasta n
n[[
2
L
2
(I)
(2a)
2
n

i=1

x
i

2
L
2
()
[[
L
2
(I)

2a

n
_
n

i=1

x
i

2
L
2
()
_
1/2
(18)
para U H
1
0
(I), (
v
)
v1
D(I) tal que:
v
U en H
1
()
51
Luego reemplazando
v
por en (18):
[
v
[
L
2
(I)
C
_
n

i=1

v
x
i

L
2
(I)
_
1/2

[U[
L
2
()
C
_
n

i=1

U
x
i

L
2
(I)
_
1/2
En el caso de que abierto y acotado, existe I R
n
, I =] a, a[
n
tal que: I.
Sea U H
1
0
() (
v
) D() /
v
U en H
1
().
Denimos:

v
=
_
_
_

v
; en
0 ; en I
Leugo
v
D(I), luego repetimos en el analisis del caso anterior.
6.1.11 Observaci on.
i) Denotando:
[U[
L
2
()
=
_
n

i=1

U
x
i

2
L
2
()
_
1/2
Tenemos que:
C[U[
L
2
()
[U[
L
2
()
, U H
1
0
()
ii)
[U[
2
H
1
()
= [U[
2
L
2
()
+[U[
2
L
2
()
C[[
L
2
()
, U H
1
0
().
As existen C
0
, C
1
positivos tales que:
C
0
[U[
H
1 [U[
L
2 C
1
[U[
H
1, U H
1
0
()
es una norma equivalente a la norma natural de H
1
().
As
|U|
H
1
0
()
[U[
L
2, U H
1
0
()
52
iii) Si es acotado
H
m
0
() ,= H
m
() (H
m
0
() H
m
())
ya que de lo contrario:
H
m
() = H
m
0
() H
1
0
() (ejercicio)
Sea U(x) = 1, x U H
m
() U H
1
0
().
Luego, de la desigualdad de Poincare:
0 < [U[
L
2
()
C
_
n

i=1

U
x
i

2
L
2
_
1/2
= 0 ()
H
m
0
() H
m
()
(Si = R
n
, H
m
0
(R
n
) = H
m
(R
n
)).
6.2. El Espacio Dual de H
m
0
()
[U[
L
2
()
C[U[
L
2 C|U|
H
1
0
. U H
1
0
()
H
1
0
() L
2
().
D() L
p
() L
1
loc
() D
1
()
D() H
1
0
() L
2
() D
1
()
Sea abierto de R
n
. El espacio dual de H
m
0
() esta denido por:
(H
m
0
())

= T : H
m
0
() R / T es lineal y continua.
6.2.1 Notaci on.
H
m
() (H
m
0
())

53
6.2.2 Observaci on.
1) Para T H
m
(), deniremos
T() = T, , H
m
0
().
2) H
m
() esta dotado de la norma:
[T[
H
m
()
= sup
UH
m
U=0
[T, U[
[U[
H
m
= sup
|U|
H
m=1
[T, U[.
3) T H
m
()
a) T es lineal
T, U +V = T, U +T, V , R, U, V H
m
0
().
b) T es continua:
U
v
U en H
m
() T, U
v
T, U.
Queremos sumergir H
m
() en D

().
Sea T H
m
() (es decir: T : H
m
0
() R lineal y continua).
Como D() H
m
0
(), entonces considero la aplicaci on:
T[
D()
: D() R
AFIRMACI

ON: T[
D()
D

().
En efecto:
a) T[
D()
es lineal
b) T[
D()
es continua, pues si (
v
) D() /
v
0 en D()
(i) K compacto tal que Sop(
v
) K, v
54
(ii) D

v
0 uniformemente en K, N
n
Por hip otesis:
U
v
U en H
m
() T, U
v
T, U en R (19)
Pero:
[
v
[
2
H
m
()
=

||m
[D

v
[
2
L
2
()
(med (K))

||m
_
m ax
xK
[D

v
(x)[
_
2

v
0 en H
m
().
De (19):

T[
D()
,
v
_
= T,
v
0
[D

v
[
2
L
2
()
=
_

[D

v
(x)[
2
d x
_
m ax
xK
[D

v
(x)
_
2
(med (K))
Ahora, denimos una aplicaci on
R : H
m
() D

()
T R(T) = T[
D()
Veamos que R es lineal, inyectiva y continua.
a) Que R es lineal (ejercicio)
b) Que R es inyectiva,
Sea T H
m
() tal que:
R(T) = 0 ( en D

())
T, =

T[
D()
,
_
= 0, D() (20)
Sea U H
m
0
(), luego existe (
v
) D() /
v
U en H
m
(). Pero
de(20):
T,
v
= 0
55
y la continuidad de T:
T,
v
T, U
T, U = 0; U H
m
0
()
T = 0 en H
m
()
c) Que R es continua:
Sea (T
v
) H
m
() tal que: T
v
0 en H
m
() ( [T
v
[
H
m 0)
Probaremos que R(T
v
) 0 en D

().
En efecto:
Para D()
[R(T
v
), [ = [T
v
, [ [T
v
[
H
m[[
H
m 0
H ( )
-m
W
R(H ( ))
-m
W
D( ) W
R
H
m
() D

()
6.2.3 Ejercicio. Sea abierto y acotado de R
n
y v H
1
() tal que
_

v
x
i
d x = 1.
56
Denamos para U H
1
():
T, U =
_

v
U
x
i
d x;
S, U =
_

v
x
i
U d x
Veamos que: T es lineal y
[T, U[
_

[v[

U
x
i

d x
[v[
L
2[U[
H
1 d x
[T, U[ C
v
[U[
T (H
1
())

.
Adem as S es lineal y
[S, U[

v
x
i

L
2
[U[
L
2

v
x
i

L
2
[U[
H
1
S (H
1
())

.
Pero para U(x) = 1 U H
1
() y
T, U = 0, S, U = 1
T ,= S en (H
1
())

.
Sin embargo, para D():
T, =
_

v

x
i
d x
_

v
x
i
d x S,
T = S en D

()

R : (H

())

()
T

R(T) = T[
D()
No es continua.
La aplicaci on de restricci on no es inyectiva en este caso, esto es (H
m
())

no es
un espacio de distribuciones.
57
6.2.4 Ejercicio.
1) Sean k N, E = (L
2
())
k
, con la norma
[w[
2
E
=
k

i=1
[w
i
[
2
L
2
()
donde w = (w
1
, w
2
, . . . , w
k
) E.
Demostrar que:
f E

f
1
, f
2
, . . . , f
k
L
2
()
f, w =
k

i=1
_

f
i
(x)w
i
(x) d x, w E.
2) Use 1) para probar que:
T H
m
() g

L
2
() : T =

||m
D

3) Use 2) para probar que:

L
2
() H
1
() H
1
0
() L
2
() H
1
()
L
2
() (L
2
())

H
1
()
58
7. Conclusiones
I. Los espacios de Sobolev son una generalizacion de los espacios L
p
() tenien-
do en cuenta sus derivadas.
II. Es frecuente trabajar con el dual de H
1
0
(), (respectivamente W
m,p
0
()) por
las diversas propiedades que posee, dado que en este espacio, los vectores se
anulan en la frontera, adem as un resultado interesante, es que:
H
1
(R
N
) = H
1
0
(R
N
),
esto se prueba gracias al operador prolongaci on.
III. El buen uso y manejo de los espacios de Sobolev, nos permite resolver di-
ferentes EDP, al decir resolver nos referimos a probar la existencia de
soluciones debiles que gracias a la regularidad, siempre que la hubiera, se
transforman en soluciones clasicas.
59
8. Recomendaciones
En las universidades de nuestro pas donde existen facultades de matem atica pura,
todava es escazo encontrar docentes de alta espacialidad en Analisis Funcional y
Ecuaciones Diferenciales Parciales, donde vemos la alta aplicaci on de los espacios
de Sobolev con resultados del Analisis Funcional.
Por tal raz on, se recomienda a las facultades becar a sus egresados a otras uni-
versidades exteriores sugiriendoles que hagan estudios de especialidad en la lnea
de A.F. Y E.D.P.
60
Bibliografa
[1] Espacios de Sobolev. Milla Miranda - Medeiros.
[2] Introduccion a las EDP y Espacios de Sobolev. Medeiros - Milla.
[3] Introduccion a las Distribuciones. P. H. Rivera.
[4] Introduccion a las Distribuciones y Espacios de Sobolev. Jaime Mu noz.
[5] Integral de Lebesgue. L. Abanto Medeiros.
[6] An alisis Funcional: Teora y Aplicaciones. H. Brezis.
[7] Functional Analysis. Kesavan.
[8] Methods of Hilbert Spaces on Partial Dierential Equations. Showalter.
61