Espacio de Sobolev W 1,p(I)

Por: Leonel Antonio Prudencio Castro Fecha: August 4, 2020

Materia: Análisis Funcional

1 Preliminares
1.1 Soporte de una función
suppϕ = {x ∈ I; ϕ(x) 6= 0}
; si la cerradura de este conjunto es compacto, se dice que ϕ tiene soporte compacto, y se
denota ası́:
suppϕ = {x ∈ I; ϕ(x) 6= 0}

1.2 Espacio de funciones test

Cc∞ (I) = {ϕ ∈ C ∞ (I); ϕ tiene soporte compacto en I}
; son funciones infinitamente diferenciables en I con soporte compacto en I

Cc1 (I) = {ϕ ∈ C 1 (I); ϕ tiene soporte compacto en I}

; son funciones con primera derivada continua en I y soporte compacto en I

1.3 Sucesiones regularizantes

Se llama sucesión regularizante a toda sucesión de funciones ρn tal que:

2 Definicion
Sea I =]a, b[ un intervalo acotado o no y p ∈ R con 0 ≤ p ≤ R

Definición: El espacio de Sobolev W 1,p (I) se define por:

 Z Z 
1,p p p 0 1
W (I) = f ∈ L (I); ∃g ∈ L (I) tal que: f ϕ = − gϕ ; ∀ϕ ∈ Cc (I)
I I

Para p = 2 se denota H 1 = W 1,2

Dado u ∈ W 1,p (I), si g ∈ Lp (I) cumple las condiciones de la definición, le llamaremos

derivada débil de u y se denota u0 = g

A las funciones ϕ ∈ Cc1 se les suele llamar funciones test. Para definir W 1,p se suele usar
indistintamente Cc1 o Cc∞ como conjunto de funciones test ya que para ϕ ∈ Cc1 , entonces
dada una sucesión regularizante ρn , se tiene que ρn ∗ ϕ ∈ Cc∞ , para n suficientemente grande
y ρn ∗ ϕ → ϕ en C 1 . Por supuesto que para definir el producto de convolución ρn ∗ ϕ se

Análisis Funcional 1
comienza extendiendo ϕ por 0 fuera de I.

Observación: Para cada u ∈ W 1,p (I), g ∈ Lp (I) es única por lo que la notación u0 tiene
sentido. Para ver esto supongamos que existe h ∈ Lp (I) que también cumple las condiciones
de g, entonces para algún u ∈ W 1,p (I):
Z Z
gϕ = hϕ ; ∀ϕ ∈ Cc1 (I)
Z I I

⇒ (g − h)ϕ = 0 ; ∀ϕ ∈ Cc1 (I)

I

Como g − h ∈ Lp (I) se tiene que g − h ∈ Lploc (I), luego g − h = 0 casi en todo punto o bien
g = h en casi todo punto de I

Observación: Si u ∈ C 1 (I) ∩ Lp (I) y si u0 ∈ Lp (I) (u0 es la derivada usual) con ϕ función

test con soporte: suppϕ ⊆ [a, b] ⊆ I , luego por la fórmula de integración por partes:
Z Z b Z b Z
0 0 0
uϕ = uϕ = uϕ|ba − uϕ=− u0 ϕ
I a a I

La derivada débil coincide con la derivada usual

¯ ⊆ W 1,p (I) para todo 1 ≤ p ≤ ∞, esto es
En particular si I es acotado entonces: C 1 (I)
¯ u0 es continua en I, continua en a por la derecha y continua en b por la
porque si u ∈ C 1 (I),
¯
izquierda, luego u está acotada en dicho intervalo y u0 ∈ Lp (I)
0

Ejemplo: Si I = (−1, 1) y u(x) = |x|. Dado ϕ ∈ Cc1 , se tiene que:

Z Z 1
0
uϕ = |x|ϕ0 (x)dx
I −1
Z 0 Z 1
0
= − xϕ (x)dx + xϕ0 (x)dx
−1 0
Z 0 Z 1
0 0
= − ϕ (x)dx + xϕ(x)|−1 + ϕ(x)dx − xϕ(x)|10
−1 0
Z 0 Z 1
= − ϕ0 (x)dx + ϕ(x)dx
−1 0

(
0 −1 , si − 1 ≤ x ≤ 0
⇒ u (x) =
1 , si 0 < x ≤ 1

Claramente u0 ∈ Lp (I) para todo 1 ≤ p ≤ ∞. Ası́ u ∈ W 1,p (I) para todo p y su derivada
débil es u0 ; a pesar de que u no es diferenciable en sentido usual (u ∈
/ C 1 (I))

Con más generalidad, si el intervalo I está acotado, entonces toda función continua en I¯ y
diferenciable con continuidad a trozos en I¯ pertenece a W 1,p (I) para todo 1 ≤ p ≤ ∞, esto
es porque si u0 es continua el I¯ entonces u es localmente integrable en I,¯ en particular es

Análisis Funcional 2
integrable en los trozos cerrados de I¯ (que son compactos) tales que u0 es integrable por su
¯ luego u ∈ W 1,p (I)
continuidad y acotación en dichos trozos, por lo que u0 ∈ Lp (I),

Para definir W 1,p , se puede utilizar también el lenguaje de distribuciones. Toda función
u ∈ Lp (I) admite una derivada en sentido de distribuciones que es un elemento del espacio
D0 (I). Se dice que u ∈ W 1,p si esta derivada distribucional coincide en el espacio D0 (I) con
alguna función Lp

El espacio W 1,p está equipado con la norma:

||u||W 1,p = ||u||Lp + ||u0 ||Lp

o aveces si 1 < p < ∞ con la norma equivalente:

1/p
||u||W 1,p = (||u||pLp + ||u0 ||pLp )

El espacio H 1 está equipado con el producto:

Z b
< u, v >H 1 =< u, v >L2 + < u, v >L2 = (uv + u0 v 0 )
a

y con la norma asociada:

1/2
||u||H 1 = ||u||2L2 + ||u0 ||2L2

3 Proposiciones
Proposición:

1. El espacio W 1,p es un espacio de Banach para 1 ≤ p ≤ ∞

2. El espacio W 1,p es reflexivo para 1 < p < ∞

3. El espacio W 1,p es separable para 1 ≤ p < ∞

4. El espacio H 1 es un espacio de Hilbert separable

Demostración:
1. Sea un una sucesión de Cauchy en W 1,p , entonces (un ) y (u0n ) son sucesiones de Cauchy
en Lp . Por consiguiente un → u en Lp y u0n → g en Lp . Luego:
Z Z
un ϕ = − u0n ϕ , ∀ϕ ∈ Cc1 (I)
0
I

y en el lı́mite: Z Z
0
un ϕ = − gϕ , ∀ϕ ∈ Cc1 (I)
I
1,p 0
Por lo tanto u ∈ W y u = g, luego:

||un − u||W 1,p = ||un − u||Lp + ||u0n − u0 ||Lp

por lo que W 1,p es completo

Análisis Funcional 3
 2. Si 1 < p < ∞ entonces Lp es reflexivo, en consecuencia el producto E = Lp× Lp es
reflexivo, luego se define el operador T : W 1,p → E, definido por T (u) = (u, u0 ), que es
una isometrı́a de W 1,p en E, por lo tanto T (W 1,p ) es subespacio cerrado de E por lo
que W 1,p es también reflexivo

3. Para 1 ≤ p < ∞, Lp es separable, luego el espacio producto E usado anteriormente es

separable luego T (W 1,p ) es separable, luego W 1,p es separable

4. H 1 = W 1,2 , por lo anterior cumple con ser espacio de Hilbert separable

4 Conclusiones
5 Referencias

Análisis Funcional 4