Documentos de Académico
Documentos de Profesional
Documentos de Cultura
S OBOLEV- AULA 2
Luz DE T ERESA
Janeiro 2021
1
Recordatorio: Medida y Lp (Ω)
Teorema
Lp (Ω) es un espacio de Banach. Con p = 2 es un espacio de Hilbert.
2
Medida y Lp (Ω) I
Definición
3
Medida y Lp (Ω) II
Teorema
Corolario
Entonces u = 0 c.p.d.
4
Medida y Lp (Ω) III
5
Corolario
6
0 0
Ω0 está fuertemente contenido en Ω si Ω es compacto y Ω ⊂ Ω y
denotamos
Ω0 ⊂⊂ Ω.
Sean Ω ⊂ Rn y 1 ≤ p ≤ ∞
Definición
7
Distribuciones
D α ϕi → D α ϕ uniformemente en K ,
es decir
lı́m sup |D α ϕi (x) − D α ϕ(x)| = 0.
i→∞ x∈K
∂ |α|
α = (α1 , · · · , αn ) ∈ Nn , |α| = α1 + · · · + αn , D α = α
∂x 1 ···∂xαnn
1 8
Distribuciones
Definición
Diremos que T es una distribución en Ω si
T : D(Ω) → R
8
Ejemplos
9
Ejemplos
9
Ejemplos
9
Ejemplos
9
Ejemplos
10
Ejemplos
11
Sean Ω = (−1, 1) × (−1, 1) ⊂ R2 y g la función definida en Ω por
(
x1 x2 si x1 > 0,
g(x1 , x2 ) =
x1 si x1 ≤ 0.
12
Sea ϕ ∈ D(Ω)
12
Sea ϕ ∈ D(Ω)
12
Espacios de Sobolev
Sea Ω ⊂ Rn .
Definición
H 1 (Ω) es el subespacio de L2 (Ω) definido como
Teorema
El espacio vectorial H 1 (Ω) dotado del producto interior (1) es un es-
pacio de Hilbert con la norma
Z 1/2
2 2
kuk1,2 = u + |∇u| dx .
Ω
14
Demostración: La norma es
1/2
kv kH 1 = kv k2L2 + k∇v k2L2 ∀v ∈ H 1 (Ω). (2)
15
Sea entonces {un } una tal sucesión. Claramente, {un } y {∂i un }
(1 ≤ i ≤ N) son sucesiones de Cauchy en L2 (Ω), de donde existen
funciones u, v1 , . . . , vN tales que
16
Dados i y ϕ ∈ D(Ω), tenemos que
Z Z
∂i un ϕ dx = − un ∂i ϕ dx (4)
Ω Ω
17
Definición
18
Espacios de Sobolev
19
Demostración desigualdad de Poincaré
20
Demostración desigualdad de Poincaré
20
Demostración desigualdad de Poincaré
Tenemos que
Z s Z s
0 0
|u(x , s)| = | ∂xn u(x , t)dt| ≤ |∂xn u(x 0 , t)|dt
a Z s a 1/2
1/2 0 2
≤ (s − a) |∂xn u(x , t)| dt
a !1/2
Z b
≤ (s − a)1/2 |∂xn u(x 0 , t)|2 dt .
a
20
Demostración desigualdad de Poincaré
En consecuencia,
Z b
0 2
|u(x , s)| ≤ (s − a) |∂xn u(x 0 , t)|2 dt.
a
y por tanto
Z Z b Z b Z Z b
0 0
2
|u(x , s)| dsdx ≤ (s − a)ds |∂xn u(x 0 , t)|2 dtdx 0
Rn−1 a a Rn−1 a
20
Demostración desigualdad de Poincaré
(b − a)2 2
kuk2L2 (Ω) ≤ |u|1 .
2
20
Corolario
La desigualdad de Poincaré implica que, cuando Ω es acotado,
H01 (Ω) ( H 1 (Ω)
21
Corolario
La desigualdad de Poincaré implica que, cuando Ω es acotado,
H01 (Ω) ( H 1 (Ω)
kukL2 ≤ C(Ω)|u|1
y por tanto
1 ≤ 0,
21
Dual
Denotamos 0
H01 (Ω) = H −1 (Ω).
Teorema
T ∈ H −1 (Ω) si y solo si existen T0 , T1 , · · · , Tn ∈ L2 (Ω) tales que
n
X
T = T0 + ∂xi Ti . (7)
i=1
22