Sobre uma equação de Kirchoff-Carrier com dissipação em espaços ...
Sobre uma equação de Kirchoff-Carrier com dissipação em espaços ...
Sobre uma equação de Kirchoff-Carrier com dissipação em espaços ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Pelo Probl<strong>em</strong>a (Pl,ν) t<strong>em</strong>os u ′ l,ν (0) = u1l , ∀ν ≥ 2. Portanto, <strong>de</strong>sta última igualda<strong>de</strong>,<br />
(1.93) e da unicida<strong>de</strong> do limite resulta que u ′ l (0) = u1 l .<br />
Portanto, acabamos <strong>de</strong> mostra que o limite ul <strong>de</strong> ul,ν é <strong>uma</strong> solução do Probl<strong>em</strong>a (Pl).<br />
Segunda Etapa: Existência <strong>de</strong> Solução <strong>de</strong> (P 1).<br />
Como ul é o limite <strong>de</strong> ul,ν resulta, então, que ul satisfaz (1.58). Com isso, concluimos<br />
as seguintes convergências:<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
ul → u fraco-* <strong>em</strong> L ∞ (0, T0; D(S α+2 ))<br />
u ′ l → u′ fraco-* <strong>em</strong> L∞ 3<br />
α+ (0, T0; D(S 2 ))<br />
u ′ l → u′ fraco <strong>em</strong> L 2 (0, T0; D(S α+2 )).<br />
(1.94)<br />
Resulta <strong>de</strong> (1.47) e (1.58) que (Sul)l∈N é limitada <strong>em</strong> L 2 (0, T0; H). Sendo assim, po<strong>de</strong>mos<br />
extrair <strong>uma</strong> subsequência <strong>de</strong> (Sul)l∈N, que ainda <strong>de</strong>notar<strong>em</strong>os por (Sul)l∈N, tal que<br />
Sul → χ3 fraco <strong>em</strong> L 2 (0, T0; H). (1.95)<br />
Sendo S um operador fechado resulta <strong>de</strong> (1.94) 1 e (1.95) que<br />
Sul → Su fraco <strong>em</strong> L 2 (0, T0; H). (1.96)<br />
Ainda <strong>de</strong> (1.47) e (1.58) segue-se que (Su ′ l )l∈N é limitada <strong>em</strong> L 2 (0, T0; H) o que acarreta<br />
na convergência<br />
Su ′ l → χ4 fraco <strong>em</strong> L 2 (0, T0; H). (1.97)<br />
Novamente <strong>de</strong> S ser um operador fechado obt<strong>em</strong>os <strong>de</strong> (1.94) 3 e (1.97) que<br />
δSu ′ l → δSu ′ fraco <strong>em</strong> L 2 (0, T0; H). (1.98)<br />
Not<strong>em</strong>os agora que <strong>de</strong> (1.59) e (1.83) obt<strong>em</strong>os a <strong>de</strong>sigualda<strong>de</strong><br />
a ≤ ul(t) β<br />
W ≤ b, ∀t ∈ [0, T0] e l ≥ l0(η). (1.99)<br />
No que segue provar<strong>em</strong>os a convergência<br />
M(ul β<br />
W ) → M(uβ W ) <strong>em</strong> C0 ([0, T0]) . (1.100)<br />
29