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