Completude

Vamos mostrar que o Espaço de Sobolev é um Espaço de Banach.

Observe da Definição 2.1 que W m , p (Ω) ⊂ Lp (Ω). Nesse sentido, temos

H m (Ω) ⊂ L2 (Ω). (8)

Obviamente, H m (Ω) é um espaço vetorial, pois L2 (Ω) é um espaço vetorial.

Agora, vamos definir em H m (Ω) ⊂ L2 (Ω) uma norma do seguinte modo

X
||u|| = ||Dα u||L2 (Ω) .
|α|≥m

Resta mostrar que H m (Ω) é completo. Para isso, considere {un }∞ n=1 uma sequência de
Cauchy em H m (Ω). Por definição, {un }∞
n=1 e {D α
u }∞
n n=1 são sequências de Cauchy em
2
L (Ω).

A priori, u ∈ L2 (Ω) e, portanto, precisamos mostrar que u ∈ H m (Ω).

Do fato de L2 (Ω) ser completo, segue que

un → u em L2 (Ω)
Dα un → uα em L2 (Ω)

Para cada n derivando un no sentido das distribuições temos

Z Z
α |α|
un D φ dx = (−1) Dα un φ dx para cada φ ∈ D(Ω).
Ω Ω

Fazendo n → ∞ e lembrando que convergência forte implica convergência fraca, obtemos

Z Z
α |α|
u D φ dx = (−1) Dα uα φ dx para cada φ ∈ D(Ω).
Ω Ω

Como uα ∈ L2 (Ω) segue que u ∈ H m (Ω), logo H m (Ω) é completo.

Propriedades Hereditárias e prolongamento

Vamos mostrar que o espaço H m (Ω) é separável, reflexivo e uniformemente convexo.
2
Considere o caso m = 1. Seja T : H 1 (Ω) → (L2 (Ω)) definida por T (u) = (u, ux ).

Temos ||T (u)|| = ||u||, portanto, T é uma isometria e, então, T é uma bijeção entre
H 1 (Ω) e T (H 1 (Ω)) .

24
Conforme já vimos, H 1 (Ω) é completo. Sua imagem por isometria é um subespaço próprio
2 2
de (L2 (Ω)) que herda as propriedades de (L2 (Ω)) , logo podemos afirmar que H 1 (Ω) é se-
2
parável, reflexivo e uniformemente convexo, posto que (L2 (Ω)) possui estas propriedades.

Prolongamento Dizemos que o operador P é de prolongamento quando

P : H m (Ω) → H m (R)

é tal que
P (u(x)) = u(x) em quase todos os pontos de Ω
e, além disso
||P (u)|| ≤ C||u||.
Esses operadores estendem as propriedades válidas em H m (R) para H m (Ω).

Veja o seguinte exemplo. Suponha que P é um operador de prolongamento de H m (Ω)

para H m (R) e que
H m (R) ⊂ L2 (R)
então,
||u||L2 (Ω) ≤ ||P (u)||L2 (R) ≤ C||P (u)||H m (R) ≤ C||u||H m (Ω)
de onde segue que
H m (Ω) ⊂ L2 (Ω).

Atividade

Prove que o espaço H 2 (Ω) é separável, reflexivo e uniformemente convexo.

Referências
S. Kesavan; Functional Analysis and Applications. John Wiley & Sons, Inc. New York,
(1989).

R. A. Adams; Sobolev Spaces. Academic Press, New York (1975).

25