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
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