FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE

MA674 - Análisis Convexo y Dualidad. Semestre primavera 2010

Profesor: Roberto Cominetti Auxiliar: Cristopher Hermosilla

Resumen de Espacios de Sobolev

16 de agosto de 2010

Sea Ω ⊂ RN un subconjunto abierto, conexo, acotado y no vacı́o de RN , sea p ∈ [1, +∞].

Definición 1. Sea u ∈ Lp (Ω), diremos que v ∈ L1loc (Ω) es una derivada débil de u si para algún i ∈ {1, 2, . . . , N }
Z Z
∂ϕ
u =− vϕ ∀ϕ ∈ C0∞ (Ω) (1)
Ω ∂xi Ω

∂u ∂u ∂u
En tal caso v se denota por ∂xi y ∇u = ( ∂x 1
, ..., ∂x N
).

Definición 2. Definimos el espacio de Sobolev W 1,p (Ω) como el conjunto de funciones en Lp (Ω) tal que todas sus
derivadas débiles son elementos de Lp (Ω), es decir, son todas las funciones u ∈ Lp (Ω) tal que ∇u ∈ Lp (Ω)N .

Proposición 1. W 1,p (Ω) es un espacio de Banach con la norma kukW 1,p (Ω) = kukLp (Ω) + k∇ukLp (Ω)N . Además, si
p ∈ [1, +∞) W 1,p (Ω) es separable y si p ∈ (1, +∞) W 1,p (Ω) es reflexivo.
Nota. En el caso especial que p = 2, se detona por H 1 (Ω) a W 1,2 (Ω), pues resulta ser un espacio de Hilbert para el
producto interno hu, viH 1 (Ω) = hu, viL2 (Ω) + h∇u, ∇viL2 (Ω)N .
k·k 1,p
Definición 3. Definimos el espacio W01,p (Ω) = C0∞ (Ω) W y H01 (Ω) = W01,2 (Ω), estos espacios corresponden a
los elementos de W 1,p que se anulan en el borde, en un cierto sentido llamado traza, ver [2, Capı́tulo 5.5].
Teorema 1 (Desigualdad de Poincaré). Supongamos que 1 ≤ p < N , definimos el exponente de Sobolev como
p∗ = NN−p
p
. Si u ∈ W01,p (Ω) entonces existe C > 0

kukLq (Ω) ≤ Ck∇ukLp (Ω)N (2)

para cada q ∈ [1, p∗ ], la constante C depende de p, N y Ω.

Nota. Este teorema muestra que kuk = k∇ukLp (Ω)N es una norma sobre W01,p (Ω), equivalente a la de la prop. 1.

Teorema 2 (Rellich-Kondrachov). Supongamos que 1 ≤ p < N , entonces la inyección canónica W01,p (Ω) ,→ Lq (Ω)
es compacta, para cada q ∈ [1, p∗ ). Además, si ∂Ω es de clase C 1 , entonces la inyección canónica W 1,p (Ω) ,→ Lq (Ω)
también es compacta para cada q ∈ [1, p∗ ).
Para mayor detalle puede revisar [1], [2] y/o [3].

Referencias
[1] R. Adams. Sobolev Spaces. Academic Press, New York, 1975.
[2] L. Evans. Partial Differential Equations. AMS, 1997.
[3] W. Ziemer. Weakly Differentiable Functions. Springer-Verlag, 1989.