Espacios de Sobolev Wk,p(Ω). Propiedades iniciales

Tema 4. Espacios de Sobolev.
Primeras
propiedades.
Dedicamos el tema a introducir los llamados espacios de Sobolev y a estudiar las primeras
propiedades de las funciones de estos espacios. Igual que en el tema anterior, denotara un
abierto no vaco de IR
N
con N 1, mientras que representar a su frontera.
4.1. Espacios de Sobolev. Deniciones
En el tema anterior vimos que, dada T D
() y IN
N
, existe D
T D
(). En
particular, si u L
1
loc
(), entonces existe D
u D
() y verica (en el sentido de D
())
D
u, = (1)
||
u, D
= (1)
||
_
uD
, D().
A veces, se tiene que D
u L
1
loc
() (es una funcion). Como ejemplo, cuando u C
||
() vimos
que su derivada distribucional coincide con la clasica y as, D
u L
1
loc
(). Tambien, u(x) = |x|
verica
u L
1
loc
(IR) y u
(x) = sgn x L
1
loc
(IR).
As,
Denici on 4.1. Sea k 0 y p [1, ]. Denimos el espacio de Sobolev W
k,p
() como
W
k,p
() = {u L
p
() : D
u L
p
(), IN
N
con || k}.
De la misma manera
W
k,p
loc
() = {u L
p
loc
() : D
u L
p
loc
(), IN
N
con || k}.
Ejemplo 1. En el caso particular de k = 0 la denicion anterior da W
0,p
() = L
p
(). Para
k = 1,
W
1,p
() =
_
u L
p
() :
u
x
i
L
p
(), i : 1 i N
_
.
Si k = 2,
W
2,p
() =
_
u L
p
() :
u
x
k
L
p
(),

2
u
x
i
x
j
L
p
() i, j, k {1, ..., N}
_
.
1
2 4.1. Espacios de Sobolev. Deniciones
Observaci on 4.2. 1. En las deniciones de W
k,p
() y W
k,p
loc
() las derivadas consideradas
son derivadas distribucionales. As, decir que D
u L
p
() signica que existe v
L
p
()
tal que D
u = v
en D
(), es decir, tal que

(1)
||
_
uD
dx =
_
dx, D().
Diremos en este caso que u es derivable debil de orden , es decir, que la derivada en el
sentido de las distribuciones de orden de u es una funci on.
2. Es facil comprobar que W
k,p
() y W
k,p
loc
() son subespacios vectoriales de L
p
() y L
p
loc
()
respectivamente. En el caso particular de W
k,p
() es posible denir una norma.
Denici on 4.3. Consideramos la norma en W
k,p
()
||u||
k,p;
=
_
_
||k
||D
u||
p
p;
_
_
1/p
si p < ,
||u||
k,;
= m ax
||k
||D
u||
;
si p = .
En particular, para p < , ||u||
0,p;
= ||u||
p;
si k = 0,
||u||
1,p;
=
_
||u||
p
p;
+
N
i=1
||D
i
u||
p
p;
_
1/p
,
si k = 1 y
||u||
2,p;
=
_
||u||
p
p;
+
N
i=1
||D
i
u||
p
p;
+
N
i,j=1
||D
ij
u||
p
p;
_
1/p
=
_
||u||
p
1,p;
+
N
i,j=1
||D
ij
u||
p
p;
_
1/p
,
si k = 2.
Ejercicio 1. Comprueba que || ||
k,p;
es una norma en W
k,p
() para k 0 y p [1, ].
Tenemos que
_
W
k,p
(), || ||
k,p;
_
es un espacio normado. De la propia denici on, deducimos
que decir u
n
u en W
k,p
() equivale a decir u
n
u en L
p
() y
D
u
n
D
u en L
p
(), || k.
Observaci on 4.4. El caso p = 2 es un caso interesante ya que la norma || ||
k,2;
procede del
producto escalar
(u, v)
H
k
()
=
||k
(D
u, D
v)
L
2
()
.
En este caso utilizaremos la notacion H
k
() para representar W
k,2
(): H
k
() W
k,2
().
Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
3
Teorema 4.5. Sean IR
N
un abierto no vaco, k 0 y p [1, ]. Se tiene
1. W
k,p
() es un espacio de Banach y H
k
() es un espacio de Hilbert.
2. W
k,p
() es un espacio reexivo si p (1, ).
3. W
k,p
() es un espacio separable si p [1, ).
4. D() W
k,p
().
5. Si || < , entonces C
k
() W
k,p
().
Demostraci on. Sea M = card { IN
N
: || k} y consideramos el espacio producto
X =
||k
L
p
() = [L
p
()]
M
que es un espacio de Banach para la norma (producto):
||U||
X
=
_
_
||k
||u
||
p
p;
_
_
1/p
si p [1, ),
||U||
X
= m ax
||k
||u
||
;
si p =
donde U = (u
)
||k
X. De hecho, sabemos que X es reexivo si y solo si L
p
() es reexivo
y X es separable si y solo si L
p
() lo es.
Consideramos la aplicacion lineal
J : W
k,p
() X denida por J(u) = (D
u)
||k
X
y sea E = J(W
k,p
()) X. Se tiene que E es un subespacio vectorial cerrado de X pues se
verica
Proposicion 4.6. Sean IN
N
, {u
n
}
n1
L
p
() y u, v
L
p
() tales que u
n
u y
D
u
n
v
en L
p
(). Entonces v
= D
u.
As, (E, || ||
X
) es un espacio de Banach que hereda las propiedades de reexividad y
separabilidad de X. Ademas, J es un isomorsmo isometrico entre W
k,p
() y E. Concluimos
que
_
W
k,p
(), || ||
k,p;
_
es un espacio de Banach y se tiene 2 y 3.
Los apartados 4 y 5 son f aciles de comprobar (recordamos que
C
k
() = {u C
k
() : D
u es acotada y uniformemente continua en , || k}).

Observaci on 4.7. 1. Se tiene tambien que W
k,1
() y W
k,
() no son reexivos. Por otro
lado, se tiene que W
k,
() no es separable (ver [8]).
2. Si || = , entonces no se da la inclusion C
k
() W
k,p
() si p [1, ) (basta tomar
u 1).
4 4.1. Espacios de Sobolev. Deniciones
3. Se puede probar la proposici on 4.6 en situaciones mas generales. Por ejemplo, la proposi-
ci on sigue siendo cierta si cambiamos la convergencia en L
p
() por convergencia en D
()
(ejercicio).
Denici on 4.8. Sean k 0 y p [1, ]. Denimos
W
k,p
0
() = D()
||||
k,p;
.
En el caso particular p = 2, usaremos la notacion H
k
0
() = W
k,2
0
() = D()
||||
k,2;
De la propia denici on deducimos que W
k,p
0
() es un subespacio vectorial cerrado de W
k,p
()
y que, con la norma ||||
k,p;
, es un espacio de Banach que hereda las propiedades de reexividad
y separabilidad de W
k,p
(). En el caso p = 2, al igual que H
k
(), H
k
0
() es un espacio de Hilbert
con el producto escalar (, )
H
k
()
.
Observaci on 4.9. 1. Habra que dar una caracterizaci on manejable de W
k,p
0
() pues para
ver si u W
k,p
0
() habra que probar la existencia de {
n
}
n1
D() tal que
n
u
en W
k,p
(), es decir, tal que
_

n
u en L
p
() y
D
n
D
u en L
p
(), || k.
2. Sabemos que W
k,p
0
() es un subespacio vectorial cerrado de W
k,p
() y veremos que, en
general, es un s.v. cerrado propio de W
k,p
(), aunque en algunos casos coinciden.
3. El caso p = es muy especial y quiz a no interesante pues W
k,
0
() C
k
(). Ademas
es separable. No lo utilizaremos en adelante.
Advertencia: Aunque D() es denso en W
k,p
0
() para cualquier valor de p, de aqu no
podemos deducir que las funciones de W
k,p
0
() tengan soporte compacto en .
Ejercicio 2. 1. Para k = 0 y p [1, ), demuestra que W
0,p
0
() L
p
().
2. Sea u W
k,p
0
() con k 1 y p [1, ). Prueba que u W
k1,p
0
() y D
u W
1,p
0
(),
para cada tal que || = k 1.
Teorema 4.10. Sean k 0 y p [1, ] y sea u W
k,p
0
(). Denimos u como la extension
por 0 de u a IR
N
. Entonces, u W
k,p
0
(IR
N
),
D
u =

D
u, || k y || u||
k,p;IR
N = ||u||
k,p;
.
Demostraci on. Por hip otesis u W
k,p
0
() y as, existe {
n
}
n1
D() tal que
_

n
u en L
p
() y
D
n
D
u en L
p
(), || k.
5
Consideramos
n
D(IR
N
) que verica D

n
=
n
para || k. Deducimos que
_

n
u en L
p
(IR
N
) y
D

n
=
n

D
u en L
p
(IR
N
), || k.
Aplicando la proposici on 4.6 llegamos a que existe D
u =

D
u L
p
(IR
N
) para todo || k,
es decir, u W
k,p
0
(IR
N
) y || u||
k,p;IR
N = ||u||
k,p;
.
Podemos ahora comprobar que, en general, W
k,p
() W
k,p
0
():
Ejemplo 2. Consideramos u 1 en = (0, 1). Est a claro que u W
k,p
() para cualesquiera
valores de k y p. Sin embargo u W
k,p
0
() si k 1 pues eso dara que u W
k,p
(IR) y que
u
L
p
(IR).
4.2. Regularizaci on y derivadas debiles
Veamos en esta seccion cual es la relaci on entre la regularizada y la derivada distribucional
de una funci on. En lo que sigue, denotaremos u
la regularizada de u. Se tiene:
Lema 4.11. Sea u L
p
() con p [1, ] tal que D
u L
p
() para cierto multindice .
Entonces, si x y 0 < < dist (x, ), se verica
D
(x) = (D
u)
(x).
Demostraci on. Sea x y : 0 < < dist (x, ). Como u, D
u L
p
() D
(), se
tiene
(4.1)
_
(D
u)dx = (1)
||
_
uD
dx, D().
Por otro lado,
D
(x) =
_
x
(
(x y))u(y) dy = (1)
||
_
y
(
(x y))u(y) dy.
Debido a que x y 0 < < dist (x, ), tenemos que
sop
(x ) = B(x, )
(x ) D().
Podemos aplicar la f ormula (4.1) y deducir el resultado.
Observaci on 4.12. A la vista de la demostraci on, deducimos que la hip otesis impuesta al
par ametro , 0 < < dist (x, ), es fundamental y no puede ser suprimida.
Teorema 4.13. Sea p [1, ) y u L
p
() tal que D
u L
p
() para cierto multindice .
Entonces,
u
u en L
p
() y D
u en L
p
loc
(),
es decir, D
u en L
p
(
), .
6 4.3. Primeras propiedades de los espacios de Sobolev
Demostraci on: Tomando (0, dist (
, )), la prueba es consecuencia sencilla del lema

anterior y del segundo apartado del teorema 3.9 visto en el tema 3.
Observaci on 4.14. Hay que tener cuidado a la hora de aplicar este resultado. Aunque tenga-
mos D
u L
p
(), la derivada de la regularizada solo converge en L
p
loc
() y no en L
p
().
Ejercicio 3. Sean u, v L
p
() con p [1, ) y IN
N
. Prueba la equivalencia: v = D
u si
y solo si existe {
n
}
n1
C
(IR
N
) tal que
n
u en L
p
() y D
n
v en L
p
loc
().
Utilizando este ejercicio es posible obtener resultados para la derivada distribucional que
son ciertos para la derivada cl asica (ver ejercicio 16 de la relaci on de problemas).
4.3. Primeras propiedades de los espacios de Sobolev
Antes de comenzar a estudiar propiedades de los espacios de Sobolev, deniremos el concepto
de soporte de una funcion medible (que esta denida casi por doquier), concepto que generaliza
el concepto cl asico de soporte de una funci on continua:
Denici on 4.15. (Proposici on) Sea IR
N
un abierto y u : IR
N
IR una funcion
medible. Se considera la familia {
i
: i I}, familia de los abiertos
i
tales que u = 0
c.p.d. en
i
. Se dene el abierto
=
_
iI
i
.
Entonces, u = 0 c.p.d. en . Podemos as denir sop u = \ (Brezis, p agina 68).
Observaci on 4.16. 1. Es f acil deducir que si f
1
y f
2
son dos funciones medibles tales que
f
1
= f
2
c.p.d. en (es decir, f
1
f
2
), entonces, sop f
1
sop f
2
. De este modo podemos
hablar del soporte de una funci on f de L
p
(), conjunto que no depende del elemento de
la clase de equivalencia de f que se elija.
2. Si f es continua en , los dos conceptos de soporte coinciden.
3. De forma inmediata se tiene que sop u es un conjunto cerrado contenido en . Adem as,
se tiene que u = 0 c.p.d. en \ sop u.
Ejercicio 4. Sea u L
p
() tal que existe D
u L
p
() para cierto IN
N
. Demuestra
entonces que sop D
u sop u.
Veremos un resultado tecnico que necesitaremos mas adelante:
Teorema 4.17. Sean k 1 y p [1, ]. Entonces, u W
k,p
() si y solo si para cada IN
N
con || k existe v
L
p
() tal que
(1)
||
_
uD
dx =
_
dx, C
k
0
().
7
Demostraci on: La implicaci on hacia la izquierda es consecuencia inmediata de la conten-
ci on D() C
k
0
().
La implicacion hacia la derecha se obtiene por un proceso de regularizaci on. Sabemos que
si u W
k,p
(). Tomando v
= D
u L
p
() con || k, se tiene
(1)
||
_
uD
dx =
_
dx, D().
Sea C
k
0
() y sea {
n
}
n1
tal que 0 <
n
< (1/2)dist (sop , ) y
n
0. Consideramos
n
=
n
=
n
que verica
n
D() (pues sop
n
sop + B(0,
n
)) y
D
n
(x) = D
n
(x) = (D
)
n
(x), x
pues:
si x sop
n
, entonces D
n
(x) = 0 y tambien (D
)
n
(x) = 0 pues sop D
sop ,
(y por tanto, sop (D
)
n
sop
n
),
si x sop
n
es sencillo comprobar que 0 <
n
< dist (x, ), luego (D
n
)(x) =
(D
)
n
(x).
Como C
k
0
(), del teorema 3.9, apartado 3 (tema 3) deducimos que
n
y D
n

D
uniformemente en para cualquier || k. Como

(1)
||
_
uD
n
dx =
_
n
dx, n 1,
podemos tomar lmite en n para llegar al resultado pretendido.
Estamos ya en disposici on de probar:
Teorema 4.18. Sean k 0 y p [1, ]. Se tiene:
1. Si
es un abierto y u W
k,p
(), entonces, u|
W
k,p
(
) y se verica la acotacion
||u|
||
k,p;
||u||
k,p;
.
2. Si u C
k
() y v W
k,p
(), entonces, uv W
k,p
() y se verica la formula de Leibniz
D
(uv) =
_
D
uD
v, IN
N
, || k.
3. Sea p [1, ) y u W
k,p
() tal que sop u (cerrado) . Entonces, u W
k,p
0
() (y en
particular, u W
k,p
(IR
N
)).
Demostraci on:
1. El primer punto es inmediato (ejercicio).
2. Haremos la demostraci on por inducci on en k 1. Si k = 1, tenemos que u C
1
() y
v W
1,p
() y queremos ver que uv W
1,p
(). Est a claro que uv L
p
() (u est a acotada en
). Por otro lado, uv D
() y as, si D() y 1 i N,
D
i
(uv), =
_
uvD
i
dx =
_
uD
i
(v) dx +
_
u(D
i
v)dx.
Como v C
1
0
(), podemos aplicar el teorema 4.17 y deducir
D
i
(uv), =
_
(D
i
u)vdx +
_
u(D
i
v)dx
y por tanto, D
i
(uv) = (D
i
u)v +u(D
i
v) L
p
() (pues u y D
i
u est an acotados en ).
Una vez obtenido el caso k = 1 y la formula de derivacion del producto, el caso general y
la formula de Leibniz se demuestran de la misma forma que se demuestra el caso de derivadas
cl asicas.
3. La demostracion de este punto sigue la misma tecnica de la demostraci on del teorema 4.17:
un procedimiento de regularizaci on-truncamiento.
Supongamos en primer lugar que sop u es un compacto y sop u . Sea {
n
}
n1
tal que
n
0 y
n
(0, (1/2)dist (sop u, )). Sea u
n
= u
n
=
n
u. Sabemos que sop u
n

sop u + B(0,
n
) (compacto) y entonces, u
n
D(). Por otro lado, u
n
u en L
p
()
(u L
p
()).
Gracias a las hip otesis impuestas al parametro de regularizaci on
n
, vimos en la demostraci on
del teorema 4.17 que se verica la igualdad
a
(D
u
n
)(x) = (D
u
n
)(x) = (D
u)
n
(x), x , con || k.
Como D
u L
p
() cuando || k, esta igualdad implica
D
u
n
D
u en L
p
(), IN
N
, || k.
En denitiva, {u
n
}
n1
D() y u
n
u en W
k,p
(), es decir, u W
k,p
0
().
El caso general lo vamos a deducir del caso anterior multiplicando por una funci on truncante.
En este caso tenemos sop u cerrado . Consideramos una funci on D(IR
N
) con 0 1
tal que
(x) =
_
1 si |x| 1
0 si |x| 2,
y denimos
n
(x) = (x/n). Evidentemente
n
D(IR
N
), 0
n
1 y
n
(x) =
_
1 si |x| n
0 si |x| 2n.
Si ahora denimos u
n
= u
n
, se satisface u
n
W
k,p
() (apartado 2) y sop u
n
sop u
sop
n
compacto sop u , es decir, u
n
W
k,p
0
(). Si demostramos que u
n
u en W
k,p
(),
habremos concluido la demostracion del resultado. Esta ultima convergencia es resultado del
teorema de Lebesgue de la convergencia dominada pues
a
Hay que tener mucho cuidado con esta igualdad: solo es valida si el parametro de regularizacion es su-
cientemente peque no y si la funcion a regularizar admite derivada debil y tiene soporte compacto contenido
en
9
n
(x) 1 puntualmente en IR
N
y |
n
(x)| 1 en IR
N
. De aqu se deduce que u
n
u en
L
p
().
Si 0 < || k, tenemos D
n
(x) 0 en IR
N
y |D
n
(x)| = n
||
|(D
)(x/n)| C en
IR
N
. Gracias a la identidad
D
u
n
= (D
u)
n
+
,=0
_
_
D
uD
n
deducimos que D
u
n
D
u en L
p
().
Ejercicio 5. Demuestra que si p [1, ), entonces
C
1
0
() W
1,p
0
() y W
1,p
0
() = C
1
0
()
||||
1,p;
.
En general, si k 1 y p [1, ), entonces
C
k
0
() W
k,p
0
() y W
k,p
0
() = C
k
0
()
||||
k,p;
.
Como consecuencia inmediata del teorema 4.18 tenemos
Corolario 4.19. Sean k 1 y p [1, ). Entonces, W
k,p
0
(IR
N
) W
k,p
(IR
N
)
Observaci on 4.20. Como se ha comentado con anterioridad, el caso p = es un caso especial.
De hecho, el apartado 3 del teorema 4.18 y, en consecuencia, el corolario 4.19 son falsos para
W
k,
(). Para ello, basta considerar IR
N
y la funci on u 1 que verica, u W
k,
(IR
N
),
para cualquier k 0, sop u = IR
N
( IR
N
) y sin embargo, u W
k,p
0
(IR
N
) (pues si {
n
}
n1
es
una sucesion de funciones en D(IR
N
), entonces ||
n
u||
k,;IR
N 1, n 1).
Teorema 4.21. Teorema de Friedrichs Sea u W
k,p
() con k 1 y p [1, ). Entonces,
existe una sucesion {
n
}
n1
D(IR
N
) tal que
(4.2)
n
|
u en L
p
() y D
n
|
u|
en L
p
(
), : 0 < || k y
.
Demostraci on: De nuevo la demostraci on consiste en un proceso de regularizaci on y otro
de truncamiento. Mediante la tecnica de regularizacion construiremos una sucesion de funciones
en C
(IR
N
) que verica el teorema pero que, en principio, no tienen soporte compacto. En una
segunda etapa, mediante la tecnica de truncamiento, construiremos una sucesi on de funciones
en D(IR
N
) que s verica la tesis del teorema. Para ello, sea u W
k,p
() y sea {
n
}
n1
(0, )
tal que
n
0.
1 Regularizacion. Consideremos u
n
= u
n
=
n
u C
(IR
N
). Como u L
p
(), sabemos
que u
n
u en L
p
(). Adem as, jado
y : 0 < || k, tenemos que, a partir de

cierto n
0
, se verica 0 <
n
< (1/2)dist (
, ) y as,
D
u
n
(x) = D
u
n
(x) = (D
u)
n
(x), p.c.t. x
.
Como D
u L
p
(
) concluimos que D
u
n
|
u|
en L
p
(
).
2 Truncamiento. Sea D(IR
N
) como en la demostraci on del apartado 3 del teorema 4.18,
es decir, vericando 0 1 y
(x) =
_
1 si |x| 1,
0 si |x| 2.
Denimos
n
(x) = (x/n). Evidentemente
n
D(IR
N
), 0
n
1 y
n
(x) =
_
1 si |x| n,
0 si |x| 2n.
Consideremos
n
= u
n
n
que verica
n
D(IR
N
). Veamos que la sucesion {
n
}
n1
verica
la tesis del teorema:
Se tiene
n
|
u en L
p
(). Basta hacer
||
n
|
u||
p;
||u
n
u||
p;
+||u(
n
1)||
p;
y utilizar de nuevo el teorema de Lebesgue para demostrar que el ultimo sumando converge
hacia 0.
Se tiene que D
n
|
u|
en L
p
(
) ( : 0 < || k), pues

D
n
=
n
D
u
n
+
,=0
_
_
D
n
D
u
n
en IR
N
.
El primer punto nos da que
n
D
u
n
|
u|
en L
p
(
). El resto de los sumandos

convergen hacia 0 en L
p
(
) pues
||D
n
D
u
n
||
p;

C
n
||
||D
u
n
||
p;

n
||
, , = 0, n 1.
Tenemos as la demostraci on del teorema.
Este resultado es de gran importancia pues nos permitira probar resultados para las funcio-
nes de W
k,p
() que son v alidos para las funciones regulares. En concreto:
Corolario 4.22. Cambio de variables Sean , O IR
N
abiertos acotados y : O una
aplicacion biyectiva tal que C
k
()
N
y =
1
C
k
(O)
N
. Sean k 1 y p [1, ). Se
tiene
u W
k,p
() v = u W
k,p
(O).
Ademas se verica la regla de la cadena
v
y
j
(y) =
N
i=1
u
x
i
((y))

i
y
j
(y), p.c.t. y O.
Por otro lado, existen constantes positivas c
1
(, ) y c
2
(, ) tales que
||v||
k,p;O
c
1
||u||
k,p;
y ||u||
k,p;
c
2
||v||
k,p;O
.
La demostracion la haremos en clase de problemas.
11
Veamos ahora que ocurre con la composici on de funciones:
Teorema 4.23. Derivacion de funciones compuestas Sea f C
1
(IR) con f(0) = 0 y
f
(IR). Si u W
1,p
() con p [1, ), entonces f u W
1,p
() y
(4.3)

x
i
f(u(x)) = f
(u(x))
u
x
i
(x), p.c.t. x , i : 1 i N.
Ademas, si u W
1,p
0
(), entonces f(u) W
1,p
0
().
Demostraci on. Bajo las condiciones impuestas a f deducimos
|f(s)| M|s|, s IR (con M = ||f
||
;
).
Si u W
1,p
(), tenemos |f(u(x))| M|u(x)|, p.c.t. x , lo que asegura que f u L
p
().
Supongamos que se verica la regla de la cadena (4.3), entonces claramente f(u) W
1,p
()
pues la parte derecha de (4.3) est a en L
p
(). Basta por tanto probar la formula (4.3) o de forma
equivalente
(4.4)
_
f(u(x))

x
i
(x) dx =
_
(u(x))
u
x
i
(x)(x) dx, D().
Para ello, sea D() y sea
0
un abierto vericando sop
0
. El teorema de
Friedrichs asegura la existencia de una sucesi on {
n
}
n1
D(IR
N
) que satisface (4.2). Antes
de seguir con la prueba del resultado, recordemos un importante teorema sobre convergencia
en L
p
():
Teorema 4.24. Sea p [1, ) y {u
n
}
n1
L
p
() tal que u
n
u en L
p
(). Entonces, existe
una subsucesion {u
n
k
}
k1
de {u
n
}
n1
y una funcion h L
p
() tal que
|u
n
k
(x)| h(x) p.c.t. x , k 1,
u
n
k
(x) u(x) p.c.t. x .
(Para una demostracion de este resultado vease Brezis p. 58 o Kufner p. 74).
Aplicando este resultado a la sucesi on anterior, obtenemos una nueva subsucesi on (utiliza-
mos la misma notaci on para esta subsucesion) tal que
_
_
_
n
u en L
p
() y
n
(x) u(x) p.c.t. x ,
n
x
i
u
x
i
en L
p
(
0
) y

n
x
i
(x)
u
x
i
(x) p.c.t. x
0
, i
y
_
_
_
|
n
(x)| h
0
(x) p.c.t. x con h
0
L
p
(),
n
x
i
(x)
h
i
(x) p.c.t. x
0
, i : 1 i N con h
i
L
p
(
0
).
Como
n
D(IR
N
) sabemos que f(
n
) es derivable en sentido cl asico y verica la regla de
la cadena y (sop
0
)
_
0
f(
n
(x))

x
i
(x) dx =
_
0
f
(
n
(x))
n
x
i
(x)(x) dx.
Aplicando el teorema de Lebesgue de la convergencia dominada, deducimos que se verica (4.4).
Veamos para acabar que ocurre cuando u W
1,p
0
(). De la parte anterior deducimos que
la funci on f(u) W
1,p
() y que verica la regla de la cadena. Como u W
1,p
0
(), existe
{
n
}
n1
D() tal que
n
u en W
1,p
(). Debido a que f C
1
(IR) y f(0) = 0, obtenemos
f(
n
) C
1
0
() W
1,p
0
() (sop f(
n
) sop
n
).
Tomando subsucesiones que converjan puntualmente en y que esten puntualmente acotadas
en uniformemente respecto de n obtenemos que para una subsucesi on (que denotaremos del
mismo modo)
f(
n
) f(u) en W
1,p
() = f(u) W
1,p
0
().
Acabaremos el tema enunciando (sin demostraci on) un resultado que usaremos en el tema 11:
Corolario 4.25. Sea p [1, ) y u W
1,p
() (resp. u W
1,p
0
()). Entonces, u
+
, u
, |u|
W
1,p
() (resp. en W
1,p
0
()) y
u
+
x
i
(x) =
_
_
_
u
x
i
si u(x) > 0,
0 si u(x) 0,
u
x
i
(x) =
_
_
_
0 si u(x) 0,
u
x
i
si u(x) < 0,
y
|u|
x
i
(x) =
_
_
u
x
i
si u(x) > 0,
u
x
i
si u(x) < 0,
0 si u(x) 0,
casi por doquier en .
Comentarios nales La gran mayora de los resultados vistos en este tema han sido
tomados de las referencias [2] (Brezis) y [7] (Kesavan) y principalmente de la segunda.
Por otro lado, es posible generalizar el teorema 4.23 al caso de funciones que son globalmente
Lipschitz-continuas en IR, es decir, a funciones continuas en IR y tales que
|f(s
1
) f(s
2
)| M|s
1
s
2
|, s
1
, s
2
IR,
donde M es una constante positiva (teorema de Stampacchia; ver [7]).

Espacios de Sobolev Wk,p(Ω). Propiedades iniciales

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Espacios de Sobolev Wk,p(Ω). Propiedades iniciales

Încărcat de

Drepturi de autor:

Formate disponibile

Tema 4. Espacios de Sobolev.

() y verica (en el sentido de D

(), es decir, tal que

u es acotada y uniformemente continua en , || k}).

, )), la prueba es consecuencia sencilla del lema

uniformemente en para cualquier || k. Como

y : 0 < || k, tenemos que, a partir de

) ( : 0 < || k), pues

). El resto de los sumandos

S-ar putea să vă placă și