21.05.2014 Views

Existência, Unicidade e Decaimento Exponencial das Soluç ... - UFRJ

Existência, Unicidade e Decaimento Exponencial das Soluç ... - UFRJ

Existência, Unicidade e Decaimento Exponencial das Soluç ... - UFRJ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Definição 1.3.1. Sejam m ∈ N e 1 ≤ p ≤ ∞. Indicaremos por W m,p (Ω) o<br />

conjunto de to<strong>das</strong> as funções u de L p (Ω) tais que para todo α ≤ m, D α u ∈<br />

L p (Ω) sendo D α u a derivada distribucional de u. W m,p (Ω) é chamado Espaço<br />

de Sobolev de ordem m relativo ao espaço L p (Ω). Resumidamente,<br />

W m,p (Ω) = {u ∈ L p (Ω); D α u ∈ L p (Ω), α ≤ m}.<br />

Para cada u ∈ W m,p (Ω),<br />

‖u‖ m,p<br />

= ( ∑ α≤m ‖Dα u‖ p L p (Ω) )1/p ,<br />

1 ≤ p < ∞<br />

e<br />

‖u‖ m,∞<br />

= ∑ α≤m ‖Dα u‖ L ∞ (Ω)<br />

definem uma norma sobre W m,p (Ω).<br />

Observação 1.3.1.<br />

1. (W m,p (Ω), ‖·‖ m,p<br />

) é um espaço de Banach.<br />

2. Quando p = 2 o espaço de Sobolev W m,p (Ω) torna-se um espaço de<br />

Hilbert com o produto interno dado por<br />

(u, v) W m,2 (Ω) = ∑ α≤m (Dα u, D α v) L 2 (Ω)<br />

u, v ∈ W m,2 (Ω).<br />

3. Denota-se W m,2 (Ω) por H m (Ω).<br />

4. H m (Ω) é reflexivo e separável.<br />

Definição 1.3.2. Definimos o espaço W m,p<br />

0 (Ω) como sendo o fecho de C ∞ 0 (Ω)<br />

em W m,p (Ω).<br />

Observação 1.3.2.<br />

1. Quando p = 2 escreve-se H m 0 (Ω) em lugar de W m,p<br />

0 (Ω).<br />

15

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!