Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
∂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
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.