You are on page 1of 59

UNIVERSIDAD CENTROCCIDENTAL LISANDRO ALVARADO

Decanato de Ciencias y Tecnología Licenciatura en Ciencias Matemáticas 

Espacios de funciones: Una introducción a los Espacios de Sobolev
Trabajo Especial de Grado presentado por

Br. Massiel Gatica.

como requisito final para obtener el título de Licenciado en Ciencias Matemáticas Área de Conocimiento: Análisis Funcional. Tutor: MCs. Mireya Bracamonte.

Barquisimeto, Venezuela.

Febrero de 2011

Universidad Centroccidental Lisandro Alvarado Decanato de Ciencias y Tecnología Licenciatura en Ciencias Matemáticas ACTA TRABAJO ESPECIAL DE GRADO Los suscritos miembros del Jurado designado por el Jefe del Departamento de Matemáticas del Decanato de Ciencias y Tecnología de la Universidad Centroccidental Lisandro Alvarado, para examinar y dictar el veredicto sobre el Trabajo Especial de Grado titulado: 

Espacios de funciones: Una introducción a los Espacios de Sobolev
Presentado por el ciudadano Br. Massiel Gatica. N

o

titular de la Cédula de Identidad

17.104032. Con el propósito de cumplir con el requisito académico nal para el

otorgamiento del título de Licenciado en Ciencias Matemáticas. Luego de realizada la Defensa y en los términos que imponen los Lineamientos para el Trabajo Especial de Grado de la Licenciatura en Ciencias Matemáticas, se procedió a discutirlo con el interesado habiéndose emitido el veredicto que a continuación se expresa:

1
puntos. de .

Con una calicación de días 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

1

Aprobado ó Reprobado

A mis padres Misael y María, 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 María y mi hermana Marilyn quienes participaron en mi desarrollo académico y personal. Deseo también expresar mi gratitud a mi tutora Mireya Bracamonte por su apoyo y consejo para nalizar tan apreciada meta. Mil gracias a mis compañeros de carrera Alba, Rosmery, Anais, Jacobo, Juan, Elvis, Juan C, Javier R, Alexander M, Mariana y Emily; por su apoyo y comprensión . Finalmente deseo agradecer a Julio Cesar quien ha compartido mis tristezas y éxitos en cada paso de la carrera este logro es también tuyo.

i

Resumen
Los espacios de Sobolev introducidos por el mismo Sobolev en los años treinta con el n de estudiar los problemas de contornos en la teoría de las ecuaciones diferenciales en derivadas parciales, resultaron sumamente exitosos, tanto en las aplicaciones como desde el punto de vista teórico. 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 teoría de convolución y el estudio de la teoría de distribución base fundamental en el desarrollo del mismo.

El mismo. sin embargo. ya sea largos tratados sobre la materia con la la mayoría de los supuestos generales posibles o con debates superciales connados a un capítulo de un texto. desde los años treinta cuando fue introducido por el mismo Sobolev.introducción Los Espacios de Sobolev. hay que precisar que gran parte de la literatura existente sobre el tema parece caer en dos categorías. por tal razón se debe dedicar algún tiempo al estudio de las propiedades más importantes de estos espacios. se han convertido en una herramienta indispensable tanto en la teoría de ecuaciones en derivadas parciales como su desarrollo teórico. pretende presentar de forma precisa las demostraciones claras de todos los principales resultados sin pretender escribir un libro completo sobre el tema. El objeto de este trabajo es brindar una monografía donde se introduce brevemente los espacios de Sobolev. iii .

Notación . . . . . . . . . . . . .0. Medida de Lebesgue en La integral de Lebesgue R n y funciones medibles. . .1. . . . . . . . 2. . . . . . . . . Topologías débil y débil-∗ .1. . . .Índice Agradecimientos 1. . . . .1. 20 27 30 34 3. . . . . . . . . . . . . . . . . . . . . . . . 2. . . . . .0.0.2. . 3. . . 37 37 38 41 4. Distribuciones . . . 1. .3. . . . . . . . .2. . .2. Derivada de una distribución . . . . . . . . . Los espacios Lebesgue Lp (Ω) 2. . . . . . . . . . . . i 1 2 5 7 9 15 Espacios Reexivos . . Preliminares 1. . . . . . . . . . . 1. Convolución . . . . . . . . . . . Aproximaciones de Unidad. . . . . . . . . . . . . . 2. . . . . . . . . . . . . . . . . . . . . . . . . .3. . . . . . . . . . . . . . . . . . . . . . . .2. . . . . . . . . . . . . . . . . . . . . Distribuciones 3. . . . . . Aproximación por funciones continuas . . . . . . . . . . . .3. .1. . . . . . . . . . . 1. . . 3. . . . . . . Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1. . . . . Espacios de Sobolev Referencias Bibliográcas 44 51 iv .

1 ([17]). al par (X . satisface cada uno de lo siguientes axiomas: T1 : El conjunto vacío y X pertenecen a τ . τ ) y (Y. T3 : La unión arbitraria de miembro de τ está en τ . Denición 1. 1 . Los detalles sobre esta sección pueden consultarse en textos como [17]. Dados dos espacios topológicos (X . T2 : La intersección de cualquier par de miembros de τ está en τ . τ ) se le conoce como espacio topológico. [10] entre otros. y sólo si.Cap´tulo ı 1 Preliminares Comenzamos este capítulo introduciendo las nociones topológicas básicos que son indispensables en el desarrollo del trabajo. U ) una fución f : X → Y se dice continua si. y sólo si. Naturalmente también es posible denir lo que signica que una función continua en un punto f :X→Y es x ∈ X. Denición 1.2 ([17]). El concepto clásico de continuidad de funciones entre espacios topológicos arbitrarios está inspirado en la caracterización de la continuidad de una función entre espacios métricos. f −1 (U ) ∈ τ para cada U ∈ U . Dado un conjunto no vacío X una familia τ de subconjuntos de X se dice topología en X si. Si τ es una toplogía en X .

(iii) ( Desigualdad triangular) u + v ≤ u + v para todo u.5. Los detalles de las demostraciones y quien desee consultar información adicional puede consultar [12]. w ∈ V satisface: (i) ( Positividad) u ≥ 0 y u = 0 si. Espacios de Banach Lp (Ω) Ahora bien. De estas dos últimas deniciones se concluye de manera inmediata que una función f :X→Y §1.CAPÍTULO 1. Se verica fácilmente que efectivamente d es una métrica. dado que este trabajo está basado en los clásicos espacios de Banach es indispensable hacer una introducción de los Espacios de Banach. La topología asociada a una norma es la topología de espacio métrico inducida por la distancia asociada. La distancia asociada a una norma · es d(x. Una función 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 . que además son objetos de estudio indispensables en el análisis funcional y reciben su nombre en honor a Stefan Banach. u = OV . Y en un punto a ∈ X se expresa como: Para cada > 0 existe un δ > 0 tal que x−a <δ → 2 f (x) − f (a) < .3. y sólo si. Preliminares Denición 1. Al par (V. Sean X .1. Un espacio vectorial V se dice normado si. y) = x−y . v ∈ V . Denición 1. ) se le conoce con el nombre de espacio vectorial normado. . Los límites de sucesiones en espacios normados y de funciones entre espacios normados. y sólo si. : V × V → R (denominada norma en V ) tal que. se suponen respecto a la topología asociada. Y espacios topológicos. Por ejemplo. (ii) ( Cambio de escalar) αu = |α| u para cualquier escalar α.0. es continua si y sólo si f es continua en x para cada x ∈ X.4. v. la continuidad de una función f entre dos espacios normados X. . Denición 1. existe una función . para todo u.

Y ) denota el conjunto de todos los operadores lineales que aplica de X en Y. Denición 1. Si T : X → Y es un operador lineal acotado. x ≤1 T := sup T x . T := sup T x . Y son espacios normados podemos denir la noción de un operador lineal acotado. y se denotara por X → Y . 3 . (ii) El operador identidad I denido sobre X sea continuo. ambos sobre el mismo T :X→Y que satisface T (αx+βz) = αT (x)+βT (z). X. Un operador lineal es acotado sí y sólo si es continuo. El conjunto L(X. es llamada operador lineal. es decir. y B(X. siempre que: (i) X sea un subespacio vectorial de Y . para escalares α. con Denición 1. Sean X y Y dos espacios normados. Si no existe una constante que satisfaga esta desigualdad diremos que T es no acotado. para todo x ∈ X. toda sucesión de Cauchy converge: n. Un espacio normado X se dice que está immerso en un espacio normado Y .7 (Inmersión). Éste último conjunto es un espacio de Banach cuando respecto a la norma del operador.m→∞ l´ ım d(xn .CAPÍTULO 1. Y son espacios vectoriales. Y es un espacio de Banach. si campo. x =1 Teorema 1. Preliminares Si el espacio métrico asociado es completo. β Si y x. z ∈ X . xm ) = 0 → n→∞ l´ xn = x ∈ X. denimos la norma del operador T mediante T := sup x=0 Tx x Y . Y ) el conjunto de todos los operadores en L(X. Un operador T : X → Y es acotado si existe una constante M ≥ 0 tal que Tx Y ≤M x X . Para continuar recordemos que. la función X. Y ) que son acotados. ım decimos que el espacio vectorial normado X es un espacio de Banach. y como veremos la acotabilidad de un operador es equivalente a su continuidad.1.6.

Un espacio lineal normado es llamado completo si cada sucesión de Cauchy en el espacio converge. x). v para todo α ∈ K. dado > 0.10. todo espacio de Hilbert es un espacio de Banach en el que se ha denido un producto interior.9. · X × X → K que verica: (i) ( Aditiva) u + v. v ∈ X (iv) (Denida positiva) u. w + v. (ii) y (iii) se llama forma sesquilineal hermítica. x − y). y) = x − y = (x − y. Denición 1. Denición 1. El nombre le es dado en honor al matemático David Hilbert quien los utilizó en sus estudios sobre ecuaciones integrales en 1912. Una sucesión (fn ) en un espacio lineal normado es llamada convergente a un elemento f de el espacio si. Por tanto. existe N tal que para todo n > N tenemos f − fn < Si fn converge a f escribiremos f = l´ fn o fn → f ım Denición 1. Preliminares Una clase importante de espacios de Banach que permite generalizar propiedades algebraicas y geometrías del espacio euclídeo. u ≥ 0 para todo x ∈ X y u. Un producto escalar o producto interno denido sobre X es una aplicación ·. estudiar el caso particular en que dicho espacio sea completo.CAPÍTULO 1. si se dene la norma por y por tanto es también métrico. v = α u. La noción de convergencia de sucesiones de números reales nos da la idea de la generalización de la convergencia de sucesiones en un espacio lineal normado Denición 1. u = 0 si y sólo si u = 0. con la distancia x := (x. d(x. En este caso X es llamado espacio con producto interno o Pre-Hilbert. si para cada sucesión de cauchy (fn ) en el espacio existe f en el espacio tal que fn → f 4 . v = v. De donde es natural.11. w = u. Note que todo espacio Pre-Hilbert es normado. u para todo u. Toda aplicación que verica (i).8. es decir. w para todo u. (ii) (Homogénea) αu. (iii) (Hermítica) u. Sea X un espacio vectorial sobre K. v. Un espacio de Hilbert es un espacio pre-Hilbert completo respecto a la métrica asociada. w ∈ X .

para diferenciarlo del dual algebraico. i=1 ∞ i=1 fi . para todo x ∈ X y en este caso x∗ X ∗ = y X .esto es. La completitud del campo K nos asegura que X ∗ es un espacio completo.CAPÍTULO 1. Denición 1. Topologías débil y débil-∗ Introducimos ahora las topologías débil y débil-∗. x ≤ 1} para todo x∗ ∈ X ∗ . para lo cual necesitamos discutir primero algunas nociones generales de la topología. Sea X un espacio de Hilbert. y .0. Una serie (fn ) en un espacio lineal normado es llamada convergente a la suma s si s esta en el espacio y la sucesión de sumas parciales de la serie converge a . La serie (fn ) es llamada absolutamente convergente Proposición 1. Note que en este espacio disponemos de una norma que se puede expresar de varias formas.2.1. n s− i=1 fi → 0 En este caso se escribe s = si ∞ fn < ∞. 5 . que denotaremos por. Un espacio normado lineal X es completo si y solo si cada serie absolutamente convergente es convergente en X Teorema 1. como son: x∗ = m´ ın{K > 0 : |x∗ | ≤ K x para todo x ∈ X} = sup{|f (x)| : x ∈ X. Sea X un espacio vectorial sobre un campo K. al K espacio vectorial X ∗ = {x∗ : X → K / x∗ es lineal y continuo} . §1. Un funcional lineal x∗ denido sobre X pertenece a X ∗ si sólo si existe un único y ∈ X tal que x∗ (x) = x. El espacio de Banach X ∗ recibe el nombre de dual topológico del espacio normado X . Preliminares Denición 1.2 (Teorema de representación de Riesz). llamamos dual algebráico de X .13. X ∗ .12.

toda función continua es secuencialmente continua. Lema 1. Preliminares Denición 1. El lector puede vericar los siguientes resultados. Una función f : X → Y . que hace que cada miembro de X ∗ sea continuo.16. Sea X un conjunto. Denimos la topología débil en X determinada por F . 6 .CAPÍTULO 1. donde X e Y son espacios topológicos se llama secuencialmente continua.3. Y un espacio topológico y F una familia de funciones de X en Y . si cada vez que una sucesión {xn } en X converge a x ∈ X . sobre X . Luego tenemos el siguiente lema. En un espacio topológico.5. Sea X un conjunto.4. y puede consultarse en textos como [4] y [6] .14. indexados por f ∈ F y U abierto en Y . Sea X un espacio de Banach. es decir. como los subconjuntos que son uniones arbitrarias de intersecciones nitas de elementos de S . Sea X un conjunto. Lema 1. Y un espacio topológico y F una familia de funciones de X en Y . entonces toda función f ∈ F es secuencialmente continua. Si X tiene la topología débil determinada por F . Lema 1. Denición 1. la topología débil en X determinada por F es la más pequeña tal que las funciones de F son continuas. Estemos ahora preparados para introducir la topología débil en el contexto de los espacios de Banach.15. Luego. Denimos la topología débil en X como la topología débil en X denida por X ∗ . entonces (f (xn )) converge a f (x). Más aún. Denición 1. Y un espacio topológico y F una familia de funciones de X en Y . si {xn } es una sucesión en X y x ∈ X . La colección de conjuntos que son uniones nitas de elementos de S forman una base. Consideremos la colección de subconjuntos S de la forma {x ∈ X : x ∈ f −1 (U )}. entonces xn converge a x si y sólo si (f (xn )) converge a f (x) para toda función f ∈ F . la topología con menos abiertos.

6 (Teorema de Hahn-Banach. Si Espacios Reexivos X. Esto signica que. |x∗ (x)| ≤ x∗ X x X . todo funcional continuo en un subespacio admite una extensión Hahn-Banach a todo X. Sin embargo.CAPÍTULO 1. es el teorema de Hanh Banach. Existen diversas versiones de este importante teorema. deduci- mos que los elementos de son funcionales lineales continuos en X ∗ . §1. también llamado segundo dual de espacio de Banach X ∗∗ := X ∗ ∗ = L(X ∗ . válida para cualquier x∈X x∗ ∈ X ∗ . sólo que en este trabajo sólo citaremos una de las que haremos uso en el transcurso del trabajo. K). En [4] arma que "las topologías débil y débil-∗ forman una especie de sociedad familiar. [16]. Sea Y un subespacio de un espacio normado X . [19]. es el X es un espacio normado. Preliminares Para denir la topología débil-∗ X ∗ decimos que una red (x∗ )α α en X∗ converge en la topología débil-∗ sobre ∗ si (xα (x))α converge a x (x) ∗ para cada x ∈ X. Teorema 1. X en su Denición 1.3. quien desee revisar con detalle puede consultar textos como [5]. con norma para todo x y x∗∗ := sup{|x∗∗ (x∗ )| : x∗ ∈ BX ∗ } = m´ ın{K > 0 : |x∗∗ (x)| ≤ K x∗ De la desigualdad ∗ ∈ X ∗ }. 1927). Si y∗ ∈ Y ∗ entonces existe x∗ ∈ X ∗ tal que x∗ X ∗ = y∗ Y ∗ y x∗ (y) = y ∗ (y) para todo y ∈ Y . Sea X un espacio normado y consideramos el operador lineal J :X → X ∗∗ x −→ J(x) 7 . una referencia obligatoria para las personas que pretendemos estudiar espacios de Banach.0.17. aún cuando por lo general son muy diferentes. por tal razón. Para formalizar esta idea. denimos la inyección canónica del espacio normado bidual. 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 matemática Stefan Banach. el bidual.

denida en una σ-álgebra M con valores en [0. A J se le llama inyección canónica del espacio X en su bidual y hemos visto que J identica totalmente a X con un subespacio de X ∗∗ . entonces ∞ ∞ µ An n=1 = n=1 µ(An ).19. Es natural preguntarse si ese subespacio es el total. [12] o cualquier otro libro sobre teoría de espacios de Banach. 8 . Denición 1. (ii) Si A ∈ M entonces AC ∈ M. ∞] y que es numerablemente aditiva. En este caso. Desafortunadamente. con lo que tendríamos total isometría entre X y X ∗∗ . entonces se dice que X es un espacio medible y a los elementos de M se les llama conjuntos medibles en X .CAPÍTULO 1. Preliminares denido por J(x)(x∗ ) := x∗ (x).18. (b) Si M es una σ-álgebra en X . (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. n = 1. Denición 1. (c) Se llama medida positiva a una función. es decir. (a) Una colección M de subconjuntos de un conjunto X se dice que es una σ-álgebra en X si M tiene las siguientes propiedades: (i) X ∈ M. podemos escribir X ≡ X ∗∗ y tenemos total simetría entre X y X ∗∗ . en general. (iii) Si A = ∞ n=1 An y si An ∈ M. simbólicamente J(x) ≡ X . Esto signica que si {An } es una colección numerable disjunta de elementos de M. simplemente por el hecho de que X ∗∗ siempre es un espacio de Banach mientras que X (equivalente a J(x)) puede no ser completo. J es un isomorsmo isométrico de X sobre X ∗∗ . · · · entonces A ∈ M. cuando J(x) = X ∗∗ . puede consultar [2]. J(x) no coincide con X ∗∗ . 2. Se dice que un espacio de Banach es reexivo cuando la inyección canónica de X en X ∗∗ es sobreyectiva. Quien desee mayor información. para todo x∗ ∈ X ∗ .

9 . Medida de Lebesgue en Rn y funciones medibles. denida en P(Rn ) (conjunto de partes de Rn ). Observación 1. Ω ⊆ n=1 Qn Qn rectángulos cerrados donde el ínmo se toma sobre todas las familias numerables de rectángulos que cubren a Ω. Preliminares §1. Se dene la medida exterior de Lebesgue de Ω como ∞ ∞ m∗ (Ω) := ´ ınf n=1 V ol(Qn ). El siguiente teorema recoge las propiedades más importante de la medida exterior de Lebesgue: Teorema 1. Ω de medida exterior es una función de conjunto µ denida en el conjunto de todos los subconjuntos de Ω que sea no negativa y verica las tres primeras propiedades del teorema siguiente.CAPÍTULO 1.1. Las otras dos propiedades son propias de la medida de Lebesgue. Quizás convenga recordar que: La denición puede hacerse indistintamente con rectángulos abiertos. En la Teoría 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 Ω. y de algunas otras medidas en espacios topológicos o métricos. que dotan a la estructura formada por el espacio y la medida de mejores propiedades de tipo topológico y geométrico. La contribución de Henri Lebesgue (1875-1941) más importante a la matemática fue la teoría de integración desarrollada por Lebesgue donde extendió la teoría de Riemann a una clase más amplia de funciones. La medida exterior generaliza el concepto de volumen de un rectángulo: Si R es un rectángulo en Rn . y con valores en [0. Denición 1. +∞]. cerrados o semiabiertos.7 (Propiedades de la medida exterior) .20. Sea Ω ⊆ Rn . m∗ (R) = V ol(R). la familia de todos los subconjuntos de Rn . La medida exterior m∗ es la función de conjuntos.1. (i) m∗ (∅) = 0.

B ∈ M. Sin embargo la medida exterior falla en cambio en una propiedad fundamental respecto al volumen: no es cierto en general que si A y B son conjuntos disjuntos. +∞]. entonces 1) Ac ∈ M. 10 . se tenga m (A ∪ B) = m (A) + m (B).21 ([3]). m∗ (x + Ω) = m∗ (Ω). entonces ∞ ∞ m ∗ n=1 Ωn ≤ n=1 m∗ (Ωn ) . El siguiente teorema resume las propiedades de los conjuntos medibles. Denotaremos por M a la familia de todos los conjuntos de Rn que son medibles. (iii) (Subaditividad) Sea {Ωn }n una familia numerable de conjuntos. En cada enunciado supongamos que A. si verica la siguiente propiedad: Para todo E se verica la igualdad m∗ (E) = m∗ (E ∩ Ω) + m∗ (E − Ω). Teorema 1. Preliminares (ii) (Monotonía) Si A ⊆ B .CAPÍTULO 1. que juegan un papel fundamental en el transcurso del trabajo. que en lo que sigue llamaremos simplemente medible. ∗ ∗ ∗ Denición 1. Un conjunto Ω se dice Lebesgue medible. y por tanto A − B ∈ M. Ω ⊆ G} (v) (Invariante por traslaciones) Para todo conjunto Ω y todo x ∈ Rn .8. 2) A ∩ B ∈ M. Se llama medida de Lebesgue en Rn a la restricción de la medida exterior m∗ a M. m∗ (A) ≤ m∗ (B). (iv) (Regularidad) m∗ (Ω) = ´ ınf{m∗ (G) : G abierto. m(A) = m∗ (A). esto es m : M → [0.

entonces A es medible. entonces k k k Ai ∈ M. Sean Ω ⊆ Rn . . Ω = f −1 (R) debe ser medible. m∗ (A) = 0 A ∈ M. para todo x ∈ Rn . A2 .CAPÍTULO 1. Se dice que f es Lebesguemedible o simplemente medible si para todo abierto G de R. m i=1 Ai = i=1 m(Ai ).2. m(A ∪ B) = m(A) + m(B) − m(A ∩ B). x + A ∈ M y m(x + A) = m(A). Ak es una familia nita de conjuntos medibles. Ω ∈ M y f : Ω → R. Denición 1. Sólo tiene sentido hablar de funciones medibles is están denidas en conjuntos medibles. Preliminares 3) A ∪ B ∈ M. 11 . ım n {An }n n) es una sucesión no creciente de conjuntos medibles (An ⊇ An+1 para todo y existe n0 con m(An0 ) < ∞. Podemos ahora aplicar esta teoría al estudio de funciones escalares de varias variables. ⊆ An+1 para es una sucesión no decreciente de conjuntos medibles (An entonces todo ∞ m i=1 5) Si Ai = l´ m(An ). f −1 (G) := {x ∈ Ω. f (x) ∈ G}.22. ım n Podemos observar entonces que todo rectángulo R ⊆ Rn es medible.. Y como propiedades complementarías tenemos que 1) Si A1 . disjuntos dos a dos. es un conjunto medible en Rn .. la imagen inversa. 1) En primer lugar. i=1 2) 3) 4) Si Si Si Además. En este punto es válido hacer las siguientes observaciones: Observación 1. y si además A ∩ B tiene medida nita. {An }n n).. ∞ entonces m i=1 Ai = l´ m(An ).

Ω ∈ M y f : Ω → R. Sea Ω ⊆ Rn . {x ∈ Ω : f (x) < a}. 4) Para todo a ∈ R. (c) Un conjunto A ⊆ Rn es medible si y sólo si la función característica XA : Rn → R denida por XA (x) := 1. Sea Ω ⊆ Rn . {x ∈ Ω : f (x) > a}. Preliminares 2) Son equivalentes: (a) f es medible (b) Para todo conjunto C ⊆ R cerrado. Teorema 1. / es medible. Son equivalentes: 1) f es medible. Ω ∈ M. x ∈ A.CAPÍTULO 1. y g : f (Ω) → R continua en f (Ω). 2) Para todo a ∈ R. la composición de una función medible con una función continua también es medible. x ∈ A. como las funciones continuas lo eran para la construcción de la integral de Cauchy. Toda función continua denida en un conjunto medible es medible. 0.11. Ω ∈ M. Presentamos algunos teoremas básicos para garantizar la medibilidad de una función real de varias variables. si existen las funciones 12 . Teorema 1. Sea Ω ⊆ Rn . Teorema 1. y sean fn : Ω → R funciones medibles. f −1 (C) ∈ M. Entonces. Entonces g ◦ f es medible. más no así necesariamente la composición de dos medibles. 5) Para todo a ∈ R. f : Ω → R una función medible.12. 3) Para todo a ∈ R. La familia de funciones medibles son la base sobre la que construimos la integral.9. {x ∈ Ω : f (x) ≤ a}. Además. {x ∈ Ω : f (x) ≥ a}. Corolario 1.10.

x∈Ω 13 .CAPÍTULO 1. m=0 C(Ω) se dene la norma de convergencia uniforme. Preliminares 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. Entonces. f + g y f − g es medible. Si g(x) = 0 para todo x ∈ Ω. Sea Ω ⊆ Rn . si existe un conjunto E ⊆ Ω con m(E) = 0 y f (x) = g(x) para todo x ∈ Ω−E .g es medible. Esto es.2. entonces f es medible si y sólo si g es medible. g Si f es medible y g = f en casi todas partes entonces g también es medible. Para cada α ∈ R se tiene que αf es medible. f Así. u ⊆ Ω} k C0 (Ω) := C k (Ω) ∩ {u/Sopp u es compacto Sopp C ∞ (Ω) = Sobre C m (Ω). ∞ Dα u ∈ C 0 (Ω). k es un entero no negativo. Denotaremos por Y si C 0 (Ω) = C(Ω) funciones continuas sobre Ω. y sean f. 0 ≤ |α| ≤ k}. denotado por Sopp f . es la clausura del conjunto {x ∈ X : f (x) = 0}. f es medible. como f ∞ := sup|f (x)|. Recordemos que el soporte de una función f : X → R. |f | es medible. Denotaremos por C0 (X) al espacio K de todas las funciones f :X→K que tienen soporte compacto. g : Ω → R funciones medibles. el soporte de f es el complemento del conjunto abierto más grande donde vectorial sobre Sea se anula. Proposición 1. f. hacemos C k (Ω) := {u/u : Ω → R. Ω ∈ M. al conjunto de todas las Ω un dominio en Rn .

que converge puntualmente a una función f ∈ C0 (Ω). por lo cual se sigue el primero con la norma uniforme también es un espacio de Banach. Es fácil chequear que C0 (Ω) es un subespacio cerrado de C(Ω). Luego. Ω ∈ M. En esta caso s puede expresarse de la forma n s(x) = i=1 ai χAi (x) donde Ai = s−1 ({ai }) = {x ∈: s(x) = ai } y χAi es la función característica del conjunto Ai . Para construir la integral.. necesitamos el siguiente resultado fundamental. entonces existen una función g ∈ C0 (Rn ) tal que x∈Rn sup g(x) ≤ sup f (x) y m({x ∈ Rn : f (x) = g(x)}) < . f (x) = 0 para x ∈ A / donde m(A) < ∞ y > 0. Si f es una función medible. se llama función simple en Ω a una función medible s : Ω → R que sólo toma un número nito de valores. Preliminares con la cual es un espacio de Banach ([13]). Existe una sucesión de funciones simples de Ω en R tales que 1) 0 ≤ sn (x) ≤ sn+1 (x) para todo x ∈ Ω y todo n ∈ N. es decir.. 14 . Sean Ω ⊆ Rn .13 (Teorema de Lusin). Ω ∈ M y f : Ω → R una función medible no negativa.23. que nos permite aproximar funciones medibles. Teorema 1. que es nuestro objetivo.3. Entonces (fn ) converge uniformemente a f . se tiene la siguiente proposición. tal que s(Ω) = {a1 . Sea (fn )n∈N una sucesión creciente en C0 (Ω). Teorema 1. ak }. x∈Rn Denición 1. ım n Podemos ahora denir la integral de Lebesgue de funciones medibles. 2) l´ sn (x) = f (x) para todo x ∈ Ω. ..14. Sea Ω ⊆ Rn .CAPÍTULO 1. Proposición 1.

Es cuando surge la necesidad de renovar la integral. especialmente con operaciones de límite (por ejemplo. Ω ∈ M y s1 . k k Ai = Ω. Sean Ω ⊆ Rn . es decir. 2) 0≤ Ω 3) Geométricamente. Preliminares §1. problemas que no permiten llegar a ciertos teoremas indispensables.2. Los problemas de la integral de Riemann pueden solucionarse mediante la generalización conocida como integral de Lebesgue.∞ = 0. s= ai χAi .4. Los problemas surgen cuando tratamos de hacer interactuar a la integral de Riemann con otras operaciones. Sean Ω ⊆ Rn . Entonces 15 . que no pueda dar lugar a algo del tipo i=1 ∞ − ∞. Aún cuando en este capítulo no nos detenemos a hacer un estudio detallado de la integral de Lebesgue vale la pena hacer las siguientes observaciones: 1) La razón de denir la integral sólo para funciones no negativas es asegurar que k la suma ai m(Ai ) esté bien denida. Ω ∈ M y s : Ω → R una función simple no negativa. el lector puede consultar [3]. pero puede ser innito. La integral de Lebesgue En la teoría de los espacios funcionales surgen problemas con la integral de Riemann.CAPÍTULO 1. s2 : Ω → R funciones simples no negativa. el límite de una sucesión de funciones integrables puede no ser integrable). s es la suma de los volúmenes de los prismas de Ai y altura ai . Denición 1. Tenemos entonces las siguientes propiedades Proposición 1. la integral de base s ≤ ∞.24. Para mayores detalles. La integral será no negativa. 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.

Sean Ω ⊆ Rn . Decimos en este caso que la función f no es integrable. f = f + − f − . Se dene la integral de f en Ω por f := Ω Ω f+ − Ω f −. Ω 2) Para todo α ∈ R.3. Ω ∈ M y f : Ω → R una función medible. Preliminares 1) Ω (s1 + s2 ) = Ω s1 + Ω Ω s2 . Denición 1. Ω ∈ M y f : Ω → R una función medible. 16 .CAPÍTULO 1. s función simple.28 (Integral en un subconjunto. 0 ≤ s ≤ f Denición 1. medible. Denición 1. donde f + y f − son funciones no negativas. Finalizamos esta sección deniendo la para funciones no negativas. Observación 1. f (x)}. con f (x) ≥ 0 para todo x ∈ Ω. −f (x)}. a f − (x) := m´x{0. Se dene la integral de f en Ω por f := sup Ω Ω s. Podemos ahora denir la integral de Lebesgue para una función f arbitraria. αs1 = α s1 . a Así. tal que s1 (x) ≤ s2 (x) para todo x ∈ Ω − E . Denición 1.26.27.25. Sea H ⊆ Rn un conjunto f χH . 3) Si existe E ⊆ Ω con m(E) = 0. Sean Ω ⊆ Rn . Denimos la parte positiva f + y la parte negativa f − de una función f por f + (x) := m´x{0. entonces s1 ≤ Ω Ω s2 . se dene la integral de f en H por f (x)dx := H Ω ver [18]) . Si las integrales de f + y f − son ambas ∞ no tiene sentido la expresión ∞ − ∞.

La de Lebesgue utiliza una aproximación por funciones constantes en conjuntos medibles susceptibles de causar dicultades. 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. (b) (Monotonía) Sea f (x) ≤ g(x) para todo x ∈ Ω. Sean f. Si Ω |f | (x) = 0. que utilizan simplemente intervalos. g : Ω ⊆ Rn → R funciones medibles. (c) (Monotonía) Si E. El teorema de convergencia monótona suele aparecer bajo la forma de lema de Fatou.16. (d) |f | es integrable y f (x)dx ≤ Ω Ω |f | (x)dx. Teorema 1. f (x)dx ≤ Ω Ω g(x)dx.CAPÍTULO 1. Observe la diferencia fundamental de enfoque existen entre la integral de Riemann y la de Lebesgue. c(f + g)(x)dx = c Ω Ω f (x)dx + c Ω g(x)dx.1) para cualquier conjunto medible E ⊆ Ω. Teorema 1. Entonces (a) (Linealidad) Sea c ∈ R. Sea fn una sucesión creciente de funciones medibles no negativas (ampliadas). 17 . Preliminares Algunas propiedades que nos serán de utilidad se encuentran resumidas en el siguiente teorema. a diferencia de las integrales superiores e inferiores de Riemann. F son conjuntos medibles y E ⊆ F . entonces f (x)dx ≤ E F g(x)dx.15 (Propiedades básicas de la integral). entonces f = 0 en casi todas partes.

fn → f y |fn | ≤ g para una función integrable g. +∞] medibles. f .17 (Lema de Fatou). Si fn es una sucesión de funciones integrables no negativas. Si fn es una sucesión de funciones integrables. Por tanto repitiendo el proceso se reducirá al de ciertas integrales f El primer caso que vamos a considerar en el que se da la igualdad entra la integral de una función y sus integrales iteradas. (iii) gdx = f . Sea f : Rm+k → [0. (ii) La función g. Entonces (i) La función de la variable y ∈ Rk . siendo su valor precisamente tantas veces como sea necesario. es decir la integral de f coincide con sus integrales iteradas. 18 . 10] entre otros. Ω Ω ⊆ Rn m+k es importante ver que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si medible de f (x.CAPÍTULO 1. y) es una función variables. y)dy dx. ·) : y −→ f (x. el cálculo de simples. 3. f (x. entonces las integrales iteradas f (x. es medible. denida para casi todo x por g(x) = f (x. Teorema 1. es medible para casi todo x ∈ Rm . es el de funciones medibles no negativas. Otro resultado signicativo sobre convergencia en integrales es el teorema de la convergencia dominada de Lebesgue. y)dy. La demostración de cualquiera de estos últimos teoremas y lemas son tratados en un curso de teoría de la medida básico. Teorema 1. entonces f es integrable y f dx = l´ ım Ω Dado que n→∞ fn dx. Preliminares Lema 1.19. y). puede consultar en [9. f (x.2) existen y son iguales. y)dx dy (1. entonces l´ inf fn dx ≤ l´ inf ım ım n→∞ n→∞ fn dx.18. que no cambia de signo o que es integrable.

y)dy. (ii) La función g. ·) : y −→ f (x. entonces también lo satisface cualquiera que sea la constante cf . 19 . El enunciado preciso de este hecho lo constituye el teorema de Fubini: Teorema 1.CAPÍTULO 1. la E y se hace uso de los siguientes hechos: f ≥ 0 satisface el teorema de Tonelli. denida para casi todo g(x) = (iii) gdx = f.20 (Teorema de Fubini) . {fk } es una sucesión de funciones no negativas que satisfacen el teorema de Tonelli. es integrable para casi todo x ∈ Rm . Preliminares La demostración de este teorema generalmente se reduce al caso en que función característica de un conjunto medible (a) Si una función la función (b) Si f = XE . fk . c ≥ 0. Sea f : Rm+k → R integrable. y). es integrable. entonces también lo satisface la función Y puede ser consultada en [3]. f (x. [7] entre otros. f (x. Entonces: (i) La función de la variable y ∈ Rk . Como ya señalamos al principio las integrales iteradas también coinciden con la integral de la función cuando ésta es una función integrable.

los Los espacios Lebesgue Lp(Ω) Contamos ahora con la base teórica que nos permite introducir los espacios cuales juegan un papel fundamental tanto en la matemática clásica como en la moderna. [18] entre otros y su relevancia en nuestro trabajo consiste en que de esta desigualdad sin gran dicultad se deduce la desigualdad de Hölder para integrales. recordando las clásicas las desigualdades de Hölder y Minkowski. así la relación entre p y p es simétrica: (p ) = p.Cap´tulo ı 2 Lp (Ω). Dado un número real Pues bien. 1 1 p ≥ 1 denimos su conjugado p∗ mediante la igualdad + ∗ = 1 y p p ∗ ∗ ∗ ∗ observamos que también 1 < p < ∞. lo cual denotaremos c. b ∈ R+ es conocida la desigualdad de Young ∗ ap b p ab ≤ + ∗. Otra desigualdad que también es de gran utilidad cuando trabajamos con los espacios Lp (Ω) es (a + b)p ≤ 2p−1 (ap + bp ) que se cumple para (2.1) 1≤p<∞ y a. b ≥ 0.t. esto es. Ahora bien. p p Su demostración es consecuencia de la convexidad de la función exponencial y puede consultarse en textos como [12]. que coincidan salvo en un conjunto de medida nula.p. En el resto del capítulo consideramos Ω ⊆ Rn como un subconjunto medible en el sentido de Lebesgue y trabajaremos con funciones medibles de Ω en R identicando dos funciones que coincidan casi en todas partes. 20 . para cualquier a.

. a partir de esta desigualdad de Hölder.2 (El espacio Lp (Ω)). Los espacios Lebesgue Lp (Ω) Denición 2. p∗ son números reales mayores o iguales a 1. Si u ∈ Lp (Ω) y v ∈ Lp∗ (Ω) entonces uv ∈ L1 (Ω) y 1/p 1/p∗ u(x)v(x) dx ≤ Ω Ω |u(x)| dx Ω p |v(x)| dx p∗ La demostración puede encontrarse en textos como [1]. x2 .1. (2. Denotemos por Lp (Ω) a la clase de funciones medibles u denidas en Ω para la cual |u(x)|p dx < ∞. conjugados.CAPÍTULO 2. 21 . y1 . yn son números reales arbitrarios y p. Teorema 2. Si x1 . [3] y [18]... (2.4) y |u(x)|p dx = 0 Ω en Lp (Ω) entonces u(x) = 0 en casi todas partes Ω. xn .1 (Desigualdad de Hölder para integrales). Además. Sea Ω un subconjunto abierto en Rn no vacío y sea 1 ≤ p < ∞.4) Lp (Ω) son clases de equivalencias de funciones medibles satisfaciendo (2. Dos funciones son equivalentes si ellas son iguales en casi todas partes de A partir de la desigualdad de Young obtenemos la desigualdad de Hölder Ω. la siguiente desigualdad es conocida como la desigualdad de Hölder n n 1/p n 1/p∗ |xi yi | ≤ i=1 i=1 |xi | p i=1 |yi | p∗ .4). . y2 . Ω Los elementos de (2. Sea 1 < p < ∞ y p∗ el exponente conjugado de p.2) Mientras que la desigualdad de Minkowski está dada por n n 1/p n 1/p |xi + yi | ≤ i=1 i=1 |xi | p + i=1 |yi | p .. obtenemos la correspondiente desigualdad de Minkowski: 1/p 1/p u(x) + v(x) dx ≤ Ω Ω |u(x)| dx p + Ω |v(x)| dx p Si de u satisface (2. ..3) Denición 2..

15). conjuntamente con el teorema (1. como vemos a continuación: u p =0 ⇔ Ω u(x) dx u(x) p p 1/p =0 casi todo ⇔ = 0 para x∈Ω ⇔ |u(x)| = 0 para ⇔ u(x) ≡ 0 para 22 casi todo x∈Ω casi todo x ∈ Ω. se concluye que u + v ∈ Lp (Ω). .15) juega un papel fundamental.CAPÍTULO 2. es conveniente vericar que y (f + g)(x) = f (x) + g(x). Para vericar que la suma de dos funciones en (2.15) se sigue que |u(x)| ≥ 0 para todo x ∈ Ω. Lp (Ω) es un espacio normado. cu ∈ L (Ω) p si u ∈ L (Ω). Lp (Ω) es un espacio vectorial. hacemos uso de la desigualdad u. De hecho.5) Así de esta última desigualdad. Denición 2. Por otra parte. Los espacios Lebesgue Lp (Ω) Haciendo uso del teorema (1. (2. En efecto.3 (La norma en Lp ). p denido por: 1/p u p = Ω u(x) dx p 1≤p<∞ es una norma en Lp (Ω). Lp (Ω) por p Así.15) puede vericarse que.1) con la cual tendremos que si Lp (Ω). p así como consecuencia del teorema 1/p u p = Ω u(x) dx ≥ 0. El funcional . si denimos las operaciones suma y producto por un escalar en (cf )(x) := c(f (x)). v ∈ Lp (Ω) p u(x) + v(x) p ≤ |u(x)| + |v(x)| ≤ 2p−1 u(x) + v(x) p p . para cualquier número real c. note que (1. nuevamente el teorema (1.

para cualquier c se tiene 1/p 1/p cu es decir. cu = |c| u Finalmente. cu(x) dx p = |c| Ω u(x) dx p . Si 1 ≤ p < ∞ entonces u+v p ≤ u p + v p Demostración. 1 < p < ∞ Consideremos la función Hölder tenemos: 1 1 + = 1.2 . 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 w p + v p p w + v 23 . con lo cual se completa la vericación de que el funcional denido es una norma sobre Lp (Ω). p=1 con 1≤p<∞ La desiualdad es cierta para 1/1 u+v 1 = Ω u(x) + v(x) dx u(x) + v(x) dx Ω 1 = ≤ Ω u(x) + v(x) dx u(x) dx + Ω Ω 1 = = Sea v(x) dx u + v 1 1 < p < ∞.CAPÍTULO 2. (Desigualdad de Minkowski para integrales) Teorema 2. en el siguiente teorema se garantiza el cumplimiento de la desigualdad triangular. p p w ∈ Lp (Ω) tal que w ≥ 0 con y w p ≤ 1. p = Ω . v ∈ Lp (Ω). Los espacios Lebesgue Lp (Ω) Además. : sea u.

6) .p en Ω. La mayor de las cotas inferiores k es llamado supremo esencial de |u| en Ω y es denotado por ess sup |u(x)|. Una función u medible en Ω es llamada esencialmente acotada en Ω si existe una constante k tal que |u(x)| ≤ k c. pues en caso contrario. v u+v ≤ u + v p. la desigualdad de Hölder nos garantiza que u 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 . p ≤ u p + v p Por lo tanto p p Denición 2. p. Luego. Por lo tanto s > 1.3 (Desigualdad de interpolación). (2. Demostración. Note que s > 1. Si u ∈ Lp (Ω) ∩ Lr (Ω) entonces u ∈ Lq (Ω) y q p r u q ≤ u θ p u 1−θ r .t. lo cual es una contradicción ya que por p r r θq (1 − θ)q hipótesis + = 1. x∈Ω La demostración de esto puede consultarse en textos como [12]. El funcional u ∞ = ess sup |u(x)| dene una norma en L∞ (Ω). en cuyo caso podemos vericar que 1 < q(1 − θ) s < ∞ y 1 < s∗ < ∞. q. r y θ como en la hipótesis. si s ≤ 1.4 (Espacios L∞ (Ω)). x∈Ω Denotamos por L∞ (Ω) el espacio vectorial de todas las funciones u que son esencialmente acotadas en Ω. Sean 1 ≤ p < q < r < ∞ tales que θ 1−θ 1 = + para algún θ. p r r ∗ De manera análoga se dene s = . 0 < θ < 1. [9]. signica que ≥1 θq p θq (1 − θ)q (1 − θ)q por lo que + ≥ 1+ > 1. Sean 1 1 θq (1 − θ)q + = p + r p r θq q(1 − θ) p θq Hagamos s = . [15]. 1= Luego.CAPÍTULO 2. Teorema 2. Los espacios Lebesgue Lp (Ω) sup Ω u(x) + v(x) w(x)dx : w(x) ≥ o en Ω.

al sustituir en (2.CAPÍTULO 2. Teorema 2.5 Banach. N (k) Sea (fk )k∈N p Lp (Ω). Los espacios Lebesgue Lp (Ω) r = r.8) No presentamos esta demostración. (2. q(1 − θ) q (1−θ)r Observe que θqs = θq p =p θq y (1 − θ)qs∗ = (1 − θ)q Luego.4 (Un teorema de inmersión para los espacios Lp ).7) Esto es. 2 para cada n. Para 1 ≤ p < ∞ se tiene que Lp (Ω) es un espacio de una sucesión de Cauchy en Demostración. sin embargo los interesados en ella puede consultar [1] y [3] entre otras.6) se tiene θq p u q q ≤ Ω |u(x)| dx |u(x)|p dx Ω 1 p p |u(x)| dx Ω θq r ≤ ≤ ≤ u u θq p θ p |u(x)|r dx Ω 1 r (1−θ)q u u (1−θ)q r (1−θ) . 2k En particular. r En lo que sigue. Sean 1 ≤ p ≤ q < ∞ y u ∈ Lq (Ω). Teorema 2. (2. Lq (Ω) → Lp (Ω). convenimos en escribir V ol(Θ) := Ω cuando 1dx Ω 1dx < ∞. entonces u ∈ Lp (Ω) y 1 + p u p ≤ (V ol(Ω)) 1 q u q. 1 . para cada k fnk+1 − fnk p < (2. si Θ es un conjunto medible.9) 25 . Entonces podemos tal que fn − fm 1 < k. elegir (Riesz-Fischer) . m ≥ nk .

12) Entonces por la desigualdad de Minkowski y en virtud a la desigualdad (2.CAPÍTULO 2. f converge en casi todas partes sobre Ω. (2. con lo cual se verica que Ω g p < ∞. Los espacios Lebesgue Lp (Ω) Denimos la función ∞ f (x) := fn1 + k=1 (fnk+1 − fnk ). Así. |f | ≤ g . 2k { SN (g) p }N p < p + k=1 Así. se tiene que Ω |f |p ≤ Ω gp. (2. f ∈ Lp (Ω) y se sigue que fp es integrable. Así. Note que 26 . por lo tanto {fnk } converge a f en casi todas partes. g(x) := |fn1 | + k=1 y las sumas parciales de |fnk+1 − fnk |. De las deniciones de en consecuencia.9) se tiene que N −1 SN (g) p ≤ fn 1 p+ k=1 N −1 (fnk+1 − fnk ) p ≤ fn 1 fn 1 p + k=1 N −1 fnk+1 − fnk 1 .11) g N −1 SN (g) := |fn1 | + k=1 |fnk+1 − fnk |. (2.10) y consideremos las sumas parciales También denimos la función SN (f ) := fn1 + k=1 ∞ (fnk+1 − fnk ) = fnN .10) y (2. la sucesión no decreciente de sumas parciales es acotada por fn1 p+ 1. N −1 x ∈ Ω. f y g en (2.11) respectivamente. x ∈ Ω.

L2 (Ω) es un espacio de Hilbert con el producto interno dado por u. Aproximación por funciones continuas Lema 2. Demostración.1. Esto signica que f. la sucesión converge a {fnk }k converge a f en Lp (Ω). 27 . Los espacios Lebesgue 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. v = Ω u(x)v(x)dx. dado que es una sucesión de Cauchy. §2. Es claro que S ⊂ Lp (Ω). dado que toda función simple s medible en Ω está en Lp (Ω) por la denición de éstas. Entonces por el teorema de convergencia dominada (1. {fn }n también Es decir. Sean 1 ≤ p < ∞ y S la clase de todas las funciones simples complejas en Ω. Ω 1/p k→∞ l´ ım f − fnk p = = k→∞ l´ ım |f (x) − fnk (x)|p dx Ω 1/p |f (x) − l´ fnk (x)|p dx ım Ω k→∞ = 0. Corolario 2.18) se tiene que f = Ω Así. S es denso en Lp (Ω).CAPÍTULO 2. k→∞ l´ ım fnk .7.6.

tal que (2. 2 (2. Teorema 2. entonces por el teorema de convergencia dominada (1. . u ≥ 0 en medible. Si 1 ≤ p < ∞ entonces C0 (Ω) es denso en Lp (Ω). Demostración. esto es. . Los espacios Lebesgue Lp (Ω) Por otra parte. El siguiente teorema juega un rol fundamental dentro del trabajo. |u − sn |p ≤ u . (un )n∈N cuando el lema (2. por tal razón presentamos su demostración detallada.14) existe una sucesión de {sn }n∈N Ω tal que (a) 0 ≤ s1 ≤ s2 ≤ . (b) sn (x) → u(x) cuando n → ∞ para cada x ∈ X . Ω u − sn p →0 cuando n → ∞. y m ({x : sn0 (x) = φ(x)}) < Por otra parte.15) .8. p para cada n ∈ N.15) para garantizar que Luego sn ∈ L (Ω). para n → ∞.7) nos garantiza la existencia de una sucesión de funciones simples de forma que sn → u Por lo tanto.13) se garantiza la existencia de una función φ ∈ C0 (Ω) . está mayorada por una función integrable. dado que garantiza que 4 sn0 sup φ(x) ≤ sup sn0 (x) = sn0 x∈Ω x∈Ω (2. hacemos uso del teorema (1. es decir. el teorema (1. u está en la clausura de S.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.CAPÍTULO 2. si funciones u ∈ Lp (Ω).4) nos sn0 − φ p ≤ sn0 − φ ∞ ∞ (m ({x ∈ Rn : φ(x) = sn0 (x)}))1/p ∞ 28 < 2 sn0 4 sn0 = . Si 1≤p<∞ y u ∈ Lp (Ω). (sn0 − φ) ∈ L∞ (Ω) ⊆ Lp (Ω) el teorema de inmersión (2.14) ∞. Dado que 0 ≤ sn ≤ u p para cualquier n∈N y todo x ∈ Ω. ≤ u.18) se tiene que n→∞ por tanto l´ ım |(u − sn )(x)|p dx = 0.

entonces existe f ∈ Pm tal que Se sigue contable < V ol (Ωm )−1/p .9. C0 (Ω) es denso en Lp (Ω). Si dist(Sopp φ. 29 . Si u ∈ Lp (Ω) y > 0. 2 que φ − f p ≤ φ − f ∞ ∞V ol (Ωm )1/p < Pm m=1 es denso en Lp (Ω) y por lo 2 p tanto L (Ω) . Los espacios Lebesgue Lp (Ω) Haciendo uso de (2. Además y sea Pm = {XΩm f : f ∈ P } m=1 φ ∈ C0 (Ω) φ−f ∞ tal que u−φ p < 2 . p ≤ u − sn0 p + sn0 − φ p < 2 + 2 = . Sea 1 ≤ p < ∞. se sigue que x ≤ m.CAPÍTULO 2. En efecto. x ≤m > 0. dado que es suciente vericar que una sucesión de es acotado. sea podemos elegir (xN )n∈N N ∈N Ωm < tal que xN → x.13) y (2. Teorema 2. existe Pm es denso en C(Ωm ). En consecuencia P el conjunto de todos los polinomios en Rn con coecientes racionales complejos donde XΩm es la función característica de Ωm . Dado que ∞ Pm es numerable. entonces dado tal que xN − x p para cada En consecuencia. Demostración. x = x − xN + xN Dado que esto se cumple para cada cada ≤ >0 x − xN + xN < + m. ya que x ∈ Ωm . Para cada entero positivo m. Ωm es compacto. ∂(Ω)) ≥ Ωm 1 m . para y ∈ ∂(Ω) tendremos que xN − y 1 − ≤ xN − y m Con lo cual se verica que Sea p p ≤ ≤ xN − x p + x−y p p − xN − x x − y p. Ωm es cerrado. y así u−f p < . en cuyo caso. n ≥ N. Así el conjunto es separable. Ωm es compacto. Por otra parte.15) obtenemos u−φ esto es. entonces Lp (Ω) es separable. ∂(Ω)). x ∈ Ωm . consideramos el conjunto Ωm = Veamos que para cada x ∈ Ω : x ≤ m y dist(x.

satisface la propiedad de homogeneidad. traslación de f por a como τa f (x) := Las aplicaciones ˘ f −→ f y f −→ τa f son lineales preservan la medibilidad. Una convolución es un tipo muy general de promedio móvil. si a ∈ Rn .CAPÍTULO 2. no es sencillo comprender sus alcances e implicaciones. se puede suponer que ambas funciones son continuas. Algunas hipótesis sobre u y v son necesarias para garantizar que la integral existe. g en una tercera función que en cierto sentido representa la magnitud en la que se superponen f y una versión trasladada e invertida de g . De la denición (2. esto es. además.16) x ∈ Rn . esto es. sin embargo.16) se siguen las propiedades siguientes: (i) ∗ es conmutativa. La convolución de dos funciones u y v sobre Rn es la función (u ∗ v)(x) := Rn u(y) v(x − y)dy = Rn u(x − y) v(y)dy. que en términos generales es un operador matemático que transforma dos funciones f. Convolución Esta sección está dedicada a presentar la denición de convolución de dos funciones. Así pues. Los espacios Lebesgue Lp (Ω) §2. es distributiva.16. f (x − a).2. esto es. da- do que la medida de Lebesgue es invariante por traslación bajo isometrías y traslaciones. y que una de ellos tiene soporte compacto.5. La convolución tiene muchas aplicaciones interesantes y una de ellas es una demostración de que ∞ C0 (Ω) es denso en Lp (Ω). Además. (ii) (iii) (iv) ∗ ∗ ∗ es asociativa. u ∗ (v + w) = u ∗ v + u ∗ w. u ∗ (αv) = (αu) ∗ v = α(u ∗ v). 30 . como puede verse en 2. la convolución es un concepto físico importantes. Por ejemplo. denotemos por se dene la ˘ f la función sobre Rn denido por x −→ f (−x). en virtud de la invarianza a la invarianza por traslación y simetría de la medida de Lebesgue. (2. en Si f es una función de Rn K. (u ∗ v) ∗ w = u ∗ (v ∗ w). Denición 2. para cada α ∈ R+ .

8. Los espacios Lebesgue Lp (Ω) estas operaciones son clases equivalentes de funciones módulo conjunto de medida de Lebesgue cero. si p ≤ V ol[a + Sopp f + Sopp f ]1/p . Proposición 2. y f ∈ Lp . dado que Φfn (a)−Φf (a) = fn −f p. Si 1 ≤ p < ∞. en cero se concluye la continuidad = De esta última igualdad y la continuidad de uniforme. el virtud del teorema 2. En este caso tendremos que f η>0 de manera que es uniformemente continua Rn . supongamos que sobre Veamos que Φf es continua en cero. τa f − τb f p = 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 τa−b f − f Φf p.1. 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 ]. la aplicación Φf : Rn → Lp denida por Φf : a → τa f es uniformemente continua. tomamos una sucesión en cero se obtiene del hecho que (fn ) ∈ C0 que converge a f las funciones Ahora bien. así existe |y − y | < η =⇒ |f (y) − f (y )| < .CAPÍTULO 2. Demostración. Por consiguiente. f es cualquier elemento de en Lp . si |a| < η . Sea > 0 y en primer lugar f ∈ C0 (Rn ). Φf es continua en cero en este caso. Lp . τa f − f con lo cual se garantiza que Ahora. La continuidad de Φf Φ fn converge uniformemente a Φf . 31 .

2.CAPÍTULO 2. v ∈ Lp (Rn ). tendremos que x →∞ l´ f ∗ g(x) = 0. Si 1 < p < ∞. x ∈ Rn . 32 . si 1 < p < ∞. p∗ ∈ [1. Además.1.3. la continuidad uniforme de f ∗g si p < ∞ se sigue de a proposición Proposición 2. v ∈ Lp∗ (Rn ). g ∈ Lp (Rn ). se tiene que Sean u ∈ Lp (Rn ). con p y p∗ exponentes conjugados . Entonces f ∗ g es uniformemente continua. Entonces Lp es invariante por traslación ∗ por la desigualdad de Hölder 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 ≤ v p∗ < ∞. Los espacios Lebesgue Lp (Ω) Proposición 2. Sean p. En virtud de la desigualdad de Hölder 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. g p∗ x. acotada y satisfaces f ∗g ∞ ≤ f p g p∗ . u ∈ Lp (Rn ). ım lo mismo se cumple si p = 1 y g tiene soporte compacto. Demostración. Demostración. entonces para cada x ∈ Rn se tiene que |(u ∗ v)(x)| ≤ u p v p . Denimos ux (y) = u(x−y). +∞) exponentes conjugados y suponga que f ∈ ∗ Lp (Rn ).

Además. Los espacios Lebesgue Lp (Ω) 1 1 1 + + = 2 entonces p q r (2. Sea p. q. Por con p∗. q r p r p q V q = Rn+n |V(x. y)| dxdy |w(x)| dx Rn Rn r q 1 q = = w r r q |u(z)| dz p 1 q u p p q . y) = |u(x − y)| r |v(y)| r . y) = |u(x − y)| q |w(x)| q las cuales satisfacen q r r W(x. q∗ y 1 1 1 1 1 1 + + + + + =3 p q r p∗ q∗ r∗ r∗ exponentes conjugados de p. Demostración. q y r respectivamente. Rn para todo u ∈ Lp (Rn ) . Consideremos las funciones: U(x. v ∈ Lq (Rn ) y w ∈ Lr (Rn ). w funciones no negativas. u. r ≥ 1 y supongamos que (u ∗ v)(x)w(x)dx ≤ u p v q w r. 33 .17) Teorema 2. v. p q UVW(x. u se sigue que Note que de la continuidad de otra parte obsérvese que F es continua y por lo tanto medible. V(x. Consideremos F : Rn × Rn → C denida F (x. 1 1 1 + + =3− p q r 1 1 1 + + p q r p así = 3 − 2 = 1.CAPÍTULO 2. y) = |v(y)| p |w(x)| p . 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). y) = u(x − y). La demostración se realizará para Suponemos que por u ∈ C0 (Rn ) ya que C0 (Rn ) es denso en Lp (Rn ).10 (Young) .

q. Los espacios Lebesgue Lp (Ω) U p = Rn+n |v(y)| |w(x)| dxdy |v(y)| dy Rn Rn q q r 1 p = = De forma análoga. w r = u p w r . y)V (x. 34 . no es difícil demostrar que. y)dxdy Rn Rn p q q p = ≤ = = U v u V w v q r r p q W u p p q r w r r q u p p r v q q r p w r. Aún cuando aquí no presentamos. n) u p v q ≤ u p v q §2. Corolario 2.3. Si + = 1 + y si u ∈ Lp (Rn ) y v ∈ Lq (Rn ) entonces (u ∗ v) ∈ p q r Lr (Rn ) y u∗v r 1 1 1 ≤ K(p. pero no tiene unidad. r. las operaciones ción) y + (adi- ∗ (convolución) convierte a L1 en un anillo conmutativo.CAPÍTULO 2. y)W (x. hay elementos que se comportan bajo convolución aproximadamente como unidad. Sin embargo.11. Combinando este resultado y la desigualdad de Hölder 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. Aproximaciones de Unidad. p r r q |w(x)| dx r 1 p v q q p u r r p .

Los espacios Lebesgue Lp (Ω) A estos elementos que se comportan como esta unidad se les conoce como Mollier. Sea J ∈ C ∞ (Rn ) una función no negativa con soporte en la bola unitaria en Rn . x ≥ 1. k>0 es elegida de tal forma que la tercera condición se satisfaga. para x ∈ 2) J(x) = 0 si x > 1. son funciones diferenciables con propiedades especiales. n 1) J (x) = 0 si x ≥ 2) J (x) = 1. 35 . Note que. Intuitivamente.CAPÍTULO 2. h Rn Rn y es acotado por y satisface como el integrando se anula fuera de la bola de radio J negativa. Rn Por ejemplo consideremos la función  1  k exp x 2 −1 J(x) :=  0 donde si si x < 1. 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. pertenece a Co (R ) . que se utiliza en la teoría de la distribución para crear secuencias de las funciones suaves para aproximar funciones que no lo son. dada una función que es bastante irregular. la convolución suaviza el comportamiento de la función pero permanece cerca de la función no suave original. Para cada >0 se dene la Mollier J (x) = −n J x . En particular supongamos que 1) J(x) ≥ 0 R n . Rn Las Molliers nos permiten aproximar funciones u ∈ Lp (Ω). 3) J(x)dx = 1. a través de convolución. por funciones suaves.

CAPÍTULO 2.18) tenga sentido. Los espacios Lebesgue Lp (Ω) La convolución J ∗ u(x) = Rn denida para un función de J (x − y)u(y)dy. ım →0 →0 ım 5) Si u ∈ C(Ω) entonces l´ + J ∗ u(x) = u(x) uniformemente en Ω. C0 (Ω) es denso en Lp (Ω) si 1 ≤ p < ∞. Sea u una función denida en Rn y nula en el exterior de Ω. El siguiente teorema resume algunas propiedades de Regularización. Además J ∗u p ≤ u p y l´ + J ∗ u − u p = 0. si < dist(Sopp (u).13. La demostración puede consultarse en [13]. ∞ Corolario 2. 36 . (2. para 1 ≤ p < ∞. ∂(Ω)). Teorema 2. entonces J ∗u ∈ C0 (Ω).12 (Propiedades de Regularización ). 1) Si u ∈ L1 (Rn ) entonces J ∗ u ∈ C ∞ (Rn ). por lo cual se espera que la convolución en (2. ım →0 4) si u ∈ C(Ω) y si G Ω entonces l´ + J ∗ u(x) = u(x) uniformemente en G.1. entonces J ∗ u ∈ Lp (Ω). loc 2) Si u ∈ L1 (Ω) y Sopp (u) loc ∞ Ω. Observación 2.18) u para la cual (2.18) aproxime a u. 3) Si u ∈ Lp (Ω). J aproxima a la Delta de Dirac. es llamada regularización u.

· · · .. denotaremos por X α el monomio. Notación Comenzamos introduciendo las notaciones básicas necesaria para tener. xαn . Por otra parte. Además. .. Para denotar la derivada parcial haremos Dα φ = ∂ α1 ∂ α2 ∂ αn α α α · α2 · · · αn = D1 1 · D2 2 · · · Dn n . .. . αn + βn ). . α. . Un punto en para cada Rn x = (x1 . para designar el se denotarán por conjunto vacío. ∂xα1 ∂x2 ∂xn 1 conviniendo que D(0. . La suma de dos multi-índices. el gradiente de una función de valores reales φ es denotado por Dφ(x) := (D1 φ(x). como tradicionalmente. Cada una de las notaciones está basada en la notación dada en [1..1. x2 . β es α + β = 1 n j=1 (α1 + β1 .. α2 + β2 . de grado |α| = n αj . . Decimos que β ≤ α si βj ≤ αj para todo j = 1. A la n-upla α = (α1 . 13] En el resto del trabajo nos reservamos el símbolo en el espacio Euclidiano Ω para denotar un conjunto abierto Rn y ∅ se designa. donde xi ∈ R 1 ≤ i ≤ n. xα1 . αn ) la llamaremos multi-índice si α es una n−upla de enteros no negativos. n..Cap´tulo ı 3 Distribuciones §3. tanto un buen desarrollo del trabajo así como una buena comprensión por parte del lector interesado.. . 2. Denición 3. · · · . 37 . D2 φ(x). xn ).. Dn φ(x)). ..1. ..0) φ = φ.

T.2. Sea Distribuciones . ∞ D(Ω) = (C0 (Ω). diremos que G Ω si y sólo si G ⊂ Ω y G es compacto. φ ∈ D(Ω). una sucesión Ω 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 función φ ∈ C ∞ (Ω) si se satisfacen la siguientes K Ω tal que Sopp (φj − φ) ⊂ K para uniformemente en cada j. El espacio D (Ω) es dotado con la topología débil estrella. en este caso denotaremos u∈ L1 (Ω).CAPÍTULO 3. Si G ⊂ Rn es no vacío. en si y sólo si Tj (φ) → T (φ) C para todo φ ∈ D(Ω). j→∞ l´ Dα φj (x) = Dα φ(x) ım K para cada multi-índice Las propiedades de la convergencia de en el espacio vectorial Por lo tanto co llamado {φj } denen una topología τ localmente convexa ∞ C0 (Ω). loc 38 . ∞ C0 (Ω) dotado de esta topología se convierte en el espacio vectorial topológiasí D(Ω). Tj → T Una función en para cada para cada φ ∈ D(Ω). entonces se denen las operaciones S. u denida en casi todas partes (ctp) en Ω es llamada localmente integrable u ∈ L1 (U ) para cada abierto Ω siempre que U Ω. se dice que {Tn } converge a T en el sentido distribucional.2 (Continuamente compacto). τ ). Los elementos de este espacio son llamadas distribuciones y/o funciones de prueba. que el lector interesado puede consultar en [19]. Distribuciones La clausura de un conjunto G es denotado por G. (cT )(φ) = cT (φ). de espacio de (Schwartz) distribuciones en Ω. c ∈ C. así que una sucesión El espacio dual D (Ω) D(Ω) es llamado el {Tn } ⊂ D (Ω) Para converge a T ∈ D (Ω) y si Tn (φ) → T (φ) para todo φ ∈ D(Ω). §3. y con esta notación presente podemos introducir la siguiente denición: Denición 3. α. (Tj )j∈N ∈ D (Ω) (S + T )(φ) = S(φ) + T (φ). En este caso.

i=1 i=1 Luego. El funcional loc Tu (φ) := Ω u(x)φ(x)dx. (3. Por lo tanto. se verica que Además. . sea φ1 .1) es una distribución. Distribuciones Ejemplo 3. Para cada u ∈ L1 (Ω).1. para cada j > 0 se deduce que |Tu (φj ) − Tu (φ)| = Ω K⊆ 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 . .CAPÍTULO 3. En efecto. φ2 ∈ D(Ω) y β∈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 ). existe K Ω tal que Sopp (φj − φ) α. Si F es la colección de subconjuntos abiertos de n tal que K ⊆ A. si Tu es lineal. K para todo j y Dα φj → Dα φ uniformemente en K para cada multi-índice Dado que K Ω Ω se tiene que K A∈F n es compacto. ademas K ⊆ K ⊆ Ai . An ∈ F de manera que Ai . {φj } es una sucesión en D(Ω) tal que φj → φ en el sentido D(Ω). φ ∈ D(Ω). . . luego existen A1 .

φj → φ en el sentido D(Ω). Distribuciones Así |Tu (φj ) − Tu (φ)| ≤ K |u(x)||φj (x) − φ(x)|dx |u(x)| sup |φj (x) − φ(x)|dx K x∈K ≤ = sup |φj (x) − φ(x)| x∈K K |u(x)|dx n ≤ sup |φj (x) − φ(x)| x∈K i=1 n Por lo tanto |u(x)|dx . Ai |Tu (φj ) − Tu (φ)| ≤ sup |φj (x) − φ(x)| x∈K i=1 Ai |u(x)|dx .CAPÍTULO 3. (3. Tu Observación 3. Así. para todo φ ∈ D(Ω). si existe δ el lineal. cuando j→∞ En consecuencia. supongamos que δ(0) satisface (3. Por lo tanto |δ(φj ) − δ(φ)| = |φj (0) − φ(0)| → 0. para todo φ ∈ D(Ω). δ ∈ D (Ω) Veamos que δ(0) es una distribución que no satisface (3. φ2 ∈ D(Ω) β ∈ C. loc En efecto. Por lo tanto Además.1) para algún u ∈ L1 (Ω). es una sucesión en {φj } Ω D(Ω) tal que φj → φ en el sentido y D(Ω). y éste último término del lado derecho tiende a cero. No todas las distribuciones T ∈ D (Ω) tienen la forma Tu denida en (3. En efecto. entonces existe una función u ∈ L1 (Ω) loc de manera que: φ(0) = Ω u(x)φ(x)dx. φ1 .2) Consideremos la función de prueba denida por: 40 .1). sea Si δ : D(Ω) → C y dada por δ(φ) = φ(0).1). puesto que es continua. entonces K tal que Sopp (φj − φ) ⊂ K para cada j j→∞ l´ Dα φj (x) = Dα φ(x) ım uniformemente en K para cada multi-índice α. δ(φ1 + βφ2 ) = (φ1 + βφ2 )(0) = φ1 (0) + βφ2 (0) = δ(φ1 ) + βδ(φ2 ).1.

Sean Ω ⊆ Rn un conjunto abierto y T ∈ D (Ω) una distribución. 41 . Dα T es una distribución.2). para toda T ∈ D (Ω). notemos que φa (0) = exp(−1) > 0 (3.1. Ω lo cual contradice nuestra suposición inicial (3. si |x| ≥ a. Distribuciones φa (x) = Con  exp   0 a2 |x|2 − a2 . Proposición 3. si |x| < a . §3.CAPÍTULO 3. Derivada de una distribución Denición 3. a > 0.4) u(x)φa (x)dx Rn ≤ R |u(x)||φa (x)|dx |u(x)||φa (x)|dx |x|<a = ≤ |x|<a |u(x)| exp−1 dx |u(x)|dx.3. |x|<a se sigue entonces que = exp−1 Si u es localmente integrable entonces a→0 |x|<a l´ ım |u(x)|dx = 0 a→0 l´ ım u(x)φa (x)dx = 0. Dado un multi-índice α denimos la α-ésima derivada de T como (Dα T )(φ) = (−1)|α| T (Dα φ) para todo φ ∈ D(Ω).3.3) |φa (x)| ≤ exp(−1) (3.

1) Si 0 ∈ Ω y δ ∈ D (Ω) es la Distribución de Dirac entonces. φ2 ∈ D(Ω) y β ∈ C. Dα δ viene dada por: Dα δ(φ) = (−1)|α| Dα φ(0). (φj −φ) ∈ D(Ω).2. si x ≥ 0 H(x) = 0 . 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 ). procedemos a comprobar la continuidad. Una vez vericada la linealidad. 42 . Sean φ1 .CAPÍTULO 3. una sucesión en D(Ω) tal que φj → φ en el sentido D(Ω). para ello consideramos Entonces {φj }. D (φj −φ) ∈ D(Ω) y existe K j. si x < 0. α Ω tal que Sopp (φj −φ) ⊂ K para todo Ejemplo 3. Distribuciones Demostración. 2) Si Ω = R y H ∈ L1 (Ω) es una función escalonada denida por: loc  1 .

43 . entonces vα es llamada la α-ésima derivada distribucional o débil de Tu . Distribuciones Sea φ ∈ D(R) con soporte compacto en [−a.4. Por lo tanto (T H) es la distribución de Dirac por lo que (T H) es una distribución.CAPÍTULO 3. 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) = δ(φ). loc 1 Si existe una función vα ∈ Lloc (Ω) de tal manera que Tvα (φ) = Dα Tu (φ) para todo φ ∈ D(Ω). Denición 3. Sean Ω ⊆ Rn un conjunto abierto. u ∈ L1 (Ω) y α un multi-índice.

tal que Dα u ∈ Lp (Ω). geometría diferencial y otros campos de las matemáticas. 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. se y en consecuencia Dα u = 0.p ≥ 0. En particular para α=0 44 . 1 p (4. u ∈ Lp (Ω) y existe la derivada distribucional Dα u para cualquier α con |α| ≤ m. física matemática. además si u p p m. Denición 4. Si m es un entero no negativo. para todo |α| ≤ m.p (Ω) es llamado Espacios de Sobolev sobre Ω. para todo 0 ≤ |α| ≤ m.p (Ω). W m.p = 0 implica que 0≤|α|≤m Dα u p p = 0.Cap´tulo ı 4 Espacios de Sobolev Los espacios de Sobolev (que fueron descubiertos en 1930) tienen una fuerte inuencia sobre el desarrollo de la teoría de ecuaciones diferenciales. Sean Ω ⊆ Rn un conjunto abierto y 1 ≤ p ≤ ∞. Entonces se dice que u ∈ W m. sobre el análisis. A continuación introducimos los espacios de Sobolev de orden entero y establecemos algunas de sus más importantes propiedades.p 1 p = 0≤|α|≤m Dα u p  p si 1 ≤ p < ∞.1.1) Es evidente que u m.

CAPÍTULO 4. Espacios de Sobolev tiene que Dα u de lo cual se obtiene p p = D0 u p p = u p p = 0. La homogeneidad del funcional se verica. 45 . 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 . 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 Dα v p p = u + v Teorema 4. W m. p Y para nalizar. nos garantiza que el funcional satisface la desigualdad triangular:  u+v m.p (Ω) es un espacio de Banach. la desigualdad de Hölder.1. u=0.

Dado N >0 t. 0 ≤ |α| ≤ m. existe α p para 0 ≤ |α| ≤ m tal que n ∈ N. tal que De aquí Como {Dα un } es una sucesión de Cauchy en para Lp (Ω) es completo existen funciones u0 y uα (0 < |α| ≤ m). n ≥ N =⇒ =⇒ un − ut 0≤|α|≤m p m. como ción u0 ∈ W m. un − u0 p φ p∗ . un → u0 y Dα un → uα . . φ ∈ 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. Espacios de Sobolev Demostración.CAPÍTULO 4. n → ∞. entonces por deni- D un ∈ L (Ω) > 0. La idea es demostrar que Además.p < p p Dα (un − ut ) Lp (Ω) < .p (Ω). → Tu (φ) para todo φ ∈ D(Ω) cuando n → ∞.p (Ω). α 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 φ p∗ . ción Sea {un } una sucesión de Cauchy en y para todo W m.

∞).p (Ω) nos garantiza que (un )n∈N converge en W m. Es decir. Entonces n→∞ l´ ım un − u0 m. ∞). entonces existe una sucesión (un )n∈N en W m.p (Ω) es completo. para cada se tiene Tuα (φ) = = n→∞ n→∞ l´ TDα un (φ) ım l´ (−1)|α| Tun (Dα φ) ım = (−1)|α| Tu0 (Dα φ). u ∈ W m. Sea u ∈ W m. así uα (x)φ(x) = (−1)|α| Ω De esta manera donde u0 (x)Dα φ(x)dx. en Lp (Ω).p (Ω) tal que un → u. Dα un → vα Lp (Ω) implica que Dα un → vα D (Ω). ∞). k ≥ 1 un entero y p ∈ [1.1.p (Ω).p (Ω) es un subespacio es cerrado de Lp (Ω). vα ∈ Lp (Ω) tal que un → u y Dα un → vα en Lp (Ω).p (Ω) es un espacio reexivo si p ∈ (1. Sean Ω ⊆ Rn un conjunto abierto no vacío. Ω Dα u0 = uα en el sentido distribucional en Ω para 0 ≤ |α| ≤ m.p (Ω).p (Ω) es un espacio separable si p ∈ [1.p (Ω). Proposición 4. vα = D u. de u ∈ W m.p (Ω) es decir.2. así (un )n∈N es de Cauchy y la completitud de W m. D α un → D α u así que en Si un → u Pero.1. se completa así de vericar que W m. Observación 4. Se tiene (a) W k.p = 0. W m. Demostración. {un }n≥1 ⊆ Lp (Ω) y u. α Teorema 4. Sea α un multi-índice.CAPÍTULO 4. Espacios de Sobolev por lo tanto TDα un (φ) → Tuα (φ) φ ∈ D(Ω) para cada φ ∈ D(Ω). entonces en un → u en D (Ω) y en consecuencia en D (Ω). 47 . Luego. Entonces vα = Dα u. (b) W k.

p (Ω) como la clausura de D(Ω) en W k. k En el caso particular en que p = 2. Sean k ≥ 1 un entero y p ∈ [1. J es un W k.2. con la norma · k. Denición 4. Denimos W0k.p (Ω). · m. 1) Obsérvese que decir que u ∈ W0k.p ) es un espacio de Banach y se obtiene (a) y (b). +∞). · X ) es un espacio de Banach que hereda las propiedades de reexividad y separabilidad de isomorsmo isométrico entre X.p (Ω).1 (Ω) y W k.p p ∈ [1.p (Ω) y que. Consideremos la aplicación J : u ∈ W k.p W0 (Ω) ≡ D(Ω) · k. sabemos que X es reexivo si y sólo si es reexivo X es separable si y sólo si Lp (Ω) lo es. 48 . W k. ∞].CAPÍTULO 4. ([13]). Observación 4.p (Ω) y E .p es un espacio de Banach que hereda las propiedades de reexividad y separabilidad de W k. que Sea M el cardinal del conjunto de todos los multi-índices α tales |α| ≤ k y consideremos el espacio producto X := |α|≤k L (Ω).p (Ω)) ⊆ X . Observación 4.1 es inmediato comprobar E es un subespacio vectorial cerrado de X .2.∞ (Ω) no son reexivos. k.p (Ω). De la propia denición deducimos que k. Lp (Ω) donde U = (uα )|α|≤k ∈ X . es decir. k.p .p W0 (Ω) es un subespacio vectorial cerrado de W k.p (Ω).p (Ω) es equivalente a decir que existe una sucesión {ϕn }n≥1 ⊆ D(Ω) tal que ϕn → u en W k. tal que Dα ϕn → Dα u en Lp (Ω). es usual utilizar la notación H0 (Ω) ≡ W0k.∞ (Ω) no es reexivo. Los espacios W k. Se concluye así que (W (Ω). para todo 0 ≤ |α| ≤ k. En virtud a la proposición 4. y sea que E = J(W k.3. Además. Así. 1/p si p que es un espacio de Banach para la norma producto U X = |α|≤k uα p m.p Además.2 (Ω). es decir. con lo que es interesante encontrar una caracterización manejable del espacio W0k. (E. Espacios de Sobolev Demostración. y De hecho.p (Ω) −→ (Dα u)|α|≤k ∈ X.

3. es inmediato comprobar k que C0 (Ω) ⊆ W0k.p (Rn ) = u W k. así existe Demostración. Teorema 4. para todo k ≥ 1. Deducimos ϕn → u Dα ϕn = Dα ϕn → Dα u en L p (Rn ) y |α| ≤ k. y ϕn ∈ D(Rn ) Dα ϕn = Dα ϕn para |α| ≤ k .p (Rn ) = u W k.p (Ω) . ∞). Espacios de Sobolev 2) Aunque D(Ω) es denso en W0k. para todo α con |α| ≤ k y 3) u W k.1 se garantiza la existencia de para todo |α| ≤ k . Entonces. 49 .CAPÍTULO 4. +∞) y u ∈ W0k. es decir. k.p (Ω) tengan soporte compacto en Ω. |α| ≤ k.p (Rn ). k. 2) Dα u = Dα u.p (Ω). 1) u ∈ W0k. en virtud de la proposición 4. 3) Utilizando la convolución con una sucesión regularizante. ϕn denida por ϕn (x) = que evidentemente verica que que ϕn (x) 0 x∈Ω x ∈ Rn − Ω.p (Ω) . p ∈ [1. Dα u = Dα u ∈ Lp (Rn ) p n en L (R ) Así.p u ∈ W0 (Ω).p u ∈ W0 (Rn ) y u W k. x ∈ Rn − Ω. p ∈ [1. esto es u(x) := u(x) 0 x ∈ Ω. Denimos u como la extensión por 0 de u a Rn − Ω. Sean k ≥ 1. que Por hipótesis {ϕn }n≥1 ⊆ D(Ω) de manera ϕn → u Dα ϕn → Dα u Consideremos en en Lp (Ω) Lp (Ω).p (Ω).p (Ω) no se puede deducir que las funciones W0k.

De lo que hemos dicho hasta ahora. Observación 4.4.4.p (Ω) = W0k. Demostración. entonces uψ ∈ W 1.p W0 (Ω). u ∈ Lp (Rn ).p (Ω) para y k y p. En general W k.p (Ω) con Di (uψ) = ψDi u + uDi ψ.p (Ω) dada.p (Rn ) y se satisface Di (uψ) = ψDi u + uDi ψ. pero u ∈ W 1. Sin embargo u∈ / k. pues eso daría que u ∈ W k. 1 ≤ i ≤ n. / 1 2) Lo que sí puede armarse por ejemplo es que si ψ ∈ C0 (Ω). podemos armar que.p (R) u ∈ L (R). en general. uψ pertenece a W 1. 1) Sea u ∈ W 1. que se puede comprobar que no es una función. 50 .p (Rn ). Además. para todo 1 ≤ i ≤ n.CAPÍTULO 4.p (Ω). Espacios de Sobolev Corolario 4. 1). cualquier valore de que Consideremos u≡1 en Ω = (0. p contra el hecho de que u = δ0 − δ1 . Está claro que u ∈ W k.

New York. Vol. Compacidad Débil en Espacios de Banach y aplicaciones de un teorema de R. Facultad de Ciencias. y 2). (1995). Functions of one complex variable. Orlando.C. Carothers. [5] W. Introduction to measure theory. A Short Course on Banach Space Theory. University of London. Robert.1975. 1998. Brito. 1993. John. 1966. Notas de matemática de la Universidad de Los Andes. Mérida .F. The Elements of integration and Lebesgue measure . Ed. John Wiley and Sons.. Functional Analysis. N 135.. 51 . [6] N. 1 [8] R. London Mathemat- ical Society Student Texts. Academic press. Courant.Referencias Bibliográficas [1] Adams.. 7a ed. Inc. Brito. Introducción al cálculo y al análisis matemático (Vol.L. [2] Bachman G. Impacto de la topología débil en espacios de Banach.. (1974). [9] De Barra G. New York.G. NARICI L. 2: 1029 páginas. Jame s. Cambridge. 2004.Venezuela. Sobolev Spaces. [3] Bartle R. Academic Press. 1988. [4] W. Conway.. Vol. Limusa.B. Springer 1986. San Francisco London. México D. inc. F. Florida. [7] J. 1: 670 páginas. 64. Notas de ◦ matemática. Van Nostrand Reinhold Company Ltd.

Graw-Hill. Auckland. New Delhi. Kolmogorov and S. L.Berlin (1973). Tokyo. Dugundgy. Hirsch y G. Springer. R. Lacombe. Bogotá. Hajek. Montreal. Toronto. A rst course in Topology. 1991. [13] F. Habala. Elements of Functional Analysis. Munkres. Lisbon. Macmillan Publishing Company. 1988. Matfys- [12] P. Ally and Bacon. 1998. Parin. [18] H. press. Functional Analysis. 1975. [11] L. Introduction to Banach Spaces I. Inc. Hall. Madrid. Singapore. Royden. AMS.J. Rudin. Springer-Verlag.REFERENCIAS BIBLIOGRÁFICAS [10] J. [19] W. Providence. New York. II. 1999. An Introduction to Banach Spaces Theory. Classical Banach Spaces. Prentice Hall. Evans: Topology. Real Analysis . [17] J. San Juan. Prentice- [14] Kolmogorov A. Caracas. Introductory real analysis. New York. [15] J. 1996. 1998. Springer. London. Prague. Mc. Fomín. Megginson. Lecture Notes in Mathematcs.. Partial Dierential Equations . St. Lindenstrauss. Verlag New York. San Francisco. 173-184. Zizler. 1966. Englewood Clis N.C. P. Louis. Sydney. Milan. [16] R. México. 1970. 52 . V.