Teg Qa316 G38 2011

UNIVERSIDAD CENTROCCIDENTAL LISANDRO ALVARADO
Decanato de Ciencias y Tecnologa Licenciatura en Ciencias Matemticas
Espacios de funciones: Una introduccin a los Espacios de Sobolev

Trabajo Especial de Grado presentado por
Br. Massiel Gatica.
como requisito final para obtener el ttulo de Licenciado en Ciencias Matemticas rea de Conocimiento: Anlisis Funcional. Tutor: MCs. Mireya Bracamonte.
Barquisimeto, Venezuela.
Febrero de 2011
Universidad Centroccidental Lisandro Alvarado Decanato de Ciencias y Tecnologa Licenciatura en Ciencias Matemticas ACTA TRABAJO ESPECIAL DE GRADO Los suscritos miembros del Jurado designado por el Jefe del Departamento de Matemticas del Decanato de Ciencias y Tecnologa de la Universidad Centroccidental Lisandro Alvarado, para examinar y dictar el veredicto sobre el Trabajo Especial de Grado titulado:
Espacios de funciones: Una introduccin a los Espacios de Sobolev

Presentado por el ciudadano Br. Massiel Gatica. N
titular de la Cdula de Identidad
17.104032. Con el propsito de cumplir con el requisito acadmico nal para el
otorgamiento del ttulo de Licenciado en Ciencias Matemticas. Luego de realizada la Defensa y en los trminos que imponen los Lineamientos para el Trabajo Especial de Grado de la Licenciatura en Ciencias Matemticas, se procedi a discutirlo con el interesado habindose emitido el veredicto que a continuacin se expresa:
1
puntos. de .
Con una calicacin de das del mes de
En fe de lo expuesto rmamos la presente Acta en la Ciudad de Barquisimeto a los
TUTOR
FIRMA
PRINCIPAL
FIRMA
PRINCIPAL OBSERVACIONES:
FIRMA
Aprobado Reprobado
A mis padres Misael y Mara, mi hermana Marilyn y mi amor Julio Cesar.
AGRADECIMIENTOS
Al terminar esta etapa de mi vida, quiero expresar un profundo agradecimiento a quienes con su ayuda, apoyo y compresion me alentaron a lograr esta bella realidad. Agradezco a mi Dios por ser mi roca rme y mi fortaleza cada dia. Agradezco a mis padres Misael y Mara y mi hermana Marilyn quienes participaron en mi desarrollo acadmico y personal. Deseo tambin expresar mi gratitud a mi tutora Mireya Bracamonte por su apoyo y consejo para nalizar tan apreciada meta. Mil gracias a mis compaeros de carrera Alba, Rosmery, Anais, Jacobo, Juan, Elvis, Juan C, Javier R, Alexander M, Mariana y Emily; por su apoyo y comprensin . Finalmente deseo agradecer a Julio Cesar quien ha compartido mis tristezas y xitos en cada paso de la carrera este logro es tambin tuyo.
Resumen
Los espacios de Sobolev introducidos por el mismo Sobolev en los aos treinta con el n de estudiar los problemas de contornos en la teora de las ecuaciones diferenciales en derivadas parciales, resultaron sumamente exitosos, tanto en las aplicaciones como desde el punto de vista terico. Este trabajo presenta las propiedades fundamentales de los espacios de Sobolev; entre las que se destacan la completitud del mismo, as como las condiciones necesarias para su reexividad y separabilidad. En busca de presentar un trabajo auto contenido se incluyen la teora de convolucin y el estudio de la teora de distribucin base fundamental en el desarrollo del mismo.
introduccin
Los Espacios de Sobolev, desde los aos treinta cuando fue introducido por el mismo Sobolev, se han convertido en una herramienta indispensable tanto en la teora de ecuaciones en derivadas parciales como su desarrollo terico; por tal razn se debe dedicar algn tiempo al estudio de las propiedades ms importantes de estos espacios. El objeto de este trabajo es brindar una monografa donde se introduce brevemente los espacios de Sobolev. El mismo, pretende presentar de forma precisa las demostraciones claras de todos los principales resultados sin pretender escribir un libro completo sobre el tema, sin embargo, hay que precisar que gran parte de la literatura existente sobre el tema parece caer en dos categoras, ya sea largos tratados sobre la materia con la la mayora de los supuestos generales posibles o con debates superciales connados a un captulo de un texto.
iii
ndice
Agradecimientos 1. Preliminares
1.0.1. 1.0.2. 1.0.3. 1.1. 1.2. Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . Topologas dbil y dbil- . . . . . . . . . . . . . . . . . . . . .
i 1
2 5 7 9 15
Espacios Reexivos . . . . . . . . . . . . . . . . . . . . . . . . .
Medida de Lebesgue en La integral de Lebesgue
y funciones medibles. . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .
2. Los espacios Lebesgue Lp ()

2.1. 2.2. 2.3. Aproximacin por funciones continuas . . . . . . . . . . . . . . . . . . Convolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aproximaciones de Unidad. . . . . . . . . . . . . . . . . . . . . . . . .
20
27 30 34
3. Distribuciones
3.1. 3.2. 3.3. Notacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Distribuciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Derivada de una distribucin . . . . . . . . . . . . . . . . . . . . . . . .
37
37 38 41
4. Espacios de Sobolev Referencias Bibliogrcas
44 51
iv
Captulo
Preliminares
Comenzamos este captulo introduciendo las nociones topolgicas bsicos que son indispensables en el desarrollo del trabajo. Los detalles sobre esta seccin pueden consultarse en textos como [17], [10] entre otros.
Denicin 1.1 ([17]). Dado un conjunto no vaco X una familia de subconjuntos de X se dice topologa en X si, y slo si, satisface cada uno de lo siguientes axiomas:
T1 : El conjunto vaco y X pertenecen a . T2 : La interseccin de cualquier par de miembros de est en . T3 : La unin arbitraria de miembro de est en .
Si es una toploga en X , al par (X , ) se le conoce como espacio topolgico.

El concepto clsico de continuidad de funciones entre espacios topolgicos arbitrarios est inspirado en la caracterizacin de la continuidad de una funcin entre espacios mtricos.
Denicin 1.2 ([17]). Dados dos espacios topolgicos (X , ) y (Y, U ) una fucin f : X Y se dice continua si, y slo si, f 1 (U ) para cada U U .
Naturalmente tambin es posible denir lo que signica que una funcin continua en un punto
f :XY
es
x X.
CAPTULO 1. Preliminares
Denicin 1.3. Sean X , Y espacios topolgicos. Una funcin f : X Y es continua en un punto x0 X si para cada vecindad V de f (x) en Y existe una vecindad U de x en X tal que f (U ) V .
De estas dos ltimas deniciones se concluye de manera inmediata que una funcin
f :XY 1.0.1.
es continua si y slo si
es continua en
para cada
x X.
Espacios de Banach
Lp ()
Ahora bien, dado que este trabajo est basado en los clsicos espacios de Banach
es indispensable hacer una introduccin de los Espacios de Banach, que adems son objetos de estudio indispensables en el anlisis funcional y reciben su nombre en honor a Stefan Banach. Los detalles de las demostraciones y quien desee consultar informacin adicional puede consultar [12].
Denicin 1.4. Un espacio vectorial V se dice normado si, y slo si, existe una funcin . : V V R (denominada norma en V ) tal que, para todo u, v, w V satisface:
(i) ( Positividad) u 0 y u = 0 si, y slo si, u = OV , (ii) ( Cambio de escalar) u = || u para cualquier escalar . (iii) ( Desigualdad triangular) u + v u + v para todo u, v V . Al par (V, . ) se le conoce con el nombre de espacio vectorial normado.
Denicin 1.5. La distancia asociada a una norma es d(x, y) = xy . Se verica fcilmente que efectivamente d es una mtrica. La topologa asociada a una norma es la topologa de espacio mtrico inducida por la distancia asociada. Los lmites de sucesiones en espacios normados y de funciones entre espacios normados, se suponen respecto a la topologa asociada. Por ejemplo, la continuidad de una funcin f entre dos espacios normados X, Y en un punto a X se expresa como: Para cada > 0 existe un > 0 tal que
xa <
2
f (x) f (a) < .
Si el espacio mtrico asociado es completo, es decir, toda sucesin de Cauchy converge:

n,m
l m d(xn , xm ) = 0
l xn = x X, m
decimos que el espacio vectorial normado X es un espacio de Banach.

Para continuar recordemos que, si campo, la funcin
X, Y
son espacios vectoriales, ambos sobre el mismo
T :XY
que satisface
T (x+z) = T (x)+T (z), para escalares
,
Si
x, z X ,
es llamada
operador lineal.
X, Y
son espacios normados podemos denir la nocin de un operador lineal acotado,
y como veremos la acotabilidad de un operador es equivalente a su continuidad.
Denicin 1.6. Sean X y Y dos espacios normados. Un operador T : X Y es acotado si existe una constante M 0 tal que
Tx
Y
M x
, para todo x X.
Si no existe una constante que satisfaga esta desigualdad diremos que T es no acotado. Si T : X Y es un operador lineal acotado, denimos la norma del operador T mediante
T := sup
x=0
Tx x
T := sup T x ;
x 1
T := sup T x .
x =1
Teorema 1.1. Un operador lineal es acotado s y slo si es continuo.

El conjunto
L(X, Y )
denota el conjunto de todos los operadores lineales que aplica de
en
Y,
B(X, Y )
el conjunto de todos los operadores en
L(X, Y )
que son acotados.
ste ltimo conjunto es un espacio de Banach cuando respecto a la norma del operador.
es un espacio de Banach, con
Denicin 1.7 (Inmersin). Un espacio normado X se dice que est immerso en un espacio normado Y , y se denotara por X Y , siempre que:
(i) X sea un subespacio vectorial de Y , (ii) El operador identidad I denido sobre X sea continuo.
Una clase importante de espacios de Banach que permite generalizar propiedades algebraicas y geometras del espacio eucldeo. El nombre le es dado en honor al matemtico David Hilbert quien los utiliz en sus estudios sobre ecuaciones integrales en 1912.
Denicin 1.8. Sea X un espacio vectorial sobre K. Un producto escalar o producto interno denido sobre X es una aplicacin , X X K que verica:
(i) ( Aditiva) u + v, w = u, w + v, w para todo u, v, w X , (ii) (Homognea) u, v = u, v para todo K, (iii) (Hermtica) u, v = v, u para todo u, v X (iv) (Denida positiva) u, u 0 para todo x X y u, u = 0 si y slo si u = 0. Toda aplicacin que verica (i), (ii) y (iii) se llama forma sesquilineal hermtica. En este caso X es llamado espacio con producto interno o Pre-Hilbert.
Note que todo espacio Pre-Hilbert es normado, si se dene la norma por y por tanto es tambin mtrico, con la distancia
x :=
(x, x),
d(x, y) = x y =
(x y, x y).
De donde es natural, estudiar el caso particular en que dicho espacio sea completo.
Denicin 1.9. Un espacio de Hilbert es un espacio pre-Hilbert completo respecto a la mtrica asociada. Por tanto, todo espacio de Hilbert es un espacio de Banach en el que se ha denido un producto interior.
La nocin de convergencia de sucesiones de nmeros reales nos da la idea de la generalizacin de la convergencia de sucesiones en un espacio lineal normado
Denicin 1.10. Una sucesin (fn ) en un espacio lineal normado es llamada convergente a un elemento f de el espacio si, dado > 0, existe N tal que para todo n > N tenemos f fn < Si fn converge a f escribiremos f = l fn o fn f m Denicin 1.11. Un espacio lineal normado es llamado completo si cada sucesin de Cauchy en el espacio converge, es decir, si para cada sucesin de cauchy (fn ) en el espacio existe f en el espacio tal que fn f
4
Denicin 1.12. Una serie (fn ) en un espacio lineal normado es llamada convergente a la suma s si s esta en el espacio y la sucesin de sumas parciales de la serie converge a ,esto es,
n
s
i=1
fi 0
En este caso se escribe s = si fn < . i=1
i=1
fi . La serie (fn ) es llamada absolutamente convergente
Proposicin 1.1. Un espacio normado lineal X es completo si y solo si cada serie absolutamente convergente es convergente en X Teorema 1.2 (Teorema de representacin de Riesz). Sea X un espacio de Hilbert. Un funcional lineal x denido sobre X pertenece a X si slo si existe un nico y X tal que x (x) = x, y , para todo x X y en este caso x X = y X . Denicin 1.13. Sea X un espacio vectorial sobre un campo K; llamamos dual algebrico de X , que denotaremos por, X , al K espacio vectorial
X = {x : X K / x es lineal y continuo} .
Note que en este espacio disponemos de una norma que se puede expresar de varias formas, como son:
x = m n{K > 0 : |x | K x para todo x X} = sup{|f (x)| : x X, x 1}
para todo x X . La completitud del campo K nos asegura que X es un espacio completo. El espacio de Banach X recibe el nombre de dual topolgico del espacio normado X , para diferenciarlo del dual algebraico.
1.0.2.
Topologas dbil y dbil-
Introducimos ahora las topologas dbil y dbil-, para lo cual necesitamos discutir primero algunas nociones generales de la topologa.
Denicin 1.14. Sea X un conjunto, Y un espacio topolgico y F una familia de funciones de X en Y . Consideremos la coleccin de subconjuntos S de la forma
{x X : x f 1 (U )},
indexados por f F y U abierto en Y . Denimos la topologa dbil en X determinada por F , como los subconjuntos que son uniones arbitrarias de intersecciones nitas de elementos de S .
El lector puede vericar los siguientes resultados, y puede consultarse en textos como [4] y [6] .
Lema 1.3. La coleccin de conjuntos que son uniones nitas de elementos de S forman una base. Lema 1.4. Sea X un conjunto, Y un espacio topolgico y F una familia de funciones de X en Y . Luego, la topologa dbil en X determinada por F es la ms pequea tal que las funciones de F son continuas. Denicin 1.15. Una funcin f : X Y , donde X e Y son espacios topolgicos se llama secuencialmente continua, si cada vez que una sucesin {xn } en X converge a x X , entonces (f (xn )) converge a f (x).
En un espacio topolgico, toda funcin continua es secuencialmente continua. Luego tenemos el siguiente lema.
Lema 1.5. Sea X un conjunto, Y un espacio topolgico y F una familia de funciones de X en Y . Si X tiene la topologa dbil determinada por F , entonces toda funcin f F es secuencialmente continua. Ms an, si {xn } es una sucesin en X y x X , entonces xn converge a x si y slo si (f (xn )) converge a f (x) para toda funcin f F .
Estemos ahora preparados para introducir la topologa dbil en el contexto de los espacios de Banach.
Denicin 1.16. Sea X un espacio de Banach. Denimos la topologa dbil en X como la topologa dbil en X denida por X , es decir, la topologa con menos abiertos, sobre X , que hace que cada miembro de X sea continuo.
6
Para denir la
topologa dbil-
X
decimos que una red
(x )
en
converge en la
topologa dbil- sobre
si (x (x)) converge a
x (x)
para cada
x X.
En [4] arma que "las topologas dbil y dbil- forman una especie de sociedad familiar, an cuando por lo general son muy diferentes, en su propia particularidad cada una de ellas ayuda a un mejor entendimiento de la otra. Los espacios de Banach reciben su nombre en honor al matemtica
Stefan Banach,
por tal razn, una referencia obligatoria para las personas que pretendemos estudiar espacios de Banach, es el teorema de Hanh Banach. Existen diversas versiones de este importante teorema, slo que en este trabajo slo citaremos una de las que haremos uso en el transcurso del trabajo. Sin embargo, quien desee revisar con detalle puede consultar textos como [5], [16], [19].
Teorema 1.6 (Teorema de Hahn-Banach, 1927). Sea Y un subespacio de un espacio normado X . Si y Y entonces existe x X tal que x X = y Y y x (y) = y (y) para todo y Y .
Esto signica que, todo funcional continuo en un subespacio admite una extensin Hahn-Banach a todo
X.
1.0.3.
Si
Espacios Reexivos
X,
es el
es un espacio normado, el bidual, tambin llamado segundo dual de
espacio de Banach
X := X = L(X , K),
con norma para todo x y
x := sup{|x (x )| : x BX } = m n{K > 0 : |x (x)| K x

De la desigualdad
X }.
|x (x)| x X
X , vlida para cualquier
xX
x X ,
deduci-
mos que los elementos de
son funcionales lineales continuos en
Para formalizar esta idea, denimos la inyeccin cannica del espacio normado bidual.
en su
Denicin 1.17. Sea X un espacio normado y consideramos el operador lineal

J :X X
x J(x)
7
denido por
J(x)(x ) := x (x), para todo x X .
A J se le llama inyeccin cannica del espacio X en su bidual y hemos visto que J identica totalmente a X con un subespacio de X , simblicamente J(x) X . Es natural preguntarse si ese subespacio es el total, con lo que tendramos total isometra entre X y X . Desafortunadamente, en general, J(x) no coincide con X , simplemente por el hecho de que X siempre es un espacio de Banach mientras que X (equivalente a J(x)) puede no ser completo. Quien desee mayor informacin, puede consultar [2], [12] o cualquier otro libro sobre teora de espacios de Banach.
Denicin 1.18. Se dice que un espacio de Banach es reexivo cuando la inyeccin cannica de X en X es sobreyectiva, es decir, cuando J(x) = X .
En este caso, J es un isomorsmo isomtrico de X sobre X , podemos escribir X X y tenemos total simetra entre X y X .
Denicin 1.19. (a) Una coleccin M de subconjuntos de un conjunto X se dice que es una -lgebra en X si M tiene las siguientes propiedades:
(i) X M, (ii) Si A M entonces AC M, (iii) Si A =
n=1
An y si An M, n = 1, 2, entonces A M.
(b) Si M es una -lgebra en X , entonces se dice que X es un espacio medible y a los elementos de M se les llama conjuntos medibles en X . (c) Se llama medida positiva a una funcin, denida en una -lgebra M con valores en [0, ] y que es numerablemente aditiva. Esto signica que si {An } es una coleccin numerable disjunta de elementos de M, entonces

An
n=1
=
n=1
(An ).
(d) Se llama espacio de medida a un espacio medible en el que hay denida una medida positiva sobre la -lgebra de sus conjuntos medibles.
8
1.1.
Medida de Lebesgue en
Rn
y funciones medibles.
La contribucin de Henri Lebesgue (1875-1941) ms importante a la matemtica fue la teora de integracin desarrollada por Lebesgue donde extendi la teora de Riemann a una clase ms amplia de funciones.
Denicin 1.20. Sea Rn . Se dene la medida exterior de Lebesgue de como

m () := nf
n=1
V ol(Qn ),
n=1
Qn Qn rectngulos cerrados
donde el nmo se toma sobre todas las familias numerables de rectngulos que cubren a . La medida exterior m es la funcin de conjuntos, denida en P(Rn ) (conjunto de partes de Rn ), la familia de todos los subconjuntos de Rn , y con valores en [0, +].
Observacin 1.1. Quizs convenga recordar que:

La denicin puede hacerse indistintamente con rectngulos abiertos, cerrados o semiabiertos. La medida exterior generaliza el concepto de volumen de un rectngulo: Si R es un rectngulo en Rn , m (R) = V ol(R).
En la Teora de la Medida abstracta se pretende construir un procedimiento para medir conjuntos y para integrar funciones denidas en los subconjuntos de un espacio Dado un espacio
de medida exterior es una funcin de conjunto
denida en el
conjunto de todos los subconjuntos de
que sea no negativa y verica las tres primeras
propiedades del teorema siguiente. Las otras dos propiedades son propias de la medida de Lebesgue, y de algunas otras medidas en espacios topolgicos o mtricos, que dotan a la estructura formada por el espacio y la medida de mejores propiedades de tipo topolgico y geomtrico. El siguiente teorema recoge las propiedades ms importante de la medida exterior de Lebesgue:
Teorema 1.7
(Propiedades de la medida exterior)
(i) m () = 0,
(ii) (Monotona) Si A B , m (A) m (B), (iii) (Subaditividad) Sea {n }n una familia numerable de conjuntos; entonces

n=1
n=1
m (n ) .
(iv) (Regularidad)
m () = nf{m (G) : G abierto, G}
(v) (Invariante por traslaciones) Para todo conjunto y todo x Rn ,

m (x + ) = m ().
Sin embargo la medida exterior falla en cambio en una propiedad fundamental respecto al volumen: no es cierto en general que si
son conjuntos disjuntos, se tenga
m (A B) = m (A) + m (B).
Denicin 1.21 ([3]). Un conjunto se dice Lebesgue medible, que en lo que sigue llamaremos simplemente medible, si verica la siguiente propiedad: Para todo E se verica la igualdad
m (E) = m (E ) + m (E ).
Denotaremos por M a la familia de todos los conjuntos de Rn que son medibles. Se llama medida de Lebesgue en Rn a la restriccin de la medida exterior m a M, esto es
m : M [0, +], m(A) = m (A).
El siguiente teorema resume las propiedades de los conjuntos medibles, que juegan un papel fundamental en el transcurso del trabajo.
Teorema 1.8. En cada enunciado supongamos que A, B M, entonces

1) Ac M, 2) A B M; y por tanto A B M,
10
3) A B M, y si adems A B tiene medida nita,

m(A B) = m(A) + m(B) m(A B),
Y como propiedades complementaras tenemos que 1) Si
A1 , A2 , ..., Ak
es una familia nita de conjuntos medibles, disjuntos dos a dos,
entonces
Ai M.
i=1
2) 3) 4) Si Si Si
Adems,
m
i=1
Ai
=
i=1
m(Ai ).
m (A) = 0 A M, {An }n n),
entonces A es medible,
para todo
x Rn , x + A M
m(x + A) = m(A). An+1

para
es una sucesin no decreciente de conjuntos medibles (An entonces
todo
m
i=1
5) Si
Ai
= l m(An ). m
n
{An }n n)
es una sucesin no creciente de conjuntos medibles (An
An+1
para
todo
y existe
n0
con
m(An0 ) < ,
entonces
m
i=1
Ai
= l m(An ). m
n
Podemos observar entonces que todo rectngulo
R Rn
es medible.
Podemos ahora aplicar esta teora al estudio de funciones escalares de varias variables.
Denicin 1.22. Sean Rn , M y f : R. Se dice que f es Lebesguemedible o simplemente medible si para todo abierto G de R, la imagen inversa, f 1 (G) := {x ; f (x) G}, es un conjunto medible en Rn .
En este punto es vlido hacer las siguientes observaciones:
Observacin 1.2. 1) En primer lugar, = f 1 (R) debe ser medible. Slo tiene sentido hablar de funciones medibles is estn denidas en conjuntos medibles.
11
2) Son equivalentes: (a) f es medible (b) Para todo conjunto C R cerrado, f 1 (C) M. (c) Un conjunto A Rn es medible si y slo si la funcin caracterstica
XA : Rn R denida por XA (x) := 1, x A, 0, x A, /
es medible.
La familia de funciones medibles son la base sobre la que construimos la integral, como las funciones continuas lo eran para la construccin de la integral de Cauchy. Presentamos algunos teoremas bsicos para garantizar la medibilidad de una funcin real de varias variables.
Teorema 1.9. Toda funcin continua denida en un conjunto medible es medible.

Adems, la composicin de una funcin medible con una funcin continua tambin es medible, ms no as necesariamente la composicin de dos medibles.
Teorema 1.10. Sea Rn , M, f : R una funcin medible, y g : f () R continua en f (). Entonces g f es medible. Teorema 1.11. Sea Rn , M y f : R. Son equivalentes:
1) f es medible, 2) Para todo a R, {x : f (x) < a}, 3) Para todo a R, {x : f (x) a}, 4) Para todo a R, {x : f (x) > a}, 5) Para todo a R, {x : f (x) a}.
Corolario 1.12. Sea Rn , M, y sean fn : R funciones medibles. Entonces, si existen las funciones
12
g(x) := sup fn (x)

n
j(x) := l inf fn (x) m

n
k(x) := l sup fn (x) m

n
f (x) := fn (x) nf
n
l(x) := l fn (x) m
n
son medibles.
Proposicin 1.2. Sea Rn , M, y sean f, g : R funciones medibles. Entonces,

Para cada R se tiene que f es medible.
f + g y f g es medible. f.g es medible.
Si g(x) = 0 para todo x ,

|f | es medible.
f es medible. g
Si f es medible y g = f en casi todas partes entonces g tambin es medible. Esto es, si existe un conjunto E con m(E) = 0 y f (x) = g(x) para todo x E , entonces f es medible si y slo si g es medible.
Recordemos que el
soporte
de una funcin
f : X R,
denotado por
Sopp f ,
es la
clausura del conjunto
{x X : f (x) = 0}. f
As, el soporte de
es el complemento
del conjunto abierto ms grande donde vectorial sobre Sea
se anula. Denotaremos por
C0 (X)
al espacio
de todas las funciones
f :XK
que tienen soporte compacto. al conjunto de todas las
un dominio en
Rn .
Denotaremos por Y si
C 0 () = C()
funciones continuas sobre
es un entero no negativo, hacemos
C k () := {u/u : R,
D u C 0 (),
0 || k}, u }
k C0 () := C k () {u/Sopp u es
compacto Sopp
C () =
Sobre
C m ().
m=0
C()
se dene la norma de convergencia uniforme, como
:= sup|f (x)|,
x
13
con la cual es un espacio de Banach ([13]). Es fcil chequear que
C0 ()
es un subespacio cerrado de
C(),
por lo cual se sigue el
primero con la norma uniforme tambin es un espacio de Banach. Luego, se tiene la siguiente proposicin.
Proposicin 1.3. Sea (fn )nN una sucesin creciente en C0 (), que converge puntualmente a una funcin f C0 (). Entonces (fn ) converge uniformemente a f . Teorema 1.13 (Teorema de Lusin). Si f es una funcin medible, f (x) = 0 para x A / donde m(A) < y > 0, entonces existen una funcin g C0 (Rn ) tal que
xRn
sup g(x) sup f (x) y m({x Rn : f (x) = g(x)}) < .

xRn
Denicin 1.23. Sea Rn , M; se llama funcin simple en a una funcin medible s : R que slo toma un nmero nito de valores, es decir, tal que s() = {a1 , ..., ak }. En esta caso s puede expresarse de la forma
n
s(x) =
i=1
ai Ai (x)
donde Ai = s1 ({ai }) = {x : s(x) = ai } y Ai es la funcin caracterstica del conjunto Ai .

Para construir la integral, que es nuestro objetivo, necesitamos el siguiente resultado fundamental, que nos permite aproximar funciones medibles.
Teorema 1.14. Sean Rn , M y f : R una funcin medible no negativa. Existe una sucesin de funciones simples de en R tales que
1) 0 sn (x) sn+1 (x) para todo x y todo n N, 2) l sn (x) = f (x) para todo x . m
n
Podemos ahora denir la integral de Lebesgue de funciones medibles.
14
1.2.
La integral de Lebesgue
En la teora de los espacios funcionales surgen problemas con la integral de Riemann, problemas que no permiten llegar a ciertos teoremas indispensables. Los problemas surgen cuando tratamos de hacer interactuar a la integral de Riemann con otras operaciones, especialmente con operaciones de lmite (por ejemplo, el lmite de una sucesin de funciones integrables puede no ser integrable). Es cuando surge la necesidad de renovar la integral. Los problemas de la integral de Riemann pueden solucionarse mediante la generalizacin conocida como integral de Lebesgue. Para mayores detalles, el lector puede consultar [3].
Denicin 1.24. Sean Rn , M y s : R una funcin simple no negativa, k k Ai = . s= ai Ai , Ai Aj = , si i = j y i=1 i=1 Se dene la integral de s en por
k
s :=
i=1
ai m(Ai )
con el convenio de que 0. = 0.

An cuando en este captulo no nos detenemos a hacer un estudio detallado de la integral de Lebesgue vale la pena hacer las siguientes observaciones: 1) La razn de denir la integral slo para funciones no negativas es asegurar que k la suma ai m(Ai ) est bien denida, que no pueda dar lugar a algo del tipo i=1 . La integral ser no negativa, pero puede ser innito, es decir,
2)
3) Geomtricamente, la integral de base
s .
es la suma de los volmenes de los prismas de
Ai
y altura
ai .
Tenemos entonces las siguientes propiedades
Proposicin 1.4. Sean Rn , M y s1 , s2 : R funciones simples no negativa. Entonces

15
1)
(s1 + s2 ) =
s1 +
s2 ,
2) Para todo R,
s1 =
s1 .
3) Si existe E con m(E) = 0, tal que s1 (x) s2 (x) para todo x E , entonces
s1

s2 .
Finalizamos esta seccin deniendo la para funciones no negativas.
Denicin 1.25. Sean Rn , M y f : R una funcin medible, con f (x) 0 para todo x . Se dene la integral de f en por
f := sup

s; s funcin simple, 0 s f
Denicin 1.26. Denimos la parte positiva f + y la parte negativa f de una funcin f por
f + (x) := mx{0, f (x)}, a f (x) := mx{0, f (x)}. a
As, f = f + f , donde f + y f son funciones no negativas.

Podemos ahora denir la integral de Lebesgue para una funcin
arbitraria.
Denicin 1.27. Sean Rn , M y f : R una funcin medible. Se dene la integral de f en por

f :=

f+
f .
Observacin 1.3. Si las integrales de f + y f son ambas no tiene sentido la expresin . Decimos en este caso que la funcin f no es integrable. Denicin 1.28 (Integral en un subconjunto, medible, se dene la integral de f en H por
f (x)dx :=
H
ver [18])
. Sea H Rn un conjunto
f H .
16
Algunas propiedades que nos sern de utilidad se encuentran resumidas en el siguiente teorema.
Teorema 1.15 (Propiedades bsicas de la integral). Sean f, g : Rn R funciones medibles. Entonces

(a) (Linealidad) Sea c R,
c(f + g)(x)dx = c

f (x)dx + c
g(x)dx.
(b) (Monotona) Sea f (x) g(x) para todo x ,

f (x)dx

g(x)dx.
(c) (Monotona) Si E, F son conjuntos medibles y E F , entonces

f (x)dx
E F
g(x)dx.
(d) |f | es integrable y
f (x)dx

|f | (x)dx.
Si
|f | (x) = 0, entonces f = 0 en casi todas partes.
Observe la diferencia fundamental de enfoque existen entre la integral de Riemann y la de Lebesgue. La de Lebesgue utiliza una aproximacin por funciones constantes en conjuntos medibles susceptibles de causar dicultades; a diferencia de las integrales superiores e inferiores de Riemann, que utilizan simplemente intervalos.
Teorema 1.16. Sea fn una sucesin creciente de funciones medibles no negativas (ampliadas), con lo que f (x) = l fn (x) es medible y m n
f (x)dx = l m
E n
fn (x)dx
E
(1.1)
para cualquier conjunto medible E .

El teorema de convergencia montona suele aparecer bajo la forma de lema de Fatou.
17
Lema 1.17 (Lema de Fatou). Si fn es una sucesin de funciones integrables no negativas, entonces
l inf fn dx l inf m m
n n
fn dx.
La demostracin de cualquiera de estos ltimos teoremas y lemas son tratados en un curso de teora de la medida bsico, puede consultar en [9, 3, 10] entre otros. Otro resultado signicativo sobre convergencia en integrales es el teorema de la convergencia dominada de Lebesgue.
Teorema 1.18. Si fn es una sucesin de funciones integrables, fn f y |fn | g para una funcin integrable g, entonces f es integrable y
f dx = l m
Dado que
fn dx.
Rn m+k
es importante ver que el clculo de una integral mltiple se reduce
al de integrales simples. Concretamente se va a probar que si medible de
f (x, y)
es una funcin
variables, que no cambia de signo o que es integrable, entonces las
integrales iteradas
f (x, y)dy dx,
f (x, y)dx dy
(1.2)
existen y son iguales, siendo su valor precisamente tantas veces como sea necesario, el clculo de simples.
f . Por tanto repitiendo el proceso

se reducir al de ciertas integrales
El primer caso que vamos a considerar en el que se da la igualdad entra la integral de una funcin y sus integrales iteradas, es el de funciones medibles no negativas.
Teorema 1.19. Sea f : Rm+k [0, +] medibles. Entonces

(i) La funcin de la variable y Rk , f (x, ) : y f (x, y), es medible para casi todo x Rm . (ii) La funcin g, denida para casi todo x por g(x) = f (x, y)dy, es medible. (iii)
gdx = f , es decir la integral de f coincide con sus integrales iteradas.
18
La demostracin de este teorema generalmente se reduce al caso en que funcin caracterstica de un conjunto medible (a) Si una funcin la funcin (b) Si
f = XE ,
la
y se hace uso de los siguientes hechos:
f 0 satisface el teorema de Tonelli, entonces tambin lo satisface

cualquiera que sea la constante
cf ,
c 0.
{fk }
es una sucesin de funciones no negativas que satisfacen el teorema de
Tonelli, entonces tambin lo satisface la funcin Y puede ser consultada en [3], [7] entre otros.
fk .
Como ya sealamos al principio las integrales iteradas tambin coinciden con la integral de la funcin cuando sta es una funcin integrable. El enunciado preciso de este hecho lo constituye el teorema de Fubini:
Teorema 1.20
(Teorema de Fubini)
. Sea f : Rm+k R integrable. Entonces:
(i) La funcin de la variable y Rk , f (x, ) : y f (x, y), es integrable para casi todo x Rm . (ii) La funcin g, denida para casi todo g(x) = (iii)
gdx = f. f (x, y)dy, es integrable.
19
Captulo
2
Lp (),
los
Los espacios Lebesgue Lp()

Contamos ahora con la base terica que nos permite introducir los espacios cuales juegan un papel fundamental tanto en la matemtica clsica como en la moderna. En el resto del captulo consideramos
Rn
como un subconjunto medible en el
sentido de Lebesgue y trabajaremos con funciones medibles de
en
identicando
dos funciones que coincidan casi en todas partes, lo cual denotaremos c.t.p, esto es, que coincidan salvo en un conjunto de medida nula.
1 1 p 1 denimos su conjugado p mediante la igualdad + = 1 y p p observamos que tambin 1 < p < , as la relacin entre p y p es simtrica: (p ) = p.
Dado un nmero real Pues bien, para cualquier
a, b R+
es conocida la desigualdad de Young
ap b p ab + . p p
Su demostracin es consecuencia de la convexidad de la funcin exponencial y puede consultarse en textos como [12], [18] entre otros y su relevancia en nuestro trabajo consiste en que de esta desigualdad sin gran dicultad se deduce la desigualdad de Hlder para integrales. Otra desigualdad que tambin es de gran utilidad cuando trabajamos con los espacios
Lp ()
es
(a + b)p 2p1 (ap + bp )

que se cumple para
(2.1)
1p<
a, b 0.
Ahora bien, recordando las clsicas las desigualdades de Hlder y Minkowski,
20
CAPTULO 2. Los espacios Lebesgue
Lp ()
Denicin 2.1. Si x1 , x2 , ..., xn , y1 , y2 , ..., yn son nmeros reales arbitrarios y p, p son nmeros reales mayores o iguales a 1, conjugados, la siguiente desigualdad es conocida como la desigualdad de Hlder
n n 1/p n 1/p
|xi yi |
i=1 i=1
|xi |
p i=1
|yi |
(2.2)
Mientras que la desigualdad de Minkowski est dada por

n n 1/p n 1/p
|xi + yi |
i=1 i=1
|xi |
+
i=1
|yi |
(2.3)
Denicin 2.2 (El espacio Lp ()). Sea un subconjunto abierto en Rn no vaco y sea 1 p < . Denotemos por Lp () a la clase de funciones medibles u denidas en para la cual
|u(x)|p dx < .
Los elementos de (2.4)
Lp ()
son clases de equivalencias de funciones medibles satisfaciendo
(2.4). Dos funciones son equivalentes si ellas son iguales en casi todas partes de A partir de la desigualdad de Young obtenemos la desigualdad de Hlder
Teorema 2.1 (Desigualdad de Hlder para integrales). Sea 1 < p < y p el exponente conjugado de p. Si u Lp () y v Lp () entonces uv L1 () y
1/p 1/p
u(x)v(x) dx

|u(x)| dx
|v(x)| dx
La demostracin puede encontrarse en textos como [1], [3] y [18]. Adems, a partir de esta desigualdad de Hlder; obtenemos la correspondiente desigualdad de Minkowski:
1/p
1/p
u(x) + v(x) dx

|u(x)| dx
|v(x)| dx
Si de
satisface (2.4) y
|u(x)|p dx = 0
en
Lp ()
entonces
u(x) = 0
en casi todas partes
21
Lp ()
Haciendo uso del teorema (1.15) puede vericarse que, para cualquier nmero real
c,
cu L ()
si
u L (). Lp ()
por
As, si denimos las operaciones suma y producto por un escalar en
(cf )(x) := c(f (x)),

es conveniente vericar que
(f + g)(x) = f (x) + g(x),
Lp ()
es un espacio vectorial.
Para vericar que la suma de dos funciones en (2.1) con la cual tendremos que si
Lp (),
hacemos uso de la desigualdad
u, v Lp ()
p
u(x) + v(x)
|u(x)| + |v(x)|
2p1 u(x) + v(x)
(2.5)
As de esta ltima desigualdad, conjuntamente con el teorema (1.15), se concluye que
u + v Lp ().
De hecho,
Lp ()
es un espacio normado.
Denicin 2.3 (La norma en Lp ). El funcional . p denido por:

1/p
u(x) dx
1p<
es una norma en Lp ().

En efecto, note que (1.15) se sigue que
|u(x)| 0
para todo
x ,
p
as como consecuencia del teorema
1/p
u(x) dx
0.
Por otra parte, nuevamente el teorema (1.15) juega un papel fundamental, como vemos a continuacin:
=0
u(x) dx u(x)
p
1/p
=0
casi todo
= 0 para
|u(x)| = 0 para u(x) 0 para

22
casi todo
casi todo
x .
Lp ()
Adems, para cualquier
se tiene
1/p
1/p
cu
es decir,
cu(x) dx
= |c|
u(x) dx
cu
|c| u
Finalmente, en el siguiente teorema se garantiza el cumplimiento de la desigualdad triangular, con lo cual se completa la vericacin de que el funcional denido es una norma sobre
Lp ().
(Desigualdad de Minkowski para integrales)
Teorema 2.2
. Si 1 p < entonces
u+v
+ v
Demostracin.
: sea
u, v Lp (), p=1
con
1p<
La desiualdad es cierta para
1/1
u+v
u(x) + v(x) dx u(x) + v(x) dx
u(x) + v(x) dx u(x) dx +

1
= =
Sea
v(x) dx
+ v
1 < p < , 1 < p <
Consideremos la funcin Hlder tenemos:
1 1 + = 1. p p w Lp () tal que w 0
con
1.
Por la desigualdad de
u(x) + v(x) w(x)dx

u(x) + v(x) w(x)dx u(x) w(x)dx +

p p
= u u
v(x) w(x)dx
p
+ v
p
+ v
23
Lp ()
sup
u(x) + v(x) w(x)dx : w(x) o en , v u+v u + v

p.
+ v
Por lo tanto
Denicin 2.4 (Espacios L ()). Una funcin u medible en es llamada esencialmente acotada en si existe una constante k tal que |u(x)| k c.t.p en . La mayor de las cotas inferiores k es llamado supremo esencial de |u| en y es denotado por ess sup |u(x)|. x Denotamos por L () el espacio vectorial de todas las funciones u que son esencialmente acotadas en .
El funcional
= ess sup |u(x)|
dene una norma en
L ().
x La demostracin de esto puede consultarse en textos como [12], [9], [15].
Teorema 2.3
(Desigualdad de interpolacin). Sean 1 p < q < r < tales que 1 1 = + para algn , 0 < < 1. Si u Lp () Lr () entonces u Lq () y q p r
1 r .
Demostracin.
Sean
1 1 q (1 )q + = p + r p r q q(1 ) p q Hagamos s = . Note que s > 1, pues en caso contrario, si s 1, signica que 1 q p q (1 )q (1 )q por lo que + 1+ > 1; lo cual es una contradiccin ya que por p r r q (1 )q hiptesis + = 1. Por lo tanto s > 1. p r r De manera anloga se dene s = , en cuyo caso podemos vericar que 1 < q(1 ) s < y 1 < s < . p, q, r
y
como en la hiptesis. Luego,
1=
Luego, la desigualdad de Hlder nos garantiza que
q q
|u(x)|q dx |u(x)|q |u(x)|(1)q dx

1/s 1/s
|u(x)|
qs
dx
24
|u(x)|
(1)qs
dx
(2.6)
Lp () r = r. q(1 )
q (1)r
Observe que
qs = q
p =p q
(1 )qs = (1 )q
Luego, al sustituir
en (2.6) se tiene
q p
q q
|u(x)| dx |u(x)|p dx
1 p
|u(x)| dx
q
u u
q p p
|u(x)|r dx
1 r
(1)q
u u
(1)q r (1) . r
En lo que sigue, si
es un conjunto medible, convenimos en escribir
V ol() :=
cuando
1dx
1dx < .
Teorema 2.4 (Un teorema de inmersin para los espacios Lp ). Sean 1 p q < y u Lq (), entonces u Lp () y
1 + p
(V ol())
1 q u q.
(2.7)
Esto es,
Lq () Lp ().
(2.8)
No presentamos esta demostracin, sin embargo los interesados en ella puede consultar [1] y [3] entre otras.
Teorema 2.5 Banach.

elegir
(Riesz-Fischer)
. Para 1 p < se tiene que Lp () es un espacio de

una sucesin de Cauchy en
Demostracin.
N (k)
Sea
(fk )kN
p
Lp ().
Entonces podemos
tal que
fn fm
1 < k, 2
para cada
n, m nk . 1 . 2k
En particular, para cada
fnk+1 fnk
<
(2.9)
25
Lp ()
Denimos la funcin
f (x) := fn1 +
k=1
(fnk+1 fnk ),
N 1
x ,
(2.10)
y consideremos las sumas parciales Tambin denimos la funcin
SN (f ) := fn1 +
k=1
(fnk+1 fnk ) = fnN .
g(x) := |fn1 | +
k=1
y las sumas parciales de
|fnk+1 fnk |,
x ,
(2.11)
g
N 1
SN (g) := |fn1 | +
k=1
|fnk+1 fnk |.
(2.12)
Entonces por la desigualdad de Minkowski y en virtud a la desigualdad (2.9) se tiene que
N 1
SN (g)
fn 1
p+ k=1 N 1
(fnk+1 fnk )
p
fn 1 fn 1
+
k=1 N 1
fnk+1 fnk 1 . 2k { SN (g) p }N
<
+
k=1
As, la sucesin no decreciente de sumas parciales
es acotada por
fn1
p+
1,
con lo cual se verica que
g p < . |f | g ,
As,
De las deniciones de en consecuencia,
en (2.10) y (2.11) respectivamente, se tiene que
|f |p
gp.
f Lp ()
y se sigue que
fp
es integrable. As,
converge en casi todas partes sobre
por lo tanto
{fnk }
converge a
en casi todas
partes. Note que
26
Lp ()
|f fnN | = = =
fn1 +
k=1
(fnk+1 fnk ) fnN

N 1
fn1 +
k=1
(fnk+1 fnk ) fn1

k=1
(fnk+1 fnk )
(fnk+1 fnk )
k=N
k=N
(fnk+1 fnk )
g.
Entonces por el teorema de convergencia dominada (1.18) se tiene que
f =
As,
l m
fnk .
1/p k
l m f fnk
= =
l m
|f (x) fnk (x)|p dx

1/p
|f (x) l fnk (x)|p dx m

k
= 0. {fn }n
tambin
Es decir, la sucesin converge a
{fnk }k
converge a
en
Lp ().
Esto signica que
f,
dado que es una sucesin de Cauchy.
Corolario 2.6. L2 () es un espacio de Hilbert con el producto interno dado por

u, v =
u(x)v(x)dx.
2.1.
Aproximacin por funciones continuas
Lema 2.7. Sean 1 p < y S la clase de todas las funciones simples complejas en . S es denso en Lp (). Demostracin.
Es claro que
S Lp (),
dado que toda funcin simple
medible en
est en
Lp ()
por la denicin de stas.
27
Lp ()
Por otra parte, si funciones
u Lp (), u 0
en
medible, el teorema (1.14) existe una sucesin de
{sn }nN
tal que
(a) 0 s1 s2 . . . u. (b) sn (x) u(x) cuando n para cada x X .

Dado que
0 sn u
p
para cualquier
nN
y todo
x ,
hacemos uso del teorema
(1.15) para garantizar que Luego
sn L (),
para cada
n N.
|u sn |p u
, es decir, est mayorada por una funcin integrable, entonces por
el teorema de convergencia dominada (1.18) se tiene que
n
por tanto
l m
|(u sn )(x)|p dx = 0,
u sn
cuando
n ,
esto es,
est en la clausura de
S.
El siguiente teorema juega un rol fundamental dentro del trabajo, por tal razn presentamos su demostracin detallada.
Teorema 2.8. Si 1 p < entonces C0 () es denso en Lp (). Demostracin.

Si
1p<
u Lp (), (un )nN

cuando
el lema (2.7) nos garantiza la existencia
de una sucesin de funciones simples
de forma que
sn u
Por lo tanto, para
n .
tal que (2.13)
>0
podemos elegir
n0 N
p
sn0 u
Podemos suponer que
< . 2
tal que
sn0 (x) = 0
si
x /
p
y haciendo uso del teorema de Lusin (1.13)
se garantiza la existencia de una funcin
C0 () ,
y
m ({x : sn0 (x) = (x)}) <

Por otra parte, dado que garantiza que
4 sn0
sup (x) sup sn0 (x) = sn0

x x
(2.14) .
(sn0 ) L () Lp () el teorema de inmersin (2.4) nos
sn0
sn0
(m ({x Rn : (x) = sn0 (x)}))1/p
28
< 2 sn0
4 sn0
= . 2
(2.15)
Lp ()
Haciendo uso de (2.13) y (2.15) obtenemos
u
esto es,
u sn0
+ sn0
<
= ,
C0 ()
es denso en
Lp ().
Teorema 2.9. Sea 1 p < , entonces Lp () es separable. Demostracin.

Para cada entero positivo
m,
consideramos el conjunto
m =
Veamos que para cada
x : x m y dist(x, ()) m
1 m
, x m > 0,
es compacto, en cuyo caso, dado que es suciente vericar que una sucesin de
es acotado, ya que
x m ,
es cerrado.
En efecto, sea podemos elegir
(xN )nN N N
m <
tal que
xN x, n N.
entonces dado
tal que
xN x
para cada
En consecuencia,
x = x xN + xN
Dado que esto se cumple para cada cada
>0
x xN + xN < + m.
se sigue que
x m.
Por otra parte, para
y ()
tendremos que
xN y 1 xN y m
Con lo cual se verica que Sea
p p
xN x
+ xy
xN x
x y p. m
es compacto.
x m .
En consecuencia
el conjunto de todos los polinomios en
Rn
con coecientes racionales complejos
donde Xm es la funcin caracterstica de m . Dado que Pm es numerable. Si u Lp () y > 0, existe Pm es denso en C(m ). Adems y sea
Pm = {Xm f : f P }
m=1
C0 () f
tal que
<
. Si
dist(Sopp , ()),
entonces existe
f Pm
tal que
Se sigue contable
< V ol (m )1/p . 2 que f p f
ol (m )1/p <
Pm
m=1
es denso en
Lp ()
y por lo
2 p tanto L ()
, y as
uf
<
. As el conjunto
es separable.
29
Lp ()
2.2.
Convolucin
Esta seccin est dedicada a presentar la denicin de
convolucin
de dos funciones,
que en trminos generales es un operador matemtico que transforma dos funciones
f, g
en una tercera funcin que en cierto sentido representa la magnitud en la que se
superponen
y una versin trasladada e invertida de
g . Una convolucin es un tipo muy
general de promedio mvil. As pues, la convolucin es un concepto fsico importantes, sin embargo, no es sencillo comprender sus alcances e implicaciones.
Denicin 2.5. La convolucin de dos funciones u y v sobre Rn es la funcin

(u v)(x) :=
Rn
u(y) v(x y)dy =

Rn
u(x y) v(y)dy,
(2.16)
x Rn .
Algunas hiptesis sobre u y v son necesarias para garantizar que la integral existe. Por ejemplo, se puede suponer que ambas funciones son continuas, y que una de ellos tiene soporte compacto.
De la denicin (2.16) se siguen las propiedades siguientes: (i)
es conmutativa, como puede verse en 2.16, en virtud de la invarianza a la
invarianza por traslacin y simetra de la medida de Lebesgue. (ii) (iii) (iv)
es asociativa; esto es,
(u v) w = u (v w), u (v + w) = u v + u w, u (v) = (u) v = (u v),
es distributiva; esto es,
satisface la propiedad de homogeneidad; esto es,
para cada
R+ .
La convolucin tiene muchas aplicaciones interesantes y una de ellas es una demostracin de que
C0 ()
es denso en
Lp ().
en
Si
es una funcin de
Rn
K,
denotemos por se dene la
la funcin sobre
Rn
denido por
x f (x); f (x a).
adems, si
a Rn ,
traslacin de f por a como a f (x) :=
Las aplicaciones
f f y f a f
son lineales preservan la medibilidad. Adems, da-
do que la medida de Lebesgue es invariante por traslacin bajo isometras y traslaciones,
30
Lp ()
estas operaciones son clases equivalentes de funciones mdulo conjunto de medida de Lebesgue cero.
Proposicin 2.1. Si 1 p < , y f Lp , la aplicacin f : Rn Lp denida por f : a a f es uniformemente continua. Demostracin.

supongamos que sobre Veamos que
es continua en cero. Sea
> 0
y en primer lugar
f C0 (Rn ). En este caso tendremos que f >0

de manera que
es uniformemente continua
Rn ,
as existe
|y y | < = |f (y) f (y )| < .

Por consiguiente, si
|a| < ,
p p
a f f
=
Sopp [f (a)f ()]
|f (x a) f (x)|p dx
p [a+Sopp f +Sopp f ] p
=
esto es
dx
V ol[a + Sopp f + Sopp f ],
a f f
con lo cual se garantiza que Ahora, si
V ol[a + Sopp f + Sopp f ]1/p ,
es continua en cero en este caso.
es cualquier elemento de en
Lp , el virtud del teorema 2.8, tomamos una sucesin

en cero se obtiene del hecho que
(fn ) C0 que converge a f

las funciones Ahora bien,
Lp . La continuidad de f
fn
converge uniformemente a
f , dado que fn (a)f (a) = fn f
p.
a f b f
=
Rn
|a f (x) b f (x)|p dx |f (x a) f (x b)|p dx

Rn
= =
Rn
|f (x a + b) f (x)|p dx ab f f f
p.
en cero se concluye la continuidad
De esta ltima igualdad y la continuidad de uniforme.
31
Lp ()
Proposicin 2.2. Sean p, p [1, +) exponentes conjugados y suponga que f Lp (Rn ), g Lp (Rn ). Entonces f g es uniformemente continua, acotada y satisfaces
f g
p .
Adems, si 1 < p < , tendremos que

x
l f g(x) = 0; m
lo mismo se cumple si p = 1 y g tiene soporte compacto.
Demostracin.
En virtud de la desigualdad de Hlder se cumple
|(f g)(x) (f g)(x )| =

Rn
f (x y)g(y)dy
Rn
f (x y)g(y)dy
=
Rn
[f (x y) f (x y)]g(y) dy f (x ) f (x )
p
para todo 2.1.
x, x Rn ; la continuidad uniforme de f g si p < se sigue de a proposicin
Proposicin 2.3. Si 1 < p < , u Lp (Rn ), v Lp (Rn ), con p y p exponentes conjugados , entonces para cada x Rn se tiene que |(u v)(x)| u p v p . Demostracin.
se tiene que Sean
u Lp (Rn ), v Lp (Rn ). Denimos ux (y) = u(xy). Entonces Lp

es invariante por traslacin
por la desigualdad de Hlder y dado que la medida en
|(u v)(x)| =
Rn
u(x y)v(y)dy |u(x y)||v(y)|dy

Rn
=
Rn
|ux (y)||v(y)|dy u
p
< .
32
Lp () 1 1 1 + + = 2 entonces p q r
(2.17)
Teorema 2.10
(Young)
. Sea p, q, r 1 y supongamos que

(u v)(x)w(x)dx u
p
w r,
Rn
para todo u Lp (Rn ) , v Lq (Rn ) y w Lr (Rn ).
Demostracin.
La demostracin se realizar para Suponemos que por
u C0 (Rn )
ya que
C0 (Rn )
es denso en
Lp (Rn ).
u, v, w
funciones no negativas. Consideremos
F : Rn Rn C denida
F (x, y) = u(x y). u se

sigue que
Note que de la continuidad de otra parte obsrvese que
es continua y por lo tanto medible. Por
con
p, q
1 1 1 1 1 1 + + + + + =3 p q r p q r r exponentes conjugados de p, q y r respectivamente, 1 1 1 + + =3 p q r 1 1 1 + + p q r

p
as
= 3 2 = 1.
Consideremos las funciones:
U(x, y) = |v(y)| p |w(x)| p , V(x, y) = |u(x y)| q |w(x)| q

las cuales satisfacen
W(x, y) = |u(x y)| r |v(y)| r ,
UVW(x, y) = |v(y)| p |w(x)| p |u(x y)| q |w(x)| q |u(x y)| r |v(y)| r p q p q + + r +r q p = |u(x y)| r |v(y)| r |w(x)| p q = |u(x y)|1 |v(y)|1 |w(x)|1 = u(x y)v(y)w(x).
Adems,
=
Rn+n
|V(x, y)| dxdy |w(x)| dx

Rn Rn r
1 q
= = w
r
r q
|u(z)| dz
1 q
p q
33
Lp ()
=
Rn+n
|v(y)| |w(x)| dxdy |v(y)| dy

Rn Rn q
1 p
= =
De forma anloga,
p r r q
|w(x)| dx
1 p
q p
r p
= u
r .
Combinando este resultado y la desigualdad de Hlder se tiene que
(u v) (x)w(x)dxdy
Rn
=
Rn Rn
u(x y)v(y)dy w(x) dx u(x y)v(y)w(x)dydx

Rn Rn
=
Rn Rn
|u(x y)||v(y)||w(x)|dydx U (x, y)V (x, y)W (x, y)dxdy

Rn Rn p q
q p
= = = U v u
V w v
q r
r p
W u
p
p q
r q
p r
q r
w r.
Corolario 2.11. Si + = 1 + y si u Lp (Rn ) y v Lq (Rn ) entonces (u v) p q r Lr (Rn ) y

uv
r
K(p, q, r, n) u
2.3.
Aproximaciones de Unidad.
An cuando aqu no presentamos, no es difcil demostrar que, las operaciones cin) y
(adi-
(convolucin) convierte a
L1
en un anillo conmutativo, pero no tiene unidad.
Sin embargo, hay elementos que se comportan bajo convolucin aproximadamente como unidad.
34
Lp ()
A estos elementos que se comportan como esta unidad se les conoce como
Mollier,
son funciones diferenciables con propiedades especiales, que se utiliza en la teora de la distribucin para crear secuencias de las funciones suaves para aproximar funciones que no lo son, a travs de convolucin. Intuitivamente, dada una funcin que es bastante irregular, la convolucin suaviza el comportamiento de la funcin pero permanece cerca de la funcin no suave original.
Sea
J C (Rn )
una funcin no negativa con soporte en la bola unitaria en
Rn .
En
particular supongamos que
1)
J(x) 0 R
n
,
para
2)
J(x) = 0
si
x > 1,
3)
J(x)dx = 1.
Rn
Por ejemplo consideremos la funcin
1 k exp x 2 1 J(x) := 0
donde
si si
x < 1, x 1.
k>0
es elegida de tal forma que la tercera condicin se satisfaga.
Para cada
>0
se dene la
Mollier
J (x) =
n
Note que,
J u(x + hei ) J u(x) = h =
J (x + hei y)u(y)dy Rn J (x y)u(y)dy h J (x + hei y) J (x y) u(y)dy, h Rn

Rn
y es acotado por y satisface
como el integrando se anula fuera de la bola de radio
negativa, pertenece a
Co (R )
,
1)
J (x) = 0
si
2)
J (x) = 1.
Rn
Las Molliers nos permiten aproximar funciones
u Lp (),
por funciones suaves.
35
Lp ()
La convolucin
J u(x) =
Rn
denida para un funcin de
J (x y)u(y)dy,
(2.18)
u para la cual (2.18) tenga sentido, es llamada regularizacin
u.
Observacin 2.1. J aproxima a la Delta de Dirac, por lo cual se espera que la convolucin en (2.18) aproxime a u.
El siguiente teorema resume algunas propiedades de Regularizacin.
Teorema 2.12 (Propiedades de Regularizacin ). Sea u una funcin denida en Rn y nula en el exterior de .
1) Si u L1 (Rn ) entonces J u C (Rn ), loc 2) Si u L1 () y Sopp (u) loc
, entonces J u C0 (); si < dist(Sopp (u), ()),
3) Si u Lp (), para 1 p < , entonces J u Lp (). Adems

J u
p
y l + J u u p = 0. m
0
4) si u C() y si G
entonces l + J u(x) = u(x) uniformemente en G, m

0 0
m 5) Si u C() entonces l + J u(x) = u(x) uniformemente en .

La demostracin puede consultarse en [13].
Corolario 2.13. C0 () es denso en Lp () si 1 p < .
36
Captulo
Distribuciones
3.1.
Notacin
Comenzamos introduciendo las notaciones bsicas necesaria para tener, tanto un buen desarrollo del trabajo as como una buena comprensin por parte del lector interesado. Cada una de las notaciones est basada en la notacin dada en [1, 13] En el resto del trabajo nos reservamos el smbolo en el espacio Euclidiano
para denotar un conjunto abierto
Rn
se designa, como tradicionalmente, para designar el se denotarn por
conjunto vaco. Un punto en para cada
Rn
x = (x1 , x2 , , xn ),
donde
xi R
1 i n.
Denicin 3.1. A la n-upla = (1 , . . . , n ) la llamaremos multi-ndice si es una nupla de enteros no negativos. Adems, denotaremos por X el monomio, de grado || = n j , x1 , . . . , xn . La suma de dos multi-ndices, , es + = 1 n j=1 (1 + 1 , 2 + 2 , ..., n + n ). Decimos que si j j para todo j = 1, 2, ..., n. Para denotar la derivada parcial haremos
D = 1 2 n 2 n = D1 1 D2 2 Dn n , x1 x2 xn 1
conviniendo que D(0,...,0) = . Por otra parte, el gradiente de una funcin de valores reales es denotado por
D(x) := (D1 (x), D2 (x), , Dn (x)).
37
CAPTULO 3. Distribuciones
La clausura de un conjunto
G es denotado por G, y con esta notacin presente podemos
introducir la siguiente denicin:
Denicin 3.2 (Continuamente compacto). Si G Rn es no vaco, diremos que G si y slo si G y G es compacto.

3.2.
Sea
Distribuciones
, una sucesin
un dominio en Rn
{j } de funciones en C () es llamada conver-
gente en el sentido del espacio propiedades: (i) Existe (ii)
D() a la funcin C () si se satisfacen la siguientes
tal que
Sopp (j ) K para
uniformemente en
cada
j. .
l D j (x) = D (x) m
para cada multi-ndice
Las propiedades de la convergencia de en el espacio vectorial Por lo tanto co llamado
{j } denen una topologa
localmente convexa
C0 (),
que el lector interesado puede consultar en [19].
C0 () dotado de esta topologa se convierte en el espacio vectorial topolgias
D(),
D() = (C0 (), ).

de
espacio de (Schwartz) distribuciones en . Los elementos de este espacio son llamadas distribuciones y/o funciones de prueba. El espacio D () es dotado con la topologa dbil estrella, as que una sucesin
El espacio dual
D ()
D()
es llamado el
{Tn } D ()
Para
converge a
T D ()
y
si
Tn () T ()
para todo
D().
En este
caso, se dice que
{Tn }
converge a T en el sentido distribucional.

c C,
entonces se denen las operaciones
S, T, (Tj )jN D ()
(S + T )() = S() + T (), (cT )() = cT (), Tj T

Una funcin en para cada
para cada
D().
D().
en
si y slo si
Tj () T ()
para todo
D().
u denida en casi todas partes (ctp) en es llamada localmente integrable u L1 (U )

para cada abierto
siempre que
en este caso denotaremos
L1 (). loc
38
Ejemplo 3.1. Para cada u L1 (). El funcional loc

Tu () :=
u(x)(x)dx,
D(),
(3.1)
es una distribucin.
En efecto, sea
1 , 2 D()
C u(x)(1 + 2 )(x)dx
Tu (1 + 2 ) = =
u(x)(1 (x) + 2 (x))dx u(x)(1 (x)dx +

u(x)2 (x))dx
= Tu (1 ) + Tu (2 ).
Por lo tanto, se verica que Adems, si
Tu
es lineal.
{j }
es una sucesin en
D()
tal que
en el sentido
D(),
existe
tal que
Sopp (j ) .
para todo
D j D
uniformemente en
Dado que
se tiene que
K
AF n
es compacto. Si
es la coleccin de subconjuntos
abiertos de n
tal que
A,
luego existen
A1 , . . . , An F
de manera que
Ai , ademas K K Ai . i=1 i=1 Luego, para cada j > 0 se deduce que |Tu (j ) Tu ()| =
u(x)j (x)dx
u(x)(x)dx
(u(x)j (x) u(x)(x))dx u(x)(j (x) (x))dx
= =
K
u(x)(j (x) (x))dx
39
As
|Tu (j ) Tu ()|
K
|u(x)||j (x) (x)|dx |u(x)| sup |j (x) (x)|dx

K xK
= sup |j (x) (x)|

xK K
|u(x)|dx
n
sup |j (x) (x)|

xK i=1 n
Por lo tanto
|u(x)|dx .
Ai
|Tu (j ) Tu ()| sup |j (x) (x)|

xK i=1 Ai
|u(x)|dx
, y ste ltimo
trmino del lado derecho tiende a cero, puesto que es continua.
en el sentido
D().
As,
Tu
Observacin 3.1. No todas las distribuciones T D () tienen la forma Tu denida en (3.1) para algn u L1 (). loc
En efecto, sea Si
: D() C
y
dada por
() = (0),
para todo
D().
1 , 2 D()
C.
(1 + 2 ) = (1 + 2 )(0) = 1 (0) + 2 (0) = (1 ) + (2 ).

Por lo tanto Adems, si existe
el lineal. es una sucesin en
{j }
D()
tal que
en el sentido y
D(),
entonces
tal que
Sopp (j ) K
para cada
l D j (x) = D (x) m
uniformemente en
Por lo tanto
|(j ) ()| = |j (0)
(0)| 0,
cuando
En consecuencia,
D ()
Veamos que
(0)
es una distribucin que no satisface (3.1). En efecto, supongamos que
(0)
satisface (3.1), entonces existe una funcin
u L1 () loc
de manera que:
(0) =
u(x)(x)dx,
para todo D().
(3.2)
Consideremos la funcin de prueba denida por:
40
a (x) =
Con
exp 0
a2 |x|2 a2
, si |x| < a , si |x| a.
a > 0,
notemos que
a (0) = exp(1) > 0
(3.3)
|a (x)| exp(1)
(3.4)
u(x)a (x)dx
Rn
|u(x)||a (x)|dx |u(x)||a (x)|dx

|x|<a
=
|x|<a
|u(x)| exp1 dx |u(x)|dx.

|x|<a
se sigue entonces que
= exp1
Si
es localmente integrable entonces
a0 |x|<a
l m
|u(x)|dx = 0
a0
l m
u(x)a (x)dx = 0,
lo cual contradice nuestra suposicin inicial (3.2).
3.3.
Derivada de una distribucin
Denicin 3.3. Sean Rn un conjunto abierto y T D () una distribucin. Dado un multi-ndice denimos la -sima derivada de T como
(D T )() = (1)|| T (D )
para todo D().
Proposicin 3.1. D T es una distribucin, para toda T D ().
41
Demostracin.
Sean
1 , 2 D()
C.
D T (1 + 2 ) = (1)|| T (D (1 + 2 )) = (1)|| T (D 1 + D 2 ) = (1)|| [T (D 1 ) + T (D 2 )] = (1)|| T (D 1 ) + (1)|| T (D 2 ) = D T (1 ) + D T (2 ).

Una vez vericada la linealidad, procedemos a comprobar la continuidad, para ello consideramos Entonces
{j },
una sucesin en
D()
tal que
en el sentido
D().
(j ) D(), D (j ) D() y existe K j.
tal que Sopp (j ) K
para todo
Ejemplo 3.2. 1) Si 0 y D () es la Distribucin de Dirac entonces, D viene dada por:

D () = (1)|| D (0).
2) Si = R y H L1 () es una funcin escalonada denida por: loc

1 , si x 0 H(x) = 0 , si x < 0.
42
Sea D(R) con soporte compacto en [a, a] entonces

(T H) = (1)|1| T H( ) = T H( ) = =
a 0
H(x) (x)dx
R a
H(x) (x)dx
a
=
a a
H(x) (x)dx
0
H(x) (x)dx
=
0 a
H(x) (x)dx (x)dx

0 a 0
= (x) = ((a) (0)) = (0) = ().
Por lo tanto (T H) es la distribucin de Dirac por lo que (T H) es una distribucin.
Denicin 3.4. Sean Rn un conjunto abierto, u L1 () y un multi-ndice. loc 1 Si existe una funcin v Lloc () de tal manera que
Tv () = D Tu () para todo D(),
entonces v es llamada la -sima derivada distribucional o dbil de Tu .
43
Captulo
Espacios de Sobolev
Los espacios de Sobolev (que fueron descubiertos en 1930) tienen una fuerte inuencia sobre el desarrollo de la teora de ecuaciones diferenciales, sobre el anlisis, fsica matemtica, geometra diferencial y otros campos de las matemticas. A continuacin introducimos los espacios de Sobolev de orden entero y establecemos algunas de sus ms importantes propiedades.
Denicin 4.1. Sean Rn un conjunto abierto y 1 p . Si m es un entero no negativo, u Lp () y existe la derivada distribucional D u para cualquier con || m, tal que
D u Lp (), para todo || m.
Entonces se dice que u W m,p ().

W m,p ()
es llamado
Espacios de Sobolev sobre .

1 p < ,
en este
Nosotros nos limitaremos a introducir los espacios de orden con caso esta clase de funciones es dotado de la norma

m,p
1 p
=
0||m
D u p p
si
1 p < .
1 p
(4.1)
Es evidente que
m,p
0, adems si u
p p
m,p
= 0 implica que
0||m
D u
p p
= 0,
se
y en consecuencia
D u
= 0,
para todo
0 || m.
En particular para
=0
44
CAPTULO 4. Espacios de Sobolev
tiene que
D u
de lo cual se obtiene
p p
D0 u
p p
= u
p p
= 0,
u=0.
La homogeneidad del funcional se verica, dado que la derivada y de la norma satisfacen dicha propiedad:
u
m,p
1 p
=
0||m
D (u) p p
1 p
=
0||m
D u p p
1 p
=
0||m
||p D u p p
1 p
= ||
0||m
D u p . p
Y para nalizar, la desigualdad de Hlder, nos garantiza que el funcional satisface la desigualdad triangular:
u+v
m,p
1 p
=
0||m
D (u + v) p p
1 p
=
0||m
D u + D v) p p
1 p 1 p

0||m
D u p + p
0||m m,p . m,p
D v
p p
+ v
Teorema 4.1. W m,p () es un espacio de Banach.

45
Demostracin.
cin
Sea
{un }
una sucesin de Cauchy en y para todo
W m,p (),
entonces por deni-
D un L () > 0,
existe
para
0 || m
tal que
n N.
Dado
N >0
t, n N = =
un ut
0||m
p m,p
<
p p
D (un ut ) Lp ()
< . 0 || m.
tal que
De aqu Como
{D un }
es una sucesin de Cauchy en
para
Lp ()
es completo existen funciones
u0
u (0 < || m), n .
un u0
D un u ,
La idea es demostrar que Adems, como cin
u0 W m,p (). D()

tenemos
Lp () L1 () y un Lp () para todo n entonces existe una distribuloc

tal que para cualquier
Tun D ()
|Tun () Tu0 ()| =
un (x)(x)dx
u0 (x)(x)dx
(un (x) u0 (x))(x)dx |un (x) u0 (x)||(x)|dx

Por lo tantoTun () De forma similar,
un u0
p .
Tu ()
para todo
D()
cuando
n .
TDun () Tu ()
D un (x)(x)dx
u (x)(x)dx
(D un (x) u (x))(x) |D un (x) u (x)||(x)|dx
D un u
46
p ,
por lo tanto
TD un () Tu () D()
para cada
D().
Luego, para cada
se tiene
Tu () = =
n n
l TD un () m l (1)|| Tun (D ) m
= (1)|| Tu0 (D ),
as
u (x)(x) = (1)||
De esta manera donde
u0 (x)D (x)dx.
D u0 = u
en el sentido distribucional en
para
0 || m,
de
u W m,p ().
Entonces
l m un u0
m,p
= 0,
se completa as de vericar que
m,p
()
es completo.
Observacin 4.1. Sea u W m,p (), entonces existe una sucesin (un )nN en W m,p () tal que un u, as (un )nN es de Cauchy y la completitud de W m,p () nos garantiza que (un )nN converge en W m,p () es decir, u W m,p (). Es decir, W m,p () es un subespacio es cerrado de Lp (). Proposicin 4.1. Sea un multi-ndice, {un }n1 Lp () y u, v Lp () tal que un u y D un v en Lp (). Entonces v = D u. Demostracin.
D un D u
as que en Si
un u
Pero,
en
Lp (),
entonces en
un u
en
D ()
y en consecuencia en
D ().
D un v
Lp ()
implica que
D un v
D (),
v = D u.
Teorema 4.2. Sean Rn un conjunto abierto no vaco, k 1 un entero y p [1, ). Se tiene

(a) W k,p () es un espacio reexivo si p (1, ). (b) W k,p () es un espacio separable si p [1, ).
47
Demostracin.
que
Sea
el cardinal del conjunto de todos los multi-ndices
tales
|| k
y consideremos el espacio producto
X :=
||k
L (),
1/p
si
que es un espacio
de Banach para la norma producto
=
||k
u p m,p
p [1, +), Lp ()
donde
U = (u )||k X .
y
De hecho, sabemos que
es reexivo si y slo si
es reexivo
es separable si y slo si
Lp ()
lo es.
Consideremos la aplicacin
J : u W k,p () (D u)||k X,
y sea que
E = J(W k,p ()) X .
En virtud a la proposicin 4.1 es inmediato comprobar
es un subespacio vectorial cerrado de
X . As, (E,
X ) es un espacio de Banach
que hereda las propiedades de reexividad y separabilidad de isomorsmo isomtrico entre
X.
k,p
Adems,
es un
k,p
() y E . Se
concluye as que
(W
(),
m,p ) es un
espacio de Banach y se obtiene (a) y (b).
Observacin 4.2. Los espacios W k,1 () y W k, () no son reexivos. Adems, W k, () no es reexivo. ([13]). Denicin 4.2. Sean k 1 un entero y p [1, ]. Denimos W0k,p () como la clausura de D() en W k,p (), es decir,
k,p W0 () D()
k,p
k En el caso particular en que p = 2, es usual utilizar la notacin H0 () W0k,2 ().

De la propia denicin deducimos que
k,p W0 ()
es un subespacio vectorial cerrado de
W k,p () y que, con la norma
k,p es un espacio de Banach que hereda las propiedades
de reexividad y separabilidad de
W k,p ().
Observacin 4.3. 1) Obsrvese que decir que u W0k,p () es equivalente a decir que existe una sucesin {n }n1 D() tal que n u en W k,p (), es decir, tal que D n D u en Lp (), para todo 0 || k, con lo que es interesante encontrar una caracterizacin manejable del espacio W0k,p ().
48
2) Aunque D() es denso en W0k,p () no se puede deducir que las funciones W0k,p () tengan soporte compacto en . 3) Utilizando la convolucin con una sucesin regularizante, es inmediato comprobar k que C0 () W0k,p (), para todo k 1, p [1, ).
Teorema 4.3. Sean k 1, p [1, +) y u W0k,p (). Denimos u como la extensin por 0 de u a Rn , esto es
u(x) := u(x) 0 x , x Rn .
Entonces, 1) u W0k,p (Rn ), 2) D u = D u, para todo con || k y 3)

u
W k,p (Rn )
= u
W k,p ()
.
k,p u W0 (),
as existe
Demostracin.
que
Por hiptesis
{n }n1 D()
de manera
n u D n D u
Consideremos
en en
Lp () Lp (), || k.
denida por
n (x) =
que evidentemente verica que que
n (x) 0
x x Rn ,
y
n D(Rn )
D n = D n
para
|| k .
Deducimos
n u D n = D n D u
en L
(Rn ) y || k. D u = D u Lp (Rn )
p n en L (R )
As, en virtud de la proposicin 4.1 se garantiza la existencia de para todo
|| k ,
es decir,
k,p u W0 (Rn )
W k,p (Rn )
= u
W k,p () .
49
Corolario 4.4. En general W k,p () = W0k,p (). Demostracin.

cualquier valore de que Consideremos
u1
en
= (0, 1).
Est claro que
u W k,p ()
para y
p.
Sin embargo
u /
k,p W0 (), pues eso dara que
u W k,p (R)
u L (R),
contra el hecho de que
u = 0 1 ,
que se puede comprobar que no es
una funcin.
Observacin 4.4. 1) Sea u W 1,p () dada. De lo que hemos dicho hasta ahora, podemos armar que, en general, u Lp (Rn ), pero u W 1,p (Rn ). /
1 2) Lo que s puede armarse por ejemplo es que si C0 (), entonces u W 1,p () con
Di (u) = Di u + uDi ,
para todo 1 i n. Adems, u pertenece a W 1,p (Rn ) y se satisface

Di (u) = Di u + uDi , 1 i n.
50
Referencias Bibliogrficas
[1] Adams, Robert,
Sobolev Spaces, Academic press, inc., Orlando, Florida,1975. Functional Analysis.

Academic Press. New York,
[2] Bachman G., NARICI L.
San Francisco London. 1966. [3] Bartle R.G.;
The Elements of integration and Lebesgue measure ; John Wiley
and Sons, Inc., New York, (1995). [4] W. Brito,
Impacto de la topologa dbil en espacios de Banach.
Notas de
matemtica. N 135. 1993.

[5] W. Brito,
Compacidad Dbil en Espacios de Banach y aplicaciones de un teorema de R.C. Jame s. Notas de matemtica de la Universidad de Los Andes,
Facultad de Ciencias. Mrida - Venezuela. 1998.
[6] N.L. Carothers.
A Short Course on Banach Space Theory, London Mathemat-
ical Society Student Texts, 64. Cambridge. 2004. [7] J.B. Conway.
Functions of one complex variable. Springer 1986. Introduccin al clculo y al anlisis matemtico
(Vol. 1
[8] R. Courant, F. John,
y 2). Ed. Limusa. 7a ed. Mxico D.F., 1988. Vol. 1: 670 pginas. Vol. 2: 1029 pginas. [9] De Barra G.
Introduction to measure theory. Van Nostrand Reinhold Company
Ltd. University of London. (1974).
51
REFERENCIAS BIBLIOGRFICAS
[10] J. Dugundgy. [11] L.C. Evans:
Topology. Ally and Bacon, 1966.
Partial Dierential Equations ; AMS; Providence. 1998. Introduction to Banach Spaces I, II.
Matfys-
[12] P. Habala, P. Hajek, V. Zizler. press, Prague. 1996. 173-184. [13] F. Hirsch y G. Lacombe.
Elements of Functional Analysis. Springer, 1999. Introductory real analysis. Prentice-
[14] Kolmogorov A. Kolmogorov and S. Fomn, Hall, Englewood Clis N.J., 1970. [15] J. Lindenstrauss,
Classical Banach Spaces.
Lecture Notes in Mathematcs,
Springer-Verlag,Berlin (1973). [16] R. Megginson,
An Introduction to Banach Spaces Theory.
Springer, Verlag
New York. 1998. [17] J. R. Munkres. A rst course in Topology. Prentice Hall, 1975. [18] H. L. Royden; 1988. [19] W. Rudin,
Real Analysis ;
Macmillan Publishing Company, New York,
Functional Analysis.
Mc. Graw-Hill, Inc. New York, St. Louis,
San Francisco, Auckland, Bogot, Caracas, Lisbon, London, Madrid, Mxico, Milan, Montreal, New Delhi, Parin, San Juan, Singapore, Sydney, Tokyo, Toronto. 1991.
52

Teg Qa316 G38 2011

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Teg Qa316 G38 2011

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD CENTROCCIDENTAL LISANDRO ALVARADO

Decanato de Ciencias y Tecnologa Licenciatura en Ciencias Matemticas

Espacios de funciones: Una introduccin a los Espacios de Sobolev

Br. Massiel Gatica.

Espacios de funciones: Una introduccin a los Espacios de Sobolev

titular de la Cdula de Identidad

17.104032. Con el propsito de cumplir con el requisito acadmico nal para el

Con una calicacin de das del mes de

En fe de lo expuesto rmamos la presente Acta en la Ciudad de Barquisimeto a los

A mis padres Misael y Mara, mi hermana Marilyn y mi amor Julio Cesar.

Medida de Lebesgue en La integral de Lebesgue

2. Los espacios Lebesgue Lp ()

4. Espacios de Sobolev Referencias Bibliogrcas

Si es una toploga en X , al par (X , ) se le conoce como espacio topolgico.

f (x) f (a) < .

Si el espacio mtrico asociado es completo, es decir, toda sucesin de Cauchy converge:

decimos que el espacio vectorial normado X es un espacio de Banach.

son espacios vectoriales, ambos sobre el mismo

T (x+z) = T (x)+T (z), para escalares

son espacios normados podemos denir la nocin de un operador lineal acotado,

y como veremos la acotabilidad de un operador es equivalente a su continuidad.

Teorema 1.1. Un operador lineal es acotado s y slo si es continuo.

denota el conjunto de todos los operadores lineales que aplica de

el conjunto de todos los operadores en

que son acotados.

es un espacio de Banach, con

En este caso se escribe s = si fn < . i=1

fi . La serie (fn ) es llamada absolutamente convergente

Topologas dbil y dbil-

decimos que una red

topologa dbil- sobre

es un espacio normado, el bidual, tambin llamado segundo dual de

con norma para todo x y

x := sup{|x (x )| : x BX } = m n{K > 0 : |x (x)| K x

X , vlida para cualquier

mos que los elementos de

son funcionales lineales continuos en

Denicin 1.17. Sea X un espacio normado y consideramos el operador lineal

Denicin 1.20. Sea Rn . Se dene la medida exterior de Lebesgue de como

Observacin 1.1. Quizs convenga recordar que:

de medida exterior es una funcin de conjunto

conjunto de todos los subconjuntos de

que sea no negativa y verica las tres primeras

(Propiedades de la medida exterior)

(v) (Invariante por traslaciones) Para todo conjunto y todo x Rn ,

son conjuntos disjuntos, se tenga

Teorema 1.8. En cada enunciado supongamos que A, B M, entonces

3) A B M, y si adems A B tiene medida nita,

es una familia nita de conjuntos medibles, disjuntos dos a dos,

m (A) = 0 A M, {An }n n),

m(x + A) = m(A). An+1

es una sucesin no decreciente de conjuntos medibles (An entonces

es una sucesin no creciente de conjuntos medibles (An

Podemos observar entonces que todo rectngulo

Teorema 1.9. Toda funcin continua denida en un conjunto medible es medible.

g(x) := sup fn (x)

j(x) := l inf fn (x) m

k(x) := l sup fn (x) m

Proposicin 1.2. Sea Rn , M, y sean f, g : R funciones medibles. Entonces,

Si g(x) = 0 para todo x ,

clausura del conjunto

del conjunto abierto ms grande donde vectorial sobre Sea

UNIVERSIDAD CENTROCCIDENTAL LISANDRO ALVARADO

Espacios de funciones: Una introduccin a los Espacios de Sobolev

Espacios de funciones: Una introduccin a los Espacios de Sobolev

17.104032. Con el propsito de cumplir con el requisito acadmico nal para el

Con una calicacin de das del mes de

En fe de lo expuesto rmamos la presente Acta en la Ciudad de Barquisimeto a los

4. Espacios de Sobolev Referencias Bibliogrcas

son espacios normados podemos denir la nocin de un operador lineal acotado,

Denicin 1.17. Sea X un espacio normado y consideramos el operador lineal

Denicin 1.20. Sea Rn . Se dene la medida exterior de Lebesgue de como

que sea no negativa y verica las tres primeras

3) A B M, y si adems A B tiene medida nita,

es una familia nita de conjuntos medibles, disjuntos dos a dos,

Teorema 1.9. Toda funcin continua denida en un conjunto medible es medible.

se dene la norma de convergencia uniforme, como

Finalizamos esta seccin deniendo la para funciones no negativas.

Denicin 1.27. Sean Rn , M y f : R una funcin medible. Se dene la integral de f en por

As, si denimos las operaciones suma y producto por un escalar en

Denicin 2.3 (La norma en Lp ). El funcional . p denido por:

dene una norma en