Académique Documents
Professionnel Documents
Culture Documents
a F sica e tambm em diversas reas da Matemtica Aplicada, estamos muitas vezes interessados em resolver e a a problemas cuja soluao no pode ser obtida exatamente. No caso de equaoes diferenciais, por exemplo, so c a c a muito raras as situaoes nas quais uma soluao pode ser expressa em termos de funoes elementares, tais como c c c polinmios, exponenciais, logaritmos, senos, co-senos ou combinaoes nitas das mesmas. Na grande maioria o c dos casos apresentam-se mtodos de soluao em termos de aproximaoes que, sob hipteses adequadas, podem estar to e c c o a prximas quanto se queira da soluao correta. E, portanto, uma questo importante desenvolver mtodos de aproximar o c a e funoes com certas propriedades e disso, basicamente, que trataremos neste cap c 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 funoes: as aproximaoes por polinmios e as aproximaoes por polinmios trigonomtricos. Este ultimo tpico o c c o c 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 aplicaoes. Como veremos, aproximaoes por polinmios e por polinmios trigonomtricos so dois c c o o e a assuntos relacionados. Ambos os mtodos de aproximaao esto tambm na raiz de muitos outros desenvolvimentos, e c 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 aplicaoes da Matemtica a problemas de F a e e c a sica e de Engenharia desde o sculo XVIII. e
1168
Cap tulo 27
1169/1628
27.1
Em benef cio do estudante, vamos recordar brevemente na corrente seao algumas das nooes e resultados bsicos c c a sobre convergncia de seqncias de funoes denidas em R (ou em sub-conjuntos de R), nooes e resultados esses e ue c c 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 20, pgina 949, 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 nooes de convergncia so de fundamental importncia: c e a a a. Convergncia pontual. Diz-se que uma seqncia de funoes fn : D C, denidas em D, converge pontualmente a e ue c uma funao f : D C se para cada x D valer lim fn (x) = f (x). c
n
b. Convergncia uniforme. Diz-se que uma seqncia de funoes fn : D C converge uniformemente a uma funao e ue c c f : D C se lim
n xD
= 0.
Se uma seqncia fn converge pontualmente a uma funao f , ento f dita ser o limite pontual da seqncia fn . Se ue c a e ue uma seqncia fn converge uniformemente a uma funao f , ento f dita ser o limite uniforme da seqncia fn . ue c a e ue Alm da convergncia uniforme e pontual, h diversas outras nooes de convergncia para seqncias de funoes, das e e a c 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 funoes tais que e ue c
b
d. Convergncia no sentido de L2 [a, b], dx . Seja fn : [a, b] C uma seqncia de funoes tais que e ue c
b
Denioes anlogas existem para o caso de seqncias denidas, no em um intervalo nito [a, b], mas em intervalos c 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 funoes. e e c O teste M de Weierstrass Em muitas situaoes lidamos com sries de funoes, ou seja, com seqncias da forma sn (x) = c e c ue
k=0
fk (x), n N,
onde fk so funoes reais denidas em um certo dom a c 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 funao. De particular utilidade e ue c nesse contexto um pequeno resultado devido a Weierstrass1, conhecido como teste M de Weierstrass, o qual fornece e condioes sucientes para a convergncia uniforme de uma srie: c e e Proposio 27.1 (Teste M de Weierstrass) Seja D R, D no-vazio, e seja fn : D C uma seqncia de funoes ca a ue c 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
Cap tulo 27
1170/1628
srie e
k=0
k=0
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
k=m+1
k=m+1
|fk (x)|
k=m+1
Mk sempre
Provemos agora que a seqncia sn converge uniformemente a essa funao s. Para cada x D vale, como vimos, ue c |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 Proposiao 27.1 e sua demonstraao se deixam generalizar sem problemas para c c sries de funoes complexas denidas em dom e c nios complexos D C. Em verdade, a Proposiao 27.1 e sua demonstraao c c se deixam facilmente generalizar ainda mais para sries de funoes denidas em D C assumindo valores em um espao e c c de Banach.
que n e m forem maiores que N (). Isso provou que a seqncia sn (x) uma seqncia de Cauchy de n meros reais e, ue e ue u portanto, converge a um n mero que denotamos por s(x). Como isso se d para cada x D, conclu u a mos que existe uma funao s : D C ` qual a seqncia sn converge pontualmente. c a ue
27.1.1
Vamos discutir brevemente algumas das razes da importncia da noao de convergncia uniforme. Como conseqncia o a c e ue dessa discusso, obteremos uma srie de resultados muito uteis que garantem condioes sucientes para que se possa a e c trocar a ordem de operaoes envolvendo a tomada de limites, o clculo de derivadas e o clculo de integrais denidas, c a a trocas essas empregadas ami de em manipulaoes em F u c 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 funao f implica a convergncia e ue c e pontual dessa seqncia ` mesma funao. No caso de intervalos [a, b] nitos, a convergncia uniforme implica tambm ue a c e e a convergncia no sentido de L1 [a, b], dx , pois vale, evidentemente, e
b a
x[a, b]
(27.1)
para n 1, converge ` funao nula no sentido de L1 [a, b], dx e no sentido de L2 [a, b], dx (justique!), mas no a c a converge uniformemente a essa funao (justique!). c
e analogamente para a convergncia no sentido de L2 [a, b], dx . A rec e proca dessas duas armaoes, porm, no c e a e necessariamente verdadeira. Por exemplo, a seqncia de funoes denidas no intervalo [1, 1] por ue c 1 1 0 |x| n , fn (x) := 0 , 1 < |x| 1 , n
Cap tulo 27
1171/1628
Um importante resultado que mencionamos uma propriedade de grande relevncia de limites uniformes de funoes e a c cont nuas:
Proposio 27.2 Seja D R, no-vazio, e seja fn : D C uma seqncia de funoes contnuas que converge ca a ue c uniformemente a uma funao f : D C. Ento, f tambm contnua. c 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 extri f (x) f (y) f (x) fn (x) + fn (x) fn (y) + fn (y) f (y) . Como a seqncia fn a 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 funao fn cont c 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 Proposiao 20.6, pgina 958. a c a
27.1.1.1
No caso de intervalos nitos [a, b], a noao de convergncia uniforme importante por fornecer condioes sucientes para c e e c garantir a inverso de ordem de limites e integrais. Mais especicamente, tem-se a seguinte armaao: a c Proposio 27.3 Seja uma seqncia fn : [a, b] C de funoes contnuas denidas em um intervalo compacto [a, b] ca ue c R que converge uniformemente nesse intervalo a uma funao f : [a, b] C (a qual, pela Proposiao 27.2, tambm c c e e contnua), ento vale a
a a a n
lim
fn (x) dx =
b b
lim fn (x) dx =
b
f (x) dx
(27.2)
fn (x) f (x) dx
b b
x[a, b]
ba
fn (x)dx
f (x)dx = 0 se lim
a
x[a, b]
Fazemos notar que a condiao de convergncia uniforme da seqncia fn suciente, mas no necessria para validar c e ue e a a a inverso de limites em intervalos compactos descrita em (27.2). Citamos o importante exemplo de sries de Fourier a e de funoes peridicas, cont c o nuas e diferenciveis por partes. De acordo com o Teorema 27.13, pgina 1209, as condioes a a c do Teorema de Fourier (Teorema 27.12, pgina 1208) so sucientes para que a inverso de (27.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 operaao freq entemente realizada em manipulaoes matemticas e c u c a e, no raro, conduz ` soluao de diversos problemas em F a a c sica. E, portanto, util conhecermos condioes sob as quais c tal inverso seja permitida. Alguns dos teoremas mais fortes nessa direao (com a integraao entendida no sentido de a c c Lebesgue) so o Teorema da Convergncia Montona e o Teorema da Convergncia Dominada, que apresentamos e a e o e demonstramos na Seao 26.3.4, pgina 1140. c a Contra-exemplos a se ter em mente
Caso a seqncia de funoes no seja uniformemente convergente, ento no sempre poss garantir a validade da ue c 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 27
1172/1628
(27.3)
a com n 2, funoes essas denidas no intervalo [0, 1]. Vide Figura 27.1, pgina 1172. E fcil constatar que para cada c 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 =
b b
direito vale 0.
1/n
2/n
Figura 27.1: Grco de uma funao fn denida em (27.3). Observe que a rea do tringulo vale 1 para todo n. a c a a
a c com n 1. Ento, fn convege uniformemente em toda R ` funao identicamente nula (justique!), mas a para todo n, mostrando que 1 = lim
n
A hiptese feita na Proposiao 27.3 de a seqncia fn converge uniformemente em um intervalo compacto tambm o c ue e no gratuita, como mostra o seguinte (contra-)exemplo: Seja fn : R R a seqncia de funoes denidas por a e ue c 1 2n , n x n , (27.4) fn (x) := 0, de outra forma ,
fn (x) dx = 1
fn (x) dx
lim fn (x) dx = 0.
27.1.1.2
A Proposiao 27.3 tem uma outra conseqncia util referente ` possibilidade de inverso de limites por derivadas. c ue a a
Proposio 27.4 Seja fn : R C, n N, uma seqncia de funoes contnuas e diferenciveis com derivadas fn ca ue c a tambm contnuas. Supanhamos que a seqncia fn convirga pontualmente a uma funao f : R C e que a seqncia e ue c ue
Cap tulo 27
1173/1628
de derivadas fn convirga uniformemente em cada intervalo compacto [a, b] R a uma funao g : R C. Ento, g c a e contnua e f diferencivel, com f = g. e a dfn d Assim, em outras palavras, vale, sob as hipteses de acima, lim o lim fn (x) . (x) = n dx dx n
Prova. A seqncia de funoes cont ue c nuas fn converge uniformemente a g em cada intervalo compacto [a, b] R e, assim, pela Proposiao 27.2, g cont c 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 funoes cont ue c nuas fn converge uniformemente x x e nesse intervalo ` funao g, vale pela Proposiao 27.3 que limn a fn (y)dy = a g(y)dy. A integral do lado esquerdo a c c fn (x)fn (0). Como a seqncia fn converge pontualmente ` funao f , teremos que limn fn (x)fn (0) = f (x)f (0). ue a c 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
27.1.1.3
Tanto na F sica quanto na Matemtica em geral, muito comum encontrarmos situaoes nas quais temos uma funao a e c 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 funao resultante da integral em relaao ` varivel t, usando para a c c a a d tal a expresso a (x, t)dx, na qual, em um sentido formal, a derivaao na varivel t trocada c a e (x, t)dx = dt t de ordem com a integraao em x. Tal troca de ordem por vezes de grande utilidade em manipulaoes, por exemplo, c e c na teoria das equaoes diferenciais ordinrias e parciais. Na proposiao que segue apresentaremos condioes sucientes c a c c para garantir que tal troca seja vlida. a Proposio 27.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 funao de t denida por c d dt
b b b a t (x,
(x, t) dx =
a a
(x, t) dx . t
(x, t) dx converge quando n a funao identicamente nula, uni` c |x|>n t formemente para t em qualquer intervalo compacto [a, b] R.
(x, t) dx =
(x, t) dx . t
(27.6)
Cap tulo 27
1174/1628
Prova da Parte I. Para evitar confuses na notaao, vamos no que segue denotar a derivada parcial o c 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
(27.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 provisriamente restringir ao intervalo compacto o [T, T ] para algum T > 0. Por hiptese, a funao 2 (x, ) cont o c 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
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 funao de t e de (27.7) conclu a e a c mos b que a (x, t) dx tambm diferencivel como funao de t e vale e e a c 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 funao f : R C denida por f (t) := o e c
n
(x, t) dx para t em compactos t [a, b] (sendo que essa integral existe pela hiptese hiptese b), ento poderemos evocar a Proposiao 27.4, pgina 1172 o o a c a e obter que lim
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,
t)| dx no existiria), a Pela hiptese a, tem-se para cada t que limn |x|>n |(x, t)| dx = 0 (doutra o provando que para cada t vale limn |fn (t) f (t)|, o que diz que fn converge a f pontualmente.
|x|>n |(x,
t)| dx.
Cap tulo 27
1175/1628
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
|x|>n
t (x,
27.2
Uma noao importante para o estudo de certas aproximaoes de funoes a noao de seqncia delta de Dirac pois, como c c c e c ue ser ilustrado em diversos exemplos no que segue, muitos aproximantes de funoes so produzidos por tais seqncias ou a c 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 28, pgina 1238) e no estudo de equaoes diferenciais. a c Dirac2 introduziu essas seqncias no contexto da Mecnica Quntica, mas a idia subjacente j podia ser encontrada ue a a e a na demonstraao original de Weierstrass, datada de 1885, do teorema que leva seu nome sobre aproximaao polinomial c c de funoes cont c nuas em intervalos compactos (Teorema 27.3, pgina 1181), assim como no trabalho de Fejr3 de 1900 a e sobre o problema de convergncia uniforme de polinmios trigonomtricos associados a funoes cont e o e c nuas e peridicas o (vide Teorema 27.9, pgina 1202). 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 Proposiao 27.9, pgina 1204). e e c a Seqncias delta de Dirac. Denio formal e propriedades ue ca
A noao de seqncia delta de Dirac, que introduziremos agora, de importncia central na discusso de mtodos de c ue e a a e aproximaao de funoes. Isso ser explicitado quando apresentarmos e demonstrarmos o Teorema 27.1 ` pgina 1177. A c c a a a noao de seqncia delta de Dirac tambm intimamente ligada ` noao de medida delta de Dirac (vide pgina 1051) e c ue e e a c a a c ` noao de distribuiao delta de Dirac (vide pgina 1272). c a Denio 27.1 (Seqncias delta de Dirac) Uma seqncia de funoes Kn : R R, n N, dita ser uma ca ue ue c e seqncia delta de Dirac em R centrada em 0 se satiszer ue 1. Para cada n N, a funao Kn integrvel, ou seja, c e a
|Kn (x)| dx K .
(27.8)
Kn (x) dx = 1 .
(27.9)
lim
|Kn (x)| dx +
|Kn (x)| dx
= 0.
(27.10)
Adrien Maurice Dirac (19021984). Fejr (18801959). e 4 Johann Peter Gustav Lejeune Dirichlet (18051859).
3 Lipt o
Cap tulo 27
1176/1628
Uma seqncia de funoes R R dita ser uma seqncia delta de Dirac em R centrada em x0 R se for da forma ue c e ue e c 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 qual associa a cada funao f : R R ` funao Tx0 f denida por c a c Tx0 f (x) := f (x x0 ) para todo x R. As funoes Kn de uma seqncia delta de Dirac so tambm denominadas ncleos de Dirac. c ue a e u
n
(27.11)
verdadeiro, pois podemos ter lim Kn (0) = 0 e mesmo lim Kn (0) = ! Essas diversas situaoes so ilustradas nos e c a n n exemplos que seguem. Exemplos de seqncias delta de Dirac ue
a As condioes 3 e 4 exigem que as funoes Kn tornem-se mais e mais concentradas em torno do ponto 0 ` medida em c c 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 deniao 27.1. ue c
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 funoes Gaussianas dadas por (vide (28.82)) lia c
2 2 n gn (x) := en x
(27.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
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 =
(27.13)
en
x2
dx
en 2
2 2
0 .
(27.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
(27.15)
com n N. Todas as propriedades da deniao 27.1 so evidentes nesse caso. E interessante notar que para x = 0 c 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 27
1177/1628
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 deniao 27.1 so evidentes nesse caso. E interessante notar que, em c 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 deniao 27.1 so evidentes nesse caso. E interessante notar que, em c 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 funoes de suporte compacto. Seja : R R uma funao integrvel, ue c 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 deniao 27.1 (faa!). A propriedade (27.8), por exemplo, c c e satisfeita com K = |(s)|ds e c (s)ds , a propriedade (27.9) evidente pela deniao e a propriedade (27.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 funoes de Schwartz. Seja f : R R com f S (R) (para a deniao ue c c das funoes de Schwartz, vide Seao 28.1, pgina 1239) e tal que f (s)ds = 0. Seja, para cada n N, c c a
5 Kn (x)
:=
n f (nx)
f (s)ds
a E fcil provar que 5 Kn satisfaz as propriedades da deniao 27.1 (Exerc c 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
Teorema 27.1 Seja f : R C uma funao satisfazendo as seguintes condioes: c c 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
noao de continuidade uniforme de funoes em espaos mtricos tratada com mais detalhe na pgina 1348 e seguintes. c c c e e a
Cap tulo 27
1178/1628
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 funoes uniformemente contnuas e converge uniformemente a f em R: a ue e ue c lim f Fn
= lim
xR
= 0.
Antes de provarmos o teorema, faamos alguns comentrios. A condiao de continuidade uniforme implica, evidentec a c mente, a continuidade da funao f . Uma condiao suciente para que f seja uniformemente cont c c nua que f satisfaa e c a condiao de Hlder6 : existem constantes C1 > 0 e > 0 tais que para todos x e y R vale c o |f (x) f (y)| C1 |x y| . (27.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 condiao de Hlder (27.16) a a c 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
desigualdade essa tambm vlida se x y. Portanto, vale a condiao de Hlder (27.16) com = 1 e C1 = sup{|f (s)|, s e a c o R}. Com isso vemos que as funoes do espao de Schwartz S (R) (vide Seao 28.1, pgina 1239) satisfazem as hipteses c c c a o do Teorema 27.1. Para certas seqncias delta de Dirac espec ue cas poss enfraquecer algumas restrioes sobre as funoes f mencie vel c c onadas no Teorema 27.1, eventualmente com perda da uniformidade da convergncia da seqncia Fn ` funao f . Por e ue a c exemplo, para a seqncia de funoes Gaussianas de (28.82) (que formam uma seqncias delta de Dirac, como veremos ue c ue mais adiante) a restriao que f seja limitada pode ser substitu pela restriao de que f no cresa mais rpido no c da c a c a innito do que algum polinmio. Nesse caso Fn ainda convergir (eventualmente de forma no-uniforme) ` f . Deixamos o a a a a prova dessa armaao como exerc ao leitor. c cio Prova do Teorema 27.1. Observemos primeiramente que, como f limitada, denindo C0 := sup{|f (x)|, x R}, teremos e
Kn (y)f (x y) dy
|Kn (y)| dy
(27.8)
C0 K .
Isso mostra que as integrais que denem as funoes Fn esto bem denidas. c 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
(27.8)
|Kn (y)| dy
K ,
6 Otto
7 Rudolf
Cap tulo 27
1179/1628
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 (27.9), f (x) Fn (x) =
f (x) f (x y) Kn (y) dy .
f (x) f (x y) Kn (y) dy +
f (x) f (x y) Kn (y) dy +
f (x) f (x y) Kn (y) dy
(27.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
|Kn (y)| dy
|Kn (y)| dy
K .
f (x) f (x y) Kn (y) dy
|Kn (y)| dy
|Kn (y)| dy ,
f (x) f (x y) Kn (y) dy +
f (x) f (x y) Kn (y) dy
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. 27.1 Exerccio (fcil). Seja 1 Kn a seqncia delta de Dirac denida em (27.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
(27.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
Denio 27.2 (Seqncias delta de Dirac em Rm ) Uma seqncia de funoes Kn : Rm R, n N, dita ser ca ue ue c e uma seqncia delta de Dirac em Rm centrada em 0 Rm se satiszer ue
Cap tulo 27
1180/1628
Rm
|Kn (x)| dm x K .
(27.18)
Kn (x) dm x = 1 .
(27.19)
lim
Rm \B
|Kn (x)| dm x = 0 ,
(27.20)
e onde B := {x Rm , x < } a bola aberta de raio > 0 centrada em 0 Rm . Teorema 27.2 Seja f : Rm C uma funao satisfazendo as seguintes condioes: c c 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 .
lim
f Fn
= lim
xRm
= 0.
Prova do Teorema 27.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
Rm
|Kn (y)| dm y
(27.18)
C0 K .
Isso mostra que as integrais que denem as funoes Fn esto bem denidas. c 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
(27.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 (27.19), f (x) Fn (x) = f (x) f (x y) Kn (y) dm y .
Rm
Cap tulo 27
1181/1628
f (x) f (x y) Kn (y) dm y +
f (x) f (x y) Kn (y) dm y
(27.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
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
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.
27.3
27.3.1
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 27.3 (Teorema de Weierstrass) Seja f uma funao real ou complexa, contnua em um intervalo fechado c 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 in meras demonstraoes do Teorema 27.3 na literatura. No Apndice 27.A, pgina 1232, apresentamos uma prova a u c e a usando os chamados aproximantes de Bernstein, dados, para uma funao cont c 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 .
(27.22)
8 Karl Theodor Wilhelm Weierstrass (18151897). O Teorema de Weierstrass data de 1885. A referncia original pode ser encontrada em e [38].
Cap tulo 27
1182/1628
O estudante pode interessar-se em saber que os aproximantes de Bernstein para funoes cont c nuas e os polinmios de o Bernstein (que deniremos no Apndice 27.A, pgina 1232) esto intimamente ligados `s curvas de Bzier9 e `s splines e a a a e a de Bzier, de ampla aplicaao atual em Computaao Grca (as fontes que produziram as letras que o caro leitor l neste e c c a e mesmo momento foram geradas com tais curvas). No Apndice 27.B, pgina 1236, apresentamos outra demonstraao instrutiva do Teorema 27.3 e que segue as idias e a c e originais de Weierstrass. Tambm muito interessante a demonstraao encontrada em [57], talvez a mais elementar, e e e c que aparentemente devida a Lebesgue10 . Vide tambm [192]. Na referncia [104] diversas demonstraoes do Teorema e e e c 27.3 podem ser encontradas. Como discutiremos na Proposiao 27.8, pgina 1204, o Teorema de Weierstrass equivalente a um outro Teorema c a e importante, o Teorema de Fejr (Teorema 27.9, pgina 1202), o qual fundamental para a Teoria das Sries de Fourier e a e e e arma que funoes cont c nuas e peridicas podem ser aproximadas uniformemente por polinmios trigonomtricos. o o e Muito importante tambm o fato de o Teorema 27.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 Seao 24.3, pgina 1077). Esse o conte do do Teorema 27.18, pgina 1219 o qual conseqncia do importante c a e u a e ue Teorema de Stone-Weierstrass, Teorema 27.16, pgina 1215, que tambm generaliza fortemente o Teorema 27.3. A Seao a e c 27.5, pgina 1215, dedicada ao Teorema de Stone-Weierstrass e suas algumas de suas conseqncias. a e ue O Teorema 27.3 tambm vlido para funoes cont e e a c nuas de vrias variveis. Vide Teorema 27.5, pgina 1186. a a a No que segue, iremos provar uma forma mais forte do Teorema 27.3, a saber: Teorema 27.4 (Teorema de Weierstrass) Seja f uma funao real ou complexa, contnua em um intervalo fechado c [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 generalizaao do Teorema 27.3 arma que no apenas poss aproximar uniforc a e vel memente funoes cont c nuas em intervalos compactos por polinmios mas, no caso de a funao ser k vezes diferencivel, o c a e poss encontrar aproximantes polinomiais cujas k primeiras derivadas tambm aproximam uniformemente as respecvel e tivas derivadas da funao a ser aproximada. c Adiante, apresentaremos uma prova do teorema mais geral, Teorema 27.4. Seguiremos muito proximamente a demonstraao apresentada em [38], demonstraao essa aparentemente devida a Landau11 mas, para a facilidade do estudante, c c acrescentaremos alguns detalhes12 . Antes de iniciarmos a prova do Teorema 27.4 precisamos fazer um comentrio sobre um fato que usaremos a respeito a de extenses cont o nuas de funoes. c Certas extenses cont o nuas de funoes c
x[a, b]
Seja f uma funao cont c 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 [38], pois l o parmetro (vide abaixo) tomado na forma 0 < < 1 mas, e e a a e para evitar problemas em certos limites de integraao, o correto tom-lo como faremos adiante. c e a
9 Pierre 10 Henri
Cap tulo 27
1183/1628
3. f e suas k primeiras derivadas anulam-se nos extremos e do intervalo [, ]. A funao f , assim, uma extenso de cont c 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 funao escolh-la de modo que H innitas funoes f a c c 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 27.1 Uma poss escolha de uma funao f com as propriedades vel c f (x) , k f (k) (a) (x a)l F, a (x) , f (x) = l! l=0 k f (k) (b) (x b)l (1 Fb, (x)) , l!
l=0
x<a
b<x
onde, para u < v, a funao Fu, v : [u, v] [0, 1] denida por c e Fu, v (x) := 1 Nu, v
x u
exp
v
1 1 (y u)2 (y v)2
dy ,
u x v,
exp
1 1 (y u)2 (y v)2
dy .
Essa funao Fu, v cont c e nua, estritamente crescente, innitamente diferencivel no intervalo u < x < v e satisfaz a
xu
xv
xu
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 , (27.23) f (l) (a) = f (l) (a) alm de, obviamente, ser uma extenso de f . e a E. 27.2 Exerccio. Verique as armaoes feitas acima. c 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 27.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 funao podemos denir os polinmios c o pn (x) := 1 2Dn (0)
1 0
f (u) 1 (u x)2
du
(27.24)
Cap tulo 27
1184/1628
1 v2
dv .
A expresso Dn (0) pode ser calculada explicitamente repetindo-se o procedimento de integraao por partes (vide (11.85), a c pgina 516) e tem-se a (2n)!! Dn (0) = , (27.25) (2n + 1)!! mas no faremos uso dessa expresso aqui. Uma outra prova de (27.25), por uma mudana de variveis e com uso do a a c a binmio de Newton, pode ser encontrada em (27.75), pgina 1202. o a 1 x2 A seqncia de funoes Kn (x) = ue c , denidas no intervalo [1, 1], no forma exatamente uma seqncia a ue 2Dn (0) delta de Dirac como na Deniao 27.1, pgina 1175, mas a demonstraao que segue muito prxima ` do Teorema 27.1, c a c e o a pgina 1177. 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 , (27.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
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) (27.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 v2
dv + 2Dn ()
2Dn (0)
n
f (v + x) 1 v 2
dv
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 (27.26) so crescentes. e c a
Cap tulo 27
1185/1628
De (27.27), (27.28) e (27.29) extra mos, assim, que para x [a, b], F Dn () 1 Dn () |pn (x) f (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 1 Dn () + Dn (0) 2Dn (0)
f (v + x) f (x)
1 v2
dv .
e Observemos neste ponto que uma funao que seja cont c nua em um intervalo compacto, como f , uniformemente cont nua nesse intervalo (Teorema 29.12, pgina 1349). 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
= (2F ) 2F
Dn () +. Dn (0)
Para fechar a demonstraao dessa parte, precisamos agora mostrar que para qualquer xo com 0 < 1 a razo c a Dn ()/Dn (0) pode ser feita to pequena quanto se queira, fazendo-se n crescer. Como em [38], 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
Dn (0) =
(1 v 2 )n dv (1 2 )n
dv = (1 2 )n (1 ) (1 2 )n (27.29)
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 27.3. Vamos provar agora que para cada l com 1 l k as derivadas pn tambm convergem uniformemente `s derivadas e a f (l) quando n . Notemos que, pela deniao de pn , c p(l) (x) = n 1 2Dn (0)
n 1 0 (l)
l f (u) l 1 (u x)2 x
du .
l 1 (u x)2 xl
= (1)l
l 1 (u x)2 ul
Cap tulo 27
1186/1628
l f (u) l 1 (u x)2 u
n
(1)l f (u)
u=1
+
u=0
du .
= 0,
Repetindo-se l vezes o processo de integraao por partes e usando o fato que f e suas derivadas anulam-se em 0 e em 1, c por construao, obtemos, c 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 27.4.
O Teorema 27.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 demonstraao muito semelhante ` c e a do Teorema 27.4 mas h algumas passagens delicadas e, por isso, reproduzimos a demonstraao com certo detalhe. a c Teorema 27.5 (Teorema de Weierstrass) Seja f : Rm C uma funao real ou complexa, contnua em um retngulo c 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
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 (27.24), denimos os polinmios em m variveis o a
1 0 1 m
pn (x1 , . . . , xm ) :=
f (u1 , . . . , um )
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
(27.30)
com Dn denido como na prova do Teorema 27.4, com (x1 , . . . , xm ) R, onde na segunda linha zemos a bvia o mudana de variveis vk = uk xk para todo k. c a podemos escrever a ultima expresso em (27.30) na forma A1 + A2 onde a
A2 =
dv1 dvm
2m Dn (0)m
Cap tulo 27
1187/1628
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
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 demonstraao do Teorema 27.4, acima (vide (27.27)). Assim, c
A1 KF
Dn () 2Dn (0)
(27.29)
KF (n + 1) 1 2
sendo K uma constante dependente apenas da dimenso m. a O termo A2 pode ser manipulado analogamente ` demonstraao do Teorema 27.4. a c
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
(27.31)
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
direito de (27.31) pode ser majorada por 1 Conclu mos disso que
e Uma funao que seja cont c nua em um conjunto compacto, como f , uniformemente cont nua nesse intervalo (Teorema 29.12, pgina 1349). 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
Dn () Dn (0) m
pn (x1 , . . . , xm ) f x1 , . . . , xm
KF (n + 1) 1 2
+ 2 .
Como |1 | < 1, isso completa a demonstraao de que f uniformemente aproximvel por polinmios. c 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 deniao de pn , a c
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 27
1188/1628
1 (uk xk )2
1 (uk xk )2
1 (uk xk )2
du1 dum .
Repetindo-se || vezes o processo de integraao por partes e usando o fato que f e suas derivadas anulam-se nas fronteiras c da integral m ltipla 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 27.5.
27.3.2
O Teorema de Taylor
Nesta seao apresentaremos o Teorema de Taylor, um dos teoremas bsicos do Clculo Diferencial, o qual enuncia c a a e e condioes que permitem aproximar certas funoes innitamente diferenciveis por sries de potncia absoluta e uniforc c a memente convergentes em intervalos limitados da reta real. Se a funao que estamos interessados em aproximar no for c a innitamente diferencivel ou no satiszer as condioes enunciadas abaixo, tem-se como alternativa o Teorema de Weia a c erstrass, que garante a possibilidade de se obter uma aproximaao uniforme por polinmios. O Teorema de Weierstrass c o e estudado na Seao 27.3.1, pgina 1181. A demonstraao do Teorema de Taylor segue de um simples racioc c a c nio iterativo que ora iniciamos. Seja f : R C uma funao K-vezes diferencivel, com K > 0. Pelo Teorema Fundamental do Clculo podemos c a a escrever x f (x) = f (x0 ) +
x0
f (s1 ) ds1 ,
(27.32)
s1 x0
para todos x e x0 R. Para K > 1 vale tambm para f (s1 ) a mesma relaao f (s1 ) = f (x0 ) + e c 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 ,
(27.33)
f (s2 ) ds2
ds1 =
x0
f (s2 )
s2
ds1
ds2 =
x0
(x s2 )f (s2 ) ds2 .
Usando induao, esse resultado pode ser generalizado, conduzindo ao seguinte teorema: c Teorema 27.6 (Teorema de Taylor) Se f : R C uma funao K vezes diferencivel (K 1) em um domnio e c a conexo R, ento para todo N < K vale a f (x) = (x x0 )a (a) f (x0 ) + a! a=0
N x x0
(27.34)
Cap tulo 27
1189/1628
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
(27.35)
As relaoes (27.34) e (27.35) so denominadas identidades de Taylor. Os polinmios c a o TN [f ](x, x0 ) = (x x0 )a (a) f (x0 ) a! a=0
N
RN [f ](x, x0 ) =
x0
1 0
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) =
(27.36)
(27.37)
sendo que a srie do lado direito converge absoluta e uniformemente em I(x0 , ). A srie (27.37) denominada srie e e e e de Taylor real de f centrada em x0 . As origens do Teorema 27.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 (27.37) data de 1786, tendo sido cunhada a e a por Lhuilier16 . Sries de Taylor para funoes espec e c cas (como a funao arco-tangente) eram conhecidas antes de Taylor. c Sua contribuiao foi a de ter encontrado uma expanso vlida para uma grande classe de funoes. Taylor, um disc c a a c pulo de Newton17 , inventou tambm o mtodo de integraao por partes, entre outras contribuioes seminais. e e c c Prova do Teorema 27.6. J provamos essa armaao para K = 1 (relaao (27.32)) e para o caso K > 1 j tratamos o caso a c c a N = 0 e N = 1 (relaoes (27.33) e (27.32)). Para efetuarmos a prova por induao, suponhamos que a relaao c c c f (x) =
14 Brook
x x0
Taylor (16851731). Lagrange (17361813). 16 Simon Antoine Jean Lhuilier (17501840). 17 Isaac Newton (16431727).
15 Joseph-Louis
Cap tulo 27
1190/1628
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
x0
(x s1 )M M!
s1 x0
s1 x0
ds1
(x s1 )M M!
ds1
=
a=0 M+1
x x0
(x s1 )M M!
x s2
s1 x0
ds1
x x0
=
a=0 M+1
x x0
=
a=0
sendo que na passagem da terceira para a quarta linha trocamos a ordem das integraoes. Isso prova, por induao, a c c validade de (27.34) para todo N < K. Escrevamos agora t = x0 + s(x x0 ) na integral de (27.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 (27.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 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 (x) f (x0 ) M 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 (27.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) f (x0 ) absoluta segue tambm facilmente das mesmas desigualdades de acima pois, pelas hipteses, e e o a! M
(C)a (a!)1 ,
que somvel. e a
A seguinte proposiao ser usada na discusso sobre a relaao entre o Teorema de Weierstrass e o de Fejr (Proposiao c a a c e c 27.8, pgina 1204): a
Cap tulo 27
1191/1628
Proposio 27.6 A bem-conhecida expanso em srie de Taylor centrada em x0 = 0 da funao f (x) = ex , com C, ca a e c n n x dada por ex = , converge uniformemente e absolutamente em cada intervalo [, ] da reta real, com 0. n! n=0 Assim, podemos armar que em todo intervalo [, ] da reta real, com 0, a funao ex pode ser aproximada c uniformemente por uma seqncia de polinmios, a saber, por seus polinmios de Taylor. ue o o Prova. A funao f (x) = ex com C, constante, innitamente diferencivel e sua k-sima derivada k ex . Como c 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 condiao (27.36) satisfeita em cada intervalo [, ], 0, com M = e|Re ()| , C = || e c e = 0. A proposiao segue, portanto, do Teorema de Taylor, Teorema 27.6, pgina 1188. c a
a E fcil vericar que essa funao cont c e nua e, mais que isso, que innitamente diferencivel. De fato, em x = 0 a e a 1 o o n-sima derivada de f da forma exp x2 vezes um polinmio em 1/x (verique!). Esse polinmio diverge quando e e 1 x 0 mas o pr-fator exp x2 vai a zero muito mais fortemente. Como conseqncia, f e todas as suas derivadas e ue anulam-se em x = 0. Assim, se calcularmos a srie de Taylor (27.37) dessa funao em x0 = 0 a mesma seria identicamente e c nula (!), pois f (n) (0) = 0 para todo n 0. Isso signica que a relaao (27.37) no vale para essa funao se x0 = 0, pois c a c 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 condiao (27.36) para todo k e todo x I(, 0). c
Para uma melhor compreenso do Teorema de Taylor importante estudar alguns casos especiais. Considere-se a a e funao f denida em R por c exp 1 , x = 0 , x2 f (x) = 0, x=0.
Esse exemplo ensina-nos que que uma funao innitamente diferencivel pode ter uma srie de Taylor centrada em c a e um ponto x0 e convergente em uma regio em torno de x0 , mas essa srie no necessariamente converge ` funao em a e a a c outros pontos que no x0 . Para que a convergncia ` funao se d necessrio que sejam vlidas condioes como (27.36), a e a c ee a a c que limitam o crescimento das derivadas da funao em uma vizinhana de x0 . c c
Corolrio 27.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 funao innitamente diferencivel, ento F e a c a a tambm o ser. e a
Prova. As armaoes seguem diretamente de (27.35), notando que, pelas hipteses, podemos diferenciar em x a expresso c o a
1 0
Corolrio 27.2 Seja f : Rn C uma funao innitamente diferencivel de n variveis reais x = (x1 , . . . , xn ) e a c a a a suponhamos que f (y) = 0 em algum ponto y = y1 , . . . , yn Rn . Ento, podemos escrever
n
f (x) =
k=1
xk yk Fk (x) ,
(27.38)
Cap tulo 27
1192/1628
f (x1 , . . . , xn ) =
ou seja, f (x1 , . . . , xn ) =
n k=1
(27.40)
Para cada k = 1, . . . , n a funao f (y1 , . . . , yk1 , xk , . . . xn )f (y1 , . . . , yk , xk+1 , . . . xn ) innitamente diferencivel c e a como funao de xk e anula-se em xk = yk . Portanto, pelo Corolrio 27.1, podemos escrev-la na forma c a e f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) = (xk yk )Fk (xk , . . . , xn ) , (27.41)
onde Fk uma funao innitamente diferencivel de xk . Como o lado esquerdo uma funao innitamente diferencivel e c a e c a das demais variveis, Fk tambm o ser. Logo, (27.38) segue de (27.40) e de (27.41). a e a
Os seguintes comentrios sobre a relaao entre as armativas do Teorema de Weierstrass e do Teorema de Taylor so a c a de interesse para o estudante. Ambos os teoremas estabelecem condioes para que uma funao possa ser uniformemente aproximada por polinmios c c o em intervalos compactos. As hiptese do Teorema de Weierstrass so, porm, mais fracas, pois nele requer-se apenas o a e que a funao a ser aproximada seja cont c 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 funao f (x) = x c polinmios uniformemente no intervalo [0, 1], por exemplo, pelos polinmios de Bernstein (vide (27.22)) o o
n p=0
1 2
por
p 1 n 2
n p x (1 x)np . p
(27.42)
Essa funao f , contudo, no possui uma expanso de Taylor centrada em x0 = 1/2 (pois no diferencivel nesse ponto) c a a a e a nem outra expanso de Taylor centrada em outro ponto do mesmo intervalo [0, 1] convergir ` funao em todo intervalo a aa c (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) , que no a O k-simo coeciente do polinmio de Taylor de grau N centrado em x0 = 0 de uma funao f e o c e k! depende do grau N do polinmio. J os coecientes dos polinmios aproximantes de Bernstein (27.22) ou dos polinmios o a o o aproximantes de Landau (27.24) dependem em geral de k e de N . O k-simo coeciente do polinmio (27.22), por e o k p N N p kp f N p N k e depende de k e de exemplo, que aproxima uma funao f no intervalo [0, 1], dado por p=0 (1) c e N. Dessa forma, quando desejamos melhorar a aproximaao de uma funao atravs de seu polinmio de Taylor s c c 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 aproximaao de uma funao usando os polinmios aproximantes cuja existncia c c 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 27
1193/1628
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 funao f (cont c 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 funao cont c nua f um teorema devido a Haar18 (vide [42], [177], [158] ou [126]) 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 funao de n variveis reais, K-vezes diferencivel em um certo dom e c 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 ,
(27.43)
sendo que, acima, usamos a notaao de multi- c ndices introduzida ` pgina 558. 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 1 n g y + th . 1 ! n ! 1 y1 yn n
O Teorema de Taylor, Teorema 27.6, pgina 1188, vale para a funao f na varivel t e se considerarmos o caso em a c a que t = 1 e t0 = 0 obteremos o seguinte: Teorema 27.7 (Teorema de Taylor em n variveis) Se g : R C uma funao K vezes diferencivel (K 1) a e c 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 ,
(27.44)
ou seja,
N a
1 , ..., n =0 1 ++n =a
g(x) = g(y + h) =
a=0
ag h1 hn 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 , (27.45) yn n
com h x y.
TN [g](x, y) =
a=0 Nn a N
(x y) (D g) (y) ! x1 y1 xn yn 1 ! n !
1 n y1 1
a
1 , ..., n =0 1 ++n =a
=
a=0
18 Alfrd e
ag (y) yn n
Haar (18851933).
Cap tulo 27
1194/1628
(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 , (27.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 (27.45) e (27.44) na forma g(x) = TN [g](x, y) + RN [g](x, y) . (27.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 ||
(12.3)
M C ||
(27.48)
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
(27.49)
sendo que a srie do lado direito converge absoluta e uniformemente em B(y, ). A srie (27.49) denominada srie e e e e de Taylor real de g centrada em y.
Prova. As primeiras armaoes seguem de (27.43) e do Teorema de Taylor para uma varivel, Teorema 27.6, pgina c a a 1188. E facil vericar que, sob (27.48), o termo de resto (27.46) converge a zero para N e a srie (27.49) converge e absolutamente. Como ilustraao, os primeiros termos da srie de Taylor centrada em y de uma funao innitamente diferencivel g c e c 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 27
1195/1628
27.4
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 funoes em sries trigonomtricas data dos trabalhos de Euler20 e de Daniel c e e Bernoulli21 sobre o problema da corda vibrante (vide Seao 16.5, pgina 742), na primeira metade do sculo XVIII. c a e Os primeiros trabalhos de Fourier sobre o problema da propagaao de calor e sobre o uso das sries de Fourier c 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 funao e pela ausncia de a a e c e demonstraoes matematicamente convincentes da parte de Fourier. O primeiro tratamento matematicamente correto da c convergncia de sries de Fourier para uma certa classe de funoes s foi fornecida por Dirichlet22 em 1828. Desde ento o e e c o a estudo das sries de Fourier engendrou um sem-n mero de desenvolvimentos matemticos importantes. Como exemplo, e u a citamos o desenvolvimento na noao de integral de Riemann23 , a qual foi motivada pela necessidade de controle mais c preciso do decaimento dos coecientes de sries de Fourier. Vide comentrios da Seao 26.1, pgina 1110. e a c a Fourier chegou `s expanses que levam seu nome procurando soluoes de certas equaoes diferenciais ligadas ao a o c c problema de propagaao de calor em slidos24 . Essa associaao entre sries de Fourier e equaoes diferenciais de c o c e c 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 16, pgina 691. Nesta seao apresentaremos os resultados bsicos da teoria da aproximaao de funoes por sries a c a c c e trigonomtricas. e Para o leitor interessado em um texto mais aprofundado, a referncia clssica sobre sries trigonomtricas [196]. e a e e e Recomendamos tambm [97], [150], [143], [38] e [192]. Uma leitura muito estimulante [104]. Para um excelente texto e e em portugus, vide [50]. e A Seao 27.7, pgina 1226, contm diversos exerc c a e cios sobre as sries de Fourier. Aplicaoes diversas da teoria podem e c ser encontradas no Cap tulo 16, pgina 691. a
27.4.1
Preliminares
Funoes T -peridicas c o
Se T > 0, uma funao f : R C dita ser T -peridica, ou peridica de per c 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 (27.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 funao f : [T /2, T /2) C denida apenas em um intervalo [T /2, T /2), podemos sempre denir uma c 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 funoes denidas em todo R. Note que se f : [T /2, T /2) C cont a c 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.
T0 e o a E tambm util recordar que se f0 : R C T0 -peridica, ento f1 (x) = f0 T1 x T1 -peridica. Por essa razo, e e o a convencionamos s considerar aqui funoes 2-peridicas. Os resultados que seguiro podem ser estendidos a funoes o c 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 administraao p blica e dedicou-se a problemas de propagaao de calor em funao de seus interesses c 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 ediao da clebre Description de lEgypte, o livro-me da Egiptologia, completada em 1810. c e a 25 Para a deniao da noao de extenso de uma funao, vide pgina 30. c c a c a
20 Leonhard
19 Jean
Cap tulo 27
1196/1628
T -peridicas por um simples re-escalonamento dos argumentos das funoes. o c Os seguintes resultados elementares sero usados algumas vezes no que segue: a Lema 27.1 Sejam P e f duas funoes contnuas e 2-peridicas. Ento, c o a
P (x y)f (y) dy =
P (y)f (x y) dy
x+
(27.50)
f (y) dy =
f (x y) dy =
f (y) dy ,
x
(27.51)
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 (27.50). A primeira igualdade em (27.51) um caso particular de (27.50) para P constante igual a 1. A e segunda igualdade em (27.51) vem de uma mudana de variveis evidente (y x y). c a Polinmios trigonomtricos o e
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 funoes seno e co-seno. c
(27.52)
Cap tulo 27
1197/1628
ei(nm)x dx = 2m,n ,
m, n Z ,
(27.53)
pk =
eikx p(x) dx =: ek , p , 2
(27.54)
com ek (x) :=
eikx . 2
Uma questo natural saber sob quais circunstncias uma funao 2-peridica f pode ser expressa como limite (em a e a c 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=
(27.55)
eikx f (x) dx =: ek , f . 2
(27.56)
Uma srie como (27.55)(27.56), caso o limite exista, denominada srie de Fourier. e e e Os coecientes fk so denominados coecientes de Fourier da funao f . De (27.56) v-se que para que todos os a c e coecientes de Fourier fk de uma funao f existam basta que f seja integrvel em [, ]. Para f integrvel e n N0 c a a as somas parciais n n iky eikx eikx e Sn (f, x) := fk = f (y) dy (27.57) 2 2 2 k=n k=n so denominadas somas parciais de Fourier da funao f . A srie de Fourier da funao f se escreve ento como o limite a c e c a
n
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 (27.55)(27.56). Coube a seus sucessores a o estudar sobre quais hipteses e em que sentido (27.55)(27.56) so vlidas. Uma questo que ento se coloca identicar o a a a a e condioes sobre f sob as quais a seqncia de polinmios trigonomtricos Sn (f, x) convirja pontualmente ` funao f , c ue o e a c ou seja, para que o limite limn Sn (f, x) de (27.55) exista e seja igual a f para todo x [, ] ou quase em toda parte. Devido ao largo emprego de sries de Fourier na resoluao de equaoes diferenciais, essa no apenas uma questo e c c 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 funoes anal c ticas de uma varivel complexa. a Se g(z) uma funao anal e c tica no interior de um anel Aab = {z C, a < |z| < b} C, com 0 a < b, bem sabido e da teoria das funoes de varivel complexa que g pode ser representada em Aab por uma srie de Laurent26 centrada em c a e z0 = 0: g(z) =
26 Pierre
gn z n ,
n=
Cap tulo 27
1198/1628
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 representaao c f () =
n=
1 2
f ()ein d .
ein f () d 2
ein . 2
(27.58)
Conclu mos assim que se f () a restriao ao c e c rculo unitrio de uma funao anal a c tica em Aab com 0 a < 1 < b (no caso, da funao g), ento f possui a representaao em srie de Fourier (27.58), a qual, sob as hipteses, converge absoluta c a c e o e uniformemente para todo < . Note que, sob essas hipteses, f no apenas cont o e a nua, mas innitamente diferencivel em relaao a . a c No que seguir, veremos que condioes mais fracas sobre f podem ser impostas, com resultados anlogos. a c a
27.4.2
A expresso (27.57) apresenta a srie de Fourier de uma funao f integrvel e peridica de per a e c 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 ,
(27.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. 27.3 Exerccio. Obtenha (27.59) a partir de (27.57). Sugesto: se f T -peridica, ento F (x) := f a e o a peridica e a ela se aplica (27.57). o
T 2 x
2e
A srie de Forier de uma funao T -peridica tambm pode ser expressa em termos de uma srie de senos e co-senos. e c 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
(27.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
(27.61)
2k T x
Essas expresses podem ser obtidas diretamente de (27.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 27
1199/1628
fm
T = Am iBm 2
fm
T Am + iBm , = 2
m1.
E. 27.4 Exerccio. Obtenha as expresses acima. o As expresses (27.60)(27.61) podem tambm ser obtidas atravs das relaoes de ortogonalidade das funoes seno e o e e c c co-seno:
T /2
cos
T /2
2n y T
sen
2m y T
dy
0,
n, m N0 .
T 2
(27.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 ,
(27.63)
dy
(27.64)
vlidas para todo T > 0. Acima, N0 = {0, 1, 2, 3, 4, . . .} e N = {1, 2, 3, 4, . . .}. a E. 27.5 Exerccio importante. bem-conhecidas identidades Demonstre as relaoes de ortogonalidade (27.62)(27.64). Para tal use, por exemplo, as c 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. 27.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 (27.60)(27.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 (27.65) (27.66) (27.67) (27.68) (27.69)
27.4.3
A deniao que segue naturalmente relacionada ` deniao de seqncia delta de Dirac ` pgina 1175. c e a c ue a a
Denio 27.3 (Seqncias delta de Dirac peridicas) Uma seqncia de funoes 2-peridicas Kn : R R, ca ue o ue c o n N, dita ser uma seqncia delta de Dirac 2-peridica centrada em 0 se satiszer e ue o
Cap tulo 27
1200/1628
1. Para cada n N, a funao Kn 2-peridica e integrvel no intervalo [, ], ou seja, c e o a 2. Existe uma constante K > 0 tal que para todo n N vale
(27.70)
Kn (x) dx = 1 .
(27.71)
|Kn (x)| dx +
|Kn (x)| dx
= 0.
(27.72)
Uma seqncia de funoes R R dita ser uma seqncia delta de Dirac peridica em R centrada em x0 R se for ue c e ue o e ue da forma Tx0 Kn , onde Kn uma seqncia delta de Dirac em R centrada em 0 (com Tx0 denida em (27.11)). O seguinte fato sobre seqncias delta de Dirac 2-peridicas de fundamental importncia para o que segue: ue o e a Teorema 27.8 Seja f : R C uma funao contnua e 2-peridica. Seja Kn uma seqncia delta de Dirac 2-peridica. c o ue o Dena-se
Fn (x) :=
Kn (x y)f (y) dy
(27.50)
para todo n N. Ento, a seqncia Fn uma seqncia de funoes contnuas e 2-peridicas e converge uniformemente a ue e ue c o a f em R: lim f Fn = lim sup |f (x) Fn (x)| = 0 .
n n xR
Kn (y)f (x y) dy
Prova. Como f cont e nua no intervalo compacto [, ] ela uniformemente cont e nua nesse intervalo (Teorema 29.12, pgina 1349) e, como tambm peridica, em todo R. Isso permite-nos reproduzir a demonstraao do Teorema 27.1, a e e o c pgina 1177. a Observemos primeiramente que, como f cont e nua, ela limitada e denindo C0 := sup{|f (x)|, x [, ]}, e teremos
(27.70)
Kn (y)f (x y) dy
Isso mostra que as integrais que denem as funoes Fn esto bem denidas. Que cada Fn 2-peridica evidente (se c a e o e no for Exerc a cio!).
|Kn (y)| dy
C0 K .
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
(27.70)
|Kn (y)| dy
K ,
pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0, estabeleceu-se a continuidade de Fn . Vamos agora escrever, usando (27.71),
f (x) Fn (x) =
f (x) f (x y) Kn (y) dy .
Cap tulo 27
1201/1628
Para cada com 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 +
f (x) f (x y) Kn (y) dy
(27.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
|Kn (y)| dy
|Kn (y)| dy
K .
f (x) f (x y) Kn (y) dy
|Kn (y)| dy
|Kn (y)| dy ,
f (x) f (x y) Kn (y) dy +
f (x) f (x y) Kn (y) dy
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 funoes continuas 2-peridicas por polinmios trigonomtricos. O Teorema de Fejr ca c o o e e A proposiao que segue e sua demonstraao so extra c c a das do tratamento de [150]. Proposio 27.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 As constantes Nm so dadas por a Nm = 2 para todo m N. (2m)! 22m (m!)2 = 2 (2m 1)!! , 2m m! (27.74)
Cap tulo 27
1202/1628
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 deniao do fator de normalizaao Nm . Precisamos apenas o e e c c provar a propriedade 4 da deniao de seqncia delta de Dirac de per c ue odo 2. A primeira coisa a fazer obter uma estimativa para o fator de normalizaao Nm . Como Km (x) uma funao par, e c e c vale 1 = 2 0 Km (x)dx. Assim, usando o fato que 1 sen (x), vale 1 = 2 Nm
0
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 .
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
1 22m
eit/2 + eit/2
2m
1 22m
2m p=0
2m i(pm)t e . p
(27.75)
Com isso, (27.74) segue facilmente das relaoes de ortogonalidade (27.53). Uma outra prova de (27.74) por uma mudana c c de variveis e repetindo-se o procedimento de integraao por partes pode ser encontrada em (11.85), pgina 516. a c a Chegamos agora ao importante Teorema 27.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 Fejr27 em 1900 em uma forma ligeiramente diferente, da qual e falaremos mais adiante. Conforme exposto na Seao 27.6.3, pgina 1223, o Teorema 27.9, acima, tem por implicaao a c a c convergncia da srie de Fourier de (27.55) para funoes f L2 ([, ], dx), com a convergncia se dando no sentido e e c e da norma de L2 ([, ], dx). Isso no necessariamente implica a validade de (27.55) para todo ponto x [, ] a (convergncia pontual). Em seguida apresentamos uma demonstraao independente do Teorema de Fejr, mas adiante e c e (Proposiao 27.8, pgina 1204) provaremos que o mesmo equivalente ao Teorema de Weierstrass, Teorema 27.3, pgina c a e a 1181. Prova do Teorema 27.9. Unindo o Teorema 27.8 a Proposiao 27.7, conclu ` c mos que a seqncia de funoes cont ue c nuas e 2-peridicas denida por o 2m xy 1 f (y) dy , cos Em (f, x) := Nm 2
27 Lipt o
Fejr (18801959). e
Cap tulo 27
1203/1628
m N, aproxima uniformemente f em R. Por (27.75), segue que 2m 2m 2 fpm ei(pm)x , Em (f, x) = 2m N 2 p m p=0
1 fk := eiky f (y) dy , 2 so os coecientes de Fourier de f . Com (27.74), obtemos a m
(27.76)
onde
kZ,
(27.77)
Em (f, x) =
(27.78)
As expresses (27.76) e (27.78) mostram que Em (f, x) um polinmio trigonomtrico. o e o e A armaao a seguir conseqncia do Teorema 27.9 e de (27.78). c e ue Corolrio 27.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 (27.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 27.9, vale para todo x R que lim Em (f, x) = lim Em (g, x) = g(x).
m
O Teorema 27.9 arma que f pode ser aproximada uniformemente por polinmios trigonomtricos de per o e odo 2. n c nua f Surpreendentemente, porm, isso no implica que a srie de Fourier Sn (f, x) = k=n fk eikx de uma funao cont e a e seja convergente em todo ponto x. O estudante deve atentar para o fato que, por (27.57) e (27.78), Sm (f, x) e Em (f, x) so polinmios trigonomtricos a o e distintos. Assim, a aproximaao de f (x) cont c nua e 2-peridica pela seqncia Em (f, x), implicada pelo Teorema 27.9, o ue no necessariamente implica a aproximaao de f (x) por sua srie de Fourier Sm (f, x). a c e De fato, em 1873 Du Bois-Reymond28 exibiu um exemplo de uma funao cont c nua e 2-peridica (e, portanto, para o a qual o Teorema 27.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 27.12, pgina 1208, continuidade e diferenciabilidade so sucientes para garantir a convergncia pontual da a a e srie de Fourier. e Os passos da construao de Du Bois-Reymond podem ser acompanhados na referncia [104] ou em [97]. O leitor intec 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 transformaoes de escala e de grupo de renormalizaao. e c c O exemplo de Du Bois-Reymond pode ser aguado ainda mais. Em 1966 Kahane29 e Katznelson30 provaram que: dado c um conjunto de medida nula E em [, ], existe uma funao f contnua e 2-peridica tal que supnN0 |Sn (f, x)| = c o para todo x E. Uma demonstraao dessa armaao pode ser encontrada em [97]31 . c c
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 Carleson32: se f uma funao de quadrado integrvel em [, ], sua srie de Fourier converge a e e c a e quase em toda parte, ou seja, pode divergir apenas em um conjunto de medida nula.
David Gustav Du Bois-Reymond (18311889). Kahane (1926). 30 Yitzhak Katznelson (1934). 31 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). 32 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).
29 Jean-Pierre 28 Paul
Cap tulo 27
1204/1628
Como mencionamos, para que possamos garantir convergncia da srie de Fourier de uma funao f em todo ponto e e c x [, ] no basta requerer continuidade, sendo a adiao da condiao de diferenciabilidade suciente para tal. A a c c armaao precisa ser apresentada nas pginas que seguem (Teorema 27.12, pgina 1208). c a a a O Teorema de Fejr e o Teorema de Weierstrass e
Os teoremas de Fejr e de Weierstrass armam que uma funao cont e c 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 27.8 O Teorema de de Weierstrass, Teorema 27.3, pgina 1181, e o Teorema de Fejr, Teorema 27.9, ca a e pgina 1202, so equivalentes. a a Prova. Pelo Teorema de Fejr, Teorema 27.9, pgina 1202, os polinmios trigonomtricos so densos (na topologia e a o e a uniforme, i.e., na topologia da norma do supremo ) no conjunto das funoes cont c nuas 2-peridicas. Pela Proposiao o c 27.6, pgina 1191, 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 funoes cont c nuas no intervalo [, ]. Por uma translaao, combinada a um re-escalonamento (operaoes que levam c c polinmios em polinmios, vide a discusso que antecede o Teorema 27.20, pgina 1235), isso prova que os polinmios o o a a o so densos nas funoes cont a c nuas em qualquer intervalo compacto [a, b] R. Portanto o Teorema de Weierstrass (ao menos na verso do Teorema 27.3, pgina 1181) segue do Teorema de Fejr. a a e A rec proca tambm verdadeira. Para prov-la seja f () uma funao cont e e a c 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 funao F (x1 , x2 ) = f (), sendo 1 x1 1 e 1 x2 1, com = x2 + x2 e c 1 2 = arctan(x2 /x1 ), ou seja, x1 = cos e x2 = sen . E claro que F cont e nua e, pelo Teorema 27.5, pgina 1186, 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 funao F igual a f . Conclu a a a c 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
27.4.4
Os n cleos de Dirichlet u
p(x) =
k=n
1 2
Dn (x y) p(y) dy ,
1 2
eikx .
k=n
(27.79)
Essas funoes Dn so denominadas ncleos de Dirichlet. Perceba-se que expresses como (27.55), (27.57) ou (27.58) c 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 n cleos de Dirichlet. Suas propriedades bsicas encontram-se enunciadas na proposiao que segue. u a c Proposio 27.9 Denindo ca Dn (x) := 1 2
n
eikx ,
k=n
(27.80)
Cap tulo 27
1205/1628
n N0 , valem as seguintes armaoes: cada Dn uma funao contnua, par e 2-peridica. Vale c e c o
Dn (x) dx = 1
(27.81)
para todo n N0 e vale a expresso mais explcita a Dn (x) = tambm para todo n N0 . e
com
Dn (0) =
2n + 1 , 2
(27.82)
Prova. Que cada Dn cont e nua e 2-peridica evidente. Que cada Dn uma funao par evidente por (27.82), que o e e c e provaremos abaixo. A relaao (27.81) segue facilmente das relaoes de ortogonalidade (27.53), pois c c
Dn (x) dx =
1 2
eikx dx =
k=n
k, 0 = 1 .
k=n
eikx =
k=n
einx 2
2n
eikx
k=0
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 , (27.83) ak = 1a
k=0
vlida para m N e a = 1. Que Dn (0) = (2n + 1)/2 evidente pela deniao (27.80). a e c Apesar de os n cleos de Dirichlet no serem uma seqncia delta de Dirac 2-peridica, tal como denido ` pgina u a ue o a a 1199 (falta-lhe a propriedade 2 da deniao daquelas), poss provar que, sob hipteses convenientes sobre a funao c e vel o c f , seus efeitos so semelhantes `queles descritos no Teorema 27.8, pgina 1200. As prximas pginas tratam disso. a a a o a O Lema de Riemann-Lebesgue Proposio 27.10 Sejam fk os coecientes de Fourier de uma funao contnua e 2-peridica f : R C. Ento, ca c o a lim fk = 0.
k
Prova. Se f cont e nua e 2-peridica e > 0, existe, pelo Teorema 27.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
Cap tulo 27
1206/1628
Teorema 27.10 (Lema de Riemann-Lebesgue) Seja f : [, ] C uma funao integrvel (no sentido de Lebesc a gue). Ento, lim fk = 0. a
k
Prova. Toda funao integrvel pode ser aproximada por uma funao cont c a c nua e 2-peridica na norma L1 , ou seja, para o cada > 0 existe uma funao cont c nua e 2-peridica f tal que |f (x) f (x)|dx . Assim, de f (y) eiky dy = o (f (y) f (y)) eiky dy + f (y) eiky dy, obtemos 2|fk | = 1+
1 2
f (y) eiky dy
|f (y) f (y)| dy +
f (y) eiky dy +
2 |(f )k | .
Pela Proposiao 27.10, podemos obter |(f )k | tomando |k| grande o suciente e, assim, para tais ks vale |fk | c , completando a prova.
Nota. O Lema de Riemann-Lebesgue tem uma histria interessante. Sua primeira demonstraao foi obtida por Riemann o c em uma tese, apresentada ` Universidade de Gttingen em 1854 e publicada em 1867, intitulada Sobre a representabilia o dade de uma funao por uma srie trigonomtrica33, tese essa requerida para a obtenao do t c e e c tulo de Privatdozent que lhe permitiria dar aulas na universidade (e cobrar por elas dos alunos. Somente professores titulares eram contratados das universidades e recebiam salrios das mesmas). As regras exigiam que o candidato redigisse uma tese e apresentasse a um seminrio sobre um tema diferente diante de uma banca. O candidato propunha quatro temas para o seminrio a a dos quais um era escolhido pelo decano da instituiao. Riemann props trs temas sobre Eletromagnetismo e um sobre c o e Geometria. No caso de Riemann o decano era ningum menos que Gauss, que escolheu o tema de Geometria, pois e soubera que Riemann tinha idias bastante originais a respeito. A escolha no poderia ter sido melhor, pois o seminrio e a a de Riemann fez histria34 e lanou as bases do que hoje se denomina Geometria Riemanniana (vide Cap o c tulo 30, pgina a 1381, espacialmente a Seao 30.4, pgina 1407), cuja importncia ` Teoria da Relatividade Geral bem-conhecida. Mas c a a a e a tese escrita versava sobre a teorias das sries de Fourier e para a obtenao dos seus resultados, em particular, do que e c hoje conhecido como Lema de Riemann-Lebesgue, Riemann percebeu a necessidade de apresentar uma deniao mais e c precisa da noao de integral da que era empregada at ento. Nascia a a chamada integral de Riemann. O estudante c e a poder acompanhar em [50] uma demonstraao do Lema de Riemann-Lebesgue prxima ` linha original de Riemann e a c o a aperceber-se da necessidade de preciso da noao de integral naquele contexto. Nossa demonstraao de acima seguiu a c c outras linhas. Posteriormente, Lebesgue estendeu a noao de integral de Riemann e reobteve uma prova do Teorema c 27.10 para a classe das funoes integrveis segundo Lebesgue. c a A condio de Dini ca
O seguinte teorema, devido a Dini35 , 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 demonstraao. c Teorema 27.11 (Condio de Dini) Seja f : R C integrvel e 2-peridica e seja x R tal que ca a o 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
(27.84)
lim Sn (f, x) =
f (x+ ) + f (x ) . 2
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). 35 Ulisse Dini (18451918).
34 O
Cap tulo 27
1207/1628
Prova. Usando (27.50) podemos escrever Sn (f, x) = Dn (y)f (x y)dy. Como Dn uma funao par, a ultima integral e c 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 (27.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 ,
(27.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 .
(27.86)
Comecemos nossa anlise pela primeira integral em (27.86). O integrando a e Dn (y)Df (x, y) = A funao c
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.
Dn (y)Df (x, y) dy
|Df (x, y)| y 0
Com esse assim xado, passemos agora ` segunda integral em (27.86). Usando (27.82), a mesma ca a 1 2
0
einy [, ] (y)
dy
1 2
einy [, ] (y)
dy
(27.87)
[, ] (y) =
em y = 0 eliminada e
pelo fator [, ] (y)). Assim, aplica-se o Lema de Riemann-Lebesgue, Teorema 27.10, e as integrais em (27.87) podem ser feitas menores que qualquer > 0 prescrito, tomando |n| grande o suciente. Isso completa a demonstraao. c Condioes de convergncia pontual de sries de Fourier c e e
Aps o Teorema 27.11 a questo que naturalmente se coloca saber para quais tipos de funoes f a condiao de o a e c c Dini satisfeita. H duas classes de funoes de maior interesse (especialmente no contexto de aplicaoes a equaoes e a c c c diferenciais): as cont nuas e as cont nuas por partes. As proposioes que seguem re nem esses casos. c u
Cap tulo 27
1208/1628
Proposio 27.11 I. Suponha que f : R C seja Hlder36 -contnua em um ponto x [, ], ou seja, satisfaa ca o c |f (x) f (y)| |x y| (27.88)
para todo y em um intervalo [x , x + ], para algum > 0, algum 0 e algum > 0. Ento, f satisfaz a condiao a c de Dini (27.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
para todo 0 < y , ento a condiao de Dini (27.84) satisfeita em x. a c e Prova. I. Por (27.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
(27.88)
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 condiao de Dini (27.84). c Chegamos `s conseqncias mais relevantes da Condiao de Dini: a ue c Teorema 27.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
(27.89)
M+ + M ,
para todo x R, ou seja, a srie de Fourier de f converge pontualmente a f . e f (x+ ) := lim existirem para todo x R, ento a
n
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.
36 Otto
Cap tulo 27
1209/1628
Prova. A. Se f cont e nua e diferencivel em x, ento f Hlder-cont a a e o nua com = 137 (justique!). B. Se existem f (x ), como denidos acima, ento valem as relaoes em (27.89) (justique!). a c Que a srie de Fourier de uma funao cont e c 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 demonstraao correta foi obtida por Dirichlet em 1828. Antes de Dirichlet, Poisson38 e Cauchy39 apresentaram c demonstraoes falhas. A natureza no-trivial dos erros desses autores discutida em [104]. c a e Inverso de integrais denidas com a srie de Fourier a e
Na Seao 27.1, pgina 1169, mencionamos o fato bsico que se tivermos uma seqncia de funoes fn que converge c a a ue c
b b n
uniformemente a uma funao f em um intervalo nito [a, b], ento valer lim c 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 integraao. Um ponto muito ue c interessante, e importante, sobre as sries de Fourier, que, sobre condioes adequadas, poss inverter a tomada do e e c 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 condioes do Teorema de Fourier, Teorema 27.12, pgina 1208, so c 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 27.13 Seja f : R C uma funao 2-peridica satisfazendo as condioes A ou B do Teorema de Fourier, c o c Teorema 27.12. Seja Sn (f, x) sua srie de Fourier: e Sn (f, x) := eikx , fk 2 k=n
b n
com
fk :=
b
f (x) dx = lim
a
a n
f (x) dx = lim
a
fk
k=n a
Comentamos que o teorema acima pode ser generalizado de modo a abarcar no apenas as funoes f que satisfaam a c c do Teorema de Fourier, mas tambm todas as funoes f L2 ([, ], dx) (vide Teorema 27.15, pgina 1214). Nesse e c a caso, a demonstraao ainda mais simples que a que apresentamos a seguir, mas os pr-requisitos para sua elaborao c e e ca so mais avanados, pois faz-se uso da propriedade de completeza dos polinmios trigonomtricos. a c o e f0 dx. Essa integral est bem a f (x) 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 ou B do Teorema de Fourier, Teorema 27.12. Pelas mesmas razes F , para todo s R, cont o e nua e diferencivel, com a Prova do Teorema 27.13. Seja a funao F : R C denida por F (s) := c 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 s
(27.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 (27.51) (j que o integrando 2-peridico) e na ultima igualdade usamos a a e o deniao de f0 . c
seja, f Lipschitz-cont e nua. Denis Poisson (17811840). 39 Augustin Louis Cauchy (17891857).
38 Simon e 37 Ou
Cap tulo 27
1210/1628
Com isso, estabelecemos que tambm a funao F satisfaz as hipteses do Teorema de Fourier, e podemos escrever e c 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 integraao por partes, vale para todo k = 0, c Fk = 1 ik 2
deiks ds
F (s) ds
(1)k 1 F () F () ik 2 ik 2
=0
eiks F (s) ds
(27.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 Fk , a F em toda parte (novamente pelo Teorema de Fourier). Calculando-a em s = 0, segue que 0 = lim 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
e como
b a
f (x)dx =
b 0
f (x)dx
a 0 b a
f (x)dx, conclu mos que fk eikb eika (b a)f0 + lim , f (x)dx = n 2 ik 2 k=n
k=0
27.4.5
Somas de Ces`ro a
n
Se am , m N uma seqncia de n meros 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 a seqncia e e ` 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`ro40 da seqncia am (tambm denominada srie de Ces`ro, ou mdia de Ces`ro, associada ` seqncia a ue e e a e a 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
40 Ernesto
Ces`ro (18591906). a
Cap tulo 27
1211/1628
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 1 1 1 Am + Am a = n + 1 m=0 n + 1 m=0 n+1
n N () n
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.
1 Am vai a zero quando n , pois o n mero de termos somados xo. O termo u e n + 1 m=0 1 n+1
n m=N ()+1
(Am a) temos a
m=N ()+1
(Am a)
1 n+1
m=N ()+1
|Am a|
n
1 n+1
=
m=N ()+1
n N () < . n+1
1 n+1
m=N ()+1
(Am a) <
n
1 1 Am a < . Como > 0 arbitrrio, estabelecemos que lim Am = a, como e a 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. Hardy41 [72], 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 27.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
(27.91)
Como se v, trata-se da mdia da soma parcial das seqncia dos n cleos de Dirichlet, ao estilo das supracitadas mdias e e ue u e de Ces`ro. Cada funao Fn denominada ncleo de Fejr42 . a c e u e
41 Godfrey 42 Lipt o
Cap tulo 27
1212/1628
Para o que segue importante estabelecer algumas propriedades dos n cleos de Fejr, o que feito na prxima e u e e o proposiao, a qual estabelece que as funoes Fn formam uma seqncia delta de Dirac 2-peridica. c c ue o Proposio 27.12 Para todo n N0 os ncleos de Fejr Fn denidos em (27.91) 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 2 sen (n+1) x 2 1 , x=0, Fn (x) = 2(n + 1) sen x 2
n
Fn (0) =
n+1 . 2
(27.92)
= 0.
(27.93)
Ou seja, para todo com 0 < < a seqncia de funoes Fn converge uniformemente a funao nula na regio ue c ` c a [, ] [, ]. Prova. O item 1 evidente pelas propriedades correspondentes do n cleo de Dirichlet (Proposiao 27.9, pgina 1204). O e u c a item 3 evidente por (27.81). e Por (27.82), vale Fn (0) = := n+1 1 (prove isso!) e para x = 0, (2m + 1) = 2(n + 1) m=0 2 sen (m + 1 )x 1 2 2(n + 1) m=0 sen x 2 1 4i(n + 1) sen 1 4i(n + 1) sen 1 4i(n + 1) sen 1
n x 2 m=0 n n
Fn (x)
x 2
eix/2
m=0
eimx eix/2
eimx
m=0
(27.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
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 (27.92), |Fn (x)| 1 2(n + 1) 1 sen
2 x 2
(27.94)
Cap tulo 27
1213/1628
cos( x ) 2 c 3 < 0 o que signica dizer que a funao do lado direito de ( sen ( x )) 2 (27.94) decrescente e, portanto, assume seu valor mximo em x = , o in do intervalo [, ]. Logo, e a cio d dx 1 sen ( x ) 2
1 sen
2 2
(27.95)
Essa desigualdade vale tambm no intervalo [, ], pois Fn par. A desigualdade (27.95) implica que lim |Fn (x)| = 0 e e
n
uniformemente em [, ] [, ].
Estabelecemos que Fn uma seqncia delta de Dirac 2-peridica e, se f uma funao cont e ue o e c nua e 2-peridica o sabemos pelo Teorema 27.8, pgina 1200, que a
Fn (f, x) :=
Fn (x y) f (y) dy
n
Dm (x y) f (y) dy =
1 Sm (f, x) , n + 1 m=0
mostrando que Fn (f, x) a mdia de Ces`ro das somas parciais de Fourier. A armaao que toda funao cont e e a c 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 27.9, pgina 1202. A distinao entre o Teorema de Fejr e aquele teorema o tipo de n cleo de a c e e u Dirac usado em ambos os casos e o fato de o Teorema de Fejr trazer uma relaao com as mdias de Ces`ro. e c e a
27.4.6
A teoria das sries de Fourier intimamente ligada ` teoria dos espaos de Hilbert, que desenvolvemos no Cap e e a c tulo einx 31, pgina 1466. Nesse contexto desempenha um papel fundamental o fato de as funoes en (x) = , n Z, formarem a c 2 2 um conjunto ortonormal completo em L ([, ], dx) (para a deniao da noao de conjunto ortonormal completo e c c suas e propriedades, vide pgina 1477 e seguintes). Esse o conte do do seguinte teorema: a e u Teorema 27.14 Seja H = L2 ([, ], dx) o espao de Hilbert das funoes de quadrado integrvel em [, ] em c c a a c relaao a medida de Lebesgue dx e cujo produto escalar f, g = [, ] f (x)g(x) dx, f, g H. Ento, as funoes c ` e inx e en (x) = , n Z, compe um conjunto ortonormal completo em H. Assim, para todo g H vale o 2 g =
n=
en , g en
(27.96)
e g
2
n=
| en , g | ,
(27.97) de H,
lim
en , g en
n=N
= 0.
Cap tulo 27
1214/1628
A demonstraao apresentada na Seao 27.6.3, pgina 1223, como caso particular da Proposiao 27.20, pgina 1225, c e c a c a e com uso de resultados do Cap tulo 31, pgina 1466. Vide comentrios que sucedem o enunciado da Proposiao 27.20. a a c A identidade (27.97) denominada identidade de Parseval43 , que a deduziu em 1805. Se, por exemplo, g for uma e funao cont c nua ou cont nua por partes em [, ] (situaoes essas encontradas em muitas aplicaoes da teoria das sries c c e de Fourier, por exemplo, ` soluao de equaoes diferenciais), teremos g L2 ([, ], dx) e, portanto, a c c 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 Seao 27.7, pgina 1226, apresentamos alguns usos dessa identidade. c a 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 funao de L2 ([, ], dx) com sua srie de Fourier, generalizando o Teorema 27.13, pgina 1209. c e a Teorema 27.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
(27.98)
a integraao do lado esquerdo sendo entendida no sentido de Lebesgue. Se g : R C for uma periodizaao de perodo c c e e 2 de uma funao f de L2 ([, ], dx), ento [a, b] g dx tambm dada pelo lado direito de (27.98), mas agora para c a qualquer intervalo [a, b] com < a b < . einx Prova. Pelo Teorema 27.14, pgina 1213, o conjunto en (x) = , n Z, forma um conjunto ortonormal completo a 2
n
Seja [a, b] a funao caracter c stica do intervalo [a, b] (ou seja, [a, b] (x) = 1 e x [a, b] e [a, b] (x) = 0 e x [a, b]). evidente que [a, b] L2 ([, ], dx) e que o produto escalar [a, b] , f igual ` integral de Lebesgue de f em [a, b]: E 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
=
43 Marc-Antoine
Cap tulo 27
1215/1628
provando (27.98) para f L2 ([, ], dx). Na terceira igualdade acima usamos a continuidade e a linearidade do produto escalar. intervalo compacto de R. Podemos escrever [a, b] = Seja agora g : R C for uma periodizaao de per c odo 2 de uma funao f de L2 ([, ], dx), e seja [a, b] um c
nZ
g dx com
c e An := [a, b] [n, (n + 2)], sendo a soma acima, ipso facto, nita. Em cada intervalo [n, (n + 2)] a funao g o 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 (27.98) e disso segue facilmente a validade de (27.98) tambm para g. e
27.5
O Teorema de Stone-Weierstrass
A primeira verso do Teorema de Weierstrass, Teorema 27.3, acima, arma que qualquer funao cont a c nua f , real ou complexa, denida em um intervalo compacto [a, b] pode ser uniformemente aproximada por polinmios denidos nesse o intervalo. Em muitas aplicaoes (como na demonstraao do Teorema Espectral. Vide Seao 32.7, pgina 1575) estamos c c c a interessados em aproximar funoes cont c nuas denidas em conjuntos compactos outros que no simples intervalos, por a exemplo, em conjuntos de Cantor (vide Seao 24.3, pgina 1077). Uma generalizaao do Teorema 27.3 se faz, portanto, c a c necessria. Uma forte generalizaao daquele teorema foi obtida por Stone44 em 1937 e dedicamo-nos agora a apresent-la. a c 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 combinaao linear complexa de funoes continuas em X assumindo valores em C novamente c c e uma funao cont c nua assumindo valores em C, assim como claro que o produto usual de duas funoes cont e c nuas em X assumindo valores em C novamente uma funao cont e c nua em X assumindo valores em C. Isso signica que C(X, C) uma lgebra complexa (por ser um espao vetorial complexo) em relaao ao produto usual de funoes. Analogamente, e a c c c C(X, R) uma lgebra real em relaao ao produto usual de funoes. e a c c As lgebras C(X, R) e C(X, C) so lgebras Abelianas (pois o produto usual de funoes comutativo) e tambm a a a c e e so algebras unitais, pois a funao constante igual a 1 pertence a C(X, R) e a C(X, C) e age como elemento neutro a c da multiplicaao. Denotamos a funao constante igual a 1 tambm por 1. Que 1 cont c c e e nua segue da observaao que a c pr-imagem de qualquer aberto em R ou C pela funao constante ou o conjunto vazio ou todo X, que aberto por e c e e e deniao. c Sabemos pelo Corolrio 20.1, pgina 971, 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 relaao ao produto usual de funoes. B dita ser unital se 1 B. Dizemos que B separa e o a c c e pontos se para cada par x1 , x2 X com x1 = x2 existir uma funao b B tal que b(x1 ) = b(x2 ). c Se B uma sub-lgebra complexa de C(X, C), dizemos que B conjugada se a funao complexo-conjugada b e a e c pertencer a B sempre que b B.
e 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). Tudo isso signica que C(X, R) e C(X, C) so lgebras de Banach (para a norma ) Abelianas e unitais. a a
Teorema 27.16 (Teorema de Stone-Weierstrass) I. Seja X compacto e B uma sub-lgebra de C(X, R) que seja a e e unital e que separe pontos. Ento, B = C(X, R), onde B o fecho de B na topologia mtrica denida pela norma . a Assim, se c C(X, R) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX
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.
44 Marshall
Cap tulo 27
1216/1628
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 demonstraao desse importante teorema mostraremos como ele generaliza alguns resultados c 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. e a A primeira observaao a fazer que B uma sub-lgebra de C(X, R). Isso se deve ao seguinte. Primeiramente do c e fato que B C(X, R) e C(X, R) completa e, portanto, fechada (Proposiao 22.11, pgina 1045) segue que e c a B C(X, R) . (27.99)
Que B uma lgebra, segue da observaao que se fn e gn so seqncias de B(x) que convergem a f e g, respectivamente, e a c a ue 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 gn + g f fn + gn g f fn 0 , f g fn gn
A segunda observaao a fazer que se h B, ento |h| B. Como h B C(X, R), a funao X x |h(x)| R+ c e a c cont e nua (por ser a composiao das funoes cont c c nuas h e | |) e, portanto, pelo Teorema 29.16, pgina 1352, 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) uma algebra). Logo, isso provou que |h| B, como quer amos. f g := min{f, g} = 1 f +g f g 2
provando que f g B.
Lembremos agora que pelo Teorema de Weierstrass, Teorema 27.3, a funao |t| pode ser aproximada no intervalo c sup
t[0, H]
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 , (27.100)
com os quais B adquire a estrutura de um reticulado. Vide Seao 2.1.2, pgina 63 e, em particular, o Exemplo 2.3, c a pgina 63. 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 funao g B tal que g(r) = g(s). Tomando c 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 funao constante. c 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
Cap tulo 27
1217/1628
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 construao). Como X compacto, existe (pela deniao de compacidade, vide Seao 29.3, pgina 1334) uma fam c e c c 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 construao, c fr, sk (x) > h(x) para todo x Vsk . Segue disso que a funao fr denida por c fr := max fr, s1 , . . . , fr, sn satisfaz fr (x) > h(x) para todo x X. De fato, em cada Vsk vale fr (x) fr, sk (x) vlida. e a
(27.101)
(27.101)
>
Pelos comentrios ao in da demonstraao sabemos que a funao fr um elemento de B C(X, R) e, portanto, a cio c c e uma funao cont e c 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 construao). Como X compacto, existe uma fam nita {Ur1 , . . . , Urm } que tambm cobre X. c e lia Naturalmente os pontos r1 , . . . , rm X so distintos. a Ora, para cada k = 1, . . . , m tem-se, pela construao, c frk (x) < h(x) + para todo x Urk . Segue disso que a funao f denida por c 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
(27.103)
(27.103)
= f r1 . . . f rm (27.104)
<
Pelos comentrios ao in da demonstraao sabemos que a funao f um elemento de B C(X, R) e, portanto, a cio c c e e uma funao cont c nua. Notemos agora que, (27.102) implica tambm que e f (x) > h(x) (27.105)
Cap tulo 27
1218/1628
e nimo deles. Provamos ento que a para todo x X, pois cada fr1 (x), . . . frm (x) satisfaz essa desigualdade e f (x) o m h(x)
(27.104)
<
f (x)
(27.105)
<
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 Proposiao 22.10, pgina 1044 segue que e a c a ae C(X, R) est contido no fecho de B (que j fechado), ou seja, C(X, R) B. Por (27.99), isso implica C(X, R) = B, a 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) . (27.106)
1 1 b) b) a e Como B conjugada, se b B ento B e, portanto, Re (b) = 2 (b + e Im (b) = 2i (b so tambm elementos e a b de B, j que B um espao vetorial complexo. Note-se que tanto Re (b) quanto Im (b) so funoes com valores em R a e c a c e, portanto, elementos de C(X, R). Vamos denotar por BR o conjunto de todas as funoes Re (b) ou Im (b) para todos c 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).
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 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 funao de C(X, R) pode ser uniformemente c 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 funoes reais e cont c nuas e, portanto, elementos de C(X, R). Escolhamos > 0. Pela parte I e pelas consideraoes acima, existem, b1 e b2 BR tais que Re (h) b1 c Im (h) b2 < /2. Logo, denindo b B por b = b1 + ib2 , teremos hb
< /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 (27.106) isso completa a demonstraao c O seguinte teorema, devido a Kakutani45 e Krein46 , possui hipteses ligeiramente diferentes das do Teorema de o Stone-Weierstrass para o caso real. Teorema 27.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 (27.100)) 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 27.16 pois no supomos aqui que B forma uma lgebra o a a real, mas apenas que seja um espao linear real e um reticulado com as operaoes binrias f g = min{f, g} e c c a f g = max{f, g}. Contudo, observando a demonstraao da parte I do Teorema 27.16, notamos que a hiptese de B c o
45 Shizuo 46 Mark
Cap tulo 27
1219/1628
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 demonstraao segue sem modicaoes. a c 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 observaao mostra que se o e c 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 27.16, pgina 1215. Conclu a mos que uma das conseqncias do Teorema de Stone-Weierstrass ue a seguinte generalizaao do Teorema de Weierstrass, Teorema 27.3, pgina 1181: e c a Teorema 27.18 (Teorema de Weierstrass) Seja f uma funao real ou complexa, contnua em um conjunto compacto c 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
27.6
Nesta seao o leitor ser apresentado a algumas demonstraoes da propriedade de completeza de algumas fam c a c lias de funoes de maior interesse. Devido ` natureza do problema, sero utilizados resultados da teoria de integraao c a a c demonstrados e discutidos em outros cap tulos deste texto. De particular relevncia so as nooes de espao de Hilbert e de a a c c conjunto ortogonal completo em espaos de Hilbert, discutidas no Cap c tulo 31, pgina 1466, cuja leitura imprescind a e vel para a compreenso do que segue. a Como conseqncia dos nossos esforos estabeleceremos a possibilidade de aproximar certas funoes pertencentes a ue c c certos espaos de Hilbert por certos conjuntos completos de funoes em tais espaos. c c c Comecemos com um breve comentrio. Se r uma funao positiva e de quadrado integrvel em um intervalo fechado a e c a b a e e a [a, b], ou seja, satisfaz a r(x)2 dx < , ento r tambm integrvel, pois, pela desigualdade de Cauchy-Schwarz
b a
r(x)dx =
b a
r(x) 1 dx
b a
r(x)2 dx
1/2
b a
1dx
1/2
< .
27.6.1
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 27.3, pgina 1181), de importncia fundamental: a e a Proposio 27.13 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funao positiva e de quadrado ca c b c integrvel no intervalo [a, b], ou seja, tal que a r(x)2 dx seja nita. Seja f uma funao contnua denida em [a, b]. a Ento, a
b a
f (x) xn r(x) dx = 0
(27.107)
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 29.16, pgina 1352). Pelo Teorema de Weierstrass, Teorema 27.3, pgina 1181, 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 =
f (x)p(x) r(x) dx +
a a
Cap tulo 27
1220/1628
f (x)p(x) r(x) dx = 0, pois p, como todo polinmio, pode ser escrito como uma como
onde R :=
b a
|f (x)|2 r(x) dx M R
b a
|f (x)|2 r(x) dx = 0. Como f cont e nua isso implica que f identicamente nula, e
A Proposiao 27.13 arma que a unica funao cont c c nua que ortogonal a todos os polinmios a funao nula. e o e c b Ortogonalidade aqui entendida em relaao ao produto escalar f, g r := a f (x)g(x) r(x)dx denido no espao de e c c Hilbert das funoes de quadrado integrvel em relaao ` medida r(x)dx, ou seja, que satisfazem c a c a
b a
Denotaremos esse espao de Hilbert por L2 ([a, b], r(x)dx), como de praxe. E claro que as funoes cont c c 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 funoes de quadrado integrvel so cont c a a nuas. A armaao da Proposiao 27.13 pode, porm, ser estendida c c e ao espao L2 ([a, b], r(x)dx). Esse o conte do da proposiao que segue. c e u c Proposio 27.14 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funao positiva e de quadrado ca c b b integrvel no intervalo [a, b], ou seja, tal que a r(x)2 dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar a denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funoes de quadrado integrvel. Ento, para c c a a g L2 ([a, b], r(x)dx) a relaao c
b
g(x) xn r(x) dx = 0
(27.108)
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
g(y)r(y)dy = 0 por (27.108) (para o caso particular n = 0). Assim, integraao por c
b a b a
g(x) xn r(x) dx =
G(x) xn1 dx .
Portanto, conclu mos que a G(x) xn1 dx = 0 para todo n 1. Como G cont e nua, podemos aplicar a Proposiao c 27.13, 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 relaao ao produto escalar denido por r, ou seja, satisfazem o c 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 ortogonalizaao de Gram-Schmidt. Vide Seao 3.3, pgina 161). Como cada polinmios pm (x) tem grau m, cada c c a o monmio xn pode ser escrito como uma combinaao linear nita de polinmios pm (x) com m n. E da evidente que a o c o Proposiao 27.14 equivale ` c a
Cap tulo 27
1221/1628
Proposio 27.15 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funao positiva e de quadrado ca c b b 2 integrvel no 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 a denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funoes de quadrado integrvel. Seja pn (x),com c c a n N0 uma famlia de polinmios ortonormais em relaao ao produto escalar , r , ou seja, os polinmios pn satisfazem o c o pm , pn r = m, n para todos m, n. Ento, para g L2 ([a, b], r(x)dx) a relaao a c
b
(27.109)
vlida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denioes do Cap c tulo 31, pgina 1466, a Proposiao 27.15 diz-nos que L2 ([a, b], r(x)dx) um a c 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 1477). Pelos Teoremas 31.5 e 31.6, pginas 1479 e 1480, respectivamente, vale para todo a a g L2 ([a, b], r(x)dx) g(x) = sendo g r := relaao ` norma c a
pn , g
pn (x)
2 r
n=0
n=0
| pn , g r | ,
(27.110)
g, g r a norma de g em L2 ([a, b], r(x)dx). A convergncia da primeira srie em (27.110) 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.
Aplicando os fatos acima aos polinmios de Legendre Pn , estudados na Seao 11.2.1, pgina 506, conclu o c 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 relaoes de ortogonalidade dos polinmios de Legendre, vide (11.53)). Assim, em particular, conclu c 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 aplicaao no-trivial dessa expresso, faa o Exerc e c a a c cio E. 11.31, pgina 552. a
27.6.2
O tratamento que zemos acima da propriedade de completeza de polinmios ortogonais em intervalos fechados faz o uso crucial do Teorema de Weierstrass, Teorema 27.3, pgina 1181. Infelizmente esse teorema vlido apenas em a e a intervalos compactos, e para o tratamento de relaoes de ortogonalidade de polinmios ortogonais denidos em regies c 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 27.16 Seja f L2 (R, ex dx). Ento, as integrais ca a
2
xn f (x)ex dx
Cap tulo 27
1222/1628
Prova. (De [85], com adaptaoes). Para todo z C e todo n inteiro, n 0, tem-se que a funao h(x) := xn eizx c c 2 2 x2 2n 2izxx2 pertence a L (R, e dx), pois x e 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 relaao ` medida d(x) := ex dx a e a c a para todo z C e todo n inteiro, n 0. Isso pode ser visto pela desigualdade de Cauchy-Schwartz, que garante que 2 1/2 c a ( R |f |2 d)1/2 < . Assim, para todo n inteiro, n 0, a funao de varivel complexa R |hf | d ( R |h| d) 1 Fn (z) := 2 est denida para todo z C. a
1 2
xn eizx f (x)ex dx
quando z R. Observe que essa funao de quadrado integrvel pois f (x)2 e2x f (x)2 ex o que implica que c e a 2 2 2 f (x)2 e2x dx f (x)2 ex dx < pois f L2 (R, ex dx). Isso signica que a transformada de Fourier de f (x)ex existe e unica47 em L2 (R, dx), fato que usaremos logo adiante. e
2 2
2 eizx f (x)ex
Como o integrando de F0 , ou seja, eizx f (x)ex , uma funao inteira de z e a integral que dene F0 converge e c 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 funao inteira de z (analogamente mostra-se que todas as funoes Fn (z) so inteiras, mas isso e c c 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 integraao, ou usando a frmula integral de Cauchy, ambas c 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 F0 (z) = 1 dn F0 (0) z n = n! dz n n=0
Dessa relaao conclu c mos que se Fn (0) = xn f (x)ex dx = 0 para todo n, ento F0 identicamente nula. Pela a e 2 invertibilidade da transformada de Fourier em L (R, dx), isso signica que f nula. e
As propriedades elementares dos chamados polinmios de Hermite foram estudadas na Seao 11.2.3, pgina 523, o c a sendo as relaoes de ortogonalidade apresentadas em (11.115), pgina 524. Os polinmios de Hermite so ortogonais no c 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 Proposiao 27.16 equivalente c o c e a ` Proposio 27.17 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 proposiao (27.17) arma que L2 (R, ex dx) um espao de Hilbert separvel e que as funoes normalizadas c e c a c 2 1 Hn (x), para n N0 (vide (11.115)), formam um conjunto ortonormal completo em L2 (R, ex dx). n
2 n!
47 A
2
transformada de Fourier invers e vel em L2 (R, dx). Vide Seao 28.2.1.2, pgina 1259. c a
Cap tulo 27
1223/1628
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
2
1 Hn , f Hn (x) , 2n n! n=0 =
(27.111)
Hn (y)f (y)ey dy
o produto escalar de Hn e f em em L2 (R, ex dx). A convergncia da srie em (27.111) 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 [38]. o
27.6.3
De acordo com o Teorema 27.9, pgina 1202, toda funao denida em R que seja cont a c 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 aproximaoes de funoes cont c c 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 funao positiva e integrvel em [a, b] [, ]. A srie de resultados que veremos adiante segue muito de perto os c a e resultados correspondentes da Seao 27.6.1. c Proposio 27.18 Seja r uma funao de quadrado integrvel no intervalo [a, b] [, ] (com a b) e positiva em ca c a b 2 (a, b), ou seja, tal que a r(x) dx seja nita e r(x) > 0 para todo x (a, b). Seja f uma funao contnua e peridica de c o perodo 2 denida em [, ]. Ento, a
b a
(27.112)
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 27.9, pgina 1202, 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)p(x) r(x) dx = 0, pois p, como todo polinmio trigonomtrico, pode ser escrito o e
como uma combinaao linear nita dos monmios einx . Fora isso, c o
b a b
onde R :=
b a
|f (x)|2 r(x) dx M R
e como arbitrrio, isso implica e a |f (x)| r(x) dx = 0. Como f cont e nua e r(x) > 0 em (a, b), isso implica que f e identicamente nula em [a, b], como quer amos provar. A Proposiao 27.18 arma que a unica funao cont c c nua e peridica de per o odo 2 que ortogonal a todos os poe linmios trigonomtricos a funao nula. Ortogonalidade aqui entendida em relaao ao produto escalar f, g r := o e e c e c
Cap tulo 27
1224/1628
f (x)g(x) r(x)dx denido no espao de Hilbert L2 ([a, b], r(x)dx) das funoes de quadrado integrvel em [a, b] em c c a relaao ` medida r(x)dx, ou seja, que satisfazem c a
b a
b a
Denotaremos esse espao de Hilbert por Hr . A armaao da Proposiao 27.18 pode ser estendida ao espao Hr . Esse c c c c e o conte do da proposiao que segue. u c Proposio 27.19 Seja r uma funao de quadrado integrvel no intervalo [a, b] [, ] (com a b) e positiva em ca c a b (a, b), ou seja, tal que a r(x)2 dx seja nita e r(x) > 0 para todo x (a, b). 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 funoes de quadrado c c integrvel. Ento, para g Hr , a relaao a a c
b
(27.113)
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
g(y)r(y)dy = 0, por (27.113) (para o caso particular n = 0). Assim, integraao por c
b a b a
G(x) einx dx .
G(x) einx dx = 0
para todo n = 0 .
(27.114)
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]
Como G anula-se em a e em b, G cont e nua e 2-peridica. Pela deniao e por (27.114), vale o c G(x) einx dx = 0 para todo n = 0 . (27.115)
Denotando G0 :=
1 2
einx dx = 0).
e nua e 2-peridica, podemos aplicar a Proposiao 27.18 (adotando, naquela Proposiao, o caso r 1 o c c Como H cont e [a, b] = [, ]), para concluir que H identicamente nula. Como H (x) = G (x) = g(x)r(x) quase em toda parte em e [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 combinaao linear nita de polinmios pn . Suponhamos que os polinmios trigonomtricos de um c o o e conjunto de polinmios normais pn (x) seja tambm ortonormais em relaao ao produto escalar denido por r, ou seja, o e c satisfazem pm , pn r = m, n para todos m, n (uma tal fam sempre pode ser obtida a partir de p0 (x) := R1/2 pelo lia procedimento de ortogonalizaao de Gram-Schmidt. Vide Seao 3.3, pgina 161). Como cada monmio einx pode ser c c a o escrito como uma combinaao linear nita de polinmios pm (x), evidente que a Proposiao 27.19 equivale ` c o e c a
Cap tulo 27
1225/1628
Proposio 27.20 Seja r uma funao de quadrado integrvel no intervalo [a, b] [, ] (com a b) e positiva em ca c a b b 2 (a, b), ou seja, tal que a r(x) dx seja nita e r(x) > 0 para todo x (a, b). 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 funoes de quadrado integrvel. c c a Seja pn (x), com n Z, uma famlia normal de polinmios ortonormais em relaao ao produto escalar , r , ou seja, o c todo monmio eimx pode ser escrito como uma combinaao linear nita de polinmios pn os polinmios pn satisfazem o c o o pm , pn r = m, n para todos m, n Z. Ento, para g Hr , a relaao a c
b
(27.116)
vlida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denioes do Cap c tulo 31, pgina 1466, a Proposiao 27.20 est dizendo-nos que Hr L2 ([a, b], r(x)dx) a c 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 1477). Pelos Teoremas 31.5 e 31.6, pginas 1479 e 1480, respectivamente, vale a a para todo g Hr g(x) = e g g, g sendo g r := Hr , ou seja, tem-se
r 2 r
pn , g
pn (x)
(27.117)
n= n=
| pn , g r | ,
(27.118)
r
de
lim
pn , g
n=N
pn
r
= 0.
einx Naturalmente o caso mais importante se d com [a, b] = [, ] e r 1, onde a fam en (x) = , n Z, compe, a lia o 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 27.14, pgina 1213. a
Cap tulo 27
1226/1628
27.7
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 integraao por partes, exe c 1 d 1 d 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 funao exponencial recomenda-se usar as frmulas de Euler para os senos e co-senos: sen y = e e , c o 2i iy iy cos y = e +e . 2 Nos exerc cios que seguem, evocaremos tambm o Teorema de Fourier, Teorema 27.12, pgina 1208. e a ca o odo 2 denida de forma que para 0 x 2 tenhamos E. 27.7 Exerccio. Seja f a funo peridica de per 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
Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e
ca o odo L denida de forma que E. 27.8 Exerccio. Sejam L > 0 e x0 tal que 0 < x0 < L. Seja f a funo peridica de per para 0 x L tenhamos x , para 0 x x0 , x0 f (x) := Lx , para x0 x L . L x0 E. 27.9 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 ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = x2 . E. 27.10 Exerccio. Seja f a funo peridica de per 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 ca o odo 2 denida de forma que para 0 x 2 tenhamos f (x) = E. 27.11 Exerccio. Seja f a funo peridica de per (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. 27.10? Por que? ca cio ca o odo 2 denida de forma que para 0 x 2 tenhamos E. 27.12 Exerccio. Seja f a funo peridica de per sen (x), para 0 x , f (x) := 0, para x 2 .
Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e
Cap tulo 27
1227/1628
a e ca o odo 2 denida no intervalo E. 27.13 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. 27.14 Exerccio. Calcule a srie de Fourier da funo f (x) = ( sen (x))2 , que peridica de per e ca e o odo . 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. 27.15 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 . a e ca o odo 2 denida no intervalo E. 27.16 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per [0, 2) da seguinte forma: cos(x) 2 , se 0 x , f (x) = 0, se < x < 2 . E. 27.17 Exerccio. As chamadas funoes de Fresnel48 , C(x) e S(x), so denidas por c a
x
C(x) :=
0
cos t2 dt
S(x) :=
0
sen t2 dt ,
respectivamente49 , para todo x R. As integrais acima so ditas transcendentes por no poderem ser expressas em termos a a de somas, produtos ou composioes nitas de funoes elementares, como polinmios, funoes trigonomtricas, exponenciais c c o c 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
(27.119)
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
48 Augustin-Jean 49 As
t2 cos t2 dt =
Fresnel (17881827). funoes de Fresnel so tambm denominadas integrais de Fresnel. c a e
1 x sen x2 S(x) 2
Cap tulo 27
1228/1628
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 funoes de Fresnel C e S. c 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
Escreva os coecientes An , n 0 e Bn , n 1, em termos das funoes de Fresnel C e S. c e. Mostre que a funo f , acima, no satisfaz as condioes do Teorema de Fourier, Teorema 27.12, pgina 1208, mas ca a c a satisfaz a condio de Dini (vide Teorma 27.11, pgina 1206), ou seja, existe > 0, pequeno o suciente, tal que ca a
0
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 (27.119), obtenha o comportamento assinttico dos coecientes de Fourier de f . o
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
ca o odo 2M denida de forma que para M x M E. 27.18 Exerccio. Seja M > 0 e seja f a funo peridica de per tenhamos M + x, para M x 0 , f (x) := M x, para 0 x M .
E. 27.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 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 2 1 = . n2 6 n=1 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 ` pgina 504.). Vide expresso (11.46), pgina 506. a a a a
Cap tulo 27
1229/1628
ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = ex/2 . E. 27.20 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 = . 1 + 4 2 n2 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 . 1 + 4 2 n2 2 e1 n=1
(27.120)
ca o odo 2 denida de forma que para x tenhamos E. 27.21 Exerccio-dirigido. Seja f a funo peridica de per 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 1 1 = n2 2 2 n=1
1 cot()
(27.121)
Essa importante identidade vale para todo no-inteiro. Ela denominada frmula da cotangente de Euler, ou expanso a e o a em fraoes parciais da funo cotangente, e foi obtida pela primeira vez por Euler em 1749, usando outros mtodos. c ca e Para uma outra elegante demonstrao (devida a Herglotz50 ) de (27.121) , vide Exerc E. 11.32, pgina 552. ca cio a c. Usando a identidade (27.121), mostre que
n=1
4n2
1 1 = . 1 2
Sugesto. Tome = 1/2. a d. Usando a mesma identidade (27.121), mostre tambm que e
n=1
1 16n2 1
4 . 8
Sugesto. Tome = 1/4. a e. Usando a identidade (27.121), mostre que para R, = 0, 1 1 = n2 + 2 2 n=1 e obtenha disso que 1 = 2a tanh(a/2)
coth()
(27.122)
n=
a2
1 , + (2n)2
(27.123)
com a R, a = 0. Sugesto. Tome = i na identidade (27.121). O que justica podermos fazer isso? a
50 Gustav
Cap tulo 27
1230/1628
f. Reobtenha a identidade (27.120) 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 . n2 2 n + 2 n 4
n=1
1 1 2 2 2 = 4 . 2 2 n + n 4
ca o odo 2M denida de forma que para M x M E. 27.22 Exerccio. Seja M > 0 e seja f a funo peridica de per 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 ` pgina 504.). Vide expresso (11.46), pgina 506. a 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
ca o odo 2M denida de forma que para M x M E. 27.23 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 = . 6 n 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 ` pgina 504.). Vide expresso (11.46), pgina 506. a a a a
Cap tulo 27
1231/1628
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. 27.24 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
cos(kx) =
k=0
sen n + 1 x 1 2 1+ 2 sen x 2
eiy eiy e a identidade do item a, mostre que 2i 1 2 sen (x) + sen (nx) sen ((n + 1)x) 1 cos(x)
n
sen (kx) =
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
sn (x) =
k=0
cos(2k! x) .
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 funoes ue c
n
tn (x) =
k=1
k=1
a e e t deve ser, portanto, cont nua. Note que, pelo visto acima, a seqncia de derivadas tn = 2sn no convergente. Isso ue 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 [104] 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 funoes no-diferenciveis pode ser encontrado em [169]. c a a
Cap tulo 27
1232/1628
Apndices e
27.A Prova do Teorema de Weierstrass Usando Polinmios o de Bernstein
Nesta seao demonstraremos o Teorema de Weierstrass, Teorema 27.3, pgina 1181, fazendo uso dos chamados polinmios c a o de Bernstein. Polinmios de Bernstein o
n p x (1 x)np , p
n > 0 , 0 p n , p N0 .
(27.A.1)
[n]
O fato importante estabelecido na proposiao que segue diz respeito ` independncia linear dos n + 1 polinmios Bp (x), c a e o 0 p n para cada n 0. Proposio 27.21 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 armaoes sobre as ra c zes so evidentes e no requerem demonstraao. Passemos ` prova da independncia a a c 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]
(27.A.2)
Como B0 (0) = 0 e Bp (0) = 0 se p > 0, tomar x = 0 em (27.A.2) fornece 0 = 0, de modo que (27.A.2) reduz-se a
n [n] p Bp (x) = 0 . p=1
(27.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 proposiao acima permite armar que para cada n, os polinmios Bp , com 0 p n, formam uma base no c 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
0 p n, so constantes. Essa a chamada forma de Bernstein, ou representaao de Bernstein, de polinmios de grau a e c o n. Um resultados preliminar
O resultado a seguir um tanto tcnico, mas ser utilizado adiante em uma demonstraao importante. e e a c
Lema 27.2 Sejam os polinmios de Bernstein denidos em (27.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) .
(27.A.4)
51 Sergi Natanovich Bernstein (18801968). Bernstein introduziu os polinmios que levam seu nome em trabalho de 1911 sobre o Teorema o de Weierstrass e interpolaoes polinomiais. c
Cap tulo 27
1233/1628
n p=0
n p np x y p
(27.A.5)
para todo n N0 e todos x, y R. Para provar (27.A.4), apliquemos o operador diferencial Dx := x2 2 + x(1 2nx) + n2 x2 x2 x
(x + y)n2
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
p=0
(p nx)2
n p x (1 x)np = p
A proposiao que segue estabelece mais alguns fatos bsicos sobre os polinmios de Bernstein Bp (x). O estudante c 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 e Proposio 27.22 Os polinmios de Bernstein Bp tm as seguintes propriedades: ca o 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]
(27.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
(27.A.7)
Cap tulo 27
1234/1628
1 =
p=0
n p x (1 x)np = p
1 22 n
n [n] n2 2 Bp (x)
p=0 p | x|> n
<
1 n2 2
n
p=0 p | x|> n
(27.A.4)
1 n2 2
x(1 x) 1 , 2 n 4n 2
completando a prova. Na ultima desigualdade usamos o fato que a funao x(1 x) tem um mximo absoluto em toda c a reta real para x = 1/2, quando vale 1/4.
Passemos agora ` demonstraao do Teorema de Weierstrass, Teorema 27.3, pgina 1181, no intervalo [0, 1] usando a c a polinmios de Bernstein. o Teorema 27.19 Seja uma funao contnua f : [0, 1] C. Ento, os polinmios de grau n c a o
n [n] bf (x) := p=0
p n
p n
n p x (1 x)np , p
ditos aproximantes de Bernstein da funao f , aproximam uniformemente f no intervalo [0, 1], ou seja, para todo > 0 c existe N () tal que [n] := sup f (x) b[n] (x) f bf f
x[0, 1]
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) .
(27.A.8)
Por ser cont nua, f uniformemente cont e nua no intervalo compacto [0, 1] (Teorema 29.12, pgina 1349), 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 27
1235/1628
Vamos ento quebrar a soma em p no lado direito de (27.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)
(27.A.6)
. 2
(27.A.9)
f (x) f
p n
(27.A.7)
M , 2n 2
(27.A.10)
[n]
M . + 2 2n 2
teremos f bf
[n]
O Teorema 27.19 estabeleceu o Teorema de Weierstrass no intervalo [0, 1]. Para passar a um intervalo [a, b], com b > a, basta notar que a aplicaao c [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
tambm um polinmio. e e o
Com isso, se f cont e nua em [a, b], a funao f h cont c e nua em [0, 1] podendo, pelo Teorema 27.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 27.19 se generaliza para
Teorema 27.20 Seja uma funao contnua f : [a, b] C. Ento, os polinmios de grau n c 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 27
1236/1628
27.B
Vamos nesta breve seao apresentar mais uma demonstrao do Teorema de Weierstrass, Teorema 27.3, pgina 1181. c ca a Esta demonstraao segue essencialmente as mesmas idias da demonstraao original de Weierstrass, obtida em 1885 c e c quando seu autor completava 70 anos de idade, contrariando a noao de que contribuioes importantes ` Matemtica c c a 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 funoes Gaussianas. Nos restringiremos a funoes cont c c nuas denidas no intervalo compacto [1, 1] mas, como anteriormente, a generalizaao para intervalos compactos gerais do tipo [a, b], com a < b no apresenta c 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 deniao, g(1) = g(1) = 0 e, devido a isso, g possui uma o c 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 29.12, pgina 1349) e, cona seq entemente, g tambm o , por ser uma extenso cont u e e a nua e peridica de g. Assim, aplica-se para g o Teorema 27.1, o pgina 1177, para qualquer seqncia delta de Dirac (segundo a Deniao 27.1, pgina 1175). Escolhemos considerar a a ue c a 2 2 n mos que seqncia delta de Dirac Gaussiana, denida em (27.12): Kn (x) := en x , n N. Do Teorema 27.1 conclu ue a seqncia de funoes ue c 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 (27.B.11) g (y) en (yx) dy + 1+ 1 com 0 < < 1, xo. A primeira integral em (27.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
(27.13)
en
(x+1+)2
en 2
2 2
sendo que na ultima desigualdade usamos que x 1. A segunda integral em (27.B.11) pode ser majorada em mdulo o por 2 2 2 2 (27.13) en (1+x) 2 2 2 2 en n n w=yx en w dw = G , G g(y) en (yx) dy 2 2 1+x 1+ 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 (27.B.11) convergem a zero para n uniformemente para todo x no intervalo [1, 1]. Logo, a terceira integral em (27.B.11), Hn (x) :=
2 2 n g (y) en (yx) dy , 1 n2 2
1+
converge uniformemente em [1, 1] ` funao g (e, portanto, ` funao g). a c a c Sabemos (Proposiao 27.6, pgina 1191) que a srie de Taylor centrada em zero da funao exponencial converge c a e c 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 funoes Hn podem ser uniformemente aproximadas por c
m
Hn, m (x) :=
k=0
(1)k n2k n k!
1+ 1
g(y) (y x)2k dy ,
mN.
Cap tulo 27
1237/1628
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 funao Hn uniformemente aproximvel por polinmios no intervalo [1, 1] e c e a o que a funao g uniformemente aproximvel pelas funoes Hn no mesmo intervalo. Isso prova que g uniformemente c e a c e aproximvel no intervalo [1, 1] pelos polinmios Hn, m : a o
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 demonstraao do Teorema de Weierstrass, Teorema 27.3, a c pgina 1181, est completa. a a