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