Aproxima C Ao de Fun C Oes. Aproxima C Oes PDF

Captulo 35
Aproxima c
ao de Funco
es. Aproxima
co
es
Polinomiais e S
eries de Fourier
Conte
udo
35.1 No c
oes de Converg encia para Seq u
encias de Fun co
es . . . . . . . . . . . . . . . . . . . . . 1657
35.1.1 Import ancia da Convergencia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1658
35.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . 1659
35.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . 1661
35.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . 1661
35.2 Seq uencias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1663
35.3 Aproxima c
ao de Fun c
oes por Polin omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1669
35.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1669
35.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1676
35.4 Aproxima c
ao de Fun c
oes por Polin omios Trigonom etricos . . . . . . . . . . . . . . . . . . 1683
35.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1684
35.4.2 A Serie de Fourier de Func oes Periodicas de Perodo T . . . . . . . . . . . . . . . . . . . . . . 1686
35.4.3 Polin omios Trigonometricos e Func oes Contnuas e Peri odicas . . . . . . . . . . . . . . . . . . 1688
35.4.4 Convergencia de Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1693
35.4.4.1 Series de Fourier em Senos ou Co-Senos para Func oes Definidas em Intervalos Compactos1699
35.4.5 Revisitando a Aproximac ao Uniforme de Func oes Contnuas e Periodicas por Polin omios Tri-
gonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1702
35.4.6 Series de Fourier e o Espaco de Hilbert L2 [, ], dx . . . . . . . . . . . . . . . . . . . . . . 1705

35.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1707

35.6 Completeza de Algumas Famlias de Fun c
oes . . . . . . . . . . . . . . . . . . . . . . . . . . 1711
35.6.1 Completeza de Polin omios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . 1711
35.6.2 Completeza de Polin omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1713
35.6.3 Completeza dos Polin omios Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1715
35.7 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1718

APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 1726
35.A Prova do Teorema de Weierstrass Usando Polin omios de Bernstein . . . . . . . . . . . . 1726
35.B A Demonstra c
ao de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . 1730
N a Fsica e tambem em diversas

problemas cuja solucao n
areas da Matem atica Aplicada, estamos muitas vezes interessados em resolver
ao pode ser obtida exatamente. No caso de equacoes diferenciais, por exemplo, sao
muito raras as situacoes nas quais uma solucao pode ser expressa em termos de funcoes elementares, tais como
polinomios, exponenciais, logaritmos, senos, co-senos ou combinacoes finitas das mesmas. Na grande maioria
dos casos apresentam-se metodos de solucao em termos de aproximacoes que, sob hipoteses adequadas, podem estar t
proximas quanto se queira da solucao correta. E, portanto, uma quest ao importante desenvolver metodos de aproximar
funcoes com certas propriedades e e disso, basicamente, que trataremos neste captulo. N ao pretendemos aqui esgotar
ao
o assunto, o que ademais seria impossvel, dada a sua extensao, mas tratar de dois tipos fundamentais de aproximacoes
de funcoes: as aproximacoes por polinomios e as aproximacoes por polinomios trigonometricos. Este u ltimo t
opico e o
domnio das chamadas series de Fourier e suporemos que o leitor ja possua alguma familiaridade com seus aspectos mais
elementares e suas aplicacoes. Como veremos, aproximacoes por polinomios e por polinomios trigonometricos sao dois
assuntos relacionados. Ambos os metodos de aproximacao est ao tambem na raiz de muitos outros desenvolvimentos,
como na teoria dos espacos de Hilbert, e mesmo em temas mais abstratos, como na Algebra de Operadores. Sua utilizacao
pratica e enorme e ambos os assuntos tem dominado boa parte das aplicacoes da Matem atica a problemas de Fsica e
de Engenharia desde o seculo XVIII.
1656
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 35 1657/2103
35.1 No
coes de Converg
encia para Seq
uencias de Fun
coes
Em benefcio do estudante, vamos recordar brevemente na corrente secao algumas das nocoes e resultados b asicos
sobre convergencia de seq uencias de funcoes definidas em R (ou em sub-conjuntos de R), nocoes e resultados esses
que utilizaremos no que segue. Presumimos que o estudante ja tenha sido exposto a esses temas e um tratamento mais
detalhado que o nosso pode ser encontrado em quaisquer bons livros de Calculo ou Analise real. Algumas das nocoes
aqui tratadas sao tambem desenvolvidas com muito mais detalhe no Captulo 25, p agina 1196, mas a leitura previa desse
captulo, ainda que u
til, e dispensavel para o que segue.
Seja D um subconjunto de R. As seguintes nocoes de convergencia sao de fundamental import
ancia:
a. Convergencia pontual. Diz-se que uma seq

uencia de funcoes fn : D C, definidas em D, converge pontualmente a
uma funcao f : D C se para cada x D valer lim fn (x) = f (x).
n
b. Convergencia uniforme.
Diz-se que uma
seq
uencia de funcoes fn : D C converge uniformemente a uma funcao
f : D C se lim sup |fn (x) f (x)| = 0.
n xD
Se uma seq uencia fn converge pontualmente a uma funcao f , ent

ao f e dita ser o limite pontual da sequencia fn . Se
uma seq
uencia fn converge uniformemente a uma funcao f , ent
ao f e dita ser o limite uniforme da seq uencia fn .
Alem da convergencia uniforme e pontual, h
a diversas outras nocoes de convergencia para seq
uencias de funcoes, das
quais destacamos as duas seguintes. Sejam a e b R com < a < b < .
Z b

c. Convergencia no sentido de L1 [a, b], dx . Seja fn : [a, b] C uma seq uencia de funcoes tais que |fn (x)|dx <
Z b a
para todo n N. Seja tambem f : [a, b] C com |f (x)|dx < . Dizemos que a seq uencia fn converge a f
Z b a

no sentido de L1 [a, b], dx se lim |fn (x) f (x)|dx = 0.
n a
Z b

2
d. Convergencia no sentido de L [a, b], dx . Seja fn : [a, b] C uma seq uencia de funcoes tais que |fn (x)|2 dx <
Z b a
para todo n N. Seja tambem f : [a, b] C com |f (x)|2 dx < . Dizemos que a seq uencia fn converge a
s a
Z b
2

f no sentido de L [a, b], dx se lim |fn (x) f (x)|2 dx = 0.
n a
Definicoes analogas existem para o caso de seq

uencias definidas, n
ao em um intervalo finito [a, b], mas em intervalos
n
ao-finitos, como a reta real R ou a semi-reta R+ .
Antes de falarmos sobre a import ancia da convergencia uniforme, apresentemos um criterio importante para que se
tenha convergencia uniforme de series de funcoes.
O teste M de Weierstrass
n
X
Em muitas situacoes lidamos com series de funcoes, ou seja, com seq
uencias da forma sn (x) = fk (x), n N,
k=0
onde fk sao funcoes reais definidas em um certo domnio comum D R. E muito importante nesses casos ter em maos
criterios que permitam saber se a seq uencia sn converge uniformemente em D a alguma funcao. De particular utilidade
nesse contexto e um pequeno resultado devido a Weierstrass1, conhecido como teste M de Weierstrass, o qual fornece
condicoes suficientes para a convergencia uniforme de uma serie:
Proposi c
ao 35.1 (Teste M de Weierstrass) Seja D R, D n ao-vazio, e seja fn : D C uma seq uencia de func
oes
definidas em D e tais que para cada k exista uma constante Mk 0 tal que |fk (x)| Mk para todo x D. Ent ao, se a
1 Karl Theodor Wilhelm Weierstra (18151897).
atica Vers

X n
X
serie Mk for convergente, a seq oes sn (x) :=
uencia de func fk (x) converge uniformemente em D. 2
k=0 k=0

X n
X
Prova. Como a serie uencia de somas parciais Mn :=
Mk e convergente, a seq Mk e uma seq
uencia de Cauchy 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
Xn Xn
Mk s sao positivos, para m < n tem-se |Mn Mm | = Mn Mm = Mk . Assim, vale Mk sempre que n
k=m+1 k=m+1
e m forem maiores que N ().
Provemos primeiramente que a seq uencia sn converge pontualmente. Fixemos x D e consideremos, para m < n,
n
X n
X Xn
a diferenca sn (x) sm (x) = fk (x). Naturalmente, vale |sn (x) sm (x)| |fk (x)| Mk sempre
k=m+1 k=m+1 k=m+1
que n e m forem maiores que N (). Isso provou que a seq uencia sn (x) e uma sequencia de Cauchy de numeros reais e,
portanto, converge a um n umero que denotamos por s(x). Como isso se d a para cada x D, conclumos que existe uma
funcao s : D C à qual a seq
uencia sn converge pontualmente.
Provemos agora que a seq uencia sn converge uniformemente a essa funcao s. Para cada x D vale, como vimos,
|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, conclumos que supxD |s(x) sm (x)|
sempre que m > N () e isso estabelece que a seq uencia sn converge uniformemente a s em D.
O leitor pode facilmente perceber que a Proposicao 35.1 e sua demonstracao se deixam generalizar sem problemas para
series de funcoes complexas definidas em domnios complexos D C. Em verdade, a Proposicao 35.1 e sua demonstracao
se deixam facilmente generalizar ainda mais para series de funcoes definidas em D C assumindo valores em um espaco
de Banach.
35.1.1 Import
ancia da Converg
encia Uniforme
Vamos discutir brevemente algumas das raz oes da importancia da nocao de convergencia uniforme. Como conseq uencia
dessa discussao, obteremos uma serie de resultados muito u teis que garantem condicoes suficientes para que se possa
trocar a ordem de operacoes envolvendo a tomada de limites, o calculo de derivadas e o c alculo de integrais definidas,
trocas essas empregadas ami ude em manipulacoes em Fsica e Matem atica.
Converg
encia uniforme e outras converg
encias
E evidente que em qualquer D a convergencia uniforme de uma seq uencia fn a uma funcao f implica a convergencia
pontual dessa sequencia `
a mesma funcao. No caso de intervalos [a, b] finitos, a convergencia uniforme implica tambem
a convergencia no sentido de L1 [a, b], dx , pois vale, evidentemente,
Z b
|fn (x) f (x)| dx sup |fn (x) f (x)| b a (35.1)
a x[a, b]

e analogamente para a convergencia no sentido de L2 [a, b], dx . A recproca dessas duas afirmacoes, porem, n
ao e
necessariamente verdadeira. Por exemplo, a sequencia de funcoes definidas no intervalo [1, 1] por

1 0 |x| n1 ,
fn (x) :=

0 , 1 < |x| 1 ,
n

a funcao nula no sentido de L1 [a, b], dx e no sentido de L2 [a, b], dx (justifique!), mas n
para n 1, converge ` ao
converge uniformemente a essa funcao (justifique!).
atica Vers
Limites uniformes de fun

co
es contnuas em intervalos compactos
Um importante resultado que mencionamos e uma propriedade de grande relevancia de limites uniformes de funcoes
contnuas:
Proposic
ao 35.2 Seja D R, n ao-vazio, e seja fn : D C uma seq uencia de func
oes contnuas que converge
uniformemente a uma func
ao f : D C. Ent ao, f e tambem contnua. 2

Prova. Para x, y D quaisquer e n N qualquer,
podemos escrever
f (x) f (y) = f (x) fn (x) + fn (x) fn (y) +
fn (y) f (y) , do que se extrai f (x) f (y) f (x) fn (x) + fn (x) fn(y) + fn (y)
f (y) . Como
a seq
uencia
fn
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 funcao fn e contnua, 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 sao demonstrados na Proposicao 25.6, p

agina 1206.
35.1.1.1 Troca de Ordem entre Limites e Integrais

No caso de intervalos finitos [a, b], a nocao de convergencia uniforme e importante por fornecer condicoes suficientes para
garantir a inversao de ordem de limites e integrais. Mais especificamente, tem-se a seguinte afirmacao:
Proposi cao 35.3 Seja uma seq
uencia fn : [a, b] C de func
oes contnuas definidas em um intervalo compacto [a, b]
R que converge uniformemente nesse intervalo a uma func ao f : [a, b] C (a qual, pela Proposic
ao 35.2, e tambem
contnua), ent
ao vale Z a Z a Z a

lim fn (x) dx = lim fn (x) dx = f (x) dx (35.2)
n b b n b
ou seja, e possvel inverter o limite pela integral definida. 2
Prova. A demonstracao segue facilmente da observacao que

Z Z b !
b (35.1)

fn (x) f (x) dx |fn (x) f (x)| dx sup |fn (x) f (x)| ba ,
a a x[a, b]
Z Z b !
b

o que implica que lim fn (x)dx f (x)dx = 0 se lim sup |fn (x) f (x)| = 0.
n a a n x[a, b]
Fazemos notar que a condicao de convergencia uniforme da seq uencia fn e suficiente, mas n
ao necessaria para validar
a inversao de limites em intervalos compactos descrita em (35.2). Citamos o importante exemplo de series de Fourier
de funcoes periodicas, contnuas e diferenci
aveis por partes. De acordo com o Teorema 35.13, p agina 1698, as condicoes
do Teorema de Fourier (Teorema 35.12, p agina 1697) sao suficientes para que a inversao de (35.2) seja valida para uma
serie de Fourier, mesmo que n ao impliquem em convergencia uniforme dessa serie.
A troca de limites por integrais definidas e uma operacao freq
uentemente realizada em manipulacoes matematicas
e, n portanto, u
ao raro, conduz à solucao de diversos problemas em Fsica. E, til conhecermos condicoes sob as quais
tal inversao seja permitida. Alguns dos teoremas mais fortes nessa direcao (com a integracao entendida no sentido de
Lebesgue) sao o Teorema da Convergencia Monotona e o Teorema da Convergencia Dominada, que apresentamos e
demonstramos na Secao 31.3.4, p agina 1402.
Contra-exemplos a se ter em mente

Caso a seq uencia de funcoes n
ao seja uniformemente convergente, ent ao n
ao e sempre possvel garantir a validade da
inversao entre a integral definida e a tomada do limite e essa inversao pode, em alguns casos, ser falsa. Um exemplo bem
atica Vers
conhecido e o da seq
uencia de funcoes contnuas

n2 x , 0 x n1 ,

fn (x) := n2 x + 2n , n1 x n2 , (35.3)

2
0,
n x 1 ,
com n 2, funcoes essas definidas no intervalo [0, 1]. Vide Figura 35.1, p agina 1660. E facil constatar que para cada
x [0, 1] vale lim fn (x) = 0, sendo que esse limite n ao e uniforme, ja que fn (1/n) = n para cada n. Ocorre, porem,
n
Z 1 Z a Z a
que fn (x) dx = 1 para todo n. Logo, lim fn (x) dx 6= lim fn (x) dx, pois o lado esquerdo vale 1 e o lado
0 n b b n
direito vale 0.
0 1/n 2/n 1
Figura 35.1: Grafico de uma funcao fn definida em (35.3). Observe que a area do triangulo vale 1 para todo n.
A hipotese feita na Proposicao 35.3 de que a seq

uencia fn converge uniformemente em um intervalo compacto tambem
n
ao e gratuita, como mostra o seguinte (contra-)exemplo: Seja fn : R R a seq uencia de funcoes definidas por

1 , n x n ,
2n
fn (x) := (35.4)

0, de outra forma ,
Z
com n 1. Ent
ao, fn converge uniformemente em toda R à funcao identicamente nula (justifique!), mas fn (x) dx = 1
Z Z

para todo n, mostrando que 1 = lim fn (x) dx 6= lim fn (x) dx = 0.
n n
E. 35.1 Exerccio. Considere a seq uencia de funcoes fn (x) = n1 ex/n , com n N, definidas no intervalo [0, ). Mostre
que essa sequRencia de funcoesR converge uniformemente à funcao que e identicamente nula no intervalo [0, ). Mostre que

vale limn 0 fn (x) dx 6= 0 (limn fn (x)) dx.
R R
Ainda que difiram, os limites limn 0 fn (x) dx e 0 (limn fn (x)) dx sao finitos no exemplo acima. Considere,
porem, o que ocorre no caso da seq uencia de funcoes fn (x) = 1n ex/n , com n N, definidas no intervalo [0, ). Mostre
que essa sequencia
R de funcoes tambem converge uniformemente, à funcao identicamente nula, mas constate que, nesse caso,
o limite limn 0 fn (x) dx sequer existe. 6
atica Vers
35.1.1.2 Troca de Ordem entre Limites e Derivadas

A Proposicao 35.3 tem uma outra conseq
uencia u
til referente à possibilidade de inversao de limites por derivadas.
Proposi cao 35.4 Seja fn : R C, n N, uma seq uencia de func aveis com derivadas fn
oes contnuas e diferenci
tambem contnuas. Suponhamos que a seq uencia fn convirja pontualmente a uma func ao f : R C e que a sequencia
de derivadas fn convirja uniformemente em cada intervalo compacto [a, b] R a uma func ao g : R C. Ent ao, g e
avel, com f = g.
contnua e f e diferenci

dfn d
Assim, em outras palavras, vale, sob as hip oteses de acima, lim (x) = lim fn (x) . 2
n dx dx n
Nota. Observamos que as conclus

oes da Proposica
o 35.4 podem ser obtidas com hip
oteses ainda menos restritivas. Vide, e.g., [164].
uencia de funcoes contnuas fn converge uniformemente a g em cada intervalo compacto

Provada Proposicao 35.4. A seq
[a, b] R e, assim, pela Proposicao 35.2, g e contnua em todos esses intervalos e, portanto, e contnua em todo R.

Tomemos um intervalo compacto [a, x] R, com x (a, b]. Como a seq uencia
R x de funcoes
R xcontnuas fn converge
uniformemente nesse intervalo ` a funcao g, vale pela Proposicao 35.3 que limn a fn (y)dy = a g(y)dy. A integral do
lado esquerdo
e fn (x) fn (a). Como a seq uencia fn converge pontualmente à funcao f , teremos que limn fn (x)
Rx
fn (a) = f (x) f (a). Assim, estabelecemos que a g(y)dy = f (x) f (a). O lado esquerdo e contnuo e diferenci avel
em x em todo intervalo [a, b], a derivada sendo a funcao contnua g(x) (pelo Teorema Fundamental do Calculo). Logo,
o lado direito e tambem contnuo e diferenci avel em x e sua derivada e f (x) = g(x).
35.1.1.3 Troca de Ordem entre Derivadas e Integrais

Tanto na Fsica quanto na Matem atica em geral, e muito comum encontrarmos situacoes nas quais temos uma funcao
(x, t) sendo integrada na variavel x em um certo domnio, digamos de e +, resultando em uma funcao apenas
da variavel t, e desejarmos
Z calcular Za derivada dessa funcao resultante da integral em relacao à variavel t, usando para
d

tal a expressao (x, t)dx = (x, t)dx, na qual, em um sentido formal, a derivacao na variavel t e trocada
dt t
de ordem com a integracao em x. Tal troca de ordem e por vezes de grande utilidade em manipulacoes, por exemplo,
na teoria das equacoes diferenciais ordinarias e parciais. Na proposicao que segue apresentaremos condicoes suficientes
para garantir que tal troca seja valida.
Proposi ao 35.5 Seja : R R C contnua e suponhamos que a derivada parcial
c t (x, t) exista para todos
(x, t) R R e seja igualmente continua.
Rb
Parte I. Para todo intervalo compacto [a, b] R a func
ao de t definida por a (x, t)dx e diferenci
avel e vale
Z b Z b
d
(x, t) dx = (x, t) dx . (35.5)
dt a a t
Parte II. Vamos adicionalmente supor que valham as seguintes hip

oteses:
Z
a. |(x, t)|dx existe para todo t R;

Z

b.
t (x, t) dx existe para todo t R;

Z

c. a seq
uencia de funcoes Fn (t) :=
t (x, t) dx converge quando n `
a func
ao identicamente nula, uni-
|x|>n
formemente para t em qualquer intervalo compacto [a, b] R.
atica Vers
R
Ent
ao, a func
ao de t definida por
(x, t)dx e diferenci
avel e vale
Z Z
d
(x, t) dx = (x, t) dx . (35.6)
dt t
2

Prova da Parte I. Para evitar confusoes na notacao, vamos no que segue denotar a derivada parcial x por 1 e a derivada
parcial
t por 2 .
Como 2 (x, t) e contnua, podemos escrever
Z Z ! Z Z
t b b t
2 (x, ) dx d = 2 (x, ) d dx ,
0 a a 0
Rt Rt
trocando a ordem das integrais. Agora, 0 2 (x, ) d = 0
t (x, ) d = (x, t) (x, 0) e o lado direito claramente
Rb Rb
vale a (x, t)dx a (x, 0)dx. Com isso, estabelecemos que
Z b Z t
(x, t) dx = ( ) d + C , (35.7)
a 0
onde Z Z
b b
( ) := 2 (x, ) dx e C := (x, 0) dx .
a a
Note-se que C e constante, ou seja, independente de t.
importante agora provarmos que : R C e contnua. Vamos provisoriamente restringir ao intervalo compacto
E
[T, T ] para algum T > 0. Por hip otese, a funcao 2 (x, ) e contnua e, portanto, uniformemente contnua no domnio
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
| | < (), valera
Z Z b Z b
b

( ) ( ) = 2 (x, ) dx 2 (x, ) dx 2 (x, ) 2 (x, )dx < (b a) ,
a a a
o que prova que : [T, T ] C e contnua. Como T > 0 e arbitrario, conclumos que : R C e contnua, como
Rt
desejavamos. A continuidade de permite afirmar que 0 ( ) d e diferenci
avel como funcao de t e de (35.7) conclumos
Rb
que a (x, t) dx e tambem diferenci
avel como funcao de t e vale
Z b Z b
d
(x, t) dx = (t) = (x, t) dx ,
dt a a t
como queramos estabelecer. Isso termina a prova da Parte I.

Z
Prova da Parte II. A hip otese a garante a existencia da funcao f : R C definida por f (t) := (x, t) dx. Para
Z n
n N, defina-se tambem a seq uencia de funcoes fn (t) := (x, t) dx. Se provarmos que fn converge pontualmente a
n Z

f e que fn e diferenci
avel e a sequencia de derivadas fn converge uniformemente a (x, t) dx para t em compactos
t
[a, b] (sendo que Zessa integral existe pela hip otese hipotese b), ent
ao poderemos evocar a Proposicao 35.4, p
agina 1661
n
e obter que lim (x, t) dx e diferenci
avel como funcao de t e que vale
n n
Z n Z
d
lim (x, t) dx = (x, t) dx ,
dt n n t
atica Vers
ou seja, Z Z

d
(x, t) dx = (x, t) dx ,
dt t
como desejamos.
R R

Provemos ent ao que fn converge pontualmente a f . Tem-se |fn (t) f (t)| = |x|>n (x, t)dx |x|>n |(x, t)| dx.
R R
Pela hipotese a, tem-se para cada t que limn |x|>n |(x, t)| dx = 0 (doutra forma |(x, t)| dx n ao existiria),
provando que para cada t vale limn |fn (t) f (t)|, o que diz que fn converge a f pontualmente.
R
Por fim, provemos que fn e diferenci
avel e a sequencia de derivadas fn converge uniformemente a t (x, t) dx
para t
R n em compactos [a, b]. Que cada f n
e diferencia vel
e garantido pela Parte I, que garante tamb
e m que fn (t) =
n t (x, t)dx. Assim,
Z Z Z

fn (t)
(x, t) dx = (x, t) dx t (x, t) dx .
t |x|>n t |x|>n
R

Agora, pela hipotese c, |x|>n
t (x, t) dx converge a zero uniformemente em compactos quanto n . Logo,
R

fn (t)
t (x, t) dx converge a zero uniformemente em compactos quanto n , completando a prova.
35.2 Seq
uencias Delta de Dirac
Uma nocao importante para o estudo de certas aproximacoes de funcoes e a nocao de seq
uencia delta de Dirac pois, como
sera ilustrado em diversos exemplos no que segue, muitos aproximantes de funcoes sao produzidos por tais seq uencias ou
por seq uencias analogas. Seq
uencias delta de Dirac sao muito usadas em Fsica, assim como na Teorias das Distribuicoes
(vide Captulo 36, p agina 1732) e no estudo de equacoes diferenciais.
Dirac2 introduziu essas sequencias no contexto da Mecanica Quantica, mas a ideia subjacente ja podia ser encontrada
na demonstracao original de Weierstrass, datada de 1885, do teorema que leva seu nome sobre aproximacao polinomial
de funcoes contnuas em intervalos compactos (Teorema 35.3, p agina 1669), assim como no trabalho de Fejer3 de 1900
sobre o problema de convergencia uniforme de polinomios trigonometricos associados a funcoes contnuas e periodicas
(vide Teorema 35.9, p agina 1691). Essas ideias originam-se provavelmente do trabalho de Dirichlet4 de 1828, tambem
sobre o problema de convergencia das series de Fourier (vide Proposicao 35.9, p
agina 1693).
Seq
uencias delta de Dirac. Defini
c
ao formal e propriedades
A nocao de sequencia delta de Dirac, que introduziremos agora, e de import
ancia central na discuss
ao de metodos de
aproximacao de funcoes. Isso sera explicitado quando apresentarmos e demonstrarmos o Teorema 35.1 à p agina 1666. A
nocao de seq
uencia delta de Dirac e tambem intimamente ligada à nocao de medida delta de Dirac (vide pagina 1309) e
a nocao de distribuic
` ao delta de Dirac (vide p agina 1775).
Definic
ao 35.1 (Seq u
encias delta de Dirac) Uma seq uencia de func
oes Kn : R R, n N, e dita ser uma
seq
uencia delta de Dirac em R centrada em 0 se satisfizer
Z
1. Para cada n N, a func
ao Kn e integr
avel, ou seja, |Kn (x)| dx < .

2. Existe uma constante K > 0 tal que para todo n N vale

Z
|Kn (x)| dx K . (35.8)

2 PaulAdrien Maurice Dirac (19021984).
3 Lip
otFej
er (18801959).
4 Johann Peter Gustav Lejeune Dirichlet (18051859).
atica Vers
3. Para todo n N, vale Z

Kn (x) dx = 1 . (35.9)

4. Para todo > 0 vale "Z #

Z
lim |Kn (x)| dx + |Kn (x)| dx = 0. (35.10)
n
Uma sequencia de funcoes R R e dita ser uma seq uencia delta de Dirac em R centrada em x0 R se for da forma
Tx0 Kn , onde Kn e uma seq uencia delta de Dirac em R centrada em 0. Aqui, Tx0 e o operador de translacao por x0 , o
qual associa a cada funcao f : R R ` a funcao Tx0 f definida por

Tx0 f (x) := f (x x0 ) (35.11)
para todo x R. As funcoes Kn de uma seq

uencia delta de Dirac sao tambem denominadas n
ucleos de Dirac.
As condicoes 3 e 4 exigem que as funcoes Kn tornem-se mais e mais concentradas em torno do ponto 0 à medida em
que n cresce, eventualmente com lim Kn (0) = . O estudante deve atentar, porem, que esse u ltimo limite nem sempre
n
e verdadeiro, pois podemos ter lim Kn (0) = 0 e mesmo lim Kn (0) = ! Essas diversas situacoes sao ilustradas nos
n n
exemplos que seguem.
Exemplos de seq
uencias delta de Dirac
Vamos a alguns exemplos elementares ilustrativos de seq
uencias delta de Dirac segundo a definicao 35.1.
1. A sequencia delta de Dirac Gaussiana. Este e talvez o exemplo mais importante e mais encontrado na pr
atica.
Seja a famlia de funcoes Gaussianas dadas por (vide (36.122))
n 2 2
gn (x) := en x (35.12)

R
para n N. E bem sabido que gn (x) dx = 1 (integral de Laplace). Como gn e positiva e simetrica (i.e.

gn (x) = gn (x) para todo x) resta provar, para
Z mostrar que gn forma uma seq
uencia delta de Dirac segundo a

definicao 35.1, que para todo > 0 vale lim gn (x) dx = 0. De fato, para todo 0
n
Z Z
n 2
x2 y=x n 2
(y+)2
en dx = en dy
0
Z
2
2 n 2 2
y 2n2 y
= en en dy
0
Z
n2 2 n 2 2
e en y
dy
0
Z 2 2
s=ny n2 2 1 s2 en
= e e ds = (35.13)
0 2
e, portanto, para todo > 0 vale

Z 2 2
n n2 x2 en
n
e dx 0 . (35.14)
2
interessante notar que para x 6= 0 tem-se lim gn (x) = 0 mas para x = 0 o limite n
E ao existe (diverge), pois
n
gn (0) = n .

Esse exemplo sera generalizado mais abaixo.
atica Vers
2. Uma seq
uencia tipo degrau. Um exemplo mais elementar e dado pela seq
uencia

n , se x 1 , 1 ,
2n 2n
1 Kn (x) = (35.15)

0 , de outra forma,
interessante notar que para x 6= 0

com n N. Todas as propriedades da definicao 35.1 sao evidentes nesse caso. E
tem-se lim 1 Kn (x) = 0 mas para x = 0 o limite nao existe (diverge), pois 1 Kn (0) = n.
n
3. Outra seq
uencia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seq
uencia

n , se x 0, 1 ,
n
2 Kn (x) =

0 , de outra forma,
com n N. Todas as propriedades da definicao 35.1 sao evidentes nesse caso. E interessante notar que, em
contraste com os exemplos anteriores, vale para todo x R que lim 2 Kn (x) = 0.
n
4. Mais uma outra seq

uencia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seq
uencia

n , se x 12 , 1 + 12 ,
n n n
3 Kn (x) =

0 , de outra forma,
interessante notar que, em

com n N. Todas as propriedades da definicao 35.1 sao evidentes nesse caso. E
contraste com os exemplos anteriores, o ponto x = 0 n
ao faz parte do suporte de 3 Kn . Tambem vale aqui que
lim 3 Kn (x) = 0 para todo x R.
n
5. Seq
uencias obtidas por re-escalonamento
R de func
oes de suporte compacto. Seja : R R uma funcao integravel,
cujo suporte seja compacto e tal que (s)ds 6= 0. Seja, para cada n N,
n (nx)
4 Kn (x) := Z .
(s)ds

facil provar que 4 Kn satisfaz as propriedades da definicao 35.1 (faca!). A propriedade (35.8), por exemplo, e
E R . R

satisfeita com K = |(s)|ds (s)ds , a propriedade (35.9) e evidente pela definicao e a propriedade
(35.10) segue do fato de o suporte de 4 Kn ser compacto, sendo igual ao suporte de re-escalonado.por um fator
R
1/n (por exemplo, se supp = [a, b] ent ao supp 4 Kn = [a/n, b/n]). Note que 4 Kn (0) = n(0) (s)ds .
Portanto, 4 Kn (0) pode ser positivo e ou negativo (ou ate mesmo nulo!). Note que o suporte de n ao precisa
necessariamente conter o ponto x = 0!. Esse exemplo generaliza o das seq
uencias 1 Kn e 2 Kn , acima.
6. Seq
uencias obtidas por re-escalonamento de func oes de Schwartz. RSeja f : R R com f S (R) (para a definicao

das funcoes de Schwartz, vide Secao 36.1, p
agina 1733) e tal que f (s)ds 6= 0. Seja, para cada n N,
n f (nx)
5 Kn (x) := Z .
f (s)ds

.R
facil provar que 5 Kn satisfaz as propriedades da definicao 35.1 (Exerccio!). Note que 5 Kn (0) = nf (0)
E f (s)ds .
Portanto, como no caso da seq uencia 4 Kn , o valor de 5 Kn (0) pode ser positivo e ou negativo ou ate mesmo nulo.
2
O caso da seq uencia Gaussiana gn , acima, e o caso particular onde f (x) = ex S (R).
atica Vers
Aproximando fun
co
es atrav
es de seq
uencias delta de Dirac
O fato importante sobre as seq
uencias delta de Dirac e o seguinte teorema:
Teorema 35.1 Seja f : R C uma func
ao satisfazendo as seguintes condic
oes:
1. f e uniformemente contnua5 em todo R, ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre
que |z z | ().
2. f e limitada em todo R, ou seja, sup{|f (x)|, x R} < .
Seja Kn uma seq

uencia delta de Dirac centrada em 0 em R. Defina-se, para cada n N,
Z Z
Fn (x) := Kn (y)f (x y) dy = Kn (x y)f (y) dy .

Ent
ao, a seq
uencia Fn e uma seq
uencia de func
oes uniformemente contnuas e converge uniformemente a f em R:

lim kf Fn k = lim sup |f (x) Fn (x)| = 0 .
n n xR
Antes de provarmos o teorema, facamos alguns coment arios. A condicao de continuidade uniforme implica, evidente-
mente, a continuidade da funcao f . Uma condicao suficiente para que f seja uniformemente contnua e que f satisfaca
a condic older6 : existem constantes C1 > 0 e > 0 tais que para todos x e y R vale
ao de H
|f (x) f (y)| C1 |x y| . (35.16)

1
Dela estabelece-se facilmente a continuidade uniforme tomando () = (C1 )1 . E u
til mencionar que se f for dife-

renci
avel em todo R e f for limitada, ou seja, sup{|f (x)|, x R} < , ent ao f satisfaz a condicao de H
older (35.16)
com = 1 (nesse caso, f e dita ser Lipschitz7 -contnua). De fato, nesse caso, para x y, arbitrarios, vale
Z x Z x n o

|f (x) f (y)|
f (s) ds |f (s)| ds sup |f (s)|, s R |x x | ,
y y
older (35.16) com = 1 e C1 = sup{|f (s)|, s

desigualdade essa tambem valida se x y. Portanto, vale a condicao de H
R}. Com isso vemos que as funcoes do espaco de Schwartz S (R) (vide Secao 36.1, p agina 1733) satisfazem as hipoteses
do Teorema 35.1.
Para certas seq
uencias delta de Dirac especficas e possvel enfraquecer algumas restricoes sobre as funcoes f menci-
onadas no Teorema 35.1, eventualmente com perda da uniformidade da convergencia da seq uencia Fn à funcao f . Por
exemplo, para a sequencia de funcoes Gaussianas de (36.122) (que formam uma seq uencias delta de Dirac, como veremos
mais adiante) a restricao que f seja limitada pode ser substituda pela restricao de que f n ao cresca mais rapido no
infinito do que algum polinomio. Nesse caso Fn ainda convergira (eventualmente de forma n ao-uniforme) à f . Deixamos
a prova dessa afirmacao como exerccio ao leitor.
Prova do Teorema 35.1. Observemos primeiramente que, como f e limitada, definindo C0 := sup{|f (x)|, x R}, teremos
Z Z Z
(35.8)
K n (y)f (x y) dy |K n (y)| |f (x y)| dy C0 |Kn (y)| dy C0 K .

Isso mostra que as integrais que definem as funcoes Fn est

ao bem definidas.
Que cada Fn e uniformemente contnua 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, ent
ao > 0 e x, x R
5A noca
o de continuidade uniforme de funco
es em espacos m
etricos
e tratada com mais detalhe na p
agina 1469 e seguintes.
6 Otto Ludwig Holder (18591937).
7 Rudolf Otto Sigismund Lipschitz (18321903).
atica Vers
quaisquer tais que |x x | < (). Teremos,
Z Z

|Fn (x) Fn (x )| =

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

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

Z (35.8)
|Kn (y)| dy 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 (35.9),
Z
f (x) Fn (x) = f (x) f (x y) Kn (y) dy .

Para cada > 0 podemos quebrar a u ltima integral em tres intervalos:

Z Z Z

f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy (35.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 = ()
Z Z

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

Z Z (35.8)
|Kn (y)| dy |Kn (y)| dy K .

Passemos agora às integrais I e III. Como f e limitada, vale para a integral I,
Z Z Z

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

e, analogamente, para a integral III,

Z Z

f (x) f (x y) Kn (y) dy 2C0 |Kn (y)| dy ,

Logo, por (35.10), podemos obter

Z Z

f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy

escolhendo n grande o suficiente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as
integrais I, II e III conclumos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, kf Fn k =
sup{kf (x) Fn (x)k, x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrario a demonstracao est a
completa.
E. 35.2 Exerccio (f
acil). Seja 1 Kn a sequencia delta de Dirac definida em (35.15) e seja f (x) = sen (x). Mostre que
Z 1

1 1 (35.69) sen 2n
Fn (x) := K
1 n (x y) sen (y) dy = n cos x cos x + = sen (x) 1 .
2n 2n 2n
Usando o fato bem-conhecido que lim0 sen

= 1, mostre explicitamente que essa sequencia de funcoes Fn converge
uniformemente em R à funcao seno quando n . 6
atica Vers
Generaliza
c
ao para mais dimens
oes
As ideias de acima podem ser facilmente estendidas para mais dimensoes.
Defini
c
ao 35.2 (Seq encias delta de Dirac em Rm ) Uma seq
u oes Kn : Rm R, n N, e dita ser
uencia de func
m m
uma sequencia delta de Dirac em R centrada em 0 R se satisfizer
Z
1. Para cada n N, a func ao Kn e integr
avel, ou seja, |Kn (x)| dm x < .
Rm

Z
|Kn (x)| dm x K . (35.18)
Rm

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

lim |Kn (x)| dm x = 0 , (35.20)
n Rm \B
onde B := {x Rm , kxk < } e a bola aberta de raio > 0 centrada em 0 Rm .

Teorema 35.2 Seja f : Rm C uma func
ao satisfazendo as seguintes condic
oes:
1. f e uniformemente contnua em todo Rm , ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre
que kz z k ().
2. f e limitada em todo Rm , ou seja, sup{|f (x)|, x Rm } < .
uencia delta de Dirac centrada em 0 em Rm . Defina-se, para cada n N,

Seja Kn uma seq
Z Z
Fn (x) := Kn (y)f (x y) dm y = Kn (x y)f (y) dm y .
Rm Rm
Ent
ao, a seq
uencia Fn e uma seq oes uniformemente contnuas e converge uniformemente a f em Rm :
uencia de func

n n xRm
Prova do Teorema 35.2. Observemos primeiramente que, como f e limitada, definindo C0 := sup{|f (x)|, x Rm },
teremos Z Z Z
(35.18)
K (y)f (x y) dm
y |K (y)| |f (x y)| dm
y C |Kn (y)| dm y C0 K .
m n m
n 0
m
R R R
ao bem definidas.
Que cada Fn e uniformemente contnua 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 kz z k < (). Seja, ent
ao > 0 e x, x Rm

quaisquer tais que kx x k < (). Teremos,
Z Z

|Fn (x) Fn (x )| = Kn (y) f (x y) f (x y) dm y |Kn (y)| f (x y) f (x y) dm y
Rm Rm
Z (35.18)
|Kn (y)| dm y K ,
Rm
atica Vers
pois k(x y) (x y)k = kx x k < (). Como isso vale para todo > 0 e () independe de x, estabeleceu-se a
continuidade uniforme de Fn .
Z

f (x) Fn (x) = f (x) f (x y) Kn (y) dm y .
Rm
Para cada > 0 podemos quebrar a ultima integral em duas regioes:

Z Z

f (x) f (x y) Kn (y) dm y + f (x) f (x y) Kn (y) dm y (35.21)
Rm \B B
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 kyk () e, portanto, escolhendo = ()
Z Z

f (x) f (x y) K n (y) dm
y f (x) f (x y) |Kn (y)| dm y

B B
Z Z (35.18)
|Kn (y)| dm y |Kn (y)| dm y K .
B B
Passemos agora à integral I. Como f e limitada, vale para a integral I,

Z Z Z

m f (x) f (x y) |Kn (y)| dm y 2C0
f (x) f (x y) Kn (y) d y |Kn (y)| dm y .
Rm \B Rm \B Rm \B

Z

m
f (x) f (x y) Kn (y) d y
Rm \B
integrais I e II conclumos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, kf Fn k =
sup{kf (x) Fn (x)k, x Rm } (2 + K) para n > N (). Como isso vale para > 0 arbitrario a demonstracao est
a
completa.
35.3 Aproxima
cao de Fun
coes por Polin
omios
35.3.1 O Teorema de Weierstrass
Um dos teoremas fundamentais da Analise e o chamado Teorema de Weierstrass8 que afirma que toda funcao contnua
definida em um intervalo fechado e limitado [a, b] da reta real pode ser uniformemente aproximada nesse intervalo por
polinomios, ou seja, para todo > 0 podemos encontrar um polinomio p tal que |p (x) f (x)| para todo x [a, b].
Neste texto, fazemos uso desse importante teorema em diversas ocasioes. Para futura referencia enunciamos o teorema
da seguinte forma:
Teorema 35.3 (Teorema de Weierstrass) Seja f uma func ao real ou complexa, contnua em um intervalo fechado
e limitado [a, b] R. Ent
ao, f pode ser aproximada uniformemente por polinomios nesse intervalo, ou seja, para todo
> 0 existe um polin
omio p tal que kp f k = sup |p (x) f (x)| . 2
x[a, b]
8 Karl Theodor Wilhelm Weierstra (18151897). O Teorema de Weierstrass data de 1885. A refer
encia original pode ser encontrada em
[51].
atica Vers
H a in
umeras demonstracoes do Teorema 35.3 na literatura. No Apendice 35.A, p
agina 1726, apresentamos uma prova
usando os chamados aproximantes de Bernstein, dados, para uma funcao contnua f , definida no intervalo [0, 1], pelos
polinomios de grau n
Xn p n
[n]
bf (x) := f xp (1 x)np
p=0
n p
" k #
n
X X p nn p
kp
= (1) f xk . (35.22)
p=0
n p n k
k=0
O estudante pode interessar-se em saber que os aproximantes de Bernstein para funcoes contnuas e os polinomios de
Bernstein (que definiremos no Apendice 35.A, p agina 1726) est ao intimamente ligados às curvas de Bezier9 e às splines
de Bezier, de ampla aplicacao atual em Computacao Grafica (as fontes que produziram as letras que o caro leitor le neste
mesmo momento foram geradas com tais curvas).
No Apendice 35.B, pagina 1730, apresentamos outra demonstracao instrutiva do Teorema 35.3 e que segue as ideias
originais de Weierstrass. Tambem muito interessante e a demonstracao encontrada em [79], talvez a mais elementar, e
que aparentemente e devida a Lebesgue10 . Vide tambem [269]. Na referencia [143] diversas demonstracoes do Teorema
35.3 podem ser encontradas.
Como discutiremos na Proposicao 35.8, p agina 1692, o Teorema de Weierstrass e equivalente a um outro Teorema
importante, o Teorema de Fejer (Teorema 35.9, p agina 1691), o qual e fundamental para a Teoria das Series de Fourier
e afirma que funcoes contnuas e periodicas podem ser aproximadas uniformemente por polinomios trigonometricos.
Muito importante tambem e o fato de o Teorema 35.3 poder ser generalizado ainda mais, a saber, de intervalos
compactos da reta como [a, b] R para subconjuntos compactos da reta (como os conjuntos de Cantor, discutidos
na Secao 29.3, p
agina 1339). Esse e o conte
udo do Teorema 35.18, p agina 1711 o qual e conseq
uencia do importante
Teorema de Stone-Weierstrass, Teorema 35.16, p agina 1707, que tambem generaliza fortemente o Teorema 35.3. A Secao
35.5, pagina 1707, e dedicada ao Teorema de Stone-Weierstrass e suas algumas de suas consequencias.
O Teorema 35.3 tambem e valido para funcoes contnuas de varias variaveis. Vide Teorema 35.5, p
agina 1674.
No que segue, iremos provar uma forma mais forte do Teorema 35.3, a saber:
Teorema 35.4 (Teorema de Weierstrass) Seja f uma func ao real ou complexa, contnua em um intervalo fechado
[a, b] R e tal que suas k primeiras derivadas existam e sejam contnuas nesse intervalo. Ent
ao, f pode ser aproximada
uniformemente por polin omios nesse intervalo e suas k primeiras derivadas podem ser aproximadas uniformemente pelas
derivadas desses polinomios, ou seja, para todo > 0 existe um polinomio p tal que

(l)
p f (l) = sup |p(l) (l)
(x) f (x)|
x[a, b]
para todo 0 l k. 2
Como o leitor pode perceber essa generalizacao do Teorema 35.3 afirma que nao apenas e possvel aproximar unifor-
memente funcoes contnuas em intervalos compactos por polinomios mas, no caso de a funcao ser k vezes diferenci
avel, e
possvel encontrar aproximantes polinomiais cujas k primeiras derivadas tambem aproximam uniformemente as respec-
tivas derivadas da funcao a ser aproximada.
Adiante, apresentaremos uma prova do teorema mais geral, Teorema 35.4. Seguiremos muito proximamente a demons-
tracao apresentada em [51], demonstracao essa aparentemente devida a Landau11 mas, para a facilidade do estudante,
acrescentaremos alguns detalhes12 .
Antes de iniciarmos a prova do Teorema 35.4 precisamos fazer um coment
ario sobre um fato que usaremos a respeito
de extensoes contnuas de funcoes.
9 Pierre
Etienne Bezier (19101999).
10 Henri Leon Lebesgue (18751941).
11 Edmund Georg Hermann Landau (18771938).
12 Nossa prova e tambem ligeiramente mais precisa que a de [51], pois l
a o par
ametro (vide abaixo)
e tomado na forma 0 < < 1 mas,
para evitar problemas em certos limites de integraca
o, o correto
e tom
a-lo como faremos adiante.
atica Vers
Certas extens
oes contnuas de fun
co
es
Seja f uma funcao contnua definida em um intervalo fechado limitado [a, b] assumindo valores reais ou complexos
e que tenha suas k primeiras derivadas igualmente contnuas nesse intervalo. Seja um intervalo fechado limitado [, ]
que contem [a, b] no seu interior, ou seja, com < < a < b < < . Ent ao, existe pelo menos uma funcao f
definida em [, ] com as seguintes propriedades:
1. f coincide com f no intervalo [a, b].

2. f e suas k primeiras derivadas sao contnuas em [, ].
3. f e suas k primeiras derivadas anulam-se nos extremos e do intervalo [, ].
A funcao f e, assim, uma extensao de contnua de f ao intervalo [, ] cujas k primeiras derivadas sao extensoes
contnuas das respectivas k primeiras derivadas de f ao intervalo [, ]. Alem disso, f e suas k primeiras derivadas
anulam-se nos extremos do intervalo [, ] em que est ao definidas.
Ha infinitas funcoes f com tais propriedades. Uma maneira de construir uma tal funcao e escolhe-la de modo que
seja identica a f no intervalo [a, b], seja infinitamente diferenci avel nos intervalos [, a) e (b, ] mas de modo que
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 35.1 Uma possvel escolha de uma funcao f com as propriedades acima e a seguinte:

f (x) , axb

!

k
X f (k) (a) l
f(x) = (x a) F, a (x) , x<a ,
l!

l=0

!

X k

f (k) (b) l

(x b) (1 Fb, (x)) , b<x
l!
l=0
onde, para u < v, a funcao Fu, v : [u, v] [0, 1] e definida por

Z x
1 1 1
Fu, v (x) := exp dy , u x v,
Nu, v u (y u)2 (y v)2
Nu, v sendo a constante de normalizacao

Z v
1 1
Nu, v := exp dy .
u (y u)2 (y v)2
Essa funcao Fu, v e contnua, estritamente crescente, infinitamente diferenci

avel no intervalo u < x < v e satisfaz
(l) (l)
lim Fu, v (x) = 0, lim Fu, v (x) = 1, e lim Fu, v (x) = lim Fu, v (x) = 0, l1.
xu xv xu xv
Com isso, e facil ver que f satisfaz as propriedades requeridas: e contnua e k-vezes diferenci
avel em [, ] e satisfaz
f() = 0 = f() , f(l) () = 0 = f(l) () , l 1 ,
(35.23)
f(l) (a) = f (l) (a) e f(l) (b) = f (l) (b) , 0lk ,
alem de, obviamente, ser uma extensao de f .

atica Vers
E. 35.3 Exerccio. Verifique as afirmacoes feitas acima. 6
Para o que segue, a forma especfica de f, como aquela do exemplo acima, n

ao sera relevante, apenas suas propriedades.
Prova do Teorema de Weierstrass, Teorema 35.4

Daqui por diante, consideraremos sem perda de generalidade que [a, b] (0, 1), ou seja, tomamos 0 < a b < 1,
e consideraremos f uma extensao de f a todo o intervalo [0, 1] com as propriedades acima (adotando = 0 e = 1).
Com uma tal funcao podemos definir os polinomios
Z 1
1 n
pn (x) := f(u) 1 (u x)2 du (35.24)
2Dn (0) 0
com x [a, b], onde, para [0, 1], definimos

Z 1 n
Dn () := 1 v 2 dv .

A expressao Dn (0) pode ser calculada explicitamente repetindo-se o procedimento de integracao por partes (vide (15.69),
p
agina 681) e tem-se
(2n)!!
Dn (0) = , (35.25)
(2n + 1)!!
mas nao faremos uso dessa expressao aqui. Uma outra prova de (35.25), por uma mudanca de variaveis e com uso do
bin
omio de Newton, pode ser encontrada em (35.75), p agina 1691.

2 n
1x
A seq
uencia de funcoes Kn (x) = , definidas no intervalo [1, 1], n
ao forma exatamente uma seq uencia
2Dn (0)
delta de Dirac como na Definicao 35.1, pagina 1663, mas a demonstracao que segue e muito proxima à do Teorema 35.1,
p
agina 1666.
Os pn sao claramente polinomios de grau menor ou igual a 2n. Como veremos, esses polinomios aproximam f com
as propriedades requeridas. Para mostrar isso, fixemos x [a, b] e comecemos observando que
Z 1 Z 1x
1 n v=ux 1 n
pn (x) = f(u) 1 (u x)2 du = f(v + x) 1 v 2 dv = A1 + A2 + A3 ,
2Dn (0) 0 2Dn (0) x
com Z Z
n n
1 1
A1 := f(v + x) 1 v 2 dv, A2 := f(v + x) 1 v 2 dv ,
2Dn (0) x 2Dn (0)
(35.26)
Z 1x
1 n
A3 := f(v + x) 1 v 2 dv ,
2Dn (0)
onde satisfaz 0 < < min{a, 1 b} e sera convenientemente fixado mais adiante13 . Vamos tratar de estimar cada
uma das tres expressoes Aj acima. Como f e contnua
no intervalo [0, 1], seu modulo assume um valor maximo, que

denotaremos por F , ou seja, em smbolos, F := sup f(x). Com isso podemos escrever que
x[0, 1]
Z 1x Z 1x
1 n F n
|A3 | |f(v + x)| 1 v 2 dv 1 v2 dv
2Dn (0) 2Dn (0)
Z 1
F n Dn ()
1 v2 dv = F , (35.27)
2Dn (0) 2Dn (0)
13 Como 0 < < min{a, 1 b} e x [a, b], segue que > x e < 1 x. Assim, os tr
es intervalos de integraca
o em (35.26) s
ao crescentes.
atica Vers
onde, na u
ltima desigualdade, usamos que 1 x 1. De forma totalmente analoga, prova-se que vale tambem
Dn ()
|A1 | F . (35.28)
2Dn (0)
O termo A2 pode ser manipulado da seguinte forma. Usando a identidade

R R
2 n
2 n
Dn (0) 0 1v dv + Dn () 1 v dv + 2Dn ()
1 = = = ,
Dn (0) Dn (0) 2Dn (0)
escrevemos
Z
1 n
A2 := f(x) f(x) 1 + f(v + x) 1 v 2 dv
2Dn (0)
Z
Dn () 1 n
= f(x) f(x) + f(v + x) f(x) 1 v 2 dv .
Dn (0) 2Dn (0)
De (35.27), (35.28) e (35.29) extramos, assim, que para x [a, b],

Z
F Dn () Dn () 1

n
|pn (x) f(x)| + f (x) + f (v + x) f(x) 1 v 2 dv .
Dn (0) Dn (0) 2Dn (0)

Como x [a, b], podemos substituir f por f no lado esquerdo. Fora isso, f(x) F e, assim, chegamos a
Z
Dn () 1 n
|pn (x) f (x)| 2F + f (v + x) f(x) 1 v 2 dv .
Dn (0) 2Dn (0)
Observemos neste ponto que uma funcao que seja contnua em um intervalo compacto, como f, e uniformemente
contnua nesse intervalo (Teorema 32.12, p
agina 1470). Assim, para cada
> 0 dado podemos encontrar um > 0,
pequeno o suficiente e independente de x de forma que f(v + x) f(x) < desde que |v| < . Temos, portanto,
Z
Dn () n
|pn (x) f (x)| 2F + 1 v 2 dv
Dn (0) 2Dn (0)
Z
Dn () n
= 2F + 1 v2 dv
Dn (0) Dn (0) 0
Dn ()
= 2F + (Dn (0) Dn ())
Dn (0) Dn (0)
Dn ()
= (2F ) +
Dn (0)
Dn ()
2F +.
Dn (0)
Para fechar a demonstracao dessa parte, precisamos agora mostrar que para qualquer fixo com 0 < 1 a raz
ao
Dn ()/Dn (0) pode ser feita t ao pequena quanto se queira, fazendo-se n crescer. Como em [51], notamos que para
v [0, 1] vale v 2 < v. Assim,
Z 1 Z 1
2 n 1
Dn (0) = (1 v ) dv (1 v)n dv = ,
0 0 n + 1
calculando explicitamente a u
ltima integral. Paralelamente,
Z 1 Z 1
Dn (0) = (1 v 2 )n dv (1 2 )n dv = (1 2 )n (1 ) (1 2 )n

atica Vers
e, portanto,
Dn ()
(n + 1)(1 2 )n . (35.29)
Dn (0)
Como 0 < 1 2 < 1, o limite para n do lado direito, acima, e zero. Assim, conclumos que para n grande o
suficiente, independente de x, tem-se |pn (x) f (x)| 2. Isso estabelece que a seq
uencia de polinomios pn converge
uniformemente a f no intervalo [a, b]. Com isso provou-se o Teorema 35.3.
(l)
Vamos provar agora que para cada l com 1 l k as derivadas pn tambem convergem uniformemente às derivadas
(l)
f quando n . Notemos que, pela definicao de pn ,
Z 1
1 l n
p(l)
n (x) = f(u) l 1 (u x)2 du .
2Dn (0) 0 x
n
Agora, devido ao fato de a funcao 1 (u x)2 ser simetrica pela troca u x, vale
l
2 n l
l n
l
1 (u x) = (1) l
1 (u x)2 .
x u
Assim,
Z 1
(1)l l n
p(l)
n (x) = f(u) l 1 (u x)2 du
2Dn (0) 0 u
Z
l1 n u=1 (1)l1 1 (1) l1 n
(1)l f(u) l1 1 (u x)2 f (u) l1 1 (u x)2 du .
int. por partes
= +
u u=0 2Dn (0) 0 u
| {z }
= 0 , pois f(0)=f(1)=0
Repetindo-se l vezes o processo de integracao por partes e usando o fato que f e suas derivadas anulam-se em 0 e em 1,
por construcao, obtemos, Z 1
1 n
p(l)
n (x) = f(l) (u) 1 (u x)2 du .
2Dn (0) 0
(l)
Ja vimos, porem, que essa igualdade implica que pn converge uniformemente a f(l) no intervalo [a, b] para n . Isso
completa a prova do Teorema de Weierstrass, Teorema 35.4.
O Teorema de Weierstrass em v
arias vari
aveis
angulos compactos em Rm (em verdade,
O Teorema 35.4 pode ser estendido para funcoes contnuas definidas em ret
m
em qualquer conjunto compacto em R ). Faremos uso desse fato mais adiante. A demonstracao e muito semelhante à
do Teorema 35.4 mas ha algumas passagens delicadas e, por isso, reproduzimos a demonstracao com certo detalhe.
Teorema 35.5 (Teorema de Weierstrass) Seja f : Rm C uma func ao real ou complexa, contnua em um ret
angulo
fechado R := [a1 , b1 ] [am , bm ] Rm e tal que suas K primeiras derivadas parciais existam e sejam contnuas nesse
ret
angulo. Entao, f pode ser aproximada uniformemente por polin omios nesse ret angulo e suas K primeiras derivadas
parciais podem ser aproximadas uniformemente pelas derivadas desses polin omios, ou seja, para todo > 0 existe um
polin
omio p tal que para todo n-multi-ndice com 0 || K vale
kD p D f k = sup |D p (x) D f (x)| .

xR
Prova. Daqui por diante, consideraremos sem perda de generalidade que R := [a1 , b1 ] [am , bm ] (0, 1)m , ou
seja, tomamos 0 < ak bk < 1 para cada k, e consideraremos f uma extensao de f a todo o ret angulo [0, 1]m com a
m
propriedade de anular-se junto com suas K primeiras derivadas parciais na fronteira de [0, 1] .
atica Vers
Generalizando (35.24), definimos os polinomios em m variaveis

Z 1 Z 1 m
Y n
f(u1 , . . . , um ) 1 (uk xk )2 du1 dum
0 0 k=1
pn (x1 , . . . , xm ) :=
2m Dn (0)m
Z Z m
1x1 1xm Y n
f v1 + x1 , . . . , vm + xm 1 vk2 dv1 dvm
x1 xm k=1
= (35.30)
2m Dn (0)m
com Dn definido como na prova do Teorema 35.4, com (x1 , . . . , xm ) R, onde na segunda linha fizemos a obvia
mudanca de variaveis vk = uk xk para todo k.
n o
Tomando um > 0 pequeno o suficiente ( < min a1 , . . . , am , 1 b1 , . . . , 1 bm ), a ser precisado adiante,
podemos escrever a ultima expressao em (35.30) na forma A1 + A2 onde
Z Z n
2 n
f v1 + x1 , . . . , vm + xm 1 v12 1 vm dv1 dvm

A2 =
2m Dn (0)m

e A2 e a mesma integral, mas no conjunto complementar R = [x1 , 1 x1 ] [xm , 1 xm ] \ [, ]m . A integral
A1 pode ser majorada por Z
n
2 n
1 v12 1 vm dv1 dvm
A1 F R ,
2m Dn (0)m
onde F := sup |f(x)|. A integral em R pode ser quebrada como soma de produtos de integrais unidimensionais,
x[0, 1]m
algumas da forma
R 1xk n R xk n R 1x n R1 n
xk
1 vk2 dvk 0 1 vk2 dvk + 0 k 1 vk2 dvk 2 0 1 vk2 dvk
= = 1
2Dn (0) 2Dn (0) 2Dn (0)
1xk xk n n
[1vk2 ] dvk [1vk2 ] dvk
R R
Dn ()
e sempre ocorrera ao um fator da forma 2Dn (0) ou 2Dn (0) as quais podem ser estimadas por 2Dn (0) ,
como provamos na demonstracao do Teorema 35.4, acima (vide (35.27)). Assim,
Dn () (35.29) n
A1 KF KF (n + 1) 1 2
2Dn (0)
sendo K uma constante dependente apenas da dimensao m.

O termo A2 pode ser manipulado analogamente à demonstracao do Teorema 35.4.
Z Z m
Y n
f v1 + x1 , . . . , vm + xm 1 vk2 dv1 dvm
k=1
A2 =
2m Dn (0)m
m
Dn ()
= f x1 , . . . , xm 1
Dn (0)
Z Z
Y
m
n
f v1 + x1 , . . . , vm + xm f x1 , . . . , xm 1 vk2 dv1 dvm
k=1
+ . (35.31)
2m Dn (0)m
atica Vers
Dn ()
Por (35.29), sabemos que Dn (0) 0 para n e, portanto, para qualquer > 0 podemos achar n grande o suficiente
para que tenhamos m

f x1 , . . . , xm f x1 , . . . , xm 1 Dn () .
Dn (0)
Uma funcao que seja contnua em um conjunto compacto, como f, e uniformemente contnua nesse intervalo (Teorema
32.12, p
agina 1470). Assim, para cada > 0 dado podemos encontrar um > 0, pequeno o suficiente e independente de x

de forma que f v1 + x1 , . . . , vm + xm f x1 , . . . , xm < desde que |vk | < para todo k. Assim, a integral do lado
m
Dn ()
direito de (35.31) pode ser majorada por 1 D n (0)
.
Conclumos disso que
n

pn (x1 , . . . , xm ) f x1 , . . . , xm KF (n + 1) 1 2 + 2 .
Como |1 | < 1, isso completa a demonstracao de que f e uniformemente aproxim

avel por polinomios.
Vamos provar agora que para cada n-multi-ndice , com 1 || K, as derivadas D pn tambem convergem
uniformemente às derivadas D f quando n . Notemos que, pela definicao de pn ,
Z 1 Z 1 n
!
Y n
f(u1 , . . . , um )Dx

1 (uk xk )2
du1 dum
0 0 k=1
D pn (x1 , . . . , xm ) =
2m Dn (0)m
n
Agora, devido ao fato de a funcao 1 (u x)2 ser simetrica pela troca u x, vale
n
Y n
Y
n n
Dx 1 (uk xk )2 = (1)|| Du 1 (uk xk )2 .
k=1 k=1
Assim,
Z 1 Z 1 n
Y
(1)|| n
D pn (x1 , . . . , xm ) = f(u1 , . . . , um )Du 1 (uk xk )2 du1 dum .
2 Dn (0)m
m
0 0 k=1
Repetindo-se || vezes o processo de integracao por partes e usando o fato que f e suas derivadas anulam-se nas fronteiras
da integral m
ultipla acima, obtemos,
Z 1 Z 1 n
Y
1
n
D pn (x1 , . . . , xm ) = m m
D u f (u 1 , . . . , u m ) 1 (uk xk )2 du1 dum .
2 Dn (0) 0 0 k=1
Ja vimos, porem, que essa igualdade implica que D pn converge uniformemente a D pn f no intervalo [a, b] para n .
Isso completa a prova do Teorema de Weierstrass, Teorema 35.5.
35.3.2 O Teorema de Taylor

Nesta secao apresentaremos o Teorema de Taylor, um dos teoremas b asicos do Calculo Diferencial, o qual enuncia
condicoes que permitem aproximar certas funcoes infinitamente diferenci aveis por series de potencia absoluta e unifor-
memente convergentes em intervalos limitados da reta real. Se a funcao que estamos interessados em aproximar n ao for
infinitamente diferenci
avel ou nao satisfizer as condicoes enunciadas abaixo, tem-se como alternativa o Teorema de Wei-
erstrass, que garante a possibilidade de se obter uma aproximacao uniforme por polinomios. O Teorema de Weierstrass e
estudado na Secao 35.3.1, p
agina 1669. A demonstracao do Teorema de Taylor segue de um simples raciocnio iterativo
que ora iniciamos.
Seja f : R C uma funcao K-vezes diferenci
avel, com K > 0. Pelo Teorema Fundamental do Calculo podemos
escrever Z x
f (x) = f (x0 ) + f (s1 ) ds1 , (35.32)
x0
atica Vers
Z s1
para todos x e x0 R. Para K > 1 vale tambem para f (s1 ) a mesma relacao f (s1 ) = f (x0 ) + f (s2 ) ds2 . Da,
x0
temos
Z x Z s1

f (x) = f (x0 ) + (x x0 )f (x0 ) + f (s2 ) ds2 ds1
x0 x0
Z x
= f (x0 ) + (x x0 )f (x0 ) + (x t)f (t) dt , (35.33)
x0
pois, invertendo a ordem das integrais,

Z x Z s1 Z x Z x Z x

f (s2 ) ds2 ds1 = f (s2 ) ds1 ds2 = (x s2 )f (s2 ) ds2 .
x0 x0 x0 s2 x0
Usando inducao, esse resultado pode ser generalizado, conduzindo ao seguinte teorema:
Teorema 35.6 (Teorema de Taylor) Se f : R C e uma func
ao K vezes diferenci
avel (K 1) em um domnio
conexo R, ent
ao para todo N < K vale
N
X Z x
(x x0 )a (a) (x t)N (N +1)
f (x) = f (x0 ) + f (t) dt , (35.34)
a=0
a! x0 N!
para todos x e x0 . Essa express

ao pode ser reescrita na forma
N
X Z 1
(x x0 )a (a) (x x0 )N +1
f (x) = f (x0 ) + (1 s)N f (N +1) x0 + s(x x0 ) ds . (35.35)
a=0
a! N! 0
As relac
oes (35.34) e (35.35) s
ao denominadas identidades de Taylor. Os polin
omios
N
X (x x0 )a
TN [f ](x, x0 ) = f (a) (x0 )
a=0
a!
s
ao denominados polinomios de Taylor de ordem N centrados em x0 da func ao f e a express ao
Z x Z
(x t)N (N +1) (x x0 )N +1 1
RN [f ](x, x0 ) = f (t) dt = (1 s)N f (N +1) x0 + s(x x0 ) ds
x0 N! N! 0
e denominada resto da expansao de Taylor de f , ou formula do resto da expansao de Taylor de f .

Suponhamos agora que f seja infinitamente diferenci
avel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ],
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

(k)
f (y) M C k k! . (35.36)
Ent
ao, para todo x I(x0 , ) tem-se

X (x x0 )a
f (x) = f (a) (x0 ) , (35.37)
a=0
a!
sendo que a serie do lado direito converge absoluta e uniformemente em I(x0 , ). A serie (35.37) e denominada serie
de Taylor real de f centrada em x0 . 2
As origens do Teorema 35.6 remontam aos trabalhos de Taylor14 nos prim ordios do Calculo Diferencial e Integral.
Taylor descobriu a serie que leva seu nome entre 1712 e 1715, mas a importancia desse resultado so foi reconhecida por
Lagrange15 em 1772. A expressao serie de Taylor para designar a expansao (35.37) data de 1786, tendo sido cunhada
14 Brook Taylor (16851731).
15 Joseph-Louis Lagrange (17361813).
atica Vers
por Lhuilier16 . Series de Taylor para funcoes especficas (como a funcao arco-tangente) eram conhecidas antes de Taylor.
Sua contribuicao foi a de ter encontrado uma expansao valida para uma grande classe de funcoes. Taylor, um discpulo
de Newton17 , inventou tambem o metodo de integracao por partes, entre outras contribuicoes seminais.
Prova do Teorema 35.6. Ja provamos essa afirmacao para K = 1 (relacao (35.32)) e para o caso K > 1 ja tratamos o caso
N = 0 e N = 1 (relacoes (35.33) e (35.32)). Para efetuarmos a prova por inducao, suponhamos que a relacao
M
X Z x
(x x0 )a (x s1 )M (M+1)
f (x) = f (a) (x0 ) + f (s1 ) ds1
a=0
a! x0 M!
Z s1
valha para todo M com M < K 1. Como f (M+1) (s1 ) = f (M+1) (x0 ) + f (M+2) (s2 ) ds2 , obtemos
x0
M
X Z x Z x Z s1
(x x0 )a (a) (x s1 )M (M+1) (x s1 )M (M+2)
f (x) = f (x0 ) + ds1 f (x0 ) + f (s2 ) ds2 ds1
a=0
a! x0 M! x0 M! x0
M
X Z x Z s1
(x x0 )a (x x0 )M+1 (M+1) (x s1 )M
= f (a) (x0 ) + f (x0 ) + f (M+2) (s2 ) ds2 ds1
a=0
a! (M + 1)! x0 M! x0
M+1
X Z x Z s1
(x x0 )a (a) (x s1 )M
= f (x0 ) + f (M+2) (s2 ) ds2 ds1
a=0
a! x0 M! x0
M+1
X Z x Z x
(x x0 )a (a) (x s1 )M
= f (x0 ) + ds1 f (M+2) (s2 ) ds2
a=0
a! x0 s2 M!
M+1
X Z x
(x x0 )a (a) (x s2 )M+1 (M+2)
= f (x0 ) + f (s2 ) ds2 ,
a=0
a! x0 (M + 1)!
sendo que na passagem da terceira para a quarta linha trocamos a ordem das integracoes. Isso prova, por inducao, a
validade de (35.34) para todo N < K.
Escrevamos agora t = x0 + s(x x0 ) na integral de (35.34). Ficamos com x t = (x x0 )(1 s), dt = (x x0 )ds e
obtemos, Z x Z
(x t)N (N +1) (x x0 )N +1 1
f (t) dt = (1 s)N f (N +1) x0 + s(x x0 ) ds .
x0 N ! N ! 0
Isso provou (35.35).

Suponhamos agora que f seja infinitamente diferenci
avel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ],
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

(k)
f (y) M C k k! .
Teremos,
Z 1 Z 1

(1 s)N f (N +1) x0 + s(x x0 ) ds M C N +1 (N + 1)! N C N +1 (N + 1)!
(1 s) ds M .
0 N +1 0
Logo, para x I(x0 , ), ou seja, para |x x0 | < , tem-se

XN
(x x0 )a (a) |x x0 |N +1 C N +1 (N + 1)! M (C)N +1

f (x) f (x0 ) M 1 .
a! N! (N + 1)
a=0 (N + 1)!
16 Simon Antoine Jean Lhuilier (17501840).
17 Isaac Newton (16431727).
atica Vers
Como 1 > 0, segue que o limite N do lado direito da u ltima expressao e zero, provando (35.37). Como o
lado direito da u
ltima expressao independe de x no intervalo I(x0 , ), a convergencia e uniforme. Que a convergencia
a
e absoluta segue tambem facilmente das mesmas desigualdades de acima pois, pelas hipoteses, (xx a!
0)
f (a)
(x0 )
(C)a
M (a!)1 , que e somavel.
A expans
ao de Taylor da fun
c
ao exponencial
A seguinte proposicao sera usada na discuss
ao sobre a relacao entre o Teorema de Weierstrass e o de Fejer (Proposicao
35.8, p
agina 1692):
Proposic
ao 35.6 A bem-conhecida expans ao f (x) = ex , com C,
ao em serie de Taylor centrada em x0 = 0 da func
X n n
x
dada por ex = , converge uniformemente e absolutamente em cada intervalo [, ] da reta real, com 0.
n=0
n!
ao ex pode ser aproximada
Assim, podemos afirmar que em todo intervalo [, ] da reta real, com 0, a func
uniformemente por uma seq
uencia de polin
omios, a saber, por seus polin
omios de Taylor. 2
Prova. A funcao f (x) = ex com C, constante, e infinitamente diferenci avel e sua k-esima derivada e k ex . Como
f e contnua, ela e limitada em cada intervalo compacto da reta real. No intervalo [, ], 0, temos evidentemente
|ex | e|Re ()| . Assim, a condicao (35.36) e satisfeita em cada intervalo [, ], 0, com M = e|Re ()| , C = || e
= 0. A proposicao segue, portanto, do Teorema de Taylor, Teorema 35.6, p agina 1677.
Alguns casos a se ter em mente

Para uma melhor compreens
ao do Teorema de Taylor e importante estudar alguns casos especiais. Considere-se a
funcao f definida em R por

exp 12 , x 6= 0 ,
x
f (x) =

0, x=0.
E facil verificar que essa funcao e contnua e, mais que isso, que e infinitamente diferenciavel. De fato, em x 6= 0 a
1

n-esima derivada de f e da forma exp x2 vezes um polin
o mio em 1/x (verifique!). Esse polinomio diverge quando
1
x 0 mas o pre-fator exp x2 vai a zero muito mais fortemente. Como conseq uencia, f e todas as suas derivadas
anulam-se em x = 0. Assim, se calcularmos a serie de Taylor (35.37) dessa funcao em x0 = 0 a mesma seria identicamente
nula (!), pois f (n) (0) = 0 para todo n 0. Isso significa que a relacao (35.37) n ao vale para essa funcao se x0 = 0, pois
f e n
ao-nula, mas a serie do lado direito e identicamente nula. O que se passa e que n ao existe para essa funcao nenhum
intervalo I(, 0), ou seja, da forma [, ], > 0, no qual valha a condicao (35.36) para todo k e todo x I(, 0).
Esse exemplo ensina-nos que uma funcao infinitamente diferenciavel pode ter uma serie de Taylor centrada em um
ponto x0 e convergente em uma regi ao em torno de x0 , mas essa serie n ao necessariamente converge à funcao em outros
pontos que nao x0 . Para que a convergencia `
a funcao se de e necessario que sejam validas condicoes como (35.36), que
limitam o crescimento das derivadas da funcao em uma vizinhanca de x0 .
Dois corol
arios u
teis
Os corol
arios seguintes do Teorema de Taylor serao utilizados neste texto.
Corol avel e f (a) (x0 ) = 0 para todo a = 0, . . . , N com N < K, ent
ario 35.1 Se f : R C for K vezes diferenci ao f
tem um zero de ordem N + 1 em x0 e podemos escrever
f (x) = (x x0 )N +1 F (x) ,
onde F e (K N 1)-vezes diferenci

avel. Em particular, se f for uma func
ao infinitamente diferenci
avel, ent
ao F
tambem o ser
a. 2
atica Vers
Prova. As afirmacoes seguem diretamente de (35.35), notando que, pelas hipoteses, podemos diferenciar em x a expressao
Z 1

(1 s)N f (N +1) x0 + s(x x0 ) ds sob o smbolo de integral.
0
Corolario 35.2 Seja f : Rn C uma func ao infinitamente diferenci

avel de n vari
aveis reais x = (x1 , . . . , xn ) e
suponhamos que f (y) = 0 em algum ponto y = y1 , . . . , yn Rn . Entao, podemos escrever
n
X
f (x) = xk yk Fk (x) , (35.38)
k=1
onde as func
oes Fk s
ao infinitamente diferenci
aveis. 2
Prova. Como f (y1 , . . . , yn ) = 0, vale
h i h i
f (x1 , . . . , xn ) = f (x1 , . . . , xn ) f (y1 , x2 , . . . , xn ) + f (y1 , x2 , . . . , xn ) f (y1 , y2 , x3 , . . . , xn )
h i
+ + f (y1 , . . . , yn1 , xn ) f (y1 , . . . , yn ) , (35.39)
ou seja,
n h
X i
f (x1 , . . . , xn ) = f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) . (35.40)
k=1
Para cada k = 1, . . . , n a funcao f (y1 , . . . , yk1 , xk , . . . xn )f (y1 , . . . , yk , xk+1 , . . . xn ) e infinitamente diferenci

avel
como funcao de xk e anula-se em xk = yk . Portanto, pelo Corolario 35.1, podemos escreve-la na forma
f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) = (xk yk )Fk (xk , . . . , xn ) , (35.41)
onde Fk e uma funcao infinitamente diferenci

avel de xk . Como o lado esquerdo e uma funcao infinitamente diferenci
avel
das demais variaveis, Fk tambem o sera. Logo, (35.38) segue de (35.40) e de (35.41).
O Teorema de Taylor e o de Weierstrass

Os seguintes comentarios sobre a relacao entre as afirmativas do Teorema de Weierstrass e do Teorema de Taylor sao
de interesse para o estudante.
Ambos os teoremas estabelecem condicoes para que uma funcao possa ser uniformemente aproximada por polinomios
em intervalos compactos. As hip otese do Teorema de Weierstrass sao, porem, mais fracas, pois nele requer-se apenas
que a funcao a ser aproximada seja contnua, enquanto que no Teorema de Taylor requer-se que a funcao seja contnua
e infinitamente diferenci
avel.

Assim, o Teorema de Weierstrass garante, por exemplo, a possibilidade de se aproximar a funcao f (x) = x 21 por
polinomios uniformemente no intervalo [0, 1], por exemplo, pelos polinomios de Bernstein (vide (35.22))
Xn
p
1 n xp (1 x)np . (35.42)
n 2 p
p=0
Essa funcao f , contudo, n

ao possui uma expansao de Taylor centrada em x0 = 1/2 (pois nao e diferenci
avel nesse ponto)
nem outra expansao de Taylor centrada em outro ponto do mesmo intervalo [0, 1] convergira à funcao em todo intervalo
(a expansao de Taylor de |x 1/2| centrada em, digamos, x0 = 3/4 e 1/4 + (x 3/4) = x 1/2, que so e igual a |x 1/2|
para x 1/2).
Uma diferenca not avel entre os polinomios de Taylor e os polinomios aproximantes cuja existencia o Teorema de
Weierstrass garante, e que os coeficientes dos primeiros sao fixos, n
ao dependendo do grau do polinomio aproximante.
f (k) (0)
O k-esimo coeficiente do polinomio de Taylor de grau N centrado em x0 = 0 de uma funcao f e , que n
ao
k!
atica Vers
depende do grau N do polinomio. Ja os coeficientes dos polinomios aproximantes de Bernstein (35.22) ou dos polinomios
aproximantes de Landau (35.24) dependem em geral de k e de N . O k-esimo coeficiente do polinomio (35.22), por
Pk N p
exemplo, que aproxima uma funcao f no intervalo [0, 1], e dado por p=0 (1)kp f Np Np N k e depende de k e de
N.
Dessa forma, quando desejamos melhorar a aproximacao de uma funcao atraves de seu polinomio de Taylor so
precisamos acrescentar mais termos ao mesmo, aumentando seu grau mas sem alterar os coeficientes ja utilizados. Em
contraste, se quisermos melhorar a aproximacao de uma funcao usando os polinomios aproximantes cuja existencia e
garantida pelo Teorema de Weierstrass devemos aumentar o grau do polinomio e eventualmente modificar todos os
coeficientes do mesmo.
Comentamos, por fim, que o polinomio de Taylor, ou mesmo os polinomios de Bernstein ou de Landau, nem sempre
produzem o melhor aproximante polinomial uniforme de uma funcao f (contnua e infinitamente diferenci avel) em um
intervalo compacto. A existencia de um melhor aproximante uniforme polinomial u nico em um intervalo compacto de
uma funcao contnua f e um teorema devido a Haar18 (vide [55], [249], [221] ou [174]) mas, infelizmente, n
ao ha uma
f
ormula fechada conhecida que o determine.
O Teorema de Taylor em v
arias vari
aveis
Se g : Rn C e uma funcao de n variaveis reais, K-vezes diferenci
avel em um certo domnio Rn , podemos obter
o analogo do Teorema de Taylor atraves do seguinte procedimento. Seja f : R C definida por f (t) := g(y + th), com
y, h Rn de modo que y e x y + h pertencem a algum aberto convexo 0 (a convexidade e necessaria para que
se possa garantir que y + th pertenca a 0 para todo t [0, 1]). Para a a-esima (a K) derivada f (a) (t), vale
a
X X h
f (a) (t) h
1 hn
1 n
ag
= 1 n y + th = Dy g y + th , (35.43)
a! 1 , ..., n =0
1 ! n ! y1 yn n
!
Na
1 ++n =a
sendo que, acima, usamos a notacao de multi-ndices introduzida à p

agina 725. Essa expressao segue facilmente, pela
Xn
d
regra da cadeia, de = hk , igualdade valida quando aplicada a f (t) = g(y + th). Disso temos
dt yk
k=1
n
!a a
da X X a! a
f (t) = hk g(y + th) = h n
1 hn
1
g y + th .
dta yk 1 , ..., n =0
1 ! n ! 1
y1 ynn
k=1
1 ++n =a
O Teorema de Taylor, Teorema 35.6, p agina 1677, vale para a funcao f na variavel t e se considerarmos o caso em
que t = 1 e t0 = 0 obteremos o seguinte:
Teorema 35.7 (Teorema de Taylor em n vari aveis) Se g : R C e uma funcao K vezes diferenci
avel (K 1)
em um domnio conexo 0 Rn , ent
ao para todo N < K vale para y, x 0 , com x = y + h,
XN X X Z 1
h h
g(x) = g(y + h) = (D g) (y) + (N + 1) (1 s)N Dy g y + sh ds , (35.44)
! ! 0
a=0 n Na Nn
N +1
ou seja,
N
X a
X h
1 hn
1 n
ag
g(x) = g(y + h) = (y)
a=0 1 , ..., n =0
1
1 ! n ! y1 ynn
1 ++n =a
N
X +1 Z 1
h1 hn N +1 g
+ (N + 1) (1 s)N n y + sh ds , (35.45)
1 , ..., n =0
1 ! n ! 0 y11 yn
1 ++n =N +1
com h x y.
18 Alfr
ed Haar (18851933).
atica Vers
A relac
ao (35.45) e denominada identidade de Taylor. Os polin
omios
XN X
(x y)
TN [g](x, y) = (D g) (y)
a=0 n
!
Na
N a 1 n
X X x1 y1 xn yn ag
= (y)
a=0 1 , ..., n =0
1 ! n ! y11 ynn
1 ++n =a
s
ao denominados polinomios de Taylor de ordem N centrados em y da funcao g e a express
ao
X (x y) Z 1

RN [g](x, y) = (N + 1) (1 s)N (D g) y + sh ds
n
! 0
NN +1
N +1 1 n Z
X x1 y1 xn yn 1
N +1 g
= (N + 1) (1 s)N n y + sh ds , (35.46)
1 , ..., n =0
1 ! n ! 0 y11 yn
1 ++n =N +1
com h xy e denominada resto da expansao de Taylor de g, ou formula do resto da expansao de Taylor de g. Podemos,
portanto, reescrever (35.45) e (35.44) na forma
g(x) = TN [g](x, y) + RN [g](x, y) . (35.47)
Suponhamos agora
n que g seja infinitamente
o diferenci
avel e que exista uma bola compacta centrada em y e de raio
n
0 B(y, ) = x R kx yk 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

||
g (w) M C || 1 ! n ! (16.3) = M C ||
1 ! n !(n 1)!
|| , (35.48)
w 1 wn n n 1 (n + || 1)!
1 N || ||
com || = 1 + + n . Entao, para todo x B(y, ) tem-se

X a 1 n
X xy X X x1 y1 xn yn ag

g(x) = (D g) (y) = (y) , (35.49)
a=0 n
! a=0 1 , ..., n =0
1 ! n ! 1
y1 ynn
Na
1 ++n =a
sendo que a serie do lado direito converge absoluta e uniformemente em B(y, ). A serie (35.49) e denominada serie
de Taylor real de g centrada em y. 2
Prova. As primeiras afirmacoes seguem de (35.43) e do Teorema de Taylor para uma variavel, Teorema 35.6, p agina
facil verificar que, sob (35.48), o termo de resto (35.46) converge a zero para N e a serie (35.49) converge
1677. E
absolutamente.
Como ilustracao, os primeiros termos da serie de Taylor centrada em y de uma funcao infinitamente diferenci
avel g
atica Vers
de duas variaveis sao

g g
g(x) = g(y) + x1 y1 (y) + x2 y2 (y)
y1 y2
2 2
x1 y1 2 g x2 y2 2 g 2g
+ (y) + (y) + x1 y 1 x2 y 2 (y)
2! y12 2! y22 y1 y2
3 3
x1 y1 3 g x2 y2 3 g
+ (y) + (y)
3! y13 3! y23
2 2
x1 y1 x2 y2 g 3 x1 y1 x2 y2 3g
+ (y) + (y) + .
2! 1! y12 y2 1! 2! y1 y22
35.4 Aproxima
cao de Fun
coes por Polin
omios Trigonom
etricos
Em um dos trabalhos mais influentes da historia da Fsica e da Matematica, Theorie Analytique de la Chaleur,
publicado em 1822, Fourier19 lancou as bases da teoria da difusao do calor e, de maior interesse aqui, da teoria das series
trigonometricas, posteriormente denominada, com mais generalidade, Analise Harm onica.
A possibilidade de expandir certas funcoes em series trigonometricas data dos trabalhos de Euler20 e de Daniel
Bernoulli21 sobre o problema da corda vibrante (vide Secao 20.5, p
agina 925), na primeira metade do seculo XVIII.
Os primeiros trabalhos de Fourier sobre o problema da propagacao de calor e sobre o uso das series de Fourier
datam do perodo entre 1804 e 1807. Em dezembro desse u ltimo ano Fourier apresentou ao Instituto Nacional de Paris
uma nota intitulada Memoire sur la propagation de la chaleur dans les corps solides, onde propunha que toda funcao
periodica poderia ser expandida em uma serie trigonometrica, ideia inicialmente rejeitada, n ao totalmente sem raz
ao,
por um comite formado por Lagrange, Laplace, Monge e Lacroix. Parte do problema com a argumentacao de Fourier
era causado por uma certa confusao existente ` a epoca quanto ao que se entende por uma funcao e pela ausencia de
demonstracoes matematicamente convincentes da parte de Fourier. O primeiro tratamento matematicamente correto da
convergencia de series de Fourier para uma certa classe de funcoes so foi fornecida por Dirichlet22 em 1828. Desde entao o
estudo das series de Fourier engendrou um sem-n umero de desenvolvimentos matematicos importantes. Como exemplo,
citamos o desenvolvimento na nocao de integral de Riemann23 , a qual foi motivada pela necessidade de controle mais
preciso do decaimento dos coeficientes de series de Fourier. Vide coment arios da Secao 31.1, p
agina 1372.
Fourier chegou às expansoes que levam seu nome procurando solucoes de certas equacoes diferenciais ligadas ao
problema de propagacao de calor em solidos24 . Essa associacao entre series de Fourier e equacoes diferenciais e de
interesse em diversas outras
areas da Fsica e o leitor poder
a encontrar exemplos de seu uso nos problemas do Captulo
20, pagina 872. Nesta secao apresentaremos os resultados b asicos da teoria da aproximacao de funcoes por series
trigonometricas.
Para o leitor interessado em um texto mais aprofundado, a referencia classica sobre series trigonometricas e [273].
Recomendamos tambem [133], [210], [201], [51] e [269]. Uma leitura muito estimulante e [143]. Para um excelente texto
em portugues, vide [72].
A Secao 35.7, p
agina 1718, contem diversos exerccios sobre as series de Fourier. Aplicacoes diversas da teoria podem
ser encontradas no Captulo 20, p agina 872.
19 Jean Baptiste Joseph Fourier (17681830).
20 Leonhard Euler (17071783).
21 Daniel Bernoulli (17001782).
22 Johann Peter Gustav Lejeune Dirichlet (18051859).
23 Georg Friedrich Bernhard Riemann (18261866).
24 Fourier atuou tambem na poltica e na administraca
o p
ublica e dedicou-se a problemas de propagaca o de calor em funca
o de seus interesses
em Metalurgia, em parte com o prop osito de melhorar o processo de producao de canhoes (Fourier foi um partidario oportunista de Napole ao)
e em parte movido por um legtimo interesse cientfico. Quando jovem participou da aventura napole onica no Egito, tendo trabalhado na
edica
o da c
elebre Description de lEgypte, o livro-m ae da Egiptologia, completada em 1810.
atica Vers
35.4.1 Preliminares
Fun
co
es T -peri
odicas
Se T > 0, uma funcao f : R C e dita ser T -periodica, ou periodica de perodo T , se f (x + T ) = f (x) para todo
x R. Assim, se f e T -periodica, vale TT f = f , sendo T definida em (35.11). Evidentemente, se f : R C e
T -periodica vale para todo x R que f (x + nT ) = f (x), onde n Z, ou seja, vale TnT f = f para todo n Z.
Se uma funcao f : [T /2, T /2) C e definida apenas em um intervalo [T /2, T /2), podemos sempre definir uma
a toda reta real f : R C por f(x + nT ) = f (x) para todo x [T /2, T /2) e todo n Z.
sua extensao25 T -periodica `
Por essa raz ao sempre consideraremos aqui funcoes definidas em todo R. Note que se f : [T /2, T /2) C e contnua,
sua extensao f : R C so o sera se f (T /2) = limtT /2 f (t), de outra forma sera apenas contnua por partes, com
descontinuidades nos pontos x = T /2 + nT com n Z.

tambem u
E ao f1 (x) = f0 TT10 x e T1 -periodica. Por essa raz
til recordar que se f0 : R C e T0 -periodica, ent ao,
convencionamos so considerar aqui funcoes 2-periodicas. Os resultados que seguirao podem ser estendidos a funcoes
T -periodicas por um simples re-escalonamento dos argumentos das funcoes.
Os seguintes resultados elementares serao usados algumas vezes no que segue:
Lema 35.1 Sejam P e f duas func
oes contnuas e 2-peri
odicas. Entao,
Z Z
P (x y)f (y) dy = P (y)f (x y) dy (35.50)

para todo x R. Em particular, vale

Z Z Z x+
f (y) dy = f (x y) dy = f (y) dy , (35.51)
x
tambem para todo x R. 2
Prova.
Z Z x+
yxy
P (x y)f (y) dy = P (y)f (x y) dy
x
Z Z x Z x+

= P (y)f (x y) dy P (y )f (x y ) dy + P (y )f (x y ) dy

Z Z x+ Z x+
y y 2
= P (y)f (x y) dy P (y 2)f (x y + 2) dy + P (y )f (x y ) dy

Z Z x+ Z x+
P (y )f (x y ) dy + P (y )f (x y ) dy
periodicidade
= P (y)f (x y) dy

Z
= P (y)f (x y) dy .

Isso provou (35.50). A primeira igualdade em (35.51) e um caso particular de (35.50) para P constante igual a 1. A
segunda igualdade em (35.51) vem de uma mudanca de variaveis evidente (y x y).
Polin
omios trigonom
etricos
Uma funcao definida em R que seja da forma
n
X
p(x) = Am eimx ,
m=n
25 Para a definica
o da noca
o de extens
ao de uma funca
o, vide p
agina 37.
atica Vers
com Am C e n N0 , e dita ser um polin omio trigonometrico de perodo 2. Usando a bem conhecida formula de
Euler ei = cos() + i sen (), todo polinomio trigonometrico no intervalo [, ] pode ser escrito na forma alternativa
equivalente
Xn X n
a0
p(x) = + am cos(mx) + bm sen (mx) ,
2 m=1 m=1
com am , bm C, a qual envolve as funcoes seno e co-seno.

No que segue, estabeleceremos,
sob diversas hipoteses, resultados sobre convergencia (pontual, uniforme ou no sentido
de L2 (, ), dx ) de sequencias de polinomios trigonometricos.
S
eries trigonom
etricas, ou s
eries de Fourier
Dado um polinomio trigonometrico de perodo 2
n
X eikx
p(x) = pk (35.52)
k=n
2
e f
acil constatar, usando as relac
oes de ortogonalidade
Z
ei(nm)x dx = 2m,n , m, n Z , (35.53)

que os coeficientes pk podem ser expressos em termos de p por

Z ikx
e
pk = p(x) dx =: hek , pi , (35.54)
2
eikx
com ek (x) :=
2
.
Uma quest ao natural e saber sob quais circunst
ancias uma funcao 2-periodica f pode ser expressa como limite (em
um sentido a ser precisado) de uma seq uencia de polinomios trigonometricos:
n
X
X
eikx eikx
f (x) = lim fk =: fk , (35.55)
n
k=n
2 k=
2
com os coeficientes fk independentes de n e dados por

Z ikx
e
fk = f (x) dx =: hek , f i . (35.56)
2
Uma serie como (35.55)(35.56), caso o limite exista, e denominada serie de Fourier.
Os coeficientes fk sao denominados coeficientes de Fourier da funcao f . De (35.56) ve-se que para que todos os
coeficientes de Fourier fk de uma funcao f existam basta que f seja integravel em [, ]. Para f integravel e n N0
as somas parciais
Xn Xn Z iky ikx
eikx e e
Sn (f, x) := fk = f (y) dy (35.57)
k=n
2 k=n 2 2
sao denominadas somas parciais de Fourier da funcao f . A serie de Fourier da funcao f se escreve ent
ao como o limite
n
X
X
eikx eikx
lim Sn (f, x) := lim fk =: fk
n n
k=n
2 k=
2
caso esse limite exista em algum sentido a ser precisado.

Observemos que alguns autores preferem escrever Sn (f, x) na forma
n
X Z
1
Sn (f, x) := Fk eikx , com Fk := eiky f (y) dy , kZ.
2
k=n
atica Vers
Como ja mencionamos, foi Fourier o primeiro a propor expressoes como (35.55)(35.56). Coube a seus sucessores
estudar sobre quais hipoteses e em que sentido (35.55)(35.56) sao validas. Uma quest ao que entao se coloca e identificar
condicoes sobre f sob as quais a seq
uencia de polinomios trigonometricos Sn (f, x) convirja pontualmente à funcao f ,
ou seja, para que o limite limn Sn (f, x) de (35.55) exista e seja igual a f para todo x [, ] ou quase em toda
parte. Devido ao largo emprego de series de Fourier na resolucao de equacoes diferenciais, essa n
ao e apenas uma quest ao
academica. No que seguira, empenharemo-nos em apresentar respostas, ainda que parciais, a essa quest ao e a outras
congeneres.
Um outro encontro com as s

eries de Fourier: a expans
ao de Laurent
Antes de prosseguirmos observemos que series de Fourier convergentes ocorrem naturalmente no contexto da teoria
das funcoes analticas de uma variavel complexa.
Se g(z) e uma funcao analtica no interior de um anel Aab = {z C, a < |z| < b} C, com 0 a < b, e bem sabido
da teoria das funcoes de variavel complexa que g pode ser representada em Aab por uma serie de Laurent26 centrada em
z0 = 0:
X
g(z) = gn z n ,
n=
a qual e absolutamente convergente para z Aab , sendo os coeficientes gn dados por
I
1 g(w)
gn = dw
2i C wn+1
para todo n Z, com C sendo uma curva suave e fechada em Aab que d a uma volta em torno de z0 = 0 no sentido
ario S 1 = {z C, |z| = 1} estar
anti-horario. Se tivermos a < 1 < b, o crculo unit a inteiramente contido em Aab . Nesse
ario |z| = 1, podemos escrever z = ei com < . Definindo f () := g(ei ),
caso, se escolhermos z no crculo unit
a expansao de Laurent fica
X
f () = gn ein ,
n=
que e uma expansao de f em termos de uma serie trigonometrica. Tomando a curva C como sendo tambem o crculo
ario (ou seja, tomando w = ei com < ), a expressao para os coeficientes gn fica
unit
Z
1
gn = f ()ein d .
2
Assim, obtemos para f a representacao
Z
X in
ein e
f () = f () d . (35.58)
n= 2 2
Conclumos assim que se f () e a restricao ao crculo unitario de uma funcao analtica em Aab com 0 a < 1 < b (no
caso, da funcao g), ent
ao f possui a representacao em serie de Fourier (35.58), a qual, sob as hipoteses, converge absoluta
e uniformemente para todo < . Note que, sob essas hipoteses, f e n ao apenas contnua, mas infinitamente
diferenci
avel em relacao a .
No que seguira, veremos que condicoes mais fracas sobre f podem ser impostas, com resultados analogos.
35.4.2 A S
erie de Fourier de Func
oes Peri
odicas de Perodo T
A expressao (35.57) apresenta a serie de Fourier de uma funcao f integravel e periodica de perodo 2. Se f for integravel
e T -periodica (com T > 0), as somas parciais de Fourier serao dadas para n N0 por
Xn 2k Z T /2 i 2k y
ei T x e T
Sn (f, x) := fk com fk = f (y) dy , (35.59)
k=n
T T /2 T
com lim Sn (f, x) representando a serie de Fourier de f , caso esse limite exista em algum sentido a ser precisado.
n
26 Pierre Alphonse Laurent (18131854).

atica Vers
T

E. 35.4 Exerccio. Obtenha (35.59) a partir de (35.57). Sugestao: se f e T -periodica, entao F (x) := f 2 x e 2-
peri
odica e a ela se aplica (35.57). 6
A serie de Fourier de uma funcao T -periodica tambem pode ser expressa em termos de uma serie de senos e co-senos.
Para as somas parciais de Fourier, tem-se
Xn
A0 2m 2m
Sn (f, x) = + Am cos x + Bm sen x , (35.60)
2 m=1
T T
com
Z T /2 Z T /2
2 2m 2 2m
Am = cos y f (y) dy , m0 e Bm = sen y f (y) dy , m1. (35.61)
T T /2 T T T /2 T
2k 2k

Essas expressoes podem ser obtidas diretamente de (35.59) com uso da formula de Euler ei T x = cos T x +

i sen 2k
T x , sendo que os coeficientes Am e Bm relacionam-se com os coeficientes fk por
2f0 fm + fm fm fm
A0 = , Am = e Bm = i , m1,
T T T
do que obtemos tambem

T A0 T T
f0 = , fm = Am iBm e fm = Am + iBm , m1.
2 2 2
E. 35.5 Exerccio. Obtenha as expressoes acima. 6
As expressoes (35.60)(35.61) podem tambem ser obtidas atraves das relac

oes de ortogonalidade das func
oes seno e
co-seno:
Z T /2
2n 2m
cos y sen y dy = 0 , n, m N0 . (35.62)
T /2 T T

Z
T
T /2
2n 2m n, m , n, m N ,
2
cos y cos y dy = (35.63)
T /2 T T

T 0, m , n = 0, m N0 ,
Z T /2
2n 2m T
sen y sen y dy = n, m , n, m N0 , (35.64)
T /2 T T 2
validas para todo T > 0. Acima, N0 = {0, 1, 2, 3, 4, . . .} e N = {1, 2, 3, 4, . . .}.
E. 35.6 Exerccio importante. Demonstre as relacoes de ortogonalidade (35.62)(35.64). Para tal use, por exemplo, as
atica Vers
ormulas de prostaferese27
bem-conhecidas identidades, conhecidas como f
sen (a + b) = sen (a) cos(b) + sen (b) cos(a) , (35.65)
cos(a + b) = cos(a) cos(b) sen (a) sen (b) , (35.66)
1
sen (a) cos(b) = sen (a + b) + sen (a b) , (35.67)
2
1
cos(a) cos(b) = cos(a + b) + cos(a b) , (35.68)
2
1
sen (a) sen (b) = cos(a b) cos(a + b) , (35.69)
2
validas para todos a, b C. 6
E. 35.7 Exerccio. Seja f : R C uma funcao T -periodica. Mostre que se f e real, entao
fk = fk para todo k Z .
Conclua disso que f e real, entao sua serie de Fourier e tambem real. Note que isso e evidente por (35.60)(35.61). 6
35.4.3 Polin
omios Trigonom
etricos e Func
oes Contnuas e Peri
odicas
Seq
uencias delta de Dirac peri
odicas
A definicao que segue e naturalmente relacionada à definicao de seq
uencia delta de Dirac à p
agina 1663.
Defini
cao 35.3 (Seq uencias delta de Dirac peri odicas) Uma seq uencia de func
oes 2-peri
odicas Kn : R R,
n N, e dita ser uma seq
uencia delta de Dirac 2-periodica centrada em 0 se satisfizer
Z
1. Para cada n N, a func
ao Kn e 2-peri
odica e integr
avel no intervalo [, ], ou seja, |Kn (x)| dx < .


Z
|Kn (x)| dx < K . (35.70)


Kn (x) dx = 1 . (35.71)

4. Para todo com 0 < < vale

"Z Z #

lim |Kn (x)| dx + |Kn (x)| dx = 0. (35.72)
n
Uma sequencia de funcoes R R e dita ser uma seq

uencia delta de Dirac peri
odica em R centrada em x0 R se for
da forma Tx0 Kn , onde Kn e uma sequencia delta de Dirac em R centrada em 0 (com Tx0 definida em (35.11)).
O seguinte fato sobre seq
uencias delta de Dirac 2-periodicas e de fundamental import
ancia para o que segue:
27 Do grego prosthesis (soma) e aphaeresis (subtra
c
ao). Nessa forma, essas relaco es foram apresentadas pela primeira vez por
Johann Werner (Vernerus) (14681522), mas provavelmente eram conhecidas de muito antes. Elas podem ser facilmente demonstradas,
mesmo para argumentos complexos, com uso da f ormula de Euler ei = cos + i sen , C.
atica Vers
Teorema 35.8 Seja f : R C uma func

ao contnua e 2-peri
odica. Seja Kn uma seq uencia delta de Dirac 2-peri
odica.
Defina-se Z Z
(35.50)
Fn (x) := Kn (x y)f (y) dy = Kn (y)f (x y) dy

para todo n N. Ent
ao, a seq
uencia Fn e uma seq
uencia de func
oes contnuas e 2-peri
odicas e converge uniformemente
a f em R:
n n xR
Prova. Como f e contnua no intervalo compacto [, ] ela e uniformemente contnua nesse intervalo (Teorema 32.12,
p
agina 1470) e, como e tambem periodica, em todo R. Isso permite-nos reproduzir a demonstracao do Teorema 35.1,
p
agina 1666.
Observemos primeiramente que, como f e contnua, ela e limitada e definindo C0 := sup{|f (x)|, x [, ]},
teremos Z Z Z
(35.70)
K n (y)f (x y) dy |K n (y)| |f (x y)| dy C0 |K n (y)| dy C0 K .

ao bem definidas. Que cada Fn e 2-periodica e evidente (se
n
ao for Exerccio!).
Que cada Fn e contnua 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, ent
ao > 0 e x, x R quaisquer tais que
|x x | < (). Teremos,
Z Z

|Fn (x) Fn (x )| =

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

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

Z (35.70)
|Kn (y)| dy K ,

pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0, estabeleceu-se a continuidade de Fn .
Z
f (x) Fn (x) = f (x) f (x y) Kn (y) dy .

Para cada com 0 < < podemos quebrar a u ltima integral em tres intervalos:
Z Z Z

f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy (35.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 = ()
Z Z

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

Z Z (35.70)
|Kn (y)| dy |Kn (y)| dy K .

Passemos agora às integrais I e III. Como f e limitada, vale para a integral I,
Z Z Z

f (x) f (x y) K n (y) dy f (x) f (x y) |K n (y)| dy 2C0 |Kn (y)| dy

atica Vers
e, analogamente, para a integral III,

Z Z

f (x) f (x y) Kn (y) dy 2C0 |Kn (y)| dy ,


Z Z

f (x) f (x y) Kn (y) dy + f (x) f (x y) Kn (y) dy

integrais I, II e III conclumos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, kf Fn k =
sup{kf (x) Fn (x)k, x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrario a demonstracao est a
completa.
Aproxima
c
ao de fun
co
es continuas 2-peri
odicas por polin
omios trigonom
etricos. O Teorema de Fej
er
A proposicao que segue e sua demonstracao sao extradas do tratamento de [210].

Proposi
c
ao 35.7 Para m N defina-se
m
1 1 + cos(x) 1 x 2m
Km (x) := = cos ,
Nm 2 Nm 2
onde Z m Z

1 + cos(y) y 2m
Nm := dy = cos dy .
2 2
Ent
ao, a seq
uencia Km e uma seq
uencia delta de Dirac de perodo 2.
As constantes Nm s
ao dadas por
(2m)! (2m 1)!!
Nm = 2 = 2 , (35.74)
22m (m!)2 2m m!
para todo m N. 2
Prova. E evidente que Km (x) 0 para todo m N, que Km (x) = Km (x) para todo x e que cada Km e contnua e
R
2-periodica. Que Km (x)dx = 1 e tambem evidente pela definicao do fator de normalizacao Nm . Precisamos apenas
provar a propriedade 4 da definicao de seq
uencia delta de Dirac de perodo 2.
A primeira
R coisa a fazer e obter uma estimativa para o fator de normalizacao Nm . Como Km (x) e uma funcao par,
vale 1 = 2 0 Km (x)dx. Assim, usando o fato que 1 sen (x), vale
Z m Z m
2 1 + cos(y) 2 1 + cos(y)
1 = dy sen (y) dy
Nm 0 2 Nm 0 2
Z 2
u=1+cos(y) 2 4
= um du = ,
2 m Nm 0 (m + 1)Nm
1 m+1
o que implica Nm 4 . A segunda observacao e que
m m1
Km (x) = (1 + cos(x)) sen (x) ,
2 m Nm
que nos informa que Km e decrescente no intervalo [0, ]. Portanto, se 0 < vale para todo x [, ]
m m
1 1 + cos() (m + 1) 1 + cos()
Km (x) Km () = .
Nm 2 4 2
atica Vers
m
(m+1) 1+cos()
Logo, sup{Km (x), x [, ]} 4 2 e, como 1+cos() < 2 para 0 < , segue que lim sup{Km (x), x
Z m
[, ]} = 0. Isso implica que lim |Km (x)|dx = 0 e completa a demonstracao que Km forma uma seq
uencia delta
m
de Dirac 2-periodica.
Para provar (35.74), notamos que pelo bin
omio de Newton
2m 2m
t 1 2m 1 X 2m i(pm)t
cos = 2m eit/2 + eit/2 = 2m e . (35.75)
2 2 2 p=0 p
Com isso, (35.74) segue facilmente das relacoes de ortogonalidade (35.53). Uma outra prova de (35.74) por uma mudanca
de variaveis e repetindo-se o procedimento de integracao por partes pode ser encontrada em (15.69), pagina 681.
Chegamos agora ao importante

Teorema 35.9 (Teorema de Fej er) Se f : R C e contnua e 2-peri odica, ent
ao f pode ser aproximada uniforme-
mente em R por polin omios trigonometricos de perodo 2, ou seja, para todo > 0 existe um polinomio trigonometrico
2-peri
odico p tal que kf p k < , onde kf p k = sup |f (x) p (x)|. 2
xR
Esse teorema foi primeiramente demonstrado por Fejer28 em 1900 em uma forma ligeiramente diferente, da qual
falaremos mais adiante. Conforme exposto na Secao 35.6.3, p agina 1715, o Teorema 35.9, acima, tem por implicacao a
2
convergencia da serie de Fourier
de (35.55) para fun
c o
es f L ([, ], dx), com a convergencia se dando no sentido
2
da norma de L [, ], dx . Isso n ao necessariamente implica a validade de (35.55) para todo ponto x [, ]
(convergencia pontual). Em seguida apresentamos uma demonstracao independente do Teorema de Fejer, mas adiante
(Proposicao 35.8, p
agina 1692) provaremos que o mesmo e equivalente ao Teorema de Weierstrass, Teorema 35.3, p agina
1669.
Prova do Teorema 35.9. Unindo o Teorema 35.8 a` Proposicao 35.7, conclumos que a seq
uencia de funcoes contnuas e
2-periodicas definida por
Z 2m
1 xy
Em (f, x) := cos f (y) dy ,
Nm 2
m N, aproxima uniformemente f em R. Por (35.75), segue que
2m
X 2 2m
Em (f, x) = fpm ei(pm)x , (35.76)
p=0
22m Nm p
onde Z
1
fk := eiky f (y) dy , kZ, (35.77)
2
sao os coeficientes de Fourier de f . Com (35.74), obtemos

m
X (m!)2 eipx
Em (f, x) = fp . (35.78)
p=m
(m p)!(m + p)! 2
As expressoes (35.76) e (35.78) mostram que Em (f, x) e um polinomio trigonometrico.
A afirmacao a seguir e conseq

uencia do Teorema 35.9 e de (35.78).
Corolario 35.3 SeZf : R C e contnua e 2-peri ao f e univocamente determinada por seus coeficientes de
odica, ent

1 iky
Fourier fk := e f (y) dy, k Z. 2
2
28 Lip
ot Fej
er (18801959).
atica Vers
Prova. Por (35.78) vemos que f pode ser recuperada a partir do conhecimento dos coeficientes fk . Tambem pela
mesma expressao, vemos que se f e g sao contnuas, 2-periodicas e tem os mesmos coeficientes de Fourier, ent
ao
Em (f, x) = Em (g, x) para todo x R e todo m N. Assim, pelo Teorema 35.9, vale para todo x R que
f (x) = lim Em (f, x) = lim Em (g, x) = g(x).
m m
Coment
arios sobre converg
encia pontual. Teoremas de Du Bois-Reymond e Carleson
O Teorema 35.9 afirma que f pode ser aproximada uniformemente por polin Pnomios trigonometricos de perodo 2.
ao implica que a serie de Fourier Sn (f, x) = k=n fk eikx de uma funcao contnua f
Surpreendentemente, porem, isso n
seja convergente em todo ponto x.
O estudante deve atentar para o fato que, por (35.57) e (35.78), Sm (f, x) e Em (f, x) sao polinomios trigonometricos
distintos. Assim, a aproximacao de f (x) contnua e 2-periodica pela seq
uencia Em (f, x), implicada pelo Teorema 35.9,
n
ao necessariamente implica a aproximacao de f (x) por sua serie de Fourier Sm (f, x).
De fato, em 1873 Du Bois-Reymond29 exibiu um exemplo de uma funcao contnua e 2-periodica (e, portanto, para
a qual o Teorema 35.9 se aplica) cuja serie de Fourier diverge em x = 0. Apesar de contnua, a funcao de Du Bois-
Reymond n ao e diferenci
avel em x = 0 (ou mesmo H older-contnua). Esse coment ario e importante pois, como veremos
no Teorema 35.12, p agina 1697, continuidade e diferenciabilidade sao suficientes para garantir a convergencia pontual da
serie de Fourier.
Os passos da construcao de Du Bois-Reymond podem ser acompanhados na referencia [143] ou em [133]. O leitor inte-
ressado que tenha algum conhecimento de Teoria Qu antica de Campos poder a deleitar-se em reconhecer que a construcao
de Du Bois-Reymond prenuncia certas ideias associadas a transformacoes de escala e de grupo de renormalizacao.
O exemplo de Du Bois-Reymond pode ser agucado ainda mais. Em 1966 Kahane30 e Katznelson31 provaram que: dado
um conjunto de medida nula E em [, ], existe uma func odica tal que supnN0 |Sn (f, x)| =
ao f contnua e 2-peri
para todo x E. Uma demonstracao dessa afirmacao pode ser encontrada em [133]32 .
O resultado mais importante sobre a quest ao da convergencia pontual da serie de Fourier de funcoes de quadrado
integravel e devido a Carleson33: se f e uma func
ao de quadrado integr
avel em [, ], sua serie de Fourier converge
quase em toda parte, ou seja, pode divergir apenas em um conjunto de medida nula.
Como mencionamos, para que possamos garantir convergencia da serie de Fourier de uma funcao f em todo ponto
x [, ] n ao basta requerer continuidade, sendo a adicao da condicao de diferenciabilidade suficiente para tal. A
afirmacao precisa sera apresentada nas p
aginas que seguem (Teorema 35.12, p agina 1697).
O Teorema de Fej
er e o Teorema de Weierstrass
Os teoremas de Fejer e de Weierstrass afirmam que uma funcao contnua pode ser uniformemente aproximada quer
por polinomios quer por polinomios trigonometricos (se for tambem periodica). Talvez um tanto surpreendentemente
esses dois teoremas sao equivalentes.
Proposi c
ao 35.8 O Teorema de Weierstrass, Teorema 35.3, p
agina 1669, e o Teorema de Fejer, Teorema 35.9, p
agina
1691, s
ao equivalentes. 2
Prova. Pelo Teorema de Fejer, Teorema 35.9, p agina 1691, os polinomios trigonometricos sao densos (na topologia
uniforme, i.e., na topologia da norma do supremo kk ) no conjunto das funcoes contnuas 2-periodicas. Pela Proposicao
35.6, p
agina 1679, os mon omios trigonometricos einx , n Z, podem ser aproximados uniformemente no intervalo [, ]
por polinomios (mais especificamente, por seus polinomios de Taylor). Conclumos disso que os polinomios sao densos
nas funcoes contnuas no intervalo [, ]. Por uma translacao, combinada a um re-escalonamento (operacoes que levam
polinomios em polinomios, vide a discuss ao que antecede o Teorema 35.20, p agina 1729), isso prova que os polinomios
29 Paul David Gustav Du Bois-Reymond (18311889).
30 Jean-Pierre Kahane (1926).
31 Yitzhak Katznelson (1934).
32 A refer
encia original
e: J-P Kahane and Y. Katznelson, Sur les ensembles de divergence des s
eries trignom
etriques, Studia Mathematica,
26 305-306, (1966).
33 Lennart Axel Edvard Carleson (1923). A refer encia original e: L. Carleson, On convergence and growth of partial sums of Fourier
series. Acta Math., 116, 135-157 (1966).
atica Vers
sao densos nas funcoes contnuas em qualquer intervalo compacto [a, b] R. Portanto o Teorema de Weierstrass (ao
menos na versao do Teorema 35.3, p agina 1669) segue do Teorema de Fejer.
A recproca e tambem verdadeira. Para prova-la seja f () uma funcao contnua e 2-periodica definida no intervalo
[, ]. Temos, naturalmente que f () = f (), devido à continuidade e à periodicidade. No ret angulo
p fechado
R = [1, 1]2 R2 defina-se a funcao F (x1 , x2 ) = f (), sendo 1 x1 1 e 1 x2 1, com = x21 + x22 e
= arctan(x2 /x1 ), ou seja, x1 = cos e x2 = sen . E claro que F e contnua e, pelo Teorema 35.5, p agina 1674, F
pode ser uniformemente aproximada em R por polinomios em x1 e x2 , ou seja, por polinomios em cos e sen . O
crculo unitario = 1 est
a inteiramente contido no ret
angulo fechado R e nele a funcao F e igual a f . Conclumos disso
que f pode ser uniformemente aproximada por polinomios em cos e sen , ou seja, por polinomios trigonometricos,
provando que o Teorema de Fejer segue do de Weierstrass.
35.4.4 Converg
encia de S
eries de Fourier
Os n
ucleos de Dirichlet
Dado um polinomio trigonometrico p, vimos em (35.52)(35.54) que podemos escrever
n
X Z Z
1 iky ikx
p(x) = e p(y) dy e = Dn (x y) p(y) dy ,
2
k=n
onde, para cada n N0 , definimos

n
1 X ikx
Dn (x) := e . (35.79)
2
k=n
Essas funcoes Dn sao denominadas n

ucleos de Dirichlet. Perceba-se que expressoes como (35.55), (35.57) ou (35.58)
podem ser re-escritas na forma
Z Z
Sm (f, x) = Dm (x y)f (y) dy , f (x) = lim Dm (x y)f (y) dy .
m
As quest
oes que colocamos acima a respeito das series de Fourier podem ser respondidas com um melhor conhecimento
dos n
ucleos de Dirichlet. Suas propriedades b
asicas encontram-se enunciadas na proposicao que segue.
Proposi
c
ao 35.9 Definindo
n
1 X ikx
Dn (x) := e , (35.80)
2
k=n
n N0 , valem as seguintes afirmac

oes: cada Dn e uma func
ao contnua, par e 2-peri
odica. Vale
Z
Dn (x) dx = 1 (35.81)

para todo n N0 e vale a express

ao mais explcita

1 sen (n + 21 )x 2n + 1
Dn (x) = , x 6= 0 , com Dn (0) = , (35.82)
2 sen x2 2
tambem para todo n N0 . 2
Prova. Que cada Dn e contnua e 2-periodica e evidente. Que cada Dn e uma funcao par e evidente por (35.82), que
provaremos abaixo. A relacao (35.81) segue facilmente das relacoes de ortogonalidade (35.53), pois
Z n Z n

1 X X
Dn (x) dx = eikx dx = k, 0 = 1 .
2
k=n k=n
atica Vers
Para provar (35.82), escrevemos, para x 6= 0,

n 2n
1 X ikx einx X ikx
Dn (x) = e = e
2 2
k=n k=0

einx 1 ei(2n+1)x
=
2 1 eix

1 einx ei(n+1)x 1 ei(n+1/2)x ei(n+1/2)x 1 sen (n + 21 )x
= = = .
2 1 eix 2 eix/2 eix/2 2 sen x2
Acima, na passagem da primeira para a segunda linha, usamos a bem-conhecida expressao da soma de uma progress
ao
geometrica
Xm
1 am+1
ak = , (35.83)
1a
k=0
valida para m N e a 6= 1. Que Dn (0) = (2n + 1)/2 e evidente pela definicao (35.80).
Apesar de os n ucleos de Dirichlet n

ao serem uma seq uencia delta de Dirac 2-periodica, tal como definido à p
agina
1688 (falta-lhe a propriedade 2 da definicao daquelas), e possvel provar que, sob hipoteses convenientes sobre a funcao
f , seus efeitos sao semelhantes àqueles descritos no Teorema 35.8, p agina 1689. As proximas p aginas tratam disso.
O Lema de Riemann-Lebesgue
Proposi
c
ao 35.10 Sejam fk os coeficientes de Fourier de uma func
ao contnua e 2-peri
odica f : R C. Ent
ao,
lim fk = 0. 2
k
Prova. Se f e contnua e 2-periodica e > 0, existe, pelo Teorema 35.9, um polinomio trigonometrico 2-periodico p
tal que |f (x)R p (x)| para todo x [, ]. Como p e um polinomio trigonometrico, seus coeficientes de Fourier

(p )k = 12 p (x)eikx dx anulam-se para todo |k| maior que um dado K() N. Assim, para |k| > K() tem-se
Z Z Z
1 1 1
|fk | = f (x)eikx dx = (f (x) p (x))eikx dx |f (x) p (x)|dx 2 .
2 2 2

Logo, provamos que para todo > 0 existe N () := K(/ 2) > 0 tal que |fk | para todo |k| > N (). Por definicao,
isso significa que lim fk = 0.
k
Essa proposicao pode ser fortemente generalizada.

Teorema 35.10 (Lema de Riemann-Lebesgue) Seja f : [, ] C uma func
ao integr
avel (no sentido de Lebes-
gue). Ent
ao, lim fk = 0. 2
k
1
Prova. Toda funcao integravel pode ser aproximada por uma fun Rcao contnua e 2-periodica na norma
R L , ou seja, para
cada > 0 existe uma funcao contnua e 2-periodica f tal que |f (x) f (x)|dx . Assim, de f (y) eiky dy =
R R

(f (y) f (y)) eiky dy + f (y) eiky dy, obtemos
Z Z Z

2|fk | = f (y) e iky
dy |f (y) f (y)| dy + f (y) e iky
dy + 2 |(f )k | .

Pela
Proposi
cao 35.10, podemos obter |(f )k | tomando |k| grande o suficiente e, assim, para tais ks vale |fk |
1 + 12 , completando a prova.
atica Vers
Nota. O Lema de Riemann-Lebesgue tem uma hist oria interessante. Sua primeira demonstraca o foi obtida por Riemann em uma tese,
apresentada ` a Universidade de G ottingen em 1854 e publicada em 1867, intitulada Sobre a representabilidade de uma funca o por uma
s
erie trigonom etrica34 , tese essa requerida para a obtenca
o do ttulo de Privatdozent que lhe permitiria dar aulas na universidade (e cobrar
por elas dos alunos. A ` epoca, na Alemanha, somente professores titulares eram contratados das universidades e recebiam sal arios das
mesmas). As regras exigiam que o candidato redigisse uma tese e apresentasse um semin ario sobre um tema diferente diante de uma banca.
O candidato propunha quatro temas para o semin ario dos quais um era escolhido pelo decano da instituica o. Riemann prop os tres temas
sobre Eletromagnetismo e um sobre Geometria. No caso de Riemann o decano era ningu em menos que Gauss, que escolheu o tema de
Geometria, pois soubera que Riemann tinha id eias bastante originais a respeito. A escolha n ao poderia ter sido melhor, pois o semin ario de
Riemann fez Hist oria35 e lancou as bases do que hoje se denomina Geometria Riemanniana (vide Captulo 33, p agina 1514, espacialmente a
Seca
o 34.1, pagina 1577), cuja import ancia `
a Teoria da Relatividade Geral e bem-conhecida. Mas a tese escrita versava sobre a teorias das
s
eries de Fourier e para a obtenca o dos seus resultados, em particular, do que hoje e conhecido como Lema de Riemann-Lebesgue, Riemann
percebeu a necessidade de apresentar uma definica o mais precisa da nocao de integral da que era empregada at e ent
ao. Nascia a a chamada
integral de Riemann. O estudante poder a acompanhar em [72] uma demonstraca o do Lema de Riemann-Lebesgue pr oxima à linha original
de Riemann e aperceber-se da necessidade de precis ao da nocao de integral naquele contexto. Nossa demonstraca o de acima seguiu outras
linhas. Posteriormente, Lebesgue estendeu a noca o de integral de Riemann e reobteve uma prova do Teorema 35.10 para a classe das funco es
integraveis segundo Lebesgue.
A condi
c
ao de Dini
O seguinte teorema, devido a Dini36 , generaliza resultados anteriores de Dirichlet e desempenha um papel impor-
tante no estudo da convergencia de series de Fourier. Suas conseq
uencias mais relevantes serao enunciadas apos sua
demonstracao.
Teorema 35.11 (Condi
c
ao de Dini) Seja f : R C integr
avel e 2-peri
odica e seja x R tal que
1. Existem os dois limites laterais lim f (x + t) e lim f (x + t), que denotamos por f (x+ ) e f (x ), respectivamente.
t0+ t0
2. Existe > 0 tal que Z

|Df (x, y)|
dy < , (35.84)
0 y
onde
Df (x, y) := f (x + y) + f (x y) (f (x+ ) + f (x )) .
Ent
ao,
f (x+ ) + f (x )
lim Sn (f, x) = .
n 2
2
R
Prova. Usando (35.50) podemos escrever Sn (f, x) = Dn (y)f (x y)dy. Como Dn e uma funcao par, a u
ltima integral
R R
pode tambem ser escrita como Dn (y)f (x y)dy = Dn (y)f (x + y)dy. Assim, podemos escrever,
Z
1
Sn (f, x) = Dn (y) f (x + y) + f (x y) dy
2
Usando tambem (35.81), obtemos

Z Z
f (x+ ) + f (x ) 1
Sn (f, x) = Dn (y)Df (x, y) dy = Dn (y)Df (x, y) dy , (35.85)
2 2 0
Au
ltima igualdade provem do fato que Df (x, y) = Df (x, y). Para 0 < < podemos escrever
Z Z
f (x+ ) + f (x )
Sn (f, x) = Dn (y)Df (x, y) dy + Dn (y)Df (x, y) dy . (35.86)
2 0
34 O ttulo original
e Uber die Darstellbarkeit einer Function durch eine trigonometrische Reihe.
35 O conte udo do semin ario foi publicado sob o ttulo Sobre as hip
oteses que fundamentam a Geometria (Uber die Hypothesen welche
der Geometrie zu Grunde liegen).
36 Ulisse Dini (18451918).
atica Vers
Comecemos nossa analise pela primeira integral em (35.86). O integrando e

" y
#
1 sen n + 21 y 1 2 Df (x, y)
Dn (y)Df (x, y) = y
Df (x, y) = sen n+ y y
.
2 sen 2 2 sen 2
y
y
A funcao 2
sen ( y2 )
e crescente em todo intervalo [0, ] (mostre isso!) e, portanto, limitada superiormente por 2
sen (
= 21 .
2)
|D (x, y)|
Assim, naquele intervalo, |Dn (y)Df (x, y)| 12 f y . Logo, para primeira integral em (35.86) temos
Z Z
1 |Df (x, y)|

Dn (y)Df (x, y) dy dy
0 2 0 y
R |Df (x, y)|
Escolhendo pequeno o suficiente podemos obter 0 y dy em funcao da condicao (35.84).
Com esse assim fixado, passemos agora ` a segunda integral em (35.86). Usando (35.82), a mesma fica
Z iy/2 Z iy/2
1 e Df (x, y) 1 e Df (x, y)
einy [, ] (y) dy einy [, ] (y) dy (35.87)
2 2i sen (y/2) 2 2i sen (y/2)
onde [, ] e a funcao caracterstica do intervalo [, ]:

1, y [, ] ,
[, ] (y) =

0, y 6 [, ] .

eiy/2 Df (x, y) 1
Agora, as funcoes [, ] (y) 2i sen (y/2) sao integraveis (note que a singularidade de sen (y/2) em y = 0 e eliminada
pelo fator [, ] (y)). Assim, aplica-se o Lema de Riemann-Lebesgue, Teorema 35.10, e as integrais em (35.87) podem
ser feitas menores que qualquer > 0 prescrito, tomando |n| grande o suficiente. Isso completa a demonstracao.
Condi
co
es de converg
encia pontual de s
eries de Fourier
Apos o Teorema 35.11 a quest ao que naturalmente se coloca e saber para quais tipos de funcoes f a condicao de
Dini e satisfeita. H
a duas classes de funcoes de maior interesse (especialmente no contexto de aplicacoes a equacoes
diferenciais): as contnuas e as contnuas por partes. As proposicoes que seguem re
unem esses casos.
Proposi
c older37 -contnua em um ponto x [, ], ou seja, satisfaca
ao 35.11 I. Suponha que f : R C seja H
|f (x) f (y)| |x y| (35.88)
para todo y em um intervalo [x , x + ], para algum > 0, algum 0 e algum > 0. Ent
ao, f satisfaz a condic
ao
de Dini (35.84) em x.
ao for contnua em x mas existirem os limites laterais lim f (x + t) =: f (x+ ) e lim f (x + t) =:
II. Se f : R C n
t0+ t0
f (x ) e de sorte que existam constantes > 0, M+ 0 e M 0 tais que

f (x + y) f (x+ ) f (x y) f (x )
M+ e M (35.89)
y y
para todo 0 < y , ent

ao a condic
ao de Dini (35.84) e satisfeita em x. 2
Prova. I. Por (35.88), f e contnua em x e, portanto, Df (x, y) = f (x + y) + f (x y) 2f (x). Assim, para y [, ]

valer
a
(35.88)

|Df (x, y)| = f (x + y) f (x) + f (x y) f (x) f (x + y) f (x) + f (x y) f (x) 2|y| .
37 Otto Ludwig H
older (18591937).
atica Vers
Logo, Z Z

|Df (x, y)| 2
dy 2 y 1 dy = < .
0 y 0
II. Para todo y (0, ],

|Df (x, y)| f (x + y) f (x+ ) + f (x y) f (x )
=
y y

f (x + y) f (x+ ) f (x y) f (x ) (35.89)
+ M+ + M ,
y y
o que claramente implica a condicao de Dini (35.84).
Chegamos às conseq

uencias mais relevantes da Condicao de Dini:
Teorema 35.12 (Teorema de Fourier) A. Se f : R C e contnua, diferenci
avel para todo x R e 2-peri
odica,
ent
ao
lim Sn (f, x) = f (x)
n
para todo x R, ou seja, a serie de Fourier de f converge pontualmente a f .

B. Se f : R C e contnua por partes e 2-peri
odica e as derivadas laterais
f (x + s) f (x+ ) f (x + s) f (x )
f (x+ ) := lim e f (x ) := lim
s0+ s s0 s
existirem para todo x R, ent
ao
f (x+ ) + f (x )
lim Sn (f, x) =
n 2
para todo x R. 2
Prova. A. Se f e contnua e diferenci

avel em x, ent older-contnua com = 138 (justifique!). B. Se existem
ao f e H

f (x ), como definidos acima, ent
ao valem as relacoes em (35.89) (justifique!).
Que a serie de Fourier de uma funcao contnua por partes converge ao valor medio (f (x+ ) + f (x ))/2 foi sugerido
pelo proprio Fourier, com base em diversos exemplos, em seu trabalho de 1822 Theorie Analytique de la Chaleur . A
primeira demonstracao correta foi obtida por Dirichlet em 1828. Antes de Dirichlet, Poisson39 e Cauchy40 apresentaram
demonstracoes falhas. A natureza nao-trivial dos erros desses autores e discutida em [143].
Invers
ao de integrais definidas com a s
erie de Fourier
Na Secao 35.1, p
agina 1657, mencionamos o fato b
asico que se tivermos uma seq
uencia de!funcoes fn que converge
Z b Z b
uniformemente a uma funcao f em um intervalo finito [a, b], ent
ao valera lim fn (x)dx = lim fn (x) dx
n a a n
(se as integrais existirem), ou seja, podemos inverter a tomada do limite da seq uencia pela integracao. Um ponto muito
interessante, e importante, sobre as series de Fourier, e que, sobre condicoes adequadas, e possvel inverter a tomada do
limite por integrais definidas em intervalos finitos, mesmo quando as mesmas series n ao sao uniformemente convergentes.
Mas precisamente, mostraremos no que segue que as condicoes do Teorema de Fourier, Teorema 35.12, p agina 1697, sao
suficientes para garantir a possibilidade de se inverter a tomada do limite de series de Fourier por integrais definidas em
intervalos finitos.
38 Ou seja, f
e Lipschitz-contnua.
39 Sim
eon Denis Poisson (17811840).
40 Augustin Louis Cauchy (17891857).
atica Vers
Teorema 35.13 Seja f : R C uma func ao 2-peri

odica satisfazendo as condic
oes A ou B do Teorema de Fourier,
Teorema 35.12. Seja Sn (f, x) sua serie de Fourier:
n
X Z
eikx eikx
Sn (f, x) := fk , com fk := f (x) dx .
k=n
2 2
Z b Z b
Ent
ao, para quaisquer a, b com < a b < vale f (x) dx = lim Sn (f, x) dx, ou seja,
a n a
Z n Z n
b X b
eikx (b a)f0 X fk eikb eika
f (x) dx = lim fk dx = + lim .
a n
k=n a 2 2 n
k=n
ik 2
k6=0
Comentamos que o teorema acima pode ser generalizado de modo a abarcar n

ao apenas as funcoes f que satisfacam
do Teorema de Fourier, mas tambem todas as funcoes f L2 [, ], dx (vide Teorema 35.15, p agina 1706). Nesse
caso, a demonstracao e ainda mais simples que a que apresentamos a seguir, mas os pre-requisitos para sua elaboracao
sao mais avancados, pois faz-se uso da propriedade de completeza dos polinomios trigonometricos.
Z s
f0
Prova do Teorema 35.13. Seja a funcao F : R C definida por F (s) := f (x) dx. Essa integral est a bem
0 2
definida pois f e contnua ou contnua por partes, com limites laterais finitos, pela hipotese que f satisfaz as condicoes A
ou B do Teorema de Fourier, Teorema 35.12. Pelas mesmas raz oes F e, para todo s R, contnua e diferenci avel, com
f0
F (s) = f (s) . (35.90)
2
Alem disso, e facil provar que F e periodica de perodo 2. De fato, para todo s R vale
Z s+2 Z Z
f0 f0
F (s + 2) F (s) = f (x) dx = f (x) dx = f (x)dx 2f0 = 0 ,
s 2 2
sendo que na segunda igualdade usamos (35.51) (j

a que o integrando e 2-periodico) e na u
ltima igualdade usamos a
definicao de f0 .
Com isso, estabelecemos que tambem a funcao F satisfaz as hipoteses do Teorema de Fourier, e podemos escrever
Xn Z iks
eiks e
F (s) = lim Fk , com Fk := F (s) ds ,
n
k=n
2 2
com a serie de Fourier de F convergindo pontualmente a F para todo s, ja que F e contnua.

Observemos agora que, por integracao por partes, vale para todo k 6= 0,
Z iks Z
1 de (1)k 1
Fk = F (s) ds = F () F () eiks F (s) ds
ik 2 ds ik 2 | {z } ik 2
=0
Z
(35.90) 1 iks f0 fk
= e f (s) ds = .
ik 2 2 ik
Para calcular o coeficiente F0 usamos o fato evidente que F (0) = 0. Como F e contnua, sua serie de Fourier converge
n
1 X
a F em toda parte (novamente pelo Teorema de Fourier). Calculando-a em s = 0, segue que 0 = lim Fk ,
n 2 k=n
donde conclumos que
Xn Xn
fk
F0 = lim Fk = lim .
n
k=n
n
k=n
ik
k6=0 k6=0
atica Vers
Rs sf0
Como 0
f (x)dx =
2
+ F (s), provamos que
Z s Xn
sf0 F0 fk eiks
f (x)dx = + + lim
0 2 2 n k=n ik 2
k6=0
Rb Rb Ra
e como a f (x)dx = 0 f (x)dx 0 f (x)dx, conclumos que
Z n
b
(b a)f0 X fk eikb eika
f (x)dx = + lim ,
a 2 n
k=n
ik 2
k6=0
como queramos demonstrar.
35.4.4.1 S
eries de Fourier em Senos ou Co-Senos para Funco
es Definidas em Intervalos
Compactos
Aqui trataremos de um resultado da teoria das series de Fourier que se refere a expansoes em series de senos ou co-senos de
funcoes definidas em intervalos compactos, como o intervalo [0, L], L > 0. Esses resultados tem aplicacoes na resolucao
de problemas de valor inicial de certas equacoes diferenciais parciais, como o problema da corda vibrante ou da equacao
de difusao, das quais trataremos no Captulo 20, pagina 872. O principal resultado e a
Proposi c
ao 35.12 Para L > 0, seja f : [0, L] C uma func
ao contnua e diferenci
avel ou contnua por partes e tal
que as derivadas laterais
f (x + s) f (x+ ) f (y + s) f (y )
f (x+ ) := lim e f (y ) := lim
s0+ s s0 s
existam para todo x [0, L) e todo y (0, L], respectivamente. Ent
ao, tem-se
I. Serie de Fourier de senos. Para todo x [0, L] vale

X
k
f (x) = Ak sen x ,
L
k=1
onde, para x [0, L],

f (x+ )+f (x )
, se x (L, L) ,
2
f (x) :=

0, se x = 0 ou x = L .
e onde Z
L
2 k
Ak := sen y f (y) dy .
L 0 L
II. Serie de Fourier de co-senos. Para todo x [0, L] vale

X
k
f (x) = Bk cos x ,
L
k=0
onde, para x [0, L],

f (0+ ) , se x = 0 ,

f (x) := f (x+ )+f (x )
2 , se x (0, L) ,

f (L ) , se x = L ,
atica Vers
e onde Z Z
L L
1 2 k
B0 := f (y) dy e Bk := cos y f (y) dy , para k N .
L 0 L 0 L
Prova. Parte I. Para a demonstracao necessitamos considerar uma extensao 2L-periodica mpar da funcao f . Defina-se
primeiramente f1 : [L, L] C por

f (x) , se x (0, L) ,

f1 (x) := 0, se x = 0 ou se x = L ,

f (x) , se x (L, 0) ,

e defina-se f : R C por f(x) := f1 x mod 2L , x R, o que equivale a dizer que se y R e da forma y = x + 2kL
com x [L, L] e k Z, ent ao f(y) = f1 (x).
A funcao f e mpar (i.e., f(x) = f(x) para todo x R), 2L-periodica e, em funcao das propriedades supostas de
continuidade e diferenciabilidade por partes da funcao f , satisfaz as condicoes do Teorema de Fourier, Teorema 35.12,
p
agina 1697. Justifique! Conclumos daquele teorema e de (35.59) que para todo x R vale
n Z
f(x+ ) + f(x )
k k
X ei L x L
ei L y
= lim fk , com fk = f (y) dy . (35.91)
2 n 2L L 2L
k=n
Agora, e evidente pela definicao de f, e pelo fato de ser uma funcao mpar, que
Z L i k y Z L r Z L
e L i k 2 k
fk = f (y) dy = sen y f (y) dy = i sen y f (y) dy . (35.92)
L 2L 2L L L L 0 L
Disso extrai-se tambem que fk = fk para todo k Z. Com isso, a primeira equacao em (35.91) escreve-se

1 X i k

f(x+ ) + f(x ) x i k x
X k
= fk e L e L = Ak sen x ,
2 2L k=1 L
k=1
onde, para k N, r Z L
2 2 k
Ak := i fk = sen y f (y) dy .
L L 0 L
O interesse por (35.91) se d
a para x [0, L], em cujo caso temos

f (0+ ) , se x = 0 ,
f (0+ ) , se x = 0 ,

f (x+ ) = f (x+ ) , se x (L, L) , e f(x ) = f (x ) , se x (L, L) ,

f (L ) , se x = L , f (L ) , se x = L ,
de onde obtemos, para x [0, L],

f (x+ )+f (x )
f(x+ ) + f(x ) , se x (L, L) ,
2
=
2

0, se x = 0 ou x = L .
Isso provou a parte I.

atica Vers
Parte II. Para a demonstracao necessitamos considerar uma extensao 2L-periodica par da funcao f . Defina-se primei-
ramente f1 : [L, L] C por

f (x) , se x [0, L] ,
f1 (x) :=

f (x) , se x [L, 0) ,

e defina-se f : R C por f(x) := f1 x mod 2L , x R, o que equivale a dizer que se y R e da forma y = x + 2kL
com x [L, L] e k Z, ent ao f(y) = f1 (x).
A funcao f e par (i.e., f(x) = f(x) para todo x R), 2L-periodica e, em funcao das propriedades supostas de
continuidade e diferenciabilidade por partes da funcao f , satisfaz as condicoes do Teorema de Fourier, Teorema 35.12,
p
agina 1697. Justifique! Conclumos daquele teorema e de (35.59) que para todo x R vale
n Z
f(x+ ) + f(x )
k k
X ei L x L
ei L y
= lim fk , com fk = f (y) dy . (35.93)
2 n 2L L 2L
k=n
Agora, e evidente pela definicao de f, e pelo fato de ser uma funcao par, que
Z L i k y Z L r Z L
e L 1 k 2 k
fk = f (y) dy = cos y f (y) dy = cos y f (y) dy . (35.94)
L 2L 2L L L L 0 L
Disso extrai-se tambem que fk = fk para todo k Z. Com isso, a primeira equacao em (35.93) escreve-se

1 X i k x

f(x+ ) + f(x ) fk i k x
X k
= + fk e L +e L = Bk cos x ,
2 2L 2L k=1 L
k=0
onde Z
f0 1 L
B0 := = f (y) dy ,
2L L 0
e onde, para k N, r Z L
2 2 k
Bk := fk = cos y f (y) dy .
L L 0 L
O interesse por (35.93) se da para x [0, L], em cujo caso temos

f (0+ ) ,
se x = 0 ,
f (0+ ) , se x = 0 ,

f(x+ ) = f (x+ ) , se x (L, L) , e f(x ) = f (x ) , se x (L, L) ,

f (L ) , se x = L , f (L ) , se x = L ,
de onde obtemos, para x [0, L],

f (0+ ) , se x = 0 ,

f(x+ ) + f(x )
= f (x+ )+f (x )
2 2 , se x (L, L) ,

f (L ) , se x = L .
Isso provou a parte II.

atica Vers
E. 35.8 Exerccio. Seja L > 0. Usando, por exemplo, as formulas de prostaferese (35.67)(35.69), demonstre as relacoes
seguintes relacoes:

0 , se n 6= m ,
Z L

m n
cos y cos y dy = L , se n = m = 0 , m, n N0 , (35.95)
0 L L

L , se n = m 6= 0 ,
2
Z L m n L
sen y sen y dy = m, n , m, n N , (35.96)
0 L L 2

Z

L m n 0, se n = m ,
cos y sen y dy = m, n N0 . (35.97)
0 L L

L 2 n 2 1 (1)m+n , se n 6= m ,
n m
n o q
A expressao (35.95) informa-nos que conjunto de funcoes Nm cos m L y , m N0 , com Nm =
2
L para m 6= 0
q
1
e N0 = e um conjunto ortonormal em L2 [0, L], dx . A expressao (35.96) informa-nos que conjunto de funcoes
L,
nq o
2 m
L sen L y , m N e um conjunto ortonormal em L2 [0, L], dx . De (35.97) vemos que as funcoes cos m L y ,

m N0 , nao sao sempre ortogonais a todas as funcoes sen n L y , n N, no intervalo [0, L], pois o lado direito de (35.97)
anula-se se e somente quando m + n for par.
interessante ao estudante comparar as relacoes (35.95)(35.97), acima, com as relacoes (35.62)(35.64), da pagina 1687.
E
nq o n o
2 m m
Tanto o conjunto de funcoes sen y , m N quanto o conjunto de fun
c o
es N m cos y , m N 0 , com
q qL L

L
2 1
Nm = L para m 6= 0 e N0 = ao conjuntos ortonormais completos em L2 [0, L], dx , ou seja, compoes bases
L , s
ortonormais completas nesse espaco. 6
35.4.5 Revisitando a Aproximac

ao Uniforme de Func
oes Contnuas e Peri
odicas
por Polin
omios Trigonom etricos
Somas de Ces`
aro
Se am , m N e uma seq
uencia de n
umeros complexos a expressao lim An , onde An e a seq
uencia das somas parciais
n
n
X
An := am , caso o limite exista, define, como bem sabido, o que se denomina uma serie, a serie associada `
a seq
uencia
m=0
am . Assim, uma serie convergira se e somente se o limite da sequencia formada pelas somas parciais acima convergir.
X Xn
Notacionalmente, uma serie e tambem denotada por am , caso o limite lim An = lim am exista.
n n
m=0 m=0
A soma de Ces` aro41 da seq

uencia am (tambem denominada serie de Ces`
aro, ou media de Ces`
aro, associada à seq
uencia
am ), e definida por
n n m
1 X 1 XX
lim Am = lim ap .
n n + 1 n n + 1
m=0 m=0 p=0
caso o limite exista. Como se ve, a serie de Ces`

aro de uma seq
uencia am e formada pelo limite (caso exista) da media
das somas parciais da seq
uencia am .
41 Ernesto Ces`
aro (18591906).
atica Vers
facil demonstrar que se uma serie converge a um valor a, ent

E ao o limite de sua serie de Cesàro tambem existe e
tambem vale a. De fato, se Am converge a a, ent
ao para todo > 0 existe N () tal que |Am a| < para todo m > N ().
Tomando n > N (), teremos
n N () n
1 X 1 X 1 X
Am a = Am + Am a
n + 1 m=0 n + 1 m=0 n+1
m=N ()+1
N () n
1 X 1 X N () + 1
= Am + (Am a) + a.
n + 1 m=0 n+1 n+1
m=N ()+1
N ()
1 X
Para fixo, o termo Am vai a zero quando n , pois o numero de termos somados e fixo. O termo
n + 1 m=0
1 Xn
N ()+1
n+1 a claramente tambe m vai a zero quando n . Por fim, para a soma (Am a) temos a
n+1
m=N ()+1
majoracao

Xn Xn Xn
1 1 1 n N ()
(Am a) |Am a| = < .
n + 1 n+1 n+1 n+1
m=N ()+1 m=N ()+1 m=N ()+1
Logo,
Xn
1

lim sup (Am a) <
n n + 1
m=N ()+1

1 X n 1 X
n

Assim, lim sup Am a < . Como > 0 e arbitrario, estabelecemos que lim Am = a, como
n n + 1 n n + 1
m=0 m=0
queramos provar.
O interessante sobre as series de Ces`
aro e que existem sequencias cujas series n
ao possuem limite, mas cujas series de
Cesàro convergem. Um exemplo b uencia am = (1)m . Suas somas parciais valem An = ((1)n + 1)/2, ou
asico e a seq
seja, An = 1 se n e par e An = 0 se n e mpar. Claramente limn An n ao existe. Porem, sua serie de Cesàro existe,
com
n
1 X 1
lim Am = ,
n n + 1 2
m=0
como e facil constatar.

Ha diversos outros tipos de series como a de Cesàro, que podem produzir somas convergentes para series n ao-
convergentes. O livro cl assico sobre esse assunto e Divergent Series, de G. H. Hardy42 [97], um estimulante texto, de
rara elegancia de estilo na literatura matematica.
O n
ucleo de Fej
er
Vamos agora redemonstrar o Teorema 35.9, lancando outra luz sobre seu significado.
Seja Fn (x) definida para todo x R por
n
1 X
Fn (x) := Dm (x) . (35.98)
n + 1 m=0
Como se ve, trata-se da media da soma parcial das seq

uencia dos n
ucleos de Dirichlet, ao estilo das supracitadas medias
ucleo de Fejer43 .
de Cesàro. Cada funcao Fn e denominada n
42 Godfrey Harold Hardy (18771947).
43 Lip
ot Fej
er (18801959).
atica Vers
Para o que segue e importante estabelecer algumas propriedades dos n ucleos de Fejer, o que e feito na proxima
proposicao, a qual estabelece que as funcoes Fn formam uma seq
uencia delta de Dirac 2-periodica.
Proposi
c
ao 35.13 Para todo n N0 os n
ucleos de Fejer Fn definidos em (35.98) satisfazem:
1. Fn e contnua, par e 2-peri

odica.
2. Fn (x) 0 para todo x R.
Z
3. Fn (y) dy = 1.

4. Valem as f
ormulas mais explcitas
2
(n+1)
1 sen 2 x n+1
Fn (x) = , x 6= 0 , Fn (0) = . (35.99)
2(n + 1) sen x2 2
5. Para todo com 0 < < vale n o

lim sup Fn (x), |x| = 0 . (35.100)
n
Ou seja, para todo com 0 < < a seq
uencia de func
oes Fn converge uniformemente `
a func
ao nula na regi
ao
[, ] [, ]. 2
Prova. O item 1 e evidente pelas propriedades correspondentes do n

ucleo de Dirichlet (Proposicao 35.9, p
agina 1693). O
item 3 e evidente por (35.81).
Xn
1 n+1
Por (35.82), vale Fn (0) = (2m + 1) = (prove isso!) e para x 6= 0,
2(n + 1) m=0 2
n
1 X sen (m + 12 )x
Fn (x) :=
2(n + 1) m=0 sen x2
n h
X i
1
= x
eix/2 eimx eix/2 eimx
4i(n + 1) sen 2 m=0
" n n
#
1 X X
e ix/2 imx ix/2 imx
= x e e e
4i(n + 1) sen 2 m=0 m=0

(35.83) 1 ix/2 1 ei(n+1)x ix/2 1 ei(n+1)x
= x
e e
4i(n + 1) sen 2
1 eix 1 eix
1 h i
= 2 ei(n+1)x 2 + ei(n+1)x
x
8(n + 1) sen 2
1 h i2
= 2 ei(n+1)x/2 ei(n+1)x/2
x
8(n + 1) sen 2
2
(n+1)
1 sen 2 x
= .
2(n + 1) x
sen 2
Isso estabeleceu o item 4 e, por conseguinte, o item 2. Para demonstrar o item 5, consideremos x [, ] para algum
0 < < . Por (35.99),
!2
1 1
|Fn (x)| . (35.101)
2(n + 1) sen x2
atica Vers
2
d 1 cos( x2)
Agora, no intervalo [, ] tem-se sen ( x
= 3 < 0 o que significa dizer que a fun
cao do lado direito de
2)
dx ( sen ( x2 ))
(35.101) e decrescente e, portanto, assume seu valor maximo em x = , o incio do intervalo [, ]. Logo,
!2
1 1
|Fn (x)| . (35.102)
2(n + 1) sen 2
Essa desigualdade vale tambem no intervalo [, ], pois Fn e par. A desigualdade (35.102) implica que lim |Fn (x)| =
n
0 uniformemente em [, ] [, ].
Estabelecemos que Fn e uma sequencia delta de Dirac 2-periodica e, se f e uma funcao contnua e 2-periodica
sabemos pelo Teorema 35.8, p
agina 1689, que
Z
Fn (f, x) := Fn (x y) f (y) dy

converge uniformemente a f em R. Claro est

a que
n Z n
1 X 1 X
Fn (f, x) = Dm (x y) f (y) dy = Sm (f, x) ,
n + 1 m=0 n + 1 m=0
mostrando que Fn (f, x) e a media de Cesàro das somas parciais de Fourier. A afirmacao que toda funcao contnua e
2-periodica pode ser aproximada uniformemente pela media de Cesàro de suas somas de Fourier parciais e conhecida
como Teorema de Fejer, resultado provado por aquele autor no ano de 1900. Naturalmente, isso diz que toda funcao
contnua e 2-periodica pode ser aproximada uniformemente por um polinomio trigonometrico, fato que ja estudamos
sob a forma do Teorema 35.9, p agina 1691. A distincao entre o Teorema de Fejer e aquele teorema e o tipo de n
ucleo de
Dirac usado em ambos os casos e o fato de o Teorema de Fejer trazer uma relacao com as medias de Cesàro.

35.4.6 S co de Hilbert L2 [, ], dx
eries de Fourier e o Espa
Completeza dos polin

omios trigonom
etricos. Identidade de Parseval
A teoria das series de Fourier e intimamente ligada à teoria dos espacos de Hilbert, que desenvolvemos no Captulo
einx
agina 1829. Nesse contexto desempenha um papel fundamental o fato de as funcoes en (x) = , n Z, formarem
37, p
2
um conjunto ortonormal completo em L2 [, ], dx (para a definicao da nocao de conjunto ortonormal completo e
suas e propriedades, vide p agina 1841 e seguintes). Esse e o conte
udo do seguinte teorema:
Teorema 35.14 Seja H = L2 ([, ], dx) o espaco de Hilbert das R funcoes de quadrado integravel em [, ] em
relac a medida de Lebesgue dx e cujo produto escalar e hf, gi = [, ] f (x)g(x) dx, f, g H. Ent
ao ` ao, as func
oes
inx
e
en (x) = , n Z, comp oe um conjunto ortonormal completo em H. Assim, para todo g H vale
2

X
g = hen , gi en (35.103)
n=
e

X
kgk = 2 hen , gi2 , (35.104)
n=
p
sendo kgk := hg, gi a norma de g em H. A convergencia da serie em (35.103) se d
a em relac
ao `
a norma k k de H,
ou seja, tem-se
XN

lim g hen , gi en = 0 .
N
n=N
2
atica Vers
A demonstracao e apresentada na Secao 35.6.3, p

agina 1715, como caso particular da Proposicao 35.21, p
agina 1717,
e com uso de resultados do Captulo 37, p agina 1829. Vide comentarios que sucedem o enunciado da Proposicao 35.21.
A identidade (35.104) e denominada identidade de Parseval44 , que a deduziu em 1805. Se, por exemplo, g for uma
funcao contnua ou contnua por partes em [, ] (situacoes essas encontradas em muitas aplicacoes da teoria das series
de Fourier, por exemplo, ` a solucao de equacoes diferenciais), teremos g L2 [, ], dx e, portanto,

X Z
einx einx
g(x) = gn com gn := g(x) dx , n Z ,
n= 2 2

com a serie convergindo no sentido da norma de L2 [, ], dx , sendo que pela identidade de Parseval valera
Z
X

g(x)2 dx = |gn |2 .
n=
Nos exerccios da Secao 35.7, p

agina 1718, apresentamos alguns usos dessa identidade.

Invers
ao de integrais definidas com a s
erie de Fourier. Generalizaao para L2 [, ], dx
c
Vamos agora apresentar um resultado que garante a possibilidade de inverter integrais de Lebesgue em intervalos
compactos de uma funcao de L2 [, ], dx com sua serie de Fourier, generalizando o Teorema 35.13, p agina 1698.
Z
eikx
Teorema 35.15 Seja f L2 [, ], dx e sejam fk := f (x)dx, k Z, seus coeficientes de Fourier.
[, ] 2
Ent
ao, para quaisquer a, b com [a, b] [, ] vale
Z n Z b ikx n
X e (b a)f0 X fk eikb eika
f dx = lim fk dx = + lim , (35.105)
[a, b] n
k=n a 2 2 n
k=n
ik 2
k6=0
a integrac
ao do lado esquerdo sendo entendida
no
R sentido de Lebesgue. Se g : R C for uma periodizac ao de perodo
2 de uma funcao f de L2 [, ], dx , ent
ao [a, b] g dx e tambem dada pelo lado direito de (35.105), mas agora para
qualquer intervalo [a, b] com < a b < . 2
einx
agina 1705, o conjunto en (x) = , n Z, forma um conjunto ortonormal completo
Prova. Pelo Teorema 35.14, p
2
Xn

em L2 [, ], dx e podemos escrever f = lim fk ek com a convergencia se dando no sentido da norma de
n
k=n
Z
eikx
L2 [, ], dx , onde fk := hek , f i = f (x)dx para todo k Z.
[, ] 2
Seja [a, b] a funcao caracterstica do intervalo [a, b] (ou seja, [a, b] (x) = 1 e x [a, b] e [a, b] (x) = 0 e x 6 [a, b]).
evidente que [a, b] L2 ([, ], dx) e que o produto escalar h[a, b] , f i e igual à integral de Lebesgue de f em [a, b]:
E R
h[a, b] , f i = [a, b] f dx. Logo,
Z * n
+ n
X X

f dx = h[a, b] , f i = [a, b] , lim fk ek = lim fk [a, b] , ek
[a, b] n n
k=n k=n
n
X Z b
eikx
= lim fk dx
n
k=n a 2
n
(b a)f0 X fk eikb eika
= + lim ,
2 n
k=n
ik 2
k6=0
44 Marc-Antoine Parseval de Ch
enes (17551836).
atica Vers

provando (35.105) para f L2 [, ], dx . Na terceira igualdade acima usamos a continuidade e a linearidade do
produto escalar.

Seja agora g : R C for uma periodizacao de perodo 2 de uma funcao f de L2 [, ], dx , e seja [a, b] um
[
intervalo compacto de R. Podemos escrever [a, b] = [a, b] [n, (n + 2)] , uma uniao disjunta finita (pois
nZ Z XZ
[a, b] e compacto) de conjuntos Borelianos (por serem intervalos fechados). Assim, g dx = g dx com
[a, b] nZ An
An := [a, b] [n, (n + 2)], sendo a soma acima, ipso facto, finita. Em cada intervalo [n, (n +Z 2)] a funcZao g e o
transladado de f . Assim, para cada n, devido `
a invariancia translacional da medida de Lebesgue, g dx = f dx,
An Bn
com Bn sendo o conjunto An transladado de (n + 1): Bn := [a (n 1), b (n 1)] [, ]. Ao lado direito
aplica-se agora (35.105) e disso segue facilmente a validade de (35.105) tambem para g.
35.5 O Teorema de Stone-Weierstrass

A primeira versao do Teorema de Weierstrass, Teorema 35.3, acima, afirma que qualquer funcao contnua f , real ou
complexa, definida em um intervalo compacto [a, b] pode ser uniformemente aproximada por polinomios definidos nesse
intervalo. Em muitas aplicacoes (como na demonstracao do Teorema Espectral. Vide Secao 38.9, pagina 1996) estamos
interessados em aproximar funcoes contnuas definidas em conjuntos compactos outros que n ao simples intervalos, por
exemplo, em conjuntos de Cantor (vide Secao 29.3, p agina 1339). Uma generalizacao do Teorema 35.3 se faz, portanto,
necessaria. Uma forte generalizacao daquele teorema foi obtida por Stone45 em 1937 e dedicamo-nos agora a apresenta-la.
Se X e um espaco topologico compacto, denotamos por C(X, R) (ou por C(X, C)) o conjunto de todas as funcoes
contnuas em X assumindo valores em R (respectivamente, em C).
E bastante claro que uma combinacao linear complexa de funcoes continuas em X assumindo valores em C e novamente
uma funcao contnua assumindo valores em C, assim como e claro que o produto usual de duas funcoes contnuas em X
assumindo valores em C e novamente uma funcao contnua em X assumindo valores em C. Isso significa que C(X, C)
e uma algebra complexa (por ser um espaco vetorial complexo) em relacao ao produto usual de funcoes. Analogamente,
C(X, R) e uma algebra real em relacao ao produto usual de funcoes.
As algebras C(X, R) e C(X, C) sao algebras Abelianas (pois o produto usual de funcoes e comutativo) e tambem
sao
algebras unitais, pois a funcao constante igual a 1 pertence a C(X, R) e a C(X, C) e age como elemento neutro
da multiplicacao. Denotamos a funcao constante igual a 1 tambem por 1. Que 1 e contnua segue da observacao que a
pre-imagem de qualquer aberto em R ou C pela funcao constante ou e o conjunto vazio ou e todo X, que e aberto por
definicao.
Sabemos pelo Corol
ario 25.1, p
agina 1219, que os conjuntos C(X, R) e C(X, C) sao completos na metrica uniforme
d , definida por n o

d (f, g) := sup f (x) g(x), x X
para todas f, g C(X, R) ou C(X, C). Observe que kf gk := d (f, g) e uma norma em C(X, R) ou em C(X, C).
Tudo isso significa que C(X, R) e C(X, C) sao
algebras de Banach (para a norma k k ) Abelianas e unitais.
Uma sub-algebra B de C(X, R) (de C(X, C)) e um subespaco vetorial real de C(X, R) (complexo de C(X, C)) que
e por si so uma algebra com relacao ao produto usual de funcoes. B e dita ser unital se 1 B. Dizemos que B separa
pontos se para cada par x1 , x2 X com x1 6= x2 existir uma funcao b B tal que b(x1 ) 6= b(x2 ).
Se B e uma sub-algebra complexa de C(X, C), dizemos que B e conjugada se a funcao complexo-conjugada b
pertencer a B sempre que b B.
Teorema 35.16 (Teorema de Stone-Weierstrass) I. Seja X compacto e B uma sub- algebra de C(X, R) que seja
ao, B = C(X, R), onde B e o fecho de B na topologia metrica definida pela norma k k .
unital e que separe pontos. Ent
Assim, se c C(X, R) ent
ao para todo > 0 existe b B tal que sup |c(x) b(x)| < .
xX
45 Marshall Harvey Stone (19031989). Para coment arios sobre a g
enese do Teorema de Stone-Weierstrass, vide M. Stone, A reminiscence
on the extension of the Weierstrass approximation theorem, Historia Math. 3 (1976), 328.
atica Vers
II. Seja X compacto e B uma sub- algebra complexa de C(X, C) que seja unital, conjugada e que separe pontos.
Ent
ao, B = C(X, C), onde B e o fecho de B na topologia metrica definida pela norma k k .
Assim, se c C(X, C) ent
ao para todo > 0 existe b B tal que sup |c(x) b(x)| < . 2
xX
Depois de apresentarmos a demonstracao desse importante teorema mostraremos como ele generaliza alguns resultados
que provamos anteriormente.
Prova do Teorema de Stone-Weierstrass. A parte II segue da parte I e por isso trataremos da parte I (o caso real) primeiro.
Prova da parte I. O caso real.
A primeira observacao a fazer e que B e uma sub-algebra de C(X, R). Isso se deve ao seguinte. Primeiramente do
fato que B C(X, R) e C(X, R) e completa e, portanto, fechada (Proposicao 27.11, p agina 1301) segue que
B C(X, R) . (35.106)
Que B e uma algebra, segue da observacao que se fn e gn sao seq

uencias de B que convergem a f e g, respectivamente,
na norma k k , ent
ao

n
(f + g) (fn + gn ) || f fn + || g gn 0 ,

provando que f + g B para todos , R. Fora isso, f g fn gn = f (g gn ) + g(f fn ) + (gn g)(f fn ) e,

portanto,
n
f g fn gn kf k kg gn k + kgk kf fn k + kgn gk kf fn k 0 ,

provando que f g B.
A segunda observacao a fazer e que se h B, ent ao |h| B. Como h B C(X, R), a funcao X x 7 |h(x)| R+
e contnua (por ser a composicao das funcoes contnuas h e | |) e, portanto, pelo Teorema 32.16, p
agina 1473, assume
um maximo H em X.
Lembremos agora que pelo Teorema de Weierstrass, Teorema 35.3, a funcao |t| pode ser aproximada no intervalo

[0, H] uniformemente por polinomios, ou seja, existe para cada > 0 um polinomio p tal que sup |t| p (t) < .
t[0, H]

Logo, para cada x X vale |h(x)| p (h(x)) < e, portanto, |h| p (h) . E claro que p (h) B (pois B e

algebra). Isso estabeleceu que |h| B, como queramos.
uma
Vamos agora introduzir para f, g B os elementos f g e f g de B definidos por
1 1
f g := min{f, g} = f + g f g , f g := max{f, g} = f + g + f g , (35.107)
2 2
com os quais B adquire a estrutura de um reticulado. Vide Secao 2.1.2, p
agina 77 e, em particular, o Exemplo 2.3,
p
agina 78.
Seja h C(X, R) e sejam r e s X dois pontos distintos quaisquer de X. Afirmamos que existe uma funcao fr, s B
que e igual a h nesses dois pontos, ou seja, tal que
fr, s (r) = h(r) e fr, s (s) = h(s) .
Para provar isso, lembremos que, como B separa pontos, existe uma funcao g B tal que g(r) 6= g(s). Tomando
1 h i
fr, s (x) = h(r) h(s) g(x) + h(s)g(r) h(r)g(s) 1 ,
g(r) g(s)
vemos facilmente que fr, s satisfaz as propriedades desejadas e e um elemento de B, pois esse e um espaco linear e contem
a funcao constante.
Desejamos provar que h C(X, R) pode ser uniformemente aproximada por elementos de B. Para tal procedemos
da seguinte forma. Seja > 0, arbitrario.
atica Vers
Como fr, s e h coincidem no ponto s e ambas sao contnuas, existe uma vizinhanca aberta Vs de s tal que |fr, s (x)
h(x)| < para todo x Vs . Isso significa, que vale < fr, s (x) h(x) < para todo x Vs e, em particular, obtem-se
disso que
fr, s (x) > h(x)
vale para todo x Vs .
E claro que a famlia de abertos {Vs , s X} cobre todo o conjunto X (pois, para cada s X tem-se s Vs , por
construcao). Como X e compacto, existe (pela definicao de compacidade, vide Secao 32.3, p agina 1455) uma famlia
finita {Vs1 , . . . , Vsn } que tambem cobre X. Naturalmente os pontos s1 , . . . , sn X sao distintos.
Ora, para cada k = 1, . . . , n tem-se, pela construcao,
fr, sk (x) > h(x) (35.108)
para todo x Vsk . Segue disso que a funcao fr definida por

fr := max fr, s1 , . . . , fr, sn = fr, s1 . . . fr, sn
satisfaz
fr (x) > h(x) (35.109)
(35.108)
para todo x X. De fato, em cada Vsk vale fr (x) fr, sk (x) > h(x) e como os Vsk cobrem todo X a afirmacao
e valida.
Pelos coment arios ao incio da demonstracao sabemos que a funcao fr e um elemento de B C(X, R) e, portanto,
e uma funcao contnua.
O que faremos agora e imitar aos passos de acima para obter uma desigualdade oposta. Observemos primeiramente
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 vizinhanca aberta Ur do ponto r tal que |fr (x) h(x)| < para todo x Ur , ou seja,
< fr (x) h(x) < para todo x Ur , o que, em particular, afirma que
fr (x) < h(x) +
para todo x Ur . E claro que a famlia de abertos {Ur , r X} cobre todo o conjunto X (pois, para cada r X
tem-se r Ur , por construcao). Como X e compacto, existe uma famlia finita {Ur1 , . . . , Urm } que tambem cobre X.
Naturalmente os pontos r1 , . . . , rm X sao distintos.
Ora, para cada k = 1, . . . , m tem-se, pela construcao,
frk (x) < h(x) + (35.110)
para todo x Urk . Segue disso que a funcao f definida por

f := min fr1 , . . . frm = fr1 . . . frm
satisfaz
f (x) < h(x) + (35.111)
(35.110)
para todo x X. De fato, em cada Urk vale f (x) frk (x) < h(x) + e como os Urk cobrem todo X a afirmacao e
valida.
Pelos coment arios ao incio da demonstracao sabemos que a funcao f e um elemento de B C(X, R) e, portanto, e
uma funcao contnua.
Notemos agora que, (35.109) implica tambem que
f (x) > h(x) (35.112)

atica Vers
para todo x X, pois cada fr1 (x), . . . frm (x) satisfaz essa desigualdade e f (x) e o mnimo deles. Provamos ent
ao que
(35.111) (35.112)
h(x) < f (x) < h(x) +

para todo x X, o que implica f (x) h(x) < para todo x X, o que implica kf hk < .
Coletando nossos resultados, provamos que dado > 0 existe f B tal que kf hk < . Isso provou que todo
elemento de C(X, R) e uniformemente aproxim avel por um elemento de B. Pela Proposicao 27.10, p
agina 1301 segue que
C(X, R) esta contido no fecho de B (que j
a e fechado), ou seja, C(X, R) B. Por (35.106), isso implica C(X, R) = B,
completando a prova da parte I.
Prova da parte II. O caso complexo.
Pelo mesmo raciocnio do caso II, temos tambem aqui que
B C(X, C) . (35.113)
Como B e conjugada, se b B ent ao b B e, portanto, Re (b) = 21 (b + b) e Im (b) = 2i

1
(b b) sao tambem elementos
de B, ja que B e um espaco vetorial complexo. Note-se que tanto Re (b) quanto Im (b) sao funcoes com valores em R
e, portanto, elementos de C(X, R). Vamos denotar por BR o conjunto de todas as funcoes Re (b) ou Im (b) para todos
os elementos b B. Como Im (b) = Re (ib), podemos alternativamente definir BR := {Re (b), b B}. E evidente que
BR B e que BR C(X, R).
Se b1 e b2 sao elementos de B e , R, teremos que Re (b1 ) + Re (b2 ) = Re (b1 + b2 ) BR . Alem disso,
Re (b1 )Re (b1 ) = 21 Re (b1 b2 ) + Re (b1 b2 ) BR . Isso provou que BR e uma algebra real. Naturalmente 1 BR , de modo
que BR e tambem unital. Agora, se x1 e x2 sao dois pontos distintos de X sabemos que existe b B tal que b(x1 ) 6= b(x2 )
pois, por hipotese, B separa pontos. Mas isso implica ou que Re (b)(x1 ) 6= Re (b)(x2 ) ou que Im (b)(x1 ) 6= Im (b)(x2 )
(ou ambos). Lembremos que Im (b)(x1 ) 6= Im (b)(x2 ) significa Re (ib)(x1 ) 6= Re (ib)(x2 ). Isso mostrou que BR tambem
separa pontos.
Como vemos, BR satisfaz as hip oteses da parte I e conclumos que toda funcao de C(X, R) pode ser uniformemente
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 funcoes reais e contnuas e, portanto, elementos de C(X, R).

Escolhamos > 0. Pela parte I e pelas consideracoes acima, existem, b1 e b2 BR tais que Re (h) b1 < /2 e

Im (h) b2 < /2. Logo, definindo b B por b = b1 + ib2 , teremos

h b =
Re (h) b 1 + i Im (h) b 2

kRe (h) b1 k + kIm (h) b2 k < .

Isso provou que todo elemento de C(X, C) e uniformemente aproxim

avel por um elemento de B, ou seja, que C(X, C)
B. Com (35.113) isso completa a demonstracao
O seguinte teorema, devido a Kakutani46 e Krein47 , possui hipoteses ligeiramente diferentes das do Teorema de
Stone-Weierstrass para o caso real.
Teorema 35.17 (Teorema de Kakutani-Krein) Seja X compacto e B um subconjunto de C(X, R) com as seguintes
propriedades: 1. B e um espaco vetorial real, 2. B contem a unidade. 3. B separa pontos, 4. se f e g B ent ao
f g = min{f, g} e f g = max{f, g} (vide (35.107)) s ao tambem elementos de B. Ent
ao, B = C(X, R), onde B e o
fecho de B na topologia metrica definida pela norma k k .
Assim, se c C(X, R) ent
ao para todo > 0 existe b B tal que sup |c(x) b(x)| < . 2
xX
Prova. As hipoteses acima diferem das da parte I do Teorema 35.16 pois n

ao supomos aqui que B forma uma algebra
real, mas apenas que seja um espaco linear real e um reticulado com as operacoes binarias f g = min{f, g} e
f g = max{f, g}. Contudo, observando a demonstracao da parte I do Teorema 35.16, notamos que a hipotese de B
46 Shizuo Kakutani (19112004).
47 Mark Grigorievich Krein (10971989).
atica Vers
ser uma algebra e usada apenas para justificar a existencia de f g e de f g em B. Portanto, se assumirmos que tais
f g = min{f, g} e f g = max{f, g} sao elementos de B, o resto da demonstracao segue sem modificacoes.
Generalizando o Teorema de Weierstrass para conjuntos compactos

Se 6= 0 o polinomio p(x) = x, x R, e bijetor e, portanto, separa pontos. Essa simples observacao mostra que se
C R e compacto, ent ao a
algebra B de todos os polinomios em R restritos a C satisfaz as hipoteses do Teorema de
Stone-Weierstrass, Teorema 35.16, p agina 1707. Conclumos que uma das conseq uencias do Teorema de Stone-Weierstrass
e a seguinte generalizacao do Teorema de Weierstrass, Teorema 35.3, p agina 1669:
Teorema 35.18 (Teorema de Weierstrass) Seja f uma func ao real ou complexa, contnua em um conjunto compacto
C R. Ent ao, f pode ser aproximada uniformemente em C por polin
omios, ou seja, para todo > 0 existe um polin
omio
p tal que kp f k = sup |p (x) f (x)| . 2
xC
35.6 Completeza de Algumas Famlias de Fun

coes
Nesta secao o leitor sera apresentado a algumas demonstracoes da propriedade de completeza de algumas famlias
de funcoes de maior interesse. Devido ` a natureza do problema, serao utilizados resultados da teoria de integracao
demonstrados e discutidos em outros captulos deste texto. De particular relevancia sao as nocoes de espaco de Hilbert e de
conjunto ortogonal completo em espacos de Hilbert, discutidas no Captulo 37, p agina 1829, cuja leitura e imprescindvel
para a compreensao do que segue.
Como conseq uencia dos nossos esforcos estabeleceremos a possibilidade de aproximar certas funcoes pertencentes a
certos espacos de Hilbert por certos conjuntos completos de funcoes em tais espacos.
35.6.1 Completeza de Polin

omios Ortogonais em Intervalos Compactos
Para o tratamento de polinomios ortogonais em intervalos compactos o teorema a seguir, o qual e uma conseq
uencia do
Teorema de Weierstrass (Teorema 35.3, pagina 1669), e de import
ancia fundamental:
Proposi cao 35.14 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma func ao positiva e integr
avel no
Rb
intervalo [a, b], ou seja, tal que a r(x)dx seja finita. Seja f uma func
ao contnua definida em [a, b]. Ent
ao,
Z b
f (x) xn r(x) dx = 0 (35.114)
a
e v
alida para todo n N0 , se e somente se f 0 em [a, b]. 2
Rb
Prova. Precisamos provar que se a f (x)xn r(x) dx = 0 para todo n e f e contnua, ent ao f e identicamente nula. Como
|f | e contnua em um intervalo compacto, |f | assume um maximo M nesse intervalo, com M = maxx[a, b] |f (x)| (Teorema
32.16, p agina 1473). Pelo Teorema de Weierstrass, Teorema 35.3, p agina 1669, existe para todo > 0 um polinomio p
tal que |f (x) p(x)| para todo x [a, b]. Com esse polinomio p, podemos escrever
Z b Z b Z b
|f (x)|2 r(x) dx = f (x)p(x) r(x) dx + f (x) f (x) p(x) r(x) dx .
a a a
Z b
Agora, pela hipotese (35.114), f (x)p(x) r(x) dx = 0, pois p, como todo polinomio, pode ser escrito como uma com-
a
binacao linear finita dos monomios xn . Fora isso,
Z Z b
b

f (x) f (x) p(x) r(x) dx |f (x)| |f (x) p(x)| r(x) dx M R ,
a a
atica Vers
Rb
onde R := a r(x)dx. Conclumos que
Z b
|f (x)|2 r(x) dx M R
a
Rb 2
e como e arbitrario, isso implica a |f (x)| r(x) dx = 0. Como f e contnua isso implica que f e identicamente nula,
como queramos provar.
A Proposicao 35.14 afirma que a u nica funcao contnua que e ortogonal a todos os polinomios e a funcao nula.
Rb
Ortogonalidade aqui e entendida em relacao ao produto escalar hf, gir := a f (x)g(x) r(x)dx definido no espaco de
Hilbert das funcoes de quadrado integravel em relacao à medida r(x)dx, ou seja, que satisfazem
Z b
|f (x)|2 r(x)dx < .
a

Denotaremos esse espaco de Hilbert por L2 [a, b], r(x)dx , como de praxe. E claro que as funcoes contnuas definidas

no intervalo [a, b] sao todas de quadrado integravel e, portanto, sao elementos do espaco de Hilbert L2 [a, b], r(x)dx .
Mas nem todas as funcoes de quadrado integravel sao contnuas. A afirmacao da Proposicao 35.14 pode, porem, ser
estendida ao espaco L2 [a, b], r(x)dx . Esse e o conteudo da proposicao que segue.
Proposi c
ao 35.15 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma func ao positiva e integr
avel no
Rb Rb
intervalo [a, b], ou seja, tal que a r(x)dx seja finita. Seja hk, lir := a k(x)l(x)r(x)dx o produto escalar definido
por r e L2 [a, b], r(x)dx o correspondente espaco de Hilbert de func oes de quadrado integr
avel. Entao, para g
2
L [a, b], r(x)dx a relacao
Z b
g(x) xn r(x) dx = 0 (35.115)
a
e v
alida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. 2
Z x
Prova. Defina-se G(x) := g(y)r(y)dy. G e contnua e diferenci
avel com G (x) = g(x)r(x) quase em toda parte. E
a Rb
claro que G(a) = 0 e que G(b) = a g(y)r(y)dy = 0 por (35.115) (para o caso particular n = 0). Assim, integracao por
partes diz-nos que
Z b Z b Z b
(35.115)
0 = g(x) xn r(x) dx = G (x) xn dx = G(b)bn G(a)an n G(x) xn1 dx .
a a | {z } a
=0
Rb
Portanto, conclumos que a G(x) xn1 dx = 0 para todo n 1. Como G e contnua, podemos aplicar a Proposicao
35.14, agora para o caso r 1, para concluir que G e identicamente nula. Como G (x) = g(x)r(x) quase em toda parte,
isso implica que g e nula quase em toda parte.
Seja agora uma famlia de polinomios pn (x) em [a, b] para todo n N0 , sendo que cada polinomio pn tem grau n
e sendo que os polinomios pn (x) sejam ortonormais em relacao ao produto escalar definido por r, ou seja, satisfazem
hpm , pn ir = m, n para todos m, n (uma tal famlia sempre pode ser obtida a partir de p0 (x) := R1/2 pelo procedimento
de ortogonalizacao de Gram-Schmidt. Vide Secao 3.3, p agina 205). Como cada polinomios pm (x) tem grau m, cada
mon omio xn pode ser escrito como uma combinacao linear finita de polinomios pm (x) com m n. E da evidente que a
Proposicao 35.15 equivale `
a
Proposi c
ao 35.16 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma func ao positiva e integr avel no
Rb Rb
intervalo [a, b], ou seja,
tal que a r(x)dx seja finita. Seja hk, lir := a k(x)l(x)r(x)dx o produto escalar definido por
r e L2 [a, b], r(x)dx o correspondente espaco de Hilbert de func oes de quadrado integravel. Seja pn (x), com n N0 ,
uma famlia de polinomios, cada pn sendo de grau n, que sejam ortonormais em relac ao ao produto escalar
h, ir , ou
seja, os polin
omios pn satisfazem hpm , pn ir = m, n para todos m, n. Ent ao, para g L2 [a, b], r(x)dx a relacao
Z b
g(x) pn (x) r(x) dx = 0 (35.116)
a
atica Vers
e v
alida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. 2

De acordo com as definicoes do Captulo 37, p agina 1829, a Proposicao 35.16 diz-nos que L2 [a, b], r(x)dx e um
espaco de Hilbert separ
avel e que a famlia de polinomios ortonormais pn forma um conjunto ortonormal completo em
L2 [a, b], r(x)dx (vide
p agina 1841). Pelos Teoremas 37.5 e 37.6, paginas 1842 e 1844, respectivamente, vale para todo
2
g L [a, b], r(x)dx
X X
2
g(x) = hpn , gir pn (x) e kgk2r = |hpn , gir | , (35.117)
n=0 n=0
p
sendo kgkr := hg, gir a norma de g em L2 [a, b], r(x)dx . A convergencia da primeira serie em (35.117) se d
a em
relacao à norma k kr de L2 [a, b], r(x)dx , ou seja, tem-se

XN

lim g hpn , gir pn = 0 .
N
n=0 r

omios de Legendre
Aplicando os fatos acima aos polin
q omios de Legendre Pn , estudados na Secao 15.2.1, p agina 672, conclumos que os
2n+1 2

polinomios normalizados Qn (x) := 2 Pn (x), n 0, formam um conjunto ortonormal completo em L [1, 1], dx
(para as relacoes de ortogonalidade
dos polinomios de Legendre, vide (15.37)). Assim, em particular, conclumos que
toda g L2 [1, 1], dx pode ser expandida em uma serie de polinomios de Legendre como
X X Z 1
2n + 1
g(x) = hQn , gir Qn (x) = Pn (y) g(y) dy Pn (x) ,
n=0 n=0
2 1

serie essa que converge na norma de L2 [1, 1], dx . Para uma aplicacao n ao-trivial dessa expressao, faca o Exerccio
E. 15.29, p agina 721.

omios de Tchebychev

Os chamados polin omios de Tchebychev Tm (x) := cos m arccos(x) , x [1, 1] e m N0 , foram introduzidos na
Secao 14.1.5, pagina 608 (vide, em especial, p agina 609) e satisfazem as relacoes de ortogonalidade dadas em (15.127),
1
pagina 695. Sabemos que a funcao r(x) = 1x 2
e positiva e integravel no intervalo (1, 1). Sabemos que cada Tm
e um polinomio de grau m. Devido a (15.127), p agina 695, sabemos que os polinomios de Tchebychev normalizados
Qn (x) := Tn (x)/ K n , n N 0 , com
K 0 = /2 e Kn = para n 0, compoe um conjunto ortonormal no espaco
2 1
de Hilbert L (1, 1), 1x2 dx . Assim, aplica-se a Proposicao 35.16, p
agina 1712, e conclumos que os polinomios

1
de Tchebychev normalizados compoe um conjunto ortonormal completo no espaco de Hilbert L2 (1, 1), 1x 2
dx .

1
Assim, em particular, conclumos que toda g L2 (1, 1), 1x 2
dx pode ser expandida em uma serie de polinomios
de Tchebychev como

"Z #
X X 1 1
1
g(x) = hQn , gir Qn (x) = Tn (y) g(y) p dy Tn (x) ,
n=0 n=0
Kn 1 1 y2

1
serie essa que converge na norma de L2 (1, 1), 1x 2
dx .
35.6.2 Completeza de Polin

omios de Hermite
O tratamento que fizemos acima da propriedade de completeza de polinomios ortogonais em intervalos fechados faz
uso crucial do Teorema de Weierstrass, Teorema 35.3, p agina 1669. Infelizmente esse teorema e valido apenas em
intervalos compactos, e para o tratamento de relacoes de ortogonalidade de polinomios ortogonais definidos em regioes
nao-compactas, como os polinomios de Hermite, outras ideias tem que ser seguidas. Nesse sentido, o seguinte resultado
e essencial:
atica Vers
2
Proposiao 35.17 Seja f L2 R, ex dx . Ent
c ao, as integrais
Z
2
xn f (x)ex dx

s
ao nulas para todo n inteiro, n 0, se e somente se f for nula. 2
Prova. (De [113], com adaptacoes). Para todo z C e todo n inteiro, n 0, tem-se que a funcao h(x) := xn eizx pertence
2 R 2 2
a L2 R, ex dx , pois x2n e2izxx dx < , como e facil de se mostrar. Dessa forma, se f L2 R, ex dx
2 2
entao o produto h(x)f (x) pertence a L1 R, ex dx , ou seja, e integravel em R em relacao à medida d(x) := ex dx
Rpara todo z R C e 2todo1/2
n inteiro,
R 2
n 0. Isso pode ser visto pela desigualdade de Cauchy-Schwartz, que garante que
1/2
R
|hf | d ( R
|h| d) ( R
|f | d) < . Assim, para todo n inteiro, n 0, a funcao de variavel complexa
Z
1 2
Fn (z) := xn eizx f (x)ex dx
2
est
a definida para todo z C.
R 2 2
De particular interesse e a funcao F0 (z) = 1 eizx f (x)ex dx, que e a transformada de Fourier de f (x)ex
2
2 2
quando z R. Observe que essa funcao e de quadrado integravel pois f (x)2 e2x f (x)2 ex o que implica que
R 2 R 2 2

f (x)2 e2x dx f (x)2 ex dx < pois f L2 R, ex dx . Isso significa que a transformada de Fourier de
2
f (x)ex existe e e u
nica48 em L2 R, dx , fato que usaremos logo adiante.
2
Como o integrando de F0 , ou seja, eizx f (x)ex , e uma funcao inteira de z e a integral que define F0 converge
2 2
absolutamente e uniformemente em qualquer regi ao compacta (mostre isso usando o fato que |eizxx | = eIm (z)xx ),
segue que F0 (z) e uma funcao inteira de z (analogamente mostra-se que todas as funcoes Fn (z) sao inteiras, mas isso
n
ao sera usado). E agora f
acil ver que para todo n
dn F0
(z) = (i)n Fn (z) .
dz n
Isso pode ser justificado diferenciando F0 (z) sob o signo de integracao, ou usando a formula integral de Cauchy, ambas
justificadas pela convergencia uniforme da integral que define F0 . Agora, como F0 e inteira, F0 possui uma serie de
Taylor centrada em 0 que converge para todo z C, a qual e dada por
X X
1 dn F0 n (i)n
F0 (z) = n
(0) z = Fn (0) z n .
n=0
n! dz n=0
n!
R 2
Dessa relacao conclumos que se Fn (0) = xn f (x)ex dx = 0 para todo n, ent ao F0 e identicamente nula. Pela

invertibilidade da transformada de Fourier em L2 R, dx , isso significa que f e nula.

omios de Hermite
As propriedades elementares dos chamados polinomios de Hermite foram estudadas na Secao 15.2.3, p agina 688,
sendo as relacoes de ortogonalidade apresentadas em (15.100), p
agina 689. Os polinomios de Hermite sao ortogonais no
2
espaco de Hilbert L2 R, ex dx e mostraremos aqui que, devidamente normalizados, os mesmos formam um conjunto
ortonormal completo nesse espaco de Hilbert.
Como cada polinomio de Hermite Hn e de grau n, conclumos que podemos escrever cada mon omio xm como com-
binacao linear finita de polinomios Hn com n m. Segue diretamente disso que a Proposicao 35.17 e equivalente
a
`
2
Proposi cao 35.18 Seja f L2 R, ex dx . Ent ao, as integrais
Z
2
Hn (x)f (x)ex dx

48 A e inversvel em L2 R, dx . Vide Seca

transformada de Fourier o 36.2.2, p
agina 1755.
atica Vers
s
ao nulas para todo n N0 , se e somente se f for nula. 2
2
A proposicao (35.18) afirma que L2 R, ex dx e um espaco de Hilbert separ
avel e que as funcoes normalizadas
2
1 Hn (x), para n N0 (vide (15.100)), formam um conjunto ortonormal completo em L2 R, ex dx .
n
2 n!
2
Como no caso dos polinomios de Legendre, conclumos que se f L2 R, ex dx , ent
ao podemos escrever

X 1
f (x) = hHn , f i Hn (x) ,
n n!
(35.118)
n=0
2
onde Z
2
hHn , f i = Hn (y)f (y)ey dy

2
e o produto escalar de Hn e f em L2 R, ex dx . A convergencia da serie em (35.118) se d
a no sentido da norma de
2
L2 R, ex dx .

omios de Laguerre
Uma prova de completeza dos polinomios de Laguerre pode ser encontrada em [51].
35.6.3 Completeza dos Polin

omios Trigonom
etricos
De acordo com o Teorema 35.9, p agina 1691, toda funcao definida em R que seja contnua e periodica de perodo 2 pode
ser uniformemente aproximada por polinomios trigonometricos de perodo 2. De maneira semelhante ao que fizemos no
caso de aproximacoes de funcoes contnuas por polinomios, podemos concluir desse fato que certas famlias de polinomios
trigonometricos formam um conjunto ortonormal completo em espacos de Hilbert como L2 [a, a], r(x)dx , r sendo uma
funcao positiva e integravel em [a, b] [, ]. A serie de resultados que veremos adiante segue muito de perto os
resultados correspondentes da Secao 35.6.1.
Proposi c
ao 35.19 Seja r uma func ao integr
avel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja,
Rb
tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja finita. Seja f uma func ao contnua e peri
odica de perodo 2
definida em [, ]. Entao,
Z b
f (x) einx r(x) dx = 0 (35.119)
a
e v
alida para todo n Z se e somente se f 0 em [a, b]. 2
Prova. Como |f | e contnua em um intervalo compacto, |f | assume um maximo M nesse intervalo, com M = max |f (x)|.
x[, ]
Pelo Teorema 35.9, pagina 1691, existe para todo > 0 um polinomio trigonometrico p de perodo 2 tal que |f (x)
p(x)| para todo x [, ]. Com esse polinomio trigonometrico p, podemos escrever
Z b Z b Z b

|f (x)|2 r(x) dx = f (x)p(x) r(x) dx + f (x) f (x) p(x) r(x) dx .
a a a
Z b
Agora, pela hipotese (35.119), f (x)p(x) r(x) dx = 0, pois p, como todo polinomio trigonometrico, pode ser escrito
a
como uma combinacao linear finita dos monomios einx . Fora isso,
Z Z b
b

f (x) f (x) p(x) r(x) dx |f (x)| |f (x) p(x)| r(x) dx M R ,
a a
Rb
onde R := a
r(x)dx. Conclumos que
Z b
|f (x)|2 r(x) dx M R
a
atica Vers
Rb
e como e arbitrario, isso implica a |f (x)|2 r(x) dx = 0. Como f e contnua e r(x) > 0 em (a, b), isso implica que f e
identicamente nula em [a, b], como queramos provar.
A Proposicao 35.19 afirma que a u nica funcao contnua e periodica de perodo 2 que e ortogonal a todos os po-
linomios trigonometricos e a funcao nula. Ortogonalidade aqui e entendida em relacao ao produto escalar hf, gir :=
Rb
a f (x)g(x) r(x)dx definido no espa co de Hilbert L2 [a, b], r(x)dx das funcoes de quadrado integravel em [a, b] em
relacao à medida r(x)dx, ou seja, que satisfazem
Z b
|f (x)|2 r(x)dx < .
a
Denotaremos esse espaco de Hilbert por Hr . A afirmacao da Proposicao 35.19 pode ser estendida ao espaco Hr . Esse e
o conte
udo da proposicao que segue.
Proposi c
ao 35.20 Seja r uma funcao integravel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou
Rb R
seja, tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja finita. Seja hk, lir := k(x)l(x)r(x)dx o produto
escalar definido por r e Hr L2 ([a, b], r(x)dx) o correspondente espaco de Hilbert de func
oes de quadrado integr
avel
em relac
ao à medida r(x)dx. Ent
ao, para g Hr , a relac
ao
Z b
g(x) einx r(x) dx = 0 (35.120)
a
e v
alida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. 2
Z x
Prova. Defina-se G(x) := avel com G (x) = g(x)r(x) quase em toda parte. E
g(y)r(y)dy. G e contnua e diferenci
Rb a
claro que G(a) = 0 e que G(b) = a g(y)r(y)dy = 0, por (35.120) (para o caso particular n = 0). Integracao por partes
diz-nos que
Z b Z b Z b
(35.120)
0 = g(x) einx r(x) dx = G (x) einx dx = G(b)einb G(a)eina in G(x) einx dx .
a a a
Como G(a) = G(b) = 0, conclumos que

Z b
G(x) einx dx = 0 para todo n 6= 0 . (35.121)
a
Seja agora a extensao 2-periodica de G a todo R definida no intervalo [, ] por

G(x) , se x [a, b]
Ge := .

0, se x [, ] \ [a, b]
e e contnua e 2-periodica. Pela definicao e por (35.121), vale

Como G anula-se em a e em b, G
Z
e
G(x) einx dx = 0 para todo n 6= 0 . (35.122)

R
Denotando G0 := 1 e
G(y) e
dy, e definindo H(x) := G(x) G0 , conclumos de (35.122) que
2
Z
H(x) einx dx = 0 ,

R R
agora para todo n Z (lembrar que para n 6= 0,
G0 einx dx = G0
einx dx = 0).
atica Vers
Como H e contnua e 2-periodica, podemos aplicar a Proposicao 35.19 (adotando, naquela Proposicao, o caso r 1
e [a, b] = [, ]), para concluir que H e identicamente nula. Como 0 = H (x) = G (x) = g(x)r(x) quase em toda parte
em [a, b], isso implica que g e nula quase em toda parte em [a, b].
Uma famlia de polinomios trigonometricos perodo 2, pn (x), n Z, e dita ser normal se todo monomio eimx puder
ser escrito como uma combinacao linear finita de polinomios pn . Suponhamos que os polinomios trigonometricos de um
conjunto de polinomios normais pn (x) seja tambem ortonormais em relacao ao produto escalar definido por r, ou seja,
satisfazem hpm , pn ir = m, n para todos m, n (uma tal famlia sempre pode ser obtida a partir de p0 (x) := R1/2 (com
Rb
R := a r(x)dx) pelo procedimento de ortogonalizacao de Gram-Schmidt. Vide Secao 3.3, p agina 205). Como cada
mon omio einx pode ser escrito como uma combinacao linear finita de polinomios pm (x), e evidente que a Proposicao
35.20 equivale à
Proposi c
ao 35.21 Seja r uma funcao integr
avel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja,
Rb Rb
tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja finita. Seja hk, lir := a k(x)l(x)r(x)dx o produto escalar
definido por r e Hr L2 [a, b], r(x)dx o correspondente espaco de Hilbert de func oes de quadrado integravel em relac
ao
a medida r(x)dx. Seja pn (x), com n Z, uma famlia normal de polin
` omios ortonormais em relac ao ao produto escalar
omio eimx pode ser escrito como uma combinac
h, ir , ou seja, todo mon ao linear finita de polin
omios pn os polin
omios
pn satisfazem hpm , pn ir = m, n para todos m, n Z. Ent ao, para g Hr , a relac
ao
Z b
g(x) pn (x) r(x) dx = 0 (35.123)
a
e v
alida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. 2

De acordo com as definicoes do Captulo 37, p a dizendo-nos que Hr L2 [a, b], r(x)dx
agina 1829, a Proposicao 35.21 est
e um espaco de Hilbert separavel e que a famlia normal de polinomios trigonometricos ortonormais pn forma um conjunto
ortonormal completo em Hr (vide p agina 1841). Pelos Teoremas 37.5 e 37.6, p aginas 1842 e 1844, respectivamente, vale
para todo g Hr
X
g(x) = hpn , gir pn (x) (35.124)
n=
e

X 2
kgk2r = |hpn , gir | , (35.125)
n=
p
sendo kgkr := hg, gir a norma de g em Hr . A convergencia da serie em (35.124) se d
a em relacao à norma k kr de
Hr , ou seja, tem-se
XN

lim g hpn , gir pn = 0 .
N
n=N r
einx
Naturalmente o caso mais importante se d a com [a, b] = [, ] e r 1, onde a famlia en (x) = , n Z, compoe,
2
de acordo com nossos resultados de acima, um conjunto ortonormal completo em L2 [, ], dx . Tal resultado e de
fundamental import ancia para a teoria das series de Fourier e o enunciado preciso foi antecipado na forma do Teorema
35.14, p
agina 1705.
atica Vers
35.7 Exerccios Adicionais

R 2 R 2
Sugestoes gerais. Em varios exerccios 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 metodo de integracao por partes, ex-
1 d 1 d
plorando o fato que, para n 6= 0, sen (2nx) = 2n dx cos(2nx) e cos(2nx) = 2n dx sen (2nx). Para integrais
iy iy
envolvendo a funcao exponencial recomenda-se usar as formulas de Euler para os senos e co-senos: sen y = e e 2i ,
eiy +eiy
cos y = 2 .
Nos exerccios que seguem, evocaremos tambem o Teorema de Fourier, Teorema 35.12, p
agina 1697.
E. 35.9 Exerccio. Seja f a funcao peri

odica de perodo 2 definida de forma que para 0 x 2 tenhamos

x ,
para 0 x ,
f (x) :=

x
2 , para x 2 .

Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier. 6
E. 35.10 Exerccio. Sejam L > 0 e x0 tal que 0 < x0 < L. Seja f a funcao periodica de perodo L definida de forma que
para 0 x L tenhamos

x
, para 0 x x0 ,
f (x) := x0

L x , para x0 x L .

L x0


x, para 0 x 1/2 ,
f (x) :=

0, para 1/2 < x 1 .
Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier. Segundo o Teorema de Fourier, a qual
valor a serie deveria convergir no ponto x = 1/2? Verifique se tal e verdade. 6
E. 35.12 Exerccio. Seja f a funcao peri odica de perodo 2 definida de forma que para 0 x < 2 tenhamos f (x) = x2 .
Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier. Segundo o Teorema de Fourier, a qual
valor a serie deveria convergir no ponto x = 2? Verifique se tal e verdade. 6
E. 35.13 Exerccio. Seja f a funcao periodica de perodo 2 definida de forma que para 0 x 2 tenhamos f (x) =
(x )2 . Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier. Essa serie converge mais
rapidamente que aquela da funcao do Exerccio E. 35.12? Por que? 6


sen (x), para 0 x ,
f (x) :=

0, para x 2 .
atica Vers
E. 35.15 Exerccio. Determine a expansao em serie de Fourier da funcao periodica de perodo 2 definida no intervalo
[0, 2) da seguinte forma:

cos(x) , se 0 x ,
f (x) =

0, se < x < 2 .
Faca um esboco do grafico da funcao e dos primeiros aproximantes da serie. 6
E. 35.16 Exerccio. Calcule a serie de Fourier da funcao f (x) = ( sen (x))2 , que e periodica de perodo .
Essa funcao e tambem peri
odica de perodo 2. Havera alguma mudanca na serie de Fourier se adotarmos seu perodo
como sendo 2 ao inves de ? Justifique. 6
[0, 2] da seguinte forma:

sen (x) 2 , se 0 x ,
f (x) =

0, se < x 2 .
[0, 2) da seguinte forma:

cos(x) 2 , se 0 x ,
f (x) =

0, se < x < 2 .
E. 35.19 Exerccio. As chamadas funcoes de Fresnel49 , C(x) e S(x), sao definidas por
Z x Z x
2

C(x) := cos t dt e S(x) := sen t2 dt ,
0 0
respectivamente50 , para todo x R. As integrais acima sao ditas transcendentes por nao poderem ser expressas em termos
de somas, produtos ou composicoes finitas de funcoes elementares, como polinomios, funcoes trigonometricas, exponenciais
e logaritmos. Outro exemplo de uma integral transcendente e a chamara funcao erro, denotada por erf(x) e definida por
Z x
2 2
erf(x) := et dt , xR.
0
a. Mostre que Z Z r
1
cos t2 dt = sen t2 dt = . (35.126)
0 0 2 2
2
Sugestao: Integre a funcao de variavel complexa ez ao longo da fronteira do setor circular 0 /4, 0 r R,
R 2
faca R tender ao infinito e use o fato que 0 ex dx = 2 .
b. Mostre que Z x
1
t2 cos t2 dt = x sen x2 S(x)
0 2
49 Augustin-Jean Fresnel (17881827).
50 As funco
es de Fresnel s
ao tambem denominadas integrais de Fresnel.
atica Vers
e que Z x
1
t2 sen t2 dt = x cos x2 C(x) .
0 2
Sugestao: integracao por partes.
c. Considere a funcao f : R R, peri
odica de perodo 2 e definida de sorte que no intervalo [, ) tenhamos

0 , y 0 ,
f (y) :=

y ,
0<y<.

X eikx
Determine sua serie de Fourier S(f, x) = fk , expressando os coeficientes de Fourier fk em termos das
k=
2
funcoes de Fresnel C e S.
d. Expresse a serie de Fourier obtida acima como uma serie de senos e co-senos, ou seja, na forma

A0 X X
S(f, x) = + An cos(nx) + Bn sen (nx) .
2 n=1 n=1
Escreva os coeficientes An , n 0 e Bn , n 1, em termos das funcoes de Fresnel C e S.

e. Mostre que a funcao f , acima, nao satisfaz as condicoes do Teorema de Fourier, Teorema 35.12, pagina 1697, mas
satisfaz a condicao de Dini (vide Teorema 35.11, pagina 1695), ou seja, existe > 0, pequeno o suficiente, tal que
Z
|Df (x, y)|
dy < ,
0 y
onde Df (x, y) := f (x + y) + f (x y) f (x+ ) f (x ). Explicite, com base nesse fato, a quais valores a serie de
Fourier de f deve convergir em cada ponto.
f. Usando (35.126), obtenha o comportamento assint
otico dos coeficientes de Fourier de f .
E. 35.20 Exerccio. Seja M > 0 e seja f a funcao periodica de perodo 2M definida de forma que para M x M
tenhamos

M + x, para M x 0 ,
f (x) :=

M x, para 0 x M .
Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier.
Usando o Teorema de Fourier e calculando a serie no ponto x = 0, mostre que

X 1 2
= .
n=1
(2n 1)2 8
Voce saberia como obter essa identidade por outros meios? 6
E. 35.21 Exerccio. Seja M > 0 e seja f a funcao periodica de perodo 2M definida de forma que para M x < M
tenhamos f (x) = x2 . Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier.
Usando o Teorema de Fourier e calculando a serie no ponto x = M , mostre que
X
1 2
= . (35.127)
n=1
n2 6
Essa celebre identidade foi obtida por Euler em 1735. Essa expressao tambem pode ser obtida com uso dos chamados numeros
de Bernoulli (definidos na Secao 6.1.1, pagina 263.). Vide expressao (6.16), pagina 264. 6
atica Vers
odica de perodo 2 definida de forma que para 0 x < 2 tenhamos f (x) = ex/2 .
a. Faca um esboco do grafico dessa funcao e determine sua expansao em serie de Fourier.
b. Usando o Teorema de Fourier e calculando a serie no ponto x = 2, mostre que

X 1 3e
2 2
= . (35.128)
n=1
1 + 4 n 4(e 1)
c. Usando o Teorema de Fourier e calculando a serie no ponto x = , mostre que

X
(1)n 1 e
= 1 .
n=1
1 + 4 2 n2 2 e1
E. 35.23 Exerccio-dirigido. Seja f a funcao peri

odica de perodo 2 definida de forma que para x tenhamos
f (x) := cos(x) ,
onde R, 6 Z.
a. Determine a expansao em serie de Fourier de f .

b. Usando a expansao obtida, mostre que

X
1 1 1
2 2
= cotg () . (35.129)
n=1
n 2
Essa importante identidade vale para todo nao-inteiro. Ela e denominada formula da cotangente de Euler, ou expansao
em fracoes parciais da funcao cotangente, e foi obtida pela primeira vez por Euler em 1749, usando outros metodos.
Para uma outra elegante demonstracao (devida a Herglotz51 ) de (35.129) , vide Exerccio E. 6.10, pagina 269. Para
uma demonstracao usando a chamada representacao produto da funcao seno, vide Exerccio E. 7.5, pagina 286.
c. Usando a identidade (35.129), mostre que

X 1 1
= .
n=1
4n2 1 2
Sugest
ao. Tome = 1/2.
d. Usando a mesma identidade (35.129), mostre tambem que

X 1 4
21
= .
n=1
16n 8
Sugest
ao. Tome = 1/4.
e. Usando a identidade (35.129), mostre que para R, 6= 0,
X
1 1 1
= coth() . (35.130)
n=1
n2 + 2 2
e obtenha disso que

X
1 1
= , (35.131)
2a tanh(a/2) n=
a2 + (2n)2
com a R, a 6= 0. Sugest
ao. Tome = i na identidade (35.129). O que justifica podermos fazer isso?
51 Gustav Ferdinand Maria Herglotz (18811953).
atica Vers
f. Reobtenha a identidade (35.128) tomando para tal = (2)1 .

g. Usando os fatos acima, mostre que, para nao-inteiro,

X n2
= (coth() cotg ()) .
n=1
n4 4 4
Sugest
ao. Explore o fato que
1 1 2n2
+ 2 = 4 .
n2 2 n + 2 n 4
h. Mostre que, para nao-inteiro,

X
1 1 1
4 4
= (coth() + cotg ()) .
n=1
n 2 3 2
Sugest
ao. Explore o fato que
1 1 2 2
= .
n2 2 n2 + 2 n4 4
E. 35.24 Exerccio. Para a > 0, fixo, seja ga a funcao contnua e periodica de perodo 1 que no intervalo 0 x < 1 vale

1
ga (x) = cosh a x . (35.132)
2
Determine sua serie de Fourier e obtenha
a X

e2imx
ga (x) = 2a senh . (35.133)
2 m= a2 + (2m)2
No Exerccio E. 36.24, pagina 1764, a identidade (35.133) e obtida a partir da chamada formula de soma de Poisson. Compare
tambem (35.133)(35.132) com os resultados do Exerccio E. 35.23, pagina 1721. 6
tenhamos
M2
f (x) := x2 .
3
a. Mostre que sua expansao em serie de Fourier e dada por

4M 2 X (1)n nx
2 2
cos .
n=1 n M
b. Aplicando a identidade de Parseval para essa expansao mostre que

X
1 4
= .
n=1
n4 90
Essa celebre identidade foi obtida por Euler em 1735 e tambem pode ser obtida com uso dos chamados numeros de
Bernoulli (definidos na Secao 6.1.1, pagina 263.). Vide expressao (6.16), pagina 264.
c. Esta ultima identidade pode ser usada para determinar o valor de . Com o uso, por exemplo, de uma calculadora estime
a serie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verifique se a aproximacao e boa.
6
atica Vers
tenhamos f (x) = x3 M 2 x.
a. Mostre que sua expansao em serie de Fourier e dada por

12M 3 X (1)n nx
sen .
3 n=1 n3 M
b. Aplicando a identidade de Parseval para essa expansao mostre que

X
1 6
= .
n=1
n6 945
Essa celebre identidade foi obtida por Euler em 1735 e tambem pode ser obtida com uso dos chamados numeros de
Bernoulli (definidos na Secao 6.1.1, pagina 263.). Vide expressao (6.16), pagina 264.
c. Esta ultima identidade (assim como outras acima) pode ser usada para determinar o valor de . Com o uso, por exemplo,
de uma calculadora estime a serie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verifique se
a aproximacao e boa.
E. 35.27 Exerccio. Algumas identidades trigonometricas.
a. Mostre que para todo n

umero complexo a e para todo n N0 vale
n
X 1 an+1
ak = .
1a
k=0
eiy + eiy
b. Usando a formula de Euler cos(y) = e a identidade do item a, mostre que
2
n
" #
X 1 sen n + 12 x
cos(kx) = 1+ .
k=0
2 sen x2
eiy eiy
c. Usando a formula de Euler sen (y) = e a identidade do item a, mostre que
2i
n
X
1 sen (x) + sen (nx) sen ((n + 1)x)
sen (kx) = .
2 1 cos(x)
k=0
d. Usando a identidade do item b, mostre que a sequencia

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

uencia
n
X
sn (x) = cos(2k! x) .
k=0
atica Vers
Mostre que essa sequencia diverge sempre que x e um numero racional. Sugest
ao. Lembre-se que todo numero racional e da
forma p/q com p e q inteiros e note que k!(p/q) e um inteiro sempre que k q (por que?).
Usando o teste M de Weierstrass, mostre que a sequencia de funcoes
n
X 1
tn (x) = sen (2k! x)
k!
k=1
e uniformemente convergente. O limite e

X 1
t(x) = sen (2k! x)
k!
k=1
e t deve ser, portanto, contnua. Note que, pelo visto acima, a sequencia de derivadas tn = 2sn nao e convergente. Isso
sugere que t, ainda que contnua, nao seja diferenciavel em parte alguma e, de fato, isso e correto. A prova que t nao
e diferenciavel em parte alguma e um tanto complexa e, interessantemente, usa ideias muito semelhantes às do grupo de
renormalizacao! A referencia [143] contem uma demonstracao de nao-diferenciabilidade para uma funcao muito semelhante
à nossa t e recomendamos fortemente sua leitura ao estudante interessado. Outro tratamento analogo de series de Fourier
conduzindo a funcoes nao-diferenciaveis pode ser encontrado em [236]. 6
E. 35.29 Exerccio dirigido. O proposito deste exerccio e o de determinar a serie de Fourier da funcao periodica de

perodo 2 dada por f () = cos , R, onde C satisfaz Re () > 1. Como cos e negativa nos intervalos
(/2 + 2j, 3/2 + 2j), j Z, e necessario definir essa funcao mais precisamente, indicando-se uma das ramificacoes de
(1) na sua definicao.
Definimos f : R C como sendo a funcao peri
odica de perodo 2 dada no intervalo (/2, 3/2] por

cos , (/2, /2] ,
f () =

cos , (/2, 3/2] ,
onde := ei(2l+1) , l Z. Diferentes escolhas de l Z correspondem a diferentes escolhas para (1) no plano complexo.
Note-se que para Re () > 1 a funcao f e integravel (e ate contnua caso Re () > 0). Seus coeficientes de Fourier sao
dados por
Z /2 Z 3/2
1
fn = ein cos d + ein cos d .
2 /2 2 /2
Z
(1)n /2 in
Com a mudanca de variavel = a segunda integral fica e cos d . Logo,
2 /2
Z
1 + (1)n /2 in r 2 Z /2
n
fn = e cos d = 1 + (1) cos cos(n) d .
2 /2 0
A integral do lado direito foi determinada no Exerccio E. 7.27, pagina 308. No caso presente, e mais conveniente usarmos a
expressao (7.118), e teremos
r 2 1
n .
fn = 1 + (1)
2+1 ( + 1) B n++2 , n+2
2 2
Essa expressao evidencia que fn = fn para todo n Z e, por isso, podemos escrever a representacao de Fourier de f como
r
1 2X
f () = f0 + fn cos(n) . (35.134)
2 n=1
Pela definicao da funcao beta, temos

1 ( + 2)
= .
n++2 n+2 n++2
B 2 , 2 2 n+2
2
atica Vers
Assim,
r ( + 1) 1
n .
fn = 1 + (1) Tn , onde Tn := (35.135)
2 2 n++2
n+2
2 2
Nota. Antes de prosseguirmos facamos uma observacao relevante sobre a express

ao (35.135). Caso = 1, tem-se, naturalmente = 1 e o
fator 1 + (1)n sera nulo para todo n par. Fora isso, alguns dos fatores Tn = n+3 1 3n tamb

em ser
ao nulos. De fato, a func
ao 1/(z)
2
2
anula-se nos inteiros nao-negativos. Assim, Tn sera nulo sempre que n = (2k + 3), k N0 , ou seja, para n {. . . , 7, 5, 3, 3, 5, 7, . . .},
isto
e, q
para n mpar e |n| 3. Conclui-se disso que s o ser
ao n ao-nulos os coeficientes f1 e f1 . Usando (35.135), e elementar constatar que
1 i i , como esperado. Esse teste indica a corre

f1 = 2
, implicando que a representa
ca
o de Fourier da fun
ca
o f () = cos seja 2
e + e c
ao de
(35.135). N
ao
e difcil provar, seguindo a mesma an
alise, que para N geral os coeficientes fn dados em (35.135) s
ao todos nulos para |n| >

1 X
e fornecem a representaca ao de Fourier de f () = cos , a saber, cos =
o esperada para a expans ei(2p) . Isso pode ser
2 p=0 p
visto usando (35.135) ou usando o resultado final (35.136), abaixo. Faca-o!
Vamos agora analisar mais detalhadamente a expressao para Tn dada em (35.135) no caso de um geral. Por (7.41),
pagina 284, podemos escrever
n2
2 sen n2 2 n2
2
Tn = .
n++2
2
Como fn = fn e Tn = Tn e suficiente tomarmos n N0 . Ha dois casos a tratar: n par e n mpar.
2
+2
1. Caso n par. Para n = 0, temos T0 = 2 . Para n = 2k, k N, mostre, usando a bem conhecida relacao
(z + 1) = z(z) e a identidade (7.41), que
2 k
+2 2k + + 2 Y + 2 2a
T2k = .
2 ( + 2) a=0 + 2 + 2a
Note que esta formula e tambem correta para k = 0.

2. Caso n mpar. Para n = 2k + 1, k N0 , mostre, usando a bem conhecida relacao (z + 1) = z(z) e a identidade
(7.41), que
2 Yk
+1 2 + 1 2a
T2k+1 = .
2 ( + 1) a=0 + 1 + 2a
Reunindo os resultados de acima, a representacao de Fourier de f pode ser escrita como

" k #
1 + ( + 1) 1 + ( + 1) X Y + 2 2a
f () = 2 + 2 2k + + 2 cos 2k
+ 2 + 2a
2+1 +2
2 2 ( + 2) +2 2
k=1 a=0

" k #
1 ( + 1) X Y + 1 2a
+ 2 cos (2k + 1) . (35.136)
+ 1 + 2a
21 ( + 1) +1
2
k=0 a=0
Verifique! 6
atica Vers
Ap
endices
35.A Prova do Teorema de Weierstrass Usando Polin
omios
de Bernstein
Nesta secao demonstraremos o Teorema de Weierstrass, Teorema 35.3, p
agina 1669, fazendo uso dos chamados polinomios
de Bernstein.
Polin
omios de Bernstein
Para cada n N0 , os chamados polinomios de Bernstein52 de grau n sao definidos por

[0] n p
B0 (x) := 1 , Bp[n] (x) := x (1 x)np , n > 0 , 0 p n , p N0 . (35.A.1)
p
[n]
O fato importante estabelecido na proposicao que segue diz respeito à independencia linear dos n + 1 polinomios Bp (x),
0 p n para cada n 0.
[n] [n]
Proposi c
ao 35.22 Para n > 0 as razes de Bp (x) s
ao 0, 1, ou ambas, sendo que Bp (x) tem um zero de ordem p em
x = 0 e um zero de ordem n p em x = 1.
[n]
Para cada n, os n + 1 polin
omios Bp (x), com 0 p n, s
ao linearmente independentes. 2
Prova. As afirmacoes sobre as razes sao evidentes e n

ao requerem demonstracao. Passemos à prova da independencia
[0]
linear. Para n = 0 nao ha o que provar, pois B0 (x) 6= 0. Seja ent ao n > 0. Vamos supor que existam constantes p ,
0 p n, com
X n
p Bp[n] (x) = 0 . (35.A.2)
p=0
[n] [n]
Como B0 (0) 6= 0 e Bp (0) = 0 se p > 0, tomar x = 0 em (35.A.2) fornece 0 = 0, de modo que (35.A.2) reduz-se a
n
X
p Bp[n] (x) = 0 . (35.A.3)
p=1
[n]
Tomando a primeira derivada dessa expressao, calculando-a em x = 0 e lembrando que cada Bp (x) tem um zero de
ordem p em x = 0, obtemos 1 = 0. Prosseguindo dessa forma, obtem-se apos n + 1 passos que p = 0 para todo
0 p n.
[n]
A proposicao acima permite afirmar que para cada n, os polinomios Bp , com 0 p n, formam uma base no
n
X
espaco de polinomios de grau n, ou seja, que todo polinomio de grau n pode ser escrito na forma p Bp[n] (x), onde p ,
p=0
0 p n, sao constantes. Essa e a chamada forma de Bernstein, ou representac
ao de Bernstein, de polinomios de grau
n.
Um resultados preliminar
O resultado a seguir e um tanto tecnico, mas sera utilizado adiante em uma demonstracao importante.
Lema 35.2 Sejam os polin
omios de Bernstein definidos em (35.A.1). Ent ao, para cada n N0 vale a seguinte identi-
dade: n
X
(p nx)2 Bp[n] (x) = nx(1 x) . (35.A.4)
p=0
52 SergiNatanovich Bernstein (18801968). Bernstein introduziu os polin
omios que levam seu nome em trabalho de 1911 sobre o Teorema
de Weierstrass e interpolaco
es polinomiais.
atica Vers
Prova. Pelo binomio de Newton, vale

Xn
n n p np
(x + y) = x y (35.A.5)
p=0
p
para todo n N0 e todos x, y R. Para provar (35.A.4), apliquemos o operador diferencial
2
Dx := x2 + x(1 2nx) + n2 x2
x2 x
a ambos os lados de (35.A.5). Para o lado esquerdo de (35.A.5), temos
h 2 i
Dx (x + y)n = nx y + nx 1 (x + y) (x + y)n2
(verifique!) e para o lado direito de (35.A.5), temos

n
! n
X n p np X
2 n
Dx x y = (p nx) xp y np
p=0
p p=0
p
(verifique!). Igualando as expressoes acima, obtemos a identidade

h
2 i Xn
n p np
nx y + nx 1 (x + y) (x + y)n2 = (p nx)2 x y .
p=0
p
Tomando nesta expressao y = 1 x, obtemos

n
X Xn
n p
2
nx(1 x) = (p nx) x (1 x)np = (p nx)2 Bp[n] (x) ,
p=0
p p=0
como queramos provar.
Outras propriedades b
asicas dos polin
omios de Bernstein
[n]
A proposicao que segue estabelece mais alguns fatos b
asicos sobre os polinomios de Bernstein Bp (x). O estudante
[n]
deve observar que alguns dos fatos listados abaixo permitem perceber que os polinomios de Bernstein Bp (x) assemelham-
se, em um certo sentido, a sequencias delta de Dirac.
[n]
Proposi
c omios de Bernstein Bp tem as seguintes propriedades:
ao 35.23 Os polin
[n]
1. Bp (x) 0 para todo x [0, 1].
2. Para todo n 0 vale
n
X
Bp[n] (x) = 1 . (35.A.6)
p=0
[n] p
3. Para n > 0 cada polin
omio Bp (x) tem no intervalo [0, 1] um m
aximo absoluto em x = n.
4. Para todo > 0 e todo n > 0 vale a desigualdade

n
X 1
Bp[n] (x) . (35.A.7)
p=0
4 2 n
p
| x|>
n
2
atica Vers
Prova. O item 1 e evidente. Tomando-se y = 1 x, o binomio de Newton (35.A.5) fica

Xn Xn
n p np
1 = x (1 x) = Bp[n] (x) ,
p=0
p p=0
[n]
provando (35.A.6) e o item 2. O item 3 prova-se facilmente calculando a derivada de Bp (x).
Passemos à prova do item 4. Se para algum > 0 vale | np x| > , ent
ao n2 2 < (p nx)2 , Logo,
n
X n
X
1
Bp[n] (x) = n2 2 Bp[n] (x)
p=0
n 2
2
p=0
p p
| x|> | x|>
n n
n
X
1
< (p nx)2 Bp[n] (x)
n2 2 p=0
p
| x|>
n
n
1 X
(p nx)2 Bp[n] (x)
n2 2 p=0
(35.A.4) x(1 x) 1
= 2
,
n 4n 2
completando a prova. Na u ltima desigualdade usamos o fato que a funcao x(1 x) tem um maximo absoluto em toda
reta real para x = 1/2, quando vale 1/4.
Prova do Teorema de Weierstrass no intervalo [0, 1]

Passemos agora à demonstracao do Teorema de Weierstrass, Teorema 35.3, p
agina 1669, no intervalo [0, 1] usando
polinomios de Bernstein.
Teorema 35.19 Seja uma func
ao contnua f : [0, 1] C. Ent
ao, os polin
omios de grau n
Xn p Xn p n
[n]
bf (x) := f Bp[n] (x) = f xp (1 x)np ,
p=0
n p=0
n p
ditos aproximantes de Bernstein da func

ao f , aproximam uniformemente f no intervalo [0, 1], ou seja, para todo > 0
existe N () tal que
[n] [n]
f bf := sup f (x) bf (x)
x[0, 1]
para todo n N (). 2
Prova. Usando (35.A.6), podemos escrever

Xn h p i
[n]
f (x) bf (x) = f (x) f Bp[n] (x) ,
p=0
n
implicando
Xn p
[n] [n]
f (x) bf (x) f (x) f Bp (x) . (35.A.8)
p=0
n
Por ser contnua, f e uniformemente contnua no intervalo compacto [0, 1] (Teorema 32.12, pagina 1470), ou seja, Para
todo
> 0 existe
() tal que
|f (x)
f (y)| < /2 sempre que |x y| < . Assim, fixando > 0 teremos que
f (x) f p < /2 sempre que x p < .
n n
atica Vers

Vamos ao quebrar a soma em p no lado direito de (35.A.8) em dois pedacos: para p tais que np x e para p
p ent
tais que x > . Para a primeira soma, vale
n
n
X p
n
X n
X [n]
[n] (35.A.6)
f (x) f Bp (x) Bp[n] (x) B (x) = . (35.A.9)
p=0
n 2 p=0
2 p=0 p 2
p p
| x| | x|
n n
Para a segunda soma teremos

n
X p n
X (35.A.7) M
[n]
f (x) f Bp (x) 2M Bp[n] (x) , (35.A.10)
p=0
n p=0
2n 2
p p
| x|> | x|>
n n
onde M := sup |f (x)|. Assim, provamos que

x[0, 1]
M
[n]
f (x) bf (x) < + .
2 2n 2

M [n]
Portanto, para todo n tal que n 2 , teremos f b f < , completando a prova.

Generalizando para intervalos [a, b]

O Teorema 35.19 estabeleceu o Teorema de Weierstrass no intervalo [0, 1]. Para passar a um intervalo [a, b], com
b > a, basta notar que a aplicacao
[0, 1] x 7 h(x) := (b a)x + a [a, b]
e contnua e bijetora, tendo como inversa

ya
[a, b] y 7 h1 (y) :=
[0, 1] ,
ba

que e igualmente contnua. Fora isso, se p e um polinomio, (p h1 )(x) = p xa
ba e tambem um polinomio.
Com isso, se f e contnua em [a, b], a funcao f h e contnua em [0, 1] podendo, pelo Teorema 35.19, ser uniformemente
[n]
aproximada nesse intervalo pelos polinomios bf h . Logo, f pode ser uniformemente aproximada em [a, b] pelos polinomios
[n] [n]
cf := bf h h1 . Assim, o Teorema 35.19 se generaliza para
Teorema 35.20 Seja uma func
ao contnua f : [a, b] C. Ent
ao, os polin
omios de grau n
Xn
[n] [n] 1 p [n] xa
cf (x) := bf h h (x) = f (b a) + a Bp
p=0
n ba
Xn p n x a p
xa
np
= f (b a) + a 1 ,
p=0
n p ba ba
aproximam uniformemente f no intervalo [a, b], ou seja, para todo > 0 existe N () tal que

[n] [n]
f cf := sup f (x) cf (x)
x[a, b]
para todo n N (). 2

atica Vers
35.B A Demonstrac
ao de Weierstrass do Teorema de Weiers-
trass
Vamos nesta breve secao apresentar mais uma demonstracao do Teorema de Weierstrass, Teorema 35.3, p agina 1669.
Esta demonstracao segue essencialmente as mesmas ideias da demonstracao original de Weierstrass, obtida em 1885
quando seu autor completava 70 anos de idade, contrariando a nocao de que contribuicoes importantes à Matematica
sao privilegio de jovens.
Consideramos a prova abaixo instrutiva pela simplicidade de recursos e pelo uso que a mesma faz de uma seq uencia
delta de Dirac de funcoes Gaussianas. Nos restringiremos a funcoes contnuas definidas no intervalo compacto [1, 1]
mas, como anteriormente, a generalizacao para intervalos compactos gerais do tipo [a, b], com a < b n ao apresenta
nenhuma dificuldade.
Seja f : [1, 1] C contnua. Definindo g(x) := f (x) l(x) com l(x) = f (1)f 2
(1)
x f (1)+f
2
(1)
, temos, natural-
mente, que g e tambem contnua. Como l e um polinomio, e suficiente provar que g pode ser uniformemente aproximada
por polinomios no intervalo [1, 1]. Note-se agora que, pela definicao, g(1) = g(1) = 0 e, devido a isso, g possui uma
extensao g contnua e periodica de perodo 2 para toda R dada por g 2n + x := g(x) para todo n Z e x [1, 1].

Para uso futuro, definamos G := sup |g(x)|, x [1, 1] . E evidente que g(x) G para todo x R.
Por ser contnua no intervalo compacto [1, 1], g e uniformemente contnua (Teorema 32.12, p agina 1470) e, con-
seq
uentemente, g tambem o e, por ser uma extensao contnua e periodica de g. Assim, aplica-se para g o Teorema 35.1,
p
agina 1666, para qualquer seq uencia delta de Dirac (segundo a Definicao 35.1, p agina 1663). Escolhemos considerar a
2 2
n n x
uencia delta de Dirac Gaussiana, definida em (35.12): Kn (x) := e
seq , n N. Do Teorema 35.1 conclumos que
a sequencia de funcoes Z Z
n 2 2
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 Z 1 Z Z 1+
n n2 (yx)2 n n2 (yx)2 n 2 2
g(y) e dy + g(y) e dy + g(y) en (yx) dy (35.B.11)
1+ 1
com 0 < < 1, fixo. A primeira integral em (35.B.11) pode ser majorada em modulo por
Z 1 Z 2
(x+1+)2 2 2
n 2 2 w=xy n 2 2 (35.13) en en
G en (yx) dy = G en w dw ,
x+1+ 2 2
sendo que na u
ltima desigualdade usamos que x 1. A segunda integral em (35.B.11) pode ser majorada em modulo
por
Z Z 2
(35.13) en (1+x)
2 2 2
n 2 2 w=yx n 2 2 en
G g(y) en (yx) dy = G en w dw ,
1+ 1+x 2 2
n2 2
sendo que na u ltima desigualdade usamos que x 1. Como e 2 converge a zero para n independente de x,
conclumos que as duas primeiras integrais em (35.B.11) convergem a zero para n uniformemente para todo x no
intervalo [1, 1]. Logo, a terceira integral em (35.B.11),
Z 1+
n 2 2
Hn (x) := g(y) en (yx) dy ,
1
converge uniformemente em [1, 1] `

a funcao g (e, portanto, à funcao g).
Sabemos (Proposicao 35.6, p agina 1679) que a serie de Taylor centrada em zero da funcao exponencial converge
uniformemente à mesma em intervalos compactos como [0, (2 + )2 ] (onde os valores de (y x)2 se encontram quando
y [1 , 1 + ] e x [1, 1]). Logo, para cada n N as funcoes Hn podem ser uniformemente aproximadas por
m
X Z 1+
(1)k n2k n
Hn, m (x) := g(y) (y x)2k dy , mN.
k! 1
k=0
atica Vers
Agora, e bastante claro (expandindo (y x)2k pelo binomio de Newton) que Hn, m e um polinomio em x. Assim,
conclumos do raciocnio acima que cada funcao Hn e uniformemente aproximavel por polinomios no intervalo [1, 1] e
que a funcao g e uniformemente aproxim avel pelas funcoes Hn no mesmo intervalo. Isso prova que g e uniformemente
aproxim avel no intervalo [1, 1] pelos polinomios Hn, m :
m
X Z
(1)k n2k+1 1+
g(x) = lim lim Hn, m (x) = lim lim g(y) (y x)2k dy
n m n m k! 1 k=0
(notar que a ordem dos limites n

ao pode ser trocada!) e a demonstracao do Teorema de Weierstrass, Teorema 35.3,
p
agina 1669, est
a completa.

Aproxima C Ao de Fun C Oes. Aproxima C Oes PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Aproxima C Ao de Fun C Oes. Aproxima C Oes PDF

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 35

35.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1707

N a Fsica e tambem em diversas

a. Convergencia pontual. Diz-se que uma seq

Se uma seq uencia fn converge pontualmente a uma funcao f , ent

Definicoes analogas existem para o caso de seq

Limites uniformes de fun

Resultados ainda mais fortes sao demonstrados na Proposicao 25.6, p

35.1.1.1 Troca de Ordem entre Limites e Integrais

Prova. A demonstracao segue facilmente da observacao que

Contra-exemplos a se ter em mente

A hipotese feita na Proposicao 35.3 de que a seq

35.1.1.2 Troca de Ordem entre Limites e Derivadas

Nota. Observamos que as conclus

uencia de funcoes contnuas fn converge uniformemente a g em cada intervalo compacto

35.1.1.3 Troca de Ordem entre Derivadas e Integrais

Parte II. Vamos adicionalmente supor que valham as seguintes hip

como queramos estabelecer. Isso termina a prova da Parte I.

2. Existe uma constante K > 0 tal que para todo n N vale

3. Para todo n N, vale Z

4. Para todo > 0 vale "Z #

para todo x R. As funcoes Kn de uma seq

e, portanto, para todo > 0 vale

interessante notar que para x 6= 0

4. Mais uma outra seq

interessante notar que, em

Seja Kn uma seq

|f (x) f (y)| C1 |x y| . (35.16)

older (35.16) com = 1 e C1 = sup{|f (s)|, s

Isso mostra que as integrais que definem as funcoes Fn est

quaisquer tais que |x x | < (). Teremos,

Para cada > 0 podemos quebrar a u ltima integral em tres intervalos:

e, analogamente, para a integral III,

Logo, por (35.10), podemos obter

Usando o fato bem-conhecido que lim0 sen

2. Existe uma constante K > 0 tal que para todo n N vale

3. Para todo n N, vale Z

4. Para todo > 0 vale Z

onde B := {x Rm , kxk < } e a bola aberta de raio > 0 centrada em 0 Rm .

uencia delta de Dirac centrada em 0 em Rm . Defina-se, para cada n N,

Para cada > 0 podemos quebrar a ultima integral em duas regioes:

Passemos agora `a integral I. Como f e limitada, vale para a integral I,

Logo, por (35.20), podemos obter

1. f coincide com f no intervalo [a, b].

onde, para u < v, a funcao Fu, v : [u, v] [0, 1] e definida por

Nu, v sendo a constante de normalizacao

Essa funcao Fu, v e contnua, estritamente crescente, infinitamente diferenci

f() = 0 = f() , f(l) () = 0 = f(l) () , l 1 ,

f(l) (a) = f (l) (a) e f(l) (b) = f (l) (b) , 0lk ,

alem de, obviamente, ser uma extensao de f .

E. 35.3 Exerccio. Verifique as afirmacoes feitas acima. 6

Para o que segue, a forma especfica de f, como aquela do exemplo acima, n

Prova do Teorema de Weierstrass, Teorema 35.4

com x [a, b], onde, para [0, 1], definimos

O termo A2 pode ser manipulado da seguinte forma. Usando a identidade

De (35.27), (35.28) e (35.29) extramos, assim, que para x [a, b],

kD p D f k = sup |D p (x) D f (x)| .

Generalizando (35.24), definimos os polinomios em m variaveis

sendo K uma constante dependente apenas da dimensao m.

Como |1 | < 1, isso completa a demonstracao de que f e uniformemente aproxim

35.3.2 O Teorema de Taylor

pois, invertendo a ordem das integrais,

para todos x e x0 . Essa express