Está en la página 1de 3

Capítulo 11

Los espacios de Sobolev

Definición de los espacios de Sobolev

DEFINICIÓN: W mP ¿Ω) es el conjunto de todas las funciones f que pertenece a LP (Ω ¿


para las cuales las derivadas Du f hasta el orden m también pertenecen a LP (Ω ¿.
Denotamos a LP norma por ‖.‖P . El funcional
p 1/p
‖f ‖p , m=
( ∑ ‖Du f ‖p)
0 ≤|u|≤m

Es una norma en W mP ¿Ω)

Completitud de los espacios de Sobolev


Está bien conocido que los espacios L pson completos. Esto implica el siguiente teorema:

W mp ( Ω ) , p >1 y m ≥1

Teorema 9 Los espacios de Sobolev W mp ( Ω ) , p >1 y m ≥1, son completos.

Para probar este teorema, necesitamos el siguiente lema:

Lema 27. Sean f k ∈ L p ( Ω ) y g k ∈ Lq ( Ω ) donde p yq son exponentes conjugados, es decir

1 1
+ =1
p q

.
Además, supongamos

f k ⟶ f en L p ( Ω )

gk ⟶ g en L p ( Ω )
Entonces también tenemos

∫ f k g k dx ⟶∫ fgdx
Ω Ω
cuando k →+∞ .

Prueba del Teorema 9 Supongamos los elementos f k forman una sucesió n fundamental
m
en el espacioW p ( Ω ) , Como

kfk−flkp ≤ kfk−flkp ,m

los elementos f k forman una sucesió n fundamental también en L p ( Ω ) . Como L p ( Ω ) es


completo, los f k tienen un elemento limite f∗0 en L p ( Ω ) . es decir, f k ⟶ f∗0 cuando
k ⟶+∞, y f∗0 pertenece a L p ( Ω ) .
Aná logamente en vista de la fó rmula también tenemos

k D μ f k −D μ f lk p ≤ k f k −f lk p ,m para|μ|≤m

μ
Por consiguiente, también los D f k forman una sucesió n fundamental en L p ( Ω ) . . Otra vez
la completitud del espacio L p ( Ω ) . implica que existe un elemento f∗,µ en L p ( Ω ) . tal que
D μ f k ⟶ f∗μ en L p ( Ω ) . cuando k ⟶+∞, y ||μ|< m
μ
Como los elementos D f k son las derivadas distribucionales de los f k tenemos

∫¿¿

para cada elecció n de la funció n de prueba ϕ véase la definició n Pasando al límite k ⟶+∞
en la ecuació n el Lema 27 lleva a

∫¿¿

para cada ϕ . La ú ltima ecuació n dice que f∗0 posee una derivada distribucional D μ f∗0 y
esta derivada es igual a

D μ f∗0=f∗μ

m
En otras palabras, el elemento f∗,0 pertenece no solamente a L p ( Ω ) . sino también a W p ( Ω ) ,
Finalmente tenemos

p 1/p p 1/p
‖f k −f ∗0‖p , m= ∑ ‖Du f k −Du f ∗0‖p
( ) ( = ∑ ‖Du f k −f ∗μ‖p)
0 ≤|u|≤m 0 ≤|u|≤m
. Escriba aquí laecuación .
Como D u f k⟶ f ∗μ cuando k →+∞ ,esto muestra que K f k −f ∗0 K p , m ⟶ 0 y por lo tanto
f k ⟶ f∗0 enW mp ( Ω ) , Y así el espacio W mp ( Ω ) ,es completo.

Funciones cuyos valores de frontera son cero


Definición 1.Sea W mp ( Ω ) ,la clausura del subconjunto consistiendo de todas las funciones
de prueba (que son infinitamente diferenciables). Cada elemento perteneciendo al
m
subespacio W p ( Ω ) ,se llama un elemento cuyos valores de frontera son idénticamente
igual a cero.

Definición 2 Sea g un elemento dado del espacio de Sobolev W mp ( Ω ) ,Entonces todos los
elementos de la forma
0

{ g+ ψ :ψ ∈W mp ( Ω ) }
tienen los mismos valores de la frontera como g.
0

En otras palabras, el espacio paralelo a { g+ψ :ψ ∈W mp ( Ω ) } que es generado por g


contiene todos los elementos de (Ω) cuyos valores de frontera son iguales a g .

2 2
∂w ∂w
K1∑
i
‖ ‖
∂ xi 2
2
≤‖w‖¿ ≤ K 2 ∑
i
‖ ‖
∂ xi 2

También podría gustarte