09.05.2013 Views

Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...

Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...

Equações Diferenciais Parciais Não Lineares Sobre a Fronteira de ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

e <strong>de</strong> (2.19) resulta que<br />

isto é,<br />

Z T<br />

0<br />

(um(t); v) 0 (t)dt !<br />

Somando (2.33) com (2.34) , temos<br />

Z T<br />

Por outro lado, segue <strong>de</strong> (2.4)<br />

e, consequentemente,<br />

Por <strong>de</strong>nsida<strong>de</strong>, obtemos u(0) = w0.<br />

2.2 Unicida<strong>de</strong><br />

0<br />

Z T<br />

d<br />

dt [(um(t);<br />

Z T<br />

v) (t)] dt !<br />

0<br />

0<br />

(u(t); v) 0 (t)dt. (2.34)<br />

d<br />

[(u(t); v) (t)] dt,<br />

dt<br />

(um(0); v) ! (u(0); v), 8v 2 H 1=2 ( ) \ L p ( ).<br />

(um(0); v) ! (w0; v), 8v 2 H 1=2 ( ) \ L p ( )<br />

(u(0); v) = (w0; v), 8v 2 H 1=2 ( ) \ L p ( ):<br />

Suponhamos que u e bu sejam soluções do problema (P ). Então z = u bu satisfaz<br />

z 2 L 2 (0; T ; H 1=2 ( )) \ L 1 0; T ; L 2 ( ) \ L p (0; T ; L p ( )) ; (2.35)<br />

z 0 2 L p0<br />

(0; T ; H 1=2 ( ) + L p0<br />

( )); (2.36)<br />

z 0 + Az + juj u j^uj bu = 0 em L p0<br />

(0; T ; H 1=2 ( ) + L p0<br />

( )); (2.37)<br />

z(0) = 0 sobre . (2.38)<br />

Multiplicando (2.37) por z e integrando <strong>de</strong> 0 até t T , obtemos<br />

Z t<br />

0<br />

hz 0 (s); z(s)i ds+<br />

Z t<br />

0<br />

hAz(s); z(s)i ds+<br />

Z t<br />

0<br />

hju(s)j u(s) jbu(s)j bu(s); z(s)i ds = 0: (2.39)<br />

40

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

Saved successfully!

Ooh no, something went wrong!