09.05.2013 Views

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

Banco_de_Dissetacoes_files/Roberto Ribeiro Santos Junio.pdf

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Ora, a função numérica t ↦→ C0 u(t) s<br />

X está em Lr/s (0, T ) e a função constante v ≡ 1<br />

pertence a L q (0, T ), on<strong>de</strong> q é o conjugado <strong>de</strong> r/s.<br />

Da Desigualda<strong>de</strong> <strong>de</strong> Höl<strong>de</strong>r, <strong>de</strong>duzimos que t ↦→ C0 u(t) s<br />

X pertence a L1 (0, T ).<br />

Segue <strong>de</strong> (1.2) que t ↦→ u(t) s<br />

Y é integrável, e assim, u ∈ Ls (0, T ; Y ).<br />

Para provar que a imersão é contínua, integramos ambos os lados <strong>de</strong> (1.2) e<br />

usamos a Desigualda<strong>de</strong> <strong>de</strong> Höl<strong>de</strong>r para obter:<br />

T<br />

u(t)<br />

0<br />

s<br />

Y<br />

dt ≤<br />

De (1.3) resulta que:<br />

T<br />

C<br />

0<br />

r/s<br />

0 u(t) r<br />

X dt<br />

s/r T<br />

0<br />

dt<br />

1/q<br />

u L s (0,T ;Y ) ≤ C u L r (0,T ;X) .<br />

Lema 1.6.3. Se θ ∈ L p (0, T ) e v ∈ X então ξ(t) = θ(t)v ∈ L p (0, T ; X).<br />

Demonstração: Devemos mostrar que ξ(t) ∈ L p (0, T ), ou seja,<br />

Com efeito,<br />

T<br />

0<br />

ξ(t) p dt =<br />

contudo por hipótese<br />

T<br />

0<br />

T<br />

0<br />

T<br />

0<br />

θ(t)v p dt =<br />

|θ(t)| p dt < ∞.<br />

Logo, o lema está <strong>de</strong>monstrado.<br />

ξ(t) p dt < ∞.<br />

T<br />

|θ(t)|<br />

0<br />

p v p dt = v p<br />

T<br />

0<br />

21<br />

= C0T 1/q u s<br />

Lr (0,T ;X) . (1.3)<br />

|θ(t)| p dt,<br />

Observação 1.6.4. Seja Q = Ω × (0, T ), Ω subconjunto aberto do R n . Dada u : Q → R,<br />

<strong>de</strong>notaremos por u(t) a função <strong>de</strong>finida em Ω por u(t)(x) := u(x, t).<br />

Sabemos que:<br />

Como <br />

L p (Q) =<br />

<br />

<br />

v : Q → R mensurável ; |v(x, t)|<br />

Q<br />

p <br />

dx dt < ∞ .<br />

|v(x, t)|<br />

Q<br />

p dx dt =<br />

T<br />

0<br />

<br />

então i<strong>de</strong>ntificamos L p (Q) = L p (0, T ; L p (Ω)).<br />

|v(x, t)|<br />

Ω<br />

p dx<br />

<br />

dt =<br />

T<br />

0<br />

v(t) p pdt

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

Saved successfully!

Ooh no, something went wrong!