09.05.2013 Views

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

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.

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

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

Saved successfully!

Ooh no, something went wrong!