Elementos de Analise Matematica 2

Dicesar Lass Fernandez
ELEMENTOS DE ANALISE II
Notas de Aula - MA602
Rascunho de uma vers

ao preliminar 2.8
01 de Janeiro de 2016
.
Sum
ario

1 SEQUENCIAS
E SERIES DE FUNC
OES 1
1.1 Sequencias de Funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Sequencias de Funcoes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 O Teorema de Arzela-Ascoli . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Series de Funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Uma Funcao Contnua Nao-Derivavel . . . . . . . . . . . . . . . . . . . . . . 18
1.6 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 Derivacao de Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8 Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2 FUNC
OES ELEMENTARES (I) 29
2.1 Existencia da Funcao Exponencial . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 Existencia da Funcao Logartmica . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3 Propriedades Elementares do Logartmo . . . . . . . . . . . . . . . . . . . . 33
2.4 A Funcao Exponencial Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.5 A Funcao Potencia Geral. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6 Generalizacoes Finais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.7 Funcao Logartmica Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.8 O Espaco Cc (R). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 FUNC
OES ELEMENTARES (II) 41
3.1 A Existencia das Funcoes Seno e Coseno . . . . . . . . . . . . . . . . . . . . 41
3.2 Propriedades Elementares do Seno e Coseno . . . . . . . . . . . . . . . . . . 42
3.3 O N
umero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4 As Formulas de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.5 Definicao das demais Funcoes Trigonometricas . . . . . . . . . . . . . . . . . 47
3.6 As Funcoes Arco Seno e Arco Tangente . . . . . . . . . . . . . . . . . . . . . 48
3.7 A Funcao de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
i
4 UMA INTEGRAL ELEMENTAR 53
4.1 Funcoes em Escada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2 Integral de Funcoes em Escada. . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3 Integral de Funcoes Contnuas. . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Limites Laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.5 Funcoes Regradas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.6 Integral de Funcoes Regradas. . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.7 Propriedades da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.8 Integrais Indefinidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.9 A Nocao de Primitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.10 Mudanca de Variavel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.11 Integracao por Partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.12 O Numero nao e Racional . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.13 A Formula de Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.14 Uma Segunda Formula para . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.15 Integrais de Funcoes Complexas . . . . . . . . . . . . . . . . . . . . . . . . . 82
5 INTEGRAIS IMPROPRIAS 83
5.1 Funcoes Nao-Limitadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2 Valor Principal de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.3 Integrais com Extremos Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.4 Criterios de Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

6 SERIES DE FOURIER 93
6.1 Funcoes Periodicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.2 Polinomios e Series Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . 93
6.3 Polinomios e Series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.4 Nucleos de Fejer e o Teorema de Weierstrass. . . . . . . . . . . . . . . . . . 99
6.5 Norma Media Quadratica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
6.6 O Polinomio de Melhor Aproximacao . . . . . . . . . . . . . . . . . . . . . . 103
6.7 Series de Fourier absolutamente convergente. . . . . . . . . . . . . . . . . . . 106
6.8 Ordem de Aproximacao e Classes de Lipschitz . . . . . . . . . . . . . . . . . 109
6.9 Teorema de Aproximacao Direta. . . . . . . . . . . . . . . . . . . . . . . . . 109
6.10 Teorema de Aproximacao Inversa. . . . . . . . . . . . . . . . . . . . . . . . . 110
ii
Captulo 1

SEQUENCIAS
E SERIES
DE FUNC
OES
1.1 Sequ
encias de Fun
coes
1.1.1 DEFINIC
AO.
Uma sequencia de funcoes {fn }, definidas num mesmo domnio D R, converge
em um ponto x D se a sequencia numerica {fn (x)} converge. Se a sequencia
converge em todos os pontos de um subconjunto S D diremos que converge
pontualmente em S.
EXEMPLO. Seja, para cada n N, fn definido em R por
fn (x) = xn .
Entao se |x| < 1, {fn (x)} converge (para zero), {fn (1)} converge (para 1), {fn (1)} diverge
e se |x| > 1, {fn (x)} tambem diverge. Logo {fn } converge pontualmente em S =] 1, 1[.
1.1.2 OBSERVAC
AO.
Se uma sequencia de funcoes {fn } converge pontualmente num subconjunto S do
domnio comum, podemos definir uma funcao f : S R por
f (x) = lim fn (x), x S.

n
Dizemos entao que {fn } converge pontualmente para f , em S.

EXEMPLO. Seja {fn } a sequencia em [0, 1] definida por fn (x) = xn . Entao {fn } converge
pontualmente para {1} , onde {1} : [0, 1] R e definida por

0 se 0 x < 1,
{1} (x) =
1 se x = 1.
1
2 Dicesar Lass Fernandez
Portanto
lim xn = {1} (x), 0 x 1.
n
1.1.3 DEFINIC
AO.
Uma sequencia de funcoes {fn }, definidas num mesmo domnio D R, converge

uniformemente num subconjunto S D, se existe uma funcao f : S R para
a qual, dado > 0, existe N N tal que se n N temos
|fn (x) f (x)| < ,
qualquer que seja x S. Dizemos entao que {fn } converge uniformente para
f , em S.
claro que se {fn } converge uniformemente, converge tambem pontualmente.
E
EXEMPLO. Consideremos a sequencia {fn } definida em [0, 1], por

nx2 x2
fn (x) = = 1
1 + nx n
+x
A sequencia {fn } converge uniformemente para a funcao identidade I(x) = x. De fato

nx2 x 1 nx 1

|fn (x) x| =
x = = < .
1 + nx 1 + nx n 1 + nx n
Como a sequencia {1/n}n converge para zero e nao depende de x, dado > 0, podemos
determinar N N de modo que 1/n < , se n N ; consequentemente

nx2

1 + nx x < ,
para todo x [0, 1].
CONTRA-EXEMPLOS. (i) Consideremos em [0, 1], a sequencia {fn } definida por

fn (x) = xn . A convergencia de {fn } para {1} e pontual mas nao e uniforme. De fato,
seja escolhido de modo que 0 < < 1/2. Mas, qualquer que seja n N vamos ter
1
|fn (21/n ) {1} (21/n )| = |(21/n )n 0| = > .
2
logo {fn (x) = xn } nao pode convirgir uniformemente para {1} em [0, 1].
(ii) A sequencia {fn } definida por
x
fn (x) = , x R,
n
lise
Elementos de Ana 3
converge para zero pontualmente mas nao uniformemente em R. A convergencia e uniforme

apenas em subconjuntos limitados.
1.1.4 TEOREMA.
Uma sequencia {fn } de funcoes definidas num mesmo domnio D, converge

uniformemente para uma funcao f num subconjunto S D, se e somente se
(1) sup|fn (x) f (x)| 0, quando n .

xS
ao. Se 1.1.4(1) e verificada, dado > 0 existe N N, tal que para todo x S,
Demonstrac
temos
|fn (x) f (x) sup |fn (x) f (x)| < ,
xS
se n N . Logo, {fn } converge uniformemente para f em S.

Reciprocamente, se {fn } converge uniformemente para f em S, dado > 0 seja = /2.
Entao, existe N N tal que para todo x S temos
|fn (x) f (x)| < ,
se n N . Como nao depende de x podemos tomar o supremo na desigualdade acima

para obtermos
sup |fn (x) f (x)| < ,
xS
se n N .
x
EXEMPLO. Consideremos em [0, +[ a sequencia {fn } definida por fn (x) = .
n
Seja I [0, +[ um subconjunto limitado e c = sup I. Entao,

x c
sup 0, quando n .
xI n n
Portanto {fn (x) = x/n} converge uniformemente para zero em qualquer subconjunto limi-
tado de [0, +[. Mas
x
sup 1
0x<+ n
e {fn (x) = x/n} nao pode convirgir uniformemente em [0, +[.
1.1.5 DEFINIC
AO.
Seja {fn } uma sequencia de funcoes limitadas definidas num mesmo domnio D.
Dizemos que {fn } e uma sequencia de Cauchy uniforme se dado > 0 existe
N N tal que para todo n N e todo k N temos
sup |fn (x) fn+k (x)| < .

xD
1.1.6 TEOREMA.
Seja {fn } uma sequencia de Cauchy uniforme de funcoes limitadas definidas num
mesmo domnio D. Entao, a sequencia {fn } converge uniformemente para uma
funcao limitada f .
Demonstrac
ao. Dado > 0, existe N tal que
(1) |fn (x) fn+k (x)| < ,
para todo x D, todo n N e k N. Logo, para cada x D, {fn (x)} e uma sequencia de
Cauchy de numeros reais e portanto converge para um n umero real, que denotaremos por
f (x). Como o limite de uma sequencia e u
nico, a correspondencia
x D f (x) R
e uma funcao. De (1) segue em particular, para todo x D e k N, que
|fN (x) fN +k (x)| < .
Fazendo k tender ao infinito obtemos
|fN (x) f (x)|
e
|f (x)| |fN (x)| + ,
para todo x D. Logo f e limitada. A uniformidade da convergencia e clara (por que?)
EXERCICIOS.
xn
1. Seja fn (x) = , 0 x < .
1 + xn
1) Demonstre que a sequuencia {fn } e limitada
2) Demonstre que {fn } converge uniformemente em [0, c] [0, 1[.
3) Demonstre que {fn } converge uniformemente em x b > 1
4) Demonstre que {fn } n
ao converge uniformemente em x 1.
uniforme para x > 0?

2. Seja fn (x) = 1/nx, x > 0. Para que valores de x existe limn fn (x)? E
E uniforme para x 1?
lise
Elementos de Ana 5
3. Verificar a convergencia pontual e uniforme das seguintes sequencias.

xn 1
1) fn (x) = ; 2) fn (x) = ;
n 1 + nx2
xn x2
3) fn (x) = , x 0; 4) f n (x) = ;
n + xn 1 + nx2
x n nx 2
5) fn (x) = 2n
; 6) fn (x) = , 0 x 1;
1+x 1 + nx
x 2n 1
7) fn (x) = n
, x 0; 8) fn (x) = , 0 x 1;
1+x 1 + nx
1 x
9) fn (x) = 2 , x 0; 10) fn (x) = , 0 x 1.
n +x 1 + nx
1.2 Sequ
encias de Fun
coes Contnuas
1.2.1 DEFINIC
AO.
Seja f uma funcao definida num dominio D e x D tal que existe uma vizinhanca
V (x) D. Diremos que f e contnua no ponto x se, para toda sequencia {xn } que
converge para x, temos
lim f (xn ) = f (x).
n
Dizemos que f e contnua em D se for contnua em todos os pontos de D.
1.2.2 DEFINIC
AO.
Diremos que sequencias {xn } e {yn } sao paralelas, e escrevemos {xn } // {yn} se
lim |xn yn | = 0.
n

n

n
EXEMPLO. As seq
uencias dadas por xn = 3 e yn = 2 sao paralelas.
1.2.3 TEOREMA.
Se f e uma funcao definida num intervalo [a, b], as seguintes afirmacoes sao equiva-
lentes:
A) f e contnua em [a, b]:
B) {xn } // {yn} implica {f (xn )} // {f (yn)}.
Demonstrac ao. A) = B) Suponhamos que f e contnua e que existam sequencias par-

alelas {xn } e {yn } tais que
|f (xn ) f (yn )| 6 0.
Logo, dado > 0, existem subsequencias {xk(n) } e {yk(n)} tais que
(1) |f (xk(n) ) f (yk(n) )| > ,
para todo k(n). Como {xk(n) } e uma sequencia limitada admite uma subsequencia {xk (n) }
convergente, digamos para x0 . Como f e suposta contnua vamos ter
lim f (xk (n) ) = f (x0 ).

n
Por outro lado, como {yk (n) } // {xk(n) } teremos tambem yk (n) x0 . Entao, de (1) vamos
ter
< |f (xk(n) ) f (yk(n) )| |f (xk (n) ) f (x0 )| + |f (yk(n) ) f (x0 )| 0,
o que e absurdo.
B) = A) Seja x [a, b] e {xn } uma sequencia arbitraria que converge para x. Entao, as
sequencia de termos xn e yn = x sao paralelas. Mas neste caso a afirmacao B) e a definicao
de funcao contnua no ponto x.
1.2.4 TEOREMA.
Seja (fn ) uma sequencia de funcoes contnuas definidas num mesmo intervalo [a, b].
Suponhamos que (fn ) converge uniformemente para uma funcao f , definida em [a, b].
Entao f e uma funcao contnua.
ao. Como (fn ) converge uniformemente para f , dado > 0 existe k0 N tal
Demonstrac
que

|fk0 (z) f (z)| < ,
3
para todo z em [a, b]. Por outro lado, como fk0 e contnua, quaisquer que sejam as sequencias
paralelas {xn } e {yn } existe N N tal que se n N entao

|fk0 (xn ) fk0 (yn )| < .
3
Portanto, vamos ter

|f (xn ) f (yn )| |f (xn ) fk0 (xn )| + |fk0 (xn ) fk0 (yn )| + |fk0 (yn ) f (yn)| < + + = ,
3 3 3
ou seja f e contnua em [a, b].

1.2.5 COROLARIO.
lise
Elementos de Ana 7
Seja {fn } uma sequencia de Cauchy uniforme de funcoes contnuas definidas num
mesmo intervalo [a, b]. Entao, a sequencia fn converge uniformente para uma funcao
contnua f em [a, b].
Demonstrac ao. As funcoes fn sao limitadas. Logo convergem uniformente para uma
funcao limitada f , pelo Teorema 1.1.6. Finalmente, pelo Teorema anterior a funcao f e
contnua.
Os seguintes exemplos mostram que a condicao de convergencia uniforme no Teorema

1.2.4 e suficiente mas nao e necessaria.
EXEMPLO. A sequencia {fn }, definida por

nx
fn (x) = ,
1 + n2 x2
converge pontualmente em R; pois fn (0) = 0, para todo n e se x 6= 0 temos
1
|fn (x)| .
n|x|
Portanto, a funcao limite e f (x) 0, que e contnua, mas
1 1
= |fn ( )| sup |fn (x)|
2 n x
Logo a convergencia nao e uniforme.
EXEMPLO. Para cada n N, seja fn definida em [0, 1] pela formula

nx 0 x 1/n,
fn (x) =

n(1 x)/(n 1) 1/n < x 1.
Vamos ter
0 x=0
lim fn (x) = f (x) =
n 1 x 0 < x 1.
Como a funcao limite f nao e contnua a convergencia nao pode ser uniforme. De fato, para
todo n, temos
1
1 = fn ( ) sup fn (x).
n x
EXERC ICIOS.
1) Considere a sequencia {fn } definida por

nx 0 x 1/n
fn (x) =

1/nx 1/n < x.
Demonstre que lim fn (x) = 0, para todo x 0. A convergencia e uniforme em x 0? E em

x c > 0?
2) Seja fn definida no intervalo [0,1] pela f

ormula

1 nx, 0 x 1/n,
fn (x) =

0 1/n < x 1.
Demonstre que (fn (x)) converge para todo x em [0,1]. Esta convergencia e uniforme? A funcao
limite e contnua?
1.2.6 O TEOREMA DE APROXIMAC DE WEIERSTRASS.

AO
O conjunto P dos polinomios e denso em C([a, b]), ou seja, toda funcao contnua
definida num intervalo fechado pode ser uniformemente aproximada por um
polinomio.
Demonstrac ao. Basta demonstrar o teorema no caso em que [a, b] = [0, 1] .

Seja f C([0, 1]). Vamos demonstrar que os polinomios de Bernstein
Xn
k n k
(1) Bn (f )(x) = f( ) x (1 x)nk
k=0
n k
convergem para f , quando n , uniformemente.

Como a demonstracao e longa vamos divid-la em tres etapas.
Primeira Etapa: Os polinomios de Bernstein aproximam uniformemente as funcoes
(i) f0 (x) 1:
Xn
n k
Bn (f0 )(x) = x (1 x)nk = {x + (1 x)}n = 1 = f0 (x).
k=0
k
(ii) f1 (x) x:
Xn Xn
k n k nk kn!
Bn (f1 )(x) = x (1 x) = xk (1 x)nk
k=0
n k k=1
n(n k)!k!
Xn n1
X
n1 k1 nk n1 k
= xx (1 x) =x x (1 x)n1k
k=1
k 1 k=0
k
= x{x + (1 x)}n1 = x = f1 (x).
lise
Elementos de Ana 9
(iii) f2 (x) x2 :
Xn Xn
k 2 n k nk k n1 k
Bn (f2 )(x) = ( ) x (1 x) = x (1 x)nk
k=0
n k k=1
n k1
n n
n1X k1 n1 k nk 1 X n1 k
= x (1 x) + x (1 x)nk
n k=1 n 1 k 1 n k=1 k 1
n1 2 1
= x + x x2 = f2 (x), n .
n n
Segunda Etapa: Para t [0, 1] seja t (x) = (tx)2 e > 0. Entao para n suficientemente
grande temos
(1) |Bn (t )(t)| < ,
para todo t [0, 1]. Com efeito

X n
k n k
|Bn (t )(t)| = | t ( ) t (1 t)nk |
k=0
n k
X n
k 2 n k
= | (t ) t (1 t)nk |
n k
k=0
= |t {Bn (1)(t) 1} 2t{Bn (t)(t) t} + {Bn (t2 )(t) t2 }|
2
||Bn (f0 ) f0 )|| + 2||Bn (f1 ) f1 || + ||Bn (f2 ) f2 || = ||Bn (f2 ) f2 || ,
(onde ||g h|| = sup{|g(t) h(t)| ; 0 t 1 }) como queramos.
Terceira Etapa: Seja f C([0, 1]). Dado > 0, existe > 0 tal que |f (x) f (t)| < , se
|x t| < . Agora, se |x t| vamos ter
|f (t) f (x)| 2||f || 2||f ||(t x)2 2 = t (x),
onde = 2||f || 2 Entao, para todo x [0, 1], temos
t (x) f (t) f (x) + t (x).
Observando que se h g entao Bn (h) Bn (g) obtemos
Bn (t )(x) f (t) Bn (f )(x) + Bn (t )
Em particular, tomando x = t
|f (t) Bn (f )(t)| + |Bn (t )(t)| < (1 + )
para n suficientemente grande. Como t foi tomado arbitrario a demostracao esta completa.
1.3 O Teorema de Arzel

a-Ascoli
O Teorema de Bolzano-Weierstrass afirma que toda sequencia numerica limitada admite
uma subsequencia convergente. O Teorema de Arzela-Ascoli estabelece um princpio
semelhante para famlias de funcoes. Este Teorema e fundamental, por exemplo, na teoria
das equacoes diferenciais.
1.3.1 DEFINIC
AO.
Seja {f }A uma famlia de funcoes reais definidas num mesmo domnio D R.

Dizemos que {f } e uniformemente limitada em D quando existe M > 0 tal que
para todo x D e todo A temos
|f (x)| M.
EXEMPLOS. 1) A sequencia de funcoes fn (x) = sen nx e uniformemente limitada em R.
2) A sequencia de funcoes {fn } definidas em ]0, 1[ por
cos n/2
fn (x) =
x
e limitada pontualmente mas nao uniformemente uniformente em ]0, 1[. De fato, se existir
M > 0 que limite uniformemente a sequencia {fn }, vamos ter para n par

1 cos n/2
=
x x M
para todo x ]0, 1[. Mas isto leva a uma contradicao.
3) A sequencia de funcoes em [0, 1] definidas por fn (x) = nx nao esta limitada uniformente
nem pontualmente se x 6= 0.
1.3.2 DEFINIC
AO.
Seja {f }A uma famlia de funcoes definidas num mesmo domnio D R. Dizemos

que {f } e equicontnua em D quando dado > 0, existir > 0 tal que para todo
x e y em D com |x y| < e todo A verificar-se
|f (x) f (y)| < .

lise
Elementos de Ana 11
EXEMPLOS. 1) Seja {f }A uma famlia de funcoes derivaveis num intervalo aberto tal
que a famlia das derivadas seja uniformemente limitada. Entao {f }A e equicontnua no
intervalo I. De fato, como existe M > 0 tal que
|f (x)| M
para todo x I e A, pelo Teorema da Media temos
|f (x) f (y)| |f ()| |x y| M|x y|.
2) A sequencia de funcoes, definidas em [0, 1], por fn (x) = xn nao e eq

uicontnua em [0, 1].
De fato, dado = 1/2, para qualquer , 0 < < 1, tomamos x = 1 /2. Entao |1 x| <
mas
1
|fn (1) fn (x)| = |1 xn | = |1 (1 )n | > = .
2 2
Mas e equicontnua em [0, 1/2] pois sup{nxn1 ; 0 n 1/2} 1.
1.3.3 TEOREMA.
Seja {fn } uma sequencia de funcoes contnuas definidas num mesmo domnio D R
fechado e limitado. Suponhamos que {fn } convirja uniformemente em D para uma
funcao f . Entao {fn } e uniformemente limitada e equicontnua.
Demonstrac ao. A funcao f e contnua e limitada em D. Se {fn } nao for uniformemente

limitada, para cada n N exisitiria um xn D e k(n) N tal que |fk(n) (xn )| > n. Se xn se
repetir infinitas vezes resultaria que fk(n) nao seria limitada, o que nao e o caso. Se nenhum
xn se repete infinitas vezes existe uma subsequencia {fk (n) } e uma sequencia {xk (n) } em D
tais que |fk (n) (xk (n) )| nao e limitada. Podemos escolher entao uma subsequencia de {xk (n) }
convergente para um x D. Voltemos a chama-la de {xk(n) }. Vamos ter entao
|f (x) fk(n) (xk(n) )| |f (x) f (xk(n) | + |f (xk(n) ) fk(n) (xk(n) )|
ou
|fk(n) (xk(n) )| |f (x)| + 2
se k(n) for suficientemente grande, pois f (xk(n) ) f (x) pela continuidade da f e |fk(n) (xn )
f (xk(n) )| 0 pela convergencia uniforme. Concluimos entao que f nao e limitada, o que e
absurdo. Portanto {fk } e uniformemente limitada.
Para demonstracao da equicontinuidade consideremos a desigualdade
|fk (x) fk (y)| |fk (x) f (x)| + |f (x) f (y)| + |f (y) fk (y)|.
Entao dado > 0, seja k1 escolhido de modo que se k k1 e z D tenhamos
|fk (z) f (z)| /3
(pois fk converge uniformemente para f em D). Em seguinda, a continuidade uniforme de

f, f1 , ..., fk1 em D inplica que existe um > 0 tal que se x, y D e |x y| < entao
|f (x) f (y)| < /3 e |fj (x) fj (y)| < /3,
para j = 1, 2, ..., k1 1.
Portanto, fixado este , para todo k e todo por x, y em D com |x y| < verifica-se
|fk (x) fk (y)| < .
.
O Teorema de Arzela-Ascoli e a grosso modo uma recproca do Teorema que acabamos

de demonstrar: de uma famlia infinita de funcoes uniformemente limitada e equicontnua
podemos extrair uma subsequencia uniformemente convergente.
A demonstracao e complexa e vamos divid-la em partes. Depende de certos princpios
gerais e de interesse independente.
1.3.4 TEOREMA (Princpio de sele

cao de Cantor.)
Seja {fn } uma sequencia de funcoes uniformemente limitadas num domnio D R.

Seja E um subconjunto enumeravel de D. Entao, existe uma subsequencia de {fn }
que converge uniformemente em E.
Demonstrac ao. Seja E = {r1 , r2 , ...} e seja |fk (x)| M para todo k e todo x D. Con-
sideremos (fk (r1 ))k . Como e uma sequencia limitada admite uma subsequencia convergente
(fk1 (n) (r1 )). Consideremos agora a sequencia {fk1 (n) (r2 )} que por ser limitada admite tambem
uma subsequencia convergente {fk2 (n) (r2 )}. Como {fk2 (n) } e subsequencia de {fk1 (n) (r2 )}
entao {fk2 (n) (r1 )} tambem e convergente. Procedendo desta forma para cada j N obte-
mos uma subsequencia {fkj (n) } de {fkj1 (n) } que converge em r1 , r2 , ..., rj . Consideremos a
sequencia diagonal {fkn (n) }:
{fk1 (1) , fk2 (2) , ..., fkn (n) , ...

lise
Elementos de Ana 13
Finalmente, seja m N arbitrario. Entao {fkn (n) }nm e uma subsequencia de {fkm (n) }n .
Logo, {fkn (n) (ri )}nm (e portanto {fkn (n) (ri )}nN ) converge para i = 1, 2, ..., m. Como m e
arbitrario segue-se que {fkn (n) (ri )}n converge para todo i N.
1.3.5 TEOREMA. (Princpio de propaga

cao.)
Seja {fn } uma sequencia de funcoes definidas em D R e com valores reais. Se

{fn } for equicontnua em D e convergente num subconjunto denso D1 D entao
tambem e convergente em D.
Demonstrac ao. Seja x D. A demonstracao de que {fn (x)} converge ou equivalentemente

que e de Cauchy, resultara da desigualdade
|fn (x) fm (x)| |fn (x) fn (y)| + |fn (y) fm (y)| + |fm (y) fm (x)|.
onde y D1 . De fato, da equicontinuidade em D existe > 0 tal que, se |x z| < e k N
tem-se,

|fk (x) fk (z)| < .
3
Pela densidade de D1 em D, existe y D1 , tal que |x y| < . Como estamos supondo que
{fk (y)} e convergente e tambem de Cauchy. Assim existe N N tal que se n, m N entao

|fn (y) fm (y)| < .
3
Logo {fn (x)} e uma sequencia de Cauchy para todo x D.
1.3.6 TEOREMA.
Seja D R um conjunto limitado e seja {fn } uma sequencia de funcoes reais em D

que e equicontnua e convergente em D. Entao, {fn } converge uniformemente em
D.
Demonstrac ao. Vamos demonstrar que {fn } e de Cauchy uniformemente em D, o que

implica que e uniformemente convergente. Sejam x, y em D. Entao
|fn (x) fm (x)| |fn (x) fn (y)| + |fn (y) fm (y)| + |fm (y) fm (x)|.
Pela equicontinuidade de {fk }, dado > 0 existe > 0 tal que se x, y D e |x y| < ,
para todo k, temos

|fk (x) fk (y)| < .
3
Consideremos a famlia de vizinhancas {V (y)|y D}. E claro que D {V (y)|y D}.

Como D e fechado e limitado existe N e y1 , ..., yN D tais que
D V (y1 ) V (yN ).
Para cada j, j = 1, 2, ..., N, a sequencia {fk (yj )}k e convergente e portanto existe um kj tal
que se m, n kj temos

|fn (yj ) fm (yj )| < .
3
Seja k0 = max{k1 , ..., kN } e sejam m, n k0 . Entao se x D existe j, j = 1, 2, ..., N, tal que
x V (yj ), isto e tal que |x yj | < ; logo, para todo k, temos
|fk (x) fk (yj )| < /3

Consequentemente, da primeira desigualdade segue que para n, m k0 temos, para todo
x D,
|fn (x) fm (x)| < ,

ou seja {fn } e uma sequencia de Cauchy uniforme.
1.3.7 TEOREMA (de Arzel

a-Ascoli).
Seja {f }A uma famlia infinita de funcoes uniformemente limitada e equicontnua

definidas num conjunto limitado D. Entao existe um sequencia de funcoes distintas
da famlia dada que converge uniformemente em E
Demonstrac ao. Seja E D um subconjunto enumeravel e denso. Pelo Princpio de

Selecao de Cantor, a famlia admite uma sequencia convergente em E. Como a sequencia e
equicontnua pelo Princpio da Propagacao e convergente tambem em D. Mas pelo Teorema
anterior a convergencia sera entao uniforme.
lise
Elementos de Ana 15
1.4 S
eries de Func
oes
1.4.1 DEFINIC
AO.
Seja {fn } uma sequencia de funcoes definidas num mesmo subconjunto I de R. A

P P P
sequencia de termos Fn = nk=0 fk e representada por fn . O smbolo fn e
chamado entao serie das funcoes fn .
1.4.2 DEFINIC
AO.
Seja {fn } uma sequencia de funcoes definidas num mesmo subconjunto I de R. A

P
serie fn converge pontualmente em S I se para cada x S a serie numerica
P
fn (x) for convergente.
P
EXEMPLOS. (i) A serie x/n2 converge pontualmente para cada x em R.
P n
(ii) A serie x converge pontualmente em ]-1,1[.
1.4.3 DEFINIC
AO.
Seja {fn } uma sequencia de funcoes definidas num mesmo conjunto I R. A

P P
serie fn converge uniformemente em S I se a sequencia de termos nk=1 fk
convergir uniformemente em S.
Antes de darmos exemplos, vamos estabelecer o criterio de Cauchy para a convergencia

uniforme de series de funcoes .

1.4.4 CRITERIO DE CAUCHY.
P
A serie fn converge uniformemente em S se, e somente se, para todo > 0 existe
um N tal que n > N implica
n+p
X
| fk (x)| < ,
k=n+1
para todo p N e todo x S.

Pn
Demonstrac
ao. Basta aplicar o criterio de Cauchy para a sequencia Fn = k=0 fk .
P
EXEMPLOS. (i) A serie 1/(n2 + x2 ) converge uniformemente em R:
n+p
X 1 1 1 1 1
= + ... + < + ... + .
k=n+1
k2 +x2 2
(n + 1) + x2 2
(n + p) + x2 (n + 1)2 (n + p)2
P n
(ii) A serie x /n! nao converge uniformemente em R: Tomando 0 < < 1 e x n + 1,
arbitrario, vamos ter
n+p
(n + 1)n+1 X xk
<1< .
(n + 1)! k=n+1
k!
Para a verificacao da convergencia uniforme de uma serie de funcoes e muito u
til o
seguinte teste conhecido como o Mteste de Weierstrass.
1.4.5 M-TESTE DE WEIERSTRASS.
Seja {fn } uma sequencia de funcoes definidas num mesmo subconjunto I R. Seja
{Mn } e uma sequencia de numeros nao negativos tais que
0 |fn (x)| Mn
P
para cada x S I e n N, para algum N. Entao fn converge uniformemente
P
se Mn converge.
Demonstrac
ao. Segue da desigualdade
n+p n+p
X X
| fk (x)| Mk
k=n+1 k=n+1
e dos criterios de Cauchy para series numericas e series de funcoes.
P
EXEMPLO. A serie 1/(n2 + x2 ) converge uniformemente em R:
1 1
2.
+x 2 n2 n
P n
EXEMPLO. Toda serie de potencias n an x converge uniformemente em intervalos
fechados contidos em seu intervalo de convergencia.
De fato: Seja R o raio de convergencia da serie e [a, b] ]R, R[. Suponhamos que |a| |b|.
P
Como n an xn converge absolutamente qualquer que seja x [a, b], temos
bn n x
n
|an xn | = |an xn | = |an b || | |an bn |.
bn bn
A conclusao segue entao do M-teste de Weierstrass.
lise
Elementos de Ana 17
1.4.6 TEOREMA.
Seja {fn } uma sequencia de funcoes contnuas definidas num mesmo intervalo [a, b].
P
Suponhamos que a serie fn convirja uniformemente para uma funcao f definida
em [a, b]. Entao, f e uma funcao contnua.
n
X
Demonstrac
ao. Seja Fn = fk , n N. Entao, a sequencia(Fn ) converge uniformemente
k=1
para f , pelo Criterio de Cauchy para sequencias de funcoes .
x
EXEMPLO. Consideremos a serie de termos , que sao funcoes contnuas em [0, 1].
(1 + x)n
Vamos ter

X x
= ]0,1] (x).
n=1
(1 + x)n
Como ]0,1] nao e uma funcao contnua em [0, 1], concluimos que a convergencia da serie
nao e uniforme.
P
EXERCICIOS. A. Estude quanto a convergencia e convergencia uniforme as series n fn ,
onde fn e dada por
xn
1) fn (x) = (1 x)n xn , 0 x 1 2) fn (x) = , x0;
1 + xn
1 1
3) fn (x) = , x 6= 0 ; 4) fn (x) = , x0;
nx2 1 + xn
(1)n xn
5) fn (x) = , x0; 6) fn (x) = , 0 |x| c < 1 ;
n+x 1 + xn
1 1
7) fn (x) = , 0<cx; 8) fn (x) = , x0;
1 + n2 x n2 x2
nx2
9) fn (x) = , 0 x c < 1. .
n3 + x3
B. Calcule a soma das seguintes series e verifique a uniformidade da convergencia.
X
1) (1 x)n xn , 0 x 1;
n
X 1 1

2) , 0 x 1;
n
x+n x+n+1
X
1 1
3) , 0 x 1;
n
nx + 2 nx + x + 2
1.5 Uma Func

ao Contnua N
ao-Deriv
avel
Seja : R R definida por (x) = |x|, se x [1, 1], e (x + 2) = (x). Ou seja, e
uma funcao periodica de perodo 2. Definimos, entao,
k
X 3
f (x) = (4k x).
k=0
4
claro que f e uma funcao contnua.

E
Fixemos x R arbitrario. Vamos demonstrar que f nao e derivavel em x exibindo uma
sequencia {hm }mN de numeros reais convergindo para 0 mas tal que h1
m (f (x + hm ) f (x))
diverge, quando m .
Definimos hm = 12 4m , com o sinal escolhido de modo que nao exista inteiros estrita-
mente entre 4m x e 4m (x + hm ). Posteriormente justificaremos que essa escolha pode ser
feita.
Para calcular h1
m (f (x + hm ) f (x)), vamos avaliar
k
1 3
m,k = (4k (x + hm ) (4k x)
hm 4

k mk k 1 km k
= 2 3 4 (4 x 4 (4 x) .
2
o Caso: k > m. Neste caso 1 4km
1 e um inteiro par. Logo, m,k = 0, pois tem perodo
2
k 1 km k
2 e (4 x 2 4 ) = (4 x).
o
2 Caso: k = m. Como o sinal de hm foi escolhido de modo a nao existir inteiros entre 4m x
e 4m (x + hm ), os pares (4m x, (4m x)) e (4m (x + hm ), (4m (x + hm ))) estao em uma mesma
rampado grafico da funcao . Logo,
1
|(4m x + 4m hm ) (4m x)| = 4m |hm | =
2
e
1
|m,m | = 2 3m 4mm = 3m .
2
o Caso: k < m. Como
3
|(y) (x)| = ||y| |x|| |y x|,
para todo x, y R, vamos ter
1 km
|m,k | 2 3k 4mk 4 = 3k .
2
lise
Elementos de Ana 19
Juntando os tres caso, temos

f (x + hm ) f (x) X X m

=
m,k = m,k
hm
k=0

k=0

m1
X
|m,m | |m,k |
k=0
m1
X
3m k
3
k=0
1 3m 1
= 3m = (3m + 1).
13 2
Esta desigualdade mostra claramente que o quociente incremental diverge. Logo f nao e
derivavel no ponto x. Como x e arbitrario, segue-se que f nao e derivavel em nenhum ponto
de R.
Resta demonstrar que o sinal de hm = 12 4m pode ser escolhido de modo que nao existam
inteiros entre 4m x e 4m (x + hm ). De fato, como
1 1
4m (x + 4m ) 4m (x 4m ) = 1
2 2
e se 4m (x + 21 4m ) e 4m (x 12 4m ) forem inteiros nao existirao inteiros em
1 1
]4m (x 4m ), 4m (x + 4m )[.
2 2
Suponhamos, agora, que exista um inteiro z ]4m (x 21 4m ), 4m (x + 12 4m )[. Entao, se
z = 4m x, qualquer escolha de sinal verifica a hipotese. Senao
1 [ 1
z ]4m (x 4m ), 4m x[ ]4m x, 4m (x + 4m )[.
2 2
Neste caso, se z ]4m (x 12 4m ), 4m x[ escolhemos o sinal +, positivo, caso contrario esco-
lhemos o sinal , negativo.
A demonstracao esta completa.
1.6 S
eries de Pot
encias
1.6.1 DEFINIC
AO.
Uma serie de potencias, em x x0 , e uma serie de funcoes da forma

X
a0 + an (x x0 )n ,
n=1
ou mais brevemente da forma

X
an (x x0 )n .
n=0
P
Quando x0 = 0, escrevemos simplesmente an xn .
P
EXEMPLOS. (a) n!xn , converge se somente se x = 0.
P n
(b) x /n!, converge para todo x em R.
P n
(c) x , converge para x em ]-1,1[.
1.6.2 PROPOSIC
AO.
P
Suponhamos que serie de potencias an xn converge para x = x0 R. Entao, a
P
serie converge tambem para todo x com |x| < |x0 |. Agora, se an xn0 diverge entao
P
an xn diverge para todo x com |x| > |x0 |.
P
Demonstrac ao. Como an xn0 converge, segue que lim an xn0 = 0. Portanto, |an xn0 | M,
para todo n em N, e
x x
|an xn | = |an xn0 || |n M| |n .
x0 x0
Como |x/x0 | < 1, a conclusao segue pelo teste da comparacao.
A segunda parte e analoga e deixamos como exerccio.
1.6.3 PROPOSIC
AO.
P
Para toda serie de potencias n an xn uma das seguintes alternativas e valida
(i) a serie converge somente para x = 0;
(ii) a serie converge para todo numero real x;
(iii) existe r > 0 tal que a serie converge para x com |x| < r e diverge para x com
|x| > r.
Demonstrac
ao. Exerccio.
lise
Elementos de Ana 21
Introduzimos entao o seguinte conceito de raio de convergencia.
1.6.4 DEFINIC DE RAIO DE CONVERGENCIA.

AO
P
O raio de convergencia R de uma serie de potencias n an xn e definido como sendo:
(A) R = 0 se a alternativa 1.2.4 (i) for verificada;
(B) R = + se a alternativa 1.2.4 (ii) for verificada;
(C) R = sup |x| se a alternativa 1.2.4 (iii) for verificada.
O intervalo ] R, R[ e chamado o intervalo de converg

encia da serie.
1.6.5 PROPOSIC
AO.
P
Seja R o raio de convergencia de uma serie de potencias n an xn . Entao
(i) a serie converge absolutamente em ] R, R[;
(ii) a serie diverge em R \ [R, R] =] , R[ ]R, +[.
Demonstrac ao. Dado x ] R, R[, seja > 0 e x0 R tal que |x| < R < x0 < R.
P
Entao a serie n an xn0 converge e existe M > 0 tal que |an xn0 | M, para todo n N.
Agora, para x R, com |x| R , vamos ter
x n R n
|an xn | |an xn0 || | M| | .
x0 x0
Como |R |/|x0| < 1 o Teste da Comparacao implica o resultado.
A proposicao seguinte estabelece um metodo de calcular o raio de convergencia de uma

serie de potencias.

1.6.6 UMA FORMULA
PARA O RAIO DE CONVERGENCIA.
P
Seja n an xn uma serie de potencias tal que exista o limite
an+1
(1) lim | | = q.
n an
Entao, se q > 0 o raio de convergencia e dado por R = 1/q, se q = 0 o raio de

convergencia sera R = e se q = o raio sera R = 0.
ao. Seja x 6= 0. Entao

Demonstrac
an+1 xn+1 an+1

lim | | = lim | x| = q|x|.
n an xn n an
P
Consequentemente, se q|x| < 1, a serie an xn converge absolutamente pelo teste da razao,
ou seja se |x| < 1/q. Segue entao que R = 1/q.

X xn
EXEMPLOS. (a) 1 + .
n=1
n2
Vamos ter
1/(n + 1)2 1 2
lim 2
= lim (1 ) =1=q
n 1/n n n+1
Logo, R = 1.

X 10n
(b) xn .
n=1
n
Vamos ter
10n+1 /n + 1 n
lim n
= lim (10 + n ) = 10 = q.
n 10 /n n 10
Logo, R = 1/10.
X
x x x x xn
(c) 1 + ( ) + ( )2 + ( )3 + ( )4 + ... = 1 +
2 4 2 4 n=1
(3 + (1)n )n
Neste caso nao existe o limite de an+1 /an (por que?), mas a serie converge para todo x em
] 2, 2[ (por que?).
Um segundo metodo para calcular o raio de convergencia e atraves da conhecida formula

de Cauchy-Hadamard.

1.6.7 FORMULA DE CAUCHY-HADAMARD.
P
Seja n an xn uma serie de potencias tal que exista o limite
p
(1) lim sup n |an | = q.
n
Entao, se 0 < q < , o raio de convergencia e dado por R = 1/q. Por outro lado
se q = 0, o raio de convergencia e R = e se q = o raio sera R = 0.
Demonstrac
ao. Exerccio (aplicar o Teste da Raz).
P
EXEMPLOS. (a) Se n 2n xn entao R = 1/2 pois limn (2n )1/n = 2.
P
(b) Se n nn xn entao limn (nn )1/n nao existe e a serie so converge para x = 0.
P
(c) Se n nn xn entao limn (nn )1/n = 0 e R = .
P n n
(d) Se n 2(1+(1) )n xn entao o limite limn 2(1+(1) )n nao existe, mas a serie converge
lise
Elementos de Ana 23
1 1
para todo x em ] , [ (por que?).
4 4
P
EXERCICIOS. Determine o raio de convergencia de n an xn , onde
(1) an = n (2) an = n2 (3) an = n1

(4) an = nn (5) an = 2n (6) an = 2n
(n!)2
(7) an = n /n! (8) an = nn /n! (9) an =
(2n)!
1 2n
(10) an = (11) an = . (12) an = (2 + (1)n )n .
(4n 1)! (2n + 7)!
n )n 1 (1)n n
(13) an = 2(1+(1) . (14) an = . (15) an = (1 + ) .
(3 + (1)n ) n
1.7 Derivac
ao de S
eries de Pot
encias
.
1.7.1 TEOREMA.
Suponhamos que a serie de potencias

X
(1) f (x) = an xn
n=0
tenha o intervalo de convergencia |x| < r. Entao a serie

X
X
n1
(2) n an x = a1 + n an xn1 ,
n=1 n=2
tem o mesmo intervalo de convergencia |x| < r.
Demonstrac ao. Para cada x ] r, r[, existem x0 e h tais que 0 < |x| < x0 < x0 + h < r.
Entao, as series para f (x0 ) e f (x0 + h) sao absolutamente convergentes. Portanto, o mesmo
se da com a serie

f (x0 + h) f (x0 ) X (x0 + h)n xn0
(3) = an
h n=0
h
Aplicando agora o Teorema da Media a cada termo da serie em (3) obtemos

(x0 + h)n xn0
= n cn1
n
h
onde x0 < cn < x0 + h. Logo, vamos ter que a serie em (3) e identica a serie

X
n an cn1
n
n=1
a qual e absolutamente convergente e seus termos dominam os termos da serie em (2),

quando 0 < x < x0 . Logo, a serie em (2) converge em |x| < r. Por outro lado, o intervalo de
convergencia de (2) nao pode ser maior, senao existiria x1 > r tal que |an xn1 | < x11 n|an |xn1 e
r nao seria o raio de convergencia da serie em (1).

1.7.2 COROLARIO.
A serie
X X
n2
n (n 1)an x = 2a2 + n (n 1)an xn2
n=2 n=3
tem o mesmo intervalo de convergencia que a serie 1.6.1(1).
Demonstrac
ao. Exerccio.
1.7.3 TEOREMA.
A funcao definida por

X
(1) f (x) = an xn
n=0
e contnua em cada x pertencente ao seu intervalo de convergencia.
ao. Para cada x ] r, r[, vamos demonstrar que

Demonstrac
(2) lim |f (x + h) f (x)| = 0.

h0
Existe y > 0 tal que 0 |x| < y < r e seja h R arbitrario, mas de modo que |x| + |h| <
y < r. Procedendo como na demonstracao do Teorema 1.6.1(1), temos

X
(3) f (x + h) f (x) = h n an cn1
n ,
n=1
onde x < cn < x + h ou x + h < cn < x, conforme h seja positivo ou negativo. Em ambos os
P
casos temos |x cn | < |h|. Como y < r, o Teorema 1.6.1 garante que a serie n n an y n1 e
convergente e, como |cn | < y, a equacao (3) implica na desigualdade

X
(4) 0 |f (x + h) f (x)| |h| n|an | |y|n1.
n=1
Fazendo h 0 em (4) obtemos (2).

lise
Elementos de Ana 25
1.7.4 TEOREMA.
Se a funcao f (x) e dada pela serie de potencias

X
(1) f (x) = an xn
n=0
no intervalo |x| < r, entao para cada x neste intervalo a derivada f (x) existe e e
dada pela serie de potencias

X

(2) f (x) = n an xn1
n=1
Demonstrac
ao. A serie

X
(3) F (x) = n an xn1 .
n=1
absolutamente convergente para |x| < r, pelo Teorema 1.6.1. Vamos demonstrar que f (x)
existe e coincide com F (x) em |x| < r. Procedendo como anteriormente, existe y > 0 tal
que |x| < y < r. Tomamos, entao, h R arbitrario, mas de modo que |x| + |h| < y < r e
obtemos

f (x + h) f (x) X
(4) F (x) = n an (xn1 cn1
n ),
h n=1
onde x < cn < x + h ou x + h < cn < x, conforme h seja positivo ou negativo; mas em
qualquer dos casos temos |x cn | < |h|. Aplicamos novamente o Teorema da Media para
obter
xn1 cn1
n = (n 1)dn2
n (x cn ),
onde cn < dn < x ou x < dn < cn , conforme tenhamos cn < x ou x < cn . Logo vamos ter

f (x + h) f (x) X
(5) F (x) = n(n 1) an dn2
n (x cn ).
h n=2
A serie em (5) e absolutamente convergente uma vez que e identica a serie em (4). Agora,
como |x| + |h| < y, vamos ter |dn | < y e, portanto,
X
f (x + h) f (x)
(6) 0 |F (x) | |h| n(n 1) |an | |y|n2.
h n=2
A serie em (6) e convergente pelo Corolario 1.6.2. Fazendo h 0 vemos que f (x) existe
e e igual a F (x).
1.7.5 TEOREMA.
Se f (x) e dada pela serie de potencias

X
(1) f (x) = an xn
n=0
no intervalo |x| < r, entao a serie em

X
an n+1
(2) G(x) = x
n=0
n + 1
tem o mesmo intervalo de convergencia e
(3) G (x) = f (x).
Demonstrac
ao. Basta aplicar o Teorema 1.6.1.
EXEMPLO. A funcao

X xn
e(x) =
n=0
n!
esta definida para todo x em R e vamos ter

d X xn X n n1 X xn
e (x) = = x = = e(x).
dx n=0 n! n=1
n! n=0
n!
EXEMPLO. Definimos
X
(1)n
(1) S(x) = x2n+1
n=0
(2n + 1)!
e

X (1)n
(2) C(x) = x2n
n=0
(2n)!
As series em (1) e (2) convergem para todo x em R e vamos ter

d d X (1)n 2n+1 d X (1)n1 2n1
S(x) = x = x
dx dx n=0 (2n + 1)! dx n=1 (2n 1)!
X
(1)n1 2(n1) X (1)n 2n
= x = x = C(x),
n=1
(2(n 1))! n=0
(2n)!
e

d d X (1)n 2n X d (1) 2n1
X (1)n+1
C(x) = x = x = x2n+1 = S(x).
dx dx n=0 (2n)! n=1
dx (2n 1)! n=0
(2n + 1)!
lise
Elementos de Ana 27
1.8 S
eries de Taylor
1.8.1 TEOREMA.
Se f (x) e dada pela serie de potencia

X
(1) f (x) = an xn
n=0
no intervalo |x| < r, entao, para cada n N, temos

f (n) (0)
(2) an =
n!
Demonstrac
ao. Temos

X
(k) (n + k)!
f (x) = an+k xn ,
n=0
n!
(k)
e quando x = 0 vem que f (0) = k!ak .
1.8.2 DEFINIC
AO.
Se f e uma funcao indefinidamente derivavel num intervalo (a, b) e y ]a, b[, a serie
de potencias

X f (n) (y)
(1) (x y)n
n=0
n!
denomina-se a serie de Taylor da funcao f . Quando y = 0, a serie em (1) e tambem

chamada de serie de MacLaurin.
1.8.3 OBSERVAC
AO. O Teorema 1.6.1 diz que se uma funcao f e dada por uma serie
de potencias, no intervalo de convergencia ] r, r[, esta serie de potencias e uma serie de
Taylor. Entretanto, o seguinte exemplo mostra que a serie de Taylor de uma funcao nao
converge necessariamente em todos os pontos onde a funcao estiver definida. Seja f a funcao
indefinidamente derivavel em ]a, b[ definida por f (x) = 1/x. Vamos ter
(1)n n!
f (n) (x) =
xn+1
(verifique!). Logo f (n) (1) = (1)n! e a serie de Taylor da funcao f em y = 1 e

X
(1)n (x 1)n
n=0
Mas, esta e a serie geometrica e converge em ]0, 2[ e diverge se x 2; porem f (x) = 1/x
esta bem definida para x 2.
Captulo 2
FUNC
OES ELEMENTARES (I)
2.1 Exist
encia da Fun
cao Exponencial
2.1.1 PROPOSIC
AO.
Seja e : R R uma funcao derivavel que verifica as condicoes e(0) = 1 e e (x) =

e(x), para todo x R. Entao, para todo x e y em R temos
(1) e(x + y) = e(x).e(y).
ao: Consideremos a funcao F : R R definida por

Demonstrac
F (x) = e(x) e(z x)
umero real arbitrario, mas fixo. Vamos ter F (x) = 0 para todo x R. Logo
onde z e um n
F (x) = c para todo x R e em especial F (z) = c, donde: c = F (z) = e(z) e(0) = e(z).
Portanto e(z) = e(x)e(z x), para todo x R. Fazendo z = x + y, segue (1).

2.1.2 COROLARIO.
Para todo x R, temos
e(x) > 0.
ao. Suponhamos que exista x R tal que e(x) = 0. Entao

Demonstrac
1 = e(0) = e(x + (x)) = e(x).e(x) = 0,
29
o que e absurdo. Suponhamos agora que exista um x0 R, tal que e(x0 ) < 0. Como
e(0) = 1, existiria um x R com 0 < x < x0 ou x0 < x < 0 para o qual e(x) = 0, o que nao
e o caso.
2.1.3 TEOREMA.
Existe uma unica funcao e : R R que verifica as condicoes

e (x) = e(x)
(1)
e(0) = 1
x2 x3
Demonstrac ao. Exist encia: ja sabemos que a serie 1 + x + + + , converge para
2! 3!
todo x R e define uma funcao e : R R com as propriedades acima.
Unicidade: Sejam e1 e e2 funcoes que verificam as propriedades em (1). Entao temos:
d e1 (x) d e2 (x)e1 (x) e1 (x)e2 (x)

= = 0,
dx e2 (x) dx [e2 (x)]2
para todo x R, pois e2 (x) 6= 0. Logo e1 (x)/e2 (x) = c para todo x R e em particular
e1 (0)/e2 (0) = c. Donde c = 1. Donde e1 (x) = e2 (x), para todo x R, e a unicidade esta
demonstrada.
2.1.4 OBSERVAC
AO. O teorema precedente estabelece, principalmente que a funcao
e : R R e inteiramente caracterizada por 2.1.3(1), isto e, a partir destas duas propriedades,
podemos ter todas as informacoes a respeito da funcao e.
2.1.5 NOTAC E DEFINIC

AO .
AO
Como
1 1 1
e(1) = 1 + 1 + + ++ + = e.
2! 3! n!
de 2.1.1(1) segue-se que
e(n) = en .
Por isso, habitualmente usa-se a notacao
ex := e(x),
e esta funcao denomina-se func

ao exponencial.
Entretanto, devemos observar que e(x) = ex e efetivamente uma potencia (pelo menos no
que foi estabelecido ate agora) no caso em que x = n.
lise
Elementos de Ana 31
2.1.6 PROPOSIC
AO.
Para todo x e y em R, temos
e(x) = 1/e(x) e e(x)/e(y) = e(x y)
ou
ex = 1/ex e ex /ey = exy
Demonstrac
ao. A identidade
e(0) = e(x x) = e(x).e(x),
implica a primeira relacao. Agora, observando que
e(x) = e(x y + y) = e(x y).e(y)
segue a segunda relacao.
2.1.7 PROPOSIC
AO.
A funcao exponencial e biunvoca:
e(x) = e(y) = x = y.
Demonstrac ao. Se e(x) = e(y) e x 6= y, entao pelo teorema da media temos

0 = e(x) e(y) = e()(x y), onde x < < y ou y < < x. Donde e()(x y) = 0 e como
x 6= y = e() = 0. O que e absurdo. Logo x = y

2.1.8 COROLARIO.
Se e(x) = 1 = x = 0.
2.1.9 OBSERVAC
AO. Como e(x) > 0 e e (x) = e(x), vemos que a funcao e e crescente em
toda a reta, e como e biunvoca e estritamente crescente, isto e, se x < y entao e(x) < e(y).
Nao ha possibilidade de igualdade. Agora, se x > 0, seja [x] o maior inteiro menor ou igual
à x. Como 2 < e, temos
[x] < 2[x] < e[x] ex .
Portanto
lim e(x) = +
x+
e, por 2.1.6, vemos que

1
lim e(x) = lim = 0.
x+ x+ e(x)
EXERC ICIO. Para cada n N, definindo fn : [0, 1] R por
nx
fn (x) = nx
e
verifique a convergencia pontual e depois uniforme da sequencia {fn }.
2.2 Exist
encia da Func
ao Logartmica
2.2.1 TEOREMA.
Existe uma unica funcao L :]0, +[ R satisfazendo as condicoes

1
L (x) =
(1) x

L(1) = 0
para todo x ]0, +[.
Demonstrac ao. Exist encia. A funcao exponencial x = e(y) e biunvoca e e(R) =

]0, +[. Logo admite uma funcao inversa L em ]0, [. Como e(0) = 1 temos L(1) = 0.
Pela formula da derivada de funcao inversa temos
d 1 1 1
L(x) = = = .
dx e (y) e(y) x
Unicidade. Suponhamos que L1 e L2 sejam funcoes, verificando as condicoes (i) e (ii).

Consideremos a funcao auxiliar F :]0, +[ R, definida por F (x) = L1 (x) L2 (x). Temos
entao:
1 1
F (x) = L1 (x) L2 (x) = = 0
x x
e portanto F (x) = c, para todo x ]0, +[. Em particular F (1) = L1 (1) L2 (1) = k.
Como L1 (1) = L2 (1) = 0, vem c = 0 e L1 (x) L2 (x) = F (x) = c = 0, donde L1 (x) = F2 (x),
para todo x ]0, +[. Portanto existe uma u nica funcao derivavel em ]0, +[ que verifica
as condicoes do enunciado.
2.2.2 DEFINIC
AO.
1
A unica funcao L :]0, +[ R, que verifica as condicoes L(1) = 0 e L (x) =
x
denomina-se funcao logartmica. O valor de L num ponto x ]0, +[ denomina-
se logaritmo de x e e denotado por
L(x) = log x.
lise
Elementos de Ana 33
2.3 Propriedades Elementares do Logartmo

2.3.1 TEOREMA.
Sejam a e b numeros reais positivos. Entao
(1) log(a b) = log(a) + log(b)
Demonstrac ao. Consideremos a funcao F : ]0, +[ R, definida por F (x) =

L(ax) L(x). Vamos ter F (x) = 0 e log(ax) log(x) = c, para todo x ]0, +[. Em
particular se x = 1 temos: log(a) log(1) = c. Donde log(a) = c e log(ax) log(x) = log(a).
Fazendo x = b e transpondo, vem log(a b) = log(a) + log(b).
2.3.2 TEOREMA.
Sejam b e c numeros reais positivos

c
(1) log( ) = log(c) log(b).
b
Demonstrac
ao: Basta tomar a = c/b em 2.3.1(1)
2.3.3 TEOREMA.
A funcao logartmica e biunvoca, isto e, se
log(x) = log(y) entao x = y.
Demonstracao. Pelo Teorema da Media, temos log(x) log(y) = L ()(x y) onde

1
x < < y ou y < < x. Se log(x) = log(y) e x 6= y, vem que L () = = 0, o que e

absurdo. Logo devemos ter x = y.
2.3.4 TEOREMA.
A funcao logartmica e uma funcao crescente.
1
Demonstrac ao. Temos L (x) = , para todo x ]0, +[, ou seja, sua derivada e
x
positiva em todos os pontos do domnio.
2.3.5 TEOREMA.
Temos
(1) lim log(x) = +
x
e
(2) lim log(x) = .
x0
Demonstrac ao. Suponhamos que exista uma constante c tal que log x c. Tomando a
inversa obtemos
x ec ,
para todo x > 0, o que e absurdo. Portanto temos (1). O limite em (2) segue de forma
analoga.
EXERC ICIO. Verifique a convergencia pontual e uniforme das {fn } e {gn }, definidas em [0, 1]
log(1 + n3 x2 )
por fn (x) = e gn (x) = n2 xenx , respectivamente.
n2
2.4 A Func
ao Exponencial Geral
2.4.1 DEFINIC
AO.
Se a > 0 chamaremos de func
ao exponencial geral à funcao
ea : R R, definida por
ea (x) = ax = ex log a .
2.4.2 TEOREMA.
Para todo a > 0 e x R, temos
d x
a = ax log a.
dx
Demonstrac
ao. Exerccio.
2.4.3 PROPRIEDADES.
Sejam a, b > 0 e x, y R. Entao
i) ax .ay = ax+y ; ii) (ax )y = ax.y
iii) ax = 1/ax ; iv) a0 = 1
ax
v) (a.b)x = ax .bx ; vi) ( ab )x = x
b
lise
Elementos de Ana 35
ao. Fazendo b = ax , vamos ter (ax )y = by . Vemos, entao, que

Demonstrac
x x log a )
(ax )y = ey log(a ) = ey log(e = exy log a = axy .
As demais propriedade ficam como exerccio para o leitor (sugestao: usar a definicao e as
propriedades das funcoes exponencial e logartmica.).
2.5 A Func
ao Pot
encia Geral.
2.5.1 DEFINIC
AO.
Se R chamaremos de funcao potencia geral, à funcao :]0, +[ R, definida

por
(x) = x = e log x ,
EXERC
ICIO. Demonstre que
1 x
lim (1 + ) = e.
x+ x
2.5.2 TEOREMA.
Para todo x > 0 e R temos
d
x = x1
dx
Demonstrac
ao. Usando a definicao e a derivacao de funcao composta, obtemos

d d log x d 1
x = e = (. log x) .e log x = x = x1 ,
dx dx dx x
que e a assertiva.
2.5.3 PROPRIEDADES.
Para todo x, y > 0 e , R, temos
i) x .x = x+ ; ii) (x ) = x.
iii) x0 = 1 ; iv) x = 1/x
x
v) (x.y) = x .y ; vi) ( ) = x /y
y
Demonstrac
ao. Exerccio para o leitor.
2.6 Generalizac
oes Finais.
2.6.1 DEFINIC
AO.
Sejam u : R R e v : R R, tal que u(x) > 0, para todo x ]0, +[. A func
ao
E : R R, definida por
E(x) = [u(x)]v(x) = exp[v(x) log[u(x)].
denomina-se func
ao exponencial geral.
2.6.2 TEOREMA.
Se u e v s
ao func
oes nas condic
oes da definic
ao da func
ao exponencial geral, temos

d v(x) v(x)1 d d
[u(x)] = v(x).u(x) u(x) + v(x) . log[u(x)]u(x)v(x)
dx dx dx
Demonstrac
ao. De fato:
d d
[u(x)]v(x) = exp[v(x). log[u(x)]]
dx dx
d
= exp[u(x). log[u(x)]]. [v(x). log[u(x)]]
( dx )
d
v(x) dx u(x) d
= [u(x)] v(x) + v(x) log[u(x)]
u(x) dx

v(x)1 d d
= v(x)[u(x)] u(x) + v(x) . log[u(x)].[u(x)]v(x) ,
x dx
que e a f
ormula enunciada.
2.6.3 OBSERVAC
AO.
d v(x) v(x)1 d
i) Se u(x) = x, ent
ao: x = v(x)x + v(x) log x.xv(x)
dx dx
d x
ii) Se u(x) = x e v(x) = x, entao: x = x + xx log x .
dx
2.6.4 PROPRIEDADES. Deixamos a cargo do leitor, enunciar e demonstrar propriedades
analogas a 2.5.3.
2.7 Func
ao Logartmica Geral
Algumas vezes denominamos a func ao logartmica, introduzida anteriormente, como func ao
logartmica natural, neperiana ou de base e. Vamos agora generalizar este tipo de func
ao, definindo
ao logartmica de base a, a > 0 e a 6= 1.
func
lise
Elementos de Ana 37
2.7.1 DEFINIC
AO.
ao logartmica de base a, a > 0 e a 6= 1, `
Chamaremos de func a func
ao La : ]0, +[ R,
definida por
1
La (x) = loga x = . loge x
loge a
2.7.2 PROPRIEDADES.
Se x, y > 0, temos
i) loga (x y) = loga x + loga y

x
ii) loga = loga x loga y
y
iii) loga y x = x loga y
Demonstrac
ao: Fazendo M = 1/ loge a, temos
i) loga (x.y) = M. loge (x, y) = M. loge x + M loge y = loga x + loga y
x x
ii) loga ( ) = M. loge ( ) = M. loge x M loge y = loga x loga y
y y
x x
iii) loga y = M. loge y = M.x. loge y = x.M loge y = x loga y,
e as relac
oes est
ao demonstradas.
2.7.3 TEOREMA.
Para todo x > 0, temos
d 1 1
loga x = . .
dx loge a x
Demonstra
c
ao. Exerccio.

0, se a > 1
EXERC ICIOS. Demonstre que 1) lim ax = ;
x +, se a < 1

x +, a > 1
2) lim a =
x+ 0, a < 1

, a > 1
3) lim loga x = ;
x0 + +, a < 1

+, a > 1
4) lim loga x =
x+ , a < 1
2.8 O Espaco Cc (R).

2.8.1 LEMA.
Se y > 0 e k N, temos
y
y k ey >
(k + 1)k+1
Demonstraao. . Facamos ey = f (y). Ent

c ao
f (y) = f (0) + f (c)(y 0) = 1 + ec y > 1 + y,

y
onde 0 < c < y. Agora, substiruindo y por obtemos
k+1
y
y
ek + 1 > 1 +
k+1
e
y k+1
ey > .
(k + 1)k+1
Donde segue o resultado.
2.8.2 PROPOSIC
AO.
Se k N e p e um polin
omio, temos
(1) lim y k ey = 0
y
(2) lim p(y) ey = 0

y
1 n
(3) lim p( ) e1/x = 0
x0 x
Demonstra
c
ao. Do Lema, segue-se que
(k + 1)k+1 yn
> y.
y e
Tomando-se o limite na desigualdade acima, obtemos (1), (2) e (3).
2.8.3 TEOREMA.
Se k N e k
e1/x se x > 0
fk (x) =

0 se x 0
ao, fk C (R), ou seja fk e indefinidamente deriv
Ent avel.
Demonstra
c
ao. . Vamos demonstrar por inducao que
1 1/xk
(n) p( x )e , se x > 0
fk (x) =
0 se x 0
lise
Elementos de Ana 39
k k
Para n = 1, temos fk (x) = 0 se x < 0 e fk (x) = xk1
e1/x se x > 0. Alem disso,
fk (x) fk (0) exp[1/xk ]

fk (0) = lim = lim =0
x0 x0 x0 x
e
fk (x) f (0).
x0
(n) claro que
Suponhamos agora que fk C(R) e vamos demonstrar que f (n+1) C(R). E
(n+1) (n+1) k
fk (x) = 0 se x < 0 e fk (x) = P ( x1 )e1/x se x > 0. Alem disso
(n) (n)
(n+1) f (x) fk (0) 1 k
fk (0) = lim k = lim Pn ( )e1/x = 0
x0 x0 x0 x
e
(n+1)
fk (x) 0,
x0
o que conclui a induc
ao.

2.8.4 COROLARIO.
A func
ao fk n
ao pode ser representada por sua serie de Taylor.
2.8.5 TEOREMA.
ao C (R) que se anula fora do intervalo [1, 1].

Existe uma func
Demonstraao. . Temos que f1 (1 x) C (R) e f1 (x + 1) C(R). Logo, a func

c ao definida
em R por
(x) = f1 (1 x)f1 (1 + x)
e tambem C (R). Observemos que
( 1
(x) = e 1x2 |x| < 1

0 |x| 1.
Denotamos por Cc (R) o espaco vetorial de todas a func

oes de C (R) que se anulam fora de um
conjunto limitado e fechado. O Teorema acima mostra que Cc (R) 6= {0}.
Captulo 3
FUNC
OES ELEMENTARES (II)
3.1 A Exist
encia das Fun
coes Seno e Coseno
3.1.1 TEOREMA.
Existem duas u
nicas func aveis S : R R e C : R R tais que
oes deriv

S(0) = 0 S (x) = C(x)
e
C(0) = 1 C (x) = S(x)
Demonstrac
ao: a) Exist
encia: consideremos as series de potencias
x3 x5 x2 x4
S(x) = x + e C(x) = 1 +
3! 5! 2! 4!
a vimos que estas duas series convergem, qualquer que seja x R. Temos S(0) = 0 e C(0) = 1 e
J
ainda
x2 x4 x x3 x5
S (x) = 1 + = C(x) e C (x) = + + = S(x).
2! 4! 1! 3! 5!
b) Unicidade: suponhamos que existam duas outras funcoes e tais que (0) = 0 e (0) = 1
e ainda (x) = (x) e (x) = (x). Consideremos a func
ao auxiliar F : R R, definida por
F (x) = [S(x) (x)]2 + [C(x) (x)]2
derivando, obtemos: F (x) = 0, para todo x R isto implica F (x) = k e como F (0) = 0 vamos ter
k = 0. Portanto, para todo x R,
(S(x) (x))2 + (C(x) (x))2 = 0,
e consequentemente
S(x) = (x) e C(x) = (x).
A demonstrac
ao est
a completa.
41
3.1.2 DEFINIC
AO.
oes S : R R e C : R R tais que

As func
S(0) = 0, C(0) = 1, S (x) = C(x) e C (x) = S(x)

chamam-se seno e coseno, respectivamente. Habitualmente s
ao utilizadas as seguintes
notac
oes:
S(x) = sen x e C(x) = cos x.
EXERC
ICIO. Demonstre que
sen x
lim = 1.
x0 x
3.2 Propriedades Elementares do Seno e Coseno

3.2.1 TEOREMA.

[S(x)]2 + [C(x)]2 = 1
Demonstrac
ao. Consideremos a funcao F : R R, definida por
F (x) = (S(x))2 + (C(x))2

Logo, para todo x R, F (x) = 2S(x).C(x) 2C(x)S(x) = 0, e portanto F (x) = k. Em particular,
se x = 0 temos k = F (0) = 1, logo F (x) = 1 = (S(x))2 + (C(x))2 .
3.2.2 TEOREMA.
Para todo x, y R, temos
(1) S(x + y) = S(x)C(y) + S(y)C(x)
Demostrac
ao. Sejam k um numero real qualquer. Consideremos a funcao F : R R, definida
por F (x) = S(x).C(k x) + S(k x).C(x). Derivando vem: F (x) = 0 e F (x) = constante = K,
para todo x R. Em particular, se x = 0 obtemos K = F (0) = S(k), isto e:
S(k) = S(x).C(k x) + S(k x)C(x)
Fazendo y = k x ou seja k = x + y obtemos a f

ormula procurada.
3.2.3 TEOREMA.
C(x + y) = C(x)C(y) S(x)S(y)

lise
Elementos de Ana 43
Demonstrac
ao: Considerar F (x) = C(x).C(k x) S(x)S(k x) e proceder como anterior-
mente.
OBSERVAC . O Teorema 3.1.1. diz que S : R R e C : R R sao contnuas, pois

AO
s aveis. Do Teorema 3.2.1, resulta que |S(x)| 1 e |C(x)| 1, para todo x R
ao deriv
3.2.4 TEOREMA.
S(x y) = S(x)C(y) S(y)C(x)
Demonstrac ao: Considerar F (x) = S(x)C(x k) S(x k)C(x) e proceder como na

demonstrac
ao do Teorema 3.2.3.

3.2.5 COROLARIO.
ao seno e impar: S(y) = S(y).

A func
3.2.6 TEOREMA.
C(x y) = C(x)C(y) + S(x)S(y)
Demonstrac
ao: Considerar F (x) = C(x)C(x k) + S(x k)S(x) e proceder como na
demonstrac
ao do Teorema 3.2.2.

3.2.7 COROLARIO.
A func
ao coseno e par: C(y) = C(y).
EXERC ICIOS. Demonstre que

i) cos x cos y = 12 [cos(x + y) + cos(x y)];
ii) sen x cos y = 12 [sen (x + y) + sen (x y)];
iii) sen x sen y = 12 [cos(x y) cos(x + y).
3.3 O N
umero
3.3.1 TEOREMA.
Para todo m R, m > 0, existe x R, x > 0; tal que C(x) < m.

Demonstrac
ao. Vamos demonstrar por reducao ao absurdo; para isto, reescrevamos, nova-
mente, o teorema:
para todo m R, m > 0, existe x R, x > 0 tal que C(x) < m

A negac
ao da proposic
ao acima e:
existe m R, m > 0 tal que para todo x > 0 tem-se C(x) m.
oes, o conjunto {C(x) ; x R, x > 0} e limitado inferiormente. Logo existe

Nestas condic
k = inf{C(x) ; x R, x > 0}.

claro que k m > 0 e k > 0 (por que temos k m?). Por outro lado, k < 1 (pois |C(x)| 1
E
e se k = 1 o coseno seria uma func ao constante, porem n ao e o caso). Logo 0 <
k < 1. Seja

= kk > 0. Pela definicao de nfimo, existe x R, x > 0 tal que C(x) < k+ = k+ kk = k.
Agora,

C(2x) = [C(x)]2 [S(x)]2 [C(x)]2 < ( k)2 = k
isto e:
C(2x) < k = inf{C(x)|x R, x > 0}

o que e absurdo. Logo a negac
ao da tese e absurda, o que implica em sua veracidade.
3.3.2 TEOREMA.
1
Existe x R, x 0, tal que C(x) = .
2
Demonstrac
ao Pelo Teorema 3.3.1, existe y R, y > 0, tal que C(y) < 1/2. Seja b = C(y) e
consideremos a funcao C : R R restrita ao intervalo [0, y]. Esta restric
ao e uma func
ao contnua
e portanto assume um mnimo m num ponto do intervalo e m b. Como seu m aximo e 1 temos
m b < 1/2 < 1. Ent ao, pelo teorema que diz que uma func ao contnua num intervalo fechado
assume todos os seus valores entre o valores maximo e mnimos no intervalo, conclumos que existe
x [0, y] tal que C(x) = 1/2,
3.3.3 TEOREMA.
Existe x0 R, x0 > 0 tal que C(x0 ) < 0.
Demonstrac
ao: Seja x tal que C(x) = 1/2. Temos:
C(2x) = [C(x)]2 [S(x)]2 = 2[C(x)]2 1 = 2.[1/2]2 1 = 1/2 1 = 1/2 < 0

colocando x0 = 2x tem-se C(x0 ) = 1/2 < 0. Ve-se que x0 > 0 pois C(0) = 1 > 0,
lise
Elementos de Ana 45

3.3.4 PROCESSO PARA DEFINIR O NUMERO .
Como C(0) = 1 > 0, ent ao do Sinal, existe um intervalo ] r, r[,

ao, pelo Teorema da Conservac
r > 0, tal que C(x) > 0, para todo x ] r, r[. Logo, o seno e crescente em ] r, r[, pois sua
derivada e positiva. Isto implica, em que o conjunto
D = {x R ; x > 0; S e crescente em [0, x]}

ao vazio, pois r D. O conjunto D e limitado superiormente, pois para todo y D temos
e n
y x0 , onde x0 e dado pelo Teorema 4.3.3. logo, existe o supD.
3.3.5 DEFINIC
AO.

= 2 sup D (ou = sup D).
2
3.3.6 TEOREMA.

cos = 0 ( ou C = 0)
2 2
Demonstrac
ao. Se cos /2 > 0 teramos a existencia de um intervalo [/2 , /2 + ] tal

que cos x > 0, para todo x [ , + ]. Logo, o seno seria crescente em [ , + ]. Em
2 2 2 2
particular, o seno seria crescente em [0, /2 + ] e teramos /2 + D o que n
ao e o caso (por
que). Consequentemente cos /2 = 0
3.3.7 TEOREMA.

sen = 1 (ou S = 1).
2 2
ao. Segue-se de [S(x)]2 + [C(x)]2 = 1 que [S( 2 )]2 = 1 e entao S( 2 ) = 1. (Mas por
Demonstrac
que descarta-se a possibilidade 1?)
3.3.8 OBSERVAC
AO. J
a sabemos, o que ocorre com o seno e o coseno, no intervalo ]0, /2[.
Vamos estudar, agora, o que acontece com estas funcoes em ]/2, 2[. Para isto, consideremos tres
casos:
i) se y ]/2, [ ent
ao y = /2 + x, onde 0 x /2; portanto
sen (y) = sen(/2 + x) = sen/2 cos x + cos /2 senx = cos x

cos(y) = cos(/2 + x) = cos /2 cos x sen /2 senx = senx
ii) Se y ], 3/2[ ent

ao y = /2 + x, onde 0 x /2; portanto
sen (y) = sen( + x) = sen cos x + cos senx = senx

cos(y) = cos( + x) = cos cos x sen senx = cos x
3
ao y = + x, onde 0 x /2; portanto
iii) Se y ]3/2, [ ent
2
3 3 3
sen (y) = sen( + x) = sen . cos x + senx cos = cos x
2 2 2
3 3 3
cos(y) = cos( + x) = cos . cos x senx sen = senx
2 2 2
Levando em considerac
ao i), ii) e iii), podemos construir o seguinte esquema:
3
0 2
2 2
seno 0 1 0 -1 0
coseno 1 0 -1 0 1
3.3.9 OBSERVAC
AO.
ao f : R R.
Consideremos uma func
i) Se f (x + T ) = f (x), para todo T R; ent
ao f e constante.
ao existe T 6= 0 tal que f (x + T ) = f (x); ent
ii) Se n ao a func
ao f e dita n
ao peri
odica.
iii) Se existir T 6= 0 tal que f (x + T ) = f (x), = 0, 1, 2, ... ent
ao f e dita peri
odica.
O menor T n ao nulo com essa propriedade e chamado o perodo da f .
3.3.10 TEOREMA.
O seno e o coseno, s
ao func
oes peri
odicas de perodo 2.
Demonstrac ao. Demonstraremos aqui, so o caso do seno e quando = 1, 2, 3, ... os caso

restantes, deixamos para o leitor, como exerccio. Faremos a demonstrac ao por induc
ao. Deve-
mos demonstrar que sen(x) = sen(x + n2). Se n = 1, e f
acil constatar que e verdade. Admitamos,
agora, que e verdade para n.
sen(x + (n + 1)2) = sen(x + n.2 + 2) = sen(x + 2n) = senx,
ou seja o caso n implica o caso n + 1.

CONCLUSAO: Como conhecemos o comportamento das func
oes seno e coseno em [0, 2] e
como estas func
oes s
ao peri
odicas, de perodo 2, ficamos sabendo o que acontece em toda a reta
numerica.
lise
Elementos de Ana 47
3.4 As F
ormulas de Euler
ao exponencial complexa, ez e definida, para z C por
A func

X zk
ez = .
k!
k=0
Esta serie converge abolutamente para todo n

umero complexo z. Portanto podemos rearranjar seus
termos para obtermos

X
i x (i x)k
(1) e =
k!
k=0

X
(i x)2k X (i x)2k+1
(2) = +
(2k)! (2k + 1)!
k=0 k=0

X
X
(1)k x2k (1)k x2k+1
(3) = + i
(2k)! (2k + 1)!
k=0 k=0
(4) = cos x + i sen x
Como consequencia obtemos as f

ormulas de Euler:
ei x + ei x
cos x =
2
e
ei x ei x
sen x =
2i
3.5 Definic
ao das demais Fun
coes Trigonom
etricas
Alem das func
oes b
asicas seno e coseno, vamos precisar das definic
oes e algumas propriedades
das demais func
oes trigonometricas. Vamos nos restringir ao ramo principal.
3.5.1 FUNC TANGENTE.

AO

ao tg : ] , [ R por
Definimos a func
2 2
sen x
tg (x) = .
cos x
3.5.2 FUNC SECANTE.

AO

ao sec : ]
Definimos a func , [ R por
2 2
1
sec(x) = .
cos x
3.5.3 PROPOSIC
AO.

Para todo x ] , [, temos
2 2
d
tg (x) = sec2 (x),
dx
e
d
sec(x) = sec(x) tg (x).
dx
Demonstra
c
ao. Exerccio.
3.5.4 FUNC COTANGENTE.

AO
ao cotg : ]0, [ R por
Definimos a func
cos x
cotg (x) = .
sen x
3.5.5 FUNC COSECANTE.

AO
ao cosec : ]0, [ R por
Definimos a func
1
cosec (x) = .
sen x
3.5.6 PROPOSIC
AO.
Para todo x ]0, [, temos

d
cotg (x) = cosec 2 (x),
dx
e
d
cosec (x) = cosec (x) cotg (x).
dx
Demonstra
c
ao. Exerccio.
3.6 As Func
oes Arco Seno e Arco Tangente
3.6.1 Consideremos a func ao S : [/2, /2] R, definida por S(x) = sen x. Se x ]/2, /2[

a sabemos que S (x) = cos x > 0, isto e, S e crescente neste intervalo. Como sen
j = 1 e
2
claro que e estritamente
sen = 1, concluimos que e crescente em todo intervalo [/2, /2]. E
2
crescente. (Por que?)
Conclus ao: existe a funcao inversa de S. Como 1 e o mnimo de S e 1 e o m aximo e ainda
1
pelo fato de ser contnua, S assumir a todos os valores entre 1 e 1. Logo o domnio da funcao
inversa ser
a o intervalo fechado [1, 1].
3.6.2 DEFINIC
AO.
ao S 1 : [1, 1] R, inversa da func
A func ao S denomina-se func
ao arco seno.
lise
Elementos de Ana 49
NOTAC
AO. usual a notac
E ao arcsen x para representar o valor da func
ao arco seno num
ao sen 1 x.
ponto x, qualquer. Alguns autores usam tambem a notac
3.6.3 TEOREMA.
Para todo x ] 1, 1[. temos
d 1
arc sen x =
dx 1 x2
Demonstra
c
ao. Lembrando que y = arcsen x se, e somente se, x = sen y, temos
d 1 1 1 1
arcsen x = = =p = ,
dx 1 cos y 1 sen 2 y 1 x2
sen y
dy
pois cos y 6= 0, se /2 < y < /2, o que demonstra a assertiva.
EXERC
ICIO. Calcule a derivada segunda da func
ao arco seno e esboce seu gr
afico.

ao T : ,
3.6.4 Consideremos, agora, a func R, definida por T (x) = tg x. Sabemos
2 2
d
que lim tg(x) = e que tg x = sec2 x = 1+ tg2 x, ou seja, a tangente e estritamente
x/2 dx

crescente em , . Logo existe a func ao inversa T 1 . Como tg (] /2, /2[) = ] , +[,
2 2
vemos que dom T 1 =] , +[= R.
3.6.5 DEFINIC
AO.
ao T 1 : R R, inversa da func
A func ao tangente, denomina-se func
ao arco tangente.
NOTAC
AO. Usa-se para a func
ao arco tangente a notac ao: arctg x, para representar o valor
desta func
ao num ponto determinado. Alguns autores usam a notac ao tg 1 x. Nos usaremos a
primeira forma.
3.6.6 TEOREMA.
d 1
arctg x =
dx 1 + x2
Demonstra
c ao x = tg y, e sec2 y = 1 + tg 2 y, logo
ao. Se y = arctg x ent
d 1 1 1 1
arctg x = = = 2 = ,
dx d 2
sec y 1 + tg y 1 + x2
tg y
dy

6 0, se < y < , demonstrando a assertiva.
pois sec y =
2 2
EXERC
ICIO. Calcule a derivada segunda da func
ao arco tangente e esboce seu gr
afico.
OBSERVAC
AO. Podemos ainda definir as func
oes arco coseno, arco cotangente, arco secante e
arco cosecante. No entanto, para as aplicac
oes que faremos as func
oes arco seno e arco tangente
ser
ao suficientes.
3.7 A Func
ao de Weierstrass
3.7.1 ao W : R R definida por
A func

X
W (x) = an cos(bx),
k=0
onde 0 < a < 1, b e um inteiro primo e ab > 1 + 32 , a chamada func

ao de Weierstrass, e contnua
mas n
ao e derivavel em ponto algum de R.
ario, porem fixo. Para cada m N, seja m Z tal que

De fato, seja x0 arbitr
1 m 1
< b x0 m < . Facamos
2 2
m 1 m + 1
xm = bm x0 m , ym = , zm = .
bm bm
Ent
ao
m 1 bm x0 1 (bm x0 m ) 1 + xm
ym x0 = m
= m
= m <0
b b b
e
m + 1 bm x0 1 (bm x0 m ) 1 xm
zm x0 = = = > 0.
bm bm bm
Portanto, ym < x0 < zm ,
1
1 2 1 bm x0 m
= ym x0 < 0
bm bm
e
1 12 1 (bm x0 m )
= zm x0 > 0.
bm bm
Logo ym x0 e zm x0 , quando m .
Agora,

W (ym ) W (x0 ) X k cos(bk ym ) cos(bk x0 )
= a
ym x0 ym x0
k=0
m1
X
cos(bk ym ) cos(bk x0 ) X k cos(bk ym ) cos(bk x0 )
= ak + a
ym x0 ym x0
k=0 k=m
= S1 + S2 .
A soma S1 pode ser estimada por

m1
X k sen bk (ym x0 )
b (ym + x0 ) 2
|S1 | = (abk ()sen y x )

k=0 2 k
b 2m 0

m1
X (ab)m 1 (ab)k
(ab)k = .
ab 1 ab 1
k=0
lise
Elementos de Ana 51
Para estimar S2 , observemos que

m 1
cos(bm+k ym ) = cos(bm+k )
bm
k
= cos(bk (m 1)) = [(1)b ]m 1 = (1)m ,
pois b e impar, e
1
cos(bm+k ym ) = cos(bm+k )
bm
= cos(bn m ) cos(bk xm ) sen (bn m )sen (bk xm )
k
= [(1)b ]m cos(bk xm )
= (1)m cos(bk xm ).
Ent
ao, temos

X cos(bm+k ym ) cos(bm+k x0 )
S2 = am+k
ym x0
k=0

X (1)m (1)m cos(bk xm )
= am+k
k=0
1+x
bm
m

X 1 + cos(bk xm )
= (ab)m (1)m ak .
1 + xm
k=0
Mas

X 1 + cos(bk xm ) 1 + cos(xm ) 1 2
ak 1 = .
1 + xm 1 + xm 1+ 2
3
k=0
Logo, existe 1 > 1, 1 = 1 (m), tal que

X 1 + cos(bk xm ) 2
ak = 1
1 + xm 3
k=0
e
2
S2 = (1)m (ab)m .
3
Por outro lado, existe 1 = 1 (m), 1 < 1 < 1, tal que

S1 = (1)m (ab)m 1 1 .
ab 1
Portanto,
W (ym ) W (x0 ) 2
= S1 + S2 = (1)m (ab)m 1 [1 + ].
ym x0 ab 1 3
Agora, em relac
ao a sequencia zn `
a direita, temos

W (zm ) W (x0 ) X k cos(bk zm ) cos(bk x0 )
= a
zm x0 zm x0
k=0
m1
X
cos(bk zm ) cos(bk x0 ) X k cos(bk zm ) cos(bk x0 )
= ak + a
zm x0 zm x0
k=0 k=m
= S1 + S2 .
Como no caso anterior, vamos ter

(ab)m
|S1 | .
ab 1
Para estimar S2 , observemos que
m + 1
cos(bm+k zm ) = cos(bm+k ) = cos(bk ( + 1)
bm
= cos(bk (m ) cos(bk ) sen (bk m )sen (bk )
= (1)m .
Ent
ao,

X (1)m (1)m cos(bk xm )
S2 = am+k 1xm
k=0 bm

X
m m 1 + cos(bk xm )
= (1) (ab) ak .
1 xm
k=0
Mas

X 1 + cos(bk xm ) 1 + cos(xm ) 1 2
ak 1 = .
1 xm 1 xm 1 ( 2 ) 3
k=0
Agora, existe 2 = 2 (m), 1 < 2 < 1, e 2 = 2 (m) tal que
W (zm ) W (x0 ) 2
= (1)m (ab)m 2 [2 + ].
zm x0 ab 1 3
3 2
A hip
otese ab > 1 + implica que < ,e
2 ab 1 3
2
+ j > 0, j = 1, 2.
3 ab 1
Logo,
W (ym ) W (x0 ) W (zm ) W (x0 )
e
ym x0 zm x0
arios, para todo m N. Como (ab)m , vemos que a func
tem sinais contr ao W nao tem
derivada no ponto x0 . Como x0 e arbitr
ario, segue-se que W n
ao admite derivada em ponto algum
de R.
OBSERVAC
AO. Este exemplo foi apresentado por K. Weierstrass em uma exposic ao oral na
Academia de Ciencias de Berlin em 1872. A demonstrac
ao foi publicada por du Bois-Reymond em
1875.
Captulo 4
UMA INTEGRAL ELEMENTAR
Introduziremos aqui uma noc ao elementar de integral. Definiremos, primeiro, a integral para
uma classe muito simples de funcoes: as func
oes em escada e depois estenderemos a definic
ao da
integral para uma classe mais ampla de funcoes que contera tanto as func
oes em escada quanto as
func
oes continuas.
Como ferramentas b asicas utilizaremos as nocoes de continuidade uniforme, de convergencia
uniforme e a compacidade dos intervalos fechados e limitados da reta.
4.1 Func
oes em Escada.
4.1.1 DEFINIC
AO.
Chamaremos de parti c
ao de um intervalo [a, b] uma sequencia finita de n
umeros P =
{a0 , . . . , an } tais que a = a0 < a1 < < an = b.
4.1.2 DEFINIC
AO.
Dizemos que uma func

ao
: [a, b] R
e uma funcao em escada (em relac ao P = {a0 , a1 , . . . , an }) se existem
ao a partic
n
umeros reais v1 , v2 , . . . , vn tais que
(x) = vj se aj1 < x < aj , j = 1, 2, . . . , n.

Usaremos a seguinte representac
ao para as func
oes em escada
(a0 , . . . , an ; v1 , . . . , vn )
Observemos que na definic ao de func

ao em escada n
ao foram considerados os valores da func
ao,
, nos pontos a0 , a1 , . . . , an da partic
ao P .
53
Vamos identificar as func

oes em escada que diferem em apenas um n
umero finito de pontos.
Denotemos por S([a, b]) o conjunto de todas as func

oes em escada definidas no intervalo [a, b].
O conjunto S([a, b]) quando munido das operac
oes usuais de soma de func
oes e produto de funcao
por escalar constitue um espaco vetorial. Com efeito: sejam e duas func oes em escadas
representadas por
(a0 , . . . , an ; v1 , . . . , vn ) e (a0 , . . . , an ; w1 , . . . , wn ).
ao, se , R vamos ter

Ent
+ (a0 , . . . , an ; v1 + w1 , . . . , vn + wn ).
Vamos chamar de funao caracterstica de um subintervalo I [a, b] a func

c ao em escada
definida por
I (x) = 1 se x I,
0 se x 6 I.
ao I e representado
Se I = [c, d] e um subintervalo de um intervalo [a, b], onde a < c < d < d, ent
por
I (a, c, d, b; 0, 1, 0)
4.1.3 PROPOSIC
AO.
Toda funcao em escada : [a, b] R e representada por uma combinac

ao linear de
func
oes caractersticas de subintervalos de [a, b]:
n
X
= ck ]ak1 ,ak [ ,
k=1
onde {a0 , a1 , ..., an } e uma partic

ao de [a, b] vk R, k = 1, 2, ..., n.
Demonstra
c
ao. Exerccio.
4.1.4 PROPOSIC
AO.
Sejam e func
oes em escada definidas em um mesmo intervalo [a, b]. Ent ao, existem

oes P = {a0 = a, a1 , ..., am = b} e P = {b0 = a, b1 , ..., bn = b}, e sequencias
partic
numericas {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 =]aj1 , aj [, j = 1, 2, ..., m, e Jk =]bk1 , bk [, k = 1, 2, ..., n.
4.1.5 PROPOSIC
AO.
Sejam e func
oes em escada, definidas em um mesmo intervalo [a, b]. Ent
ao, para
quaisquer , R, a func
ao + e tambem uma func
ao em escada.
lise
Elementos de Ana 55
Pm Pn
Demonstra c
ao. Dadas as func oes em escada = j=1 cj Ij e = k=1 dk Ik precisamos
demonstrar que podem ser redefindas utilizando a mesma partic ao. Observemos que Ij = nk=1 Ij
Jk , Jk = m n m
j=1 Ij Jk e [a, b] = k=1 j=1 Ij Jk . Se x Ij Jk , definimos (x) = cjk := cj , para
todo k, e (x) = djk := dk , para todo j. Segue ent ao que
X Xm X Xm
= n cjk Ij Jk e = n djk Ij Jk e.
k=1 j=1 k=1 j=1
Consequentemente
X Xm
= n ( cjk + djk ) Ij Jk ,
k=1 j=1
o que demonstra ser + tambem uma func

ao em escada.
4.2 Integral de Fun

coes em Escada.
4.2.1 Seja S([a, b]) representada por
(a0 , . . . , an ; v1 , . . . , vn )
Definimos ent
ao
Z b n
X
(x)dx = vk (ak ak1 )
a k=1
Exerccio. Se I e a func
ao caracterstica de um subintervalo I de extremos c e d, demonstre que
Z b
I (x)dx = d c.
a
Em particular
Z b Z b Z b Z b
[a,b] (x)dx = [a,b[ (x)dx = ]a,b] (x)dx = ]a,b[ (x)dx = b a.
a a a a
OBSERVAC
AO. Na definic
ao de integral dada acima foi usada uma representac ao particular para
a func
ao . Para que esta definic
ao seja v
alida e essencial que o valor da integral nao dependa desta
particular representac
ao. Para verificar este fato, consideramos uma partic ao dada P e inserimos
um ponto c:
a = a0 a1 ak c ak+1 an b.
A funcao ter
a a seguinte representac
ao
(a0 , . . . , ak , c, ak+1 , . . . , an ; v1 , . . . , vk , vk , . . . , vn )
e ent
ao
Z b
(x) dx = v1 (a1 a0 ) + + vk (c ak ) + vk (ak+1 c) + + vn (an1 an )
a
= v1 (a1 a0 ) + + vk (ak+1 ak ) + + vn (an1 an ),
ou seja a insercao de um ponto na partic ao P n ao mudou o valor da integral.

Rb
Denotemos por IP () a integral a (x)dx definida utilizando-se a partic ao P .
Consideremos, agora, a partic ao P de [a, b] formada pelos pontos de descontinuidade da .
Ent ao, se P e uma outra particao usada para representar , necessariamente P e mais fina que a
particao P , isto e, P contem os pontos da P . Sejam ent ao c1 , c2 , . . . , ck os pontos de P que nao
estao em P . Sejam tambem P1 obtido da P pela inserc ao de c1 , P2 obtido da P1 por inserc ao de
c2 , e por inducao Pk obtido de Pk1 pela inserc ao de ck . Vamos ter ent ao
IP () = IP1 () = IP2 () = = IP ().
Desta forma se P e P s
ao duas partic
oes quaisquer usadas para representar e definir a integral
vamos ter
IP () = IP () = IP ().

CONCLUSAO:
A integral n
ao depende da particular representac
ao utilizada em sua definic
ao.
4.2.2 PROPOSIC
AO.
Sejam e S([a, b]) e c e d R, ent

ao
Z b Z b Z b
(c + d ) dx = c dx + d dx.
a a a
Demonstra
c
ao: Exerccio.
lise
Elementos de Ana 57
4.2.3 PROPOSIC
AO.
Se S([a, b]) ent

ao
Z b Z b
| (x)dx| |(x)|dx (b a)|||| .
a a
Demonstra
c
ao: Exerccio.
4.2.4 PROPOSIC
AO.
Sejam , 1 , 2 S([a, b]) tais que 0 e 1 2 . Ent

ao
Z b
(1) (x)dx 0
a
Z b Z b
(2) 1 (x)dx 2 (x)dx
a a
Demonstra c
ao. (1) segue obviamente da definic ao. (2) segue fazendo-se = 1 2 e
utilizando-se a linearidade da integral (Proposic
ao 4.2.2).
4.2.5 PROPOSIC
AO.
Seja {n } uma sequencia em S([a, b]) que converge uniformemente para zero. Ent
ao
Z b
lim n (x)dx = 0.
n a
Demonstra ao. Se {n } converge uniformemente para zero ent

c ao {||n || } tambem converge
para zero. Por outro lado
Z b
| n (x) dx| (b a)||n || ;
a
donde o resultado.
Observe que a condicao de que (n ) converge uniformemente para zero e suficiente, mas n
ao e
aria. De fato, se tomarmos n = ]0,1/n[ vemos que ||n || = 1 e portanto {n } n
necess ao pode
convirgir uniformemente para zero; entretanto
Z 1
]0,1/n[ (x)dx = 1 0.
0 n n
4.3 Integral de Func

oes Contnuas.
Vamos demonstrar que toda func ao contnua pode ser aproximada por func
oes em escada. Esta
aproximacao ser
a uniforme e o ponto crucial da demonstrac ao est
a no fato das func
oes contnuas
sobre intervalos fechados e limitados serem uniformemente contnuas.
4.3.1 PROPOSIC
AO.
Se f C([a, b]) ent
ao existe uma sequencia {n } em S([a, b]) que converge uniformemente
para a func
ao f .
Demonstra ao. Seja {k } uma sequencia de n
c umeros positivos tais que k 0. Como f e
uniformemente contnua, para cada k existe um k > 0 tal que se x, y [a, b] e |x y| < k entao
|f (x) f (y)| < k . Seja n(k) um inteiro tal que b a < k n(k) e Pk = (a0 , . . . , an ) uma partic
ao
de [a, b] tal que |aj aj1 | < (b a)/n(k). Definimos ent ao

f (aj1 ) , aj1 x < aj
k (x) =
f (b) x = b = an
Vamos ter, para todo x [a, b]
|k (x) f (x)| < k .
ao x [aj1 , aj [ para algum j, onde aj aj1 < k e consequentemente
Com efeito, se x [a, b] ent
|x aj1 | < k . Como k (x) = f (aj1 ) vamos ter
|k (x) f (x)| = |f (aj1 ) f (x)| < k .
Desta forma, quando k temos k 0 e k f uniformemente.
EXERC ICIO. Dada uma func ao f C([a, b]), construa uma sequencia de func oes n , em
S([a, b]), tal que n f uniformemente, em [a, b], e que verifique n f , para todo n N.
4.3.2 PROPOSIC
AO.
Rb
Seja {k } uma sequencia de Cauchy uniforme. Ent ao, a sequencia { a n (x)dx} e uma
sequencia de Cauchy de n
umeros reais (e portanto convergente) ou seja, existe o limite
Z b
lim n (x) dx.
n a
Demonstraao. Para todo > 0, existe M = m() > 0 tal que se m, n M ent
c ao
||n m || = sup |n (x) m (x)| < .
Por outro lado

Z b Z b Z b Z b
| n (x) dx m (x) dx| = | (n m ) dx| |(n m )| dx
a a a a
(b a)||n m || < (b a),
o implica a assertiva.
4.3.3 PROPOSIC
AO.
lise
Elementos de Ana 59
Seja f C([a, b]), (n ) e (n ) sequencias em S([a, b]) que convergem uniformemente

ao, {n } e {n } s
para f . Ent ao sequencias de Cauchy uniforme e
Z b Z b
lim n (x)dx = lim n (x)dx.
n a n a
Demonstraao. A sequencia {n n } converge uniformemente para zero. Ent

c ao
Z b Z b Z b
0 = lim (n n )dx = lim [ n (x)dx n (x)dx]
n a n a a
Z b Z b
= lim n (x)dx lim n (x)dx ,
n a n a
donde o resultado.
Estamos agora em condic

oes de definir a integral de uma func
ao contnua.
4.3.4 DEFINIC
AO.
Seja f C([a, b]) e {n } uma sequencia em S([a, b]) que converge uniformemente para
f . Definimos ent
ao
Z b Z b
f (x)dx := lim n (x)dx.
a n a
A proposic
ao anterior implica que a definic
ao da integral de uma func
ao contnua independe da
sequencia que aproxima a func
ao. A definic
ao e portanto v
alida.
OBSERVAC
AO. Temos neste ponto a noc ao de integral para funcoes tanto em S([a, b]) como em
C([a, b]). No entanto, a intersec
ao dessas duas classes e constituida apenas pelas func
oes constantes.
Impoe-se ent
ao a necessidade de construir uma classe de func oes que contenha naturalmente aquelas
duas e de modo que possamos estender, de maneira tambem natural, a noc ao de integral para essa
nova classe.
4.4 Limites Laterais

` DIREITA.
4.4.1 LIMITE A
Consideremos uma funcao f : A R R e x0 A um ponto tal que ]x0 , x0 + [ A,

para algum > 0. Diremos que f tem limite ` a direita em x0 se para qualquer
sequencia xn x0 , com xn > x0 , a sequencia {f (xn )} e convergente para o mesmo
limite. Escrevemos ent
ao
f (x0 + 0) := lim f (xn ) = xx

lim f (x).
n 0
x>x0
f
E acil ver que a definic
ao do limite `
a direita f (x0 + 0) e eq
uivalente a
dado > 0 existe > 0 tal que |f (x0 + 0) f (x)| < , se 0 x x0 < .
Verifique!
4.4.2 PROPOSIC
AO.
Consideremos I um intervalo, uma func ao f : I R e um ponto x0 I tal que existe

f (x0 + 0). Ent
ao, existe > 0 tal que ]x0 , x0 + [ I e
3
f (x) f (x0 + 0),
2
para todo x ]x0 , x0 + [.
Demonstra
c
ao. Exerccio.
Analogamente introduzimos o conceito de limite `

a esquerda.
` ESQUERDA.
4.4.3 LIMITE A
Consideremos uma func ao f : A R R e x0 A um ponto tal que ]x0 , x0 [ A,

para algum > 0. Diremos que f tem limite ` a esquerda em x0 se para qualquer
sequencia xn x0 , com xn < x0 , tivermos que a sequencia {f (xn )} e convergente para
o mesmo limite. Escrevemos ent ao
f (x0 0) := lim f (xn ) = xx

lim f (x).
n 0
x<x0
f
E acil ver que a definic a esquerda f (x0 0) e equivalente a
ao de limite `
dado > 0 existe > 0 tal que |f (x0 + 0) f (x)| < , se 0 < x0 x < .
Verifique!
4.4.4 PROPOSIC
AO.
Consideremos I um intervalo, uma func ao f : I R e um ponto x0 I tal que existe

f (x0 0). Ent
ao, existe > 0 tal que para todo x ]x0 , x0 [ I temos
1 3
f (x0 0) f (x) < f (x0 0),
2 2
se f (x0 0) > 0; e
3 1
f (x0 0) f (x) < f (x0 0),
2 2
se f (x0 0) < 0.
Demonstra
c
ao. Exerccio.
EXERC
ICIO. Enuncie e demonstre uma resultado an
alogo para o limite `
a direita.
4.4.5 TEOREMA.
lise
Elementos de Ana 61
Consideremos uma func ao f : A R R e x0 A tal que ]x0 , x0 + [ A, para

algum > 0. Ent ao, o limite existe se e somente se os limites laterais existem e s
ao iguais,
ou seja, as seguintes afirmacoes s
ao equivalentes:
A) lim f (x) = L
xx0
B) f (x0 + 0) = f (x0 0) = L.
Demonstra ao. A) = B) Segue do fato: ]x0 , x0 + [=]x0 , x0 ] [x0 + , x0 [.

c
B) = A) Por hip otese, dado > 0, existem + > 0 e > 0 tal que se x ]x0 , x0 + + [ ou
x ]x0 , x0 [ ent
ao |L f (x)| < . Tomando, ent
ao, = min{ , + } vamos ter necessariamente
|L f (x)| < , se x ]x0 , x0 + [\{x0 }.
EXERC ICIO. (1) Dada f :]a, b] R, defina f (a + 0). (2) Dada f : [a, b[ R, defina f (b 0).
4.4.6 Seja f uma func
ao definida num intervalo I. Dizemos que
f e estritamente crescente se f (x) < f (y) quando x < y em I;
f e estritamente decrescente se f (x) > f (y) quando x < y em I;
f e crescente se f (x) f (y) quando x < y em I;
f e decrescente se f (x) f (y) quando x < y em I;
f e mon
otona em I se for crescente ou decrescente.
4.4.7 PROPOSIC
AO.
Uma func
ao crescente f , definida num intervalo I, tem limites laterais em todos os pontos
de I.
Demonstra ao. Seja x0 I tal que ]x0 c, x0 [ I, para algum c > 0. Como f e crescente, temos
c
f (x) f (x0 ), para todo x I e x < x0 , portanto
y0 := sup{ f (x) ; x < x0 } f (x0 ),
a bem definido. Desta forma, dado > 0 existe x I, x < x0 , tal que
est
y0 < f (x).
Facamos := x0 x. Como f e crescente, para x = x0 < x < x0 , temos
y0 f (x) f (x) y0 ,
ou ainda
0 y0 < f (x) < y0 + = < f (x) y0 < = |f (x) y0 | < ,
o que implica y0 = f (x0 0), ou seja, existe o limite `
a esquerda de x0 (neste caso!).
No caso em que existir um d tal que ]x0 , x0 + d[ I, consideramos o conjunto
{ f (x) ; x0 < x },
que e limitado inferiormente e portanto tem nfimo, digamos z0 , analogamente ao caso anterior
mostramos (voc e mostra!) que z0 = f (x0 + 0).
EXERC ao crescente em um intervalo ]a, b[, mostre que f (x0 0) f (x1 +0),
ICIO. Se f e uma func
para a < x0 x1 < b.
4.4.8 PROPOSIC
AO.
Seja f uma func
ao mon
otona. Ent
ao o conjunto de seus pontos de descontinuidade e
enumeravel.
Demonstra c
ao. Suponhamos que o intervalo I seja fechado e da forma [a, b]. Suponhamos tambem
que f e crescente (os outros casos sao an
alogos). Ent ao, um salto n
ao pode ser maior que d =
f (b) f (a). Logo, para cada n N, o conjunto de pontos
d
Sn = { x I ; f (x + 0) f (x 0) > }
n
e finito (por que?). A reuniao n Sn contem todos os pontos de descontnuidade. Como e uma
reuniao enumeravel de conjuntos finitos e enumer
avel.
4.5 Func
oes Regradas.
Seja f uma func ao definida em um intervalo I R. Denotamos por f (x + 0) e f (x 0) os
limites `
a direita e ` ao f , no ponto x I, quando existirem.
a esquerda, respectivamente, da func
4.5.1 DEFINIC
AO.
Seja I R um intervalo. Dizemos que uma func ao f : I R e regrada se em cada
ponto x I existirem os limites f (x + 0) e f (x 0). Denotaremos por Reg(I) o conjunto
de todas as func
oes regradas, definidas no intervalo I.
EXEMPLO. As func
oes crescentes ou decrescente, definidas em um intervalo I, s
ao regradas.
4.5.2 PROPOSIC
AO.
Para todo intervalo [a, b] R temos
A) S([a, b]) Reg([a, b])
B) C([a, b]) Reg([a, b])
Demonstra c
ao. Segue das definic
oes de func
ao em escada e de func
ao contnua: as func
oes, em
ambas as classes, admitem limites laterais em todos os pontos.
Denotemos por B([a, b]) o espaco vetorial das func

oes limitadas no intervalo [a, b]. Lembremos
tambem que toda sequencia de Cauchy uniforme em B([a, b]) e convergente.
4.5.3 PROPOSIC
AO.
lise
Elementos de Ana 63
Toda func
ao regrada, definida em um intervalo fechado e limitado [a, b], e limitada, isto e
Reg([a, b]) B([a, b]).

Demonstra ao. Seja f Reg([a, b]). Ent
c ao dado > 0, para todo x ]a, b], existe > 0 tal
que se y ]x , x[]a, b] ent
ao
|f (y) f (x 0)| < ;
da mesma forma, existe + > 0 tal que se y [x, x + + [ [a, b[ ent
ao
|f (y) f (x + 0)| < .
Donde, fazendo = min{ , + }, se y ]x , x + [ [a, b] ent

ao
|f (y)| max{|f (x + 0)|, |f (x 0)|, |f (x)|} + .
Para cada x ]a, b[, denotemos por V (x) a vizinhanca com a propriedade acima (an alogamente
determinamos vizinhancas V (a) e V (b)).
Agora, como [a, b] e um conjunto compacto existem vizinhancas V (x1 ), . . . , V (xn ) tal que
[a, b] V (x1 ) V (xn ).
Facamos
Mk = max{|f (xk + 0)|, |f (xk 0)|, |f (xk )|} + ,
para k = 1, 2, . . . , n ; e
M = max{M1 , . . . , Mn }.
Portanto, como [a, b] k V (xk ), dado x [a, b] existe k tal que x V (xk ) e ent
ao
|f (x)| Mk M,
ou seja as func
oes regradas s
ao limitadas.
4.5.4 PROPOSIC
AO.
Seja {fn } uma sequencia de Cauchy uniforme de func oes regradas definidas num intervalo
ao, a sequencia {fn } e uniformemente convergente para uma func
[a, b]. Ent ao regrada.
Demonstra ao. Seja x0 [a, b[ e yn = fn (x0 0), n = 1, 2, . . .. A sequencia {yn } e uma sequencia
c
umeros reais; pois dado > 0, existe N > 0, tal que se m, n N , ent
de Cauchy de n ao
sup |fm (x) fn (x)| < /3.

axb
Agora, para cada m, n N, existe xm,n [a, b] tal que
|fm (xm,n ) ym | < /3,
e
|fn (xm,n ) yn | < /3;
logo
|ym yn | |ym fm (xm,n )| + |fm (xm,n ) fn (xm,n )| + |fn (xm,n ) yn |

+ + = .
3 3 3
(Observe que a desigualdade |ym yn | < , se m, n N , n ao depende de xm,n !).
Seja entao y = limn yn . Por outro lado, a sequencia {fn } e uma sequencia de func oes
limitadas (Proposic
ao anterior!) e como e de Cauchy uniforme ir a convergir para uma func ao
limitada f . Ou seja, dado > 0, existe N N tal que |f (x) fN (x)| < /3, para todo x [a, b].
Entao, para cada x0 ]a, b], existe N > 0 tal que se x0 N < x < x0 temos |fN (x) yN | < /3,
e portanto

|f (x) y| |f (x) fN (x)| + |fN (x) yN | + |yN y| < + + =;
3 3 3
isto e existe > 0 tal que se x0 < x < x0 , ent ao |f (x) y| < , ou seja y = f (x0 0). De
forma an aloga demonstra-se a existencia de f (x0 + 0), e como x0 e arbitr
ario a demonstrac
ao est
a
completa.

4.5.5 COROLARIO.
Seja {n } uma sequencia de Cauchy uniforme de func

oes em escada. Ent
ao a sequencia
{n } converge uniformemente para uma func
ao regrada f .
4.5.6 TEOREMA.
Seja f Reg([a, b]). Ent oes em escada {n } que converge

ao, existe uma sequencia de func
ao f uniformemente. Alem disso, {n } pode ser construida de modo que n f
para a func
ou f n , qualquer que seja n N.
Demonstra ao. Seja {k } uma sequencia de n

c umeros n ao negativos que convergem para zero:
k 0. Vamos demonstrar que existe k S([a, b]) tal que
||f k || = sup |f (x) k (x)| < k .

axb
Como f e uma func ao regrada, para todo x [a, b] existe uma vizinhanca V (x) tal que se
s, t V (x) [a, x] e s, t < x ou s, t V (x) [x, b] e s, t > x, ent
ao
|f (s) f (t)| < k
claro que
(por que?). E [
[a, b] V (x),
axb
e, como [a, b] e um conjunto compacto, existem pontos a = x0 , . . . , xn+1 = b tais que
[a, b] V (x0 ) V (xn+1 ),
e alem disso
V (xj ) 6 V (x0 ) V (xj1 ) V (xj+1 ) V (xn+1 ),
lise
Elementos de Ana 65
j = 0, 1, . . . , n + 1; isto e, nenhum V (xj ) est

a contido na uni ao dos demais.
Vemos que, para cada j = 0, 1, 2, . . . , n, existe yj V (xj ) V (xj+1 ) com xj < yj < xj+1 . (Faca
um esboco.)
Definimos, ent ao,

f (xj ) se x = x0 , x1 , . . . , xn+1 ;

xj + yj

f( 2 )
se xj < x < yj , j = 0, 1, 2, . . . , n;
k (x) :=

f ( yj + xj+1 ) se y < x < x

j j+1 , j = 0, 1, 2, . . . , n;

2

f (y )
j se x = y , . . . , y .
0 n
f
E acil verificar que k S([a, b]) e que para todo x [a, b], temos
|k (x) f (x)| < k ,
ou seja a func
ao regrada f e limite uniforme de func
oes em escada. (Observemos que na definic
ao
de k poderamos ter tomado qualquer ponto em ]xj , yj [ e ]yj , xj+1 [.)
Agora, tomando
m
j = inf{f (x) ; xj < x < yj } e m+
j = inf{f (x) ; yj < x < xj+1 },
j = 0, 1, ..., n, e definindo

f (xj ) se x = x0 , x1 , . . . , xn+1 ;

mj se xj < x < yj , j = 0, 1, 2, . . . , n;
k (x) :=

m+ j se yj < x < xj+1 , j = 0, 1, 2, . . . , n;

f (yj ) se x = y0 , . . . , yn ,
vamos ter k f e, pela definic
ao de nfimo,
|k (x) f (x)| < 2k ,
para todo x [a, b] e k N. (Verifique!)
Analogamente, podemos definir k de modo que f k .
EXERC ICIOS
(1) Se s e uma funcao em escada e g e uma funcao regrada, ambas definidas em um intervalo [a, b],
demonstre que s g e tambem uma func ao regrada.
(2) Se f, g Reg([a, b]), demonstre que o produto f g Reg([a, b]).
(3) Se g e uma func ao mon otona, em um intervalo I, e f e uma func ao contnua definida no
intervalo J = g(I), demonstre que f g e uma func ao regrada em I.
(4) Seja {fP n } uma sequ
encia de fun
c o
es regradas, definidas em um mesmo intervalo. Demonstre
n
que Fn := k=1 fn e uma func ao regrada, qualquer que seja n N.
4.5.7 PROPOSIC
AO.
Seja f Reg([a, b]). Ent

ao o conjunto dos pontos de descontinuidade da func
ao f e no
m
aximo enumeravel.
Demonstra cao. Seja {n } uma sequencia em S([a, b]) que converge uniformemente para f . Cada
n sendo func ao em escada tem um n umero finito de pontos de descontinuidade. Seja Dn o conjunto
de pontos de discontinuidade de n . Ent ao D = n=1 Dn
e um conjunto enumer avel. Agora, se
x [a, b] \ D, ent
ao, x e o ponto de continuidade de todas as n e da f . De fato, dado > 0, existe
um N N tal que

|f (y) N (y)| < ,
3
para todo y [a, b]. Desta forma, existe > 0 tal que se |x y| < , entao

|f (y) f (x)| |f (y) N (y)| + |N (y) N (x)| + |N (x) f (x)| < + + ;
3 3 3
pois x e o ponto de continuidade da func
ao N .

4.5.8 EXEMPLO NAO-TRIVIAL DE FUNC
AO REGRADA. A func ao f : R R,
definida por

0 se x 6 Q
f (x) := 1
se x = pq , q > 0 e m.d.c.{p, q} = 1,
q
e regrada. De fato, dado > 0, seja q0 N tal que
1
q0 > ;

para cada x0 R, consideremos o conjunto
{p/q ; q < q0 e p/q [x0 1, x0 + 1]},
que e finito (por que?); portanto, existe , 0 < < 1, tal que se p/q ]x0 , x0 + [ ent
ao q q0
e 1/q < . Logo
|x x0 | < = |f (x) f (x0 )| <
Conclus ao: existem os limites laterais f (x0 + 0) e f (x0 0), para todo x0 R, ou seja f e
regrada. Alem disso, f e continua se e somente se x0 6 Q.
4.6 Integral de Func

oes Regradas.
Seja f Reg([a, b]) e {n }, {n } duas sequencias em S([a, b]) que convergem uniformemente
para a func
ao f :
u u
n f e n f.
n n
Ent
ao Z Z
b b
lim n (x)dx = lim n (x)dx.
n a n a
A seguinte definic
ao e portanto v
alida.
4.6.1 DEFINIC
AO.
lise
Elementos de Ana 67
Seja f Reg([a, b]) e {n } uma sequencia em S([a, b]) que converge uniformemente para
f . Definimos
Z b Z b
f (x)dx = lim n (x)dx.
a n a
4.6.2 PROPOSIC
AO.
Sejam f, g Reg([a, b]) e , R. Ent

ao
Z b Z b Z b
(i) [f (x) + g(x)]dx = f (x)dx + g(x)dx;
a a a
Z b Z b
(ii) | f (x)dx| |f (x)|dx (b a)M ,
a a
onde M = sup{ |f (x)| ; a x b };
Z b
(iii) 0 f (x)dx , se f 0;
a
Z b Z b
(iv) g(x)dx f (x)dx , se f g.
a a
Demonstra c
ao. Sejam (n ) e (n ) sequencias de funcoes em escada que aproximam f e g,
respectivamente. Como as propriedades (i) . . . (iv) valem para n e n basta aplic
a-las e tomar
limites.

4.6.3 CONCLUSAO.
A aplicac
ao
Z b
S([a, b]) (x)dx R
a
e uma aplicacao linear e contnua que se estende por continuidade a Reg([a, b]), como uma
aplicac
ao linear e contnua.
EXERC ICIO. Seja {fn } uma sequencia de func

oes regradas, definidas em um mesmo intervalo
[a, b]. Demonstre que
Z bX n Xn Z b
fk (x) dx = fk (x) dx,
a k=1 k=1 a
para todo n N.
4.7 Propriedades da Integral

4.7.1 PROPOSIC
AO.
Seja {fn } uma sequencia em Reg([a, b]) que converge uniformemente para uma func
ao f .
ao f Reg([a, b]) e
Ent
Z b Z b
f (x) dx = lim fn (x) dx.
a n a
4.7.2 PROPOSIC
AO.
Sejam f Reg([a, b]) e c ]a, b[. Ent
ao,
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx.
a a c
Demonstra
c ao f = [a,c] f + [c,d] f .
ao. Basta considerar a decomposic
EXERC
ICIO. Se f Reg([a, b]) e a < c < d < b, demonstre que
Z d Z d Z c
f (x) dx = f (x) dx f (x) dx.
c a a
4.7.3 PROPOSIC
AO.
Seja f C([a, b]) uma func
ao n
ao-negativa tal que
Z b
f (x) dx = 0.
a
ao f (x) = 0, para todo x [a, b].

Ent
Demonstra
c
ao. Exerccio.
EXERC
ICIO. Demonstre que a aplicac
ao
Z b
f |f (x)| dx = || f ||1
a
e uma norma em C([a, b]). Denotamos por CL1 ([a, b]) o espaco vetorial C([a, b]) munido desta
norma. O espaco CL1 ([a, b]) e completo?
EXERC ICIO. Seja f Reg([a, b]) uma func ao nao negativa. Se f (x0 0) > 0 (ou f (x0 + 0) > 0),
para algum x0 ]a, b] (x0 [a, b[), demonstre que
Z b
f (x) dx > 0.
a
4.7.4 PROPOSIC
AO.
Seja f Reg([a, b]) uma func
ao n
ao-negativa tal que
Z b
f (x) dx = 0.
a
ao, f (x) = 0, para todo x [a, b], eventualmente a menos de um conjunto enumer
Ent avel.
lise
Elementos de Ana 69
Demonstra ao. Suponhamos que exista x0 ]a, b] (ou [a, b[) tal que f (x0 0) > 0 (ou f (x0 + 0) >
c
0). Neste caso teramos
Z b
f (x) dx > 0,
a
otese. Logo, f (x 0) = f (x + 0) = 0, f (a + 0) = 0 e f (b 0) = 0. Conclumos

contrariando a hip
que f e n
ao-nula somente nos pontos de descontinuidade, se houverem, e que s ao no m aximo
enumeravel.

4.7.5 COROLARIO.
Sejam f, g Reg([a, b]) funcoes tais que

Z b
|f (x) g(x)| dx = 0
a
Ent ao, f (x) = g(x), a menos eventualmente de um conjunto enumer

avel de pontos em
[a, b]. Alem disso, temos
Z b Z b
f (x) dx = g(x) dx.
a a
Demonstra
c
ao. Exerccio.
4.8 Integrais Indefinidas

4.8.1 PROPOSIC
AO.
Se f Reg([a, b]) ent ao F : [a, b] R definida por

ao, a func
Z x
F (x) = f (t) dt + c
a
e contnua, qualquer que seja c R.
Demonstra
c
ao. Se h > 0, vamos ter
Z x+h Z x Z x+h
F (x + h) F (x) = f (t)dt f (t)dt = f (t)dt;
a a x
donde Z x+h
|F (x + h) F (x)| |f (t)|dt h M.
x
onde M |f (x)|, para todo x [a, b].

Analogamente se h < 0.
4.8.2 DEFINIC
AO.
A func
ao F acima definida denomina-se uma integral indefinida da func
ao dada f .
ICIOS. Calcule as integrais indefinidas de (t) = [0,1] +2]1,2] e (t) = [1,0] + ]0,1] .
EXERC
EXERC
ICIO. Se f Reg([a, b]) e a < c < d < b, demonstre que
Z d Z d
lim f (x) dx = f (x) dx.
0 c+ c
4.8.3 PROPOSIC
AO.
Se f Reg([a, b]), ent

ao a integral indefinida
Z x
F (x) = f (t)dt
a
admite em cada ponto x [a, b[ uma derivada ` a direita F (x + 0) = f (x + 0) e em cada

a esquerda F (x + 0) = f (x 0).
ponto x ]a, b] uma derivada `
Demonstra
c
ao. Seja h > 0, ent
ao como
Z x+h
F (x + h) F (x) 1
= f (t)dt
h h x
(verifique isto!) e
Z x+h Z x+h
1 1
f (x + 0) = f (x + 0) dt = f (x + 0)dt.
h x h x
Vamos ter
Z x+h
F (x + h) F (x) 1
f (x + 0) = [f (t) f (x + 0)]dt|
h h x
sup |f (t) f (x + 0)|.
xtx+h
Agora, como f Reg([a, b]), dado > 0 existe > 0 tal que se x < t < x + vamos ter
|f (t) f (x + 0)| < . Ent
ao, se 0 < h < vamos ter tambem

F (x + h) F (x)
f (x + 0)<
h
ou seja
F (x + h) F (x)
F (x + 0) = lim = f (x + 0).
h0
h>0
h
An
alogamente, demonstra-se que
F (x + h) F (x)
F (x 0) = lim = f (x 0).
h0
h<0
h
(verifique!).

4.8.4 COROLARIO.
lise
Elementos de Ana 71
ao F (x) = f (x).
Se f Reg([a, b]) e x ]a, b[ e um ponto de continuidade da f ent
Demonstra
c
ao. Exerccio.

4.8.5 COROLARIO.
Se f Reg([a, b]), a menos de um subconjunto enumer avel de [a, b] temos F (x) = f (x).
Em outros termos Z x
d
f (t) dt = f (x),
dx a
a menos de um conjunto enumer
avel de pontos de [a, b].
Demonstrac
ao. Como f e suposta regrada, seu conjunto de pontos de descontinuidades D e no
m avel. Logo, se x [a, b] \ D, temos F (x) = f (x).
aximo enumer

4.8.6 COROLARIO.
Se f C([a, b]), existe uma func avel F tal que F (x) = f (x), para todo x ]a, b[,
ao deriv

F+ (a) = f (a) e F (b) = f (b).
Demonstra
c
ao. Exerccio.

4.8.7 COROLARIO.
Se f C([a, b]) e f C(]a.b[), ent
ao
Z b
f (b) f (a) = f (x)dx
a
Rx
Demonstra c
ao. Seja F (x) = a f (t)dt
e
= f (x), para todo x ]a, b[. Ent
F (x) ao,
F (x) f (x) = c. Como F (a) = 0 segue que c = f (a), donde F (x) = f (x) f (a) e tomando
x = b segue o resultado.

4.8.8 COROLARIO.
Se f C([a, b]) admite derivada f , a menos de um conjunto finito, ent
ao
Z b
f (b) f (a) = f (x) dx.
a
4.8.9 TEOREMA.
Seja f Reg([a, b]) para a qual existe uma func avel F em [a, b] tal que F = f .
ao deriv
Ent
ao
Z b
f (x) dx = F (b) F (a).
a
Demonstra c
ao. Dado > 0, seja a = a0 < a1 < ... < an+1 = b uma partic ao obtida conforme a
ao do Teorema 5.5.6. Agora, o Teorema da Media implica a existendia de ck ]ak , ak+1 [
demonstrac
tal que
F (ak+1 ) F (ak ) = F (ck ) (ak+1 ak ) = f (ck ) (ak+1 ak ).
P
Logo, definindo := f (ck ) ]ak ,ak+1 [ ,
n
X Z b
F (b) F (a) = f (ck ) (ak+1 ak ) = (x) dx,
k=0 a
ao, como sup |(x) f (x)| < , temos

Ent
Z b Z b
|F (b) F (a) f (x) dx| |(x) f (x)| dx = (b a).
a a
Como e arbitr
ario segue o resultado.
EXERC ICIO. Seja {fn } uma sequencia de func

oes regradas, definidas em um mesmo intervalo
[a, b], que converge uniformemente para uma funcao f . Se a x b e definindo
Z x Z x
F (x) = f (s) ds e Fn (x) = fn (s) ds n N,
a a
demonstre que a sequencia {Fn } converge uniformemente para F .
4.9 A Noc
ao de Primitiva
4.9.1 DEFINIC
AO.
Seja I R um intervalo e f : I R. Uma funcao g : I R e uma primitiva de f
avel E I tal que para todo x I \ E, g e deriv
(em I) se existe um conjunto enumer avel
em x e g (x) = f (x).
4.9.2 PROPOSIC
AO.
Toda funcao regrada em um intervalo fechado admite uma primitiva.
Demonstraao. Se f Reg([a, b]) e
c
Z x
g(x) = f (t)dt,
a
ent
ao, g e uma primitiva da f em [a, b]. (Por que?)

4.9.3 TEOREMA DA MEDIA GENERALIZADO.
ao contnua tal que a derivada f (x) existe a menos de um
Seja f : [a, b] R, uma func
conjunto enumer avel D. Suponhamos que exista M > 0 tal que |f (x)| M , para todo
x [a, b] \ D. Entao
|f (b) f (a)| M (b a).

Demonstra ao. Seja : N D uma bijec
c ao (que existe pois D e enumer avel). Seja > 0 e
facamos
X
A = {x [a, b] ; a y < x, |f (y) f (a)| M (y a) + (y a) + 2n }
(n)<y
lise
Elementos de Ana 73
claro que a A e A [a, b]. Logo, existe x0 = sup A. Agora, se x < x0 , existe x A tal que
E
x < x < x0 ; logo, x verifica a condic ao de A e portanto x0 A, isto e A = [a, x0 ].
ao na definic
Alem disso, como f e contnua
X
|f (x0 ) f (a)| (M + )(x0 a) + 2n
(n)x0
Vamos demonstrar que x0 = b. Suponhamos que x0 < b. Se x0 6 D, pela definic

ao de derivada,
existe > 0 tal que [x0 , x0 + ] [a, b] e para y ]x0 , x0 + [ temos
|f (y) f (x0 ) f (x0 )(y x0 )| < (y x0 ).
Logo
|f (y) f (x0 ) < |f (x0 )| |y x0 | + |y x0 |

M |y x0 | + |y x0 |,
ou seja y A e como podemos ter x0 < y < x0 + b, estaremos em contradic

ao, a menos que
x0 = b.
Agora, se x0 D, seja m tal que x0 = (m). Como f e contnua, existe > 0 tal que se
x0 y < x0 + b ent
ao
|f (y) f (x0 )| < 2m .
Ent
ao
|f (y) f (a)| |f (y) f (x0 )| + |f (x0 ) f (a)|

X
(M + )(y x0 ) + (M + )(x0 a) + 2n
(n)<y
X
(M + )(y a) + 2n
(n)y
e novamente y A e devemos ter x0 = b para n

ao cairmos em contradic
ao. Como e arbitr
ario, a
demonstrac
ao est
a completa.
4.9.4 PROPOSIC
AO.
Se f : [a, b] R for deriv avel D [a, b] e se
avel exceto em um conjunto enumer

f (y) = 0, para todo y [a, b] \ D, ent
ao f e constante.
Demonstra ao. Seja x [a, b] um ponto arbitr
c ario. Aplicando o Teorema da Media Generalizado,
no intervalo [a, x], com M = 0, Obtemos
|f (x) f (a)| = 0
e portanto f (x) = f (a), para todo x [a, b].
4.9.5 TEOREMA.
Sejam g e h duas primitivas de uma func ao g h e
ao regrada f em um intervalo I. Ent
constante em I.
Demonstra
c
ao. Exerccio.

4.9.6 COROLARIO.
Toda primitiva h de uma func

ao regrada f , em um intervalo I, e da forma
h = g + c,
onde g e uma primitiva particular da f e c e uma constante.
Demonstra
c
ao. Exerccio.
4.10 Mudanca de Vari

avel
4.10.1 TEOREMA.
Sejam f C([a, b]) e C([c, d]). Suponhamos que ([c, d]) [a, b], (c) = a,
(d) = b e, alem disso, que exista e seja contnua em ]c, d[. Ent
ao,
Z b Z d
f (s) ds = f ((t)) (t) dt.
a c
Demonstra
c
ao. Como f e contnua em [a, b], a func
ao definida por
Z x
F (x) = f (s) ds
a
avel em todo x ]a, b[ e temos F (x) = f (x). Portanto,

e deriv
Z (y)
d d
f ((y)) (y) = F ((y)) (y) = F ((y)) = f (s) ds.
dy dx a
Como a func
ao
Z (y) Z y
G(y) = f (s) ds f ((t)) (t) dt,
a c
est
a bem definida em [c, d] e G (y)
= 0, para todo y ]c, d[, segue que G(y) = constante em [c, d].
Mas G(c) = 0 e portanto G(y) = 0, para todo y [c, d]. Logo
Z (y) Z y
f (s) ds = f ((t)) (t) dt,
a c
para todo y [c, d]. Em particular, tomando y = d obtemos a assertiva do Teorema.
As condic
oes para a validade da f aveis podem generalizadas.
ormula de mudanca de vari
4.10.2 TEOREMA.
lise
Elementos de Ana 75
Sejam f uma func ao regrada, definida em um intervalo J, e uma primitiva de uma

ao regrada, definida em um intervalo I, tal que (I) J. Ent
func ao, se (i) f e contnua
ou (ii) e mon
otona, temos
Z b Z (b)
f ((t)) (t) dt = f (s) ds,
a (a)
quaisquer que sejam a, b I.

Demonstra c
ao. Em ambas as hip ao t f ((t)) (t) e regrada. Ent
oteses a func ao, se F e uma
primitiva de f , a menos de um conjunto enumer avel vamos ter F (s) = f (s) e
Z b Z b

f ((s)) (s) ds = F ((s)) (s) ds
a a
Z b
= (F ) (s) ds
a
= F ((b)) F ((a))
Z (b)
= F (t) dt
(a)
Z (b)
= f (t) dt,
(a)
que e a f
ormula procurada.
EXERC ICIO. Demonstre que a f ormula de mudanca de vari

aveis ainda e v
alida nos seguintes
casos:
(i) e derivavel e estritamente mon
otona;
(ii) e contnua por partes;
(iii) f e contnua por partes.
EXEMPLO. Temos, para todo k N,

Z (k+1) Z
|sen x| dx = |sen x| dx.
k 0
De fato, fazendo (x) = x + k temos (0) = k e () = (k + 1). Alem disso, (x) = 1 e

|sen (x + k)| = |sen x|. A f
ormula de mudanca de vari
aveis garante ent
ao a assertiva.
EXEMPLO (Exerccio). Seja f : R R uma peri

odica de perodo 2 :
f (x + 2 ) = f (x),
para todo x R e 2 e o menor elemento com essa propriedade. Vamos ter

Z Z +
f (x) dx = f (x) dx,
+
Z a+ Z
f (x) dx = f (x) dx.
a
De fato, se a > 0, temos

Z a+ Z a+ Z a Z a
f (x) dx = f (x) dx + f (x) dx f (x) dx
a a
Z a+ Z a
= f (x) dx f (x) dx

Z + Z a+ Z a +2
= f (x) dx + f (x) dx f (x) dx
+2
Z +
= f (x) dx.

(Demonstre com exerccio o caso a < 0.

Alem disso, Z 2 Z Z
a+2
f (x) dx = f (x) dx = f (x) dx.
0 a
ao g : R R definida por g(x) = f (2 x) tem
Demonstre isso! Demonstre tambem que a func
perodo 1.
EXEMPLO (Exerccio). Seja f : [a, a] R, uma func ao regrada par, isto e tal que f (x) =
f (x), a x a. Ent
ao, Z a Z a
f (x) dx = 2 f (x) dx.
a 0
4.11 Integrac
ao por Partes
4.11.1 PROPOSIC
AO.
Sejam f e g primitivas de func
oes regradas definidas num intervalo [a, b]. Ent
ao
Z b Z b
f (x)g (x)dx = [f (b)g(b) f (a)g(a)] f (x)g(x)dx.
a a
Demonstra cao. Os produtos f e s g
ao func f g ao, como (f g) = f g + f g
oes regradas. Ent

vamos ter f g = (f g) f g ; e integrando obtemos o resultado.
EXERC ICIO. Seja f : R RRuma func

ao contnua, peri
odica,R de perodo 2, com derivada
2 2
contnua. Demonstre que limn 0 f (x)sen nx dx = 0 e limn 0 f (x) cos nx dx = 0..
P P
EXERC ICIO. Se a serie n an converge absolutamente, demonstre que a s
erie n an xe
nx2
converge uniformemente e que

Z 1X X a
2
[ an xenx ] dx = (1 en ).
0 n=1 2n

Z 2 ICIOS. Se t Z 2
EXERC R, calcule as integrais abaixo.
(1) sen 2 mx dx = cos2 mx dx = , m N.
0 0
lise
Elementos de Ana 77
Z 2
(2) sen (mx) cos(nx) dx = 0, m 6= n, m, n N.
Z0 1
(3) cos tx dx.
Z1
1
(4) (1 x2 ) dx.
Z1
1
(5) (1 x2 ) cos tx dx.
Z1
1
(6) (1 x2 )2 cos tx dx.
1
4.12 O N
umero n
ao
e Racional
A demonstrac
ao de que o n
umero n ao e racional e mais elaborada que a demonstrac
ao para o
n
umero e. Vamos precisar utilizar tambem integrac
ao.
4.12.1 LEMA.
Para cada t R e n N0 , definimos

Z 1
In (t) := (1 x2 )n cos tx dx.
1
ao, para todo n 2, temos

Ent
t2 In (t) = 2n(2n 1) In1 (t) 4n(n 1) In2 (t).
Demonstra cao. Basta integrar por partes duas vezes (tratando os casos t = 0 e t 6= 0, separada-
mente. Para t = 0, temos
Z 1 Z 1
2 n1
(2n 1) (1 x ) dx = (2n 1) (1 x2 )n2 (1 x2 ) dx
1 1
Z 1 Z 1
2 n2 2 n2 2
= (2n 1) (1 x ) dx (1 x ) x dx
1 1
Z 1 Z 1
2 n1 1 2 n2

= (2n 1) (1 x ) dx + (2x(n 1)(1 x ) )x dx
1 2(n 1) 1
Z 1 Z 1
2 n2 1
2 n1
= (2n 1) (1 x ) dx (1 x ) dx
1 2(n 1) 1
Donde Z Z
1 1
2 n1
(2n 1) (1 x ) dx = 2(n 1) (1 x2 )n1 dx
1 1
e
Z 1 Z 1 Z 1
2 n1 (2n 1) 2 n2
(2n 1) (1 x ) dx + (1 x ) dx = (2n 1) (1 x2 )n1 dx
1 2(n 1) 1 1
ao para t = 0. Agora, se t 6= 0, temos

que e a asserc
Z 1
2
t In (t) = t (1 x2 )n t cos(tx) dx
1
Z 1
= t n(2x)(1 x2 )n1 sen (tx) dx
1
Z 1
= 2n (1 x2 )n1 x tsen (tx) dx
1
Z 1
= 2n (n 1)(2x)(1 x2 )n2 x + (1 x2 )n1 cos(tx) dx
1
Z 1 Z 1
2 2 n2
= 4n (n 1)(x )(1 x ) cos(tx) dx + 2n (1 x2 )n1 cos(tx) dx
1 1
Z 1 Z 1
2 2 n2
= 4n (n 1)(1 + 1 x )(1 x ) cos(tx) dx + 2n (1 x2 )n1 cos(tx) dx
1 1
Z 1 Z 1
2 n2
= 4n(n 1) )(1 x ) cos(tx) dx + 4n(n 1) (1 x2 )n1 cos(tx) dx +
1 1
Z 1
+2n (1 x2 )n1 cos(tx) dx
1
Z 1 Z 1
2 n1
= (4n(n 1) + 2n) (1 x ) cos(tx) dx 4n(n 1) (1 x2 )n21 cos(tx) dx
1 1
Z 1 Z 1
= 42n(2n 1) (1 x2 )n1 cos(tx) dx 4n(n 1) (1 x2 )n21 cos(tx) dx
1 1
que e a identidade procurada.

4.12.2 COROLARIO.
Existem polin
omios Pn e Qn , com coeficientes inteiros e de gr
au no m
aximo 2n, tais que
t2n+1
In (t) = Pn (t) sen t + Qn (t) cos t.
n!
lise
Elementos de Ana 79
Demonstra
c
ao. Segue por inducao. De fato, para n = 1, temos
Z 1
3 3
t I1 (t) = t (1 x2 ) cos(tx) dx
1
Z1 Z 1
3 2
= t cos(tx) dx t x2 t cos(tx) dx
1 1
Z 1
d
= 2t2 sen (t) + t2 x2
nsen (tx) dx
1 dx
Z 1
= 2t2 sen (t) + x2 sen (tx)|11 2t2 xsen (tx) dx
1
Z 1
= 2t2 sen (t) + 2sen (t) 2t x tsen (tx) dx
1
Z 1
2
= (2t + 2)sen (t) 2t[x cos(tx)]11 + 2t cos(tx)dx
1
= (2t2 + 2)sen (t) 4t cos(t) + sen (t)
= (2t2 + 3)sen (t) 4t cos(t)
Supondo a asserc alida para k n, isto e supondo que
ao v
t2 Ik (t) = 2k(2k 1)Ik1 (t) 4k(k 1)Ik2 (t)
vamos demonstrar que e v
alida para n + 1:
t2 In+1 (t) = 2(n + 1)(2n + 1)In (t) 4(n + 1)nIn1 (t).
Temos
t2(n+1)+1 t2n+1 2
In+1 (t) = t In+1 (t)
(n + 1)! (n + 1)!
t2n+1
= [2(n + 1)(2n + 1)In (t) 4(n + 1)nIn1 (t)|
(n + 1)!
t2n+1 t2(n1)+1
= 2(2n + 1) In (t) 4t3 In1 (t)
n! (n 1)!
= 2(2n + 1) [Pn (t)sen (t) + Qn (t) cos(t)] 4t3 [Pn1 sen (t) + Qn1 (t) cos(t)] .
Observemos que t3 Pn1 tem gr
au 2n + 1.
4.12.3 TEOREMA.
O n
umero n
ao e racional.
Demonstra
c
ao. Suponhamos por absurdo que /2 = b/a, onde a e b s
ao inteiros positivos. Ent
ao,
2n+1
b 1 b b b b b b
In ( ) = Pn ( ) sen ( ) + Qn ( ) cos( ) = Pn ( ),
a n! a a a a a a
pois sen (b/a) = 1 e cos(b/a) = 0. Agora, como b2n /n! 0 e |In (t)| 2, para todo t R, vemos
que, para n suficintemente grande, temos
b
|a2n+1 Pn ( )| < 1.
a
No entanto, como a2n+1 Pn (b/a) e um inteiro, devemos ter

2n+1
2n+1 b b b
0=a Pn ( ) = In ( ),
a n! a
e portanto In (b/a) = 0. Mas isto e uma contradic

ao, pois
Z 1
b x
In ( ) = In ( ) = (1 x2 )n cos( ) dx > 0.
a 2 1 2
Conclumos entao que n

ao pode ser um n
umero racional.
4.13 A F
ormula de Leibniz
Demonstramos que n ao e um n umero racional mesmo sem conhecer uma caracterizac ao explcita.
Utilizamos t
ao somente o fato que e um n umero real positivo, que sen /2 = 1 e cos /2 = 0.
Aplicando a teoria das series e da integrac
ao vamos obter uma f ormula explcita para , devida a
G. Leibniz:
1 1 1 1
= 1 + +
4 3 5 7 9
Para estabelecermos esta f ormula, lembremos antes que
1 rn
= 1 + r + r 2 + r 3 + + r n1 ,
1r
ou ainda
1 rn
= 1 + r + r 2 + r 3 + + r n1 + ,
1r 1r
qualquer que seja r R e n N.
Facamos, agora, na expressao acima r = x2 :
1
= 1 x2 + x4 x6 + + (1)n1 x2(n1) + Rn ,
1 + x2
onde o resto Rn e dado por
x2n
Rn = (1)n .
1 + x2
Como temos uma soma finita, podemos integrar a express ao obtida, entre os extremos 0 e 1:
Z 1 Z 1 2n
dx 1 1 1 n1 1 n x
2
= 1 + + + (1) + (1) dx.
0 1+x 3 5 7 2n 1 0 1 + x2
Por outro lado, lembrando que,
d 1
arctg x = ,
dx 1 + x2

e alem disso arctg (1) = 4 e arctg (0) = 0, obtemos
Z 1 Z 1
d dx
= arctg (1) = arctg (x) dx = .
4 0 dx 0 1 + x2
lise
Elementos de Ana 81
Logo Z 1
1 1 1 1 x2n
= 1 + + + (1)n1 + (1)n dx,
4 3 5 7 2n 1 0 1 + x2
e portanto Z
Xn 1 Z 1
k1 1 x2n 1
(1) 2
dx < x2n dx = .
4 2k 1 0 1+x 0 2n + 1
k=1
Esta estimativa implica finalmente a f
ormula de Leibniz:
X n X (1)n1
1
= lim (1)k1 = .
4 n 2k 1 2n 1
k=1 n=1
4.14 Uma Segunda F

ormula para
Vamos exibir aqui uma segunda f
ormula para o n
umero .

X 1
= .
8 (4n + 1)(4n + 3)
n=0
Por um lado, temos Z 1
dt
2
= .
0 1+t 4
Por outro lado, se 0 < t < 1, temos

X 1 1
t4n = 4
= ;
1t (1 t )(1 + t2 )
2
n=0
donde

X
X 1
[t4n t4n+2 ] = (1 t2 ) t4n = .
n=0 n=0
1 + t2
Agora, como 0 < t < 1, temos (1 t2 ) t4n > 0 e, portanto, a sequencia
n
X
sn (t) = [t4k t4k+2 ]
k=0
e crescente. Logo,
Z 1 Z 1 X
Z 1
X
dt 4n 4n+2 4n 4n+2
= [t t ] dt = [t t ] dt
0 1 + t2 0 n=0 n=0 0
4n+1
X 1 X
t t4n+3 1 1
= =
4n + 1 4n + 3 0 4n + 1 4n + 3
n=0 n=0

X 1
= 2 ,
(4n + 1)(4n + 3)
n=0
o que implica a f
ormula enunciada.
Observa cao. Nem todas as passagens da justificativa acima est ao claras. Isto decorre das
limitacoes da teoria da integrac
ao que desenvolvemos. Na teoria da integral de Lebesgue esses
pontos seriam justificados sem maiores dificuldades.
4.15 Integrais de Func

oes Complexas
Se F : [a, b] R C e tal que F(x)=f(x)+ig(x), x [a, b], com f, g Reg([a, b]), definimos
Z b Z b Z b Z b
F (x) dx = [f (x) + ig(x)] dx := f (x) dx + i g(x) dx.
a a a a
EXEMPLO. Se f Reg([a, b]) e t R, ent

ao
Z b Z b Z b
f (x) eitx dx = f (x) cos tx dx + i f (x) sen tx dx.
a a a
Captulo 5

INTEGRAIS IMPROPRIAS
5.1 Func
oes N
ao-Limitadas
Seja f : [a, b] R, e suponhamos que f seja integr avel em [a, c], qualquer que seja c tal que
a < c < b. Alem disso, suponhamos que a func
ao f nao seja limitada em nenhuma vizinhanca de b.
Isto e, estamos supondo que existe uma sequencia de pontos {xn } cujo limite e b, mas |f (xn )|
+, quando xn b. Neste caso, chamamos b um ponto singular ou uma singularidade da f .
Da mesma forma, definimos singularidade em a.
EXEMPLO. Seja f : [0, 1] R definida por

1
se 0 x < 1,
f (x) = 1x
0 se x = 1.
O ponto x = 1 e uma singularidade da f .
EXEMPLO. Seja f : [0, 1] R definida por

( sen x
se 0 < x 1,
f (x) = x
1 se x = 0.
sen x
Como lim = 1, o ponto x = 0 n
ao e uma singularidade da func
ao f .
x0 x
5.1.1 DEFINIC
AO. Dada uma func
ao f definida em um intervalo [a, b], onde b e ponto singular.
O smbolo Z b
f (x) dx
a
denomina-se integral impr opria da f , de a ate b. Alem disso, diremos que a integral impr
opria
converge ou existe, se o limite Z c
lim f (x) dx
cb a
existe, e esse valor e chamado de valor da integral. Se o limite n

ao existe, dizemos que a integral
diverge ou n ao existe.
83
Analogamente define-se a integral para o extremo inferior.
EXEMPLO. A integral Z 1
1
dx
0 x2
e impr
opria e diverge: Z 1
dx 1
lim 2
= lim ( 1) = +.
a0 a x a0 a
EXEMPLO. A integral Z 1
x dx. 1 < < 0,
0
opria, pois limx0 x = +, e converge:
e impr
Z 1
1 1
lim x dx = lim (1 a+1 ) = .
a0 a a0 + 1 +1
5.2 Valor Principal de Cauchy

5.2.1 VALOR PRINCIPAL DE CAUCHY. Seja f uma func ao definida e regrada em [a, b],
exceto eventualmente em um ponto interior c, o qual e um ponto singular da func
ao f . Se
Z b
f (x) dx
a
n
ao existe, porem Z Z
c b
lim f (x) dx + f (x) dx
0 a c+
existe, ent
ao o valor do limite acima e chamado de valor principal de Cauchy e e denotado por
Z b
v.p. f (x) dx.
a
EXEMPLO. A func
ao integranda em Z 2
dx
,
1 x
tem uma singularidade em x = 0. As integrais
Z 0 Z 2
dx dx
e
1 x 0 x
divergem e a integral dada n
ao existe. No entanto,
Z Z 2
dx dx
+ = log 1 + log + log 2 log = log 2.
1 x x
Logo, Z 2
dx
v.p. = log 2.
1 x
EXERC
ICIO. Calcule Z 1
dx
v.p. .
1 x3
lise
Elementos de Ana 85
5.3 Integrais com Extremos Infinitos

Nas sec
oes anteriores consideramos func
oes definidas em intervalos fechados e limitados. Vamos
agora generalizar essa situac
ao.
5.3.1 Consideremos func oes definidas em intervalos da forma [c, +[, onde < c < +. Vamos
supor que as funcoes sejam regradas em cada intervalo fechado e limitado [c, b] [c, +[. Ent
ao,
se f e uma tal func
ao, a integral Z b
If (b) = f (x) dx
c
define um n umero real. A integral e ent ao If : b [c, +[ If (b) R. Se essa
ao uma func
ao tiver limite quando b +, chamaremos esse limite de integral (impr
func opria) da func
ao f ,
entre os extremos c e +. Diremos tambem que a integral converge quando b + e escrevemos
Z Z b
f (x) dx = lim f (x) dx.
c b+ c
Analogamente introduzimos Z Z
c c
f (x) dx = lim f (x) dx.
b+ b
1
EXEMPLO. Seja f : [1, +[ R definida por f (x) = . Vamos ter
x2
Z + Z b
dx dx 1
= lim = lim 1 = 1.
1 x2 b+ 1 x2 b+ b
EXEMPLO, Seja f : [0, +[ R, definida por f (x) = x ex . Temos
Z
xex dx = 1.
0
(Verifique!)
EXEMPLO. Seja f : [0, +[ R definida por

sen x

, x 6= 0;
x
f (x) =

1 , x = 0.
Como
sen x
= 1,lim
x0 x
ao f e contnua em [0, +[ e portanto regrada em todo subintervalo [0, b]. Seja bn +.
a func
Entao, existe rn , 0 rn < , tal que bn = n + rn . Desta forma
Z bn Z n Z n+rn
sen x sen x sen x
dx = dx + dx = I1n + I2n .
0 x 0 x n x
Vamos avaliar separadamente as integrais I1n e I2n :
Z n X n1 Z (k+1) Xn1
sen x sen x
I1n = dx = dx = ck ,
0 x k x
k=0 k=0
onde, para cada k,

Z (k+1)
sen x
ck = dx
k x
alterna valores positivos e negativos (verifique!) e ck 0 monotonamente, quando k +. De
fato,
Z (k+1) Z 1
sen x sen (x + k)
dx = dx
k x 0 x + k
Z 1
k sen x
= (1) dx
0 k + x
e alem disso Z Z
1 1
sen ((k + x 1 1
| dx |sen ((k + x)| dx .
0 (k + x) k 0 k
Logo, I1n e a soma parcial de uma serie alternada convergente; por outro lado
Z n+rn Z n+rn Z n+rn
n
sen x sen x 1 1

|I2 | = dx dx dx < = .
n x n x n n n n
Logo, a integral converge

Z Z b
+
sen x sen x
dx = lim dx.
0 x b+ 0 x
P
OBSERVAC
AO. Se uma serie numerica n an converge, ent ariamente an 0, quando
ao necess
n +. No caso das integrais, uma integral do tipo
Z +
f (x) dx
a
pode existir sem que f (x) 0, quando x +, como mostra o seguinte exemplo.
EXEMPLO. Seja f : [0, +[ R, definida por

1
1 se n x n + n2 , n = 1, 2, ...
f (x) =
0 sen
ao.
Vemos que n ao f quando x +, mas

ao existe o limite da func
Z n+1 n Z
X k+1 n Z
X k+1/k 2 n
X 1
f (x) dx = f (x) dx = dx = .
0 k k k2
k=0 k=0 k=0
Como a serie da direita e convergente segue que a integral e convergente.
Alem disso, a integral de uma funcao f pode convergir mas n odulo |f | da

ao a integral do m
func
ao. Este e o caso de um exemplo j
a considerado.
EXEMPLO. A integral Z +
sen x
dx
0 x
lise
Elementos de Ana 87
ao e convergente. De fato, para todo n N, temos

n
Z (n+1) sen x n Z (k+1)
X Z X
n
sen x 1
dx = dx |sen x| dx .
0 x k x 0 (k + 1)
k=0 k=0
Os exemplos examinados justificam chamar as integrais do tipo que estamos considerando de

impr
oprias e introduzir a seguinte definic
ao.
5.3.2 DEFINIC
AO.
A integral impr ao f converge absolutamente se a integral de |f |

opria de uma func
converge. Se a integral da f converge mas a integral de |f | n
ao converge diremos que a
integral converge condicionalmente.
5.3.3 Se f e um func ao definida em ] , +[, que e regrada em todo subintervalo fechado e

limitado [a, b] ] , +[ e alem disso existem as integrais
Z c Z +
f (x) dx e f (x) dx,
c
qualquer que seja c, < c < +, definimos

Z + Z c Z +
f (x) dx := f (x) dx + f (x) dx.
c
Esta definic
ao independe do ponto c. De fato, se c1 < c2 , temos
Z c1 Z c2 Z c2
f (x) dx = f (x) dx f (x) dx
c1
e Z Z Z
+ + c2
f (x) dx = f (x) dx + f (x) dx.
c1 c2 c1
Como, por hip

otese, as integrais convergem, temos
Z c1 Z + Z c2 Z +
f (x) dx + f (x) dx = f (x) dx + f (x) dx.
c1 c2
ao contnua definida em [a, +[, ] , b] ou ] , +[ e F e uma primitiva

5.3.4 Se f e uma func
da f , vamos ter Z +
f (x) dx = lim F (x) F (a),
a x+
Z b
f (x) dx = F (b) lim F (x),
x
Z +
f (x) dx = lim F (x) lim F (x).
x+ x
EXEMPLO. Z Z
+ x
x s 1
e dx = lim e ds = lim 1 x = 1,
0 x+ 0 x+ e
e Z Z Z Z
+ 0 + +
e|x| dx = ex dx + ex dx = 2 ex dx = 2.
0 0
EXEMPLO. Como lim arctg (x) = /2, temos

x+
Z + Z x Z x
dx ds d
= lim = lim arctg (s) ds = lim arctg (x) = .
0 1 + x2 x+ 0 1 + s2 x+ 0 ds x+ 2
Por outro lado, como f (x) = 1/(1 + x2 ) e uma func

ao par em ] , +[, temos
Z + Z 0
dx dx
= .
0 1 + x2 1 + x2
Portanto Z +
dx
= .
1 + x2
EXERC
ICIO. Demonstre que
Z +
t3 et dt = 1 + 2 + 3.
0
5.4 Crit
erios de Converg
encia
5.4.1 LEMA.
ao F : [a, b[ R, onde b R ou b = +, o limite

Dada uma func
lim F (x)
xb
existe se, e somente se, dado > 0, existe x tal que
|F (x1 ) F (x2 )| < ,
para todo x1 e x2 que verificam x < x1 , x2 < b.
Demonstra
c
ao. Exerccio.
5.4.2 CRITERIO DE CAUCHY. Seja b finito ou infinito e f : [a, b[ R uma func

ao integr
avel
em [a, c], onde a < c < b. Uma condic
ao necess
aria e suficiente para que
Z b
f (x) dx
a
lise
Elementos de Ana 89
exista e que para cada > 0, exista um x > 0 tal que

Z d
| f (x) dx| < ,
c
se x < c < d < b.

Um criterio an
alogo vale para o extremo inferior.
Demonstra
c
ao. Aplicar o Lema 6.4.1 para a func
ao
Z x
F (x) = f (s) ds
a
.
EXEMPLO. Consideremos Z 1
1 1
sen dx.
0 x x
Vamos ter, para 0 < c < d < 1,
Z d Z d
1 1 1 1
| sen dx| | sen | dx
c x x c x x
Z d
1
dx = 2( d c) < 2 d.
c x

Tomando x := ( )2 , para quaisquer c e d, com 0 < c < d < x , temos
2
Z d Z d
| f (x) dx| |f (x)| dx < 2 d < ,
c c
e a integral converge, pelo Criterio de Cauchy.
Quando as integrais impr oprias tem integrando n

ao negativos podemos estabelecer alguns criterios
especiais de convergencia ou divergencia.
5.4.3 TEOREMA.
Seja b finito ou infinito e f : [a, b[ [0, [ uma func

ao integr
avel em [a, c], para todo
c com a < c < b. Alem disso, suponhamos que b seja um ponto singular da funcao f .
Ent
ao, a integral impr opria
Z b
f (x) dx
a
existe, se, e somente se, as integrais (pr

oprias)
Z x
f (t) dt
a
forem limitadas por uma constante, para todo x [a, b[.

Demonstra
c
ao. Exerccio.
Assumiremos doravante que a singularidade ocorre no extremo superior.
5.4.4 TEOREMA.
Sejam f, g : [a, b[ [0, [ func
oes integr
aveis em [a, c], para todo c em [a, b[. Supon-
hamos que f (x) g(x) em [a, b[. Nestas condicoes,
Z b Z b
A) se g(x) dx converge, ent
ao f (x) dx tambem converge;
a a
Z b Z b
A) se f (x) dx diverge, ent
ao g(x) dx tambem diverge.
a a
Demonstra
c
ao. Exerccio.
EXEMPLO. O ponto y = 1 e um ponto de singular do integrando de

Z 1
dy
p ;
0 1 y2
mas
1 1 1
p =p .
1y 2 (1 + y)(1 y) (1 y)1/2
EXEMPLO. A integral Z
et t sen t dt, > 0,
0
converge absolutamente.
De fato, por um lado temos

|et t sen t| et t = et/2 et/2 t .
Por outro lado, g(t) = et/2 t e uma func
ao contnua que tende a zero quando t . Logo, e
limitada, digamos por M ,
|et t sen t| M et/2 ,
e Z Z
t
|e t sen t| dt M et/2 dt = 2M.
0 0

5.4.5 COROLARIO.
Sejam f, g : [a, b[ [0, [ func
oes integr
aveis em [a, c], para todo c em [a, b[. Supon-
hamos que
f (x)
0 < lim < .
xb g(x)
Ent
ao, as integrais
Z b Z b
f (x) dx e g(x) dx
a a
convergem ou ambas divergem.
lise
Elementos de Ana 91
Demonstra
c
ao. Exerccio.
5.4.6 Integrais u teis para compara c

ao.
Z
dx
A) , a > 0, converge se k > 1;
a xk
Z a
dx
B) k
, a > 0, converge se k < 1;
0 x
Z
dx
C) , a > x0 , converge se k > 1;
a (x x0 )k
Z a
dx
D) k
, a > x0 , converge se k < 1.
x0 (x x0 )
Demonstra
c
ao. Exerccio.
Captulo 6

SERIES DE FOURIER
As series de Fourier s
ao, ao lado das series de potencias, as series de func
oes mais importantes da
Analise. A teoria das series de Fourier depende de resultados estabelecidos em todos os captulos
anteriores.
6.1 Func
oes Peri
odicas
6.1.1 Consideremos uma func aria f : R R.
ao arbitr
i) Se T = 0 e o u
nico n
umero real tal que
f (x + T ) = f (x)
diremos que f e n
ao-periodica.
ii) Se para todo T R, tivermos
f (x + T ) = f (x)
entao f e constante.
iii) Se existe T R, T 6= 0, tal que para todo k = 0, 1, 2, ... tivermos
f (x + k T ) = f (x)
diremos que f e peri

odica de perodo T .
oes sen (nx), cos(nx) e einx s

6.1.2 EXEMPLOS. As func ao func
oes peri
odicas de perodo 2 .
NOTAC
AO. Denotaremos por C2 e Reg2 os conjuntos das func
oes contnuas e das func
oes
regradas, respectivamente, de perodo 2.
6.2 Polin
omios e S
eries Trigonom
etricos
6.2.1 Um polin
omio trigonom
etrico e um polin
omio da forma
n
a0 X
(1) P (t) = + (ak cos kt + bk sen kt)
2
k=1
93
O inteiro n e o grau do polinomio.

Uma serie trigonometrica e uma serie da forma

a) X
(2) + (ak cos kt + bk sen kt)
2
k=1
6.2.2 O polinomio 6.2.1(1) e a serie 6.2.1(2) podem ser expressas na forma exponencial. De fato,
usando-se a f
ormula de Euler, vamos ter:
(1) eikt = cos kt + isen kt e eikt = cos kt i sen kt,
portanto
eikt + eikt eikt eikt

(2) cos kt = e sen kt =
2 2i
Substituindo as relac
oes 6.2.2(2) em 6.2.1(1) obtemos
n
a0 X eikt + eikt eikt eikt
P (t) = + ak + bk
2 2 2i
k=1
Xn
ak ibk ikx ak + ibk ikx
= a0 + e + e
2 2
k=1
Agora, fazendo
a0 ak + ibk ak ibk
(3) c0 = , ck = e c+k =
2 2 2
para k = 1, 2, ..., obtemos
n
X
(4) P (t) = ck e+ikt ,
k=n
e

X
(5) ck e+ikt .
k=

R ICIO. Para m, n N, usando
EXERC R as formulas que seguem o Corol
R ario 3.2.7, calcule as integrais
(i) sen (mx) cos(nx) dx, (ii) sen (mx) sen (nx) dx, (iii) cos(mx) cos(nx) dx.
Conclua que para m 6= n as func
oes sen (mx) e cos(nx) s
aRo ortogonais.

EXERC ICIO. Se m 6= n, m, n Z, calcule as integrais eimx einx dx.
lise
Elementos de Ana 95
6.3 Polin
omios e S
eries de Fourier.
6.3.1 Consideraremos o sistema exponencial
(1) (eikt ; k Z)
e observemos que este sistema e ortonormal:
Z
1 ikt iht 1 se k = h,
(2) e e dt =
2 0 se k 6= h
conveniente introduzir a seguinte notac
E ao: Se f e g s
ao func
oes pertencentes a Reg2 escrevemos
Z
1
(3) < f , g >= f (t)g(t)dt
2
e
Z
1
(4) fb(k) = f (t)eikt dt =< f , eikt >, k Z.
2
umeros fb(k), k Z, denominam-se os coeficientes de Fourier da func

6.3.2 Os n ao f Reg2 . O
polin
omio
N
X
(1) SN (f ; t) = fb(k)eikt
k=N
denomina-se o polin
omio de Fourier da func
ao f , e a serie

X
(2) S(f ; t) = fb(k)eikt
k=
ao f Reg2 .
denomina-se a serie de Fourier da func
Equivalentemente, usando as f
ormulas 6.2.2(3), uma serie trigonometrica

a0 X
+ (ak cos(kx) + bk sen (kx))
2
k=1
e de Fourier de uma funcao f Reg2 se os coeficientes a0 . ak e bk forem dados por

Z Z Z
1 1 1
a0 = f (x) dx, ak = f (x) cos(kx) dx, bk = f (x) sen (kx) dx.

ao f Reg2 e o seguinte.
Um resultado fundamental sobre os coeficientes de Fourier de uma func
6.3.3 LEMA DE RIEMANN.

Se f Reg2 ent
ao
(1) lim fb(k) = 0.

|k|
Demonstra
c
ao. Dividiremos a demonstrac
ao em tres partes
a Parte: f (x) = (t), onde I = |a, b|. Ent

1 ao
I
Z
1 1 b
b
lim f (k) = lim I (t)eitk dt = lim eikt a = 0.
|k| |k| 2 |k| 2ik
a Parte: f (x) = P c (t), onde I I = . Ent

2 ao pela primeira parte temos tambem (1).
n In n n
a Parte: dado > 0 seja (t) = P c (t) tal que

3 n In
|f (t) (t)| <

para todo t; entao, somando e subtraindo , temos
Z
b 1
lim |f (k)| |f (t) (t)|dt + lim |(k)|
b < .
|k| 2 |k|
.
EXERC ICIO. Usando as f

ormulas 6.2.2(2) demonstre o Lema de Riemann para o sistema
trigonometrico.
Para o N -esimo polin ao f Reg2 podemos achar um express

omio de Fourier de uma func ao
integral.
6.3.4 TEOREMA (Dirichlet 1829).

Se f Reg2 ent
ao
Z
1
(1) SN (f ; t) = f (t + s)DN (s)ds
2
onde
sen (N + 12 )s
(2) DN (s) =
sen 12 s
e o chamado n
ucleo de Dirichlet.
Demonstra
c
ao. Vamos ter
N
X N
X Z
1
(3) SN (f ; t) = fb(k)eikt = f (s)eik(ts) ds
2
k=N k=N
Z N
X
1
= f (s) eik(ts) ds
2 k=N
lise
Elementos de Ana 97
Por outro lado
N
X eiN t ei(N +1)t eit/2 eiN t ei(N +1)t
(4) eikt = it
= it/2
1e e 1 eit
k=N
1 1
ei(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

Z
1 sen (N + 1/2)(t + s)
SN (f, t) = f (s) ds
2 sen (t + s)/2

6.3.5 ESCOLIO. Temos
Z
1
(1) DN (t)dt = 1.
2
Demonstra
c
ao. De 6.3.4(4) obtemos
Z N Z
X
sen (N + 1/2)t
dt = eikt dt = 2.
sen t/2 k=N
.
6.3.6 PROPOSIC
AO.
Se f Reg2 , temos
Z Z Z
f (s) DN (t s) ds = f (t s) DN (s) ds = f (t + s) DN (s) ds.

Demonstra
c
ao. Exerccio.
Vamos precisar de uma outra express

ao para o n
ucleo de Direchlet.
6.3.7 LEMA.
Para cada n N, temos
" n
#
s 1 X 1
(1) 2sen + cos ks = sen (n + )s
2 2 2
k=1
Demonstra
c
ao. Lembrando que
2 cos sen = sen ( + ) sen ( ),

para n = 1 temos

s 1 s s
2sen + cos s = sen + 2sen cos s
2 2 2 2
s s s
= sen + sen ( + s) sen (s )
2 2 2
s 1 s
= sen + sen (1 + )s sen
2 2 2
1
= sen (1 + )s.
2
Agora, assumindo que a identidade (1) e v alida para n N, vamos demonstrar que e tambem
v
alida para n + 1. De fato
" n+1
# " n
#
s 1 X s 1 X
2sen + cos ks = 2sen + cos ks + cos(n + 1)s
2 2 2 2
k=1 k=1
" n
#
s 1 X s
= 2sen + cos ks + 2sen cos(n + 1)s
2 2 2
k=1
1 1 1
= sen (n + )s + sen ((n + 1) + )s sen ((n + 1) )s
2 2 2
1
= sen ((n + 1) + )s.
2

6.3.8 COROLARIO.
n
1 1 X
Dn (s) = + cos ks
2 2
k=1
e Z Z n
1
1 1 X

Dn (s) ds = [ + cos ks] ds.
2 2 k=1
Vamos agora apresentar uma primeira relac ao entre a serie de Fourier S(f ; t) e a func
ao f .
Com uma hip ao f C2 vamos mostrar que SN (f ; t) converge para
otese adicional sobre a func
f (t), para todo t. Para isso precisaremos da seguinte modificac
ao do Lema de Riemann.
6.3.9 LEMA DE RIEMANN (II).

Se f Reg2 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 tsen t
2 2 2
e
1 1
g(t) = f (t) cos t e h(t) = f (t)sen t
2 2
s
ao func
oes regradas, aplicando o Lema de Riemann 6.3.3 segue a afirmac
ao.
Podemos agora demonstrar nosso resultado de convergencia.

lise
Elementos de Ana 99
6.3.10 PROPOSIC
AO.
Seja f C2 uma func avel tal que f C2 . Ent

ao deriv ao,
(1) lim SN (f ; t) = f (t),

|N |
para todo t.
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
2sen s/2 2sen s/2
Z
1 f (t + s) f (t) s/2
= 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 func
ao contnua, o resultado segue de 6.2.6 (1).
6.3.11 OBSERVAC
AO. A condic
ao da funcao f ter uma derivada contnua pode ser relaxada,
mas n ao `
a ponto de se exigir que a func
ao seja apenas contnua. Um resultado an
alogo para func
oes
contnuas, mas com outro tipo de polin omio, ser
a tratado na proxima sec
ao.
A equacao 6.3.7(1) indica convergencia pontual. Posteriormente, vamos mostrar que na realidade
a convergencia e uniforme.
6.4 N
ucleos de F
ejer e o Teorema de Weierstrass.
Os n
ucleos de Fejer est
ao ligados a` representac
ao integral de medias de somas parciais.
6.4.1 Seja f C2 e lembremos que
n
X Z
1 sen (n + 1/2)s
Sn (f, t) = fb(k)eikt = f (s t) ds.
2 sen s/2
k=n
Consideremos, agora, a media de ordem n de Sn (f, t):
n Z Pn
1 X 1
k=0 sen (k+ 1/2)s
n (f, t) = Sk (f ; t) = f (s t) ds
n+1 2 (n + 1)sen s/2
k=0
Mas sen qs = Im(eiqs ), q R, e portanto

n
X n+1
X 1 ei(n+1)s
ei(k+1/2)s = eis/2 eiks = eis/2 eis
1 eis
k=0 k=1
1 ei(n+1)s 1 1 ei(n+1)s
= eis/2 =
1 eis eis/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
X Xn
1 cos(n + 1)s sen 2 (n + 1)s/2
sen (k + 1/2)s = Im{ ei(k+1/2)s } = =
2sen s/2 sen s/2
k=0 k=0
O n
ucleo de Fejer 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 media de ordem n assume a forma
Z
1 sen 2 (n + 1)s/2
(2) n (f ; t) = f (t s) ds.
2 (n + 1)sen 2 s/2
6.4.2 TEOREMA.
O n
ucleo de Fejer e uma identidade aproximada, isto e tem as propriedades
Fn (t) 0;
Z
1
Fn (t)dt = 1;

1
Fn (t) , 0 < |t| .
(n + 1)sen 2 (/2)
Demonstra
c
ao. Exerccio para o leitor.
6.4.3 TEOREMA (de F

ejer - 1904).
Se f C2 ent
ao n (f, t) converge uniformemente para a func
ao f .
Demonstraao. Dado > 0, seja > 0 tal que se |s| ent

c ao
|f (t s) f (t)| <
lise
Elementos de Ana 101
para todo t. (Isto e possvel! Por que?). Utilizando este , obtemos

Z
1
|n (f ; t) f (t)| |f (t s) f (t)|Fn (s)ds
2
Z Z
1 1
= |f (t s) f (t)|Fn (s)ds + |f (t s) f (t)|Fn (s)ds
2 |s| 2 s
< + ||f || /(n + 1)sen 2 /2,
o que implica o teorema.
Um corol
ario imediato mas importante do teorema de Fejer e o seguinte.

6.4.4 COROLARIO.
Se f C2 e fb(k) = 0, para todo k Z, ent
ao f (t) = 0, para todo t.
Demonstra ao. De fato, se fb(k) = 0, para todo k Z, ent
c ao n (f, t) = 0, para todo t. Agora,
como n (f ) f segue que f (t) = 0.
Como consequencia do Corol

ario 6.4.4 obtemos a importante propriedade de unicidade.

6.4.5 COROLARIO.
Se f, g C2 s oes tais que fb(k) = gb(k), para todo k Z, ent
ao func ao f g.
Demonstra
c
ao. Exerccio.
Vamos precisar de uma segunda expressao para o n

ucleo de Fejer.
6.4.6 TEOREMA.
" n
#
1 X n+1k
Fn (s) = 2 + cos ks .
2 n+1
k=1
Demonstra
c
ao. Observando que

s 1 1
2sen = sen (0 + )s
2 2 2
e que
s 1 1
2sen + cos s + cos 2s + ... + cos ks = sen (k + )s,
2 2 2
obtemos " #
n n
s n+1 X X 1
2sen + (cos s + ... + cos ks) = sen (k + )s
2 2 2
k=1 k=0
e, lembrando que
n
X 1 sen 2 (n + 12 )s
sen (k + )s =
2 sen 2s
k=0
obtemos " #
n
s n+1 X sen 2 (n + 12 )s
2sen + (n + 1 k) cos ks = .
2 2 sen 2s
k=1
s
Dividindo por n + 1 e sen 2 segue-se que
" n
#
sen 2 (n + 12 )s 1 X n+1k
Fn (s) = =2 + cos ks .
(n + 1)sen 2 2s 2 n+1
k=1
A demonstrac
ao est
a completa.

6.4.7 COROLARIO.
Para todo n N, temos

Z " n
#
1
1 Xn+1k
+ cos ks ds = 1.
2 n+1
k=1
6.5 Norma M
edia Quadr
atica
Se f Reg2 escreveremos s Z
1
|| f ||2 = |f (t)|2 dt.
2
Denominaremos || f ||2 de norma media quadr atica. Na realidade ||.||2 e uma semi-norma.
Antes de precisarmos o que isto significa, vamos estabelecer uma importante desigualdade.
lise
6.5.1 DESIGUALDADE DE CAUCHY-SCHWARTZ

Se f, g Reg2 , ent
ao
Z

1
f (x)g(x) dx ||f ||2 ||g||2 .
2

Demonstra c
ao. Se f ou g forem nulas, eventualmente a menos de um conjunto enumer
avel, n
ao
h
a o que demonstrar. Suponhamos entao que ||f ||2 6= 0 e ||g||2 6= 0. Facamos
|f (x)| |g(x)|
a= e b= .
||f ||2 ||g||2
Como (a b)2 0, temos a2 + b2 2ab, ou seja
|f (x)|2 |g(x)|2 |f (x)| |g(x)|

2 + 2 2
||f ||2 ||g||2 ||f ||2 ||g||2
Integrando, obtemos
Z Z Z
1 2 1 2 1
|f (x)| dx |g(x)| de |f (x)g(x)| dx
2 2 2
2= + 2
||f ||22 ||g||22 ||f ||2 ||g||2
Simplificando e transpondo obtemos a desigualdade.
6.5.2 PROPOSIC
AO.
Se f, g Reg2 ent
ao
SN1) ||f g||2 = 0 = f = g,
eventualmente a menos de um conjunto enumeravel de pontos.
N2) || f ||2 = || ||f ||2 .
N3) ||f + g||2 ||f ||2 + ||g||2 .
Demonstra
c
ao. Exerccio.
EXERC
ICIO. Se f C2 , demonstre que ||f ||2 = 0 implica f (x) = 0, para todo x.
6.6 O Polin
omio de Melhor Aproxima
cao
A aproximac
ao na norma media quadr omio pn
atica tem a vantagem de permitir conhecer o polin
que melhor aproxima uma func
ao dada.
6.6.1 DEFINIC
AO. Seja || || uma norma arbitr ao f Reg2
aria em Reg2 . Dada uma func
definimos a melhor aproximaca
o polinomial de f por
(1) En (f ) = inf ||f pn ||,

onde o nfimo e tomado sobre todos os polinomios (trigonometricos) de grau n.

Diremos que um polin omio (trigonometrico) pn e um polin
omio de melhor aproximac
ao de uma
ao f Reg2 se
func
(2) En (f ) = ||f pn ||.
Vamos ver que na norma quadr atica toda func omio pn de

ao regrada f Reg2 tem um polin
melhor aproximac
ao: o seu polin
omio de Fourier.
n
X
6.6.2 UM PROBLEMA VARIACIONAL. Se f Reg2 e Pn (t) = ck eikt , onde os coefi-
k=n
cientes ck s
ao 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 relac
ao acima segue que o nfimo sobre todos os polin omios de grau n e atingido quando
b
ck = f (k), k Z. Portanto na norma media quadr atica o polin
omio de melhor aproximac
ao existe,
e u
nico e e o polin
omio de Fourier da funcao dada f :
EN (f ) = ||f SN (f )||2 .
O fato que o polin omio de Fourier de uma func ao e o polin
omio trigonometrico de melhor
aproximac ao em norma media quadr atica tem importantes consequencias. A primeira delas e que
a serie de Fourier de uma func
ao contnua converge na norma media quadratica.
lise
6.6.3 TEOREMA.
Se f C2 ent
ao
lim ||f SN (f ; t)||2 = 0.
N
Demonstra
c
ao. Segue do fato
||f SN (f ; t)||2 ||f N (f, t)||2
e do fato que os polin

omios de Fejer aproximam uniformemente as func
oes contnuas.
Tambem, como consequencia da relac

ao 7.5.1(1) obtemos as seguintes desigualdades fundamen-
tais.
6.6.4 A DESIGUALDADE DE BESSEL. Se f Reg2 ent

ao
N
X
(1) |fb(k)|2 ||f ||22
k=N

X
(2) |fb(k)|2 ||f ||22 .
k=
P
A desigualdade de Bessel diz ent
ao que a serie k |fb(k)|2 e convergente o que implica consequente-
mente no Lema de Riemann:
lim |fb(k)| = 0.
|k|
6.6.5 TEOREMA. Se f Reg2 , ent

ao as seguintes afirmac oes s
ao equivalentes:
A-
Z
(1) lim |f (t) Sn (f, t)|2 dt = 0;
k
B-
Z
X
1
(2) f (t)g(t)dt = fb(k)b
g (k) (identidade de Parseval);
2 k=
C-
Z
X
1
(3) |f (t)|2 dt = |fb(k)|2 (igualdade de Bessel).
2 k=
Demonstra
c
ao. A = B: segue por passagem ao limite na desigualdade
Z n
X Z n
X Z
1 1 1
| f (t)g(t)dt fb(k)b
g (k)| = | f (t)g(t)dt fb(k) g(t)eikt dt|
2 2 2
k=n k=n
Z Xn
1
|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
6.7 S
eries de Fourier absolutamente convergente.
6.7.1 LEMA.
Seja f C2 tal que f C2 . Ent

ao
(1) fb (k) = ikfb(k)
para todo k Z.
Demonstra c
ao. Temos
Z Z
1 1 ik
fb (k) = f (t)eikt dt = [f (t) eikt ] + f (t)eikt dt = ikfb(k) .
2 2 2
6.7.2 TEOREMA.
Seja f C2 tal que f C2 . Ent

ao, SN (f ) converge uniformemente para f .
P
Demonstra ao. Vamos demonstrar que k |fb(k)| < . De fato:
c
n
X n
X n
X
1 1
|fb(k)| = |ikfb(k)| = |fb (k)|
1k k
k=n k=n k=n
n
X n
X
b 2 1/2 1 1/2
{ |f (k)| } { }
k2
k=n k=n
X
X 1 1/2
{ |fb (k)|2 }1/2 {2 }
k2
k= k=1
Z
X 1 1/2
{ |f (t)|2 dt}1/2 { } <.
k2
k=1
lise
O resultado segue ent

ao do teste de Weierstrass.
O seguinte criterio e devido à S. Bernstein que generaliza o Teorema 6.6.2, mas tem uma
demonstrac
ao mais sofisticada.
6.7.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 einh )eint .

Aplicando a identidade de Parseval e lembrando que sen nh = (einh einh )/2i, obtemos
Z
X
|f (t + h) f (t h)|2 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
Por outro lado Z

1
|f (t + h) f (t h)|2 dt (2h; f )2
2
e portanto
X 2
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 2
|fb(0)| + C 2m/2 ( ; f)
3.2m
m=1
X
2 m/2m
|fb(0)| + C ||f ||Lip ( ) 2 .
m=1
3
Como > 1/2, a serie na u

ltima desigualdade e convergente e o teorema est
a demonstrado.
6.7.4 OBSERVAC
AO. O Teorema de Bernstein e o melhor possvel no sentido de que o resultado
e falso para = 1/2. A func
ao associada a serie

X ein log n int
(1) e
n
n=1
pertence `
a Lip1/2 mas a serie 6.6.4(1) n
ao e absolutamente convergente.
ao W : R R definida por
6.7.5 EXEMPLO. A func

X
W (x) = 2k cos(2k x),
k=1
ao de Lipschitz de ordem : W Lip .
onde 0 < < 1, verifica a condic
De fato, lembrando que

cos(a + b) cos(a b) = 2 sen (a) cos(b),
temos

X h i
W (x + h) W (x) = 2k cos 2k (x + h) cos(2k x)
k=1
X
k k 1 k1 k
= 2 cos(2 (x + h)) + 2 h) cos(2 x)
2 2
k=1
X
1 1
= 2k sen (2k (x + h) sen (2k h).
2 2
k=1
Seja N o maior inteiro tal que 2N |h|

1 e 1 < 2N +1 |h|. Ent
ao
N 1
!
X X
W (x + h) W (x) = + = P + Q.
k=1 k=N
Vamos estimar P e Q separadamente. Por um lado

N
X 1
1 sen 2k 1 h 1

|P | 2k 2|sen 2k (x + h)| k 1 2 2k |h|
2 2 2h 2
k=1
N
X 1
2N (1)
2(1)k |h| |h| C 2N C |h| .
21 1
k=1
Por outro lado

X 1 1
|Q| 2k 2|sen 2k (x + h)| |sen 2k h|
2 2
k=N
X n
X
k
22 = lim 2 2k
n
k=N k=N
2(N +1) 2(n+1) 2(N +1) 2
= 2 lim =2 |h| .
n 1 2 12 1 2
lise
Portanto
|W (x + h) W (x)| |P | + |Q| C |h| .
A demonstrac
ao est
a completa.
6.8 Ordem de Aproxima

cao e Classes de Lipschitz
Todas as funcoes contnuas e periodicas podem ser aproximadas uniformemente pelas medias de
Fejer de suas series de Fourier. Qual e a velocidade dessa aproximac ao? Isto e, qual a relac
ao
entre a ordem do polin omio e o erro da aproximacao? Conhecendo-se a velocidade de convergencia,
poderamos tirar conclus oes referentes a estrutura da func
ao limite?
Vamos discutir essa quest oes no contexto das funcoes lipschitzianas. O primeiro resultado e
devido à D. Jackson (1906).
6.9 Teorema de Aproxima

cao Direta.
6.9.1 TEOREMA.
Se f Lip , com 0 < < 1, ent
ao
C M
(1) ||f n (f )|| ,
(n + 1)
onde n (f ) e a media de Fejer da serie de Fourier da func
ao f, C e uma constante e
M = sup t (t, f ).
t>0
Demonstrac
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 mudanca 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
Z
2 M /2 sen 2 (n + 1)t
dt
n+1 0 t2
Z n+1
2 M 2 sen 2 s
ds
(n + 1) 0 s2
C M
= ,
(M + 1)
pois
Z n+1

2 sen 2 s
ds < .
0 s2
O teorema est
a demonstrado.
6.10 Teorema de Aproxima

cao Inversa.
Vamos agora estudar a recproca do teorema de Jackson. A quest ao e a seguinte: se uma func
ao
f pode ser aproximada na ordem de n por um polin omio de grau n, o que pode ser dito ` a
respeito da func
ao? Este problema foi resolvido por S. Bernstein. Para a sua demonstracao vamos
precisar de um lema conhecido como Lema de Bernstein.
6.10.1 Lema de Bernstein.

Se Pn e um polin ao sua derivada Pn satisfaz `
omio trigonometrico de grau n, ent a desigual-
dade
(1) ||Pn || 2(n + 1)||Pn || .
Demonstrac
ao. Como Z
1
Pn (x) = Pn (y)Dn (x y) dy ,

derivando sob o sinal de integrac
ao obtemos
Z
1
Pn (x) = Pn (x + y)Dn (y) dy .

Mas tendo em vista a ortogonalidade do sistema trigonometrico podemos somar à Dn um polin
omio
triogonometrico Q(y) sem alterar o valor da integral desde que contenha somente termos de ordem
> n:
Z
1
(2) P (x) = Pn (x + y){Dn (y) + Q(y)} dy .

Tomemos
n
X
Q(y) = (n + 1)sen (n + 1)y + cos(2n + 2 k)y .
k=1
Como
X n
d 1
Dn (y) = [ + cos y + ... + cos ny] = ksen ky ,
dy 2
k=1
vamos ter
n
X
Dn (y) + Q(y) = (n + 1)sen (n + 1)y + k[sen (2n + 2 k)y sen ky]
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
lise
Lembrando que a enezima media de Fejer e

n
1 Xn+1k
Fn (y) = + cos ky ,
2 n+1
k=1
obtemos
(3) Dn (y) + Q(t) = 2(n + 1)sen nyFn (y) .
Finalmente como o n
ucleo de Fejer e positivo e sua integral vale 1 obtemos de (2) e (3)
Z
1
|P (x)| |Pn (x + y)|2(n + 1)Fn (y)dy

2(n + 1) ||Pn ||
que e a desigualdade procurada.
Estamos agora em condic

oes de enunciar e demonstrar o Teorema de Bernstein ou teorema
inverso de aproximac
ao.
6.10.2 TEOREMA.
Seja {Pn } uma sequencia de polin
omios trigonometricos tal que o grau de Pn e n. Se
Pn converge uniformemente para uma func ao f de maneira que
(1) ||f Pn || Cn (0 < < 1)
ao f Lip .
ent
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) P2n1 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 || C2k ,
e pelo Lema de Bernstein obtemos
||Q2k || C2k(1) .
Escolhemos agora |h|, com 0 < |h| 1/2, e um inteiro N de modo que 2N < |h| 2(N 1) ;

X
g(x + h) g(x) = [Q2k (x + h) Q2k (x)]
k=1
N
X
X
= h Q2k (x) + h Q2k (x) .
k=1 k=N +1
Para estimar a primeira soma, utilizamos o Teorema da Media:

N
X N
X N
X
(3) |h Q2k (x)| |h| ||Q2k || Ch 2k(1)
k=1 k=1 k=1
N N N
C|h| 2 2 C2 Ch
Quanto a segunda soma, temos

X
X
(4) |h Q2k (x)| 2 ||Q2k ||
k=N +1 k=N +1
X
2C 2k
k=N +1
C
2 2N C|h| .
1 2
De (3) e (4) segue que
|g(x + h) g(x)| C|h| .
Como P1 e um polin
omio trigonometrico de grau 1, a relac
ao
|P1 (x + h) P1 (x)| C|h|
est
a claramente satisfeita. Portanto
||h f || ||h g|| + ||h P1 || Ch ;
ou seja f Lip .

Elementos de Analise Matematica 2

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Elementos de Analise Matematica 2

Enviado por

Direitos autorais:

Formatos disponíveis

Dicesar Lass Fernandez

Notas de Aula - MA602

Rascunho de uma vers

f (x) = lim fn (x), x S.

Dizemos entao que {fn } converge pontualmente para f , em S.

Uma sequencia de funcoes {fn }, definidas num mesmo domnio D R, converge

|fn (x) f (x)| < ,

EXEMPLO. Consideremos a sequencia {fn } definida em [0, 1], por

A sequencia {fn } converge uniformemente para a funcao identidade I(x) = x. De fato

para todo x [0, 1].

CONTRA-EXEMPLOS. (i) Consideremos em [0, 1], a sequencia {fn } definida por

converge para zero pontualmente mas nao uniformemente em R. A convergencia e uniforme

Uma sequencia {fn } de funcoes definidas num mesmo domnio D, converge

(1) sup|fn (x) f (x)| 0, quando n .

se n N . Logo, {fn } converge uniformemente para f em S.

|fn (x) f (x)| < ,

se n N . Como nao depende de x podemos tomar o supremo na desigualdade acima

e {fn (x) = x/n} nao pode convirgir uniformemente em [0, +[.

sup |fn (x) fn+k (x)| < .

(1) |fn (x) fn+k (x)| < ,

e uma funcao. De (1) segue em particular, para todo x D e k N, que

|fN (x) fN +k (x)| < .

Fazendo k tender ao infinito obtemos

|fN (x) f (x)|

uniforme para x > 0?

3. Verificar a convergencia pontual e uniforme das seguintes sequencias.

Dizemos que f e contnua em D se for contnua em todos os pontos de D.

B) {xn } // {yn} implica {f (xn )} // {f (yn)}.

Demonstrac ao. A) = B) Suponhamos que f e contnua e que existam sequencias par-

Logo, dado > 0, existem subsequencias {xk(n) } e {yk(n)} tais que

(1) |f (xk(n) ) f (yk(n) )| > ,

lim f (xk (n) ) = f (x0 ).

Os seguintes exemplos mostram que a condicao de convergencia uniforme no Teorema

EXEMPLO. A sequencia {fn }, definida por

Logo a convergencia nao e uniforme.

EXEMPLO. Para cada n N, seja fn definida em [0, 1] pela formula

Demonstre que lim fn (x) = 0, para todo x 0. A convergencia e uniforme em x 0? E em

2) Seja fn definida no intervalo [0,1] pela f

1.2.6 O TEOREMA DE APROXIMAC DE WEIERSTRASS.

Demonstrac ao. Basta demonstrar o teorema no caso em que [a, b] = [0, 1] .

convergem para f , quando n , uniformemente.

Primeira Etapa: Os polinomios de Bernstein aproximam uniformemente as funcoes

(1) |Bn (t )(t)| < ,

para todo t [0, 1]. Com efeito

||Bn (f0 ) f0 )|| + 2||Bn (f1 ) f1 || + ||Bn (f2 ) f2 || = ||Bn (f2 ) f2 || ,

(onde ||g h|| = sup{|g(t) h(t)| ; 0 t 1 }) como queramos.

|f (t) f (x)| 2||f || 2||f ||(t x)2 2 = t (x),

onde = 2||f || 2 Entao, para todo x [0, 1], temos

t (x) f (t) f (x) + t (x).

Observando que se h g entao Bn (h) Bn (g) obtemos

Bn (t )(x) f (t) Bn (f )(x) + Bn (t )

|f (t) Bn (f )(t)| + |Bn (t )(t)| < (1 + )

1.3 O Teorema de Arzel

Seja {f }A uma famlia de funcoes reais definidas num mesmo domnio D R.

EXEMPLOS. 1) A sequencia de funcoes fn (x) = sen nx e uniformemente limitada em R.

2) A sequencia de funcoes {fn } definidas em ]0, 1[ por

para todo x ]0, 1[. Mas isto leva a uma contradicao.

Seja {f }A uma famlia de funcoes definidas num mesmo domnio D R. Dizemos

|f (x) f (y)| < .

para todo x I e A, pelo Teorema da Media temos

|f (x) f (y)| |f ()| |x y| M|x y|.

2) A sequencia de funcoes, definidas em [0, 1], por fn (x) = xn nao e eq

Demonstrac ao. A funcao f e contnua e limitada em D. Se {fn } nao for uniformemente

|f (x) fk(n) (xk(n) )| |f (x) f (xk(n) | + |f (xk(n) ) fk(n) (xk(n) )|