Mtodos de Elementos Finitos y Aplicaciones

Primer Cuatrimestre de 2010.

Teorema de Rellich-Kondrachov

En lo que sigue, demostraremos el Teorema de Rellich Kondrachov. Se us principalmente como referencia el libro de L.Evans, Partial Dierential Equations, AMS, Providence, 1998.

Teorema 1 Sea
todo 1 q <
p

se tiene:

RN abierto, acotado y con borde C 1 . Si 1 p < N , entonces para W 1,p () Lq ().

Es decir, la inclusin es compacta. Aqu, p es el llamado conjugado de Sobolev de p, denido pN 1 1 tal que p1 = p N (p = N p ).

Denicin 1 Sean X, Y dos espacios mtricos, decimos que X Y (X est incluido compactamente en Y ), si por un lado la inclusin X Y es continua y adems, para toda sucesin acotada {xn }n X , existe una subsucesin {xnj }j convergente en Y ({xn } es precompacta en Y ) .
Demostracin

(I) Probemos primero la inclusin continua. Sea 1 p < N y u W 1,p (). Por el Teorema de Extensin, existe una u W 1,p (RN ) de soporte compacto, u | u y adems existe una constante C = CN,p, , tal que
u
W 1,p (RN )

C u

W 1,p () .

(RN ) es denso en W 1,p (RN ), podemos tomar una sucesin u Ahora, ya que Cc n (RN ) tal que u u Cc en W 1,p (RN ). n

Probemos entonces el resultado primero para q = p . Por la desigualdad de GagliardoN 1 N Nirenberg-Sobolev: u Lp (RN ) C u p L (R ), si u Cc (R ), tenemos que
un um
Lp (RN )

C un um

Lp (RN )

C un um

W 1,p (RN )

Es decir, como {un } es de Cauchy en W 1,p (RN ), tambin lo es en Lp (RN ). Con lo cual tambin un u en Lp (RN ) Usando la desigualdad triangular, se tiene que:
u
Lp (RN )

u un

Lp (RN )

+ un

Lp (RN )

Finalmente, usando nuevamente G N S y el resultado de convergencia, obtenemos 1

Lp (RN )

C u

Lp (RN )

Ahora si pegando todo:

u
Lp ()

Lp (RN )

C u

Lp (RN )

C u

W 1,p (RN )

W 1,p ()

Sea ahora 1 q < p :

u =

Lq ()

|u|

1 q

|u|

1 q

1 q

Habiendo hecho Holder con las funciones |u| y 1 y los exponentes , tal que q = p , p es decir = q > 1, ya que q < p Resulta entonces, usando que vale para q = p :
u
Lq ()

|| q

p1

Lp ()

C u

W 1,p ()

Lo que prueba nalmente la inclusin deseada. (II) Faltara ver que es compacta. Sea {un }n W 1,p () una sucesin acotada. Por lo que acabamos de probar:
un
Lq ()

C un

W 1,p ()

<

(1 q p )

Queremos probar que existe una subsucesin {unj }j convergente en Lq (). Para eso, veremos que existe una subsucesin de Cauchy en Lq (). Podemos suponer, mediante el Teorema de Extensin, que {un }n W 1,p (RN ) y que existe un V tal que sop(un ) V para todo n N y que supnN un W 1,p (RN ) < . Procedamos ahora a regularizar la sucesin. Recordemos las funciones:
(x) = ce 0

1 1x2

|x| < 1 |x| 1

(RN ) y sop() = B (0). Ahora, dado > 0, las con c tal que RN (x) dx = 1. Esta Cc 1 x N funciones (x) = 1 N ( ) tambin resultan Cc (R ) y sop( ) = B (0).

V.

N Dado n N, deniendo entonces u n = un Cc (R ), podemos suponer sop(un )

q Veamos que u n un en L (V ) cuando 0, y uniformemente en n en el caso que las 1 un C (V ):

u n (x) un (x) =
B (0)

(y )(un (x y ) un (x))dy =
B1 (0)

(y )(un (x y ) un (x))dy

La ltima igualdad viene de realizar el cambio de variables y = y . Ahora, escribiendo 1 d un (x y ) un (x) = 0 dt un (x ty )dt, llegamos a
1

u n (x)un (x) =
B1 (0)

(y )
0

d un (x ty )dt dy = dt

(y )
B1 (0) 0

un (xty )y dt dy

Tomando mdulo, integrando en V y acotando las integrales, resulta

1

|u n (x) un (x)|dx
V V B1 (0)

(y )
0

|un (x ty )| dt dy dx

Cambiando el orden de integracin resulta

1

|u n (x) un (x)|dx
V B1 (0)

(y )
0 V

|un (x ty )| dx

dt dy

ahora, cambiando variable en la primera integral z = x ty , dz = dx.

1

|u n (x) un (x)|dx
V B1 (0)

(y )
0

un

L1 (V ) dt dy

= un

L1 (V )

con lo cual acabamos de probar que u n un L1 (V ) un L1 (V ) si las un son suaves. Notar que por densidad el resultado tambin vale para funciones un W 1,p (V ). Tenemos entonces que
u n un

cuando 0

en L1 (V )

uniformemente en n

Usaremos ahora la siguiente desigualdad de interpolacin:

v
Lq

Ls

1 Lr

siempre que

1 q

1 r ,

s < q < r.
Ls

Con lo cual, si vn

Lr

est acotado y vn

0, entonces valdr que vn

Lq

0.

En nuestro caso 1 = s < q < r = p (ac es donde no va a valer si q = p ) y 0 < < 1:

u n un
Lq (V )

u n un

L1 (V )

u n un

1 Lp (V )

La norma en L1 por lo que vimos tiende a 0 uniformemente en n cuando 0. Adems, la norma en Lp est acotada por la desigualdad de G-N-S por la norma W 1,p , que est acotada uniformemente. Por lo tanto, tenemos que
u n un

cuando 0

en Lq (V ) uniformemente en n.

q Veamos entonces que {u n } es equicontinua y equiacotada en L (V ) para todo > 0 jo:

|u n (x)|
B (x)

|un (y )| (xy )dy

L (RN )

un

L1 (V )

1 N

L (RN )

un

W 1,p (RN )

C N

La anterior cota prueba que la sucesin est equiacotada ya que es vlida para todo x RN , n N. Para la equicontinuidad recordemos que debido al Teorema de los Valores Intermedios:
|u n (x) un (y )| |x y ||un ( )|

int(x, y )

Con lo cual basta probar una cota uniforme para el gradiente:

|u n (x)|
B (x)

|un (y )| (x y )|dy

1 N +1

L (RN )

un

L1 (V )

C N +1
Lq (V )

Por Arzel-Ascoli, existe {u nj } de Cauchy con unj unk u nj unk L (V ) 0. Tenemos entonces que:

L (V )

0 y u nj unk

unj unk

Lq (V )

unj unj

Lq (V )

+ u nj unk

Lq (V )

+ u nk unk

Lq (V )

q Como probamos que u n un en L (V ), dado > 0, elijo un > 0 sucientemente chico tal que para todo nj , nk

unj u nj

Lq (V )

< , 3

u nk unk

Lq (V )

<

Ahora, para ese jo, uso que la subsucesin es convergente, con lo cual elijo nj , nk tal es que
u nj unk q L

<

1 Tomando ahora = 1, 1 2 , ... n , ... y mediante un argunmento diagonal ueda demostrado el teorema.

Manuel Maurette