You are on page 1of 157

DICESAR LASS FERNANDEZ

INTRODUC ˜ A
¸ AO ` ANALISE
´

Notas de Aula

IMECC-UNICAMP
Sum´
ario

1 PRELIMINARES A ` INTEGRAC ˜
¸ AO 1
1.1 Fun¸co˜es em Escada em [a, b]. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Fun¸co˜es em Escada em R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Conjuntos Nulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Conjuntos de Medida Zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Convergˆencia Quase Sempre . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 A Medida Exterior de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7 Apˆendice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2 FUNC ˜
¸ OES INTEGRAVEIS ´ 23
2.1 Fun¸co˜es Integr´aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Propriedades B´asicas da Integral . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Integrais em Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

3 TEOREMAS DE CONVERGENCIA ˆ 33
3.1 O Teorema de Beppo-Levi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Teoremas de Convergˆencia de Lebesgue . . . . . . . . . . . . . . . . . . . . . 37
3.3 Teoremas de Aproxima¸c˜ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.4 O Teorema da Mudan¸ca de Vari´avel . . . . . . . . . . . . . . . . . . . . . . . 45

4 INTEGRAIS DE FUNC ˜
¸ OES NO R2 49
4.1 Fun¸co˜es Definidas por Integrais . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.2 A Fun¸c˜ao Gama. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.3 Integra¸c˜ao Iterada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.4 Exemplos e Contra-Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.5 Experimental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

5 OS ESPAC ¸ OS Lp 63
5.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

i
ii ´
SUMARIO

5.2 Os Espa¸cos Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
5.3 Os Espa¸cos de Banach Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5.4 Teoremas de Densidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

6 OPERADORES INTEGRAIS 73
p
6.1 Operadores em espa¸cos L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.2 A Desigualdade Integral de Minkowski. . . . . . . . . . . . . . . . . . . . . . 74
6.3 Produto de Convolu¸ca˜o. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
6.4 Identidade Aproximada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

7 TRANSFORMAC ˜ DE FOURIER
¸ AO 83
7.1 A Teoria L1 da Transformada de Fourier . . . . . . . . . . . . . . . . . . . . 83
2
7.2 A Teoria L da Transformada de Fourier . . . . . . . . . . . . . . . . . . . . 88
7.3 ˆ
APENDICE: Avalia¸ca˜o de Algumas Integrais . . . . . . . . . . . . . . . . . . 95

´
8 SERIES DE FOURIER 97
8.1 Fun¸co˜es Peri´odicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2 Produto Interno e Norma de Fun¸co˜es Peri´odicas . . . . . . . . . . . . . . . . 98
8.3 Polinˆomios e S´eries Trigonom´etricos . . . . . . . . . . . . . . . . . . . . . . . 98
8.4 Polinˆomios e S´eries de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.5 O N´
ucleo de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.6 O Lema de Riemann e Consequˆencias . . . . . . . . . . . . . . . . . . . . . . 102
8.7 O N´
ucleo de F´ejer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8.8 Processo de Somabilidade de Abel-Poisson . . . . . . . . . . . . . . . . . . . 107
8.9 O Polinˆomio de Melhor Aproxima¸ca˜o . . . . . . . . . . . . . . . . . . . . . . 108
8.10 S´eries de Fourier Absolutamente Convergentes . . . . . . . . . . . . . . . . . 111
8.11 Ordem de Aproxima¸c˜ao e Classes de Lipschitz . . . . . . . . . . . . . . . . . 113
8.12 Teorema de Aproxima¸ca˜o Direta. . . . . . . . . . . . . . . . . . . . . . . . . 114
8.13 Teorema de Aproxima¸ca˜o Inversa. . . . . . . . . . . . . . . . . . . . . . . . . 115

9 A MEDIDA DE LEBESGUE 119
9.1 A Medida Exterior de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 119
9.2 Conjuntos Lebesgue Mensur´aveis . . . . . . . . . . . . . . . . . . . . . . . . 122
9.3 A Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
9.4 Caracteriza¸c˜oes da Mensurabilidade em R . . . . . . . . . . . . . . . . . . . 131
´
SUMARIO iii

10 DERIVAC ˜
¸ AO 135
10.1 Teoremas de Aproxima¸ca˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
10.2 Diferencia¸ca˜o e Integra¸c˜ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
10.3 Problemas Unidimensionais . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
iv Dicesar Lass Fernandez
Cap´ıtulo 1
` INTEGRAC
PRELIMINARES A ˜
¸ AO

Vamos aqui generalizar a no¸c˜ao de integral elementar. O objetivo ´e obter uma integral mais
flex´ıvel na tomada de limites. Al´em disso, a classe de fun¸co˜es integr´aveis dever´a ser completa,
em um sentido que tornaremos preciso.

1.1 Fun¸c˜
oes em Escada em [a, b].
1.1.1 DEFINIC ˜
¸ AO.

Chamaremos de parti¸c˜ ao de um intervalo [a, b] uma sequˆencia finita de n´umeros
P = {a0 , . . . , an } tais que a = a0 < a1 < · · · < an = b.

1.1.2 DEFINIC ˜
¸ AO.

Dizemos que uma fun¸c˜ao
ϕ : [a, b] −→ R

´e uma fun¸c˜ao em escada (em rela¸c˜ao a parti¸c˜ao P = {a0 , a1 , . . . , an }) se existem
n´umeros reais v1 , v2 , . . . , vn tais que

ϕ(x) = vj se aj−1 < x < aj , j = 1, 2, . . . , n.

Usaremos a seguinte representa¸c˜ao para as fun¸c˜oes em escada

ϕ ∼ (a0 , . . . , an ; v1 , . . . , vn )

Observemos que na defini¸ca˜o de fun¸c˜ao em escada n˜ao foram considerados os valores
da fun¸ca˜o, ϕ, nos pontos a0 , a1 , . . . , an da parti¸ca˜o P .

1
2 Dicesar Lass Fernandez

Vamos identificar as fun¸co˜es em escada que diferem em apenas um n´
umero finito de
pontos.

Denotemos por S([a, b]) o conjunto de todas as fun¸co˜es em escada definidas no intervalo
[a, b]. O conjunto S([a, b]) quando munido das opera¸c˜oes usuais de soma de fun¸co˜es e produto
de fun¸c˜ao por escalar constitue um espa¸co vetorial. Com efeito: sejam ϕ e ψ duas fun¸co˜es
em escadas representadas por

ϕ ∼ (a0 , . . . , an ; v1 , . . . , vn ) e ψ ∼ (a0 , . . . , an ; w1 , . . . , wn ).

Ent˜ao, se α, β ∈ R vamos ter

αϕ + βψ ∼ (a0 , . . . , an ; αv1 + βw1 , . . . , αvn + βwn ).

Aqui aparece um problema. Em geral, as fun¸co˜es ϕ e ψ est˜ao definidas em rela¸ca˜o a
parti¸co˜es diferentes. Vamos elaborar este ponto.

ao caracter´ıstica de um subintervalo I ⊂ [a, b] a fun¸ca˜o em
Vamos chamar de fun¸c˜
escada definida por 
χI (x) = 1 se x ∈ I,
0 se x 6∈ I.
Se I = [c, d] ´e um subintervalo de um intervalo [a, b], onde a < c < d < d, ent˜ao χI ´e
representado por
χI ∼ (a, c, d, b; 0, 1, 0)

1.1.3 PROPOSIC ˜
¸ AO.

Toda fun¸c˜ao em escada ϕ : [a, b] −→ R ´e representada por uma combina¸c˜ao linear
de fun¸c˜oes caracter´ısticas de subintervalos de [a, b]:
n
X
ϕ= ck χ]ak−1 ,ak [ ,
k=1

onde {a0 , a1 , ..., an } ´e uma parti¸c˜ao de [a, b] vk ∈ R, k = 1, 2, ..., n.

Demonstra¸c˜
ao. Exerc´ıcio. 

1.1.4 PROPOSIC ˜
¸ AO.

Sejam ϕ e ψ fun¸co˜es em escada definidas em um mesmo intervalo [a, b]. Ent˜ao
a ϕ + b ψ ´e tamb´em uma fun¸c˜ao em escada.
Introduc
¸a˜o a
` Ana
´ lise 3

Demonstra¸c˜ ao. Como ϕ e ψ s˜ao fun¸c˜oes em escada, existem parti¸co˜es P 0 = {a0 =
a, a1 , ..., am = b} e P 00 = {b0 = a, b1 , ..., bn = b}, e sequˆencias num´ericas {cj j = 1, 2, ..., m}
e {dk ; ; k = 1, 2, ...n} tais que
m
X n
X
ϕ= cj χIj e ψ= dk χ Jk ,
j=1 k=1

onde Ij =]aj−1 , aj [, j = 1, 2, ..., m, e Jk =]bk−1 , bk [, k = 1, 2, ..., n. Vamos contruir uma
parti¸ca˜o P mais fina que ambas as parti¸co˜es P 0 e P 00 e redefinir as fun¸c˜oes ϕ e ψ. Consider-
emos as interse¸co˜es Ij ∩ Jk , j = 1, 2, ..., m e k = 1, 2, ..., n. Observemos que Ij = ∪nk=1 Ij ∩ Jk
e Jk = ∪m j=1 Ij ∩ Jk Os conjuntos Ij ∩ Jk ser˜ ao subintervalos de [a, b] ou conjuntos vazios, no
segundo caso χIj ∩Jk (x) = 0, qualquer que seja x ∈ [a, b]. Observemos que
m X
X n m X
X n
ϕ= cj χIj ∩Jk e ψ= dk χIj ∩Jk ,
j=1 k=1 j=1 k=1

uma vez que χIj ∩ χJk (x) = 0 se IJ ∩ Jk = ∅. Donde
m,n
X
aϕ + bψ = (a cj + b dk ) χIj ∩Jk ,
j=k=1

e a ϕ + b ψ ´e tamb´em uma fun¸c˜ao em escada.

1.2 Fun¸c˜
oes em Escada em R
A no¸ca˜o de fun¸c˜ao em em escada ´e habitualmente conhecida quando a fun¸ca˜o est´a definida
em intervalos limitados. Vamos estender este conceito para fun¸co˜es definidas em toda a reta
num´erica.

1.2.1 DEFINIC ˜
¸ AO.

Dizemos que uma fun¸c˜ao ϕ : R −→ R ´e uma fun¸c˜ ao em escada se existe um
intervalo limitado de modo que a fun¸c˜ao restrita a esse intervalo seja uma fun¸c˜ao em
escada e seja nula no complementar desse intervalo.

Denotaremos por S(R) o conjunto das fun¸co˜es em escada.
4 Dicesar Lass Fernandez

1.2.2 PROPOSIC ˜
¸ AO.

Se a, b ∈ R, e ϕ, ψ ∈ S(R) ent˜ao

(1) a ϕ + b ψ ∈ S(R);

(2) ϕ ∨ ψ ∈ S(R) e ϕ ∧ ψ ∈ S(R);

onde

ϕ ∨ ψ(x) := min(ϕ(x), ψ(x)) e ϕ ∧ ψ(x) := max(ϕ(x), ψ(x)).

Em particular, ϕ+ := ϕ ∨ 0 e ϕ− := −(ϕ ∧ 0) s˜ao fun¸co˜es em escada.

Demonstra¸c˜ ao. Podemos supor que ϕ e ψ se anulam fora de um mesmo intervalo limitado.
A demonstra¸ca˜o ´e ent˜ao an´aloga ao caso habitual.

OBESERVAC ˜
¸ AO. Todas as propriedades, inclusive a defini¸c˜ao de integral, se transferem
para o caso da reta: Z Z
ϕ dx := ϕ|I dx,
R I
onde I ´e um intervalo limitado no qual ϕ ´e uma fun¸ca˜o em escada e ´e nula em seu
complementar. A defini¸ca˜o da integral o´bviamente n˜ao depende desse intervalo.

1.2.3 PROPRIEDADES DA INTEGRAL

Se ϕ, ψ ∈ S(R) e a, b ∈ R, ent˜ao
Z Z Z
(3) (a ϕ + b ψ) dx = a ϕ dx + b ψ dx;
R R R

Z
(4) ϕ ≥ 0 =⇒ ϕ dx ≥ 0;
R

Z Z
(5) ϕ ≥ ψ =⇒ ϕ dx ≥ ψ dx.
R R

Demonstra¸c˜
ao. Exerc´ıcio. 

EXERC´ − dx + dx.
R R R
ao em escada, demonstre que −
ICIO. Se ϕ ´e uma fun¸c˜ Rϕ ≤ R ϕ dx ≤ Rϕ
Introduc
¸a˜o a
` Ana
´ lise 5

1.2.4 PROPOSIC ˜
¸ AO.

Seja {ϕn } uma sequˆencia em S(R), todas nulas no complementar de um mesmo
intervalo [a, b]. Se, para cada n, Mn ´e o m´aximo de |ϕn |, suponhamos que Mn −→ 0,
quando n → ∞. Ent˜ao
Z
lim ϕn dx = 0.
n→∞ R

ao. Temos |ϕn | ≤ Mn χ[a,b] e
Demonstra¸c˜
Z Z Z
| ϕn dx| ≤ |ϕn | dx ≤ Mn χ[a,b] dx = Mn (b − a),
R R R

para todo n ∈ N.

OBSERVAC ˜
¸ AO. Consideremos a sequˆencia de fun¸c˜oes com termos ϕn := χ]0,2−n [ . Vemos
R
que, para todo x ∈ R, ϕn (x) −→ 0 e R ϕn dx −→ 0, por´em

Mn = max |ϕ(x)| = 1 6−→ 0.
x∈R

1.2.5 TEOREMA (Propriedade de Continuidade)

Suponhamos que {ϕn } seja uma sequˆencia de fun¸co˜es em S(R) tais que

ϕn ≥ ϕn+1 ≥ 0,

para todo n ∈ N, e, para para todo x ∈ R,

lim ϕn (x) = 0.
n→∞

Ent˜ao
Z
lim ϕn dx = 0.
n→∞ R

Demonstra¸c˜ ao. Se M = sup ϕ1 ent˜ao M −1 ϕn ≤ 1, para todo n ∈ N, e se
limn→∞ R M −1 ϕn dx = 0 ent˜ao tamb´em limn→∞ R ϕn dx = 0. Logo, podemos supor que
R R

0 ≤ ϕn ≤ 1, para todo n ∈ N.
Seja [a, b], a < b, um intervalo fora do qual ϕ1 se anula. Ent˜ao, ϕn tamb´em se anula
fora de [a, b], pois ϕn ≤ ϕ1 ≤ 1, para todo n ∈ N.
Para demonstrar o teorema devemos mostrar que dado ε > 0, existe N ∈ N tal que, se
n ≥ N , ent˜ao Z
ϕn dx < ε.
R
6 Dicesar Lass Fernandez

Este ser´a o caso se determinarmos N tal que
ε χ[a,b] ,
ϕN ≤
2(b − a)

pois ent˜ao Z Z Z
ε χ[a,b] dx = ε < ε,
ϕn dx ≤ ϕN dx ≤
R R 2(b − a) R 2
se n ≥ N .
Seja {ak } a sequˆencia formada pelos pontos de descontinuidade das fun¸c˜oes ϕn . Defin-
imos, para cada n ∈ N, a fun¸c˜ao ψn por
n
ε χ[a,b] +
X
χIk ,
ψn :=
2(b − a) k=1

onde
ε ε
Ik =]ak − , ak + [.
2k+2 2k+2
Vamos ter ψn (x) ≥ 1, se x ∈ Ik , para algum k. Al´em disso,
Z Z n Z
ε χ[a,b] dx +
X
χIk dx
ψn dx =
R 2(b − a) R k=1 R
n
ε εX 1 ε ε
= + k
< + = ε.
2 2 k=1 2 2 2

Portanto, ´e suficiente demonstrar que ϕN ≤ ψN , para algum N , pois ent˜ao teremos, para
todo n ≥ N , Z Z Z
ϕn dx ≤ ϕN dx ≤ ψN dx < ε.
R R R

Consideremos os seguintes conjuntos

En := { x ; ϕn (x) > ψn (x) } = { x ; ϕn (x) − ψn (x) > 0 }.

Cada En ´e uma uni˜ao de intervalos disjuntos. Como ψn ≤ ψn+1 e ϕn ≥ ϕn+1 , temos

ϕn − ψn ≤ ϕn+1 − ψn+1 ,

e portanto
En+1 ⊂ En ⊂ [a, b].

Para demonstrar que ϕN ≤ ψN , para algum N , precisamos mostrar que EN ´e vazio
para esse N .
Introduc
¸a˜o a
` Ana
´ lise 7

Suponhamos que este n˜ao seja o caso: En 6= ∅, para todo n ∈ N. Seja xn o menor dos
extremos inferiores dos intervalos que constituem En . Como En+1 ⊂ En ⊂ [a, b], temos

xn ≤ xn+1 ≤ b.

Desta forma, vemos que {xn } ´e uma sequˆencia crescente e limitada, converge portanto para
um x ∈ [a, b]. Por´em, x n˜ao pode ser qualquer dos pontos de descontinuidade ak , pois nos
pontos de Ik temos ϕn ≤ 1 ≤ ψn , para todo n ≥ k; portanto xn 6∈ Ik , qualquer que seja
n ≥ k.
Logo x ´e um ponto de continuidade de todas as ϕn . Como xn ´e um ponto extremo de
En , existe yn ∈ En tal que x ≤ yn ≤ x + 2−n . Ent˜ao limn→∞ yn = x, tamb´em, e para n ≥ k,
ε
ϕk (yn ) ≥ ϕn (yn ) > ψn (yn ) ≥ .
2(b − a)
Portanto, como ϕk ´e cont´ınua em x, temos
ε
ϕk (x) ≥ ,
2(b − a)
para todo k, o que contraria a hip´otese de que limn→∞ ϕn (x) = 0, para todo x ∈ [a, b]. 

EXERC´ ICIOS.
(1) Mostre que existe uma sequˆencia {ϕn } de fun¸c˜oes em escada, nulas fora de [−1, 1] que verificam

lim ϕn (x) = 0,
n→∞

para todo x ∈ R, mas tal que Z
lim ϕn dx 6= 0.
n→∞ R
R
(Escolher ϕn ≥ 0 com R ϕn dx = 1).
(2) Mostre que existe uma sequˆencia {ϕn } de fun¸c˜oes em escada, n˜ao negativas, tais que ϕn ≤ 1
e, para todo x ∈ R,
lim ϕn (x) = 0,
n→∞
mas Z
lim ϕn dx = 1.
n→∞ R

(3) Sejam ϕn e ϕ fun¸c˜
oes em escada tais que

ϕn ≤ ϕn+1 ≤ ϕ e lim ϕn (x) = ϕ(x),
n→∞

para todo x ∈ R. Demonstre que
Z Z
lim ϕn dx = ϕ dx.
n→∞ R R
8 Dicesar Lass Fernandez

1.3 Conjuntos Nulos
1.3.1 A Propriedade de Continuidade, demonstrada na se¸ca˜o anterior, tem a seguinte
consequˆencia. Suponhamos que {ϕn } seja uma sequˆencia crescente de fun¸co˜es em escada
que converge para uma fun¸c˜ao em escada ϕ. Ent˜ao
Z Z
lim ϕn dx = ϕ dx.
n→∞ R R
De fato, a sequˆencia ϕ − ϕn ´e decrescente e constituida de fun¸co˜es em escada n˜ao negativas
que convergem para zero. A Propriedade de Continuidade e a linearidade da integral
(Propriedade da Integral 1.1.3) implicam a assertiva.

1.3.2 DEFINIC ˜
¸ AO.
Um conjunto E ´e neglig´ıvel ou um conjunto nulo se existe uma sequˆencia crescente
de fun¸co˜es em escada {ϕn }, ϕn ≤ ϕn+1 , tal que {ϕn (x)} diverge, quando x ∈ E,
R
enquanto a sequˆencia { R ϕn dx} converge.
´ claro que qualquer subconjunto de um conjunto nulo ´e tamb´em nulo.
E
A seguinte reformula¸ca˜o do conceito de conjunto nulo ´e muitas vezes conveniente.

1.3.3 PROPOSIC ˜
¸ AO.
P
Um conjunto E ´e nulo se e somente se existe uma s´erie n ϕn de fun¸c˜oes em escada
P
tal que n ϕn (x) diverge, quando x ∈ E, enquanto
∞ Z
X
|ϕn | dx < ∞.
n=1 R

Demonstra¸c˜ ao. Suponhamos que E seja um conjunto nulo e {ϕn } uma sequˆencia crescente
de fun¸c˜oes em escada, ϕn ≤ ϕn+1 , tais que {ϕn (x)} diverge, quando x ∈ E, enquanto
R
{ R ϕn dx} converge. Definindo
ψn := ϕn+1 − ϕn ;
vamos ter n
X
ψn = ϕn+1 − ϕ1 .
k=1
P P R
Ent˜ao, n ψn (x) diverge, quando x ∈ E, enquanto n R |ψn | dx converge:
X∞ Z Xn Z Z
|ψn | dx = lim ( ϕk+1 dx − ϕk dx)
R n→∞ R R
n=1
Zk=1 Z
= lim ϕn+1 dx − ϕ1 dx < ∞.
n→∞ R R
Introduc
¸a˜o a
` Ana
´ lise 9
P
Rec´ıprocamente, seja n ϕn uma s´erie de fun¸c˜oes em escada que diverge nos pontos de
um conjunto E mas tal que
∞ Z
X
|ϕn | dx < ∞.
n=1 R
P
Neste caso, n |ϕn (x)| diverge, quando x ∈ E. Agora,
n
X
ψn = |ϕk |
k=1

´e uma sequˆencia de fun¸co˜es em escada que diverge em E, no entanto a sequˆencia de integrais
Z
ψn dx
R

converge. Portanto E ´e um conjunto nulo. 

1.3.4 PROPOSIC ˜
¸ AO.
S
Seja {En } uma sequˆencia de conjuntos nulos. ent˜ao E := n≥1 En ´e tamb´em um
conjunto nulo.
P
Demonstra¸c˜ ao. Para cada n, seja k ϕnk uma s´erie de fun¸co˜es em escada que diverge em
En , mas tal que
X∞ Z
|ϕnk | dx < ∞.
k=1 R

Podemos supor que
∞ Z
X 1
|ϕnk | dx < ,
k=1 R
2n
−n
pois sempre podemos trocar ϕnk por 2 M −1 ϕnk , onde
∞ Z
X
M> |ϕnk | dx.
k=1 R

O conjunto { ϕnk ; n ∈ N, k ∈ N } ´e enumer´avel. Logo, podemos reenumer´a-lo na forma
{ϕm ; m ∈ N}, Ent˜ao, ∞
P
m=1 |ϕm (x)| diverge, quando x ∈ E, enquanto
∞ Z ∞ X ∞ Z ∞
X X X 1
|ϕm | dx = |ϕnk | dx ≤ n
< ∞.
m=1 R n=1 k=1 R n=1
2
S
Portanto, E = k Ek ´e um conjunto nulo. 

EXERC´ ICIO. Mostre que um subconjunto E ´e nulo se e somente se existe uma sequˆencia {ϕn } de
P P R
ao-negativas de modo que a s´erie n ϕn (x) diverge, se x ∈ E, mas n R ϕn dx
fun¸c˜oes em escada n˜
converge.
10 Dicesar Lass Fernandez

1.4 Conjuntos de Medida Zero
O conceito de conjunto nulo pode ser caracterizado como um conjunto de medida zero.

1.4.1 DEFINIC ˜
¸ AO.

Um conjunto E ⊂ R tem medida zero se, para todo ε > 0, existe um sequˆencia
de intervalos abertos {]ak , bk [} tais que

[
MZ1) E ⊂ ]ak , bk [;
k=1

X
MZ2) (bk − ak ) < ε.
k=1

1.4.2 EXEMPLO.

Todo conjunto enumer´avel tem medida zero e ´e portanto neglig´ıvel.

1.4.3 EXEMPLO.

Se a < b, [a, b] n˜ao tem medida zero.

De fato, suponhamos que [a, b] tenha medida zero. Ent˜ao dado ε > 0 (ε < b − a) existe uma
sequˆencia {In }, In =]an , bn [, tal que

[ ∞
X
[a, b] ⊂ In e (bn − an ) < ε.
n=1 n=1

Pela Propriedade de Heine-Borel, o recobrimento {In } admite um subrecobrimento finito:

[a, b] ⊂ In1 ∪ ... ∪ Ink .

Podemos supor que nenhum dos intervalos Inj est´a contido nos demais. Al´em disso, podemos
rearranjar os Inj de modo que

an1 < an2 < ... < ank < bnk .

Vamos ter bnj ∈ ]anj+1 , bnj+1 [ (sen˜ao esses intervalos n˜ao recobririam [a, b]). Agora,

ε < b − a < bnk − an1 = bnk − ank + ank − an1
< bnk − ank + bnk−1 − ank−1 + ank−1 − an1
< bnk − ank + bnk−1 − ank−1 + ... + bn1 − an1 < ε,
Introduc
¸a˜o a
` Ana
´ lise 11

o que ´e uma contradi¸c˜ao. 

NOTAC ˜
¸ AO. Se I ´e um intervelo em R, de extremos a e b (a < b), escrevemos

`(I) := b − a.

1.4.4 TEOREMA.

Seja E um subconjunto de R. As seguintes assertivas s˜ao equivalentes:

A) E ´e um conjunto nulo;
B) E tem medida zero;
C) E esta contido em uma reuni˜ao enumer´avel de intervalos abertos Ik tais que
P
k `(Ik ) < ∞, e cada x ∈ E pertence a infinitos intervalos da sequˆ
encia.

Demonstra¸c˜ ao. A) =⇒ B) Seja E um conjunto nulo. Ent˜ao, existe uma sequˆencia cres-
cente de fun¸co˜es em escada tal que {ϕn (x)} diverge, quando x ∈ E, enquanto existe o limite
Z
lim ϕn dx = M.
n→∞ R

Agora, dado ε > 0, podemos supor que
Z
lim ϕn dx < ε;
n→∞ R

ε
de fato, se esse n˜ao fosse o caso trocariamos ϕn por ϕ .
M n
Seja ψn = [ϕn ], a parte inteira de
ϕn ; por defini¸ca˜o
ψn (x) = m se m ≤ ϕn (x) < m + 1,

onde m ´e um inteiro n˜ao negativo. A sequˆencia {ψn } ´e crescente e formada por fun¸c˜oes em
escada. Al´em disso, {ψn (x)} diverge, quando x ∈ E, enquanto
Z
lim ψn dx < ε,
n→∞ R

pois ψn ≤ ϕn , para cada n ∈ N. Por conveniˆencia definimos ψ0 ≡ 0. O conjunto onde
ψn − ψn−1 ´e positivo, isto ´e, maior ou igual a 1, ´e uma uni˜ao finita de intervalos cuja soma
dos comprimentos ´e menor ou igual a
Z
(ψn − ψn−1 ) dx.
R
12 Dicesar Lass Fernandez

Cada x ∈ E est´a contido em algum desses intervalos, para algum n, pois se ψn (x) = ψn+1 (x),
para todo n, ter´ıamos ψn (x) = ψ0 (x) = 0. Seja {In } a cole¸ca˜o de todos esse intervalos; vamos
ter ∞ ∞ Z Z
X X
`(In ) ≤ (ψn − ψn−1 ) dx = lim ψn dx < ε
R n→∞ R
n=1 n=1
S
e E ⊂ n In ; portanto E tem medida zero.
B) =⇒ C) Seja E um conjunto de medida zero. Para cada n ∈ N, seja {Ink } uma sequˆencia
de intervalos, que recobrem E, tal que

X 1
`(Ink ) < .
k=1
2n

Reordenamos a sequˆencia dupla {Ink } na forma {Im }m∈N . Vamos ter
∞ ∞ X
∞ ∞
X X X 1
`(Im ) = `(Ink ) < n
= 1.
m=1 n=1 k=1 n=1
2

Vemos tamb´em que cada x ∈ E pertence a infinitos intervalos da sequˆencia.
C) =⇒ A) Seja E ⊂ R um conjunto nas condi¸co˜es de C) e {In } uma sequˆencia de intervalos
tal que
X∞
`(In ) < ∞
n=1

e que, para cada x ∈ E, admite uma subsequˆencia {Ik(n) } tal que

\
x∈ Ik(n) .
n=1

´ claro que a s´erie P χI
E diverge em E, enquanto
n k(n)

∞ ∞ Z
χIk(n) dx.
X X
∞> `(In ) >
n=1 n=1 R

A demonstra¸ca˜o esta completa. 

1.5 Convergˆ
encia Quase Sempre
Os conjuntos nulos podem ser negligˆenciados em diversas situa¸c˜oes. Para tornar
precisas essas situa¸c˜oes introduzimos o seguinte conceito.
Introduc
¸a˜o a
` Ana
´ lise 13

1.5.1 DEFINIC ˜
¸ AO.

Se alguma propriedade for v´alida para n´umeros reais x pertencentes ao complementar
de um conjunto nulo, dizemos que essa propriedade vale quase sempre (abreviada-
mente q.s.) ou ainda que a propriedade vale para quase todo x (abreviadamente
p.q.t. x).

Por exemplo, se {ϕn } ´e uma sequˆencia crescente de fun¸co˜es em escada tais que a sequˆencia
R
{ R ϕn dx} converge, ent˜ao
{ϕn } converge q.s.
ou
{ϕn (x)} converge p.q.t. x,
pela pr´opria defini¸ca˜o de conjunto nulo.

1.5.2 TEOREMA.

Seja {ϕn } uma sequˆencia decrescente de fun¸c˜oes em escada, ϕn ≥ ϕn+1 ≥ 0, tais
que
lim ϕn (x) = 0, p.q.t. x.
n→∞

Ent˜ao
Z
lim ϕn dx = 0.
n→∞ R

Demonstra¸c˜
ao. Seja E um conjunto nulo tal que

lim ϕn (x) = 0,
n→∞

se x ∈ E c . Pela defini¸ca˜o de conjunto nulo, existe uma sequˆencia {ψn } crescente de fun¸co˜es
em escada, n˜ao-negativas, tal que
Z
M = lim ψn dx,
n→∞ R

existe. Dado ε > 0, sequˆencia {ηn } de fun¸co˜es em escada definidas por

ηn := (ϕn − ε ψn )+ = (ϕn − ε ψn ) ∨ 0

´e decrescente, ηn ≥ ηn+1 , para todo ε > 0, e satisfaz

lim ηn (x) = 0,
n→∞
14 Dicesar Lass Fernandez

para todo x ∈ R. Logo, aplicando o Teorema da Continuidade, obtemos
Z
lim ηn dx = 0.
n→∞ R

Agora, como
ϕn = (ϕn − ε ψn ) + ε ψn ≤ ηn + ε ψn ,
segue que
Z Z Z
lim ϕn dx ≤ lim ηn dx + lim ε ψn dx
n→∞ R n→∞ RZ n→∞ R

≤ ε lim ψn dx = ε M.
n→∞ R

Como ε ´e arbitr´ario segue o resultado. 

´
1.5.3 COROLARIO.
P
Seja ψ uma fun¸c˜ao em escada e suponhamos que n ϕn seja uma s´erie de fun¸c˜oes
em escada, n˜ao negativas, tal que

X
ϕn ≥ ψ, q.s.
n=1

Ent˜ao ∞ Z Z
X
ϕn dx ≥ ψ dx.
n=1 R R

P R
Demonstra¸c˜ao. Se n R ϕn dx diverge, a desigualdade ´e imediata. Suponhamos ent˜ao que
P R
n R ϕn dx < ∞. A sequˆ
encia {ηn } de fun¸co˜es em escada, definidas por
n
X
ηn := (ψ − ϕk )+
k=1

´e decrescente e satisfaz
lim ηn = 0, q.s.
n→∞

Logo Z
lim ηn dx = 0.
n→∞ R
Como n n n
X X X
ψ = (ψ − ϕk ) + ϕk ≤ ηn + ϕk ,
k=1 k=1 k=1
Introduc
¸a˜o a
` Ana
´ lise 15

temos
Z Z n Z
X
ψ dx ≤ ηn dx + ϕk dx
R R k=1 R
Z X∞ Z
≤ ηn dx + ϕn dx.
R n=1 R

Fazendo n → ∞, obtemos a assertiva do corol´ario. 

1.5.4 TEOREMA.

Se {ϕn } ´e uma sequˆencia de fun¸c˜oes em escada, n˜ao-negativas, tais que
∞ Z
X
ϕn dx < ∞.
n=1 R

P
Ent˜ao, a s´erie n ϕn converge, quase sempre.

Demonstra¸c˜
ao. Exerc´ıcio. 

´
1.5.5 COROLARIO.

Seja n ϕn uma s´erie de fun¸co˜es em escada tal que ∞
P P
n=1 ϕn = 0, q.s. Ent˜
ao, se a
P R
s´erie n R |ϕn | dx convergir, temos
∞ Z
X
ϕn dx = 0.
n=1 R


ao. A s´erie n |ϕn | converge q.s. Como ϕ+
P
Demonstra¸c˜ n ≤ |ϕn | e ϕn ≤ |ϕn |, segue que
P + P −
n ϕn e n ϕn tamb´ em convergem q.s. Al´em disso,

X ∞
X ∞
X ∞
X
0= ϕn = (ϕ+
n − ϕ−
n) = ϕ+
n − ϕ−
n, q.s.
n=1 n=1 n=1 n=1

Logo, para cada m,

X m
X
ϕ+
n ≥ ϕ−
n, q.s.
n=1 n=1

Pelo Corol´ario anterior, obtemos
∞ Z
X m Z
X
ϕ+
n dx ≥ ϕ−
n dx,
n=1 R n=1 R
16 Dicesar Lass Fernandez


Agora, da hip´otese e da defini¸ca˜o de ϕ+
n e ϕn temos

∞ Z
X ∞ Z
X
ϕ+
n dx ≤ |ϕn | dx,
n=1 R n=1 R

∞ Z
X ∞ Z
X
ϕ−
n dx ≤ |ϕn | dx.
n=1 R n=1 R

Fazendo n → ∞, obtemos ent˜ao
∞ Z
X ∞ Z
X
ϕ+
n dx ≥ ϕ−
n dx.
n=1 R n=1 R


Trocando os papeis de ϕ+
n e ϕn vemos que vale tamb´
em a desigualdade oposta. Portanto
∞ Z
X ∞ Z
X
ϕ+
n dx = ϕ−
n dx,
n=1 R n=1 R

o que implica
∞ Z
X ∞ Z
X ∞ Z
X
0= ϕ+
n dx − ϕ−
n dx = ϕn dx.
n=1 R n=1 R n=1 R

A demonstra¸ca˜o est´a completa. 

1.6 A Medida Exterior de Lebesgue
1.6.1 INTERVALOS EM R. Os intervalos [a, b], [a, b[, ]a, b] e ]a, b[ ser˜ao denotados
indistintamente por

I = |a, b|,
desde que n˜ao se fa¸ca necess´ario explicitar o tipo de intervalo em considera¸c˜ao.
O comprimento de um intervalo I = |a, b| ´e definido por

`(|a, b|) := b − a.

EXERC´ ICIO. Seja Q0,1 o conjuntos dos racionais entre 0 e 1 e seja {In } uma cole¸c˜ao finita de
P
intervalos abertos recobrindo Q0,1 . Demonstre que `(In ) ≥ 1.
Introduc
¸a˜o a
` Ana
´ lise 17

1.6.2 DEFINIC ˜
¸ AO.

Seja A um subconjunto arbitr´ario de R. A medida exterior de Lebesgue do
conjunto A ´e definido por
(∞ ∞
)
X [

m (A) := inf `(Ik ) ; A ⊂ Ik ,
k=1 k=1

onde o ´ınfimo ´e tomado sobre todos os recobrimentos do conjunto A por intervalos
abertos {Ik }k∈N .

Observe que m∗ (A) assume valores em R+ ∪ {+∞}.

1.6.3 EXEMPLO.

Se E ´e um subconjunto enumer´avel de R ent˜ao a medida exterior de E ´e nula:
m∗ (E) = 0.

De fato, se E = {x1 , . . . , xn , . . .}, dado ε > 0, seja Ik um intervalo aberto tal que xk ∈ Ik e
`(Ik ) < ε/2k . Ent˜ao
∞ ∞
X X ε
m∗ (E) ≤ `(Ik ) ≤ k
< ε,
k=1 k=1
2
Como ε ´e arbitr´ario segue o resultado.

1.6.4 PROPOSIC ˜
¸ AO.

Sejam A, B e Ak , k ∈ N, subconjuntos de R. Ent˜ao
A) m∗ (∅) = 0;
B) A ⊂ B =⇒ m∗ (A) ≤ m∗ (B);

[ X∞

C) A⊂ Ak =⇒ m (A) ≤ m∗ (Ak ).
k=1 k=1

Demonstra¸c˜ ao. A) e B) s˜ao imediatas. Para verificar C), seja ε > 0. Ent˜ao, para cada
k ∈ N, existe um recobrimento {Ikn }n de Ak , Ak ⊂ ∪n Ikn , tal que

X ε
`(Ikn ) ≤ m∗ (Ak ) + .
n=1
2k
Como
18 Dicesar Lass Fernandez


[ ∞ [
[ ∞
A⊂ Ak ⊂ Ikn ,
k=1 k=1 n=1
temos ent˜ao
∞ X
∞ ∞  ∞
X X ε X ∗
m∗ (A) ≤ `(Ikn ) ≤ m∗ (Ak ) + k = m (Ak ) + ε;
k=1 n=1 k=1
2 k=1

como ε ´e arbitr´ario obtemos C).

1.6.5 PROPOSIC ˜
¸ AO.

Seja A um subconjunto de R tal que m∗ (A) < ∞. Ent˜ao, dado ε > 0, existe um
conjunto limitado Aε ⊂ A tal que

m∗ (A \ Aε ) < ε.

P
Demonstra¸c˜ ao. Seja {Ik }k um recobrimento de A tal que k `(Ik ) < ∞. Logo, existe
kε ∈ N tal que

X
`(Ik ) < ε.
k=kε +1

Fa¸camos Aε = ∪kk=1
ε
(Ik ∩ A). Ent˜ao Aε ´e limitado e A \ Aε ⊂ ∪k>kε Ik , logo m∗ (A \ Aε ) < ε. 

´ claro que qualquer intervalo I ⊂ R verifica m∗ (I) ≤ `(I). Vale tamb´em a rec´ıproca.
E

1.6.6 PROPOSIC ˜
¸ AO.

Se |a, b| ⊂ R e a < b ent˜ao

m∗ (|a, b|) = `(|a, b|) = b − a.
ao. Para cada ε > 0 existe um recobrimento {Ik }k∈N de [a, b] tal que
Demonstra¸c˜

X
`(Ik ) ≤ m∗ ([a, b]) + ε.
k=1

Como [a, b] ´e compacto, pelo Teorema de Heine-Borel, existem Ik1 , . . . , Ikn de modo que
[a, b] ⊂ Ik1 ∪ · · · ∪ Ikn . Podemos supor (descartando intervalos) que Iki 6⊂ Ikj se i 6= j, e
Ik ∩ [a, b] 6= ∅, para todo k ∈ N. Reordenando esses intervalos, podemos supor tamb´em que
Introduc
¸a˜o a
` Ana
´ lise 19

ak1 < bk2 < bk1 < · · · < akn < bkn−1 < bkn .
Vamos ter ent˜ao

X n
X

m ([a, b]) > |Ik | − ε > |Ikj | − ε > bkn − ak1 − ε > b − a − ε.
k=1 j=1

Como ε ´e arbitr´ario segue que m∗ ([a, b]) ≥ b − a.
A desigualdade contr´aria ´e simples: [a, b] ⊂]a − ε, b + ε[ e m∗ ([a, b]) ≤ b − a + 2ε. 

EXERC´
ICIO. Complete a demonstra¸c˜ao da Proposi¸c˜ao 1.6.6, considerando os casos [a, b[, ]a, b]
e ]a, b[.

´
1.6.7 COROLARIO.

Dados a, b ∈ R, com a < b, ent˜ao o intervalo [a, b] n˜ao ´e enumer´avel.

Demonstra¸c˜ ao. Se [a, b] fosse enumer´avel teriamos m∗ ([a, b]) = 0. Mas, como
m∗ ([a, b]) = `([a, b]) = b − a > 0, segue o resultado.

EXERC´
ICIOS.

1. Mostre que m∗ (R) = +∞.

2. m∗ (A) = 0 =⇒ m∗ (A ∪ B) = m∗ (B).

umeros irracionais contidos em [0, 1], calcule m∗ (I).
3. Se I ´e o conjunto dos n´

4. Se x ∈ R e A ⊂ R, mostre que m∗ (A + x) = m∗ (A).

OBSERVAC ˜
¸ AO. A medida exterior de Lebesgue est´a definida para qualquer subconjunto
de R. Posteriormente, no Cap´ıtulo 9, vamos introduzir a no¸ca˜o de medida de Lebesgue que
estar´a definida para uma classe especial de subconjuntos de R: os subconjuntos Lebesgue
mensur´aveis. A medida de Lebesgue ter´a propriedades mais precisas que a medida exterior.

1.7 Apˆ
endice
1.7.1 TEOREMA.

Dada a sequˆencia dupla {ank ; n ∈ N, k ∈ N } seja {am ; m ∈ N } uma de suas
reenumera¸co˜es. S˜ao equivalentes:
20 Dicesar Lass Fernandez

∞ ∞ ∞
!
X X X
(a) para cada n ∈ N, |ank | < ∞ e |ank | < +∞.
k=1 n=1 k=1


X
(b) |am | < ∞.
m=1

Se (a) ou (a) ´e verificada, temos
∞ ∞
! ∞
X X X
ank = am .
n=1 k=1 m=1

Demonstra¸c˜
ao. (a) =⇒ (b). Dado M , sejam N e K tais que

{a1 , ... , aM } ⊂ {ank ; n ≤ N, k ≤ K }.

Vamos ter ! ∞ ∞
M N K
!
X X X X X
|am | ≤ |ank | ≤ |an k| < +∞.
m=1 n=1 k=1 n=1 k=1
Portanto
∞ ∞ ∞
!
X X X
|am | ≤ |an k| < +∞.
m=1 n=1 k=1
(b) =⇒ (a). Dado K, para cada n ∈ N, seja Mn tal que

{ an1 , ... , anK } ⊂ { a1 , ... , aMn }.

Vamos ter
K
X Mn
X ∞
X
|ank | ≤ |am | ≤ |am |.
k=1 m=1 m=1
Fazendo K → ∞, obtemos uma primeira desigualdade. Para obtermos a desigualdade
contr´aria, dado N , seja K tal que
∞ K
X X 1
|ank | − |ank | < , n = 1, 2, ... , N.
k=1 k=1
N
Seja M tal que
{ ank ; n ≤ N, k ≤ K } ⊂ { a1 , ... , aM }.
Vamos ter

N
! N K
! N K
!
X X X X 1 X X
|ank | ≤ |ank | + = |ank | +1
n=1 k=1 n=1 k=1
N n=1 k=1
M
X ∞
X
≤ |am | + 1 ≤ |am | + 1.
m=1 m=1
Introduc
¸a˜o a
` Ana
´ lise 21

Passando ao limite quando N → ∞ e combinando com a primeira desigualdade, obtemos
∞ ∞ ∞
! ∞
X X X X
|am | ≤ |ank | ≤ |am | + 1.
m=1 n=1 k=1 m=1

Agora, dado C > 0, substitu´ındo a sequˆencia {am } pela sequˆencia {Cam } e a sequˆencia
{ank } pela sequˆencia {Cank }, obtemos uma desigualdade dupla an´aloga a obtida acima.
Como consequˆencia, obtemos
∞ ∞ ∞
! ∞
X X X X 1
|am | ≤ |ank | ≤ |am | + .
m=1 n=1 k=1 m=1
C

Com C > 0 ´e arbitr´ario, obtemos a identidade procurada no caso de sequˆencias n˜ao negativas.
Finalmente, no caso geral, definindo bnk := |ank | − ank e bm := |am | − am , aplicando a
desigualdade acima, obtemos
∞ ∞
! ∞ ∞
!
X X X X
ank = (|ank | − bnk )
n=1 k=1 n=1 k=1
∞ ∞
! ∞ ∞
!
X X X X
= |ank | − bnk
n=1 k=1 n=1 k=1
X∞ ∞
X
= |am | − bm
m=1 m=1
X∞
= am .
m=1

A demonstra¸ca˜o est´a completa. 
22 Dicesar Lass Fernandez
Cap´ıtulo 2

FUNC ˜
¸ OES ´
INTEGRAVEIS

Neste cap´ıtulo introduziremos a no¸ca˜o de fun¸c˜oes integr´aveis e a de integr´al dessas fun¸co˜es.
As fun¸c˜oes em escada estar˜ao contidas pr´opriamente nessa classe de fun¸co˜es. Apresentaremos
tamb´em suas propriedades b´asicas.
Assumiremos aqui a no¸ca˜o de integral para fun¸co˜es cont´ınuas em um intervalo fechado.

2.1 Fun¸c˜
oes Integr´
aveis
2.1.1 PROPOSIC ˜
¸ AO.
P P
Sejam n ϕn e n ψn s´eries de fun¸co˜es em escada convergentes q.s. e tais que

X ∞
X
ϕn (x) = ψn (x),
n=1 n=1

para quase todo x ∈ R. Suponhamos, al´em disso, que
X∞ Z X∞ Z
|ϕn | dx < ∞ e |ψn | dx < ∞.
n=1 R n=1 R

Nestas condi¸c˜oes temos
∞ Z
X ∞ Z
X
ϕn dx = ψn dx.
n=1 R n=1 R

P
ao. Por um lado n (ϕn − ψn ) converge q.s. para zero. Por outro lado,
Demonstra¸c˜
∞ Z
X ∞ Z
X Z
|ϕn − ψn | dx ≤ ( |ϕn | dx + |ψn | dx)
n=1 R n=1 R R

X∞ Z ∞ Z
X
= |ϕn | dx + |ψn | dx < ∞.
n=1 R n=1 R

23
24 Dicesar Lass Fernandez

Portanto, usando o Corol´ario 1.5.5, podemos concluir que
∞ Z
X ∞ Z
X ∞ Z
X
0= (ϕn − ψn ) dx = ϕn dx − ψn dx,
n=1 R n=1 R n=1 R

ou seja
∞ Z
X ∞ Z
X
ϕn dx = ψn dx.
n=1 R n=1 R

Que ´e a assertiva da proposi¸ca˜o. 

Esta observa¸ca˜o mostra que a seguinte defini¸ca˜o ´e v´alida.

2.1.2 DEFINIC ˜
¸ AO.
P
Uma fun¸c˜ao f , definida em R, ´e integr´
avel se existe uma s´erie n ϕn de fun¸c˜oes
em escada tais que

X
I1) ϕn (x) = f (x), p.q.t. x;
n=1
X∞ Z
I2) |ϕn | dx < ∞.
n=1 R

A integral de f ´e ent˜ao definida por
Z ∞ Z
X
f dx := ϕn dx.
R n=1 R

2.1.3 LEMA.

Seja {ϕn } uma sequˆencia crescente de fun¸co˜es em escada, ϕn ≤ ϕn+1 , tal que existe
o limite Z
lim ϕn dx = I.
n→∞ R

Ent˜ao, {ϕn } converge quase sempre e, se f ´e uma fun¸c˜ao tal que

f = lim ϕn , q.s.
n→∞

a fun¸c˜ao f ser´a integr´avel e
Z Z
f dx = lim ϕn dx = I.
R n→∞ R
Introduc
¸a˜o a
` Ana
´ lise 25

ao. Seja E um conjunto nulo fora do qual {ϕn } converge. Definimos
Demonstra¸c˜
(
lim ϕn (x), x 6∈ E,
f (x) := n→∞
0, x ∈ E.
P
Podemos definir uma s´erie n ψn , que converge quase sempre, fazendo

ψ1 := ϕ1 , ψn := ϕn − ϕn−1 , n ≥ 2.

Vamos ter m
X
ψn = ϕ m .
n=1

Agora, como
m Z
X Z m Z
X
|ψn | dx = |ϕ1 | dx + (ϕn − ϕn−1 ) dx
n=1 R R n=1 R
Z Z Z
= |ϕ1 | dx + ϕm dx − ϕ1 dx
ZR RZ R

≤ |ϕ1 | dx + I − ϕ1 dx,
R R

vemos que a s´erie
∞ Z
X
|ψn | dx
n=1 R

converge. Logo, f ´e integr´avel e
Z ∞ Z
X Z
f dx = ψn dx = lim ϕn dx = I,
R R n→∞ R
n=1

o que demonstra o Lema. 

Vamos agora apresentar uma caracteriza¸ca˜o das fun¸co˜es integr´aveis usando sequˆencias.
26 Dicesar Lass Fernandez

2.1.4 TEOREMA.

Uma fun¸c˜ao f , definida em R, ´e integr´avel se e somente se existe uma sequˆencia de
fun¸co˜es em escada {ψn } tal que

lim ψn (x) = f (x) p.q.t. x,
n→∞

e Z
lim |ψn − ψm | dx = 0.
n,m→∞ R
Neste caso Z Z
f dx = lim ψn dx.
R n→∞ R
P
Demonstra¸c˜ ao. Suponhamos que f seja integr´avel. Ent˜ao, existe uma s´erie n ϕn , de
fun¸co˜es em escada que converge para f , quase sempre, e tem a propriedade
X∞ Z
|ϕn | dx < ∞.
n=1 R

Definimos n
X
ψn := ϕk .
k=1

Desta forma, vamos ter

X
f (x) = ϕk (x) = lim ψn (x),
n→∞
k=1

para quase todo x ∈ R. Agora, para todo m ≥ n, resulta
Z Z m
X m Z
X
|ψn − ψm | dx = | ϕk | dx ≤ |ϕk | dx.
R R k=n+1 k=n+1 R

Pela hip´otese e o Crit´erio de Cauchy segue que
Z
lim |ψn − ψm | dx = 0.
n,m→∞ R

Rec´ıprocamente, suponhamos que exista uma sequˆencia {ψn }, de fun¸co˜es em escada, que
converge para f , quase sempre, e satisfaz
Z
lim |ψn − ψm | dx = 0.
n,m→∞ R

Vamos mostrar que existe uma subsequˆencia {ψk(n) } tal que
Z
1
|ψk(n) − ψm | dx ≤ n ,
R 2
Introduc
¸a˜o a
` Ana
´ lise 27

para m ≥ k(n). Vamos escolher as fun¸c˜oes em escada ψk(n) por indu¸c˜ao. Por hip´otese, existe
k(1) ∈ N tal que Z
1
|ψk(1) − ψm | dx ≤ 1 ,
R 2
para todo m ≥ k(1). Se ψk(n) foi determinada, escolhemos k(n + 1) > k(n) de modo que
Z
1
|ψk(n+1) − ψm | dx < n+1 ,
R 2

para m ≥ k(n + 1). A subsequˆencia {ψk(n) } tem ent˜ao a propriedade requerida.
P
Vamos, agora, construir uma s´erie n ϕn que converge, quase sempre, para f . Defini-
mos 
ψk(1) se n = 1,
ϕn (x) :=
ψk(n) − ψk(n−1) se n ≥ 2.
Desta forma m m
X X
ϕn = ψk(1) + (ψk(n) − ψk(n−1) ) = ψk(m) ,
n=1 n=2
P
e portanto n ϕn converge para f , quase sempre. Al´em disso
m Z
X Z m Z
X
|ϕn | dx = |ψk(1) | dx + |ψk(n) − ψk(n−1) | dx
n=1 R R n=2 R
Z m
X 1
≤ |ψk(1) | dx +
R n=2
2n−1
Z
≤ |ψk(1) | dx + 1.
R
P R
Logo, a s´erie n R
|ϕn | dx converge e demonstra que f ´e uma fun¸ca˜o integr´avel. Al´em disso,
temos Z ∞ Z Z
X
f dx = ϕn dx = lim ψk(n) dx.
R R n→∞ R
n=1
R
A sequˆencia { R
ψn dx} ´e uma sequˆencia de Cauchy porque
Z Z Z
| ψn dx − ψm dx| ≤ |ψn − ψm | dx;
R R R

portanto ´e convergente e deve convergir para o mesmo limite que sua subsequˆencia
R
{ R ψk(n) dx}, ou seja Z Z
lim ψn dx = f dx.
n→∞ R R
A demonstra¸ca˜o est´a completa. 
28 Dicesar Lass Fernandez

´
2.1.5 COROLARIO.

Seja f uma fun¸c˜ao integr´avel e g uma fun¸c˜ao tal que f = g, quase sempre. Ent˜ao,
g ´e integr´avel e
Z Z
f dx = g dx.
R R
Demonstra¸c˜
ao. Exerc´ıcio. 

EXERC´
ICIOS.
(1) Seja f ´e uma fun¸c˜
ao integr´
avel e ϕ ´e uma fun¸c˜ao em escada. Mostre que f ϕ ´e uma fun¸c˜
ao
integr´avel.
(2) Seja f ´e uma fun¸c˜
ao integr´
avel e ϕ ´e uma fun¸c˜ao cont´ınua em um intervalo fechado e nula fora
dele. Mostre que f ϕ ´e uma fun¸c˜
ao integr´avel.
ao integr´avel f pode ser escrita como a diferen¸ca f = f1 − f2 de
(3) Demonstre que uma fun¸c˜
duas fun¸c˜
oes integr´
aveis n˜
ao negativas f1 e f2 , cada uma delas sendo limite quase sempre de uma
sequˆencia crescente de fun¸c˜
oes em escada n˜ao negativas.
(Sugest˜ao: se f = n ϕn , onde ∞
P P R P +
n=1 R |ϕn | dx < ∞, mostre que podemos tomar f1 = n ϕn e

P −
f = n ϕn .)

2.2 Propriedades B´
asicas da Integral
Vamos denotar por
L1 = L1 (R)
a classe de todas as fun¸co˜es integr´aveis definidas em R.

2.2.1 TEOREMA.

A classe das fun¸c˜oes integr´aveis tem a propriedade de linearidade:

f, g ∈ L1 e a, b ∈ R =⇒ a f + b g ∈ L1 .

Al´em disso, neste caso
Z Z Z
(a f + b g) dx = a f dx + b g dx.
R R R

Demonstra¸c˜
ao. Exerc´ıcio (obrigat´orio!). 
Introduc
¸a˜o a
` Ana
´ lise 29

2.2.2 PROPOSIC ˜
¸ AO.

Se f ´e uma fun¸c˜ao integr´avel ent˜ao |f | tamb´em ´e integr´avel.

Demonstra¸c˜ ao. Como f ´e integr´avel, existe uma sequˆencia {ψn } de fun¸c˜ao em escada que
converge, quase sempre, para a fun¸ca˜o f e tal que
Z
lim |ψn − ψm | dx = 0.
n,m→∞ R

´ claro que a sequˆencia {|ψn |} converge para |f |, quase sempre, e como
E

| |ψn | − |ψm | | ≤ |ψn − ψm |,

segue que Z
lim | |ψn | − |ψm | | dx = 0.
n,m→∞ R
Portanto, |f | ´e uma fun¸ca˜o integr´avel e
Z Z
|f | dx = lim |ψn | dx ≥ 0.
R n→∞ R

o que demonstra a assertiva. 

2.2.3 TEOREMA.

Se f, g ∈ L1 ent˜ao f ∨ g ∈ L1 e f ∧ g ∈ L1 . Em particular, se f ∈ L1 ent˜ao f + e
f − tamb´em pertencem a L1 .

Demonstra¸c˜
ao. A assertiva segue das identidades
1
f ∨ g = [(f + g) + |f − g|],
2
1
f ∧ g = [(f + g) − |f − g|],
2
+
f =f ∨0 e f − = −f ∧ 0.
´
2.2.4 COROLARIO.

Se f ∈ L1 ent˜ao Z Z
| f dx| ≤ |f | dx.
R R
Al´em disso, se g tamb´em ´e uma fun¸c˜ao integr´avel e g ≤ f , ent˜ao
Z Z
g dx ≤ f dx.
R R
30 Dicesar Lass Fernandez

Demonstra¸c˜
ao. Exerc´ıcio. 

EXERC´ ICIOS.
ao definida em R e h ∈ R. A transladada τh f ´e definida por τh f (x) := f (x + h),
(1) Seja f uma fun¸c˜
para todo x ∈ R. Se f ∈ L1 , demonstre que τh f ∈ L1 , e
Z Z
f dx = τh f dx,
R R
Z
lim |f − τh f | dx = 0.
h→0 R

ao f , definida em R e k ∈ R \ {0}, definimos δk f (x) := f (kx). Se f ∈ L1 ,
(2) Para toda fun¸c˜
demonstre que δk f ∈ L1 e Z Z
f dx = |k| δk f dx,
R R
Z
lim |f − δk f | dx = 0.
k→1 R

2.3 Integrais em Intervalos
2.3.1 Seja f uma fun¸c˜ao integr´avel e I um intervalo em R, n˜ao necess´ariamente limitado.
Ent˜ao f χI ´e tamb´em uma fun¸ca˜o integr´avel. De fato, como f ´e integr´avel, pelo Teorema
2.1.4, existe uma sequˆencia {ψn } de fun¸co˜es em escada tais que
Z
f = lim ψn e lim |ψm − ψn | dx = 0.
n→∞ m,n→∞ R

A sequˆencia {ϕn }, de fun¸c˜oes definidas por

ϕn := ψn χI ,

´e constitu´ıda por fun¸co˜es em escada que verificam
Z
lim ϕn = f χI e lim |ϕm − ϕn | dx = 0.
n→∞ m,n→∞ R

Portanto, f χI ´e uma fun¸ca˜o integr´avel e sua integral ´e dada por
Z Z
χ
f I dx = lim ϕn dx.
R n→∞ R

´ natural, ent˜ao, definir
E Z Z
f dx := f χI dx = 0.
I R
Introduc
¸a˜o a
` Ana
´ lise 31

2.3.2 Seja, agora, uma fun¸ca˜o f definida em um intervalo I ⊂ R. Podemos ent˜ao considerar
uma fun¸ca˜o fe, definida em R, por

f (x) se x ∈ I,
f (x) :=
e
0 se x ∈ R \ I.

A fun¸c˜ao fe estende a fun¸c˜ao f do intervalo I para toda a reta R. E ´ claro que se ψ ´e uma
fun¸ca˜o em escada, definida no intervalo I, a fun¸c˜ao fe ´e uma fun¸ca˜o em escada, definida em
R.
Diremos, ent˜ao, que uma fun¸c˜ao f , definida em um intervalo I, ´e integr´avel em I se
sua extens˜ao fe for uma uma fun¸ca˜o integr´avel. Neste caso definimos:
Z Z
f dx := fedx.
I R

2.3.3 Em particular, se f ´e uma fun¸c˜ao regrada, em um intervalo fechado, existe uma
sequˆencia de fun¸co˜es em escada que converge uniformemente para f , nesse intervalo, e
portanto quase sempre. Deste modo, f ser´a integr´avel em I e fe em R.

2.3.4 EXEMPLO. A fun¸c˜ao f : [0, 1] −→ R definida por
2x
f (x) =
(1 + x2 )2

´e cont´ınua e, portanto, regrada em [0, 1]. Logo ser´a integr´avel no intervalo [0, 1] e
Z 1 Z 1 Z 1
d −1
Z
2x 1
f dx = f dx = 2 2
dx = 2
dx = .
[0,1] 0 0 (1 + x ) 0 dx 1 + x 2

2.3.5 Observe que, com as nota¸co˜es introduzidas, temos
Z Z Z Z ∞
f dx = χ
f ]−∞,∞[ dx = f dx = f dx,
R R ]−∞,∞[ −∞

e Z Z Z t
f χ]−∞,t[ dx = f dx = f dx.
R ]−∞,t[ −∞
32 Dicesar Lass Fernandez
Cap´ıtulo 3
ˆ
TEOREMAS DE CONVERGENCIA

3.1 O Teorema de Beppo-Levi
3.1.1 LEMA.
P
Suponhamos que f seja uma fun¸c˜ao integr´avel e ε > 0. Existe uma s´erie n ϕn de
fun¸co˜es em escada que converge para f , quase sempre, e tal que
∞ Z
X
|ϕn | dx ≤ ε.
n=2 R

Neste caso Z
|f − ϕ1 | dx ≤ ε
R
e ∞ Z Z
X
|ϕ| dx ≤ |f | dx + 2 ε.
n=1 R R

P
Demonstra¸c˜ ao. Seja n ψn uma s´erie de fun¸c˜oes em escada que converge para f , quase
sempre, e satisfaz
∞ Z
X
|ψk | dx < ∞.
k=1 R
P R
Como a s´erie n R
|ψn | dx converge, dado ε > 0, existe m ∈ N, tal que

X Z
|ψk | dx ≤ ε.
k=m+2 R

33
34 Dicesar Lass Fernandez

Definimos, ent˜ao,  m+1
 X
ψk (x) se n = 1,



ϕn (x) := k=1



ψm+n se n ≥ 2.

Pm Pm Pm P
Ent˜ao, como n=1 ϕn = k=1 ψk + n=2 ψm+n , n ϕn converge para f , quase sempre, e
∞ Z
X ∞
X Z
|ϕn | dx = |ψk | dx ≤ ε.
n=2 R k=m+2 R

P
Al´em disso, n≥2 |ϕn | converge, quase sempre, para uma fun¸ca˜o integr´avel h tal que
Z ∞ Z
X
h dx = |ϕn | dx ≤ ε.
R n=2 R

Como ∞ ∞
X X
|f − ϕ1 | = | ϕn − ϕ1 | = | ϕn | ≤ h, q.s.,
n=1 n=2

e |f | ≤ h + |ϕ1 |, quase sempre, obtemos
Z Z
|f − ϕ1 | dx ≤ h dx ≤ ε,
R R

e ent˜ao
∞ Z
X Z ∞ Z
X
|ϕn | dx = |ϕ1 | dx + |ϕn | dx
n=1 R R n=2 R
Z ∞
X Z
= |f − (f − ϕ1 )| dx + |ψk | dx
R k=m+2 R
Z Z
≤ |f | dx + |f − ϕ1 | dx + ε
ZR R

≤ |f | dx + 2 ε,
R

o que implica a assertiva do Lema. 

Podemos agora enunciar e demonstrar um resultado fundamental, devido a Beppo-Levi.
Introduc
¸a˜o a
` Ana
´ lise 35

3.1.2 TEOREMA DE BEPPO-LEVI
P
Se n fn ´e uma s´erie de fun¸c˜oes integr´aveis tais que
∞ Z
X
|fn | dx < ∞,
n=1 R

P P∞
ent˜ao n fn converge, quase sempre. Al´em disso, se f ´e uma fun¸c˜ao igual a n=1 fn ,
quase sempre, isto ´e
X ∞
f= fn , q.s.
n=1

ent˜ao, f ´e integr´avel e
Z ∞ Z
X
f dx = fn dx.
R n=1 R

Demonstra¸c˜ ao. Para cada fn , de acordo com o Lema anterior, podemos escolher uma s´erie
P
k ϕnk de fun¸
co˜es em escada tal que

X
fn = ϕnk , q.s.,
k=1

∞ Z Z
X 1
|ϕnk | dx ≤ |fn | dx + .
k=1 R R 2n
Como
∞ X
∞ Z ∞ Z ∞
X X X 1
|ϕnk | dx ≤ |fn | dx +
n=1 k=1 R n=1 R n=1
2n
X∞ Z
≤ |fn | dx + 1,
n=1 R

P P R
a s´erie dupla n k R |ϕnk | dx ´e portanto convergente. Seja {ϕm } uma reenumera¸c˜ao da
P R
sequˆencia dupla {ϕnk }. Ent˜ao, m R |ϕm | dx converge e
∞ Z
X ∞ X
X ∞ Z
|ϕm | dx = |ϕnk | dx.
m=1 R n=1 k=1 R

P
Consequentemente, a s´erie m ϕm converge absolutamente, quase sempre. Seja E o conjunto
P P
de pontos onde m |ϕm (x)| n˜ao converge, e seja En o conjunto de pontos x onde k ϕnk (x)
n˜ao converge para fn . Ent˜ao
F := E ∪ (∪n En )
36 Dicesar Lass Fernandez

´e um conjunto nulo e, para x 6∈ F ,

X ∞ X
X ∞ ∞
X
fn (x) = ϕnk (x) = ϕm (x).
n=1 n=1 k=1 m=1
P
Logo, fn converge, quase sempre.
n
P R
Por outro lado, como m R |ϕm | dx converge, vamos ter
∞ Z
X ∞ X
X ∞ Z ∞ Z
X
ϕm dx = ϕnk dx = fn dx.
m=1 R n=1 k=1 R n=1 R

Definindo, agora,  P∞
n=1 fn (x) se x 6∈ F,
f (x) :=
0 se x ∈ F,
P
vem que n fn converge, quase sempre, para f . Finalmente, pela defini¸ca˜o da integral,
obtemos Z ∞ Z
X ∞ Z
X
f dx = ϕm dx = fn dx,
R m=1 R n=1 R

o que completa a demonstra¸ca˜o. 

´
3.1.3 COROLARIO.

Se f ´e uma fun¸c˜ao integr´avel e
Z
|f | dx = 0,
R

ent˜ao f ´e nula, quase sempre.
P
Demonstra¸c˜ ao. Seja fn := f , para todo n ∈ N. A s´erie n fn ´e uma s´erie de fun¸c˜oes
integr´aveis que satisfaz
X∞ Z
|fn | dx = 0 < ∞.
n=1 R
P
Logo, n fn (x) converge, para quase todo x. Mas, como fn (x) = f (x), para todo x, segue
P P
que n fn (x) = n f (x) diverge quando f (x) 6= 0, o que implica ser f nula, quase sempre.

3.1.4 EXEMPLO. A fun¸c˜ao x ∈ R 7→ e−|x| ∈ R ´e integr´avel. De fato
Z ∞ Z
X k+1 ∞
X
−|x| −x
e dx = 2 e dx ≤ 2 e−k < ∞.
R k=0 k k=0
Introduc
¸a˜o a
` Ana
´ lise 37

Fazendo, para k = 0, 1, 2, ...,
fk (x) = e−|x| χ[k,k+1] (x)

segue o resultado. (Por que?)

EXERC´ ICIOS.
(1) Demonstre que a func˜
ao, definida em R, por

 √1 se 0 < x ≤ 1,
f (x) := x
 0 se x≥0 e x > 1,

ao: considere fn = f χ[(n+1)−1 ,n−1 ] e
P
´e integr´avel. (Sugest˜ n fn .)
(2) Demonstre que a fun¸c˜ ao g, definida em R, por
( 1
sen x se x ≥ π,
g(x) := x2
0 se x < π,

ao: considere gn = g χ[nπ,(n+1)π] e
P
´e integr´avel. (Sugest˜ n gn .)

3.2 Teoremas de Convergˆ
encia de Lebesgue
ˆ
3.2.1 TEOREMA DA CONVERGENCIA ´
MONOTONA

Seja {fn } uma sequˆencia crescente de fun¸c˜oes integr´aveis fn ≤ fn+1 , e suponhamos
que exista uma constante positiva M tal que, para todo n ∈ N, tenhamos
Z
fn dx ≤ M.
R

Ent˜ao, a sequˆencia {fn } converge, quase sempre, e se f ´e qualquer fun¸c˜ao tal que

f = lim fn , q.s.
n→∞

a fun¸c˜ao f ser´a integr´avel e
Z Z
f dx = lim fn dx.
R n→∞ R

ao. Para cada n ∈ N, fa¸camos gn := fn+1 − fn . Vamos ter
Demonstra¸c˜
m−1
X
gn = f m − f 1
n=1
38 Dicesar Lass Fernandez

e portanto

X
gn (x) = lim fm (x) − f1 (x),
m→∞
n=1
P
sempre que os limites existam. Os termos da s´erie n gn s˜ao fun¸c˜oes integr´aveis n˜ao-
negativas. Al´em disso,
m−1
XZ m−1
XZ Z Z Z
|gn | dx = gn dx = fm dx − f1 dx ≤ M + | f1 dx|.
n=1 R n=1 R R R R

P R P
Consequentemente, n R |gn | dx converge e, pelo Teorema de Beppo-Levi, n gn converge,
quase sempre. Portanto
X∞
lim fm (x) = gn (x) + f1 (x)
n→∞
n=1

existe, para quase todo x. Definimos, ent˜ao, uma fun¸ca˜o f por
(
lim fm (x) se o limite existe,
f (x) := m→∞
0 sen˜ao.
P
Deste modo, n gn = f − f1 , q.s. Novamente pelo Teorema de Beppo-Levi, as fun¸c˜oes f − f1
e, portanto, f s˜ao integr´aveis. Al´em disso, temos
Z Z Z ∞ Z
X Z Z
f dx = (f − f1 ) dx + f1 dx = gn dx + f1 dx = lim fn dx.
R R R R R n→∞ R
n=1

como quer´ıamos demonstar. 

Uma consequˆencia imediata do Teorema da Convergˆencia Mon´otona ´e a extens˜ao da
Propriedade de Continuidade das fun¸c˜oes em escadas para as fun¸c˜oes integr´aveis.

´
3.2.2 COROLARIO (Propriedade de Continuidade)

Se fn ´e uma sequˆencia decrescente de fun¸co˜es integr´aveis n˜ao negativas,
0 ≤ fn+1 ≤ fn , tal que
lim fn (x) = 0,
n→∞

para quase todo x, ent˜ao Z
lim fn dx = 0.
n→∞ R
Introduc
¸a˜o a
` Ana
´ lise 39

Demonstra¸c˜
ao. Exerc´ıcio. 

APLICAC ˜
¸ AO. Temos

X 1 π
= .
n=0
(4n + 1)(4n + 3) 4
De fato, se 0 < t < 1, temos

X 1 1
t4n = = ;
n=0
1 − t4 (1 − t2 )(1 + t2 )

donde ∞ ∞
X X 1
[t4n − t4n+2 ] = (1 − t2 ) t4n = .
n=0 n=0
1 + t2
2 4n
Agora, como 0 < t < 1, temos (1 − t ) t > 0 e, portanto, a sequˆencia
n
X
sn (t) = [t4k − t4k+2 ]
k=0

´e crescente. Logo,
Z 1 Z 1 X∞  ∞ Z 1 
π dt 4n 4n+2
X
4n 4n+2
= 2
= [t − t ] dt = [t − t ] dt
2 0 1+t 0 n=0 n=0 0
∞  4n+1 1 X ∞ 
t4n+3

X t 1 1
= − = −
n=0
4n + 1 4n + 3 0 n=0
4n + 1 4n + 3

X 1
= 2 .
n=0
(4n + 1)(4n + 3)

EXERC´ ICIOS.
(1) Seja {fn } uma sequˆencia decrescente de fun¸c˜oes n˜ao-negativas integr´aveis, fn ≥ fn+1 ≥ 0.
(i) Mostre que existe o limn→∞ fn e se f = limn→∞ fn , q.s., ent˜ao
Z Z
lim fn dx = f dx.
n→∞ R R
R
(ii) Mostre que se limn→∞ R fn dx = 0 ent˜ao limn→∞ fn = 0, q.s.
(2) Mostre que a fun¸c˜ ao g(x) = x1 χ[1,∞[ n˜ao ´e integr´avel.
(3) A sequˆencia de termos fn = χ[0,n] ´e mon´otona crescente e converge pontualmente para
f = χ[0,∞[ . Embora as fun¸c˜ oes sejam uniformemente limitadas e cada uma seja integr´avel a
fun¸c˜ao limite f n˜
ao ´e integr´
avel. O Teorema da Convergencia Mon´otona pode ser aplicado?
(4) Consideremos a sequˆencia de termos fn = n1 χ[0,n] , definidas em R. Mostre que fn converge
uniformemente para f ≡ 0, mas Z Z
lim fn dx 6= f dx.
n→∞ R R
40 Dicesar Lass Fernandez

Por que n˜
ao ´e uma contradi¸c˜
ao em rela¸c˜ao ao Teorema da Convergˆencia Mon´otona?

Para demonstrarmos o segundo teorema de convergˆencia de Lebesgue, conhecido como
Teorema da Convergˆencia Dominada, precisaremos do seguinte Lema de Fatou, que tem
interesse independente.

3.2.3 LEMA DE FATOU

Seja {fn } uma sequˆencia de fun¸co˜es integr´aveis n˜ao-negativas, quase sempre. Se
existe o Z
lim inf fn dx
n→∞ R
ent˜ao existe
lim inf fn ,
n→∞
quase sempre. Al´em disso, se f = lim inf n→∞ fn , q.s., a fun¸c˜ao f ser´a integr´avel e
Z Z
f dx ≤ lim inf fn dx
R n→∞ R

Demonstra¸c˜ ao. Podemos supor que fn (x) ≥ 0, para todo x, caso contr´ario podemos mod-
ificar fn , em um conjunto de medida zero, sem alterar as conclus˜oes.
Agora, seja gn a fun¸ca˜o definida por

gn (x) = inf{ fm (x) ; m ≥ n }.

O ´ınfimo existe, uma vez que fm (x) ≥ 0, para todo n.
Vamos mostrar que gn ´e uma fun¸ca˜o integr´avel. Para cada n ∈ N, a sequˆencia de
fun¸co˜es hnk definida por
hnk := fn ∧ ... ∧ fn+k−1
converge pontualmente para gn , quando n → ∞, (verifique isso) e satisfazem
Z
hnk dx ≥ 0.
R

Como hnk ≥ hn(k+1) ≥ 0, o Teorema da Convergˆencia Mon´otona garante que gn ´e integr´avel.
Al´em disso, temos
Z Z
0≤ hnk dx ≤ fm dx, n ≤ m < n + k,
R R

de modo que Z Z Z
0≤ gn dx ≤ lim hnk dx ≤ fm dx, m ≥ n.
R k→∞ R R
Introduc
¸a˜o a
` Ana
´ lise 41

Logo, novamente pelo Teorema da Convergˆencia Mon´otona,

lim gn (x) = lim inf fn (x),
n→∞ n→∞

existe, para quase todo x, e se

f = lim inf fn = lim gn , q.s.,
n→∞ n→∞

ent˜ao f ´e integr´avel e
Z Z Z
f dx = lim gn dx ≤ lim inf fm dx,
R n→∞ R m→∞ R

o que completa a demonstra¸ca˜o. .

EXERC´
ICIO. Considerando um intervalo limitado I e uma sequˆencia de fun¸c˜oes {fk }, definidas
por fk = χI , se k ´e par, fk = χI c , se k ´e ´ımpar, mostre que a desigualdade no Lema de Fatou
pode ser estrita.

O segundo teorema de convergˆencia devido a H. Lebesgue, conhecido como Teorema
da Convergˆencia Dominada, ´e um dos instrumentos mais eficazes da Teoria da Integra¸ca˜o.

ˆ
3.2.4 TEOREMA DA CONVERGENCIA DOMINADA

Seja {fn } uma sequˆencia de fun¸co˜es integr´aveis a qual converge, quase sempre.
Suponhamos que exista uma fun¸c˜ao g, integr´avel e n˜ao negativa, tal que

|fn | ≤ g, q.s.

para todo n ∈ N. Se f ´e uma fun¸c˜ao igual a limn→∞ fn , q.s., ent˜ao f ´e integr´avel e
Z Z
f dx = lim fn dx.
R n→∞ R
ao. A sequˆencia {g − fn }n ´e uma sequˆencia de fun¸co˜es integr´aveis satisfazendo
Demonstra¸c˜

0 ≤ g − fn ≤ 2 g, q.s.

Portanto Z Z
(g − fn ) dx ≤ 2 g dx,
R R
de modo que existe o limite inferior
Z
lim inf (g − fn ) dx.
n→∞ R
42 Dicesar Lass Fernandez

Por outro lado,

lim (g(x) − fn (x)) = g(x) − f (x) = lim inf (g(x) − fn (x)),
n→∞ n→∞

para quase todo x. Logo, o Lema de Fatou garante que g − f ´e integr´avel e
Z Z Z
g dx − f dx = (g − f ) dx
R R R Z
≤ lim inf (g − fn ) dx
n→∞
ZR Z
= lim inf ( g dx − fn dx)
n→∞ R
Z ZR
= g dx − lim sup fn dx,
R n→∞ R

donde Z Z
lim sup fn dx ≤ f dx.
n→∞ R R
Analogamente, podemos aplicar o Lema de Fatou a sequˆencia {g + fn }, a qual converge,
quase sempre, para f + g. Portanto
Z Z Z
g dx + f dx = (g + f ) dx
R R R Z Z
≤ lim inf ( g dx + fn dx)
n→∞ R
Z ZR
= g dx + lim inf fn dx,
R n→∞ R

donde Z Z
f dx ≤ lim inf fn dx.
R n→∞ R
Combinando os resultados, obtemos
Z Z Z Z
lim inf fn dx ≤ lim sup fn dx ≤ f dx ≤ lim inf fn dx;
n→∞ R n→∞ R R n→∞ R

Portanto Z Z Z Z
f dx = lim inf fn dx = lim sup fn dx = lim fn dx.
R n→∞ R n→∞ R n→∞ R
A demonstra¸ca˜o est´a completa. 

3.2.5 OBSERVAC ˜
¸ AO. Podem existir sequˆencias de fun¸c˜oes que convergem a zero q.s.
e tais que a sequˆencia das integrais tamb´em converge para zero mas a sequˆencia n˜ao ´e
dominada por nenhuma fun¸c˜ao integr´avel. De fato, consideremos a sequˆencia de fun¸c˜oes
2k χ
fk (x) = −k+1 ,1−2−k [ (x).
k ]1−2
Introduc
¸a˜o a
` Ana
´ lise 43

Ent˜ao, para todo x, temos limk→∞ fk (x) = 0 e tamb´em
2k −k+1
Z
1
fk (x) dx = [2 − 2−k ] =
R k k
converge para 0. Agora, se existisse uma fun¸ca˜o g que majorasse todas as fun¸co˜es fk teriamos:
∞ ∞ Z
X X 1
fk ≤ g e ≤ g dx,
k=1 k=1
k R

o que n˜ao ´e o caso.

EXERC´ ICIOS.
(1) Dˆe um exemplo de uma sequˆencia {fn } de fun¸c˜oes integr´aveis a qual converge, quase sempre,
para uma fun¸c˜ ao f que n˜ao ´e integr´
R avel. Supondo que
R todas as fn se anulam fora de algum intervalo
limitado ent˜ ao f ´e integr´
avel e R f dx = limn→∞ R fn dx. Por que?
(2) Seja {fn } uma sequˆencia de fun¸c˜oes integr´aveis para a qual existe uma constante M e uma
fun¸c˜ao integr´
avel g tal que Z
| fn dx| ≤ M e fn ≤ g.
R
Mostre que lim supn→∞ fn existe, quase sempre. Al´em disso, se f = lim supn→∞ fn , q.s., ent˜ ao f ´e
integr´avel e Z Z
lim sup fn dx ≤ f dx.
n→∞ R R
P R
(3) Seja {fn } uma sequˆencia de fun¸c˜oes integr´aveis tais que n R |fn | dx converge. Mostre que a
sequˆencia {fn } converge para zero, quase sempre.
(4) Se f ´e uma
R fun¸c˜ao integr´
Ravel, mostre que
(i) limn→∞ RR (|f | ∧ n) dx = R |f | dx;
n R
(ii) limn→∞ −n f dx = R f dx;
R∞ R −n
(iii) limn→∞ n |f | dx = 0 e limn→∞ −∞ |f | dx = 0.
(5) Se f ´e uma fun¸c˜ avel, mostre a continuidade, para todo t ∈ R, da fun¸c˜ao F definida
ao integr´
por Z t
F (t) = f dx.
−∞
2 +x
(6) Mostre que as fun¸c˜ oes definidas em R por f (x) = e−|x| e fn (x) = e−nx , n ∈ N, s˜
ao
integr´aveis. Mostre tamb´em que Z
2
lim e−nx +x dx = 0.
n→∞ R

(7) Se g ´e uma fun¸c˜
ao integr´
avel e limitada, mostre que existe uma constante M e uma sequˆencia
{ϕn } de fun¸c˜
oes em escada que converge para g, q.s., e satisfazem |ϕn | ≤ M , para todo n ∈ N.
(8) Seja f uma fun¸c˜
ao integr´
avel e seja g uma fun¸c˜ao para a qual existe uma sequˆencia limitada
{ϕn } de fun¸c˜
oes em escada tal que g = limn→∞ ϕn , q.s. Mostre que a fun¸c˜ao produto f g ´e
integr´avel.
ao integr´avel f tal que f 2 n˜ao ´e integr´avel.
(9) Dˆe um exemplo de uma fun¸c˜
44 Dicesar Lass Fernandez

3.3 Teoremas de Aproxima¸

ao
3.3.1 LEMA.

Para toda fun¸c˜ao em escada ϕ, definida em um intervalo [a, b], e ε > 0, existe uma
fun¸c˜ao cont´ınua g, nesse intervalo, tal que
Z b
|g − ϕ| dx < ε.
a
Demonstra¸c˜
ao. Seja I um subintervalo fechado de [a, b] e fa¸camos

d(x, I) = inf{ |x − y| ; y ∈ I }.

Ent˜ao, para todo x0 ,x00 ∈ [a, b], temos

|d(x0 , I) − d(x00 , I)| ≤ |x0 − x00 |.

Portanto, para cada n ∈ N, a fun¸c˜ao
1
gn (x) =
1 + n d(x, I)
´e cont´ınua em [a, b], gn (x) = 1, se x ∈ I, e gn (x) → 0, se x 6∈ I. Logo, gn −→ χI , quando
n → ∞, pontual e monotonicamente. Logo,
Z b
lim |gn − χI | dx = 0.
n→∞ a

Agora, se ϕ =
PN
k=1 ck
χIk ´e uma fun¸c˜ao em escada, onde ck 6= 0, n = 1, ..., N , dado ε > 0,
definindo
ε
εk = ;
N |ck |
existe uma fun¸c˜ao cont´ınua g (k) em [a, b] tal que
Z b
|g (k) − χIk | dx < εk , k = 1, ..., N.
a

Por linearidade, segue ent˜ao a assertiva. 

3.3.2 TEOREMA.

Para toda fun¸c˜ao f , integr´avel em um intervalo [a, b], e ε > 0, existe uma fun¸c˜ao
cont´ınua g, em [a, b], tal que
Z b
|f − g| dx < ε.
a
Introduc
¸a˜o a
` Ana
´ lise 45

ao. Como f ∈ L1 ([a, b]), para todo ε > 0, existe uma fun¸c˜ao em escada ϕ tal
Demonstra¸c˜
que Z b
ε
|f − ϕ| dx < .
a 2
Agora, pelo Lema anterior, existe g ∈ C([a, b]) tal que
Z b
ε
|g − ϕ| dx < ;
a 2
portanto Z b Z b Z b
ε ε
|f − g| dx ≤ |f − ϕ| dx + |ϕ − g| dx < + = ε.
a a a 2 2


3.4 O Teorema da Mudan¸
ca de Vari´
avel
3.4.1 TEOREMA DE MUDANC ´
¸ A DE VARIAVEIS.

Consideremos intervalos abertos ]a, b[ e ]c, d[, uma aplica¸c˜ao biun´ıvoca F , continua-
mente deriv´avel, de ]a, b[ sobre ]c, d[. Suponhamos que F 0 6= 0 em todos os pontos
de ]a, b[. Ent˜ao, se f ´e uma fun¸c˜ao integr´avel em ]c, d[, a fun¸c˜ao (f ◦F ) |F 0 | definida
em ]a, b[ ´e integr´avel e

Z d Z b
(1) f (y) dy = f (F (x)) |F 0 (x)| dx.
c a

Demonstra¸c˜ ´ suficiente considerar o caso em que
ao. E

0 < k ≤ |F 0 | ≤ ` < ∞,

em ]a, b[. Ent˜ao F 0 tem sinal constante em ]a, b[. Suponhamos para fixar as id´eias que F 0 > 0
e, neste caso, F ´e estritamente crescente.
Se f ´e a fun¸ca˜o caracteristica de um intervalo fechado [γ, δ] ⊂ ]c, d[, f = χ[γ,δ] , ent˜ao
f ◦ F ´e a fun¸c˜ao caracteristica do intervalo [α, β], onde γ = F (α) e δ = F (β). Portanto, a
fun¸ca˜o dada por x −→ f (F (x)) F 0 (x) ´e integr´avel em ]a, b[ e temos
Z Z β
0
f (F (x)) |F (x)| dx = F 0 (x) dx = F (β) − F (α)
]a,b[ α
Z d
= δ−γ = f (y) dy.
c
46 Dicesar Lass Fernandez

Raciocinamos an´alogamente no caso de um intervalo fechado ou semi-aberto: define-se
F (a) := γ e/ou F (b) = δ. Por linearidade, o Teorema ´e verdadeiro quando f ´e uma
fun¸ca˜o em escada.

Mostremos, agora, que se N ⊂ ]c, d[ tem medida nula, M = F −1 (N ) ⊂ ]a, b[ tem
tamb´em medida nula. Se ε > 0, existe uma cobertura de N por uma sequˆencia J1 , J2 , ...
de intervalos contidos em ]c, d[ e tais que `(J1 ) + `(J2 ) + ... ≤ ε. Ent˜ao F −1 (J1 ) := I1 ,
F −1 (J2 ) := I2 , ... s˜ao intervalos que formam uma cobertura para E. Mas, se por exemplo
I1 = [α1 , β1 ], temos J1 = [F (α1 ), F (β1 )] e portanto `(J1 ) = F (β1 ) − F (α1 ) ≥ k(β1 − α1 ); ou
seja `(I1 ) ≤ k1 `(J1 ). Desta forma
1
`(I1 ) + `(I2 ) + ... ≤ ε.
k
Como ε ´e arbitr´ario, segue que M tem medida nula.

Seja ent˜ao f integr´avel em ]a, b[ e seja {ϕk } uma sequˆencia de fun¸co˜es em escada,
convergindo para f , em quase todo ponto de ]c, d[. As fun¸c˜oes (ϕk ◦ F ).F 0 s˜ao integr´aveis
em ]a, b[, e formam uma sequˆencia de Cauchy porque
Z b Z b
0 0
|ϕi (F (x)) F (x) − ϕj (F (x)) F (x)| dx = |(ϕi − ϕj )(F (x))| F 0 (x) dx
a a
Z d
= |ϕi (x) − ϕj (x)| dx −→ 0.
c

Mas as fun¸co˜es (ϕk ◦ F ).F convergem quase sempre para (f ◦ F ).F 0 . Ent˜ao (f ◦ F ).F 0 ´e
0

integr´avel e
Z b Z b
0
f (F (x)) F (x) dx = lim ϕk (F (x)) F 0 (x) dx
a k→∞ a
Z d
= lim ϕk (y) dy
k→∞ c
Z d
= f (y) dy,
c
o que demonstra o teorema. 

APLICAC ˜
¸ AO. Temos Z ∞
dt π
2
= .
1 1+t 4
De fato, lembremos inicialmente que
Z 1
ds π
2
= .
0 1+s 4
Introduc
¸a˜o a
` Ana
´ lise 47

Agora, para cada n ∈ N, consideremos a aplica¸c˜ao Fn :]1/n, 1[ −→]1, n[, definida por Fn (s) =
1/s. Ent˜ao, Fn0 (s) = −1/s2 , para 1/n < s < 1. Fazendo
1
f (s) = ,
1 + s2
pelo Teorema da Mudan¸ca de Vari´aveis, vamos ter
Z Z
f (s) ds = f (F (s)) |F 0 (s)| ds,
]1/n,1[ ]1,n[

ou seja Z 1 Z n Z n
ds 1 1 ds
= ds = .
1/n 1 + s2 1 1 + (1/s) s2
2
1 1 + s2
Ent˜ao, pelo Teorema da Convergˆencia Mon´otona, obtemos
Z 1 Z ∞
π ds ds
= 2
= .
4 0 1+s 1 1 + s2
Como consequˆencia desta valia¸c˜ao, obtemos tamb´em
Z ∞
ds π
= ,
0 1 + s2 2
e Z ∞
ds
= π.
−∞ 1 + s2
(Demonstre estas duas u
´ltimas afirmativas!)
48 Dicesar Lass Fernandez
Cap´ıtulo 4

INTEGRAIS DE FUNC ˜
¸ OES NO R2

4.1 Fun¸c˜
oes Definidas por Integrais
Se ϕ : X ×Y −→ C, definimos as fun¸co˜es ϕx : Y −→ C, para cada x ∈ X, e ϕy : X −→ C,
para cada y ∈ Y , por
ϕx (y) = ϕy (x) = ϕ(x, y).

4.1.1 TEOREMA DE CONTINUIDADE

Sejam I e J subintervalos de R, ϕ : I × J −→ C uma fun¸c˜ao tal que

H1) ϕx ´e integr´avel, para todo x ∈ I;
H2) ϕy ´e cont´ınua num ponto dado x0 ∈ I, para q.t. y ∈ J;
H3) existe g ∈ L1 (J) tal que |ϕ(x, y)| ≤ |g(y)|, para todo x ∈ I e q.t. y ∈ J.

Ent˜ao, a aplica¸c˜ao

Z
(1) x ∈ I −→ Φ(x) = ϕ(x, y) dy
J

´e cont´ınua no ponto x0 .

ao. Seja xn → x0 . Vamos demonstrar que Φ(xn ) → Φ(x0 ). Da hip´otese H2)
Demonstra¸c˜
temos que
ϕ(xn , y) −→ ϕ(x0 , y) (q.t. y).

Usando H3) e o Teorema da Convergˆencia Dominada segue que
Z Z
Φ(xn ) = ϕ(xn , y) dy −→ ϕ(x0 , y) dy = Φ(x0 ).
J J

49
50 Dicesar Lass Fernandez

EXEMPLO 1: A Transformada de Fourier. Seja f ∈ L1 (R) e ϕ(x, y) = f (y) e−2πiy·x .
Ent˜ao |ϕ(x, y)| ≤ |f (y)| e ϕ : R × R −→ C est´a nas condi¸co˜es do Teorema. Logo
Z
f (x) =
b f (y) e−2πiy·x dy
R

est´a bem definida e ´e cont´ınua em todo x ∈ R.

EXEMPLO 2: A Transformada de Laplace. Se f ∈ L1 ([0, ∞[) ent˜ao a fun¸ca˜o dada
por Z ∞
x ∈ [0, ∞[ −→ Φ(x) = f (t) e−tx dt
0
est´a bem definida e ´e cont´ınua.

CONTRA-EXEMPLO. A hip´otese H3) no Teorema 4.1.1 ´e essˆencial. De fato, conside-
remos a fun¸c˜ao ϕ(x, y) = x exy , x, y ∈ R. Vamos ter
Z ∞ Z ∞
xy
Φ(x) = x e dy = ew dw, se x 6= 0,
−∞ −∞

Φ(0) = 0 e limx→0 ϕ(x, y) = 0. Mas
Z ∞
lim Φ(x) = lim x ext dt 6= 0.
x→0 x→0 −∞

O ponto aqui ´e que a fun¸c˜ao ϕ(x, y) = x exy n˜ao pode ser dominada por
fun¸co˜es integr´aveis em y, para x 6= 0.

EXEMPLO 3. Sejam X = ]0, ∞[, n ∈ N e c > 0. A fun¸c˜ao dada por
Z ∞
x ∈ ]0, ∞[ −→ ϕ(x) = tn e−tx dt,
c

est´a bem definida e ´e cont´ınua.

De fato, temos
|ϕ(x, t)| = |tn e−xt | ≤ g(t) = tn e−ct
para todo x ≥ c.

EXEMPLO 4: Produto de Convolu¸c˜ ao. Seja f ∈ L1 (R) e g ∈ C(R) uma fun¸c˜ao lim-
itada. Ent˜ao ϕ(x, y) = f (y) g(x − y) est´a nas condi¸c˜oes do Teorema. Logo, a fun¸c˜ao f ∗ g
definida, em R, por Z
f ∗ g(x) = f (y) g(x − y) dy
R
Introduc
¸a˜o a
` Ana
´ lise 51

´e uma fun¸ca˜o cont´ınua e limitada. Al´em disso, temos

|| f ∗ g ||∞ ≤ ||f ||1 ||g||∞ .

4.1.2 TEOREMA DE DIFERENCIABILIDADE

Seja J um subintervalo de R, I = ]x0 − a, x0 + a[ ⊂ R e ϕ : I × J → C uma
fun¸c˜ao tal que

H1) para cada x ∈ I temos ϕx ∈ L1 (J);
∂ϕ
H2) para quase todo y ∈ J existe ;
∂x
H3) existe g ∈ L1 (J) tal que para todo h ∈ ] − a, a[ temos
1
| [ϕ(x0 + h, y) − ϕ(x0 , y)]| ≤ g(y), q.t. y.
h
Ent˜ao
R
T1) a fun¸c˜ao Φ(x) = J
ϕ(x, y) dy ´e deriv´avel no ponto x0 ;
∂ϕ
T2) a fun¸c˜ao y ∈ J −→ (x, y) ´e integr´avel;
Z Z∂x
d ∂ϕ
T3) ϕ(x, y) dy = (x, y) dy, no ponto x = x0 .
dx J J ∂x

ao. Seja (hn ) uma sequˆencia em ] − a, a[ tal que hn → 0. Ent˜ao
Demonstra¸c˜
Z
1 1
[Φ(x0 + hn , y) − Φ(x0 , y)] = [ϕ(x0 + hn , y) − ϕ(x0 , y)] dy
hn J hn

Pela hip´otese (a) a integral do segundo membro existe e pela hip´otese (2) o integrando tende
para ∂ϕ
∂x
(x0 , y), q.t. y; pela hip´otese (3) segue, do Teorema da Convergˆencia Dominada de
Lebesgue, que
Z Z
1 ∂ϕ
lim [ϕ(x0 + hn , y) − ϕ(x0 , y)] dy = (x0 , y) dy.
n→∞ J hn J ∂x

Como quer´ıamos demonstrar. 

4.1.3 TEOREMA.

Seja J um subintervalo de R, ]a, b[ ⊂ R e ϕ :]a, b[×J −→ R dada de modo que

H1) para cada x ∈ ]a, b[ temos ϕx ∈ L1 (J);
52 Dicesar Lass Fernandez

∂ϕ
H2) para quase todo y ∈ J, existe , para todo x ∈ ]a, b[;
∂x
H3) para todo x0 ∈ ]a, b[ existe uma vizinhan¸ca ]x0 − δ, x0 + δ[ ⊂ ]a, b[ de x0 e
uma fun¸c˜ao gδ ∈ L1 (J) tal que para todo x ∈ ]x0 − δ, x0 + δ[ temos
∂ϕ
|
(x, y)| ≤ gδ (y), q.s.
∂x
Ent˜ao Z Z
d ∂ϕ
ϕ(x, y) dy = (x, y) dy,
dx J J ∂x
para todo x ∈ ]a, b[.

De fato, pelo Teorema da M´edia temos
∂ϕ
ϕ(x0 + h, y) − ϕ(x0 , y) = h(x, y),
∂x
onde x est´a entre x0 e x0 + h (e depende de y) e portanto para |h| < δ temos
1 ∂ϕ
| [ϕ(x0 + h, y) − ϕ(x0 , y)]| = | (x, y)| ≤ gδ (y) q.s.
h ∂x
1
EXEMPLO 1. Seja f ∈ L (R) tal que a fun¸c˜ao y −→ yf (y) seja tamb´em integr´avel:
Z +∞
|y f (y)| dy < ∞.
−∞

Ent˜ao, para todo x ∈ R existe fb0 e temos
Z +∞ Z +∞
d −2πix y
f (y) e dy = (−2πiy) f (y) e−2πix y dy.
dx −∞ −∞

De fato, a primeira integral existe e ´e uma fun¸ca˜o cont´ınua. O integrando ´e deriv´avel em
rela¸ca˜o a` x e
|2π i t f (y) e−2π i y x | = g(y) = |2π y f (y)|
e como por hip´otese g ∈ L1 (R) segue o resultado.

EXEMPLO 2. Seja f ∈ L1 (R) e g ∈ C∗1 (R). Ent˜ao f ∗ g ∈ C∗1 (R) e (f ∗ g)0 = f ∗ g 0 .

De fato, seja ϕ(x, y) = f (y)g(x − y). Temos f ∗ g ∈ C∗1 (R). Temos ϕx ∈ L1 (R),

ϕ(x, y) = f (y)g 0 (x − y)
∂x
e

ϕ(x, y)| ≤ ||g 0 ||∞ |f (y)|.
|
∂x
EXERC´ICIO. Se f ´e cont´ınua e limitada em R e g, g 0 ∈ L1 (R) ent˜ao (f ∗ g)0 = f ∗ g 0 .
Introduc
¸a˜o a
` Ana
´ lise 53

4.2 A Fun¸c˜
ao Gama.
4.2.1 Sejam X = ]0, ∞[, E = ]0, ∞[ e consideremos a fun¸ca˜o
ϕ(x, t) = e−t tx−1 ,
que ´e cont´ınua em X × E. Dados 0 < a < A < ∞, definimos a fun¸ca˜o
 a−1
 t 0 < t ≤ 1;
g(t) =
 A−1 −t
t e 1 < t < ∞.
Vamos ter Z 1
1
ta−1 dt =
0 a
A−1 −t −2
e como t e ≤t Z ∞ Z ∞
A−1 −t dt
t e dt ≤ = 1.
1 1 t2
Ent˜ao
|ϕ(x, t)| = |e−t tx−1 | ≤ g(t),
se a ≤ x ≤ A. Portanto a fun¸c˜
ao gama definida por
Z ∞
Γ(x) = e−t tx−1 dt
0
esta bem definida e ´e cont´ınua, para todo x > 0, uma vez que a e A s˜ao arbitr´arios.

4.2.2 TEOREMA. Para todo x > 0 temos
(1) Γ(x + 1) = x Γ(x).
ao. Integrando por partes e para cada n ∈ N temos
Demonstra¸c˜
Z n
tx −t n 1 n −t x
Z
−t x−1
e t dt = e |1/n + e t dt;
1/n x x 1/n
passando ao limite quando n → ∞ obtemos (1).

´
4.2.3 COROLARIO. Para todo x > 0 e k ∈ N temos
(1) Γ(x + k) = (x + k − 1)(x + k − 2) ... x Γ(x)
4.2.4 TEOREMA. Para todo n ∈ N temos
(1) Γ(n + 1) = n!
Demonstra¸c˜
ao. Temos Γ(n + 1) = n! Γ(1) e
Z ∞
Γ(1) = e−t dt = 1.
0
54 Dicesar Lass Fernandez

4.3 Integra¸c˜
ao Iterada
Na se¸ca˜o anterior estudamos a continuidade e a derivabilidade de fun¸co˜es Φ definidas por
integrais Z
Φ(x) = f (x, y) dx.
I

Vamos agora estudar propriedades de integrabilidade de tais fun¸c˜oes.

4.3.1 DEFINIC ˜
¸ AO.

Seja f uma fun¸c˜ao definida em I × J, onde I e J s˜ao subintervalos de R. Se fy for
integr´avel em I, para quase todo y, e se existir uma fun¸c˜ao integr´avel F , em J, tal
que Z
F (y) = fy dx q.t. y,
I

diremos que a integral iterada existe e definimos
Z Z Z
f dx dy = F dy.
J I J

An´alogamente definimos a integral iterada
Z Z
f dy dx.
I J

Se, al´em das integr´ais iteradas da fun¸c˜ao f existirem, tivermos
Z Z Z Z
f dx dy = f dy dx,
J I I J

diremos que f ´e iteradamente integr´
avel (as vezes, simplesmente, integr´avel)
em I × J.

4.3.2 PROPOSIC ˜
¸ AO.

Sejam f e g fun¸co˜es definidas em um retˆangulo I × J tais que as integrais iteradas
Z Z  Z Z 
f dx dy e g dx dy
J I J I

existam. Ent˜ao, se α e β s˜ao escalares, a integral iterada de α f + β g existe e
Z Z  Z Z  Z Z 
(α f + β g) dx dy = α f dx dy + β g dx dy.
J I J I J I
Introduc
¸a˜o a
` Ana
´ lise 55

Propriedade an´aloga vale para a segunda integral.

A no¸c˜ao de fun¸ca˜o em escada pode ser introduzida tamb´em no R2 .

4.3.3 DEFINIC ˜
¸ AO.

Uma fun¸c˜ao em escada, definida em um retˆangulo I × J, ´e uma combin¸c˜ao linear
finita de subretˆangulos (limitados) de I × J.

Vamos supor sempre que os subretˆangulos que ocorrem na defini¸ca˜o de uma fun¸c˜ao em
escada s˜ao disjuntos. Al´em disso, observemos que, se I × J ´e um retˆangulo, ent˜ao

χI×J (x, y) = χI (x) χJ (y).

Assim, toda fun¸ca˜o em escada ϕ ´e da forma
n
ck χIk (x) χJk (y).
X
ϕ(x, y) =
k=1

4.3.4 PROPOSIC ˜
¸ AO.

As fun¸c˜oes em escada, definidas em um retˆangulo I ×J, s˜ao iteradamente integr´aveis.
Ent˜ao, se ϕ ´e uma fun¸c˜ao em escada, definida em um retˆangulo I × J, temos
Z b Z d  Z d Z b 
ϕ(x, y) dy dx = ϕ(x, y) dx dy.
a c c a

Demonstra¸c˜
ao. Exerc´ıcio.

Uma quest˜ao b´asica ´e determinar condi¸co˜es de modo que as duas integrais iteradas
de uma fun¸c˜ao definida em um intervalo I × J coincidam. Resultados desse tipo ser˜ao
chamados gen´ericamente de Teorema de Fubini.

4.3.5 TEOREMA.

Se f ´e uma fun¸c˜ao cont´ınua definida em um retˆangulo [a, b] × [c, d], ent˜ao
Z b Z d  Z d Z b 
f (x, y) dy dx = f (x, y) dx dy.
a c c a

Demonstra¸c˜
ao. Consideremos as fun¸c˜oes Φ e Ψ, definidas em ]c, d[, por
Z b Z y  Z y Z b 
Φ(y) := f (x, s) ds dx e Ψ(y) := f (x, s) dx ds.
a c c a
56 Dicesar Lass Fernandez

Como f ´e cont´ınua, e portanto limitada, em [a, b] × [c, d], a fun¸c˜ao F definida por
Z y
F (x, y) := f (x, s) ds
c

tamb´em o ´e. Podemos, ent˜ao, aplicar o Teorema da deriva¸c˜ao sob o sinal de integra¸ca˜o e
obter Z b Z b
0 ∂
Ψ (y) = F (x, y) dx = f (x, y) dx.
a ∂y a
An´alogamente, temos Z b
0
Ψ (y) = f (x, y) dx.
a
Como Φ e Ψ tem a mesma derivada, temos Φ = Ψ + c, para alguma constante c. Agora
como Φ(c) = Ψ(c) = 0, segue que c = 0. Portanto, Φ(y) = Ψ(y), para todo y ∈ [a, b]. Em
particular, Φ(d) = Ψ(d). 

O teorema acima pode ser generalizado, com vantagens para aplica¸co˜es.

4.3.6 TEOREMA.

Se f ´e uma fun¸c˜ao cont´ınua, definida em um retˆangulo aberto ]a, b[×]c, d[, e uma
das integrais iteradas
Z b Z d  Z d Z b 
|f (x, y)| dy dx ou |f (x, y)| dx dy
a c c a

for finita, ent˜ao ambas as integrais ser˜ao finitas e vamos ter
Z b Z d  Z d Z b 
f (x, y) dy dx = f (x, y) dx dy.
a c c a

Demonstra¸c˜ ao. Inicialmente, vamos demonstrar que se uma das integrais iteradas, da
fun¸ca˜o em m´odulo, existe (´e finita) a outra tamb´em existe (´e finita). Para isso, suponhamos
que Z Z b d
|f (x, y)| dy dx < ∞.
a c

Sob essa hip´otese, temos que Z d
F (x) := |f (x, y)| dy
c

´e finita, para quase todo x ∈ ]a, b[. Sejam [am , bm ], m ∈ N, subintervalos de ]a, b[, tais que
am → a, bm → b e
[am , bm ] ⊂ [am+1 , bm+1 ] ⊂ ]a, b[.
Introduc
¸a˜o a
` Ana
´ lise 57

An´alogamente, consideramos subintervalos [cn .dn ], n ∈ N, de ]c, d[. Ent˜ao, para cada m, n ∈
N, Z bm Z dn  Z dn Z bm 
f (x, y) dy dx = f (x, y) dx dy.
am cn cn am

Definimos ent˜ao, para cada m, n ∈ N, as fun¸c˜oes, em ]a, b[×]c, d[, por

f (x, y) se (x, y) ∈ [am , bm ] × [cn .dn ],
fm,n (x, y) :=
0 sen˜ao,
e 
f (x, y) se (x, y) ∈ ]a, b[×[cn .dn ],
fn (x, y) :=
0 sen˜ao.
Para cada n ∈ N, fixado, as integrais de |fm,n |, em ]a, b[, formam uma sequˆencia crescente
de fun¸co˜es integr´aveis em ]c, d[:
Z b Z b
|fm,n (x, y)| dx ≤ |fm+1,n (x, y)| dx,
a a

e al´em disso Z b Z b
lim |fm,n (x, y)| dx = |fn (x, y)| dx
m→∞ a a
e
Z d Z b  Z b Z d  Z b Z d 
|fm,n (x, y)| dx dy = |fm,n (x, y)| dy dx ≤ |f (x, y)| dy dx.
c a a c a c
Rb
Portanto, a sequˆencia de termos a
|fm,n (x, y)| dx converge, para cada y ∈ ]c, d[, em L1 (]a, b[)
e o limite Z b
Fn (y) := |fn (x, y)| dx
a
´e uma fun¸ca˜o integr´avel em ]c, d[. Para todo y ∈ ]c, d[, temos
Z b Z b
lim |fn (x, y)| dx = |f (x, y)| dx
n→∞ a a
e Z d Z b  Z b Z d 
|fn (x, y)| dx dy ≤ |f (x, y)| dy dx < ∞.
c a a c
Consequentemente,
Z b Z d  Z d Z b 
|f (x, y)| dy dx = |f (x, y)| dx dy.
a c c a

Agora, como
Z d Z d Z b Z b
| fm,n (x, y) dy| ≤ |f (x, y)| dy e | fm,n (x, y) dx| ≤ |f (x, y)| dx,
c c a a
58 Dicesar Lass Fernandez

para todo m, n ∈ N temos
Z b Z d  Z b Z d 
lim lim fm,n (x, y) dy dx = f (x, y) dy dx
n→∞ m→∞ a c a c

e Z d Z b  Z d Z b 
lim lim fm,n (x, y) dx dy = f (x, y) dx dy,
m→∞ n→∞ c a c a

pelo Teorema da Convergˆencia Dominada. Al´em disso, como
Z d Z b  Z d Z b 
f (x, y) dx dy = f (x, y) dx dy,
c a c a

para todo m, n ∈ N, conclu´ımos finalmente que
Z b Z d  Z d Z b 
f (x, y) dy dx = f (x, y) dx dy,
a c c a

e o teorema est´a demonstrado. 

Apesar da restri¸ca˜o da fun¸ca˜o f ser cont´ınua, o teorema acima tem diversas aplica¸c˜oes,
como veremos. No entanto, para outras aplica¸co˜es se faz necess´ario levantar a restri¸ca˜o de
continuidade.

Lembremos que definindo f (x, y) = 0, se (x, y) pertence ao complementar de I × J,
podemos supor que I = R e J = R.

4.3.7 TEOREMA.

Seja {fk } uma sequˆencia crescente (q.s.) de fun¸co˜es iteradamente integr´aveis,
definidas em um retˆangulo I × J. Suponhamos que o limite lim fk exista q.s.
k→∞
e que f seja uma fun¸c˜ao tal que

lim fk = f, q.s.
k→∞

Ent˜ao, se uma da integrais iteradas existe, f ´e iteradamente integr´avel.

Demonstra¸c˜ ao. Seja Nk ⊂ R um conjunto tal que para todo x ∈ I \ Nk a fun¸ca˜o f x : J −→
R seja integr´avel. Fazendo N := ∪k Nk vemos que N tem medida zero. Logo, se x ∈ I \ N ,
fkx % f x . O Teorema da Convˆergencia Mon´otona assegura ent˜ao que
Z Z
x
lim fk (y) dy = f (x, y) dy,
k→∞ J J
Introduc
¸a˜o a
` Ana
´ lise 59

se x ∈ I \ N . Consideremos a fun¸c˜ao Fk , definida em I, por
Z
χ
Fk (x) = I\N (x) fk (x, y) dy.
J

Como Fk ´e integr´avel e Fk ≤ Fk+1 segue, novamente pelo Teorema da Convergˆencia
Mon´otona, que Z Z
lim Fk (x) dx = lim Fk (x) dx,
k→∞ I I k→∞

ou seja
Z Z  Z  Z 
lim fk (x, y) dy dx = lim fk (x, y) dy dx
k→∞ I J JI k→∞
Z Z 
= f (x, y) dy dx.
I J

An´alogamente, Z Z  Z Z 
lim f (x, y) dx dy = f (x, y) dx dy.
k→∞ J I J I

Portanto,
Z Z  Z Z 
f (x, y) dy dx = lim f (x, y) dy dx
I J k→∞ I J
Z Z 
= lim f (x, y) dx dy
k→∞ J I
Z Z 
= f (x, y) dx dy,
J I

como quer´ıamos demonstrar. 

4.4 Exemplos e Contra-Exemplos
4.4.1 OBSERVAC ˜
¸ AO. Consideremos a fun¸c˜ao cont´ınua f definida em ]0, 1[×]0, 1[ por

x2 − y 2
f (x, y) := .
(x2 + y 2 )2

(Observe que f n˜ao est´a definida em (0, 0).) Vamos ter
1 1
x2 − y 2
Z Z
∂ y 1
dy = dy =
0 (x2 + y 2 )2 0
2
∂y x + y 2 1 + x2
60 Dicesar Lass Fernandez

e Z 1 Z 1  Z 1
1 π
f (x, y) dy dx = 2
dx = .
0 0 0 1+x 2
Mas como f (x, y) = −f (y, x) temos
Z 1 Z 1 
π
f (x, y) dx dy = −
0 0 2
Agora Z x
1
f (x, y) dy =
0 2x
o que implica
Z 1 Z ∞ Z 1 2 −1 n
1  Z 1
dx 1 X k dx 1 X 1 n
|f (x, y)| dy dx ≥ = ≥ ≥ ,
0 0 0 2x 2 k=1 k+1
1 x 2 k=1 k + 1 4

para todo n ∈ N. An´alogamente, mostramos que a integral
Z 1 Z 1 
|f (x, y)| dx dy,
0 0

n˜ao ´e finita. Logo f n˜ao tem a Propriedade da Integra¸c˜ao Iterada.

4.4.2 OBSERVAC ˜
¸ AO. Consideremos a fun¸c˜ao f , definida em R2 por

sen x1
f (x, y) = .
(1 + x2 )(1 + y 2 )
Como
1
|f (x, y)| ≤
(1 + x2 )(1 + y 2 )
a fun¸c˜ao f ´e integr´avel, pois a aplica¸ca˜o
Z
dx 2π
y −→ 2 2
=
R (1 + x )(1 + y ) 1 + y2
´e cont´ınua e Z Z Z
dy 2π dy
[ ] dx = = 4π 2 .
R R (1 + x )(1 + y 2 )
2
R 1 + y2

4.4.3 OBSERVAC ˜
¸ AO. Seja g uma fun¸c˜ao integr´avel em R e a fun¸ca˜o f definida em R2
por f (x, y) := g(x − y). Ent˜ao f n˜ao ´e integr´avel em R2 . De fato,
Z Z
g(x − y) dx = g(t) dt = C.
R R
Introduc
¸a˜o a
` Ana
´ lise 61

4.4.4 OBSERVAC ˜
¸ AO. A func˜ao f definida em R2 por

x e−|x−y|
f (x, y) =
1 + y2
ent˜ao a aplica¸ca˜o
x e−|x−y|
Z
y −→ dx
R 1 + y2
n˜ao ´e integr´avel em rela¸ca˜o a y, pois

x e−|x−y| x e−|x| y e−|x|
Z Z Z
2
dx = 2
dx + 2
dx.
R 1+y R 1+y R 1+y

EXERC´ICIOS. Estude as fun¸c˜oes definidas em R2 por
3|
f (x, y) = e|x−y

e 
sen (x − y) se |x − y| ≤ π
f (x, y) =
0 se |x − y| ≥ π
62 Dicesar Lass Fernandez

4.5 Experimental
4.5.1 TEOREMA. Todo aberto do Rd ´e uni˜ao enumer´avel de intervalos (semi-abertos)
disjuntos.

De fato, lembremos inicialmente que um intervalo di´
adico ´e um intervalo da forma
m m+1
, [
[,
2k 2k
onde k ∈ N e m ∈ Z. No caso d = 2, um cubo di´
adico ´e um intervalo da forma
m m+1 n n+1
Dkm,n := [
k
, k
[×[ k , k [
2 2 2 2
e sua medida exterior de Lebesgue (bi-dimensional)
1
`(Dkm,n ) = .
22k
Fixemos as nota¸c˜oes
D = { Dkm,n ; k ∈ N, m, n ∈ Z },
Dk = { Dkm,n ∈ D ; m, n ∈ Z },
m,n
DA
k = { Dk ∈ D ; Dkm,n ⊂ A, Dkm,n 6⊂ Djr,s , j < k}.
´ claro que
E [
DA
k ⊂ A.
k∈N
Reciprocramente, seja x ∈ A e um cubo de modo que

x ∈ [a1 , b1 [×[a2 , b2 [ ⊂ A,

onde b2 − a2 = b1 − a1 . Seja agora k ∈ N escolhido de modo que

2k (bj − xj ) > 1 e 2k (xj − aj ) > 1, j = 1, 2.

Nestas condi¸co˜es , existe um inteiro mj tal que

2k aj < mj ≤ 2k xj < mj + 1 < 2k bj

e portanto
mj mj + 1
aj < k
≤ xj < < bj ;
2 2k
ou seja x ∈ Dkm1 ,m2 . Donde [
A⊂ DkA .
k∈N
A demonstra¸ca˜o est´a ent˜ao completa. 
Cap´ıtulo 5

¸ OS Lp
OS ESPAC

5.1 Preliminares
5.1.1 ´INDICES CONJUGADOS

Dizemos que 1 < p, q < ∞ s˜ao ´ındices conjugados se verificam

1 1
(1) + = 1.
p q
´Indices conjugados s˜ao tamb´em relacionados pelas express˜oes p + q = pq e p = q(p − 1).
Tomando θ = 1/p vemos que 1 − θ = 1/q, 0 < θ < 1. Os ´ındices inversos satisfazem a
seguinte importante propriedade: para todo a, b ≥ 0 temos

(2) aθ b1−θ ≤ θ a + (1 − θ) b.

Al´em disso, a igualdade em (2) ocorre se e somente se a = b.
De fato, se ab = 0 a desigualdade ´e ´obvia; agora, se ab 6= 0 e como a fun¸ca˜o logaritmica
´e concava temos
 a θ a  a 
log = θ log + (1 − θ) log 1 ≤ log θ + (1 − θ) .
b b b
Tomando a inversa em ambos os membros obtemos a desigualdade procurada. 

Habitualmente, o ´ındice conjugado a p ´e denotado por p0 .

A desigualdade de Young ´e uma reformula¸ca˜o de (2) como segue.

63
64 Dicesar Lass Fernandez

5.1.2 DESIGUALDADE DE YOUNG

Se p > 1 e 1/p + 1/p0 = 1, ent˜ao para todo a, b ∈ [0, ∞[, temos

0
ap b p
(1) ab ≤ + 0.
p p

¨
5.1.3 DESIGUALDADE DE HOLDER PARA FUNC ˜
¸ OES EM ESCADA.

Sejam ϕ e ψ fun¸co˜es em escada, em um subintervalo X de R. Se 1 < p < ∞ e
1/p + 1/p0 = 1, ent˜ao,
Z Z 1/p Z 1/p0
p p0
|ϕ · ψ| dx ≤ |ϕ| dx |ψ| dx
X X X

0
Demonstra¸c˜ ao. Se a integral de |ϕ|p ou de |ψ|p for nula n˜ao h´a o que demonstrar. Sen˜ao,
a desigualdade acima segue da desigualdade de Young. 

Vamos utilizar a seguinte nota¸ca˜o
Z 1/p
p
|| f ||p = |f | dx .
X

desde que a integral tenha sentido.

5.1.4 DESIGUALDADE DE MINKOWSKI PARA FUNC ˜
¸ OES EM ESCADA.

Se ϕ e ψ s˜ao fun¸co˜es em escada, em X , e 1 ≤ p < ∞, ent˜ao

(1) ||ϕ + ψ||p ≤ ||ϕ||p + ||ψ||p .

Demonstra¸c˜ ao. Se p = 1 n˜ao h´a o que demonstrar. Agora, se 1 < p < ∞ e 1/p + 1/p0 = 1
ent˜ao p = p0 (p − 1). Portanto, pela desigualdade de H¨older
Z Z
p
|ϕ + ψ| dx = |ϕ + ψ|p−1 |ϕ + ψ| dx
X ZX Z
p−1
≤ |ϕ + ψ| |ϕ| dx + |ϕ + ψ|p−1 |ψ| dx
X X
Z 1/p0
p0 (p−1)
≤ |ϕ + ψ| dx {||ϕ||p + ||ψ||p },
X
Introduc
¸a˜o a
` Ana
´ lise 65

o que implica (1). 

´
5.1.5 COROLARIO.

Se ϕ e ψ s˜ao fun¸co˜es em escada, em X, e 1 ≤ p < ∞, temos

(1) | ||ϕ||p − ||ψ||p | ≤ ||ϕ − ψ||p

Demonstra¸c˜
ao. Segue da desigualdade de H¨older. 

Uma consequˆencia importante da desigualdade de H¨older ´e que os espa¸cos Lp (I)
formam uma escala, quando I ´e um intervalo limitadado.

5.1.6 TEOREMA.

Seja I um intervalo de extremos a e b. Se 1 ≤ p < q < ∞, vamos ter Lq (I) ⊂ Lp (I).
Al´em disso

||f ||p ≤ (b − a)(q−p)/q ||f ||q ,

para toda fun¸c˜ao f ∈ Lq . Em particular, Lp (I) ⊂ L1 (I), para todo 1 ≤ p < ∞.

Demonstra¸c˜ ao. Temos r = q/p > 1 e 1/r0 = (q − p)/q. Ent˜ao, a desigualdade de H¨older
implica que
Z Z
0
||f ||p = |f | dx = χI |f |p dx ≤ ||χI ||r0 || |f |p ||r = (b − a)1/r ||f ||q/p ,
p p
I I

o que demonstra a assertiva. 

OBSERVAC ˜
¸ AO. Os espa¸cos de sequˆencia `p tamb´em formam uma escala cont´ınua, mas
em sentido inverso:
1 ≤ p < q < ∞ =⇒ `p ⊂ `q .
EXERC´
ICIO. Sejam 1 ≤ p, q, r < ∞ tais que
1 1−θ θ
= + .
r p q
Demonstre que \
Lr ⊂ Lp Lq .
ao f ∈ Lr ,
Al´em disso, para toda fun¸c˜

||f ||r ≤ ||f ||1−θ
p ||f ||θq .
66 Dicesar Lass Fernandez

5.2 Os Espa¸cos Lp.
Consideremos um subintervalo X de R e p ∈ R tal que 1 ≤ p < ∞.

5.2.1 DEFINIC ˜
¸ AO.
Diremos que uma fun¸c˜ao, definida em X ´e p-integr´avel se existe uma sequˆencia de
fun¸co˜es em escada {ϕn } tais que

(1) f = lim ϕn , q.s.
n→∞

e
Z
(2) lim |ϕm − ϕn |p dx = 0.
m,n→∞ X
p p
Denotaremos por L = L (X) a classe das fun¸c˜oes p-integr´aveis em X.
Observemos que, se f ´e uma fun¸ca˜o p-integr´avel, o Lema de Fatou implica
Z Z
p
(3) lim |f − ϕn | dx ≤ lim |ϕm − ϕn |p dx = 0.
n→∞ X m,n→∞ X

Al´em disso, a desigualdade 5.1.3(1) implica que a sequˆencia (||ϕn ||) ´e uma sequˆencia de
Cauchy de n´ umeros reais n˜ao-negativos, portanto convergente. E ´ natural, ent˜ao, definirmos
Z 1/p
p
||f ||p = |f (x)| dx := lim ||ϕn ||p .
X n→∞

umero n˜ao-negativo ||f ||p est´a bem definido, qualquer que seja a fun¸ca˜o p-integr´avel
O n´
f , e que n˜ao depende da sequˆencia (ϕn ), como mostra a pr´opria desigualdade 5.2.1(3).

Verifica-se que Lp ´e um espa¸co vetorial com as opera¸co˜es habituais de soma de fun¸co˜es
e multiplica¸ca˜o de fun¸c˜oes por escalar.

5.2.2 PROPOSIC ˜
¸ AO.
A classe Lp (X) ´e um subespa¸co vetorial de fun¸c˜oes em X. Al´em disso, se f e g
pertencem `a Lp (X) ent˜ao
(1) || λ f ||p = |λ| ||f ||p , λ ∈ C,
e
(2) || f + g ||p ≤ ||f ||p + ||g||p ,
isto ´e, Lp (X) ´e um espa¸co semi-normado.
Introduc
¸a˜o a
` Ana
´ lise 67

Demonstra¸c˜ ao. Dadas f e g fun¸co˜es p-integr´aveis, consideremos sequˆencias de fun¸c˜oes em
escada {ϕn } e {ψn } tais que ϕn −→ f e ψn −→ g, q.s. A identidade (1) ´e clara. a segunda
desigualdade segue por passagem ao limite na correspondente desigualdade 5.1.4(1), para
fun¸co˜es em escada. 

Vale tamb´em a Desigualdade de H¨older para fun¸co˜es p-integr´aveis.

¨
5.2.3 DESIGUALDADE DE HOLDER.

0
Seja f ∈ Lp e g ∈ Lp , onde 1 < p < ∞ e 1/p + 1/p0 = 1. Ent˜ao, f g ∈ L1 e

||f · g||1 ≤ ||f ||p ||g||p0 .

A desigualdade de Minkowski pode ser generalizada de v´arias formas, envolvendo
s´eries ou integrais.

5.2.4 Desigualdade de Minkowski Discreta.

Seja m fn uma s´erie de fun¸c˜oes em Lp , 1 ≤ p < ∞, tal que n ||fn ||p < ∞.
P P

Ent˜ao n |fn | < ∞, q.s. e se f := n fn , q.s. temos f ∈ Lp e
P P

X
||f ||p ≤ ||fn ||p .
n

ao. O caso p = 1 ´e simples. Suponhamos 1 < p < ∞. Neste caso
Demonstra¸c˜
m
Z X p m
X ∞
p X p
|fk | dx ≤ ||fk ||p ≤ ||fk ||p .
R k=1 k=1 k=1

P
portanto k |fk | < ∞, q.s., pelo Teorema da Convergˆencia Mon´otona. Definimos ent˜ao
 P
( k |fk (x)|)p se
P
h(x) := k |fk (x)| < ∞,
0 sen˜ao.
Pn
Vamos ter h ∈ L1 . Agora, como | k=1 fk |p ≤ h, para todo n, o Teorema da Convergˆencia
Dominada, assegura que
n
X
p
|f | = lim | fk |p ∈ L1 ,
n→∞
k=1
68 Dicesar Lass Fernandez

e portanto f ∈ L1 . Por outro lado,
Z Z X n
p p
||f ||p = |f | dx = lim | fk |p dx
R n→∞ R k=1
n
Z X ∞
X p
p
≤ lim |fk |) dx ≤ ||fn ||p ,
n→∞ R k=1 n=1

o que completa a demonstra¸ca˜o. 

5.3 Os Espa¸cos de Banach Lp.
Identificamos fun¸co˜es que diferem em um conjunto de medida zero e escrevemos f = g,
q.s. Assim
||f ||p = 0 ⇐⇒ f = 0, q.s.
e
||f − g||p = 0 ⇐⇒ f = q, q.s.
Observemos que igualdade quase sempre de fun¸co˜es introduz uma rela¸c˜ao de
equivalˆencia em Lp (X):

f ∼ g ⇐⇒ m∗ ({ x ∈ X ; f (x) 6= g(x) }) = 0.

´ claro que o seguinte conjunto
E

Np = { f ∈ Lp (X) ; ||f ||p = 0 }

´e fechado em Lp (X). Al´em disso,

f ∼ g ⇐⇒ f − g ∈ Np .

Definimos ent˜ao
Lp (X) := Lp (X)/Np .
´ de fundamental importancia a seguinte observa¸ca˜o
E

|| [f ] ||p = inf{ ||f ||Lp ; f ∈ [f ] } = || f ||Lp

para todo f ∈ Lp .
Isto significa que a identifica¸ca˜o entre uma fun¸c˜ao f com sua classe de equivalˆencia [f ]
´e isom´etrica.
Introduc
¸a˜o a
` Ana
´ lise 69

´
5.3.1 COROLARIO.

Os espa¸cos Lp (X) s˜ao normados por || · ||p , 1 ≤ p < ∞.

Vamos agora demonstrar que os espa¸cos Lp (X) s˜ao completos. Para isso precisamos
de um lema.

5.3.2 LEMA.

Toda sequˆencia de Cauchy {fk } em Lp (X), admite uma subsequˆencia {fk(n) } que
converge q.s.

Demonstra¸c˜ ao. Como {fn } ´e uma sequˆencia de Cauchy em Lp , para cada n ∈ N existe
k(n) ∈ N tal que

|| fm − fk(n) ||p < 2−n ,
para todo m ≥ k(n). Consideremos a subsequˆencia {fk(n) }n e definimos
m
X
gm = | fk(n+1) − fk(n) |
k=1

e ∞
X
g= | fk(n+1) − fk(n) |.
k=1

Vamos ter, ent˜ao
m
X ∞
X
|| gm ||p ≤ || fk(n+1) − fk(n) ||p ≤ 2−n ≤ 1,
n=1 n=1
e Z Z
|| g ||pp = lim |gm (x)|p dx ≤ lim |gm (x)|p dx ≤ 1.
X m→∞ m→∞ X
Consequˆentemente g(x) < ∞, para quase todo x ∈ X. Portanto a s´erie

X 
fk(1) + fk(n+1) − fk(n)
n=1

´e absolutamente convergente q.s. Como nos pontos de convergˆencia temos
n−1
X
fk(n) = fk(1) + (fk(j+1) − fk(j) )
j=1

vemos que a subsequˆencia (fk(n) ) converge q.s. 
70 Dicesar Lass Fernandez

5.3.3 TEOREMA.

Se 1 ≤ p < ∞, o espa¸co normado Lp (X) ´e completo.

Demonstra¸c˜ ao. Seja {fn }n uma sequˆencia de Cauchy em Lp (X). Ent˜ao, existe uma sub-
sequˆencia {fk(n) }n que converge q.s. Definimos, ent˜ao, a fun¸ca˜o f , em X, por

lim fk(n) (x) se o limite existe,
 n→∞
f (x) :=

0 sen˜ao.

Como f = limn→∞ fk(n) , q.s., para todo m ∈ N, pelo Lema de Fatou, vamos ter
Z Z
p
(1) |f − fm | dx ≤ lim inf |fk(n) − fm |p dx.
X n→∞ X

Finalmente, como {fn }n ´e uma sequˆencia de Cauchy, em Lp , temos
Z
|fn |p dx ≤ C,
X

para todo n ∈ N. Pelo Lema de Fatou, novamente, segue que f ´e p-integr´avel, ou seja
f ∈ Lp , e a demonstra¸ca˜o est´a completa. 

EXERC´
ICIOS.

1. Mostre que a fun¸c˜
ao f (x) = 1
x
χ[1,∞[ (x) pertence `a Lp (R) se e somente se p > 1.
2. Seja X um subintervalo de R e {fn } uma sequˆencia de fun¸c˜oes caracteristicas de subintervalos
de X. Se {fn } converge para uma fun¸c˜ao f ∈ Lp (X) mostre que f ´e igual, quase sempre, a
uma fun¸c˜
ao caracteristica de um subconjunto de X.

3. Se uma sequˆencia {fn } converge em Lp para uma fun¸c˜ao f e uma subsequˆencia {fk(n) }
converge para g em Lp mostre que f = g, q.s.

4. Se X ´e um subintervalo limitado e f ∈ Lp (X) mostre que f ∈ Lr (X), para 1 ≤ r ≤ p.

5. Seja X um subintervalo arbitr´ario e f ∈ Lp (X) ∩ Lq (X), onde 1 ≤ p < q < ∞. Mostre que
f ∈ Lr (X), se p < r < q.

5.4 Teoremas de Densidade
5.4.1 PROPOSIC ˜
¸ AO.

Seja X um intervalo de R e f ∈ Lp (X), 1 ≤ p < ∞. Ent˜ao, dado ε > 0, existe
uma fun¸c˜ao em escada ϕ tal que
Introduc
¸a˜o a
` Ana
´ lise 71
Z
|f (x) − ϕ(x)|p dx < ε.
X

Demonstra¸c˜ ´ an´aloga a` do Teorema 3.3.2.
ao. E

5.4.2 TEOREMA.

Seja f ∈ Lp (R). Dado ε > 0, existe um intervalo fechado I e uma fun¸c˜ao cont´ınua
g nula no complementar I c tal que

(1) || f − g ||p < ε.

Demonstra¸c˜ ao. De fato, dado ε > 0, existe um intervalo fechado Iε (por exemplo Iε =
[−n, n], para algum n escolhido em fun¸c˜ao de ε), tal que
Z  p
p ε
|f | dx < .
Iεc 2

O Teorema anterior garante a existˆencia de uma fun¸c˜ao cont´ınua g nula fora de Iε tal que
Z  p
p ε
|f − g| dx < .
Iε 2

A combina¸ca˜o das duas estimativas acima leva a aproxima¸ca˜o desejada. 

5.4.3 TEOREMA.

Seja f ∈ Lp (R) e fh = τ h f a transladada da fun¸c˜ao f . Ent˜ao

(1) lim ||fh − f ||p = 0.
h→0

Demonstra¸c˜ ao. 1¯ a Parte. Seja f = χ , onde I = [a, b]. Escolhemos δ 0 > 0 tal que
I
a + δ 0 < b − δ 0 . Ent˜ao, se |h| < δ 0 e a + δ 0 < t < b − δ 0 , vamos ter

a < t + h < b.

Logo
Z Z a+δ 0 Z b+δ 0
|χ(t + h) − χ(t)|p dt = dt + dt = 4δ 0 .
R a−δ 0 b−δ 0
72 Dicesar Lass Fernandez

Agora, dado ε > 0, tomamos δ < min(δ 0 , 4ε ). Ent˜ao, se |h| < δ vamos ter
Z
|χ(t + h) − χ(t)|p dt < εp .
R

n
ck χIk . Escolhemos δ 0 > 0 talque
X
a Parte. Seja ϕ =

k=1

ak + δ 0 < bk − δ 0 , k = 1, ..., n.

Ent˜ao, dado ε > 0, seja
ε ε
δ < min(δ 0 , ,··· , ).
4n|c1 | 4n|cn |
Da´ı
Z 1/p n Z 1/p
|χIk (t + h) − χIh (t)| dt
X
p p
|ϕ(t + h) − ϕ(t)| dt ≤ |ck |
R k=1 R
n
X ε
≤ |ck | = ε.
k=1
n|ck |

a Parte. Se f ∈ Lp , existe uma sequˆ
3¯ encia de fun¸co˜es em escada (ϕn ) tal que ϕn → f , q.s.
p
e em L . Ent˜ao, as desigualdades

||τ k f − f ||p = ||τ h f − τ h ϕ + τ h ϕ − ϕ + ϕ − f ||p
≤ ||τ h f − τ h ϕ||p + ||τ h ϕ − ϕ||p + ||ϕ − f ||p
= 2 ||f − ϕ||p + ||τ h ϕ − ϕ||p ,

completam a demonstra¸c˜ao. 
Cap´ıtulo 6

OPERADORES INTEGRAIS

Vamos considerar aplica¸c˜oes ou operadores T definidos sobre fun¸co˜es “ admiss´ıveis ” (es-
cada, cont´ınuas, etc.) que transformam essas fun¸c˜oes, definidas em um intervalo I, em
outras fun¸co˜es “ admiss´ıveis ”, definidas em um intervalo J. Consideraremos principalmente
operadores lineares; isto ´e operadores tais que se definidos em fun¸c˜oes ϕ e ψ est˜ao tamb´em
definidos em aϕ + bψ, onde a e b s˜ao escalares, e al´em disso verificam

T (aϕ + bψ) = a T ϕ + b T ψ.

6.1 cos Lp.
Operadores em espa¸
6.1.1 DEFINIC ˜
¸ AO.

Seja T um operador (n˜ao necess´ariamente linear) definido sobre fun¸c˜oes de um sube-
spa¸co denso das p-integr´aveis. 1 ≤ p < ∞, em um subintervalo X de R. Dizemos
que T ´e do tipo forte (p, q), 1 ≤ p, q < ∞, com constante M > 0, se

||T f ||q ≤ M ||f ||p ,

para toda fun¸c˜ao f , pertencente a algum subespa¸co denso de Lp .

OBSERVAC ˜
¸ AO. Se T ´e um operador linear, a condi¸c˜ao de ser do tipo forte (p, q) implica
que T ´e uniformemente cont´ınuo em um subespa¸co denso de Lp . Portanto, admite uma
´nica exten¸c˜ao cont´ınua sobre todo o espa¸co Lp . Algumas vezes, entretanto, T est´a definido
u
em todo o espa¸co Lp e n˜ao existe ent˜ao a necessidade de se fazer a exten¸c˜ao. Outras vezes
procederemos como a exten¸ca˜o tenha sido j´a feita impl´ıcitamente.

73
74 Dicesar Lass Fernandez

EXEMPLO. Sejam X × Y um produto de subintervalos de R × R e K(x, y) uma fun¸c˜ao
cont´ınua, em X × Y , tal que
Z Z q/p0 1/q
p0
|K(x, y)| dx dy < ∞.
Y X

Ent˜ao se T ´e o operador definido por
Z
T f (y) = K(x, y)f (x)dx,
X

vamos ter
Z Z q 1/q
||T f ||q ≤ |K(x, y)| · |f (x)|dx dy
Y X
Z  Z 1/p0 q 1/q
p0
≤ ||f ||p |K(x, y)| d(x) dy
Y X
Z Z q/p0 1/q
p0
= |K(x, y)| dx dy · ||f ||p .
Y X

6.1.2 PROPOSIC ˜
¸ AO.

Seja T um operador que ´e do tipo (p, q1 ) e (p, q2 ). Ent˜ao T ´e do tipo (p, q), onde
1 1−θ θ
= + com 0 < θ < 1.
q q1 q2

Demonstra¸c˜
ao. Pela desigualdade de H¨older e pelo conceito de tipo

||T f ||q ≤ ||T f ||1−θ θ 1−θ θ 1−θ θ 1−θ
q1 ||T f ||q2 ≤ Mq2 M2 ||f ||p ||f ||p ≤ M1 M2θ ||f ||p .

6.2 A Desigualdade Integral de Minkowski.
A desigualdade integral de Minkowski ´e uma generaliza¸ca˜o da desigualdade discreta.
Al´em disso ´e uma das desigualdade mais u
´teis para se estabelecer a continuidade de certos
operadores integr´ais.

6.2.1 DESIGUALDADE DE MINKOWSKI.

Sejam X ⊂ R e Y ⊂ R subintervalos e f uma fun¸c˜ao em R2 definida em X × Y .
Se 1 ≤ p < ∞, ent˜ao
Introduc
¸a˜o a
` Ana
´ lise 75
Z Z p 1/p Z Z 1/p
p
(1) f (x, y)dy dx ≤ |f (x, y)| dx dy.

X Y Y X

Demonstra¸c˜ ao. Lembremos que se 1/p + 1/p0 = 1 ent˜ao p0 + p = pp0 e p = p0 (p − 1). Para
cada y ∈ Y fa¸camos Z p−1
F (y) = |f (x, y)| dx .
X
Vamos ter ent˜ao
Z Z p Z Z p−1 Z 
|f (x, y)|dx dy = |f (x, y)| dx |f (x, y)| dx dy
Y X Y X X
Z  Z 
= F (y) |f (x, y)| dx dy
Y X
Z Z 
= F (y) |f (x, y)| dx dy
Y X
Z Z 
= F (y)|f (x, y)| dy dx
X Y
Z Z 1/p0  Z 1/p
p0 p
≤ F (y) dy |f (x, y)| dy dx
X Y Y
Z 1/p0 Z  Z 1/p
p0 p
= F (y) dy |f (x, y)| dy dx
Y X Y
Z Z (p−1)p0 1/p0 Z  Z 1/p
p
= |f (x, y)| dx dy |f (x, y)| dy dx.
Y X X Y

Finalmente. dividindo ambos os membros por
Z Z p 1/p0
|f (x, y)| dx dy
Y X

obtemos:
Z Z p 1/p Z Z p 1/p Z  Z 1/p
p
f (x, y) dx dy
≤ |f (x, y)| dx dy ≤ |f (x, y)| dy dx,
Y X Y X X Y

como quer´ıamos. 

6.2.2 EXEMPLO. Sejam X e Y subintervalos de R, e K : X × Y −→ C uma fun¸ca˜o
cont´ınua. Suponhamos que
Z Z
|K(x, y)|dx ≤ C, q.t.y, e |K(x, y)|dy ≤ C, q.t.x.
X Y
76 Dicesar Lass Fernandez

Ent˜ao, se f ∈ Lp (R) Z
T f (x) = K(x, y)f (y) dy
Y

existe para q.t.x, e T f ∈ Lp (R). Al´em disso

||T f ||p ≤ C||f ||p , 1 < p < ∞.

ao. Se f ∈ Lp (Y ), aplicando a desigualdade de H¨older, obtemos
Demonstra¸c˜
Z Z
1
+ p1

K(x, y) f (y) dy ≤ |K(x, y)| p0 |f (y)| dy

Y Y
Z 1/p0 Z 1/p
p
≤ |K(x, y)|dy |K(x, y)| |f (y)| dy .
Y Y

Integrando e aplicando a desigualdade de Minkowski
Z Z p Z Z 
p/p0 p
K(x, y)f (y) dy dx ≤ C |K(x, y)| |f (y)| dy dx

X Y X Y
Z Z 
p/p0 p
≤ C |K(x, y)| |f (y)| dx dy
Y X
Z
p/p0 +1
≤ C |f (y)|p dy = C||f ||pp .
Y

6.3 Produto de Convolu¸

ao.
A classe mais importante de operadores em Lp ´e a dos operadores gerados pelo
produto de convolu¸ca˜o

6.3.1 DEFINIC ˜
¸ AO.

Diremos que fun¸co˜es f, g : R −→ R s˜ao fun¸c˜
oes admiss´ıveis (para a convolu¸c˜ao
x
se, para quase todo x ∈ R, a fun¸c˜ao ϕ (y) = f (x − y)g(y) ´e integr´avel em R.

6.3.2 DEFINIC ˜
¸ AO.

Dadas fun¸co˜es admiss´ıveis f, g : R −→ R e x ∈ R, definimos o produto de con-
volu¸c˜ao f ∗ g por Z
f ∗ g(x) = f (x − y)g(y)dy,
R
quando a integral est´a definida.
Introduc
¸a˜o a
` Ana
´ lise 77

6.3.3 TEOREMA.

(A) Se f ∈ L1 (R) e g ∈ L1 (R) ent˜ao f ∗ g ∈ L1 (R) e

(1) ||f ∗ g||L1 ≤ ||f ||L1 ||g||L1
0
(B) se f ∈ Lp (R) e g ∈ Lp (R), 1 ≤ p ≤ ∞, ent˜ao f ∗ g ∈ L∞ (R) e

(2) ||f ∗ g||L∞ ≤ ||f ||Lp ||g||Lp0 .

(C) Se f ∈ Lp (R) e g ∈ L1 (R), 1 ≤ p ≤ ∞, ent˜ao f ∗ g ∈ Lp (R) e

(3) ||f ∗ g||Lp ≤ ||f ||Lp ||g||L1 .

ao. (A) A fun¸c˜ao F (x, y) = f (x − y)g(y) ´e admiss´ıvel em R × R. Temos
Demonstra¸c˜
Z Z Z Z 
|f (x − y)g(y)|dxdy = |f (x − y)| |g(y)|dx dy = ||f ||L1 ||g||L1 .
R R R R

Do Teorema de Fubini segue ent˜ao que f ∗ g est´a bem definida, para quase todo x ∈ R, e
que f ∗ g ∈ L1 (R).
(B) Segue da desigualdade de H¨older.
(C) Segue da desigualdade de Minkowski:
Z Z
||f ∗ g||Lp = || f (x − y)g(y)dy||Lp ≤ ||f (x − y)g(y)||Lp dy = ||f ||Lp ||g||L1 .

6.3.4 PROPOSIC ˜
¸ AO.
0
Se f ∈ Lp (R) e g ∈ Lp (R), 1 < p < ∞, ent˜ao f ∗ g ´e uma fun¸c˜ao uniformemente
cont´ınua, limitada e

lim f ∗ g(x) = 0.
|x|→0

Demonstra¸c˜ao. Como f ∗ g = g ∗ f , podemos supor que 1 ≤ p < ∞. Dado h ∈ R, temos
Z
|(f ∗ g)(x + h) − (f ∗ g)(x)| = | [f (x + h − y) − f (x − y)]g(y)dy|
Z R
≤ |f (x + h − y) − f (x − y)| |g(y)|dy
R
Z 1/p
p
≤ |f (x + h − y) − f (x − y)| dy ||g||Lp0
R
= ||τh f − f ||Lp ||g||Lp0
78 Dicesar Lass Fernandez

Por outro lado, dado ε > 0, seja ϕ uma fun¸ca˜o simples tal que

||g − ϕ||Lp0 ≤ ε/2||f ||Lp .

Ent˜ao
||f ∗ g − f ∗ ϕ||∞ = ||f ∗ (g − ϕ)||∞ ≤ ||f ||Lp ||g − ϕ||Lp0 ≤ ε/2,
donde
|f ∗ g(x)| ≤ ε/2 + |f ∗ ϕ(x)|.
Portanto, basta demonstrar que f ∗ ϕ(x) → 0 quando |x| → ∞. Por outro lado, basta
demonstrar o caso em que ϕ = χI . Neste caso, fazendo f s (z) = f (−z), temos
Z Z Z
χ
f ∗ I (x) = f (x − y)dy = s
f (y − x)dy = f s (y)dy
I I I+x

e Z 1/p
0
|f ∗ χI (x)| ≤ |I|1/p s p
|f (y)| dy .
I+x

Portanto Z 1/p
lim |f ∗ χI (x)| = lim s p
|f (y)| dy = 0,
|x|→∞ |x|→∞ I+x

e a demonstra¸c˜ao est´a completa. 

6.4 Identidade Aproximada
6.4.1 DEFINIC ˜
¸ AO.

Dizemos que uma fam´ılia de fun¸c˜oes cont´ınua reais (Kt )t>0 , integr´aveis em R, ´e uma
identidade aproximada se verificam as seguintes condi¸c˜oes:

IA1) Kt (x) ≥ 0, para todo x > 0 e x ∈ R;
IA2) Para todo t > 0, vale Z +∞
Kt (x) dx = 1.
−∞

IA3) Dado ε > 0, existe kε > 0 tal que, para k ≥ kε , vale

Z −k Z +∞
Kt (x) dx + Kt (x) dx < ε,
−∞ +k

para todo t tal que 0 < t < δ.
Introduc
¸a˜o a
` Ana
´ lise 79

1 x
EXEMPLO. Se K ∈ L1 ent˜ao a classe {Kt }t>0 de fun¸co˜es Kt definidas por Kt (x) = K( )
t t
´e uma identidade aproximada.

6.4.2 TEOREMA.

Se f ∈ Lp (R), 1 ≤ p < ∞, (Kt )t>0 ´e uma identidade aproximada e, para cada
t > 0, definindo Z +∞
ft (x) = f (x − y) Kt (y) dy
−∞
vamos ter
Z ∞
lim |ft (x) − f (x)|p dx = 0.
t→0 −∞

ao. De fato, dado ε > 0, existe δ > 0 tal que se |y| < δ ent˜ao
Demonstra¸c˜
Z +∞
ε
|f (x − y) − f (x)|p dx < ( )p .
−∞ 2

Por outro lado, como K ∈ LP , tomando t < δ/n, com n sufucientemente grande, temos
Z Z
ε
Kt (y) dy ≤ K(y) dy < .
|y|≥δ |y|>n 4||f ||p

Portanto
Z +∞ 1/p
Z +∞ Z +∞
p 
p

|ft (x) − f (x)| dx =
[f (x − y) − f (x)] Kt (y) dy dx
−∞ −∞ −∞
Z +∞ Z +∞ 1/p
p
≤ |f (x − y) − f (x)| dx Kt (y) dy
−∞ −∞
Z Z +∞ 1/p
p
= |f (x − y) − f (x)| dx Kt (y) dy +
|y|≥δ −∞
Z Z +∞ 1/p
p
+ |f (x − y) − f (x)| dx Kt (y) dy
|y|<δ −∞
Z Z
ε
= 2||f ||p Kt (y) dy + Kt (y) dy < ε.
|y|≥δ 2 |y|<δ

Como ε ´e arbitr´ario segue a assertiva do Teorema. 
80 Dicesar Lass Fernandez

6.4.3 TEOREMA.

Cc∞ (R) ´e denso em Lp (R), se 1 ≤ p < ∞.

Demonstra¸c˜
ao. A fun¸c˜ao ϕ, definida em R, por
 −1/(1−x2 )
e se |x| < 1,
ϕ(x) :=
0 sen˜ao.

´e indefinidamente deriv´avel e tem suporte contido em |x| ≤ 1. Agora, a fun¸c˜ao ϕt , definida
em R, para todo t > 0, por
 1 −t2 /(t2 −x2 )
e se |x| < t,
ϕt (x) := t
0 sen˜ao.

´e indefinidamente deriv´avel e tem o suporte em |x| ≤ t. Logo, dada f ∈ Lp a fun¸c˜ao ϕt ∗ f
´e indefinidamente deriv´avel tem suporte compacto e

lim ||ϕt ∗ f − f ||p = 0.
t→0

Em outras palavras, Cc∞ (R) ´e denso em Lp (R). 

6.4.4 FUNC ˜
¸ AO E.T. Vamos considerar o problema da existˆencia de uma fun¸ca˜o k ∈
Lloc (R) tal que k ∗ f = f , para toda fun¸ca˜o f ∈ L1 (R), isto ´e considerar o problema da
1

idˆentidade para o produto de convolu¸ca˜o . Vamos mostrar que tal idˆentidade n˜ao existe
como fun¸ca˜o . Para isso, consideremos x ∈ R \ 0 e η > 0 tal que 0 < η < |x| e fa¸camos

1 χ
f (y) := [−η,η] (y).

Suponhamos ent˜ao a existˆencia de uma fun¸c˜ao k tal que k ∗ f = f ; como |x| > η, vamos ter
Z η
1
0 = f (x) = k ∗ f (x) = k(x − y) dy → k(x)
2η −η

quando η → 0, ou seja k(x) = 0, x 6= 0. Por outro lado
Z η
1
∞ = lim k(−y) dy = k(0).
η→0 2η −η

Finalmente, como k ≥ 0 e tomando k ≥ 0 e integr´avel obtemos
Z Z Z Z
f dx = k ∗ g(x) dx = ( k dx)( f dx);
R R R R
Introduc
¸a˜o a
` Ana
´ lise 81

logo Z
k dx = 1.
R

OBSERVAC ˜
¸ AO. Esta situa¸ca˜o estranha no quadro das fun¸co˜es em L1loc (R) tem uma ex-
plica¸ca˜o clara no contexto da Teoria das Distribui¸co˜es . A distribui¸ca˜o δ de Dirac ´e a
fun¸ca˜o (ou melhor funcional !) procurada. Se (Kt ) ´e uma identidade aproximada vamos
ter Kt −→ δ e δ ∗ f = f , mas no sentido de distribui¸c˜oes.
82 Dicesar Lass Fernandez
Cap´ıtulo 7

TRANSFORMAC ˜ DE FOURIER
¸ AO

7.1 A Teoria L1 da Transformada de Fourier
7.1.1 DEFINIC ˜
¸ AO.

Seja f ∈ L1 (R). A transformada de Fourier da fun¸c˜ao f ´e a fun¸c˜ao fb definida
por

Z +∞
(1) fb(x) := f (y) e−2πixy dy,
−∞

para todo x ∈ R.

7.1.2 OBSERVAC ˜
¸ AO. Para qualquer f ∈ L1 (R), a fun¸c˜ao fb est´a bem definida, para todo
x ∈ R, pois a integral em 7.1.1(1) esta bem definida e
Z
|f (x)| ≤ |f (y)| dy = || f ||1 .
b

Portanto, a transforma¸c˜ao F : f → fb ´e uma transforma¸ca˜o limitada de L1 (R) em L∞ (R).
Al´em disso, como a transforma¸c˜ao F ´e claramente linear segue que ´e tamb´em cont´ınua.

7.1.3 PROPOSIC ˜
¸ AO.

Se f ∈ L1 (R) ent˜ao fb ´e uma fun¸c˜ao uniformemente cont´ınua em R.

ao. Se f ∈ L1 (R), vamos ter
Demonstra¸c˜
Z
|f (x + h) − f (x)| = | f (y) [e−2πihy − 1] e−2πiyx dy|
b b
Z
≤ | f (y) | |e−2πiyh − 1| dy

83
84 Dicesar Lass Fernandez

Como a u ´ltima integral n˜ao depende de x e tende a zero quando h → 0 (pelo Teorema da
Convergˆencia Dominada) segue que f ´e uniformemente cont´ınua em R. 

7.1.4 LEMA DE RIEMANN-LEBEGUE.
Se f ∈ L1 (R) ent˜ao

(1) lim fb(x) = 0.
|x|→∞

Demonstra¸c˜ ao. Dada uma fun¸c˜ao f ∈ L1 (R) e ε > 0, existe uma fun¸ca˜o em escada ϕ tal
que Z +∞
ε
| f (x) − ϕ(x) | dx < .
−∞ 2
Por outro lado, como
Z +∞
ε
|f (x)| ≤ |f (x) − ϕ(x)|
b b b + |ϕ(x)|
b ≤ |f (y) − ϕ(y)| dy + |ϕ(x)|
b < + |ϕ(x)|,
b
−∞ 2
basta demonstrar a Proposi¸ca˜o para fun¸c˜oes em patamar. Por´em, como as fun¸co˜es em pata-
mar s˜ao combina¸c˜oes lineares de fun¸c˜oes caracteristicas de intervalos fechados, segue que
basta demonstrar a Proposi¸ca˜o para fun¸co˜es caracteristicas de intervalos fechados. Ent˜ao
Z b
χ 1 −2πtb
b [a,b] (t) = e−2πity dy = [e − e−2πita ],
a 2πit
que ´obviamente converge para zero quando t → ±∞. 

7.1.5 OBSERVAC ˜
¸ AO. Se f ∈ L1 (R) ent˜ao fb ´e uma fun¸c˜ao uniformemente cont´ınua que
tende `a zero no infinito. Entretanto, nem toda fun¸ca˜o com essas propriedades ´e transformada
de Fourier de uma fun¸c˜ao de L1 (R). De fato, se f ´e uma fun¸ca˜o ´ımpar ent˜ao
Z ∞
f (t) = −2π
b f (x) sen (2πxt) dt.
−∞

Agora, como Z β
sen x
| dx| ≤ B.
α x
independentemente de α e β, segue que
Z β b Z ∞ Z b 
f (x) sen (2πxt)
dx = −2π f (t) dt
1 x 0 1 x
Z ∞ Z 2πbt
sen y)
= −2π f (t)( dy dt
0 2πt y
Introduc
¸a˜o a
` Ana
´ lise 85

e portanto Z
b fb(x)
dx ≤ B ||f ||1 ,

1 x


independente de b. Agora, para se dar um exemplo de uma fun¸ca˜o uniformemente cont´ınua
que se anula no infinito e que n˜ao ´e transformada de Fourier de uma fun¸c˜ao f ∈ L1 (R) basta
tomar uma fun¸c˜ao g que seja ´ımpar e tal que
Z b
g(x)
dx
1 x

n˜ao seja limitada quando b → ∞. Este ´e o caso de g(x) = (log x)−1 , para x suficientemente
grande.

7.1.6 PROPOSIC ˜
¸ AO.

Se f e g pertencem `a L1 (R) ent˜ao

Z +∞ Z +∞
(1) fb(x) g(x) dx = f (y) gb(y) dy.
−∞ −∞

Demonstra¸c˜ ao. Ambos os tˆermos da equa¸ca˜o est˜ao bem definidos pois se f e g pertencem
a` L (R) ent˜ao fb e gb est˜ao em L∞ (R) e consequentemente fbg e f gb est˜ao em L1 (R). Como
1

Z Z +∞ Z +∞ 
−2πixy
f (x) g(x) dx =
b f (y) e dy g(x) dx
R −∞ −∞

e como F (x, y) = e−2πixy f (y) g(y) ´e uma fun¸ca˜o mensur´avel em R × R que pertencem a`
L1 (R × R), podemos aplicar o Teorema de Fubini para obter
Z +∞ Z +∞ Z +∞  Z +∞
−2πixy
f (x) g(x) dx =
b f (y) e g(x) dx dy = f (y) gb(y) dy.
−∞ −∞ −∞ −∞



7.1.7 PROPOSIC ˜
¸ AO. Dadas f e g em L1 (R), ent˜ao

(1) (f ∗ g)∧ (x) = fb(x) gb(x).

Demonstra¸c˜
ao. Segue de um c´alculo direto utilizando-se o Teorema de Fubini. 
86 Dicesar Lass Fernandez

7.1.8 PROPOSIC ˜
¸ AO.

Seja f ∈ L1 (R) e τ h o operador de transla¸c˜ao . Ent˜ao

(1) (τ h f )∧ (x) = e2πihx fb(x);

(2) τ hfb(x) = (e−2πihx )fb(x).
Demonstra¸c˜
ao. C´alculo direto.

7.1.9 PROPOSIC ˜
¸ AO.

Seja f ∈ L1 (R) e δt , t > 0, o operador de dilata¸c˜ao definido por δt f (x) = f ( xt ).
Ent˜ao

1 x
(1) (δa f )∧ (x) = fb( ).
a a
Demonstra¸c˜
ao. C´alculo direto.

Vamos agora estudar o problema da invers˜ao da transformada de Fourier. Nosso ob-
jetivo ´e, dada f ∈ L1 (R), calcular a transformada de Fourier conjugada ou inversa da
fun¸ca˜o fb: Z
fb(y) e2πixy dy.
R

Como fb n˜ao pertence necess´ariamente `a L1 (R) a integral acima n˜ao tem sentido em geral.
Precisaremos de uma hip´otese adicional e do seguinte lema.

7.1.10 LEMA.

Temos
Z
2 2
(1) e−π|y| e−2πixy dy = e−π|x| .
R
2
ao. Fa¸camos W (x) = e−π|x| . Ent˜ao
Demonstra¸c˜
Z ∞
c0 (x) =
W (−2πy)W (y)e−2πixy dy
−∞

= |W (x)e−2πixy ]x=∞
x=−∞ + 2πixW (x)
c
= 2πixWc (x).
Introduc
¸a˜o a
` Ana
´ lise 87

Por outro lado
Z ∞
c0 (x) = −i
W (−2πiy)W (y)e−2πixy dy
−∞
Z ∞
d
= −i W (y)e−2πixy dy
dx −∞
= −iWc 0 (x).

Portanto
c 0 (x) = −2πxW
W c (x)

e
c (x) = c e−πx2 .
W

Mas Z ∞ Z ∞ Z ∞
√ 1
−πy 2 −( xy)2 2
W
c (0) = e dy = e dy = √ e−y dy
−∞ −∞ π −∞

e portanto
c (x) = e−πx2 ,
W

como queriamos demonstrar. 

7.1.11 PROPOSIC ˜
¸ AO.

Se f ∈ L1 (R) ent˜ao

Z Z
2
(1) fb(y)e2πixy e−π|ty| dy = fb(y)Wt (x − y)dy = f ∗ Wt (x).
R R

Demonstra¸c˜
ao. Segue de c´alculo direto.

7.1.12 DEFINIC ˜
¸ AO.

Se g ∈ L1 (R) definimos

Z
(1) ge(y) := g(x) e2πi<y,x> dx.
R

7.1.13 TEOREMA.

Suponhamos que f e fb perten¸cam `a L1 (R). Ent˜ao
88 Dicesar Lass Fernandez

(1) f = fb q.s.
e

ao. Como (δt W )∧ = W
Demonstra¸c˜ ct , vamos ter
Z Z
2πixy ct (x − y) dy
f (y)e
b W (ty) dy = f (y) W
R ZR
= f (y) Wt (x − y) dy.
R

Como
|fb(x) e2πixy W (tx)| ≤ |fb(x)|

e W (tx) → 1 em L1 , quando t → 0, o membro da direita converge quase sempre para fb.
e
Por outro lado, f ∗ Wt → f pontualmente, quando t → 0. Portanto temos a identidade (1)
e o Teorema est´a demonstrado. 

7.2 A Teoria L2 da Transformada de Fourier
A transformada de Fourier de uma fun¸c˜ao f ∈ L2 (R) n˜ao pode ser definida direta-
mente pela integral 7.1.16(1) pois a integral pode n˜ao ser finita. A transformada de Fourier
ser´a definida por um processo limite.

7.2.1 PROPOSIC ˜
¸ AO.

Se f ∈ L1 ∩ L2 ent˜ao

(1) fb ∈ L2 (R);

(2) || f ||L2 = || fb||L2 ;

(3) fb = 0 =⇒ f = 0, q.s..

Demonstra¸c˜
ao. Se Z +∞
g(x) := f (x + y) f (y) dy
−∞

ent˜ao g ∈ C(R) ∩ L1 (R) e
|g(x) ≤ ||τ x f ||L2 = || f ||2L2 .
Introduc
¸a˜o a
` Ana
´ lise 89

Logo g ∈ L∞ (R). Agora, se W ´e o n´ucleo de Weierstrass, vamos ter
Z
g ∗ Wt (x) = g(x − y)Wt (y) dy
ZR

= g(x − y)Wf (ty) dy
ZR
= gb(x − y)W (ty) dy
R

e Z +∞ Z +∞
g ∗ Wε (0) = ge(−y)W (εy) dy = gb(y) W (εy) dy.
−∞ −∞

Agora, como g ∈ C(R) ∩ L∞ (R), gb W ∈ L1 (R) e

gb = (f ∗ f s )∧ = fbfes = | fb|2 ≥ 0.

obtemos
Z +∞
|| f ||22 = g(0) = lim g ∗ Wε (0) = lim gb(y) W (εy) dy
ε→0 ε→0 −∞
Z +∞
= lim |fb(y)|2 W (εy) dy = || fb||22 .
ε→0 −∞

Donde fb ∈ L2 (R) e tamb´em as demais conclus˜oes . 

7.2.2 TEOREMA.

A aplica¸c˜ao F : L1 ∩ L2 −→ L2 definida por

(1) Ff := fb

´e L2 -cont´ınua e tem uma u´nica extens˜ao para todo L2 . Al´em disso, para cada
f ∈ L2 , temos

(2) || Ff ||L2 = || f ||L2 .

Demonstra¸c˜ ao. Se f ∈ L1 ∩ L2 ent˜ao f ∈ L2 e || f ||2 = || Ff ||2 . Como L1 ∩ L2 ´e denso
em L2 segue que F tem uma u ´nica extens˜ao para L2 (R) e

(3) || Ff ||L2 ≤ || f ||L2 ,

para toda f em L2 (R). Agora para demonstrar a desigualdade contr´aria seja (fk )k uma
sequˆencia em L1 ∩ L2 escolhida de modo que fk → f , em L2 , quando k → ∞. Ent˜ao
90 Dicesar Lass Fernandez

fbk → Ff , em L2 , quando k → ∞. Como || fbk ||2 = || fk ||2 vamos ter que || fbk ||2 → || Ff ||2
e || fbk ||2 → || f ||2 . Portanto pela unicidade do limite, temos (2). 

7.2.3 TEOREMA.

Se f e g pertencem `a L2 (R), ent˜ao

Z +∞ Z +∞
(1) f g dx = fbgb dx
−∞ −∞

Z +∞ Z +∞
(2) fbg dx = f gb dx.
−∞ −∞

Demonstra¸c˜
ao. A identidade (1) seque da identidade de polariza¸ca˜o

4 f g = |f + g|2 − |f − g|2 + i|f + ig|2 − i|f − ig|2 .

Para demonstrarmos (2), lembremos que esta identidade ´e v´alida se f e g pertencem a`
L1 ∩ L2 . Fixemos ent˜ao g ∈ L1 ∩ L2 e seja (fk ) uma sequˆencia em L1 ∩ L2 tal que fk → f ,
em L2 , quando k → ∞. Mas ent˜ao
Z +∞ Z +∞
lim fbk (x) gb dx = lim fbk (x) fbk g dx,
k→∞ −∞ k→∞ −∞

pois gb ∈ L2 (R). Por´em, fk e g est˜ao em L1 ∩ L∞ , vamos ter
Z +∞ Z +∞
fbk gb dx = fk g dx
−∞ −∞

e como Z +∞ Z +∞
lim fbk (x) g(x) dx = Ff (x) g(x) dx,
k→∞ −∞ −∞

obtemos (2) para f ∈ L2 e g ∈ L1 ∩ L2 .
Repetindo o processo e fazendo a aproxima¸ca˜o de g por uma sequˆencia (gk ) em L1 ∩L2 ,
segue finalmente (2) para f e g em L2 . 

7.2.4 TEOREMA.

Temos

(1) FL2 = L2 ,
Introduc
¸a˜o a
` Ana
´ lise 91

isto ´e, a aplica¸c˜ao ´e sobrejetora.

Demonstra¸c˜ ao. E ´ claro que FL2 ´e um subespa¸co vetorial de L2 . Vamos demonstrar que
esse subespa¸co ´e fechado em L2 . Para isso seja (fbk ) uma sequˆencia em FL2 , tal que fbk → g,
em L2 , quando ε → ∞. Ent˜ao g ∈ L2 e (fbk ) ´e uma sequˆencia de Cauchy em L2 . A identidade
de Parseval implica que
||fn − fm ||22 = ||fbn − fbm ||22 .
Portanto, existe f ∈ L2 tal que fn → f em L2 e g = fb, q.s.
Agora, se FL2 6= L2 , existe h ∈ L2 (R), h 6= 0, tal que
Z +∞
f h dx = 0,
−∞

para toda f ∈ FL2 (R). Donde
Z +∞ Z +∞
fb
h dx = fbh dx = 0,
−∞ −∞

para toda f ∈ L2 (R). Tomando f = b
h, vamos ter

||b
h||2 = ||h ||2 = 0,

ou seja h = 0, o que ´e uma contradi¸c˜ao . Portanto FL2 = L2 . 

7.2.5 A INTEGRAL DE POISSON
J´a vimos que Z +∞
1
dx = π.
−∞ 1 + x2
Portanto a fam´ılia de fun¸co˜es, definidas em R, por
t
Pt (x) =
π(t2 + x2 )

´e uma identidade aproximada. A fun¸c˜ao, definida em R×]0, ∞[, por
Z +∞
f (x, t) = f ∗ Pt (x) = f (y)Pt (x − y) dy
−∞

denomina-se integral de Poisson da fun¸ca˜o f .

7.2.6 LEMA.

Para todo t > 0, temos
92 Dicesar Lass Fernandez
Z ∞
t
(1) e−t|y| e−2πixy dy = .
−∞ π(t2 + x2 )
Demonstra¸c˜
ao. Temos
Z ∞ Z 0 Z ∞
−t|y| −2πixy (t−2πix)y
e e dy = e dy + e(−t−2πix)y dy
−∞ −∞ 0
e−(t−2πix)k e−(t+2πix)k
 
1 1
= lim − + −
k→∞ t − 2πix t − 2πix t + 2πix t + 2πix
t
= .
π(t + x2 )
2

7.2.7 TEOREMA. Para todo t > 0, o n´
ucleo de Poisson
1 t2
(1) Pt (x) =
π x2 + t 2
´e integr´avel, sua transformada de Fourier (inversa)

(2) Pet (x) = e−2π|x|t

tamb´em ´e integr´avel e Pet = Pt . Al´em disso
b

(3) Ps ∗ Pt = Ps+t ,

para todo s, t > 0.

Demonstra¸c˜
ao. Para todo t > 0, a aplica¸c˜ao

x −→ e−2π|x|t

´e integr´avel e
Z +∞
1 t
(4) e−2π|y|t e−2πixy dy = .
−∞ π x + t2
2

De fato, fazendo γ = −2π|y|t em x.y.z(3), temos
Z +∞ Z +∞ Z ∞ −s
−2π|y|t −2πixy −2πixy 1 e −(π2 y2 t2 )/s
e e dy = e √ √ e ds dy
−∞ −∞ π 0 s
Z ∞ −s
1 e −π(πt2 /s)y2 −2πixy
= √ √ e e dy ds
π 0 s
Z ∞ −s
1 e 1 2 2
= √ √ p e−sx /t ds
π 0 s πt /s 2
Z ∞
1 2 2 1 t
= e−s(1+x /t ) ds = ,
πt 0 π x + t2
2
Introduc
¸a˜o a
` Ana
´ lise 93

ou seja (4) ´e verificada e a fortiori (2). Agora, se s, t > 0, temos

−2π|x|s −2π|x|t
s ∗ Pt (x) = Ps ∗ Pt (x) = e
P^ e = Pes+t (x);
e e

finalmente pela unicidade da transformada de Fourier obtemos (3).

7.2.8 A INTEGRAL DE GAUSS-WEIERSTRASS
Para definir a integral de Gauss-Weierstrass precisamos antes calcular a integral
Z +∞
2
e−x dx.
−∞

Para isso, consideremos a fun¸ca˜o ϕ : [0, ∞[×[0, 1] −→ R definida por
2
e−x(1+t )
ϕ(x, t) = .
1 + t2
A fun¸c˜ao ϕ ´e cont´ınua em [0, ∞[×[0, 1] e deriv´avel em todo x ∈]0, ∞[. Definimos
1 2
e−x(1+t )
Z
Φ(x) = dt.
0 1 + t2

Observemos que Φ ´e cont´ınua e deriv´avel em ]0, ∞[ e, al´em disso,
π
Φ(0) = e lim Φ(x) = 0,
4 x→∞

pois
1 2
e−x(1+t )
Z
−x π
0 < Φ(0) = e 2
dt < e−x .
0 1+t 4
Agora
2

1 1 x
e−x(1+t )
Z Z Z
d d −xt2 1 2
Φ(x) = dt = −e−x e dt = −e−x √ e−u du.
dx dx 0 1 + t2 0 x 0

A fun¸c˜ao Ψ : [0, ∞[−→ ∞ definida por

Z x
1 2
Ψ(x) = √ e−u dx
x 0

´e cont´ınua e limitada em [0, ∞[. Logo, a fun¸ca˜o

Z x
1 2
x ∈ [0, ∞[−→ −e−x √ e−u du
x 0
94 Dicesar Lass Fernandez

´e integr´avel em [0, +∞[ e, fazendo
Z s
2
g(s) = e−u du,
0

2
vamos ter g 0 (s) = e−s , para todo s. Ent˜ao, se n ∈ N, temos

n2
e−x √
Z
2
Φ(n ) − Φ(0) = − √ g( x) dx
x
Z0 n
2
= −2 e−s g(s) ds
Z0 n
= −2 g 0 (s) g(s) ds
0
= −[g(n)]2 + [g(0)]2
Z n 2
−u2
= − e du .
0

Fazendo n → ∞, obtemos
Z ∞ 2
π −u2
− =− e du .
4 0

Donde √
Z ∞
−u2 π
e du = .
0 2
Finalmente, como o integrando ´e par, obtemos
Z +∞ √
2
e−u du = π.
−∞

Portanto, a fam´ılia de fun¸co˜es Wt (x), definidas em R, por

1 2 2
Wt (x) = √ e−x /t
t π

´e uma identidade aproximada. A fun¸c˜ao
Z +∞
1 2 /t2
f ∗ Wt (x) = √ f (y) e−(x−y) dx
t π −∞

denomina-se a integral de Gauss-Weierstrass da fun¸ca˜o f .
Introduc
¸a˜o a
` Ana
´ lise 95

7.3 ˆ
APENDICE: Avalia¸
c˜ao de Algumas Integrais
7.3.1 LEMA. Temos
+∞
eiγx
Z
−γ 1
(1) e = dx, γ > 0;
π −∞ 1 + x2

Z ∞
1 2 )s
(2) = e−(1+x ds;
1 + x2 0


e−s −γ 2 /4s
Z
−γ 1
(3) e =√ √ e ds, γ > 0.
π 0 s

Demonstra¸c˜
ao. A demonstra¸ca˜o de (2) ´e o´bvia. Para a demonstra¸c˜ao de (3), de (1) e (2)
temos
1 +∞ 1
Z
−γ
e = eiγx dx
π −∞ 1 + x2
1 +∞
Z Z +∞ 
−(1+x2 )s
= e ds eiγx dx
π −∞ −∞
Z +∞ Z +∞
1 2
= e−s e−x s eiγx dx ds
π −∞ −∞
1 ∞ −s +∞ iγx−sx2
Z Z
= e e dx ds.
π 0 −∞

Por outro lado
+∞ √ +∞
iγ 2 γ 2
Z 
Z 
iγx−sx2
e dx = exp −( sx − √ ) − dx
−∞ −∞ 2 s 4s
2 √
e−γ /4s +∞ −t2
Z
π 2
= √ e dt = √ e−γ /4s ,
s −∞ s
√ iγ
onde fizemos a mudan¸ca de vari´aveis t = sx − √ ,
2 s
portanto

∞ 2 ∞
e−γ /4s √ e−s −γ 2 /4s
Z Z
−γ 1 −s 1
e = e √ π ds = √ √ e ds.
π 0 s π 0 s

96 Dicesar Lass Fernandez
Cap´ıtulo 8
´
SERIES DE FOURIER

8.1 Fun¸c˜
oes Peri´
odicas
8.1.1 DEFINIC ˜
¸ AO.

Uma fun¸c˜ao f : R −→ C ´e peri´odica se existe um n´umero p ∈ R tal que

(1) f (x + p) = f (x),

para todo x ∈ R. O menor p que verifica (1) denomina-se o per´ıodo fundamental ou
simplesmente per´ıodo da f .

Dado um intervalo [a, b[ e uma fun¸ca˜o f : [a, b[−→ C, podemos definir uma fun¸c˜ao
peri´odica f˜ :−→ C com per´ıodo p = b − a de modo que, para x ∈ [a, b[

f˜(x) = f (x).

De fato, coo qualquer y ∈ R ´e da forma y = x + kp, com k ∈ Z e x ∈ [a, b[, basta definir

f˜(x + kp) := f (x).

Observe que o intervalo inicial [a, b] n˜ao ´e mais relevante. Se [a, b[ ´e outro intervalo de
comprimento p, podemos restringir a fun¸c˜ao peri´odica f˜ ao intervalo [c, d[ e fazer novamente
uma extens˜ao de per´ıodo p; obteremos a mesma fun¸ca˜o per´ıodica f˜.
no que segue vamos considerar sempre uma fun¸ca˜o f definida em um intervalo [a, b[ e
sua extens˜ao peri´odica, definida em R, que denotaremos pela mesma letra f .
Tamb´em, vamos nos restringir principalmente as fun¸c˜oes com per´ıodo 2π:

f (x + 2π) = f (x).

97
98 Dicesar Lass Fernandez

8.2 Produto Interno e Norma de Fun¸
c˜oes Peri´
odicas
8.2.1 Se f e g s˜ao fun¸c˜oes complexas, peri´odicas de per´ıodo 2π, e de quadrado integr´avel
no intervalo [−π, π]. Definimos o produto interno
Z π
1
(2) hf, gi := f (x) g(x) dx
2π −π
e
s Z π
1
(3) || f ||2 := |f (x)|2 dx.
2π −π

Denominaremos || f ||2 de norma m´edia quadr´atica. Observe que o presente produto
interno e sua associada norma m´edia quadr´atica difere do anteriormente introduzido pela
fator 2π. Este fator tem uma fun¸c˜ao normalizadora, isto ´e se f (x) ≡ 1 ent˜ao || 1 ||2 = 1.

Observe que (1) e (2) n˜ao dependem do intervalo [−π, π[. Poderiamos ter usado qual-
quer outro intervalo de per´ıodo 2π, como o intervalo [0, 2π[.

8.3 Polinˆ
omios e S´
eries Trigonom´
etricos
8.3.1 Um polinˆ
omio trigonom´
etrico ´e um polinˆomio da forma

n
X
(1) P (t) = (ak cos kt + bk sen kt)
k=0

O inteiro n ´e o grau do polinˆomio.

Uma s´
erie trigonom´
etrica ´e uma s´erie da forma


X
(2) (ak cos kt + bk sen kt)
k=0

8.3.2 O polinˆomio 11.2.1(1) e a s´erie 11.2.1(2) podem ser expressas na forma exponencial.
De fato, usando-se a f´ormula de Euler, vamos ter:
Introduc
¸a˜o a
` Ana
´ lise 99

(1) eikt = cos kt + isen kt e e−ikt = cos kt − i sen kt,

portanto

eikt + e−ikt eikt − e−ikt
(2) cos kt = e sen kt =
2 2i
Substituindo as rela¸c˜oes 11.2.2(2) em 11.2.1(1) obtemos

n 
eikt + e−ikt eikt − e−ikt
X 
(3) P (t) = a0 + ak + bk
k=1
2 2i
n     
X ak − ibk ikx ak + ibk −ikx
= a0 + e + e
k=1
2 2

Agora, fazendo

ak + ibk ak − ibk
(4) c 0 = a0 , c−k = e c+k =
2 2
para k = 1, 2, ..., obtemos

n
X
(5) P (t) = ck e+ikt ,
k=−n

e

X
(6) ck e+ikt .
k=−∞

8.4 Polinˆ
omios e S´
eries de Fourier.
8.4.1 Consideraremos o sistema exponencial

(1) (eikt ; k ∈ Z)

e observemos que este sistema ´e ortonormal:
100 Dicesar Lass Fernandez

Z π 
1 ikt −iht 1 se k = h,
(2) e e dt =
2π −π 0 se k 6= h

8.4.2 COEFICIENTES DE FOURIER. Dada uma fun¸c˜ao f : R −→ R, peri´odica de
per´ıodo 2π e integr´avel no intervalo [−π, π], definimos seu k-´esimo coeficiente de Fourier
por

Z π
1
(1) fb(k) = f (t)e−ikt dt =< f , eikt >, k ∈ Z.
2π −π

Observemos que os coeficientes de Fourier s˜ao funcionais lineares, isto ´e

(f + g)b= fb + gb e (λ f )b= λ fb.

8.4.3 Dada uma fun¸c˜ao f peri´odica de per´ıodo 2π e integr´avel no intervalo [−π, π], o
polinˆomio

N
X
(1) SN (f ; t) = fb(k)eikt
k=−N

denomina-se o polinˆ
omio de Fourier da fun¸ca˜o f , e a s´erie


X
(2) S(f ; t) = fb(k)eikt
k=−∞

denomina-se a s´erie de Fourier da fun¸ca˜o f .

´ importante observar que S(f, t) ´e um s´ımbolo que representa a s´erie de Fourier da
E
fun¸ca˜o f n˜ao estando impl´ıcito de forma alguma que represente a pr´opria fun¸ca˜o f . Nosso
objetivo ´e procurar condi¸c˜oes para que uma s´erie de Fourier convirja e al´em disso convirja
para a fun¸c˜ao que a gerou.

NOTAC ˜ . Denotaremos por L22π e C2π , respectivamente, a classe das fun¸oes de
¸ AO
quadrado integr´avel e das fun¸co˜es cont´ınuas, respectivamente, peri´odicas de per´ıodo 2π.
Introduc
¸a˜o a
` Ana
´ lise 101

8.5 O N´
ucleo de Dirichlet
O N -´esimo polinˆomio de Fourier de uma fun¸c˜ao f ∈ L22π pode ter uma express˜ao
integral.

8.5.1 TEOREMA. Se f ∈ L22π ent˜ao

Z π
1
(1) SN (f ; t) = f (t + s)DN (s)ds
2π −π

onde

sen (N + 12 s)
(2) DN (s) =
sen 21 s

´e o chamado n´
ucleo de Dirichlet.

Demonstra¸c˜
ao. Vamos ter

N N Z π
X X 1
(3) SN (f ; t) = fb(k)eikt = f (s)eik(t−s) ds
k=−N k=−N
2π −π
Z π N
1 X
= f (s) eik(t−s) ds
2π −π k=−N

Por outro lado

N
X e−iN t − ei(N +1)t e−it/2 e−iN t − ei(N +1)t
(4) eikt = =
k=−N
1 − eit e−it/2 1 − eit
1 1
e−i(N + 2 )t − ei(N + 2 )t sen (N + 1/2)t
= −it/2 it/2
=
e −e sen t/2

Portanto, de (3), segue que
π
sen (N + 1/2)(t − s)
Z
1
SN (f, t) = f (s) ds
2π −π sen (t + s)/2
Finalmente, uma mudan¸ca de vari´avel implica (1).
102 Dicesar Lass Fernandez

OBSERVAC ˜
¸ AO. Para todo s ∈ R, temos

DN (s) = DN (s + 2π)

e
Dn (−s) = DN (s).

´
8.5.2 ESCOLIO. Temos

Z π
1
(1) DN (t)dt = 1.
2π −π

Demonstra¸c˜
ao. De 11.4.1(4) obtemos
Z π N Z π
sen (N + 1/2)t X
dt = eikt dt = 2π.
−π sen t/2 k=−N −π

8.6 O Lema de Riemann e Consequˆ
encias
Um resultado fundamental sobre os coeficientes de Fourier de uma fun¸c˜ao f ∈ L12π ´e o
seguinte.

8.6.1 LEMA DE RIEMANN. Se f ∈ L12π ent˜ao

(1) lim fb(k) = 0.
|k|→∞

Demonstra¸c˜
ao. Dividiremos a demonstra¸c˜ao em trˆes partes

a Parte: Coeficientes de Fourier est˜ao definidos para fun¸c˜oes caracteristicas de intervalos.

Podemos tomar ent˜ao f (x) = χI (t), onde I = |a, b|, e neste caso temos
Z π
1 1 b
lim fb(k) = χI (t)e−itk dt = lim e−ikt a = 0.
|k|→∞ 2π −π |k|→∞ −2πik

2¯a Parte: Os coeficientes de Fourier est˜ao definidos para fun¸co˜es em escada
P
f (x) = cn χIn (t), onde In0 ∩ In00 6= ∅. Ent˜ao, pela primeira parte e a linearidade
Introduc
¸a˜o a
` Ana
´ lise 103

dos coeficientes de Fourier, temos tamb´em (1).

a Parte: Finalmente, se f ´e uma fun¸ca˜o integr´avel, dado ε > 0 seja ϕ(t) =

P
cn χIn (t) tal
que

|f (t) − ϕ(t)| < ε
para todo t; ent˜ao, somando e subtraindo ϕ, temos
Z π
1
lim |f (k)| ≤
b |f (t) − ϕ(t)|dt + lim |ϕ(k)|
b < ε.
|k|→∞ 2π −π |k|→∞



Para apresentar uma primeira rela¸c˜ao entre a s´erie de Fourier S(f ; t) e a fun¸c˜ao f
precisaremos da seguinte modifica¸c˜ao do Lema de Riemann.

8.6.2 LEMA DE RIEMANN GENERALIZADO. Se f ∈ L12π ent˜ao

Z π
(1) lim f (t) sen (N + 1/2)tdt = 0.
|N |→∞ −π

Demonstra¸c˜
ao. Como

1 1 1
sen (N + )t = sen N t cos t + cos N t sen t
2 2 2
e como

1 1
g(t) = f (t) cos t e h(t) = f (t)sen t
2 2
s˜ao fun¸co˜es cont´ınuas, do Lema de Riemann 11.5.1 segue a afirma¸c˜ao. 

Usando o Lema de Riemann Generalizado e uma hip´otese adicional (forte) sobre a
fun¸ca˜o f ∈ Reg2π vamos mostrar que SN (f ; t) converge para f (t), para todo t.

8.6.3 PROPOSIC ˜
¸ AO.

Seja f ∈ C2π uma fun¸c˜ao deriv´avel tal que f 0 ∈ C2π . Ent˜ao, para todo t,

(1) lim SN (f ; t) = f (t),
|N |→∞
104 Dicesar Lass Fernandez

Demonstra¸c˜
ao. Usando o n´
ucleo de Dirichlet obtemos

Z π Z π
sen (N + 1/2)s sen (N + 1/2)s
SN (f ; t) − f (t) = f (t + s) ds − f (t) ds
−π 2πsen s/2 −π 2πsen s/2
1 π f (t + s) − f (t) s/2
Z
= sen (N + 1/2)sds.
π −π s sen s/2

Agora, como

f (t + s) − f (t) s/2
gt (s) =
s sen s/2

´e uma fun¸ca˜o cont´ınua, o resultado segue de resultados j´a demonstrados. 

8.6.4 OBSERVAC ˜
¸ AO. A condi¸ca˜o da fun¸c˜ao f ter uma derivada cont´ınua pode ser relax-
ada, mas n˜ao a` ponto de se exigir que a fun¸c˜ao seja apenas cont´ınua. Um resultado an´alogo
para fun¸co˜es cont´ınuas, mas com outro tipo de polinˆomio, ser´a tratado na pr´oxima se¸c˜ao.
A equa¸c˜ao 11.3.7(1) indica convergˆencia pontual. Posteriormente, vamos mostrar que
na realidade a convergˆencia ´e uniforme.

8.7 O N´
ucleo de F´
ejer
Os n´
ucleos de F´ejer est˜ao ligados `a representa¸c˜ao integral de m´edias de somas parciais.

8.7.1 Seja f ∈ Reg2π e lembremos que

n Z π
X
ikt 1 sen (n + 1/2)s
Sn (f, t) = fb(k)e = f (s − t) ds.
k=−n
2π −π sen s/2

Consideremos, agora, a m´edia de ordem n de Sn (f, t):

n Z π
Pn
1 X 1 k=0sen (k + 1/2)s
σn (f, t) = Sk (f ; t) = f (s − t) ds
n + 1 k=0 2π −π (n + 1)sen s/2

Mas sen qs = Im(eiqs ), q ∈ R, e portanto
Introduc
¸a˜o a
` Ana
´ lise 105

n n+1
X
i(k+1/2)s −is/2
X
iks −is/2 is 1 − ei(n+1)s
e = e e =e e
k=0 k=1
1 − eis
1 − ei(n+1)s 1 1 − ei(n+1)s
= eis/2 =
1 − eis e−is/2 1 − eis
1 − ei(n+1)s 1 ei(n+1)s − 1
= −is/2 =
e − eis/2 2i sen s/2
i 1 − cos(n + 1)s − isen (n + 1)s
= .
2 sen s/2
Consequentemente, e pelo mesmo argumento, obtemos
n n
X X 1 − cos(n + 1)s sen 2 (n + 1)s/2
sen (k + 1/2)s = Im{ ei(k+1/2)s } = =
k=0 k=0
2sen s/2 sen s/2
O n´
ucleo de F´
ejer ´e dado ent˜ao por

sen 2 (n + 1)s/2
(1) Fn (t) =
(n + 1)sen 2 s/2
e a express˜ao integral para a m´edia de ordem n assume a forma

π
sen 2 (n + 1)s/2
Z
1
(2) σn (f ; t) = f (t − s) ds.
2π −π (n + 1)sen 2 s/2

8.7.2 TEOREMA. O n´
ucleo de Fejer ´e uma identidade aproximada, isto ´e tem as pro-
priedades

(1) Fn (t) ≥ 0;
Z π
1
(2) Fn (t)dt = 1;
2π −π
(3) Fn (t) ≤ 1/2(n + 1)sen 2 (δ/2), 0 < δ ≤ |t| ≤ π.

Demonstra¸c˜
ao. Exerc´ıcio para o leitor.

ejer). Se f ∈ C2π ent˜ao σn (f, t) converge uniformemente para a
8.7.3 TEOREMA (de F´
fun¸ca˜o f .
106 Dicesar Lass Fernandez

ao. Dado ε > 0, seja δ > 0 tal que se |s| ≤ δ ent˜ao
Demonstra¸c˜

|f (t − s) − f (t)| < ε
para todo t. (Isto ´e poss´ıvel! Por quˆe?). Utilizando este δ, obtemos

Z π
|σn (f ; t) − f (t)| ≤ |f (t − s) − f (t)|Fn (s)ds
−π
Z Z
= |f (t − s) − f (t)|Fn (s)ds + |f (t − s) − f (t)|Fn (s)ds
|s|≤δ δ≤s≤π

≤ ε + ||f ||∞ /(n + 1)sen 2 δ/2,

o que implica imediatemente o teorema. 

Um corol´ario imediato mas importante do teorema de F´ejer ´e o seguinte.

´
8.7.4 COROLARIO. Se f ∈ C2π e fb(k) = 0, para todo k ∈ Z, ent˜ao f (t) = 0, para todo
t.
Demonstra¸c˜ao. De fato, se fb(k) = 0, para todo k ∈ Z, ent˜ao σn (f, t) = 0, para todo t.
Agora, como σn (f ) −→ f segue que f (t) = 0. 

Como consequˆencia do Corol´ario 11.4.4 obtemos a importante propriedade de unici-
dade.

´
8.7.5 COROLARIO. Se f, g ∈ C2π s˜ao fun¸c˜oes tais que fb(k) = gb(k), para todo k ∈ Z,
ent˜ao f ≡ g.

8.7.6 OBSERVAC ˜
¸ AO. ´ simples verificar a sequinte express˜ao para o polinˆomio de F´ejer:
E

1
σn (f, t) = [S0 (f, t) + S1 (f, t) + · · · + Sn (f, t)]
n+1
n
a0 X k
= + (1 − )(ak cos kt + bk sen kt)
2 k=1
n + 1

Isto motiva a introdu¸c˜ao do seguinte operador
n
a0 X k α
σnα (f, t) = + (1 − ) (ak cos kt + bk sen kt), α > 0.
2 k=1
n+1
Coloca-se o problema de estudar as propriedades de σnα (f, t) e suas poss´ıveis aplica¸co˜es.
Introduc
¸a˜o a
` Ana
´ lise 107

8.8 Processo de Somabilidade de Abel-Poisson
Consideremos a s´erie de Fourier de uma fun¸ca˜o f ∈ L12π

a0 X
S(f ; t) = + (ak cos kt + bk sen kt).
2 1

Para 0 < r < 1 definimos

a0 X k
fr (t) := + r (ak cos kt + bk sen kt)
2 1

que converge absoluta e uniformemente quando 0 ≤ r < 1.

Da defini¸ca˜o temos
π ∞ π
rk
Z Z
1 X
fr (x) = f (s) ds + (cos kt cos ks + sen kt sen ks) f (s) ds
2π −π 1
π −π
Z π Z π ∞
1 k
X
= f (s) ds + r cos k(t − s) f (s) ds
2π −π 1 −π

1 π 1 X k
Z
= [ + r cos ks] f (s + t) ds
π −π 2 1

Mas ∞ ∞
1 X k 1 X k iks
+ r cos ks = <{ + r e }
2 1
2 k=1
e

1 X k iks 1 reis 1 + r eis
+ r e = + =
2 k=1 2 1 − r eis 2(1 − r eis )
1 + r eis 1 − r e−is
=
2(1 − r eis ) (1 − r e−is )
1 + i sen t − r2
=
2(1 − r cos s + r2 )
donde ∞
1 X k 1 − r2
+ r cos ks = := π P (s, r)
2 1
2(1 − r cos s + r2 )
e
π
1 − r2
Z
fr (t) = f (t, r) = f (s) ds
2π(1 − r cos(t − s) + r2 )
Z−π
π
= f (s) P (t − s, r) ds.
π
108 Dicesar Lass Fernandez

Al´em dissso, temos Z π
P (s, r) ds = 1
−π

8.9 O Polinˆ
omio de Melhor Aproxima¸
c˜ao
A aproxima¸c˜ao na norma m´edia quadr´atica tem a vantagem de permitir conhecer o
polinˆomio p∗n que melhor aproxima uma fun¸ca˜o dada.

8.9.1 DEFINIC ˜
¸ AO. Seja || · || uma norma arbitr´aria em L12π . Dada uma fun¸ca˜o f ∈ L12π
definimos a melhor aproxima¸c˜ ao polinomial de f por

(1) En (f ) = inf ||f − pn ||,

onde o ´ınfimo ´e tomado sobre todos os polinomios (trigonom´etricos) de grau ≤ n.
Diremos que um polinˆomio (trigonom´etrico) p∗n ´e um polinˆ
omio de melhor aproxima¸c˜
ao
1
de uma fun¸c˜ao f ∈ L2π se

(2) En (f ) = ||f − p∗n ||.

Vamos vˆer que na norma quadr´atica toda fun¸ca˜o cont´ınua f ∈ L12π tem um polinˆomio p∗n de
melhor aproxima¸ca˜o: o seu polinˆomio de Fourier.
n
X
8.9.2 UM PROBLEMA VARIACIONAL. Se f ∈ L22π e Pn (t) = ck eikt , onde os ck
k=−n
s˜ao coeficientes arbitr´arios, vamos ter

n
X X
(1) ||f − Pn ||22 = <f− ck eikt , f − ck eikt >
k=−n k=−n
n
X n
X n
X
= ||f ||22 − ck fb(k) − ck fb(k) + |ck |2
k=−n k=−n k=−n
Xn n
X
= ||f ||22 + |ck − fb(k)|2 − |fb(k)|2 .
k=−n k=−n

Da rela¸c˜ao acima segue que o ´ınfimo sobre todos os polinˆomios de grau ≤ n ´e atingido quando
ck = fb(k), k ∈ Z. Portanto na norma m´edia quadr´atica o polinˆomio de melhor aproxima¸c˜ao
existe, ´e u
´nico e ´e o polinˆomio de Fourier da fun¸c˜ao dada f :
Introduc
¸a˜o a
` Ana
´ lise 109

EN (f ) = ||f − SN (f )||2 .

Tamb´em, como consequˆencia da rela¸c˜ao 11.8.2(1) obtemos as seguintes desigualdades
fundamentais.

8.9.3 A DESIGUALDADE DE BESSEL. Se f ∈ L22π ent˜ao

N
X
(1) |fb(k)|2 ≤ ||f ||22
k=−N

e


X
(2) |fb(k)|2 ≤ ||f ||22 .
k=−∞

|fb(k)|2 ´e convergente, o que implica
P
A desigualdade de Bessel diz ent˜ao que a s´erie k
consequentemente o Lema de Riemann:

lim |fb(k)| = 0.
|k|→∞

8.9.4 TEOREMA.

Se f ∈ L12π , ent˜ao as seguintes afirma¸co˜es s˜ao equivalentes:
A) Sn (f, t) coverge para f , em m´edia quadr´atica:
Z π
(1) lim |f (t) − Sn (f, t)|2 dt = 0;
k→∞ −π

B) Vale a identidade de Parseval
Z π ∞
1 X
(2) f (t)g(t)dt = fb(k)b
g (k); (identidade de Parseval)
2π −π k=−∞

C) Vale a igualdade de Bessel
Z π ∞
1 X
(3) |f (t)|2 dt = |fb(k)|2 ; (igualdade de Bessel)
2π −π k=−∞
110 Dicesar Lass Fernandez

Demonstra¸c˜
ao. A) =⇒ B): segue por passagem ao limite na desigualdade

Z π n Z π n Z π
1 X 1 X1
| f (t)g(t)dt − g (k)| = |
fb(k)b f (t)g(t)dt − fb(k) g(t)eikt dt|
2π −π k=−n
2π −π k=−n
2π −π
Z π n
1 X
≤ |g(t)| |f (t) − fb(k)eikt |dt
2π −π k=−n
≤ ||g||2 ||f − Sn (f )||2 .

B) =⇒ C): basta fazer f = g em (2).

C) =⇒ A): segue por passagem ao limite na identidade
Z π n
X Z π n
X
|f (t) − fb(k)eikt |2 dt = 2
|f (t)| dt − |fb(k)|2 .
−π k=−n −π k=−n

8.9.5 TEOREMA.

Se f ∈ L2π ent˜ao

lim ||f − Sn (f )||2 = 0.
n→∞
Demonstra¸c˜ ao. Segue do Teorema de Aproxima¸ca˜o de Weierstrass e do fato do polinˆomio
de Fourier ser o polinˆomio de melhor aproxima¸ca˜o. 

8.9.6 TEOREMA.

Se f, g ∈ L2π s˜ao tais que fb = gb, para todo k ∈ Z, ent˜ao f = g, q.s.

Demonstra¸c˜
ao. Segue de 

8.9.7 TEOREMA DE RIESZ-FISCHER

Seja (ck )k uma sequˆencia de escalares tal que

X
|cn |2 < ∞,
n=−∞

(isto ´e (cn ) ∈ `2 ). Ent˜ao, a fun¸c˜ao f ∈ L2π tal que
n
X
lim ||f − ck eikx ||2 = 0.
n→∞
k=−n

Al´em disso, ck = fb(k), para todo k ∈ Z.
Introduc
¸a˜o a
` Ana
´ lise 111

ao. Para cada n ∈ Z, fa¸camos
Demonstra¸c˜
n
X
Sn (x) = ck eikx .
k=−n

Ent˜ao, se m, n ∈ N e n > m, temos

||Sn − Sm ||22 = c2m+1 + ... + c2n .

Portanto a sequˆencia de fun¸c˜oes (Sn ) ´e uma sequˆencia de Cauchy em L2π . O fato de o espa¸co
L2π ser completo garante a existˆencia de uma fun¸ca˜o f ∈ L2π tal que

lim ||f − Sn ||2 = 0.
n→∞

Por outro lado, para cada k ∈ Z, temos
Z π Z π
−kix
|fb(k) − ck | = | f (x)e dx − ck | ≤ |f − S|k|+m |2 dx,
−π −π

para todo m ∈ N. Fazendo m → ∞ obtemos o resultado. 

8.10 S´
eries de Fourier Absolutamente Convergentes
8.10.1 LEMA.

Seja f ∈ C2π tal que f 0 ∈ C2π . Ent˜ao, para todo k ∈ Z, temos

(1) fb0 (k) = ik fb(k)

Demonstra¸c˜
ao. Temos
Z π
ik π
Z
0 1 0 −ikt 1
f (k) =
b f (t)e dt = ikt π
[f (t) − e ]−π + f (t)e−ikt dt = ik fb(k) .
2π −π 2π 2π −π



8.10.2 TEOREMA.

Seja f ∈ C2π tal que f 0 ∈ C2π . Ent˜ao SN (f ) converge absoluta e uniformemente
para f .
112 Dicesar Lass Fernandez
P
Demonstra¸c˜
ao. Vamos demonstrar que k |fb(k)| < ∞. De fato:
n n n
X X 1 X 0
1
|fb(k)| = |ik fb(k)| = |fb (k)|
k=−n k=−n
1k k=−n
k
n n
X X 1 1/2
≤ { |fb0 (k)|2 }1/2 { }
k=−n k=−n
k2
∞ ∞
X X 1 1/2
≤ { |fb0 (k)|2 }1/2 {2 }
k=−∞ k=1
k2
Z π ∞
X 1 1/2
≤ { |f 0 (t)|2 dt}1/2 { 2
} <∞.
−π k=1
k

O resultado segue ent˜ao do teste de Weierstrass.

O seguinte crit´erio ´e devido `a S. Bernstein que generaliza o Teorema 11.9.2, mas tem
uma demonstra¸ca˜o mais elaborada.

8.10.3 TEOREMA (de BERNSTEIN).

Suponhamos que f ∈ Lipα (2π) para algum α > 1/2. Ent˜ao


X
(1) |fb(k)| < ∞.
k=−∞

Demonstra¸c˜
ao. Temos

X
f (t + h) − f (t − h) ∼ fb(n)(einh − e−inh )eint .
−∞

Aplicando a identidade de Parseval e lembrando que sen nh = (einh − e−inh )/2i, obtemos
Z π ∞
X
2
|f (t + h) − f (t − h)| dt = 4 |fb(n)|2 sen 2 nh
−π −∞

Agora, como sen 2 nh > 3/4 se π/3 ≤ |nh| ≤ 2π3, tomando h = π/3.2m vamos ter 2m ≤
|n| ≤ 2m+1 e

X X
(2) 4 |fb(n)|2 sen 2 nh ≥ 3 |fb(n)|2 .
−∞ 2m ≤|n|≤2m+1
Introduc
¸a˜o a
` Ana
´ lise 113

Por outro lado Z π
1
|f (t + h) − f (t − h)|2 dt ≤ ω(2h; f )2
2π −π

e portanto
X π
3 |fb(n)|2 ≤ ω( ; f) .
3.2m
2m ≤|n|≤2m+1

Mas

X ∞
X X
|fb(n)|2 = |fb(0)|2 + |fb(n)|2
−∞ m=1 2m ≤|n|≤2m+1

e aplicando a desigualdade de Cauchy-Schwartz (na soma finita) obtemos

X ∞
X X
|fb(n)| ≤ |fb(0)| + 2m/2 ( |fb(n)|2 )1/2
n=−∞ m=1 2m ≤|n|≤2m+1

X π
≤ |fb(0)| + C 2m/2 ω( ; f)
m=1
3.2m

X 3
≤ |fb(0)| + C ||f ||Lipα ( )2m/2−mα .
m=1
π

Como α > 1/2, a s´erie na u
´ltima desigualdade ´e convergente e o teorema est´a demonstrado.

8.10.4 OBSERVAC ˜
¸ AO. O Teorema de Bernstein ´e o melhor poss´ıvel no sentido de que o
resultado ´e falso para α = 1/2. A fun¸c˜ao associada a s´erie

X ein log n int
(1) e
n=1
n

pertence `a Lip1/2 mas a s´erie 11.9.4(1) n˜ao ´e absolutamente convergente.

8.11 Ordem de Aproxima¸

ao e Classes de Lipschitz

Todas as fun¸c˜oes cont´ınuas e peri´odicas podem ser aproximadas uniformemente pelas m´edias
de Fej´er de suas s´eries de Fourier. Um problema que se apresenta ´e se podemos estimar a
ordem ou erro dessa aproxima¸ca˜o. Isto ´e, qual a rela¸c˜ao entre a ordem do polinˆomio e o
erro da aproxima¸ca˜o? Conhecendo-se uma estimativa da ordem de convergˆencia, poder´ıamos
tirar conclus˜oes referentes a estrutura da fun¸ca˜o limite?
114 Dicesar Lass Fernandez

Vamos discutir essa quest˜oes no contexto das fun¸co˜es lipschitzianas. O primeiro resultado ´e
devido `a D. Jackson.

8.12 Teorema de Aproxima¸

ao Direta.
8.12.1 TEOREMA.

Se f ∈ Lipα , com 0 < α < 1, ent˜ao

Cα M
(1) ||f − σn (f )||∞ ≤ ,
(n + 1)α
onde σn (f ) ´e a m´edia de Fej´er da s´erie de Fourier da fun¸c˜ao f, Cα ´e uma constante
e

M = sup t−α ω(t, f ) .
t>0

Demonstra¸c˜
ao. Temos
Z π
σn (f )(x) − f (x) = ∆∗t f (x)Fn (t)dt
0

onde
∆∗t f (x) = f (x + t) + f (x − t) − 2f (x) .
Fazendo uma mudan¸ca de vari´avel obtemos:

Z π
1
|σn (f )(x) − f (x)| ≤ |∆∗t f (x)|Fn (t)dt
2π 0
Z π/2
1 sen 2 (n + 1)t
= |∆∗2t f (x)| dt
(n + 1)π 0 sen 2 t
Z π/2
21+α M sen 2 (n + 1)t
≤ tα dt
(n + 1)π 0 sen 2 t
2α M π/2 sen 2 (n + 1)t
Z
≤ dt
n+1 0 t2−α
Z n+1 π
2α M π 2 sen 2 s
≤ ds
(n + 1)α 0 s2−α
Cα M
= ,
(n + 1)α
Introduc
¸a˜o a
` Ana
´ lise 115

pois
n+1
π
sen 2 s
Z
2
ds < ∞ .
0 s2−α
O teorema est´a demonstrado. 

8.13 Teorema de Aproxima¸

ao Inversa.
Vamos agora estudar a rec´ıproca do teorema de Jackson. A quest˜ao ´e a seguinte: se uma
fun¸ca˜o f pode ser aproximada na ordem de n−α por um polinˆomio de grau ≤ n, o que pode
ser dito a` respeito da fun¸c˜ao? Este problema foi resolvido por S. Bernstein. Para a sua
demonstra¸ca˜o vamos precisar de um lema conhecido como Lema de Bernstein.

8.13.1 LEMA DE BERNSTEIN.

Se Pn ´e um polinˆomio trigonom´etrico de grau n, ent˜ao sua derivada P 0 satisfaz `a
desigualdade

(1) ||P 0 ||∞ ≤ 2(n + 1)||P ||∞ .

Demonstra¸c˜
ao. Como
Z π
1
Pn (x) = Pn (y)Dn (y − x)dy ,
π −π

derivando sob o sinal de integra¸ca˜o obtemos

1 π
Z
0
Pn (x) = Pn (x + y)Dn0 (y)dy .
π −π

Mas tendo em vista a ortogonalidade do sistema trigonom´etrico podemos somar a` Dn0 um
polinˆomio triogonom´etrico Q(y) sem alterar o valor da integral desde que contenha somente
termos de ordem > n:
1 π
Z
0
(2) P (x) = Pn (x + y){Dn0 (y) + Q(y)}dy .
π −π

Tomemos
n
X
Q(y) = (n + 1)sen (n + 1)y + cos(2n + 2 − k)y .
k=1
116 Dicesar Lass Fernandez

Como
n
d 1 X
Dn0 (y) = [ + cos y + ... + cos ny] = − ksen ky ,
dy 2 k=1

Dn0 (y) + Q(y) =
n
X
= (n + 1)sen (n + 1)y + k[sen (2n + 2 − k)t − sen kt]
k=1
n
X
= (n + 1)sen (n + 1)y + 2sen (n + 1)y + k cos(n + 1 − k)y
k=1
n
n+1 X
= 2sen (n + 1)y[ + (n + 1 − k) cos ky] .
2 k=1

Lembrando que a en´ezima m´edia de Fej´er ´e
n
1 Xn+1−k
Fn (y) = + cos ky ,
2 k=1 n + 1

obtemos

(3) Dn0 (y) + Q(t) = 2(n + 1)sen nyFn (y) .

Finalmente como o n´
ucleo de Fej´er ´e positivo e sua integral vale 1 obtemos de (2) e (3)
Z π
0 1 2(n + 1)
|P (x)| ≤ |Pn (x + y)|2(n + 1)Fn (y)dy ≤ ||Pn ||∞
π −π π

que ´e a desigualdade procurada. 

Estamos agora em condi¸c˜oes de enunciar e demonstrar o Teorema de Bernstein ou
teorema inverso de aproxima¸ca˜o.

8.13.2 TEOREMA.

Seja {Pn } uma sequˆencia de polinˆomios trigonom´etricos tal que o grau de Pn ´e ≤ n.
Se Pn converge uniformemente para uma fun¸c˜ao f de maneira que

(1) ||f − Pn ||∞ ≤ Cn−α (0 < α < 1)

ent˜ao f ∈ Lipα .
Introduc
¸a˜o a
` Ana
´ lise 117

Demonstra¸c˜
ao. Como
f (x) = lim P2n (x) ,
n→∞

vamos ter

X
f (x) = P1 (x) + [P2k (x) − P2k+1 (x)] .
k=1

Fazendo Q2n (x) = P2n (x) − P2n−1 e g(x) = f (x) − P1 (x) vamos ter

X
g(x) = Q2k (x) .
k=1

De (1) vemos que

||Q2k ||∞ ≤ ||Q2k − f ||∞ + ||f − Q2k ||∞ ≤ C2−αk ,

e pelo Lema de Bernstein obtemos

||Q02k ||∞ ≤ C2k(1−α) .

Escolhemos agora h, com 0 < h ≤ 1/2, e um inteiro N de modo que 2−N < h ≤ 2−(N −1) ;

X
g(x + h) − g(x) = [Q2k (x + h) − Q2k (x)]
k=1
XN ∞
X
= ∆h Q2k (x) + ∆h Q2k (x) .
k=1 k=N +1

Para estimar a primeira soma, utilizamos o Teorema da M´edia:
N
X N
X N
X
(3) |∆h Q2k (x)| ≤ h ||Q02k ||∞ ≤ Ch 2k(1−α)
k=1 k=1 k=1
N −N α −N α
≤ Ch 2 2 ≤ C2 ≤ Chα

Quanto a segunda soma, temos

X ∞
X ∞
X
(4) |∆h Q2k (x)| ≤ h ||Q2k ||∞ ≤ Ch 2−kα
N +1 N +1 N +1
−N α α
≤ C2 ≤ Ch .

De (3) e (4) segue que
|g(x + h) − g(x)| ≤ Chα .
118 Dicesar Lass Fernandez

Como P1 ´e um polinˆomio trigonom´etrico de grau 1, a rela¸ca˜o

|P1 (x + h) − P1 (x)| ≤ Chα

est´a claramente satisfeita. Portanto

||∆h f ||∞ ≤ ||∆h g||∞ + ||∆h P1 ||∞ ≤ Chα ;

ou seja f ∈ Lipα .
Cap´ıtulo 9

A MEDIDA DE LEBESGUE

9.1 A Medida Exterior de Lebesgue
9.1.1 INTERVALOS EM R. Os intervalos [a, b], [a, b[, ]a, b] e ]a, b[ ser˜ao denotados
indistintamente por

I = |a, b|,
desde que n˜ao se fa¸ca necess´ario explicitar o tipo de intervalo em considera¸ca˜o.
O comprimento de um intervalo I = |a, b| ´e definido por

`(|a, b|) := b − a.

EXERC´ ICIO. Seja Q0,1 o conjuntos dos racionais entre 0 e 1 e seja {In } uma cole¸c˜ao finita de
P
intervalos abertos recobrindo Q0,1 . Demonstre que `(In ) ≥ 1.

9.1.2 DEFINIC ˜
¸ AO.

Seja A um subconjunto arbitr´ario de R. A medida exterior de Lebesgue do
conjunto A ´e definido por
(∞ ∞
)
X [
m∗ (A) := inf `(Ik ) ; A ⊂ Ik ,
k=1 k=1

onde o ´ınfimo ´e tomado sobre todos os recobrimentos do conjunto A por intervalos
abertos (Ik )k∈N .

Observe que m∗ (A) assume valores em R+ ∪ {+∞}.

9.1.3 EXEMPLO.

119
120 Dicesar Lass Fernandez

Se E ´e um subconjunto enumer´avel de R ent˜ao a medida exterior de E ´e nula:
m∗ (E) = 0.

De fato, se E = {x1 , . . . , xn , . . .}, dado ε > 0, seja Ik um intervalo aberto tal que xk ∈ Ik e
`(Ik ) < ε/2k . Ent˜ao

∞ ∞

XX ε
m (E) ≤ `(Ik ) ≤ < ε,
k=1 k=1
2k

Como ε ´e arbitr´ario segue o resultado.

9.1.4 PROPOSIC ˜
¸ AO.

Sejam A, B e Ak , k ∈ N, subconjuntos de R. Ent˜ao
A) m∗ (∅) = 0;
B) A ⊂ B =⇒ m∗ (A) ≤ m∗ (B);

[ ∞
X

C) A⊂ Ak =⇒ m (A) ≤ m∗ (Ak ).
k=1 k=1

Demonstra¸c˜ ao. A) e B) s˜ao imediatas. Para verificar C), seja ε > 0. Ent˜ao, para cada
k ∈ N, existe um recobrimento (Ikn )n de Ak , Ak ⊂ ∪n Ikn , tal que


X ε
`(Ikn ) ≤ m∗ (Ak ) + .
n=1
2k
Como

A ⊂ ∪k Ak ⊂ ∪k ∪n Ikn ,

temos ent˜ao

∞ X
∞ ∞  ∞

X X
∗ ε X ∗
m (A) ≤ `(Ikn ) ≤ m (Ak ) + k = m (Ak ) + ε;
k=1 n=1 k=1
2 k=1

como ε ´e arbitr´ario obtemos C).

9.1.5 PROPOSIC ˜
¸ AO.

Seja A ∈ P(R) tal que m∗ (A) < ∞. Ent˜ao, dado ε > 0, existe um conjunto limitado
Aε ⊂ A tal que
Introduc
¸a˜o a
` Ana
´ lise 121

m∗ (A \ Aε ) < ε.

P
Demonstra¸c˜ ao. Seja (Ik )k um recobrimento de A tal que k `(Ik ) < ∞. Logo, existe
kε ∈ N tal que

X
`(Ik ) < ε.
k=kε +1

Fa¸camos Aε = ∪kk=1
ε
(Ik ∩ A). Ent˜ao Aε ´e limitado e A \ Aε ⊂ ∪k>kε Ik , logo m∗ (A \ Aε ) < ε. 

´ claro que qualquer intervalo I ⊂ R verifica m∗ (I) ≤ `(I). Vale tamb´em a rec´ıproca.
E

9.1.6 PROPOSIC ˜
¸ AO.
Se |a, b| ⊂ R e a ≤ b ent˜ao

m∗ (|a, b|) = `(|a, b|) = b − a.
Demonstra¸c˜
ao. Para cada ε > 0 existe um recobrimento (Ik )k∈N de [a, b] tal que

X
`(Ik ) ≤ m∗ ([a, b]) + ε.
k=1
Como [a, b] ´e compacto, pelo Teorema de Heine-Borel, existem Ik1 , . . . , Ikn de modo que
[a, b] ⊂ Ik1 ∪ · · · ∪ Ikn . Podemos supor (descartando intervalos) que Iki 6⊂ Ikj se i 6= j, e
Ik ∩ [a, b] 6= ∅, para todo k ∈ N. Reordenando esses intervalos, podemos supor tamb´em que

ak1 < bk2 < bk1 < · · · < akn < bkn−1 < bkn .
Vamos ter ent˜ao

X n
X
m∗ ([a, b]) > |Ik | − ε > |Ikj | − ε > bkn − ak1 − ε > b − a − ε.
k=1 j=1

Como ε ´e arbitr´ario segue que m∗ ([a, b]) ≥ b − a.
A desigualdade contr´aria ´e simples: [a, b] ⊂]a − ε, b + ε[ e m∗ ([a, b]) ≤ b − a + 2ε.

EXERC´ICIO. Complete a demonstra¸c˜ao da Proposi¸c˜ao 9.1.6, considerando os casos [a, b[,
]a, b] e ]a, b[.

´
9.1.7 COROLARIO.
122 Dicesar Lass Fernandez

Dados a, b ∈ R, com a < b, ent˜ao o intervalo [a, b] n˜ao ´e enumer´avel.

Demonstra¸c˜ ao. Se [a, b] fosse enumer´avel teriamos m∗ ([a, b]) = 0. Mas, como
m∗ ([a, b]) = `([a, b]) = b − a > 0, segue o resultado.

EXERC´ICIOS.
1. Mostre que m∗ (R) = +∞.

2. m∗ (A) = 0 =⇒ m∗ (A ∪ B) = m∗ (B).

umeros irracionais contidos em [0, 1], calcule m∗ (I).
3. Se I ´e o conjunto dos n´

4. Se x ∈ R e A ⊂ R, mostre que m∗ (A + x) = m∗ (A).

9.2 Conjuntos Lebesgue Mensur´
aveis
9.2.1 DEFINIC ˜
¸ AO.

Um conjunto M ⊂ R ´e mensur´
avel se para todo X ⊂ R tivermos

(1) m∗ (X) = m∗ (X ∩ M ) + m∗ (X ∩ M c ).

Indicaremos por M = M(R) a cole¸c˜ao dos conjuntos mensur´aveis de R.

9.2.2 PROPOSIC ˜
¸ AO.

Se E ⊂ R ´e tal que m∗ (E) = 0 ent˜ao o conjunto E ´e mensur´avel.

Demonstra¸c˜ ao. Como m∗ (E) = 0, ent˜ao para todo X ⊂ R vamos ter m∗ (X ∩ E) = 0. Por
outro lado m∗ X ≥ m∗ (X ∩ E c ). Logo m∗ (X) ≥ m∗ (X ∩ E) + m∗ (X ∩ E c ). A desigualdade
rec´ıproca vale em geral (Proposi¸c˜ao 9.1.4). 

9.2.3 LEMA.

Se M1 , M2 ∈ M ent˜ao M1 ∪ M2 ∈ M.

ao. Para todo X ⊂ R vale a identidade
Demonstra¸c˜

X ∩ (M1 ∪ M2 ) = (X ∩ M1 ) ∪ (X ∩ M2 ∩ M1c ).
Ent˜ao
Introduc
¸a˜o a
` Ana
´ lise 123

m∗ (X ∩ (M1 ∪ M2 ) ≤ m∗ (X ∩ M1 ) + m∗ (X ∩ M2 ∩ M1c )
e daqui temos

m∗ (X) = m∗ (X ∩ M1 ) + m∗ (X ∩ M1c )
= m∗ (X ∩ M1 ) + m∗ (X ∩ M1c ∩ M2 ) + m∗ (X ∩ M1c ∩ M2c )
≥ m∗ (X ∩ (M1 ∪ M2 )) + m∗ (X ∩ (M1 ∪ M2 )c );

como a desigualdade contr´aria vale em geral (Proposi¸ca˜o 9.1.4) temos que M1 ∪ M2 ∈ M. 

9.2.4 LEMA.

Se M1 , . . . , Mk ∈ M s˜ao tais que Mk0 ∩ Mk00 = ∅, quando k 0 6= k 00 , ent˜ao

k
X

(1) m (X ∩ ∪˙ j Mj ) = m∗ (X ∩ Mj ),
j=1

Demonstra¸c˜ ao. Se k = 1, n˜ao h´a o que demonstrar. Se, por indu¸c˜ao, admitimos que (1)
vale para k − 1, como Mk ´e mensur´avel, vamos ter

k
X ∩ {∪˙ j=1 Mj } ∩ Mk = X ∩ Mk
e
[ [
X ∩ {d Mk } ∩ Mkc = X ∩ (d Mj ).
1≤j≤k 1≤j≤k−1

Portanto
[
m∗ (X ∩ d Mj ) = m∗ (X ∩ (∪˙ j Mj ) ∩ Mk ) + m∗ (X ∩ (∪˙ j Mj ) ∩ Mkc )
1≤j≤k
[
= m∗ (X ∩ Mk ) + m∗ (X ∩ d Mj )
1≤j≤k−1
k−1
X
= m∗ (X ∩ Mk ) + m∗ (X ∩ Mj )
j=1
k
X
= m∗ (X ∩ Mj ).
j=1
124 Dicesar Lass Fernandez



´
9.2.5 COROLARIO.

k
Se Mj=1 ´e uma sequˆencia de conjuntos mensur´aveis disjuntos ent˜ao
! k
[ X

m d
Mj = m∗ (Mj ).
1≤j≤k j=1

Demonstra¸c˜
ao. Basta tomar X = R.

9.2.6 TEOREMA.

Se M = M(R) denota a cole¸c˜ao dos conjuntos Lebesgue mensur´aveis em R ent˜ao

A) ∅, R ∈ M;

B) A ∈ M =⇒ Ac ∈ M;

C) Ak ∈ M, k ∈ N, =⇒ ∪k Ak ∈ M.

Demonstra¸c˜ ao. Vamos demonstrar a propriedade C). Para isso consideremos a seguinte
sequˆencia auxiliar: M1 := A1 , M2 := A2 \ A1 , ... Mk := Ak \ (A1 ∪ ... ∪ Ak−1 ), k ∈ N.
Vemos que, a sequˆencia { Mk ; k ∈ N } ´e formada por conjuntos disjuntos dois a dois e

[ ∞
[
Mk = Ak .
k=1 k=1

Seja ent˜ao (Mk )k∈N uma sequˆencia de M formada por conjuntos disjuntos dois a` dois.
Fa¸camos M = d ∪j Mj . Ent˜ao Sk = M1 ∪ · · · ∪ Mk ´e mensur´avel e Skc ⊃ M c . Vamos
ter, para todo k ∈ N,

m∗ (X) = m∗ (X ∩ Sk ) + m∗ (X ∩ Skc )
≥ m∗ (X ∩ Sk ) + m∗ (X ∩ M c )
Xk
= m∗ (X ∩ Mj ) + m∗ (X ∩ M c );
j=1
Introduc
¸a˜o a
` Ana
´ lise 125

portanto

X

m (X) ≥ m∗ (X ∩ Mj ) + m∗ (X ∩ M c )
j=1
≥ m (X ∩ M ) + m∗ (X ∩ M c ),

e ∪∞
k=1 Ak = M ´
e mensur´avel. 

9.2.7 PROPOSIC ˜
¸ AO.

Todo intervalo J ⊂ R ´e mensur´avel.

Demonstra¸c˜ ao. Basta demonstrar esta propriedade para intervalos da forma ]a, ∞[ porque
ent˜ao os conjuntos [a, ∞[, ]−∞, a] e ]−∞, a[ tamb´em ser˜ao mensur´aveis e qualquer intervalo
´e intersec¸ca˜o de um intervalo da forma ] − ∞, d] ou ] − ∞, d[ com um intervalo da forma
[c, ∞[ ou ]c, ∞[.
Vamos demonstrar que para todo X ⊂ R, temos

(1) m∗ (X) ≥ m∗ (X∩ ]a, ∞[) + m∗ (X∩ ] − ∞, a]).

Se m∗ (X) = ∞, nada h´a a demonstrar. Se m∗ (X) < ∞, dado ε > 0 existe uma sequˆencia
(Ik )k∈N de intervalos abertos tais que

[ ∞
X
(2) X⊂ Ik e `(Ik ) ≤ m∗ (X) + ε.
k∈N k=1

Fazendo Ik0 = Ik ∩ J e Ik00 = Ik ∩ J c , onde J = [c, +∞[ ou J =]c, +∞[, vamos ter

(3) `(Ik ) = `(Ik0 ) + `(Ik00 ) = m∗ (Ik0 ) + m∗ (Ik00 )

Por outro lado

X ∩ J ⊂ ∪k Ik0 e X ∩ J c ⊂ ∪k Ik00
e ent˜ao

X ∞
X
∗ ∗
m (X ∩ J) ≤ m (Ik0 ) e ∗ c
m (X ∩ J ) ≤ m∗ (Ik00 )
k=1 k=1
126 Dicesar Lass Fernandez

donde

X ∞
X
∗ ∗ ∗
m (X ∩ J) + m (X ∩ J ) ≤ c
(m (Ik0 ) ∗
+m (Ik00 )) = `(Ik ) ≤ m∗ X + ε,
k=1 k=1

e como ε ´e arbitr´ario segue o resultado.

EXERC´
ICIO.

1. Complete a demonstra¸c˜
ao da Proposi¸c˜ao 9.2.7.

9.2.8 TEOREMA.

Todo aberto de R ´e uni˜ao enumer´avel de intervalos abertos disjuntos.

´
9.2.9 COROLARIO.

Todo conjunto aberto, e consequentemente todo conjunto fechado, ´e mensur´avel.
EXERC´ICIOS.
1. Para k > 0 e A ⊂ R seja kA = { x ; k −1 x ∈ A }. Mostre que m∗ (kA) = k m∗ (A); al´em disso
A ´e mensur´
avel se e somente se kA ´e mensur´avel.

2. Para A ⊂ R seja −A = { x ; −x ∈ A }. Mostre que m∗ (A) = m∗ (−A); al´em disso A ´e
avel se e somente se −A ´e mensur´avel.
mensur´

9.3 A Medida de Lebesgue
9.3.1 DEFINIC ˜
¸ AO.

Chamaremos de medida de Lebesgue em R a restri¸c˜ao da medida exterior de
Lebesgue `a classe M = M(R) dos conjuntos Lebesgue mensur´aveis.
Se E ´e um subconjunto mensur´avel, denotaremos a medida de Lebesgue de E
por m(E) ou alternativamente por |E|.
Introduc
¸a˜o a
` Ana
´ lise 127

9.3.2 TEOREMA.

A medida de Lebesgue sobre a classe M = M(R) dos conjuntos Lebesgue
mensur´aveis tem as seguintes propriedades fundamentais:

ML1) m(∅) = |∅| = 0.

ML2) Se (Ek )k ´e uma sequˆencia de conjuntos Lebesgue mensur´aveis, disjuntos dois
`a dois, ent˜ao

[ ∞
X
m( Ek ) = m(Ek ).
k=1 k=1

Demonstra¸c˜
ao. De fato, para todo k,

[ [ k
X
d
m( Ek ) ≥ m( Ej ) = m(Ej )
k∈N 1≤j≤k j=1

donde

[ ∞
X
d
m( Ek ) ≥ m(Ek ).
k∈N k=1

A desigualdade rec´ıproca, por 9.1.4C), ´e sempre v´alida. 

A seguinte proposi¸c˜ao mostra que a medida de Lebesgue ´e invariante por transla¸c˜ao .

9.3.3 PROPOSIC ˜
¸ AO.

Seja h ∈ R. Ent˜ao E + h ∈ M(R) qualquer que seja E ∈ M(R). Al´em disso

m(E + h) = m(E).

9.3.4 PROPOSIC ˜
¸ AO.

Seja (En ) uma sequˆencia decrescente de conjuntos mensur´aveis em R, En+1 ⊂ En ,
para cada n ∈ N. Suponhamos que m(E1 ) < ∞. Nestas condi¸c˜oes , temos

\
m( En ) = lim m(En ).
n→∞
n=1
128 Dicesar Lass Fernandez

ao. Sejam E := ∩∞
Demonstra¸c˜ n=1 En e Fn = En \ En+1 . Ent˜
ao

\
E1 \ E = Fn ,
n=1

e os conjuntos Fn s˜ao disjuntos dois `a dois. Logo

X ∞
X
m(E1 \ E) = m(Fn ) = m(En \ En+1 )
n=1 n=1

Por´em, m(E1 ) = m(E) + m(E1 \ E) e m(En ) = m(En+1 ) + m(En \ En+1 ), pois E ⊂ E1 e
En+1 ⊂ En . Como m(En ) ≤ m(E1 ) < ∞, temos

m(E1 \ E) = m(E1 ) − m(E) e m(En \ En+1 ) = m(En ) − m(En+1 ).

Portanto

X
m(E1 \ E) = [m(En ) − m(En+1 )]
n=1
n
X
= lim [m(Ek ) − m(Ek+1 )]
n→∞
k=1
= lim [m(E1 ) − m(En+1 )]
n→∞
= m(E1 ) − lim m(En+1 ).
n→∞

Como m(E1 ) < ∞, temos finalmente

m(E) = lim m(En ).
n→∞

. 

9.3.5 PROPOSIC ˜
¸ AO.

Seja (En ) uma sequˆencia crescente de conjuntos mensur´aveis em R, En ⊂ En+1 ,
para cada n ∈ N. Ent˜ao:

[
m( En ) = lim m(En ) = sup m(En ).
n→∞ n∈N
n=1

Demonstra¸c˜ ao. Definindo B1 := A1 e Bk+1 = Ak+1 \ Ak , k ≥ 1, vemos que os conjuntos
Bk s˜ao mensur´aveis e disjuntos dois a` dois. De fato, se j ≤ k − 1, temos

Bj ∩ Bk = (Aj ∩ Acj−1 ) ∩ (Ak ∩ Ack−1 = ∅,
Introduc
¸a˜o a
` Ana
´ lise 129

uma vez que Aj ⊂ Ak−1 implica Aj ∩ Ack−1 = ∅. Por outro lado, segue f´acilmente por indu¸ca˜o
que
Ak = B1 ∪ B2 ∪ ... ∪ Bk , k ∈ N.
Logo

[ ∞
[
An = Bn .
n=1 n=1

A assertiva segue agora das identidades

[ ∞
[ ∞
X n
X
m( An ) = m( Bn ) = m(Bn ) = lim m(Bk )
n→∞
n=1 n=1 n=1 k=1
n
[
= lim m( Bk ) = lim m(An ) = sup m(An ).
n→∞ n→∞ n∈N
k=1

. 

Vamos concluir esta se¸ca˜o dando um exemplo de conjunto n˜ao mensur´avel. A
constru¸ca˜o do exemplo n˜ao ´e dif´ıcil, mas tamb´em n˜ao ´e trivial. Al´em disso, essa constru¸ca˜o
tem interˆesse independente, mas fora de nosso contexto.

9.3.6 EXEMPLO DE CONJUNTO NAO ˜ MENSURAVEL ´
Come¸camos introduzindo uma opera¸ca˜o especial de adi¸c˜ao sobre o intervalo [0, 1[. A
·
opera¸ca˜o +: [0, 1 × [0, 1[−→ [0, 1[ ´e definida para (x, y) ∈ [0, 1[×[0, 1[ por

• x+y e x + y < 1,
x+y=
x + y − 1 e x + y ≥ 1.

Agora, se E ⊂ [0, 1[ e y ∈ [0, 1[, definimos
• •
E + y := { x + y ; x ∈ E }.
• •
En˜ao, se E ⊂ [0, 1[ for mensur´avel e y ∈ [0, 1[, E +y tamb´em ser´a mensur´avel e m(E +y) =
m(E). De fato, fazendo

E1 = E ∩ [0, 1 − y[ e E2 = [1 − y, 1[,

vamos ter E = E1 ∪ E2 ; al´em disso, E1 = E ∩ [1 − y, 1[. Portanto, E1 +y ´e mensur´avel e
• • •
m(E1 +y) = m(E1 + y) = m(E). An´alogamente, E2 +y = E2 + 1 − y, E2 +y ´e mensur´avel e

m(E2 +y) = m(E2 ). Por outro lado,
• •
(E1 +y) ∩ (E2 +y) = ∅,
130 Dicesar Lass Fernandez

• •
pois se x ∈ (E1 +y) ∩ (E2 +y) ter´ıamos x = e1 + y e x = e2 + 1 − y, o que implicaria
0 ≤ e1 = x − 1 = e2 − 1 < 0, e ter´ıamos uma contradi¸ca˜o. Tamb´em
• • •
E +y = (E1 +y) ∪ (E2 +1),
• • [
pois, por um lado, E = E1 ∪ E2 e E1 ∩ E2 = ∅ implicam que E +y ⊂ (E1 +y) ∪ (E2 ·]+y), e
• •
por outro lado, como Ek ⊂ E ent˜ao Ek +y ⊂ E +y (k = 1, 2), e conseqˆentemente
• • •
m(E +y) = m(E1 +y) + m(E2 +y) = m(E1 ) + m(E2 ) = m(E).

Vamos agora, introduzir uma rela¸c˜ao de equivalˆencia em [0, 1[. Se x,y ∈ [0, 1[, escreve-
mos
x ∼ y ⇐⇒ x − y ∈ Q.
´ claro qu “∼” ´e uma rela¸ca˜o de equivalˆencia em [0, 1[. Seja {Aλ }λ∈Λ a fam´ılia das parti¸co˜es
E
de [0, 1[ determinada pela rela¸ca˜o “∼”: [0, 1[/ ∼= ∪λ∈Λ Aλ . Constru´ımos agora, usando o
Axioma da Escolha, o conjunto P formado por um elemento de cada Aλ , λ ∈ Λ:

P = { xλ ; xλ ∈ Aλ , λ ∈ Λ }.

Consideramos, em seguida, uma enumera¸ca˜o {rj }∞
j=0 dos n´
umeros racionais em [0, 1[, de
moso que r0 = 0, e fa¸camos

Pj := P +rj .

Ent˜ao P0 = P , Pi ∩ Pj = ∅, se i 6= j, e ∪∞
j=1 Pj = [0, 1[. De fato, se x ∈ Pi ∩ Pj , existem pi ∈ P
• •
e pj ∈ P tais que x = pi +ri e y = pj +rj ; logo pi − pj ∈ Q e pi ∼ pj , ou seja pi , pj ∈ Aλi ∩ Aλj ,
o que ´e uma contradi¸ca˜o, uma vez que Aλ1 ∩ Aλ2 = ∅. Agora, ´e claro que ∪j Aj ⊂ [0, 1[;
rec´ıprocamente, se x ∈ [0, 1[ ent˜ao existem y ∈ P e rj tais que x − y = rj , ou seja x ∈ Pj e
[0, 1[⊂ ∪j Pj .

Finalmente, suponhamos que P seja mensur´avel. Ent˜ao, Pj = P + rj ´e tamb´em
mensur´avel, para cada j ∈ N0 , e
∞ 
X

X 0 se m(P ) = 0,
1 = m([0, 1[) = m(Pj ) = m(P ) =
+∞ se m(P ) > 0,
j=0 j=0

o que ´e absurdo nas duas hip´oteses. Logo, P n˜ao pode ser mensur´avel. 

A id´eia do exemplo acima ´e de W. Wilkosz: Sugli insiemi non-misurabili (L). Fun-
damenta Math. I(1920), p. 82.
Introduc
¸a˜o a
` Ana
´ lise 131

9.4 Caracteriza¸co
˜es da Mensurabilidade em R
Nesta se¸ca˜o vamos estudar algumas propriedades importantes da mensurabilidade de
conjuntos que dependem de propriedades topol´ogicas b´asicas de R.
Lembremos que Gδ denota a classe dos conjuntos que s˜ao interse¸c˜oes enumer´aveis de
comjuntos abertos. (Logo, n˜ao necess´ariamente abertos.)

9.4.1 LEMA.

Seja A ⊂ R. Ent˜ao
A) Para todo ε > 0, existe um aberto Oε ⊃ A tal que m∗ (Oε ) ≤ m∗ (A) + ε;
B) existe um conjunto G, na classe Gδ , tal que G ⊃ A e m∗ (G) = m∗ (A).

Demonstra¸c˜
ao. A) Por defini¸ca˜o temos

X
m∗ (A) = inf{ `(Ik ) ; ∪k Ik ⊃ A}
k=1

Se m (A) = ∞, n˜ao h´a o que demonstrar. Se m∗ (A) < ∞, dado ε > 0 existe uma sequˆencia

Ik tal que A ⊂ ∪k Ik e

X
`(Ik ) < m∗ (A) + ε.
k=1

Tomamos ent˜ao Oε = ∪k Ik e temos o resultado.
B) Para cada j ∈ N, seja O1/j um aberto como no item A) e seja G = ∩j O1/j . Ent˜ao
A ⊂ G ⊂ O1/j e portanto

m∗ (A) ≤ m∗ (G) ≤ m∗ (O1/j ) < m∗ (A) + 1/j,
finalmente, fazendo j → ∞, obtemos o resultado.

Lembremos, tamb´em, que Fσ denota a classe dos conjuntos que s˜ao uni˜oes enumer´aveis
de conjuntos fechados. (Logo, n˜ao necess´ariamente fechados.)

9.4.2 TEOREMA.

Dado E ⊂ R, as seguintes assertivas s˜ao equivalentes:
A) E ´e mensur´avel;
B) dado ε > 0, existe um conjunto aberto Oε ⊃ E tal que m∗ (Oε \ E) ≤ ε;
132 Dicesar Lass Fernandez

C) existe um conjunto G, na classe Gδ , tal que G ⊃ E e m∗ (G \ E) = 0.
D) dado ε > 0, existe um conjunto fechado Fε ⊂ E tal que m∗ (E \ Fε ) ≤ ε.
E) existe um conjunto F , na classe Fδ , tal que F ⊂ E e m∗ (E \ F ) = 0.

Demonstra¸c˜ao. A) =⇒ B): Seja R = d ∪k Jk , onde os Jk s˜ao limitados e seja Ek = E ∩ Jk .
Agora, dado ε > 0, existe um subconjunto aberto Ok ⊃ Ek com m(Ok ) ≤ m(Ek ) + δ/2k e
portando m(Ok \ Ek ) = m(Ok ) − m(Ek ) ≤ ε/2k . Tomando-se Oε = ∪k Ok vamos ter

Oε \ E = ∪k Ok \ ∪k Ek ⊂ ∪k (Ok \ Ek )
e portanto

X
m(Oε \ E) ≤ m(Ok \ Ek ) ≤ ε.
k=1

B) =⇒ C) Seja O1/k ⊃ E tal que m∗ (O1/k \ E) ≤ 1/k e fa¸camos

\
G := O1/k
k=1

ent˜ao

m∗ (G \ E) ≤ m∗ (O1/k \ E) ≤ 1/k
para todo k, o que implica m∗ (G \ E) = 0.

C) =⇒ A) G \ E ´e mensur´avel pois m∗ (G \ E) = 0. Como G ´e um Gδ segue que G ´e
mensur´avel, e como E = G ∩ (G \ E)c ) obtemos A).
A) =⇒ D) dado E existe um aberto Oε ⊃ E c com m(Oε \ E ε ) ≤ ε. Definindo Fε := Oεc
temos E ⊂ Oεc = Fε e E \ Fε = Oε \ E c . Donde o resultado.
D) =⇒ E): E ⊂ F1/k tal que m∗ (E \ F1/k ) ≤ 1/k e fa¸camos F := ∪k F1/k ent˜ao

m∗ (E \ F ) ≤ m∗ (E \ Fk ) ≤ 1/k.
E) =⇒ A): Como F ⊂ E temos E = F ∪(F \E). Mas E \F ´e mensur´avel pois m∗ (E \F ) = 0
e como F ´e um Fσ segue que ´e tamb´em mensur´avel. Portanto E ´e mensur´avel. 

´
9.4.3 COROLARIO.

Se M ´e um subconjunto de R, ent˜ao as seguintes assertivas s˜ao equivalentes:
A) O conjunto M ´e mensur´avel;
Introduc
¸a˜o a
` Ana
´ lise 133

B) existem conjuntos G ∈ Gδ e F ∈ Fσ tais que F ⊂ M ⊂ G e m∗ (G \ F ) = 0.

Demonstra¸c˜ ao. A) =⇒ B) Se M ´e mensur´avel existem G ∈ Gσ e F ∈ Fσ tais que
F ⊂ M ⊂ G e m∗ (M \ F ) = m∗ (G \ M ) = 0. Agora como G \ F = (M \ F ) ∪ (G \ M ) segue
que m(G \ F ) = 0.
Reciprocamente, B) =⇒ A): se existem G ∈ Gδ e F ∈ Fδ com G ⊂ M ⊂ F tais
que m(G\F ) = 0 ent˜ao m(G\M ) = 0 e m(M \F ) = 0 e m(M \F ) = 0 e M ´e mensur´avel. 

EXERC´
ICIO. Seja M um subconjunto de R. Demonstre que M ´e mensur´avel se e somente se
dado ε > 0, existe um conjunto fechado Fε e um conjunto aberto Oε tais que Fε ⊂ M ⊂ Oε e
m ∗ (Oε \ Fε ) < ε.

9.4.4 PROPOSIC ˜
¸ AO.

Se E ´e um subconjunto de R, ent˜ao as seguintes afirma¸co˜es s˜ao equivalentes

A) E ´e mensur´avel e tem medida finita;

B) Dado ε > 0, existe um compacto Kε ⊂ E tal que m∗ (E \ Kε ) < ε.

Demonstra¸c˜ ao. Se E ´e um conjunto mensur´avel existe um subconjunto mensur´avel e lim-
itado L ⊂ E tal que m(E \ L) < ε/2 (vide a demonstra¸c˜ao da Proposi¸ca˜o 9.1.5). Por outro
lado, existe um conjunto fechado F ⊂ L tal que m(L \ F ) < ε/2. Como F ´e fechado e
limitado ´e compacto. Finalmente,
[
E \ F = (E \ L) (L \ F )

e portanto
ε ε
m(E \ F ) < + = ε;
2 2
ou seja A) =⇒ B).
Os compactos s˜ao mensur´aveis, uma vez que s˜ao fechados, e de B) e do Teorema anterir
segue que E ´e tamb´em mensur´avel. Ent˜ao, tomando X = E, obtemos

m(E) = m(Kε ) + m(E \ Kε ) < ∞,

o que demonstra a implica¸ca˜o B) =⇒ A).
134 Dicesar Lass Fernandez
Cap´ıtulo 10

DERIVAC ˜
¸ AO

10.1 Teoremas de Aproxima¸

ao
10.1.1 TEOREMA.

Para toda fun¸c˜ao f ∈ L1 ([a, b]), dado ε > 0, existe uma fun¸c˜ao cont´ınua g ∈
C([a, b]) tal que h := f − g ∈ L1 ([a, b]) e
Z b
|f − g| dx < ε.
a

Em outras palavras, dado ε > 0 existe uma fun¸c˜ao g ∈ C([a, b]) e uma fun¸c˜ao
h ∈ L1 ([a, b]) tal que f = g + h e
Z b
|h|p dt < ε.
a

Demonstra¸c˜
ao. Seja F um subintervalo fechado de [a, b] e fa¸camos

d(x, F ) = inf{|x − y|; y ∈ F }.

Ent˜ao, para todo x0 , x00 ∈ [a, b], temos

|d(x0 , F ) − d(x00 , F )| ≤ |x0 − x00 |.

Portanto, para cada n ∈ N, a fun¸c˜ao

1
gn (x) =
1 + nd(x, F )
´e cont´ınua em [a, b], gn (x) = 1 se x ∈ F e gn (x) → 0 se x 6∈ F . Logo gn → χF pontual e
monotonicamente. Logo

135
136 Dicesar Lass Fernandez

Z b
lim |gn − χF | dx = 0.
n→∞ a

Por linearidade, segue que para toda fun¸c˜ao simples ϕ e todo ε > 0, existe fun¸c˜ao cont´ınua
g tal que
Z b
|ϕ − g| dx < ε/2.
a

Se f ≥ 0, existe uma fun¸ca˜o simples ϕ tal que
Z b
|f − ϕ| dx < ε/2
a

e portanto existe uma fun¸ca˜o cont´ınua g tal que
Z b Z b Z b
|f − g| dx ≤ |f − ϕ| dx + |ϕ − g| dx < ε/2 + ε/2.
a a a

Se f n˜ao for positiva decompomos na parte positiva e negativa: f = f + − f − , e completamos
a demonstra¸ca˜o.

10.1.2 LEMA.

Seja f ∈ L1 ([a, b]). Ent˜ao, para todo n ≥ 2, existem fun¸co˜es cont´ınuas gn ∈
C([a, b]) tais que
Z b
|gn | dx ≤ 4−n ,
a

X
gn (x) = f (x), q.s.
n=0
e Z b n
X
lim |f (x) − gn (x)| dx = 0.
n→∞ a k=0

ao. Dado ε1 = 16−1 , seja g1 uma fun¸ca˜o cont´ınua e h1 ∈ L1 tal que
Demonstra¸c˜

f = g1 + h1 e ||h1 ||1 ≤ 16−1 .

Seja agora g2 ∈ C([a, b]) e h2 ∈ L1 tal que

h1 = g2 + h2 e ||h2 ||1 ≤ 16−2 .
Introduc
¸a˜o a
` Ana
´ lise 137

Ent˜ao ||g2 ||1 ≤ ||h||1 +||h2 ||1 ≤ 4−2 . Por indu¸ca˜o encontramos fun¸co˜es cont´ınuas g1 , g2 , . . . , gn
e fun¸c˜oes integr´aveis hn tal que
n
X
f= gk + hn e ||hn ||1 ≤ 1/4n .
k=1

Donde
Z b n
X
lim |f − gk |dx = 0.
k→∞ a k=1

Mas ∞ ∞
X X
|f − gn | ≤ |f | + |gn |
k=1 k=1
e ∞ ∞

Z b X XX 1
| gn |dx ≤ ||g||1 ≤ .
a k=1 k=1 n=1
4n

X
P∞
Logo, | k=1 gn | < ∞ quase sempre e gn ∈ L1 . Pelo Teorema da Convergˆencias Domi-
k=1
nada
Z b ∞
X
|f − gn |dx = 0
a k=1

X
ef= gn , quase sempre.
n=1
10.1.3 PROPOSIC ˜
¸ AO.

Seja U um subconjunto aberto de R e f ∈ L1 (U ) tal que para qualquer intervalo
fechado (semi-fechado) e limitado J ⊂ U temos

Z
(1) f dx = 0;
J

ent˜ao f = 0, q.s.

Demonstra¸c˜ ao. Como todo conjunto aberto O ⊂ U pode ser expresso como reuni˜ao de
uma sequˆencia de intervalos fechados limitados Jk ⊂ U com interior dois a` dois disjuntos.
Ent˜ao
Z X∞ Z
(2) f dx = f dx = 0.
O k=1 Jk
138 Dicesar Lass Fernandez

Por outro lado, para todo conjunto G que ´e interse¸c˜ao decrescente de conjuntos abertos
Ok ⊂ U , vamos ter
Z
(3) f dx = 0,
G

pois |f χOk | ≤ |f | e como f χOk −→ f χG , ent˜ao (3) segue de (2). Agora, se E ´e um conjunto
mensur´avel qualquer E ⊂ U , existe um conjunto G que ´e interse¸c˜ao de abertos, U ⊃ G ⊃ E
tal que m(G \ E) = 0; portanto
Z
(4) f dx = 0,
E

para todo conjunto mensur´avel E. Em particular, temos (4) para

E = { x ∈ U ; 0 < f (x) ≤ ∞ }

e
E = { x ∈ U ; −∞ < f (x) ≤ 0 }.

Logo, (4) ´e v´alida para fun¸co˜es positivas e fun¸co˜es negativas, Logo f = 0.

10.1.4 TEOREMA.

Seja U um aberto de R e f ∈ L1loc (U ) tal que

Z
(1) f ϕ dx = 0,
U

para toda ϕ ∈ Cc (U ); ent˜ao f = 0, q.s.

Demonstra¸c˜ ao. Seja J um intervalo fechado e limitado em R, ent˜ao existe uma sequˆencia
ϕk em Cc (U ) tal que ϕk & χJ . A afirma¸c˜ao segue da Proposi¸ca˜o 9.11.3.

10.2 Diferencia¸c˜
ao e Integra¸
c˜ao
Vamos, agora, procurar saber em que sentido a diferencia¸ca˜o ´e inversa da integra¸ca˜o.
Mais precisamente, estaremos interessados em determinar para que classe de fun¸co˜es valem
as identidades: Z x
d
f (y) dy = f (x)
dx a
Introduc
¸a˜o a
` Ana
´ lise 139

e Z b
f 0 (y) dy = f (b) − f (a).
a

Vamos mostrar que a primeira identidade vale, quase sempre, para toda fun¸ca˜o
f ∈ L1 ([a, b]). A segunda quest˜ao ´e mais dif´ıcil e vale somente para uma classe particular
de fun¸co˜es: as fun¸co˜es absolutamente cont´ınuas.

Quando f ∈ C(]a, b[) temos, para todo x ∈ ]a, b[,
Z x
d
f (y)dy = f (x).
dx c

O Teorema da Diferˆencia¸ca˜o de Lebesgue extende esta propriedade para fun¸co˜es
f ∈ L1loc (]a, b[). Para isso, vamos precisar de um conceito que desempenha um papel
importante em v´arias partes da An´alise.

10.2.1 DEFINIC ˜
¸ AO.

A fun¸c˜ aximal M f , de uma fun¸c˜ao f ∈ L1loc (]a, b[) ´e definida para x ∈ ]a, b[
ao m´
por
Z
1
M f (x) = sup |f (y)|dy.
I3x |I| I

10.2.2 OBSERVAC ˜
¸ AO. Se f ∈ C(]a, b[) ent˜ao
Z x+h Z
1 1
|f (x)| = lim |f (y)|dy ≤ sup |f (y)|dy = M f (x);
h→0 h x I3x |I| I

ou seja, a fun¸ca˜o maximal M f domina a fun¸ca˜o f pontualmente. Posteriormente gener-
alizaremos esta propriedade.

10.2.3 TEOREMA.

Se f ∈ L1 (]a, b[) ent˜ao
Z x Z x+h
d 1
f (t)dt = lim f (t)dt = f (x), q.s.
dx x0 h→0 h x

ao. Dada f ∈ L1 (]a, b[), para todo n ≥ 2, existe uma fun¸c˜ao cont´ınua ϕn tal
Demonstra¸c˜
que
||ϕn ||1 ≤ 4−n
140 Dicesar Lass Fernandez

e

X
f (x) = ϕn (x)
n=0

em L1 (]a, b[) e para quase todo x. Fazendo
m
X X
Φm (x) = ϕn (x) = f (x) − ϕn (x).
n=0 n>m

vemos que Φm ´e cont´ınua e
Z x Z x+h
d 1
Φm (x) = Φm (t)dt = lim Φm (t)dt.
dx 0 h→0 h x

Agora, para n ≥ 2, fa¸camos
[
Gm = {x|M ϕn (x) > 2−n }
n>m

Ent˜ao, para x 6∈ Gm vamos ter
Z x+h
1 X X
sup | ϕn (t)|dt ≤ M ϕn (x) ≤ 2−m
h>0 h x n>m n>m

e portanto

1 x+h
Z
−m
Φm (x) − 2 = lim Φm (t)dt − 2−m
h→0 h x

1 x+h
Z X
= lim [f (t) − ϕn (t)|dt − 2−m
h→0 h x
n>m
Z x+h Z x+h X
1
= lim inf f (t)dt + sup | ϕn (t)|dt − 2−m
h→0 h x h>0 x n>m
Z x+h
1
= lim inf f (t)dt.
h→0 h x

Analogamente, temos
Z x+h
1
lim sup f (t)dt ≤ Φm (x) + 2−m .
h→0 h x
\
Portanto, se x 6∈ Gn vamos ter
m>1
Z x
d
f (x) = lim Φm (x) = f (t)dt
m→∞ dx x0
Introduc
¸a˜o a
` Ana
´ lise 141

Finalmente
X
m(Gm ) ≤ m({x ; M ϕn (x) > 2−n )
n>m
X
≤ 3 2+n ||ϕn ||1
n>m
X
≤ 3 2−n ≤ 3d .2−m ,
n>m

logo m(G2 ) < ∞ e

\
m( Gm ) = lim m(Gm ) = 0,
n→∞
m>1

ou seja, o resultado vale q.s.

Vamos agora tratar do segundo problema. Antes precisamos de um conceito.

10.2.4 DEFINIC ˜
¸ AO.

Uma fun¸c˜ao real g definida num intervalo [a, b] ´e absolutamente cont´ınua (em
[a, b]) se existe f ∈ L1 ([a, b]), c ∈ [a, b] e k ∈ R tais que
Z x
g(x) = k + f (y)dy,
c

para todo x, a ≤ x ≤ b.

Uma fun¸c˜ao real g definida num intervalo aberto J ⊂ R ´e localmente absoluta-
mente cont´ınua se ´e absolutamente cont´ınua em todo intervalo fechado contido em J.

10.2.5 OBSERVAC ˜
¸ AO. Uma fun¸c˜ao g, absolutamente cont´ınua num intervalo [a, b], ´e
cont´ınua no intervalo. De fato, se x, x + h ∈ [a, b], temos
Z x+h
g(x + h) − g(x) = f (y)dy −→ 0, quando h → 0.
x

10.2.6 TEOREMA.

Se g ´e uma fun¸c˜ao absolutamente cont´ınua em um intervalo [a, b], ent˜ao g ´e deriv´avel
quase sempre, integr´avel e
142 Dicesar Lass Fernandez
Z b
g 0 (x) dx = g(b) − g(a).
a

ao. Se g ´e absolutamente cont´ınua ent˜ao existe f ∈ L1 ([a, b]) tal que
Demonstra¸c˜
Z x
g(x) = k + f (y) dy,
a

onde k ´e uma constante. Pelo Teorema da Diferˆencia¸c˜ao de Lebesgue, temos

g 0 (x) = f (x),

para quase todo x ∈ [a, b]. Logo
Z b Z b
0
g (x) dx = f (x) dx.
a a

Como k = g(a), obtemos a assertiva do Teorema.

OBSERVAC ˜
¸ AO. Um problema que se coloca naturalmente ´e verificar se uma dada fun¸ca˜o
´e absolutamente cont´ınua. Podemos apresentar diversas caracteriza¸c˜oes importantes desse
conceito, mas com relativo valor pr´atico para a avalia¸c˜ao de uma integral. No entanto,
lembremos que
Z b Z b
R f dx = L f dx,
a a
1
qualquer que seja f ∈ R([a, b]): R([a, b]) ⊂ L ([a, b]). Desta forma, podemos utilizar,
no ambiente da integral de Lebesgue, os processos elementares estabelecidos para fun¸c˜oes
cont´ınuas.

EXEMPLO. A fun¸c˜ao f definida em [0, 1] por

2x
f (x) =
(1 + x2 )2

´e cont´ınua em [0, 1], portanto Lebesgue integr´avel. Como

2x d −1
2 2
= ,
(1 + x ) dx 1 + x2

e a fun¸c˜ao g(x) = −1/(1 + x2 ) ´e tamb´em cont´ınua em [0, 1], vanos ter
1 1
d −1
Z Z
2x 1
dx = dx = .
0 (1 + x2 )2 0 dx 1 + x 2 2
Introduc
¸a˜o a
` Ana
´ lise 143

Passemos, agora, ao estudo das rela¸c˜oes entre as fun¸co˜es absolutamente cont´ınuas,
as fun¸c˜oes fracamente deriv´aveis e as fun¸co˜es fortemente deriv´aveis. Introduziremos antes
esses conceitos.

Indiquemos por Cc∞ (]a, b[) a cole¸ca˜o de todas as fun¸co˜es ϕ, indefinidamente deriv´aveis,
tais que ϕ(k) (a) = ϕ(k) (b) = 0, k ∈ N0 . Uma fun¸ca˜o f pertence a L1loc (]a, b[) se para todo
intervalo fechado I ⊂]a, b[ temos χI f ∈ L1 (]a, b[).

10.2.7 DEFINIC ˜ DE DERIVADA FRACA.
¸ AO

Sejam f, g ∈ L1loc (]a, b[). Dizemos que g ´e a derivada fraca de f se para toda
ϕ ∈ Cc∞ (]a, b[) tivermos:

Z b Z b
0
(1) f ϕ dx = − g ϕ dx.
a a

Neste caso escrevemos g = Df .

Observemos que dada f ∈ L1loc (]a, b[), a derivada fraca Df est´a definida a menos de
um conjunto de medida zero. Inversamente, g ´e a derivada de toda fun¸ca˜o que difira da f
num conjunto de medida zero.
Por outro lado ´e f´acil verificar que se f ∈ C (1) (]a, b[) ent˜ao f 0 = Df .

Seja ε > 0 e f ∈ L1 (]a, b[), denotamos por fε uma regularizada da f . Como
fε ∈ C (1) (]a, b[), denotaremos por fε0 sua derivada habitual.

10.2.8 PROPOSIC ˜
¸ AO.

Sejam f, g ∈ L1loc (]a, b[) tais que g seja a derivada fraca da f . Ent˜ao, para todo
intervalo fechado I ⊂]a, b[, temos:
Z
(1) lim |fε − f | dx = 0
ε→0 I

e
Z
(2) lim |fε0 − g| dx = 0.
ε→0 I

Demonstra¸c˜
ao. Temos Z
fε (x) = ϕε (x − t)f (t)dt.
144 Dicesar Lass Fernandez

Seja Iε = ]a + ε, b − ε[, com ε suficientemente pequeno, de modo que Iε ⊂ I. Ent˜ao, para
x∈I
Z b Z b
0 d d
fε (x) = ϕε (x − t)f (t)dt = ϕε (x − t)f (t)dt
dx a a dx
Z b Z b
d
= − ϕε (x − t)f (t)dt = ϕε (x − t)g(t)dt = gε (x).
a dt a

´
10.2.9 COROLARIO.

Uma fun¸c˜ao f ∈ L1loc (]a, b[) tem uma u´nica derivada fraca Df .

10.2.10 TEOREMA.

Sejam f, g ∈ L1loc (]a, b[). As seguintes afirma¸co˜es s˜ao equivalentes:
A) g = Df ;
B) Existe (ψk )k em C (1) (]a, b[), tal que

Z
(1) lim | f − ψk | dx = 0,
k→∞ I

Z
(2) lim | g − ψ 0 | dx = 0.
k→∞ I

Demonstra¸c˜ ao. Tomando ψk = f1/k a regularizada da f , segue que A) =⇒ B).
Reciprocamente, vamos supor que exista uma sequˆencia de fun¸co˜es (ψk )k em C (1) (]a, b[)
tal que (1) e (2) sejam verificadas. Dada ϕ ∈ Cc∞ (]a, b[), seja K = {x|ϕ(x) 6= 0}. Ent˜ao
Z Z
0
(3) ψk ϕ dx = − ϕ ψk0 dx;
K K

passando ao limite, quando k → ∞, obtemos
Z Z
0
f ϕ dx = − g ϕ dx,

o que demonstra a rec´ıproca.

10.2.11 DEFINIC ˜ DE DERIVADA FORTE.
¸ AO

Sejam f, g ∈ L1 ([a, b]). A fun¸c˜ao g ´e a derivada forte da f se
Introduc
¸a˜o a
` Ana
´ lise 145
Z b
f (x + h) − f (x)
lim − g(x) dx = 0.
h→0 a h
Dizemos tamb´em que g ´e a derivada da f no sentido L1 .

10.2.12 TEOREMA.

Se f, g ∈ L1 ([a, b]), as seguintes afirma¸c˜oes s˜ao equivalentes:
A) g ´e absolutamente cont´ınua em rela¸c˜ao `a f ;
B) g ´e a derivada forte da f ;
C) g ´e a derivada fraca da f .

ao. A) =⇒ B). Como f ´e absolutamente cont´ınua em rela¸ca˜o a g, existe k ∈ R
Demonstra¸c˜
tal que Z x
f (x) = k + g(y)dy,
a
para todo x ∈ [a, b]. Ent˜ao, se x + h ∈ [a, b], temos

f (x + h) − f (x) 1 x+h
Z
1
= g(y)dy = (χ[−h,0] ∗ g)(x).
h h x h
Portanto Z b
1
χ

lim [−h,0] ∗ g − g = 0.
h→0 a h
B) =⇒ C). Se g ´e a derivada forte da f , para toda ϕ ∈ Cc∞ (]a, b[) temos
Z b 
f (x + h) − f (x)
lim − g(x) ϕ(x)dx = 0,
h→0 a h
pois ϕ ´e limitada. Por outro lado,
Z b
f (x + h) − f (x) 1 b+ε 1 b
Z Z
ϕ(x)dx = f (x)ϕ(x − ε)dx − f (x)ϕ(x)dx
a h h a+ε h a
Z b  
ϕ(x) − ϕ(x − h)
= f (x) dx.
a −h
Tomando |h| suficientemente pequeno de modo que ϕ seja nula fora de [a + ε, b − ε], vemos
que a u
´ltima integral converge para
Z b
− f (x)ϕ0 (x)dx,
a

pois
ϕ(x) − ϕ(x − h) ϕ(x − h) − ϕ(x)
= −→ ϕ0 (x),
−h h
146 Dicesar Lass Fernandez

quando n → ∞ uniformemente em [a, b].
C) =⇒ A). Fazendo Z x
G(x) = g(y)dy
a
vamos ter Z b Z b
g(y)ϕ(y)dy = − G(x)ϕ0 (x)dx.
a a

Portanto Z b
[f (x) − G(x)]ϕ0 (x)dx = 0,
a

para toda ϕ ∈ Cc∞ (]a, b[). Fa¸camos F (t) = f (t) − G(t) e seja k ∈ R tal que
Z b
[F (x) − k]dx = 0.
a

Rb
Portanto, como a
ϕ0 = 0, vamos ter
Z b
[F (x) − k]ϕ0 (x) = 0.
a

Como ϕ ´e arbitr´ario segue o resultado.
A) =⇒ C). Suponhamos que
Z x
f (x) = k + g(y)dy,
a

onde f, g ∈ L1loc (]a, b[). Seja gk ∈ C(I) tal que
Z
lim |gn (y) − g(y)|dy = 0.
n→∞ I

Definimos ent˜ao
Z x
fn (x) = k + gn (y)dy.
a

Vamos ter fk → f , em L1 , pois
Z b Z b Z x 
|f (x) − fn (x)|dx ≤ |gn (y) − g(y)|dy dx
a a a
Z b
≤ (b − a) |gn (y) − g(y)|dy.
a

An´alogamente, se gn = fn0 , vamos ter tamb´em
Introduc
¸a˜o a
` Ana
´ lise 147

Z b
lim |gn (y) − g(y)|dy = 0.
n→∞ a
Portanto g = Df .

10.3 Problemas Unidimensionais
10.3.1 PROBLEMA DE DIRICHLET

Dada f ∈ L2 ([a, b]), achar u ∈ L2 ([a, b]) tal que
−u00 = f

(∗)
u(a) = u(b) = 0.
10.3.2 PROPOSIC ˜
¸ AO.

Se u ∈ C (2) ([a, b]) e verifica o problema de Dirichlet (*) ent˜ao

Z b Z b
0 0
(1) u (t)ϕ (t) dt = f (f )ϕ(t) dt.
a a

10.3.3 DEFINIC ˜
¸ AO.

H01 (]a, b[) := { u ∈ AB([a, b]) ; u0 ∈ L2 , u(a) = u(b) = 0 }

10.3.4 PROPOSIC ˜
¸ AO.

O espa¸co H01 (]a, b[) ´e um espa¸co de Hilbert munido da norma

||| u |||(1) = || u0 ||L2 ,

que provˆem do produto interno
Z b
hu, vi := u0 (t)v 0 (t) dt.
a
Demonstra¸c˜
ao. O produto interno ´e definido, pois se
Z b
hu, vi = |u0 (t)|2 dt = 0
a

ent˜ao, para todo t ∈ [a, b], u0 (t) = 0 e u(t) = u(a) = u(b) = 0.
A imers˜ao
H01 ,→ L2
148 Dicesar Lass Fernandez

´e cont´ınua. De fato, como Z t
u(t) = u0 (s) ds,
a
pela desigualdade de Cauchy-Schwartz, temos

|u(t)| ≤ (b − a)1/2 ||u0 ||2

e Z b
|u(t)|2 dt ≤ (b − a) ||u0 ||2 .
a
Portanto
||u||2 ≤ (b − a)2 ||| u |||(1) ,
o que demonstra¸c˜ao continuidade da imers˜ao.
O espa¸co H01 ´e completo. De fato, seja (un ) uma sequˆencia de Cauchy em H01 . Ent˜ao,
(un ) e (u0n ) s˜ao sequˆencias de Cauchy em L2 . Portanto, existem u, v ∈ L2 tal que

un −→ u e u0n −→ v,

em L2 . Donde, para toda ϕ ∈ Cc∞ ([a, b]), temos
Z b Z b
un ϕ dt −→ uϕ0 dt
a a
e Z b Z b
u0n ϕ dt −→ vϕ dt.
a a
Logo Z b Z b
− u0n ϕ dt −→ uϕ0 dt
a a
e portanto Z b Z b
− vϕ dt = uϕ0 dt,
a a
o que implica u = v, q.s. 

10.3.5 DEFINIC ˜
¸ AO.

Para cada m ∈ N e 1 ≤ p < ∞, definimos

Hp(m) = { u ∈ Lp ; u(k) ∈ Lp , k = 1, 2, ..., m }.
Quando p = 2 escrevemos simplesmente H (m) e H (1) = H 1 .

10.3.6 PROPOSIC ˜
¸ AO.
Introduc
¸a˜o a
` Ana
´ lise 149

Definindo, para u ∈ H01 ,
(1)
||u||2 := [ ||u||22 + ||u0 ||22 ]1/2 ,

existe uma constante c > 0, independente de u, tal que
(1)
||| u |||(1) ≤ ||u||2 ≤ c ||| u |||(1) ,

Demonstra¸c˜
ao. A primeira desigualdade ´e simples
(1)
|||u|||(1) = ||u0 ||2 ≤ [||u||22 + ||u0 ||22 ]1/2 = ||u||2 .

A segunda desigualdade segue da desigualdade de Cauchy-Schwartz
(1)
||u||2 = ||u0 ||2 ≤ [||u||22 + ||u0 ||22 ]1/2
≤ [{(b − a)1/2 ||u0 ||2 }2 + ||u0 ||22 ]1/2
≤ [b − a + 1]1/2 ||u0 ||2 = c |||u|||(1) .



10.3.7 PROPOSIC ˜
¸ AO.

As seguintes imers˜oes s˜ao cont´ınuas:

Cc∞ (]a, b[) ,→ H01 ([a, b]) ,→ H 1 ([a, b]) ,→ L2 ([a, b]).

10.3.8 PROPOSIC ˜
¸ AO.

O Espa¸co Cc∞ (]a, b[) ´e denso em H01 .

10.3.9 PROPOSIC ˜
¸ AO.

Dada f ∈ L2 e se u ∈ H01 satisfaz (*) ent˜ao
Z b Z b
0 0
u (t)ϕ (t) dt = f (t)ϕ(t) dt,
a a

para toda ϕ ∈ Cc∞ (]a, b[).
150 Dicesar Lass Fernandez

10.3.10 SOLUC ˜ DO PROBLEMA DE DIRICHLET
¸ AO
A aplica¸ca˜o
Z b  Z b 
1 0 0
ϕ ∈ H0 −→ f (t)ϕ(t) dt = u (t)ϕ (t) dt
a a

´e linear e cont´ınua:
Z b
| f (t)ϕ(t) dt| ≤ ||f ||2 ||ϕ||2 ≤ [(b − a)1/2 ||f ||2 ] |||ϕ|||(1) .
a

´nica Vf ∈ H01 ([a, b]) tal que
Segue, do Teorema de Representa¸c˜ao de Riesz. que existe uma u
Z b Z b
f (t)ϕ(t) dt = hVf , ϕi = Vf0 (t)ϕ0 (t) dt
a a

Donde Z b Z b
f (t)ϕ(t) dt = − Vf (t)ϕ00 (t) dt
a a

e portanto
−Vf00 = f


Vf (a) = Vf (b) = 0.


10.3.11 PROBLEMAS VARIACIONAIS
Dada f ∈ L2 ([a, b]), definimos, para v ∈ H 1 , o funcional
Z b Z b
0 2
J(v) := [v ] dt − 2 f v dt,
a a

ou fazendo Z b Z b
hu, vi = uv dt e a(u, v) = u0 v 0 dt,
a a

podemos escrever o funcional J(v) na forma

J(v) = a(v, v) − 2hf, vi.

10.3.12 TEOREMA.
Introduc
¸a˜o a
` Ana
´ lise 151

Para cada f ∈ L2 ([a, b]), as seguintes condi¸co˜es s˜ao equivalentes:
A) Existe uma u´nica u ∈ H01 ([a, b]) tal que

J(u) = inf 1 J(v).
v∈H0

B) Existe uma u´nica u ∈ H01 ([a, b]) tal que

a(u, w) = hf, wi,

qualquer que seja w ∈ H01 .

´nica u ∈ H01 ([a, b]) tal que
C) Existe uma u

−u00 = f.

ao. A) −→ B) Da hip´otese segue que, para todo v ∈ H01 e 0 ≤ λ ≤ 1,
Demonstra¸c˜

J((1 − λ)u + λv) ≥ J(u).

Donde
1
[J((1 − λ)u + λv) − J(u)] ≥ 0
λ
e portanto
1
0 ≤ lim [J((1 − λ)u + λv) − J(u)] = 2[a(u, v − u) − (f, v − u)],
λ→0 λ

o que implica
a(u, v − u) ≥ (f, v − u).

Fazendo, ent˜ao, v = u ± w obtemos B).
B) −→ A) Como

0 ≤ a(u − v, u − v) = a(u, u) − 2a(u, v) + a(v, v),

segue que
a(u, u) − 2a(u, u) ≤ a(v, v) − 2a(v, v).

Portanto
a(u, u) − 2hf, ui ≤ a(v, v) − 2hf, vi,

ou seja
J(u) ≤ J(v).
152 Dicesar Lass Fernandez

B) −→ C) Como Cc∞ (]a, b[) ⊂ H01 (]a, b[) segue, em particular que

a(u, ϕ) = hf, ϕi,

para toda ϕ ∈ Cc∞ , ou seja temos C).
C) −→ B) Como −u00 = f , para toda ϕ ∈ Cc∞ (]a, b[), temos

h−u00 , ϕi = hf, ϕi,

hu0 , ϕ0 i = hf, ϕi,
e
a(u, ϕ) = hf, ϕi.
Finalmente, como Cc ∞(]a, b[) ´e denso em H01 (]a, b[), temos

a(u, v) = hf, vi,

para toda v ∈ H01 (]a, b[).