ESPACIOS DE SOBOLEV

NICOLAS SAINTIER

Sea U & Rn abierto. Recordemos que cualquier funcin u P L1 @U A dene loc R I una distribucin por la frmula @u; A a U u,  P Cc @U A, y por lo tanto puede ser derivada innitamente deniendo D u P hH @U A por @D u; A a @IAjj@u; DA,  P CcI@U A. Denimos entonces el espacio de Sobolev W k;p @U A como el subespacio de Lp @U A de las funciones cuyas derivadas de orden k (en sentido de las distribuciones) pertenecen a Lp :

1.

Definicion

W k;p @U A a fu P Lp @U A tq D u P Lp @U A V jj kg es decir que u P Lp @U A pertenece a W k;p @U A si existen funciones u P Lp @U A, jj k, tales que

Z

Se tiene en este caso que D u Xa u . " Por ejemplo C k @U A & W k;p @U A pero tambin funciones no acotadas como  pertenecen a W 1;p @B0 @IAA si  < @n pA=p. Se verica que W k;p @U A jxj es un espacio vectorial. Denimos una norma en W k;p @U A por

uD 

a @IAjj

u 

V P CcI@U A:

kukp Xa W
k;p k;

X X

k u kW

Xa

jj k jj k

k D  uk p p

si p < I;

kD  u k I

si p a I:

Usando que Lp es un Banach, se ve que W k;p @U A es un Banach y que W k;2 @U A es un Hilbert con producto interno

@u; vAW 2 a
k;

jj k

@Du; DvAL2 :
naI

Supongamos que U a @a; bA es un intervalo de R. En este caso la siguiente proposicin arma que una funcin u P W k;p @U A puede considerarse continua " en U (si la modicamos eventualmente en un conjunto de medida cero), y que vale el terema fundamental de clculo:
Proposicion 2.1.

2.

caso

" Dado u P W k;p @U A existe u P C @U A tal que u a u ctp y ~ ~

Z x

u@xA u@yA a ~ ~

uH @tA dt
1

" V x; y P U:

NICOLAS SAINTIER

En particular

(1)

ju@xA u@yAj ~ ~

Z x

Siempre se identica u con u. ~

juH@tAj dt kuHkpjx yj =p:

1 1

" Adems se puede probar que la inyeccin de W k;p @U A en C @U A es continua en el sentido que existe C > H tal que kukI C kukW . Ademas (1) permite aplicar el terema de Arzela-Ascoli si U es acotado y p > I. Por lo " tanto en este caso la inyeccin de W k;p @U A en C @U A es compacta.
k;p

Fijemos un entero k y un p P I; CIA. Queremos aproximar u P W k;p @U A por funciones C I . Lo primero que podemos hacer es regularizar u por convolucin considerando u" a u " (donde @xA a "n @x="A con  P I Cc @B0 @IAA radial positiva de integral uno). Notar que u" esta denida unicamente en U" Xa fx P U tq d@x; @U A > "g por denicin del producto de convoluin, y que u" P C I @U" A. Resulta que D u" a D u " y por lo tanto, como D u P Lp @U A si jj k, tenemos que D u" 3 D u en Lp @U A loc k;p es decir u" 3 u in Wloc @U A. Si queremos aproximar u por funciones suaves hasta @U debemos tratar con mas cuidado lo que pasa cerca de @U . Suponiendo U acotado la idea es de acercarse a @U considerando Vi Xa fx P U tq I=@i C IA < d@x; @U A < I=ig, regularizar u en Vi por convolucin como antes, y despues pegar estas regularizadas usando una particin de la unidad. De esta manera fabricamos u" P C I @U A W k;p @U A tal que u" 3 u en W k;p . " Finalmente podemos aproximar u por u" P C I @U A suponiendo @U de clase C 1 (para escribir localmente @U como el grco de una funcin C 1 ): suponiendo que estamos en un cacho (es decir carta) de @U consideramos v" @xA a u@x" A donde x" se obtiene a partir de x moviendose un poco hacia U siguiendo la direccin normal. De esta manera hay bastante lugar alrededor de x" para regularizar por convolucin. I Finalmente se puede probar que Cc @Rn A es denso en W k;p @Rn A. Para eso fabricamos funciones cut-o k con soporte en B0 @PkA como k @xA a  @jxj=kA donde  X R 3 H; I es C I con soporte en B0 @PA y vale I en B0 @IA. Entonces, dada u P W k;p @Rn A, la funcion u cortada suavemente usando k , es decir k u, converge a u en W k;p . Basta regularizar k u por convolucin para obtener funciones C I con soporte compacto que convergen a u en W k;p @Rn A. El terema de Sobolev arma que si I p < n, existe C > H tal que (2) kukp C kukW 1 V u P CcI@RnA; I donde p Xa np=@n pA. Notar que p > p. Usando la densidad de Cc @Rn A 1;p n A obtenemos que en W @R
;p

3.

Aproximacin por funciones suaves

4.

Teorema de inyeccin de Sobolev y de Rellich-Kondrakov

W 1;p @Rn A ,3 Lp @Rn A: I De hecho si uk P Cc @Rn A converge a u P W k;p @Rn A entonces converge p @Rn A. Por otro lado, usando (2) vemos que @u A es de Cauchy tambien en Lloc k

ESPACIOS DE SOBOLEV

en Lp @Rn A y por lo tanto converge a un v P Lp @Rn A. La convergencia vale en particular en Lp @Rn A. Luego u a v . Basta entonces escribir (2) por uk loc y pasar al lmite. Ahora si U & Rn es un abierto acotado C 1 , admitiendo que cualquier funcin u P W 1;p @U A puede ser extendida en un funcin u P W 1;p @Rn A ~ de manera que kukW 1 (R ) C kukW 1 (U ) con un C independiente de u, ~ obtenemos que
;p n ;p

Luego, como U es de medida nita, obtenemos que

W 1;p @U A ,3 Lp @U A:

W 1;p @U A ,3 Lq @U A

V q P I; p:

En particular

El teorema de Rellich-Kondrakov arma que si q < p entonces la inyeccion de W 1;p @U A en Lq @U A es, adems de continua, compacta. Eso signica que de cualquier sucesin @uk A & W 1;p @U A acotada se puede extraer una subsucesin que converge en Lq @U A a un u. Obtenemos entonces que uk 3 u en Lq @U A para todo q P I; p A (a una subsucesin). admitiendo que W 1;p @U A es reexivo (viene de que los Lq son reexivos si I < q < I) se puede tambin suponer (a extraccin de una subsucesin) que los uk convergen debilmente en W 1;p @U A a un v . Como uk 3 u en Lp @U A, en particular debilmente en Lp @U A, y que Lp @U AH & W 1;p @U AH , obtenemos que u a v. Resumiendo,
De cualquier sucesin @uk A & W 1;p @U A acotada, se puede extraer una subsucesin que converge a un u P W 1;p @U A debilmente en W 1;p @U A y fuertemente en Lq @U A para todo q P I; p A (en particular en Lp @U A).
Proposicion 4.1.

W 1;p @U A ,3 Lp @U A:

La prueba del terema de inyeccin compacta de Rellich-Kondrakov se basa en una versin del teorema de Arzela-Ascoli adaptada a los espacios Lp en la que la hipotesis de uniforme equicontinuidad esta reemplazada por: para todo V && U y todo " > H existe  P @H; dist@V; @U AA tal que si jhj <  entonces kh uk uk kL (V ) < " para todo k (donde h u@xA Xa u@x hA). El control de kruk kp permite vericar esta hipotesis. Este teorema es muy til para mostrar desigualdades por el absurdo como por ejemplo la de Poincar ms adelante, o para probar la existencia de soluciones a ecuaciones por el mtodo variacional (en el que se busca una solucin como mnimo de cierta funcional relacionada con la ecuacin - la compacidad dada por el teo de Rellich-Kondrakov es la herramienta fundamental para probar que una sucesin minimizante tiene un punto de acumulacin que se espera ser un punto de mnimo de la funcional y por lo tanto una solucin de la ecuacin.).
p

W 1;p @U A Sea U & Rn un abierto acotada C 1 . Como @U tiene medida cero, no tiene sentido hablar del valor puntual de u P W k;p @U A en @U . Por otro lado
5.
Traza de una funcin de

los espacios de Sobolev son el marco adaptado para resolver ecuaciones en derivadas parciales en U y estas vienen con condicin de borde.

NICOLAS SAINTIER

por partes usual

T X W 1;p @U A 3 Lp @@U A " que extiende la aplicacin u P C 1 @U A 3 uj@U P C @@U A. Llamamos a T u la traza de u en @U . La continuidad de T tiene por consecuencia que la frmula de integracin
Z

Se puede probar que existe una aplicacin lineal continua

H vale si u P W 1;p @U A y v P W 1;p @U A (con I=p C I=pH a I). Basta escribirla " para funciones uk ; vk P C I @U A que aproximan a u y v y luego pasar al lmite. En particular vale en el caso frecuente u; v P W 1;2 @U A. 1 El nucleo de T se nota W0 ;p @U A es decir
1 Como T es continua, W0 ;p @U A es un subespacio cerrado de W 1;p @U A. Se 1 puede probar que W0 ;p @U A es exactamente el espacio de las funciones de 1;p I W @U A que pueden ser aproximadas por funciones Cc @U A es decir que W 1;p @U A es la clausura de C I @U A para la norma k:k 1 : 0

u@i v a

@i uv C

@U

uvi

W01;p @U A Xa fu P W 1;p @U A tq u a H en @U g:

1 Una desigualdad muy importante relacionada con W0 ;p @U A es la de Poincar 1 que arma que u P W0 ;p @U A 3 krukp es una norma equivalente a la usual 1 en W0 ;p @U A es decir

;p

Teorema 5.1.

Existe C > H tal que

1 para cualquier u P W0 ;p @U A.

kukp C krukp

Si consideramos el espacio W 2;p @U A, con @U de clase C 2 , entonces podemos hablar de la traza de u P W 2;p @U A & W 1;p @U A y tambin de las de @i u P W 1;p @U A. En particular podemos denir la derivada normal @ u P Lp @@U A. Ocurre que la aplicacin

Considerando funciones constantes se ve que tal desigualdad no puede valer en W 1;p @U A. Una prueba posible de esta consiste en un razonamiento por el absurdo basado en el teorema de Rellich-Kondrakov. Suponemos que existe uk P ~ W01;p @U A tal que kuk kp ! kkruk kp . Considerando uk a uk =kuk kp , obten~ ~ ~ ~ 1 emos una sucesin uk P W0 ;p @U A tal que kuk kp a I y kruk kp 3 H. Usando el teorema de R-K podemos suponer (a extraccin de una subsucesin) que los uk convergen a un u P W 1;p @U A debilmente en W 1;p @U A y fuerte en Lp @U A. Luego kukp a lim kuk kp a I y krukp lim inf kruk kp a H. Podemos suponer U conexo. Entonces u es una funcin constante no nula. Como kruk kp 3 H a krukp obtenemos que ruk 3 ru en Lp. Luego uk 3 u en W 1;p , y entonces T u a H pues uk tiene traza cero. Luego u es constante no nula con traza cero - absurdo.

u P W 2;p @U A 3 @u; @ uA P Lp @@U A Lp @@U A

ESPACIOS DE SOBOLEV

W02;p @U A Xa fu P W 2;p @U A tq u a @ u a H en @U g: 2 I Como antes se puede probar que W0 ;p @U A es la clausura de de Cc @U A para la norma k:kW 2 . Tambin se puede probar que la frmula de Green
;p

" es continua y extiende la aplicacin u P C 2 @U A 3 @u; @ uA P C @@U AC @@U A. 2;p Su nucleo se nota W0 @U A es decir
Z Z Z

" vale si v P W 2;p @U A y u P W 1;p @U A aproximando u y v por funciones C I @U A.

H

uv a

rurv

@U

u@ v

References

[1] Adams, Sobolev spaces. [2] Evans, Partial dierential equations. [3] Gilbarg, N.Trudinger,