Indice general

Prefacio 3
Captulo 1. Unidad 1: Preliminares 1

1. La complecion de un espacio producto interno 1

2. Espacios de funciones 2
3. Espacios Lp () 2
4. 1.9. C0 () es denso en Lp () 2

Captulo 2. Unidad 2: Soluci on debil y espacios de Sobolev 11

1. Introducci on 11
2. Espacios de funciones 11
3. Soluci on cl
asica vs. soluci
on debil 12
4. Espacios de Sobolev W m,p () 12
Bibliografa 13

1
 Prefacio

PARA ESTUDIAR ESPACIOS DE SOBOLEV:

MOTIVACION

Tenemos por ejemplo una edp que resolver y no es posible encontrar una solucion analtica, tendr
a caso
buscarla? existe?podemos contestar la pregunta antes de encontrar una solucion?

Por que espacios de Sobolev?

Tienen caractersticas deseables, ver comentario del Brezis pagina 203.

W 0,2 = L2
W 1,p y caractersticas
Espacios m
as generales

Funciones de soporte compacto

Densidad de las funciones de soporte compacto en los espacios de Sobolev

Propiedades
Aplicaciones

3
 Captulo 1

Unidad 1: Preliminares

Todos los espacios vectoriales con los que trabajaremos estaran sobre R.
Para k = 0 tendremos
W 0,p () = Lp ()
Es decir, para k = 0 el espacio de Sobolev respectivo es el conocido espacio de Banach Lp () que tiene la
propiedad de ser completo con la norma
Z 1/p
p
||f || = |f | d

0,p
es decir: el espacio de Sobolev W () es un espacio de Banach.

1. La compleci
on de un espacio producto interno

Densidad de C () en Lp () , 1 p <
Algunos resultados que nos ser
an u
tiles en la demostracion:
Sea Rn

on medible f : C se puede ver como

1. Una funci
f = u+ u + i v + v

donde u+ , u , v + , v : R+ {0}
Teorema 1. Sea f : X [0, ] una funci
on medible, existen funciones simples medibles
sn : X [0, ) tales que
a)
Teorema 2. 0 s1 s2 s3 ... sn ...
sn f, n N
sn f puntualmente en X
2. Si 0 x y, x, y R entonces 0 xp y p , p 1.

Teorema 3 (Teorema de convergencia dominada de Lebesgue). Sea X Rn medible y {fj }j=1
una sucesi
on de funciones medibles tal que existe una funcion medible f tal que fj f puntualmente
en X. Si existe una funcion g L1 (X) tal que |fj (x)| g (x) j y x X, entonces
Z Z Z
lm fj (x) d = lm fj (x) d = f (x) d
j X X j X

Teorema 4 (Teorema de Lusin). Si f es medible y f (x) = 0 para x X c donde (X) < y

on g C0 (Rn ) tal que
si > 0, existe una funci
sup {g (x) : x Rn } sup {f (x) : x Rn }
y
({x Rn : f (x) 6= g (x)}) <
1
2 1. UNIDAD 1: PRELIMINARES

Teorema 5 (Teorema de encajamiento para espacios Lp ). Supongamos que vol (X) =

R
X
1d <
y que 1 p q
Si u Lq (X) entonces u Lp (X) y
1
q1
||u||p (vol (X)) p ||u||q

Si u L (X) entonces lmp ||u||p = ||u||
Si u Lp (X) para 1 p < y si existe una constante K tal que para toda p
||u||p K

Entonces u L (X) y
||u|| K
Teorema 6. C0 () es denso en Lp () si 1 p < .

2. Espacios de funciones

2.1.

Teorema 7. Sea X = (X, ||||) un espacio normado. Entonces existe un espacio de Banach X b y una
isometra A de X a un subespacio W de Xb el cual es denso en X.
b El espacio Xb es u nico, excepto por
isometras.

Pero que era una isometra?

El espacio normado (C [0, 1] , ||f ||) donde

Z 1  p1
p
||f || = |f | d
0

Si variamos la k y la p van surgiendo otros espacios que cumplen otras propiedades deseables, como el
hecho de ser de Hilbert.
Teorema 8 (Compleci on de espacios producto interno). Para cualquier espacio producto interno X
existe un espacio de Hilbert H y un isomorfismo A de X a un subespacio denso W H. El espacio H es
u
nico excepto por isomorfismos.

3. Espacios Lp ()

Tomado de [Bre].
Sea Rn .
n 1.
Definicio
p
Lp () = f : R; f es medible y |f | L1 ()


n 2.
Definicio
L () = {f : R; f es medible y |f (x)| C salvo para un conjunto de medida 0}

4. 1.9. C0 () es denso en Lp ()

4.1. on. Necesitamos algunas definiciones para introducir al espacio C0 ()

Introducci
 4. 1.9. C0 () ES DENSO EN Lp () 3

4.2. 1.9.1 Notaci

on de multindice para derivaci
on. La informacion fue obtenida del ([Eva],

p
agina 617) y del ([Ada], p
agina 2)
n 3.
Definicio
C m () = {u : R : u es m veces continuamente diferenciable}
n 4.
Definicio
C () = m
m=1 C ()

Definicio n 5. Un vector de la forma = (1 , ..., n ) donde cada componente i es un entero no

negativo, es llamado multindice de orden
X n
|| = i
i=1

n 6.
Definicio Dado un multindice definimos
|| u (x)
D u (x) :=
x 2 n
1 x2 ...xn
1

n 7. Si k es un entero no negativo
Definicio
Dk u (x) := {D u (x) : || = k}
el conjunto de todas las derivadas parciales de orden k. Asignando un orden a las derivadas parciales, podemos
k
considerar a Dk u (x) como un punto en Rn .
Ejercicio 1. Encuentra los casos especiales para u : R cuando k = 1, 2.
Definicio n 8. Si = (1 , ..., n ) , = (1 , ..., n ), son dos multindices, diremos que si j j ,
para 1 j n. En este caso tambien es un multindice y | | + || = || .
n 9. Denotaremos ! = 1 !2 !...n !
Definicio
n 10. Si
Definicio
      
! 1 2 n
= = ...
! ( )! 1 2 n

Ejercicio 2. Verificar que si = (1 , ..., n ) y u, v C || () se cumple la f

ormula
X  
D u (x) = D u (x) D v (x)

n 11. Sea G R un subconjunto no vaco de Rn y u : G R , se define el soporte de u

Definicio n

como
spt u = {x G : u (x) 6= 0}
n 12. Sea G Rn un subconjunto no vaco de Rn , escribiremos G si G y G es
Definicio
compacta.
n 13. Diremos que u tiene soporte compacto en si spt u
Definicio

Si definimos en C m () la norma
hR P i p1
p
kukm,p = ||6m |D u| dx

para 1 6 p < y para toda u C m () para la cual kukm,p es finita. La desigualdad del triangulo es
la u
nica propiedad de norma que no es tan obvia, pero se puede verificar por la desigualdad de Minkowski
para sumas finitas1. A la norma kukm,p se le conoce como la norma de Sobolev.

1 Pn
1
1
1
|xi + yi |p
Pn
|xi |p
Pn
i=1
p i=1
p + i=1 |yi |p p
4 1. UNIDAD 1: PRELIMINARES

El espacio C m () no es completo con respecto a la norma de Sobolev kkm,p . La complecion de C m ()

con respecto a la norma kkm,p es llamado el espacio de Sobolev de orden (m, p) , se denota por W m,p () y
es el conjunto antes definido.
De lo anterior, es claro que el espacio de Sobolev es un espacio de clases de equivalencia de sucesiones
de Cauchy de funciones continuas el cual es de Banach, ya que es la complecion de un espacio normado.

4.3. Funciones suaves de soporte compacto.

n 14.
Definicio
C0 () = {u C (), u tiene soporte compacto en }
tambien se denota Cc ().
n 15.
Definicio
C0 () = {u C(), u tiene soporte compacto en }

Un ejemplo est on en C0 (R) es:

andar de una funci
( 1

(x) = e x2 1 |x| < 1

0 |x| > 1

Definicio n 16. Una funci on suave con soporte compacto, es decir: Si C0 ()

on test es una funci
entonces es llamada funci
on test.

4.4. Lema fundamental del c

alculo en variaciones. En la seccion de integracion del [Spi] es

posible encontrar el siguiente ejercicio:

Rb
Ejercicio 3 (N umero 33 pagina 387). 1. Sea f : [a, b] R continua en [a, b] y a f g = 0 para
todas las funciones continuas g sobre [a, b]. Demostrar que f = 0.
Rb
2. Sea f : [a, b] R continua en [a, b] y a f g = 0 para todas las funciones continuas g sobre [a, b] que
satisfacen g (a) = g (b) = 0. Demostrar que f = 0. (Este hecho inocente en apariencia, constituye
un lema importante del c alculo de variaciones).

En nuestros cursos de calculo integral no podan habernos enunciado el lema fundamental del c alculo
variacional, ya que hubieramos necesitado varias definiciones y resultados que vienen de teora de la medida,
entre los conceptos que hay que definir esta el de espacio de funciones localmente integrables:
Definicio n 17 (Funci
on localmente integrable, de [Ada] pg. 20). Una funci
on f definida casi en todas
partes en se dice que es localmente integrable en si L1 (A) para todo abierto A tal que A . En
este caso escribimos f L1loc ()
alculo variacional (del [Da] pg. 23)). Sea Rn , abierto y f
Lema 1 (Lema fundamental del c
L1loc () tal que Z
f gd = 0, g C0 ()

entonces
f = 0 c.t.p. en

Antes de probar este lema, demostremos un resultado mas debil:

Lema 2 ([Da] pg. 23). Sea Rn abierto y f L2 () tal que
Z
f gd = 0, g C0 ()

entonces
f = 0 c.t.p. en
 4. 1.9. C0 () ES DENSO EN Lp () 5

De manera rigurosa, el espacio donde esta la funcion g es un espacio topologico distinto a C0 (),
pensado este como espacio metrico. El espacio que utilizaremos, es un espacio vectorial topologico que surge
al considerar en C0 () una topologa especfica, a C0 () con esta topologa se le conoce como D ().
Nota 1. Las razones para estudiar al espacio D () son diversas, entre ellas que la derivada necesaria
para definir a los espacios de Sobolev y que se conoce como derivada generalizada es precisamente una
generalizaci
on de la noci
on de derivada distribucional que se define para las funciones en el dual topol
ogico de
D () (una vez definida una topologa en D () esto define de manera u nica a su dual D0 ()) por otro lado,
los elementos en D0 () pertenecen a espacios de Sobolev de orden negativo, por lo que encontrar elementos
en D0 () nos dar a informaci on de tipos de elementos es los espacios que son de nuestro interes. Por otro
lado en las aplicaciones, para encontrar soluciones a edps , el definir D () nos permitir a dar y demostrar
el enunciado riguroso del lema fundamental del c alculo variacional, de modo que si tenemos suficiente
regularidad en la solucion debil (una soluci
on que satisface una ecuacion integral asociada a la edp que se
pretende resolver) este lema permite, entre muchas otras cosas, recuperar la soluci on cl
asica.

El enunciado del lema fundamental es:

alculo variacional (del [Ada])). Sea Rn , un dominio en Rn y
Lema 3 (Lema fundamental del c
1
sea f Lloc () tal que
Z
f gd = 0, g D ()

entonces
f = 0 c.t.p. en

on veamos quien es D ().

Antes de dar la demostraci

4.5. DISTRIBUCIONES Y DERIVADAS DEBILES. Las siguientes definiciones fueron obte-
nidas de [Ada] y del [Bre]
Lo siguiente viene del [Ada] a menos que se indique lo contrario.
4.5.1. Funciones test. Sea un dominio de Rn . Una sucesion {j } C0 () se dice que converge en
on C0 () si se satisfacen las siguientes condiciones:
el sentido del espacio D () a la funci

1. Existe K tal que spt(j ) K para toda j

2. lm D j (x) = D (x) uniformemente en K para cada multindice .
j

Notemos que si la sucesin phij (x) = 0, entonces la sucesin {j } 0, es decir a la funcin cero, en
el sentido del espacio D () hay otras sucesiones distintas a esta sucesin trivial que tambin satisfagan la
convergencia en el sentido del espacio D () ?
n 18. Llamamos funcional a toda funci
Definicio on de valores escalares definida sobre un espacio vec-
torial X.
n 19. Si X es un espacio vectorial sobre R. Un funcional f : X R es lineal si
Definicio
f (ax + by) = af (x) + bf (y) para x, y X, a, b R
Definicio n 20. Un espacio vectorial topol
ogico (en ingles abreviado como TVS) es un espacio topol
ogico
de Hausdorff que tambien es un espacio vectorial para el cual las operaciones de espacio vectorial de adici
on
y multiplicaci
on por escalar son continuas. Es decir, si X es un TVS, entonces las funciones
(x, y) x + y y (c, x) cx
que van de X X X, y de R X X respectivamente, son continuas. Consideramos en R la topologa
usual inducida por la metrica euclidiana y en X X y R X la topologa producto.
Definicio n 21. Diremos que X es un TVS localmente convexo si cada vecindad del origen en X
contiene una vecindad convexa del origen.
6 1. UNIDAD 1: PRELIMINARES

n 22. Sea X un TVS, definimos X 0 = {f : X R, f es lineal y continua} y le llamaremos

Definicio
el dual de X.
agina 3). X 0 es un espacio vectorial.
Nota 2 (Del [Bre] p
a que X 0 es un espacio de Banach? lo es aunque X no lo sea, y esto se sigue de que R es completo.
Ser
a que X 0 es un espacio topol
Ser ogico? lo es con la topologa inducida por la norma dada por
||f ||X 0 = sup {f (x) : ||x|| 1, x X} = sup {|f (x)| : ||x|| 1, x X}

Sera que X 0 es un espacio vectorial topol

ogico (TVS)? Lo ser
a siempre y cuando demos una topologa
adecuada para el. Tal topologa se conoce como topologa d ebil * (topologa debil-estrella, ver [Bre] ,
captulo 3, p
agina 62).
Teorema 9 (Del [Ada] p agina 20 en un comentario). Existe una topologa localmente convexa definida
en el espacio vectorial C0 () con respecto a la cual todo funcional lineal T : C0 () R es continuo si y
D()
olo si T (j ) T () en R siempre que
s j es decir, la convergencia de la sucesi
on {j } es en el
sentido del espacio D ().

La topologa mencionada arriba es u

nica? (ver [Bre] captulo 3)
Nota 3 (Del [Bre] pg. 57). Sea X un espacio de Banach y sea f X 0 , es decir, f es un funcional lineal
continuo de X en R. Denotamos con
f : X R
al funcional lineal dado por
f (x) = hf, xi = f (x)
0
cuando f vara en X obtenemos una coleccion (f )f X 0 de funciones de X a R.
Notemos que si X es un espacio de Banach, al hablar de la continuidad de f , estamos pensando en
la topologa metrica de X inducida por la norma definida en X. Ignoraremos esta topologa que induce la
norma (que llamaremos topologa fuerte) y definiremos una nueva topologa en X , que llamaremos debil y
denotaremos (X, X 0 ) y que resultar a ser la topologa m on {f }f X 0 y lo que
as tosca asociada a la colecci
haremos ser as tosca en X para la cual la familia {f }f X 0 es continua.
a construir la topologa m

Ver [Bre] captulo 3, p

agina 55 3.1. La topologa mas tosca para la cual una coleccion de funciones se
vuelve continua
4.5.2. La topologa m
as tosca para la cual una colecci
on de funciones se vuelve continua. Tenemos la

familia de funciones {f }f X 0 de un conjunto X (pensemos que no tiene estructura) en R con la topologa

est
andar. Consideremos los siguientes problemas:
Problema 1. Construir una topologa definida en X que haga continuas a todas las funciones {f }f X 0
. En caso de que sea posible, hallar una topologa = que sea la m
as econ
omica en el sentido de que tenga la
menor cantidad de conjuntos abiertos.
Nota 4. Si damos a X la topologa discreta, entonces cada funci on f es continua, pero esta topologa
est
a lejos de ser la mas tosca. Como veremos, hay una u
nica topologa m as econ omica definida en X para
la cual toda funci on f es continua, y es llamada topologa debil, topologa inicial o topologa m
as tosca
asociada a la coleccion {f }f X 0 .
Nota 5. Si U R es abierto en R entonces en = deber an estar al menos todos los conjuntos de la
forma 1f (U ) para cada abierto U de R y cada f E 0
, denotemos a esta familia por {U } para alguna
colecci
on de subndices . Esta familia no necesariamente es una topologa.
Problema 2. Dado un conjunto X y una familia {U } de subconjuntos de X, es necesario construir
as barata = para X en la cual U es abierto para cada . Una manera de ...AQUI ME
la topologa m
QUEDE
 4. 1.9. C0 () ES DENSO EN Lp () 7

**************
Del [Ada].
Teorema 10. Equipado con la topologa mencionada anteriormente C0 () es un espacio vectorial
topol
ogico.
Notacio n 1. El espacio C0 () con la topologa mencionada anteriormente, se convierte en el TVS
llamado D () cuyos elementos son llamados funciones test.
Teorema 11. D () no es un espacio normable, es decir, la topologa de D () no es inducida por una
norma.

Del [Ada] p
agina 20:
Teorema 12. La topologa debil para C0 () (que lo convierte en D ()) determina de manera u
nica
el dual D0 () de D () .

4.5.3. Distribuciones de Schwartz. Si damos al espacio dual D0 () de D () la topologa debil-estrella,

esto hace que D0 () sea un TVS localmente convexo.

Definicio n 23. A D0 () con la topologa debil-estrella le llamaremos espacio de distribuciones (de
Schwartz) sobre .

Operaciones de espacio vectorial en D0 ()

Si S, T D0 (), y c R, entonces
(S + T ) () = S () + T () , para D ()
(cT ) () = cT () , para D ()

Operaciones de convergencia
Tj T en D0 () si y s
olo si Tj () T () en R para toda D ()
on Tf D0 () definida por
Ejercicio 4. Para cada f L1loc () hay una distribuci
Z
Tf () = f d, D ()

AQUI ME QUEDE...LO
RESOLVI EN HOJAS APARTE.

4.6. Convoluci on y suavizamiento. La informacion fue obtenida del ([Eva], pagina 629) y del
([Ada], p
agina 32, 36)
A continuaci
on introduciremos herramientas que nos permitiran construir aproximaciones suaves a fun-
ciones dadas.
8 1. UNIDAD 1: PRELIMINARES

4.6.1. El producto de convoluci on. A menudo es u til formar un producto no puntual de dos funciones
que regularice las irregularidades de cada una de ellas para producir una funcion mejor portada localmente
que cada factor por s solo. Este producto es el producto de convolucion u v de dos funciones u, v definido
por Z
u v (x) = u (x y) v (y) dy
Rn
cuando la integral existe.

Para conocer propiedades de este producto de convolucion ver el ([Ada], pagina 32-34)
Recordemos que Rn denotar
a un dominio en Rn , dado > 0 denotaremos
= {x : dist (x, ) > }

Sea : Rn R definida como

(  
1
C exp ||x||2 1
si ||x|| < 1
(x) :=
0 si ||x|| 1
la constante C > 0 se selecciona de tal manera que
Z
dx = 1
Rn

n 24. Llamaremos a el mollifier (suavizador, o regularizador) est

Definicio andar.
n 25. Para cada > 0 definimos
Definicio
1 x

(x) =
n
Ejercicio 5. Grafica los suavizadores est
andar para n = 1, 2. Obten C de manera que su integral en
Rn sea 1
R R
Ejercicio 6. Si C es tal que Rn dx = 1 , demuestra que Rn dx = 1
Ejercicio 7. Si f : R , Rn y f L1loc (), definimos su suavizamiento en como
f := f
es decir Z

f (x) = f (x) = (x y) f (y) dy

demuestra que si x Z
f (x) =

(y) f (x y) dy
B ( 0 )

Ejercicio 8. Demuestra que f C ( )

Ejercicio 9. f f casi en todas partes cuando 0.
Ejercicio 10. Si f C () entonces f f uniformemente en subconjuntos compactos de .
Ejercicio 11. Si 1 p < y f L1loc () entonces f f en L1loc ()

4.7. C0 () es denso en C ().

Teorema 13. W m,p () definido como tal tal y tal es la compleci
on de C m () con respecto a la norma
kkm,p
Hacerlo
 4. 1.9. C0 () ES DENSO EN Lp () 9

4.8. W m,p (). Para p = 2, los espacios W m,p () tienen estructura de espacio de Hilbert y se usa una
notaci
on diferente:

W m,2 () = W2m () = H m ()
W 0,2 () = W20 () = H 0 () = L2 ()

Observervese que para m = 0 y p = 2 se tiene la norma L2 .

Para espacios normados se tiene el siguiente teorema en el que se concluye que dado un espacio normado,
es posible hacerlo completo y que sea un espacio de Banach.

Veamos cu
al es la necesidad de estudiar espacios de Sobolev.
 Captulo 2

Unidad 2: Soluci
on d
ebil y espacios de Sobolev

1. Introducci
on

A los espacios de Sobolev W k,p () con Rn podemos pensarlos como espacios de funciones Lebesgue
integrables con derivadas debiles o generalizadas hasta de orden k.
Como veremos m as adelante, los espacios de Sobolev tienen muchas propiedades deseables para un
espacio de funciones, y por ello estos espacios resultan los indicados en cuestiones de existencia y unicidad
de soluciones de ecuaciones diferenciales parciales.
Aqu ira la motivaci
on de definir solucion de otra manera

2. Espacios de funciones

2.1. Notaci
on de multindice.

2.2. C m (). Si en C m () se define la norma

hR P i p1
p
kukm,p = ||6m |D u| dx

para 1 6 p < y para toda u C m () para la cual kukm,p es finita. La desigualdad del triangulo es
la u
nica propiedad de norma que no es tan obvia, pero se puede verificar por la desigualdad de Minkowski
para sumas finitas1. A la norma kukm,p se le conoce como la norma de Sobolev.
El espacio C m () no es completo con respecto a la norma de Sobolev kkm,p . La completacion de C m ()
con respecto a la norma kkm,p es llamado el espacio de Sobolev de orden (m, p) , se denota por W m,p ()
y es el conjunto antes definido. De lo anterior, ahora es claro que el espacio de Sobolev es un espacio de
Banach porque es la completaci on de un espacio normado.

Teorema 14. W m,p () definido como tal tal y tal es la compleci

on de C m () con respecto a la norma
kkm,p
Hacerlo

2.3. W m,p (). Para p = 2, los espacios W m,p () tienen estructura de espacio de Hilbert y se usa una
notaci
on diferente:

W m,2 () = W2m () = H m ()
W 0,2 () = W20 () = H 0 () = L2 ()

Observervese que para m = 0 y p = 2 se tiene la norma L2 .

1 Pn
1
1
1
|xi + yi |p
Pn
|xi |p
Pn
i=1
p i=1
p + i=1 |yi |p p

11
12
2. UNIDAD 2: SOLUCION
DEBIL Y ESPACIOS DE SOBOLEV

3. Soluci
on cl
asica vs. soluci
on d
ebil

Considerese el problema de valores en la frontera:

(3.1) u00 + u = f , x (0, 1)
u (0) = u (1) = 0


Definicio n 26. Una soluci
on cl on C 2 I que satisface (3.1) en el
asica o fuerte de (3.1) es una funci
sentido usual.

Multipliquemos (3.1) por C 1 ([0, 1]) e integremos por partes; obtenemos

Z 1 Z 1 Z 1
0
(3.2) u dx + udx = f dx
0 0 0

C 1 ([0, 1]) (0) = (1) = 0

Notemos que la formulaci on (3.2) tiene sentido aunque u C 1 ([0, 1]) (es decir, aunque u
/ C 2 ([0, 1]))
mientras que la formulacion (3.1) requiere 2 derivadas de u y de hecho, si usamos la integral de Lebesgue se
tiene la siguiente propiedad:

a con que u, u0 L1 (0, 1), veamos

bastar

4. Espacios de Sobolev W m,p ()

 Bibliografa

[R] Rudin Grande

[Da] Dacorogna, 2004
[Kre] Kreyszig
[Bre] Br
ezis 2011
[Ada] Adams,
[Eva] Evans, Lawrence
[Spi] Spivak, C
alculo

13