Professional Documents
Culture Documents
Presentaci
on 1
Definici
on 1. El espacio
W k,p (U )
consiste en todas las funciones integrables localmente (esto es que son integrables en cada
dominio compacto de U ), u : U R tales que para cada multiindice , || k, D u existe
en el sentido debil y pertenece a Lp (U ).
Notacion: Si p = 2, se denota
H k = W k,2 (U )
En este caso, H 0 = L2 (U )
Definici
on 2. Si u W k,p (U ) se define la norma
(P
R
( ||k U |D u|p dx)1/p , 1 p <
R
||u||W k,p (U ) = P
k,p
1. Sea {um }
(U ). Decimos que um converge a u en W k,p (U ),
m=1 , u W
um u, en W k,p (U )
cuando lim ||um u||W k,p (U ) = 0
m
k,p
(U ) para decir um u en W k,p (V ), V U (esto es
2. Escribimos um u en Wloc
cuando V V U , V compacto, se dice que V es contenido compactamente en U )
Definici
on 4. Denotamos
W0k,p (U )
Algunos ejemplos
1. Tomemos U = B(0, 1), la bola unitaria en Rn y
u(x) = |x| , x U, x 6= 0
Para que valores > 0, n, p, u pertenece a W 1,p (U )?. Para ver esto, primero notamos
que
xi
uxi (x) = +2 , x 6= 0
|x|
y entonces
||
|Du(x)| = +1 , x 6= 0
|x|
Para ver que existe la derivada debil, dado que en el dominio de integracion B(0, 1) existe una singularidad, fijamos > 0 y Cc (U ) funcion test. Entonces multiplicando
u por xi e integrando por partes en U B(0, ) se tiene
Z
Z
Z
uv i
uxi +
uxi =
U B(0,)
U B(0,)
B(0,)
con v = (v1 , v2 , ..., vn ) la normal interior en B(0, ) Por convergencia dominada, convergen al dominio B(0, 1) y luego existe la derivada debil. Para que u Lp (U ), notamos
que ocupando coordenadas polares en Rn y tenemos:
Z
Z 1
Z 1
p
p n1
|x|
dx = wn1
d = wn1
p+n1 d <
U
Solo si
n
> . Ahora para ver que |Du(x)| Lp (U ), tenemos
p
Z
Z 1
Z
(+1)p
p
p
p
|x|
dx = wn1
n1(+1)p d <
|Du(x)| dx =
U
Solo si ( + 1) <
n
. Con ambas condiciones, llegamos a
p
<
np
p
2. Sea {rk }
on
k=1 numerable y denso en U = B(0, 1). Sea la funci
X
1
u(x) =
|x rk | , x U
k
2
k=1
Los valores para los cuales la funcion pertenece a W 1,p (U ) son iguales a la funcion
anterior, esto se ve ocupando convergencia dominada con la funcion anterior.
Presentacion 2
u
u
u
=3
(x1 , ..., xn ) 2
(x1 , .., xn /2)
xn
xn
xn
Luego u+
en se verifica que
xn |xn =0 = uxn |xn =0 Para el resto de las derivadas tambi
+
D u |xn =0 = D u+ |xn =0 , || 1
4. Se puede checkear ||
u||w1,p (B) C||u||w1,p (B + )
3