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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Para mostrarmos que ' 2 C 1 0 ( ), consi<strong>de</strong>ramos a função f : R ! R <strong>de</strong>…nida por<br />

8<br />

< e<br />

f(t) =<br />

:<br />

1=t , t > 0<br />

0, t 0<br />

e observamos que f 2 C 1 (R) e se : ! R é <strong>de</strong>…nida por (x) = r 2 kx x0k 2 , então<br />

2 C 1 (R) e ' = f 2 C 1 (R). Des<strong>de</strong> que supp(') = Br(x0), o qual é compacto, segue<br />

que ' 2 C 1 0 ( ).<br />

Das proprieda<strong>de</strong>s do supp estabeleciadas anteriormente, vê-se facilmente que C 1 0 ( )<br />

é um espaço vetorial e supp(D u) supp(u), 8 2 N n , quando u for su…cientemente<br />

<strong>de</strong>rivável.<br />

É possível introduzir uma topologia em C 1 0 ( ), <strong>de</strong>nominada topologia limite indutivo,<br />

que faz <strong>de</strong>ste espaço um espaço topológico <strong>de</strong>notado por D( ) e cujos objetos serão<br />

<strong>de</strong>nominados funções testes.<br />

Convergência em D( ).<br />

Dizemos que uma seqüência ('n)n2N <strong>de</strong> funções testes converge para ' 2 D( ), quando:<br />

( i ) Existe um subconjunto compacto K <strong>de</strong> tal que<br />

supp('n) K, 8 n e supp(') K.<br />

( ii ) D 'n ! D ' uniformemente sobre K, para todo multi-índice .<br />

Por distribuição escalar sobre enten<strong>de</strong>mos uma forma linear e contínua sobre D( ),<br />

isto é, uma forma T : D( ) ! R, tal que:<br />

T ( ' + ) = T (') + T ( ), 8 2 R e ', 2 D( )<br />

e T é contínua, isto é, se ('n)n2N converge para ' em D( ) então (T ('n))n2N converge<br />

para T (') em R. O valor da distribuição T em ' será representado por hT; 'i e por D 0 ( )<br />

estaremos representando a coleção <strong>de</strong> todas as formas lineares contínuas T : D( ) ! R.<br />

Dadas T e S em D 0 ( ) <strong>de</strong>…nimos:<br />

( i ) hT + S; 'i = hT; 'i + hS; 'i, ' 2 D( )<br />

4<br />

.

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

Saved successfully!

Ooh no, something went wrong!