Facultad de Ciencias Básicas

Programa
c de Matemáticas

Vol. I , No 1, (2014)
Revista Del Programa De Matemáticas I (2014) 77–85

Espacio de Sobolev W m,p (Ω) con 1 ≤ p ≤ +∞

Sobolev Spaces W m,p (Ω) with 1 ≤ p ≤ +∞

Jaider E. Blanco Gamarra 1

1 Programade Maestrı́a en Matemáticas
Universidad del Atlántico, Colombia
E-mail: jaiderbalnco@mail.uniatlantico.edu.co

Cristian Rojas Milla 2

2 Programa de Matemáticas

Universidad del Atlántico, Colombia

E-mail: cristianrojas@mail.uniatlantico.edu.co

Received / Recibido: 2/11/2013. Accepted / Aceptado: 11/02/2014

Resumen
En este artı́culo hacemos una breve revisión de los espacios de Sobolev, para lo cual presentamos su estructura vectorial
ligada a los espacios L p . Además, Se muestran que dichos espacios son normados, de Banach, separables y algunos
son reflexivos (i,e; es isomorfo a su bidual) y finalmente se demostrarán los teoremas de inmersión y de aproximación
por funciones suaves en dichos espacios.

Palabras claves: Espacios de Sobolev, espacio separables, espacios reflexivos, Desigualdad de Sobolev, Teoremas de
Inmersión, desigualdad de Poincaré.

Abstract
This article is a brief review of Sobolev spaces, for which we present vector structure linked to L p spaces. In addition,
such spaces are displayed are normed, Banach, and some are separable reflexive (i, e, is isomorphic to its bidual) and
finally immersion prove theorems and approximation by smooth functions in such spaces.

Keywords: Sobolev space, space separable reflexive spaces, Sobolev inequality, Immersion theorems,
Poincaré inequality.

1. Introducción especiales de distribuciones. Con el fin de discu-

tir la teorı́a de los espacios de Sobolev vamos a
La teorı́a de los espacios de Sobolev se ha ori-
empezar con algunos conceptos básicos simples
ginado por el matemático ruso SL Sobolev alre-
que son necesarios para la introducción y el es-
dedor de 1938 [ SO] . Estos espacios no se intro-
tudio de estos espacios [2,4,5].
dujeron para algunos propósitos teóricos , sino
Los espacios de Sobolev, que pueden ser repre-
por la necesidad de la teorı́a de la ecuaciones di-
sentados brevemente, como las clases de funcio-
ferenciales parciales . Están estrechamente rela-
nes que poseen derivadas débiles en los espa-
cionados con la teorı́a de las distribuciones , ya
cios, ocupan un lugar destacado en el análisis
que los elementos de estos espacios son clases
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 78

funcional. En las últimas tres décadas se ha pro- Esta clase W m,p (Ω) de funciones está dotado de
p
ducido un gran aporte en la teorı́a y aplicacio- la norma: k um,p k= (∑0≤α≤m k D α u k p ) 1p Si
nes de estos espacios (Ver [4,6,8]). Por otra parte, 1 ≤ p ≤ ∞.
dada la importancia de los mismos en la teorı́a El caso p = 2 juega un papel muy importante,
moderna de ecuaciones diferenciales en deriva- estos espacios son denotados por Hm (Ω), ası́
das parciales, se han transformado en una herra-
Hm (Ω) = W m,2 (Ω)
mienta imprescindible para el tratamiento de las
mismas. Por ello, últimamente se ha producido
y para u ∈ Hm (Ω), nosotros denotamos por
un creciente interés por el estudio y uso de parte
k u km,p =k u km,2 .
de ingenieros y fı́sicos para la resolución de sus
El espacio Hm (Ω) tiene un producto interno na-
problemas (Ver [3,7,9]).
tural definido por
La teorı́a de estos espacios es iniciada por ma-
temáticos a principio del siglo XX y en particular < u, v >Hm (Ω) = ∑ < D α u, D α v > L2 (Ω) .
|α|≤m
por S. I. Sobolev en el año 1930. Si bien son va-
rios los cientı́ficos que hicieron sus aportes, co- Observación 1. El espacio Hm (Ω) es un espacio
mo es el caso de Beppo Levi, actualmente toda de Hilbert lo cual es hereditario debido a que L2
esa teorı́a se conoce como espacios de Sobolev. lo es.
Estos espacios proporcionan un recurso extra-
Teorema 2.1. k u km,p es una norma de el espa-
ordinario para el planteamiento y la búsqueda
cio de funciones W m,p (Ω).
de soluciones de problemas de contorno. Esto es
ası́ porque estos espacios son completos y por-
Demostración. Es evidente que k u k(m,p) ≥ 0,
que permiten obtener resultados generales res-
además k u k( m, p) = 0 ←→ u = 0. Además,
pecto a la existencia y unicidad de soluciones
la homogeneidad del funcional se verifica , dado
de ecuaciones diferenciales. Otra gran ventaja de
que la derivada y la norma en L p satisfacen dicha
los espacios de Sobolev radica en que permiten
propiedad k βu k(m,p) = | β| k u k(m,p) para todo
caracterizar el grado de regularidad de funcio-
u ∈ W (m,p) (Ω) y todo β ∈ R. Y para finalizar,
nes y porque muchos de los métodos de apro-
la desigualdad de Hölder , nos garantiza que el
ximación, tales como el método de Ritz o el de
funcional satisface la desigualdad triangular.
los Elementos Finitos, son adecuados y correcta-
En el caso en que Ω = Rn , el espacio Hm (Rn )
mente formulados cuando se lo hace en el ámbi-
puede ser definido via transformada de Fourier.
to de estos espacios.
Si u ∈ H m (Rn ), entonces por definición D α u ∈
L2 (Rn ) para todo |α| ≤ m. La transformada de
2. Preliminares
Fourier de D α u esta bien definido y tenemos

Definición 2.1. Sean Ω ∈ Rn un conjunto abier-

to y 1 ≤ p ≤ ∞ . Si m es un número entero no
negativo, u ∈ L p y existe la derivada distribucio-
nal D α u para cualquier α con |α| ≤ m, tal que
D α u ∈ L p (Ω) ; ∀|α| ≤ m.
Entonces se dice que u ∈ W m,p (Ω).
W m,p (Ω) es llamado espacio de Sobolev sobre Ω.
78
( D α u) = (2πi )|α| ξ α û,
Y también ξ α û ∈ L2 (Rn ) para todo |α| ≤ m.
Lema 2.1. Existen constantes positivas γ1 y γ2
dependiendo solo de m y n tal que M1 (1 +
|ξ |2 )m ≤ ∑|α|≤m | ξ α |2 ≤ M2 (1 + |ξ |2 )m para
todo Rn .
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 79

Por el lema inmediatamente anterior podemos tenemos

m
definir el espacio H (Rn ) como sigue:
| Tun (φ) − Tu0 (φ) |=
Z Z
Hm (Rn ) = u ∈ L 2 (Rn ) = { u ∈ L 2 (Rn ) : | un ( x )φ( x )dx − u0 ( x )φ( x )dx |
Ω Ω
m Z
(1+ | ξ |2 ) û(ξ ) ∈ L2 (Rn )} (1)
2
=| (un ( x ) − u0 ( x ))φ( x )dx |≤
Ω
Z
cuya norma k · k( m, Rn ) sobre Hm (Rn ) es equi- | un ( x ) − u0 ( x ) || φ( x ) | dx
Ω
m (Rn ) = (
R
valente a la norma: k u kH (Rn ) ( 1 + ≤k un − u0 k p k Φ k p∗ (3)
m 1
| ξ |2 ) ( 2 ) | û |2 dξ )( 2 ) . Para toda m ≥ 0. La
Por tanto, Tun (φ) −→ Tu0 (φ) para todo φ ∈
función = : W m,p (Ω) −→ ( L p (ω ))n+1 u −→
D (Ω) cuando n −→ ∞.
=(u) = (u, ∂x
∂u
1
∂u
, ..., ∂x n
) es una isometrı́a de
De forma similar,
W (m,p) (Ω) sobre ( L p (Ω))(n+1) si dotamos al es-
( n +1)
pacio con la norma k u k= ∑(i=1) |ui |0,p para | TDuαn (φ) − Tuα (φ) |≤k D α un − uα k p k φ k p∗
u = ( ui ) ∈ ( L p (Ω))(n+1) .
En el siguiente teorema se establecerá una pro- Por lo tanto TDα un (φ) −→ T(uα ) (φ) para todo

piedad fundamental de los espacios de Sobolev φ ∈ D (Ω) cuando n −→ ∞.

W (m,p) (Ω). Luego , para cada φ ∈ D (ω ) se tiene

Teorema 2.2. W (m,p) (Ω) es un espacio de Ba- T(uα) (φ) = lı́m TDuαn (φ) =
n−→α

nach. lı́m (−1)|α| Tun ( D α (φ)) =

n−→∞

(−1)|α| Tu0 ( D α ) (4)

Demostración. Sea (un )(n∈N) una sucesión de
Cauchy es W (m,p) (Ω), entonces por definición ası́,
D α un ∈ L p (Ω) para todo |α| ≤ m y para todo
Z
n ∈ N. uα ( x )φ( x )dx =
Ω
Dado e > 0, n ∈ N, tal que si x, y ≥ N entonces
Z
(−1)|α| u0 ( x ) D α φ( x )dx (5)
p Ω
k u x − uy km,p < e, entonces
De esta manera D α (u0 ) = uα en el sentido distri-

∑
p
k D α (u x − uy ) k p = bución en Ω para |α| ≤ m, donde uα W (m,p) (Ω).
0≤ α ≤ m
Entonces lı́mn−→∞ k un − u0 k(m,p) = 0, por lo
∑
p
k D α (u x ) − D α (uy ) k p < e (2)
0≤ α ≤ m
tanto W (m,p) (Ω)es un espacio completo.

De aquı́ que ( D α (un ))n∈N es una sucesión de Ejemplo Sea Ω = (0, 1) × (0, 1) un abierto en
Cauchy en L p (Ω) para | α |≤ m. Como L p (Ω) R2 , y sea u( x ) = u( x1 , x2 ) = x1α , entonces
R 2 R 1 R 0 2α
es completo existen funciones u0 y uα en L p (Ω) Ω u dx = 0 1 x1 dx1 dx2 =

para | α |≤ m tal que 

1 1


 2α+1 lı́ma→0+ (1 − a2α+1 ) = 2α+1 si α > − 12


un −→ u0 y D α (un ) −→ uα , n −→ ∞





lı́ma→0+ ln 1 − ln a = ∞ si α = − 12

La idea es demostrar que u0 ∈ W m,p (Ω).






Además, como L p (Ω) ⊂ L1 (Ω) y un ∈ L p (Ω)

1
lı́ma→0+ (1 − a2α+1 ) = ∞ si α < − 12


2α+1
para todo n, entonces existe una distribución Ası́ u ∈ L2 (Ω) si α > − 21 , ∂
∂u( x2 )
= 0 , además
0
Tun ∈ D (Ω) tal que para cualquier φ ∈ D (Ω) ∂u
∂x2 ∈ L2 ( Ω ) para todo α. Sin embargo, para

79
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 80

α , 0, y sea E = (W m,p (Ω)) ⊆ X. En virtud de la pro-

Z
∂u 2
Z 1Z 1
2( α −1) posición 2.1 es inmediato comprobar que E es un
( ) dx = α2 x1 dx1 dx2
Ω ∂x1 0 0 subespacio vectorial cerrado de X.
Procediendo de la misma manera como en la in- Ası́, ( E, k · k X ) es un espacio de Banach que
tegral anterior , obtenemos que ∂u
∂x1 ∈ L2 ( Ω ) si hereda las propiedades de reflexividad y sepa-
α> − 12 . rabilidad de X. Además, J es un isomorfismo
Si α = 0, entonces ∂u
∂x1 =0y ∂u
∂x1 ∈ L2 ( Ω ). Resu- isométrico entre W (m,p) (Ω) y E.
miendo, esto significa que u ∈ W 1,2 (Ω) cuando Se concluye que W (m,p) (Ω), k · km,p es un espa-
α > − 12 o α = 0. cio de Banach y se obtiene (a) y (b).

Observación 2. Se tienen que W m,1 (Ω) y

Proposición 2.1. W (m,p) (Ω) es un subespacio ce-
W m,∞ (Ω) son espacios no reflexivos. Por otro
rrado de L p (Ω).
lado, se tiene que W m , ∞(Ω) no es separable.
Proposición 2.2. Sea α un multi-ı́ndice, Además, D (Ω) ⊆ W m,p (Ω).
(un )(n∈N) ∈ L p (Ω) y u, vα ∈ L p (Ω) tal que
Definición 2.2. Sean m ≥ 0 y p ∈ [1, ∞). Defini-
lı́mn→∞ un = u y lı́mn→∞ Duαn = vα en L p (Ω)
mos
entonces D α u = vα . El siguiente teorema mues-
m,p k·k
tra las condiciones bajo las cuales el espacio W0 (Ω) = D (Ω)m,p

W (m,p) (Ω) es reflexivo y separable.

En caso particular de p = 2, usaremos la nota-
k·km,2
Teorema 2.3. Sea Ω un conjunto abierto no ción H0m (Ω) = W0m,2 (Ω) = D (Ω) . De la
m,p
vacı́o, m ≥ 1 un entero y p ∈ [1, ∞). Se tiene propia definición deducimos que W0 (Ω) es un
subespacio vectorial cerrado de W m,p (Ω) y con
a. W (m,p) (Ω) es un espacio reflexivo si p ∈
la norma k · km,p es un espacio de Banach que
(1, ∞).
hereda las propiedades de reflexividad y separa-
b. W (m,p) (Ω) es un espacio separable si p ∈ bilidad de W m,p (Ω), además H0m (Ω) es un espa-
[1, ∞). cio de Hilbert con el producto escalar < ·, · >Hm .

Demostración. Sea M = card{α ∈ N : |α| ≤ m,p

m} y consideremos el espacio producto X =
∏|α|≤m L p (Ω) = L p (Ω) M el cual es un espacio
de Banach para la norma producto:
∑
p
k U k= ( k u km,p )
|α|≤m
si p ∈ [1, ∞), donde U = (uα )|α|≤m ∈ X. De he-
cho, sabemos que X es reflexivo si y solo si L p (Ω)
es reflexivo y X es separable si y solo si L p (Ω) lo
Observación 3. Obsérvese que u ∈ W0 (Ω)
es equivalente a decir que existe una sucesión
(ψn )n∈N ⊆ D (Ω) tal que ψn → u en L p (Ω),
es decir D α ψn → D α u en L p (Ω) para todo 0 <
1
p |α| ≤ m, con lo que es interesante encontrar una
m,p
caracterización manejable del espacio W0 ( Ω ).
Proposición 2.3. Para k = 0 y 1 ≤ p < ∞ de-
0,p
muestra que W0 (Ω) ≡ L p (Ω).

es.
Definición 2.3. Sea Ω ⊆ Rn un conjunto abier-
Consideremos la aplicación lineal continua
to. Para un e > 0, definimos el subconjunto

 : W m,p (Ω) −→ X abierto Ωe = { x ∈ Rn : B( x, e) ⊆ Ω}.

Entonces para todo u ∈ L1 (ω ) la modificación
definida por R
ue ( x ) = B( x,e) e ( x − y)u(y)dy esta bien defini-
(u) = ( D α )|α|≤m ∈ X da para todo x ∈ Ωe .
80
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 81

Teorema 2.4. Si 1 ≤ p < ∞. Entonces para algún sobre B(0; k ) tenemos uk = φk sobre B(0; k ). Ası́,
m,p
m ≥ 0 entero tenemos W m,p (Rn ) = W0 (Rn ). Z 1
|uk − φk |0,p = ( |uk ( x ) − φk ( x )| p ) p ≤
| x |>k
Demostración. Para el caso en el que m = 1, te-
Z 1
2( |uk | p ) p , (7)
| x |>k
nemos que mostrar que si u ∈ W m,p (Rn ), enton-
ces existe una sucesión {φk } en D (Rn ) tal que puesto que |φk | ≤ |uk |. Como la integral tiende

φk → u en W m,p (Rn ). a cero cuando k → ∞ puesto que uk → u en

Paso 1. Sea {ρe } una familia de mollifiers. Enton- W 1,p (Rn ). Ası́,

ces si u ∈ L p (Rn ), tenemos ρe∗u → u en L p (Rn ). ∂k ∂u

= k
∂xi ∂xi
Primero, para todo ρe ∈ L1 (Rn ), la convolución
esta bien definida. Sea φ una función continua sobre B(0; k), ∂k
∂xi → ∂uk
∂xi en L p (Rn ) por un argu-

con soporte compacto tal que |φ − u|0,p <
donde δ > 0 es un número pre-asignado. Eli-
jamos e > 0 suficientemente pequeño tal que
|φ ∗ ρe − φ|0,p < δ
3 Ası́,
|u − u ∗ ρe |0,p ≤ |u − φ|0,p + |φ − ρe ∗ φ|0,p +
|φ ∗ ρe − u ∗ ρe |0,p < δ (6)
δ mento análogo. Ası́, φk → u, en W 1,p (Rn ).
3
3. Aproximación por funciones suaves
Definición 3.1. Sea Ω un conjunto abierto en Rn .
Un operador de extensión Ψ para W 1,p (Rn ) es
un operador lineal acotado
Φ : W 1,p (ω ) → W 1,p (Rn )

Luego, tal que Ψ | u = u para todo u ∈ W 1,p (Ω).

δ Teorema 3.1. Sean k ≥ 0 y 1 ≤ p < ∞ y sea

|(φ − u) ∗ ρe |0,p ≤ |φ − u|0,1 <
3 m,p
u ∈ W0 (Ω). Definimos ũ como la extensión
lo que prueba la primera parte del proceso. por 0 de u a Rn − Ω , esto es, φk → u
Paso 2. Si u ∈ W 1,p (Rn ), entonces u ∗ ρe es una en L p (Rn ). Similarmente, como
función C ∞ y D α (u ∗ ρe ) = D α u ∗ ρe = u ∗ D α ρe , 
 u( x ) si x∈Ω
para algún multi-ı́ndice α. Por el paso 1, u ∗ ρe →



ũ( x ) :=
u y D α (u ∗ ρe ) = D α u ∗ ρe → D α u en L p (Rn ). 

 0 si x < Rn − Ω

Por tanto, u ∗ ρe u en W 1,p (Rn ).
Entonces,
Paso 3. Sea ς un función en D (Rn ) tal que 0 ≤
m,p
ς ≤ 1, ς ≡ 1 sobre B(0; 1) y supp(ς) ⊂ B(0, 2). 1. ũ ∈ W0 (Rn ).

Consideremos la sucesión ς k en D (Rn ) definida 2. D α ũ = D

g α u, para todo α con | α | ≤ m

por
3. k ũ kW m,p (Rn ) =k ũ kW m,p (Ω)
x 0 0
ς k ( x ) = ς ( ).
k m,p
Demostración. Por hipótesis u ∈ W0 ( Ω ),
Sea ek ↓ 0 .Sea uk = ρek ∗ u. Entonces uk ∈ C∞ y ası́ existe (ψn )n∈N ⊆ D (Ω) de manera que ψn →
uk → u en W (1,p) (Rn ) por el paso 2. u en L p (Ω), es decir D α ψn → D α u en L p (Ω) pa-
Definamos φk ∈ D (Rn ) por ra todo 0 < |α| ≤ m. Consideremos ψ
fn definida
por
φk ( x ) = ς k ( x )uk ( x ) 
 ψ (x) si x∈Ω
 n


Ahora mostraremos que φk → u en W 1,p (Rn ), fn ( x ) :=
ψ


para completar la demostración. Como ς k ≡ 1  0 si x < Rn − Ω


81
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 82

fn ∈ D (Rn ) y 1,p
Que evidentemente verifica que ψ acotada, 1 < p < ∞, y u ∈ W0 (Ω), tenemos
1,p
Dα ψ D α ψn para 0 < |α| ≤ m.
fn = ^ G ◦ u ∈ W0 (Ω).
fn → ũ en L p (Rn ) y D α ψ
Deducimos que ψ fn = 1,p
Demostración. Sea u ∈ W0 (Ω) y sea um ∈
D α ψn
^ → D αu en L p (Rn ) para 0 < |α| ≤ m.
D (Ω) tal que um → u en W 1,p (Ω).
g

Ası́, en virtud de la proposición se garantiza

^
la existencia de D α ũ = D α ( u ) ∈ L p (Rn ) pa-
m,p
ra 0 < |α| ≤ m. Es decir, ũ ∈ W0
k ũ kW m,p (Rn ) =k ũ kW m,p (Ω) .
0 0
Teorema 3.2. Si Ω es un conjunto abierto en Rn
tal que el operador extensión Ψ : W 1,p (Ω) −→
W 1,p (Rn ) exista, entonces dado u ∈ W (1,p) (Ω)
existe una sucesión {um } en D (Rn ) tal que
um |Ω → u en W 1,p (Ω).
Definamos vm = G ◦ um como um tiene soporte
compacto y G (0) = 0, vm tiene soporte compac-
(Rn ) y
to. También vm es también una función de Lips-
chitz; para
|vm ( x ) − vm (y)| = | G (um ( x )) − G (um (y))| ≤
K |um ( x ) − um (y)| ≤ Km | x − y|
como um es una función suave con soporte com-
pacto y G es una función Lipschitz. Por tanto
vm ∈ L p (Ω) también se deduce que | ∂v
∂x | ≤ Km ,
m
i

1 ≤ i ≤ n. Y como Ω es acotada, ∂vm

∈ L p ( Ω ).
Ejemplo Sea Ω es un intervalo abierto, lo llama-
∂xi
Ası́, vm ∈ W 1,p (Ω) y tiene soporte compacto.
remos (−1, 1). Sea u la función definida de la si- 1,p
Luego por el lema anterior, vm ∈ W0 (Ω). Tam-
guiente manera
 bién a partir de la relación |vm ( x ) − G (u( x ))| ≤


 0 si x≤0 K |um ( x ) − u( x )| se deduce que vm → G ◦ u en

u( x ) =
 L p (Ω). Además, si ei es el vector base i-ésimo en

 x si x≥0 Rn , tenemos


Entonces como u es absolutamente continua, la | vm ( x + hei ) − vm ( x ) |

|h|
distribución derivada esta dada por
K | um ( x + hei ) − um ( x ) |
 ≤ (8)

 0 si x ≤ 0 |h|


0
u (x) = y también


 1 si x ≥ 0

∂vm
lı́m sup | |
m→∞ ∂xi 0,p
Sea φ ∈ C ∞ (Ω) tal que ∂um
≤ K lı́m sup | | (9)
0 0 m→∞ ∂xi 0,p
|φ − u |0,∞) < e.
Pero como { ∂u
∂x } es una sucesión convergente
m
0 0 i
Ası́, si x < 0, |φ ( x )| < e y si x > 0,|φ ( x ) − 1| < en L p (Ω), se obtiene { ∂v
∂x } es acotada para cada
m
0 i
e o φ ( x ) > 1 − e. Luego, por la continuidad 1 ≤ i ≤ n. Ası́, {vm } es convergente en W 1,p (Ω)
0 0
φ (0) < e y φ (0) ≥ 1 − e lo cual es imposible y G ◦ u ∈ W0
1,p)
( Ω ).
1
si e < 2 . Por tanto u no puede ser aproximada
Definición 3.2. Se dice que un espacio normado
en W 1,∞ (Ω) por funciones suaves.
X esta inmerso en un espacio normado Y, y escri-
Lema 3.1. Sea 1 ≤ p < ∞. Y sea u ∈ W 1,p (Ω), bimos X → Y para designar la inmersión, si se
tal que u se anula fuera de un conjunto compacto cumplen las siguientes condiciones:
1,p
contenido en Ω. Entonces u ∈ W0 (Ω).
1. X es un subespacio vectorial de Y.
Demostración. Ver [1].
2. El operador identidad I definido en X so-
Teorema 3.3. Sea G un función Lipschitz de R bre Y por I ( x ) = x para todo x en X es con-
en si misma tal que G (0) = 0. Entonces si Ω es tinua.
82
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 83

0
En esta parte del artı́culo trabajaremos el es- |δ(u)| ≤ ∑ N
j=1 k u j k p k v j k p ≤k u k L p k v k p
0
N LN
pacio dual de W m,p (Ω). Para ello se dará en 0 p
0
Ası́ que k δ k
(LN )
p ≤k v k L (Ω).
un principio algunas definiciones con el fin
de profundizar un poco en este tema. Defini-
R 0
mos < u, v >= Ω u( x )v( x )dx, dado p , p
0
0 Corolario 3.1. Demostrar k δ k p ≥k v k 0
 el exponente conjugado definido por p =
es (LN ) Lp

 ∞ si p=1 ( Ω ).



≤ < ∞, para to-




 Teorema 3.4. Sea 1 p
p 0
p −1 si 1<p<∞ do L ∈ (W m,p (Ω)) existe un elemento v ∈

 0
L p (Ω) tal que, escribimos el vector v en la






1 si p=∞ forma (vα )0<|α|≤m , nosotros tenemos para u ∈


p
Sea P : W m,p (Ω) → LN definida por Pu = W m,p (Ω)
( D α u)(0<|α|∈m) . P es un isomorfismo isométri-
p L(u) = ∑ < D α u, vα >
co de W m,p (Ω) sobre W ⊆ L N , entonces como 0<|α|≤m

W (m,p) (Ω) es completo, W es un subespacio ce- 0

Sin embargo, k L k(W m,p (Ω)) =k v k 0
p L p (Ω)
rrado de LN , además es separable reflexivo y
p Demostración. Sea L∗ el funcional lineal defini-
uniformemente convexo. W m,p (Ω) = P−1 ( L N ).
do sobre el rango W del operador P. L∗ ( Pu) =
p 0
Lema 3.2. Sea 1 ≤ p < ∞. Para todo σ ∈ ( L N ) L(u), para todo u ∈ W m,p (Ω).Como P es un iso-
0
p p 0
existe un único v ∈ L N tal que para todo u ∈ L N , morfismo isométrico, L∗ ∈ W . Y k L∗ kW 0 =

N k L k(W m,p (Ω))0 . Por el teorema de Hahn- Banach

δ(u) = ∑ < uj, vj > existe una extensión de L∗ que preserva la nor-
j =1 0
p
ma y por el lema 3.2 existe v ∈ L N tal que si
Sin embargo,
u = (uα )(0<|α|≤m) , entonces
p0
kδ k( L N ) =k v k 0
(p )
(LN )
L̃(u) = ∑ < uα , vα >
0<|α|≤m
0
p 0
Ası́, ( L N )  L N .
p Ası́ para u ∈ W m,p (Ω) obtenemos

Demostración. Si 1 ≤ j ≤ N y ω ∈ L p (Ω), sea

L(u) = L∗ ( Pu) = L̃( Pu) = ∑ < D α u, vα >
0<|α|≤m
p
ω( j) = (0, ..., ω, ..., 0) ∈ L N donde la j-esima
Sin embargo,
componente es ω y las demás componentes son
k L kW m,p (Ω)0 =k L∗ kW 0 =k L∗ k 0 =k v k 0
0. Sea δj (ω ) = δ(ω j ), observemos que δj ∈ p
LN
p
LN
0
( L p (Ω)) , Luego por el Teorema de Representa-
0
ción para L p (Ω), existe un único v j ∈ L p (Ω) tal
El siguiente teorema hace referencia a una de-
que para todo ω ∈ L p (Ω)
sigualdad muy importante de este espacio lla-

δ(ω( j) ) = δj (ω ) =< ω, v j > mada la desigualdad de Poincaré la cual es vital

en el estudio de soluciones débiles de problemas
p
Si u ∈ L N , entonces elı́pticos de frontera Dirichlet.
n n n
δ ( u ) = δ ( ∑ u j (i ) ) = Teorema 3.5. Sea Ω un conjunto abierto acota-
∑ δ ( u j (i ) ) = ∑ < u j , v j >
j =1 j =1 j =1 do en Rn .Entonces existe una constante positiva
Luego por la desigualdad de Hölder para sumas C = C (Ω, p) tal que |u|0,p ≤ C |u|1,p para todo
m,p
finitas, tenemos u ∈ W0 ( Ω ).
83
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 84

4. Teoremas de inmersión Y además, u es Hölder-continua de exponente

α = 1 − ( np ).
Estudiaremos las inmersiones de espacio
En particular, W 1,p (Ω) ⊂ C (Ω), p > n.
W 1,p (Rn ). Se Analizará los diferentes casos
Teorema 4.4. Si p > n. Entonces el espacio
cuando p < n, p = n y p > n. Si 1 ≤ p < n.
W 1,p (Rn ) es un algebra de Banach Conmutativa.
Entonces definamos el exponente p∗ por

np Demostración. Para probar que W 1,p (Rn ) es un

p∗ =
n−p algebra de Banach, necesitamos mostrar que si

note que p∗ > p. Esencialmente, se demos- u, v ∈ W 1,p (Rn ) entonces el producto uv ∈

trará que W m,p (Rn ) puede ser inmerso en W 1,p (Rn ) y que k uv k1,p ≤ C k u k1,p k v k1,p
∗
L p (Rn ). Sea u, v ∈ D (Rn ). Entonces uv ∈ D (Rn ) y por la
regla del producto
Teorema 4.1. Sea 1 ≤ p < n. Entonces existe una
∂ ∂v ∂u
(uv) = u + v ∈ D (Rn )
constante C = C ( p, n), tal que ∂xi ∂xi ∂xi
Sea u, v ∈ W 1,p (Rn ). Entonces como p > n,u, v ∈
|u|0,p∗ ≤ C |u|1,p∗
L p (Rn ) y por consiguiente , uv ∈ L p (Rn ) esta
para todo u ∈ W 1,p (Rn ). En particular tenemos bien definida. También
la inclusión continua u
∂v
+
∂u
v ∈ L p (Rn ).
∂xi ∂xi
∗
W 1,p (Rn ) → L p (Rn ). Ahora mostraremos que esta es la distribución
∂
derivada ∂xi ( uv ).
El anterior teorema es conocido como la de-
Si φ ∈ D (Rn ), entonces
sigualdad de Sobolev. Z Z
∂φ ∂φ
uv = lı́m vm
Rn ∂xi m→∞ Rn u
∂xi
Teorema 4.2. Sea p > n. Entonces tenemos la in- Z
m
∂vm ∂um
clusión continua = − lı́m (um + vm )φ
m → ∞ Rn ∂xi ∂xi
Z
∂v ∂u
W 1,p (Rn ) → L∞ (Rn ). =− (u + v)φ
Rn ∂xi ∂xi
(10)
Además, existe una constante C = C ( p, n) > 0
Por el teorema de la Convergencia Dominada,
tal que
cuando um → u ,vm → v en W 1,p (Rn ), um , vm ∈
|u( x ) − u(y)| ≤ C | x − y|α |u|1,p W 1,p (Rn ). Esto prueba que
∂ ∂v ∂u
en casi todo punto de Rn , donde α = 1 − ( np ) (uv) = u + v.
∂xi ∂xi ∂xi
También por la continuidad de la inclusión de
Teorema 4.3. Sea Ω = Rn+ o un conjunto abierto
W 1,p (Rn sobre L∞ (Rn )), se sigue que
de clase C1 con frontera acotada ∂ω.
Entonces tenemos las siguientes inclusiones con- ∂
| (uv)|0,p ≤
∂xi
tinuas:
∂u ∂v
| |0,p |v|0,∞ + |u|0,∞ | |0,p
∗ ∂xi ∂xi
i. Si 1 ≤ p < n, W 1,p (Ω) → L p (Ω).
≤ C k u k1,p k v k1,p . (11)
ii. Si p = n, W 1,n (Ω) → Lq (Ω) para todo
Y ası́ queda probado el teorema.
q ∈ [n, ∞].
Del mismo modo se puede probar que W m,p (Rn )
iii. Si p > n, W 1,p (Ω) → L∞ (Ω). es un algebra de Banach cuando m > np .

84
 J. Gamarra y colaboradores / Matua Revista Del Programa De Matemáticas I (2014) 77–85 85

Teorema 4.5. Sea Ω ∈ Rn un conjunto acotado y [2] Grisvard, P. (1985), Elliptic Problems in Nonsmooth Do-

conexo de clase C1 . Sea Pm (Ω) denota el espacio mains. Pitman, Boston.

de todos los polinomios en x1 , ..., xn sobre Ω y de
grado menor o igual a m. Sea v ∈ W m+1,p (Ω),
1 ≤ p ≤ ∞ y sea v las clases de equivalencia de
v en el espacio cociente (W m+1,p (Ω))( Pm (Ω)).
Este espacio esta equipado con la norma usual
k v km+1,p = ı́nf k v + p km,p
p̃∈ Pm (Ω)
[3] Stein, E.M. (1970), Singular Integrals and Diferentiabi-
lity Properties of Funcrions. Princeton University Press,
Princeton.
[4] V.I Burenkov; Mollifying operators with variable step
and their applications to approximation by differen-
tiable funtions, In”Nonlinear analysis, funtion spa-
ces and applications”, Teubner-Textezur Mathema-
tik,Leipzig,49 (1982),5-37.
[5] A. Kufner, Weighted Sobolev spaces, John Wiley and

Corolario 4.1. Sea Φ : W m+1,p (Ω) → V un ope- Sons 1983.

rador lineal continuo, donde V es un espacio de
Banach conteniendo a W m+1,p (Ω). Supongamos
además que
Φ( p̃) = p̃
para todo p̃ ∈ Pm (Ω). Entonces existe una cons-
[6] A.A. Dezin. On embedding theorems and extension
problem, Dokl. Akad. Nauk SSSR 88(1953-54),741-
743(Russian).
[7] L.C. Evans, Partial Differential Equations , AMS, Provi-
dence, RI, 1998.
[8] A. Friedman, Partial Differential Equations, Holt, Ri-
nehart and Winston, New York, 1969.

tante C > 0 tal que para cada u ∈
k u − Φ(u) kV ≤ C |u|m+1,p
Demostración. Sea p̃ un polinomio en Pm (Ω). En-
tonces para algún u ∈ W m+1,p (Ω)
k u − Φ ( u ) kV =
k (u + p̃) − Φ(u + p̃) kV =
k ( I − Φ)(u + p̃) kV ≤
W m+1,p (Ω), [9] A. Friedman, Foundations of Modern Analysis , Dover
Publications, Inc., New York,1982.
[10] D. Gilbarg, N. Trudinger, Elliptic Partial Differential
Equations of Second Order , Springer-Verlag,Berlin,
1983.
[11] D. Kinderlehrer, G. Stampacchia, An Introduction to
Variational Inequalities and Their Applications, Acade-
mic Press, New York, 1980.
[12] J.T. Marti, Introductionto Sobolev Spaces and Finite Ele-
ment Solution of Elliptic Boundary Value Problems ,
Academic Press, London, 1986.

k I − Φ kk u + p̃ km+1,p (12) [13] V.G. Maz’ja, Sobolev Spaces , Springer-Verlag, Berlin,

1985.
como p̃ es arbitrario, tomando C1 =k I − Φ k, [14] C. B. Morrey, Jr., Multiple Integrals in the Calculus of
Variations , Springer-Verlag, New York, 1966.
k u − Φ(u) kV ≤ C1 |u|m+1,p [15] J. Necăs, Introduction to the Theory of Nonlinear Ellip-
tic Equations , Teubner, Leipzig, 1983.
ı́nf k v + p̃ km+1,p =
p̃∈ Pm (Ω) [16] J. Necăs, Les Méthodes Directes en Théorie des Équa-
tions Elliptiques , Academia, Prague, 1967.
C1 k u km+1,p
[17] L. Nirenberg, Topics in Nonlinear Functional Analysis ,
≤ C |u|m+1,p (13) Courant Institute, New York, 1974.
[18] S.L. Sobolev, On a theorem of functional analysis, Mat.
por teorema previo.
Sb. 4 (46) 1938, 39-68 (translated into English in 1963).
[19] H. Tanabe, Functional Analytic Methods for Partial Dif-
Referencias ferential Equations , Dekker, New York, 1997.
[20] H. Triebel, Interpolation Theory, Function Spaces, Dif-
[1] R.A. Adams, Sobolev Spaces , Academic Press, New
ferential Operators , VebDeutscher, Berlin, 1978.
York, 1975.

Para citar este artı́culo: Gamarra J. et all, 2014, .Espacio de Sobolev W m,p (Ω) con 1 ≤ p ≤ +∞”. Dispo-
nible en Revistas y Publicaciones de la Universidad del Atlántico en:
http://investigaciones.uniatlantico.edu.co/revistas/index.php/MATUA.

85