NC Cap32

Cap tulo 32 Aproximao de Funes.
Aproximaes ca co co Polinomiais e Sries de Fourier e

Contedo u
32.1 Noes de Convergncia para Seqncias de Funoes . . . . . . . . . . . . . . . . . . . . . 1552 co e ue c 32.1.1 Importncia da Convergncia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1553 a e 32.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . 1554 32.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . 1555 32.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . 1556 32.2 Seqncias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1558 ue 32.3 Aproximao de Funes por Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1564 ca co o 32.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1564 32.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1571 32.4 Aproximao de Funes por Polinmios Trigonomtricos . . . . . . . . . . . . . . . . . . 1578 ca co o e 32.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1578 32.4.2 A Srie de Fourier de Funes Peridicas de Per e co o odo T . . . . . . . . . . . . . . . . . . . . . . 1581 32.4.3 Polinmios Trigonomtricos e Funes Cont o e co nuas e Peridicas . . . . . . . . . . . . . . . . . . 1582 o 32.4.4 Convergncia de Sries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1587 e e 32.4.4.1 Sries de Fourier em Senos ou Co-Senos para Funes Denidas em Intervalos Compactos1593 e co 32.4.5 Revisitando a Aproximao Uniforme de Funes Cont ca co nuas e Peridicas por Polinmios Trio o gonomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597 e 32.4.6 Sries de Fourier e o Espao de Hilbert L2 ([, ], dx) . . . . . . . . . . . . . . . . . . . . . . 1600 e c 32.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1602 32.6 Completeza de Algumas Fam lias de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . 1606 co 32.6.1 Completeza de Polinmios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . 1606 o 32.6.2 Completeza de Polinmios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1608 o 32.6.3 Completeza dos Polinmios Trigonomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1610 o e 32.7 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1613 APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 1621 32.A Prova do Teorema de Weierstrass Usando Polinmios de Bernstein . . . . . . . . . . . . 1621 o 32.B A Demonstrao de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . 1625 ca
a F sica e tambm em diversas reas da Matemtica Aplicada, estamos muitas vezes interessados em resolver e a a problemas cuja soluo no pode ser obtida exatamente. No caso de equaes diferenciais, por exemplo, so ca a co a muito raras as situaes nas quais uma soluo pode ser expressa em termos de funes elementares, tais como co ca co polinmios, exponenciais, logaritmos, senos, co-senos ou combinaes nitas das mesmas. Na grande maioria o co dos casos apresentam-se mtodos de soluo em termos de aproximaes que, sob hipteses adequadas, podem estar to e ca co o a prximas quanto se queira da soluo correta. E, portanto, uma questo importante desenvolver mtodos de aproximar o ca a e funes com certas propriedades e disso, basicamente, que trataremos neste cap co e tulo. No pretendemos aqui esgotar a o assunto, o que ademais seria imposs vel, dada a sua extenso, mas tratar de dois tipos fundamentais de aproximaoes a c de funes: as aproximaes por polinmios e as aproximaes por polinmios trigonomtricos. Este ultimo tpico o co co o co o e o e dom nio das chamadas sries de Fourier e suporemos que o leitor j possua alguma familiaridade com seus aspectos mais e a elementares e suas aplicaes. Como veremos, aproximaes por polinmios e por polinmios trigonomtricos so dois co co o o e a assuntos relacionados. Ambos os mtodos de aproximao esto tambm na raiz de muitos outros desenvolvimentos, e ca a e como na teoria dos espaos de Hilbert, e mesmo em temas mais abstratos, como na Algebra de Operadores. Sua utilizaao c c prtica enorme e ambos os assuntos tm dominado boa parte das aplicaes da Matemtica a problemas de F a e e co a sica e de Engenharia desde o sculo XVIII. e 1551
JCABarata. Curso de F sica-Matemtica a
Verso de 9 de abril de 2012. a
Cap tulo 32
1552/1992
32.1
Noes de Convergncia para Seqncias de Funes co e ue co
Em benef cio do estudante, vamos recordar brevemente na corrente seo algumas das noes e resultados bsicos ca co a sobre convergncia de seqncias de funes denidas em R (ou em sub-conjuntos de R), noes e resultados esses e ue co co que utilizaremos no que segue. Presumimos que o estudante j tenha sido exposto a esses temas e um tratamento mais a detalhado que o nosso pode ser encontrado em quaisquer bons livros de Clculo ou Anlise real. Algumas das nooes a a c aqui tratadas so tambm desenvolvidas com muito mais detalhe no Cap a e tulo 23, pgina 1147, mas a leitura prvia desse a e cap tulo, ainda que util, dispensvel para o que segue. e a Seja D um subconjunto de R. As seguintes noes de convergncia so de fundamental importncia: co e a a a. Convergncia pontual. Diz-se que uma seqncia de funes fn : D C, denidas em D, converge pontualmente a e ue co uma funo f : D C se para cada x D valer lim fn (x) = f (x). ca
n
b. Convergncia uniforme. Diz-se que uma seqncia de funes fn : D C converge uniformemente a uma funao e ue co c f : D C se lim
n xD
sup |fn (x) f (x)|
= 0.
Se uma seqncia fn converge pontualmente a uma funo f , ento f dita ser o limite pontual da seqncia fn . Se ue ca a e ue uma seqncia fn converge uniformemente a uma funo f , ento f dita ser o limite uniforme da seqncia fn . ue ca a e ue Alm da convergncia uniforme e pontual, h diversas outras noes de convergncia para seqncias de funoes, das e e a co e ue c quais destacamos as duas seguintes. Sejam a e b R com < a < b < .
b
c. Convergncia no sentido de L1 [a, b], dx . Seja fn : [a, b] C uma seqncia de funes tais que e ue co
b
|fn (x)|dx <
para todo n N. Seja tambm f : [a, b] C com e

b
|f (x)|dx < . Dizemos que a seqncia fn converge a f ue
no sentido de L1 [a, b], dx se lim
|fn (x) f (x)|dx = 0.

b
d. Convergncia no sentido de L2 [a, b], dx . Seja fn : [a, b] C uma seqncia de funes tais que e ue co
b
|fn (x)|2 dx <
para todo n N. Seja tambm f : [a, b] C com e

b
|f (x)|2 dx < . Dizemos que a seqncia fn converge a ue
f no sentido de L2 [a, b], dx se lim
|fn (x) f (x)|2 dx = 0.
Denies anlogas existem para o caso de seqncias denidas, no em um intervalo nito [a, b], mas em intervalos co a ue a no-nitos, como a reta real R ou a semi-reta R+ . a Antes de falarmos sobre a importncia da convergncia uniforme, apresentemos um critrio importante para que se a e e tenha convergncia uniforme de sries de funes. e e co O teste M de Weierstrass Em muitas situaes lidamos com sries de funes, ou seja, com seqncias da forma sn (x) = co e co ue
k=0
fk (x), n N,
onde fk so funes reais denidas em um certo dom a co nio comum D R. E muito importante nesses casos ter em mos a critrios que permitam saber se a seqncia sn converge uniformemente em D a alguma funo. De particular utilidade e ue ca nesse contexto um pequeno resultado devido a Weierstrass1, conhecido como teste M de Weierstrass, o qual fornece e condies sucientes para a convergncia uniforme de uma srie: co e e Proposio 32.1 (Teste M de Weierstrass) Seja D R, D no-vazio, e seja fn : D C uma seqncia de funes ca a ue co denidas em D e tais que para cada k exista uma constante Mk 0 tal que |fk (x)| Mk para todo x D. Ento, se a a
1 Karl
Theodor Wilhelm Weierstrass (18151897).
Cap tulo 32
1553/1992
srie e
k=0
Mk for convergente, a seqencia de funoes sn (x) := u c

k=0
fk (x) converge uniformemente em D.
Prova. Como a srie e
k=0
Mk convergente, a seqncia de somas parciais Mn := e ue

k=0 n
Mk uma seqncia de Cauchy e, e ue

n
portanto, para cada > 0 existe N () N tal que |Mn Mm | sempre que n e m forem maiores que N (). Como os Mk s so positivos, para m < n tem-se |Mn Mm | = Mn Mm = a e m forem maiores que N (). Provemos primeiramente que a seqncia sn converge pontualmente. Fixemos x D e consideremos, para m < n, ue
n n n
Mk . Assim, vale
k=m+1 k=m+1
Mk sempre que n
a diferena sn (x) sm (x) = c
k=m+1
fk (x). Naturalmente, vale |sn (x) sm (x)|
k=m+1
|fk (x)|
k=m+1
Mk sempre
que n e m forem maiores que N (). Isso provou que a seqncia sn (x) uma seqncia de Cauchy de nmeros reais e, ue e ue u portanto, converge a um nmero que denotamos por s(x). Como isso se d para cada x D, conclu u a mos que existe uma funo s : D C ` qual a seqncia sn converge pontualmente. ca a ue
Provemos agora que a seqncia sn converge uniformemente a essa funo s. Para cada x D vale, como vimos, ue ca |sn (x)sm (x)| sempre que n e m forem maiores que N (). Logo, tomando nessa desigualdade o limite n , teremos |s(x) sm (x)| sempre que m > N (). Como isso vale para qualquer x D, conclu mos que supxD |s(x) sm (x)| sempre que m > N () e isso estabelece que a seqncia sn converge uniformemente a s em D. ue O leitor pode facilmente perceber que a Proposio 32.1 e sua demonstrao se deixam generalizar sem problemas para ca ca sries de funes complexas denidas em dom e co nios complexos D C. Em verdade, a Proposio 32.1 e sua demonstraao ca c se deixam facilmente generalizar ainda mais para sries de funes denidas em D C assumindo valores em um espao e co c de Banach.
32.1.1
Importncia da Convergncia Uniforme a e
Vamos discutir brevemente algumas das razes da importncia da noo de convergncia uniforme. Como conseqncia o a ca e ue dessa discusso, obteremos uma srie de resultados muito uteis que garantem condies sucientes para que se possa a e co trocar a ordem de operaes envolvendo a tomada de limites, o clculo de derivadas e o clculo de integrais denidas, co a a trocas essas empregadas amide em manipulaes em F u co sica e Matemtica. a Convergncia uniforme e outras convergncias e e
E evidente que em qualquer D a convergncia uniforme de uma seqncia fn a uma funo f implica a convergncia e ue ca e pontual dessa seqncia ` mesma funo. No caso de intervalos [a, b] nitos, a convergncia uniforme implica tambm ue a ca e e a convergncia no sentido de L1 [a, b], dx , pois vale, evidentemente, e
b a
|fn (x) f (x)| dx
x[a, b]
sup |fn (x) f (x)| b a
(32.1)
e analogamente para a convergncia no sentido de L2 [a, b], dx . A rec e proca dessas duas armaes, porm, no co e a e necessariamente verdadeira. Por exemplo, a seqncia de funes denidas no intervalo [1, 1] por ue co 1 1 0 |x| n , fn (x) := 0 , 1 < |x| 1 , n para n 1, converge ` funo nula no sentido de L1 [a, b], dx e no sentido de L2 [a, b], dx (justique!), mas no a ca a converge uniformemente a essa funo (justique!). ca
Cap tulo 32
1554/1992
Limites uniformes de funes cont co nuas em intervalos compactos
Um importante resultado que mencionamos uma propriedade de grande relevncia de limites uniformes de funoes e a c cont nuas:
Proposio 32.2 Seja D R, no-vazio, e seja fn : D C uma seqncia de funes contnuas que converge ca a ue co uniformemente a uma funo f : D C. Ento, f tambm contnua. ca a e e Prova. Para x, y D quaisquer e n N qualquer, podemos escrever f (x) f (y) = f (x) fn (x) + fn (x) fn (y) + fn (y) f (y) , do que se extrai f (x) f (y) f (x) fn (x) + fn (x) fn (y) + fn (y) f (y) . Como a seqncia fn ue converge uniformemente a f , existe para cada > 0 um N (/3) N tal que f (x) fn (x) < /3 e f (y) fn (y) < /3 desde que escolhamos n com n > N (/3). Tomemos um tal n. Como a funo fn cont ca e nua, existe (/3) tal que fn (x) fn (y) < /3 desde que |x y| < (/3). Assim, para cada > 0 existe (/3) tal que f (x) f (y) < desde que |x y| < (/3), provando a continuidade de f . Resultados ainda mais fortes so demonstrados na Proposio 23.6, pgina 1156. a ca a
32.1.1.1
Troca de Ordem entre Limites e Integrais
No caso de intervalos nitos [a, b], a noo de convergncia uniforme importante por fornecer condies sucientes para ca e e co garantir a inverso de ordem de limites e integrais. Mais especicamente, tem-se a seguinte armao: a ca Proposio 32.3 Seja uma seqncia fn : [a, b] C de funes contnuas denidas em um intervalo compacto [a, b] ca ue co R que converge uniformemente nesse intervalo a uma funo f : [a, b] C (a qual, pela Proposio 32.2, tambm ca ca e e contnua), ento vale a
a a a n
lim
fn (x) dx =
b b
lim fn (x) dx =
b
f (x) dx
(32.2)
ou seja, possvel inverter o limite pela integral denida. e
Prova. A demonstrao segue facilmente da observao que ca ca

b a b (32.1)
fn (x) f (x) dx
b b
|fn (x) f (x)| dx
x[a, b]
sup |fn (x) f (x)| = 0.
ba
que implica que lim
fn (x)dx
f (x)dx = 0 se lim
a
x[a, b]
sup |fn (x) f (x)|
Fazemos notar que a condio de convergncia uniforme da seqncia fn suciente, mas no necessria para validar ca e ue e a a a inverso de limites em intervalos compactos descrita em (32.2). Citamos o importante exemplo de sries de Fourier a e de funes peridicas, cont co o nuas e diferenciveis por partes. De acordo com o Teorema 32.13, pgina 1592, as condioes a a c do Teorema de Fourier (Teorema 32.12, pgina 1591) so sucientes para que a inverso de (32.2) seja vlida para uma a a a a srie de Fourier, mesmo que no impliquem em convergncia uniforme dessa srie. e a e e A troca de limites por integrais denidas uma operao freqentemente realizada em manipulaoes matemticas e ca u c a e, no raro, conduz ` soluo de diversos problemas em F a a ca sica. E, portanto, util conhecermos condioes sob as quais c tal inverso seja permitida. Alguns dos teoremas mais fortes nessa direo (com a integrao entendida no sentido de a ca ca Lebesgue) so o Teorema da Convergncia Montona e o Teorema da Convergncia Dominada, que apresentamos e a e o e demonstramos na Seo 29.3.4, pgina 1352. ca a Contra-exemplos a se ter em mente
Caso a seqncia de funes no seja uniformemente convergente, ento no sempre poss garantir a validade da ue co a a a e vel inverso entre a integral denida e a tomada do limite e essa inverso pode, em alguns casos, ser falsa. Um exemplo bem a a
Cap tulo 32
1555/1992
conhecido o da seqncia de funes cont e ue co nuas 2 n x, 1 0x n , 1 2 2 fn (x) := n x + 2n , n x n , 0, 2 n x 1 ,

a a
(32.3)
a com n 2, funes essas denidas no intervalo [0, 1]. Vide Figura 32.1, pgina 1555. E fcil constatar que para cada co a x [0, 1] vale lim fn (x) = 0, sendo que esse limite no uniforme, j que fn (1/n) = n para cada n. Ocorre, porm, a e a e
1 n
que
0
fn (x) dx = 1 para todo n. Logo, lim
fn (x) dx =
b b
lim fn (x) dx, pois o lado esquerdo vale 1 e o lado
direito vale 0.
1/n
2/n
Figura 32.1: Grco de uma funo fn denida em (32.3). Observe que a rea do tringulo vale 1 para todo n. a ca a a
A hiptese feita na Proposio 32.3 de a seqncia fn converge uniformemente em um intervalo compacto tambm o ca ue e no gratuita, como mostra o seguinte (contra-)exemplo: Seja fn : R R a seqncia de funes denidas por a e ue co 1 2n , n x n , fn (x) := (32.4) 0, de outra forma , a ca com n 1. Ento, fn converge uniformemente em toda R ` funo identicamente nula (justique!), mas a
n
fn (x) dx = 1
para todo n, mostrando que 1 = lim
fn (x) dx
lim fn (x) dx = 0.
32.1.1.2
Troca de Ordem entre Limites e Derivadas
A Proposio 32.3 tem uma outra conseqncia util referente ` possibilidade de inverso de limites por derivadas. ca ue a a
Proposio 32.4 Seja fn : R C, n N, uma seqncia de funes contnuas e diferenciveis com derivadas fn ca ue co a tambm contnuas. Suponhamos que a seqncia fn convirja pontualmente a uma funo f : R C e que a seqncia e ue ca ue
Cap tulo 32
1556/1992
de derivadas fn convirja uniformemente em cada intervalo compacto [a, b] R a uma funo g : R C. Ento, g ca a e contnua e f diferencivel, com f = g. e a dfn d (x) = lim fn (x) . Assim, em outras palavras, vale, sob as hipteses de acima, lim o n dx dx n
Prova. A seqncia de funes cont ue co nuas fn converge uniformemente a g em cada intervalo compacto [a, b] R e, assim, pela Proposio 32.2, g cont ca e nua em todos esses intervalos e, portanto, cont e nua em todo R. Tomemos um intervalo compacto [a, x] R. Como a seqncia de funes cont ue co nuas fn converge uniformemente x x nesse intervalo ` funo g, vale pela Proposio 32.3 que limn a fn (y)dy = a g(y)dy. A integral do lado esquerdo a ca ca e fn (x)fn (0). Como a seqncia fn converge pontualmente ` funo f , teremos que limn fn (x)fn (0) = f (x)f (0). ue a ca x Assim, estabelecemos que a g(y)dy = f (x) f (0). O lado esquerdo diferencivel em x, a derivada sendo a funao e a c cont nua g(x) (pelo Teorema Fundamental do Clculo). Logo, o lado direito tambm diferencivel em x e sua derivada a e e a f (x). Como isso vale para cada x R, estabelecemos que f = g. e
32.1.1.3
Troca de Ordem entre Derivadas e Integrais
Tanto na F sica quanto na Matemtica em geral, muito comum encontrarmos situaes nas quais temos uma funao a e co c (x, t) sendo integrada na varivel x em um certo dom a nio, digamos de e +, resultando em uma funao apenas c da varivel t, e desejarmos calcular a derivada dessa funo resultante da integral em relao ` varivel t, usando para a ca ca a a d tal a expresso a (x, t)dx = (x, t)dx, na qual, em um sentido formal, a derivao na varivel t trocada ca a e dt t de ordem com a integrao em x. Tal troca de ordem por vezes de grande utilidade em manipulaes, por exemplo, ca e co na teoria das equaes diferenciais ordinrias e parciais. Na proposio que segue apresentaremos condioes sucientes co a ca c para garantir que tal troca seja vlida. a Proposio 32.5 Seja : R R C contnua e suponhamos que a derivada parcial ca (x, t) R R e seja igualmente continua. Parte I. Para todo intervalo compacto [a, b] R a funo de t denida por ca d dt
b b b a t (x,
t) exista para todos
(x, t)dx diferencivel e vale e a (32.5)
(x, t) dx =
a a
(x, t) dx . t
Parte II. Vamos adicionalmente supor que valham as seguintes hipteses: o a. b.

|(x, t)|dx existe para todo t R; (x, t) dx existe para todo t R; t
c. a seqncia de funes Fn (t) := ue co
(x, t) dx converge quando n ` funo identicamente nula, unia ca |x|>n t formemente para t em qualquer intervalo compacto [a, b] R.

Ento, a funo de t denida por a ca
(x, t)dx diferencivel e vale e a d dt

(x, t) dx =
(x, t) dx . t
(32.6)
Cap tulo 32
1557/1992
Prova da Parte I. Para evitar confuses na notao, vamos no que segue denotar a derivada parcial o ca parcial t por 2 . Como 2 (x, t) cont e nua, podemos escrever
t 0 a t t b b t
por 1 e a derivada
2 (x, ) dx
d =
a 0
2 (x, ) d
dx ,
trocando a ordem das integrais. Agora, 0 2 (x, ) d = 0 (x, ) d = (x, t) (x, 0) e o lado direito claramente t b b vale a (x, t)dx a (x, 0)dx. Com isso, estabelecemos que
b t
(x, t) dx =
a 0
( ) d + C ,
b
(32.7)
onde ( ) :=
a
2 (x, ) dx
C :=
a
(x, 0) dx .
Note-se que C constante, ou seja, independente de t. e importante agora provarmos que : R C cont E e nua. Vamos provisoriamente restringir ao intervalo compacto [T, T ] para algum T > 0. Por hiptese, a funo 2 (x, ) cont o ca e nua e, portanto, uniformemente cont nua no dom nio compacto [a, b] [T, T ] R2 . Logo, para todo > 0 existe (x) tal que |2 (x, ) 2 (x , )| < sempre que |x x | < () e | | < (). Em particular, vale que |2 (x, ) 2 (x, )| < sempre que | | < (). Logo, se | | < (), valer a
b b b
( ) ( )
2 (x, ) dx
2 (x, ) dx
|2 (x, ) dx 2 (x, )| dx < (b a) ,
o que prova que : [T, T ] C cont e nua. Como T > 0 arbitrrio, conclu e a mos que : R C cont e nua, como t desejvamos. A continuidade de permite armar que 0 ( ) d diferencivel como funo de t e de (32.7) conclu a e a ca mos b que a (x, t) dx tambm diferencivel como funo de t e vale e e a ca d dt
b b
(x, t) dx = (t) =
a a
(x, t) dx , t

como quer amos estabelecer. Isso termina a prova da Parte I. Prova da Parte II. A hiptese a garante a existncia da funo f : R C denida por f (t) := o e ca
n
(x, t) dx. Para
n N, dena-se tambm a seqncia de funes fn (t) := e ue co
(x, t) dx. Se provarmos que fn converge pontualmente a

n
f e que fn diferencivel e a seqncia de derivadas fn converge uniformemente a e a ue n
(x, t) dx para t em compactos t [a, b] (sendo que essa integral existe pela hiptese hiptese b), ento poderemos evocar a Proposio 32.4, pgina 1555 o o a ca a e obter que lim
n
(x, t) dx diferencivel como funo de t e que vale e a ca

n
d dt ou seja,
n n
lim
(x, t) dx
n
(x, t) dx , t
d dt como desejamos.
(x, t) dx =
(x, t) dx , t
|x|>n (x, t)dx forma |(x,
Pela hiptese a, tem-se para cada t que limn |x|>n |(x, t)| dx = 0 (doutra o t)| dx no existiria), a provando que para cada t vale limn |fn (t) f (t)|, o que diz que fn converge a f pontualmente.
Provemos ento que fn converge pontualmente a f . Tem-se |fn (t) f (t)| = a
|x|>n |(x,
t)| dx.
Cap tulo 32
1558/1992
Por m, provemos que fn diferencivel e a seqncia de derivadas fn converge uniformemente a (x, t) dx e a ue t para t em compactos [a, b]. Que cada fn diferencivel garantido pela Parte I, que garante tambm que fn (t) = e a e e n (x, t)dx. Assim, n t fn (t)
(x, t) dx = t
|x|>n
(x, t) dx t
|x|>n
(x, t) dx . t
Agora, pela hiptese c, o

fn (t) t (x,
|x|>n
t (x,
t) dx converge a zero uniformemente em compactos quanto n . Logo,
t) dx converge a zero uniformemente em compactos quanto n , completando a prova.
32.2
Seqncias Delta de Dirac ue
Uma noo importante para o estudo de certas aproximaes de funes a noo de seqncia delta de Dirac pois, como ca co co e ca ue ser ilustrado em diversos exemplos no que segue, muitos aproximantes de funes so produzidos por tais seqncias ou a co a ue por seqncias anlogas. Seqncias delta de Dirac so muito usadas em F ue a ue a sica, assim como na Teorias das Distribuioes c (vide Cap tulo 33, pgina 1627) e no estudo de equaes diferenciais. a co Dirac2 introduziu essas seqncias no contexto da Mecnica Quntica, mas a idia subjacente j podia ser encontrada ue a a e a na demonstrao original de Weierstrass, datada de 1885, do teorema que leva seu nome sobre aproximaao polinomial ca c de funes cont co nuas em intervalos compactos (Teorema 32.3, pgina 1564), assim como no trabalho de Fejr3 de 1900 a e sobre o problema de convergncia uniforme de polinmios trigonomtricos associados a funes cont e o e co nuas e peridicas o (vide Teorema 32.9, pgina 1585). Essas idias originam-se provavelmente do trabalho de Dirichlet4 de 1828, tambm a e e sobre o problema de convergncia das sries de Fourier (vide Proposio 32.9, pgina 1588). e e ca a Seqncias delta de Dirac. Denio formal e propriedades ue ca
A noo de seqncia delta de Dirac, que introduziremos agora, de importncia central na discusso de mtodos de ca ue e a a e aproximao de funes. Isso ser explicitado quando apresentarmos e demonstrarmos o Teorema 32.1 ` pgina 1560. A ca co a a a noo de seqncia delta de Dirac tambm intimamente ligada ` noo de medida delta de Dirac (vide pgina 1259) e ca ue e e a ca a a c ` noao de distribuio delta de Dirac (vide pgina 1667). ca a Denio 32.1 (Seqncias delta de Dirac) Uma seqncia de funes Kn : R R, n N, dita ser uma ca ue ue co e seqncia delta de Dirac em R centrada em 0 se satiszer ue 1. Para cada n N, a funo Kn integrvel, ou seja, ca e a

|Kn (x)| dx < .
2. Existe uma constante K > 0 tal que para todo n N vale

|Kn (x)| dx K .
(32.8)
3. Para todo n N, vale
Kn (x) dx = 1 .
(32.9)
4. Para todo > 0 vale

n
2 Paul
lim
|Kn (x)| dx +
|Kn (x)| dx
= 0.
(32.10)
Adrien Maurice Dirac (19021984). Fejr (18801959). e 4 Johann Peter Gustav Lejeune Dirichlet (18051859).
3 Lipt o
Cap tulo 32
1559/1992
Uma seqncia de funes R R dita ser uma seqncia delta de Dirac em R centrada em x0 R se for da forma ue co e ue Tx0 Kn , onde Kn uma seqncia delta de Dirac em R centrada em 0. Aqui, Tx0 o operador de translaao por x0 , o e ue e c qual associa a cada funo f : R R ` funo Tx0 f denida por ca a ca Tx0 f (x) := f (x x0 ) para todo x R. As funes Kn de uma seqncia delta de Dirac so tambm denominadas ncleos de Dirac. co ue a e u
n
(32.11)
verdadeiro, pois podemos ter lim Kn (0) = 0 e mesmo lim Kn (0) = ! Essas diversas situaes so ilustradas nos e co a n n exemplos que seguem. Exemplos de seqncias delta de Dirac ue
As condies 3 e 4 exigem que as funes Kn tornem-se mais e mais concentradas em torno do ponto 0 a medida em co co ` que n cresce, eventualmente com lim Kn (0) = . O estudante deve atentar, porm, que esse ultimo limite nem sempre e
Vamos a alguns exemplos elementares ilustrativos de seqncias delta de Dirac segundo a denio 32.1. ue ca
1. A seqncia delta de Dirac Gaussiana. Este talvez o exemplo mais importante e mais encontrado na prtica. ue e a Seja a fam de funes Gaussianas dadas por (vide (33.110)) lia co
2 2 n gn (x) := en x
(32.12)
para n N. E bem sabido que gn (x) dx = 1 (integral de Laplace). Como gn positiva e simtrica (i.e. e e gn (x) = gn (x) para todo x) resta provar, para mostrar que gn forma uma seqncia delta de Dirac segundo a ue
denio 32.1, que para todo > 0 vale lim ca n

gn (x) dx = 0. De fato, para todo 0 n en

2
en
x2
dx
y=x
0 2
en
(y+)2
dy
2 2
n n 1
0 0 0
en
y 2n2 y
dy
s=ny
en
en
2 2
dy en 2
2 2
en
es ds =
(32.13)
e, portanto, para todo > 0 vale n

en
x2
dx
en 2
2 2
0 .
(32.14)
E interessante notar que para x = 0 tem-se lim gn (x) = 0 mas para x = 0 o limite no existe (diverge), pois a gn (0) =
n . n
Esse exemplo ser generalizado mais abaixo. a 2. Uma seqncia tipo degrau. Um exemplo mais elementar dado pela seqncia ue e ue n , se x 1 , 1 , 2n 2n 1 Kn (x) = 0 , de outra forma,
n
(32.15)
com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que para x = 0 ca a tem-se lim 1 Kn (x) = 0 mas para x = 0 o limite no existe (diverge), pois 1 Kn (0) = n. a
Cap tulo 32
1560/1992
3. Outra seqncia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seqncia ue ue n , se x 0, 1 , n 2 Kn (x) = 0 , de outra forma,
n
com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que, em ca a contraste com os exemplos anteriores, vale para todo x R que lim 2 Kn (x) = 0.
4. Mais uma outra seqncia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seqncia ue ue n , se x 1 , 1 + 1 , n2 n n2 3 Kn (x) = 0 , de outra forma,
n
com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que, em ca a contraste com os exemplos anteriores, o ponto x = 0 no faz parte do suporte de 3 Kn . Tambm vale aqui que a e lim 3 Kn (x) = 0 para todo x R.
5. Seqncias obtidas por re-escalonamento de funes de suporte compacto. Seja : R R uma funao integrvel, ue co c a cujo suporte seja compacto e tal que (s)ds = 0. Seja, para cada n N,
4 Kn (x)
:=
n (nx)

(s)ds
a E fcil provar que 4 Kn satisfaz as propriedades da denio 32.1 (faa!). A propriedade (32.8), por exemplo, ca c e satisfeita com K = |(s)|ds e ca (s)ds , a propriedade (32.9) evidente pela denio e a propriedade (32.10) segue do fato de o suporte de 4 Kn ser compacto, sendo igual ao suporte de re-escalonado por um fator 1/n (por exemplo, se supp = [a, b] ento supp 4 Kn = [a/n, b/n]). Note que 4 Kn (0) = n(0) (s)ds . a Portanto, 4 Kn (0) pode ser positivo e ou negativo (ou at mesmo nulo!). Note que o suporte de no precisa e a necessariamente conter o ponto x = 0!. Esse exemplo generaliza o das seqncias 1 Kn e 2 Kn , acima. ue 6. Seqncias obtidas por re-escalonamento de funes de Schwartz. Seja f : R R com f S (R) (para a deniao ue co c das funes de Schwartz, vide Seo 33.1, pgina 1628) e tal que f (s)ds = 0. Seja, para cada n N, co ca a
5 Kn (x)
:=
n f (nx)

f (s)ds
a E fcil provar que 5 Kn satisfaz as propriedades da denio 32.1 (Exerc ca cio!). Note que 5 Kn (0) = nf (0) f (s)ds . Portanto, como no caso da seqncia 4 Kn , o valor de 5 Kn (0) pode ser positivo e ou negativo ou at mesmo nulo. ue e 2 O caso da seqncia Gaussiana gn , acima, o caso particular onde f (x) = ex S (R). ue e
Aproximando funes atravs de seqncias delta de Dirac co e ue
O fato importante sobre as seqncias delta de Dirac o seguinte teorema: ue e
Teorema 32.1 Seja f : R C uma funo satisfazendo as seguintes condies: ca co 1. f uniformemente contnua5 em todo R, ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre e que |z z | ().
5A
noo de continuidade uniforme de funes em espaos mtricos tratada com mais detalhe na pgina 1418 e seguintes. ca co c e e a
Cap tulo 32
1561/1992
2. f limitada em todo R, ou seja, sup{|f (x)|, x R} < . e Seja Kn uma seqncia delta de Dirac centrada em 0 em R. Dena-se, para cada n N, ue Fn (x) :=

Kn (y)f (x y) dy =
Kn (x y)f (y) dy .
Ento, a seqncia Fn uma seqncia de funes uniformemente contnuas e converge uniformemente a f em R: a ue e ue co lim f Fn
= lim
xR
sup |f (x) Fn (x)|
= 0.
Antes de provarmos o teorema, faamos alguns comentrios. A condio de continuidade uniforme implica, evidentec a ca nua que f satisfaa e c mente, a continuidade da funo f . Uma condio suciente para que f seja uniformemente cont ca ca a condio de Hlder6 : existem constantes C1 > 0 e > 0 tais que para todos x e y R vale ca o |f (x) f (y)| C1 |x y| . (32.16)
1
Dela estabelece-se facilmente a continuidade uniforme tomando () = (C1 )1 . E util mencionar que se f for dife rencivel em todo R e f for limitada, ou seja, sup{|f (x)|, x R} < , ento f satisfaz a condio de Hlder (32.16) a a ca o com = 1 (nesse caso, f dita ser Lipschitz7 -cont e nua). De fato, nesse caso, para x y, arbitrrios, vale a
x x
|f (x) f (y)|
f (s) ds
|f (s)| ds sup |f (s)|, s R |x x | ,
desigualdade essa tambm vlida se x y. Portanto, vale a condio de Hlder (32.16) com = 1 e C1 = sup{|f (s)|, s e a ca o R}. Com isso vemos que as funes do espao de Schwartz S (R) (vide Seo 33.1, pgina 1628) satisfazem as hipteses co c ca a o do Teorema 32.1. Para certas seqncias delta de Dirac espec ue cas poss enfraquecer algumas restries sobre as funoes f mencie vel co c onadas no Teorema 32.1, eventualmente com perda da uniformidade da convergncia da seqncia Fn a funao f . Por e ue ` c exemplo, para a seqncia de funes Gaussianas de (33.110) (que formam uma seqncias delta de Dirac, como veremos ue co ue mais adiante) a restrio que f seja limitada pode ser substitu pela restrio de que f no cresa mais rpido no ca da ca a c a innito do que algum polinmio. Nesse caso Fn ainda convergir (eventualmente de forma no-uniforme) a f . Deixamos o a a ` a prova dessa armao como exerc ao leitor. ca cio Prova do Teorema 32.1. Observemos primeiramente que, como f limitada, denindo C0 := sup{|f (x)|, x R}, teremos e

Kn (y)f (x y) dy
|Kn (y)| |f (x y)| dy C0
|Kn (y)| dy
(32.8)
C0 K .
Isso mostra que as integrais que denem as funes Fn esto bem denidas. co a Que cada Fn uniformemente cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que |z z | < (). Seja, ento > 0 e x, x R a quaisquer tais que |x x | < (). Teremos, |Fn (x) Fn (x )| =

Kn (y) f (x y) f (x y) dy
|Kn (y)| f (x y) f (x y) dy
(32.8)
|Kn (y)| dy
K ,
6 Otto
7 Rudolf
Ludwig Hlder (18591937). o Otto Sigismund Lipschitz (18321903).
Cap tulo 32
1562/1992
pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0 e () independe de x, estabeleceu-se a continuidade uniforme de Fn . Vamos agora escrever, usando (32.9), f (x) Fn (x) =

f (x) f (x y) Kn (y) dy .
Para cada > 0 podemos quebrar a ultima integral em trs intervalos: e

f (x) f (x y) Kn (y) dy +
f (x) f (x y) Kn (y) dy
(32.17)
e denominaremos essas integrais I, II e III, respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que |y| () e, portanto, escolhendo = ()

f (x) f (x y) |Kn (y)| dy

(32.8)
|Kn (y)| dy
|Kn (y)| dy
K .
Passemos agora `s integrais I e III. Como f limitada, vale para a integral I, a e

f (x) f (x y) |Kn (y)| dy 2C0
|Kn (y)| dy
e, analogamente, para a integral III,

f (x) f (x y) Kn (y) dy 2C0
|Kn (y)| dy ,
Logo, por (32.10), podemos obter

escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I, II e III conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa. E. 32.1 Exerccio (fcil). Seja 1 Kn a seqncia delta de Dirac denida em (32.15) e seja f (x) = sen (x). Mostre que a ue Fn (x) :=
1 Kn (x y) sen (y) dy = n cos x
1 2n
cos x +
1 2n
(32.69)
sen (x)
sen
1 2n
1 2n
Usando o fato bem-conhecido que lim0 sen = 1, mostre explicitamente que essa seqncia de funoes Fn converge ue c uniformemente em R ` funo seno quando n . a ca Generalizao para mais dimenses ca o
As idias de acima podem ser facilmente estendidas para mais dimenses. e o
Denio 32.2 (Seqncias delta de Dirac em Rm ) Uma seqncia de funes Kn : Rm R, n N, dita ser ca ue ue co e uma seqncia delta de Dirac em Rm centrada em 0 Rm se satiszer ue
Cap tulo 32
1563/1992
1. Para cada n N, a funo Kn integrvel, ou seja, ca e a
Rm
|Kn (x)| dm x < .
2. Existe uma constante K > 0 tal que para todo n N vale

Rm
|Kn (x)| dm x K .
(32.18)

Rm
Kn (x) dm x = 1 .
(32.19)
4. Para todo > 0 vale

n
lim
Rm \B
|Kn (x)| dm x = 0 ,
(32.20)
onde B := {x Rm , x < } a bola aberta de raio > 0 centrada em 0 Rm . e Teorema 32.2 Seja f : Rm C uma funo satisfazendo as seguintes condies: ca co 1. f uniformemente contnua em todo Rm , ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre e que z z (). 2. f limitada em todo Rm , ou seja, sup{|f (x)|, x Rm } < . e Seja Kn uma seqncia delta de Dirac centrada em 0 em Rm . Dena-se, para cada n N, ue Fn (x) :=
Rm
Kn (y)f (x y) dm y =
Rm
Kn (x y)f (y) dm y .
Ento, a seqncia Fn uma seqncia de funes uniformemente contnuas e converge uniformemente a f em Rm : a ue e ue co

n
lim
f Fn
= lim
xRm
sup |f (x) Fn (x)|
= 0.
Prova do Teorema 32.2. Observemos primeiramente que, como f limitada, denindo C0 := sup{|f (x)|, x Rm }, e teremos
Rm
Kn (y)f (x y) dm y
Rm
|Kn (y)| |f (x y)| dm y C0
Rm
|Kn (y)| dm y
(32.18)
C0 K .
Isso mostra que as integrais que denem as funes Fn esto bem denidas. co a Que cada Fn uniformemente cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que z z < (). Seja, ento > 0 e x, x Rm a quaisquer tais que x x < (). Teremos, |Fn (x) Fn (x )| = Kn (y) f (x y) f (x y) dm y |Kn (y)| f (x y) f (x y) dm y |Kn (y)| dm y
(32.18)
Rm
Rm
Rm
K ,
pois (x y) (x y) = x x < (). Como isso vale para todo > 0 e () independe de x, estabeleceu-se a continuidade uniforme de Fn . Vamos agora escrever, usando (32.19), f (x) Fn (x) = f (x) f (x y) Kn (y) dm y .
Rm
Cap tulo 32
1564/1992
Para cada > 0 podemos quebrar a ultima integral em duas regies: o

Rm \B
f (x) f (x y) Kn (y) dm y +
f (x) f (x y) Kn (y) dm y
(32.21)
e denominaremos essas integrais I, II , respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que y () e, portanto, escolhendo = ()
B
f (x) f (x y) Kn (y) dm y
f (x) f (x y) |Kn (y)| dm y |Kn (y)| dm y |Kn (y)| dm y

(32.18)
K .
Passemos agora ` integral I. Como f limitada, vale para a integral I, a e f (x) f (x y) Kn (y) dm y f (x) f (x y) |Kn (y)| dm y 2C0 |Kn (y)| dm y .
Rm \B
Rm \B
Rm \B
Logo, por (32.20), podemos obter f (x) f (x y) Kn (y) dm y
Rm \B
escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I e II conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x Rm } (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa.
32.3
32.3.1
Aproximao de Funes por Polinmios ca co o

O Teorema de Weierstrass
Um dos teoremas fundamentais da Anlise o chamado Teorema de Weierstrass8 que arma que toda funao cont a e c nua denida em um intervalo fechado e limitado [a, b] da reta real pode ser uniformemente aproximada nesse intervalo por polinmios, ou seja, para todo > 0 podemos encontrar um polinmio p tal que |p (x) f (x)| para todo x [a, b]. o o Neste texto, fazemos uso desse importante teorema em diversas ocasies. Para futura referncia enunciamos o teorema o e da seguinte forma: Teorema 32.3 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um intervalo fechado ca e limitado [a, b] R. Ento, f pode ser aproximada uniformemente por polinmios nesse intervalo, ou seja, para todo a o > 0 existe um polinmio p tal que p f = sup |p (x) f (x)| . o
x[a, b]
H inmeras demonstraes do Teorema 32.3 na literatura. No Apndice 32.A, pgina 1621, apresentamos uma prova a u co e a usando os chamados aproximantes de Bernstein, dados, para uma funo cont ca nua f , denida no intervalo [0, 1], pelos polinmios de grau n o
n
bf (x)
[n]
:=
p=0 n
p n
k
n p x (1 x)np p p n n p np nk
=
k=0 p=0
(1)kp f
xk .
(32.22)
8 Karl Theodor Wilhelm Weierstrass (18151897). O Teorema de Weierstrass data de 1885. A referncia original pode ser encontrada em e [44].
Cap tulo 32
1565/1992
O estudante pode interessar-se em saber que os aproximantes de Bernstein para funes cont co nuas e os polinmios de o Bernstein (que deniremos no Apndice 32.A, pgina 1621) esto intimamente ligados `s curvas de Bzier9 e as splines e a a a e ` de Bzier, de ampla aplicao atual em Computaao Grca (as fontes que produziram as letras que o caro leitor l neste e ca c a e mesmo momento foram geradas com tais curvas). No Apndice 32.B, pgina 1625, apresentamos outra demonstrao instrutiva do Teorema 32.3 e que segue as idias e a ca e originais de Weierstrass. Tambm muito interessante a demonstrao encontrada em [69], talvez a mais elementar, e e e ca que aparentemente devida a Lebesgue10 . Vide tambm [230]. Na referncia [129] diversas demonstraoes do Teorema e e e c 32.3 podem ser encontradas. Como discutiremos na Proposio 32.8, pgina 1587, o Teorema de Weierstrass equivalente a um outro Teorema ca a e importante, o Teorema de Fejr (Teorema 32.9, pgina 1585), o qual fundamental para a Teoria das Sries de Fourier e a e e e arma que funes cont co nuas e peridicas podem ser aproximadas uniformemente por polinmios trigonomtricos. o o e Muito importante tambm o fato de o Teorema 32.3 poder ser generalizado ainda mais, a saber, de intervalos e e compactos da reta como [a, b] R para subconjuntos compactos da reta (como os conjuntos de Cantor, discutidos na Seo 27.3, pgina 1289). Esse o contedo do Teorema 32.18, pgina 1605 o qual conseqncia do importante ca a e u a e ue Teorema de Stone-Weierstrass, Teorema 32.16, pgina 1602, que tambm generaliza fortemente o Teorema 32.3. A Seao a e c 32.5, pgina 1602, dedicada ao Teorema de Stone-Weierstrass e suas algumas de suas conseqncias. a e ue O Teorema 32.3 tambm vlido para funes cont e e a co nuas de vrias variveis. Vide Teorema 32.5, pgina 1569. a a a No que segue, iremos provar uma forma mais forte do Teorema 32.3, a saber: Teorema 32.4 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um intervalo fechado ca [a, b] R e tal que suas k primeiras derivadas existam e sejam contnuas nesse intervalo. Ento, f pode ser aproximada a uniformemente por polinmios nesse intervalo e suas k primeiras derivadas podem ser aproximadas uniformemente pelas o derivadas desses polinmios, ou seja, para todo > 0 existe um polinmio p tal que o o p(l) f (l) para todo 0 l k. Como o leitor pode perceber essa generalizao do Teorema 32.3 arma que no apenas poss aproximar uniforca a e vel memente funes cont co nuas em intervalos compactos por polinmios mas, no caso de a funo ser k vezes diferencivel, o ca a e poss encontrar aproximantes polinomiais cujas k primeiras derivadas tambm aproximam uniformemente as respecvel e tivas derivadas da funo a ser aproximada. ca Adiante, apresentaremos uma prova do teorema mais geral, Teorema 32.4. Seguiremos muito proximamente a demonstrao apresentada em [44], demonstrao essa aparentemente devida a Landau11 mas, para a facilidade do estudante, ca ca acrescentaremos alguns detalhes12 . Antes de iniciarmos a prova do Teorema 32.4 precisamos fazer um comentrio sobre um fato que usaremos a respeito a de extenses cont o nuas de funes. co Certas extenses cont o nuas de funes co
x[a, b]
sup |p(l) (x) f (l) (x)|
Seja f uma funo cont ca nua denida em um intervalo fechado limitado [a, b] assumindo valores reais ou complexos e que tenha suas k primeiras derivadas igualmente cont nuas nesse intervalo. Seja um intervalo fechado limitado [, ] que contm [a, b] no seu interior, ou seja, com < < a < b < < . Ento, existe pelo menos uma funao f e a c denida em [, ] com as seguintes propriedades: 1. f coincide com f no intervalo [a, b]. 2. f e suas k primeiras derivadas so cont a nuas em [, ].
Etienne Bzier (19101999). e Lon Lebesgue (18751941). e 11 Edmund Georg Hermann Landau (18771938). 12 Nossa prova tambm ligeiramente mais precisa que a de [44], pois l o parmetro (vide abaixo) tomado na forma 0 < < 1 mas, e e a a e para evitar problemas em certos limites de integrao, o correto tom-lo como faremos adiante. ca e a
9 Pierre 10 Henri
Cap tulo 32
1566/1992
3. f e suas k primeiras derivadas anulam-se nos extremos e do intervalo [, ]. A funo f , assim, uma extenso de cont ca e a nua de f ao intervalo [, ] cujas k primeiras derivadas so extenses a o cont nuas das respectivas k primeiras derivadas de f ao intervalo [, ]. Alm disso, f e suas k primeiras derivadas e anulam-se nos extremos do intervalo [, ] em que esto denidas. a com tais propriedades. Uma maneira de construir uma tal funo escolh-la de modo que H innitas funes f a co ca e e seja idntica a f no intervalo [a, b], seja innitamente diferencivel nos intervalos [, a) e (b, ] mas de modo que e a limxa f (l) (x) = f (l) (a) no intervalo [, a) e limxb f (l) (x) = f (l) (b) no intervalo (b, ], para todo 0 l k. Exemplo 32.1 Uma poss escolha de uma funo f com as propriedades vel ca f (x) , k f (k) (a) (x a)l F, a (x) , (x) = f l! l=0 k f (k) (b) (x b)l (1 Fb, (x)) , l!
l=0
acima a seguinte: e axb
x<a
b<x
onde, para u < v, a funo Fu, v : [u, v] [0, 1] denida por ca e Fu, v (x) := 1 Nu, v
x u
exp
v
1 1 (y u)2 (y v)2
dy ,
u x v,
Nu, v sendo a constante de normalizao ca Nu, v :=

u
exp
1 1 2 (y u) (y v)2
dy .
Essa funo Fu, v cont ca e nua, estritamente crescente, innitamente diferencivel no intervalo u < x < v e satisfaz a
xu
lim Fu, v (x) = 0,
xv
lim Fu, v (x) = 1,
xu
(l) (l) lim Fu, v (x) = lim Fu, v (x) = 0, xv
l1.
Com isso, fcil ver que f satisfaz as propriedades requeridas: cont e a e nua e k-vezes diferencivel em [, ] e satisfaz a f () = 0 = f () , f (l) () = 0 = f (l) () , l 1 , (32.23) f (l) (a) = f (l) (a) alm de, obviamente, ser uma extenso de f . e a E. 32.2 Exerccio. Verique as armaes feitas acima. co Para o que segue, a forma espec ca de f , como aquela do exemplo acima, no ser relevante, apenas suas propriedades. a a Prova do Teorema de Weierstrass, Teorema 32.4 e f (l) (b) = f (l) (b) , 0lk ,
Daqui por diante, consideraremos sem perda de generalidade que [a, b] (0, 1), ou seja, tomamos 0 < a b < 1, e consideraremos f uma extenso de f a todo o intervalo [0, 1] com as propriedades acima (adotando = 0 e = 1). a Com uma tal funo podemos denir os polinmios ca o pn (x) := 1 2Dn (0)
1 0
f (u) 1 (u x)2
du
(32.24)
Cap tulo 32
1567/1992
com x [a, b], onde, para [0, 1], denimos Dn () :=
1 v2
dv .
A expresso Dn (0) pode ser calculada explicitamente repetindo-se o procedimento de integrao por partes (vide (14.69), a ca pgina 641) e tem-se a (2n)!! , (32.25) Dn (0) = (2n + 1)!! mas no faremos uso dessa expresso aqui. Uma outra prova de (32.25), por uma mudana de variveis e com uso do a a c a binmio de Newton, pode ser encontrada em (32.75), pgina 1585. o a 1 x2 A seqncia de funes Kn (x) = ue co , denidas no intervalo [1, 1], no forma exatamente uma seqncia a ue 2Dn (0) delta de Dirac como na Denio 32.1, pgina 1558, mas a demonstrao que segue muito prxima ` do Teorema 32.1, ca a ca e o a pgina 1560. a Os pn so claramente polinmios de grau menor ou igual a 2n. Como veremos, esses polinmios aproximam f com a o o as propriedades requeridas. Para mostrar isso, xemos x [a, b] e comecemos observando que pn (x) = com A1 := 1 2Dn (0) 1 2Dn (0)
1 0 n
f (u) 1 (u x)2
x
du
v=ux
1 2Dn (0) A2 :=
1x
f (v + x) 1 v 2

dv = A1 + A2 + A3 ,
n
f (v + x) 1 v 2
dv,
1 2Dn (0)
f (v + x) 1 v 2
dv , (32.26)
A3 :=
1 2Dn (0)
1x
f (v + x) 1 v 2
dv ,
onde satisfaz 0 < < min{a, 1 b} e ser convenientemente xado mais adiante13 . Vamos tratar de estimar cada a e uma das trs expresses Aj acima. Como f cont e o nua no intervalo [0, 1], seu mdulo assume um valor mximo, que o a (x) . Com isso podemos escrever que denotaremos por F , ou seja, em s mbolos, F := sup f
x[0, 1]
|A3 |
1 2Dn (0)
1x
|f (v + x)| 1 v 2
dv
F 2Dn (0)
1x
1 v2
dv
1
F 2Dn (0)
1 v2
dv = F
Dn () , (32.27) 2Dn (0)
onde, na ultima desigualdade, usamos que 1 x 1. De forma totalmente anloga, prova-se que vale tambm a e |A1 | F Dn () . 2Dn (0) (32.28)
O termo A2 pode ser manipulado da seguinte forma. Usando a identidade 1 = escrevemos A2 := f (x) f (x) 1 + =
13 Como
Dn (0) = Dn (0)
1 v 2 dv + Dn () = Dn (0) 1 2Dn (0)

1 v2
dv + 2Dn ()
2Dn (0)
n
f (v + x) 1 v 2

dv
1 Dn () + f (x) f (x) Dn (0) 2Dn (0)
f (v + x) f (x)
1 v2
dv .
0 < < min{a, 1 b} e x [a, b], segue que > x e < 1 x. Assim, os trs intervalos de integraao em (32.26) so crescentes. e c a
Cap tulo 32
1568/1992
De (32.27), (32.28) e (32.29) extra mos, assim, que para x [a, b], Dn () 1 F Dn () + f (x) + |pn (x) f (x)| Dn (0) Dn (0) 2Dn (0)

f (v + x) f (x)
1 v2
dv .
Como x [a, b], podemos substituir f por f no lado esquerdo. Fora isso, f (x) F e, assim, chegamos a |pn (x) f (x)| 2F Dn () 1 + Dn (0) 2Dn (0)

f (v + x) f (x)
1 v2
dv .
e Observemos neste ponto que uma funo que seja cont ca nua em um intervalo compacto, como f , uniformemente cont nua nesse intervalo (Teorema 30.12, pgina 1419). Assim, para cada > 0 dado podemos encontrar um > 0, a pequeno o suciente e independente de x de forma que f (v + x) f (x) < desde que |v| < . Temos, portanto, |pn (x) f (x)| 2F = 2F Dn () + Dn (0) 2Dn (0) Dn () + Dn (0) Dn (0)
0
1 v2
n
dv
1 v2
dv
= 2F
Dn () + (Dn (0) Dn ()) Dn (0) Dn (0) Dn () + Dn (0)
= (2F ) 2F
Dn () +. Dn (0)
Para fechar a demonstrao dessa parte, precisamos agora mostrar que para qualquer xo com 0 < 1 a razo ca a Dn ()/Dn (0) pode ser feita to pequena quanto se queira, fazendo-se n crescer. Como em [44], notamos que para a v [0, 1] vale v 2 < v. Assim,
1 1
Dn (0) =
0
(1 v 2 )n dv
(1 v)n dv =
1 , n+1
calculando explicitamente a ultima integral. Paralelamente,

1
Dn (0) =
(1 v 2 )n dv (1 2 )n
dv = (1 2 )n (1 ) (1 2 )n (32.29)
e, portanto, Dn () (n + 1)(1 2 )n . Dn (0)
Como 0 < 1 2 < 1, o limite para n do lado direito, acima, zero. Assim, conclu e mos que para n grande o suciente, independente de x, tem-se |pn (x) f (x)| 2. Isso estabelece que a seqncia de polinmios pn converge ue o uniformemente a f no intervalo [a, b]. Com isso provou-se o Teorema 32.3. Vamos provar agora que para cada l com 1 l k as derivadas pn tambm convergem uniformemente as derivadas e ` f (l) quando n . Notemos que, pela denio de pn , ca p(l) (x) = n 1 2Dn (0)
n 1 0 (l)
l f (u) l 1 (u x)2 x
du .
Agora, devido ao fato de a funo 1 (u x)2 ca
ser simtrica pela troca u x, vale e

n
l 1 (u x)2 xl
= (1)l
l 1 (u x)2 ul
Cap tulo 32
1569/1992
Assim, p(l) (x) n = (1)l 2Dn (0)

1 0
l f (u) l 1 (u x)2 u
n
du (1)l1 2Dn (0)

1 0
int. por partes
(1)l f (u)
l1 1 (u x)2 ul1 pois

f (0)=f (1)=0
u=1
+
u=0
l1 f (1) (u) l1 1 (u x)2 u
du .
= 0,
Repetindo-se l vezes o processo de integrao por partes e usando o fato que f e suas derivadas anulam-se em 0 e em 1, ca por construo, obtemos, ca 1 1 n p(l) (x) = f (l) (u) 1 (u x)2 du . n 2Dn (0) 0
(l) J vimos, porm, que essa igualdade implica que pn converge uniformemente a f (l) no intervalo [a, b] para n . Isso a e completa a prova do Teorema de Weierstrass, Teorema 32.4.
O Teorema de Weierstrass em vrias variveis a a
O Teorema 32.4 pode ser estendido para funoes cont c nuas denidas em retngulos compactos em Rm (em verdade, a m em qualquer conjunto compacto em R ). Faremos uso desse fato mais adiante. A demonstrao muito semelhante a ca e ` do Teorema 32.4 mas h algumas passagens delicadas e, por isso, reproduzimos a demonstrao com certo detalhe. a ca
Teorema 32.5 (Teorema de Weierstrass) Seja f : Rm C uma funo real ou complexa, contnua em um retngulo ca a fechado R := [a1 , b1 ] [am , bm ] Rm e tal que suas K primeiras derivadas parciais existam e sejam contnuas nesse retngulo. Ento, f pode ser aproximada uniformemente por polinmios nesse retngulo e suas K primeiras derivadas a a o a parciais podem ser aproximadas uniformemente pelas derivadas desses polinmios, ou seja, para todo > 0 existe um o polinmio p tal que para todo n-multi-ndice com 0 || K vale o D p D f
= sup |D p (x) D f (x)| .

xR
Prova. Daqui por diante, consideraremos sem perda de generalidade que R := [a1 , b1 ] [am , bm ] (0, 1)m , ou seja, tomamos 0 < ak bk < 1 para cada k, e consideraremos f uma extenso de f a todo o retngulo [0, 1]m com a a a propriedade de anular-se junto com suas K primeiras derivadas parciais na fronteira de [0, 1]m . Generalizando (32.24), denimos os polinmios em m variveis o a
1 0 1 m
pn (x1 , . . . , xm ) :=
f (u1 , . . . , um )
k=1 2m Dn (0)m 1xm
1 (uk xk )2
du1 dum
1x1 x1
f v1 + x1 , . . . , vm + xm
k=1
xm
2 1 vk
dv1 dvm
2m Dn (0)m
(32.30)
com Dn denido como na prova do Teorema 32.4, com (x1 , . . . , xm ) R, onde na segunda linha zemos a obvia mudana de variveis vk = uk xk para todo k. c a podemos escrever a ultima expresso em (32.30) na forma A1 + A2 onde a

Tomando um > 0 pequeno o suciente ( < min a1 , . . . , am , 1 b1 , . . . , 1 bm ), a ser precisado adiante, f v1 + x1 , . . . , vm + xm

2 1 v1 n 2 1 vm n
A2 =
dv1 dvm
2m Dn (0)m
Cap tulo 32
1570/1992
e A2 a mesma integral, mas no conjunto complementar R = [x1 , 1 x1 ] [xm , 1 xm ] \ [, ]m . A integral e A1 pode ser majorada por A1 F onde F := sup
x[0, 1]m R 2 1 v1 n 2 1 vm n
dv1 dvm
2m Dn (0)m
|f (x)|. A integral em R pode ser quebrada como soma de produtos de integrais unidimensionais,
2 1 vk n xk 0 2 1 vk n 1xk 2 1 vk n 1 0 2 1 vk dvk = 1 2Dn (0) Dn () 2Dn (0) , n
algumas da forma
1xk xk
dvk
2Dn (0)
dvk + 0 2Dn (0)

n
dvk
1xk xk 2 2 [1vk ] dvk [1vk ] dvk e sempre ocorrer ao um fator da forma 2Dn (0) a ou 2Dn (0) as quais podem ser estimadas por como provamos na demonstrao do Teorema 32.4, acima (vide (32.27)). Assim, ca
A1 KF
Dn () 2Dn (0)
(32.29)
KF (n + 1) 1 2
sendo K uma constante dependente apenas da dimenso m. a O termo A2 pode ser manipulado analogamente ` demonstrao do Teorema 32.4. a ca
m
A2
f v1 + x1 , . . . , vm + xm
k=1
2 1 vk
dv1 dvm
2m Dn (0)m 1 Dn () Dn (0)
m
f x1 , . . . , xm

f v1 + x1 , . . . , vm + xm f x1 , . . . , xm 2m Dn (0)m
k=1
2 1 vk
dv1 dvm
(32.31)
Por (32.29), sabemos que para que tenhamos
Dn () Dn (0)
0 para n e, portanto, para qualquer > 0 podemos achar n grande o suciente f x1 , . . . , xm f x1 , . . . , xm 1 Dn () Dn (0)
m
e Uma funo que seja cont ca nua em um conjunto compacto, como f , uniformemente cont nua nesse intervalo (Teorema 30.12, pgina 1419). Assim, para cada > 0 dado podemos encontrar um > 0, pequeno o suciente e independente de x a de forma que f v1 + x1 , . . . , vm + xm f x1 , . . . , xm < desde que |vk | < para todo k. Assim, a integral do lado direito de (32.31) pode ser majorada por 1 Conclu mos disso que pn (x1 , . . . , xm ) f x1 , . . . , xm KF (n + 1) 1 2
n Dn () Dn (0) m
+ 2 .
Como |1 | < 1, isso completa a demonstrao de que f uniformemente aproximvel por polinmios. ca e a o
Vamos provar agora que para cada n-multi- ndice , com 1 || K, as derivadas D pn tambm convergem e uniformemente `s derivadas D f quando n . Notemos que, pela denio de pn , a ca
1 0 1 n f (u1 , . . . , um )Dx k=1
D pn (x1 , . . . , xm ) =
1 (uk xk )2
du1 dum
2m Dn (0)m
Cap tulo 32
1571/1992
Agora, devido ao fato de a funo 1 (u x)2 ca

n Dx k=1
ser simtrica pela troca u x, vale e

n n = (1)|| Du k=1
1 (uk xk )2
1 (uk xk )2
Assim, D pn (x1 , . . . , xm ) = (1)|| 2m Dn (0)m

1 0 1 n f (u1 , . . . , um )Du k=1
1 (uk xk )2
du1 dum .
Repetindo-se || vezes o processo de integrao por partes e usando o fato que f e suas derivadas anulam-se nas fronteiras ca da integral mltipla acima, obtemos, u D pn (x1 , . . . , xm ) = 1 m D (0)m 2 n
1 0 1 n Du f (u1 , . . . , um ) k=1
1 (uk xk )2
du1 dum .
J vimos, porm, que essa igualdade implica que D pn converge uniformemente a D pn f no intervalo [a, b] para n . a e Isso completa a prova do Teorema de Weierstrass, Teorema 32.5.
32.3.2
O Teorema de Taylor
Nesta seo apresentaremos o Teorema de Taylor, um dos teoremas bsicos do Clculo Diferencial, o qual enuncia ca a a e e condies que permitem aproximar certas funes innitamente diferenciveis por sries de potncia absoluta e uniforco co a memente convergentes em intervalos limitados da reta real. Se a funo que estamos interessados em aproximar no for ca a innitamente diferencivel ou no satiszer as condies enunciadas abaixo, tem-se como alternativa o Teorema de Weia a co erstrass, que garante a possibilidade de se obter uma aproximao uniforme por polinmios. O Teorema de Weierstrass ca o e estudado na Seo 32.3.1, pgina 1564. A demonstrao do Teorema de Taylor segue de um simples racioc ca a ca nio iterativo que ora iniciamos. Seja f : R C uma funo K-vezes diferencivel, com K > 0. Pelo Teorema Fundamental do Clculo podemos ca a a escrever x f (x) = f (x0 ) +
x0
f (s1 ) ds1 ,
(32.32)
s1 x0
para todos x e x0 R. Para K > 1 vale tambm para f (s1 ) a mesma relao f (s1 ) = f (x0 ) + e ca temos f (x) = f (x0 ) + (x x0 )f (x0 ) + = f (x0 ) + (x x0 )f (x0 ) + pois, invertendo a ordem das integrais,
x x0 s1 x0 x x x x x0 x x0 s1 x0
f (s2 ) ds2 . Da ,
f (s2 ) ds2
ds1
(x t)f (t) dt ,
(32.33)
f (s2 ) ds2
ds1 =
x0
f (s2 )
s2
ds1
ds2 =
x0
(x s2 )f (s2 ) ds2 .
Usando induo, esse resultado pode ser generalizado, conduzindo ao seguinte teorema: ca Teorema 32.6 (Teorema de Taylor) Se f : R C uma funo K vezes diferencivel (K 1) em um domnio e ca a conexo R, ento para todo N < K vale a f (x) = (x x0 )a (a) f (x0 ) + a! a=0
N x x0
(x t)N (N +1) f (t) dt , N!
(32.34)
Cap tulo 32
1572/1992
para todos x e x0 . Essa expresso pode ser reescrita na forma a f (x) = (x x0 )a (a) (x x0 )N +1 f (x0 ) + a! N! a=0
N 1 0
(1 s)N f (N +1) x0 + s(x x0 ) ds .
(32.35)
As relaes (32.34) e (32.35) so denominadas identidades de Taylor. Os polinmios co a o TN [f ](x, x0 ) = (x x0 )a (a) f (x0 ) a! a=0
N
so denominados polinmios de Taylor de ordem N centrados em x0 da funo f e a expresso a o ca a

x
RN [f ](x, x0 ) =
x0
(x t)N (N +1) (x x0 )N +1 f (t) dt = N! N!
1 0
(1 s)N f (N +1) x0 + s(x x0 ) ds
denominada resto da expanso de Taylor de f , ou frmula do resto da expanso de Taylor de f . e a o a Suponhamos agora que f seja innitamente diferencivel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ], a 0, tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo y I(x0 , ) e todo k 0 valha f (k) (y) M C k k! Ento, para todo x I(x0 , ) tem-se a f (x) =

(32.36)
(x x0 )a (a) f (x0 ) , a! a=0
(32.37)
sendo que a srie do lado direito converge absoluta e uniformemente em I(x0 , ). A srie (32.37) denominada srie e e e e de Taylor real de f centrada em x0 . As origens do Teorema 32.6 remontam aos trabalhos de Taylor14 nos primrdios do Clculo Diferencial e Integral. o a Taylor descobriu a srie que leva seu nome entre 1712 e 1715, mas a importncia desse resultado s foi reconhecida por e a o Lagrange15 em 1772. A expresso srie de Taylor para designar a expanso (32.37) data de 1786, tendo sido cunhada a e a por Lhuilier16 . Sries de Taylor para funes espec e co cas (como a funo arco-tangente) eram conhecidas antes de Taylor. ca Sua contribuio foi a de ter encontrado uma expanso vlida para uma grande classe de funes. Taylor, um disc ca a a co pulo de Newton17 , inventou tambm o mtodo de integrao por partes, entre outras contribuies seminais. e e ca co Prova do Teorema 32.6. J provamos essa armao para K = 1 (relao (32.32)) e para o caso K > 1 j tratamos o caso a ca ca a N = 0 e N = 1 (relaes (32.33) e (32.32)). Para efetuarmos a prova por induo, suponhamos que a relaao co ca c f (x) =
14 Brook
(x x0 )a (a) f (x0 ) + a! a=0
x x0
(x s1 )M (M+1) f (s1 ) ds1 M!
Taylor (16851731). Lagrange (17361813). 16 Simon Antoine Jean Lhuilier (17501840). 17 Isaac Newton (16431727).
15 Joseph-Louis
Cap tulo 32
1573/1992
valha para todo M com M < K 1. Como f (M+1) (s1 ) = f (M+1) (x0 ) + f (x) = (x x0 )a (a) f (x0 ) + a! a=0
M M x x0
s1 x0
f (M+2) (s2 ) ds2 , obtemos

x
(x s1 )M ds1 f (M+1) (x0 ) + M!

x x0
x0
(x s1 )M M!
s1 x0
s1 x0
f (M+2) (s2 ) ds2
ds1
(x x0 )a (a) (x x0 )M+1 (M+1) f (x0 ) + f (x0 ) + a! (M + 1)! a=0

M+1
(x s1 )M M!
f (M+2) (s2 ) ds2
ds1
=
a=0 M+1
(x x0 )a (a) f (x0 ) + a! (x x0 )a (a) f (x0 ) + a! (x x0 )a (a) f (x0 ) + a!
x x0
(x s1 )M M!
x s2
s1 x0
f (M+2) (s2 ) ds2
ds1
x x0
=
a=0 M+1
(x s1 )M ds1 f (M+2) (s2 ) ds2 M!
x x0
=
a=0
(x s2 )M+1 (M+2) f (s2 ) ds2 , (M + 1)!
sendo que na passagem da terceira para a quarta linha trocamos a ordem das integraes. Isso prova, por induao, a co c validade de (32.34) para todo N < K. Escrevamos agora t = x0 + s(x x0 ) na integral de (32.34). Ficamos com x t = (x x0 )(1 s), dt = (x x0 )ds e obtemos, x (x x0 )N +1 1 (x t)N (N +1) f (t) dt = (1 s)N f (N +1) x0 + s(x x0 ) ds . N! N! 0 x0 Isso provou (32.35). Suponhamos agora que f seja innitamente diferencivel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ], a 0, tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo y I(x0 , ) e todo k 0 valha f (k) (y) M C k k! Teremos,
1 0
(1 s)N f (N +1) x0 + s(x x0 ) ds M C N +1 (N + 1)!
(1 s)N ds M
C N +1 (N + 1)! N +1
Logo, para x I(x0 , ), ou seja, para |x x0 | < , tem-se (x x0 )a (a) |x x0 |N +1 C N +1 (N + 1)! f (x0 ) M f (x) a! N! (N + 1) a=0
N
M (C)N +1 (N + 1)!
1
Como 1 > 0, segue que o limite N do lado direito da ultima expresso zero, provando (32.37). Como o a e lado direito da ultima expresso independe de x no intervalo I(x0 , ), a convergncia uniforme. Que a convergncia a e e e (xx0 )a (a) absoluta segue tambm facilmente das mesmas desigualdades de acima pois, pelas hipteses, e e o f (x0 ) a! M
(C)a (a!)1 ,
que somvel. e a
A seguinte proposio ser usada na discusso sobre a relao entre o Teorema de Weierstrass e o de Fejr (Proposiao ca a a ca e c 32.8, pgina 1587): a
A expanso de Taylor da funo exponencial a ca
Cap tulo 32
1574/1992
Proposio 32.6 A bem-conhecida expanso em srie de Taylor centrada em x0 = 0 da funo f (x) = ex , com C, ca a e ca n n x , converge uniformemente e absolutamente em cada intervalo [, ] da reta real, com 0. dada por ex = n! n=0 Assim, podemos armar que em todo intervalo [, ] da reta real, com 0, a funo ex pode ser aproximada ca uniformemente por uma seqncia de polinmios, a saber, por seus polinmios de Taylor. ue o o Prova. A funo f (x) = ex com C, constante, innitamente diferencivel e sua k-sima derivada k ex . Como ca e a e e f cont e nua, ela limitada em cada intervalo compacto da reta real. No intervalo [, ], 0, temos evidentemente e |ex | e|Re ()| . Assim, a condio (32.36) satisfeita em cada intervalo [, ], 0, com M = e|Re ()| , C = || e ca e = 0. A proposio segue, portanto, do Teorema de Taylor, Teorema 32.6, pgina 1571. ca a
Alguns casos a se ter em mente
a E fcil vericar que essa funo cont ca e nua e, mais que isso, que innitamente diferencivel. De fato, em x = 0 a e a 1 n-sima derivada de f da forma exp x2 vezes um polinmio em 1/x (verique!). Esse polinmio diverge quando e e o o 1 ue x 0 mas o pr-fator exp x2 vai a zero muito mais fortemente. Como conseqncia, f e todas as suas derivadas e anulam-se em x = 0. Assim, se calcularmos a srie de Taylor (32.37) dessa funo em x0 = 0 a mesma seria identicamente e ca nula (!), pois f (n) (0) = 0 para todo n 0. Isso signica que a relao (32.37) no vale para essa funo se x0 = 0, pois ca a ca f no-nula, mas a srie do lado direito identicamente nula. O que se passa que no existe para essa funao nenhum e a e e e a c intervalo I(, 0), ou seja, da forma [, ], > 0, no qual valha a condio (32.36) para todo k e todo x I(, 0). ca
Para uma melhor compreenso do Teorema de Taylor importante estudar alguns casos especiais. Considere-se a a e funo f denida em R por ca exp 1 , x = 0 , x2 f (x) = 0, x=0.
Esse exemplo ensina-nos que que uma funo innitamente diferencivel pode ter uma srie de Taylor centrada em ca a e um ponto x0 e convergente em uma regio em torno de x0 , mas essa srie no necessariamente converge a funao em a e a ` c outros pontos que no x0 . Para que a convergncia ` funo se d necessrio que sejam vlidas condies como (32.36), a e a ca ee a a co que limitam o crescimento das derivadas da funo em uma vizinhana de x0 . ca c
Dois corolrios uteis a
Os corolrios seguintes do Teorema de Taylor sero utilizados neste texto. a a
Corolrio 32.1 Se f : R C for K vezes diferencivel e f (a) (x0 ) = 0 para todo a = 0, . . . , N com N < K, ento f a a a tem um zero de ordem N + 1 em x0 e podemos escrever f (x) = (x x0 )N +1 F (x) , onde F (K N 1)-vezes diferencivel. Em particular, se f for uma funo innitamente diferencivel, ento F e a ca a a tambm o ser. e a
Prova. As armaes seguem diretamente de (32.35), notando que, pelas hipteses, podemos diferenciar em x a expresso co o a
1 0
(1 s)N f (N +1) x0 + s(x x0 ) ds sob o s mbolo de integral.
Corolrio 32.2 Seja f : Rn C uma funo innitamente diferencivel de n variveis reais x = (x1 , . . . , xn ) e a ca a a suponhamos que f (y) = 0 em algum ponto y = y1 , . . . , yn Rn . Ento, podemos escrever a
n
f (x) =
k=1
xk yk Fk (x) ,
(32.38)
Cap tulo 32
1575/1992
onde as funes Fk so innitamente diferenciveis. co a a Prova. Como f (y1 , . . . , yn ) = 0, vale
f (x1 , . . . , xn ) =
f (x1 , . . . , xn ) f (y1 , x2 , . . . , xn ) + f (y1 , x2 , . . . , xn ) f (y1 , y2 , x3 , . . . , xn ) + + f (y1 , . . . , yn1 , xn ) f (y1 , . . . , yn ) , (32.39)
ou seja, f (x1 , . . . , xn ) =
n k=1
f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) .
(32.40)
Para cada k = 1, . . . , n a funo f (y1 , . . . , yk1 , xk , . . . xn )f (y1 , . . . , yk , xk+1 , . . . xn ) innitamente diferencivel ca e a como funo de xk e anula-se em xk = yk . Portanto, pelo Corolrio 32.1, podemos escrev-la na forma ca a e f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) = (xk yk )Fk (xk , . . . , xn ) , (32.41)
onde Fk uma funo innitamente diferencivel de xk . Como o lado esquerdo uma funo innitamente diferencivel e ca a e ca a das demais variveis, Fk tambm o ser. Logo, (32.38) segue de (32.40) e de (32.41). a e a
O Teorema de Taylor e o de Weierstrass
Os seguintes comentrios sobre a relao entre as armativas do Teorema de Weierstrass e do Teorema de Taylor so a ca a de interesse para o estudante. Ambos os teoremas estabelecem condies para que uma funo possa ser uniformemente aproximada por polinmios co ca o em intervalos compactos. As hiptese do Teorema de Weierstrass so, porm, mais fracas, pois nele requer-se apenas o a e que a funo a ser aproximada seja cont ca nua, enquanto que no Teorema de Taylor requer-se que a funao seja cont c nua e innitamente diferencivel. a
Assim, o Teorema de Weierstrass garante, por exemplo, a possibilidade de se aproximar a funo f (x) = x ca polinmios uniformemente no intervalo [0, 1], por exemplo, pelos polinmios de Bernstein (vide (32.22)) o o
n p=0
1 2
por
p 1 n 2
n p x (1 x)np . p
(32.42)
Essa funo f , contudo, no possui uma expanso de Taylor centrada em x0 = 1/2 (pois no diferencivel nesse ponto) ca a a a e a nem outra expanso de Taylor centrada em outro ponto do mesmo intervalo [0, 1] convergir ` funo em todo intervalo a aa ca (a expanso de Taylor de |x 1/2| centrada em, digamos, x0 = 3/4 1/4 + (x 3/4) = x 1/2, que s igual a |x 1/2| a e oe para x 1/2).
Uma diferena notvel entre os polinmios de Taylor e os polinmios aproximantes cuja existncia o Teorema de c a o o e Weierstrass garante, que os coecientes dos primeiros so xos, no dependendo do grau do polinmio aproximante. e a a o f (k) (0) O k-simo coeciente do polinmio de Taylor de grau N centrado em x0 = 0 de uma funo f e o ca e , que no a k! depende do grau N do polinmio. J os coecientes dos polinmios aproximantes de Bernstein (32.22) ou dos polinmios o a o o aproximantes de Landau (32.24) dependem em geral de k e de N . O k-simo coeciente do polinmio (32.22), por e o k p N N p kp exemplo, que aproxima uma funo f no intervalo [0, 1], dado por p=0 (1) ca e f N p N k e depende de k e de N. Dessa forma, quando desejamos melhorar a aproximao de uma funo atravs de seu polinmio de Taylor s ca ca e o o precisamos acrescentar mais termos ao mesmo, aumentando seu grau mas sem alterar os coecientes j utilizados. Em a contraste, se quisermos melhorar a aproximao de uma funo usando os polinmios aproximantes cuja existncia ca ca o e e garantida pelo Teorema de Weierstrass devemos aumentar o grau do polinmio e eventualmente modicar todos os o coecientes do mesmo.
Cap tulo 32
1576/1992
Comentamos, por m, que o polinmio de Taylor, ou mesmo os polinmios de Bernstein ou de Landau, nem sempre o o produzem o melhor aproximante polinomial uniforme de uma funo f (cont ca nua e innitamente diferencivel) em um a intervalo compacto. A existncia de um melhor aproximante uniforme polinomial unico em um intervalo compacto de e uma funo cont ca nua f um teorema devido a Haar18 (vide [48], [213], [189] ou [151]) mas, infelizmente, no h uma e a a frmula fechada conhecida que o determine. o O Teorema de Taylor em vrias variveis a a
Se g : Rn C uma funo de n variveis reais, K-vezes diferencivel em um certo dom e ca a a nio Rn , podemos obter o anlogo do Teorema de Taylor atravs do seguinte procedimento. Seja f : R C denida por f (t) := g(y + th), com a e y, h Rn de modo que y e x y + h pertencem a algum aberto convexo 0 (a convexidade necessria para que e a se possa garantir que y + th pertena a 0 para todo t [0, 1]). Para a a-sima (a K) derivada f (a) (t), vale c e f (a) (t) = a!
a
1 , ..., n =0 1 ++n =a
h1 hn ag n 1 y + th 1 1 ! n ! y1 yn n
=
Nn a
h Dy g !
y + th ,
(32.43)
sendo que, acima, usamos a notao de multi- ca ndices introduzida ` pgina 685. Essa expresso segue facilmente, pela a a a n d = hk , igualdade vlida quando aplicada a f (t) = g(y + th). Disso temos a regra da cadeia, de dt yk
k=1
da f (t) = dta
k=1
hk yk
g(y + th) =
1 , ..., n =0 1 ++n =a
a! a h1 hn n 1 g y + th . 1 ! n ! 1 y1 yn n
O Teorema de Taylor, Teorema 32.6, pgina 1571, vale para a funo f na varivel t e se considerarmos o caso em a ca a que t = 1 e t0 = 0 obteremos o seguinte: Teorema 32.7 (Teorema de Taylor em n variveis) Se g : R C uma funo K vezes diferencivel (K 1) a e ca a em um domnio conexo 0 Rn , ento para todo N < K vale para y, x 0 , com x = y + h, a
N
g(x) = g(y + h) =
a=0 Nn a
h (D g) (y) + !
Nn +1 N
h (N + 1) !
1 0
(1 s)N Dy g
y + sh ds ,
(32.44)
ou seja,
N a
1 , ..., n =0 1 ++n =a
g(x) = g(y + h) =
a=0
h1 hn ag n 1 1 (y) 1 ! n ! y1 yn n
N +1
+
1 , ..., n =0 1 ++n =N +1
h1 hn (N + 1) 1 ! n !
1 0
(1 s)N
y1 1
N +1 g y + sh ds , (32.45) yn n
com h x y.
A relao (32.45) denominada identidade de Taylor. Os polinmios ca e o

N
TN [g](x, y) =
a=0 Nn a N a
(x y) (D g) (y) ! x1 y1 xn yn 1 ! n !
1 n y1 1
=
a=0
18 Alfrd e
1 , ..., n =0 1 ++n =a
ag (y) yn n
Haar (18851933).
Cap tulo 32
1577/1992
so denominados polinmios de Taylor de ordem N centrados em y da funo g e a expresso a o ca a RN [g](x, y) =

Nn +1 N N +1
(x y) (N + 1) ! x1 y1
1
1 0
(1 s)N (D g) y + sh ds
n 1
=
1 , ..., n =0 1 ++n =N +1
xn yn 1 ! n !
(N + 1)
0
(1 s)N
y1 1
N +1 g y + sh ds , (32.46) yn n
com h xy denominada resto da expanso de Taylor de g, ou frmula do resto da expanso de Taylor de g. Podemos, e a o a portanto, reescrever (32.45) e (32.44) na forma g(x) = TN [g](x, y) + RN [g](x, y) . (32.47)
Suponhamos agora que g seja innitamente diferencivel e que exista uma bola compacta centrada em y e de raio a 0 B(y, ) = x Rn x y tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo w B(y, ) e todo n-multi-ndice = (1 , . . . , n ) valha
w1 1
|| g 1 ! n ! || n (w) M C wn Nn ||1 ||
(15.3)
M C ||
1 ! n !(n 1)! || , (n + || 1)!
(32.48)
com || = 1 + + n . Ento, para todo x B(y, ) tem-se a g(x) =

a=0 Nn a
xy !
(D g) (y) =
a=0
a
1 , ..., n =0 1 ++n =a
x1 y1
xn yn 1 ! n !
n y1 1
ag (y) , yn n
(32.49)
sendo que a srie do lado direito converge absoluta e uniformemente em B(y, ). A srie (32.49) denominada srie e e e e de Taylor real de g centrada em y.
Prova. As primeiras armaes seguem de (32.43) e do Teorema de Taylor para uma varivel, Teorema 32.6, pgina co a a a 1571. E fcil vericar que, sob (32.48), o termo de resto (32.46) converge a zero para N e a srie (32.49) converge e absolutamente. Como ilustrao, os primeiros termos da srie de Taylor centrada em y de uma funo innitamente diferencivel g ca e ca a de duas variveis so a a g(x) = g(y) + x1 y1 x1 y1 2! x1 y1 3! x1 y1
2 3 2
g g (y) + x2 y2 (y) y1 y2
2
x2 y2 2g 2 (y) + y1 2! g 3 (y) + y1 x2 y2
3
2g 2 (y) + x1 y1 y2
3
x2 y2
2g (y) y1 y2
x2 y2 3!
3g 3 (y) y2
2
2! 1!
x1 y1 x2 y2 3g (y) + 2 y1 y2 1! 2!
3g 2 (y) + . y1 y2
Cap tulo 32
1578/1992
32.4
Aproximao de Funes por Polinmios Trigonomtricos ca co o e
Em um dos trabalhos mais inuentes da histria da F o sica e da Matemtica, Thorie Analytique de la Chaleur, a e publicado em 1822, Fourier19 lanou as bases da teoria da difuso do calor e, de maior interesse aqui, da teoria das sries c a e trigonomtricas, posteriormente denominada, com mais generalidade, Anlise Harmnica. e a o A possibilidade de expandir certas funes em sries trigonomtricas data dos trabalhos de Euler20 e de Daniel co e e Bernoulli21 sobre o problema da corda vibrante (vide Seo 19.5, pgina 885), na primeira metade do sculo XVIII. ca a e Os primeiros trabalhos de Fourier sobre o problema da propagao de calor e sobre o uso das sries de Fourier ca e datam do per odo entre 1804 e 1807. Em dezembro desse ultimo ano Fourier apresentou ao Instituto Nacional de Paris uma nota intitulada Mmoire sur la propagation de la chaleur dans les corps solides, onde propunha que toda funao e c peridica poderia ser expandida em uma srie trigonomtrica, idia inicialmente rejeitada, no totalmente sem razo, o e e e a a por um comit formado por Lagrange, Laplace, Monge e Lacroix. Parte do problema com a argumentaao de Fourier e c era causado por uma certa confuso existente ` poca quanto ao que se entende por uma funo e pela ausncia de a a e ca e demonstraes matematicamente convincentes da parte de Fourier. O primeiro tratamento matematicamente correto da co convergncia de sries de Fourier para uma certa classe de funes s foi fornecida por Dirichlet22 em 1828. Desde ento o e e co o a estudo das sries de Fourier engendrou um sem-nmero de desenvolvimentos matemticos importantes. Como exemplo, e u a citamos o desenvolvimento na noo de integral de Riemann23 , a qual foi motivada pela necessidade de controle mais ca preciso do decaimento dos coecientes de sries de Fourier. Vide comentrios da Seo 29.1, pgina 1322. e a ca a Fourier chegou `s expanses que levam seu nome procurando solues de certas equaes diferenciais ligadas ao a o co co problema de propagao de calor em slidos24 . Essa associao entre sries de Fourier e equaes diferenciais de ca o ca e co e interesse em diversas outras reas da F a sica e o leitor poder encontrar exemplos de seu uso nos problemas do Cap a tulo 19, pgina 832. Nesta seo apresentaremos os resultados bsicos da teoria da aproximao de funoes por sries a ca a ca c e trigonomtricas. e Para o leitor interessado em um texto mais aprofundado, a referncia clssica sobre sries trigonomtricas [234]. e a e e e Recomendamos tambm [121], [180], [172], [44] e [230]. Uma leitura muito estimulante [129]. Para um excelente texto e e em portugus, vide [62]. e A Seo 32.7, pgina 1613, contm diversos exerc ca a e cios sobre as sries de Fourier. Aplicaes diversas da teoria podem e co ser encontradas no Cap tulo 19, pgina 832. a
32.4.1
Preliminares
Funes T -peridicas co o
Se T > 0, uma funo f : R C dita ser T -peridica, ou peridica de per ca e o o odo T , se f (x + T ) = f (x) para todo x R. Assim, se f T -peridica, vale TT f = f , sendo T denida em (32.11). Evidentemente, se f : R C e o e T -peridica vale para todo x R que f (x + nT ) = f (x), onde n Z, ou seja, vale TnT f = f para todo n Z. o Se uma funo f : [T /2, T /2) C denida apenas em um intervalo [T /2, T /2), podemos sempre denir uma ca e sua extenso25 T -peridica ` toda reta real f : R C por f (x + nT ) = f (x) para todo x [T /2, T /2) e todo n Z. a o a Por essa razo sempre consideraremos aqui funes denidas em todo R. Note que se f : [T /2, T /2) C cont a co e nua, sua extenso f : R C s o ser se f (T /2) = limtT /2 f (t), de outra forma ser apenas cont a o a a nua por partes, com descontinuidades nos pontos x = T /2 + nT com n Z. E tambm util recordar que se f0 : R C T0 -peridica, ento f1 (x) = f0 T0 x T1 -peridica. Por essa razo, e e o a e o a T1 convencionamos s considerar aqui funes 2-peridicas. Os resultados que seguiro podem ser estendidos a funoes o co o a c
Baptiste Joseph Fourier (17681830). Euler (17071783). 21 Daniel Bernoulli (17001782). 22 Johann Peter Gustav Lejeune Dirichlet (18051859). 23 Georg Friedrich Bernhard Riemann (18261866). 24 Fourier atuou tambm na pol e tica e na administrao pblica e dedicou-se a problemas de propagaao de calor em funao de seus interesses ca u c c em Metalurgia, em parte com o propsito de melhorar o processo de produao de canhes (Fourier foi um partidrio oportunista de Napoleo) o c o a a e em parte movido por um leg timo interesse cient co. Quando jovem participou da aventura napolenica no Egito, tendo trabalhado na o edio da clebre Description de lEgypte, o livro-me da Egiptologia, completada em 1810. ca e a 25 Para a denio da noo de extenso de uma funao, vide pgina 36. ca ca a c a
20 Leonhard 19 Jean
Cap tulo 32
1579/1992
T -peridicas por um simples re-escalonamento dos argumentos das funes. o co Os seguintes resultados elementares sero usados algumas vezes no que segue: a Lema 32.1 Sejam P e f duas funes contnuas e 2-peridicas. Ento, co o a

P (x y)f (y) dy =
P (y)f (x y) dy
x+
(32.50)
para todo x R. Em particular, vale
f (y) dy =

f (x y) dy =
f (y) dy ,
x
(32.51)
tambm para todo x R. e Prova.

P (x y)f (y) dy
yxy
x+ x
P (y)f (x y) dy
x
=
y y 2
periodicidade
P (y)f (x y) dy
x+
P (y )f (x y ) dy +
x+
P (y )f (x y ) dy
x+
P (y)f (x y) dy
P (y 2)f (x y + 2) dy + P (y )f (x y ) dy +
x+
P (y )f (x y ) dy
x+
P (y)f (x y) dy P (y)f (x y) dy .
P (y )f (x y ) dy
Isso provou (32.50). A primeira igualdade em (32.51) um caso particular de (32.50) para P constante igual a 1. A e segunda igualdade em (32.51) vem de uma mudana de variveis evidente (y x y). c a Polinmios trigonomtricos o e
Uma funo denida em R que seja da forma ca

n
p(x) =
m=n
Am eimx ,
com Am C e n N0 , dita ser um polinmio trigonomtrico de per e o e odo 2. Usando a bem conhecida frmula de o Euler ei = cos() + i sen (), todo polinmio trigonomtrico no intervalo [, ] pode ser escrito na forma alternativa o e equivalente n n a0 p(x) = + am cos(mx) + bm sen (mx) , 2 m=1 m=1 No que segue, estabeleceremos, sob diversas hipteses, resultados sobre convergncia (pontual, uniforme ou no sentido o e de L2 (, ), dx ) de seqncias de polinmios trigonomtricos. ue o e Sries trigonomtricas, ou sries de Fourier e e e com am , bm C, a qual envolve as funes seno e co-seno. co
Dado um polinmio trigonomtrico de per o e odo 2 p(x) = eikx pk 2 k=n

n
(32.52)
Cap tulo 32
1580/1992
fcil constatar, usando as relaes de ortogonalidade e a co

ei(nm)x dx = 2m,n ,
m, n Z ,
(32.53)
que os coecientes pk podem ser expressos em termos de p por
pk =
eikx p(x) dx =: ek , p , 2
(32.54)
com ek (x) :=
eikx . 2
Uma questo natural saber sob quais circunstncias uma funo 2-peridica f pode ser expressa como limite (em a e a ca o um sentido a ser precisado) de uma seqncia de polinmios trigonomtricos: ue o e f (x) = lim eikx fk =: n 2 k=n
n
eikx fk , 2 k=
(32.55)
com os coecientes fk independentes de n e dados por fk =
eikx f (x) dx =: ek , f . 2
(32.56)
Uma srie como (32.55)(32.56), caso o limite exista, denominada srie de Fourier. e e e Os coecientes fk so denominados coecientes de Fourier da funo f . De (32.56) v-se que para que todos os a ca e coecientes de Fourier fk de uma funo f existam basta que f seja integrvel em [, ]. Para f integrvel e n N0 ca a a as somas parciais n n iky eikx e eikx Sn (f, x) := fk = f (y) dy (32.57) 2 2 2 k=n k=n so denominadas somas parciais de Fourier da funo f . A srie de Fourier da funo f se escreve ento como o limite a ca e ca a
n
lim Sn (f, x) := lim
eikx fk =: n 2 k=n
eikx fk 2 k=
caso esse limite exista em algum sentido a ser precisado. Observemos que alguns autores preferem escrever Sn (f, x) na forma
n
Sn (f, x) :=
k=n
Fk eikx ,
com
Fk :=
1 2
eiky f (y) dy ,
kZ.
Como j mencionamos, foi Fourier o primeiro a propor expresses como (32.55)(32.56). Coube a seus sucessores a o estudar sobre quais hipteses e em que sentido (32.55)(32.56) so vlidas. Uma questo que ento se coloca identicar o a a a a e condies sobre f sob as quais a seqncia de polinmios trigonomtricos Sn (f, x) convirja pontualmente a funao f , co ue o e ` c ou seja, para que o limite limn Sn (f, x) de (32.55) exista e seja igual a f para todo x [, ] ou quase em toda parte. Devido ao largo emprego de sries de Fourier na resoluo de equaes diferenciais, essa no apenas uma questo e ca co a e a acadmica. No que seguir, empenharemo-nos em apresentar respostas, ainda que parciais, a essa questo e a outras e a a congneres. e Um outro encontro com as sries de Fourier: a expanso de Laurent e a
Antes de prosseguirmos observemos que sries de Fourier convergentes ocorrem naturalmente no contexto da teoria e das funes anal co ticas de uma varivel complexa. a Se g(z) uma funo anal e ca tica no interior de um anel Aab = {z C, a < |z| < b} C, com 0 a < b, bem sabido e da teoria das funes de varivel complexa que g pode ser representada em Aab por uma srie de Laurent26 centrada em co a e z0 = 0: g(z) =
26 Pierre
gn z n ,
n=
Alphonse Laurent (18131854).
Cap tulo 32
1581/1992
a qual absolutamente convergente para z Aab , sendo os coecientes gn dados por e gn = 1 2i

C
g(w) dw wn+1
para todo n Z, com C sendo uma curva suave e fechada em Aab que d uma volta em torno de z0 = 0 no sentido a anti-horrio. Se tivermos a < 1 < b, o c a rculo unitrio S 1 = {z C, |z| = 1} estar inteiramente contido em Aab . Nesse a a caso, se escolhermos z no c rculo unitrio |z| = 1, podemos escrever z = ei com < . Denindo f () := g(ei ), a a expanso de Laurent ca a f () =
gn ein ,
n=
que uma expanso de f em termos de uma srie trigonomtrica. Tomando a curva C como sendo tambm o c e a e e e rculo unitrio (ou seja, tomando w = ei com < ), a expresso para os coecientes gn ca a a gn = Assim, obtemos para f a representao ca f () =
n=
1 2
f ()ein d .
ein f () d 2
ein . 2
(32.58)
Conclu mos assim que se f () a restrio ao c e ca rculo unitrio de uma funo anal a ca tica em Aab com 0 a < 1 < b (no caso, da funo g), ento f possui a representao em srie de Fourier (32.58), a qual, sob as hipteses, converge absoluta ca a ca e o e uniformemente para todo < . Note que, sob essas hipteses, f no apenas cont o e a nua, mas innitamente diferencivel em relao a . a ca No que seguir, veremos que condies mais fracas sobre f podem ser impostas, com resultados anlogos. a co a
32.4.2
A Srie de Fourier de Funes Peridicas de Per e co o odo T
A expresso (32.57) apresenta a srie de Fourier de uma funo f integrvel e peridica de per a e ca a o odo 2. Se f for integrvel a e T -peridica (com T > 0), as somas parciais de Fourier sero dadas para n N0 por o a Sn (f, x) := ei T x fk T k=n
n
2k
T /2
com
fk =
T /2
ei T T
2k
f (y) dy ,
(32.59)
com lim Sn (f, x) representando a srie de Fourier de f , caso esse limite exista em algum sentido a ser precisado. e
n
E. 32.3 Exerccio. Obtenha (32.59) a partir de (32.57). Sugesto: se f T -peridica, ento F (x) := f a e o a peridica e a ela se aplica (32.57). o
T 2 x
2e
A srie de Fourier de uma funo T -peridica tambm pode ser expressa em termos de uma srie de senos e co-senos. e ca o e e Para as somas parciais de Fourier, tem-se Sn (f, x) = com Am = 2 T
T /2
A0 + Am cos 2 m=1
2m x + Bm sen T
T /2
2m x T
(32.60)
cos
T /2
2m y f (y) dy , T
m0
Bm =
2 T
sen
T /2
2m y f (y) dy , T
m1. = cos
(32.61)
2k T x
Essas expresses podem ser obtidas diretamente de (32.59) com uso da frmula de Euler ei o o i sen 2k x , sendo que os coecientes Am e Bm relacionam-se com os coecientes fk por T 2f0 A0 = , T Am = fm + fm T e Bm = i fm fm , T m1,
2k T x
Cap tulo 32
1582/1992
do que obtemos tambm e T A0 , f0 = 2
fm
T = Am iBm 2
fm
T = Am + iBm , 2
m1.
E. 32.4 Exerccio. Obtenha as expresses acima. o As expresses (32.60)(32.61) podem tambm ser obtidas atravs das relaes de ortogonalidade das funes seno e o e e co co co-seno:
T /2
cos
T /2
2n y T
sen
2m y T
dy
0,
n, m N0 .
T 2
(32.62)
T /2
cos
T /2
2n y cos T
2m y T
dy
T /2
sen
T /2
2n y T
sen
2m y T
T 0, m , n = 0, m N0 , T n, m , 2 n, m N0 ,
n, m , n, m N ,
(32.63)
dy
(32.64)
vlidas para todo T > 0. Acima, N0 = {0, 1, 2, 3, 4, . . .} e N = {1, 2, 3, 4, . . .}. a E. 32.5 Exerccio importante. Demonstre as relaes de ortogonalidade (32.62)(32.64). Para tal use, por exemplo, as co bem-conhecidas identidades, conhecidas como frmulas de prostafrese27 o e sen (a + b) = cos(a + b) = sen (a) cos(b) = cos(a) cos(b) = sen (a) sen (b) = vlidas para todos a, b C. a E. 32.6 Exerccio. Seja f : R C uma funo T -peridica. Mostre que se f real, ento ca o e a fk = fk para todo k Z . Conclua disso que f real, ento sua srie de Fourier tambm real. Note que isso evidente por (32.60)(32.61). e a e e e e sen (a) cos(b) + sen (b) cos(a) , cos(a) cos(b) sen (a) sen (b) , 1 sen (a + b) + sen (a b) , 2 1 cos(a + b) + cos(a b) , 2 1 cos(a b) cos(a + b) , 2 (32.65) (32.66) (32.67) (32.68) (32.69)
32.4.3
Polinmios Trigonomtricos e Funes Cont o e co nuas e Peridicas o
Seqncias delta de Dirac peridicas ue o
A denio que segue naturalmente relacionada ` denio de seqncia delta de Dirac ` pgina 1558. ca e a ca ue a a
27 Do grego prosthesis (soma) e aphaeresis (subtraao). Nessa forma, essas relaoes foram apresentadas pela primeira vez por c c Johann Werner (Vernerus) (14681522), mas provavelmente eram conhecidas de muito antes. Elas podem ser facilmente demonstradas, mesmo para argumentos complexos, com uso da frmula de Euler ei = cos + i sen , C. o
Cap tulo 32
1583/1992
Denio 32.3 (Seqncias delta de Dirac peridicas) Uma seqncia de funes 2-peridicas Kn : R R, ca ue o ue co o n N, dita ser uma seqncia delta de Dirac 2-peridica centrada em 0 se satiszer e ue o
1. Para cada n N, a funo Kn 2-peridica e integrvel no intervalo [, ], ou seja, ca e o a 2. Existe uma constante K > 0 tal que para todo n N vale

|Kn (x)| dx < .
|Kn (x)| dx < K .
(32.70)
Kn (x) dx = 1 .
(32.71)
4. Para todo com 0 < < vale lim

|Kn (x)| dx +
|Kn (x)| dx
= 0.
(32.72)
Uma seqncia de funes R R dita ser uma seqncia delta de Dirac peridica em R centrada em x0 R se for ue co e ue o da forma Tx0 Kn , onde Kn uma seqncia delta de Dirac em R centrada em 0 (com Tx0 denida em (32.11)). e ue O seguinte fato sobre seqncias delta de Dirac 2-peridicas de fundamental importncia para o que segue: ue o e a Teorema 32.8 Seja f : R C uma funo contnua e 2-peridica. Seja Kn uma seqncia delta de Dirac 2-peridica. ca o ue o Dena-se
Fn (x) :=
Kn (x y)f (y) dy
(32.50)
Kn (y)f (x y) dy
para todo n N. Ento, a seqncia Fn uma seqncia de funes contnuas e 2-peridicas e converge uniformemente a ue e ue co o a f em R: lim f Fn = lim sup |f (x) Fn (x)| = 0 .
n n xR
Prova. Como f cont e nua no intervalo compacto [, ] ela uniformemente cont e nua nesse intervalo (Teorema 30.12, pgina 1419) e, como tambm peridica, em todo R. Isso permite-nos reproduzir a demonstrao do Teorema 32.1, a e e o ca pgina 1560. a Observemos primeiramente que, como f cont e nua, ela limitada e denindo C0 := sup{|f (x)|, x [, ]}, e teremos
(32.70)
Kn (y)f (x y) dy
|Kn (y)| |f (x y)| dy C0
|Kn (y)| dy
C0 K .
Isso mostra que as integrais que denem as funes Fn esto bem denidas. Que cada Fn 2-peridica evidente (se co a e o e no for Exerc a cio!).
Que cada Fn cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que |z z | < (). Seja, ento > 0 e x, x R quaisquer tais que a |x x | < (). Teremos, |Fn (x) Fn (x )| =

Kn (y) f (x y) f (x y) dy
|Kn (y)| f (x y) f (x y) dy
(32.70)
|Kn (y)| dy
K ,
Cap tulo 32
1584/1992
pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0, estabeleceu-se a continuidade de Fn . Vamos agora escrever, usando (32.71),
f (x) Fn (x) =
f (x) f (x y) Kn (y) dy .
Para cada com 0 < < podemos quebrar a ultima integral em trs intervalos: e

(32.73)
e denominaremos essas integrais I, II e III, respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que |y| () e, portanto, escolhendo = ()

f (x) f (x y) |Kn (y)| dy

(32.70)
|Kn (y)| dy
|Kn (y)| dy
K .
Passemos agora `s integrais I e III. Como f limitada, vale para a integral I, a e

f (x) f (x y) |Kn (y)| dy 2C0
|Kn (y)| dy
e, analogamente, para a integral III,

f (x) f (x y) Kn (y) dy 2C0
|Kn (y)| dy ,
Logo, por (32.72), podemos obter

escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I, II e III conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa.
Aproximao de funes continuas 2-peridicas por polinmios trigonomtricos. O Teorema de Fejr ca co o o e e A proposio que segue e sua demonstrao so extra ca ca a das do tratamento de [180]. Proposio 32.7 Para m N dena-se ca Km (x) := onde Nm :=

1 Nm
1 + cos(x) 2
m
1 x cos Nm 2
2m
1 + cos(y) 2
dy =
cos
y 2
2m
dy .
Ento, a seqncia Km uma seqncia delta de Dirac de perodo 2. a ue e ue
Cap tulo 32
1585/1992
As constantes Nm so dadas por a Nm = 2 para todo m N. Prova. E evidente que Km (x) 0 para todo m N, que Km (x) = Km (x) para todo x e que cada Km cont e nua e 2-peridica. Que Km (x)dx = 1 tambm evidente pela denio do fator de normalizao Nm . Precisamos apenas o e e ca ca provar a propriedade 4 da denio de seqncia delta de Dirac de per ca ue odo 2. A primeira coisa a fazer obter uma estimativa para o fator de normalizao Nm . Como Km (x) uma funao par, e ca e c vale 1 = 2 0 Km (x)dx. Assim, usando o fato que 1 sen (x), vale 1 = 2 Nm
0
(2m)! 22m (m!)2
= 2
(2m 1)!! , 2m m!
(32.74)
1 + cos(y) 2
dy
2 Nm
1 + cos(y) 2
sen (y) dy
u=1+cos(y)
2 2m N
m 0
um du =
4 , (m + 1)Nm
o que implica
1 Nm
m+1 4 .
A segunda observao que ca e

Km (x) =
m 2m N
m
(1 + cos(x))
m1
sen (x) ,
que nos informa que Km decrescente no intervalo [0, ]. Portanto, se 0 < vale para todo x [, ] e Km (x) Km () = Logo, sup{Km (x), x [, ]} de Dirac 2-peridica. o 1 Nm
m
1 + cos() 2
(m + 1) 4
1 + cos() 2
(m+1) 1+cos() 4 2
e, como 1+cos() < 2 para 0 < , segue que lim sup{Km (x), x
m
[, ]} = 0. Isso implica que lim
|Km (x)|dx = 0 e completa a demonstrao que Km forma uma seqncia delta ca ue
Para provar (32.74), notamos que pelo binmio de Newton o cos t 2

2m
1 22m
eit/2 + eit/2
2m
1 22m
2m p=0
2m i(pm)t e . p
(32.75)
Com isso, (32.74) segue facilmente das relaes de ortogonalidade (32.53). Uma outra prova de (32.74) por uma mudana co c de variveis e repetindo-se o procedimento de integrao por partes pode ser encontrada em (14.69), pgina 641. a ca a Chegamos agora ao importante Teorema 32.9 (Teorema de Fejr) Se f : R C contnua e 2-peridica, ento f pode ser aproximada unifore e o a memente em R por polinmios trigonomtricos, ou seja, para todo > 0 existe um polinmio trigonomtrico p tal que o e o e f p < , onde f p = sup |f (x) p (x)|.
xR
Esse teorema foi primeiramente demonstrado por Fejr28 em 1900 em uma forma ligeiramente diferente, da qual e falaremos mais adiante. Conforme exposto na Seo 32.6.3, pgina 1610, o Teorema 32.9, acima, tem por implicaao a ca a c convergncia da srie de Fourier de (32.55) para funes f L2 ([, ], dx), com a convergncia se dando no sentido e e co e da norma de L2 ([, ], dx). Isso no necessariamente implica a validade de (32.55) para todo ponto x [, ] a
28 Lipt o
Fejr (18801959). e
Cap tulo 32
1586/1992
(convergncia pontual). Em seguida apresentamos uma demonstrao independente do Teorema de Fejr, mas adiante e ca e (Proposio 32.8, pgina 1587) provaremos que o mesmo equivalente ao Teorema de Weierstrass, Teorema 32.3, pgina ca a e a 1564. Prova do Teorema 32.9. Unindo o Teorema 32.8 ` Proposio 32.7, conclu a ca mos que a seqncia de funoes cont ue c nuas e 2-peridicas denida por o 2m 1 xy cos f (y) dy , Em (f, x) := Nm 2 m N, aproxima uniformemente f em R. Por (32.75), segue que
2m
Em (f, x) =
p=0
2 2m fpm ei(pm)x , 2m N 2 p m
(32.76)
onde
1 fk := 2
eiky f (y) dy ,
kZ,
(32.77)
so os coecientes de Fourier de f . Com (32.74), obtemos a Em (f, x) = eipx (m!)2 fp . (m p)!(m + p)! 2 p=m
m
(32.78)
As expresses (32.76) e (32.78) mostram que Em (f, x) um polinmio trigonomtrico. o e o e A armao a seguir conseqncia do Teorema 32.9 e de (32.78). ca e ue Corolrio 32.3 Se f : R C contnua e 2-peridica, ento f univocamente determinada por seus coecientes de a e o a e 1 iky e f (y) dy, k Z. Fourier fk := 2 Prova. mesma Em (f, f (x) = Por (32.78) vemos que f pode ser recuperada a partir do conhecimento dos coecientes fk . Tambm pela e expresso, vemos que se f e g so cont a a nuas, 2-peridicas e tm os mesmos coecientes de Fourier, ento o e a x) = Em (g, x) para todo x R e todo m N. Assim, pelo Teorema 32.9, vale para todo x R que lim Em (f, x) = lim Em (g, x) = g(x).
m
Comentrios sobre convergncia pontual. Teoremas de Du Bois-Reymond e Carleson a e
O Teorema 32.9 arma que f pode ser aproximada uniformemente por polinmios trigonomtricos de per o e odo 2. n Surpreendentemente, porm, isso no implica que a srie de Fourier Sn (f, x) = k=n fk eikx de uma funao cont e a e c nua f seja convergente em todo ponto x. O estudante deve atentar para o fato que, por (32.57) e (32.78), Sm (f, x) e Em (f, x) so polinmios trigonomtricos a o e distintos. Assim, a aproximao de f (x) cont ca nua e 2-peridica pela seqncia Em (f, x), implicada pelo Teorema 32.9, o ue no necessariamente implica a aproximao de f (x) por sua srie de Fourier Sm (f, x). a ca e De fato, em 1873 Du Bois-Reymond29 exibiu um exemplo de uma funo cont ca nua e 2-peridica (e, portanto, para o a qual o Teorema 32.9 se aplica) cuja srie de Fourier diverge em x = 0. Apesar de cont e nua, a funao de Du Boisc Reymond no diferencivel em x = 0 (ou mesmo Hlder-cont a e a o nua). Esse comentrio importante pois, como veremos a e no Teorema 32.12, pgina 1591, continuidade e diferenciabilidade so sucientes para garantir a convergncia pontual da a a e srie de Fourier. e Os passos da construo de Du Bois-Reymond podem ser acompanhados na referncia [129] ou em [121]. O leitor inteca e ressado que tenha algum conhecimento de Teoria Quntica de Campos poder deleitar-se em reconhecer que a construao a a c de Du Bois-Reymond prenuncia certas idias associadas a transformaes de escala e de grupo de renormalizaao. e co c
29 Paul
David Gustav Du Bois-Reymond (18311889).
Cap tulo 32
1587/1992
O exemplo de Du Bois-Reymond pode ser aguado ainda mais. Em 1966 Kahane30 e Katznelson31 provaram que: dado c um conjunto de medida nula E em [, ], existe uma funo f contnua e 2-peridica tal que supnN0 |Sn (f, x)| = ca o para todo x E. Uma demonstrao dessa armao pode ser encontrada em [121]32 . ca ca
O resultado mais importante sobre a questo da convergncia pontual da srie de Fourier de funoes de quadrado a e e c integrvel devido a Carleson33: se f uma funo de quadrado integrvel em [, ], sua srie de Fourier converge a e e ca a e quase em toda parte, ou seja, pode divergir apenas em um conjunto de medida nula. Como mencionamos, para que possamos garantir convergncia da srie de Fourier de uma funo f em todo ponto e e ca x [, ] no basta requerer continuidade, sendo a adio da condio de diferenciabilidade suciente para tal. A a ca ca armao precisa ser apresentada nas pginas que seguem (Teorema 32.12, pgina 1591). ca a a a O Teorema de Fejr e o Teorema de Weierstrass e
Os teoremas de Fejr e de Weierstrass armam que uma funo cont e ca nua pode ser uniformemente aproximada quer por polinmios quer por polinmios trigonomtricos (se for tambm peridica). Talvez um tanto surpreendentemente o o e e o esses dois teoremas so equivalentes. a Proposio 32.8 O Teorema de de Weierstrass, Teorema 32.3, pgina 1564, e o Teorema de Fejr, Teorema 32.9, ca a e pgina 1585, so equivalentes. a a Prova. Pelo Teorema de Fejr, Teorema 32.9, pgina 1585, os polinmios trigonomtricos so densos (na topologia e a o e a uniforme, i.e., na topologia da norma do supremo ) no conjunto das funes cont co nuas 2-peridicas. Pela Proposiao o c 32.6, pgina 1574, os monmios trigonomtricos einx , n Z, podem ser aproximados uniformemente no intervalo [, ] a o e por polinmios (mais especicamente, por seus polinmios de Taylor). Conclu o o mos disso que os polinmios so densos o a nas funes cont co nuas no intervalo [, ]. Por uma translao, combinada a um re-escalonamento (operaoes que levam ca c polinmios em polinmios, vide a discusso que antecede o Teorema 32.20, pgina 1624), isso prova que os polinmios o o a a o so densos nas funes cont a co nuas em qualquer intervalo compacto [a, b] R. Portanto o Teorema de Weierstrass (ao menos na verso do Teorema 32.3, pgina 1564) segue do Teorema de Fejr. a a e A rec proca tambm verdadeira. Para prov-la seja f () uma funo cont e e a ca nua e 2-peridica denida no intervalo o [, ]. Temos, naturalmente que f () = f (), devido ` continuidade e ` periodicidade. No retngulo fechado a a a R = [1, 1]2 R2 dena-se a funo F (x1 , x2 ) = f (), sendo 1 x1 1 e 1 x2 1, com = x2 + x2 e ca 1 2 = arctan(x2 /x1 ), ou seja, x1 = cos e x2 = sen . E claro que F cont e nua e, pelo Teorema 32.5, pgina 1569, F a pode ser uniformemente aproximada em R por polinmios em x1 e x2 , ou seja, por polinmios em cos e sen . O o o c rculo unitrio = 1 est inteiramente contido no retngulo fechado R e nele a funo F igual a f . Conclu a a a ca e mos disso que f pode ser uniformemente aproximada por polinmios em cos e sen , ou seja, por polinmios trigonomtricos, o o e provando que o Teorema de Fejr segue do de Weierstrass. e
32.4.4
Convergncia de Sries de Fourier e e
Os n cleos de Dirichlet u
Dado um polinmio trigonomtrico p, vimos em (32.52)(32.54) que podemos escrever o e

n
p(x) =
k=n
1 2
eiky p(y) dy eikx =
Dn (x y) p(y) dy ,
onde, para cada n N0 , denimos Dn (x) :=

30 Jean-Pierre 31 Yitzhak
1 2
eikx .
k=n
(32.79)
Kahane (1926). Katznelson (1934). 32 A referncia original : J-P Kahane and Y. Katznelson, Sur les ensembles de divergence des sries trignomtriques, Studia Mathematica, e e e e 26 305-306, (1966). 33 Lennart Axel Edvard Carleson (1923). A referncia original : L. Carleson, On convergence and growth of partial sums of Fourier e e series. Acta Math., 116, 135-157 (1966).
Cap tulo 32
1588/1992
Essas funes Dn so denominadas ncleos de Dirichlet. Perceba-se que expresses como (32.55), (32.57) ou (32.58) co a u o podem ser re-escritas na forma

Sm (f, x) =
Dm (x y)f (y) dy ,
f (x) =
lim
Dm (x y)f (y) dy .
As questes que colocamos acima a respeito das sries de Fourier podem ser respondidas com um melhor conhecimento o e dos ncleos de Dirichlet. Suas propriedades bsicas encontram-se enunciadas na proposio que segue. u a ca Proposio 32.9 Denindo ca Dn (x) := 1 2
n
eikx ,
k=n
(32.80)
n N0 , valem as seguintes armaes: cada Dn uma funo contnua, par e 2-peridica. Vale co e ca o
Dn (x) dx = 1
(32.81)
para todo n N0 e vale a expresso mais explcita a Dn (x) = tambm para todo n N0 . e Prova. Que cada Dn cont e nua e 2-peridica evidente. Que cada Dn uma funo par evidente por (32.82), que o e e ca e provaremos abaixo. A relao (32.81) segue facilmente das relaes de ortogonalidade (32.53), pois ca co
1 sen (n + 1 )x 2 , x=0, 2 sen x 2
com
Dn (0) =
2n + 1 , 2
(32.82)
Dn (x) dx =
1 2
eikx dx =
k=n
k, 0 = 1 .
k=n
Para provar (32.82), escrevemos, para x = 0, Dn (x) = 1 2

n
eikx =
k=n
einx 2
2n
eikx
k=0
einx 1 ei(2n+1)x 2 1 eix 1 einx ei(n+1)x 1 ei(n+1/2)x ei(n+1/2)x 1 sen (n + 1 )x 2 . = = ix ix/2 eix/2 2 1e 2 2 e sen x 2
Acima, na passagem da primeira para a segunda linha, usamos a bem-conhecida expresso da soma de uma progresso a a geomtrica e m 1 am+1 ak = , (32.83) 1a
k=0
vlida para m N e a = 1. Que Dn (0) = (2n + 1)/2 evidente pela denio (32.80). a e ca Apesar de os ncleos de Dirichlet no serem uma seqncia delta de Dirac 2-peridica, tal como denido a pgina u a ue o ` a 1582 (falta-lhe a propriedade 2 da denio daquelas), poss provar que, sob hipteses convenientes sobre a funao ca e vel o c f , seus efeitos so semelhantes `queles descritos no Teorema 32.8, pgina 1583. As prximas pginas tratam disso. a a a o a O Lema de Riemann-Lebesgue
Cap tulo 32
1589/1992
Proposio 32.10 Sejam fk os coecientes de Fourier de uma funo contnua e 2-peridica f : R C. Ento, ca ca o a lim fk = 0.
Prova. Se f cont e nua e 2-peridica e > 0, existe, pelo Teorema 32.9, um polinmio trigonomtrico 2-peridico p o o e o tal que |f (x) p (x)| para todo x [, ]. Como p um polinmio trigonomtrico, seus coecientes de Fourier e o e (p )k = 1 p (x)eikx dx anulam-se para todo |k| maior que um dado K() N. Assim, para |k| > K() tem-se 2
1 (f (x) p (x))eikx dx |f (x) p (x)|dx 2 . 2 Logo, provamos que para todo > 0 existe N () := K(/ 2) > 0 tal que |fk | para todo |k| > N (). Por deniao, c isso signica que lim fk = 0.
|fk | =
1 2
f (x)eikx dx =
1 2
Essa proposio pode ser fortemente generalizada. ca Teorema 32.10 (Lema de Riemann-Lebesgue) Seja f : [, ] C uma funo integrvel (no sentido de Lebesca a gue). Ento, lim fk = 0. a
k
Prova. Toda funo integrvel pode ser aproximada por uma funo cont ca a ca nua e 2-peridica na norma L1 , ou seja, para o cada > 0 existe uma funo cont ca nua e 2-peridica f tal que |f (x) f (x)|dx . Assim, de f (y) eiky dy = o iky dy + f (y) eiky dy, obtemos (f (y) f (y)) e 2|fk | =
1 2
f (y) eiky dy
|f (y) f (y)| dy +
f (y) eiky dy +
2 |(f )k | .
Pela Proposio 32.10, podemos obter |(f )k | tomando |k| grande o suciente e, assim, para tais ks vale |fk | ca 1+ , completando a prova.
Nota.
O Lema de Riemann-Lebesgue tem uma histria interessante. Sua primeira demonstraao foi obtida por Riemann em uma tese, o c apresentada ` Universidade de Gttingen em 1854 e publicada em 1867, intitulada Sobre a representabilidade de uma funo por uma a o ca srie trigonomtrica34 , tese essa requerida para a obtenao do t e e c tulo de Privatdozent que lhe permitiria dar aulas na universidade (e cobrar ` e por elas dos alunos. A poca, na Alemanha, somente professores titulares eram contratados das universidades e recebiam salrios das a mesmas). As regras exigiam que o candidato redigisse uma tese e apresentasse um seminrio sobre um tema diferente diante de uma banca. a O candidato propunha quatro temas para o seminrio dos quais um era escolhido pelo decano da instituiao. Riemann props trs temas a c o e sobre Eletromagnetismo e um sobre Geometria. No caso de Riemann o decano era ningum menos que Gauss, que escolheu o tema de e Geometria, pois soubera que Riemann tinha idias bastante originais a respeito. A escolha no poderia ter sido melhor, pois o seminrio de e a a Riemann fez Histria35 e lanou as bases do que hoje se denomina Geometria Riemanniana (vide Cap o c tulo 31, pgina 1462, espacialmente a a Seo 31.4, pgina 1492), cuja importncia ` Teoria da Relatividade Geral bem-conhecida. Mas a tese escrita versava sobre a teorias das ca a a a e sries de Fourier e para a obteno dos seus resultados, em particular, do que hoje conhecido como Lema de Riemann-Lebesgue, Riemann e ca e percebeu a necessidade de apresentar uma denio mais precisa da noao de integral da que era empregada at ento. Nascia a a chamada ca c e a integral de Riemann. O estudante poder acompanhar em [62] uma demonstraao do Lema de Riemann-Lebesgue prxima ` linha original a c o a de Riemann e aperceber-se da necessidade de preciso da noao de integral naquele contexto. Nossa demonstraao de acima seguiu outras a c c linhas. Posteriormente, Lebesgue estendeu a noo de integral de Riemann e reobteve uma prova do Teorema 32.10 para a classe das funes ca co integrveis segundo Lebesgue. a
O seguinte teorema, devido a Dini36 , generaliza resultados anteriores de Dirichlet e desempenha um papel importante no estudo da convergncia de sries de Fourier. Suas conseqncias mais relevantes sero enunciadas aps sua e e ue a o demonstrao. ca Teorema 32.11 (Condio de Dini) Seja f : R C integrvel e 2-peridica e seja x R tal que ca a o
t tulo original Uber die Darstellbarkeit einer Function durch eine trigonometrische Reihe. e contedo do seminrio foi publicado sob o t u a tulo Sobre as hipteses que fundamentam a Geometria (Uber die Hypothesen welche o der Geometrie zu Grunde liegen). 36 Ulisse Dini (18451918).
34 O 35 O
A condio de Dini ca
Cap tulo 32
1590/1992
1. Existem os dois limites laterais lim f (x + t) e lim f (x + t), que denotamos por f (x+ ) e f (x ), respectivamente.
t0+ t0
2. Existe > 0 tal que

0
|Df (x, y)| dy < , y
(32.84)
onde Df (x, y) := f (x + y) + f (x y) (f (x+ ) + f (x )) . Ento, a

n
lim Sn (f, x) =
f (x+ ) + f (x ) . 2
Prova. Usando (32.50) podemos escrever Sn (f, x) = Dn (y)f (x y)dy. Como Dn uma funo par, a ultima integral e ca pode tambm ser escrita como Dn (y)f (x y)dy = Dn (y)f (x + y)dy. Assim, podemos escrever, e Sn (f, x) = Usando tambm (32.81), obtemos e Sn (f, x) f (x+ ) + f (x ) 1 = 2 2

1 2
Dn (y) f (x + y) + f (x y) dy
Dn (y)Df (x, y) dy =
0
Dn (y)Df (x, y) dy ,
(32.85)
A ultima igualdade provm do fato que Df (x, y) = Df (x, y). Para 0 < < podemos escrever e Sn (f, x) f (x+ ) + f (x ) = 2

Dn (y)Df (x, y) dy +
0
Dn (y)Df (x, y) dy .
(32.86)
Comecemos nossa anlise pela primeira integral em (32.86). O integrando a e Dn (y)Df (x, y) = A funo ca
y 2
1 sen n + 1 y 2 Df (x, y) = sen 2 sen y 2
n+
1 2
y 2
sen
y 2
Df (x, y) . y
2
sen ( y ) 2
crescente em todo intervalo [0, ] (mostre isso!) e, portanto, limitada superiormente por e
1 |Df (x, y)| . 2 y
sen ( ) 2
= 1. 2
Assim, naquele intervalo, |Dn (y)Df (x, y)|

0
Logo, para primeira integral em (32.86) temos 1 2

0
Dn (y)Df (x, y) dy
|Df (x, y)| y 0
|Df (x, y)| dy y
Escolhendo pequeno o suciente podemos obter
dy em funo da condio (32.84). ca ca

0
Com esse assim xado, passemos agora ` segunda integral em (32.86). Usando (32.82), a mesma ca a 1 2
0
einy [, ] (y)
eiy/2 Df (x, y) 2i sen (y/2)
dy
1 2
einy [, ] (y)
eiy/2 Df (x, y) 2i sen (y/2)
dy
(32.87)
onde [, ] a funo caracter e ca stica do intervalo [, ]: 1, y [, ] ,
[, ] (y) =
0, y [, ] .
Cap tulo 32
1591/1992
f 1 so integrveis (note que a singularidade de sen (y/2) em y = 0 eliminada a a e Agora, as funes [, ] (y) co 2i sen (y/2) pelo fator [, ] (y)). Assim, aplica-se o Lema de Riemann-Lebesgue, Teorema 32.10, e as integrais em (32.87) podem ser feitas menores que qualquer > 0 prescrito, tomando |n| grande o suciente. Isso completa a demonstraao. c
eiy/2 D (x, y)
Aps o Teorema 32.11 a questo que naturalmente se coloca saber para quais tipos de funes f a condiao de o a e co c Dini satisfeita. H duas classes de funes de maior interesse (especialmente no contexto de aplicaoes a equaoes e a co c c diferenciais): as cont nuas e as cont nuas por partes. As proposies que seguem renem esses casos. co u Proposio 32.11 I. Suponha que f : R C seja Hlder37 -contnua em um ponto x [, ], ou seja, satisfaa ca o c |f (x) f (y)| |x y| (32.88)
Condies de convergncia pontual de sries de Fourier co e e
para todo y em um intervalo [x , x + ], para algum > 0, algum 0 e algum > 0. Ento, f satisfaz a condio a ca de Dini (32.84) em x. II. Se f : R C no for contnua em x mas existirem os limites laterais lim f (x + t) =: f (x+ ) e lim f (x + t) =: a
t0+ t0
f (x ) e de sorte que existam constantes > 0, M+ 0 e M 0 tais que f (x + y) f (x+ ) y M+ e f (x y) f (x ) y M (32.89)
para todo 0 < y , ento a condio de Dini (32.84) satisfeita em x. a ca e Prova. I. Por (32.88), f cont e nua em x e, portanto, Df (x, y) = f (x + y) + f (x y) 2f (x). Assim, para y [, ] valer a |Df (x, y)| = Logo,
0
f (x + y) f (x) + f (x y) f (x)
f (x + y) f (x) + f (x y) f (x)
0
(32.88)
2|y| .
|Df (x, y)| dy 2 y
y 1 dy =
2 < .
II. Para todo y (0, ], |Df (x, y)| = y f (x + y) f (x+ ) + f (x y) f (x ) y o que claramente implica a condio de Dini (32.84). ca Chegamos `s conseqncias mais relevantes da Condio de Dini: a ue ca Teorema 32.12 (Teorema de Fourier) A. Se f : R C contnua, diferencivel para todo x R e 2-peridica, e a o ento a lim Sn (f, x) = f (x)
n
f (x + y) f (x+ ) f (x y) f (x ) + y y
(32.89)
M+ + M ,
para todo x R, ou seja, a srie de Fourier de f converge pontualmente a f . e

37 Otto
Ludwig Hlder (18591937). o
Cap tulo 32
1592/1992
B. Se f : R C contnua por partes e 2-peridica e as derivadas laterais e o f (x+ ) := lim existirem para todo x R, ento a
n s0+
f (x + s) f (x+ ) s
f (x ) := lim f (x+ ) + f (x ) 2
s0
f (x + s) f (x ) s
lim Sn (f, x) =
para todo x R. Prova. A. Se f cont e nua e diferencivel em x, ento f Hlder-cont a a e o nua com = 138 (justique!). B. Se existem f (x ), como denidos acima, ento valem as relaes em (32.89) (justique!). a co Que a srie de Fourier de uma funo cont e ca nua por partes converge ao valor mdio (f (x+ ) + f (x ))/2 foi sugerido e pelo prprio Fourier, com base em diversos exemplos, em seu trabalho de 1822 Thorie Analytique de la Chaleur . A o e primeira demonstrao correta foi obtida por Dirichlet em 1828. Antes de Dirichlet, Poisson39 e Cauchy40 apresentaram ca demonstraes falhas. A natureza no-trivial dos erros desses autores discutida em [129]. co a e Inverso de integrais denidas com a srie de Fourier a e
Na Seo 32.1, pgina 1552, mencionamos o fato bsico que se tivermos uma seqncia de funes fn que converge ca a a ue co
b b n
uniformemente a uma funo f em um intervalo nito [a, b], ento valer lim ca a a
fn (x)dx
a
=
a
lim fn (x) dx
(se as integrais existirem), ou seja, podemos inverter a tomada do limite da seqncia pela integrao. Um ponto muito ue ca interessante, e importante, sobre as sries de Fourier, que, sobre condies adequadas, poss inverter a tomada do e e co e vel limite por integrais denidas em intervalos nitos, mesmo quando as mesmas sries no so uniformemente convergentes. e a a Mas precisamente, mostraremos no que segue que as condies do Teorema de Fourier, Teorema 32.12, pgina 1591, so co a a sucientes para garantir a possibilidade de se inverter a tomada do limite de sries de Fourier por integrais denidas em e intervalos nitos. Teorema 32.13 Seja f : R C uma funo 2-peridica satisfazendo as condies A ou B do Teorema de Fourier, ca o co Teorema 32.12. Seja Sn (f, x) sua srie de Fourier: e Sn (f, x) := eikx fk , 2 k=n
b n
com
fk :=
b
eikx f (x) dx . 2 Sn (f, x) dx, ou seja,
Ento, para quaisquer a, b com < a b < vale a

b n b
f (x) dx = lim
a
a n
f (x) dx = lim
a
fk
k=n a
fk eikb eika eikx (b a)f0 dx = + lim . n 2 2 ik 2 k=n

k=0
Comentamos que o teorema acima pode ser generalizado de modo a abarcar no apenas as funes f que satisfaam a co c do Teorema de Fourier, mas tambm todas as funes f L2 ([, ], dx) (vide Teorema 32.15, pgina 1601). Nesse e co a caso, a demonstrao ainda mais simples que a que apresentamos a seguir, mas os pr-requisitos para sua elaboraao ca e e c so mais avanados, pois faz-se uso da propriedade de completeza dos polinmios trigonomtricos. a c o e s f0 Prova do Teorema 32.13. Seja a funo F : R C denida por F (s) := ca f (x) dx. Essa integral est bem a 2 0 denida pois f cont e nua ou cont nua por partes, com limites laterais nitos, pela hiptese que f satisfaz as condioes A o c
38 Ou
seja, f Lipschitz-cont e nua. Denis Poisson (17811840). 40 Augustin Louis Cauchy (17891857).
39 Simon e
Cap tulo 32
1593/1992
ou B do Teorema de Fourier, Teorema 32.12. Pelas mesmas razes F , para todo s R, cont o e nua e diferencivel, com a f0 F (s) = f (s) . 2 Alm disso, fcil provar que F peridica de per e e a e o odo 2. De fato, para todo s R vale
s+2
(32.90)
F (s + 2) F (s) =
f0 f (x) 2
dx =
f0 f (x) 2
dx =
f (x)dx
2f0 = 0 ,
sendo que na segunda igualdade usamos (32.51) (j que o integrando 2-peridico) e na ultima igualdade usamos a a e o denio de f0 . ca Com isso, estabelecemos que tambm a funo F satisfaz as hipteses do Teorema de Fourier, e podemos escrever e ca o F (s) = lim eiks Fk , n 2 k=n
n
com
Fk :=
eiks F (s) ds , 2
com a srie de Fourier de F convergindo pontualmente a F para todo s, j que F cont e a e nua. Observemos agora que, por integrao por partes, vale para todo k = 0, ca Fk = 1 ik 2

deiks ds
F (s) ds
(1)k 1 F () F () ik 2 ik 2
=0
eiks F (s) ds
(32.90)
1 ik 2
eiks
f0 f (s) 2
ds =
fk . ik
Para calcular o coeciente F0 usamos o fato evidente que F (0) = 0. Como F cont e nua, sua srie de Fourier converge e n 1 a F em toda parte (novamente pelo Teorema de Fourier). Calculando-a em s = 0, segue que 0 = lim Fk , n 2 k=n donde conclu mos que n n fk F0 = lim Fk = lim . n n ik k=n k=n
k=0 k=0
Como
s 0
f (x)dx =
sf 0 2
+ F (s), provamos que

s 0
F0 fk eiks sf0 f (x)dx = + + lim 2 2 n k=n ik 2

k=0
e como
b a
f (x)dx =
b 0
f (x)dx
a 0 b
f (x)dx, conclu mos que f (x)dx = fk eikb eika (b a)f0 + lim , n 2 ik 2 k=n
k=0
como quer amos demonstrar.
32.4.4.1
Sries de Fourier em Senos ou Co-Senos para Funoes Denidas em Intervalos e c Compactos
Aqui trataremos de um resultado da teoria das sries de Fourier que se refere a expanses em sries de senos ou co-senos de e o e funes denidas em intervalos compactos, como o intervalo [0, L], L > 0. Esses resultados tm aplicaoes na resoluao co e c c de problemas de valor inicial de certas equaes diferenciais parciais, como o problema da corda vibrante ou da equaao co c de difuso, das quais trataremos no Cap a tulo 19, pgina 832. O principal resultado a a e
Cap tulo 32
1594/1992
Proposio 32.12 Para L > 0, seja f : [0, L] C uma funo contnua e diferencivel ou contnua por partes e tal ca ca a que as derivadas laterais f (x+ ) := lim f (x + s) f (x+ ) s0+ s e f (y ) := lim f (y + s) f (y ) s0 s
existam para todo x [0, L) e todo y (0, L], respectivamente. Ento, tem-se a I. Srie de Fourier de senos. Para todo x [0, L] vale e f (x) = onde, para x [0, L], f (x) :=
k=1
Ak sen
k x L
f (x+ )+f (x ) 2
se x (L, L) , se x = 0 ou x = L . k y L
0, 2 L
L
e onde
Ak :=
sen
0
f (y) dy .
II. Srie de Fourier de co-senos. Para todo x [0, L] vale e
onde, para x [0, L], f (x) :=
f (x) =
k=0
Bk cos
k x L
e onde B0 := 1 L
0 L
f (0+ ) ,
f (x+ )+f (x ) 2
se x = 0 , , se x (L, L) , se x = L ,
L
f (L ) , Bk := 2 L
f (y) dy
cos
0
k y L
f (y) dy ,
para k N .
e dena-se f : R C por f (x) := f1 x mod 2L , x R, o que equivale a dizer que se y R da forma y = x + 2kL e (y) = f1 (x). com x [L, L] e k Z, ento f a
Prova. Parte I. Para a demonstrao necessitamos considerar uma extenso 2L-peridica ca a o mpar da funao f . Dena-se c primeiramente f1 : [L, L] C por f (x) , se x (0, L) , f1 (x) := 0, se x = 0 ou se x = L , f (x) , se x (L, 0) ,
Cap tulo 32
1595/1992
A funo f ca e mpar (i.e., f (x) = f (x) para todo x R), 2L-peridica e, em funo das propriedades supostas de o ca continuidade e diferenciabilidade por partes da funo f , satisfaz as condies do Teorema de Fourier, Teorema 32.12, ca co pgina 1591. Justique! Conclu a mos daquele teorema e de (32.59) que para todo x R vale f (x+ ) + f (x ) = lim n 2
n k=n
e fk
i k x L
2L
com
fk =
L L
ei L y f (y) dy . 2L
(32.91)
Agora, evidente pela denio de f , e pelo fato de ser uma funo e ca ca mpar, que fk =
L L
ei L y i f (y) dy = 2L 2L
sen
L
k y L
f (y) dy = i
2 L
sen
0
k y L
f (y) dy .
(32.92)
Disso extrai-se tambm que fk = fk para todo k Z. Com isso, a primeira equao em (32.91) escreve-se e ca
k k f (x+ ) + f (x ) 1 = fk ei L x ei L x 2 2L k=1
k=1
Ak sen
k x L
onde, para k N, Ak := i O interesse por (32.91) (x+ ) = f
2 2 fk = L L
sen
0
k y L
f (y) dy .
se d para x [0, L], em cujo caso temos a f (0+ ) , f (x+ ) , f (L ) , se x = 0 , se x (L, L) , se x = L , e
de onde obtemos, para x [0, L],
f (0 ) , + f (x ) = f (x ) , f (L ) , se x (L, L) , se x = 0 ou x = L .
se x = 0 , se x (L, L) , se x = L ,
Isso provou a parte I.
f (x+ ) + f (x ) = 2
f (x+ )+f (x ) 2
0,
e dena-se f : R C por f (x) := f1 x mod 2L , x R, o que equivale a dizer que se y R da forma y = x + 2kL e com x [L, L] e k Z, ento f (y) = f1 (x). a A funo f par (i.e., f (x) = f (x) para todo x R), 2L-peridica e, em funo das propriedades supostas de ca e o ca continuidade e diferenciabilidade por partes da funo f , satisfaz as condies do Teorema de Fourier, Teorema 32.12, ca co pgina 1591. Justique! Conclu a mos daquele teorema e de (32.59) que para todo x R vale f (x+ ) + f (x ) = lim n 2
n
Parte II. Para a demonstrao necessitamos considerar uma extenso 2L-peridica par da funo f . Dena-se primeica a o ca ramente f1 : [L, L] C por f (x) , se x [0, L] , f1 (x) := f (x) , se x [L, 0) ,
k=n
e fk
i k x L
2L
com
fk =
L L
ei L y f (y) dy . 2L
(32.93)
Agora, evidente pela denio de f , e pelo fato de ser uma funo par, que e ca ca fk =
L L
ei L y 1 f (y) dy = 2L 2L
cos
L
k y L
f (y) dy =
2 L
cos
0
k y L
f (y) dy .
(32.94)
Cap tulo 32
1596/1992
Disso extrai-se tambm que fk = fk para todo k Z. Com isso, a primeira equao em (32.93) escreve-se e ca
fk 1 k f (x+ ) + f (x ) k = + fk ei L x + ei L x 2 2L 2L k=1
k=0
Bk cos
k x L
onde
1 f0 B0 := = L 2L Bk := 2 2 fk = L L
L
f (y) dy ,
0
e onde, para k N,
cos
0
k y L
f (y) dy .
de onde obtemos, para x [0, L],
O interesse por (32.93) se d para a f (0+ ) , f (x+ ) = f (x+ ) , f (L ) ,
x [0, L], em cujo caso temos se x = 0 , se x (L, L) , se x = L , e f (x ) =
f (0+ ) ,
se x = 0 , se x (L, L) , se x = L ,
f (x ) , f (L ) ,
Isso provou a parte II.
f (x+ ) + f (x ) = 2
f (0+ ) ,
f (x+ )+f (x ) 2
se x = 0 , , se x (L, L) , se x = L .
f (L ) ,
E. 32.7 Exerccio. Seja L > 0. Usando, por exemplo, as frmulas de prostafrese (32.67)(32.69), demonstre as relaoes o e c seguintes relaes: co 0 , se n = m , L m n cos y cos y dy = m, n N0 , (32.95) L , se n = m = 0 , L L 0 L se n = m = 0 , 2 ,
L
sen
0
m y sen L
n y dy L
L m, n , 2
m, n N , 0, se n = m ,
m+n
(32.96)
cos
0
m y sen L
n y dy L
L n n2 m2
1 (1) Nm cos
se n = m ,
m, n N0 .
(32.97)
A expresso (32.95) informa-nos que conjunto de funes a co e N0 =

2 L 1 L,
m L y
, m N0 , com Nm =
2 L
para m = 0
um conjunto ortonormal em L2 [0, L], dx . A expresso (32.96) informa-nos que conjunto de funoes e a c , mN um conjunto ortonormal em L2 [0, L], dx . De (32.97) vemos que as funoes cos e c
m L y
sen
m L y
Cap tulo 32
1597/1992
m N0 , no so sempre ortogonais a todas as funes sen n y , n N, no intervalo [0, L], pois o lado direito de (32.97) a a co L anula-se se e somente quando m + n for par. E interessante ao estudante comparar as relaes (32.95)(32.97), acima, com as relaes (32.62)(32.64), da pgina 1582. co co a Tanto o conjunto de funes co
2 Nm = L para m = 0 e N0 = ortonormais completas nesse espao. c 2 L
sen
m L y
, m N quanto o conjunto de funes Nm cos co
m L y
, m N0 , com
1 L,
so conjuntos ortonormais completos em L2 [0, L], dx , ou seja, compes bases a o
32.4.5
Revisitando a Aproximao Uniforme de Funes Cont ca co nuas e Peridicas o por Polinmios Trigonomtricos o e
Somas de Ces`ro a
n
Se am , m N uma seqncia de nmeros complexos a expresso lim An , onde An a seqncia das somas parciais e ue u a e ue
n
An :=
m=0
am , caso o limite exista, dene, como bem sabido, o que se denomina uma srie, a srie associada ` seqncia e e a ue
n
am . Assim, uma srie convergir se e somente se o limite da seqncia formada pelas somas parciais acima convergir. e a ue Notacionalmente, uma srie tambm denotada por e e e am , caso o limite lim An = lim
n m=0 n
am exista.
m=0
A soma de Ces`ro41 da seqncia am (tambm denominada srie de Ces`ro, ou mdia de Ces`ro, associada a seqncia a ue e e a e a ` ue am ), denida por e n n m 1 1 lim Am = lim ap . n n + 1 n n + 1 m=0 m=0 p=0 caso o limite exista. Como se v, a srie de Ces`ro de uma seqncia am formada pelo limite (caso exista) da mdia e e a ue e e das somas parciais da seqncia am . ue a E fcil demonstrar que se uma srie converge a um valor a, ento o limite de sua srie de Ces`ro tambm existe e e a e a e tambm vale a. De fato, se Am converge a a, ento para todo > 0 existe N () tal que |Am a| < para todo m > N (). e a Tomando n > N (), teremos
N ()
1 1 1 Am a = Am + n + 1 m=0 n + 1 m=0 n+1
m=N ()+1
Am a
N () n
1 1 = Am + n + 1 m=0 n+1
N ()
m=N ()+1
(Am a) +
N () + 1 n+1
a.
Para xo, o termo

N ()+1 n+1
1 Am vai a zero quando n , pois o nmero de termos somados xo. O termo u e n + 1 m=0 1 n+1
n m=N ()+1
a claramente tambm vai a zero quando n . Por m, para a soma e
(Am a) temos a
majorao ca 1 n+1
41 Ernesto
m=N ()+1
1 (Am a) n+1
m=N ()+1
1 |Am a| n+1
=
m=N ()+1
n N () < . n+1
Ces`ro (18591906). a
Cap tulo 32
1598/1992
Logo, lim sup

n n
1 n+1
m=N ()+1
(Am a) <
n
1 1 Am a < . Como > 0 arbitrrio, estabelecemos que lim e a Am = a, como n n + 1 n + 1 m=0 n m=0 quer amos provar. Assim, lim sup O interessante sobre as sries de Ces`ro que existem seqncias cujas sries no possuem limite, mas cujas sries de e a e ue e a e Ces`ro convergem. Um exemplo bsico a seqncia am = (1)m . Suas somas parciais valem An = ((1)n + 1)/2, ou a a e ue seja, An = 1 se n par e An = 0 se n e e mpar. Claramente limn An no existe. Porm, sua srie de Ces`ro existe, a e e a com n 1 1 lim Am = , n n + 1 2 m=0 como fcil constatar. e a H diversos outros tipos de sries como a de Ces`ro, que podem produzir somas convergentes para sries noa e a e a convergentes. O livro clssico sobre esse assunto Divergent Series, de G. H. Hardy42 [86], um estimulante texto, de a e rara elegncia de estilo na literatura matemtica. a a O n cleo de Fejr u e
Vamos agora redemonstrar o Teorema 32.9, lanando outra luz sobre seu signicado. c Seja Fn (x) denida para todo x R por Fn (x) := 1 Dm (x) . n + 1 m=0
n
(32.98)
Como se v, trata-se da mdia da soma parcial das seqncia dos ncleos de Dirichlet, ao estilo das supracitadas mdias e e ue u e de Ces`ro. Cada funo Fn denominada ncleo de Fejr43 . a ca e u e Para o que segue importante estabelecer algumas propriedades dos ncleos de Fejr, o que feito na prxima e u e e o proposio, a qual estabelece que as funes Fn formam uma seqncia delta de Dirac 2-peridica. ca co ue o Proposio 32.13 Para todo n N0 os ncleos de Fejr Fn denidos em (32.98) satisfazem: ca u e 1. Fn contnua, par e 2-peridica. e o 2. Fn (x) 0 para todo x R.
3.
Fn (y) dy = 1.
4. Valem as frmulas mais explcitas o 1 2(n + 1) sen

(n+1) 2 sen x 2
Fn (x) =
, x=0, = 0.
Fn (0) =
n+1 . 2
(32.99)
5. Para todo com 0 < < vale

n
lim sup Fn (x), |x|
(32.100)
Ou seja, para todo com 0 < < a seqncia de funes Fn converge uniformemente ` funo nula na regio ue co a ca a [, ] [, ].
42 Godfrey 43 Lipt o
Harold Hardy (18771947). Fejr (18801959). e
Cap tulo 32
1599/1992
Prova. O item 1 evidente pelas propriedades correspondentes do ncleo de Dirichlet (Proposio 32.9, pgina 1588). O e u ca a item 3 evidente por (32.81). e Por (32.82), vale Fn (0) = n+1 1 (2m + 1) = (prove isso!) e para x = 0, 2(n + 1) m=0 2
1 sen (m + 2 )x 1 2(n + 1) m=0 sen x 2 n n
Fn (x)
:=
1 4i(n + 1) sen 1 4i(n + 1) sen 1 4i(n + 1) sen 1
n x 2 m=0
eix/2 eimx eix/2 eimx

n n
x 2
eix/2
m=0
eimx eix/2
eimx
m=0
(32.83)
x 2
eix/2
1 ei(n+1)x 1 eix
eix/2
1 ei(n+1)x 1 eix
8(n + 1) sen 1
x 2
ei(n+1)x 2 + ei(n+1)x ei(n+1)x/2 ei(n+1)x/2 x 2

2
8(n + 1) sen 1 2(n + 1) sen
x 2
(n+1) 2 sen x 2
Isso estabeleceu o item 4 e, por conseguinte, o item 2. Para demonstrar o item 5, consideremos x [, ] para algum 0 < < . Por (32.99), |Fn (x)|
2
1 2(n + 1)
cos( x ) 2
1 sen
2 x 2
(32.101)
Agora, no intervalo [, ] tem-se
d dx
1 sen ( x ) 2
( sen ( x )) 2
< 0 o que signica dizer que a funo do lado direito de ca
(32.101) decrescente e, portanto, assume seu valor mximo em x = , o in do intervalo [, ]. Logo, e a cio |Fn (x)| 1 2(n + 1) 1 sen
2 2
(32.102)
0 uniformemente em [, ] [, ].
Essa desigualdade vale tambm no intervalo [, ], pois Fn par. A desigualdade (32.102) implica que lim |Fn (x)| = e e
n
Estabelecemos que Fn uma seqncia delta de Dirac 2-peridica e, se f uma funo cont e ue o e ca nua e 2-peridica o sabemos pelo Teorema 32.8, pgina 1583, que a
Fn (f, x) :=
Fn (x y) f (y) dy
converge uniformemente a f em R. Claro est que a Fn (f, x) = 1 n + 1 m=0

n
Dm (x y) f (y) dy =
1 Sm (f, x) , n + 1 m=0
Cap tulo 32
1600/1992
mostrando que Fn (f, x) a mdia de Ces`ro das somas parciais de Fourier. A armao que toda funao cont e e a ca c nua e 2-peridica pode ser aproximada uniformemente pela mdia de Ces`ro de suas somas de Fourier parciais conhecida o e a e como Teorema de Fejr, resultado provado por aquele autor no ano de 1900. Naturalmente, isso diz que toda funao e c cont nua e 2-peridica pode ser aproximada uniformemente por um polinmio trigonomtrico, fato que j estudamos o o e a sob a forma do Teorema 32.9, pgina 1585. A distino entre o Teorema de Fejr e aquele teorema o tipo de ncleo de a ca e e u Dirac usado em ambos os casos e o fato de o Teorema de Fejr trazer uma relao com as mdias de Ces`ro. e ca e a
32.4.6
Sries de Fourier e o Espao de Hilbert L2 ([, ], dx) e c
Completeza dos polinmios trigonomtricos. Identidade de Parseval o e
A teoria das sries de Fourier intimamente ligada ` teoria dos espaos de Hilbert, que desenvolvemos no Cap e e a c tulo einx 34, pgina 1721. Nesse contexto desempenha um papel fundamental o fato de as funes en (x) = , n Z, formarem a co 2 2 um conjunto ortonormal completo em L ([, ], dx) (para a denio da noo de conjunto ortonormal completo e ca ca suas e propriedades, vide pgina 1733 e seguintes). Esse o contedo do seguinte teorema: a e u Teorema 32.14 Seja H = L2 ([, ], dx) o espao de Hilbert das funes de quadrado integrvel em [, ] em c co a a co relao ` medida de Lebesgue dx e cujo produto escalar f, g = [, ] f (x)g(x) dx, f, g H. Ento, as funes ca a e einx en (x) = , n Z, compe um conjunto ortonormal completo em H. Assim, para todo g H vale o 2 g = e g
2 n= n=
en , g en
(32.103)
| en , g | ,
(32.104) de H,
sendo g := g, g a norma de g em H. A convergncia da srie em (32.103) se d em relao ` norma e e a ca a ou seja, tem-se

N N
lim
en , g en
n=N
= 0.
A demonstrao apresentada na Seo 32.6.3, pgina 1610, como caso particular da Proposio 32.21, pgina 1612, ca e ca a ca a e com uso de resultados do Cap tulo 34, pgina 1721. Vide comentrios que sucedem o enunciado da Proposiao 32.21. a a c A identidade (32.104) denominada identidade de Parseval44 , que a deduziu em 1805. Se, por exemplo, g for uma e funo cont ca nua ou cont nua por partes em [, ] (situaes essas encontradas em muitas aplicaes da teoria das sries co co e de Fourier, por exemplo, ` soluo de equaes diferenciais), teremos g L2 ([, ], dx) e, portanto, a ca co g(x) = einx gn 2 n=

com
gn :=
einx g(x) dx , 2
n Z ,
com a srie convergindo no sentido da norma de L2 ([, ], dx), sendo que pela identidade de Parseval valer e a

|g(x)|2 dx =
n=
|gn |2 .
Nos exerc cios da Seo 32.7, pgina 1613, apresentamos alguns usos dessa identidade. ca a
44 Marc-Antoine
Parseval de Chnes (17551836). e
Cap tulo 32
1601/1992
Inverso de integrais denidas com a srie de Fourier. Generalizao para L2 ([, ], dx) a e ca
Vamos agora apresentar um resultado que garante a possibilidade de inverter integrais de Lebesgue em intervalos compactos de uma funo de L2 ([, ], dx) com sua srie de Fourier, generalizando o Teorema 32.13, pgina 1592. ca e a eikx f (x)dx, k Z, seus coecientes de Fourier. 2
n
Teorema 32.15 Seja f L2 ([, ], dx) e sejam fk := Ento, para quaisquer a, b com [a, b] [, ] vale a
n b
[, ]
f dx = lim
[a, b]
fk
k=n a
fk eikb eika eikx (b a)f0 dx = + lim , n 2 2 ik 2 k=n

k=0
(32.105)
a integrao do lado esquerdo sendo entendida no sentido de Lebesgue. Se g : R C for uma periodizao de perodo ca ca 2 de uma funo f de L2 ([, ], dx), ento [a, b] g dx tambm dada pelo lado direito de (32.105), mas agora para ca a e e qualquer intervalo [a, b] com < a b < . einx Prova. Pelo Teorema 32.14, pgina 1600, o conjunto en (x) = , n Z, forma um conjunto ortonormal completo a 2
n
em L ([, ], dx) e podemos escrever f = lim L2 ([, ], dx), onde fk := ek , f =

[, ]
fk ek com a convergncia se dando no sentido da norma de e

k=n
eikx f (x)dx para todo k Z. 2
Seja [a, b] a funo caracter ca stica do intervalo [a, b] (ou seja, [a, b] (x) = 1 e x [a, b] e [a, b] (x) = 0 e x [a, b]). E evidente que [a, b] L2 ([, ], dx) e que o produto escalar [a, b] , f igual ` integral de Lebesgue de f em [a, b]: e a [a, b] , f = [a, b] f dx. Logo,
n n
f dx = [a, b] , f
[a, b]
[a, b] , lim
fk ek
k=n
lim
fk [a, b] , ek
k=n n b
lim
fk
k=n a
eikx dx 2
n
fk eikb eika (b a)f0 + lim , n 2 ik 2 k=n

k=0
provando (32.105) para f L2 ([, ], dx). Na terceira igualdade acima usamos a continuidade e a linearidade do produto escalar. Seja agora g : R C for uma periodizao de per ca odo 2 de uma funo f de L2 ([, ], dx), e seja [a, b] um ca intervalo compacto de R. Podemos escrever [a, b] = [a, b] [n, (n + 2)] , uma unio disjunta nita (pois a
nZ
[a, b] compacto) de conjuntos Borelianos (por serem intervalos fechados). Assim, e

[a, b]
g dx =
nZ An
g dx com
An := [a, b] [n, (n + 2)], sendo a soma acima, ipso facto, nita. Em cada intervalo [n, (n + 2)] a funao g o c e transladado de f . Assim, para cada n, devido ` invarincia translacional da medida de Lebesgue, a a
An
g dx =
Bn
f dx,
com Bn sendo o conjunto An transladado de (n + 1): Bn := [a (n 1), b (n 1)] [, ]. Ao lado direito aplica-se agora (32.105) e disso segue facilmente a validade de (32.105) tambm para g. e
Cap tulo 32
1602/1992
32.5
O Teorema de Stone-Weierstrass
A primeira verso do Teorema de Weierstrass, Teorema 32.3, acima, arma que qualquer funo cont a ca nua f , real ou complexa, denida em um intervalo compacto [a, b] pode ser uniformemente aproximada por polinmios denidos nesse o intervalo. Em muitas aplicaes (como na demonstrao do Teorema Espectral. Vide Seo 35.9, pgina 1887) estamos co ca ca a interessados em aproximar funes cont co nuas denidas em conjuntos compactos outros que no simples intervalos, por a exemplo, em conjuntos de Cantor (vide Seo 27.3, pgina 1289). Uma generalizao do Teorema 32.3 se faz, portanto, ca a ca necessria. Uma forte generalizao daquele teorema foi obtida por Stone45 em 1937 e dedicamo-nos agora a apresent-la. a ca a Se X um espao topolgico compacto, denotamos por C(X, R) (ou por C(X, C)) o conjunto de todas as funoes e c o c cont nuas em X assumindo valores em R (respectivamente, em C). E bastante claro que uma combinao linear complexa de funes continuas em X assumindo valores em C novamente ca co e uma funo cont ca nua assumindo valores em C, assim como claro que o produto usual de duas funes cont e co nuas em X assumindo valores em C novamente uma funo cont e ca nua em X assumindo valores em C. Isso signica que C(X, C) uma lgebra complexa (por ser um espao vetorial complexo) em relao ao produto usual de funes. Analogamente, e a c ca co C(X, R) uma lgebra real em relao ao produto usual de funes. e a ca co As lgebras C(X, R) e C(X, C) so lgebras Abelianas (pois o produto usual de funes comutativo) e tambm a a a co e e so lgebras unitais, pois a funo constante igual a 1 pertence a C(X, R) e a C(X, C) e age como elemento neutro a a ca da multiplicao. Denotamos a funo constante igual a 1 tambm por 1. Que 1 cont ca ca e e nua segue da observaao que a c pr-imagem de qualquer aberto em R ou C pela funo constante ou o conjunto vazio ou todo X, que aberto por e ca e e e denio. ca Sabemos pelo Corolrio 23.1, pgina 1170, que os conjuntos C(X, R) e C(X, C) so completos na mtrica uniforme a a a e d , denida por d (f, g) := sup f (x), g(x) , x X
xX
Uma sub-lgebra B de C(X, R) (de C(X, C)) um subespao vetorial real de C(X, R) (complexo de C(X, C)) que a e c por si s uma lgebra com relao ao produto usual de funes. B dita ser unital se 1 B. Dizemos que B separa e o a ca co e pontos se para cada par x1 , x2 X com x1 = x2 existir uma funo b B tal que b(x1 ) = b(x2 ). ca Se B uma sub-lgebra complexa de C(X, C), dizemos que B conjugada se a funo complexo-conjugada b e a e ca pertencer a B sempre que b B.
para todas f, g C(X, R) ou C(X, C). Observe que f g := d (f, g) uma norma em C(X, R) ou em C(X, C). e Tudo isso signica que C(X, R) e C(X, C) so lgebras de Banach (para a norma ) Abelianas e unitais. a a
Teorema 32.16 (Teorema de Stone-Weierstrass) I. Seja X compacto e B uma sub-lgebra de C(X, R) que seja a unital e que separe pontos. Ento, B = C(X, R), onde B o fecho de B na topologia mtrica denida pela norma . a e e Assim, se c C(X, R) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX
II. Seja X compacto e B uma sub-lgebra complexa de C(X, C) que seja unital, conjugada e que separe pontos. a Ento, B = C(X, C), onde B o fecho de B na topologia mtrica denida pela norma . a e e Assim, se c C(X, C) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX
Depois de apresentarmos a demonstrao desse importante teorema mostraremos como ele generaliza alguns resultados ca que provamos anteriormente. Prova do Teorema de Stone-Weierstrass. A parte II segue da parte I e por isso trataremos da parte I (o caso real) primeiro. Prova da parte I. O caso real. A primeira observao a fazer que B uma sub-lgebra de C(X, R). Isso se deve ao seguinte. Primeiramente do ca e e a fato que B C(X, R) e C(X, R) completa e, portanto, fechada (Proposio 25.11, pgina 1251) segue que e ca a B C(X, R) . (32.106)
45 Marshall Harvey Stone (19031989). Para comentrios sobre a gnese do Teorema de Stone-Weierstrass, vide M. Stone, A reminiscence a e on the extension of the Weierstrass approximation theorem, Historia Math. 3 (1976), 328.
Cap tulo 32
1603/1992
e a ca a ue Que B uma lgebra, segue da observao que se fn e gn so seqncias de B(x) que convergem a f e g, respectivamente, na norma , ento a (f + g) (fn + gn )
|| f fn
+ || g gn
0 ,
provando que f + g B para todos , C. Fora isso, f g fn gn = f (g gn ) + g(f fn ) + (gn g)(f fn ) e, portanto, n f g fn gn f g gn + g f fn + gn g f fn 0 ,
A segunda observao a fazer que se h B, ento |h| B. Como h B C(X, R), a funo X x |h(x)| R+ ca e a ca cont e nua (por ser a composio das funes cont ca co nuas h e | |) e, portanto, pelo Teorema 30.16, pgina 1422, assume a um mximo H em X. a [0, H] uniformemente por polinmios, ou seja, existe para cada > 0 um polinmio p tal que o o Logo, para cada x X vale |h(x)| p (h(x)) < e, portanto, |h| p (h) amos. uma algebra). Logo, isso provou que |h| B, como quer f g := min{f, g} = 1 f +g f g 2 ,
provando que f g B.
Lembremos agora que pelo Teorema de Weierstrass, Teorema 32.3, a funo |t| pode ser aproximada no intervalo ca sup
t[0, H]
|t| p (t) < .
< . E claro que p (h) B (pois B e
Vamos agora introduzir para f, g B os elementos f g e f g de B denidos por f g := max{f, g} = 1 f +g+ f g 2 , (32.107)
com os quais B adquire a estrutura de um reticulado. Vide Seo 2.1.2, pgina 76 e, em particular, o Exemplo 2.3, ca a pgina 77. a Seja h C(X, R) e sejam r e s X dois pontos distintos quaisquer de X. Armamos que existe uma funao fr, s B c que igual a h nesses dois pontos, ou seja, tal que e fr, s (r) = h(r) e fr, s (s) = h(s) .
Para provar isso, lembremos que, como B separa pontos, existe uma funo g B tal que g(r) = g(s). Tomando ca fr, s (x) = 1 g(r) g(s) h(r) h(s) g(x) + h(s)g(r) h(r)g(s) 1 ,
vemos facilmente que fr, s satisfaz as propriedades desejadas e um elemento de B, pois esse um espao linear e contm e e c e a funo constante. ca Desejamos provar que h C(X, R) pode ser uniformemente aproximada por elementos de B. Para tal procedemos da seguinte forma. Seja > 0, arbitrrio. a Como fr, s e h coincidem no ponto s e ambas so cont a nuas, existe uma vizinhana aberta Vs de s tal que |fr, s (x) c h(x)| < para todo x Vs . Isso signica, que vale < fr, s (x) h(x) < para todo x Vs e, em particular, obtm-se e disso que fr, s (x) > h(x) vale para para todo x Vs . E claro que a fam de abertos {Vs , s X} cobre todo o conjunto X (pois, para cada s X tem-se s Vs , por lia construo). Como X compacto, existe (pela denio de compacidade, vide Seo 30.3, pgina 1404) uma fam ca e ca ca a lia nita {Vs1 , . . . , Vsn } que tambm cobre X. Naturalmente os pontos s1 , . . . , sn X so distintos. e a Ora, para cada k = 1, . . . , n tem-se, pela construo, ca fr, sk (x) > h(x) para todo x Vsk . Segue disso que a funo fr denida por ca fr := max fr, s1 , . . . , fr, sn = fr, s1 . . . fr, sn (32.108)
Cap tulo 32
1604/1992
satisfaz fr (x) > h(x) para todo x X. De fato, em cada Vsk vale fr (x) fr, sk (x) vlida. e a
(32.108)
(32.109)
>
h(x) e como os Vsk cobrem todo X a armaao c
Pelos comentrios ao in da demonstrao sabemos que a funo fr um elemento de B C(X, R) e, portanto, a cio ca ca e uma funo cont e ca nua. O que faremos agora imitar aos passos de acima para obter uma desigualdade oposta. Observemos primeiramente e que no ponto r vale fr (r) = h(r), pois fr (r) = max fr, s1 (r), . . . , fr, sn (r) = max h(r), . . . h(r), = h(r) .
Isso implica que existe uma vizinhana aberta Ur do ponto r tal que |fr (x) h(x)| < para todo x Ur , ou seja, c < fr (x) h(x) < para todo x Ur , o que, em particular, arma que fr (x) < h(x) + para todo x Ur . E claro que a fam de abertos {Ur , r X} cobre todo o conjunto X (pois, para cada r X lia e tem-se r Ur , por construo). Como X compacto, existe uma fam nita {Ur1 , . . . , Urm } que tambm cobre X. ca e lia Naturalmente os pontos r1 , . . . , rm X so distintos. a Ora, para cada k = 1, . . . , m tem-se, pela construo, ca frk (x) < h(x) + para todo x Urk . Segue disso que a funo f denida por ca f := min fr1 , . . . frm satisfaz f (x) < h(x) + para todo x X. De fato, em cada Urk vale f (x) frk (x) vlida. a
(32.110)
(32.110)
= f r1 . . . f rm (32.111)
<
h(x) + e como os Urk cobrem todo X a armaao c e
Pelos comentrios ao in da demonstrao sabemos que a funo f um elemento de B C(X, R) e, portanto, a cio ca ca e e uma funo cont ca nua. Notemos agora que, (32.109) implica tambm que e f (x) > h(x) (32.112)
para todo x X, pois cada fr1 (x), . . . frm (x) satisfaz essa desigualdade e f (x) o m e nimo deles. Provamos ento que a h(x)
(32.111)
<
f (x)
(32.112)
<
h(x) +
para todo x X, o que implica f (x) h(x) < para todo x X, o que implica f h
< .
Coletando nossos resultados, provamos que dado > 0 existe f B tal que f h < . Isso provou que todo elemento de C(X, R) uniformemente aproximvel por um elemento de B. Pela Proposio 25.10, pgina 1251 segue que e a ca a C(X, R) est contido no fecho de B (que j fechado), ou seja, C(X, R) B. Por (32.106), isso implica C(X, R) = B, a ae completando a prova da parte I. Prova da parte II. O caso complexo. Pelo mesmo racioc nio do caso II, temos tambm aqui que e B C(X, C) . (32.113)
1 Como B conjugada, se b B ento B e, portanto, Re (b) = 1 (b + e Im (b) = 2i (b so tambm elementos e a b b) b) a e 2 de B, j que B um espao vetorial complexo. Note-se que tanto Re (b) quanto Im (b) so funes com valores em R a e c a co
Cap tulo 32
1605/1992
e, portanto, elementos de C(X, R). Vamos denotar por BR o conjunto de todas as funes Re (b) ou Im (b) para todos co os elementos b B. Como Im (b) = Re (ib), podemos alternativamente denir BR := {Re (b), b B}. E evidente que BR B e que BR C(X, R).
que BR tambm unital. Agora, se x1 e x2 so dois pontos distintos de X sabemos que existe b B tal que b(x1 ) = b(x2 ) e e a pois, por hiptese, B separa pontos. Mas isso implica ou que Re (b)(x1 ) = Re (b)(x2 ) ou que Im (b)(x1 ) = Im (b)(x2 ) o (ou ambos). Lembremos que Im (b)(x1 ) = Im (b)(x2 ) signica Re (ib)(x1 ) = Re (ib)(x2 ). Isso mostrou que BR tambm e separa pontos. Como vemos, BR satisfaz as hipteses da parte I e conclu o mos que toda funo de C(X, R) pode ser uniformemente ca aproximada por elementos de BR . Seja agora h C(X, C). Podemos escrever h = Re (h) + iIm (h), com Re (h) e Im (h) sendo funes reais e cont co nuas e, portanto, elementos de C(X, R). Escolhamos > 0. Pela parte I e pelas consideraes acima, existem, b1 e b2 BR tais que Re (h) b1 co Im (h) b2 < /2. Logo, denindo b B por b = b1 + ib2 , teremos hb

Se b1 e b2 so elementos de B e , R, teremos que Re (b1 ) + Re (b2 ) = Re (b1 + b2 ) BR . Alm disso, a e 1 e a Re (b1 )Re (b1 ) = 2 Re (b1 b2 ) + Re (b1 b2 ) BR . Isso provou que BR uma lgebra real. Naturalmente 1 BR , de modo
< /2 e
Re (h) b1 + i Im (h) b2
Re (h) b1
+ Im (h) b2
< .
Isso provou que todo elemento de C(X, C) uniformemente aproximvel por um elemento de B, ou seja, que C(X, C) e a B. Com (32.113) isso completa a demonstrao ca O seguinte teorema, devido a Kakutani46 e Krein47 , possui hipteses ligeiramente diferentes das do Teorema de o Stone-Weierstrass para o caso real. Teorema 32.17 (Teorema de Kakutani-Krein) Seja X compacto e B um subconjunto de C(X, R) com as seguintes propriedades: 1. B um espao vetorial real, 2. B contm a unidade. 3. B separa pontos, 4. se f e g B ento e c e a f g = min{f, g} e f g = max{f, g} (vide (32.107)) so tambm elementos de B. Ento, B = C(X, R), onde B o a e a e fecho de B na topologia mtrica denida pela norma . e Assim, se c C(X, R) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX
Prova. As hipteses acima diferem das da parte I do Teorema 32.16 pois no supomos aqui que B forma uma algebra o a real, mas apenas que seja um espao linear real e um reticulado com as operaes binrias f g = min{f, g} e c co a f g = max{f, g}. Contudo, observando a demonstrao da parte I do Teorema 32.16, notamos que a hiptese de B ca o ser uma lgebra usada apenas para justicar a existncia de f g e de f g em B. Portanto, se assumirmos que tais a e e f g = min{f, g} e f g = max{f, g} so elementos de B, o resto da demonstrao segue sem modicaoes. a ca c Generalizando o Teorema de Weierstrass para conjuntos compactos
Se = 0 o polinmio p(x) = x, x R, bijetor e, portanto, separa pontos. Essa simples observao mostra que se o e ca C R compacto, ento a lgebra B de todos os polinmios em R restritos a C satisfaz as hipteses do Teorema de e a a o o Stone-Weierstrass, Teorema 32.16, pgina 1602. Conclu a mos que uma das conseqncias do Teorema de Stone-Weierstrass ue a seguinte generalizao do Teorema de Weierstrass, Teorema 32.3, pgina 1564: e ca a Teorema 32.18 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um conjunto compacto ca C R. Ento, f pode ser aproximada uniformemente em C por polinmios, ou seja, para todo > 0 existe um polinmio a o o p tal que p f = sup |p (x) f (x)| .
xC
46 Shizuo 47 Mark
Kakutani (19112004). Grigorievich Krein (10971989).
Cap tulo 32
1606/1992
32.6
Completeza de Algumas Fam lias de Funes co
Nesta seo o leitor ser apresentado a algumas demonstraes da propriedade de completeza de algumas fam ca a co lias de funes de maior interesse. Devido ` natureza do problema, sero utilizados resultados da teoria de integraao co a a c demonstrados e discutidos em outros cap tulos deste texto. De particular relevncia so as noes de espao de Hilbert e de a a co c conjunto ortogonal completo em espaos de Hilbert, discutidas no Cap c tulo 34, pgina 1721, cuja leitura imprescind a e vel para a compreenso do que segue. a Como conseqncia dos nossos esforos estabeleceremos a possibilidade de aproximar certas funes pertencentes a ue c co certos espaos de Hilbert por certos conjuntos completos de funes em tais espaos. c co c
32.6.1
Completeza de Polinmios Ortogonais em Intervalos Compactos o
Para o tratamento de polinmios ortogonais em intervalos compactos o teorema a seguir, o qual uma conseqncia do o e ue Teorema de Weierstrass (Teorema 32.3, pgina 1564), de importncia fundamental: a e a Proposio 32.14 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja f uma funo contnua denida em [a, b]. Ento, ca a
b a
f (x) xn r(x) dx = 0
(32.114)
vlida para todo n N0 , se e somente se f 0 em [a, b]. e a Prova. Precisamos provar que se a f (x)xn r(x) dx = 0 para todo n e f cont e nua, ento f identicamente nula. Como a e |f | cont e nua em um intervalo compacto, |f | assume um mximo M nesse intervalo, com M = maxx[a, b] |f (x)| (Teorema a 30.16, pgina 1422). Pelo Teorema de Weierstrass, Teorema 32.3, pgina 1564, existe para todo > 0 um polinmio p a a o tal que |f (x) p(x)| para todo x [a, b]. Com esse polinmio p, podemos escrever o
b a b
|f (x)|2 r(x) dx =
b
f (x)p(x) r(x) dx +
a a
f (x) f (x) p(x) r(x) dx .
Agora, pela hiptese (32.114), o

a
f (x)p(x) r(x) dx = 0, pois p, como todo polinmio, pode ser escrito como uma como
binao linear nita dos monmios xn . Fora isso, ca o

b a b
f (x) f (x) p(x) r(x) dx
|f (x)| |f (x) p(x)| r(x) dx M R ,
onde R :=
b a
r(x)dx. Conclu mos que

b a
|f (x)|2 r(x) dx M R
e como arbitrrio, isso implica e a como quer amos provar.
b a
|f (x)|2 r(x) dx = 0. Como f cont e nua isso implica que f identicamente nula, e
A Proposio 32.14 arma que a unica funao cont ca c nua que ortogonal a todos os polinmios a funao nula. e o e c b Ortogonalidade aqui entendida em relao ao produto escalar f, g r := a f (x)g(x) r(x)dx denido no espao de e ca c Hilbert das funes de quadrado integrvel em relao ` medida r(x)dx, ou seja, que satisfazem co a ca a
b a
|f (x)|2 r(x)dx < .
Denotaremos esse espao de Hilbert por L2 ([a, b], r(x)dx), como de praxe. E claro que as funes cont c co nuas denidas no intervalo [a, b] so todas de quadrado integrvel e, portanto, so elementos do espao de Hilbert L2 ([a, b], r(x)dx). Mas a a a c nem todas as funes de quadrado integrvel so cont co a a nuas. A armao da Proposio 32.14 pode, porm, ser estendida ca ca e ao espao L2 ([a, b], r(x)dx). Esse o contedo da proposio que segue. c e u ca
Cap tulo 32
1607/1992
Proposio 32.15 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel. Ento, para g c co a a L2 ([a, b], r(x)dx) a relao ca
b
g(x) xn r(x) dx = 0
a
(32.115)
vlida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. e a

x
Prova. Dena-se G(x) :=

a
g(y)r(y)dy. G cont e nua e diferencivel com G (x) = g(x)r(x) quase em toda parte. E a
b a
claro que G(a) = 0 e que G(b) = partes diz-nos que 0

(32.115) b a b
g(y)r(y)dy = 0 por (32.115) (para o caso particular n = 0). Assim, integraao por c
b a b a
g(x) xn r(x) dx =
G (x) xn dx = G(b)bn G(a)an n

=0
G(x) xn1 dx .
e nua, podemos aplicar a Proposiao c Portanto, conclu mos que a G(x) xn1 dx = 0 para todo n 1. Como G cont 32.14, agora para o caso r 1, para concluir que G identicamente nula. Como G (x) = g(x)r(x) quase em toda parte, e isso implica que g nula quase em toda parte. e Seja agora uma fam de polinmios pn (x) em [a, b] para todo n N0 , sendo que cada polinmio pn tem grau n lia o o e sendo que os polinmios pn (x) sejam ortonormais em relao ao produto escalar denido por r, ou seja, satisfazem o ca pm , pn r = m, n para todos m, n (uma tal fam sempre pode ser obtida a partir de p0 (x) := R1/2 pelo procedimento lia de ortogonalizao de Gram-Schmidt. Vide Seo 3.3, pgina 198). Como cada polinmios pm (x) tem grau m, cada ca ca a o monmio xn pode ser escrito como uma combinao linear nita de polinmios pm (x) com m n. E da evidente que a o ca o Proposio 32.15 equivale ` ca a Proposio 32.16 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel. Seja pn (x), com n N0 , uma c co a famlia de polinmios, cada pn sendo de grau n, que sejam ortonormais em relao ao produto escalar , r , ou seja, o ca os polinmios pn satisfazem pm , pn r = m, n para todos m, n. Ento, para g L2 ([a, b], r(x)dx) a relao o a ca
b
g(x) pn (x) r(x) dx = 0

a
(32.116)
vlida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denies do Cap co tulo 34, pgina 1721, a Proposio 32.16 diz-nos que L2 ([a, b], r(x)dx) um a ca e espao de Hilbert separvel e que a fam de polinmios ortonormais pn forma um conjunto ortonormal completo em c a lia o L2 ([a, b], r(x)dx) (vide pgina 1733). Pelos Teoremas 34.5 e 34.6, pginas 1734 e 1736, respectivamente, vale para todo a a g L2 ([a, b], r(x)dx) g(x) = sendo g r := relao ` norma ca a
pn , g
pn (x)
2 r
n=0
n=0
| pn , g r | ,
(32.117)
g, g r a norma de g em L2 ([a, b], r(x)dx). A convergncia da primeira srie em (32.117) se d em e e a r de L2 ([a, b], r(x)dx), ou seja, tem-se
N N
lim
pn , g
n=0
pn
r
= 0.
Cap tulo 32
1608/1992
Completeza dos polinmios de Legendre o
Aplicando os fatos acima aos polinmios de Legendre Pn , estudados na Seo 14.2.1, pgina 632, conclu o ca a mos que os 2n+1 2 polinmios normalizados Qn (x) := o 2 Pn (x), n 0, formam um conjunto ortonormal completo em L ([1, 1], dx) (para as relaes de ortogonalidade dos polinmios de Legendre, vide (14.37)). Assim, em particular, conclu co o mos que toda g L2 ([1, 1], dx) pode ser expandida em uma srie de polinmios de Legendre como e o g(x) =
n=0
Qn , g
Qn (x) =
2n + 1 2 n=0
Pn (y) g(y) dy
1
Pn (x) ,
srie essa que converge na norma de L2 ([1, 1], dx). Para uma aplicao no-trivial dessa expresso, faa o Exerc e ca a a c cio E. 14.29, pgina 681. a Completeza dos polinmios de Tchebychev o Os chamados polinmios de Tchebychev Tm (x) := cos m arccos(x) , x [1, 1] e m N0 , foram introduzidos na o Seo 13.1.5, pgina 568 (vide, em especial, pgina 569) e satisfazem as relaes de ortogonalidade dadas em (14.127), ca a a co 1 pgina 655. Sabemos que a funo r(x) = 1x2 positiva e integrvel no intervalo (1, 1). Sabemos que cada Tm a ca e a um polinmio de grau m. Devido a (14.127), pgina 655, sabemos que os polinmios de Tchebychev normalizados e o a o Qn (x) := Tn (x)/ Kn , n N0 , com K0 = /2 e Kn = para n 0, compe um conjunto ortonormal no espao o c de Hilbert L2 (1, 1),
1 1x2
dx . Assim, aplica-se a Proposio 32.16, pgina 1607, e conclu ca a mos que os polinmios o
1 1x2
de Tchebychev normalizados compe um conjunto ortonormal completo no espao de Hilbert L2 (1, 1), o c Assim, em particular, conclu mos que toda g L2 (1, 1), de Tchebychev como g(x) =
n=0 1 1x2
dx .
dx pode ser expandida em uma srie de polinmios e o
Qn , g
Qn (x) =
1 Kn n=0 dx .
Tn (y) g(y)
1
1 1 y2
dy
Tn (x) ,
srie essa que converge na norma de L2 (1, 1), e
1 1x2
32.6.2
Completeza de Polinmios de Hermite o
O tratamento que zemos acima da propriedade de completeza de polinmios ortogonais em intervalos fechados faz o uso crucial do Teorema de Weierstrass, Teorema 32.3, pgina 1564. Infelizmente esse teorema vlido apenas em a e a intervalos compactos, e para o tratamento de relaes de ortogonalidade de polinmios ortogonais denidos em regies co o o no-compactas, como os polinmios de Hermite, outras idias tm que ser seguidas. Nesse sentido, o seguinte resultado a o e e essencial: e Proposio 32.17 Seja f L2 (R, ex dx). Ento, as integrais ca a

2
xn f (x)ex dx
so nulas para todo n inteiro, n 0, se e somente se f for nula. a Prova. (De [102], com adaptaes). Para todo z C e todo n inteiro, n 0, tem-se que a funo h(x) := xn eizx co ca 2 2 2 pertence a L2 (R, ex dx), pois x2n e2izxx dx < , como fcil de se mostrar. Dessa forma, se f L2 (R, ex dx) e a 2 2 ento o produto h(x)f (x) pertence a L1 (R, ex dx), ou seja, integrvel em R em relao ` medida d(x) := ex dx a e a ca a para todo z C e todo n inteiro, n 0. Isso pode ser visto pela desigualdade de Cauchy-Schwartz, que garante que |hf | d ( R |h|2 d)1/2 ( R |f |2 d)1/2 < . Assim, para todo n inteiro, n 0, a funo de varivel complexa ca a R 1 Fn (z) := 2

xn eizx f (x)ex dx
Cap tulo 32
1609/1992
est denida para todo z C. a
De particular interesse a funo F0 (z) = e ca
1 2
quando z R. Observe que essa funo de quadrado integrvel pois f (x)2 e2x f (x)2 ex o que implica que ca e a 2 2x2 2 x2 2 x2 dx f (x) e dx < pois f L (R, e dx). Isso signica que a transformada de Fourier de f (x) e f (x)ex existe e unica48 em L2 (R, dx), fato que usaremos logo adiante. e
2 2
2 eizx f (x)ex
dx, que a transformada de Fourier de f (x)ex e

2 2
Como o integrando de F0 , ou seja, eizx f (x)ex , uma funo inteira de z e a integral que dene F0 converge e ca 2 2 absolutamente e uniformemente em qualquer regio compacta (mostre isso usando o fato que |eizxx | = eIm (z)xx ), a segue que F0 (z) uma funo inteira de z (analogamente mostra-se que todas as funes Fn (z) so inteiras, mas isso e ca co a no ser usado). E agora fcil ver que para todo n a a a dn F0 (z) = (i)n Fn (z) . dz n Isso pode ser justicado diferenciando F0 (z) sob o signo de integrao, ou usando a frmula integral de Cauchy, ambas ca o justicadas pela convergncia uniforme da integral que dene F0 . Agora, como F0 inteira, F0 possui uma srie de e e e Taylor centrada em 0 que converge para todo z C, a qual dada por e 1 dn F0 F0 (z) = (0) z n = n! dz n n=0
(i)n Fn (0) z n . n! n=0
Dessa relao conclu ca mos que se Fn (0) = xn f (x)ex dx = 0 para todo n, ento F0 identicamente nula. Pela a e invertibilidade da transformada de Fourier em L2 (R, dx), isso signica que f nula. e
Completeza dos polinmios de Hermite o
As propriedades elementares dos chamados polinmios de Hermite foram estudadas na Seo 14.2.3, pgina 648, o ca a sendo as relaes de ortogonalidade apresentadas em (14.100), pgina 649. Os polinmios de Hermite so ortogonais no co a o a 2 espao de Hilbert L2 (R, ex dx) e mostraremos aqui que, devidamente normalizados, os mesmos formam um conjunto c ortonormal completo nesse espao de Hilbert. c
Como cada polinmio de Hermite Hn de grau n, conclu o e mos que podemos escrever cada monmio xm como como binaao linear nita de polinmios Hn com n m. Segue diretamente disso que a Proposio 32.17 equivalente c o ca e a ` Proposio 32.18 Seja f L2 (R, ex dx). Ento, as integrais ca a

2
Hn (x)f (x)ex dx
so nulas para todo n N0 , se e somente se f for nula. a A proposio (32.18) arma que L2 (R, ex dx) um espao de Hilbert separvel e que as funes normalizadas ca e c a co 2 1 Hn (x), para n N0 (vide (14.100)), formam um conjunto ortonormal completo em L2 (R, ex dx). n
2 n!
2
Como no caso dos polinmios de Legendre, conclu o mos que se f L2 (R, ex dx), ento podemos escrever a f (x) = onde Hn , f
48 A
n=0
2n n!
Hn , f Hn (x) ,
(32.118)
Hn (y)f (y)ey dy
transformada de Fourier invers e vel em
L2 (R,
dx). Vide Seao 33.2.1.4, pgina 1649. c a
Cap tulo 32
1610/1992
o produto escalar de Hn e f em em L2 (R, ex dx). A convergncia da srie em (32.118) se d no sentido da norma de e e e a 2 x2 L (R, e dx). Completeza dos polinmios de Laguerre o
Uma prova de completeza dos polinmios de Laguerre pode ser encontrada em [44]. o
32.6.3
Completeza dos Polinmios Trigonomtricos o e
De acordo com o Teorema 32.9, pgina 1585, toda funo denida em R que seja cont a ca nua e peridica de per o odo 2 pode ser uniformemente aproximada por polinmios trigonomtricos de per o e odo 2. De maneira semelhante ao que zemos no caso de aproximaes de funes cont co co nuas por polinmios, podemos concluir desse fato que certas fam o lias de polinmios o trigonomtricos formam um conjunto ortonormal completo em espaos de Hilbert como L2 ([a, a], r(x)dx), r sendo uma e c funo positiva e integrvel em [a, b] [, ]. A srie de resultados que veremos adiante segue muito de perto os ca a e resultados correspondentes da Seo 32.6.1. ca Proposio 32.19 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja, ca ca a b tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja f uma funo contnua e peridica de perodo 2 ca o denida em [, ]. Ento, a
b a
f (x) einx r(x) dx = 0
(32.119)
vlida para todo n Z se e somente se f 0 em [a, b]. e a Prova. Como |f | cont e nua em um intervalo compacto, |f | assume um mximo M nesse intervalo, com M = a max |f (x)|.
x[, ]
Pelo Teorema 32.9, pgina 1585, existe para todo > 0 um polinmio trigonomtrico p de per a o e odo 2 tal que |f (x) p(x)| para todo x [, ]. Com esse polinmio trigonomtrico p, podemos escrever o e
b a
|f (x)|2 r(x) dx =
b
f (x)p(x) r(x) dx +
a a
f (x) f (x) p(x) r(x) dx .
Agora, pela hiptese (32.119), o

a
f (x)p(x) r(x) dx = 0, pois p, como todo polinmio trigonomtrico, pode ser escrito o e
como uma combinao linear nita dos monmios einx . Fora isso, ca o
b a b
f (x) f (x) p(x) r(x) dx
|f (x)| |f (x) p(x)| r(x) dx M R ,
onde R :=
b a
r(x)dx. Conclu mos que

b a b
|f (x)|2 r(x) dx M R
e como arbitrrio, isso implica a |f (x)|2 r(x) dx = 0. Como f cont e a e nua e r(x) > 0 em (a, b), isso implica que f e identicamente nula em [a, b], como quer amos provar. A Proposio 32.19 arma que a unica funo cont ca ca nua e peridica de per o odo 2 que ortogonal a todos os poe linmios trigonomtricos a funo nula. Ortogonalidade aqui entendida em relao ao produto escalar f, g r := o e e ca e ca b f (x)g(x) r(x)dx denido no espao de Hilbert L2 ([a, b], r(x)dx) das funes de quadrado integrvel em [a, b] em c co a a relao ` medida r(x)dx, ou seja, que satisfazem ca a
b a
|f (x)|2 r(x)dx < .
Denotaremos esse espao de Hilbert por Hr . A armao da Proposio 32.19 pode ser estendida ao espao Hr . Esse c ca ca c e o contedo da proposio que segue. u ca
Cap tulo 32
1611/1992
Proposio 32.20 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou ca ca a b seja, tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja k, l r := k(x)l(x)r(x)dx o produto escalar denido por r e Hr L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel c co a em relap ` medida r(x)dx. Ento, para g Hr , a relao ca a a ca
b a
g(x) einx r(x) dx = 0
(32.120)
vlida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. e a

x
Prova. Dena-se G(x) :=

a
g(y)r(y)dy. G cont e nua e diferencivel com G (x) = g(x)r(x) quase em toda parte. E a
b a
claro que G(a) = 0 e que G(b) = diz-nos que 0

(32.120) b a
g(y)r(y)dy = 0, por (32.120) (para o caso particular n = 0). Integraao por partes c
b a b a
g(x) einx r(x) dx =
G (x) einx dx = (1)n G(b)einb G(a)eina in
G(x) einx dx .
Como G(a) = G(b) = 0, conclu mos que

b a
G(x) einx dx = 0
para todo n = 0 .
(32.121)
Como G anula-se em a e em b, G cont e nua e 2-peridica. Pela denio e por (32.121), vale o ca

Seja agora a extenso 2-peridica de G a todo R denida no intervalo [, ] por a o G(x) , se x [a, b] G := . 0, se x [, ] \ [a, b] G(x) einx dx = 0 para todo n = 0 .
(32.122)
Denotando G0 :=
1 2
G(y) dy, e denindo H(x) := G(x) G0 , conclu mos de (32.122) que

H(x) einx dx = 0 , G0 einx dx = G0

agora para todo n Z (lembrar que para n = 0,
einx dx = 0).
Como H cont e nua e 2-peridica, podemos aplicar a Proposio 32.19 (adotando, naquela Proposiao, o caso r 1 o ca c e [a, b] = [, ]), para concluir que H identicamente nula. Como 0 = H (x) = G (x) = g(x)r(x) quase em toda parte e em [a, b], isso implica que g nula quase em toda parte em [a, b]. e Uma fam de polinmios trigonomtricos per lia o e odo 2, pn (x), n Z, dita ser normal se todo monmio eimx puder e o ser escrito como uma combinao linear nita de polinmios pn . Suponhamos que os polinmios trigonomtricos de um ca o o e conjunto de polinmios normais pn (x) seja tambm ortonormais em relao ao produto escalar denido por r, ou seja, o e ca satisfazem pm , pn r = m, n para todos m, n (uma tal fam sempre pode ser obtida a partir de p0 (x) := R1/2 (com lia b R := a r(x)dx) pelo procedimento de ortogonalizao de Gram-Schmidt. Vide Seo 3.3, pgina 198). Como cada ca ca a monmio einx pode ser escrito como uma combinao linear nita de polinmios pm (x), evidente que a Proposiao o ca o e c 32.20 equivale ` a
Cap tulo 32
1612/1992
Proposio 32.21 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja, ca ca a b b tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e Hr L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel em relao c co a ca a ` medida r(x)dx. Seja pn (x), com n Z, uma famlia normal de polinmios ortonormais em relao ao produto escalar o ca , r , ou seja, todo monmio eimx pode ser escrito como uma combinao linear nita de polinmios pn os polinmios o ca o o pn satisfazem pm , pn r = m, n para todos m, n Z. Ento, para g Hr , a relao a ca
b
g(x) pn (x) r(x) dx = 0

a
(32.123)
vlida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denies do Cap co tulo 34, pgina 1721, a Proposio 32.21 est dizendo-nos que Hr L2 ([a, b], r(x)dx) a ca a um espao de Hilbert separvel e que a fam normal de polinmios trigonomtricos ortonormais pn forma um conjunto e c a lia o e ortonormal completo em Hr (vide pgina 1733). Pelos Teoremas 34.5 e 34.6, pginas 1734 e 1736, respectivamente, vale a a para todo g Hr g(x) = e g sendo g r := g, g Hr , ou seja, tem-se
r 2 r
pn , g
pn (x)
(32.124)
n= n=
| pn , g r | ,
(32.125)
r
a norma de g em Hr . A convergncia da srie em (32.124) se d em relao ` norma e e a ca a

N N
de
lim
pn , g
n=N
pn
r
= 0.
einx o Naturalmente o caso mais importante se d com [a, b] = [, ] e r 1, onde a fam en (x) = , n Z, compe, a lia 2 de acordo com nossos resultados de acima, um conjunto ortonormal completo em L2 ([, ], dx). Tal resultado de e fundamental importncia para a teoria das sries de Fourier e o enunciado preciso foi antecipado na forma do Teorema a e 32.14, pgina 1600. a
Cap tulo 32
1613/1992
32.7
Exerc cios Adicionais

2 2
Sugestes gerais. Em vrios exerc o a cios abaixo deseja-se calcular integrais como 0 xm sen (2nx)dx ou 0 xm cos(2nx)dx, para n, m N. Integrais assim podem ser calculadas usando-se repetidamente o mtodo de integrao por partes, exe ca d 1 d 1 plorando o fato que, para n = 0, sen (2nx) = 2n dx cos(2nx) e cos(2nx) = 2n dx sen (2nx). Para integrais iy iy envolvendo a funo exponencial recomenda-se usar as frmulas de Euler para os senos e co-senos: sen y = e e , ca o 2i iy iy cos y = e +e . 2 Nos exerc cios que seguem, evocaremos tambm o Teorema de Fourier, Teorema 32.12, pgina 1591. e a E. 32.8 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos x , para 0 x , f (x) := 2 x , para x 2 .
Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e
E. 32.9 Exerccio. Sejam L > 0 e x0 tal que 0 < x0 < L. Seja f a funo peridica de per ca o odo L denida de forma que para 0 x L tenhamos x , para 0 x x0 , x0 f (x) := Lx , para x0 x L . L x0 E. 32.10 Exerccio. Seja f a funo peridica de per ca o odo 1 denida de forma que para 0 x 1 tenhamos x, para 0 x 1/2 , f (x) := 0, para 1/2 < x 1 .
Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Segundo o Teorema de Fourier, a qual c c a ca a e valor a srie deveria convergir no ponto x = 1/2? Verique se tal verdade. e e E. 32.11 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = x2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Segundo o Teorema de Fourier, a qual c c a ca a e valor a srie deveria convergir no ponto x = 2? Verique se tal verdade. e e E. 32.12 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos f (x) = (x )2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Essa srie converge mais c c a ca a e e rapidamente que aquela da funo do Exerc E. 32.11? Por que? ca cio E. 32.13 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos sen (x), para 0 x , f (x) := 0, para x 2 .
Cap tulo 32
1614/1992
a e ca o odo 2 denida no intervalo E. 32.14 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per [0, 2) da seguinte forma: cos(x) , se 0 x , f (x) = 0, se < x < 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e e ca e o odo . E. 32.15 Exerccio. Calcule a srie de Fourier da funo f (x) = ( sen (x))2 , que peridica de per Essa funo tambm peridica de per ca e e o odo 2. Haver alguma mudana na srie de Fourier se adotarmos seu per a c e odo como sendo 2 ao invs de ? Justique. e E. 32.16 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per a e ca o odo 2 denida no intervalo [0, 2] da seguinte forma: sen (x) 2 , se 0 x , f (x) = 0, se < x 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e E. 32.17 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per a e ca o odo 2 denida no intervalo [0, 2) da seguinte forma: cos(x) 2 , se 0 x , f (x) = 0, se < x < 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e E. 32.18 Exerccio. As chamadas funes de Fresnel49 , C(x) e S(x), so denidas por co a
x
C(x) :=
0
cos t2 dt
S(x) :=
0
sen t2 dt ,
respectivamente50 , para todo x R. As integrais acima so ditas transcendentes por no poderem ser expressas em termos a a de somas, produtos ou composies nitas de funes elementares, como polinmios, funes trigonomtricas, exponenciais co co o co e e logaritmos. Outro exemplo de uma integral transcendente a chamara funo erro, denotada por erf(x) e denida por e ca 2 erf(x) := a. Mostre que
0
2
x 0
et dt ,
xR.
cos t2 dt =
0
sen t2 dt =
1 2
. 2
(32.126)
Sugesto: Integre a funo de varivel complexa ez ao a ca a longo da fronteira do setor circular 0 /4, 0 r R, 2 faa R tender ao innito e use o fato que 0 ex dx = 2 . c b. Mostre que
0
49 Augustin-Jean 50 As
t2 cos t2 dt =
Fresnel (17881827). funes de Fresnel so tambm denominadas integrais de Fresnel. co a e
1 x sen x2 S(x) 2
Cap tulo 32
1615/1992
e que
0
t2 sen t2 dt =
1 x cos x2 C(x) . 2
Sugesto: integrao por partes. a ca c. Considere a funo f : R R, peridica de per ca o odo 2 e denida de sorte que no intervalo [, ) tenhamos 0 , y 0 , f (y) := y, 0<y<. Determine sua srie de Fourier S(f, x) = e funes de Fresnel C e S. co d. Expresse a srie de Fourier obtida acima como uma srie de senos e co-senos, ou seja, na forma e e S(f, x) = A0 + An cos(nx) + Bn sen (nx) . 2 n=1 n=1

eikx fk , expressando os coecientes de Fourier fk em termos das 2 k=
Escreva os coecientes An , n 0 e Bn , n 1, em termos das funes de Fresnel C e S. co e. Mostre que a funo f , acima, no satisfaz as condies do Teorema de Fourier, Teorema 32.12, pgina 1591, mas ca a co a satisfaz a condio de Dini (vide Teorema 32.11, pgina 1589), ou seja, existe > 0, pequeno o suciente, tal que ca a
0
|Df (x, y)| dy < , y
onde Df (x, y) := f (x + y) + f (x y) f (x+ ) f (x ). Explicite, com base nesse fato, a quais valores a srie de e Fourier de f deve convergir em cada ponto. f. Usando (32.126), obtenha o comportamento assinttico dos coecientes de Fourier de f . o
E. 32.19 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x M tenhamos M + x, para M x 0 , f (x) := M x, para 0 x M . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e Usando o Teorema de Fourier e calculando a srie no ponto x = 0, mostre que e 1 2 = . (2n 1)2 8 n=1 Voc saberia como obter essa identidade por outros meios? e E. 32.20 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x < M tenhamos f (x) = x2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e Usando o Teorema de Fourier e calculando a srie no ponto x = M , mostre que e 1 2 = . n2 6 n=1

(32.127)
Essa clebre identidade foi obtida por Euler em 1735. Essa expresso tambm pode ser obtida com uso dos chamados nmeros e a e u de Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a
Cap tulo 32
1616/1992
ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = ex/2 . E. 32.21 Exerccio. Seja f a funo peridica de per a. Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e b. Usando o Teorema de Fourier e calculando a srie no ponto x = 2, mostre que e 1 3e = . 2 n2 1 + 4 4(e 1) n=1 c. Usando o Teorema de Fourier e calculando a srie no ponto x = , mostre que e (1)n e 1 = 1 . 2 n2 1 + 4 2 e1 n=1
(32.128)
E. 32.22 Exerccio-dirigido. Seja f a funo peridica de per ca o odo 2 denida de forma que para x tenhamos f (x) := cos(x) , onde R, Z. a. Determine a expanso em srie de Fourier de f . a e b. Usando a expanso obtida, mostre que a
n=1
n2
1 1 = 2 2
1 cot()
(32.129)
Essa importante identidade vale para todo no-inteiro. Ela denominada frmula da cotangente de Euler, ou expanso a e o a em fraes parciais da funo cotangente, e foi obtida pela primeira vez por Euler em 1749, usando outros mtodos. co ca e Para uma outra elegante demonstrao (devida a Herglotz51 ) de (32.129) , vide Exerc E. 6.10, pgina 262. Para ca cio a uma demonstrao usando a chamada representao produto da funo seno, vide Exerc E. 7.5, pgina 279. ca ca ca cio a c. Usando a identidade (32.129), mostre que
n=1
4n2
1 1 = . 1 2
Sugesto. Tome = 1/2. a d. Usando a mesma identidade (32.129), mostre tambm que e 1 4 = . 16n2 1 8 n=1 Sugesto. Tome = 1/4. a e. Usando a identidade (32.129), mostre que para R, = 0,
n=1
n2
1 1 = 2 + 2
coth()
(32.130)
e obtenha disso que 1 = 2a tanh(a/2)
n=
a2
1 , + (2n)2
(32.131)
com a R, a = 0. Sugesto. Tome = i na identidade (32.129). O que justica podermos fazer isso? a
51 Gustav
Ferdinand Maria Herglotz (18811953).
Cap tulo 32
1617/1992
f. Reobtenha a identidade (32.128) tomando para tal = (2)1 . g. Usando os fatos acima, mostre que, para no-inteiro, a
n=1
n4
n2 = (coth() cot()) . 4 4 1 1 2n2 + 2 = 4 . 2 2 n + n 4 1 (coth() + cot()) 2
Sugesto. Explore o fato que a n2 h. Mostre que, para no-inteiro, a

n=1
n4
1 1 = 4 2 3
Sugesto. Explore o fato que a
1 1 2 2 2 = 4 . n2 2 n + 2 n 4
E. 32.23 Exerccio. Para a > 0, xo, seja ga a funo cont ca nua e peridica de per o odo 1 que no intervalo 0 x < 1 vale ga (x) = cosh a x Determine sua srie de Fourier e obtenha e ga (x) = 2a senh a 2 e2imx . a2 + (2m)2 m=
1 2
(32.132)
(32.133)
No Exerc E. 33.21, pgina 1657, a identidade (32.133) obtida a partir da chamada frmula de soma de Poisson. Compare cio a e o tambm (32.133)(32.132) com os resultados do Exerc E. 32.22, pgina 1616. e cio a E. 32.24 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x M tenhamos M2 f (x) := x2 . 3 a. Mostre que sua expanso em srie de Fourier dada por a e e 4M 2 2 (1)n nx cos n2 M n=1
b. Aplicando a identidade de Parseval para essa expanso mostre que a 1 4 = . n4 90 n=1 Essa clebre identidade foi obtida por Euler em 1735 e tambm pode ser obtida com uso dos chamados nmeros de e e u Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a c. Esta ltima identidade pode ser usada para determinar o valor de . Com o uso, por exemplo, de uma calculadora estime u a srie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verique se a aproximao boa. e ca e
Cap tulo 32
1618/1992
ca o odo 2M denida de forma que para M x M E. 32.25 Exerccio. Seja M > 0 e seja f a funo peridica de per tenhamos f (x) = x3 M 2 x. a. Mostre que sua expanso em srie de Fourier dada por a e e 12M 3 3 (1)n sen n3 n=1
nx M
b. Aplicando a identidade de Parseval para essa expanso mostre que a 1 6 = . n6 945 n=1 Essa clebre identidade foi obtida por Euler em 1735 e tambm pode ser obtida com uso dos chamados nmeros de e e u Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a c. Esta ltima identidade (assim como outras acima) pode ser usada para determinar o valor de . Com o uso, por exemplo, u de uma calculadora estime a srie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verique se e a aproximao boa. ca e
E. 32.26 Exerccio. Algumas identidades trigonomtricas. e a. Mostre que para todo nmero complexo a e para todo n N0 vale u
n
ak =
k=0
1 an+1 . 1a
b. Usando a frmula de Euler cos(y) = o
eiy + eiy e a identidade do item a, mostre que 2

n
cos(kx) =
k=0
sen n + 1 x 1 2 1+ 2 sen x 2
c. Usando a frmula de Euler sen (y) = o

n
eiy eiy e a identidade do item a, mostre que 2i 1 2 sen (x) + sen (nx) sen ((n + 1)x) 1 cos(x) .
sen (kx) =
k=0
d. Usando a identidade do item b, mostre que a seqncia ue

n
rn (x) =
k=0
k sen (kx)
converge quando n apenas para x = m, onde m um inteiro. Nesses pontos tem-se, claramente, rn (x) = 0. e
E. 32.27 Exerccio. Considere a seqncia ue

n
sn (x) =
k=0
cos(2k! x) .
Cap tulo 32
1619/1992
Mostre que essa seqncia diverge sempre que x um nmero racional. Sugesto. Lembre-se que todo nmero racional da ue e u a u e forma p/q com p e q inteiros e note que k!(p/q) um inteiro sempre que k q (por que?). e Usando o teste M de Weierstrass, mostre que a seqncia de funes ue co
n
tn (x) =
k=1
1 sen (2k! x) k! 1 sen (2k! x) k!
uniformemente convergente. O limite e e t(x) =
k=1
e t deve ser, portanto, cont nua. Note que, pelo visto acima, a seqncia de derivadas tn = 2sn no convergente. Isso ue a e sugere que t, ainda que cont nua, no seja diferencivel em parte alguma e, de fato, isso correto. A prova que t no a a e a diferencivel em parte alguma um tanto complexa e, interessantemente, usa idias muito semelhantes `s do grupo de e a e e a renormalizao! A referncia [129] contm uma demonstrao de no-diferenciabilidade para uma funo muito semelhante ca e e ca a ca ` nossa t e recomendamos fortemente sua leitura ao estudante interessado. Outro tratamento anlogo de sries de Fourier a a e conduzindo a funes no-diferenciveis pode ser encontrado em [201]. co a a E. 32.28 Exerccio dirigido. O propsito deste exerc o de determinar a srie de Fourier da funo peridica de o cio e e ca o
per odo 2 dada por f () = cos , R, onde C satisfaz Re () > 1. Como cos negativa nos intervalos e (/2 + 2j, 3/2 + 2j), j Z, necessrio denir essa funo mais precisamente, indicando-se uma das ramicaoes de e a ca c (1) na sua denio. ca Denimos f : R C como sendo a funo peridica de per ca o odo 2 dada no intervalo (/2, 3/2] por cos , (/2, /2] , f () = cos , (/2, 3/2] ,
onde := ei(2l+1) , l Z. Diferentes escolhas de l Z correspondem a diferentes escolhas para (1) no plano complexo. Note-se que para Re () > 1 a funo f integrvel (e at cont ca e a e nua caso Re () > 0). Seus coecientes de Fourier so a dados por /2 3/2 1 fn = ein cos d + ein cos d . 2 /2 2 /2 Com a mudana de varivel = a segunda integral ca c a fn = 1 + (1)n 2
/2 /2
(1)n 2
/2 /2
ein cos 2
/2
d . Logo,
ein cos
d =
1 + (1)n
cos
0
cos(n) d .
A integral do lado direito foi determinada no Exerc E. 7.28, pgina 302. No caso presente, mais conveniente usarmos a cio a e expresso (7.118), e teremos a fn = 1 + (1)n 2 2+1 ( + 1) B 1
n++2 n+2 , 2 2
Essa expresso evidencia que fn = fn para todo n Z e, por isso, podemos escrever a representao de Fourier de f como a ca 1 f () = f0 + 2 Pela denio da funo beta, temos ca ca 1 B
n++2 n+2 , 2 2
fn cos(n) .
(32.134)
n=1
( + 2)
n++2 2
n+2 2
Cap tulo 32
1620/1992
Assim, fn = 1 + (1)n ( + 1) Tn , 2 2 onde Tn := 1

n++2 2
n+2 2
(32.135)
Nota.
Antes de prosseguirmos faamos uma observao relevante sobre a expresso (32.135). Caso = 1, tem-se, naturalmente = 1 e o c ca a 1 fator 1 + (1)n ser nulo para todo n par. Fora isso, alguns dos fatores Tn = a tambm sero nulos. De fato, a funo 1/(z) e a ca n+3 3n
anula-se nos inteiros no-negativos. Assim, Tn ser nulo sempre que n = (2k + 3), k N0 , ou seja, para n {. . . , 7, 5, 3, 3, 5, 7, . . .}, a a isto , para n e mpar e |n| 3. Conclui-se disso que s sero no-nulos os coecientes f1 e f1 . Usando (32.135), elementar constatar que o a a e f1 =
, 2
implicando que a representao de Fourier da funao f () = cos seja ca c
1 2
ei + ei , como esperado. Esse teste indica a correo de ca 1 2

p=0
(32.135). No dif provar, seguindo a mesma anlise, que para N geral os coecientes fn dados em (32.135) so todos nulos para |n| > a e cil a a e fornecem a representao esperada para a expanso de Fourier de f () = ca a visto usando (32.135) ou usando o resultado nal (32.136), abaixo. Faa-o! c cos
, a saber,
cos
ei(2p) . Isso pode ser
Vamos agora analisar mais detalhadamente a expresso para Tn dada em (32.135) no caso de um geral. Por (7.41), a pgina 277, podemos escrever a n2 n2 sen n2 2 2 2 . Tn = n++2 2 Como fn = fn e Tn = Tn suciente tomarmos n N0 . H dois casos a tratar: n par e n e a mpar. 1. Caso n par. Para n = 0, temos T0 =
+2 2 2
(z + 1) = z(z) e a identidade (7.41), que T2k = +2 2
. Para n = 2k, k N, mostre, usando a bem conhecida relao ca

2
2k + + 2 ( + 2)
+ 2 2a . + 2 + 2a a=0
Note que esta frmula tambm correta para k = 0. o e e 2. Caso n mpar. Para n = 2k + 1, k N0 , mostre, usando a bem conhecida relao (z + 1) = z(z) e a identidade ca (7.41), que T2k+1 = +1 2
2
2 + 1 2a . ( + 1) a=0 + 1 + 2a
Reunindo os resultados de acima, a representao de Fourier de f pode ser escrita como ca f () = 1 + ( + 1) 2+1
+2 2 2
1 + ( + 1) 2 ( + 2)
+2 2 2
k=1
2k + + 2
+ 2 2a cos 2k + 2 + 2a a=0
1 ( + 1) 21 ( + 1)
+1 2
2 k=0
+ 1 2a cos (2k + 1) . + 1 + 2a a=0
(32.136)
Verique!
Cap tulo 32
1621/1992
Apndices e
32.A Prova do Teorema de Weierstrass Usando Polinmios o de Bernstein
Nesta seo demonstraremos o Teorema de Weierstrass, Teorema 32.3, pgina 1564, fazendo uso dos chamados polinmios ca a o de Bernstein. Polinmios de Bernstein o
Para cada n N0 , os chamados polinmios de Bernstein52 de grau n so denidos por o a

[0] B0 (x) := 1 , [n] Bp (x) :=
n p x (1 x)np , p
n > 0 , 0 p n , p N0 .
(32.A.1)
[n]
O fato importante estabelecido na proposio que segue diz respeito ` independncia linear dos n + 1 polinmios Bp (x), ca a e o 0 p n para cada n 0. Proposio 32.22 Para n > 0 as razes de Bp (x) so 0, 1, ou ambas, sendo que Bp (x) tem um zero de ordem p em ca a x = 0 e um zero de ordem n p em x = 1. Para cada n, os n + 1 polinmios Bp (x), com 0 p n, so linearmente independentes. o a Prova. As armaes sobre as ra co zes so evidentes e no requerem demonstrao. Passemos ` prova da independncia a a ca a e [0] linear. Para n = 0 no h o que provar, pois B0 (x) = 0. Seja ento n > 0. Vamos supor que existam constantes p , a a a 0 p n, com
n [n] p Bp (x) = 0 . p=0 [n] [n] [n] [n] [n]
(32.A.2)
Como B0 (0) = 0 e Bp (0) = 0 se p > 0, tomar x = 0 em (32.A.2) fornece 0 = 0, de modo que (32.A.2) reduz-se a
n [n] p Bp (x) = 0 . p=1
(32.A.3)
[n]
Tomando a primeira derivada dessa expresso, calculando-a em x = 0 e lembrando que cada Bp (x) tem um zero de a ordem p em x = 0, obtemos 1 = 0. Prosseguindo dessa forma, obtm-se aps n + 1 passos que p = 0 para todo e o 0 p n. A proposio acima permite armar que para cada n, os polinmios Bp , com 0 p n, formam uma base no ca o
n [n]
espao de polinmios de grau n, ou seja, que todo polinmio de grau n pode ser escrito na forma c o o
p=0
[n] p Bp (x), onde p ,
0 p n, so constantes. Essa a chamada forma de Bernstein, ou representao de Bernstein, de polinmios de grau a e ca o n. Um resultados preliminar
O resultado a seguir um tanto tcnico, mas ser utilizado adiante em uma demonstrao importante. e e a ca
Lema 32.2 Sejam os polinmios de Bernstein denidos em (32.A.1). Ento, para cada n N0 vale a seguinte identio a dade: n
p=0 [n] (p nx)2 Bp (x) = nx(1 x) .
(32.A.4)
52 Sergi Natanovich Bernstein (18801968). Bernstein introduziu os polinmios que levam seu nome em trabalho de 1911 sobre o Teorema o de Weierstrass e interpolaes polinomiais. co
Cap tulo 32
1622/1992
Prova. Pelo binmio de Newton, vale o (x + y)n =
n p=0
n p np x y p
(32.A.5)
para todo n N0 e todos x, y R. Para provar (32.A.4), apliquemos o operador diferencial Dx := x2 2 + x(1 2nx) + n2 x2 x2 x
a ambos os lados de (32.A.5). Para o lado esquerdo de (32.A.5), temos Dx (x + y)n = nx y + nx 1 (x + y)

2
(x + y)n2
(verique!) e para o lado direito de (32.A.5), temos

n
Dx
p=0
n p np x y p
=
p=0
(p nx)2
n p np x y p
(verique!). Igualando as expresses acima, obtemos a identidade o nx y + nx 1 (x + y) Tomando nesta expresso y = 1 x, obtemos a
n 2 n
(x + y)n2 =
p=0
(p nx)2
n p np x y . p
nx(1 x) = como quer amos provar.
p=0
(p nx)2
n p x (1 x)np = p
n p=0 [n] (p nx)2 Bp (x) ,
Outras propriedades bsicas dos polinmios de Bernstein a o
A proposio que segue estabelece mais alguns fatos bsicos sobre os polinmios de Bernstein Bp (x). O estudante ca a o [n] deve observar que alguns dos fatos listados abaixo permitem perceber que os polinmios de Bernstein Bp (x) assemelhamo se, em um certo sentido, a seqncias delta de Dirac. ue Proposio 32.23 Os polinmios de Bernstein Bp tm as seguintes propriedades: ca o e 1. Bp (x) 0 para todo x [0, 1]. 2. Para todo n 0 vale
n [n] Bp (x) = 1 . p=0 [n] [n]
[n]
(32.A.6)
p n.
3. Para n > 0 cada polinmio Bp (x) tem no intervalo [0, 1] um mximo absoluto em x = o a 4. Para todo > 0 e todo n > 0 vale a desigualdade
n
p=0 p | x|> n
[n]
[n] Bp (x)
1 . 4 2 n
(32.A.7)
Cap tulo 32
1623/1992
Prova. O item 1 evidente. Tomando-se y = 1 x, o binmio de Newton (32.A.5) ca e o

n
1 =
p=0
n p x (1 x)np = p
n [n] Bp (x) , p=0 [n]
provando (32.A.6) e o item 2. O item 3 prova-se facilmente calculando a derivada de Bp (x).

p a Passemos ` prova do item 4. Se para algum > 0 vale | n x| > , ento n2 2 < (p nx)2 , Logo, a n [n] Bp (x)
p=0 p | x|> n
1 22 n
n [n] n2 2 Bp (x)
p=0 p | x|> n
<
1 n2 2
n
p=0 p | x|> n
[n] (p nx)2 Bp (x)
(32.A.4)
1 n2 2
n p=0 [n] (p nx)2 Bp (x)
x(1 x) 1 , 2 n 4n 2
completando a prova. Na ultima desigualdade usamos o fato que a funo x(1 x) tem um mximo absoluto em toda ca a reta real para x = 1/2, quando vale 1/4.
Passemos agora ` demonstrao do Teorema de Weierstrass, Teorema 32.3, pgina 1564, no intervalo [0, 1] usando a ca a polinmios de Bernstein. o Teorema 32.19 Seja uma funo contnua f : [0, 1] C. Ento, os polinmios de grau n ca a o
n [n] bf (x) := p=0
Prova do Teorema de Weierstrass no intervalo [0, 1]
p n
n [n] Bp (x) = p=0
p n
n p x (1 x)np , p
ditos aproximantes de Bernstein da funo f , aproximam uniformemente f no intervalo [0, 1], ou seja, para todo > 0 ca existe N () tal que [n] := sup f (x) b[n] (x) f bf f
x[0, 1]
para todo n N (). Prova. Usando (32.A.6), podemos escrever

n
f (x) implicando
[n] bf (x)
=
p=0
f (x) f
p n
[n] Bp (x) ,
f (x) bf (x)
[n]
p=0
f (x) f
p n
[n] Bp (x) .
(32.A.8)
Por ser cont nua, f uniformemente cont e nua no intervalo compacto [0, 1] (Teorema 30.12, pgina 1419), ou seja, Para a todo > 0 existe () tal que |f (x) f (y)| < /2 sempre que |x y| < . Assim, xando > 0 teremos que p p f (x) f n < /2 sempre que x n < .
Cap tulo 32
1624/1992
Vamos ento quebrar a soma em p no lado direito de (32.A.8) em dois pedaos: para p tais que a c p tais que n x > . Para a primeira soma, vale
n
p=0 p | x| n
p n
x e para p
f (x) f
p n
[n] Bp (x)
n
p=0 p | x| n
[n] Bp (x)
B [n] (x) 2 p=0 p
(32.A.6)
. 2
(32.A.9)
Para a segunda soma teremos

n
p=0 p | x|> n
f (x) f
p n
n [n] Bp (x) 2M [n] Bp (x)

p=0 p | x|> n
(32.A.7)
M , 2n 2
(32.A.10)
onde M := sup |f (x)|. Assim, provamos que

x[0, 1]
f (x) bf (x) < Portanto, para todo n tal que n

M 2 ,
[n]
M + . 2 2n 2
teremos f bf
[n]
< , completando a prova.
Generalizando para intervalos [a, b]
O Teorema 32.19 estabeleceu o Teorema de Weierstrass no intervalo [0, 1]. Para passar a um intervalo [a, b], com b > a, basta notar que a aplicao ca [0, 1] x h(x) := (b a)x + a [a, b]
cont e nua e bijetora, tendo como inversa [a, b] y h1 (y) := ya [0, 1] , ba

xa ba
que igualmente cont e nua. Fora isso, se p um polinmio, (p h1 )(x) = p e o
tambm um polinmio. e e o
Com isso, se f cont e nua em [a, b], a funo f h cont ca e nua em [0, 1] podendo, pelo Teorema 32.19, ser uniformemente [n] aproximada nesse intervalo pelos polinmios bf h . Logo, f pode ser uniformemente aproximada em [a, b] pelos polinmios o o
[n] [n] cf := bf h h1 . Assim, o Teorema 32.19 se generaliza para
Teorema 32.20 Seja uma funo contnua f : [a, b] C. Ento, os polinmios de grau n ca a o
n [n] cf (x) :=
bf h h1 (x)
[n]
=
p=0 n
f (b a)
p [n] + a Bp n p +a n n p
xa ba xa ba
p
=
p=0
f (b a)
xa ba
np
aproximam uniformemente f no intervalo [a, b], ou seja, para todo > 0 existe N () tal que f cf para todo n N ().
[n]
:=
sup
x[a, b]
f (x) cf (x)
[n]
Cap tulo 32
1625/1992
32.B
A Demonstrao de Weierstrass do Teorema de Weiersca trass
Vamos nesta breve seo apresentar mais uma demonstrao do Teorema de Weierstrass, Teorema 32.3, pgina 1564. ca ca a Esta demonstrao segue essencialmente as mesmas idias da demonstrao original de Weierstrass, obtida em 1885 ca e ca quando seu autor completava 70 anos de idade, contrariando a noo de que contribuies importantes a Matemtica ca co ` a so privilgio de jovens. a e Consideramos a prova abaixo instrutiva pela simplicidade de recursos e pelo uso que a mesma faz de uma seqncia ue delta de Dirac de funes Gaussianas. Nos restringiremos a funes cont co co nuas denidas no intervalo compacto [1, 1] mas, como anteriormente, a generalizao para intervalos compactos gerais do tipo [a, b], com a < b no apresenta ca a nenhuma diculdade. Seja f : [1, 1] C cont nua. Denindo g(x) := f (x) l(x) com l(x) = f (1)f (1) x f (1)+f (1) , temos, natural2 2 mente, que g tambm cont e e nua. Como l um polinmio, suciente provar que g pode ser uniformemente aproximada e o e por polinmios no intervalo [1, 1]. Note-se agora que, pela denio, g(1) = g(1) = 0 e, devido a isso, g possui uma o ca extenso g cont a nua e peridica de per o odo 2 para toda R dada por g 2n + x := g(x) para todo n Z e x [1, 1]. Por ser cont nua no intervalo compacto [1, 1], g uniformemente cont e nua (Teorema 30.12, pgina 1419) e, cona seqentemente, g tambm o , por ser uma extenso cont u e e a nua e peridica de g. Assim, aplica-se para g o Teorema 32.1, o pgina 1560, para qualquer seqncia delta de Dirac (segundo a Denio 32.1, pgina 1558). Escolhemos considerar a a ue ca a 2 2 n seqncia delta de Dirac Gaussiana, denida em (32.12): Kn (x) := en x , n N. Do Teorema 32.1 conclu ue mos que a seqncia de funes ue co 2 2 n Gn (x) = g(y)Kn (x y) dy = g (y) en (yx) dy converge uniformemente a g em toda reta real. Vamos agora restringir x ao intervalo [1, 1] e escrever a integral acima como 1 1+ 2 2 2 2 2 2 n n n g (y) en (yx) dy + g (y) en (yx) dy + g(y) en (yx) dy (32.B.11) 1+ 1 com 0 < < 1, xo. A primeira integral em (32.B.11) pode ser majorada em mdulo por o G
1
2 2 n en (yx) dy
Para uso futuro, denamos G := sup{|g(x)|, x [1, 1]}. E evidente que |(x)| G para todo x R. g
w=xy
x+1+
2 2 n en w dw
(32.13)
en
(x+1+)2
en 2
2 2
sendo que na ultima desigualdade usamos que x 1. A segunda integral em (32.B.11) pode ser majorada em mdulo o por 2 2 2 2 (32.13) en (1+x) 2 2 2 2 n n en w=yx en w dw G g(y) en (yx) dy = G , 2 2 1+ 1+x sendo que na ultima desigualdade usamos que x 1. Como e 2 converge a zero para n independente de x, conclu mos que as duas primeiras integrais em (32.B.11) convergem a zero para n uniformemente para todo x no intervalo [1, 1]. Logo, a terceira integral em (32.B.11), Hn (x) :=
2 2 n g (y) en (yx) dy , 1 n2 2
1+
converge uniformemente em [1, 1] ` funo g (e, portanto, ` funo g). a ca a ca Sabemos (Proposio 32.6, pgina 1574) que a srie de Taylor centrada em zero da funo exponencial converge ca a e ca uniformemente ` mesma em intervalos compactos como [0, (2 + )2 ] (onde os valores de (y x)2 se encontram quando a y [1 , 1 + ] e x [1, 1]). Logo, para cada n N as funes Hn podem ser uniformemente aproximadas por co
m
Hn, m (x) :=
k=0
(1)k n2k n k!
1+ 1
g(y) (y x)2k dy ,
mN.
Cap tulo 32
1626/1992
Agora, bastante claro (expandindo (y x)2k pelo binmio de Newton) que Hn, m um polinmio em x. Assim, e o e o conclu mos do racioc nio acima que cada funo Hn uniformemente aproximvel por polinmios no intervalo [1, 1] e ca e a o que a funo g uniformemente aproximvel pelas funes Hn no mesmo intervalo. Isso prova que g uniformemente ca e a co e aproximvel no intervalo [1, 1] pelos polinmios Hn, m : a o
m
g(x) = lim lim Hn, m (x) = lim lim

n m
n m
k=0
(1)k n2k+1 k!
1+ 1
g(y) (y x)2k dy
(notar que a ordem dos limites no pode ser trocada!) e a demonstrao do Teorema de Weierstrass, Teorema 32.3, a ca pgina 1564, est completa. a a

NC Cap32

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

NC Cap32

Încărcat de

Drepturi de autor:

Formate disponibile

Cap tulo 32 Aproximao de Funes.

Aproximaes ca co co Polinomiais e Sries de Fourier e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Noes de Convergncia para Seqncias de Funes co e ue co

sup |fn (x) f (x)|

|fn (x)|dx <

para todo n N. Seja tambm f : [a, b] C com e

|f (x)|dx < . Dizemos que a seqncia fn converge a f ue

no sentido de L1 [a, b], dx se lim

|fn (x) f (x)|dx = 0.

|fn (x)|2 dx <

para todo n N. Seja tambm f : [a, b] C com e

|f (x)|2 dx < . Dizemos que a seqncia fn converge a ue

f no sentido de L2 [a, b], dx se lim

|fn (x) f (x)|2 dx = 0.

Theodor Wilhelm Weierstrass (18151897).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Mk for convergente, a seqencia de funoes sn (x) := u c

fk (x) converge uniformemente em D.

Prova. Como a srie e

Mk convergente, a seqncia de somas parciais Mn := e ue

Mk uma seqncia de Cauchy e, e ue

a diferena sn (x) sm (x) = c

fk (x). Naturalmente, vale |sn (x) sm (x)|

Importncia da Convergncia Uniforme a e

|fn (x) f (x)| dx

sup |fn (x) f (x)| b a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Limites uniformes de funes cont co nuas em intervalos compactos

Troca de Ordem entre Limites e Integrais

ou seja, possvel inverter o limite pela integral denida. e

Prova. A demonstrao segue facilmente da observao que ca ca

|fn (x) f (x)| dx

sup |fn (x) f (x)| = 0.

que implica que lim

sup |fn (x) f (x)|

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

conhecido o da seqncia de funes cont e ue co nuas 2 n x, 1 0x n , 1 2 2 fn (x) := n x + 2n , n x n , 0, 2 n x 1 ,

fn (x) dx = 1 para todo n. Logo, lim

lim fn (x) dx, pois o lado esquerdo vale 1 e o lado

para todo n, mostrando que 1 = lim

Troca de Ordem entre Limites e Derivadas

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Troca de Ordem entre Derivadas e Integrais

t) exista para todos

(x, t)dx diferencivel e vale e a (32.5)

Parte II. Vamos adicionalmente supor que valham as seguintes hipteses: o a. b.

|(x, t)|dx existe para todo t R; (x, t) dx existe para todo t R; t

c. a seqncia de funes Fn (t) := ue co

Ento, a funo de t denida por a ca

(x, t)dx diferencivel e vale e a d dt

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

|2 (x, ) dx 2 (x, )| dx < (b a) ,

(x, t) dx. Para

n N, dena-se tambm a seqncia de funes fn (t) := e ue co

(x, t) dx. Se provarmos que fn converge pontualmente a

f e que fn diferencivel e a seqncia de derivadas fn converge uniformemente a e a ue n