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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Portanto, a aplicação linear f ∈ L 1 (0, T ; L 2 (Ω)) −→ y ∈ C([0, T ]; L 2 (Ω))<br />

é contínua, pois<br />

sup ‖y(·, t)‖ L 2 (Ω) ≤ ‖f‖ L 1 (0,T ;L 2 (Ω)) .<br />

t∈[0,T ]<br />

Para mostrar que esta aplicação está bem definida e é contínua de L 1 (0, T ; L 2 (Ω))<br />

em L 2 (0, T ; H 1 (Ω)), é suficiente provar que<br />

∀f ∈ L 1 (0, T ; L 2 (Ω)), ∃ c 2 > 0,<br />

‖y x ‖ L 2 (Ω×(0,T )) ≤ c 2 ‖f‖ L 1 (0,T ;L 2 (Ω)) .<br />

De fato, multiplicando a equação em (3.5) por xy e integrando por partes,<br />

obtemos<br />

∫ L<br />

0<br />

Portanto,<br />

∫<br />

x<br />

T ∫ L<br />

1<br />

2 y2 (x, T )dx −<br />

0 0 2 y2 (x, t)dxdt + 3 ∫ T<br />

2 0<br />

∫ T ∫ L<br />

0<br />

0<br />

xyfdxdt.<br />

∫ L<br />

0<br />

y 2 x(x, t)dxdt =<br />

∫ T ∫ L<br />

0 0<br />

y 2 x(x, t)dxdt = 2 3<br />

− 1 3<br />

≤ 1 3<br />

∫ T ∫ L<br />

∫ T ∫ L<br />

0<br />

∫ L<br />

0<br />

y 2 dx<br />

0<br />

∫ T ∫ L<br />

0 0<br />

xyfdxdt + 1 3<br />

y 2 (x, t)dxdt + 2L 3<br />

0 0<br />

∫ T ∫ L<br />

y 2 (x, t)dxdt<br />

fydxdt<br />

0 0<br />

∫ T<br />

≤ T 3 ‖f‖2 L 1 (0,T ;L 2 (Ω)) + 2L 3 ‖y‖ C([0,T ];L 2 (Ω))<br />

0<br />

‖f‖ L 2 (Ω) dt<br />

≤ T 3 ‖f‖2 L 1 (0,T ;L 2 (Ω)) + 2L 3 ‖f‖ L 1 (0,T ;L 2 (Ω))<br />

≤ ( T + 2L ) ‖f‖<br />

3<br />

L 1 (0,T ;L 2 (Ω)) ,<br />

47

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

Saved successfully!

Ooh no, something went wrong!