TEEDCap 8

Captulo 7
S
eries de Fourier
7.1
Introdu
c
ao
As series de Fourier foram introduzidas precisamente a proposito da resolucao das equac

oes diferenciais parciais consideradas para propagacao de
ondas e difus
ao do calor, e foi com base na resolucao da equacao das ondas
que no captulo anterior se motivou a consideracao e o estudo destas series
que s
ao aplicadas nos tres captulos seguintes para resolucao da equacao das
ondas n
ao amortecida e amortecida,da equacao do calor e da equacao de
Laplace. Contudo, tem aplicac
oes que transcendem muito a simples utilizacao para resoluc
ao de equac
oes diferenciais. Por isso, este captulo est
a
escrito de forma a poder ser usado independentemente dos outros e a ser,
na medida do razo
avel, auto-suficiente, e considera-se aqui o estudo de series de Fourier de modo a poder constituir um corpo de conhecimentos u
til
tambem noutros contextos alem da resolucao de equacoes diferenciais, como
teoria de sistemas, an
alise de sinais, processamento de imagem, optica, mecanica quantica, ou mesmo de aplicacoes em outras areas da matem
atica
como Teoria das Distribuic
oes em Analise Funcional, Geometria e Teoria
dos N
umeros, ou ainda como base para o estudo mais avancado de series de
Fourier e da importante
area da matem
atica contempor
anea a que deram
origem: a Analise Harm
onica.
No Apendice C avanca-se um pouco mais no estudo de series de Fourier,
nomeadamente em propriedades de convergencia mais dependentes do integral de Lebesgue, cujos aspectos principais para este efeito s
ao resumidos no
Apendice B.
O estudo da Analise de Fourier prossegue nos captulos X e Y dedicados
às transformac
oes de Fourier e de Laplace que, tal como o presente captulo,
est
ao tambem escritos de forma a poderem ser usados independentemente
dos outros captulos, com excepc
ao deste dedicado a series de Fourier, e a
serem,tanto quanto razo
avel, auto-suficientes. tal como para o caso das series
180
S
eries de Fourier
de Fourier, o Apendice D avanca um pouco mais na transformacao de Fourier

no que respeita a propriedades mais dependentes do Integral de Lebesgue.
Estes tres captulos constituem uma s
olida base em Analise de Fourier, que
ainda pode ser complementada com os apendices correspondentes.
Alem do interesse das series de Fourier para areas de aplicacao e para
outras
areas da matem
atica, e importante observar que tiveram um papel
central no desenvolvimento da matem
atica no seculo XIX, com implicacoes
para o desenvolvimento e a consolidacao de conceitos tao b
asicos como, entre
outros, a pr
opria noc
ao actual de funcao (1829-51), o integral de Riemann
(1854), a noc
ao de func
ao lipschitziana (1864), a teoria de conjuntos infinitos
de n
umeros reais (1872-84), e o integral de Lebesque1 (cerca de 1900).
O plano do captulo consiste em 5 passos dados num igual n
umero de
secc
oes do captulo:
1. parte-se do caso mais facil de funcoes de quadrado integr
avel no sentido
de Lebesgue em que a situacao e clara geometricamente, em consequencia das noc
oes de ortogonalidade e projeccao ortogonal que podem ser
definidas neste caso com base num produto interno, e em que todas as
func
oes tem serie de Fourier convergentes para as respectivas funcoes
em media de quadrado integr
avel;
2. introduz-se a noc
ao de convolucao de funcoes e obtem-se propriedades gerais da convolucao e dos coeficientes de Fourier que permitem
facilitar o c
alculo com estas series;
3. considera-se a convergencia uniforme de series de Fourier que implica a
convergencia pontual em todos os pontos e e relativamente simples de
estabelecer para funcoes C 1 (e mais geralmente funcoes com derivada
integr
avel `
a Riemann), depois de considerar o caso mais simples de
func
oes C k , com k > 1; tambem se estabelece o importante resultado
da unicidade das series de Fourier para funcoes de quadrado integr
avel
no sentido de Lebesque i.e., que a igualdade de series de Fourier implica
a igualdade das funcoes.
4. prossegue-se com a convergencia pontual de series de Fourier, mostrando que depende exclusivamente dos valores da funcao numa vizinhanca do ponto considerado, apesar dos coeficientes da serie e o limite
dependerem da funcao em todo o domnio, e estabelece-se a convergencia em pontos de diferenciabilidade ou em que h
a derivadas finitas
laterais, mesmo que sejam pontos de descontinuidade de salto da func
ao, caso em que a convergencia e para a media dos limites laterais da
func
ao `
a esquerda e à direita;
5. estabelece-se a relacao entre a ordem de convergencia dos coeficientes
das series de Fourier para zero no infinito e a regularidade das respectivas func
oes (no sentido de ordem de diferenciabilidade contnua),
obtendo-se que os coeficientes tendem para zero tanto mais rapidamente quanto mais regular e a funcao.
1
Lebesgue, Henri (1875-1941).
7.2 S
eries de Fourier de fun
co
es de quadrado integr
avel
7.2
181
S
c
oes de quadrado
integr
avel
Os problemas b
asicos das series de Fourier podem ser mais facilmente descritos num espaco de func
oes de quadrado integr
avel, no sentido de Lebesgue.
Na verdade, e possvel considerar um produto interno nesse espaco, com as
nocoes geometricas correspondentes de ortogonalidade e projeccao ortogonal, e obter a convergencia das sucessoes de Cauchy na norma induzida pelo
produto interno. Comeca-se por rever alguns aspectos gerais de espacos de
funcoes integr
aveis `
a Lebesgue2 .
Alem da simplicidade referida, a consideracao de espacos de funcoes de
quadrado integr
avel `
a Lebesque tem muitas vezes um sentido fsico especial
por corresponder a medir a magnitude das funcoes e as suas dist
ancias em
termos da energia, que frequentemente e calculada por integrais dos quadrados das magnitudes de dos campos de forcas envolvidos.
Seja I um intervalo de n
umeros reais. Designa-se por L1 (I) = L(I) o conjunto das func
oes com valores complexos definidas em I que s
ao integr
aveis
no sentido de Lebesgue, considerando identificadas as funcoes que s
ao iguais
q.t.p.3 em I, uma vez que os seus integrais s
ao identicos. De forma an
a2
loga, designa-se por L (I) o conjunto das funcoes f com valores complexos
que s
ao mensur
aveis4 com |f |2 L(I), considerando tambem identificadas
as funcoes que s
ao iguais q.t.p. em I.
Com as operac
oes usuais para funcoes, tanto L1 (I) como L2 (I) s
ao
espa
cos lineares, pois s
ao subconjuntos dos espacos lineares de todas as
funcoes definidas em I e os axiomas de fecho da definicao de espaco linear
verificam-se5 . Na verdade, se f, g : I C s
ao mensuraveis e c C, tambem
cf e f +g s
ao mensur
aveis em I e
|cf | = |c| |f | ,
|f +g| |f |+|g| ,
|cf |2 = |c|2 |f |2 ,
|f +g|2 = |f |2 +2|f g|+|g|2 |f |2 +(|f |2 +|g|2 )+|g|2 = 2(|f |2 +|g|2 ) ,

2
Para uma exposic

ao simplificada do integral de Lebesgue em Rn ver, por exemplo, o
livro do autor Integrais M
ultiplos, Texto Editora 1993.
3
Le-se quase em toda a parte em I e significa em todos os pontos deste intervalo
excepto possivelmente num conjunto de medida nula.
4
Diz-se que uma func
ao definida em I e mensur
avel se existe uma sucess
ao de func
oes
em escada em I que converge q.t.p. em I para f .
5
Os elementos destes espacos s
ao classes de equivalencia de func
oes iguais q.t.p. em
I, mas cada classe pode ser identificada por um dos seus elementos, e tanto a soma de
func
oes como o produto por escalares por func
oes respeitam as classes de equivalencia.
Por exemplo, em L1 (I) a soma de duas classes de equivalencia de duas func
oes dadas e
a classe de equivalencia da soma destas func
oes; analogamente, o produto de um escalar
por uma classe de equivalencia de uma func
ao dada e a classe de equivalencia do produto
desse escalar pela func
ao dada.
182
S
eries de Fourier
onde na pen
ultima formula foi usada a relacao
|f |2 +|g|2 = (|f ||g|)2 +2|f g| 2|f g| .
R
Recorde-se que I |f | = 0 se e s
o se f = 0 q.t.p. em I, o que, com
R as
primeiras duas desigualdades do par
agrafo anterior, garante que kf k = I |f |
define uma norma6 em L1 (I). Por outro lado, de |f |2+|g|2 2|f
R g| = 2|f g|
2
resulta que f g e integr
avel para f, g L (I), pelo que < f, g >= I f g define
facil verificar que < f, g >
uma func
ao de L2 (I) L2 (I) em C E
e um
2
produto interno em L (I). A norma correspondente e kf k =< f, f >1/2 =

R
2 1/2 .
|f
|
I
O resultado seguinte estabelece que tanto as funcoes dos espacos L1 (I)
como de L2 (I) podem ser aproximadas por funcoes contnuas, por funcoes
C k e ate C de suporte7 compacto, nas normas dos respectivos espacos.
(7.1) Teorema: O conjunto das funco
es C k de suporte compacto e
denso em L1 (I) e em L2 (I), para k N {0, }.
Dem. A demonstrac
ao comeca por estabelecer que o conjunto das funcoes
em escada em I e denso nos dois espacos considerados, e prossegue aproximando func
oes em escada por funcoes contnuas, e estas por funcoes C .
Sabe-se que para quaisquer f L1 (I) e > 0 existe uma funcao em
escada s em I tal que kf skL1 < , pelo que o conjunto das funcoes em
escada em I e denso em L1 (I). Por outro lado, como qualquer f L2 (I) e
mensur
avel, para qualquer > 0 existe uma funcRao em escada s em I tal
que |f s| < q.t.p. em I e, entao, kf sk2L2 = I |f s|2 |I| , onde |I|
designa o comprimento de I. No caso de I ser um intervalo limitado fica
garantido que o conjunto das funcoes em escada em I e denso em L2 (I).
No caso de I ser ilimitado, decompoe-se I numa uni
ao numeravel de
subintervalos In com |In | 1, para n N. Para qualquer > 0, em cada um
destes subintervalos limitados In existe uma funcao Rem escada
R que2
P sn tal
kf snk2L2 (In ) < 2n e sn = 0 fora de In . Alem disso, I |f |2 =
n=1 In |f |
R
P
2
e, portanto, P
existe m N tal que n=m+1 In |f | < . Assim, a funcao em
escada tm = m
n=1 sn satisfaz
Z
m Z
m
X
X
X
2
2
kf tm kL2 (I) =
2n + < 2 .
|f sn | +
|f |2 <
n=1 In
n=m+1 In
n=1
Logo, o conjunto das funcoes em escada em I e denso em L2 (I) tambem

quando I e ilimitado.
6
E essencial considerar como identicas as func

oes que s
ao iguais q.t.p. em I, como foi
referido anteriormente.
7
O suporte de uma func
ao e o fecho do conjunto onde a func
ao e diferente de zero.
7.2 S
co
avel
183
Ficou provado que o conjunto das funcoes em escada e denso em Lp (I),

para p = 1, 2.
Qualquer func
ao em escada s pode ser aproximada por uma funcao contnua que coincide com s em todos os pontos, excepto em pequenos intervalos de largura arbitrariamente pequena centrados em cada um dos pontos de
descontinuidade de s , onde assume valores sobre segmentos de recta. Como
os pontos de descontinuidade de uma funcao em escada s
ao em n
umero finito
e esta func
ao e limitada, existe uma funcao h contnua, de suporte em I e
com derivada contnua, excepto possivelmente num n
umero finito de pontos,
tal que kshkLp < , para p = 1, 2 e, portanto, kf hkLp < 2. Como > 0
e arbitrario, fica assim provado que o conjunto das funcoes contnuas de suporte compacto com derivada contnua, excepto possivelmente num n
umero
p
finito de pontos, e denso em L (I), com p = 1, 2.
Sabe-se que as func
oes contnuas de suporte compacto podem ser arbitrariamente aproximadas por funcoes C de suporte compacto na norma
do supremo8 , e portanto tambem na norma de Lp (I), com p = 1, 2. Como
C C k para todo k N tambem o conjunto das funcoes C k de suporte
compacto com k N e denso em Lp (I), com p = 1, 2.
Q.E.D.
O Teorema de Riesz9 -Fischer10 , que se prova a seguir, estabelece a importante propriedade dos espacos L1 (I) e L2 (I) serem completos11 .
(7.2) Teorema de Riesz-Fischer: L1 (I) e L2 (I) s
ao espacos completos.
Dem. Seja {fk } uma sucessao de Cauchy em Lp (I), com p = 1 ou
p = 2. Existe uma sucessao crescente de n
umeros naturais
n } tal que para
P {Nkp
nn/p
k, j Nn e kfk fj k < 2
. Designa-se h = k=1 2 |gk gk+1 |p e
gn = fNn . Como
Z
X
X
X
X
p
kp p(k+k/p)
kp
kp
p
2k ,
2 2
=
2 kgk gk+1 k <
2 |gk gk+1 | =
k=1
k=1
k=1
k=1
o Teorema de Convergencia de Levi12 para series garante que a serie que

define h e convergente q.t.p. em I e h L1 (I). Como a soma de uma serie
8
Embora este facto seja usualmente conhecido, d
a-se uma demonstrac
ao na secc
ao
seguinte como aplicac
ao da convoluc
ao que e a introduzida a prop
osito de propriedades
dos coeficientes de Fourier.
9
Riesz, Frigyes (1880-1956).
10
Fischer, Ernst (1875-1954).
11
Diz-se que um espaco normado e completo se todas as sucess
oes de Cauchy convergem
para elementos do espaco, na norma desse espaco.
12
Levi, Beppo (1875-1961). O Teorema de Convergencia de Levi para series estabelece
que se a serie dos integrais dos valores absolutos dos termos de uma sucess
ao de func
oes
integr
aveis e convergente, ent
ao a serie da sucess
ao de func
oes e convergente q.t.p. para
uma func
ao integr
avel e esta serie pode ser integrada termo a termo (ver, por exemplo, o
ultiplos, Texto Editora 1993).
184
S
eries de Fourier
convergente de termos maiores ou iguais a zero e necessariamente maior ou

igual a cada um dos seus termos, obtem-se |gk gk+1 | 2k h1/p q.t.p. em I.
Portanto,
m1
m1
X
X
1/p
2(k+j) < 21k h1/p q.t.p. em I.
|gk+j gk+j+1 | h
|gk gk+m |
j=0
j=0
O lado direito converge para zero q.t.p. em I quando k +, pelo que

para quase todo x I a sucessao numerica {gk (x)} e de Cauchy e, portanto, converge para um n
umero que se designa por f (x); nos pontos x I
onde a sucessao {gk (x)} diverge define-se f (x) = 0. Fazendo m +
nas desigualdades
precedentes,
obtem-se |gk f | 21k h1/p q.t.p. em I.
R
R
p
(1k)p
Logo, I |gk f | 2
I h. Quando k + o lado direito converge
para zero, pelo que kgk f k 0. Da desigualdade triangular obtem-se
kfn f k kfn gk k + kgk f k e da definicao de gk resulta, para n Nk ,
kfn gk k < 2kk/p , pelo que kfn f k 0 quando n +. Portanto
fn f na norma considerada.
Q.E.D.
Se f L2 (I) e I e um intervalo limitado
de Rcomprimento |I|, a deR
sigualdade de Cauchy-Schwartz implica I |f | = I 1.|f | k1kL2 kf kL2 =
avel. Logo L2 (I) L1 (I) e
|I|kf kL2 , pelo que a funcao mensuravel f e integr
claro que esta inclusao n
ao se verifica em intervalos ilimikf kL1 kf kL2 . E
tados (e.g., com f (x) = 1/x em [1, +[ e f L2 ([1, +[) e f
/ L1 ([1, +[),
e tambem e claro que a inclusao e estrita no caso de intervalos limitados
pois h
a func
oes em L1 que n
ao pertencem a L2 (e.g., f (x) = 1/ x 0 em
[0, 1] tem integral igual a 2 e f 2 (x) = 1/x n
ao e integr
avel em [0, 1]).
O conjunto {n : n (t) = eint , n Z} L2 (I) e ortogonal, pois
( (nm)2
Z 2
e
1
= 0 , se n 6= m
nm
ei(nm)t dt =
(7.3)
< n , m > =
0
2
, se n = m .
Como os conjuntos ortogonais num espaco linear com produto interno
s
ao necessariamente linearmente independentes e O e um conjunto infinito,
conclui-se que L2 (I) e um espaco linear de dimensao infinita. Sabe-se do
estudo elementar de espacos lineares com produto interno que, dado um
conjunto ortonormal infinito numeravel O = {0 , 1 , . . .} em L2 (I) e uma
func
ao fL2 (I), existe uma u
nica funcao do subespaco gerado por um subconjunto finito ON ={0 , 1 , . . . , N } mais pr
oxima de f do que todas as
outras desse subespaco, e esta
e
a
projec
c
a
o
ortogonal
de fR sobre o subesPN
claro
paco, nomeadamente PN f= n=0 cn n , com cn=<f, n>= I f n . E
que a sucessao {kf PN f k} das dist
ancias de f às suas projeccoes ortogonais sobre os espacos ON e decrescente (Figura 7.1). A procura
P de aproximac
oes cada vez
melhores
para
a
fun
c
a
o
f
conduz
a
`
s
e
rie
n=0 cn n , com
R
asicas
cn =<f, n>= I f n . O resultado seguinte estabelece propriedades b
destas aproximac
oes.
7.2 S
co
avel
185
Figura 7.1: Aproximacoes ortogonais por

polin
omios trigonometricos em L2 ([0, 2])
(7.4) Teorema: Seja {0 , 1 , . . .} em L2 (I) um conjunto ortonormal

infinito numer
avel em L2 (I). Ent
ao:
P
P
1. Se a serie |cn |2 e convergente com cn C, ent
ao a serie
cn n
e convergente na norma de L2 (I);
P 2
2. Se f L2 (I) e cn =< f, n >, ent
aoPa serie
|cn | converge e
2
satisfaz a desigualdade de Bessel |cn | kf k2 ;
P
3. Se f L2 (I) e cn =< f, n >, ent
ao a serie
cn n converge para
f na norma de L2 (I) se P
e s
o se os dois lados da desigualdade de
Bessel s
ao iguais, isto e |cn |2 = kf k2 .
Dem.
P
1. Como a serie
|cn |2 e convergente, as suas somas parciais constituem
uma sucessao de Cauchy. Portanto, para todo > 0 se M N for suficientemente grande verifica-se para todo N N
2
M +N
M
+N

X
X

2
|cn |2 < .
cn n =
kPM +N f PM f k =

n=M +1
n=M +1
Logo, {PN f } e uma sucessao de Cauchy em L2P

(I). Como este espaco e
completo, a sucessao, e portanto tambem a serie
cn n , e convergente.
2. Verifica-se
186
S
eries de Fourier
kf PN f k2 = < f PN f, f PN f >
= < f, f > < f, PN f > < PN f, f > + < |PN f, PN f >
= kf k2
= kf k2
PN
N
X
n=0
N
X
n=0
cn < f, n >
|cn |2
|2 kf k2 ,
Portanto n=0 |cn

a desigualdade de Bessel.
N
X
n=0
N
X
cn < f, n > +
n=0
|cn |2 +
N
X
ck cn < k , n >
k,n=0
N
X
n=0
pelo que a serie
|cn |2 = kf k2
P
|cn
|2
N
X
n=0
|cn |2 .
e convergente e satisfaz
P
2
3. Na prova de 2. obteve-se a formula kf PN f k2 = kf k2 N
n=0 |cn | .
Portanto, os dois lados da desigualdade de Bessel
ao iguais se e s
o se
P s
kf PN f k2 0 quando N +, isto e, se a serie
cn n converge para f
na norma de L2 (I).
Q.E.D.
R
Note-se que fn f na norma de L2 (I) significa I |fn f |2 0, pelo
que a convergencia na norma de L2 (I) e conhecida por converg
encia em
m
edia quadr
atica.
P
O resultado anterior garante que a serie
n=0 < f, n > n converge na
norma de L2 (I), qualquer que seja f L2 (I) e o conjunto ortonormal infinito
numeravel O = {0 , 1 , . . .}. Resta esclarecer quando e que o limite da
serie e a pr
opria func
ao f . O teorema seguinte esclarece esta situacao com
base na noc
ao de conjunto ortonormal completo e estabelece a formula de
Parseaval13 .
Chama-se conjunto ortonormal completo em L2 (I) a um conjunto
ortonormal O tal que o u
nico elemento de L2 (I) ortogonal a todos os elemen
tos de O e o zero. E facil ver que um conjunto ortonormal completo em L2 (I)
tem de ser infinito, pois como o espaco tem dimensao infinita um conjunto
ortonormal finito Q n
ao pode ser uma base do espaco e, portanto, existe um
elemento do espaco fora do subespaco gerado por Q e subtraindo-lhe a sua
projecc
ao ortogonal sobre este subespaco de dimensao finita obtem-se um
vector diferente de zero ortogonal a Q14 .
O resultado seguinte estabelece que os conjuntos ortonormais completos em L2 (I) s
ao os an
alogos de bases ortonormais de espacos de dimensao
finita com produto interno, no sentido de todos os elementos do espaco poderem ser representados em termos de elementos do conjunto, substituindo
combinac
oes lineares finitas por series cujas somas parciais s
ao combinacoes
lineares finitas de elementos do conjunto. Estabelece tambem a chamada
13
Parseval, Marc-Antoine (1755-1836).

Este argumento na verdade estabelece que um espaco linear com produto interno tem
um conjunto ortonormal completo finito se e s
o se o espaco tem dimens
ao finita.
14
7.2 S
co
avel
187
f
ormula de Parseval15 que e an
aloga, no mesmo sentido, à formula que d
a
o produto interno de dois vectores como soma dos produtos das componentes correspondentes dos vectores numa dada base ortonormal de um espaco
de dimensao finita com produto interno.
(7.5) Teorema: Seja O = {0 , 1 , . . .} um conjunto infinito numer
avel
ortonormal em L2 (I). As quatro afirmaco
es seguintes s
ao equivalentes:
1. O e um conjunto ortonormal completo;
P
2
2
2. f=
n=0 < f, n > n para f L (I), na norma de L (I);
P
2
2
2
3.
n=0 | < f, n > | = kf k para f L (I) (igualdade de Bessel);
P
2
4. < f, g >=
ormula de
n=0 < f, n > < g, n > para f, g L (I) (f
Parseval).
P
Dem. Da afirmac
ao 3. do teorema anterior sabe-se que f = P< f, n > n ,
com o limite na norma de L2 (I), e equivalente a kf k2 =
| < f, n > |2 .
Logo, a 2a e a 3a afirmac
oes s
ao equivalentes e qualquer delas implica que
se f e ortogonal a todos os elementos de O entao f = 0, e, portanto, O e
um conjunto ortonormal completo, pelo que tanto a 2a como a 3a afirmacao
implica a 1a .
P
Da afirmac
ao 2. do teorema anterior,
| < f, n > |2 e convergente qualquerP
que seja f L2 (I), e da afirmacao 1. do mesmo teorema resulta
que P < f, n > n e convergente na norma
de L2 (I) para alguma funcao
P
g = < f, n > n . Ent
ao < g, j >= < f, n >< n , j > =< f, j > e,
portanto, gf e ortogonal a todos os elementos de O. Se O e um conjunto
ortonormal completo verifica-se f = g, logo a 1a afirmacao implica a 2a .
Esta, portanto, estabelecida a equivalencia das tres primeiras afirmacoes.
A formula de Parseval, com f = g, d
a a igualdade de Bessel, pelo que
a 4a afirmac
ao implica a 3a e, portanto, tambem a 2a . Por
Poutro lado,
a
2
a 2P afirmac
ao implica para funcoes f, g L (I) que f = < f, n > e
g = < g, n >, pelo que
XX
< f, g > =
< < f, n > n , < g, j > j >
n
X
XX
< f, n > < g, n > ,
=
< f, n > < g, j > < n , j > =
2a
ou seja, a
afirmac
ao implica a
s
ao equivalentes.
4a .
Conclui-se que a 2a e a 4a afirmacoes

Q.E.D.
Os resultados anteriores n
ao dependem de considerar o caso particular
2
de espacos L (I), pois as demonstracoes s
ao validas sem alteracoes para
15
Parseval, Marc-Antoine (1755-1836).
188
S
eries de Fourier
qualquer espaco linear com produto interno que seja completo na norma
associada. Um espaco qualquer com estas propriedades chama-se espa
co
de Hilbert. Assim, a teoria geral de s
eries de Fourier em qualquer
espa
co de Hilbert assume a forma simples exposta acima e em cada
caso concreto precisa da identificacao de conjuntos ortonormais completos.
Portanto, o interesse das series de Fourier excede o caso de series trigonometricas que e considerado no exemplo seguinte. Ha situacoes em que convem
considerar series em espacos de Hilbert e em relacao a conjuntos ortonormais
completos diferentes dos indicados.
(7.6)Exemplo: Considera-se em L2 ([0, 2]) o conjunto O = {n : n (t) =
eint / 2, n Z }. De 7.3 resulta que O e um conjunto ortonormal em
L2 ([0, 2]). Para f L2 ([0, 2]) os resultados anteriores podem ser aplicados
a serie
`
N
+
X
X
int
cn eint ,
cn e = lim
n=
1
1
cn = <f, n > =
2
2
N +
n=N
f (t) n (t) dt =
1
2
f (t) eint dt .
A esta serie chama-se s

erie de Fourier de f e aos coeficientes
cn chamaP
int s
se coeficientes de Fourier de f . As funcoes do tipo N
c
ao
n=N n e
it
conhecidas por polin
omios trigonom
etricos. Na verdade, a formula e =
cos t + i sin t permite escrever a serie de Fourier de f em termos de senos e
cosenos na forma
A0 X
(An cos nt + Bn sin nt) ,
+
2
n=1
Z
1 2
An = cn +cn =
f (t) cos nt dt ,
0
Z
1 2
Bn = i (cn cn ) =
f (t) sin nt dt .
0
Ao termo
ltima serie considerada, igual à soma dos termos n e n da
P n da u
serie +
c
eint , chama-se componente fundamental de f se n = 1, e
n
n=
harm
onica-n de f se n = 2, 3, . . . . O termo de ordem zero A0 /2 = c0
ea
m
edia de f em [0, 2]. Se a funcao f tem valores reais, entao os coeficientes
An , Bn s
ao reais. Se, alem disso, a extensao de f a R como funcao peri
odica
de perodo 2 e uma funcao par, isto e, se f (t) = f (2 t) para t [0, ],
obtem-se Bn = 0 e a serie e uma serie de cosenos. Se essa extensao peri
odica
e mpar, isto e, se f (t) = f (2 t) para t [0, ], obtem-se An = 0 e a serie
e uma serie de senos.
Em aplicac
oes do
ambito da Fsica e da Engenharia, à serie de Fourier
de uma func
ao e usual chamar decomposi
c
ao espectral da funcao ou
decomposic
ao da func
ao em componentes de frequencia.
7.2 S
co
avel
189
Provar-se-
a no teorema (7.18) que O e um conjunto ortonormal completo
em L2 ([0, 2]), pelo que o u
ltimo teorema anterior implica:
(i) toda a func
ao deste espaco e igual à sua serie de Fourier, com o limite
na norma de L2 ([0, 2]);
(ii) verifica-se a igualdade na Desigualdade de Bessel;
(iii) e valida a formula de Parseval.
Este exemplo pode ser adaptado para L2 ([a, b]), substituindo o intervalo [0, 2] por [a, b]. Obtem-se
assim o conjunto ortonormal em L2 ([a, b])
{n : n (t) = ein2(ta)/(ba) / b a, n Z} e, para f L2 ([a, b]), a serie de

Fourier
+
X
cn ein2(ta)/(ba) ,
n=
Z b
1
1
< f,n > =
f (t) ein2(ta)/(ba) dt .
cn =
ba a
ba
Neste caso, a serie de Fourier de f pode ser escrita em termos de senos e
cosenos na forma

A0 X
n2(ta)
n2(ta)
+
+ Bn sin
An cos
,
2
ba
ba
n=1
Z b
n2(ta)
2
dt ,
f (t) cos
An = cn +cn =
ba a
ba
Z b
n2(ta)
2
dt .
f (t) sin
Bn = i (cn cn ) =
ba a
ba
Como exemplo, os coeficientes da serie trigonometrica de Fourier da funcao real f , peri
odica de perodo 2, tal que f (t) = 1 para t [3/4, 5/4] e
f (t) = 0 para t ]0, 3/4[ ]5/4, 2[ podem ser facilmente calculados
Z 2
Z 5/4
1
1
1 int 5/4
int
cn =
f (t) e
dt =
eint dt =
e
3/4
2 0
2 3/4
2in

i
i in5/4 in3/4
=
e
e
ein ein/4 e+in/4
=
2n
2n
1 in sin n/4
= e
,
para n Z\{0},
4
n/4
Z 2
Z 5/4
1
1
/2
1
= .
f=
1=
c0 =
2 0
2 3/4
2
4
Na Figura 7.2 mostram-se os valores absolutos dos coeficientes de Fourier
e compara-se a func
ao16 com a soma do seu valor medio com as primeiras
16
Os coeficientes desta serie de Fourier envolvem a func

ao sinc t = (sin t)/t, a que se
chama fun
c
ao sinc em abreviatura do nome em latim sinus cardinalis. Estas designac
oes foram introduzidas em 1952 por Philip Woodward (1919-) no contexto de an
alise de
sinais em telecomunicac
oes e radar, porque, como referiu, esta func
ao aparece t
ao frequentemente em An
alise de Fourier que merece uma notac
ao pr
opria. Com esta notac
ao,
cn = ein sinc n/4.
190
S
eries de Fourier
harmonicas.
Na verdade,neste caso verifica-se cn = cn e a representacao de Fourier
pode ser expressa como se segue em termos de uma serie de Fourier de
cosenos, o que acontece sempre que a funcao seja par.
f (t) =
n int 1 1 X sin n/4

1 1 X ein
+
sin
e = +
cos n(t) .
4 n= n
4
4 2
n/4
n6=0
n=1
Figura 7.2: Decomposicao espectral de um impulso rectangular: (i) valores

absolutos dos coeficientes de Fourier, (ii) ate à harmonica-4, (iii) ate à
harmonica-8, (iv) ate `
a harmonica-16
Sabemos que os espacos L2 (I), em que I e um intervalo em R, s

ao espacos de Hilbert de dimensao infinita. Um outro exemplo de espaco de
Hilbert de dimensao infinita e o das sucessoes dos coeficientes de Fourier de
func
oes em L2 (I). Na verdade, resulta dos dois teoremas anteriores (7.5)
e (7.18) que as sucessoes {cn } C, com n Z, dos coeficientes de Fourier
de func
oes
em L2 (I) s
ao as sucessoes em C cujas series dos quadrados dos
P+
m
odulos n= |un |2 s
ao convergentes. Chama-se às sucessoes cuja serie
de quadrados dos m
odulos e convergente sucess
oes de quadrados som
a2 destas sucess
veis. Prova-se a seguir que
o
espa
c
o
linear
o
es
com
o
produto
P
e um espaco de Hilbert.
interno < {un }, {vn }> = +
n= un vn
(7.7) Proposi
c
ao: O espaco das sucess
oes dos coeficientes de Fourier
2
2
de funco
es em L (I) e , e este e um espaco de Hilbert.
7.2 S
co
avel
191
P
Dem. Se {un }, {vn } 2 , ent
ao < {un }, {vn }> = +
e uma serie
n= un vn
absolutamente convergente porque as sucessoes de somas parciais da serie
1/2 P
1/2
P
P
ao majoradas por
|un |2
|vn |2
em consequencia da
|un vn | s
desigualdade de Cauchy-Schwarz aplicada no espaco das sucessoes finitas ate
cadaordem m. Considera-se em L2 ([0, 2]) o conjunto O = {n : n (t) =
a no teorema (7.18) que O e um conjunto ortoeint / 2, n Z }. Ver-se-`
2
normal
Do teorema (7.5) com cn = < f,Pn >, e
P completo em L ([0, 2]).
2 ([0, 2]) e tal acontece se e s
f=
c
para
todo
f
L
o se
|cn |2 e
n=0 n nP
2
convergente e
|cn |2 = kf k . Da unicidade das series de Fourier de funcoes
2
em L ([0, 2]) que ser
a estabelecida no teorema (7.19) como consequencia
directa de O ser um conjunto ortonormal completo, a transformacao linear
definida por T : L2 ([0, 2]) 2 tal que T (f ) = {< f, n >} e injectiva.
Do teorema (7.5) resulta que T e sobrejectiva e, portanto, e uma bijeccao
que preserva as operac
oes de espacos lineares, e tambem preserva o produto interno devido `
a formula de Parseval, de onde resulta que preserva
normas. Logo, uma sucessao {fn } L2 ([0, 2]) e uma sucessao de Cauchy
em L2 ([0, 2]) se e s
o se {T (fn )} e uma sucessao de Cauchy em 2 e {fn }
2
converge em L ([0, 2]) se e s
o se {T (fn )} converge em 2 . Como L2 ([0, 2])
2
e completo, conclui-se que tambem e um completo. Logo 2 e um espaco
de Hilbert isomorfo a L2 ([0, 2]).
Q.E.D.
Nesta u
ltima demonstrac
ao mostrou-se que L2 (I) e 2 s
ao essencialmente
o mesmo espaco de Hilbert atraves de um isomorfismo, i.e., uma bijeccao
de um espaco para o outro que preserva as operacoes de espaco linear e produto interno, e, em consequencia, tambem preserva normas e dist
ancias, ou
seja, e uma isometria. Isto e uma situacao geral para espacos de Hilbert
de dimensao infinita. Na verdade, os espa
cos de Hilbert complexos de
dimens
ao infinita s
ao espa
cos lineares com produto interno isomorfos entre si, i.e., para quaisquer dois espacos de Hilbert de dimensao
infinita existe uma bijecc
ao entre eles que preserva as operacoes de espaco
linear e de produto interno (em consequencia tambem preserva angulos e
dist
ancias, pelo que e uma isometria). Essencialmente, existe um u
nico espaco de Hilbert de dimensao infinita que pode ser representado de formas
diferentes, como e o caso dos espacos L2 (I), em que I e um intervalo de R
qualquer, e de 2 . Uma das consequencias deste facto e que qualquer espaco
de Hilbert de dimensao infinita tem conjuntos ortonormais completos.
Para n N tambem os espacos de Hilbert de dimensao finita n s
ao
isomorfos entre si; mais precisamente, estes s
ao espacos lineares com produto
interno isomorfos a Cn com isomorfismos que tambem s
ao isometrias.
Assim, as classes de espacos de Hilbert diferenciados a ponto de n
ao
serem isomorfos e numeravel, com uma classe para cada dimensao finita do
espaco n N e uma para dimensao infinita.
192
S
eries de Fourier
7.3
Propriedades gerais dos coeficientes de Fourier
Uma vez que para calcular os coeficientes de series de Fourier como indicado
na secc
ao anterior basta considerar funcoes integr
aveis à Lebesgue, n
ao h
a
raz
oes para nos restringirmos a funcoes de quadrado integr
avel. Por outro
lado, o exemplo considerado no fim da seccao anterior mostra que a situacao
de func
oes definidas num intervalo I = [a, b] pode ser facilmente reduzida à
das func
oes definidas em I = [0, 2] por uma simples mudanca de vari
aveis,
pelo que nos basta considerar este u
ltimo caso.
Dada uma func
ao f L1 ([0, 2]), definem-se os coeficientes
de Fourier
em relac
ao ao conjunto ortonormal {n : n (t) = eint / 2, n Z} por
Z 2
1
b
f (t) eint dt , para n Z ,
f (n) = f b(n) =
2 0
e chama-se s
erie de Fourier de f a
+
X
fb(n) eint .
n=
Como as func
oes t 7 eint s
ao peri
odicas de perodo 2, e natural considerar
a serie de Fourier de uma funcao f L1 ([0, 2]) tambem como sendo a serie
de Fourier da func
ao definida em R que coincide com a funcao dada no
intervalo [0, 2] e e peri
odica de perodo 2. Assim, no estudo de series de
Fourier n
ao h
a inconveniente em identificar cada funcao f L1 ([0, 2]) com
a sua extens
ao peri
odica de perodo 2 a R, convencao que adoptamos.
Figura 7.3: Convolucao de funcoes: a funcao em

baixo e a convolucao das funcoes em cima
Define-se a convolu
c
ao de funcoes f, g L1 ([0, 2]) por (Figura 7.3)
Z 2
f (t ) g( ) d , t R .
(f g)(t) =
0
7.3 Propriedades gerais dos coeficientes de Fourier
193
O resultado seguinte mostra que a convolucao tem propriedades semelhantes a um produto em L1 ([0, 2]).
(7.8) Teorema: Se f, g, h L1 ([0, 2]), ent
ao f g e peri
odica de pe1
rodo 2, f g L ([0, 2]), f g = g f , (f g) h = f (g h),
f (g + h) = (f g) + (f h) e kf gkL1 kf kL1 kgkL1 .
Dem. As func
oes (t, ) 7 f (t ) e (t, ) 7 g( ) s
ao mensuraveis, pelo que
a funcao (t, ) 7 F (t, ) = f (t ) g( ) tambem e mensuravel. Como

Z 2 Z 2
Z 2 Z 2
|f (t )| dt |g( )| d
|F (t, )| dt d =
0
0
0
0
Z 2
kf kL1 |g( )| d = kf kL1 kgkL1 ,
=
0
o Teorema de Tonelli17 garante que F L1 ([0, 2][0, 2]) e, portanto,

pode-se aplicar o Teorema de Fubini18 para obter

Z 2 Z 2
Z 2

dt
|(f g)(t)| dt =
F
(t,
)
d
kf gkL1 =

0
0
0

Z 2 Z 2
Z 2 Z 2
|F (t, )|dt d = kf kL1 kgkL1 .
|F (t, )|d dt =
O facto de f g ter perodo 2 e imediato de f, g terem esse perodo. A

comutatividade e a associatividade da convolucao, e a distributividade da
convoluc
ao em relac
ao `
a adic
ao s
ao de verificacao imediata.
Q.E.D.
Uma outra importante propriedade e o resultado da convolucao de duas
funcoes ter a ordem de diferenciabilidade da funcao de maior ordem de
diferenciabilidade, pelo que tambem pode ser usada para regularizar funcoes
dando func
oes pr
oximas com uma ordem de diferenciabilidade tao grande
quanto se queira ou mesmo infinita. Embora esta propriedade n
ao seja
necessaria para o que se segue, inclui-se aqui pela sua import
ancia geral.
(7.9) Proposi
c
ao: Se f L1 ([0, 2]), K C n ([0, 2]) e K(0) = K(2),
n
ent
R 2ao K f C ([0, 2]), para n N {0, } . Se, alem disso, K 0,
0 K = 1, K = 0 em pontos distantes mais de > 0 de 0 e 2, e f
17
Tonelli, Leonida (1885-1946). O Teorema de Tonelli garante a integrabilidade de uma

func
ao mensur
avel num produto cartesiano de dois intervalos sob a hip
otese de existencia
de um dos integrais sucessivos correspondentes do m
odulo da func
ao (ver, por exemplo, o
ultiplos, Texto Editora 1993).
18
Fubini, Guido (1879-1943). O Teorema de Fubini garante a possibilidade de c
alculo do
integral de uma func
ao integr
avel num produto cartesiano de dois intervalos por integrais
sucessivos em cada um dos intervalos (ver, por exemplo, o livro referido na nota anterior).
194
S
eries de Fourier
e limitada, ent
ao |f (t) (K f ) (t)| 2 sup|t |< {|f (t) f ( )|} para
t [0, 2]; em particular, se |f | M ent
ao |f (K f )| 4 M .
Dem. As condic
oes de troca da derivada com o integral que define Kf s
ao
(n)
(n)
satisfeitas, pelo que a derivada de ordem n e (K f ) = K f , o que
garante a validade da primeira afirmacao.
nas condic
oes da segunda afirmacao e
Z 2
Z 2

|f (t)(K f )(t)| = K(t ) (f (t)f ( )) d K(t ) |f (t)f ( )| d
0
0
Z t+
Z t+
|f (t)f ( )| d
K(t ) |f (t)f ( )| d =
=
t
2 sup {|f (t)f ( )|} .

|t |<
Se, nestas condic

oes, |f | M , entao sup|t |< {|f (t) f ( )|} 2M para
t, [0, 2], concluindo a demonstracao.
Q.E.D.
O resultado anterior e u
til em muitos contextos e pode ser aplicado com
grande generalidade porque para qualquer > 0 existem funcoes K que s
ao
C e satisfazem as outras condicoes no enunciado da proposicao anterior19 .
Os coeficientes de Fourier satisfazem as propriedades seguintes.
(7.10) Proposi
c
ao: Seja f, g L1 ([0, 2]). Ent
ao, para todo n Z :
1. (f + g)b(n) = fb(n) + gb(n) ;
2. (af )b(n) = afb(n) , a C ;
3. fb(n) = fb(n) ;
R 2
1
4. |fb(n)| 2
0 |f (t)| dt =
1
2
kf kL1 ;
5. fb (n) = fb(n) ein , onde f (t) = f (t ) para [0, 2], t R ;
6. (f g)b(n) = 2 fb(n) gb(n) ;
19
7. fb(n) eint = (f )(t), onde (t) = eint /(2) ;

Rt
8. Se F (t) = 0 f (s) ds e fb(0) = 0, ent
ao a funca
o contnua F e peri
ob
b
dica de perodo 2 e tem coeficientes de Fourier F (n) = f (n)/(in).
A func
oes K que satisfazem as condic
oes indicadas chama-se n
ucleos de regulariza
c
ao, n
ucleos de molifica
c
ao ou molificadores (do ingles mollifying e mollifiers).
f
E
acil verificar que um exemplo concreto e obtido a partir da func
ao C com suporte
R1
1/(1x2 )
1
[1, 1] definida por (x) = e
, x [1, 1], definindo K (x) = (x/)/ 1 .
195
Dem. As primeiras cinco propriedades s

ao consequencias imediatas das definicoes. Prova-se aqui explicitamente apenas as tres restantes.
6. Com o teorema de Fubini e mudanca de vari
aveis de integracao
Z 2
1
(f g)(t) eint dt
(f g)b(n) =
2 0

Z 2Z 2
1
f (t ) g( ) d eint dt
=
2 0
0

Z 2Z 2
1
in(t )
=
f (t ) e
dt g( ) ein d
2 0
0

Z 2
Z 2
1
g( ) ein d = 2 fb(n) gb(n) .
f (t) eint dt
=
2
0
0
7. Com mudanca de vari

aveis de integracao obtem-se
Z 2
Z 2
1
1
(f )(t) =
f (t ) ( ) d =
f (t ) ein d
2 0
2 0
Z 2

1
=
f (t ) ein(t ) d eint
2 0

Z 2
1
in
f ( ) e
d eint = fb(n) eint .
=
2 0
8. No apendice B estabelece-se
que F e contnua e F = f q.t.p. em [0, 2].
R 2
Verifica-se F (2) = 0 f (s) ds = 2 fb(0) = 0 = F (0). Integrando por partes,
Z 2
Z 2
1
1 b
1
1 int
int
b
F (n) =
e
dt =
F (t) e
dt =
F (t)
f (n) .
2 0
2 0
in
in
Q.E.D.
Estas propriedades facilitam o calculo com series de Fourier. Em particular, os coeficientes de Fourier da convolucao de funcoes s
ao iguais a 2
vezes o produto dos correspondentes coeficientes das parcelas, o termo n da
serie de Fourier de uma func
ao f e dado pela convolucao de f com a funcao
eint /2, e os coeficientes de Fourier do integral indefinido F de qualquer funcao f L1 ([0, 2]) com media nula obtem-se dividindo os correspondentes
coeficientes da serie de Fourier de f por in, para n 6= 0.
A 4a propriedade da proposic
ao anterior estabelece que as sucessoes dos
coeficientes de Fourier de func
oes em L1 ([0, 2]) s
ao limitadas. Pode-se provar facilmente o resultado mais forte de que necessariamente convergem para
zero no infinito. Podia ser dada uma demonstracao directa baseada numa
argumentac
ao aplic
avel no quadro dos integrais de Riemann, mas usa-se
aqui uma demonstrac
ao mais simples baseada nos resultados da seccao anterior para series de Fourier de funcoes de quadrado integr
avel. Na verdade,
este u
ltimo resultado ficou dependente de provar que o conjunto ortonormal
196
S
eries de Fourier
O = {n : n (t) = eint / 2, n Z } e completo o que s

o se faz na seccao
seguinte, sem usar a propriedade aqui considerada. Opta-se por antecipar
esta propriedade, ficando a demonstracao apenas pendente da prova de O
ser um conjunto ortonormal completo, para que esta importante propriedade dos coeficientes de Fourier fique na seccao onde as outras propriedades
b
asicas s
ao consideradas.
(7.11) Lema de Riemann-Lebesgue: f L1 ([0, 2]) implica fb(n) 0
para |n| .
Dem. A soma parcial
m da serie de Fourier e o polin
omio trigonoP de ordem
b(n) eint . Devido à ortogonalidade dos elementos
metrico pm (t) = +
f
n=
R 2
de O em L2 ([0, 2]), para |n| > m e 0 pm (t) eint dt = 0. Logo,
Z 2
Z 2

int
int
b

2 |f (n)| =
f (t) e
dt =
[f (t)pm (t)] e
dt
0
0
Z 2
|f (t)pm (t)| dt = kf pmkL1 .
O resultado e agora directo para funcoes g L2 ([0, 2]) devido à convergencia

da serie de Fourier de g para esta pr
opria funcao na norma de L2 estabelecida
na secc
ao anterior, embora dependente de O ser um conjunto ortonormal
completo, pois kg pm kL1 kgpm kL2 e esta norma converge para zero
quando m 0, o que implica que gb(n) 0 para |n| .
A densidade de C k ([0, 2]) L2 ([0, 2]) L1 ([0, 2]) em L1 ([0, 2]) implica a densidade de L2 ([0, 2]) em L1 ([0, 2]). Logo, qualquer que seja > 0
existe g L2 ([0, 2]) tal que kf gkL1 < . Do resultado anterior, para m
suficientemente grande kgpm kL2 < . Em consequencia,
2 |fb(n)| kf pmk 1 kf gk 1 + kgpm k 1 + kgpm k 2 < 2 ,
L
o que prova fb(n) 0 para |n| .

Como
1
fb(n) =
2
f (t) eint dt =
Q.E.D.
1
2
f (t) (cos nt+i sin nt) dt ,
o Lema de Riemann-Lebesgue equivale a afirmar que f L1 ([0, 2]) implica

Z 2
Z 2
f (t) sin nt dt = 0 .
f (t) cos nt dt = 0
e
lim
lim
n 0
n 0
facil mostrar com relacoes trigonometricas que estas duas propriedades s

E
ao
equivalentes pelo que o Lema de Riemann-Lebesgue e equivalente a qualquer
uma delas. Tambem se pode verificar, usando relacoes trigonometricas e a
multiplicac
ao de func
oes em L1 ([0, 2]) pela funcao igual a 1 num intervalo
arbitrario I [0, 2] e a 0 fora do intervalo, a equivalencia com
lim
n 0
197
f (t) sin(n t+n ) dt = 0 ,
para quaisquer sucessoes {n }, {n } R, com |n | e f L1 (I), que

tambem e uma formulac
ao comum do Lema de Riemann-Lebesgue.
(7.12) Exemplos:
1. A func
ao f : [0, 2] R, com f (t) = t/, para 0 t e com f (t) = 0
para < t 2, e obviamente uma funcao integr
avel que, portanto,
tem serie de Fourier
A0 X
(An cos nt + Bn sin nt) ,
+
2
n=1
com
1
A0 =
An =
Z
Z
1
f (t) dt =
t
1
dt = ,
f (t) cos nt dt
0

2/ 2 n2 , se n impar
0
, se n par
0
Z
Z
1 2
(1)n+1
1 t
Bn =
sin nt dt =
.
f (t) sin nt dt =
0
0
n
1
=
t
cos nt dt =
A Figura 7.4 mostra o gr

afico da funcao f sozinho e sobreposto aos
termos da serie de Fourier ate à harmonica-14. A Figura 7.5 mostra os
coeficientes de Fourier fb (n) = (AniBn )/2, para n N e fb(0) = A0 /2,
em func
ao de n, atraves de gr
aficos do m
odulo e do argumento.
Figura 7.4: Funcao e aproximacao pelos

primeiros 14 termos da serie de Fourier
2. A func
ao f : [0, 2] R, com f (t) = cos2 t e obviamente uma funcao
integr
avel que, portanto, tem serie de Fourier. A extens
ao de perodo
2 de f a R e uma func
ao par, pelo que a sua serie de Fourier e uma
serie de cosenos
A0 X
An cos nt .
+
2
n=1
198
S
eries de Fourier
Figura 7.5: Decomposicao espectral do

impulso em rampa da figura anterior
Como o conjunto de funcoes S = {n : n (t) = cos nt, n N {0} }
e ortogonal em relacao ao produto interno de L2 ([0, 2]), os termos
da serie de Fourier ordem n = N s
ao a projeccao de f sobre o espaco
linear gerado por S em relacao ao mesmo produto interno e cos2 t =
(1+cos 2t)/2, conclui-se que
A0 = 1 ,
A2 = 1/2 ,
An = 0 para n N\{0, 2} .

termos da serie de Fourier ate à harmonica-14. A Figura 7.7 mostra
os coeficientes de Fourier fb(n) = An /2, para n N {0}, em funcao
de n, atraves de gr
aficos do m
Figura 7.6: Funcao e aproximacao pelos

primeiros 14 termos da serie de Fourier
3. Seja 0 < < e f : [0, 2] R, com f (t) = 1 para 0 t e para
obviamente uma
2 t 2, e com f (t) = 0 para < t < 2. E
func
ao integr
avel que, portanto, tem serie de Fourier. A extensao de
199
Figura 7.7: Decomposicao espectral do

quadrado do coseno da figura anterior
perodo 2 de f a R e uma funcao par, pelo que a sua serie de Fourier
e uma serie de cosenos
A0 X
An cos nt ,
+
2
n=1
onde, considerando f estendida a R como referido,

1
A0 =
1
f (t) dt =
An =
1
=
Z
Z
1
f (t) dt =
f (t) cos nt dt =
0
cos nt dt =
1 dt =
2
,
f (t) cos nt dt
2 sin n
, para n N .
n
A 7.8 mostra o gr
afico da funcao f sozinho e sobreposto aos termos
da serie de Fourier ate `
a harmonica-14. A Figura 7.9 mostra os coeficientes de Fourier fb(n) = An /2, para n N {0}, em funcao de n,
atraves de gr
aficos do m
odulo e do argumento20 .
4. No exemplo anterior obteve-se uma serie de cosenos para a funcao dada
facil obter uma serie
pois a sua extens
ao de perodo 2 a R e par. E
de senos para a mesma funcao dada no intervalo [0, 2]. Na verdade,
basta comecar por estender f ao intervalo [2, 2] de forma ser uma
20
Em termos da func
ao sinc referida a prop
osito do exemplo (7.6), An = (2/)sinc n.
200
S
eries de Fourier
Figura 7.8: Funcao e aproximacao pelos primeiros

14 termos da serie de Fourier de senos
Figura 7.9: Decomposicao espectral dos impulsos

rectangulares da figura anterior em serie de senos
func
ao mpar neste intervalo e, depois, estender a funcao obtida a R
de modo a ser peri
odica de perodo 4. Calculando a serie de Fourier
desta u
ltima funcao definida no intervalo [0, 4], obtem-se a serie de
senos seguinte
X
nt
,
Bn sin
2
n=1
onde, considerando f estendida a R como referido,

Z 4
Z 2
1
nt
nt
1
dt =
dt .
f (t) sin
f (t) sin
Bn =
2 0
2
2 2
2
Como f (t) sin(nt/2) e uma funcao par,

Z 2
Z
Z
1 2
nt
1
nt
nt
Bn =
sin
dt =
dt +
dt
f (t) sin
sin
0
2
0
2
2
2
=
2 [1(1)n ] [1cos(n/2)]
2 [1(1)n ] [1cos(n/2)]
=
.
n
n
7.4 Converg
encia uniforme de s
eries de fun
co
es C 2 e C 1
201

termos da serie de Fourier ate à harmonica-14. A Figura 7.11 mostra
coeficientes de Fourier fb(n) = iBn /2, para n N e fb(0) = 0, em
func
ao de n, atraves de gr
aficos do m
Figura 7.10: Func

ao e aproximacao pelos primeiros
14 termos da serie de Fourier de senos
Figura 7.11: Decomposicao espectral dos impulsos

rectangulares da figura anterior em serie de senos
7.4
Converg
encia uniforme de s
eries de Fourier
2
1
de fun
c
oes C e C
Na secc
ao 7.2 considerou-se a convergencia em media quadr
atica de series
2
de Fourier em L (I). Nesta seccao inicia-se o estudo da converg
encia
pontual, isto e, da convergencia numerica da serie de Fourier em cada
ponto do intervalo I, primeiro no caso mais simples de todos, de funcoes C 2
num intervalo compacto I com valores iguais nos extremos deste intervalo,
e depois para func
oes C 1 . Nestes casos, ate se prova convergencia uniforme
da serie de Fourier de uma func
ao para essa funcao em I, o que e mais forte
do que convergencia pontual em todos os pontos de I.
Como na secc
ao anterior, consideramos I = [0, 2] sabendo que o que
ficar estabelecido pode ser aplicado por uma simples mudanca de vari
aveis
quando I for um outro intervalo compacto.
202
S
eries de Fourier
A argumentac
ao baseia-se em tres ideias b
asicas:
1. as func
oes contnuas em [0, 2] com valores iguais nos extremos deste
intervalo podem ser uniformemente aproximadas por polin
omios trigonometricos,
2. se uma func
ao f contnua em [0, 2] com valores iguais nos extremos
deste intervalo tem serie de Fourier uniformemente convergente em
[0, 2], ent
ao esta serie converge para f ,
3. os coeficientes de Fourier fb(n) de uma funcao f C k ([0, 2]), k N,
tendem para zero mais rapidamente do que |n|k quando n .
A 1a afirmac
ao e um caso particular do chamado Teorema de Aproximac
ao de Weierstrass. Para provar este teorema e u
til considerar o n
ucleo de
Fej
er21 (Figura 7.12)
!2

n
n+1
t
sin
|j|
1
1 X
2
,
1
eijt =
(7.13)
Kn (t) =
1
2
n+1
2(n+1)
sin
2t
j=n
pois da 1a formula para Kn e da propriedade (7.10.7), tendo em conta as

propriedades gerais da convolucao, obtem-se

n
X
|j|
1
(Kn f ) (t) =
fb(j) eijt ,
n+1
j=n
que e um polin
omio trigonometrico, pelo que para provar a 1a afirmacao
acima basta provar Kn f f uniformemente em [0, 2] para n +.
Obviamente a 2a formula n
ao est
a definida em pontos onde sin (t/2) = 0
(i.e., t = 2k com k Z), mas pode ser estendida por continuidade a esses
pontos com o valor (n+1)/(2) uma vez que a regra de lHopital ou relacoes
trigonometricas mostram que a funcao definida pela 2a formula tem limite
nesses pontos igual a este valor; assim, considera-se a 2a formula prolongada
por continuidade aos pontos indicados. A igualdade das duas formulas dadas
acima para Kn obtem-se provando por inducao finita a igualdade
!
n

eit X
ei(n+1)t
1
1 eit
1 ei(n+1)t
|j|
ijt
e =
.
1
2
4
4
n+1
n+1 2
4
4
j=n
e utilizando 1/2eit /4eit /4 = (1cos t)/2 = sin2 (t/2).

O n
ucleo de Fejer tem as propriedades seguintes.
21
Fejer, Lip
ot (1880-1959).
7.4 Converg
encia uniforme de s
eries de fun
co
es C 2 e C 1
203
Figura 7.12: N
ucleo de Fejer, com n = 9
(7.13) Proposi
c
ao: O n
ucleo de Fejer Kn definido por (7.13) e uma
funca
o par definida e contnua em R, peri
odica de perodo 2, com
Kn 0 e Kn (0) = (n+1)/(2), que satisfaz as propriedades seguintes:
R 2
1. 0 Kn = 1 ;
R 2
2.
Kn 0 para n + qualquer que seja ]0, [ ;
3. Kn f , para todo f L1 ([0, 2]) e o polin
omio trigonometrico

n
X
|j|
fb(j) eijt .
(Kn f ) (t) =
1
n+1
j=n
Dem. As primeiras afirmac

oes s
ao consequencias obvias da 2a formula para
Kn em (7.13) e do prolongamento por continuidade a pontos t = 2k, k Z,
como indicado acima.
1. resulta de observar que a 1a formula para Kn em (7.13) e um polin
omio
trigonometrico, pelo que a media de Kn em [0, 2] e o termo de ordem zero,
que e 1/2.
a
2. resulta da
2 formula2 para Kn em (7.13) implicar para t [, 2 ]
que Kn (t) 1/ 2(n+1) sin (/2) 0 para n +.
3. ja foi provada logo a seguir à definicao de Kn em (7.13).
Q.E.D.
(7.14) Teorema de Aproxima

c
ao de Weierstrass com polin
omios
trigonom
etricos: Qualquer f : R R contnua e peri
odica de perodo
2 pode ser uniformemente aproximada por polin
omios trigonometricos.
204
S
eries de Fourier
Dem. Se f satisfaz as condicoes enunciadas e Kn e o n

ucleo de Fejer, entao
Z 2

|f (t)(Kn f ) (t)| =
Kn ( ) [f (t)f (t )] d
Kn ( )|f (t)f (t )| d +
Kn ( )|f (t)f (t )| d
Kn ( )|f (t)f (t )| d
2
max |f (t)f (t )| + 2 max |f ( )|

[0,]
[0,2]
max
[2,2]
Kn
|f (t)f (t )| .
O Teorema de Heine22 -Cantor23 garante que uma funcao f contnua no intervalo compacto [0, 2] e uniformemente contnua neste intervalo e, portanto,
qualquer que seja > 0 existe > 0 tal que |f (x)f (y)| < para |x y| < .
Escolhendo > 0 deste modo e tomando n suficientemente
grande obtem
se |f (t)(Kn f ) (t)| 2 1+max [0,2] |f ( )| para t [0, 2]. Logo,
Kn f f uniformemente em [0, 2], quando n +. Sabe-se de 3. na
proposic
ao anterior que Kn f e um polin
omio trigonometrico.
Q.E.D.
O resultado seguinte estabelece que series de Fourier de funcoes contnuas
peri
odicas que convergem uniformemente convergem necessariamente para
a respectiva func
ao.
(7.15) Teorema: Se f C([0, 2]), f (0) = f (2) e a serie de Fourier
de f converge uniformemente para g em [0, 2], ent
ao g = f .
P
int
b
Dem. Como g = +
n= f (n) n com n (t) = e / 2 e a convergencia desta seRrie e uniforme em [0, 2], os coeficientes de Fourier
2
gb(n) = (2)1/2 0 g n podem ser calculados integrando a serie termo a
R 2
termo. As func
oes n s
ao ortonormais. Logo gb(n)=(2)1/2 0 g n =fb(n)
para todo n Z. Portanto, f e g tem os mesmos coeficientes de Fourier e a
func
ao contnua h = fg tem todos os coeficientes de Fourier nulos, b
h(n) = 0.
Pretende-se provar que h = 0, o que n
ao resulta imediatamente de todos os
seus coeficientes de Fourier serem nulos porque neste ponto da demonstracao
ainda n
ao se tem a garantia da serie de Fourier de h convergir para h.
Considera-se o conjunto N dos polin
omios trigonometricos de grau menor ou igual a N N. Sabe-se da seccao 7.2 que o elemento de N mais
pr
oximo de h na norma de L2 ([0, 2]) e a soma parcial SN (h) de ordem N da
22
23
Heine, Eduard (1821-1881).

Cantor, Georg (1845-1918).
7.4 Converg
encia uniforme de s
eries de fun
co
es C 2 e C 1
205
serie de Fourier de h. Como SN (h) = 0, temos khk = khSN (h)k khk

para todo N . A func
ao g e peri
odica de perodo 2 pois e a soma de
uma serie de Fourier. Logo g tem valores iguais nos extremos do intervalo
[0, 2], o que tambem acontece para h. Do Teorema de Aproximacao de
Weierstrass (7.14), o lado direito desta desigualdade pode ser feito arbitrariamente pequeno, pelo que khkL2 ([0,2]) = 0 e, portanto, h = 0 q.t.p. em [0, 2].
Como h e contnua temos h = 0 em todos os pontos de [0, 2].
Q.E.D.
Prova-se agora o resultado anunciado no incio da seccao para a ordem
de convergencia para zero dos coeficientes de funcoes C k .
(7.16) Proposi
c
ao: Se f C k ([0, 2]) para algum k N, ent
ao para
n Z\{0}
|fb(n)| = (2)1 |(f (j) )b(n)| |n|j , j = 1, 2, . . . , k

|fb(n)| (2)1 min f (j) 1 |n|j .
j=0,1, ,k
Rt
Dem. Se g C 1 ([0, 2]) e g(t) = 0 g + g(0) e a propriedade (7.10.8) d
a
gb(n) = (g )b(n)/(in) para n Z\{0}. Por inducao finita, se f C k ([0, 2])
j
com k N, obtem-se |fb(n)| = |(f (j) )b(n)/(in)j | = |(f (j) )b(n)|/|n|
(j)
(j)
1

,
f
para j = 1, , k, n Z\{0}. De (7.10.4) e |(f )b(n)| (2)
L1
para j = 0, 1, , k, n Z\{0}, o que termina a prova.
Q.E.D.
Podemos agora estabelecer que as series de Fourier de funcoes C 2 convergem uniformemente para as respectivas funcoes.
P
b
(7.17) Teorema: Se f C([0, 2]), f (0) = f (2) e +
n= |f (n)| converge, ent
ao a serie de Fourier de f converge uniformemente para f em
[0, 2].
Dem. O m
odulo de cada termo da
serie de Fourier de f e igual ao corresponP+
dente termo da serie numerica n= |fb(n)|, que e convergente
dado que
P 2
da proposic
ao (7.16)
e
dominada
pela
s
e
rie
convergente
n
multiplicada

por (2)1 f (k) L1 . Portanto, a serie de Fourier de f converge uniformemente em [0, 2] para uma func
ao g contnua em [0, 2]. O teorema anterior
garante g = f .
Q.E.D.
Prova-se agora que O = {n : n (t) = eint / 2, n Z} e um conjunto
ortonormal completo em L2 ([0, 2]), como referido no exemplo (7.6). E

assim completada a prova da convergencia em media quadr
atica de todas as
206
S
eries de Fourier
series de Fourier de funcoes em L2 ([0, 2]) considerada na 2a seccao deste

captulo.
(7.18) Teorema: O = {n : n (t) = eint / 2, n Z} e um conjunto ortonormal completo em L2 ([0, 2]). Toda a funca
o f L2 ([0, 2]) e igual
a sua serie de Fourier, com a convergencia na norma de L2 ([0, 2]).
`
Dem. Do teorema (7.1) sabe-se que o conjunto das funcoes C 2 em [0, 2]
facil ver que, dados > 0 e f L2 ([0, 2])
e denso em L2 ([0, 2]). E
2
existe g C ([0, 2]) com g(0) = g(2) tal que kf gkL2 < . O teorema
anterior garante que a serie de Fourier de g converge uniformemente para
g em [0, 2]. Designando por Sn (g) a soma parcial de ordem n da serie de
Fourier de g, existe M N tal que para n > M e kgSn (g)kL2 . Sabe-se
da secc
ao 7.2 que o polin
omio trigonometrico de ordem menor ou igual a n
mais pr
oximo de f na norma de L2 ([0, 2]) e Sn (f ), pelo que
kf Sn (f )kL2 kf Sn (g)kL2 kf gkL2 +kgSn (g)kL2 < 2 .
Como > 0 e arbitrario, conclui-se que a serie de Fourier de qualquer funcao
f L2 ([0, 2]) converge para f na norma de L2 ([0, 2]). O teorema (7.5)
estabelece que tal acontece se e s
o se O e um conjunto ortonormal completo.
a
A 2 afirmac
ao resulta tambem do teorema (7.5).
Q.E.D.
O resultado anterior permite estabelecer a unicidade de series de Fourier
para func
oes de L2 ([0, 2]) e, portanto, tambem para funcoes C k , k N{0}.
(7.19) Teorema de unicidade de s
eries de Fourier: Se as series de
2
Fourier de f, g L ([0, 2]) s
ao iguais, ent
ao f = g q.t.p. em [0, 2].
Em particular, f = g em todos os pontos onde ambas s
ao contnuas.
Dem. A serie de Fourier de f g tem coeficientes nulos, pelo que converge
para zero. Do teorema precedente, esta serie converge para f g na norma
de L2 , pelo que f g = 0 q.t.p. em [0, 2]. Se t e um ponto de continuidade
de f e g, tambem e um ponto de continuidade de fg. Como existem pontos
arbitrariamente pr
oximos onde f g e zero, e f g = 0 em [0, 2]. Q.E.D.
A convergencia uniforme de series de Fourier de funcoes f C 2 ([0, 2])
com valores iguais nos extremos do intervalo p
ode ser facilmente obtida em
consequencia dos m
odulos dos seus coeficientes de Fourier |fb(n)| decrescerem
mais rapidamente ou como |n|2 quando |n| e, portanto, as correspondentes series de valores absolutos dos dos termos da serie
de Fourier serem
P+
majoradas por m
ultiplos da serie numerica convergente n= |n|2 .
7.4 Converg
encia uniforme de s
eries de fun
co
es C 2 e C 1
207
A majora
ao correspondente no caso de funcoes C 1 conduz à serie harP+c
m
onica n= |n|1 , que e divergente, pelo que o argumento n
ao pode ser
aplicado neste caso. Contudo, o resultado pode neste caso ser estabelecido
majorando m
odulos de somas de termos consecutivos da serie em vez dos
m
odulos de cada um dos seus termos. Na verdade, a demonstracao aplicase sem qualquer alterac
ao ao caso menos restrito de funcoes contnuas com
derivada integr
avel `
a Riemann no intervalo [0, 2] e com valores iguais nos
extremos deste intervalo24 , pelo que e enunciado com esta hip
otese.
(7.20) Teorema: Se f : [0, 2] R e diferenci
avel, f e integr
avel a
`
Riemann e f (0) = f (2), ent
ao a serie de Fourier de f converge uniformemente para f em [0, 2]. Em particular, o resultado e v
alido para
1
f C ([0, 2]) com f (0) = f (2).
Rt
Dem. Como f (t) = 0 f +f (0), (7.10.8) d
a que f e contnua, logo integr
avel
2
b
em [0, 2], e fc (n)

= in f (n) para n Z\{0}. E claro que f L ([0, 2]).
int
Com n (t) = e / 2 e a Desigualdade de Bessel do teorema (7.4), obtem-se
para m, p N
2
m+p
+
+
2
2
X
X
X
1

< f , n > 1 f 2 2 .
fc (n) =
n fb(n)
2

L
2
n=
n=
|n|=m+1
Aplicando a Desigualdade de Cauchy-Schwarz25 obtem-se para m, p N

m+p
m+p
int
X

X

e
int

fb(n) e =
n fb(n)

n
|n|=m+1
|n|=m+1
1/2
!1/2
int 2 1/2
m+p
m+p
m+p
2
X
X 1
X

e
1

.
n fb(n)
n 2 f L2 2
n2
n=m+1
|n|=m+1
|n|=m+1
P
Como a P
serie
1/n2 e convergente, conclui-se que a sucessao de somas par+
ciais de n= fb(n) eint satisfaz a condicao de Cauchy uniformemente, pelo
que converge uniformemente em [0, 2]. Todos os termos s
ao funcoes contnuas de perodo 2, pelo que a serie converge para uma funcao g contnua
em [0, 2] com g(0) = g(2). Como esta e a serie de Fourier de f , o teorema
(7.15) garante f = g.
Q.E.D.
De modo a poder usar o resultado directamente para series de Fourier de

derivadas de func
oes C k com derivada de ordem k+1 integr
avel à Riemann
24
No apendice C estende-se este resultado com a teoria do integral de Lebesgue para

func
oes f absolutamente contnuas com f L2 ([0, 2]).
25
Schwarz, Hermann (1843-1921).
208
S
eries de Fourier
no intervalo [0, 2] e a funcao e todas as suas derivadas ate à ordem k com

valores iguais nos extremos do intervalo, enuncia-se o corol
ario seguinte.
(7.21) Corol
ario: Se f C k ([0, 2]), f (j)(0) = f (j)P
(2) para j = 0, . . . , k,
(k+1)
kb
int
ef
e integr
avel `
a Riemann em [0, 2], ent
ao +
n= (i n) f (n) e
converge uniformemente para f (k) em [0, 2], para todo k N {0}.
Dem. Como f (k+1) = (f (k) ) , o teorema anterior implica que a serie de Fourier de f (k) converge uniformemente para f (k) em [0, 2]. Resta verificar que
esta serie de Fourier
R t e a serie indicada no enunciado, o que resulta de observar que f (j)(t) = 0 f (j+1)+f (j) (0) e que a aplicacao sucessiva da propriedade
(7.10.8) d
a (f (k) )b(n) = (in)k para n Z\{0}.
Q.E.D.
7.5
Fen
omeno de Gibbs e converg
encia de
s
c
oes seccionalmente
diferenci
aveis com derivada integr
avel
Nos exemplos das figuras 7.2 a 7.11 observou-se que a aproximacao de func
oes com descontinuidades de salto por series de Fourier est
a associada à
ocorrencia nas correspondentes sucessoes de somas parciais de oscilacoes
junto `
a descontinuidade que excedem ou ficam aquem (em ingles overshoot
e undershoot) os valores limites, mas que permanecem em todos os termos,
apesar da convergencia pontual das somas parciais para os valores da func
ao t
ao pr
oximo da descontinuidade quanto se queira. A convergencia da
serie de Fourier para o seu limite na vizinhanca de uma descontinuidade
n
ao e uniforme, embora seja possvel estabelecer convergencia uniforme dos
gr
aficos das somas parciais, como conjuntos, para um conjunto que n
ao e o
gr
afico de uma func
ao, dado que e um segmento de recta vertical e excede
por uma fracc
ao do salto da descontinuidade o valor do limite lateral maior
e fica aquem do valor do limite lateral menor por igual fraccao do salto. A
esta propriedade chama-se Fen
omeno de Gibbs, embora tenha sido primeiro descrita por H. Wilbraham26 em 1848 e s
o tenha sido considerada por
J.W. Gibbs27 em 1898.
Em consequencia do estudo do Fen
omeno de Gibbs estabelece-se um
resultado de convergencia de series de Fourier em todos os pontos de um
26
27
Wilbraham, Henry (1825-1883).

Gibbs, Josiah Willard (1839-1903).
7.5 Fen
omeno de Gibbs, conv. p/ fun
co
es secc. diferenci
aveis 209
intervalo limitado I para fun
co
es seccionalmente diferenci
aveis no intervalo I, isto e, diferenci
aveis nos fechos dos subintervalos de uma particao
finita de I, e com derivada integr
avel em I, permitindo a existencia de um
n
umero finito de descontinuidades de salto. Para esta classe de funcoes as
series de Fourier convergem para o valor da funcao em pontos de continuidade e para a media dos limites laterais em pontos de descontinuidade, e a
convergencia e uniforme em subconjuntos fechados de I que n
ao contenham
pontos de descontinuidade, e consequentemente na uni
ao das suas repeticoes
peri
odicas para alem de I, enquanto nos pontos de descontinuidade ocorre
o Fen
omeno de Gibbs.
A an
alise do Fen
omeno de Gibbs pode ser feita penas com base nas
seccoes anteriores, no estudo de m
aximos e mnimos de funcoes reais e em
trigonometria elementar ao nvel da estudada no ensino secundario. Tal
estudo, se bem que elementar, resulta longo e envolve compridas formulas
trigonometricas. Como na secc
ao seguinte se vai considerar a convergencia
pontual de series de Fourier em geral, com base no n
ucleo de Dirichlet, e as
oscilacoes associadas ao Fen
omeno de Gibbs est
ao directamente relacionadas
com este n
ucleo, opta-se por antecipar a introducao do n
ucleo de Dirichlet e
utiliz
a-lo para an
alise do Fen
omeno de Gibbs. A trigonometria aparece assim
principalmente para estabelecer propriedade gerais do n
ucleo de Dirichlet
e a an
alise pode ser mais curta. Esta opcao tem a vantagem adicional
de sublinhar a relac
ao entre o Fen
omeno de Gibbs e um instrumento tao
fundamental em Analise de Fourier como o n
ucleo de Dirichlet.
Como se disse, para analisar a convergencia pontual de series de Fourier
e u
til considerar o n
ucleo de Dirichlet28 (Figura 7.13)
(7.22)
Dn (t) =
n
1 sin 2n+1
1 X ijt
2 t
e =
,
2
2 sin 2t
j=n
pois resulta da propriedade (7.10.7) aplicada à 1a formula que as somas

parciais da serie de Fourier de f L1 ([0, 2]) satisfazem Sn (f ) = Dn f .
Obviamente a 2a formula n
ao est
a definida em pontos onde sin t/2 = 0 (i.e.,
t = 2k com k Z), mas pode ser estendida por continuidade a esses pontos
com o valor (2n + 1)/(2) uma vez que a regra de lHopital ou relacoes
trigonometricas mostram que a funcao definida pela 2a formula tem limite
nesses pontos igual a este valor; assim, considera-se a 2a formula prolongada
por continuidade aos pontos indicados. A igualdade das duas formulas acima
para Dn obtem-se notando que sin(nt+ t/2)sin(ntt/2) = 2(cos nt) sin(t/2),
e portanto
28
Note-se que o n
ucleo de Fejer introduzido na secc
ao anterior e o quadrado do n
ucleo
de Dirichlet normalisado para ter integral 1.
210
S
eries de Fourier
n
n
n
1 1 X eijt +eijt 1 1 X
1 X ijt
cos jt
e =
+
+
=
2
2
2
2
j=1
j=n
(7.23)
j=1
Pn
2j+1
2j1
sin
t
sin
t
j=1
2
2
1 +
t
2
2 sin 2
!
1
t
sin
t
1 sin 2n+1
1 sin 2n+1
2
2
2 t
+
.
=
t
2
2 sin 2t
2 sin 2
Figura 7.13: N
ucleo de Dirichlet, com n = 9
Como Sn (f ) = Dn f , a serie de Fourier de f e convergente num ponto
t se e s
o se limn+ (Dn f )(t) existe e, entao, a soma da serie no ponto t
e igual ao valor deste limite. Por testa raz
ao o n
ucleo de Dirichlet vai ser
utilizado na secc
ao seguinte dedicada à convergencia pontual de series de
Fourier.
O resultado seguinte d
a para o n
ucleo de Dirichlet propriedades semelhantes `
as que foram estabelecidas para o n
ucleo de Fejer.
(7.24) Proposi
c
ao: O n
ucleo de Dirichlet Dn definido por (7.22) e
uma funca
o par definida e contnua em R, peri
odica de perodo 2, com
Dn (0) = (2n+1)/(2), que satisfaz as propriedades seguintes:
R 2
1. 0 Dn = 1 ;
R 2
2.
Dn 0 para n + qualquer que seja ]0, [ ;
7.5 Fen
co
es secc. diferenci
aveis 211
3. Dn f = Sn (f ) para toda f L1 ([0, 2]), onde Sn (f ) e a soma

parcial de ordem n da serie de Fourier de f .
Dem. As primeiras afirmac
oes s
ao consequencias obvias da 2a formula para
Dn em (7.22) e do prolongamento por continuidade a pontos t = 2k, k Z,
como indicado acima.
R 2
1. obtem-se da 1a formula para Dn em (7.22) e de 0 eijt dt ser igual a
zero se j Z\{0} e a 2 se j = 0.
2. resulta da 2a formula para Dn em (7.22) por aplicacao do Lema
R 2
de Riemann-Lebesgue (7.11) a
f (t) sin(n+1/2)t dt, com f (t) =
1/(2 sin(t/2)), dado que f e contnua em todo o intervalo e, portanto,
pertence a L1 ([, 2]).
3. ja foi provada logo a seguir à definicao de Dn em (7.22).
Q.E.D.
(7.25) Exemplos:
1. Comeca-se por analisar o Fen
omeno de Gibbs no caso da fun
c
ao de
impulsos rectangulares peri
odica de perodo 2 que no intervalo [0, 2] e
definida por
1 , se t ]0, [
P(t) = 1 , se t ], 2[
0 , se t {0, , 2} .
Esta func
ao peri
odica de perodo 2 e uma funcao mpar pelo que tem serie
de Fourier de senos e sucessao de somas parciais da serie Sn (P) satisfaz
Sn (P)(2t) = Sn (P)(t). Como a funcao e peri
odica de perodo 2 tambem
satisfaz Sn (P)(2 +t) = Sn (P)(t). Como neste caso P( t) = P(t) tambem
se verifica Sn (P)(t) = Sn (P)(t).
Portanto, cada func
ao Sn (P) pode ser completamente obtida por estas
relacoes de simetria a partir dos valores em [0, /2] .
Da propriedade (7.24.3) do n
ucleo de Dirichlet e Sn (P) = Dn P, pelo
que
Z
Z
Z
0
Sn (P)(t) =
P(t ) Dn ( ) d =
Dn
Dn .
t2
A derivada desta func

ao nos pontos t 6= j, com j Z, e
Sn (P) (t) = Dn (t)Dn (t)Dn (t)+Dn (t2) = 2[Dn (t)Dn (t)]

Da 1a formula para Dn em (7.22) e atendendo a que eij = (1)|j| para
j Z, obtem-se
n
n
1 X h ijt ij(t) i 1 X ijt
=
e e
e .
Dn (t)Dn (t) =
2
j=n
j=n
j impar
212
S
eries de Fourier
Como a soma no u
ltimo termo s
o tem parcelas n
ao nulas para j mpar, para
cada n par, Dn (t)Dn (t) = Dn1 (t)Dn1 (t), e os termos de ordem par
da sucessao de somas parciais {Sn (P)} s
ao iguais aos termos de ordem mpar
imediatamente anteriores, ou seja S2n (P) = S2n1 (P). Com as mesmas
relac
oes usadas nas formulas (7.23), obtem-se S2n (P) (t) = S2n1 (P) (t) =
(2/) (sin 2nt)/ sin t e, primitivando, obtem-se
Z
2 t sin 2ns
ds .
S2n (P)(t) = S2n1 (P)(t) =
0 sin s
Como estamos interessados nas propriedades oscilat
orias das somas parciais da serie de Fourier Sn (P) vamos analisar os m
aximos e mnimos relativos destas func
oes. Em vez de trabalhar directamente com esta sucessao
estuda-se no intervalo [0, ] a sucessao de funcoes
Z
2 t sin ns
ds 1 , n N ,
(7.26)
n (t) =
0 sin s
cujos termos de ordem par d

ao as somas parciais da serie de Fourier de P
pela formula S2n (P) = S2n1 (P) = 2n +1. Alem de simplificar um pouco
a notac
ao, ficamos tambem com a an
alise feita para os termos de ordem
mpar, que e semelhante. Note-se que tanto os termos de ordem par como
os de ordem mpar est
ao directamente ligados ao n
ucleo de Dirichlet, pois
para k N, tem-se
Z 2t
Dk 1 ,
2k+1 (t) = 4 Dk (2t) ,
2k+1 (t) = 2
0
(7.27)

Z
Z
t
2k (t)= 2[D2k (t)D2k (t)] ,
2k (t) = 2
D2k
D2k 1,
t2
ou seja, a menos de mudancas de escala no domnio e no contradomnio (respectivamente para o dobro e para um quarto) a derivada 2k+1 dos termos
de ordem mpar da sucessao de funcoes considerada e precisamente o n
ucleo
de Dirichlet Dk , e a menos de uma mudanca de escala no contradomnio
(para metade) a derivada 2k dos termos de ordem par e a diferenca entre
o n
ucleo de Dirichlet de ordem par correspondente e uma sua translacao no
domnio (de ).
Comeca-se por obter relacoes de simetria para as funcoes n no intervalo

[0, ] a partir das relac
oes
de simetria do n
ucleo de Dirichlet Dk (t) = Dk (t),
R 2
Dk (t+2) = Dk (t), e de 0 Dk = 1. Note-se que para n = 1 a funcao n
ao tem
oscilac
oes, pois e 1 (t) = 2t/1 cujo gr
afico e um segmento de recta. Com
mudancas de vari
aveis de integracao obtem-se para todo t [0, ] e k N
Z t Z t
Z t
Z t+
Dk Dk 1 = 2k (t) ,
Dk Dk 1 = 2
2k (t) = 2
t
Z
2k+1 (t) = 2
Z 2 Z
2(t)
Dk +
Dk 1 = 2
0
t2
Z 2t
22t
Dk 1 = 2 Dk +1 = 2k+1 (t).
7.5 Fen
co
es secc. diferenci
aveis 213
Tendo em conta estas simetrias basta estudar as oscilacoes das funcoes n ,
com n N\{1} no intervalo ]0, /2[ .
Para determinar os m
aximos e mnimos relativos de n em ]0, [ para
n N\{1} calculam-se os pontos deste intervalo onde a derivada se anula,
isto e, os pontos onde sin nt = 0, que s
ao tk,n = k/n, com k = 1, . . . , n 1
para n N\{1}. Nos pontos tk,n = k/n, com k = 1, . . . , n1 para n N\{1},
a 2a derivada de n e (2n/)(cos k)/ sin tk,n = (1)k 2n/( sin tk,n). Como
sin tk,n > 0, a 2a derivada de n em tk,n e negativa para k mpar e positiva
para k par, pelo que os m
aximos e mnimos relativos de n ocorrem nos
pontos tk,n , respectivamente com k mpar e k par. Conforme n N\{1}
e mpar ou par n tem no intervalo ]0, [ respectivamente um n
umero par
ou mpar de m
aximos relativos, e um n
umero mpar ou par de mnimos
relativos, e entre dois extremos relativos consecutivos n tem um ponto de
inflexao. Para n par, o ponto /2 a meio do intervalo e um ponto de extremo
relativo que e um m
aximo relativo para n = 2 (neste caso o u
nico m
aximo
relativo em ]0, [ e alterna entre um m
aximo relativo e um mnimo relativo
à medida que n cresce. Para n mpar, o ponto /2 a meio do intervalo e um
ponto de inflex
ao e alterna a situacao de haver imediatamente à esquerda
um m
aximo relativo e `
a direita um mnimo relativo para a situacao inversa à
medida que n cresce, verificando-se para n = 3 que a funcao tem precisamente
um m
aximo relativo `
a esquerda e /2 e um mnimo relativo à direita deste
ponto.
Figura 7.14: Func

oes n para alguns valores de n par e n mpar
Como se viu, os m
aximos e os mnimos relativos de n em ]0, [ ocorrem
nos pontos tk,n com, respectivamente, k mpar e k par, ou seja respectivamente nos pontos t2j1,n = (2j1)/n e t2j,n = 2j/n com j = 1, 2, . . . , [n/2],
214
S
eries de Fourier
onde [n/2] designa o maior inteiro n/2. Para os valores dos correspondentes m
aximos ou mnimos relativos obtem-se

Z
Z k
sin
1
2 k/n sin ns
k
ds 1 =
=
d 1 .
n
n
0
sin s
n 0 sin n
Com a 2a formula e possvel obter para a diferenca dos valores absolutos de
extremos relativos

Z k
sin
k
(k1)
n
=
n n
d .
n
n
(k1) sin n
A func
ao 7 sin ( /n) e positiva e crescente em ]0, n/2[ , logo tambem
no intervalo da integracao na u
ltima formula para extremos relativos no
intervalo [0, /2] (para os quais k n/2); a funcao 7 sin e positiva no
mesmo intervalo de integracao para k mpar e negativa para k par, e tem
valores absolutos iguais em cada par de pontos de [0, /2] cuja dist
ancia ao
meio do respectivo intervalo de integracao na u
ltima formula seja a mesma.
Destas observac
oes resulta que o lado direito da formula anterior e positivo
para k par e negativo para k mpar, com valores absolutos decrescentes à
medida que k = 1, 2, . . . , [n/2] aumenta, onde [n/2] designa o maior inteiro
n/2. Portanto, qualquer que seja n N\{1} fixo, em ]0, /2[ os valores
mnimos relativos s
ao negativos e os valores m
aximos relativos s
ao positivos
e a sucessao finita dos valores absolutos de extremos relativos consecutivos
e decrescente, pelo que a sucessao finita dos valores mnimos relativos e
crescente e a sucessao finita dos valores m
aximos relativos e decrescente ao
longo de [0, /2] (Figura 7.14).
Consequentemente, para n N\{1}, se tk,n e um ponto de extremo relativo de n em [0, /2[ , os valores de n em [tk,n , /2] est
ao entre o valor
desse extremo relativo e o valor do extremo relativo imediatamente seguinte,
respectivamente n (tk,n ) e n (tk+1,n ).
O menor ponto em ]0, [ onde n , com n N\{1}, tem um extremo
relativo e t1,n = /n /2, e este extremo e um m
aximo relativo cujo valor
e dado por qualquer das formulas29

Z
Z
2Z /n sin ns
2 sin sin n 1
2 sinc
=
ds1 =
d 1.
d 1 =
n
n
0
sin s
0
0 sinc n
n
Com a 2a formula, tendo em conta que sin > 0 para 0 < < e 7 (sin )/
e estritamente decrescente em [0, ], obtem-se

Z
sinc
n+1
n
=
d ,
2
n
n+1
0 sinc n sinc n+1
29
Aparece aqui novamente a func

ao sinc t = (sin t)/t referida nos exemplos (7.6) e (7.12)
e introduzida por P. Woodward para facilitar a notac
ao em An
alise de Fourier. Para
aliviar as f
ormulas seguintes usa-se esta notac
ao.
7.5 Fen
co
es secc. diferenci
aveis 215
pelo que a sucessao dos valores destes primeiro m
aximos relativos {n (/n)},
com n N\{1}, e estritamente decrescente e, portanto, decresce para o seu
limite
Z
2 sinc
d 1 .
= lim
n+ 0 sinc
n
Como 7 sinc 1 e estritamente decrescente em [0, ] e lim 0 sinc = 1,
obtem-se
Z
Z
Z
1
sinc d .
sinc d =
sinc d
lim
n+ sinc 0
2
0
0
n
Em consequencia, a sucessao {n (/n)} dos valores dos primeiros m
aximos
relativos de n em ]0, ] decresce estritamente e converge para
2 Z
(7.28)
= lim n
=
sinc d 1 = 0, 1789797 . . . .30
n+
n
0
Figura 7.15: Convergencia do primeiro m

aximo relativo
de n em [0, ] com overshooting na vizinhanca de zero
Tal como
R se viu que {n (t1,n )} e um sucessao decrescente que converge
para (2/) 0 sinc d > 0, pode-se ver para cada j N\{1} fixo que a
30
De sinc < 1 obtem-se < 1. Verificando que (sinc ) < 0 em [0, 3/4], observa-se
que sinc e c
oncava neste intervalo, pelo que a soma das
areas dos trapezios de bases
verticais inscritos no conjunto de ordenadas desta func
ao d
a uma estimativa por defeito
do integral da func
ao no intervalo; como sinc > 0 em [0, ], obtem-se a estimativa

Z
2
1
3
1 1 2 2 2
2 1
2
+sinc +sinc + sinc
+
+ +
=
> 1, 09 .
sinc >
0
4 2
4
2 2
4
2 2
3
Estas estimativas muito grosseiras d
ao 0, 09 < < 1. Valores mais aproximados do integral
podem ser calculados refinando o c
alculo numerico.
216
S
eries de Fourier
sucessao {n (t2j1,n )}
aximos relativos em t2j1,n [0, /2] e
n=2j de valores m
R (2j1)
decrescente e converge para j = (2/) 0
sinc d > 0, e analogamente,
a sucessao {n (t2(j1),n )}n=2j de valores m

aximos relativos em t2(j1),n
R 2j
claro que
[0, /2] e crescente e converge para j = (2/)
sinc d < 0. E
0
> 2 > . . . > j > . . . > 0 > . . . > j > . . . > 2 > 1 > .
O maior dos pontos tk,n em [0, /2] onde n tem extremos relativos e
t[n/2],n . Se n e par este ponto coincide com /2, e n tem em /2 um m
aximo
relativo se n/2 e mpar e um mnimo relativo se n/2 e par; os valores destes
R n/2
extremos s
ao n (t[n/2],n ) = n (/2) = (2/) 0
sinc d . Se n e mpar n
tem um ponto de inflex
ao em /2 e t[n/2],n coincide com o ponto /2/(2n),
pelo que neste caso n tem um m
aximo relativo neste ponto se (n1)/2 e
mpar e um mnimo relativo se (n1)/2 e par. Os valores destes extremos em
R (n1)/2
sinc d .
/2/(2n) s
ao n (t[n/2],n ) = n (/2/(2n))
= (2/) 0
R
Como o integral improprio de Riemann31 0 sinc d = /2, em ambos os

casos tem-se n (t[n/2],n ) 0 quando n +.
Pode-se agora provar que n 0 uniformemente em cada intervalo fechado I contido em ]0, /2]. Na verdade, se > 0, como n (t[n/2],n 0
quando n +, existe N N tal que para n N e |n (t[n/2],n )| < . Como
para cada n N\{1} fixo a sucessao finita de valores m
aximos relativos
consecutivos de n e a sucessao finita de valores mnimos relativos consecutivos em ]0, /2[ s
ao, respectivamente, decrescente e crescente, obtem-se
para n N que |n (t)| < para t [tN,n , /2]. Como tN,n 0 quando
n +, existe M N com M > N tal que para n M o intervalo [tN,n , /2]
contem o intervalo I, pelo que |n | < em I, ou seja, o gr
afico da restricao
da func
ao ao intervalo I est
a contido no rect
angulo R = I ], [ . Em consequencia, n 0 uniformemente em I, como se pretendia provar. Devido às
propriedades de simetria 2k (t) = 2k (t) e 2k+1 (t) = 2k+1 (t), para
t [0, ], k N, as conclusoes anteriores determinam conclusoes correspondentes para o intervalo [/2, [ e, portanto, tambem para todo o intervalo
uma
]0, [. E
obvia consequencia do que foi estabelecido que n 0 em
]0, [, pois podem ser considerados intervalos fechados I ]0, [ com extremidades t
ao pr
oximas de 0 e de quanto se queira, mas vemos a seguir que
a convergencia n
ao e uniforme em quaisquer vizinhancas de 0 e de .
O que se passa pr
oximo das extremidades do intervalo [0, ] tambem pode
ser clarificado com base na an
alise anterior. Tem-se n (0) = 1. Como se
o
viu, n tem um 1 extremo relativo no intervalo ]0, [ no ponto /n, que e
um m
aximo relativo de valor n (/n). Quando n + a parte do gr
afico
da func
ao contnua n entre os pontos 0 e /n converge uniformemente
31
Pode-se ver uma forma de calcular este integral impr

oprio no lema (??).
7.5 Fen
co
es secc. diferenci
aveis 217
Figura 7.16: Fen

omeno de Gibbs: somas parciais da serie de Fourier
de uma func
ao peri
odica de impulsos rectangulares overshooting
e undershooting na vizinhanca de descontinuidades de salto
para o segmento de recta vertical32 {0}[1, ] , onde = 0, 1789797 . . .
foi obtido na formula (7.28). Como se viu acima, o limite do gr
afico de n
quando n + excede em = 0, 1789797 . . . o valor do limite de n em
pontos de ]0, [ arbitrariamente pr
oximos do ponto 0 que se viu que e igual
a zero.
Proximo do ponto a situac
ao e an
aloga, embora haja a obvia diferenca
resultante das diferentes propriedades de simetria estabelecidas acima. Esta
diferenca fica desde logo patente nos pr
oprios valores das funcoes no ponto .
De facto, se n e mpar n () = n (0) = 1, e se n e par n () = n (0) = 1.
Assim, quando n e par o gr
afico de n em ]0, [ converge uniformemente
para o segmento vertical {} [1, ], e quando n e mpar o gr
afico de
n em ]0, [ converge uniformemente para o segmento vertical {}[, 1]
(Figura (7.16)).
Como a sucessao das somas parciais da serie de Fourier da funcao de
impulsos rectangulares P e S2n (P) = S2n1 (P) = 2n +1, as conclusoes anteriores para esta u
ltima sucessao aplicam-se a Sn (P). Visto que Sn (P)(+t) =
Sn (P)(t), Sn (P)(2+t) = Sn (P)(t), o que se viu anteriormente garante que
quando n + a serie de Fourier de P converge para P uniformemente
32
No sentido deste segmento de recta ser o conjunto de pontos limite no plano de pontos
do gr
afico de n , i.e., o conjunto de pontos limites de sucess
oes de pontos {(tn , yn )}
pertencentes a estas partes dos gr
aficos das func
oes n e de qualquer que seja > 0 existir
N N tal que a dist
ancia mnima de pontos do gr
afico de n a pontos do segmento de
recta ser menor do que para n > N .
218
S
eries de Fourier
em qualquer subconjunto fechado de [0, 2] sem pontos de descontinuidade

de P e consequentemente na uni
ao das repeticoes peri
odicas de um tal conjunto. A convergencia nos pontos de descontinuidade e trivial porque nesses pontos todas as somas parciais s
ao iguais a zero em consequencia de
S2n (P) = S2n1 (P) = 2n +1 em [0, ] e 2n (0) = 2n () = 1 e P(0) = P().
Contudo, em qualquer vizinhanca de um ponto de descontinuidade a convergencia n
ao e uniforme pois por maior que seja n h
a sempre pontos nessa
vizinhanca onde Sn (P) tem valores distantes do valor limite zero, inclusivamente a uma dist
ancia maior do que 1+ , onde = 0, 1789797 . . . foi
obtido na formula (7.28).
O limite do gr
afico da funcao contnua Sn (P) em 0 e e respectivamente
{0} [1 , 1+ ] e {} [1 , 1+ ]. O limite do gr
afico de Sn (P)
quando n + excede o limite do gr
afico de P numa vizinhanca arbitrariamente pequena dos pontos 0 e , tanto no sentido positivo como no negativo
das ordenadas, por uma quantidade de igual magnitude que e aproximadamente 8,95% do salto na descontinuidade de P nesse ponto (neste caso de
magnitude 2). Por periodicidade, o mesmo acontece em todos os pontos de
descontinuidade k, com k Z. Portanto, o gr
afico de Sn (P) converge para
um conjunto G que e a uni
ao do gr
afico de P com o conjunto de segmentos
verticais {{k}[1, 1+] : k Z}. Esta convergencia e uniforme, no
sentido de qualquer que seja > 0 existe N N tal que para n > N o gr
afico
de Sn (P) est
a contido no conjunto dos pontos do plano a uma dist
ancia do
conjunto GP inferior a (Figura 7.17). Em suma, para as somas parciais
da serie de Fourier de P, o gr
afico do limite
e diferente do limite dos
gr
aficos; na verdade, o gr
afico do limite e o gr
afico de P e o limite dos
gr
aficos e GP . Este u
ltimo contem o primeiro, mas excede-o em pontos de
descontinuidade de P, embora a convergencia dos gr
aficos das somas parciais
para G seja uniforme.
2. Analisa-se agora o Fen
omeno de Gibbs no caso da fun
c
ao em dente de
serra peri
odica de perodo 2 que no intervalo [0, 2] e definida por
Z(t) =
1t/, se t ]0, 2[
0
, se t {0, 2} .
Tal como no exemplo anterior esta funcao e mpar pelo que tem serie de
Fourier de senos. Neste caso as simetrias das somas parciais da serie de
Fourier s
ao Sn (Z)( + t) = Sn (Z)(t), Sn (Z)(2 + t) = Sn (Z)(t). A funcao
Sn (Z) pode ser completamente obtida por estas relacoes de simetria a partir
dos valores da func
ao no intervalo [0, ].
Da propriedade R(7.24.3) do n
ucleo de Dirichlet e Sn (Z) = Dn Z, logo,
2
utilizando tambem 0 Dn = 1,
7.5 Fen
co
es secc. diferenci
aveis 219
Figura 7.17: Convergencia uniforme dos gr

da serie de Fourier de P para G com acrescimos verticais em relacao
ao gr
afico de P nos pontos de descontinuidade de P
Z 2
Z t
Z 2
t+
t+
Dn ( ) d +
Dn ( ) d
Sn (Z)(t) = Z(t )Dn ( ) d =
t
0
0
Z
Z
Z
+t 2
1 2
t t
Dn
Dn +
Dn ( ) d
=
0
t
0
Z
Z t
1 2
t
Dn ( ) d .
= 2 Dn 1 +
0
0
A derivada desta func
ao e Sn (Z) (t) = 2Dn (t) 1/. Primitivando e subtraindo Z, e tendo em conta (7.27), obtem-se
Sn (Z)(t) Z(t) = 2n+1 (t/2) .
No exemplo anterior os termos de ordem par 2n deram os valores da
diferenca entre as somas parciais da serie de Fourier de P e a funcao 1 = P
no intervalo [0, ]. Analogamente, no exemplo presente os termos de ordem
mpar 2n+1 d
ao os valores da diferenca entre as somas parciais da serie de
Fourier de Z e a pr
opria func
ao Z, embora com um escalamento para o
dobro nos pontos onde s
ao calculadas. Apesar de no exemplo anterior serem
os termos de ordem par da sucessao {n } que interessam e no exemplo
presente serem os de ordem mpar, o comportamento oscilat
orio das duas
subsucess
oes e semelhante.
Das propriedades de 2n+1 estabelecidas no exemplo anterior, quando
n + a serie de Fourier de Z converge para Z uniformemente em qualquer subconjunto fechado de [0, 2] sem pontos de descontinuidade de Z, e
portanto nos conjuntos que s
ao repeticoes peri
odicas de tais conjuntos. Na
220
S
eries de Fourier
verdade, resulta do que se obteve no exemplo anterior para 2n+1 que dado
qualquer subintervalo fechado I de ]0, 2[ sem pontos de descontinuidade,
qualquer que seja > 0 existe N N tal que para n > 0 o gr
afico de Sn (Z)
est
a contido no trapezio {(t, y) : t I, |yZ(t)| < }. Para qualquer conjunto
fechado F sem descontinuidades de Z contido em [0, 2], dado que 0 e 2 s
ao
pontos de descontinuidade, existe um intervalo fechado I ]0, 2[ que contem
F , pelo que o que se viu implica que a serie de Fourier de Z converge uniformemente para esta pr
opria funcao em F , e obviamente nos conjuntos que
consistem na uni
ao das repeticoes peri
odicas deste conjunto. A convergencia
nos pontos de descontinuidade e trivial porque nesses pontos todas as somas
parciais s
ao iguais a zero em consequencia de Sn (Z)(0) = Z(0)+2n+1 (0)+1
e 2n+1 (0) = 1 e Z(0) = 0. Contudo, em qualquer vizinhanca de um ponto
de descontinuidade a convergencia n
ao e uniforme pois por maior que seja
n h
a sempre pontos nessa vizinhanca onde Sn (Z) tem valores distantes do
valor limite zero, inclusivamente a uma dist
ancia maior do que 1+, onde
= 0, 1789797 . . . foi obtido na formula (7.28) (Figura 7.18).
Figura 7.18: Fen

omeno de Gibbs: somas parciais da serie de Fourier de
uma func
ao peri
odica em dente de serra overshooting e undershooting na
vizinhanca de descontinuidades de salto
O limite do gr
afico da funcao contnua Sn (Z) em 0 e o segmento vertical {0} [1 , 1+ ]. O limite do gr
afico de Sn (Z) quando n +
excede o limite do gr
afico de Z numa vizinhanca arbitrariamente pequena
do ponto 0, tanto no sentido positivo como no negativo das ordenadas, por
uma quantidade de igual magnitude que e aproximadamente 8,95% do salto
na descontinuidade de Z nesse ponto (neste caso tambem de magnitude 2).
Por periodicidade, o mesmo acontece em todos os pontos de descontinuidade
2k, com k Z. Portanto, o gr
afico de Sn (Z) converge uniformemente para
7.5 Fen
co
es secc. diferenci
aveis 221
um conjunto G que e a uni
ao do gr
afico de P com o conjunto de segmentos
verticais {{2k}[1, 1+] : k Z} (Figura 7.19). Em suma, para as
somas parciais da serie de Fourier de Z, o gr
afico do limite tambem e diferente do limite dos gr
aficos; na verdade, o gr
afico do limite e o gr
afico de Z
e o limite dos gr
aficos e GZ . Este u
ltimo contem o primeiro, mas excede-o
em pontos de descontinuidade de Z, embora a convergencia dos gr
aficos das
somas parciais para GZ seja uniforme.
Figura 7.19: Convergencia uniforme dos gr

da serie de Fourier de Z para GZ com acrescimos verticais em
relac
ao ao gr
afico de Z nos pontos de descontinuidade de Z
Em resumo, o Fen
omeno de Gibbs nestes exemplos traduz-se no seguinte:
o gr
afico do limite da s
erie de Fourier est
a contido e
e diferente
do limite dos gr
aficos das somas parciais da s
erie. Tal acontece n
ao
s
o por conter os segmentos de recta verticais nos pontos de descontinuidade
de salto entre os limites laterais da funcao nesses pontos, como acontece
sempre na convergencia de func
oes contnuas para funcoes com descontinui-
222
S
eries de Fourier
dades de salto, como tambem porque os segmentos de recta verticais

do limite dos gr
aficos das somas parciais da s
erie de Fourier excedem em ambos os sentidos das ordenadas o segmento entre os
limites laterais da fun
c
ao por comprimentos acrescidos em cada
uma das extremidades da ordem de 8,95% do valor do salto (que
nestes exemplos e 2).
Figura 7.20: Fen

omeno de Gibbs: gr
afico do limite e
limite do gr
afico das somas parciais da serie de Fourier
de uma funcao peri
odica de impulsos rectangulares
O Fen
omeno de Gibbs descrito nos exemplos anteriores e paradigmatico
do que acontece em geral com a convergencia de series de Fourier de funcoes
integr
aveis e seccionalmente diferenci
aveis com descontinuidades de salto.
O resultado seguinte estabelece este facto e que as series de Fourier desta
classe de func
oes convergem em todos os pontos. Em subconjuntos fechados de um intervalo correspondente a um perodo da funcao sem pontos de
descontinuidade da funcao a convergencia e uniforme para a pr
opria funcao
e consequentemente o mesmo acontece em conjuntos que sejam a uni
ao das
as repetic
oes peri
odicas de um tal conjunto fechado para alem do intervalo
considerado, e em pontos de descontinuidade para a media dos limites laterais nesses pontos e n
ao uniformemente em qualquer conjunto que contenha
um desses pontos de descontinuidade.
(7.29) Teorema: Se f : [0, 2] R e seccionalmente diferenci
avel,
1
f L ([0, 2]) e f e identificada com a extens
ao peri
odica de perodo 2
a R da restrica
o de f a [0, 2[ , ent
ao a serie de Fourier converge em todos os pontos: para f (t) se t e um ponto de continuidade e para a media
dos limites laterais, [f (t)+f (t+)]/2, se t e um ponto de descontinuidade. A convergencia e uniforme em subconjuntos fechados de [0, 2]
sem pontos de descontinuidade de f e consequentemente na uni
ao das
repetico
es peri
odicas de perodo 2 de subconjuntos fechados de [0, 2].
Na vizinhanca de qualquer ponto de descontinuidade a convergencia
7.5 Fen
co
es secc. diferenci
aveis 223
n
ao e uniforme e ocorre o Fen
omeno de Gibbs, com overshooting e
undershooting, respectivamente do lado do limite lateral de f maior e
menor nesse ponto. Mais especificamente, o gr
afico das somas parciais
da serie de Fourier converge uniformemente para a uni
ao do gr
afico de
f com segmentos de recta verticais em cada ponto de descontinuidade
que excedem em ambos os sentidos o segmento de recta delimitado pelos
limites laterais de f , em comprimentos iguais a cerca de 8,95% do salto
nesse ponto, mais precisamente a

Z
|f (t+)f (t)| 2 sin
d 1 = |f (t+)f (t)| 0, 0894899 . . . .
2
0
Dem. Sejam 0 = t0 < t1 < . . . < tN < 2 os pontos onde f tem descontinuidades e que definem uma particao finita de [0, 2] em cujos subintervalos f e contnua. O salto da descontinuidade num ponto tk com k 6= 0 e
Jk = f (tk +)f (tk ), onde f (tk +) e f (tk ) designam os limites laterais de
f respectivamente `
a direita e `
a esquerda de tk . O salto em t0 da funcao
f estendida por periodicidade de perodo 2 e J0 = f (0+)f (2). Para
cada a [0, 2] designa-se por Za a translacao da funcao em P
dente de serra
do u
ltimo exemplo Za (t) = Z(ta). Define-se a funcao A = N
k=0 Jk Ztk /2,
que em cada subintervalo da particao considerada tem como gr
afico um segmento de recta e cujos saltos nos pontos tk s
ao iguais aos saltos de f nesses
pontos. Logo, a func
ao g = f A, tal como f , e seccionalmente diferenci
avel
com g L1 ([0, 2]), mas adicionalmente e contnua em [0, 2] e satisfaz
f (0) = f (2) (Figura 7.21).
Se a func
ao g fosse diferenci
avel nos pontos tk , o teorema (7.20) aplicado
a g garantiria a convergencia uniforme da serie de Fourier de g para a pr
opria
funcao g em [0, 2]. Embora a funcao g seja contnua, pode n
ao ser diferenciavel nos pontos tk . Contudo a demonstracao do teorema (7.20) pode aplicada a este caso depois da pequena preparacao que se segue. RPara t em cada
t
subintervalo [tk1 , tk ] da partic
ao a funcao g satisfaz g(t) = tk1 g +g(tk1 ),
pelo que, por aplicac
oes sucessivas desta rela
R t cao aos subintervalos precedentes da partic
ao g tambem satisfaz g(t) = 0 g +g(0). A partir desta observacao, a argumentac
ao na demonstracao do teorema (7.20) pode ser tal e
qual aplicada `
a func
ao g, obtendo-se, tambem neste caso, a convergencia
uniforme da serie de Fourier de g para a pr
opria funcao g.
Sabe-se do u
ltimo exemplo anterior que a serie de Fourier da funcao
Za estendida a R por periodicidade de perodo 2 converge em todos os
pontos para para Za , uniformemente em subconjuntos fechados de [0, 2]
que n
ao contenham o ponto de descontinuidade a e, em consequencia, na
uni
ao das repetic
oes peri
odicas de perodo 2 destes conjuntos. Nos pontos
de descontinuidade a+2k ocorre o Fen
omeno de Gibbs, com um overshoot
acima de 1 `
a direita de a+2k
e
um
undershoot
abaixo

de 1 à esquerda de
R
a+2k de alturas iguais a (2/) 0 (sin )/ d 1 /2.
224
S
eries de Fourier
Da linearidade da serie de Fourier, obtem-se que a sucess

ao de somas
parciais da serie de Fourier de f satisfaz Sn (f ) = Sn (g) Sn (A), pelo que
converge para os valores de f em todos os pontos de continuidade de f e em
pontos de descontinuidade converge para a media dos limites laterais de f
nos respectivos pontos. Como Sn (g) g uniformemente em [0, 2] e o gr
afico
de A em cada subintervalo fechado de [0, 2] sem pontos de descontinuidade
de f e um segmento de recta, e claro que Sn (A) converge uniformemente
para A em subconjuntos fechados [0, 2] que n
ao contenham pontos de descontinuidade, e consequentemente o mesmo acontece para a convergencia de
Sn (f ) para f . Conclui-se tambem que nos pontos de descontinuidade tk de
f ocorre o Fen
omeno de Gibbs tal como descrito para Za em a = tk , excepto
que o salto na descontinuidade de f em tk e [f (t+

k )f (tk )]/2 vezes o salto
da descontinuidade de Ztk no mesmo ponto pois este salto e igual a 2, o
que resulta em que a altura do overshoot e do undershoot e multiplicada
por |f (t+
k )f (tk )|/2, e os overshoot e undershoot ocorrem respectivamente
a direita e `
`
a esquerda de tk se o salto e positivo e vice versa se o salto e
negativo (Figura 7.22).
Q.E.D.
Figura 7.21: Eliminacao de descontinuidades de

salto por subtraccao de funcoes em dente de serra
7.6
Converg
encia pontual de s
eries de Fourier
Na secc
ao 7.2 considerou-se a convergencia em media quadr
atica de series de
Fourier em L2 (I). Na pen
ultima seccao obteve-se a convergencia uniforme
de series de Fourier de funcoes para essas mesmas funcoes primeiro no caso
mais simples de todos, o de funcoes C 2 num intervalo compacto I com valores
7.6 Converg
encia pontual de s
eries de Fourier
225
Figura 7.22: Fen

omeno de Gibbs em funcoes
seccionalmente diferenci
aveis
iguais nos extremos de I, e depois com um argumento menos directo provouse o resultado para o conjunto maior de funcoes contnuas com derivada
integr
avel `
a Riemann em I e com valores iguais nos extremos do intervalo,
e por maioria de raz
ao para funcoes C 1 em I. A convergencia uniforme em
I implica a convergencia pontual em todos os pontos de I, que assim se
verifica para func
oes contnuas com derivada integr
avel à Riemann em I.
Na u
ltima secc
ao anterior estudou-se o Fen
omeno de Gibbs e obteve-se
um resultado de convergencia de series de Fourier de funcoes seccionalmente
contnuas com derivada integr
avel à Riemann. Estas funcoes podem ter
descontinuidades de salto num conjunto finito de pontos. Para estas funcoes
obteve-se convergencia pontual das series de Fourier em todos os pontos,
para o valor da func
ao em pontos de continuidade e para a media dos limites
laterais em pontos de descontinuidade, e ate se obteve convergencia uniforme
nos conjuntos fechados de um intervalo correspondente a um perodo da
funcao, e consequentemente nas uni
oes das repeticoes peri
odicas de perodo
2 de tais conjuntos.
Sabe-se desde o final do seculo XIX que h
a funcoes contnuas num intervalo I cujas series de Fourier s
ao divergentes num conjunto denso em I, pelo
que a garantia de convergencia pontual exige condicoes adicionais à continuidade33 . Por outro lado, foi provado em 1965 por L. Carlson34 que as series
33
34
Ver Apendice C.
Carleson, Lennart (1928-).
226
S
eries de Fourier
de Fourier de func
avel num intervalo I, e portanto
tambem de func
oes contnuas em I, s
ao sempre pontualmente convergentes
q.t.p. em I. Tambem e possvel provar que para qualquer subconjunto de
medida nula de I existem funcoes contnuas com series de Fourier divergentes
em todos os pontos desse conjunto. Alem disso, em 1926 A. Kolmogorov35
mostrou que h
a func
oes integr
aveis num intervalo I com series de Fourier
divergentes em todos os pontos de I.
As observac
oes anteriores indicam que a an
alise da convergencia pontual
de series de Fourier e claramente mais difcil se as funcoes n
ao satisfazem a
condic
ao36 de serem seccionalmente diferenci
aveis com derivada integr
avel à
Riemann em I. O resultado central desta seccao e o chamado Princpio de
Localizac
ao de Riemann, que estabelece que a convergencia de uma serie de
Fourier num ponto e uma propriedade local, no sentido de depender apenas
da func
ao numa vizinhanca do ponto, apesar dos coeficientes da serie e do
valor do limite dependerem da funcao em todo o intervalo. Como aplicacao
deste princpio estabelece-se uma condicao para convergencia de series de
Fourier num ponto, chamada Criterio de Dini, que implica a convergencia
de series de Fourier num ponto de funcoes integr
aveis que tenham limites
laterais e cujas restric
oes à direita e à esquerda do ponto prolongadas pelo
respectivo limite lateral s
ao lipschitzianas em intervalos fechados arbitrariamente pequenos `
a esquerda e à direita do ponto37 .
O resultado seguinte estabelece que a convergencia pontual da serie de
Fourier de uma func
ao depende exclusivamente dos valores da funcao localmente numa vizinhanca de cada ponto considerado, apesar dos coeficientes
da serie e do valor do seu limite dependerem da funcao em todo o intervalo
[0, 2], o que e uma conclusao not
avel.
(7.30) Princpio de Localiza

c
ao de Riemann: Se f L1 ([0, 2]),
ent
ao a serie de Fourier de f converge num ponto t [0, 2] se e s
o se
para algum ]0, [ existe o limite seguinte

Z
2 f (t+ )+f (t ) sin n+ 21
d .
lim
n+ 0
2
Em caso afirmativo, a soma da serie de Fourier e o valor deste limite.

Dem. Se Dn e o n
ucleo de Dirichlet, a soma parcial de ordem n da serie de
35
Kolmogorov, Andrey (1903-1987).

Ou a condic
ao correspondente estabelecida no apendice C com a teoria do integral de
Lebesgue, de f ser absolutamente contnua com f L2 ([0, 2]).
37
No apendice C faz-se um estudo mais profundo da convergencia pontual de series de
Fourier e analisam-se outros tipos de convergencia.
36
7.6 Converg
encia pontual de s
eries de Fourier
227
Fourier de f e Sn (f ) = Dn f e da 2a formula para Dn em (7.22) resulta que

a serie de Fourier de f converge em t se e s
o se existe o limite
Z
sin (n+1/2)
1
d .
f (t )
lim Sn (f ) (t) = lim
n+
n+
2 sin /2
Quando existe, este limite e a soma da serie. Do Lema de Riemann-Lebesgue
(7.11) a contribuic
ao para o limite anterior da integracao fora de qualquer
intervalo [, ] com > 0 e zero. Do mesmo lema obtem-se

Z
1
1
sin (n+1/2) d = 0 ,
f (t )
lim
n+
2 sin /2
pois a func
ao 7 [2 sin( /2)]1 1 e contnua em [, ]\{0} e pode
ser estendida por continuidade ao ponto zero dado que [2 sin( /2)]/ 1
quando t 0. Logo
Z
1
sin (n+1/2)
lim Sn (f ) (t) = lim
d
f (t )
n+
n+
Z
2 f (t+ )+f (t ) sin (n+1/2)
d .
= lim
n+ 0
2
Portanto, a serie de Fourier converge em t se e s

o se este limite existe para
algum ]0, [ e, ent
ao, a soma da serie e igual ao valor do limite. Q.E.D.
Uma consequencia imediata do Princpio de Localizacao de Riemann

e dos resultados de convergencia uniforme nas seccoes anteriores e que as
s
co
es diferenci
aveis e com derivadas integr
aveis `
a Riemann num subintervalo I de [0, 2] convergem pontualmente para os valores da fun
c
ao em todos os pontos interiores a I.
Na verdade, a restric
ao da func
ao a qualquer subintervalo fechado de I pode
ser estendida a uma func
ao diferenci
avel e com derivada integr
avel à Riemann em [0, 2], e a serie de Fourier desta extensao converge uniformemente
para esta func
ao em [0, 2] em consequencia do teorema (7.20). Devido ao
Princpio de Localizac
ao de Riemann, a convergencia pontual da serie de
Fourier da func
ao inicial num ponto interior a I depende apenas dos valores
dessa func
ao numa vizinhanca desse ponto e o limite e dado por um integral
que s
o envolve os valores de f na vizinhanca do ponto. Conclui-se que a serie
de Fourier da func
ao inicial converge pontualmente em cada ponto interior
a I para o valor da func
ao, dado que tal acontece para a serie de Fourier de
uma extens
ao que coincide com a funcao inicial num intervalo com o ponto
considerado no interior. A convergencia pontual pode ser estendida a uma
classe mais ampla de func
oes com o crit
erio de Dini38 .
38
Dini, Ulisse (1845-1918).
228
S
eries de Fourier
(7.31) Teorema (Crit

erio de Dini): Se f L1 ([0, 2]), t ]0, 2[, o
limite de g( ) = [f (t + ) + f (t )]/2 para 0 existe e para algum
]0, 2[ a funca
o kt ( ) = [g( ) limh0 g( )] e integr
avel em [0,],
ent
ao a serie de Fourier de f converge para lim 0 [f (t+ )+f (t )]/2
no ponto t. Em particular, converge para f (t) se f e contnua em t
e para a media dos limites laterais esquerdo e direito de f em t se f
tem uma descontinuidade de salto em t. Se t e uma das extremidades
do intervalo a conclus
ao e a mesma para a extens
ao de f per
odica de
perodo 2 e a serie converge para lim 0+ [f (0+ )+f (2 )] /2.
Dem. Do Princpio de Localizacao de Riemann (7.30) a serie de Fourier de
f converge no ponto t se e s
o se existe o limite

Z
Z
sin n+ 12
2
1
2
lim
d = lim
g( )
kt ( ) sin n+ d
n+ 0
n+ 0
2

Z
2
f (t+ )+f (t ) sin n+ 21
+ lim
d ,
lim
n+ 0 0
2
e, caso este limite exista, e igual à soma da serie de Fourier.

Do Lema de Riemann-Lebesgue (7.11) o primeiro limite do lado direito
na express
ao acima e zero, e do Princpio de Localizacao de Riemann (7.30)
o segundo limite e igual ao limite da serie de Fourier da funcao constante de
valor lim 0 [f (t+ )+f (t )]/2. Portanto, esta serie reduz-se ao termo de
ordem zero e, em consequencia, tem soma igual a este valor.
Q.E.D.
A verificac
ao do criterio de Dini e, em geral, inc
omoda, pelo que convem
conhecer condic
oes mais simples de verificar que impliquem a validade deste
criterio. Uma condic
ao simples pode ser expressa em termos de continuidade
lateral `
a Lipschitz. Diz-se que uma funcao f definida num intervalo I R
e contnua `
a Lipschitz `
a esquerda e `
a direita no ponto t I se tem
limites laterais finitos em t à esquerda e à direita, respectivamente f (t)
e f (t+), e existem L > 0 e intervalos abertos à esquerda e à direita de t,
respectivamente ], t[ e ]t, [ para algum > 0, onde |f (t )f (t)| < L
e |f (t+ )f (t+)| < L , para ]0, [ (se t e uma extremidade do intervalo
I as condic
oes s
ao s
o para o lado que intersecta I).
(7.32) Corol
ario: Se f L1 ([0, 2]) e contnua `
a Lipschitz a
` esquerda e
a direita em t [0, 2], ent
`
ao a serie de Fourier de f converge no ponto
t, onde se obtem as conclus
oes do criterio de Dini.
7.6 Converg
encia pontual de s
eries de Fourier
229
Dem. Definem-se as func

oes g e kt como no enunciado do teorema anterior.
claro que g L1 ([0, 2]) e para [0, ] verifica-se
E
L + L
|f (t )f (t)| |f (t+ )f (t+)|
+
= L,
|kt ( )|
21
2
2
pelo que tambem kt L ([0, [).
Q.E.D.
Note-se que se f tem limites laterais num ponto t I e tem derivadas
laterais finitas `
a esquerda e `
a direita em t, designadas respectivamente por
f (t) e f (t+), ent
ao f e contnua à Lipschitz à esquerda e à direita de t ;
na verdade, para algum > 0 e |f (t ) f (t)| < |f (t) + Ee (t, )| | | e
|f (t+ )f (t+)| < |f (t+)+Ed (t, )| | | para ]0, [ , onde Ee (t, ), Ed (t, )
0 quando 0, pelo que com L > max{|f (t)|, |f (t+)|} existe > 0 tal
que |f (t )f (t)| < L e |f (t+ )f (t+)| < L , para ]0, [ . Portanto,
o corol
ario anterior contem o caso em que a funcao f tem derivadas laterais
no ponto t .
Pode ser u
til ter condic
oes de formulacao simples baseadas nos resultados anteriores que garantam a convergencia pontual de series de Fourier em
todos os pontos de um intervalo. Chama-se funcao seccionalmente lipschitziana num intervalo J R a uma funcao lipschitziana em J excepto
possivelmente num conjunto finito de pontos onde e contnua à Lipschitz
à esquerda e `
a direita, verificando propriedades semelhantes nos extremos
finitos do intervalo se J 6= ] , + [ .
(7.33) Corol
ario: Se f e uma funca
o seccionalmente lipschitziana em
[0, 2], ent
ao a serie de Fourier de f converge pontualmente em todo
o intervalo, em pontos t de continuidade de f interiores ao intervalo
para f (t) e em pontos de descontinuidade de f interiores ao intervalo
para a media dos limites laterais esquerdo e direito de f em . Nas
extremidades do intervalo a conclus
ao e a mesma para a extens
ao de f
per
odica de perodo 2; logo, se f (0) e igual a f (2) a convergencia e
para este valor comum e caso contr
ario e para a media destes valores.
Dem. Se f e seccionalmente lipshitziana, entao e continua excepto possivelmente num conjunto finito de pontos onde tem descontinuidades de salto e
f L1 ([0, 2]). Portanto, pode-se aplicar directamente o corol
ario anterior
para obter o resultado.
Q.E.D.
Do que se viu acima, uma funcao seccionalmente diferenci
avel e seccionalmente lipschitziana, pelo que o resultado anterior contem o caso em que
f e seccionalmente diferenci
avel.
230
7.7
S
eries de Fourier
Ordem de decaimento de coeficientes

de Fourier e regularidade de fun
c
oes
Sabe-se do Lema de Riemann-Lebesgue que os coeficientes de Fourier convergem para zero no infinito, fbn 0 para |n| . Tambem se sabe da
proposic
ao (7.16), estabelecida a proposito da convergencia uniforme de series de Fourier, que quanto maior e a ordem de diferenciabilidade contnua
de uma func
ao f maior e a ordem de decaimento para zero dos coeficientes de Fourier no infinito (ver os exemplos das figuras 7.2 a 7.11). Mais
precisamente, se f C k ([0, 2]), com k N, entao
|fb(n)| (2)1 |(f (k) )b(n)| |n|k , para n N\{0} .
conveniente utilizar a nota

E
c
ao de Bachmann39 -Landau40 para ordens de crescimento ou decaimento. Sejam {un }, {vn } C, com n Z. Diz-se
que:
1. un e infinitesimal em relacao a vn , e escreve-se un = o(vn ) para
|n| , se lim|n| un /vn = 0;
2. un tem ordem de decaimento (ou crescimento) inferior a vn , e
escreve-se un = O(vn ) para |n| , se existe M > 0 tal que |un | M |vn |
para |n| suficientemente grande;
3. un tem ordem de decaimento (ou crescimento) superior a vn ,
e escreve-se un = (vn ) para |n| , se qualquer que seja M > 0 e
|un | M |vn | para |n| suficientemente grande.
O resultado obtido para a ordem de decaimento dos coeficientes de Fourier de func
oes C k tem o converso parcial seguinte.
P
k
b
(7.34) Proposi
c
ao: Seja f L1 ([0, 2]). Se
n=1 |f (n)| |n| converge
com algum k N{0}, ent
ao f C k . Se |fb(n)| = O(|n| ) para |n| ,
para algum > 0, ent
ao f C m2 , onde m e o menor inteiro .
P
P
k
j
b
b
Dem. Se a serie
ao as series
n=1 |f (n)| |n| converge, ent
n=1 |f (n)| |n| ,
com j = 0, 1, . . . , k convergem pois s
ao dominadas pela
que
P serieb acima dado
j eint s
|n|j |n|k para n N. Logo, as series de Fourier
f
(n)(in)
ao
n=1
uniformemente convergentes em [0, 2]. Designam-se os respectivos limites
por fj (t). Para j = 1, . . . , k, tendo em conta a unicidade de series de Fourier,
resulta
39
40
Bachmann, Paul (1837-1920).

Landau, Edmund (1877-1938).
7.7 Ordem de decaimento de coeficientes de Fourier
231

fbj (n) eint = fb(n)(in)j eint = fb(n)(in)j1 (in) eint = fbj1 (n) eint .
Por induc
ao finita obtem-se fbj (n) eint = (fb0 (n) eint )(j) . Portanto os termos
das series de Fourier de fj s
ao obtidos derivando os correspondentes termos
da serie de Fourier de f0 sucessivamente ate à ordem j. A funcao limite de
uma sucessao uniformemente convergente cujos termos s
ao diferenci
aveis e
cuja sucessao das respectivas derivadas e uniformemente convergente tem derivada igual ao limite da sucessao das derivadas da sucess
ao. Este resultado,
que costuma ser resumido dizendo que tais sucessoes podem ser derivadas
termo a termo, e provado no teorema final desta seccao. Aplicando o resultado referido `
as sucessoes das somas parciais das series aqui consideradas
(j)
conclui-se que f0 tem derivada ate ordem k em [0, 2] e f0 = fj . O teorema
no final da secc
ao tambem garante que uma funcao que e o limite de uma
sucessao de func
oes uniformemente convergentes cujos termos s
ao funcoes
contnuas tambem e contnua, o que aplicado à sucessao de somas parciais da serie de Fourier de fk implica que esta funcao e contnua em [0, 2].
Conclui-se que f0 C k ([0, 2]), o que termina a prova da 1a afirmacao.
Se > 0, |fb(n)| = O(|n| ) para
|n| , e m e o menor inteiro ,
m2
m2
b
entao |f (n)| |n|
= O |n|
para |n| . Como m < 1, a serie
P b
m2
a
converge, e a 1 afirmacao implica f C m2 .
Q.E.D.
n=1 f (n) |n|
O resultado seguinte d
a informac
ao sobre a ordem de decaimento no infinito
dos coeficientes de series de Fourier de senos.
(7.35) Proposi
c
ao: Se f L1 ([0, 2]) quando estendida a R por periodocidade 2 e uma funca
o mpar (ou seja,
de Fourier e uma serie
Pa serie
b(n)| n1 e convergente;
de senos) e fb(n) 0 para n N, ent
ao
|
f
n=1

em particular, n
ao pode ser |fb(n)| = (ln |n|)1 para |n| .
Rt
Dem. Da propriedade (7.10.8), a funcao contnua F (t) = 0 f e peri
odica
b
b
de perodo 2 em R e tem coeficientes de Fourier F (n) = f (n)/(in) para
n 6= 0. Procedendo como na demonstracao do Teorema de Aproximacao de
Weierstrass (7.14), com o n
ucleo de Fejer Km definido em (7.13) obtemse Km F F uniformemente em [0, 2] para m +. Da propriedade
(7.13.3) do n
ucleo de Fejer, e

m
X
n
1
(Km F )(t) =
Fb(n) eint .
m+1
n=m
b
Como f e uma func
ao par, fb(n)
n N. Calculando o limite
Pm= fb(n) para
em t = 0, obtem-se limm 2 n=1 f (n ) n1 = i Fb (0). Como fb(n) 0,
fica provada a 1a afirmac
ao.
232
S
eries de Fourier

Se fosse |fb(n)| = (ln |n|)1 para |n| entao qualquer que fosse
1 M (n ln n)1 para n N suficientemente grande, e
M
> 0 seria fb(n) nP
P
1
1 para m N suficientemente grande,
b

n=1 f (n) n
n=m M (n ln n)
e como a serie no lado direito e divergente, tambem a serie no lado esquerdo seria divergente.
Da 1a afirmacao isto e falso, pelo que n
ao pode ser

1
b
|f (n)| = (ln |n|)
para |n| .
Q.E.D.
Este resultado mostra que os coeficientes de Fourier de funcoes mpares
em L1 ([0, 2]) n
ao podem decair arbitrariamente lentamente no infinito e,
1
mesmo, n
ao podem decair mais
P lentamente do que (ln |n|) . Em particular, a serie trigonometrica n=2 (sin nt)/(ln n) n
ao pode ser uma serie de
Fourier.
Em termos da notacao de Bachmann-Landau as propriedades estabelecidas para ordens de decaimento dos coeficientes de Fourier resumem-se
assim:
(i) Se f L1 ([0, 2]), entao fb(n) = o(1) para |n| ;

(ii) Se f C k ([0, 2]), com k N, entao fb(n) = o |n|k para |n| ;
(iii) Se f L1 ([0, 2]) e |fb(n)| = O(|n| ) para |n| , para algum > 0,
ent
ao f C m2 , onde m e o menor inteiro ;
(iv) Se f L1 ([0, 2]), fb(n) 0, e fb(n) = fb(n) para n N (i.e. a serie de
Fourier e uma serie de senos), entao n
ao pode ser |fb(n)| = (ln |n|)1
para |n| .
Conclui-se que h
a uma relacao muito estreita entre a ordem de diferenciabilidade contnua de uma funcao e a ordem de convergencia para zero dos
respectivos coeficientes de Fourier: o conjunto das funcoes C k est
a contido
no conjunto das fun
oes com coeficientes
de Fourier que decaem para zero
c

com ordem o |n|k O |n|k e contem o conjunto das funcoes com coeficientes de Fourier que decaem para zero com ordem O(|n| ) com > k+1
mas arbitrariamente pr
oximo de k + 1, pelo que o conjunto de funcoes C k
contem o conjunto das funcoes com coeficientes de Fourier que decaem com
ordem O |n|(k+1) e est
a contido no conjunto
das funcoes com coeficientes

de Fourier que decaem com ordem o |n|k (Figura 7.23).
Os coeficientes de Fourier de funcoes C decaem para zero no infinito
mais rapidamente do que |n| , para qualquer > 0, ou seja, decaem para
zero mais rapidamente do que qualquer potencia.
P
Apesar dos coeficientes de series de Fourier de series de senos,
n=0 bn sin nt,
n
ao poderem decair arbitrariamente devagar e, no caso destes coeficientes
233
Figura 7.23: Diagrama de conjuntos de funcoes com diferentes ordens

de decaimento dos coeficientes de Fourier para zero no indicando
a branco a zona onde pode haver funcoes C k que n
ao s
ao C k+1
serem n
ao negativos, n
ao poderem decair mais lentamente do que (ln n)1
para n +, acontece que as series de Fourier de cosenos podem ter coeficientes que decaem para zero arbitrariamente devagar. O resultado seguinte
d
a condic
oes na sucessao dos coeficientes de uma serie de cosenos, em particular uma condic
ao de convexidade, que garantem que e uma sucessao de
coeficientes de Fourier, e mostra que essa condicao pode ser satisfeita por sucess
oes que convergem arbitrariamente devagar para zero. Ha, neste aspecto,
um contraste radical entre series trigonometricas de senos e de cosenos.
(7.36) Proposi
c
ao: Se {cn } R, com n Z, e uma sucess
ao par, i.e.,
cn = cn , n N (pelo que a serie de Fourier com coeficientes cn e
necessariamente uma serie de cosenos) e se cn 0, cn 0 para |n| ,
e cn1 2cn +cn+1 0 para n N, ent
ao existe f L1 ([0, 2]) com f 0
tal que fb(n) = cn . Como h
a sucess
oes que satisfazem as condico
es de
{cn } e convergem para zero no infinito arbitrariamente devagar, existem
series de Fourier de cosenos com coeficientes que convergem para zero
no infinito arbitrariamente devagar.
Dem. A condic
ao de convexidade na hip
otese garante que cncn+1 e decrescente, e como esta sucessao converge para zero obtem-se cn cn+1 0 para
todo n N. Em consequencia n(cn cn+1 )+cn tambem e decrescente, pois
[(n1)(cn1 cn )+cn1 ][n(cn cn+1 )+cn ] = n[(cn1 cn )(cn cn+1 )] 0.
Como n(cn cn+1 )+cn 0 e esta sucessao e decrescente, converge para um
L 0. Como cn 0, tambem n(cn cn+1 ) L, pelo que existe N N tal que
234
S
eries de Fourier
n(cn cn+1 ) L/2 para n > N . Logo

cN cm+1 =
m
X
n=N
m
X
L
(cn cn+1 )
.
2n
Fazendo m +, obtem-se cN
n(cn cn+1 ) 0, segue-se que
m
X
n=1
n=N
P+
n=N
L/(2n), pelo que L = 0. Como
n(cn1 2cn +cn+1 ) = c0 cm m(cm cm+1 )
converge para c0 quando m +.
Define-se
X
n(cn1 2cn +cn+1 ) Kn1 (t) ,
f (t) =
n=1
claro que f 0, e
onde Kn e o n
ucleo de Fejer definido em (7.13). E
1
do teorema de Convergencia de Levi e f L ([0, 2]). Os coeficientes de
Fourier desta func
ao s
ao
fb(j) =
=
n=1
b n1 (j)
n(cn1 2cn +cn+1 ) K

|j|
= c|j| .
n(cn1 2cn +cn+1 ) 1
n
n=|j|+1
Q.E.D.
P
(7.37) Exemplo: Apesar da serie de senos
ao ser
n=2 (sin
Pnt)/(log n) n
(cos
nt)/(log
n)
uma serie de Fourier, a serie de cosenos correspondente
n=2
e uma serie de Fourier, como resulta da u
ltima proposicao anterior, pois
neste caso cn = 1/(2 log n) para n N\{0, 1, 2} e c0 = c1 = 0. Na verdade
cn1 2cn +cn+1 0 e garantido para n 3 pela convexidade de x 7 1/log x,
para n = 2 pela conta cn1 2cn +cn+1 = 2/(4 log 2)+1/(2 log 3) > 0, e para
n = 1 pela conta cn1 2cn +cn+1 = 1/(2 log 2) > 0 .
Ou
ltimo resultado desta seccao estabelece o facto usado na demonstrac
ao da proposic
ao (7.34) das propriedades de continuidade e diferenciabilidade serem herdadas pelos limites de sucessoes uniformemente convergentes
e a derivada do limite ser no u
ltimo caso o limite da sucessao das derivadas
da sucessao que converge para a funcao. No contexto da demonstracao da
proposic
ao (7.34) pode-se fazer uma demonstracao mais simples, mas optouse por isolar o resultado e formul
a-lo de forma mais geral dada a utilidade
que tem noutros contextos e a import
ancia fundamental destas propriedades
da convergencia uniforme.
235
(7.38) Teorema de continuidade e diferenciabilidade de sucess

oes uniformemente convergentes: Seja {fn } uma sucess
ao de funco
es reais definidas num intervalo [a, b].
1. Se fn f uniformemente em [a, b] e as funco
es fn s
ao contnuas,
ent
ao f e contnua em [a, b].
2. Se fn (t0 ) f (t0 ) num ponto de [a, b], as funco
es fn s
ao diferen
ao f e diferenci
aveis e {fn } converge uniformenete em [a, b], ent
ci
avel e fn f em [a, b].
Dem.
1. Para t [a, b] e h tal que t+h [a, b] e
|f (t+h)f (t)| |f (t+h)fn (t+h)| + |fn (t+h)fn (t)| + |fn (t)f (t)| .
Qualquer que seja > 0, como fn f uniformente em [a, b], o 1o e o 3o termos
do lado direito desta formula s
ao < /3 para n suficientemente grande, e
como fn e contnua o 2o termo e < /3 para |h| suficientemente pequeno.
Conclui-se que qualquer que seja > 0 para h suficientemente pequeno com
t+h I e |f (t+h) f (t)| < , ou seja f e contnua em cada t [a, b].
2. Qualquer que seja > 0 existe N N tal que n, m > N implica
(t)| < para t [a, b]. O teorema do
|fn (x0 ) fm (x0 )| < e |fn (t) fm
valor medio de func
oes diferenci
aveis aplicado à funcao fn fm garante que
para qualquer t, s [a, b] existe t1 entre t e s tal que
|fn (t)fm (t)fn (s)+fm (s)| = |fn (t1 )fm

(t1 ))| |ts| |ba| .
Portanto, para qualquer > 0 existe N N tal que para t, s [a, b], n, m > N
|fn (t)fm (t)| |fn (t)fm (t)fn (x0 )+fm (x0 )| + |fn (x0 )fm (x0 )|
|ba| + ,
pelo que fn converge uniformemente em [a, b]. Define-se f0 (t) = limn fn (t)
para t [a, b].
Para n N {0} definem-se funcoes pelas raz
oes incrementais de fn e f0
em t0 por Rn (t) = [fn (t)fn (t0 )](tt0 ) para t 6= t0 , e para n N define-se
Rn (t0 ) = fn (t0 ). Como as func
oes fn s
ao diferenci
aveis em [a, b] tambem
s
ao contnuas em [a, b], e o mesmo acontece com as funcoes Rn para n N.
Alem disso, Rn R0 uniformemente em [a, b]\{0}. Da formula (7.7), para
qualquer > 0 existe N N tal que para n, m > N e |Rn Rm | em [a, b].
Portanto, Rn R0 uniformemente em [a, b]\{0}. Estendendo a funcao R0
ao ponto t0 por R0 (t0 ) = limn fn (t0 ), tem-se Rn R0 em [a, b] e Rn R0
uniformemente em [a, b].
Como as func
oes Rn s
ao contnuas em [a, b], da 1a afirmacao do teorema
resulta que R0 e contnua em [a, b]. Portanto limtt0 Rn (t) = R0 (t0 ), o que
significa que f e diferenci
avel em t0 e a sua derivada e f (t0 ) = R0 (t0 ) =
236
S
eries de Fourier
limn fn (t0 ). Como t0 [a, b] e arbitrario, conclui-se que f e diferenci

avel
em [a, b] e fn f uniformemente em [a, b].
Q.E.D.
7.8
Notas hist
oricas
Em 1753, pouco tempo depois de dAlembert ter obtido solucoes para a

equac
ao das ondas por adicao de funcoes propagando-se em sentidos opostos
com velocidade constante, Daniel Bernoulli defendeu que as solucoes desta
equac
ao podiam ser sempre representadas por somas de funcoes trigonometricas. Baseava esta sua ideia no princpio fsico de que uma corda elastica
em vibrac
ao emite uma frequencia fundamental descrita por uma funcao
trigonometrica e as suas harmonicas com frequ
encias m
ultiplas da fundaP
mental, pelo que propos a validade da formula cos(nc t/L) sin(nc x/L)
para o movimento de cordas elasticas vibrantes, como as de instrumentos
musicais, a partir de uma posicao inicial considerada com velocidade inicial
nula. Esta ideia pressup
oe a possibilidade de representar em serie de Fourier
qualquer func
ao que possa descrever uma posicao inicial para a equacao das
ondas. Na verdade, D. Bernoulli argumentava que a sua formula em termos
de func
oes trigonometricas permitia descrever o movimento de uma corda
el
astica mesmo que a posicao inicial correspondesse à situacao semelhante a
dedilhar uma corda de viola com posicao inicial dada por uma funcao cujo
gr
afico consiste em dois segmentos de recta com declives de sinais opostos
fazendo um
angulo no ponto em que se unem, pelo que esta funcao podia ser
representada por uma soma de funcoes trigonometricas. A ideia baseava-se
na convicc
ao de D. Bernoulli que o som produzido pela corda em vibrac
ao era o resultado audvel da sobreposicao de sons sinusoidais, pelo que a
possibilidade de produzir sons musicais por dedilhacao de uma corda elastica exigia a possibilidade da referida representacao por somas de funcoes
trigonometricas.
Em 1755 L. Euler descobriu varias
series trigonometricas, entre as quais
P
as seguintes de func
oes descontnuas n=1(sin nt)/t = (t)/2, para 0<t<2,
P
n [cos (2n+1)]/(2n+1) = /4, com o sinal + para /2<t</2

(1)
n=0
P
n+1 (sin nt)/t = t/2, para <t<.
e o sinal para /2<t<3/2,
n=1 (1)
O ponto de vista de D. Bernoulli gerou grande controversia na altura
e encontrou forte oposicao tendo sido rejeitado generalizadamente, inclusivamente por Euler, dAlembert e Lagrange, mas veio a ser retomado por
Fourier em 1807 a proposito da difus
ao do calor, ocasi
ao em que tambem
recebeu forte contestac
ao porque n
ao estava, entao, assente em an
alise rigorosa.
A primeira prova da convergencia de series de Fourier em condicoes relativamente gerais acabou por ser feita apenas em 1829 por Dirichlet, precisamente com a introduc
ao do n
ucleo de Dirichlet para representar as somas
parciais da serie. Dirichlet provou a convergencia pontual de series de Fou-
7.8 Notas hist

oricas
237
rier seccionalmente contnuas e mon

otonas num intervalo [a, b], no sentido
de haver uma partic
ao finita do intervalo em cujos subintervalos a funcao e
contnua e mon
otona podendo ser descontnua de salto nos pontos de separacao dos subintervalos, onde provou que a convergencia era para a media
dos limites laterais `
a esquerda e `
a direita.
Fourier tomava como certa a possibilidade de integra
c
ao de s
eries
de fun
co
es termo a termo, como alias tambem Cauchy, Gauss e outros,
e tinha baseado a argumentac
ao sobre a unicidade e a convergencia de series
de Fourier na legitimidade de integracao das series termo a termo, e mesmo
a obtenc
ao das formulas integrais para os coeficientes das series de Fourier.
Inclusivamente, Cauchy considerava, sem questionar, que o limite de uma
serie convergente de func
oes contnuas era contnua. Em 1826 N.H. Abel41
mostrou com um exemplo que tal n
ao e verdadeiro em geral para series
convergentes arbitrarias, mostrando a ilegitimidade de em geral trocar a
passagem ao limite em series, embora tenha tambem dado exemplos de series
em que tal e possvel. Esta observacao levou-o a questionar a legitimidade
da integrac
ao de series termo a termo em geral, no sentido do integral de
Cauchy definido pelo limite da soma das areas dos trapezios definidos por
particoes finitas do intervalo [a, b] de integracao e inscritos no conjunto das
ordenadas da func
ao. K. Weierstrass, possivelmente analisando os exemplos
de Abel, considerou a relev
ancia da converg
encia uniforme de series
para assegurar a validade da troca de limites num artigo escrito em 1841
mas s
o publicado em 1894, e nas suas licoes a partir de 1856 sublinhava a
import
ancia da convergencia uniforme para a troca de limites em series e
outras sucessoes de func
oes, incluindo a integracao termo a termo de series
e para que o limite de sucessoes de funcoes ou de series herde propriedades
dos termos como continuidade ou diferenciabilidade42 .
Em 1854 B. Riemann contribuiu para a questao da convergencia de series
de Fourier, o que inclusivamente o levou ao pr
oprio conceito de integral de
Riemann exposto no trabalho sobre representacao de funcoes por series de
Fourier que apresentou para a sua Habilitationsschrift43 . Este trabalho contem pela primeira vez o chamado Lema Riemann-Lebesgue e o Princpio de
41
Abel, Niels Henrik (1802-1829).

Para sublinhar a import
ancia da convergencia uniforme e interessante citar uma passagem particularmente perspicaz das Lectures on the Theory of Functions, Oxford, 1944, de
John Littlewood (1885-1977) a prop
osito da teoria de func
oes de uma vari
avel: A extens
ao do conhecimento requerido n
ao e nada t
ao grande como muitas vezes e suposto: todo
conjunto [mensur
avel] e quase uma uni
ao finita de intervalos; toda a func
ao [mensur
avel]
e quase contnua; toda a sucess
ao convergente de func
oes [mensur
aveis] e quase uniformemente convergente. Muitos dos resultados s
ao aplicac
oes razoavelmente intuitivas destas
ideias, e o estudante armado com elas dever
a estar `
a altura de muitas ocasi
oes em que e
convocada a teoria de vari
avel real. Se um dos princpios seria a maneira
obvia de resolver
o problema se fosse mesmo verdade, e natural perguntar se o quase e suficientemente
pr
oximo, e para um problema resol
uvel normalmene e.
43
Prova academica nas universidades da Alemanha correspondente `
a Agregac
ao nas
universidades portuguesas.
42
238
S
eries de Fourier
Localizac
ao de Riemann, ambos no contexto da integracao à Riemann estabelecida no mesmo trabalho. Riemann introduziu tambem uma ideia radicalmente nova na representacao de funcoes por series de Fourier e introduziu a
distinc
ao de series de Fourier e series trigonometricas tendo mostrado que h
a
series trigonometricas que n
ao s
ao series de Fourier de qualquer funcao. Esta
ideia consistia simplesmente em observar que primitivando
duas vezes os terP
mos de uma serie trigonometrica S(t) P
= A0 /2+
(A
cos
nt + Bn sin nt)
n
n=1
2
obtinha-se F(t) = C1 +C2 t+A0 t /4 n=1 (An cos nt+Bn sin nt)/n2 e, com
esta simples
manipulac
ao, a serie no 2o termo e dominada pela serie converP
gente
2M n2 se An , Bn M , pelo que e uniformemente convergente, o
que em particular legitima a integracao termo a termo desta serie. Riemann
observou que o limite da aproximacao por acrescimos finitos de um passo de
largura a para a 2a derivada de F em t e
lim [F(t+a)2F(t)+F(ta)]/a = 0 ,
a0
e a aproximac
ao por acrescimos finitos de dois passos de larguras a e b e
D2 F(t) = lim [F(t+a+b) F(t+ab) F(ta+b) + F(tab)]/(4ab)
a,b0
existe e e igual a S(t). Este trabalho ficou pouco conhecido e s

o foi publicado
44
postumamente em 1867 por R. Dedekind .
Em 1864, R. Lipschitz provou, na sua tese de doutoramento, a convergencia pontual de series de Fourier de funcoes que, excepto num conjunto finito
de pontos de [a, b] onde podem ter descontinuidades de salto, satisfazem a
condic
ao que veio a ser conhecida por condicao de Lipschitz, ja utilizada
a proposito da existencia e unicidade de solucoes de problemas de valores
iniciais para equac
oes diferenciais ordinarias no Teorema de Picard-Lindelof
em (??). A esta condicao suficiente para convergencia pontual de series de
Fourier chamou-se crit
erio de Lipschitz. Assim, o conceito de funcoes
Lipschitzianas apareceu primeiro a proposito da convergencia de series de
Fourier.
Depois de tentativas infrutferas de varios matem
aticos, entre os quais
Dirichlet, Heine e Riemann para resolver o problema da unicidade de
s
eries de Fourier, esta questao foi considerada na altura um dos principais
problemas matem
aticos em aberto. Em 1870 H. Heine chamou a atencao
para o problema, observando que nas condicoes supostas por Dirichlet com a
hip
otese adicional de convergencia uniforme em qualquer intervalo compacto
sem qualquer dos pontos finitos de descontinuidade da funcao se obtem a
unicidade de series de Fourier. Nesse mesmo ano, G. Cantor estabeleceu a
unicidade de series de Fourier nas condicoes referidas sem exigir a hip
otese
adicional de convergencia uniforme e passou a considerar casos em que o
conjunto P complementar dos intervalos de monotonia e continuidade da
func
ao no intervalo de base [a, b] e um conjunto infinito onde a funcao pode
ter descontinuidades de salto.
44
Dedekind, Richard (1831-1916).
7.8 Notas hist

oricas
239
O trabalho de Heine e Cantor estabeleceu a unicidade de series de Fourier

mas n
ao considerou o c
alculo rigoroso dos coeficientes. No mesmo mes de
45
1872, G. Ascoli e U. Dini submeteram para publicacao artigos sobre esta
questao com base no trabalho de Riemann acima referido baseado em duas
primitivac
oes sucessivas dos termos de series trigonometricas que levam a
que a serie obtida no resultado seja uniformemente convergente e portanto
pudesse ser integrada termo a termo no contexto do integral de Riemann.
Ascoli considerou func
oes com possveis descontinuidades num n
umero finito
de pontos e Dini func
oes em que as descontinuidades s
ao isoladas ou podem
ter um n
umero finito de pontos de acumulacao. Em ambos os artigos a
funcao F obtida por Riemann acima referida e equacionada à primitivacao
sucessiva duas vezes da fun
aRo f que se pretende representar em serie de
R t c
s
Fourier na forma F(t) = 0 0 f ds e os coeficientes da serie s
ao obtidos
integrando de 0 a 2 ambos os lados desta equacao multiplicados por cos mt
e por sin mt.
Em 1874, P. du Bois-Reymond46 generalizou o trabalho de Ascoli e Dini
para o caso em que f e uma funcao integr
avel à Riemann qualquer, com
uma demonstrac
ao bastante complicada para poder lidar com o caso de
funcoes com descontinuidades num conjunto denso num intervalo, estabelecendo definitivamente que a convergencia uniforme da serie trigonometrica
inicial n
ao e essencial para a calcular os coeficientes da serie de Fourier de
uma func
ao, pois pode ser contornada considerando a serie absolutamente
convergente obtida por Riemann na formula de F dada acima. Este resultado, algo ir
onico porque veio a contrariar as objeccoes levantadas 13 anos
antes à integrac
ao termo a termo que foram fortemente respons
aveis por
importantes avancos na teoria das series de Fourier, foi muito importante na
altura, no contexto do integral de Riemann, mas tornou-se pouco u
til com o
integral de Lebesgue com o qual a integracao termo a termo pode ser feita
para series limitadas num intervalo [a, b].
O trabalho de Cantor sobre a unicidade de series de Fourier disparou a
publicac
ao por Cantor na decada seguinte de uma densa sequencia de artigos
que constituram as primeiras pedras da construcao das areas fundamentais
da topologia de conjuntos de pontos de n
umeros reais e da teoria dos
conjuntos geral. Assim, num artigo de 1872 G. Cantor introduziu a nocao
de ponto de acumula
c
ao47 do conjunto P e a ideia do conjunto de todos
os seus pontos de acumulac
ao ou conjunto derivado P , de conjunto P
dos pontos de acumulac
ao deste conjunto e assim sucessivamente, que designou, respectivamente, 1o conjunto derivado, 2o conjunto derivado, etc.,
chamando conjunto de tipo n N a um conjunto cujo derivado de ordem n
e n
ao-vazio e o derivado de ordem n+1 e vazio. Cantor estendeu a unicidade
45
Ascoli, Julio (1843-1896).

du Bois-Reymond, Paul David Gustav (1831-1889).
47
Diz-se que um ponto e de acumulac
ao de um conjunto se todas as suas vizinhancas
contem infinitos pontos do conjunto.
46
240
S
eries de Fourier
de series de Fourier a funcoes em que P e um conjunto de tipo n, mas mais

importante, pelas consequencias que teve no estudo fino da an
alise real, em
particular na teoria da medida e do integral de Lebesgue, foi Cantor entender
tambem
que podem existir conjuntos de n
umeros reais de qualquer tipo n. E
interessante notar que no ano seguinte Cantor introduziu a nocao elementar de conjunto cont
avel48 e implicitamente a nocao de cardinalidade
49
de conjuntos , provou o resultado na altura surpreendente do conjunto dos
n
umeros algebricos50 ser contavel e tambem que qualquer intervalo de n
umeros reais e incont
avel. Pouco depois, em 1878, Cantor propos a hip
otese
do continuum 51 . No ano seguinte (1879), Cantor introduziu a nocao de
conjunto denso em toda a parte52 e de conjunto n
ao denso em parte
alguma53 . No ano subsequente (1880) Cantor introduziu as nocoes b
asicas de uni
ao e de intersec
c
ao de conjuntos e usou-as para continuar para
alem da definic
ao de conjuntos de 1a especie considerando a interseccao de
todos os conjuntos derivados de ordem n e os conjuntos de tipo n N deste
conjunto, a que chamou conjuntos de 2a esp
ecie, e assim sucessivamente,
definindo conjuntos de n-
esima esp
ecie. Tres anos depois (1883) Cantor
introduziu a noc
ao de conjunto perfeito54 e em 1884 tambem a nocao
b
asica de conjunto fechado, definido como um conjunto que contem o seu
derivado.
Em 1876, P. du Bois-Reymond construiu uma fun
c
ao contnua peri
odica com s
erie de Fourier divergente num ponto. Um pouco mais
tarde, o pr
oprio du Bois-Reymond deu um exemplo de uma fun
c
ao contnua peri
odica divergente num conjunto denso da recta real.
O crit
erio de Dini para provar convergencia pontual de series de Fourier
foi desenvolvido por U. Dini em 1880, generalizando o criterio de Lipschitz
obtido em 1864.
Em 1881 C. Jordan55 estabeleceu o chamado crit
erio de Jordan para
48
Diz-se que um conjunto e cont

avel se h
a uma correspondencia 1 a 1 entre o conjunto
e um subconjunto de N.
49
Diz-se que dois conjuntos tem a mesma cardinalidade se os respectivos elementos
podem ser postos em relac
ao 1 a 1.
50
Um n
umero real ou complexo e algebrico se h
a um polin
omio de coeficientes inteiros
que se anula nesse n
umero.
51
A hip
otese do continuum e a inexistencia de conjuntos com cardinalidade entre as de
N e R. Veio a ser provada indecidvel por Kurt G
oedel (1906-1978) em 1940 no quadro
da axiom
atica comum da teoria dos conjuntos, depois de ser considerada um dos principais problemas matem
aticos em aberto, tendo inclusivamente sido o 1o dos famosos 23
Problemas de Hilbert (ver os coment
arios finais da introduc
ao a este livro).
52
Um conjunto e denso em toda a parte se o seu fecho e todo o espaco, como por exemplo
os racionais no espaco dos n
umeros reais.
53
Um conjunto e n
ao denso em parte alguma se n
ao e denso em qualquer subconjunto
aberto n
ao-vazio, ou por outras palavras, se o seu fecho tem interior vazio, como e o caso
dos conjuntos de 1a especie.
54
Um conjunto e perfeito se
a igual ao seu derivado, ou seja se todos os seus pontos s
ao
pontos de acumulac
ao do pr
oprio conjunto.
55
Jordan, Marie Ennemond Camille (1838-1922).
7.8 Notas hist

oricas
241
funcoes integr
aveis `
a Lebesgue de variacao limitada56
O Teorema de Aproximac
ao de Weierstrass deve-se ao pr
oprio K. Weierstrass em 1885.
O n
ucleo de Fejer foi introduzido pelo pr
oprio L. Fejer em 1900.
A extens
ao do conceito de integral de Lebesgue no incio do seculo XX
permitiu progressos fundamentais na teoria das series de Fourier. As bases
da teoria deste integral foram estabelecidas por H. Lebesgue numa serie
de artigos publicados a partir de 1898 que culminaram com a sua tese de
doutoramento publicada em 1902 num artigo com o ttulo Integrale, longeur,
aire e foram objecto do seu primeiro livro Lecons sur lIntegration et la
Recherche de Fonctions Primitives. O primeiro problema de series de Fourier
analisado com o integral de Lebesgue, considerado pelo pr
oprio H. Lebesgue
em 1902, foi dedicado precisamente a series de Fourier, mais concretamente
à extens
ao da integrac
ao de series de Fourier termo a termo com uma grande
simplificac
ao tornada possvel com o novo conceito de integral, pois passou
a bastar que a serie fosse limitada no intervalo de base [a, b].
Em 1906, no seu segundo livro Lecons sur les Series Trigonometriques,
Lebesgue deu uma prova simples da Formula de Parseval para funcoes limitadas integr
aveis `
a Lebesgue, a qual tinha sido estabelecida para funcoes integr
aveis `
a Riemann por C. de la Vallee-Poussin57 em 1893 e por A.
Hurwitz58 em 1903. A validade da Formula de Parseval para qualquer funcao
integr
avel e de quadrado integr
avel à Lebesgue foi estabelecida por P. Fatou
em 1906 na sua tese de doutoramento intitulada Series trigonometriques et
series de Taylor.
Tambem em 1906, F. Riesz introduziu o espaco L2 (I) e estabeleceu as
suas propriedades b
asicas e em 1907 estabeleceu a teoria de series de Fourier
em L2 (I). O Teorema de Riesz-Fischer foi estabelecido independentemente
por estes matem
aticos em 1907, especificamente no contexto das series de
Fourier. A noc
ao de conjunto ortonormal completo deve-se a D. Hilbert.
A definic
ao e o nome de espa
co de Hilbert59 para um espaco linear com
produto interno completo, como L2 ([0, 2]), deve-se a J. von Neumann60 em
1927.
56
Diz-se que f : [a, b] R e uma fun

c
ao de varia
c
ao limitada se existe M > 0 tal
que
para
qualquer
parti
c
a
o
finita
do
intervalo
por
pontos
a = t0 < < tm = b verifica-se
Pm
e-se no Apendice B que uma func
ao e de variac
ao limitada em
k=1 |f (tk )f (tk1 )|. V
[a, b] se e s
o se e a diferenca de duas func
oes crescentes neste intervalo.
57
de la Vallee-Poussin, Charles Gustave Nicolas (1866-1962).
58
Hurwitz, Adolf (1859-1919).
59
Os espacos de Hilbert de dimens
ao infinita s
ao todos espacos lineares isomorfos a
L2 ([0, 2]), no sentido de haver um isomorfismo que preserva n
ao s
o as operac
oes e o
zero de espacos lineares como tambem o produto interno (e portanto tambem preserva
comprimentos e
angulos entre vectores), pelo que no fundo existe um u
nico espaco de
Hilbert de dimens
ao infinita que pode ser identificado com L2 ([0, 2]). Os espacos de
Hilbert de dimens
ao finita n s
ao isomorfos ao espaco euclidiano com produto interno Rn .
60
von Neumann, John (1903-1957).
242
S
eries de Fourier
Portanto, e claro que a resolucao de equacoes diferenciais parciais, em

particular a equac
ao das ondas e a equacao do calor, desempenhou um papel
essencial na descoberta das series de Fourier e no desenvolvimento da teoria
de integrac
ao, inclusivamente no que respeita às pr
oprias contribuicoes tanto
de B. Riemann como de H. Lebesgue para os integrais conhecidos pelos seus
nomes.
As series de Fourier tambem tiveram um papel importante na consolidac
ao do pr
oprio conceito de fun
c
ao adoptado hoje em dia, pois foi a
proposito de series de Fourier que uma funcao deixou de ser considerada
como uma relac
ao definida por um n
umero finito de formulas ou pelas soluc
oes de equac
oes que envolvam tais formulas para assumir a nocao de
correspondencia unvoca de pontos de um conjunto para outro. Na verdade,
no estudo da convergencia de series de Fourier acabou por ficar clara a necessidade de considerar funcoes num sentido mais geral dado que os limites
podiam n
ao ser uma funcao no conceito tradicional. O germe para o abandono da noc
ao tradicional de funcao comecou a aparecer em consequencia
do trabalho de Euler (cerca de 1734) e de Fourier (cerca de 1822) a prop
osito de series de Fourier, assim como das definicoes de Cauchy, tambem
fortemente influenciadas pelo estudo de series de Fourier, de continuidade
(1821) e do integral de Cauchy (1823). Contudo, Fourier e Cauchy n
ao abandonaram o conceito tradicional de funcao. Na verdade, a nocao de funcao
como correspondencia unvoca de um conjunto para outro s
o ficou claramente expressa por Dirichlet em 1829 quando considerou a funcao a que foi
dado o seu nome61 como exemplo de uma funcao limitada num intervalo
limitado n
ao integr
avel, considerando desta forma como funcao uma relacao
que n
ao era expressa por uma formula como se fazia anteriormente, embora
n
ao tenha formulado explicitamente a definicao de funcao. Mesmo assim, a
evoluc
ao foi lenta, pois ate Riemann em 1851, que na sua tese de doutoramento definiu func
ao no sentido moderno, s
o um outro matem
atico adoptou
explicitamente o conceito de funcao actual, designadamente B. Bolzano62 ,
que o formulou no manuscrito Functionenlehre de apoio às suas licoes, que
s
o veio a ser publicado em 1930.
O Fen
omeno de Gibbs foi explicado por J.W. Gibbs em 1899 num artigo
publicado na revista Nature com a distincao da convergencia pontual da serie de Fourier e da convergencia dos respectivos gr
aficos, para a funcao em
dente de serra definida por f (t) = t se t ]0, [, f (t) = t2 se t ], 2[ e
f (0) = f (2) = 0. Gibbs observou que o gr
afico do limite das somas parciais
de uma serie de Fourier pode ser diferente do limite dos gr
aficos das somas
parciais, e inclusivamente afirmou
R que o overshoot e undershoot no ponto
de descontinuidade chegavam a 2 0 (sin s)/s ds de dist
ancia no eixo das abcissas, distintamente acima e abaixo respectivamente dos limites laterais da
61
62
A func
ao de Dirichlet e a func
ao com valor 1 nos n
umeros racionais e 0 nos irracionais.
Bolzano, Bernhard (1781-1848).
7.8 Notas hist

oricas
243
funcao no ponto, os quais s

ao e , mas n
ao apresentou uma prova. Este
artigo respondia a quest
oes levantadas por A.A. Michelson63 numa carta
publicada na 1898 Nature na sequencia de observacoes de overshoots e undershoots no seu analizador harmonico64 . Contudo, ja tinha sido chamada
a atenc
ao para este fenomeno em 1848 por H. Wilbraham, num artigo que
passou despercebido durante decadas, mas em que tinha calculado que a
altura do primeiro overshoot era cerca de 8,9% da altura do salto da descontinuidade, raz
ao pela qual E. Hewitt65 e R.E. Hewitt66 lhe chamaram
em 1980 Fen
omeno de Gibbs-Wilbraham. O nome Fen
omeno de Gibbs foi
67
dado por M. Bocher em 1906 num artigo publicado na revista Annals of
Mathematics, em que considerou uma outra funcao em dente de serra, definida por f (t) = ( t)/2 se t ]0, 2[ e f (0) = f (2) = 0, e mostrou que
este fenomeno ocorre nas series de Fourier de funcoes seccionalmente C 1
com descontinuidades de salto. Em 1904 C.D. Runge68 tambem considerou este fenomeno num caso de uma serie de Fourier particular. Em 1912
T.H. Gronwall publicou uma explicacao elementar do Fen
omeno de Gibbs
e estendeu a classe de func
oes em que era explicado a funcoes de variacao
limitada com um n
umero finito de descontinuidades. Em 1917 H.S. Carslaw
publicou um artigo calculando o Fen
omeno de Gibbs para a funcao peri
odica
de impulsos rectangulares definida por f (t) = /2 se t ]0, [ e f (t) = /2
se t ], 0 [.
Em 1926 A. Kolmogorov mostrou que h
a fun
co
es integr
aveis com
s
erie de Fourier divergente em todos os pontos. Por outro lado, em
contraste com os resultados negativos de convergencia pontual de series de
Fourier, foi provado no sentido positivo por L. Carleson em 1965, em resposta
a uma quest
ao posta 50 anos antes por N. Lusin69 , que as s
eries de Fourier
de fun
co
avel s
ao sempre pontualmente convergentes excepto possivelmente num conjunto de medida nula, ou
seja, para func
avel o conjunto de pontos onde a serie
de Fourier diverge e negligvel no sentido da medida de Lebesgue.
O smbolo O da notac
ao notacao de Bachmann-Landau para ordens de
crescimento ou decaimento foi introduzido em 1891 por P. Bachmann e o
63
Michelson, Albert Abraham (1852-1931).

Os analizadores harm
onicos comecaram por ser aparelhos mec
anicos para c
alculo das
primeiras componentes de series de Fourier e foram aplicados para a decomposic
ao de
ondas de
agua, som ou luz em harm
onicas. A.A. Michelson e Samuel Wesley Stratton
(1861-1931) construram em 1898 um analizador harm
onico para c
alculo das primeiras
80 componentes harm
onicas, refinando o analizador harm
onico inventado em 1876 por
William Thomson, Lord Kelvin (1824-1907) que se baseava no chamado Integrador de
Kelvin para calcular mecanicamente integrais de produtos de duas func
oes.
65
Hewitt, Edwin (1920-1999).
66
Hewitt, Robert E.
67
B
ocher, Maxime (1867-1918).
68
Runge, C.D. (1856-1927).
69
Lusin, Nikolai (1883-1950).
64
244
S
eries de Fourier
smbolo o foi introduzido por E. Landau em 1909, ambos investigadores de

Teoria dos N
umeros.
O processo de regularizacao baseado em n
ucleos de regularizacao ou molificadores foi criado por K.O. Friedrichs70 em 1944, quando tambem introduziu o termo mollifier, a proposito da equivalencia entre solucoes fracas e
soluc
oes fortes de equac
oes diferenciais parciais lineares em espacos como L2
1
eL .
Como se ve nestas notas hist
oricas as series de Fourier, inventadas a
proposito da resoluc
ao de equacoes diferenciais parciais, foram impressionantemente ferteis para o desenvolvimento da matem
atica, mesmo no que
respeita a conceitos t
ao b
asicos como o de funcao e os mais elementares da
teoria dos conjuntos e da topologia de conjuntos de pontos. Por isso e pelas
aplicac
oes que tem em muitas outras areas e mesmo em varias areas da pr
opria matem
atica, a Analise de Fourier e a sua extensao An
alise Harmonica
sobressaem no panorama geral da matem
atica.
70
Friedrichs, Kurt Otto (1901-1982).

TEEDCap 8

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

TEEDCap 8

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 7

As series de Fourier foram introduzidas precisamente a proposito da resolucao das equac

de Fourier, o Apendice D avanca um pouco mais na transformacao de Fourier

Lebesgue, Henri (1875-1941).

|f +g|2 = |f |2 +2|f g|+|g|2 |f |2 +(|f |2 +|g|2 )+|g|2 = 2(|f |2 +|g|2 ) ,

Para uma exposic

Logo, o conjunto das funcoes em escada em I e denso em L2 (I) tambem

E essencial considerar como identicas as func

Ficou provado que o conjunto das funcoes em escada e denso em Lp (I),

o Teorema de Convergencia de Levi12 para series garante que a serie que

convergente de termos maiores ou iguais a zero e necessariamente maior ou

O lado direito converge para zero q.t.p. em I quando k +, pelo que

Figura 7.1: Aproximacoes ortogonais por

(7.4) Teorema: Seja {0 , 1 , . . .} em L2 (I) um conjunto ortonormal

Logo, {PN f } e uma sucessao de Cauchy em L2P

Portanto n=0 |cn

pelo que a serie

Parseval, Marc-Antoine (1755-1836).

Conclui-se que a 2a e a 4a afirmacoes

Parseval, Marc-Antoine (1755-1836).

A esta serie chama-se s

{n : n (t) = ein2(ta)/(ba) / b a, n Z} e, para f L2 ([a, b]), a serie de

Os coeficientes desta serie de Fourier envolvem a func

n int 1 1 X sin n/4

Figura 7.2: Decomposicao espectral de um impulso rectangular: (i) valores

Sabemos que os espacos L2 (I), em que I e um intervalo em R, s

Propriedades gerais dos coeficientes de Fourier

Figura 7.3: Convolucao de funcoes: a funcao em

7.3 Propriedades gerais dos coeficientes de Fourier

o Teorema de Tonelli17 garante que F L1 ([0, 2][0, 2]) e, portanto,

O facto de f g ter perodo 2 e imediato de f, g terem esse perodo. A

Tonelli, Leonida (1885-1946). O Teorema de Tonelli garante a integrabilidade de uma

2 sup {|f (t)f ( )|} .

Se, nestas condic

5. fb (n) = fb(n) ein , onde f (t) = f (t ) para [0, 2], t R ;

6. (f g)b(n) = 2 fb(n) gb(n) ;

7. fb(n) eint = (f )(t), onde (t) = eint /(2) ;

7.3 Propriedades gerais dos coeficientes de Fourier

Dem. As primeiras cinco propriedades s

7. Com mudanca de vari

O = {n : n (t) = eint / 2, n Z } e completo o que s

O resultado e agora directo para funcoes g L2 ([0, 2]) devido `a convergencia

o que prova fb(n) 0 para |n| .

f (t) (cos nt+i sin nt) dt ,

o Lema de Riemann-Lebesgue equivale a afirmar que f L1 ([0, 2]) implica

facil mostrar com relacoes trigonometricas que estas duas propriedades s

7.3 Propriedades gerais dos coeficientes de Fourier

f (t) sin(n t+n ) dt = 0 ,

para quaisquer sucessoes {n }, {n } R, com |n | e f L1 (I), que

A Figura 7.4 mostra o gr

Figura 7.4: Funcao e aproximacao pelos

Figura 7.5: Decomposicao espectral do

A Figura 7.6 mostra o gr

Figura 7.6: Funcao e aproximacao pelos

7.3 Propriedades gerais dos coeficientes de Fourier

Figura 7.7: Decomposicao espectral do

onde, considerando f estendida a R como referido,

Figura 7.8: Funcao e aproximacao pelos primeiros

Figura 7.9: Decomposicao espectral dos impulsos

onde, considerando f estendida a R como referido,

Como f (t) sin(nt/2) e uma funcao par,

A Figura 7.10 mostra o gr

Figura 7.10: Func