Вы находитесь на странице: 1из 10

See

discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/266476195

Espacios de Sobolev

Conference Paper March 2014


DOI: 10.13140/2.1.3593.6001

CITATIONS READS

0 770

2 authors, including:

Jaider Enrique Blanco Gamarra


Universidad del Atlntico
1 PUBLICATION 0 CITATIONS

SEE PROFILE

All content following this page was uploaded by Jaider Enrique Blanco Gamarra on 06 October 2014.

The user has requested enhancement of the downloaded file.


Facultad de Ciencias Basicas
Programa
c de Matematicas

Vol. I , No 1, (2014)
Revista Del Programa De Matematicas I (2014) 7785

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

Sobolev Spaces W m,p () with 1 p +

Jaider E. Blanco Gamarra 1


1 Programade Maestra en Matematicas
Universidad del Atlantico, Colombia
E-mail: jaiderbalnco@mail.uniatlantico.edu.co

Cristian Rojas Milla 2


2 Programa de Matematicas

Universidad del Atlantico, Colombia


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

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

Resumen
En este artculo hacemos una breve revision de los espacios de Sobolev, para lo cual presentamos su estructura vectorial
ligada a los espacios L p . Ademas, Se muestran que dichos espacios son normados, de Banach, separables y algunos
son reflexivos (i,e; es isomorfo a su bidual) y finalmente se demostraran los teoremas de inmersion y de aproximacion
por funciones suaves en dichos espacios.

Palabras claves: Espacios de Sobolev, espacio separables, espacios reflexivos, Desigualdad de Sobolev, Teoremas de
Inmersion, desigualdad de Poincare.

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,
Poincare inequality.

1. Introduccion especiales de distribuciones. Con el fin de discu-


tir la teora de los espacios de Sobolev vamos a
La teora de los espacios de Sobolev se ha ori-
empezar con algunos conceptos basicos simples
ginado por el matematico ruso SL Sobolev alre-
que son necesarios para la introduccion y el es-
dedor de 1938 [ SO] . Estos espacios no se intro-
tudio de estos espacios [2,4,5].
dujeron para algunos propositos teoricos , sino
Los espacios de Sobolev, que pueden ser repre-
por la necesidad de la teora de la ecuaciones di-
sentados brevemente, como las clases de funcio-
ferenciales parciales . Estan estrechamente rela-
nes que poseen derivadas debiles en los espa-
cionados con la teora de las distribuciones , ya
cios, ocupan un lugar destacado en el analisis
que los elementos de estos espacios son clases
J. Gamarra y colaboradores / Matua Revista Del Programa De Matematicas I (2014) 7785 78

funcional. En las ultimas tres decadas se ha pro- Esta clase W m,p () de funciones esta dotado de
p
ducido un gran aporte en la teora y aplicacio- la norma: k um,p k= (0m 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 teora 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, ultimamente se ha producido
y para u Hm (), nosotros denotamos por
un creciente interes por el estudio y uso de parte
k u km,p =k u km,2 .
de ingenieros y fsicos para la resolucion de sus
El espacio Hm () tiene un producto interno na-
problemas (Ver [3,7,9]).
tural definido por
La teora de estos espacios es iniciada por ma-
tematicos a principio del siglo XX y en particular < u, v >Hm () = < D u, D v > L2 () .
||m
por S. I. Sobolev en el ano 1930. Si bien son va-
rios los cientficos que hicieron sus aportes, co- Observacion 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 teora 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 busqueda
cio de funciones W m,p ().
de soluciones de problemas de contorno. Esto es
as porque estos espacios son completos y por-
Demostracion. Es evidente que k u k(m,p) 0,
que permiten obtener resultados generales res-
ademas k u k( m, p) = 0 u = 0. Ademas,
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 metodos de apro-
la desigualdad de Holder , nos garantiza que el
ximacion, tales como el metodo 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 ambi-
puede ser definido via transformada de Fourier.
to de estos espacios.
Si u H m (Rn ), entonces por definicion D u
L2 (Rn ) para todo || m. La transformada de
2. Preliminares
Fourier de D u esta bien definido y tenemos

Definicion 2.1. Sean Rn un conjunto abier-


( D u) = (2i )|| u,
to y 1 p . Si m es un numero entero no
negativo, u L p y existe la derivada distribucio- Y tambien u L2 (Rn ) para todo || m.
nal D u para cualquier con || m, tal que
Lema 2.1. Existen constantes positivas 1 y 2
D u L p () ; || m.
dependiendo solo de m y n tal que M1 (1 +
Entonces se dice que u W m,p (). | |2 )m ||m | |2 M2 (1 + | |2 )m para
W m,p () es llamado espacio de Sobolev sobre . todo Rn .
78
J. Gamarra y colaboradores / Matua Revista Del Programa De Matematicas I (2014) 7785 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 ) u( ) 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 ) | u |2 d )( 2 ) . Para toda m 0. La
Por tanto, Tun () Tu0 () para todo
funcion = : W m,p () ( L p ( ))n+1 u
D () cuando n .
=(u) = (u, x
u
1
u
, ..., x n
) es una isometra 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 | TDun () Tu () |k D un u k p k k p
u = ( ui ) ( L p ())(n+1) .
En el siguiente teorema se establecera 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) () = lm TDun () =


n

nach. lm (1)|| Tun ( D ()) =


n

(1)|| Tu0 ( D ) (4)


Demostracion. Sea (un )(nN) una sucesion de
Cauchy es W (m,p) (), entonces por definicion 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 = bucion en para || m, donde u W (m,p) ().
0 m
Entonces lmn 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 ))nN es una sucesion 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 lma0+ (1 a2+1 ) = 2+1 si > 12


un u0 y D (un ) u , n





lma0+ ln 1 ln a = si = 12

La idea es demostrar que u0 W m,p ().






Ademas, como L p () L1 () y un L p ()

1
lma0+ (1 a2+1 ) = si < 12


2+1
para todo n, entonces existe una distribucion As u L2 () si > 21 ,
u( x2 )
= 0 , ademas
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 Matematicas I (2014) 7785 80

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


Z
u 2
Z 1Z 1
2( 1) posicion 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. Ademas, J es un isomorfismo
Si = 0, entonces u
x1 =0y u
x1 L2 ( ). Resu- isometrico 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).

Observacion 2. Se tienen que W m,1 () y


Proposicion 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.
Proposicion 2.2. Sea un multi-ndice, Ademas, D () W m,p ().
(un )(nN) L p () y u, v L p () tal que
Definicion 2.2. Sean m 0 y p [1, ). Defini-
lmn un = u y lmn Dun = v en L p ()
mos
entonces D u = v . El siguiente teorema mues-
m,p kk
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-
kkm,2
Teorema 2.3. Sea un conjunto abierto no cion H0m () = W0m,2 () = D () . De la
m,p
vaco, m 1 un entero y p [1, ). Se tiene propia definicion 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 (), ademas H0m () es un espa-
[1, ). cio de Hilbert con el producto escalar < , >Hm .

Demostracion. Sea M = card{ N : || m,p


Observacion 3. Observese que u W0 ()
m} y consideremos el espacio producto X =
es equivalente a decir que existe una sucesion
||m L p () = L p () M el cual es un espacio
(n )nN D () tal que n u en L p (),
de Banach para la norma producto:
es decir D n D u en L p () para todo 0 <
1

p
k U k= ( k u km,p ) p || m, con lo que es interesante encontrar una
||m m,p
caracterizacion manejable del espacio W0 ( ).
si p [1, ), donde U = (u )||m X. De he-
cho, sabemos que X es reflexivo si y solo si L p () Proposicion 2.3. Para k = 0 y 1 p < de-
0,p
es reflexivo y X es separable si y solo si L p () lo muestra que W0 () L p ().

es.
Definicion 2.3. Sea Rn un conjunto abier-
Consideremos la aplicacion 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 modificacion
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 Matematicas I (2014) 7785 81

Teorema 2.4. Si 1 p < . Entonces para algun 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
Demostracion. 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 sucesion {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 eu u en L p (Rn ). k u


= k
xi xi
Primero, para todo e L1 (Rn ), la convolucion
esta bien definida. Sea una funcion continua sobre B(0; k), k
xi uk
xi en L p (Rn ) por un argu-

con soporte compacto tal que | u|0,p < mento analogo. As, k u, en W 1,p (Rn ).
3
donde > 0 es un numero pre-asignado. Eli-
3. Aproximacion por funciones suaves
jamos e > 0 suficientemente pequeno tal que
| e |0,p <
3 As, Definicion 3.1. Sea un conjunto abierto en Rn .
Un operador de extension para W 1,p (Rn ) es
|u u e |0,p |u |0,p + | e |0,p + un operador lineal acotado
| e u e |0,p < (6)
: 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 u como la extension
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
funcion C y D (u e ) = D u e = u D e ,
u( x ) si x
para algun multi-ndice . Por el paso 1, u e



u( 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 funcion en D (Rn ) tal que 0
m,p
1, 1 sobre B(0; 1) y supp() B(0, 2). 1. u W0 (Rn ).

Consideremos la sucesion k en D (Rn ) definida 2. D u = D


g u, para todo con | | m

por
3. k u kW m,p (Rn ) =k u kW m,p ()
x 0 0
k ( x ) = ( ).
k m,p
Demostracion. Por hipotesis u W0 ( ),
Sea ek 0 .Sea uk = ek u. Entonces uk C y as existe (n )nN 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 demostracion. Como k 1 0 si x < Rn

81
J. Gamarra y colaboradores / Matua Revista Del Programa De Matematicas I (2014) 7785 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 u en L p (Rn ) y D
Deducimos que fn = 1,p
Demostracion. 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 proposicion se garantiza


Definamos vm = G um como um tiene soporte
^
la existencia de D u = D ( u ) L p (Rn ) pa-
compacto y G (0) = 0, vm tiene soporte compac-
m,p
ra 0 < || m. Es decir, u W0 (Rn ) y
to. Tambien vm es tambien una funcion de Lips-
k u kW m,p (Rn ) =k u kW m,p () .
0 0 chitz; para
Teorema 3.2. Si es un conjunto abierto en Rn |vm ( x ) vm (y)| = | G (um ( x )) G (um (y))|
tal que el operador extension : W 1,p () K |um ( x ) um (y)| Km | x y|
W 1,p (Rn ) exista, entonces dado u W (1,p) () como um es una funcion suave con soporte com-
existe una sucesion {um } en D (Rn ) tal que pacto y G es una funcion Lipschitz. Por tanto
um | u en W 1,p (). vm L p () tambien 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 funcion definida de la si- 1,p
Luego por el lema anterior, vm W0 (). Tam-
guiente manera
bien a partir de la relacion |vm ( x ) G (u( x ))|


0 si x0 K |um ( x ) u( x )| se deduce que vm G u en

u( x ) =
L p (). Ademas, si ei es el vector base i-esimo en

x si x0 Rn , tenemos

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


|h|
distribucion derivada esta dada por
K | um ( x + hei ) um ( x ) |
(8)

0 si x 0 |h|


0
u (x) = y tambien


1 si x 0

vm
lm sup | |
m xi 0,p
Sea C () tal que um
K lm sup | | (9)
0 0 m xi 0,p
| u |0,) < e.
Pero como { u
x } es una sucesion 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
Definicion 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 inmersion, 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.
Demostracion. Ver [1].
2. El operador identidad I definido en X so-
Teorema 3.3. Sea G un funcion 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 Matematicas I (2014) 7785 83

0
En esta parte del artculo 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 dara 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 isometri-
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 , ademas es separable reflexivo y
p Demostracion. Sea L el funcional lineal defini-
uniformemente convexo. W m,p () = P1 ( 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 unico v L N tal que para todo u L N , morfismo isometrico, 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 extension 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

Demostracion. 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 demas 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
cion para L p (), existe un unico 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 Poincare la cual es vital


en el estudio de soluciones debiles de problemas
p
Si u L N , entonces elpticos 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 Holder 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 Matematicas I (2014) 7785 84

4. Teoremas de inmersion Y ademas, u es Holder-continua de exponente


= 1 ( np ).
Estudiaremos las inmersiones de espacio
En particular, W 1,p () C (), p > n.
W 1,p (Rn ). Se Analizara 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 Demostracion. Para probar que W 1,p (Rn ) es un


p =
np algebra de Banach, necesitamos mostrar que si

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

trara 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. Tambien
la inclusion continua u
v
+
u
v L p (Rn ).
xi xi

W 1,p (Rn ) L p (Rn ). Ahora mostraremos que esta es la distribucion

derivada xi ( uv ).
El anterior teorema es conocido como la de-
Si D (Rn ), entonces
sigualdad de Sobolev. Z Z

uv = lm vm
Rn xi m Rn u
xi
Teorema 4.2. Sea p > n. Entonces tenemos la in- Z
m
vm um
clusion continua = lm (um + vm )
m Rn xi xi
Z
v u
W 1,p (Rn ) L (Rn ). = (u + v)
Rn xi xi
(10)
Ademas, 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
Tambien por la continuidad de la inclusion 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 Matematicas I (2014) 7785 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.


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

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


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

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

k I kk u + p km+1,p (12) [13] V.G. Mazja, 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. Necas, Introduction to the Theory of Nonlinear Ellip-
tic Equations , Teubner, Leipzig, 1983.
nf k v + p km+1,p =
p Pm () [16] J. Necas, Les Methodes Directes en Theorie des Equa-
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 artculo: Gamarra J. et all, 2014, .Espacio de Sobolev W m,p () con 1 p +. Dispo-
nible en Revistas y Publicaciones de la Universidad del Atlantico en:
http://investigaciones.uniatlantico.edu.co/revistas/index.php/MATUA.

85

View publication stats