Introducción a los Espacios de

Sobolev
Mariana Forastieri
Análisis Funcional
Índice
1. Motivación 4

2. Preliminares 4
2.1. Isomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Espacios Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. El operador adjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.4. Teorema de representación de Riesz-Fréchet . . . . . . . . . . . . . . . . . . 7

3. Los espacios Lp 7
p
3.1. Reflexibilidad, separabilidad y Dual de L . . . . . . . . . . . . . . . . . . . 7
3.2. Convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3. Soportes en la convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4. Sucesiones regularizantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

4. Espacios de Sobolev y problemas de contorno en dimensión uno 15

4.1. Definición de los espacios W 1,p (I) . . . . . . . . . . . . . . . . . . . . . . . . 15
4.2. Propiedades fundamentales del espacio W 1,p (I) . . . . . . . . . . . . . . . . 16
4.3. Los espacios W m,p (I) y el espacio W01,p (I) . . . . . . . . . . . . . . . . . . . 24
4.4. El espacio dual de W01,p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.5. Un ejemplo de problema de contorno . . . . . . . . . . . . . . . . . . . . . . 26
ÍNDICE 3

NOTACION

L(E, F ) operadores lineales y continuos de E en F

E ∗ dual topológico de E, i.e. funcionales continuos de E

Cck (Ω) funciones con derivadas continuas hasta orden k y soporte compacto en Ω, k ≥ 0

Cc∞ (Ω) = k Cck (Ω)

T

IE operador identidad del espacio E

Lp = Lp (Ω, Σ, µ) = u : Ω → R/u medible en Ω y Ω |u(t)|p dµ(t) < ∞ 1 ≤ p < ∞

 R

L∞ = L∞ (Ω, Σ, µ)={u : Ω → R/u es medible en Ω y existe C tal que |u(t)| ≤ C, c.t.p. en Ω}

1K función caracterı́stica del conjunto K (toma el valor 1 en K y 0 en el resto de su

dominio )

|K| medida del conjunto K.

BE Bola cerrada y unitaria del espacio normado E.

B(0, r) Bola abierta centrada en 0 y de radio r.

Suppf Soporte de la función f.

∂ α1 ∂ α2 ∂ αN
Dk f = α α ...
∂x1 1 ∂x2 2
α
∂xNN
f , para f definida en Ω ⊂ RN y α1 + α2 + ... + αN = k

W 1,p , W01,p , W m,p , H 1 , H01 , H m Espacios de Sobolev

∂A Frontera del conjunto A.

4 Preliminares

1. Motivación
Dada f ∈ C([a, b]), consideremos el problema de valores iniciales

−u00 + u = f

en [a, b] (1)
u(a) = u(b) = 0

Una solución clásica (o solución fuerte) del mismo es una función u, de clase C 2 en [a, b],
que lo verifica. Por supuesto, se lo puede resolver con un calculo sencillo, pero aquı́ usaremos
esta ecuación ordinaria como ejemplo simple del método de resolución que sigue el enfoque
variacional de la teorı́a de ecuaciones en derivadas parciales, cuya herramienta fundamental
son los espacios de Sobolev. Para nuestro problema bastara considerar dichos espacios para
funciones definidas en algún intervalo real.
Si se multiplica (1) por una función ϕ cualquiera, ϕ ∈ C 1 ([a, b]) tal que ϕ(a) = ϕ(b) = 0, y
luego se integra por partes, obtenemos
Z b Z b Z b
00
− ϕu dx + ϕudx = ϕf dx
a a a
Z b Z b Z b
0 0
⇔ ϕ u dx − ϕu0 |ba + ϕudx = ϕf dx
a a a
Z b Z b Z b
0 0
⇔ ϕ u dx + ϕudx = ϕf dx ∀ϕ (2)
a a a

Obsérvese que (2) tiene sentido si u ∈ C 1 ([a, b])1 , contrariamente a (1), que supone u deri-
vable dos veces. Digamos provisionalmente, que una función u de clase C 1 que verifica (2) es
una solución débil de (1).
En nuestro estudio precisaremos la noción de solución débil, estableceremos la existencia
y unicidad de una solución débil, demostraremos que es de clase C 2 (por lo menos) y por
ultimo probaremos que toda solución débil de clase C 2 es solución clásica.

2. Preliminares
2.1. Isomorfismos
Definición 2.1. Un isomorfismo entre dos espacios normados E y F es un operador T ∈
L(E, F ) biyectivo tal que T −1 ∈ L(F, E).

Un isomorfismo es entonces, una biyección que conserva la estructura algebraica y también,

como demuestra la siguiente proposición, la estructura topológica.

Proposición 2.2. Sean E y F dos espacios normados. Sea T ∈ L(E, F ) un isomorfismo

−1
entre ellos y sean M = kT k y m = kT −1 k . Entonces :

m kxkE ≤ kT xkF ≤ M kxkE ∀x ∈ E

Demostración. Dado cualquier x ∈ E

1
En realidad bastarı́a con tener u, u0 ∈ L1 (a, b)
Preliminares 5

kxkE = kT −1 (T x)kE ≤ kT −1 kk T xkF

Lo que prueba la primera desigualdad. La segunda es inmediata por la continuidad de T.

Entonces podemos pensar que E y F son un mismo espacio vectorial con dos normas equi-
valentes que generan la misma topologı́a. Diremos que E y F son isomorfos.

Definición 2.3. Un isomorfismo isométrico entre dos espacios normados E y F es una

aplicación lineal T de E en F, sobreyectiva, tal que kT xk = kxk para todo x ∈ E.

Una tal aplicación es por su puesto un isomorfismo:

Por la definición T es continua de norma 1.

T (x1 ) = T (x2 ) =⇒ T (x1 ) − T (x2 ) = 0 =⇒ T (x1 − x2 ) = 0 =⇒ kT (x1 − x2 )k = 0 =⇒

kx1 − x2 k = 0 =⇒ x1 = x2 ∀x1 , x2 ∈ E (inyectividad de T)

kT −1 (T x)k = kxk = kT xk ∀T x ∈ F (continuidad de T −1 )

El isomorfismo isométrico es la identificación total entre dos espacios normados.

Diremos que E y F son isométricos (o iguales) y lo anotaremos E ∼ =F
Observación 2.4. Notemos que un isomorfismo entre E y F que cumpla kT k = kT −1 k = 1
es claramente isométrico.

Observación 2.5. Llamaremos isometrı́a a secas, a una aplicación lineal T de E en F tal

que kT xk = kxk para todo x ∈ E. En cuyo caso E será isométrico al subespacio T (E) ⊆ F .

2.2. Espacios Reflexivos

Sea E un K-espacio vectorial normado2 . Notaremos E ∗ a su dual topológico, que como
sabemos es un espacio de Banach, con la norma dual usual. A los elementos de E ∗ como es
habitual los llamaremos funcionales y a veces usaremos la notación de producto punto hx, ϕi
en vez de ϕ(x), para x ∈ E y ϕ ∈ E ∗ .
Consideremos ahora, el dual topológico del dual (E ∗ )∗ = E ∗∗

Definición 2.6. Llamaremos inmersión canónica de E a la aplicación J = JE : E → E ∗∗ ,

dada por

JE x = Jx ∈ E ∗∗ , donde Jx (ϕ) = ϕ(x), ∀ϕ ∈ E ∗

Es inmediato que para cada x ∈ E, Jx ∈ E ∗∗ :

Jx (cϕ + φ) = (cϕ + φ)(x) = c ϕ(x) + φ(x) = c Jx (ϕ) + Jx (φ) ∀ϕ, φ ∈ E ∗ y ∀c ∈ K

|Jx (ϕ) − Jx (φ)| = |ϕ(x) − φ(x)| = |(ϕ − φ)(x)| ≤ kxk kϕ − φk ∀ϕ, φ ∈ E ∗

Por como fue definida JE es claramente lineal. Además JE es una isometrı́a, es decir E ∼
=
J(E) ⊆ E ∗∗ . Para verlo tomemos cualquier x ∈ E y recordemos que podemos calcular su
norma en forma dual (consecuencia del teorema de Hahn-Banach). Entonces
2
Aquı́ el cuerpo K es R o C
6 Preliminares

kxkE = supϕ∈BE∗ |ϕ(x)| = supϕ∈BE∗ |Jx (ϕ)| = kJx kE ∗∗ = kJE (x)kE ∗∗

Definición 2.7. Un espacio normado E es reflexivo si la isometrı́a JE es sobreyectiva. Con

lo cual E resulta isométrico a su bidual.
Mencionamos dos resultados sobre espacios reflexivos, se puede encontrar una prueba de los
mismos en R[1].
Teorema 2.8. Sea E un espacio de Banach. E es reflexivo si y solo si BE es compacta en la
topologı́a débil σ(E, E ∗ ) (topologı́a menos fina sobre E que hace continua cada elemento de
E ∗ ).
Proposición 2.9. Sea E un espacio de Banach reflexivo y sea M ⊂ E un subespacio
vectorial cerrado. Entonces M , dotado de la norma inducida por E, es reflexivo.

2.3. El operador adjunto

Definición 2.10. Sean E y F dos espacios normados y T ∈ L(E, F ). Definimos el operador
T ∗ , que llamaremos operador adjunto de T, de la siguiente forma:

T ∗ : F ∗ → E ∗ y T ∗ (ϕ) = ϕ ◦ T ∀ϕ ∈ F ∗

Claramente este operador esta bien definido y es lineal. Para ver que es continuo tomemos
ϕ ∈ F ∗ fijo, tenemos entonces:

|(T ∗ ϕ)(x)| = |ϕ(T x)| ≤ kϕk kT xk ≤ kϕk kT k kxk ∀x ∈ E

Luego
kT ∗ ϕk ≤ kT k kϕk ∀ϕ ∈ F ∗ entonces T ∗ ∈ L(F ∗ , E ∗ ) y kT ∗ k ≤ kT k
Mas aun, calculando la norma de los vectores T (x) ∈ F en forma dual, tenemos que:

kT kL(E,F ) = sup kT xkF = sup sup |ϕ(T x)| = sup sup |(ϕ ◦ T )(x)|
x∈BE x∈BE ϕ∈BF ∗ ϕ∈BF ∗ x∈BE

= sup kϕ ◦ T kE ∗ = sup kT ∗ ϕkE ∗ = kT ∗ kL(F ∗ ,E ∗ )

ϕ∈BF ∗ ϕ∈BF ∗

Por lo tanto
kT k = kT ∗ k (1)
Otra consecuencia inmediata de la definición es que si E, F y G son espacios normados y si
T ∈ L(E, F ) y S ∈ L(F, G) entonces

(S ◦ T )∗ = T ∗ ◦ S ∗

Proposición 2.11. Dados dos espacios normados E y F, E ∼

= F =⇒ E ∗ ∼
= F∗
Demostración. Primero observemos que para cualquier funcional ϕ de E, ϕ ◦ IE = ϕ, con
lo que (IE )∗ = IE ∗ . Sea T el isomorfismo isométrico de E sobre F, como

IE ∗ = (IE )∗ = (T −1 ◦ T )∗ = T ∗ ◦ (T −1 )∗
Los espacios Lp 7

ası́ mismo IF ∗ = (T −1 )∗ ◦T ∗ , con lo que hemos probado que T ∗ es biyectivo y (T ∗ )−1 = (T −1 )∗

que es continuo, luego T ∗ es un isomorfismo de F ∗ sobre E ∗ . Como T es isométrico, de
la igualdad kT k = kT −1 k = 1 deducimos por (1) que kT ∗ k = k(T ∗ )−1 k = 1, de donde
se concluye rápidamente que T ∗ también es un isomorfismo isométrico. Resultando E ∗ ∼ =
∗
F .

Proposición 2.12. Dados dos espacios normados E y F y la aplicación T ∈ L(E, F ).

T ∗ ∈ L(F ∗ , E ∗ ) es el único operador que cumple

hx, T ∗ ϕi = hT x, ϕi ∀x ∈ E, ∀ϕ ∈ F ∗

Demostración. Dados x ∈ E y ϕ ∈ F ∗

hx, T ∗ ϕi = (T ∗ ϕ)(x) = (ϕ ◦ T )(x) = ϕ(T x) = hT x, ϕi

Si H ∈ L(F ∗ , E ∗ ) es otro operador cumpliendo lo mismo, entonces dado ϕ ∈ F ∗

hx, Hϕi = hT x, ϕi = hx, T ∗ ϕi ∀x ∈ E

Con lo que Hϕ = T ∗ ϕ, pero ϕ era un funcional cualquiera en F ∗ , entonces H = T ∗ .

2.4. Teorema de representación de Riesz-Fréchet

Recordemos que un R-espacio vectorial, H, es un espacio de Hilbert si esta dotado de un
producto interno h., .i : HXH → R y es completo con la norma inducida por el mismo
(kuk = hu, ui1/2 ).
Dado y ∈ H (H espacio de Hilbert), definamos ϕy ∈ H ∗ por

ϕy (x) = hx, yi , ∀x ∈ H

es inmediato que dicho funcional esta bien definido.

Teorema 2.13. (de Riesz-Fréchet) La aplicación H 3 y 7→ ϕy ∈ H ∗ produce un isomorfismo

isométrico3 de H sobre H ∗ . Es decir, para toda ϕ ∈ H ∗ existe un único y ∈ H tal que
ϕ = h., yi, que además cumple kϕk = kyk.

Este teorema nos dice que todo espacio de Hilbert se puede identificar con su dual, se puede
encontrar una prueba del mismo en R[2].

3. Los espacios Lp
3.1. Reflexibilidad, separabilidad y Dual de Lp
En esta sección y en las siguientes las funciones se consideran a valores reales, Ω designa un
abierto de RN con medida de Lebesgue µ positiva y los espacios Lp (Ω, Σ, µ) son los espacios
de Banach usuales con la norma p usual , donde se han identificado como iguales las funciones
que coinciden c.t.p.
3
Si H es un C-espacio de Hilbert es en realidad un anti-isomorfismo isométrico.
8 Los espacios Lp

R
Además,Rcuando el dominio de integración se deduzca del contexto escribiremos f para
denotar Ω f (t)dµ(t) y pondremos Lp en vez de Lp (Ω, Σ, µ).
Como es habitual, si p y q son números reales tales que p1 + 1q = 1, con 1 < p < ∞,
diremos que p y q son exponentes conjugados entre sı́. Por otro lado, diremos que 1 y ∞
son exponentes conjugados. Usuremos la letra q, a veces sin previo aviso, para referirnos al
exponente conjugado p en ambos casos.
A continuación recordamos un teorema de Teorı́a de la Medida, que es consecuencia directa
del teorema de Radon–Nikodym, para una prueba consultar [R3], pagina 92.

Teorema 3.1. (de Representación de Riesz) Sea ϕ ∈ Lp (Ω, Σ, µ)∗ , 1 < p < ∞, entonces
existe g ∈ Lq (Ω, Σ, µ) (q exponente conjugado de p) tal que
Z
ϕ(f ) = f g dµ ∀f ∈ Lp (2)
Ω

Por otro lado, para ϕ en L1 (Ω, Σ, µ)∗ existe g ∈ L∞ (Ω, Σ, µ) cumpliendo (2) para toda
función f en L1 .4
R
Observación 3.2. L2 dotado del producto interno hf, gi = f g dµ, es un espacio de Hilbert.
El teorema anterior aplicado a L2 es en realidad el teorema de representación 2.13.

Teorema 3.3. Sean p y q exponentes conjugados, 1 < p < ∞. Entonces

Lq (Ω, Σ, µ) ∼
= Lp (Ω, Σ, µ)∗

Demostración. Definimos la función Φ : Lq → (Lp )∗ por

Z Z
p ∗
Φ(g) = ϕg ∈ (L ) , donde ϕg (f ) := f g dµ = f g ∀f ∈ Lp (3)
Ω

1) Φ esta bien definida: La desigualdad de Hölder asegura que si f ∈ Lp y g ∈ Lq , entonces

f g ∈ L1 . Por lo tanto fijado g ∈ Lq , ϕg (f ) es efectivamente un número real para todo f en
Lp , además por estar definida por una integral ϕg es una aplicación lineal y su continuidad
también la tenemos gracias a la desigualdad de Hölder:
Z
|ϕg (f )| ≤ |f g| = kf gk1 ≤ kgkq kf kp para toda f ∈ Lp (4)

Por lo tanto ϕg es un elemento de (Lp )∗

2) Φ es lineal: Sean g, g 0 ∈ Lq y λ ∈ R

Z Z Z
0
ϕλg+g0 (f ) = f (λg + g ) = λ fg + f g 0 = λϕg (f ) + ϕg0 (f ) = (λϕg + ϕg0 )(f ) ∀f ∈ Lp

Por lo tanto ϕλg+g0 = λϕg + ϕg0 , o lo que es lo mismo Φ(λg + g 0 ) = λΦ(g) + Φ(g 0 )

3)Φ es sobreyectiva: Esto esta garantizado por el teorema de Representación de Riesz.

4
Para este segundo caso necesitamos que el espacio de medida (Ω, Σ, µ) sea σ-finito
Los espacios Lp 9

4)Φ es una isometrı́a: Primero observemos que toda función medible g : Ω → R puede
escribirse en la forma g = α|g|, donde α es también una función medible sobre Ω que toma
solo los valores +1 y -1. Fijada entonces g = α|g| ∈ Lq , tomamos f = α|g|q−1 , con lo que
|f |p = |g|pq−p = |g|q , como esta última es una función integrable sabemos que f ∈ Lp y
tenemos
Z Z Z
|g| = f g = ϕg (f ) ≤ kϕg k kf kp = kϕg k ( |g|q )1/p
q

Dividiendo ambos miembros por ( |g|q )1/p se ve que kgkLq ≤ kϕg k(Lp )∗ .
R

Por otro lado en (4) se puede ver que kϕg k(Lp )∗ ≤ kgkLq . Ası́ concluimos que para todo
g ∈ Lq , kΦ(g)k = kϕg k = kgk.

Por lo tanto, Φ un isomorfismo isométrico entre Lq y (Lp )∗

De manera análoga se puede probar que

L1 (Ω, Σ, µ)∗ ∼
= L∞ (Ω, Σ, µ)

Proposición 3.4. Los espacios Lp , 1 < p < ∞, son reflexivos.

Demostración. Como acabamos de ver (Lp )∗ ∼ = Lq entonces por 2.11 (Lp )∗∗ ∼
= (Lq )∗ vı́a el
operador adjunto Φ∗ (Φ∗ : (Lp )∗∗ → (Lq )∗ ). A su vez (Lq )∗ de nuevo, como en la proposición
anterior, se identifica con Lp ,mediante el operador isométrico
Z
q ∗
Γ : L → (L ) Γ(f ) = φf , donde φf (g) := f g para toda g ∈ Lq
p
(5)

Entonces, la composición (Φ∗ )−1 ◦Γ es un isomorfismo isométrico (y por lo tanto sobreyectivo)

de Lp sobre (Lp )∗∗ . Comprobemos que (Φ∗ )−1 ◦ Γ es precisamente la inmersión canónica J de
Lp en su bidual; equivalentemente, es más directo probar que Γ = Φ∗ ◦ J. Tomemos f ∈ Lp ,
y recordemos 2.12 y 2.6

hg, (Φ∗ ◦ J)f i = hg, Φ∗ (J(f ))i = hΦ(g), J(f )i = hf, Φ(g)i ∀g ∈ Lq

y por las definiciones de Φ (3) y Γ tenemos

hg, (Φ∗ ◦ J)f i = hf, Φ(g)i = hg, Γf i ∀g ∈ Lq

de donde (Φ∗ ◦ J)f = Γf para todo f en Lp resultando Γ = Φ∗ ◦ J como querı́amos.

Por lo tanto, hemos probado que J es sobreyectiva, es decir, que para 1 < p < ∞, Lp es un
espacio de Banach reflexivo.
Teorema 3.5. El espacio Cc (Ω) es denso en Lp (Ω) para 1 ≤ p < ∞
Antes de demostrarlo recordemos una definición y dos lemas. Se puede encontrar una de-
mostración del segundo lema en [R1]
Definición 3.6. Sea 1 ≤ p ≤ ∞, se dice que una función f : Ω → R pertenece a Lploc (Ω) si
f 1K ∈ Lp (Ω) para todo compacto K ⊂ Ω.
Lema 3.7. Si f ∈ Lp (Ω), 1 ≤ p ≤ ∞, entonces f ∈ L1loc (Ω).
10 Los espacios Lp

Demostración. Es trivial cuando p = 1. Sea f ∈ Lp , 1 < p ≤ ∞, sea q el exp. conjugado

de p y K ⊆ Ω un compacto cualquiera. Usando la desigualdad de Hölder tenemos
Z
|f 1K | ≤ kf kLp k1K kLq = kf kLp |K|1/q < ∞
Ω

Por lo tanto, f ∈ L1loc (Ω).

Lema 3.8. Sea f ∈ L1loc (Ω) tal que

Z
f u = 0 ∀u ∈ Cc∞ (Ω)
Ω

Entonces f = 0 c.t.p. en Ω.

Demostración. (del teorema). Sabemos que Cc (Ω) es denso en L1 (Ω). Supongamos entonces
que 1 < p < ∞. R Para demostrar que Cc (Ω) es denso en Lp (Ω) es suficiente con ver que si
h ∈ Lq verifica hu = 0 para todo u ∈ Cc (Ω), entonces h = 0. Por 3.7 h ∈ L1loc (Ω) y entonces
se puede aplicar 3.8 para concluir que h = 0 c.t.p.

Teorema 3.9. Lp (Ω) es separable (i.e. contiene un denso numerable) para 1 ≤ p < ∞

Demostración. Se designa por (Ri )i∈I a la familia numerable de rectángulos R ⊂ Ω ⊂ RN

de la forma

R = Πnk=1 (ak , bk ), con ak , bk ∈ Q

Y sea E el espacio vectorial sobre Q generado por las funciones 1Ri (c.l. finitas con coeficientes
racionales de las mismas), de modo que E es numerable. Veamos que es denso en Lp (Ω). Sean
f ∈ Lp (Ω) y  < 0 fijos. Sea f1 ∈ Cc (Ω) tal que kf − f1 kLp <  (sabemos que existe por el
teorema anterior). Sea Ω0 un abierto acotado tal que suppf1 ⊂ Ω0 ⊂ Ω. Como f1 ∈ Cc (Ω0 ), se
construye fácilmente una función f2 ∈ E tal que suppf2 ⊂ Ω0 y que |f2 (x) − f1 (x)| ≤ |Ω0|1/p
c. t. p. en Ω0 (se comienza recubriendo suppf1 con un número finito de rectángulos Ri sobre
los cuales la oscilación de f1 es inferior a |Ω0|1/p ). Resulta entonces que kf2 − f1 kLp ≤  y por
ende kf − f2 kLp < 2.

3.2. Convolucion
Definición 3.10. Dada f ∈ L1 (RN ) y g ∈ Lp (RN ), con 1 ≤ p ≤ ∞. Definimos la convolu-
ción de f y g, que denotamos f ∗ g , por
Z
(f ∗ g)(x) = f (x − y)g(y)dy, x ∈ RN
RN

Teorema 3.11. Para casi todo x ∈ RN , la función y 7→ f (x − y)g(y) es integrable sobre RN ,

por lo que la aplicación anterior esta bien definida. Además f ∗ g ∈ Lp (RN ) y kf ∗ gkLp ≤
kf kL1 kgkLp .

Demostración. Si g ∈ L∞ (RN ), como además f es integrable, la convolucion queda definida

para todo x
Los espacios Lp 11

R R
(f ∗ g)(x) = RN
f (x − y)g(y)dy ≤ kgk∞ RN
f (x − y)dy ≤ ∞
y además para todo x ∈ RN
R  R R
|(f ∗ g)(x)| =  RN f (x − y)g(y)dy  ≤ RN |f (x − y)| |g(y)| dy ≤ kgk∞ RN |f (x − y)| dy =
kgkL∞ kf kL1
con lo que tenemos la desigualdad
kf ∗ gkL∞ ≤ kf kL1 kgkL∞ .
Sea p = 1 y llamemos F (x, y) = f (x − y)g(y). Para casi todo y ∈ RN se tiene
R R
RN |F (x, y)| dx = |g(y)| RN
|f (x − y)| dx = kf kL1 |g(y)| < ∞
R R
y RN dy RN |F (x, y)| dx = kf kL1 kgkL1 < ∞
Aplicando el teorema de Tonelli se ve que F ∈ L1 (RN XRN ). Y por el teorema de Fubini
R N
R RN |FR(x, y)| dy < ∞ c.t.x ∈ R
RN
dx RN |F (x, y)| dy ≤ kf kL1 kgkL1
Como querı́amos.
Si 1 < p < ∞. Por lo anterior, se sabe que para casi todo x ∈ RN fijo, la función y 7→
|f (x − y)| |g(y)|p es integrable sobre RN , esto es
|f (x − y)|1/p |g(y)| ∈ Lp (RN )
Como |f (x − y)|1/q ∈ Lq , siendo q el exponente conjugado de p, se deduce de la desigualdad
de Hölder que
|f (x − y)| |g(y)| = |f (x − y)|1/p |g(y)| |f (x − y)|1/q ∈ L1 y
1/q
|f (x − y)| |g(y)| dy ≤ ( |f (x − y)| |g(y)|p dy)1/p kf kL1
R R
p/q
⇒ |(f ∗ g)(x)|p ≤ (|f | ∗ |g|p )(x) kf kL1
Aplicando el resultado del caso p = 1, se ve que
p/q
f ∗ g ∈ Lp y kf ∗ gkpLp ≤ kf kL1 kgkpLp kf kL1
⇒ kf ∗ gkLp ≤ kf kL1 kgkLp .

En lo que sigue, dada una función f notaremos f˘(x) = f (−x)

Proposición 3.12. Sean f ∈ L1 (RN ), g ∈ Lp (RN ) y h ∈ Lq (RN ). Entonces
Z Z
(f ∗ g)h = g(f˘ ∗ h). (6)
RN RN

Demostración. La función F (x, y) = f (x − y)g(y)h(x) pertenece a L1 (RN XRN ) ya que

Z Z 
|h(x)| |f (x − y)| |g(y)| dy dx < ∞

gracias al teorema 3.11 y a la desigualdad de H ölder.

Por consiguiente
Z Z Z Z Z Z
(f ∗ g)(x)h(x)dx = F (x, y)dydx = F (x, y)dxdy = g(y)(f˘ ∗ h)(y)dy.
12 Los espacios Lp

3.3. Soportes en la convolucion

La noción de soporte de una función continua, complemento del mayor abierto sobre el que
es nula o equivalentemente clausura del conjunto donde es no nula, ya no es adecuada cuando
se trabaja con funciones medibles (que suelen estar definidas solo para casi todo punto) como
se ve considerando la función 1Q .

Proposición 3.13. Sea f : Ω → R. Se considera la familia deStodos los abiertos (ωi )i∈I ,
ωi ⊂ Ω, tales que para todo i, f = 0 c.t.p. en ωi . Se define ω = i∈I ωi .
Entonces f = 0 c.t.p. en ω.

Demostración. No es evidente que f = 0 c.t.p. enS ω ya que la familia I no es numerable.

Sea (Kn ) una sucesión de compactos tales que ω = ∞ n=1 Kn , por ejemplo

Kn = x ∈ ω; d(x, RN − ω) ≥ 1/n ∧ |x| ≤ n ∀n
S
Para cada n, Kn esta S . Sea Kn ⊂ i∈In ωi con In ∩ I
recubierto por un numero finito de ωiS
finito. Poniendo J = n In (J es numerable) se tiene ω = i∈J ωi y podemos afirmar que
f = 0 c.t.p. en ω.

Definición 3.14. Dada f como en la proposición, definimos Suppf = Ω − ω.

Observación 3.15. Si f1 y f2 son dos funciones iguales en c.t.p. de Ω entonces tienen el

mismo soporte y hablaremos del soporte de la función f ∈ Lp .
Si f es continua en Ω se comprueba fácilmente que esta definición coincide con la usual.

Observación 3.16. Se puede probar (ver [R1]) que si f ∈ L1 (RN ) y g ∈ Lp (RN ) entonces
Supp(f ∗ g) ⊂ Suppf + Suppg. Si ambas tienen soporte compacto entonces la convolucion
tiene soporte compacto.

Proposición 3.17. Sean f ∈ Cc (RN ) y g ∈ L1loc (RN ). Entonces

f ∗ g ∈ C(RN )

Demostración. Para todo x ∈ RN la función y 7→ f (x − y)g(y) es integrable, por lo que

(f ∗ g)(x) esta definida para todo x ∈ RN .
Sea xn → x y pongamos

Fn (y) = f (xn − y)g(y) y F (y) = f (x − y)g(y)

entonces Fn (y) → F (y) c.t.p. en RN . Por otro lado, sea K un compacto tal que (xn −Suppf ) ⊂
K para todo n. Ası́ f (xn − y) = 0 para y ∈ / K y por tanto |Fn (y)| ≤ kf kL∞ 1K (y)g(y) y por
el teorema de la convergencia dominada
Z Z
(f ∗ g)(xn ) = Fn (y)dy → F (y)dy = (f ∗ g)(x).

Proposición 3.18. Sean f ∈ Cck (RN ) y g ∈ L1loc (RN )(k natural). Entonces

f ∗ g ∈ C k (RN ) y Dk (f ∗ g) = (Dk f ) ∗ g
Los espacios Lp 13

En particular, si f ∈ Cc (RN ) y g ∈ L1loc (RN ), entonces f ∗ g ∈ C ∞ (RN ).

Demostración. Por recurrencia se reduce al caso k = 1.

Sea x ∈ RN fijo y sea h ∈ RN con |h| < 1. Se tiene

|f (x + h − y) − f (x − y) − h∇f (x − y)|
Z 1 
 
=
 [h∇f (x + sh − y) − h∇f (x − y)] ds ≤ |h| (|h|) ∀y ∈ RN
0

donde (|h|) → 0 cuando |h| → 0 (pues ∇f es uniformemente continuo sobre RN ).

Sea K un compacto suficientemente grande para que x ∪ B(0, 1) − Suppf ⊂ K. Entonces

|f (x + h − y) − f (x − y) − h∇f (x − y)| = 0 ∀y ∈
/ K, ∀h ∈ B(0, 1)

|f (x + h − y) − f (x − y) − h∇f (x − y)| ≤ |h| (|h|)1K (y) ∀y ∈ RN , ∀h ∈ B(0, 1)

Por consiguiente
Z
|(f ∗ g)(x + h) − (f ∗ g)(x) − h(∇f ∗ g)(x)| ≤ |h| (|h|) |g(y)| dy.
K

De donde f ∗ g es diferenciable en x y ∇(f ∗ g)(x) = (∇f ∗ g)(x)

3.4. Sucesiones regularizantes

Definición 3.19. Se llama sucesión regularizante a toda sucesión de funciones (ρn )n≥1 tal
que
Z
∞ N
ρn ∈ Cc (R ), Suppρn ⊂ B(0, 1/n), ρn = 1, ρn ≥ 0, ∀n
RN

Ejemplo 3.20. Si fijamos una función ρ ∈ Cc∞ (RN ) con Suppρ ⊂ B(0, 1), ρ > 0 y ρ ≥ 0
R

en RN ; por ejemplo ( 1

ρ(x) = e |x|2 −1 si |x| < 1

0 si |x| ≥ 1

Y consideramos para cada n ∈ N a la función ρn (x) = CnN ρ(nx) con C = ( ρ)−1 , obtenemos
R

una sucesión regularizante.

Proposición 3.21. Sea f ∈ C(RN ); entonces ρn ∗f → f uniformemente sobre todo compacto

de RN .

Demostración. Fijemos un compacto K de RN . Para todo  > 0 existe δ > 0 tal que

|f (x − y) − f (x)| <  ∀x ∈ K, ∀y ∈ B(0, δ).

14 Los espacios Lp

Se tiene

Z Z
(ρn ∗ f )(x) − f (x) = [f (x − y) − f (x)] ρn (y)dy = [f (x − y) − f (x)] ρn (y)dy
B(0,1/n)

Entonces, para n > 1/δ y x ∈ K, se tiene

Z
|(ρn ∗ f )(x) − f (x)| ≤  ρn = .

Teorema 3.22. Sea f ∈ Lp (RN ) con 1 ≤ p < ∞. Entonces ρn ∗ f → f en Lp (RN ).

Demostración. Dado  > 0 como Cc es denso en Lp (3.5) podemos tomar f1 ∈ Cc (RN ) fija
tal que kf − f1 kLp < . Por la proposición anterior sabemos que ρn ∗ f1 → f1 uniformemente
sobre todo compacto. Y por 3.16
Supp(ρn ∗ f1 ) ⊂ B(0, 1/n) + Suppf1 ⊂ K, K compacto fijo
Se deduce que
kρn ∗ f1 − f1 kLp → 0 cuando n → ∞
Finalmente se escribe
ρn ∗ f − f = [ρn ∗ (f − f1 )] + [ρn ∗ f1 − f1 ] + [f1 − f ]
de donde resulta por 3.11 que
kρn ∗ f − f kLp ≤ 2 kf − f1 kLp + kρn ∗ f1 − f1 kLp
Concluimos que
limn→∞ kρn ∗ f − f kLp = 0

Corolario 3.23. Cc∞ (Ω) es denso en Lp (Ω) para 1 ≤ p < ∞, donde Ω como siempre es un
abierto arbitrario de RN .
Demostración. Sean f ∈ Lp (Ω),  > 0 y f1 ∈ Cc (Ω) tales que
kf − f1 kLp (Ω) < 

Consideremos f¯1

f1 (x) si x ∈ Ω
f¯1 (x) =
0 c.c
entonces f¯1 ∈ Lp (RN ) y por el teorema ρn ∗ f¯1 − f¯1 → 0. Por otro lado

Supp(ρn ∗ f¯1 ) ⊂ B(0, 1/n) + Suppf1 ⊂ Ω, para n suficientemente grande

Sea un = (ρn ∗ f¯1 )|Ω . Entonces para n grande, un ∈ Cc (Ω) y kun − f1 kLp (Ω) → 0, resultando
kun − f kLp (Ω) < 2.
Espacios de Sobolev y problemas de contorno en dimensión uno 15

4. Espacios de Sobolev y problemas de contorno en

dimensión uno
4.1. Definición de los espacios W 1,p (I)
Definición 4.1. Sea I ⊆ R un intervalo abierto y sea p ∈ R con 1 ≤ p ≤ ∞, definimos el
espacio de Sobolev W 1,p (I) por

W 1,p (I) := u ∈ Lp (I); ∃g ∈ Lp (I) tal que I uϕ0 = − I gϕ ∀ϕ ∈ Cc1 (I)

 R R

En particular, notaremos H 1 (I) := W 1,2 (I).

Dado u ∈ W 1,p (I) a la función g en las condiciones de la definición, la llamaremos derivada

débil de u y anotaremos g = u0 . A las funciones ϕ se las suele llamar funciones test.

Observación 4.2. Para cada u ∈ W 1,p (I) g es única, por ende la notación u0 tiene sentido.
Si suponemos que existe h en las condiciones de g, entonces
Z Z
gϕ = hϕ ∀ϕ ∈ Cc1 (I)
I I
Z
⇒ (g − h)ϕ = 0 ∀ϕ ∈ Cc1 (I)
I

Como g − h pertenece Lp (I), por 3.7 g − h pertenece a L1loc (I), y aplicando 3.8 tenemos que
g − h = 0 c.t.p o bien g = h c.t.p. de I.

Observación 4.3. Si u ∈ C 1 (I) ∩ Lp (I), u0 ∈ Lp (I) (aquı́ u0 es las derivada usual) y ϕ es

una función test con suppϕ ⊆ [a, b] ⊆ I entonces por la fórmula de partes
Z Z b Z b Z
0 0
uϕ = b
uϕ = uϕ|a − u ϕ = − u0 ϕ
0
I a a I
1,p
como ϕ era genérica, u ∈ W (I) y la derivada débil coincide con la derivada habitual. En
¯ ⊂ W 1,p (I) para todo 1 ≤ p ≤ ∞.
particular si I esta acotado, entonces C 1 (I)

Ejemplo 4.4. Consideremos la función u(x) = |x| definida en I = (−1, 1). Dada ϕ ∈ Cc1 (I)
se tiene que
Z Z 0 Z 1 Z 0 Z 1
0 0 0
uϕ = − xϕ + xϕ = ϕ+ ϕ
I −1 0 −1 0

donde la última igualdad proviene de integrar por partes teniendo en cuenta que ϕ(−1) =
ϕ(1) = 0. Por lo tanto, Z Z
0
uϕ = − gϕ
I I
con 
−1 si −1 < x < 0
g(x) =
1 si 0 < x < 1
Claramente g ∈ Lp (I) para todo 1 ≤ p ≤ ∞. Ası́ u ∈ W 1,p (I) para todo p y su derivada
débil es u0 = g, a pesar de que u no es derivable en el sentido usual y por tanto u ∈
/ C 1 (I)
16 Espacios de Sobolev y problemas de contorno en dimensión uno

Observación 4.5. De la misma forma que en el ejemplo se puede probar que si el intervalo
I esta acotado, entonces toda función continua en I¯ y derivable con continuidad a trozos en
I¯ pertenece a W 1,p (I) para todo p, 1 ≤ p ≤ ∞.
Es inmediato a partir de la definición que W 1,p es en realidad un subespacio vectorial de Lp ,
por ende si u, v ∈ W 1,p y c es un numero real, entonces u + cv ∈ W 1,p . Mas aun, la propiedad
de linealidad de la integral también nos da el siguiente lema cuya demostración es trivial.
Lema 4.6. (Linealidad de la derivada débil) Sean u, v ∈ W 1,p (I) y c ∈ R, entonces
(u + cv)0 = cu0 + v 0 .
W 1,p esta dotado de la norma
kukW 1,p = kukLp + ku0 kLp (∗)
o a veces, si 1 < p < ∞, con la norma equivalente (kukpLp + ku0 kpLp )1/p . El espacio H 1 esta
dotado del producto escalar
hu, viH 1 = hu, viL2 + hu0 , v 0 iL2 = (uv + u0 v 0 )
R
I
con la norma asociada
kukH 1 = (hu, uiL2 + hu0 , u0 iL2 )1/2 = (kuk2L2 + ku0 k2L2 )1/2
que como dijimos es equivalente a la norma (∗) con p = 2.

4.2. Propiedades fundamentales del espacio W 1,p (I)

Proposición 4.7. W 1,p es un espacio de Banach para 1 ≤ p ≤ ∞. Es reflexivo para 1 <
p < ∞ y separable para 1 ≤ p < ∞. H 1 es un espacio de Hilbert separable.
Demostración. 1)Sea (un ) una sucesión de Cauchy en W 1,p , por como fue definida la norma
en el espacio de Sobolev, (un ) y (u0n ) resultan sucesiones de Cauchy en Lp (para (u0n ) ver
lema 4.6), y como Lp es completo, un → u ∈ Lp y u0n → g ∈ Lp . Entonces
Z Z
un ϕ = − u0n ϕ ∀ϕ ∈ Cc1 (I)
0
I I
y en el lı́mite
uϕ0 = −
R R
I I
gϕ ∀ϕ ∈ Cc1 (I)
Por lo tanto, u ∈ W 1,p , u0 = g y kun − ukW 1,p = kun − ukLp + ku0n − u0 kLp → 0, resultando
W 1,p completo.

2) Veamos que es reflexivo:

Si 1 < p < ∞ por 3.4 Lp es reflexivo y en consecuencia el espacio producto E = Lp XLp es
reflexivo. El operador T : W 1,p → E dado por T u = (u, u0 ) es una isometrı́a de W 1,p en E,
por tanto T (W 1,p ) es un subespacio cerrado de E. Resulta entonces por 2.9 que T (W 1,p ) es
reflexivo, y por consiguiente también lo es W 1,p .

3) Es separable para 1 ≤ p < ∞:

Por 3.9 el espacio producto E = Lp XLp resulta separable, y como cualquier subconjunto de
un separable es separable, T (W 1,p ) también es separable. Por ende W 1,p es separable.
Espacios de Sobolev y problemas de contorno en dimensión uno 17

Observación 4.8. Destaquemos que si (un ) es una sucesión en W 1,p que converge a u en Lp
y (u0n ) también es convergente en Lp , entonces u ∈ W 1,p y (un ) converge a u con la norma
de W 1,p .

El siguiente teorema afirma que toda función de W 1,p admite un representante continuo
¯ tal que u = ũ c.t.p
Teorema 4.9. Sea u ∈ W 1,p (I), 1 ≤ p ≤ ∞, entonces existe ũ ∈ C(I)
en I y Z x
ũ(x) − ũ(y) = u0 (t)dt ∀x, y ∈ I¯ (7)
y

Para demostrarlo necesitaremos dos lemas

Lema 4.10. Sea f ∈ L1loc (I) tal que

Z
f ϕ0 = 0 ∀ϕ ∈ Cc1 (I) (8)
I

Entonces existe una constante C tal que f = C c.t.p.

R
Demostración. Tomemos φ ∈ Cc (I) tal que I φ = 1. Para toda otra función w en Cc (I)
existe ϕ ∈ Cc1 (I) tal que

ϕ0 = w − ( I w)φ
R

R R
En efecto, h = w − ( I w)φ ∈ Cc (I) y I h = 0, entonces h tiene una primitiva (única) con
soporte compacto, o sea h = ϕ0 para alguna ϕ ∈ Cc1 (I). Aplicándole entonces la hipótesis a
h tenemos que Z  Z 
f w−( w)φ dµ = 0 ∀w ∈ Cc (I)
I I
Z  Z 
⇒ f − ( f φ) wdµ = 0 ∀w ∈ Cc (I)
I I
R R
y por 3.8 f − ( I f φ) = 0 c.t.p , o sea f = I
f φ c.t.p, siendo el segundo miembro claramente
una constante.

Lema 4.11. Sea g ∈ L1loc (I) y sea y0 ∈ I fijo, consideremos la función integral
Z x
v(x) = g(t)dt, x ∈ I (9)
y0

Entonces v es continua y Z Z
0
vϕ = − gϕ, ∀ϕ ∈ Cc1 (I) (10)
I I

Demostración. Dada cualquier ϕ ∈ Cc1 (I), notemos que aunque I = (a, b) no fuese acotado,
i.e. a = −∞ y/o b = ∞, de todas formas las integrales de (10) son finitas gracias a que ϕ y
ϕ0 tienen soporte compacto. Entonces
Z Z Z x  Z Z x
0 0
v(x)ϕ (x)dx = g(t)dt ϕ (x)dx = g(t)ϕ0 (x)dtdx
I I y0 I y0
18 Espacios de Sobolev y problemas de contorno en dimensión uno

Z y0 Z y0 Z bZ x
0
=− g(t)ϕ (x)dtdx + g(t)ϕ0 (x)dtdx
a x y0 y0

Aplicando el teorema de Fubini y la regla de Barrow, se tiene

Z Z y0 Z t Z bZ b
0 0
v(x)ϕ (x)dx = − g(t)ϕ (x)dxdt + g(t)ϕ0 (x)dxdt
I a a y0 t
Z y0 Z t  Z b Z b  Z
0 0
=− g(t) ϕ (x)dx dt + g(t) ϕ (x)dx dt = − g(t)ϕ(t)dt
a a y0 t I

Rx
Demostración. (del Teorema) Se fija y0 ∈ I y se pone ū(x) = y0 u0 (t)dt. Entonces por 4.11
tenemos
Z Z
ūϕ = − u0 ϕ, ∀ϕ ∈ Cc1 (I)
0
I I
0
R 1
Por lo tanto (u − ū)ϕ = 0 ∀ϕ ∈ Cc (I). Entonces por 4.10 u − ū = C c.t.p. Ası́ la función
ũ(x) = ū(x) + C tiene las propiedades deseadas.
Observación 4.12. Cuando sea necesario consideraremos el representante continuo de u
sin hacerlo explicito con la notación ũ.
Proposición 4.13. Sea u ∈ Lp , 1 < p ≤ ∞, y sea q el exp. conjugado de p. Las siguientes
afirmaciones son equivalentes
1. u ∈ W 1,p .
2. Existe una constante C tal que
Z 
 uϕ0  ≤ C kϕk q
 
  L (I) ∀ϕ ∈ Cc1 (I) (11)
I

Además, se puede tomar C = ku0 kLp (I) en 2.

Demostración. 1. ⇒ 2. Es trivial.
2. ⇒ 1. El funcional lineal
Z
ϕ∈ Cc1 (I) 7−→ uϕ0 (12)
I
esta definido en un subespacio denso de Lq (ya que q < ∞) y es continuo para la norma
de Lq . Por el teorema de Hahn-Banach se puede extender a un funcional continuo F en Lq .
Según el teorema de representación de Riesz (3.1) existe g ∈ Lp tal que
Z
hF, ϕi = gϕ ∀ϕ ∈ Lq (13)
I

En particular Z Z
0
uϕ = gϕ ∀ϕ ∈ Cc1 (14)
I I
y ası́ u ∈ W 1,p .
Espacios de Sobolev y problemas de contorno en dimensión uno 19

Observación 4.14. Es claro, por la desigualdad de Hölder, que cuando p = 1 permanece

valido 1. ⇒ 2.
Corolario 4.15. Una función u de L∞ (I) pertenece a W 1,∞ (I) si y solo si existe una cons-
tante C tal que
|u(x) − u(y)| ≤ C |x − y| para c.t. x, y ∈ I.
Demostración. =⇒) Por 4.9 deducimos que

|u(x) − u(y)| ≤ ku0 kL∞ |x − y| para c.t. x, y ∈ I.

⇐=) Sea ϕ ∈ Cc1 (I). Para h ∈ R, con |h| suficientemente pequeño, tenemos
Z  Z 
   
 u(x) [ϕ(x − h) − ϕ(x)] dx =  [u(x + h) − u(x)] ϕ(x)dx
   
I I

(gracias a que ϕ tiene soporte compacto en I). Ahora usando la hipótesis

Z 
 
 u(x) [ϕ(x − h) − ϕ(x)] dx ≤ C |h| kϕk 1
  L
I

Dividiendo por |h| y tomando limite cuando h tiende a 0 obtenemos

Z 
0
 
 uϕ  ≤ C kϕk 1 ∀ϕ ∈ Cc1 (I).
  L
I

Y por la proposición 4.13 u ∈ W 1,∞ (I).

Algunas operaciones fundamentales, como la convolucion, tienen sentido solo para las fun-
ciones definidas en todo R. Veamos como se puede prolongar una función u ∈ W 1,p (I) a una
función ū ∈ W 1,p (R)5 .
Teorema 4.16. (Operador de prolongación) Sea 1 ≤ p ≤ ∞. Existe un operador de prolon-
gación P : W 1,p (I) → W 1,p (R) lineal y continuo tal que

1. P u|I = u ∀u ∈ W 1,p (I)

2. kP ukLp (R) ≤ C kukLp (I) ∀u ∈ W 1,p (I)

3. kP ukW 1,p (R) ≤ C kukW 1,p (I) ∀u ∈ W 1,p (I)

(donde C solo depende de |I|).

Demostración. Si I = (0, ∞) la reflexión respecto del eje Y resuelve la cuestión

u(x) si x ≥ 0
(P u)(x) = ũ(x) =
u(−x) si x < 0

Primeramente se tiene que kũkLp (R) ≤ 2 kukLp (I) . Pongamos

 0
u (x) si x > 0
v(x) = 0
−u (−x) si x < 0
5
Si se prolonga u por 0 fuera de I la función obtenida no pertenece, en general, a W 1,p (R).
20 Espacios de Sobolev y problemas de contorno en dimensión uno

Se comprueba fácilmente que v ∈ Lp (R) y que

Z x
ũ(x) − ũ(0) = v(t)dt ∀x ∈ R (15)
0

Por 4.11 ũ ∈ W 1,p (R) y kũkW 1,p (R) ≤ 2 kukW 1,p (I)
El caso de un intervalo acotado I siempre se puede reducir al caso en que I = (0, 1), por
ende lo probaremos para este último. Fijemos η ∈ C 1 (R), con valores entre cero y uno, tal
que

1 si x < 1/4
η(x) =
0 si x > 3/4
Por otro lado dada u ∈ W 1,p (I), consideremos

u(x) si 0 < x < 1
ũ(x) =
0 si x ≥ 1
y veamos que

ηũ ∈ W 1,p (0, ∞) y (ηũ)0 = η 0 ũ + ηũ0

En efecto, sea ϕ ∈ Cc1 (0, ∞), se tiene

Z ∞ Z 1 Z 1
0 0
ηũϕ = ηuϕ = u [(ηϕ)0 − η 0 ϕ] (16)
0 0 0

Z 1 Z 1
0
=− u ηϕ − uη 0 ϕ ya que ηϕ ∈ Cc1 (0, 1) (17)
0 0
Z ∞
=− (ũ0 η + ũη 0 )ϕ. (18)
0

Ahora, dada u ∈ W 1,p (I) se escribe

u = ηu + (1 − η)u

ηu se prolonga primero a (0, ∞) por ηũ y después se prolonga a R por reflexión. Se obtiene
ası́ una función v1 ∈ W 1,p (R) que prolonga a ηu y tal que

kv1 kLp (R) ≤ 2 kukLp (I) , kv1 kW 1,p (R) ≤ C kukW 1,p (I)

(donde C depende de kη 0 kL∞ ).

Por otro lado se prolonga (1 − η)u primero a (−∞, 1] por 0 en (−∞, 0] y después se prolonga
a R por una reflexión (respecto del 1). Se obtiene ası́ una función v2 ∈ W 1,p (R) que prolonga
a (1 − η)u y tal que

kv2 kLp (R) ≤ 2 kukLp (I) , kv2 kW 1,p (R) ≤ C kukW 1,p (I)

Entonces P u = v1 + v2 resuelve la cuestión.

Espacios de Sobolev y problemas de contorno en dimensión uno 21

Teorema 4.17. (Densidad) Sea u ∈ W 1,p (I) con 1 ≤ p < ∞. Entonces existe una sucesión
(un )n≥1 en Cc∞ (R) tal que la sucesión (un |I )n≥1 converge a u en W 1,p (I).
Demostración. Supongamos I = R, caso contrario se comienza prolongando u a una fun-
ción de W 1,p (R). Demostraremos el teorema en tres etapas.

1)Convolucion
Lema 4.18. Sea ρ ∈ L1 (R) y v ∈ W 1,p (R) con 1 ≤ p ≤ ∞. Entonces

ρ ∗ v ∈ W 1,p (R) y (ρ ∗ v)0 = ρ ∗ v 0 .

Demostración. Tomemos una sucesión (ρn ) de Cc (R) tal que ρn → ρ en L1 . Sabemos por
3.11 que ρ ∗ v ∈ Lp (R) y también para cada n, ρn ∗ v ∈ Lp (R). Sea ϕ ∈ Cc1 (R), por 3.12 y
3.18 se tiene que
Z Z Z Z Z
(ρn ∗ v)ϕ = v(ρ˘n ∗ ϕ ) = v(ρ˘n ∗ ϕ) = − v (ρ˘n ∗ ϕ) = − (ρn ∗ v 0 )ϕ.
0 0 0 0

=⇒ ρn ∗ v ∈ W 1,p (R) y (ρn ∗ v)0 = ρ ∗ v 0

Por el teorema 3.22, ρn ∗ v → ρ ∗ v en Lp y ρn ∗ v 0 → ρ ∗ v 0 en Lp , de donde se concluye la
tesis.
2)Truncamiento
Se fija ξ ∈ Cc (R) tal que 0 ≤ ξ ≤ 1 y

1 si |x| ≤ 1
ξ(x) =
0 si |x| ≥ 2

Se define la sucesión (ξn )n≥1 , con ξn (x) = ξ(x/n) para todo n.

Y se comprueba , gracias al teorema de la convergencia dominada, que si una función f ∈ Lp
con 1 ≤ p < ∞ entonces ξn f → f en Lp .

3)Conclusión
Se toma una sucesión regularizarte (ρn ). La sucesión (un ), con un = ξn (ρn ∗ u) converge a u
en W 1,p . En efecto, si escribimos

un − u = ξn [(ρn ∗ u) − u] + [ξn u − u]

Entonces

kun − ukLp ≤ k(ρn ∗ u) − ukLp + kξn u − ukLp → 0

Por el lema anterior se tiene

u0n = ξn0 (ρn ∗ u) + ξn (ρn ∗ u0 )

Por consiguiente
ku0n − u0 kLp ≤ kξn0 (ρn ∗ u)kLp + kξn (ρn ∗ u0 ) − u0 kLp ≤
C
n
kukLp + k(ρn ∗ u0 ) − u0 kLp + kξn u0 − u0 kLp → 0
22 Espacios de Sobolev y problemas de contorno en dimensión uno

donde C = kξ 0 kL∞ .

Teorema 4.19. Existe una constante C, dependiendo solo de |I|, tal que

kukL∞ (I) ≤ C kukW 1,p (I) , ∀u ∈ W 1,p (I), ∀ 1 ≤ p ≤ ∞

Con lo que W 1,p (I) ⊂ L∞ (I) para todo 1 ≤ p ≤ ∞.

Demostración. De nuevo lo demostramos para I = R, ya que el caso general se reduce a

este gracias al teorema de Prolongación.
Sea v ∈ Cc1 (R), si 1 ≤ p < ∞ tomamos G(s) = |s|p−1 s. La composición w = G(v) pertenece
a Cc1 (R) y

w0 = G0 (v)v 0 = p |v|p−1 v 0

Entonces, para x real se tiene

Z x
G(v(x)) = p |v(t)|p−1 v 0 (t)dt
−∞

y por la desigualdad de H ölder

|v(x)|p ≤ p kvkp−1 0
Lp kv kLp

1−1/p 1/p 1/q 1/p

⇒ |v(x)| ≤ p1/p kvkLp kv 0 kLp ⇒ |v(x)| ≤ e1/e kvkLp kv 0 kLp , ∀x

(ya que p1/p ≤ e1/e , ∀p ≥ 1)

Recordemos la desigualdad de Young que afirma que ∀a, b ≥ 0; ab ≤ p1 ap + 1q bq . Aplicándola
y sacando factor común el mı́nimo entre 1/p y 1/q obtenemos el resultado deseado para
funciones en Cc1 (R)

 
1/e 1 1 0
|v(x)| ≤ e kvkLp + kv kLp , ∀x =⇒ kvkL∞ ≤ C kvkW 1,p , ∀v ∈ Cc1 (R) (19)
q p

Ahora, por el teorema anterior, dada u ∈ W 1,p sabemos que existe una sucesión (un ) ∈ Cc1 (R)
tal que un → u en W 1,p (R). Por (19) (un ) es de Cauchy en L∞ . Entonces un → u en L∞ y
kukL∞ ≤ C kukW 1,p .

Corolario 4.20. Si I no es acotado y u ∈ W 1,p (I) con 1 ≤ p < ∞. Entonces

lim|x|→∞ u(x) = 0 (20)

Demostración. Por 4.17 existe (un ) ∈ Cc1 (R) tal que un |I → u en W 1,p (I) y por 4.19
kun − ukL∞ (I) → 0, y de aquı́ (20). En efecto, dado  > 0, se elige n suficientemente grande
para que kun − ukL∞ (I) < , y para |x| suficientemente grande se tiene un (x) = 0 y por tanto
|u(x)| < .
Espacios de Sobolev y problemas de contorno en dimensión uno 23

Corolario 4.21. (Derivación del producto) Sean u, v ∈ W 1,p (I), con 1 ≤ p ≤ ∞. Entonces
uv ∈ W 1,p (I) y

(uv)0 = u0 v + uv 0 (21)

Además se verifica la formula de integración por partes

Z x Z x
uv =0
uv|xy − uv 0 ∀x, y ∈ I¯ (22)
y y

Demostración. Como u ∈ L∞ (4.19), luego uv ∈ Lp . Comencemos suponiendo p < ∞;

tomemos dos sucesiones (un ) y (vn ) en Cc1 (R) tales que un |I → u y vn |I → v en W 1,p (I).
Entonces un → u y vn → v en L∞ (I), luego un vn → uv en L∞ (I) y en Lp (I). Entonces

(un vn )0 = u0n vn + un vn0 → u0 v + uv 0 en Lp (I)

De donde uv ∈ W 1,p (I) y (uv)0 = u0 v + uv 0 (ver 4.8), e integrando se obtiene la formula de

partes.
Si u, v ∈ W 1,∞ (I) entonces

uv ∈ L∞ (I) y u0 v + uv 0 ∈ L∞ (I)

Para ver que en efecto

Z Z
0
uvϕ = − (u0 v + uv 0 )ϕ ∀ϕ ∈ Cc1 (I)
I I

dada ϕ ∈ Cc1 (I) se fija un intervalo abierto y acotado J ⊂ I que contenga al soporte de ϕ.
Entonces u, v ∈ W 1,p (I) para todo p < ∞ y por lo anterior
Z Z
0
uvϕ = − (u0 v + uv 0 )ϕ
J J

Z Z
0
o sea uvϕ = − (u0 v + uv 0 )ϕ
I I

Otro resultado importante que se puede demostrar usando el teorema anterior (ver [R1]) es
el de derivación de una composición de funciones.

Corolario 4.22. Sea G ∈ C 1 (R) tal que G(0) = 0 6

y sea u ∈ W 1,p (I). Entonces

G ◦ u ∈ W 1,p (I) y (G ◦ u)0 = (G0 ◦ u)u0 .

6
Esta restricción es necesaria cuando I es no acotado y 1 ≤ p < ∞.
24 Espacios de Sobolev y problemas de contorno en dimensión uno

4.3. Los espacios W m,p (I) y el espacio W01,p (I)

Definición 4.23. Dado un entero m ≥ 2 y 1 ≤ p ≤ ∞, definimos por recurrencia el espacio

W m,p (I) = {u ∈ W m−1,p (I), u0 ∈ W m−1,p (I)}

Notaremos H m (I) = W m,2 (I).

Se comprueba fácilmente que u ∈ W m,p (I) si y solo si existen g1 , ..., gm ∈ Lp (I) cumpliendo
Z Z
j
uD ϕ = (−1) j
gj ϕ ∀ϕ ∈ Cc∞ (I), ∀j = 1, ..., m

Y se anota nuevamente gj = Dj u.
Dotamos a este espacio de la norma
Pm
kukW m,p = kukLp + j=1 kDj uk.

Se pueden extender a estos espacios todas las propiedades demostradas para W 1,p .
Definición 4.24. Dado 1 ≤ p < ∞, se designa por W01,p (I) a la clausura de Cc1 (I) en
W 1,p (I). Usaremos H01 (I) para W01,2 (I).
Observación 4.25. W01,p con la norma inducida por W 1,p , es un espacio de Banach separable
y es reflexivo cuando p 6= 1. H01 es un espacio de Hilbert separable.
Observación 4.26. Hemos visto que cuando I = R, Cc1 es denso en W 1,p (teorema 4.17),
es decir W01,p (R) = W 1,p (R).
Usando sucesiones regularizantes se puede ver que Cc∞ (I) es denso en W01,p (I) y que si
u ∈ W 1,p (I) ∩ Cc (I), entonces u ∈ W01,p (I).
Teorema 4.27. Sea u ∈ W 1,p (I), entonces u ∈ W01,p (I) si y solo si u = 0 sobre ∂I.
Demostración. ⇒) Si u ∈ W01,p (I), existe una sucesión en Cc1 (I) que tiende a u en W 1,p (I),
dicha sucesión converge uniformemente a u sobre I¯ y por ende u = 0 en los extremos de I.

⇐)Sea u ∈ W 1,p , con u = 0 en ∂I. Se fija G ∈ C 1 (R) tal que


0 si |t| ≤ 1
G(t) =
t si |t| ≥ 2
y
|G(t)| ≤ |t| ∀t ∈ R
Se pone un = n1 G(nu) que por 4.22 pertenece a W 1,p (I) para todo n. Además

Supp un ⊂ x ∈ I; |u(x)| ≥ n1


entonces Supp un es un compacto incluido en I (u = 0 sobre ∂I y tiende a 0 cuando |x| → ∞,

x ∈ I). Por 4.26 un ∈ W01,p . Usando el teorema de la convergencia dominada se ve que un → u
en W 1,p (I). Entonces u ∈ W01,p (I).
Espacios de Sobolev y problemas de contorno en dimensión uno 25

Proposición 4.28. (Desigualdad de Poincaré) Si I es acotado, existe una constante C,

dependiendo de |I| tal que

kukW 1,p ≤ C ku0 kLp ∀u ∈ W01,p (I).

Demostración. Dada u ∈ W01,p (I) (con I = (a, b)). Como u(a) = 0, tenemos
Z x 
u (t)dt ≤ ku0 kL1
0
 
|u(x)| = |u(x) − u(a)| = 
a

Entonces kukL∞ (I) ≤ ku0 kL1 (I) , y por la desigualdad de Hölder se deduce la tesis.

Observación 4.29. La desigualdad nos dice que en W01,p (I) la cantidad kuk∗ = ku0 kLp es
una norma equivalente a la norma que induce W 1,p en este espacio.
Si I es acotado, la expresión hu0 , v 0 iL2 = u0 v 0 define sobre H01 un producto escalar, y la
R

norma asociada (ku0 kL2 ) es equivalente a la norma que antes definimos en H01 , es decir la
inducida por H 1 .
Observación 4.30. Se definen también los espacios W0m,p (I) como la clausura de Ccm (I) en
W m,p (I) para m = 2, 3, ... y 1 ≤ p < ∞.

4.4. El espacio dual de W01,p

Notación: El espacio dual de W01,p (I) (1 ≤ p < ∞) será notado W −1,q (I) y el dual de H01 (I)
se anotara H −1 (I).
Sabemos que L2 se identifica con su dual, pero no se identifican H01 y su dual. Si se tienen
las inclusiones

H01 ⊂ L2 ⊂ H −1

con inyecciones continuas y de imagen densa (identidades de los respectivos subconjuntos).

Si I es acotado, se tiene
W01,p ⊂ L2 ⊂ W −1,q ∀1 ≤ p < ∞
con inyecciones continuas y de imagen densa.
Los elementos de W −1,q se pueden representar por medio de funcione de Lq
Proposición 4.31. Sea F ∈ W −1,q . Entonces existen f0 , f1 ∈ Lq tales que
Z Z
hF, vi = f0 v + f1 v 0 ∀v ∈ W01,p
y
kF k = max {kf0 kLq , kf1 kLq }
Cuando I es acotado, se puede tomar f0 = 0.
Demostración. Consideremos el espacio E = Lp XLp con la norma

k(h0 , h1 )k = kh0 kLp + kh1 kLp

26 Espacios de Sobolev y problemas de contorno en dimensión uno

La aplicación T : W01,p → E dada por T (u) = (u, u0 ), como ya hemos dicho, es una isometrı́a
entre estos espacios. Consideremos el subespacio G = T (W01,p ), con la norma inducida por E,
y llamemos S = T −1 : G → W01,p . La aplicación h ∈ G 7→ hF, Shi es un funcional continuo
sobre G. Por el teorema de Hahn-Banach lo podemos extender a un funcional continuo sobre
E, Φ, con kΦkE ∗ = kF k. Por el teorema de representación de Riesz (3.1) existen f0 , f1 ∈ Lq
tales que
Z Z
hΦ, hi = f0 h0 + f1 h1 ∀h ∈ E

Es fácil comprobar que kΦkE ∗ = max {kf0 kLq , kf1 kLq }

Cuando I es acotado se dota a W01,p de la norma equivalente ku0 kLp (4.28) y se razona igual
tomando E = Lp y T (u) = u0 .

4.5. Un ejemplo de problema de contorno

Ya estamos en condiciones de resolver por el método variacional el problema propuesto en
la primer sección. Este método es en realidad, muy versátil y se adapta a una gran cantidad
de problemas. En cada problema es fundamental precisar bien el espacio funcional sobre el
cual se trabaja. Recordemos nuestro P.V.I

−u00 + u = f

en I = (0, 1) , f ∈ L2 (I)
(23)
u(0) = u(1) = 0
Definición 4.32. Una solución débil de (23) es una función u ∈ H01 (I) que verifica
Z Z Z
0 0
u v + uv = f v ∀v ∈ H01 (I) (24)
I I I

Completemos los pasos descriptos en la sección 1.

1) Toda solución clásica es solución débil. Esto es evidente gracias a la formula de

integración por partes del corolario 4.21.

2)Existencia y unicidad de una solución débil

Proposición 4.33. Para toda f ∈ L2 , existe u ∈ H01 única solución de (24). Además u viene
dada por  Z Z 
1 02 2
M inv∈H01 (v + v ) − f v
2 I I
que es el llamado principio de Dirichlet.
Demostración. Se aplica el teorema de Riesz Fréchet en el espacio de Hilbert H01 (I) con
la forma bilineal

a(u, v) = u0 v 0 + uv = hu, viH 1

R R

R
y con la forma lineal v 7→ f v.

Observación 4.34. Dada F ∈ H −1 , se sabe por el teorema 2.13 que existe u ∈ H01 tal que
Espacios de Sobolev y problemas de contorno en dimensión uno 27

hu, viH 1 = hv, F i ∀v ∈ H01

El operador F 7→ u es el isomorfismo de Riesz-Fréchet de H −1 sobre H01 . Se puede considerar

u como solución de la ecuación −u00 + u = F .

3) Regularidad Notemos que si f ∈ L2 y u es solución débil, entonces u ∈ H 2 :

Z Z
0 0
u v = (f − u)v ∀v ∈ Cc1

¯ la solución u esta en C 2 (I).

y u0 ∈ H 1 (ya que f − u ∈ L2 ), i.e u ∈ H 2 . Si además f ∈ C(I), ¯
¯ y entonces u0 ∈ C 1 (I)
En efecto (u0 )0 ∈ C(I) ¯ y por ende u ∈ C 2 (I)
¯ (ver 4.9).

4)Recuperación de la solución clásica Hemos visto que una función u cumpliendo (24)
es C 2 y además por el teorema 4.27 cumple las condiciones de contorno (u(0) = u(1) = 0).
Solo resta ver que efectivamente cumple la ecuación del problema (23). Integrando por partes
(24) y observando que las funciones test v también son nulas en los extremos de I (tamb.
por 4.27) obtenemos
Z 1
(−u00 + u − f )v = 0 ∀v ∈ H01 (I)
0

y en particular para todo v ∈ Cc1 (I). Como Cc1 (I) es denso en L2 (I) (3.23), −u00 + u = f ,
como querı́amos.
28 Espacios de Sobolev y problemas de contorno en dimensión uno

REFERENCIAS

[R1] Brezis H - Análisis Funcional, Teorı́a Y Aplicaciones. Versión española de Juan Ramón
Esteban. Editorial alianza 1984.
[R2] Demetrio Stojanoff. Un Curso de Análisis Funcional. 2011.
[R3] Bartle - The Elements Of Intregration and Lebesge Mesure.