Lições de Analise Real PDF
Lições de Analise Real PDF
Lições de Analise Real PDF
OES DE AN
ALISE MATEM
ATICA
PARTE 1
Luis Adauto Medeiros (IM-UFRJ)
Sandra Mara Malta (LNCC-MCT)
Juan Lmaco (IM-UFF)
Haroldo Rodrigues Clark (IM-UFF)
Rio de Janeiro - RJ
2006
M488L
Medeiros, Luis Adauto da Justa, 1926-
Licoes de analise matematica/Luis Adauto
Medeiros, Sandra Mara Malta, Juan Limaco, Haroldo Ro-
drigues Clark. Rio de Janeiro: UFRJ/IM, 2005
2pt, ; 31cm
Inclui Bibliograa.
1. Analise matematica. I. Malta, Sandra Mara Car-
doso II. Limaco Ferrel, Juan III. Clark, Haroldo Rodrigues
IV.Universidade Fede-ral do Rio de Janeiro. Instituto de
Matematica
CDD 515
ISBN: 85-87674-12-9
Prefacio
Estas Lic oes de An alise Matem atica estao divididas em duas
partes e contem as exposicoes feitas pelos autores em 1999 no IM-
UFF e no veroes de 2001 e de 2003 no LNCC-MCT.
O objetivo da Parte 1 e examinar as nocoes basicas da analise
matematica em dimensao um, iniciando com o processo construtivo
dos n umeros reais segundo Dedekind. A seguir, sao examinadas as
nocoes de limite, continuidade, continuidade uniforme, derivada e a
integral no sentido de Riemann. Convem salientar a quem pretender
empregar este texto no ensino que o captulo sobre n umeros reais
deve ser visto como introdutorio, nao entrando em detalhes sobre a
construcao dos n umeros reais. Deve-se explorar o aspecto geometrico
da natureza do corte de Dedekind e as operacoes vistas sem muitos
detalhes.
E suciente apenas que seja entendida a nocao de n umero
real por meio dos cortes de Dedekind e a nocao de classes contguas de
n umeros reais e sua equivalencia com o corte. Esta ideia aparecera
nas varias demonstracoes que se seguem nos captulos posteriores.
No ensino da matematica as guras geometricas sao fundamentais
i
ii PREF
ACIO
para o entendimento das ideias.
A Parte 2 contem alguns complementos e uma colecao de exer-
ccios com resolucao que permitem ao aluno visualizar os conceitos
introduzidos na Parte 1 aplicados em exemplos objetivos. Acredita-
se que num primeiro estudo esta e uma boa metodologia de ensino.
Os exames aplicados durante os cursos para a verica cao da
aprendizagem constaram da demonstracao de um resultado da Parte
1 e de dois exerccios da Parte 2 ou de exerccios analogos.
Agradecemos ao colega Nelson Nery, professor do DM - UFPB,
pelas sugestoes e observacoes ao texto inicial, as quais melhoraram
substancialmente esta segunda tiragem.
Os Autores
Rio de Janeiro, junho de 2006.
Sumario
Prefacio i
1 N umeros Reais 1
1.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Cortes de Dedekind . . . . . . . . . . . . . . . . . . . . 8
1.3 Relacoes de Igualdade e Ordem em R . . . . . . . . . 10
1.4 Classes Contguas de Racionais . . . . . . . . . . . . . 11
1.5 Operacoes sobre N umeros Reais . . . . . . . . . . . . . 13
1.6 Potencias de N umeros Reais . . . . . . . . . . . . . . . 15
1.7 Interpretacao Geometrica . . . . . . . . . . . . . . . . 16
1.8 Sucessoes em Ninho . . . . . . . . . . . . . . . . . . . 17
1.9 Exemplos e Exerccios . . . . . . . . . . . . . . . . . . 19
1.9.1 Nota Historica sobre Richard Dedekind . . . . 23
1.9.2 Nota Historica sobre John Napler . . . . . . . . 24
1.9.3 Nota Historica sobre Georg Cantor . . . . . . . 25
2 Conjuntos Lineares 27
iii
iv SUM
ARIO
2.1 Intervalos Abertos e Fechados . . . . . . . . . . . . . . 27
2.2 Vizinhanca de um Ponto . . . . . . . . . . . . . . . . . 29
2.3 Ponto de Acumulacao de um Conjunto . . . . . . . . . 30
2.4 Conjuntos Limitados . . . . . . . . . . . . . . . . . . . 31
2.4.1 Conjuntos Fechados . . . . . . . . . . . . . . . 33
2.4.2 Conjuntos Abertos . . . . . . . . . . . . . . . . 33
2.5 Supremo e
Inmo . . . . . . . . . . . . . . . . . . . . . 35
2.6 Conjuntos Compactos . . . . . . . . . . . . . . . . . . 38
3 Sucessoes e Series 43
3.1 Sucessoes de N umeros Reais . . . . . . . . . . . . . . . 43
3.1.1 Subsucessao . . . . . . . . . . . . . . . . . . . . 46
3.1.2 Sucessoes de Cauchy . . . . . . . . . . . . . . . 52
3.2 Series de N umeros Reais . . . . . . . . . . . . . . . . . 62
3.2.1 Criterios de Convergencia . . . . . . . . . . . . 68
3.2.2 O Espaco de Hilbert (1862-1943)
2
(N) . . . . 73
4 Limite e Continuidade 79
4.1 Limite de uma Funcao Real . . . . . . . . . . . . . . . 79
4.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . 84
4.2.1 Propriedades das Fun coes Contnuas . . . . . . 89
4.2.2 Continuidade Uniforme . . . . . . . . . . . . . 93
5 Derivada 97
5.1 Formula de Taylor . . . . . . . . . . . . . . . . . . . . 108
6 Integral de Riemann 115
SUM
ARIO v
6.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2 Integral de Riemann . . . . . . . . . . . . . . . . . . . 119
6.3 Somas de Riemann . . . . . . . . . . . . . . . . . . . . 129
6.4 Propriedades da Integral de Riemann . . . . . . . . . . 134
6.4.1 Parte Positiva e Negativa de uma Funcao . . . 135
6.5 Integrais Improprias . . . . . . . . . . . . . . . . . . . 145
7 Complementos & Exerccios 151
7.0.1 Nota Historica sobre Godfrey Hardy . . . . . . 188
vi SUM
ARIO
Captulo 1
N umeros Reais
1.1 Introducao
O objetivo do presente captulo e fazer um esboco da construcao
dos n umeros reais, a partir dos n umeros racionais, pelo metodo dos
cortes idealizados por Dedekind. Inicia-se com a diculdade de re-
solver a equacao x
2
2 = 0 nos racionais para motivar a denicao
dos irracionais. A nocao de classe contgua sera empregada em varias
demonstracoes nos captulos que se seguem.
Admite-se que o leitor conheca a aritmetica dos n umeros naturais:
N = 1, 2, 3, . . . , n, . . .,
dos inteiros
Z = 0, 1, 2, 3, . . . , n, . . .,
1
2 CAP
ITULO 1. N
UMEROS REAIS
e dos racionais
Q =
_
p
q
; q ,= 0, p, q Z
_
.
Nos racionais sao denidas as operacoes:
(a) Adicao: a cada par a, b de n umeros racionais associa-se um
unico racional a + b denominado soma de a com b, satisfazendo `as
condicoes:
comutatividade: a +b = b +a, para todo a, b, Q,
associatividade: a + (b +c) = (a +b) +c, para todo a, b, c Q,
existe um racional 0 tal que 0+a = a para todo a Q. O racional
0 denomina-se o zero de Q
para todo a Q existe a Q, denominado o simetrico de a, tal
que a + (a) = 0.
(b) Multiplicacao: a cada par a, b de n umeros racionais associa-se
um unico n umero racional ab, denominado produto dos racionais a
e b, satisfazendo as condicoes:
comutatividade: ab = ba para todo a, b Q,
associatividade: (ab)c = a(bc) para todo a, b, c Q,
distributividade: a(b +c) = ab +ac para todo a, b, c Q,
existe um racional 1 tal que 1a = a para todo a Q. O racional
1 denomina-se unidade de Q
para todo a ,= 0 existe um racional a
1
, denominado inverso de
a, tal que aa
1
= 1.
1.1. INTRODUC
AO 3
Portanto, Q com as operacoes anteriores e um corpo. Geometri-
camente o corpo Q e representado por meio dos pontos de uma reta
na qual foi escolhida uma origem, que representa o racional 0, um
sentido e uma unidade de medida.
Alem disso, existe no corpo Q uma relacao de ordem a b, dita
a menor ou igual a b, tornando Q um corpo ordenado. Apesar de
dados dois racionais a e b quaisquer haver sempre um racional c
1
tal
que c = (a + b)/2, eles nao sao sucientes para preencher os pontos
da reta. No que se segue estuda-se um problema que tornara clara
esta assercao.
Inicia-se recordando um problema de matematica da historia dos
Gregos. Conta-se que no templo de Apolo, situado na ilha de Delos-
Grecia, existia um altar com forma geometrica de uma gura que
hoje e conhecida como cubo. Havendo uma peste em Atenas um
habitante da cidade, em busca de auxlio divino, dirigiu-se `a Delos
para consultar sobre a extincao da peste. A divindade respondeu que
se fosse edicado um altar no templo de Apolo cujo volume medisse
o dobro do existente, mantendo-se a mesma forma, a peste seria
eliminada.
Em termos matematicos a formula cao do problema seria simples.
Dado um cubo de aresta a, construir um cubo de aresta x cujo vo-
lume seja o dobro do volume do cubo conhecido. Conseq uentemente,
deveria ser resolvida a equacao algebrica:
x
3
= 2a
3
,
1
diz-se que os racionais sao densos em si na ordem
4 CAP
ITULO 1. N
UMEROS REAIS
ou, considerando-se a = 1, ter-se-ia x
3
= 2.
A diculdade residiria em construir a solucao desta equacao por
meio, apenas, dos instrumentos divinos dos Gregos - a regua e o
compasso. Demonstra-se que nao existe em Q a solucao da equacao
x
3
= 2.
Este fato sera empregado para completar o corpo Q obtendo-
se o corpo dos reais onde existe x tal que x
3
= 2. Para sim-
plicar o calculo aritmetico considera-se, a seguir, no Problema 1,
uma versao plana do problema apresentado, a qual servira de mo-
tivacao para introduzir a denicao dos n umeros irracionais segundo
Richard Dedekind (1831-1916). Cumpre salientar que os gregos nao
resolveram este problema.
Problema 1 - Calcular o lado de um quadrado cuja area seja o
dobro da area de um quadrado conhecido.
Considere um quadrado de lado a e seja x o lado do quadrado que
se deseja determinar. Tem-se, x
2
= 2a
2
como equacao que traduz o
enunciado do problema. Supondo a = 1, o que nao particulariza o
problema, encontra-se a equacao
x
2
= 2. (1.1)
Os n umeros, ate aqui, conhecidos, sao os do corpo Q dos racionais.
A equacao (1.1) nao possui solucao x em Q, isto e, nao existe
racional x solucao de (1.1). De fato, se assim fosse existiria um
racional x = p/q, q ,= 0, p, q sem divisor comum, tal que p
2
= 2q
2
.
Logo, p
2
e par, isto e, p = 2m, m Z. Conseq uentemente,
4m
2
= 2q
2
ou q
2
= 2m
2
1.1. INTRODUC
AO 5
provando que q
2
e par, isto e, q par. Portanto, p e q sao pares o que
conduz a uma contradi cao pois, por hipotese, eles sao primos entre
si (nao possuem divisor comum). Conclui-se que a equacao (1.1) nao
possui solucao no corpo Q dos racionais.
O estudo da equacao (1.1) servira de motiva cao para ampliar o
corpo Q, obtendo-se um corpo denominado corpo dos reais e deno-
tado por R. Com efeito, inicia-se estudando aproximacoes racionais
da solucao x de (1.1).
Denomina-se raiz quadrada de 2 a menos de uma unidade, por
falta, ao maior n umero inteiro n tal que
n
2
< 2 < (n + 1)
2
. (1.2)
O n umero n + 1 e denominado de raiz quadrada de 2 a menos de
uma unidade por excesso.
E claro que n = 1 em (1.2) implica que a
solucao de (1.1) satisfaz: 1 < x < 2.
A seguir, serao feitas aproxima coes decimais da solucao x de (1.1),
que encontra-se entre 1 e 2.
Denomina-se raiz quadrada de 2 a menos de 1/10 por falta, ao
maior n umero inteiro de decimos cujo quadrado e menor do que 2.
Isto equivale a
_
n
10
_
2
< 2 <
_
n + 1
10
_
2
. (1.3)
O n umero (n +1)/10 e a raiz quadrada de 2 por excesso a menos de
um decimo. Para o calculo desta aproxima cao divida-se o segmento
de reta [1, 2] em 10 partes iguais por meio dos pontos
1, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 1.9, 2.
6 CAP
ITULO 1. N
UMEROS REAIS
Obtem-se
(1.4)
2
< 2 < (1.5)
2
.
Assim, 1.4 e a solucao aproximada de (1.1) a menos de 1/10 por falta
e 1.5 por excesso. Logo, a solucao x da equacao (1.1) encontra-se no
segmento de extremos 1.4 e 1.5.
Para a obtencao das solucoes aproximadas de (1.1) a menos de
1/10
2
por falta e por excesso, divide-se o segmento de reta [1.4, 1.5]
em dez partes iguais por meio dos pontos:
1.4, 1.41, 1.42, 1.43, 1.44, 1.45, 1.46, 1.47, 1.48, 1.49, 1.5.
Procedendo-se como no caso anterior obtem-se:
(1.41)
2
< 2 < (1.42)
2
,
isto e, 1.41 e a solucao de (1.1) a menos de 1/100 por falta e 1.42 por
excesso. Logo, a solucao x da equacao (1.1) encontra-se no intervalo
da reta de extremos 1.41 e 1.42.
Continuando o processo, de modo analogo aos casos acima, sao
encontradas as solucoes aproximadas a menos de
1/10
3
, 1/10
4
, . . . , 1/10
n
.
Serao construdas as classes de aproximacoes F, por falta, e E, das
por excesso, da solucao da equacao (1.1), isto e,
F = 1, 1.4, 1.41, 1.414, 1.4142, . . .,
E = 2, 1.5, 1.42, 1.415, 1.4143, . . ..
1.1. INTRODUC
AO 7
Os quadrados dos n umeros de F sao menores que 2 e os de E sao
maiores. De modo geral, os n umeros de F sao da forma: 1a
1
a
2
. . . a
n
e, os de E, da forma, 1a
1
a
2
. . . (a
n
+ 1), sendo a
i
um algarismo de 0
a 9. Tem-se, portanto,
1a
1
a
2
. . . a
n
. . . < x < 1a
1
a
2
. . . (a
n
+ 1) . . .
Representando-se por x
n
os elementos de F, e por y
n
os de E, tem-se
y
n
x
n
=
1
10
n
, y
n
> x
n
, para todo n = 1, 2, . . . .
Proposicao 1.1 - Dado = 1/10
k
, k = 1, 2, . . ., qualquer, existem
x F, y E tais que y x < .
Demonstracao: De fato, seja n Z, tal que 1/10
n
< 1/10
k
. Logo,
quaisquer x
n
F e y
n
E com n > k sao tais que y
n
x
n
< .
Proposicao 1.2 - Para cada = 1/10
k
, k inteiro positivo, existem
x F, y E tais que 2 x
2
< e y
2
2 < .
Demonstracao: Como na Proposicao 1.1, dado = 1/10
k
existem
x F e y E tais que y x < /4. Sendo x e y tais que 1 < x e
y < 2, obtem-se
y +x < 4 e y
2
x
2
= (y x)(y +x) < 4(y x) < .
De x F e y E resulta que x
2
< 2 e y
2
> 2. Logo, adicionando e
subtraindo 2 `a desigualdade acima, encontra-se (y
2
2)+(2x
2
) < ,
isto e
(y
2
2) < e (2 x
2
) < .
8 CAP
ITULO 1. N
UMEROS REAIS
Proposicao 1.3 - Nao existe maximo em F nem mnimo em E.
Demonstracao: De fato, para cada x F, aproximacao por falta,
existe uma aproximacao x
1
> x ainda por falta. O mesmo acontece
com a classe E das aproximacoes por excesso.
Por meio da construcao das classes F e E (e de suas propriedades)
e possvel denir a solucao x da equac ao (1.1) como idealizado por
Richard Dedekind.
Considera-se uma clase, L, dos n umeros racionais positivos x,
tais que x
2
< 2, o n umero zero e os racionais negativos. O restante
dos racionais, constitue o complemento de L em Q, representado por
R. Segue-se que F L e E R. Nao existe um racional maximo
de L ou mnimo de R. Portanto, e natural denir-se um objeto ,
nao racional, nao pertencente a L nem a R mas aproximado por L
e R. Este objeto dene-se como sendo a unica solucao da equacao
(1.1) e representa-se por
2. Ele e denominado raiz quadrada de 2
e nao estando nem em L e nem em R, sendo Q = L R, diz-se que
a solucao x de (1.1) e um n umero irracional.
1.2 Cortes de Dedekind
O processo anterior para a denicao de solucao da equacao
x
2
= 2, isto e, da raiz quadrada de 2, serve como motiva cao para
introduzir a nocao de n umero irracional, segundo Dedekind.
Denicao 1.1- Um Corte de Dedekind, no corpo Q, e um par (A, B)
de classes de racionais satisfazendo `as seguintes condicoes:
(D1) A e B contem todos os racionais Q de modo que cada n umero
1.2. CORTES DE DEDEKIND 9
racional ou pertence a A ou a B;
(D2) Cada racional de A e menor que cada racional de B.
Observacao 1.1 - Analisando um corte como na Denicao 1.1
deduz-se que cada uma das alternativas, abaixo, pode acontecer:
(a) A classe A possui maximo (B nao possui mnimo);
(b) A classe B possui mnimo (A nao possui maximo);
(c) A nao possui maximo nem B possui mnimo.
Nos casos (a) e (b) o par (A, B) dene um n umero racional r que e o
maximo de A ou o mnimo de B. A seguir, ilustrar-se este fato com
um exemplo:
Exemplo 1.1 - Suponha A o conjunto dos racionais x 3/4 e B o
racionais y > 3/4. Logo, (A, B) e um corte em Q denindo o racional
3/4.
No caso (c) nao ha maximo em A nem mnimo em B. Como
em
2,
3, . . . Dene-se tambem o n umero
irracional por meio dessa mesma metodologia (ver Boletim do
GEPEM, no. 30, Ano XVII, 1o. semestre (1992), p. 22-27) re-
produzido, a seguir, na secao 1.9, Complementos e Exerccios.
Portanto, quando se pensa em n umero irracional pensa-se no
corte (A, B) nas condicoes 3. Diz-se o n umero = (A, B). Ele e
o separador das classes de racionais e nao pertence a A nem a B.
Com este processo o corpo Q dos racionais foi aumentado dos
10 CAP
ITULO 1. N
UMEROS REAIS
irracionais pelo metodo dos cortes de Dedekind constituindo um novo
corpo, denominado corpo dos n umeros reais e representado por R.
Posteriormente, serao denidas as operacoes em R.
Deseja-se, a seguir, estender a R a nocao de corte. Para tal e
necessario denir uma relacao de ordem.
1.3 Relacoes de Igualdade e Ordem em R
Dados os n umeros reais = (A
1
, B
1
) e = (A
2
, B
2
), diz-se que
= quando A
1
= A
2
e B
1
= B
2
. Quando e forem racionais,
o maximo de A
1
, o mnimo de B
2
, entao a igualdade das classes
exclui e tendo-se = . Esta relacao binaria e de fato uma
relacao de equivalencia, ou seja, e reexiva, simetrica e transitiva.
Considere os n umeros reais = (A
1
, B
1
) e = (A
2
, B
2
). Diz-se
que < quando A
1
estiver contida em A
2
e B
2
em B
1
.
Dados dois n umeros reais e tem-se um dos tres casos:
= , < ou > .
A relacao binaria < (ou > ) e uma relacao de ordem em R
que coincide com a relacao de ordem em Q.
Dados dois racionais r e s o n umero racional (r+s)/2 esta situado
entre r e s. Assim, diz-se que o corpo Q e denso em si, como ja foi
mencionado.
Uma questao fundamental na construcao de R, por meio de cortes
de Dedekind em Q, e saber se repetindo o processo em R encontram-
se novos objetos nao pertencentes a R. Demonstra-se, no proximo
1.4. CLASSES CONT
IGUAS DE RACIONAIS 11
resultado, que todo corte de Dedekind em R determina um objeto
em R. Isto equivale a dizer que R e contnuo.
Proposicao 1.4 - Todo corte de Dedekind em R determina um
objeto de R.
Demonstracao: Seja (S
1
, S
2
) um corte de Dedekind em R. Um
corte em R dene-se de modo analogo ao corte em Q. Portanto,
obtem-se:
(C1) Todo n umero real pertence exclusivamente a S
1
ou a S
2
;
(C2) Todo n umero s
1
S
1
e menor que todo s
2
S
2
.
Deve-se provar que S
1
possui um maximo ou S
2
um mnimo. Con-
sidere (R
1
, R
2
) um corte em Q construdo pelos racionais, R
1
, de S
1
,
e, R
2
, de S
2
. Entao (R
1
, R
2
) dene um n umero R e pertence
a S
1
ou a S
2
.
Sera demonstrado que se S
1
ele e maximo de S
1
ou que se
S
2
ele e mnimo de S
2
. De fato, suponha que S
1
. Seja Q
tal que > e r R com < r < . Entao, sendo r > tem-se
r R
2
S
2
, pois = (R
1
, R
2
). Tem-se, porem, > r entao S
2
.
Portanto, todo n umero real maior que pertence a S
2
. Logo, nao
existe em S
1
um n umero real maior que . Assim, e maximo de
S
1
. (Diz-se por esta razao que R e contnuo).
1.4 Classes Contguas de Racionais
Observe que para denir o conceito de n umero real, por meio do
corte de Dedekind, considera-se um par de classes (A
1
, A
2
) contendo
todos os racionais. A nocao de classe contgua vai permitir denir o
12 CAP
ITULO 1. N
UMEROS REAIS
n umero real sem utilizar todos os racionais.
Denicao 1.2 - Diz-se que dois subconjuntos innitos H e K de
n umeros racionais sao classes contguas quando vericam as condicoes:
(K1) Todo n umero de H e menor que todo n umero de K;
(K2) Para cada > 0 existem h H e k K tais que k h < .
Proposicao 1.5 - Se (A
1
, A
2
) e um corte de Dedekind nos racionais
entao A
1
e A
2
sao classes contguas de racionais.
Demonstracao: De fato, a condicao (K1) e imediatamente veri-
cada por ser (A
1
, A
2
) um corte de Dedekind. Para vericar (K2)
considere a
1
A
1
, a
2
A
2
quaisquer e > 0 dado em R. Seja
0 < < um racional e dena a progressao aritmetica de racionais:
a
1
, a
1
+ , a
1
+ 2, . . . , a
1
+ n, . . . . Representanto por a
1
+ n
o primeiro racional em A
2
, entao obtem-se a
1
+ (n 1) A
1
,
a
1
+ (n + 1) A
2
e (a
1
+n) (a
1
+ (n 1)) = < .
Portanto, para > 0 existe
1
A
1
,
2
A
2
tais que
2
1
< .
Demonstra-se que tambem vale a recproca da Proposicao 1.5,
isto e, todo par de classes contguas de racionais dene um corte de
Dedekind. De fato, seja (H, K) um par de classes contguas de Q.
Dene-se um corte (A
1
, A
2
) em Q do seguinte modo:
A
1
e constituda por todos os racionais menores ou iguais que
algum n umero de H;
e constituda por todos os racionais maiores ou iguais que qualquer
n umero de K.
Logo, obtem-se que (A
1
, A
2
) e um corte de Dedekind emQ. De modo
1.5. OPERAC
OES SOBRE N
UMEROS REAIS 13
analogo dene-se classes contguas em R e sua equivalencia com um
corte em R.
Nas aplicacoes empregam-se aproximacoes racionais dos n umeros
reais. Assim, diz-se que um racional m/n e um valor aproximado do
n umero real , a menos de 1/n por falta quando
m
n
< <
m+ 1
n
.
O n umero racional (m+1)/n, diz-se valor aproximado por excesso, a
menos de 1/n. Na pratica sao consideradas aproximacoes decimais,
isto e, n = 10.
Exemplo 1.2 - Com uma calculadora encontra-se o valor 1.7320508
para a
3. Como foi estudado na motiva cao, veja Problema 1, este
n umero e uma aproxima cao racional por falta a menos de 1/10
7
.
Com esta aproxima cao de a ideia de como construir um par de classes
contguas denindo
3.
1.5 Operacoes sobre N umeros Reais
A seguir sao denidas as operacoes aritmeticas sobre n umeros
reais obtendo-se o corpo dos reais, representado por R.
O n umero zero de R, denotado por 0 e denido pelo corte (A
1
, A
2
),
sendo A
1
os n umeros reais negativos e A
2
os positivos. Deste modo,
= (A
1
, A
2
) sera um real positivo quando A
1
contiver racionais
positivos e sera negativo quando A
2
contiver negativos.
(a) Adicao: Dados dois subconjuntos A e B de racionais representa-
se por A+B a colecao dos racionais x = a +b sendo a A e b B.
14 CAP
ITULO 1. N
UMEROS REAIS
Considere-se os n umeros racionais = (A
1
, A
2
), = (B
1
, B
2
) e
forme-se os subconjuntos A
1
+ B
1
e A
2
+ B
2
de racionais. Prova-
se que as classes A
1
+ B
1
e A
2
+ B
2
sao contguas. De fato, todo
racional da primeira e menor que todo da segunda. Dado > 0
existem a
1
A
1
e a
2
A
2
tais que a
2
a
1
< /2. Pela mesma razao
existem b
1
B
1
e b
2
B
2
tais que b
2
b
1
< /2. Da resulta que
(a
2
+ b
2
) (a
1
+ b
1
) < . Logo, A
1
+ B
1
e A
2
+ B
2
sao contguas
e (A
1
+ B
1
, A
2
+ B
2
) e um corte de Dedekind em Q conforme a
Proposicao 1.5. O n umero denido por este corte e dado por +
e escreve-se = +.
Dado = (A
1
, A
2
) o n umero
= (A
2
, A
1
) e tal que +
e o
corte que dene o n umero real zero (0). O n umero real
denomina-
se o simetrico de . Assim, = (A
1
, A
2
) e positivo quando o racional
0 A
1
e negativo quando 0 A
2
.
Denicao 1.3 - Denomina-se modulo ou valor absoluto de um real
, ao proprio , se 0, e , se < 0. Representa-se por [[, o
modulo de . Sendo e dois n umeros reais prova-se as seguintes
propriedades:
[[ = [[[[,
[ +[ [[ +[[,
[[[ [[[ [ [.
(b) Multiplicacao: Considere-se dois cortes = (A
1
, A
2
) e
= (B
1
, B
2
), deseja-se denir o produto
. Divide-se em dois
casos:
1.6. POT
ENCIAS DE N
UMEROS REAIS 15
Se e
n
= . . . , com n parcelas iguais a . Quando n = 0 dene-
se
0
= 1 e para n < 0 (n negativo) dene-se
n
= 1/
n
.
Note-se que em R vale a propriedade que se > 0 e n > 0 inteiro,
existe R solucao de
n
= . Tal fato foi cuidadosamente feito
para n = 2 e = 2. Esta propriedade nao vale em Q em geral, como
foi visto anteriormente.
Dado n > 0, inteiro, existe R tal que
n
= , R, > 0
conhecido (veja Parte 2 destas notas, secao 3). Dene-se =
1/n
.
Portanto, dene-se potencia de expoente racional p/q por
p/q
= (
p
)
1/q
.
Para denir o caso de expoente real procede-se da seguinte forma.
Primeiro, se > 1 e R qualquer, considera-se denido pelo
corte (A, B) com A e B racionais. Tomam-se as classes dos racionais
16 CAP
ITULO 1. N
UMEROS REAIS
A
e B
quando a
. Logo,
= 1
__
1
= 1.
Para os n umeros reais negativos, isto e, quando < 0 os resul-
tados obtidos nos paragrafos anteriores nao valem em geral. Assim,
(1)
1/2
nao esta denido em R, isto e, a equacao x
2
= 1 nao possui
solucao em R. De fato, se x R, x ,= 0 tem-se x
2
> 0.
Observa-se que dados os n umeros reais positivos a e x, a ,= 1
demonstra-se que existe um unico real y tal que a
y
= x. O n umero
real y denomina-se o logartmo de x na base a e representa-se por
y = log
a
x. Quando a = 10 obtem-se os logartmos decimais. No
estudo das sucessoes (Captulo 3) sera calculado um n umero real
representado por e. Os logartimos tendo por base o n umero e foram
criados por Neper, sao denominados, portanto, neperianos e repre-
sentados por lnx . Tem-se que y = lnx signica e
y
= x.
1.7 Interpretacao Geometrica
Os n umeros reais sao interpretados, geometricamente, como pon-
tos de uma reta na qual escolheu-se um ponto para representar
o n umero zero, um sentido e uma unidade de medida. De fato,
1.8. SUCESS
OES EM NINHO 17
considera-se uma reta r e uma unidade de medida. Seja 0 um ponto
que e o zero, e 0P um segmento que representa a unidade de me-
dida. No ponto P coloca-se o n umero 1. Assim, serao representados
os n umeros . . . , n, . . . , 2, 1, 0. Neste ente geometrico introduz-
se um processo de multiplicar e adicionar segmentos obtendo-se uma
estrutura algebrica de corpo. Acrescenta-se um postulado que da a
continuidade da reta. Intuitivamente signica dizer que cortando-
se a reta r encontra-se sempre um ponto de r. Verica-se que este
objeto geometrico, denominado pontilhada, e um corpo isomorfo ao
corpo dos n umeros reais. Da dizer-se o corpo R dos reais ou a reta
numerica R. Logo, quando se pensa no n umero real x pensa-se no
extremo do segmento de reta de origem em 0 e terminando em P,
com abcissa x. A abcissa e a medida do segmento OP afetada do
sinal menos, se P antecede 0, ou sinal mais se P precede 0.
Note-se que estas consideracoes sao meramente intuitivas mas
podem ser feitas rigorosamente. Caso o leitor deseje ver detalhes
desta construcao dos n umeros reais veja L. Landau - Foundations
of Analysis, Chelsea, N.Y., 1948. Ver tambem Richard Dedekind -
Essay of Theory of Numbers, Dover Publ. Inc., N.Y., 1963.
1.8 Sucessoes em Ninho
Dado um conjunto Y, denomina-se sucessao, em Y a uma funcao
f : N Y , denida em N = 1, 2, . . . , n, . . . com valores em Y .
Sendo f(n) um objeto de Y , representado por y
n
, denota-se uma
sucessao por (y
n
)
nN
. Veja Captulo 3.
18 CAP
ITULO 1. N
UMEROS REAIS
Denomina-se segmento ou intervalo fechado de R, de extremos
a < b, ao conjunto de n umeros reais x tais que a x b e representa-
se por [a, b].
Dene-se (conforme Dirichlet (1887)) como funcao f : X Y ,
um objeto constitudo por dois conjuntos - X o domnio da funcao,
Y o conjunto contradomnio da funcao - e uma regra geral que a cada
x X associa um unico y Y . Denota-se uma funcao f por
f : X Y ; y = f(x) ou x f(x).
Considere a sucessao de intervalos fechados [x
n
, y
n
], n = 1, 2, . . . , da
reta numerica R, a qual representa-se por I
n
.
Denicao 1.4 - Diz-se que I
n
= [x
n
, y
n
], n = 1, 2, . . . e uma sucess ao
em ninho, de R, se sao satisfeitas as seguintes condicoes:
(N1) A sucessao I
n
e decrescente, isto e, I
n
I
n+1
para n = 1, 2, . . .
(N2) Para cada > 0 em R existe n tal que y
n
x
n
< .
Observacao 1.2 - Note que a propriedade (N1) equivale a dizer
que a sucessao (x
n
)
nN
e crescente e (y
n
)
nN
e decrescente, sendo
x
n
< y
n
para todo n = 1, 2, . . .
Proposicao 1.6: (Cantor 1845-1918) Seja (I
n
)
nN
uma sucessao
em ninho de R. Entao, existe um unico de R pertencente a I
n
para
todo n = 1, 2, . . ..
Demonstracao:
E suciente provar que a sucessao ninho (I
n
)
nN
determina um corte de Dedekind em R, logo dene um n umero real.
Analisando as condicoes (N1) e (N2), da Denicao 1.4, deduz-se
que as classes (K1) e (K2) formadas por x
n
R; n = 1, 2 . . . e
1.9. EXEMPLOS E EXERC
ICIOS 19
y
n
R; n = 1, 2 . . . sao contguas, logo denem um corte de
Dedekind em R, portanto um n umero I
n
para todo n = 1, 2, . . .
pois x
n
< y
n
para todo n = 1, 2, . . ..
Para provar que e unico suponha-se que exista
I
n
para
todo n = 1, 2, . . .. Entao, da condicao (N2), tem-se para cada > 0,
que [
[ < y
n
x
n
< . Logo, =
.
1.9 Exemplos e Exerccios
1. Considere-se as solucoes aproximadas x
n
F e y
n
E da equacao
x
2
= 2, conforme construdas no Problema 1 do presente Captulo.
Tem-se que y
n
= x
n
+
1
10
n
e a sucessao (I
n
)
nN
, I
n
= [x
n
, y
n
] e uma
sucessao em ninho. Logo,
2 =
n=1
I
n
.
Com o smbolo
n=1
I
n
indica-se a colecao dos pontos pertencentes
a I
n
para todo n.
2. Denomina-se aproximacao de 1/3, a menos de uma unidade por
falta, ao maior n umero de unidades m tal que m < 1/3 < m + 1.
Portanto, tem-se que m+1 e a aproximacao por execesso. Encontra-
se 0 < 1/3 < 1. A aproxima cao por falta a menos de 1/10 e o
maior n umero de decimos m/10 tais que m/10 < 1/3 < (m+1)/10.
Encontra-se m = 3 ou 0.3 < 1/3 < 0.4 Segue-se que 0.4 e a aproxi-
macao por excesso de 1/3 a menos de 1/10. De modo analogo sao en-
contradas as aproximacoes a menos de 1/10
2
, . . . , 1/10
3
, . . .. Obtem-
20 CAP
ITULO 1. N
UMEROS REAIS
se as classes de aproximacoes:
F = 0, 0.3, 0.33, 0.333, . . . ,
m
10
n
, . . .
E = 1, 0.4, 0.34, 0.334, . . . ,
m+ 1
10
m
, . . . .
Fazendo
x
n
=
n
10
n
e y
n
=
n + 1
10
n
obtem-se que o racional 1/3 e denido pelas classes contguas
x
n
; n = 1, 2, . . . e y
n
; n = 1, 2, . . ..
3. O n umero e o Corte de Dedekind. O n umero e uma con-
stante caracterizada pela razaoentre o comprimento de uma cir-
cunferencia e o seu diametro. Se R for o raio de uma circunferencia
de comprimento C entao seria C/2R. Demonstra-se que nao e
um racional (veja Parte 2, Complemento 87). Entre os metodos para
obtencao das aproxima coes de destaca-se o metodo dos isopermetros
ou de Schwab idealizado em 1813, o qual obtem 1/, logo . Com
efeito, quando toma-se uma circunferencia medindo 2 unidades, tem-
se R = 1/. Por conseguinte, conhecendo-se aproximacoes do raio R
da circunferencia medindo 2 unidades obtem-se as de 1/.
Considere um polgono regular P isoperimetrico a uma circun-
ferencia de raio 1/. Se r for o raio da circunferencia circunscrita e
a o apotema, que e o raio da inscrita ao polgono, tem-se a relacao:
2r > 2
1
> 2a ou r >
1
> a.
1.9. EXEMPLOS E EXERC
ICIOS 21
Isto equivale a dizer que o apotema e uma aproxima cao de 1/ por
falta e o raio da circunscrita uma aproximacao por excesso. Por
meio do polgono regular P isoperimetrico `a circunferencia de raio
1/ constroi-se o poligono P
1
isoperimetrico a P mas com o dobro
de lados. Foi visto que o raio da circunferencia inscrita a P
1
, isto e,
r
1
, e menor que o raio r da inscrita ao polgono P, enquanto que o
apotema a
1
de P
1
e maior que o apotema a de P. Assim, tem-se
a < a
1
<
1
< r
1
< r.
A seguir, faz-se uma construcao efetiva para a obtencao das apro-
ximacoes racionais de 1/, inciando-se com um quadrado. Con-
sidere um quadrado de permetro igual a 2 unidades e lado l
4
. Por-
tanto, 4l
4
= 2, isto e, l
4
= 1/2. Seja r
1
o raio da circunferencia no
qual o quadrado esta inscrito, isto e, a circunferencia circunscrita ao
quadrado. Tem-se l
4
= r
1
2. Logo, conhecendo-se l
4
conhece-se
r
1
. O raio da circunferencia inscrita e o apotema a
1
do quadrado
de permetro 2. Segue-se que a
1
= l
4
/2. Deste modo, tem-se da
primeira etapa da construcao que
a
1
=
1
4
e r
1
=
2
4
.
A etapa seguinte consiste em considerar o polgono isoperimetrico
ao quadrado de permetro 2 mas com o dobro do n umero de lados,
isto e, um octogono. Demonstra-se que, o raio r
2
da circunferencia
inscrita e o apotema do novo polgono isoperimetrico sao
a
2
=
a
1
+r
1
2
e r
2
=
r
1
a
2
.
22 CAP
ITULO 1. N
UMEROS REAIS
Continuando o processo, mutatis mutandis, encontra-se
a
3
=
a
2
+r
2
2
e r
2
=
r
2
a
3
.
De modo geral,
a
k
=
a
k1
+r
k1
2
e r
k
=
r
k1
a
k
.
Relembre que os apotemas crescem e os raios decrescem, entao
a
1
< a
2
< . . . < a
k
< . . . <
1
< . . . < r
k
< r
k1
< . . . < r
2
< r
1
.
Portanto, ca bem denida uma sucessao de intervalos fechados dada
por I
k
= [a
k
, r
k
], k = 1, 2, . . . , sendo (a
n
)
kN
crescente, (r
n
)
kN
decrescente e a
k
< 1/ < r
k
para k = 1, 2, . . .. Para provar que
(I
n
)
kN
e uma sucessao em ninho resta apenas observar que
r
k
a
k
=
r
1
a
1
4
k
1
para k = 2, 3, . . .. Sendo r
1
a
1
= (
k=1
I
k
.
Assim, 1/ e denido por um corte de Dedekind, cf. Proposicao 1.6.
Isto implica o mesmo para o seu inverso .
4. Obtenha as aproxima coes de 1/ nas etapas k = 4 e k = 10.
Entao, calcule as correspondentes aproximacoes de .
1.9. EXEMPLOS E EXERC
ICIOS 23
5. Tendo 1/ como o unico objeto de
k=1
I
k
dena as classes
contguas e o corte que da origem a 1/, e a .
6. Dena por meio do corte de Dedekind a solucao de x
5
2 = 0
(veja Parte 2, Complemento 3).
7. Qual o corte de Dedekind que dene 5/7 ?
8. Seja (A, B) um corte de Dedekind em R denindo . Prove que
existe uma sucessao em ninho (I
n
)
nN
tal que
=
n=1
I
n
.
9. Considere a equacao a
0
x
n
+ a
1
x
n1
+ . . . + a
n1
x + a
n
= 0 com
a
n
inteiros. Se o racional p/q for raiz da equacao entao p e divisor
de a
n
e q e divisor de a
0
. Logo, aplicando este resultado moste que
x
2
2 nao possui raiz racional e que
2 +
2. Qual o corte
de Dedekind denindo este n umero? Prove, por meio do Exerccio
9, que este n umero e irracional.
1.9.1 Nota Historica sobre Richard Dedekind
Richard Dedekind (1831-1916), nasceu em Brunswich, Ale-
manha, foi aluno de Gauss com quem estudou integrais eulerianas,
assunto de sua tese de doutorado. Seu primeiro trabalho como pro-
fessor foi no Politecnico de Zurich, onde trabalhou de 1857-1861.
24 CAP
ITULO 1. N
UMEROS REAIS
Nesta ocasiao, tendo d uvidas sobre o texto que deveria seguir com
seus alunos, criou os n umeros irracionais, para tornar inteligvel suas
aulas de analise matematica. Na verdade, ele fez uma organizacao
matematica nos n umeros racionais e deniu os irracionais por um
metodo que o denominou cortes. Atualmente, conhecido sob a de-
nominacao de Cortes de Dedekind. Metodo este, empregado neste
texto para construir os conceitos de limite e continhidade de funcoes.
A construcao do metodo de Dedekind baseia-se essencialmente na
nocao de ordem dos n umeros racionais. A contribuicao de Dedekind
na construcao da matematica, nao se limita apenas aos cortes. Ele
investigou e contribuiu na teoria dos n umeros e foi determinante no
estudo dos fundamentos da matematica do nal do seculo XIX, inicio
do XX. Dentre varias contribuicoes, registra-se que a nocao de ideal,
de tanta importancia em
Algebra e Analise, foi criado por Dedekind,
ao investigar propriedades dos n umeros inteiros. Seu trabalho con-
tendo os cortes, encontra-se no livro: Richard Dedekind - Essays on
the Theory of Numbers (traducao para o ingles, do original alemao),
Dover Publications 1963.
ICIOS 25
subtracoes e que simplicasse o calculo de razes dos n umeros, facili-
tando o trabalho dos astronomos. O instrumento criado por Napler
para atender a tais questoes foi por ele denominado Logaritmo. Sua
ideia original foi associada ao calculo das funcoes circulares. Alguns
autores observam que a expressao
cos(a +b) + cos(a b) = 2 cos a cos b
e uma transformacao de um produto em uma soma e pode ter sido
uma motivacao para Napler (uma mera conjectura).
Para denir o novo conceito matematico ele considerou a cor-
respondencia entre os termos de uma progressao geometrica r, r
2
,
. . . , r
n
, . . . de razao r positiva e os termos da progressao aritmetica
dos expoentes, isto e, 1, 2, . . . , n, . . . . Note que o produto r
m
r
n
=
r
m+n
corresponde a m+n. Esta correspondencia ja havia sido obser-
vada por Arquimedes, 410 A.C., mas sem as consequencias obtidas
por Napler. A progressao 1, 2, . . . , n, . . . e denominada de logariti-
mos dos termos da progressao geometrica r, r
2
, . . . , r
n
, . . .. Portanto,
o logaritimo de r
n
e n, para todo n N. O termo logaritimo e um
vocabulo grego que signica n umero de razoes. De fato, n e o
n umero de razoes r contidas em r
n
. O Napler e tambem chamado
Neper. Da, os logaritimos Neperianos.
1.9.3 Nota Historica sobre Georg Cantor
Georg Cantor (1845-1918), pertencia a uma famlia de israeli-
tas que imigrou de Portugal para a Dinamarka, xando-se a seguir
na R ussia. Cantor nasceu em Saint Petersburg em 3 de marco de
26 CAP
ITULO 1. N
UMEROS REAIS
1845. Teve sua formacao inicial na R ussia, mas sua educacao foi feita
na Alemanha a partir dos 15 anos. Contrariando os planos de seu
pai, quem imaginava faze-lo engenheiro, resolveu dedicar-se a inves-
tigacao cientca. Foi aluno de Kummer, Weierstrass e Kronecher.
Sofria de depressao profunda, falecendo na Alemanha em 1918. Teve
a admiracao de Dedekind, quem o estimolou a pesquisar matematica.
Cantor investigou sobre a teoria dos conjuntos innitos, denindo
o conceito de cardinal ou potencia de um conjunto, desenvolvendo
a aritmetica dos n umeros cardinais dos conjuntos innitos. No es-
tudo das series de Fourier, encontrou inspiracao para desenvolver sua
teoria dos conjuntos. Semelhantemente a Dedekind, tambem, con-
struiu uma teoria dos n umeros reais, baseada na nocao de sucessao de
racionais. A ideia de Cantor aparece no estudo dos espacos metricos,
enquanto a de Dedekind, no estudo dos conjuntos ordenados. Jun-
tamente com Dedekind, poder-se-ia dizer que foram os construtores
e organizadores da Analise Matematica do seculo XIX inicio do XX.
Captulo 2
Conjuntos Lineares
Os conjuntos a serem considerados no presente texto serao sempre
partes do corpo R dos n umeros reais. Assim, denomina-se conjunto
linear C a uma qualquer parte ou subconjunto de R. Note-se que C
pode ser o proprio R. Por exemplo, os subconjuntos N dos n umeros
naturais, Z dos n umeros inteiros ou Q dos n umeros racionais sao
exemplos de conjuntos lineares. Outros exemplos surgirao.
2.1 Intervalos Abertos e Fechados
Denicao 2.1 - Sejam a e b dois n umeros reais, sendo a < b.
Denomina-se intervalo fechado de extremos a e b ao conjunto dos
n umeros reais x tais que a x b.
Sendo R identicado a uma reta, um intervalo fechado identica-
se a um segmento desta reta, como mencionado no Captulo 1. Denota-
27
28 CAP
, representando-a por
V V
= (0, 2) tem-se
V V
= (1, 2).
(V2) Se V (x) for uma vizinhanca de x e y V (x) entao existe
uma vizinhanca V (y) V (x). Note que o smbolo e uma relacao
binaria entre os conjuntos V e V
. Diz-se que V V
quando todo
objeto de V pertence a V
= (0, 3)
30 CAP
.
(V3) Se x, y R, com x distinto de y, existe uma V (x) e uma V (y)
tais que V (x) e V (y) nao possuem pontos em comum. Escreve-se
simbolicamente V (x) V (y) = , sendo a parte vazia de R.
2.3 Ponto de Acumulacao de um Conjunto
Denicao 2.4 - Diz-se que x e um ponto de acumulacao de C, onde
C e um conjunto linear, quando cada vizinhanca V (x) do ponto x,
possuir innitos pontos de C, distintos de x.
O ponto de acumula cao, x, pode, ou nao, pertencer a C. Por
exemplo, se C = (1, 2) todos os seus pontos sao de acumula cao. Se
C = 1, 1/2, . . . , 1/n, . . . , , entao zero e um ponto de acumula cao
de C nao pertencente a C.
Denicao 2.5 - Diz-se que um conjunto C e nito quando ele contem
n objetos. Quando nao for nito, C diz-se innito.
Proposicao 2.1 - Se C possui ponto de acumulacao ele e innito.
Demonstracao: Suponha x
0
um ponto de acumulacao de C e que
ele seja nito, isto e, C = x
1
, . . . , x
n
. Considere os n umeros posi-
tivos
[x
0
x
1
[, [x
0
x
2
[, . . . , [x
0
x
n
[
e seja [x
0
x
i
[ o menor dos n umeros para i n xo. Seja
r
i
=
1
2
[x
0
x
i
[ entao a vizinhanca de x
0
V (x
0
) = x R; x
0
r
i
< x < x
0
+r
i
, e constituido de
todos os pontos de acumula cao de C. Assim, diz-se que C e fechado
quando C
= 0, nao sendo C
= 1 e C
C,
provando que C e fechado. Um intervalo fechado [a, b] e um conjunto
fechado.
2.4.2 Conjuntos Abertos
Denicao 2.8 - Diz-se que C e um conjunto aberto, quando todo
ponto x, de C, possui uma vizinhanca V (x) C.
34 CAP
.
Noutras palavras, dado > 0, existe x C, tal que S < x.
Denicao 2.10 - O nmo de um conjunto linear C, denotado por
inf C, e um n umero I R satisfazendo `as seguintes condicoes:
(I1) b I para todo b C;
(I2) dado b > I existe x C tal que x < b.
Exemplo 2.2 - Considere
C =
_
n + 1
n
; n N
_
=
_
2,
3
2
, . . . ,
n + 1
n
, . . .
_
.
Entao,
(I1) 1 <
n+1
n
para todo n N;
(I2) Seja b > 1. Existe um n umero de C menor que b, isto e, existe
n N tal que b > (n + 1)/n. Portanto, 1 e o nmo de C.
Assim como no caso do supremo, em situacoes praticas (I2) e ex-
pressa por:
(I2) Se I
I.
Ou seja, dado > 0 existe x C tal que x < I +.
Observe que o conjunto C de racionais que sao as aproximacoes de
raiz de 2 por falta, e limitado superiormente. Note que seu supremo e
ou S > S
< x < S,
que e contraditorio pois S
ITULO 3. SUCESS
OES E S
ERIES
Exemplo 3.1 - Suponha E = F = R e f : R R denida por
f(x) = x
2
. O graco de f e a colecao dos pares (x, y) de R R tais
que y = x
2
.
Quando E e o conjunto dos n umeros naturais N, a funcao
f : N F denomina-se sucessao. No caso particular F = R a
sucessao f : N R denomina-se sucessao de n umeros reais. Denota-
se uma sucessao f : N R por u
n
= f(n), para n N, ou (u
n
)
nN
ou simplesmente (u
n
). O graco de uma sucessao e a colecao dos
pontos (n, y); n N e y = f(n) R.
Exemplo 3.2 - Sao exemplos de sucessoes:
u
n
=
1
n
ou
_
1
n
_
;
u
n
=
n + 1
n + 2
ou
_
n + 1
n + 2
_
;
u
n
= (1)
n
+
1
n
ou
_
(1)
n
+
1
n
_
Exerccio 3.1 - Esboce os gracos das sucessoes do Exemplo 3.2.
Estudar uma sucessao (u
n
) consiste em conhecer o seu compor-
tamento para valores grandesde n N ou, como se diz habitual-
mente, quando n tende para o innito, cuja notacao e n .
No Exemplo 3.2 verica-se que a terceira sucessao se comporta do
seguinte modo:
se n e par, entao u
2n
= 1 + 1/2n se aproxima de 1;
se n e mpar, entao u
2n1
= 1 + 1/2n 1 se aproxima de -1.
A seguir, sera formulada a denicao de limite de uma sucessao
onde os termos, n tende para o innitoe a sucessao se aproxima
3.1. SUCESS
OES DE N
UMEROS REAIS 45
de um n umero, sao denidos. A proposito consulte G. H. Hardy -
A Course of Pure Mathematics, Cambridge University Press, 1952,
p.116.
Denicao 3.2 - (DAlembert (1765), Cauchy (1821)) Diz-se que um
n umero L, e o limite de uma sucessao de n umeros reais (u
n
), quando
para cada > 0, existe um natural n
0
= n
0
(), tal que
[u
n
L[ < , para todo n n
0
.
Diz-se que a sucessao (u
n
) converge para L e denota-se esta fato por,
lim
n
u
n
= L ou u
n
L.
Proposicao 3.1 - Se uma sucessao (u
n
) for convergente, seu limite
sera unico.
Demonstracao: De fato, suponha que (u
n
) seja convergente para L
e L
1
, sendo L ,= L
1
. Assim, da denicao de limite, para cada > 0,
existem n
0
= n
0
() e n
1
= n
1
() tais que
[u
n
L[ < /2 para todo n n
0
,
[u
n
L
1
[ <
2
para todo n n
1
.
As duas condicoes valem para todo n max(n
0
, n
1
). Portanto, para
cada > 0, obtem-se
[L L
1
[ [L u
n
[ +[u
n
L
1
[ < , n max(n
0
, n
1
),
provando que L = L
1
, pela arbitrariedade de .
46 CAP
ITULO 3. SUCESS
OES E S
ERIES
Exemplo 3.3 - Seja u
n
= (n+1)/(n+2). Prova-se que (u
n
) converge
para 1. De fato, seja > 0. Deve-se determinar n
0
= n
0
() N, tal
que
n + 1
n + 2
1
< para n n
0
.
O que equivale,
1
n + 2
< para n n
0
.
Tomando-se 0 < < 1/2, tem-se 1 > 0 e da calcula-se n
0
() como
sendo, por exemplo, o primeiro natural maior ou igual a
(1 2)/. Portanto, sendo n
0
natural maior que n
0
(), encontra-se
a convergencia acima citada.
Demonstra-se que se (u
n
) e (v
n
) forem convergentes entao:
lim
n
(u
n
v
n
) =
_
lim
n
u
n
__
lim
n
v
n
_
;
lim
n
(u
n
+v
n
) = lim
n
u
n
+ lim
n
v
n
;
se u
n
,= 0 e lim
n
u
n
,= 0 entao lim
n
_
1
u
n
_
=
1
lim
n
u
n
;
lim
n
a u
n
= a lim
n
u
n
para a R.
3.1.1 Subsucessao
A nocao de subsucessao e fundamental no estudo da convergencia.
Suponha uma sucessao k : N N, n k
n
, de modo que
k
1
< k
2
< . . . < k
n
< . . . (k
1
> 1).
Se (u
n
) for uma sucessao, entao a sucessao (u
k
n
) sera denominada
uma subsucessao da sucessao (u
n
).
3.1. SUCESS
OES DE N
UMEROS REAIS 47
Exemplo 3.4 - Sao exemplos de subsucessoes:
Seja u
n
= 1/n com n N. Se k
n
= 2n, u
k
n
= 1/2n e uma
subsucessao;
Seja u
n
= (1)
n
+ 1/n com n N. Se k
n
= 2n tem-se a
subsucessao u
k
n
= 1 + 1/2n e para k
n
= 2n 1 a subsucessao
u
k
n
= 1 + 1/(2n 1)
Proposicao 3.2 - Se (u
n
) converge para L entao toda subsucessao
(u
k
n
) converge para L.
Demonstracao: De fato, k
n
cresce com n, sendo k
1
> 1 e k
2
> k
1
entao, k
2
2, k
3
3, . . . . Para cada > 0, existe n
0
= n
o
(), tal
que
[u
n
L[ < para todo n n
0
,
por hipotese. Se n n
0
obtem-se k
n
n
0
e, portanto, [u
k
n
L[ < ,
para todo k
n
n
0
, isto e, a subsucessao (u
k
n
) converge para L.
Observacao 3.1 - Note que u
n
= (1)
n
+1/n nao converge, porem
possui duas subsucessoes: u
k
n
= 1 + 1/2n e u
k
n
= 1 + 1/(2n + 1)
convergentes, respectivamente, para +1 e -1!
Esta observacao motiva um novo conceito que e o de valor ade-
rente de uma sucessao.
Denicao 3.3 - Denomina-se, valor aderente de uma sucessao (u
n
),
a um n umero real a, tal que existe uma subsucessao, (u
k
n
), de (u
n
),
convergente para a.
Uma consequencia imediata da Denicao 3.3 e das Proposicoes
3.1 e 3.2 e que se (u
n
) converge para L, entao L e o unico valor
48 CAP
ITULO 3. SUCESS
OES E S
ERIES
aderente de (u
n
). Alem disso, note que a sucessao u
n
= (1)
n
+1/n,
da Observacao 3.1, possui dois valores aderentes: a = +1 e a = 1.
Diz-se que uma sucessao e limitada, quando [u
n
[ < k, para todo
n N. Isto equivale a dizer que o conjunto de n umeros reais u
n
OES DE N
UMEROS REAIS 49
k N tais que u
k
pertence a (m1/2
n
, m+ 1/2
n
) [a
n
, b
n
]. Con-
sidere um termo qualquer da sucessao neste intervalo representado
por u
k
1
. Resta ainda uma innidade de valores de k N tais que u
k
pertence a
(a
n
, b
n
)
_
m
1
2
2
, m+
1
2
2
_
_
m
1
2
, m+
1
2
_
.
Escolhe-se, novamente, um termo da sucessao, o qual e representado
por u
k
2
, com k
2
> k
1
. Assim, sucessivamente, escolhe-se u
k
n
, per-
tencente a (m1/2
n
, m+ 1/2
n
), tal que (u
k
n
) e uma sub-sucessao
satisfazendo
m
1
2
n
< u
k
n
< m+
1
2
n
.
Provando, assim, que lim
n
u
k
n
= m. Conseq uentemente, m e valor
aderente de (u
n
).
Denicao 3.4 - Diz-se que (u
n
) e monotona crescente quando,
u
1
u
2
. . . u
n
u
n+1
. . .
e que e monotona decrescente quando,
u
1
u
2
. . . u
n
u
n+1
. . . .
Quando estas relacoes de ordem forem dadas por < ou >, diz-se que
(u
n
) e estritamente crescente ou estritamente decrescente, respecti-
vamente.
Teorema 3.2 - Toda sucessao de n umeros reais, (u
n
), crescente e
limitada superiormente, e convergente.
50 CAP
ITULO 3. SUCESS
OES E S
ERIES
Demonstracao: De fato, sendo (u
n
) limitada superiormente o con-
junto u
n
; n N e limitado superiormente e pelo Teorema do
Supremo possui um unico supremo S, i.e., S = supu
n
; n N.
Mostra-se que (u
n
) converge para S. Com efeito, pela propriedade
(S2) do supremo, para cada > 0 existe um n
0
N tal que
S < u
n
0
< S. Mas, por (S1), u
n
S para todo n N e,
por hipotese, (u
n
) e crescente, ou seja, S < u
n
0
u
n
< S +
para todo n n
0
. Adicionando S a esta desigualdade obtem-se
< u
n
S < para todo n n
0
. Conclui-se que [S u
n
[ < .
Um resultado analogo, vale para sucessoes decrescentes e conside-
rando-se o nmo. Toda sucessao decrescente limitada inferiormente
e convergente.
Exemplo 3.5 - Seja (u
n
), com u
n
> 0 denida por u
1
=
2 e
u
n+1
=
2u
n
. Mostra-se, inicialmente, que (u
n
) e crescente. Temos
que
u
1
=
2, u
2
=
2u
1
= (2
2)
1
2
>
2 = u
1
.
Logo, u
2
u
1
. Suponha que u
n
u
n1
. Prova-se que u
n+1
u
n
.
De fato, u
n+1
=
2u
n
2u
n1
= u
n
. Agora, resta mostra que
(u
n
) e limitada. De fato, u
2
=
2u
1
=
_
2
OES DE N
UMEROS REAIS 51
Exemplo 3.6 - Considere a sucessao (e
n
) com e
n
= (1 + 1/n)
n
.
Demonstra-se que (e
n
) e monotona limitada, logo convergente. Sendo
o binomio de Newton dado por
(a +b)
n
=
n
r=0
_
n
r
_
a
nr
b
r
, onde
_
n
r
_
=
n!
r!(n r)!
e n! = 1 2 . . . n, com 0! = 1, e escolhendo a = 1 e b = 1/n, obtem-se
_
1 +
1
n
_
n
=
n
r=0
_
n
r
_
1
n
r
.
Resulta
_
n
1
_
1
n
=
n!
(n 1)!
1
n
=
n!
n!
= 1;
_
n
2
_
1
n
2
=
n!
2!(n 2)!
1
n
2
=
1
2!
_
1
1
n
_
;
_
n
3
_
1
n
3
=
n!
3!(n 3)!
1
n
3
=
1
3!
_
1
1
n
__
1
2
n
_
.
O termo de ordem r e:
_
n
r
_
1
n
r
=
n!
r!(n r)!
1
n
r
=
1
r!
1 2 . . . (n r) (n r 1) . . . (n 2)(n 1)
(n r)!
1
n
r1
=
1
r!
_
1
1
n
__
1
2
n
__
1
3
n
_
. . .
_
1
r 2
n
__
1
r 1
n
_
.
52 CAP
ITULO 3. SUCESS
OES E S
ERIES
Logo,
_
1 +
1
n
_
n
= 1 +
1
1!
+
1
2!
_
1
1
n
_
+
1
3!
_
1
1
n
__
1
2
n
_
+ . . . +
1
r!
_
1
1
n
__
1
2
n
_
. . .
_
1
r 1
n
_
+ . . . +
1
n!
_
1
1
n
__
1
2
n
_
. . .
_
1
n 1
n
_
.
Note-se que
_
1
r
n
_
< 1 para r = 1, 2, . . . , n1. Logo, da expressao
acima obtem-se
e
n
=
_
1 +
1
n
_
n
< 1 +
1
1!
+
1
2!
+. . . +
1
n!
< 1 + 1 +
1
2
+
1
2
2
+. . . +
1
2
n1
< 3.
Provando que (e
n
) e limitada. Sendo
e
n
=
_
1 +
1
n
_
n
<
_
1 +
1
n
_
n
_
1 +
1
n
_
= e
n+1
verica-se que (e
n
) e crescente. Portanto, pelo Teorema 3.2, (e
n
) e
convergente. Seu limite representa-se por e que e denominado a base
do sistema de logaritmos Neperianos. Tem-se
e = lim
n
_
1 +
1
n
_
n
.
Veja Captulo 1, secao 1.10 .
3.1.2 Sucessoes de Cauchy
Casos ha em que nao e possvel calcular o limite explcito de uma
sucessao. Para o estudo destes casos existe um criterio, devido `a
3.1. SUCESS
OES DE N
UMEROS REAIS 53
Cauchy, que permite deduzir a convergencia de uma sucessao sem,
todavia, conhecer o seu limite.
Uma sucessao (u
n
) de n umeros reais diz-se de Cauchy quando
para cada > 0 existe n
0
= n
0
() tal que
[u
m
u
n
[ < para todo m n
0
, n n
0
.
Preposicao 3.3 - Se (u
n
) for convergente para L entao (u
n
) sera de
Cauchy.
Demonstracao: Sendo (u
n
) convergente para L entao para cada
> 0 existe n
0
= n
0
() tal que
[u
n
L[ <
2
para todo n n
0
.
Seja m n
0
, deste modo
[u
n
u
m
[ = [(u
n
L) + (L u
m
)[
[u
m
L[ +[u
n
L[ <
2
+
2
= ,
para todo m n
0
e n n
0
, provando que (u
n
) e de Cauchy.
Teorema 3.3 - (Teorema de Cauchy) Se (u
n
) for de Cauchy ela
convergira para um real L.
Demonstracao: A ideia da demonstracao consiste em reduzir ao
Teorema de Bolzano-Weierstrass para sucessoes. Demonstra-se que
se (u
n
) e de Cauchy ela e limitada, e o Teorema de Bolzano-Weierstrass
garante a existencia de um valor aderente L para (u
n
) concluindo-se
que (u
n
) converge para L. Procede-se por etapas:
54 CAP
ITULO 3. SUCESS
OES E S
ERIES
(i) Se (u
n
) e de Cauchy ela e limitada. De fato, como a condicao
vale para cada > 0, toma-se = 1 e resulta a existencia de n
0
tal
que
[u
m
u
n
[ < 1 para todo m n
0
, n n
0
.
Tem-se,
[u
n
[ [u
m
[
[u
n
[ [u
m
[
[u
m
u
n
[ < 1
para todo m n
0
, n n
0
. Fixando m = n
0
, obtem
[u
n
[ < 1 +[u
n
0
[ para todo n n
0
.
Seja M = max
_
[u
1
[, [u
2
[, . . . , [u
n
0
1
[
_
e K = 1 +[u
n
0
[ +M, entao
[u
n
[ < K, para todo n N
provando que (u
n
) e limitada.
(ii) Sendo (u
n
) limitada ela possui um valor aderente L, isto e,
(u
n
) possui uma sub-sucessao (u
n
k
) convergente para L (conforme
o Teorema de Bolzano-Weirstrass). Logo, para cada > 0 existe
n
0
= n
0
() tal que
[(u
n
k
) L[ <
2
, para todo n
k
n
0
.
(iii) A sucessao (u
n
) converge para o valor aderente L. De fato,
[u
n
L[ = [(u
n
u
n
k
) + (u
n
k
L)[ [u
n
u
n
k
[ +[u
n
k
L[.
Sendo n
k
n
0
e [u
n
u
m
[ <
2
para m, n > n
0
, obtem-se da de-
sigualdade acima que
[u
n
L[ <
2
+
2
= , para todo n n
0
,
3.1. SUCESS
OES DE N
UMEROS REAIS 55
provando que (u
n
) converge para L. Deste modo, conclumos que
(u
n
) e convergente.
Escolio. Uma condicao necessaria e suciente para que uma sucessao
de n umeros reais seja convergente e que ela seja de Cauchy.
Observacao 3.2 - (a) Nos racionais uma sucessao de Cauchy nao
converge necessariamente para um racional. Por exemplo, a sucessao
das aproximacoes por falta de
2, u
m
e u
n
com m > n.
Tem-se
u
n
= 1, a
1
a
2
. . . a
n
e u
m
= 1, a
1
a
2
. . . a
m
sendo a
i
um dos algarismos de 0 a 9. Logo, a
i
9, para todo i (ver
Captulo 1). Portanto,
[u
m
u
n
[
9
10
n
_
1 +
1
10
+
1
100
+. . . +
1
10
mn
_
<
para cada > 0 quando m n
0
() e n n
0
( > 0). Assim, as
aproxima coes por falta de
2 sao de Cauchy mas nao convergem
para um racional.
De modo semelhante, um conjunto limitado de racionais nao pos-
sui um supremo em Q. Idem para o nmo. Diz-se, por esta razao,
que os racionais Q nao sao completos na ordem denida por menor
ou igual. Sob estes dois aspectos os reais R, preenchem os defeitos
dos racionais. Em R vale o teorema do supremo e toda sucessao
de Cauchy e convergente. No entanto, em R a equacao x
2
+ 1 = 0
nao possui solucao. Os n umeros complexos resolvem este problema.
Como pode ser visto no paragrafo seguinte.
56 CAP
ITULO 3. SUCESS
OES E S
ERIES
(b) A seguir, o corpo R sera ampliado para resolver as equacoes
algebricas. Em particular, a equacao x
2
+ 1 = 0 possuira solucao
neste novo corpo. Procede-se de maneira heurstica.
Suponha que x
2
= 1 possua solucao
1, sendo
a e b n umeros reais e dena-se:
Igualdade: (a +b
1) = (c +d
1) se a = c e b = d;
Adicao: (a +b
1) + (c +d
1);
Multiplicacao: (a+b
1).(c +d
1).
Agora, motivado pelo argumento anterior, considere o produto
cartesiano R R de pares de n umeros reais (a, b), (c, d) etc, com as
operacoes:
Igualdade: (a, b) = (c, d) se a = c e b = d;
Adicao: (a, b) + (c, d) = (a +c, b +d);
Multiplicacao: (a, b).(c, d) = (ac bd, ad +bc).
O produto cartesiano R R dos pares (a, b), (c, d), . . . com estas
operacoes e um corpo, denominado corpo dos n umeros complexos e
representado por C.
Os n umeros reais R sao uma parte dos complexos C constituda
pelos pares do tipo (a, 0), isto e, com a segunda coordenada nula.
Geometricamente, os n umeros complexos se identicam aos pontos
do plano cartesiano R R. Tem-se N Z Q R C.
Solucao em C da equacao x
2
+1 = 0. O n umero real 1 identica-se
ao n umero complexo (1, 0) e o n umero real 0 ao par (0, 0). Deve-se
3.1. SUCESS
OES DE N
UMEROS REAIS 57
encontrar o par (u, v) C tal que:
(u, v)
2
+ (1, 0) = (0, 0)
(u
2
v
2
, 2uv) + (1, 0) = (0, 0)
(u
2
v
2
+ 1, 2uv) = (0, 0).
Da igualdade em C, obtem-se u
2
v
2
+1 = 0 e 2uv = 0 As solucoes
sao: u = 0, v = 1 e u = 0, v = 1. As solucoes em C sao os pares:
(0, 1) e (0, 1).
Representa-se (0, 1) por i, ou seja, i = (0, 1). Sendo i uma solucao
de (u, v)
2
+(1, 0) = (0, 0) e 1 = (1, 0), 0 = (0, 0), tem-se i
2
+1 = 0.
Logo, i
2
= 1. Portanto, o n umero complexo (1, 0) denomina-se
unidade real e o complexo i = (0, 1) unidade imaginaria. Notacao
para os n umeros complexos:
z = (x, y) = x(1, 0) +y(0, 1) = x +iy.
O Teorema de DAlembert (1717-1783), diz que a equacao algebrica
a
o
z
n
+a
1
z
n1
+. . . +a
n1
z +a
n
= 0.
com a
i
C possui uma raiz em C.
Denomina-se modulo de z o n umero positivo
[z[ = (x
2
+y
2
)
1/2
.
O modulo [z[ do n umero complexo z mede o comprimento do vetor
0z do plano cartesiano R R. Deste modo, obtem-se
x = [z[cos e y = [z[sen.
58 CAP
ITULO 3. SUCESS
OES E S
ERIES
Portanto,
z = [z[(cos + sen)
denominada representa cao de Euler (1707-1783) dos n umeros com-
plexos. O angulo do eixo 0x com o vetor 0z denomina-se argumento
do n umero complexo z.
A seguir, estuda-se um resultado sobre sucessoes conhecido sob
a denominacao de Teorema de Cesaro (1888). Antes, porem, serao
feitas certas consideracoes sobre limite de sucessoes.
Considere-se uma sucessao (u
n
) tal que para cada k > 0 exista
n
k
N com u
n
> k para todo n n
k
. Diz-se que a sucessao (u
n
)
diverge para + escrevendo-se
lim
n
u
n
= +.
Por exemplo, seja u
n
= (n
2
+1)/n, entao (n
2
+1)/n = n+1/n 1.
Alem disso, 1 + 1/n > n. Logo, (n
2
+ 1)/n > k para n k.
Assim, lim
n
u
n
= +. De modo analogo, dene-se a divergencia
para .
Teorema 3.4 - (Teorema de Cesaro) Sejam (v
n
) uma sucessao es-
tritamente crescente e divergente e (u
n
) uma sucessao tal que
lim
n
u
n+1
u
n
v
n+1
v
n
= .
Entao
lim
n
u
n
v
n
= .
3.1. SUCESS
OES DE N
UMEROS REAIS 59
Demonstracao: Sera feita no caso que R. Logo, por hipotse,
para cada > 0, existe n
0
= n
0
(), tal que
<
u
n+1
u
n
v
n+1
v
n
< + para todo n n
0
.
Variando n de n
0
ate n
0
+k 1, obtem-se
( ) (v
n
0
+1
v
n
0
) < u
n
0
+1
u
n
0
< ( +) (v
n
0
+1
v
n
0
)
( ) (v
n
0
+2
v
n
0
+1
) < u
n
0
+2
u
n
0
+1
< ( +) (v
n
0
+2
v
n
0
+1
)
.
.
.
.
.
.
.
.
.
( ) (v
n
0
+k
v
n
0
+k1
) < u
n
0
+k
u
n
0
+k1
< ( +) (v
n
0
+k
v
n
0
+k1
)
Somando-se membro a membro, tem-se
( ) (v
n
0
+k
v
n
0
) < u
n
0
+k
u
n
0
< ( +) (v
n
0
+k
v
n
0
)
Para k maior que um certo k
0
obtem-se v
n
0
+k
> 0. Logo, dividindo
membro a membro por v
n
0
+k
resulta:
( )
_
1
v
n
0
v
n
0
+k
_
+
u
n
0
v
n
0
+k
<
u
n
0
+k
v
n
0
+k
<
u
n
0
v
n
0
+k
+( +)
_
1
v
n
0
v
n
0
+k
_
Sendo o lim
k
v
n
0
+k
= +, toma-se o limite de ambos os membros
< lim
k
u
n
0
+k
v
n
0
+k
< +,
para cada > 0. Logo,
lim
k
u
n
0
+k
v
n
0
+k
= .
60 CAP
ITULO 3. SUCESS
OES E S
ERIES
Corolario 3.1 - Seja v
n
= n. Se lim
n
(u
n+1
u
n
) = , entao
lim
n
u
n
/n = . Serao apresentadas, a seguir, algumas aplicacoes
imediatas do Teorema de Cesaro e do Corolario 3.1.
Media Aritmetica . Se a sucessao (u
n
) converge para u a sucessao
_
(u
1
+u
2
+. . . +u
n
)/n
_
tambem converge para u. De fato, dene-se
u
n
= u
1
+u
2
+. . . +u
n
e v
n
= n. Assim, deseja-se calcular
lim
n
u
n
v
n
que e, pelo Teorema de Cesaro:
lim
n
u
n+1
u
n
v
n+1
v
n
= lim
n
u
n
= u.
Media Geometrica. Se (u
n
), u
n
> 0, converge para u > 0 entao
(u
1
u
2
. . . u
n
)
1/n
tambem converge para u De fato,
lim
n
log(u
1
u
2
. . . u
n
)
1/n
= lim
n
log u
1
+ log u
2
+. . . log u
n
n
Logo, pela media aritmetica, obtem-se
lim
n
log(u
1
u
2
. . . u
n
)
1/n
= lim
n
log u
n
.
Deste modo,
log
_
lim
n
(u
1
u
2
. . . u
n
)
1/n
_
= log lim
n
u
n
= log u.
Conseq uentemente,
lim
n
(u
1
u
2
. . . u
n
)
1/n
= u.
3.1. SUCESS
OES DE N
UMEROS REAIS 61
Calcule lim
n
log n
n
. Pelo Teorema de Cesaro tem-se
lim
n
log n
n
= lim
n
log(n + 1) log n
(n + 1) n
= lim
n
log
_
1 +
1
n
_
= 0.
Mostre que lim
n
n
u
n
= lim
n
u
n
u
n1
, desde que u
n
> 0 e
_
u
n
u
n1
_
converge para todo n N. De fato, escrevendo
n
u
n
=
n
_
u
1
u
2
u
1
. . .
u
n1
u
n2
u
n
u
n1
.
Pelo resultado sobre a media geometrica, obtem-se
lim
n
n
u
n
= lim
n
u
n
u
n1
.
Resulta que
lim
n
n
n = lim
n
n
n 1
= 1.
Consulte sobre o Teorema de Cesaro: F. Sev`eri - Lezioni di Analisi-
Vol. Primo, N. Zanichelli ed. Bologna, 1946 - pg 276.
Considere a sucessao (H
n
) denida por
H
n
= 1 +
1
2
+
1
3
+. . . +
1
n
.
Esta sucessao diverge. De fato, e facil ver que ela e crescente, ou
seja, H
1
< H
2
< . . . < H
n
< . . .. Alem disso, obtem-se
H
2n
H
n
=
1
n + 1
+
1
n + 2
+. . . +
1
n +n
.
62 CAP
ITULO 3. SUCESS
OES E S
ERIES
Sendo n +1 < n +n, n +2 < n +n, . . ., n +(n 1) < n +n, resulta
que
H
2n
H
n
>
1
2n
+
1
2n
+. . . +
1
2n
=
1
2
ou seja,
H
2n
> H
n
+
1
2
.
Portanto,
H
2m
> H
m
+
1
2
H
2
2
m
> H
2m
+
1
2
H
2
3
m
> H
2
2
m
+
1
2
.
.
.
.
.
.
.
.
.
H
2
k
m
> H
2
k1
m
+
1
2
Somando membro a membro, tem-se
H
2
k
m
> H
m
+
k
2
>
k
2
.
Resulta que a subsucessao (H
2
k
m
) de (H
m
) e crescente mas nao e li-
mitada. Logo, quando m a subsucessao (H
2
k
m
) diverge. Deste
modo, conclui -se que a sucessao (H
m
) e divergente, pois se conver-
gisse entao toda subsucessao convergiria.
3.2 Series de N umeros Reais
Sabe-se, da aritmetica dos n umeros reais, adicionar um n umero
nito de parcelas (propriedade associativa da adicao), isto e, dados
3.2. S
ERIES DE N
UMEROS REAIS 63
os n umeros reais u
1
, u
2
, . . . , u
n
calcula-se s
n
= u
1
+ u
2
+ . . . + u
n
.
Na presente secao planeja-se dar sentido a generalizacao para uma
soma com uma innidade enumeravel de parcelas. Dito de modo
preciso, tem-se uma sucessao (u
n
) e deseja-se dar sentido a soma
u
1
+u
2
+. . . +u
n
+. . ., que representa-se por
n=1
u
n
e denomina-se
serie de termo geral u
n
.
Ha varias maneiras de denir esta soma com uma innidade enu-
meravel de parcelas. Sera adotada aqui uma idealizada por Cauchy
que consiste em reduzir ao caso de um n umero nito de parcelas e
empregar a nocao de limite de uma sucessao (veja Parte 2, Comple-
mento 22). De fato, dada a sucessao (u
n
) dene-se a sucessao (s
n
),
sendo (s
n
) denominada soma parcial ou reduzida de ordem n da serie
n=1
u
n
do seguinte modo:
s
1
= u
1
s
2
= u
1
+u
2
.
.
.
.
.
.
.
.
.
s
n
= u
1
+u
2
+. . . +u
n
Denicao 3.5 - Diz-se que a serie
n=1
u
n
e convergente quando
a sucessao (s
n
) das reduzidas for convergente. O limite de (s
n
)
denomina-se soma da serie. Escreve-se,
n=1
u
n
= lim
n
s
n
.
Quando (s
n
) nao converge diz-se que a serie nao converge. Quando
(s
n
) diverge diz-se que a serie diverge.
Exemplo 3.6 - Considere a sucessao (q
n1
), sendo q R. Obtem-se
64 CAP
ITULO 3. SUCESS
OES E S
ERIES
a serie
n=1
q
n1
= 1 +q +q
2
+. . . +q
n
+. . .
sendo
s
n
= 1 +q +q
2
+. . . +q
n
=
q
n+1
1
q 1
.
Entao, lim
n
q
n
= 0 se [q[ < 1 e diverge se [q[ > 1. Conseq uente-
mente, a serie
n=1
q
n1
converge para [q[ < 1 e diverge para [q[ > 1.
Esta serie e denominada serie geometrica. Quando q = 1 obtem-se
(s
n
) = (n) e, portanto, a serie diverge.
Exemplo 3.7 - Considere a sucessao u
n
= 1/(n(n + 1)) e calcule a
serie
n=1
u
n
. Sabe-se que
1
n(n + 1)
=
1
n
1
n + 1
.
Logo,
n=1
u
n
=
n=1
_
1
n
1
n + 1
_
com
s
n
=
_
1
1
2
_
+
_
1
2
1
3
_
+. . . +
_
1
n 1
1
n
_
+
_
1
n
1
n + 1
_
.
Portanto, s
n
= 1
1
n+1
e lim
n
s
n
= 1, provando que
n=1
1
n(n + 1)
= 1.
3.2. S
ERIES DE N
UMEROS REAIS 65
(veja Parte 2, Complemento 19).
O processo geral para estudar uma sucessao, como foi visto,
e o teorema de Cauchy. Assim, uma condicao necessaria e su-
ciente para a convergencia de
n=1
u
n
e que: para cada > 0, existe
n
0
= n
0
() N, tal que
[s
m
s
n
[ < para todo m n
0
e n n
0
.
Ao analisar esta condicao, supondo m > n, tem-se:
s
m
s
n
= u
n+1
+u
n+2
+. . . +u
m
=
m
=n+1
u
.
Conseq uentemente, reescrevendo o Teorema de Cauchy, obtem-se:
uma condicao necessaria e suciente para que a serie
n=1
u
n
seja
convergente e que para cada > 0, exista n
0
= n
0
() N, tal que
k=n+1
u
k
n=1
1/n
com R. Estuda-se a
convergencia desta serie em funcao do parametro R. Esta serie
denomina-se serie de Dirichlet (1806-1859).
Caso 1: Supondo que = 1, a serie
n=1
1/n e denominada serie
harmonica, pois cada termo e a media harmonica entre o que precede
e o que segue. Representando por H
n
sua reduzida de ordem n
escreve-se:
H
n
= 1 +
1
2
+. . . +
1
n
.
66 CAP
ITULO 3. SUCESS
OES E S
ERIES
Como foi estudado na secao anterior esta sucessao (H
n
) diverge, logo
a serie harmonica nao converge. Recorde-se que dados dois n umeros
reais positivos a e b denomina-se media harmonica de a e b ao inverso
da media aritmetica dos seus inversos, isto e, o n umero h tal que
1/h =
_
1/a + 1/b
_
/2. Calcule a media harmonica de a = 1/(n 1)
e b = 1/(n + 1) que sera 1/n, para todo n N.
Caso 2: Supondo < 0, tem-se 1/n
= n
, onde = > 0.
Portanto, a sucessao H
n
= 1
+2
+. . . +n
+
1
3
_
+
_
1
4
+
1
5
+
1
6
+
1
7
_
+
_
1
8
+
1
9
+
1
10
+
1
11
+
1
12
+
1
13
+
1
14
+
1
15
+
1
16
+
1
17
_
+. . .
+
_
1
(2
p
)
+
1
(2
p
+ 1)
+
1
(2
p
+ 2)
+. . . +
1
(2
p+1
1)
_
ate n = 2
p+1
1. Como foram escolhidos os termos entre parenteses?
Observe que para p = 1, 2, . . . encontra-se o n umero de termos n tais
que 2
p
n < 2
p+1
. Por exemplo, para p = 1 tem-se 2 n < 2
2
= 4,
logo n = 2 e n = 3, ou seja,
_
1
2
+
1
3
_
.
3.2. S
ERIES DE N
UMEROS REAIS 67
Agora, para p = 2 obtem-se 2
2
n < 2
3
e os n umeros n = 4, 5, 6, 7
com os respectivos termos:
_
1
(2
2
)
+
1
5
+
1
6
+
1
7
_
.
Assim, sucessivamente, para o caso geral 2
p
n < 2
p+1
encontra-se:
n = 2
p
, n = 2
p
+ 1, n = 2
p
+ 2,. . ., sendo o ultimo n = 2
p+1
1.
Portanto, existem 2
p
termos e
_
1
(2
p
)
+
1
(2
p
+ 1)
+
1
(2
p
+ 2)
+. . . +
1
(2
p+1
1)
_
Deste modo, ca respondida a pergunta de como foram encontrados
os termos entre parenteses. Prova-se, agora, que (H
n
) e crescente e
limitada. De fato, escreve-se
1
2
+
1
3
< 2
1
2
1
(2
2
)
+
1
5
+
1
6
+
1
7
< 2
2
1
(2
2
)
1
(2
p
)
+
1
(2
p
+ 1)
+
1
(2
p
+ 2)
+. . . +
1
(2
p+1
1)
< 2
p
1
(2
p
)
Logo,
H
n
1 +
1
2
1
+
_
1
2
1
_
2
+. . . +
_
1
2
1
_
p
.
Conseq uentemente, encontra-se que (H
n
) e crescente e limitada ja
que sendo
1
2
1
+
_
1
2
1
_
2
+. . . +
_
1
2
1
_
p
68 CAP
ITULO 3. SUCESS
OES E S
ERIES
a reduzida de uma serie geometrica de razao 1/2
1
< 1, pois > 1,
ela e convergente. Note que 2
p
< n, se n entao p .
Concluindo, tem-se dos casos 1, 2 e 3 que para R, a serie
n=1
1/n
n=1
u
n
uma serie de termos positivos,
tem-se
(i) Se
u
n+1
u
n
< k < 1, para n n
0
, entao
n=1
u
n
converge;
(ii) Se
u
n+1
u
n
> k >1, para n n
0
, entao
n=1
u
n
diverge.
Demonstracao: Primeiramente, sera demonstrado que (i) vale. Re-
sulta u
+1
< ku
e fazendo = 1, 2, . . . , n encontra-se
u
2
< ku
1
,
u
3
< ku
2
,
.
.
.
.
.
.
.
.
.
u
n+1
< ku
n
.
Logo, obtem-se u
n
< ku
n1
< k(ku
n2
< . . . < k
n1
(ku
1
). Isto e,
u
n
< k
n
u
1
.
Portanto,
n=1
u
n
e majorada pela serie geometrica
n=1
k
n
u
1
com
k < 1. Logo, a serie converge.
3.2. S
ERIES DE N
UMEROS REAIS 69
Agora demonstra-se o item (ii). Seja k > 1 e u
+1
> ku
para
todo = 1, 2, . . . , n. De modo analogo ao caso anterior, tem-se
u
n
> k
n
u
1
, com k > 1. Logo, a serie diverge.
Corolario 3.2 - Suponha que lim
n
u
n+1
u
n
= . Resulta que
(i) Se < 1, entao a serie
n=1
u
n
converge;
(ii) Se > 1, entao a serie
n=1
u
n
diverge;
(iii) Se = 1, entao nao ha informacao sobre a serie
n=1
u
n
.
Demonstracao: Demonstra-se o item (i). Seja k um n umero qual-
quer tal que < k < 1. Pode-se determinar n
0
tal que
<
u
n+1
u
n
< +, para todo n > n
0
com > 0 dado. Sendo < k < 1 toma-se = k . Deste modo,
u
n+1
/u
n
< k, k < 1. Logo, a serie
n=1
u
n
converge. Para o caso (ii)
basta observar que u
n+1
/u
n
> > 1. E, para o caso (iii) considere o
caso 1 do exemplo 3.8, onde = 1 e a seria hormonica e divergente.
Por outro lado, o caso 3 do mesmo exemplo para = 2 tem-se que a
serie
n=1
1/n
2
e convergente.
Exemplo 3.9 - Seja a serie
n=1
nu
n
para u R. Entao, tem-se
u
n+1
u
n
=
(n + 1)u
n+1
nu
n
= u
n + 1
n
.
70 CAP
ITULO 3. SUCESS
OES E S
ERIES
Logo, a serie converge se [u[ < 1.
Observacao 3.3 - Quando a serie
n=1
u
n
possui o termo u
n
de sinal
qualquer aplica-se a regra de DAlembert `a serie
n=1
[u
n
[.
Regra de Cauchy: A serie
n=1
u
n
de termos positivos
(i) converge se (u
n
)
1/n
< k < 1;
(ii) diverge se (u
n
)
1/n
> k > 1;
(iii) nada se pode armar quando = 1 .
Demonstracao: Primeiramente, supoe-se que (u
n
)
1/n
< k. Logo,
u
n
< k
n
, k < 1 e, deste modo, a serie e majorada por uma serie
geometrica de razao k < 1. Conseq uentemente,
n=1
u
n
converge. A
demonstracao do item (ii) resulta de u
n
> k
n
com k > 1.
Corolario 3.3 - Seja lim
n
(u
n
)
1/n
= . Entao,
(i) Se < 1 a serie converge;
(ii) Se > 1 a serie diverge;
(iii) Se = 1 nada se pode armar.
Exemplo 3.10 - Seja u
n
=
_
a+n
a+(n1)
u
_
n
com a R. A serie
n=1
u
n
e convergente. De fato,
n
u
n
=
a +n
a + (n 1)
u =
1 +a/n
1 + 1/n(a 1)
u
entao lim
n
n
u
n
= u. Portanto, se [u[ < 1 a serie converge e se [u[ > 1
3.2. S
ERIES DE N
UMEROS REAIS 71
a serie diverge.
Proposicao 3.4 - Se u
n
> 0 e lim
n
u
n+1
u
n
= > 0, entao
lim
n
(u
n
)
1/n
= .
Demonstracao: Reduz-se ao Teorema de Cesaro. Observando que
n
u
n
=
n
_
u
1
u
2
u
1
u
3
u
2
. . .
u
n
u
n1
e provando-se que lim
n
n
u
n
= (veja o Teorema de Cesaro - Media
Geometrica.)
Quando os termos da serie
n=1
u
n
sao de sinal variavel considera-
se a convergencia absoluta. Diz-se que
n=1
u
n
e absolutamente con-
vergente quando a serie
n=1
[u
n
[ for convergente. Sendo
j=1
u
j
j=1
[u
j
[,
conclui-se que toda serie absolutamente convergente e convergente.
Os dois proximos resultados demonstram que a a recproca dessa
armativa nao e verdadeira.
Teorema 3.4 - Seja (u
n
) uma sucessao decrescente e convergente
para zero. Entao a serie
n=1
(1)
n+1
u
n
e convergente.
Demonstracao: Considere u
n
> 0 e as reduzidas de ordem mpar
e par separadamente. Sendo
n=1
(1)
n+1
u
n
= u
1
u
2
+u
3
u
4
+. . . u
2p
+u
2p+1
. . .
72 CAP
ITULO 3. SUCESS
OES E S
ERIES
encontra-se
s
1
= u
1
;
s
3
= u
1
(u
2
u
3
);
s
5
= u
1
(u
2
u
3
) (u
4
u
5
);
.
.
.
.
.
.
.
.
.
s
2p+1
= u
1
(u
2
u
3
) (u
4
u
5
) . . . (u
2p
u
2p+1
);
s
2
= u
1
u
2
;
s
4
= (u
1
u
2
) + (u
3
u
4
);
s
6
= (u
1
u
2
) + (u
3
u
4
) + (u
5
u
6
);
.
.
.
.
.
.
.
.
.
s
2p
= (u
1
u
2
) + (u
3
u
4
) + (u
5
u
6
) +. . . + (u
2p1
u
2p
).
Sendo (u
n
) decrescente tem-se u
n
u
n+1
para todo n N. Logo,
s
1
s
3
s
5
. . . s
2p+1
. . . ,
s
2
s
4
s
6
. . . s
2p
. . . ,
isto e, (s
2p+1
) e decrescente e (s
2p
) e crescente. Alem disso, obtem-
se s
2p+1
s
2p
= u
2p+1
. Mas, por hipotese, (u
n
) converge para zero.
Logo, para cada > 0, existe p
0
= p
0
(), tal que s
2p+1
s
2p
< ,
para todo p p
0
. Resulta que as classes de n umeros reais s
2p
e
s
2p+1
sao contguas. Portanto, elas denem um unico n umero real
s tal que
s = lim
n
s
n
= lim
n
n
j=1
(1)
j+1
u
j
.
3.2. S
ERIES DE N
UMEROS REAIS 73
Exemplo 3.11 - A serie
n=1
(1)
n+1
n
e convergente mas nao e abso-
lutamente convergente, pois a serie harmonica diverge.
3.2.2 O Espaco de Hilbert (1862-1943)
2
(N)
Considere o conjunto de todas as sucessoes de n umeros reais (u
n
)
cuja serie
n=1
u
2
n
seja convergente. Esta sucessao denomina-se de
quadrado somavel .
Mostra-se que o conjunto denido acima e nao vazio. De fato,
a sucessao (1/n) e de quadrado somavel ja que a serie
n=1
1/n
e
convergente para todo > 1, em particular, para = 2.
Representa-se por
2
(N) a colecao de todas as sucessoes (u
n
), de
n umeros reais, que possuem o quadrado somavel. Em
2
(N) dene-se
as seguintes operacoes algebricas:
Multiplicacao por um n umero real. Se (u
n
)
2
(N), entao (u
n
),
tambem, pertence a
2
(N), para todo R.
Se (u
n
)
2
(N) e (v
n
)
2
(N), entao (u
n
+v
n
)
2
(N). De fato,
sabe-se que
n=1
u
2
n
e
n=1
v
2
n
sao convergentes. Alem disso, observe
que:
(u
n
+v
n
)
2
= u
2
n
+ 2u
n
y
n
+v
2
n
2(u
2
n
+v
2
n
).
Logo,
n=1
(u
n
+v
n
)
2
e convergente, isto e (u
n
+v
n
)
2
(N).
Portanto, com as operacoes acima
2
(N) e um espaco vetorial
sobre o corpo dos reais R. Deste modo, os objetos de
2
(N) sao
vetores e os de R sao escalares.
Para efeito de estudo da Analise Matematica deve-se mostrar que
74 CAP
ITULO 3. SUCESS
OES E S
ERIES
em
2
(N) alem da estrutura algebrica de espaco vetorial existe uma
outra estrutura que permite denir convergencia de sucessao. Para
isto introduz-se em
2
(N) um produto escalar do seguinte modo.
Produto Escalar em
2
(N): Dados os objetos u = (u
n
), v = (v
n
)
2
(N) dene-se o produto escalar de u e v por
(u, v) =
n=1
u
n
v
n
. (3.1)
O primeiro problema e saber se este produto esta bem denido, isto
e, se a serie que aparece em (3.1) e convergente. De fato, dado dois
n umeros positivos a e b, tem-se 2ab a
2
+b
2
. Logo,
n=1
[u
n
v
n
[
1
2
_
n=1
u
2
n
+
n=1
v
2
n
_
e o segundo membro converge, por hipotese. Logo,
n=1
u
n
v
n
e con-
vergente e o produto escalar esta bem denido.
Sao as seguintes as propriedades do produto escalar:
bilinearidade: linear em cada variavel;
simetria: (u, v) = (v, u);
positividade estrita: (u, u) = 0 se e somente u = 0.
Assim,
2
(N) esta dotado de produto escalar. A partir da nocao
de produto escalar ja se pode denir o comprimento ou a norma
de um vetor u
2
(N). De fato, dene-se a norma de um vetor
u
2
(N), denotando-se por |u|, como sendo o n umero real:
|u| =
_
(u, u) (3.2)
3.2. S
ERIES DE N
UMEROS REAIS 75
Sao as seguintes as propriedades norma
|u| > 0 e |u| = 0 se e somente se u = 0. Observe que se u = 0 a
sucessao (u
n
) e tal que u
n
= 0 para todo n N.
|u| = [[|u| para todo R e u
2
(N).
|u+v| |u| +|v|. Esta propriedade denomina-se desigualdade
triangular, armando que em um triangulo o comprimento de um
lado e menor que a soma dos outros dois.
A seguir, demonstra-se a desigualdade triangular. Na demons-
tracao faz-se uso da desigualdade de Cauchy que diz: se (a
i
) e (b
i
)
sao duas sucessoes de
2
(N), entao
i=1
a
i
b
i
_
i=1
a
2
i
_
1/2
_
i=1
b
2
i
_
1/2
. (3.3)
Deste modo, obtem-se da denicao (3.2) que:
|u +v|
2
=
i=1
(u
i
+v
i
)
2
i=1
u
2
i
+ 2
i=1
[u
i
[[v
i
[ +
i=1
v
2
i
.
Entao de (3.3) tem-se
|u +v|
2
i=1
u
2
i
+ 2
_
i=1
u
2
i
_
1/2
_
i=1
v
2
i
_
1/2
+
i=1
v
2
i
=
__
i=1
u
2
i
_
1/2
+
_
i=1
v
2
i
_
1/2
_
2
Finalmente, tomando a raiz quadrada de ambos os lados chega-se a
desigualdade triangular.
76 CAP
ITULO 3. SUCESS
OES E S
ERIES
Observe que uma sucessao (u
), de objetos de
2
(N), e tal que
para cada N, u
), com u
pertencente
2
(N), converge para u, no produto escalar, quando a
sucessao de n umeros reais, (u
), com u
2
(N), converge para u,
na norma do
2
(N), quando a sucessao de n umeros reais (|u
u|)
converge para zero.
Em termos de norma e produto escalar a desigualdade de Cauchy
(3.3) pode ser re-escrita da seguinte forma:
[(u, v)[ |u||v|. (3.4)
Proposicao 3.5 - Se uma sucessao (u
), u
2
(N) converge se-
gundo a norma para u, entao ela converge segundo o produto escalar.
Demonstracao: De fato pela desigualdade de Cauchy (3.4), tem-se
[(u
u, v)[ |u
ERIES DE N
UMEROS REAIS 77
e um espaco vetorial;
e dotado de um produto escalar que dene uma norma;
com a norma de
2
(N) toda sequencia de Cauchy e convergente.
Um conjunto satisfazendo as propriedades acima mencionadas
denomina-se espaco de Hilbert real.
78 CAP
ITULO 3. SUCESS
OES E S
ERIES
Captulo 4
Limite e Continuidade
4.1 Limite de uma Funcao Real
Considere-se uma funcao f : C R, sendo C um subconjunto
de R. Pretende-se estudar o comportamento de f em um ponto x
0
de C. O conjunto C pode ser um intervalo (a, b), ou uma semi-
reta (a, ) ou qualquer conjunto nao limitado, como no caso das
sucessoes, quando C = N. Para estudar o comportamento de f em
x
0
, nao importa o valor de f em x
0
, mas sim seus valores nos pontos
proximos de x
0
. Por esta razao exige-se que x
0
seja tal que em
cada vizinhanca de x
0
existam pontos de C diferentes de x
0
, isto e,
exige-se que x
0
seja um ponto de acumula cao de C. Entao, para cada
V (x
0
), vizinhaca de x
0
, ha pontos de C distintos de x
0
.
Exemplo 4.1 - (Funcoes Reais)
Seja C = R e f(x) = [x[, denominada modulo de x.
79
80 CAP
1 para x racional
0 para x irracional
Esta funcao e denonimada de funcao caracterstica dos racionais de
(0, 1), ou funcao de Dirichlet (1887). Observe-se que em vez de
(0, 1) poder-se-ia considerar um subconjunto X R e a funcao (x)
denida do mesmo modo.
Seja C = (2, +2) e f(x) = parte inteira de x, denotada por [x].
Seja C = (0, 10) e f(x) = x [x] ou f(x) = (x [x])
1/2
.
C = x R; x > 0 e f(x) = sen
1
x
. Esta funcao merece um
estudo mais cuidadoso pois servira de exemplos em diversos casos no
decorrer desta secao. Note que:
1 sen
1
x
+1.
Alem disso,
sen
1
x
= 1 se
1
x
k
=
2
+ 2k ou x
k
=
1
2
+ 2k
.
e
sen
1
x
= 1 se
1
x
r
=
3
2
+ 2r ou x
r
=
1
3
2
+ 2r
.
4.1. LIMITE DE UMA FUNC
AO REAL 81
Quando r e k N crescem, os pontos x
k
e x
r
, onde sen
1
x
, toma os
valores +1 e 1 se aproximam, de modo que [x
r
x
k
[ < para cada
> 0. Assim, quando x se aproxima de zero a funcao f(x) = sen
1
x
oscila entre +1 e -1.
Seja C = x R; x > 0 e f(x) = xsen
1
x
. De modo analogo
ao caso anterior tem-se xsen
1
x
x. Logo, quando x se aproxima de
zero, entao xsen
1
x
tambem se aproxima de zero.
Seja C = x R; x > 0 e f(x) = senx/x. Mostra-se que
quando x se aproxima de zero entao f(x) = senx/x se aproxima de
1, mas a funcao nao esta denida em x = 0.
Os exemplos anteriores fazem sentido tambem quando x < 0, isto
e, x > 0 ou x < 0.
Denicao 4.1 - Considere C = (a, b) um intervalo, f : (a, b) R
e a < x
0
< b. Diz-se que L e limite de f no ponto x
0
quando para
cada > 0, existe = (, x
0
) positivo, tal que [f(x) L[ < para
todo 0 < [x x
0
[ < .
Note que 0 < [xx
0
[, isto e, no caso geral nao se tem x = x
0
, ou
seja, f nao esta necessariamente denida em x
0
, como, por exemplo,
f(x) = senx/x.
Uma consequencia simples da denicao de limite e que se (x
n
)
for uma sucessao convergente para x
0
, entao (f(x
n
)) converge para
L.
A seguir, dene-se a nocao de limite no caso em que C e um
conjunto de n umeros reais e x
0
e um ponto de acumulacao de C.
Denicao 4.2 - Diz-se que L e limite de f, no ponto ponto de
82 CAP
(x
0
), tal que [f(x)L[ < para todo ponto x [V
(x
0
)x
0
]C.
Nas Denicoes, 4.1 e 4.2, adota-se a seguinte notacao para o
limite:
L = lim
xx
0
f(x).
Proposicao 4.1 - (Unicidade do Limite) Se L e limite de f, em x
0
,
entao L e unico.
Demonstracao: De fato, suponha que existam em x
0
dois limites
para f, isto e L e L
[ <
2
para 0 < [x x
0
[ < e 0 < [x x
0
[ <
[ [f(x) L[ +[f(x) L
[ <
2
+
2
= ,
para 0 < [x x
0
[ < min,
. Portanto, L = L
.
As operacoes aritmeticas de adicao e multiplicacao se estendem
ao limite. Conseq uentemente, quando os limites existem, obtem-se:
lim
xx
0
(f g) = lim
xx
0
f lim
xx
0
g; lim
xx
0
(fg) = lim
xx
0
f lim
xx
0
g.
Se f(x) ,= 0 e lim
xx
0
f(x) ,= 0, entao
lim
xx
0
1
f(x)
=
1
lim
xx
0
f(x)
.
Ha funcoes que nao possuem limite no ponto x
0
, mas possuem limites
quando x se aproxima de x
0
, pela esquerda e quando x se aproxima
4.1. LIMITE DE UMA FUNC
AO REAL 83
de x
0
, pela direita, ou seja, existem os limites laterais. Deste modo,
obtem-se com e :
[f(x) L[ < , se x
0
< x < x
0
+, e escrev-se, lim
xx
+
0
f(x);
[f(x) L[ < , se x
0
< x < x
0
, e escreve-se, lim
xx
0
f(x).
Exemplo 4.2 - Seja f(x) =
|x|
x
, se x ,= 0. Entao,
lim
x0
f(x) = 1 e lim
x0
+
f(x) = +1.
Proposicao 4.2 - Uma condicao necessaria e suciente para que f
possua limite em x
0
e que os limites laterais sejam iguais.
Demonstracao: (Condicao Suciente) Suponha que
lim
xx
0
f(x) = lim
xx
+
0
f(x) = L
. Entao, para cada > 0, existem
1
e
2
, tais que [f(x) L[ < ,
para x
0
1
< x < x
0
e [f(x) L[ < , para x
0
< x < x
0
+
2
. Se
= min
1
,
2
valem as duas desigualdades, ou seja,
[f(x) L[ < , para x
0
< x < x
0
+ ou 0 < [x x
0
[ < .
Provando que L e o limite de f em x
0
.
(Condicao Necessaria-) Se [f(x) L[ < , para 0 < [x x
0
[ < vale
tambem nos intervalos laterais.
Denicao 4.3 - Diz-se que a funcao f : C R e crescente, quando
f() f(), para todo , C, com , e f e decrescente se,
f() f(), para todo , C, com .
84 CAP
2
+ 2n
. Logo, se x
n
0, entao f(x
n
) = sen
1
x
n
1.
Exerccio 4.1 - Mostre que os pontos do intervalo [1, +1] sao
valores aderentes de f(x) = sen
1
x
, para x > 0.
4.2 Continuidade
De modo analogo ao que foi demonstrado para sucessoes, monstra-
se que, se f : (a, b) R possuir limite em x
0
, entao f e limitada
4.2. CONTINUIDADE 85
em uma vizinhanca de x
0
. Isto equivale a dizer que [f(x)[ < K para
todo x V (x
0
).
Considere a funcao f(x) =
1
|x|
, x ,= 0, x R. Ela nao e li-
mitada em toda vizinhanca de x
0
= 0. De fato, qualquer que seja
k > 0, existe uma vizinhanca de x
0
tal que f(x) > k, nesta vizi-
nhanca. Diz-se entao que lim
xx
0
f(x) = +. De forma similar dene-
se lim
xx
0
f(x) = .
No caso das sucessoes o conjunto N e nao limitado e sem pontos
de acumula cao. Por isto, deseja-se saber como se comporta uma
sucessao, quando n e muito grande, n > n
0
, qualquer que seja
n
0
ou n tendendo para innito. No caso geral de funcoes tem-se o
problema analogo. Por exemplo, suponha C = (0, ) a semi-reta
e f : C R. Portanto, diz-se que L e o limite da f quando x
tende para o innto, quando para cada > 0 existe k
. Escreve-se, lim
x
f(x) = L.
De modo analogo, quando C = (, 0) dene-se o limite quando
x . Mais geralmente, dene-se o caso x e f(x) .
Por exemplo, se f(x) = (2x + 1)/(x 1), entao lim
x
f(x) = 2.
Quando o lim
xx
0
f(x) = L, com L R, diz-se que f e convergente
para L, em x
0
.
Teorema 4.1 - (Teorema de Cauchy) Sejam f : (a, b) R e
a < x
0
< b. Uma condicao necessaria e suciente para que f possua
limite no ponto x
0
e que, para cada > 0, exista = (, x
0
), tal que
[f(x) f(x
)[ <
para todo par de pontos x, x
x
0
[ < .
Demonstracao: (Condicao Necessaria) Suponha que existe o limi-
te, L, de f, em x
0
. Resulta que, para cada > 0, existe = (, x
0
),
tal que
[f(x) L[ <
2
, para todo 0 < [x x
0
[ <
Seja agora x
x
0
[ < . Ja que L e o limite,
obtem-se [f(x
)[ [f(x) L[ +[f(x
) L[ <
2
+
2
=
para todo x, x
x
0
[ < .
(Condicao Suciente) Deve-se provar que se f satisfaz a condicao de
Cauchy em x
0
, entao f possui limite em x
0
. De fato, seja (x
n
) uma
sucessao de (a, b) convergente para x
0
. A sucessao de n umeros reais
(f(x
n
)) e uma sucessao de Cauchy, porque f, por hipotese, satisfaz
a condicao de Cauchy e (x
n
) converge para x
0
. Logo, pelo teorema
de Cauchy para sucessoes, conclui-se que (f(x
n
)) e convergente para
um n umero real L. Resta mostrar que f possui limite L em x
0
. De
fato, da condicao de Cauchy para f, obtem-se
[f(x) f(x
n
)[
2
, para 0 < [x x
0
[ < , [x
n
x
0
[ < .
Portanto,
[f(x) L[ [f(x) f(x
n
)[ +[f(x
n
) L[ <
2
+
2
=
para 0 < [xx
0
[ < e 0 < [x
n
x
0
[ < , provando que lim
xx
0
f(x) = L.
4.2. CONTINUIDADE 87
Considere a funcao f(x) = senx/x, sabe-se que senx < x < tg x,
ou ainda, 1 < x/senx < 1/cos x, quando o arco x e medido em
radianos. Entao, obtem-se cos x < senx/x < 1 e quando x 0
vem que lim
x0
senx/x = 1. Assim, a funcao f(x) = senx/x nao esta
denida em x
0
= 0, mas possui um limite igual a um, neste pode.
Agora, considere outra funcao h denida por:
h(x) =
senx
x
se x ,= 0,
1 se x = 0.
Tem-se que, lim
x0
h(x) = h(0) = 1, logo, diferentemente de f, a funcao
h esta denida em x
0
= 0 com valor funcional igual ao seu limite.
Portanto, h e contnua.
Denicao 4.5 - Diz-se que uma funcao f : (a, b) R, e contnua,
em x
0
(a, b), se f esta denida em x
0
e lim
xx
0
f(x) = f(x
0
).
Diz-se, portanto, que f : (a, b) R e contnua, em x
0
(a, b),
quando para cada > 0, existe = (, x
0
), tal que [f(x)f(x
0
)[ < ,
para todo x x
0
[ < .
Observacao 4.2 - A funcao h, acima denida, e contnua em x
0
= 0.
Denicao 4.6 - Diz-se que f : (a, b) R e contnua, em (a, b), se f
e contnua em todo ponto de (a, b).
Denicao 4.7 - Diz-se que f : (a, b) R e limitada, quando existe
um n umero, M > 0, tal que [f(x)[ M, para todo x (a, b).
Proposicao 4.3 - Se f e contnua no intervalo fechado [a, b], entao
ela e limitada em [a, b].
88 CAP
(x
0
)
tal que
[f(x) f(x
0
)[ < para todo x V
(x
0
) C.
Compare com o caso do intervalo. Diz-se que f e contnua em C
quando f e contnua em todos os pontos de acumulacao de C perten-
centes a C. O conjunto dos pontos de acumulacao de C denomina-se
o conjunto derivado de C representado por C
.
4.2. CONTINUIDADE 89
4.2.1 Propriedades das Funcoes Contnuas
A seguir, serao consideradas as funcoes reais denidas em inter-
valos da reta real R.
Teorema 4.2 - Seja f : [a, b] R uma funcao contnua no intervalo
fechado [a, b]. Sao validas as seguintes assercoes:
(1) f e limitada em [a, b];
(2) existem , , em [a, b], onde f assume o supremo e o nmo,
respectivamente.
Demonstracao: Para demonstrar a parte (1) veja a Proposicao 4.3;
contudo, sera apresentada aqui outra demonstracao usando raciocnio
de contradicao. De fato, suponha que f e contnua no intervalo
fechado [a, b] mas nao e limitada. Da resulta que existe uma sucessao
de pontos (x
n
) em [a, b] tal que f(x
n
) > n, para todo n N.
Sendo a x
n
b a sucessao (x
n
) e limitada. Pelo teorema, de
Bolzano-Weierstrass, (x
n
) possui uma subsucessao, (x
k
n
), conver-
gente para x
0
[a, b]. Ja que (x
k
n
) e uma sub-sucessao de (x
n
)
tem-se f(x
k
n
) > k
n
> n, para todo n N, pois f nao e limitada por
hipotese. Isto nao pode acontecer (contradicao !), porque sendo f
contnua e (x
k
n
) convergente obtem-se lim
n
f(x
k
n
) = f(x
0
).
Passa-se agora para a demonstracao da parte (2). Do item (1) tem-se
que o conjunto de n umeros reais
C = f(x); a x b
e limitado. Portanto, pelo teorema do supremo o conjunto C possui
um unico supremo S, ou seja, S = supC. Pela propriedade (S2) do
90 CAP
) S.
Logo, para n N, existe x
n
[a, b], tal que S 1/n < f(x
n
) S. A
sucessao (u
n
) e limitada, entao pelo teorema de Bolzano-Weierstrass
(u
n
) possui uma sub-sucessao (x
k
n
) convergente para [a, b] e, em
particular,
S
1
k
n
< f(x
k
n
) S.
Quando n , resulta pela continuidade da f que f() = S. Por-
tanto, ha um ponto [a, b] onde a f assume o supremo. Assim,
f assume um maximo em [a, b]. De modo semelhante demonstra-se
que existe um [a, b] tal que f() e o nmo de f em [a, b].
Escolio - Se f e contnua em um intervalo fechado [a, b], entao ela
assume um maximo e um mnimo em pontos de [a, b].
Teorema 4.3 - Seja f : [a, b] R uma funcao contnua no intervalo
fechado [a, b]. Entao, para todo , com f(a) f(b), existe
a b, tal que = f().
Demonstracao: Para xar ideias, suponha que f(a) < f(b) e seja
x
1
o ponto medio do intervalo [a, b]. Entao, estando entre f(a) e
f(b) tem-se que pertence [f(a), f(x
1
)] ou [f(x
1
), f(b)]. Suponha
que [f(a), f(x
1
)]. Logo, existe um intervalo [a
1
, b
1
] [a, b], de
amplitude igual a (b a)/2, tal que [f(a
1
), f(b
1
)]. Do mesmo
modo, toma-se o ponto medio de [a
1
, b
1
] e constroi-se [a
2
, b
2
] contido
em [a
1
, b
1
], cuja amplitude e igual a (b
1
a
1
)/2 = (b a)/2
2
tal que
4.2. CONTINUIDADE 91
[f(a
2
), f(b
2
)]. O processo construtivo continua e se obtem uma
sucessao
[a, b] [a
1
, b
1
] [a
2
, b
2
] . . . [a
n
, b
n
] . . .
tal que b
n
a
n
=
b a
2
n
e esta entre f(a
n
) e f(b
n
) para todo n N.
Assim, cam construdas as classes de n umeros rais
a a
1
a
2
. . . a
n
. . . e b b
1
b
2
. . . b
n
. . . ,
que sao contguas. Logo, denem um real tal que a
n
< < b
n
para todo n N. Da, tem-se a
n
b
n
a
n
= (b a)/2
n
e
b
n
b
n
a
n
= (b a)/2
n
. Deseja-se provar que f() = . Assim,
dado entre f(a) e f(b) existe entre a e b tal que f() = . De
fato, f(a
n
) < < f(b
n
), por construcao para todo n N. Devido `a
continuidade da funcao f, obtem-se
a
n
b
n
a
n
=
b a
2
n
[f() f(a
n
)[ < ,
b
n
b
n
a
n
=
b a
2
n
[f(b
n
) f()[ < .
Logo,
[f() [ [f() f(a
n
)[ +[f(b
n
) [ < +[f(b
n
) f(a
n
)[
< +[f(b
n
) f()[ +[f() f(a
n
)[ < 3 > 0,
ou seja, f() = .
Corolario 4.1 - Se f e uma funcao contnua em um intervalo fechado
[a, b], entao f assume todos os valores entre seu mnimo e seu maximo
em [a, b].
92 CAP
2
[ = [
2
+
2
[
[ [ +[ [ < 2[ [.
Dado > 0 qualquer, = /2 e tal que [f()f()[ < para todo par
[ [ < . Tem-se entao que f(x) = x
2
e uniformemente contnua
em (0, 1).
(ii) Seja f : (0, 1) R denida por f(x) = 1/x. Esta funcao nao
e limitada em (0, 1) mas e contnua. Seu comportamento, no que
concerne a relacao entre e , e visto como se segue. De fato, seja
(0, 1), um ponto qualquer. Para x (0, 1), tem-se
[f(x) f()[ =
1
x
1
=
[x [
x
.
Dado > 0 calcula-se > 0 tal que para todo [x [ < tenha-se
[f(x) f()[ < . Portanto, sendo < x < + , considera-se
= (, ) =
2
/2. Logo,
x > =
2
2
=
2
(2 ) >
2
.
4.2. CONTINUIDADE 95
Conseq uentemente,
1
x
<
_
2
_
1
.
Portanto, para todo [x [ <
2
/2, tem-se [f(x) f()[ < ,
provando que f e contnua em cada ponto de (0, 1). Prova-se a seguir
que f nao e uniformemente contnua em (0, 1).
E suciente mostrar
que, dado > 0, existem, > 0 e pontos x e com [x [ < , tais
que [f(x) f()[ > . Para tal, considere 0 < < 1 e = com
x = + = 2 e 0 < < 1/2. Obtem-se, portanto, que , x (0, 1)
e
[f(x) f()[ =
1
2
1
=
1
2
> 1 > ,
pois, por construcao, 0 < < 1/2 e 2 < 1. Logo, f nao e uniforme-
mente contnua em (0, 1)
(iii) De modo geral, dado = 1 e (
n
) uma sucessao de termos
positivos, convergente para zero, tem-se (a
n
) e (b
n
), sucessoes de
(0, 1), tais que
1
b
n
1
a
n
1
b
n
1
a
n
1
2
n
=
1
2
n
> 2
n
> 1.
Teorema 4.5- (Teorema de Heine (1821-1881) -Cantor (1845-1918))
Se f : [a, b] R e uma funcao contnua no intervalo fechado [a, b],
entao f e uniformente contnua em [a, b].
96 CAP
(x) =
f(x) f()
x
, x ,= (5.1)
e bem denida em (a, b), menos no ponto . Quando
possui limite
no ponto , este limite denomina-se a derivada de f no ponto .
Representa-se a derivada de f em por: f
(), ou
df()
dx
, ou Df().
Assim, tem-se
df
dx
() = lim
x
f(x) f()
x
.
97
98 CAP
ITULO 5. DERIVADA
Interpretacao Geometrica - Na gura 5.1, a seguir, esta repre-
sentado o graco da funcao f : (a, b) R.
O x
A
B
P
Q
H f()
f(x)
Tem-se, os seguintes objetos do graco:
P = (, f()), Q = (x, f(x)), PH = x e QH = f(x) f().
Considere o triangulo PHQ e observe que se for o angulo em P
entao
tg =
f(x) f()
x
.
Quando f e derivavel em o limite de
() = lim
x
f(x)f()
x
. Logo, para
cada > 0, existe = (, ) > 0, tal que
f(x) f()
x
f
()
(), resulta
[f(x)f()[ [x[[f
()[ <
f(x) f() (x )f
()
< [x[.
Portanto,
[f(x) f()[ <
_
+[f
()[
_
[x [.
Assim, para cada > 0, considera-se = (, ) = /( +[f
()[).
Da, resulta que [f(x) f()[ < , desde que [x [ < . Provando,
deste modo, que f e contnua em .
A recproca da Proposicao 5.1 e falsa. Em geral, continuidade
nao implica em derivabilidade.
Exemplos 5.1 - (i) Seja f(x) = [x[, x R e = 0.
E claro que f
e uma funcao contnua em = 0, mas nao e derivavel neste ponto.
De fato,
lim
x
f(x) f()
x
= lim
x
[x[
x
=
+1 se x > 0
1 se x < 0
nao existindo o limite em = 0.
100 CAP
ITULO 5. DERIVADA
(ii) Para x R considere
f(x) =
xsen
1
x
se x > 0
0 se x = 0,
entao lim
x0
f(x)f(0)
x
= lim
x0
sen
1
x
e sen
1
x
nao possui limite em = 0,
embora a funcao f seja contnua neste ponto.
(iii) Da interpretacao geometrica da derivada de f em deduz-
se que, dada uma curva, a existencia da tangente em um ponto da
curva, esta vinculada a existencia da derivada. A seguir, menciona-se
uma construcao que conduz, intuitivamente, a uma curva contnua
sem tangente em ponto algum. De fato, considere o segmento de
reta de extremos A e B. Divida este segmento em tres partes iguais
por meio dos pontos C e D. Retire o segmento CD e construa o
triangulo equilatero CMD. Esta curva e contnua mas nao possui
tangente nos pontos C, M e D. Repita o mesmo processo com os
segmentos AC, CM, MD e DB. Obtem-se uma curva contnua sem
tangentes nos 15 vertices da poligonal. Continuando ad innitum
encontra-se uma curva contnua sem tangente em ponto algum. Esta
curva e conhecida como a curva de Von Kock, 1906.
(iv) Para x em R considere f(x) =
x
2
sen
1
x
se x > 0
0 se x = 0,
esta funcao e contnua para x 0, derivavel em = 0 e sua derivada
e zero.
(v) O exemplo notavel de Weierstrass de uma funcao contnua sem
derivada em ponto algum envolve uma serie de funcoes, a saber, a
101
funcao
f(x) =
n=0
b
n
cos(a
n
x)
0 < b < 1, a mpar e ab < 1 + 3/2 e contnua por ser uma serie de
funcoes contnuas, uniformente convergente em um intervalo de R,
porem, nao derivavel em todos os pontos deste intervalo (veja Parte
2 , Complemento 62).
Derivadas Laterais - Existem casos em que
+
() = lim
x
+
f(x) f()
x
.
Derivada `a Esquerda de : f
() = lim
x
f(x) f()
x
.
Observa-se que, quando estas derivadas forem iguais, a funcao f
sera derivavel em .
Exemplo 5.2 - A funcao do Exemplo 5.1 (i) nao possui derivada em
= 0. Calculando-se os limites laterais conclui-se quef
+
(0) = +1 e
f
(0) = 1.
Derivada da Funcao Inversa - Considere f : (a, b) R e sua
inversa f
1
: (c, d) R. Seja c < < d e (a, b) tal que
= f(). Se f e derivavel em com f
() ,= 0 resulta que f
1
e
derivavel em e
df
dy
1
() =
1
df
dx
()
.
102 CAP
ITULO 5. DERIVADA
Exemplo 5.3 - Considere f(x) = x
2
com x > 0. Sua inversa
f
1
(y) = +
.
Derivada da Funcao Composta - Considerando as funcoes
f : (a, b) (c, d) e g : (, ) R, com (, ) (c, d), entao escreve-
se h = g f, com h : (a, b) R, e denida por h(x) = g (f(x)).
Supoe-se que todo y (c, d) e do tipo y = f(x). A funcao h = g f
assim denida denomina-se a composta de f com g.
Exemplo 5.4 - Considere f(x) =
x, com 0 < x < 4. Sejam
(a, b) = (0, 4) e (c, d) = (0, 2). Seja, tambem, g : (0, 2) R, denida
por g(y) = y
4
. Logo, h = g f, h : (0, 4) R e denida por
h(x) = g (f(x)) = [
x]
4
= x
2
.
Quando f : (a, b) (c, d) e g : (c, d) R forem derivaveis em
a < < b e c < < d, = f(), a funcao composta h = g f sera
derivavel em , e obtem-se
dh
dx
() =
d[g(f(x))]
dx
() =
dg
d
(f())
df
dx
().
A vericacao desta regra de derivacao para a funcao composta carece
de certo cuidado. De fato, deve-se considerar o produto
g(f(x)) g(f())
x
=
g(f(x)) g(f())
f(x) f()
f(x) f()
x
em uma vizinhanca de , contida em (a, b), mas com x ,= . Consulte
a denicao de derivada. Deve-se examinar, o produto acima, em
103
funcao da diferenca f(x) f(), quando x varia na vizinhanca de .
Deste modo, destacam-se os casos:
(a) Admita que exista uma vizinhanca de onde f(x) f() ,= 0
para x ,= . Entao vale a regra de deriva cao da funcao composta e,
assim, completa-se o raciocnio.
(b) Seja f(x) f() = 0, em uma vizinhanca de . Da, f(x) = f()
e, assim,
df
dx
() = 0 e
d[g(f(x))]
dx
() = 0.
(c) Sejam V
e V
conclui-se
que a regra de derivacao de funcao composta h = g f e valida.
Escreve-se abreviadamente a derivada da funcao composta em
qualquer ponto, como
dg(f(x))
dx
=
dg
df
df
dx
.
Aplicando esta formula ao Exemplo 5.4 encontra-se que
dh
dx
= 2x.
Derivada de Ordem Superior - Seja f : (a, b) R derivavel em
todo ponto de (a, b). A derivada desta funcao, em qualquer ponto
e a funcao denotada por f
, de f e, de
modo geral, a derivada de ordem n N, a qual representa-se por f
n
,
ou
d
n
f
dx
n
ou D
n
f.
104 CAP
ITULO 5. DERIVADA
Denicao 5.2 - Seja f : (a, b) R. Diz-se que (a, b) e um
ponto de maximo para f, quando existe uma vizinhanca V = V ()
tal que f(x) f() para todo x V . De modo analogo, diz-se
que (a, b) e um ponto de mnimo para f, quando existe uma
vizinhanca V (), tal que f(x) f() para todo x V . Se e ponto
de maximo de f, o n umero f() denomina-se o maximo local de f.
Se e mnimo de f, entao f() e o valor mnimo local de f. Estes
pontos sao denominados pontos extremos locais ou relativos de f, em
(a, b).
As consideracoes feitas a seguir serao sobre maximos e mnimos
relativos.
Teorema 5.1 - Seja f derivavel em [a, b]. Entao
(i) Se a < < b, e um ponto extremo de f, entao f
() = 0.
(ii) Se a e um extremo de f, entao
f
+
(a) 0, se a for ponto de maximo;
f
+
(a) 0, se a for ponto de mnimo.
(iii) Se b e um extremo de f, entao
f
+
() 0;
f(x) f()
x
0, para x V () e x < , ou seja f
() 0.
Sendo f derivavel em e f
+
() = f
() = f
(), resulta f
() = 0.
O restante da demonstracao faz-se de modo analogo.
Observacao 5.1 - Se f
(0) = 0,
mas 0 nao e ponto de maximo, nem de mnimo de f.
Teorema 5.2 -(Teorema de Rolle (1652-1719)) Se f : [a, b] R e
contnua em [a, b], derivavel em (a, b) e f(a) = f(b), entao existe um
ponto (a, b) tal que f
() = 0.
Demonstracao: Se f : [a, b] R e constante, tem-se f
= 0 e o teo-
rema esta demonstrado. Suponha f nao constante. Sendo f contnua
no intervalo fechado [a, b], f atinge seu maximo e seu mnimo em um
ponto (a, b), pois f(a) = f(b) e f nao e constante em [a, b].
Admitindo que f tenha um maximo, em , e certo que, para > 0,
f(x) f()
x
0, para < x < +;
f(x) f()
x
0, para < x < .
Sendo f derivavel, ambos os limites das razoes acima sao iguais `a
derivada de f em , logo f
ITULO 5. DERIVADA
O proximo resultado e conhecido como o teorema do valor inter-
mediario de Cauchy.
Teorema 5.3 - (Teorema de Cauchy (1789-1857)) Sejaf : [a, b] R
contnua e derivavel em (a, b). Entao existe a < < b tal que
f(b) f(a) = (b a)f
().
Demonstracao: Considere o graco de f em [a, b] e a corda com
extremos nos pontos A = (a, f(a)) e B = (b, f(b)). Dado a < x < b
o ponto X = (x, f(x)) pertence ao graco de f. A perpendicular ao
eixo dos x, no ponto x, intercepta a corda AB, no ponto E, e o graco
no ponto X. A medida do segmento XE e a funcao : [a, b] R
denida por
(
x) = f(x) f(a)
f(b) f(a)
b a
(x a).
Esta funcao e contnua em [a, b], derivavel em (a, b) e (a) = (b).
Encontra-se, portanto, nas condicoes do Teorema de Rolle. Con-
seg uintemente, existe (a, b) tal que
() = 0. Tem-se
(x) = f
(x)
f(b) f(a)
b a
que, calculada em x = , resulta em f(b) f(a) = (b a)f
().
Teorema 5.4 - (Teorema de Lagrange (1736-1813)) Sejam as funcoes
f, g : [a, b] R contnuas, e derivaveis em (a, b), sendo g(a) ,= g(b)
e g
()
g
()
.
107
Demonstracao: A funcao denida na demonstracao do teorema
do valor intermediario de Cauchy e caso particular de
(x) = f(x) f(a)
f(b) f(a)
g(b) g(a)
(g(x) g(a))
quando se considera g(x) = x. A funcao e contnua em [a, b],
derivavel em (a, b) e (a) = (b). Logo, pelo Teorema de Rolle
existe, (a, b), tal que
() = 0. Tem-se
(x) = f
(x)
f(b) f(a)
g(b) g(a)
g
(x)
que, calculada em x = , prova-se o teorema, com g
() ,= 0.
Exemplos 5.4 - (i) Seja f(x) = senx, a = /6, b = /4. O
teorema do valor intermediario consiste em determinar (/6, /4)
tal que
sen
4
sen
6
=
12
cos .
Sendo cos (/4) =
2/2, sen/6 = 1/2, 3, 142,
2 = 1, 414.
Resulta: cos = 0, 791 ou 7/36 radianos.
(ii) Calcule (1, 100) para f(x) = log
10
x. Tem-se 21, 0632.
(iii) Considere f(x) = senx e g(x) = cos x, em [a, b], onde valem as
hipoteses do Teorema de Lagrange. Resulta que
senb sena
cos b cos a
=
cos
sen
= cot a < < b.
Obtem-se
2 sen
ba
2
cos
b+a
2
2 sen
ba
2
sen
b+a
2
= cot
a +b
2
.
108 CAP
ITULO 5. DERIVADA
Logo, = (a +b)/2.
Proposicao 5.2 - Seja f : [a, b] R contnua, derivavel em (a, b).
Entao:
(a) Se f
, f
, f
, . . . , f
(n)
, . . . as funcoes derivadas da funcao f em
(a, b).
A ttulo de motivacao considere [, ] (a, b). Do teorema do
valor intermediario de Cauchy obtem-se
f() f() = ( )f
() +
( )
2
2!
f
() +. . .
+
( )
n1
(n 1)!
f
(n1)
() +
( )
n
n!
K(, ).
Note que na formula de Cauchy (equacao (5.2)), K(, ) = f
()
sendo = +( ).
Sera feita a determinacao de K(, ) quando n = 3, para tornar
simples os calculos. Assim, considere
f() f() =
( )
1
f
() +
( )
2
2!
f
() +
( )
3
3!
K(, ).
Isto posto, dene-se a funcao
(x) = f()f(x)
( x)
1
f
(x)
( x)
2
2!
f
(x)
( x)
3
3!
K(, ).
Esta funcao e tal que () = () = 0. Note que f() f(), e
derivavel. Portanto, pelo teorema de Rolle, existe < < tal que
() = 0. Logo,
(x) = f
(x)
_
( x)
1
f
(x) f
(x)
_
_
( x)
2
2!
f
(x) ( x)f
(x)
_
( x)
2
2
K(, ),
ou ainda,
(x) =
( x)
2
2
_
K(, ) f
(x)
_
.
110 CAP
ITULO 5. DERIVADA
Calculando
(x) em x = , obtem-se
( )
2
2
_
K(, ) f
()
_
= 0.
Logo,
K(, ) = f
(),
e, deste modo,
f() = f() +
( )
1
f
() +
( )
2
2!
f
() +
( )
3
3!
f
()
sendo = +( ), 0 < < 1. O termo
R
3
=
( )
3
3!
f
( +( ))
denomina-se resto e mede o erro na aproximacao de f() pelo polinomio
de grau dois em .
A argumentacao feita acima vale para todo n N, isto e, existe
< < tal que
f() = f() +
( )
1
f
() +
( )
2
2!
f
() +. . .
+
( )
n1
(n 1)!
f
(n1)
() +R
n
(), (5.3)
onde
R
n
(, ) =
( )
n
n!
f
(n)
()
A expressao (5.3) denomina-se formula de Taylor e R
n
() o resto da
formula.
5.1. F
(x
0
) +
(x x
0
)
2
2!
f
(x
0
) +. . .
+
(x x
0
)
n1
(n 1)!
f
(n1)
(x
0
) +R
n
(),
onde o resto da formula escreve-se
R
n
(x
0
+(x x
0
)) =
(x x
0
)
n
n!
f
(n)
(x
0
+(x x
0
))
e e denominado resto de Lagrange. Quando x
0
= 0, tem-se
f(x) = f(0)+
x
1
f
(0)+
x
2
2!
f
(0)+. . .+
x
n1
(n 1)!
f
(n1)
(0)+
x
n
n!
f
(n)
(x)
a qual e conhecida como formula de MacLaurin.
Exemplos 5.4 - (i) A formula de MacLaurin para f(x) = e
ax
,
com a R, e assim determinada: f
(x) = ae
ax
, f
(x) = a
2
e
ax
, . . . ,
f
(n)
(x) = a
n
e
ax
e f(0) = 1, f
(0) = a, f
(0) = a
2
, . . ., f
(n)
(0) = a
n
.
Logo,
e
ax
= 1 +ax +
a
2
2!
x
2
+. . . +
a
n
n!
x
n
e
ax
com 0 < < 1.
Quando a = 1, tem-se
e
x
= 1 +x +
x
2
2
+
x
3
3!
+. . . +
x
n
n!
e
x
.
112 CAP
ITULO 5. DERIVADA
Se x = 1, obtem uma aproxima cao para o n umero e
e = 1 + 1 +
1
2
+
1
3!
+. . . +
1
(n 1)!
+
e
n!
. (5.4)
Por meio da expressao (5.4), para o calculo aproximado de e, re-
sulta que este n umero e irracional. De fato, multiplicando ambos os
membros por (n 1)!, tem-se
e(n 1)! = inteiro +
e
n
, 0 < < 1.
Suponha que e seja um racional p/q com p, q inteiros e q ,= 0. Para
n > q, resulta que e(n 1)! e um n umero inteiro, logo e
/n e um
inteiro. Como 2 < e < 3, entao para qualquer n > 3, obtem-se
0 < e
2
_
.
5.1. F
2
_
= sen
_
x + (n 1)
2
_
= cos
_
x +n
2
_
.
Portanto, com f(x) = cos x tem-se
f(0) = 1, f
(0) = 0, f
(0) = 1, . . . , f
(n)
(0) = cos
n
2
.
Logo,
cos x = 1
x
2
2
+
x
4
4!
. . . + (1)
n
x
2n
(2n)!
cos x para 0 < < 1.
(iii) Aplicacao da formula de Taylor na determinacao de maximos e
mnimos. Considere uma funcao continuamente derivavel de todas
as ordens em uma vizinhanca de . Se f
(r)
() for a primeira derivada
nao nula, entao sua formula de Taylor em uma vizinhanca de sera
f(x) f() =
(x )
r
r!
f
(r)
( +(x )) para 0 < < 1,
sendo f
(r)
contnua em , entao ela possui o sinal de f
(r)
, em uma
vizinhanca de . Alem disso, da continuidade resulta que
lim
x
f
(r)
( +(x )) = f
(r)
().
Portanto, se r e um n umero par o sinal de f(x) f() em uma
vizinhanca de tem o sinal de f
(r)
(). Conseq uentemente,
e um ponto de mnimo de f se, e somente se, f
(r)
() > 0;
e um ponto de maximo de f se, e somente se, f
(r)
() < 0.
114 CAP
ITULO 5. DERIVADA
Captulo 6
Integral de Riemann
6.1 Introducao
Pensando-se sobre a nocao de integral como a area de uma gura
geometrica, poder-se-ia dizer que ela antecedeu a nocao de derivada.
De fato, os gregos calculavam areas de guras geometricas como
polgonos, crculos e volumes de poliedros, esferas etc. Entretanto
nao se pode dizer que tal seja a nocao de integral como pensada nos
dias de hoje. Com Newton (1643) a integral aparece como a inversa
da derivada. Para Leibniz (1686) a integral era vista como a medida
de uma area. Pode-se armar que encontra-se a o germe de uma
teoria da integracao.
Considera-se uma funcao f : [a, b] R, positiva. Esta nao e uma
hipotese restritiva. Sejam a < x < b e z = F(x) a area da superfcie
plana situada abaixo do graco de f. Observe os gracos nas Figuras
115
116 CAP
(x) = f(x).
Esta foi a interpreta cao geometrica dada por Newton.
Para Leibniz, ele considerou uma decomposicao do intervalo [a, b]
em subintervalos por meio dos pontos
a = x
1
< x
2
< x
3
< < x
n1
< x
n
= b
e considerou a soma das areas dos retangulos nos quais cou decom-
posta a superfcie abaixo do graco da f. Obtem-se
z
n
= f(x
1
)x
1
+f(x
2
)x
2
+ +f(x
n
)x
n
sendo x
x
1
= x
)x
. Portanto, a
area da faixa escura da Figura 6.1 (b) e
z
n
z
n1
= f(x
n
)x
n
e quando x
n
0 tem-se
dz
dx
= f(x).
Leibniz representa a soma z
n
dos retangulos quando x
n
0 pelo
smbolo
_
f(x)dx
118 CAP
],
com = 1, 2, . . . , n, sendo x
1
= a e x
n
= b, de modo que
[x
1
, x
2
] [x
2
, x
3
] [x
n1
, x
n
] = [a, b]
e
[x
1
, x
] [x
, x
+1
] = x
.
Toda colecao de pontos
a = x
1
< x
2
< < x
n1
< x
n
= b
determina uma decomposicao de [a, b] dada pelos subintervalos [x
1
, x
],
= 1, 2, . . . , n. Representa-se uma tal decomposicao por
D(x
1
, x
2
, . . . , x
n1
, x
n
) ou simplesmente por D.
120 CAP
= inf
x
1
xx
f(x) e M
= sup
x
1
xx
f(x).
Considere f : [a, b] R limitada e f 0. Denomina-se conjunto
ordenada de f ao subconjunto do plano R
2
denido por
(x, y); 0 y f(x), a x b,
cuja area encontra-se ilustrada nesta gura:
Figura - 6.2
Area do conjunto ordenada da f
Denir a nocao de integral para f em [a, b], consiste em estabelecer
a nocao de area do conjunto ordenada da f. Um metodo natu-
ral consiste em decompor este conjunto em subconjuntos formados
por guras cuja area seja facilmente calculada. De fato, adotar-
se a decomposicao em um n umero nito de retangulos. Constroi-
se as aproximacoes por falta denominadas somas inferiores e por
6.2. INTEGRAL DE RIEMANN 121
excesso denominadas somas superiores. A seguir sao caracterizadas
as funcoes para as quais estas aproxima coes por falta e por excesso
formam classes contguas de n umeros reais denindo, portanto, um
n umero real que sera a area do conjunto ordenada da f ou a integral
de f. Serao dadas algumas denicoes.
Considere uma decomposicao D de [a, b] e dena
s
D
=
n
=1
m
e S
D
=
n
=1
M
sendo h
= x
x
1
. A s
D
denomina-se soma inferior de f em
[a, b] e S
D
soma superior de f em [a, b]. Observando a Figura 6.3,
s
D
e a soma das areas dos retangulos abaixo do graco de f e S
D
e
a soma das areas dos retangulos que excedem o graco de f.
Figura 6.3 - Representa cao das areas dos conjuntos s
D
e S
D
Para comparar as somas, s
D
e S
D
, de uma funcao f, e necessario in-
troduzir uma ordem no conjunto das decomposicoes de [a, b]. Assim,
diz-se que uma decomposicao D de [a, b] esta contida em outra D
122 CAP
. Escreve-se D _ D
que se
le, D esta contida em D
< x
+1
< . . . < x
n
= b e
D
: a = x
1
< x
2
< . . . < x
<
x
+x
+1
2
< x
+1
< . . . < x
n
= b.
Proposicao 6.1 - Se D _ D
, entao s
D
s
D
e S
D
S
D
.
Demonstracao: Inicia-se supondo que D
< x
+1
< . . . < x
n
= b temse
D
: a = x
1
< x
2
< . . . < x
< < x
+1
< . . . < x
n
= b.
Sejam
m
= inf f(x); x
1
x e m
= inf f(x); x x
.
Tem-se m
e m
maiores ou iguasi a m
, que e o nmo de f em
[x
1
, x
]. Alem disso,
s
D
= m
1
h
1
+m
2
h
2
+ +m
1
h
1
+ m
( x
1
) +m
(x
) +m
n
h
n
m
1
h
1
+m
2
h
2
+ +m
+ +m
n
h
n
= s
D
.
Note que
m
( x
1
) +m
(x
) m
( x
1
) +m
(x
)
= m
(x
x
1
) = m
.
6.2. INTEGRAL DE RIEMANN 123
No caso geral, suponha que D
= D
k
. Pela primeira parte, tem-se,
s
D
s
D
1
s
D
2
s
D
k
= s
D
.
De modo analogo demonstra-se que se D
_ D, entao S
D
S
D
,
com D
= M
,
e denominado oscilacao da f em [x
1
, x
].
Se M e m forem o supremo e o nmo de f em [a, b], entao o
n umero positivo
w = M m,
sera denominado oscilacao da f em [a, b].
Amplitude maxima de uma decomposicao D, de [a, b], e o n umero
positivo (D) denido por
(D) = supx
x
1
, = 1, 2, . . . , n.
Note que sempre (D) b a.
Lema 6.1 - Seja D uma decomposicao de [a, b] e D
k
a decomposicao
obtida inserindo-se k pontos em D. Entao:
S
D
S
D
k
kw(D) e s
D
k
s
D
kw(D).
126 CAP
] acrescenta-
se um ponto obtendo-se uma decomposicao D
1
de D. Assim,
S
D
1
= M
1
h
1
+ +M
( x
1
) +M
(x
) + +M
n
h
n
.
Logo, S
D
S
D
1
= M
( x
1
) M
(x
). Como
[x
1
, ] e [, x
] estao contidos em [x
1
, x
], entao M
e M
. Deste modo, M
e M
.
Conseq uentemente,
S
D
S
D
1
(M
)h
.
Sendo [x
1
, x
M e m
m, ou seja, M
_
b
a
f(x) dx < e
_
b
a
f(x) dx s
D
< ,
para toda decomposicao D, com (D) < .
Demonstracao: De fato, pela denicao de nmo (propriedade
(I2)), dado > 0, existe D
, tal que
S
D
<
_
b
a
f(x) dx +
2
, pois
_
b
a
f(x) dx = inf
D
S
D
.
Seja D uma qualquer decomposicao e S
D
a correspondente soma
superior. Seja D
a decomposicao obtida de D
acrescentando todos
os pontos de D. Escreve-se D
= D D
. Tem-se D
_ D
e pela
Proposicao 6.1
S
D
S
D
.
Suponha que D
<
_
b
a
f(x) dx +
2
Logo
S
D
_
b
a
f(x) dx +
2
+kw(D)
ou
S
D
_
b
a
f(x) dx <
2
+kw(D).
128 CAP
_
b
a
f(x) dx < , para toda D com (D) < .
A parte correspondente a s
D
e analoga.
Observacao 6.1 - Note que dado um n umero 0 < < (b a), ele
pode ser amplitude maxima de uma decomposicao de [a, b]. Fixado
neste intervalo existem innitas decomposicoes D de [a, b] cuja
amplitude maxima e . Portanto, dado , seja D as decomposicoes
com amplitude maxima . Como as somas S
D
() e s
D
() dependem
de , entao elas sao correspondencias innitivocas, que representa-se
por S((D)) e s((D)) respectivamente. Serao denominadas, por
abuso de linguagem, funcoes multivicas. O que e uma nomenclatura
paradoxal, pois funcao e uma correspondencia unvoca. Entenda que,
S((D)) converge para S, se (D) 0, quando para cada > 0,
existe = (), tal que [S((D)) S[ < para (D) < , qualquer
que seja D. Idem para a convergencia de s((D)) para s.
No teorema de Darboux encontrou-se: para cada > 0, existe
= () > 0 tal que
S((D))
_
b
a
f(x) dx <
para todo (D) < e qualquer que seja D. Logo S((D)) converge
para
_
b
a
f(x) dx quando (D) 0. De modo analogo, tem-se a
outra parte do teorema de Darboux para s((D)).
6.3. SOMAS DE RIEMANN 129
6.3 Somas de Riemann
Considere f : [a, b] R limitada e D = D(x
1
, x
2
, . . . , x
n
) uma
decomposicao de [a, b]. Sejam s
D
e S
D
as correspondentes somas
inferior e superior. Deseja-se estudar a diferenca S
D
s
D
. Veja a
Figura 6.4 a seguir.
Figura 6.4 - Diferenca entre S
D
e s
D
.
A diferenca
S
D
s
D
=
n
=1
w
,
geometricamente, esta representada, na gura acima, pela colecao de
retangulos cobrindo o graco da f. Esta diferenca, a qual representa-
se por
D
=
n
=1
w
D
< para uma D, com (D) < . Logo, S
D
s
D
< . Portanto,
sendo
_
b
a
f(x) dx S
D
e
_
b
a
f(x) dx s
D
,
tem-se
_
b
a
f(x) dx
_
b
a
f(x) dx < para cada > 0,
provando que f e -integravel.
Observacao 6.2 - Como na Observacao 6.1 resulta que
D
e ((D))
e a condicao de integrabilidade de Riemann reduz-se a dizer que
((D)) 0 quando (D) 0.
Observe que na denicao de somas de Riemann, S
D
e s
D
, em-
pregou-se, em cada subintervalo de D, isto e, em cada subintervalo
[x
1
, x
], onmo m
, e o supremo M
que depende
de f com m
. Em particular, f
pertencente ao intervalo [x
1
, x
]. Deste modo,
x
1
e m
f(
) M
=1
m
=1
f(
)h
=1
M
.
Portanto, o teorema a seguir fornece um metodo para o calculo da
-integral de uma funcao.
132 CAP
=1
f(
)h
=
_
b
a
f(x)dx.
Demonstracao: Pelo teorema de Darboux, para cada > 0 dado,
existe = (), tal que (D) < e
s((D)) >
_
b
a
f(x) dx e S((D)) <
_
b
a
f(x) dx +.
Tem-se, tambem,
s((D))
n
=1
f(
)h
S((D))
para x
1
e = 1, . . . , n. Da resulta que
_
b
a
f(x) <
n
=1
f(
)h
<
_
b
a
f(x) dx +.
Se f for integravel tem-se
_
b
a
f(x) dx =
_
b
a
f(x) dx =
_
b
a
f(x)dx.
Logo, para cada > 0, existe = () > 0, tal que
_
b
a
f(x)dx <
n
=1
f(
)h
<
_
b
a
f(x)dx +
para toda D tal que (D) < , o que demonstra o teorema.
6.3. SOMAS DE RIEMANN 133
Exemplo 6.1 - Deseja-se calcular a integral de f(x) = x
2
para
a x b. A seguir, demonstra-se que f e -integravel. Sera
calculada a integral por meio do Teorema 6.3. Supondo a > 0 e
decomponha [a, b] em n partes iguais por meio dos pontos
a, a +h, a + 2h, . . . , a + (n 1)h, b com h =
b a
n
.
O intervalo de ordem sera [a + ( 1)h, a + h]. Note que as
amplitudes sao h
= h = (b a)/n. Logo
n
=1
f(
)h
= h
n
=1
f(
).
Para facilitar o calculo, suponha a = 0 e b > 0. O intervalo de ordem
sera [( 1)h, h] e escolhendo-se
= h obtem-se f(
) = h
2
2
e
n
=1
f(
)h
= h
n
=1
h
2
2
= h(h
2
+ 2
2
h
2
+ 3
2
h
2
+ +n
2
h
2
)
= h
3
(1 + 2
2
+ +n
2
) =
b
3
n
3
(1 + 2
2
+ +n
2
).
Observando que 1 + 2
2
+ +n
2
=
n
6
(n + 1)(2n + 1) tem-se
lim
(D)0
n
=1
f(
)h
= lim
n
b
3
6
_
1 +
1
n
__
2 +
1
n
_
=
b
3
3
,
ou seja
_
b
0
x
2
dx =
b
3
3
134 CAP
f(x) se f(x) 0,
0 se f(x) < 0.
Denomina-se parte negativa de f, representada por f
, a funcao
denida em [a, b] do seguinte modo:
f
(x) =
f(x) se f(x) 0,
0 se f(x) > 0.
Da, obtem-se
f = f
+
f
e [f[ = f
+
+f
,
sendo [f[ denida por [f[(x) = [f(x)[ para todo x em [a, b].
Outras duas importantes propriedades da integral de Riemann:
136 CAP
_
b
a
f(x)dx
_
b
a
[f(x)[dx.
Dada uma funcao f : [a, b] R, se f 0, entao f e posi-
tiva. Assim, pela propriedade (P1) f e -integravel, se f o e.
Portanto, se f e integravel em [a, b], entao f
+
e f
sao, tambem, -
integraveis. Logo, f
+
f
] um intervalo de D. Em
[x
1
, x
= 1 e M
= +1 para = 1, 2, . . . , n. Logo
s
D
=
n
=1
m
= (b a) e S
D
=
n
=1
M
= b a
6.4. PROPRIEDADES DA INTEGRAL DE RIEMANN 137
qualquer que seja D de [a, b]. Portanto,
_
b
a
f(x) dx = (b a) e
_
b
a
f(x) dx = b a
nao sendo f -integravel. Mas, [f(x)[ = 1, para todo a x b e
integravel.
Este e um defeito crucial da integral de Riemann. Em 1901
Lebesgue (1875) escreveu uma nota ( Acad. de Sc. de Paris, 332,
serie 1, pp. 85-90, ) propondo um novo conceito de integral que supre
varias deciencias da integral de Riemann (veja Parte, Complemento
90).
A seguir, estuda-se as classes das funcoes monotonas e das cont-
nuas, denidas em [a, b], com valores reais.
Teorema 6.4 - Seja f : [a, b] R limitada e monotona. Entao f e
integravel a Riemann.
Demonstracao: Supoe-se f crescente para xar a ideia. Seja D
uma decomposicao de [a, b] por intervalos parciais [x
1
, x
], para
= 1, 2, . . . , n . Sendo f crescente, entao tem-se
m
= f(x
1
) e M
= f(x
).
Logo,
s
D
=
n
=1
f(x
1
)h
e S
D
=
n
=1
f(x
)h
.
138 CAP
=1
[f(x
) f(x
1
)]h
(D)
n
=1
[f(x
) f(x
1
)] = (D)[f(b) f(a)].
Sendo f limitada f(b) f(a) e um n umero real, logo a desigualdade
prova que f e -integravel. De fato, f(b) f(a) > 0 e para cada
> 0 seja = () = /[f(b) f(a)]. Para toda D com (D) < ,
obtem-se
D
< . Para f decrescente a demonstracao e analoga.
Corolario 6.1 - Sejam f : [a, b] R e D uma decomposicao de
[a, b], tal que f = f
1
+f
2
+ +f
n
sendo f
monotona em [x
1
, x
].
Entao f e integravel e a integral da soma e a soma das integrais.
Teorema 6.5 - (Teorema de Cauchy) Seja f : [a, b] R contnua.
Entao f e -integravel.
Demonstracao: De fato, sendo f contnua em um intervalo fechado,
resulta do teorema de Heine-Cantor que f e uniformemente contnua.
Conseguintemente, para cada > 0, existe = () > 0, tal que
[f(x
) f(x
)[ <
2(b a)
para [x
[ < , x
, x
quaisquer.
Seja D uma decomposicao de [a, b], com (D) < . Portanto, para
quaisquer x
e x
em [x
1
, x
)
2(b a)
< f(x
) < f(x
) +
2(b a)
.
6.4. PROPRIEDADES DA INTEGRAL DE RIEMANN 139
Deste modo,
sup
x
[x
1
,x
]
f(x
) < f(x
) +
2(b a)
,
inf
x
[x
1
,x
]
f(x
) > f(x
)
2(b a)
e
Sup
x
[x
1
,x
]
f(x
) Inf
x
[x
1
,x
]
f(x
) <
b a
,
ou seja,
w
<
b a
, para toda D com (D) < .
Da, resulta que
D
=
n
=1
w
<
b a
n
=1
h
=
provando que f contnua em um intervalo fechado e -integravel.
Corolario 6.2 - Sejam f : [a, b] R e D uma decomposicao de
[a, b]. Se f = f
1
+ f
2
+ + f
n
, sendo f
contnua em [x
1
, x
],
entao f e integravel `a Riemann.
O Corolario 6.1 tem uma forma bem geral quando se estuda a
integral no contexto de Lebesgue.
Teorema 6.6 - (Teorema do Valor Intermediario - Integral) Seja
f : [a, b] R limitada e -integravel. Entao existe K entre o nmo
e o supremo de f em [a, b], tal que
_
b
a
f(x)dx = K(b a).
140 CAP
_
x
a
f(s)ds
_
x
0
a
f(s)ds
_
x
x
0
f(s)ds
M[x x
0
[.
Assim, para cada > 0, existe = () =
M
, tal que
[F(x) F(x
0
)[ para [x x
0
[ < ,
provando a continuidade, em cada ponto x, de [a, b].
A seguir, sera demonstrado que, uma condicao suciente para a
derivabilidade de F, e a continuidade da f em [a, b].
Teorema 6.7 - (Teorema Fundamental do Calculo) Suponha a
funcao f : [a, b] R contnua e x um ponto qualquer de [a, b]. Entao
a funcao
F(x) =
_
x
a
f(s)ds
e derivavel em [a, b] e F
(x) = f(x).
Demonstracao: Sendo f contnua em [a, b], pelo Teorema 6.5, f e
-integravel em [a, b] e pela Proposicao 6.3, F e contnua em [a, b].
Agora demonstra-se que a hipotese de continuidade da f implica na
derivabilidade da F. De fato, seja h > 0 tal que a x + h b.
Tem-se
F(x +h) F(x) =
_
x+h
a
f(s)ds
_
x
a
f(s)ds =
_
x+h
x
f(s)ds.
142 CAP
=1
[F(x
+1
) F(x
)] = [F(x
2
) F(a)] + [F(x
3
) F(x
2
)] +
+[F(b) F(x
n1
)] = F(b) F(a),
pois x
1
= a e x
n
= b. Do teorema do valor intermediario de Cauchy,
tem-se
F(x
+1
) F(x
) = F
)(x
+1
x
).
Sendo F uma primitiva de f em [a, b], obtem-se F
(x) = f(x) em
[a, b]. Conseq uentemente,
F(x
+1
) F(x
) = f(
)(x
+1
x
),
onde x
x
+1
. Portanto,
F(b) F(a) =
n
=1
f(
)(x
+1
x
).
Sendo f contnua, entao f e integravel. Logo, quando (D) 0,
obtem-se
F(b) F(a) =
_
b
a
f(x)dx,
que e a Formula de Newton-Leibniz.
Escolio - Se f : [a, b] R e contnua, entao F(x) =
_
x
a
f(s)ds e uma
primitiva de f, e vale a Formula de Newton-Leibniz.
Sejam f contnua e G, H duas primitivas de f. Entao, G
= f e
H
= f e a integral
_
b
a
f(s)ds. O problema fun-
damental, seria determinar a classe de funcoes f, onde estas nocoes,
se harmonisariam e valia a Formula de Newton-Leibniz. A resposta
e dada pelo Teorema Fundamental do Calculo, para a classe das
funcoes f : [a, b] R contnuas. Este resultado, e devido a Cauchy.
Com o objetivo de obter um Teorema Fundamental do Calculo, em
uma classe contendo a das funcoes contnuas, conduziu Lebesgue a
6.5. INTEGRAIS IMPR
OPRIAS 145
propor em 1901 uma nova denicao de integral, onde o referido teo-
rema e valido em uma classe mais ampla de funcoes. Esta ideia
de Lebesgue, trouxe para a matematica um progresso consideravel,
dando origem a uma nova disciplina que aparece sob a denominacao
de Integral de Lebesgue. A qual e parte obrigatoria nos programas
de matematica nas universidades (veja Parte 2, Complemento 90).
6.5 Integrais Improprias
Observe que se estudou a nocao de integral no sentido de Riemann
para funcoes limitadas em intervalos limitados [a, b]. Estuda-se a
seguir, a nocao de integral para funcoes em partes nao limitadas da
reta ou para funcoes nao limitadas em (a, b) limitado. Essas integrais
sao denominadas improprias.
(I) Uma primeira questao seria estender a nocao de integral para
funcoes limitadas mas denidas em conjuntos lineares dos seguintes
tipos:
E = x R; x > a representado por (a, +),
F = x R; x < b representado por (, b).
Com a = b = 0, o conjunto EF 0 representa-se por (, +).
De fato, seja y = f(x) uma funcao denida em (a, ), limitada e
integravel a Riemann, para todo (a, b), com b > a. Considere a
funcao
(b) =
_
b
a
f(x)dx
denida para todo b > a. Quando lim
b
(b) existir, diz-se que a
146 CAP
f(x)dx = lim
a
_
b
a
f(x)dx.
Quando f e limitada em (, +) e integravel a Riemann em
cada subintervalo (a, b) de R, e alem disto, para cada n umero real c
existem as integrais
_
c
f(x)dx e
_
+
c
f(x)dx
diz-se que f e integravel em (, +) e a soma destas duas integrais
e a integral
_
+
f(x)dx.
Note que se f e integravel em (, b), (a, +) ou (, +) e
6.5. INTEGRAIS IMPR
OPRIAS 147
F e uma primitiva de f, tem-se as regras de Calculo:
_
+
a
f(s)ds = lim
x
F(x) F(a),
_
b
_
+
f(s)ds = lim
x+
F(x) lim
x
F(x).
Exemplo 6.3 -
(a)
_
0
e
s
ds = lim
x
(e
x
) + 1 = 1 lim
x
e
x
= +1,
(b) lim
b
_
b
0
e
s
ds = lim
b
e
b
+ 1 diverge para +.
Note-se que y = e
x
e integravel em todo intervalo fechado [a, b] de
(0, +) mas nao e integravel em (0, +). Uma funcao
y = f(x), para < x < +, integravel em todo subintervalo
fechado [a, b] da reta R, diz-se localmente integravel em R. Note
que a funcao pode ser localmente integravel mas nao ser integravel.
Por exemplo, f(x) = e
x
para x R, e localmente integravel em R
mas nao e integravel em R. Se f e integravel em R ela e localmente
integravel em R.
Exemplo 6.4 - Considere f(x) = cos x para 0 x < . Obtem-se
para todo intervalo (0, b) com b > 0, que
_
b
0
cos s ds = sen b
148 CAP
dx
1 +x
2
Se F(x) = arctg x com /2 < x < +/2 resulta que F e uma
primitiva de f(x) = 1/(1 +x
2
) Logo,
_
+
0
dx
1 +x
2
= lim
b
arctg b =
2
_
0
dx
1 +x
2
= lim
a
arctg a =
2
.
Portanto, como foi denido,
_
+
dx
1 +x
2
=
_
0
dx
1 +x
2
+
_
+
0
dx
1 +x
2
= .
(II) Sera examinado o caso em que f : [a, b) R com a e b
n umeros reais, mas f possui uma singularidade em b. De fato,
suponha que f seja integravel `a Riemann em cada subintervalo
[a, b ] de [a, b) para > 0. Assim, a integral de f em [a, b ] e
uma funcao de > 0 denida por
I() =
_
b
a
f(x)dx.
6.5. INTEGRAIS IMPR
OPRIAS 149
Quando I() possui limite I
0
quando tende para zero, diz-se
que I
0
e a integral generalizada, segundo Cauchy, de f em [a, b).
Dene-se
_
b
a
f(x)dx = lim
0
_
b
a
f(x)dx.
Suponha que exista um ponto a < c < b no qual f nao e limi-
tada. Seja f integravel em cada subintervalo [a, c ] e [c +
, b] de
[a, b] com > 0 e
0
_
b
c+
f(x)dx
diz-se que f possui integral impropria em [a, b] e
_
b
a
f(x)dx = lim
0
_
c
a
f(x)dx + lim
0
_
b
c+
f(x)dx
com > 0 e
> 0 independentes.
Antes de prosseguir com esta analise, considera-se um exemplo.
Seja f(x) = 1/x em [1, ] e [
, 1] com > 0 e
> 0.
Tem-se
_
1
dx
x
+
_
1
dx
x
= log log
= log
,
sendo log [x[ uma primitiva de 1/x. Logo, se e
forem inde-
pendentes nao existira limite de log
quando
0 e 0.
Entretanto, se =
0
_
b
f(x)dx,
150 CAP
, isto e existe
lim
0
_
_
a
f(x)dx +
_
b
f(x)dx
_
.
O limite com =
f(x)dx
_
.
Como exemplo obtem-se
vp
_
+1
1
dx
x
= lim
0
_
_
1
dx
x
+
_
+1
dx
x
_
= 0.
Note que o estudo das integrais improprias reduz-se ao estudo do
comportamento de funcoes quando o argumento tende para + ou
e quando 0. Portanto, deve ser feito por meio do teorema
de Cauchy sobre existencia de limite de uma funcao f. Os detalhes
nao serao feitos nestas licoes.
Captulo 7
Complementos &
Exerccios
Parte 2
Nota
Esta parte do livro traz alguns exerccios sobre os resultados
provados na primeira parte. Na esperanca de familiarizar o leitor
com alguns outros aspectos da Analise Matematica, determinados
topicos foram includos como complementos. Sao muito educativos
os Complementos 86, contendo a bela demosntra cao de Lebesgue do
Teorema de Aproxim cao de Weierstrass e 90, sobre a criacao, por
151
152 CAP
ICIOS
Lebesgue, de um conceito de integral que inuenciou decisivamente
o desenvolvimento da Matematica.
1. Dene-se como polinomio de grau m, na variavel x, com coe-
cientes racionais a
0
, a
1
, . . . , a
m1
, a
m
, a toda expressao algebrica do
tipo
P(x) = a
0
x
m
+a
1
x
m1
+ +a
m1
x +a
m
.
Os n umeros a
0
, a
1
, . . . , a
m
denominam-se coecientes do polinomio.
No presente contexto o x varia no conjunto R, dos n umeros reais.
Assim, P(x) dene uma funcao P : R R, x P(x), denominada
de funcao polinomial. Se esta for nula, resulta que P(x) = 0, para
todo x R. Se todos os coecientes de P(x) sao nulos, entao P(x) e
identicamente nula. Reciprocamente, se P(x) = 0, para todo x R,
entao seus coecientes sao todos nulos. Para provar esta assercao
raciocina-se por inducao sobre o grau m. Se m = 1 vem a
0
x+a
1
= 0
para todo x R. Logo em x = 0 vem a
1
= 0 e da a
0
= 0. Suponha
a armacao verdadeira para um polinomio de grau m 1. Tem-se
2
m
P(x) = 0 e P(2x) = 0 para todo x R. Resulta que
2
m
P(x) P(2x) = 0 para todo x R.
Portanto, obtem-se
(2
m
2
m1
)a
1
x
m1
+ (2
m
2
m2
)a
2
x
m2
+ +
(2
m
2)a
m1
x + (2
m
1)a
m
= 0,
para todo x R. Sendo valido para o grau m 1, por hipotse da
inducao, resulta que (2
m
2
mj
)a
j
= 0 para j = 1, 2, . . . , m o que
153
implica a
1
= a
2
= = a
m
= 0. Portanto, o polinomio reduz-se a
a
0
x
m
= 0 para todo x R. Fazendo-se x = 1, resulta a
0
= 0.
Conclui-se, assim, que uma condicao necessaria e suciente para
que P(x) = 0 para todo x R, e que seus coecientes sejam todos
nulos.
Como conseq uencia deste resultado deduz-se uma relacao de igual-
dade entre polinomios. De fato, suponha que P(x) e Q(x) sejam
polinomios de mesmo grau m com coecientes a
0
, a
1
, . . . , a
m1
, a
m
e
b
0
, b
1
, . . . , b
m1
, b
m
. Se P(x) = Q(x) para todo x R, resulta que
P(x) Q(x) = (a
0
b
0
)x
m
+ (a
1
b
1
)x
m1
+ +
(a
m1
b
m1
)x + (a
m
b
m
) = 0
para todo x. Logo, a
0
= b
0
, a
1
= b
1
, . . . , a
m
= b
m
.
Deseja-se aplicar os resultados anteriores no calculo dos coe-
cientes do quociente da divisao de P(x), do grau m, pelo binomio
x a. De fato, como x a e de grau um, o quociente da divisao de
P(x) por (x a) sera um polinomio de grau m1 e o resto de grau
zero, isto e, uma constante. Se Q(x) for o quociente e R o resto,
tem-se
P(x) = (x a)Q(x) +R
para todo x R. Desta relacao conclui-se que o resto R e P(x)
calculado em a, isto e, R = P(a). Portanto, se P(a) = 0 o polinomio
P(x) e divisvel por x a.
Exemplo: O polinomio P(x) = x
3
6x
2
+ 11x 6 e divisvel por
x 1, pois P(1) = 0.
154 CAP
ICIOS
Se a
0
, a
1
, . . . , a
m1
, a
m
e b
0
, b
1
, . . . , b
m2
, b
m1
sao os coecientes
de P(x) e Q(x), obtem-se
_
a
0
x
m
+a
1
x
m1
+a
m1
x +a
m
_
=
(x a)
_
b
0
x
m1
+b
1
x
m2
+ +b
m2
x +b
m1
_
+R.
Da resulta
a
0
x
m
+a
1
x
m1
+ +a
m1
x +a
m
= b
0
x
m
+ (b
1
ab
0
)x
m1
+
(b
2
ab
1
)x
m2
+ + (b
m1
ab
m2
)x +R ab
m1
ICIOS
Solucao: Deve-se calcular lim
x2
x
7
2
7
x2
para x ,= 2. Esta funcao
nao e denida em 2 mas o polinomio P(x) = x
7
2
7
e divisvel por
x 2, pois o resto, R, da divisao e igual a P(2) = 0. Aplicando-se o
dispositivo de Runi, obtem-se para P(x)
a
0
= 1, a
2
= 0, a
3
= 0, a
4
= 0, a
5
= 0, a
6
= 0, a
7
= 2
7
.
O quociente Q(x) e de grau seis dado por
Q(x) = b
0
x
6
+b
1
x
5
+b
2
x
4
+b
3
x
3
+b
4
x
2
+b
5
x +b
6
,
com os b
k
dados pelo algoritmo de Runi. Obtem-se
1 0 0 0 0 0 0 2
7
2 b
0
b
1
b
2
b
3
b
4
b
5
b
6
R
1 2 4 8 16 32 64 2 64 2
7
Portanto,
x
7
2
7
x 2
= x
6
+ 2x
5
+ 4x
4
+ 8x
3
+ 16x
2
+ 32x + 64
e
lim
x2
x
7
2
7
x 2
= 7 2
6
que e a derivada no ponto 2.
Calcule a derivada de f(x) = x
m
no ponto x = a para m N.
Calcule a derivada de f(x) =
5
x no ponto x = 2.
Solucao: Deve-se calcular
lim
x2
5
x
5
2
x 2
para x ,= 2.
157
Fazendo-se =
5
x e =
5
2 obtem-se
5
x
5
2
x 2
=
5
reduzindo-e ao caso anterior. Obtem-se por meio do algoritmo de
Runi
lim
5
= 5
4
.
Logo,
lim
x2
5
x
5
2
x 2
= lim
5
=
1
5
4
=
1
2
5
2
4
x, m N,
x > 0, a > 0, pela denicao de derivada no ponto a.
2. Considere a equacao algebrica
a
0
x
n
+a
1
x
n1
+ +a
n1
x +a
n
= 0 (1)
com coecientes em Z e seja p/q um racional com p primo com q.
Mostre que uma condicao necessaria para que p/q seja raiz da
equacao (1) e que p seja divisor de a
n
e q divisor de a
0
.
Quais n umeros p/q poderiam ser razes da equacao
6x
3
+ 10x
2
3x + 7 = 0.
De uma condicao sobre a
0
e a
n
em (1) para que a equacao so
possua razes inteiras.
Mostre, por meio do criterio acima, que os n umeros
3
2,
3,
2+
n+
n + 1 nao e racional
para n N.
158 CAP
ICIOS
3. Dado um n umero real positivo e um n umero natural n, prove
que existe um unico real positivo x tal que x
n
= .
Solucao: A unicidade resulta do fato de x e y sendo solucoes implica
que x
n
= y
n
. Da tem-se x = y.
A existencia sera provada por meio da construcao de um corte de
Dedekind nos racionais como foi feito para resolver x
2
= .
Coloca-se em uma classe H
tais que h
n
< . Em outra classe H
todos
os racionais positivos h
tais que h
n
> . Note que H
e nao vazia.
De fato, coloca-se em H
, H
, H
). Sendo
0 H
o que implica h
n
n
h
n
.
Por denicao de H
e H
tem-se h
n
< < h
n
. Das desigualdades
anteriores obtem-se:
[
n
[ h
n
h
n
.
Do Exerccio 1, obtem-se:
h
n
h
n
= (h
)(h
n1
+h
n2
h
+ +h
n1
+h
n1
)
159
Considerando em H
n
h
n
< nK
n1
(h
).
Sendo H
, H
e h
tais que
h
<
nK
n1
Portanto, para cada > 0 tem-se [
n
[ < .
4. Considere os n umeros reais positivos a < b. Dene-se
a
1
=
ab , b
1
=
a +b
2
a
2
=
_
a
1
b
1
, b
2
=
a
1
+b
1
2
.
.
.
a
n
=
_
a
n1
b
n1
, b
n
=
a
n1
+b
n1
2
.
Mostre que
A = a
1
, a
2
, . . . , a
n
, . . . e B = b
1
, b
2
, . . . , b
n
, . . .
sao classes contguas em R e denem um R tal que
ab < <
a +b
2
Sugestao: (
b)
2
0. Da vem 2
ICIOS
Note que a
1
=
ab > a pois b > a. Tambem obtem-se a
n
a
n1
e b
n
b
n1
. Sendo b
1
a
1
=
1
2
(
a)
2
1
2
(b a), de onde
obtem-se b
n
a
n
1
2
n
(b a).
5. Dados os n umeros reais positivos a < b, dene-se
a
1
=
1
1
2
(
1
a
+
1
b
)
=
2ab
a +b
, b
1
=
a +b
2
a
2
=
2a
1
b
1
a
1
+b
1
, b
2
=
a
1
+b
1
2
,
e por inducao dene-se a
n
e b
n
para todo n N.
Mostre que as classes
A = a
1
, a
2
, . . . , a
n
, . . . e B = b
1
, b
2
, . . . , b
n
, . . .
sao contguas e denem o n umero .
Mostre que A possui um supremo S e B um nmo I, sendo
I = S = .
Sugestao:
a
1
=
ab
1
2
(a +b)
=
ab
b
1
1
2
(a +b)
2
b
1
=
b
2
1
b
1
= b
1
Por inducao a
n
< b
n
para todo n N. Tambem
a
1
= a
_
1
1
2
(a +b)
_
a porque
1
2
(a +b) < b.
Da a
n
a
n1
e b
n
b
n1
para n N. Tem-se
b
1
a
1
1
2
(b a) porque a
_
b
1
2
(a +b)
_
< a
161
pois a < (a +b)/2 < b.
Observacao - O n umero a
1
denomina-se media harmonica de a
e b, representada por M
h
. O n umero (a + b)/2 denomina-se media
aritmetica e
r
1
a
2
.
.
.
.
.
.
a
n
=
a
n1
+r
n1
2
, r
n
=
r
n1
a
n
para todo n N.
Mostre que
A = a
1
, a
2
, . . . , a
n
, . . . e B = r
1
, r
2
, . . . , r
n
, . . .
sao classes contguas e denem um real .
Sugestao: a
2
= (a
1
+r
1
)/2 > a
1
pois r
1
> a, a
2
= (a
1
+r
1
)/2 < r
1
e
r
2
=
r
1
a
2
< r
1
. De modo geral
a
n
< a
n1
e r
n
> r
n1
para todo n N.
Tem-se, tambem
r
2
a
2
=
r
1
a
2
a
1
+r
1
2
<
r
1
+a
2
2
a
1
+r
1
2
=
1
2
(a
2
a
1
) =
1
2
_
a
1
+r
1
2
a
1
_
=
1
2
2
(r
1
a
1
).
162 CAP
ICIOS
Da resulta r
n
a
n
< 1/2
n
(r
1
a
1
).
Observacao - Esta sucessao e obtida quando calcula-se o n umero
pelo metodo dos isopermetros. Neste caso, considerando-se a
1
= 1/4
e r
1
=
2, a
n+1
=
2 +a
n
para todo n N.
Prove que (a
n
) converge e calcule seu limite.
Sugestao: Mostre que (a
n
) e crescente e limitada. Tem-se a
1
< 2,
a
2
< 2, . . .
9. Calcule o limite da sucessao a
n
= a
n
/n! sendo a > 0.
Sugestao: Seja m N tal que a/(m + 1) < 1/2 Para n > m
obtem-se:
a
n
n!
=
a
n
m!
a
m+ 1
a
m+ 2
. . .
a
n
a
m
m!
_
1
2
_
nm
=
(2a)
m
m!
1
2
n
163
10. Calcule o limite lim
n
n
n!
n
com n N.
Sugestao: Ver Parte 1, Captulo 3, teorema de Cesaro. Demonstrou-
se que
lim
n
n
a
n
= lim
n
a
n+1
a
n
quando o segundo limite existe e a
n
> 0. Fazendo a
n
= n!/n
n
tem-se
n
a
n
= b
n
e
lim
n
a
n+1
a
n
= lim
n
_
n
n + 1
_
n
=
1
e
ICIOS
Sugestao: Observe que o termo geral a
n
e uma fracao cujo denomi-
nador e uma potencia de 3 e o numerador e a soma dos termos da
fracao anterior. Assim
13
27
=
9 + 4
3
3
=
3
2
+ 2
2
3
3
=
3
2
+ 3 + 1
3
3
14. Determine os valores aderentes das sucessoes
a
n
= (1)
n
1
n
e b
n
= (1)
n
n
n + 1
n=1
n!
n
n
(converge)
n=1
a
n
n
n
(converge para [a[ < 1)
n=1
1
n
_
x
x + 4
_
n
(converge para [x[ < 4)
n=1
(1)
x
n
n2
n
(converge para [x[ < 1).
16. Considere as series:
n=1
1
tg
n
_
8
+
1
n
_
n=1
1
2
n
tg
n
_
4
+
1
n
_
n=1
n
e
n
165
Mostre que a primeira diverge e as outras duas convergem.
17. Considere a serie
n=1
_
1
(n 1)x + 1
1
nx + 1
_
Calcule a reduzida S
n
.
Mostre que a serie converge para 1.
18. Mostre que se a sucessao (a
n
), com a
n
> 0, e uma progressao
aritmetica, de razao r > 0, entao a serie
n=1
1/a
n
e harmonica.
Sugestao: Seja a
n
= a + nr onde a > 0 e r e a razao. Calcule a
media harmonica de 1/(a + (n 1)r) e 1/(a + (n + 1)r)
19. Considere a progressao aritmetica (a
n
) do Exerccio 18 e a
serie, com a
1
> 0, dada por
1
a
1
a
2
+
1
a
2
a
3
+ +
1
a
n1
a
n
+
Calcule a reduzida S
n
Calcule lim
n
S
n
.
Sugestao: Observe que
1
a
k1
1
a
k
=
a
k
a
k1
a
k1
a
k
=
r
a
k1
a
k
Da
n
k=2
r
a
k1
a
k
=
_
1
a
1
1
a
2
_
+
_
1
a
2
1
a
3
_
+ +
_
1
a
n1
1
a
n
_
=
1
a
1
1
a
n
= r
(n 1)
a
1
a
n
166 CAP
ICIOS
Logo
S
n
=
n 1
a
1
a
n
, a
n
= a
1
+ (n 1)r,
portanto,
S
n
=
(n 1)
a
2
1
+a
1
(n 1)r
e lim
n
S
n
=
1
a
1
r
Aplicacao: Quando a
n
= n para todo n N, obtem-se a serie
1
1 2
+
1
2 3
+ +
1
(n 1)n
+ =
n=1
1
n(n + 1)
,
estudada no texto. Sendo a
1
= 1, r = 1 e a soma da serie 1.
20. Demonstrou-se na Parte 1, Captulo 3 e, com outro metodo, no
Exerccio 19, que
n=1
1
n(n + 1)
= 1.
Por meio deste resultado, obtenha a soma da serie convergente
n=1
1
n(n +p)
, p N, p xo.
Solucao: Para descobrir o processo para somar esta serie, experi-
menta-se o caso p = 2. Note que a serie converge pois e dominada
pela serie convergente
n=1
1/n
2
. Assim para p = 2
2
k=1
1
k(k + 2)
=
k=1
_
1
k
1
k + 1
_
.
167
Se S
n
for a reduzida da serie para p = 2 tem-se
2 S
n
=
n
k=1
1
k
n
k=1
1
k + 2
k=1
1
k + 2
=
n+1
k=2
1
k + 1
=
n
k=1
1
k + 1
1
2
+
1
n + 1
Substituindo em 2 S
n
, resulta
2 S
n
=
n
k=1
1
k(k + 1)
+
1
2
1
n + 1
reduzindo-se ao caso p = 1. Tomando limite obtem-se
2
k=1
1
k(k + 2)
= 1 +
1
2
k=1
1
k(k +p)
= 1 +
1
2
+ +
1
p
k=1
1
k(k +p + 1)
=
1
p + 1
k=1
_
1
k
1
k +p + 1
_
.
168 CAP
ICIOS
A soma parcial S
n
e
(p + 1)S
n
=
n
k=1
1
k
n
k=1
1
k +p + 1
k=1
1
k(k +p)
+
1
p + 1
1
n +p + 1
k=1
1
k(k +p + 1)
=
1
p + 1
_
1 +
1
2
+
1
3
+ +
1
p
+
1
p + 1
_
.
21. Dado > 0, estudar a convergencia da serie
sen
_
x
a
_
+ sen
_
x
a + 1
_
+ + sen
_
x
a +n
_
+ ,
sendo sen
_
x
a+1
_
=
_
sen
x
a+1
_
. Supoe-se
a > 0, x > 0 e 0 <
x
a
<
2
Solucao: O seno e crescente em [0, /2] e seus valores estao no
intervalo [0, 1]. Logo
0 < sen
_
x
a +n
_
< sen
x
a
< 1 em
_
0,
2
_
.
Para > 1, 0 < sen
_
x
a+n
_
< sen
_
x
a
_
< 1. Assim, tem-se que
sen
x
a+n
<
x
a+n
Portanto, a soma parcial S
n
possui a propriedade
S
n
< x
_
1
a
+
1
(a + 1)
+ +
1
(a +n)
_
.
169
(S
n
) e convergente porque > 1. Logo
n=1
sen
_
x
a+n
_
converge se
> 1. Suponha 0 < < 1. Sabe-se que
lim
n
sen
_
x
a+n
_
x
a+n
= 1.
Portanto, para n > m
sen
_
x
a +n
_
> k
_
x
a +n
_
para 0 < k < 1, k xo.
Resulta que
sen
_
x
a +m
_
+ sen
_
x
a +m+ 1
_
+ + sen
_
x
a +n
_
>
k
_
1
(a +m)
+
1
(a +m+ 1)
+ +
1
(a +n)
_
,
que diverge pois 0 < < 1. Diverge, tambem, para = 0 e = 1.
22. Processo de Cauchy e Cesaro para Series - No estudo das
series adotou-se o processo de Cauchy para denir a soma
n=1
u
n
.
Relembrando, deniu-se para cada n N a soma
S
n
=
n
k=1
u
k
,
denominada soma parcial ou reduzida de ordem n. Quando esta
sucessao (S
n
) converge dene-se, segundo Cauchy,
n=1
u
n
= lim
n
S
n
.
170 CAP
ICIOS
Todavia, ha outros processos para dar sentido ao smbolo
n=1
u
n
,
denominado serie de termo geral u
n
.
Discute-se, no presente complemento, um processo para somar
series, denominado medias de Cesaro. De fato, dada a serie
n=1
u
n
considera-se a sucessao (S
n
) de suas reduzidas. Dene-se uma nova
sucessao (
n
) por
n
=
1
n
(S
1
+S
2
+ +S
n
)
denominada media de Cesaro.
Diz-se que a serie
n=1
u
n
e convergente, segundo Cesaro, quando
e convergente a sucessao (
n
) das medias de Cesaro e escreve-se
n=1
u
n
= lim
n
n
.
Casos ha em que
n=1
u
n
nao converge segundo Cauchy mas converge
segundo Cesaro. Realmente dada a serie
n=1
(1)
n1
= 1 1 + 1 . . . ,
tem-se S
2n
= 0 e S
2n+1
= 1. Resulta que (S
n
) nao converge,
provando que a serie nao converge segundo Cauchy. Por outro lado,
considere a sucessao (
n
) das medias de Cesaro. Obtem-se
2n
=
S
1
+S
2
+ +S
2n
2n
=
n
2n
=
1
2
,
171
2n+1
=
S
1
+S
2
+ +S
2n
2n + 1
+
S
2n+1
2n + 1
=
n
2n + 1
+
1
2n + 1
Portanto, lim
n
n
=
1
2
, provando que a serie
n=1
(1)
n1
converge
segundo Cesaro, tendo-se
1 1 + 1 =
1
2
,
no sentido de Cesaro.
Note-se que (S
n
) converge para S entao (
n
) converge para S. e
conseq uencia do Criterio de Cesaro (ver Cap. 3, Parte 1).
Historia: Indagando sobre esta soma innita de parcelas
1 1 + 1 . . .
o monge italiano Guido Gandi, professor da Universidade de Pisa,
Italia, armava que esta soma valia 1/2 Isto aconteceu muito antes
da denicao de convergencia de series formulada no seculo XIX. Ele
justicava por um processo intuitivo, nao matematico, como sera
descrito a seguir. Dizia ele que o n umero 1 representa uma perola
que certo senhor, ao morrer, deixou como heranca para duas lhas,
sob a condicao de cada lha guardar consigo a perola durante um dia
e no dia seguinte entrega-la a outra lha que lhe devolveria no dia
seguinte. Este processo se repetindo alternadamente ad innitum.
Deste modo ao m de muitos anos tudo se passaria como se cada
lha possuisse a metade da perola, isto e, cada lha seria dona de
metade da perola. O monge conclua que
1 1 + 1 =
1
2
172 CAP
ICIOS
Veja D. Struik - A concise history of mathematics, Dover Publica-
tions, Inc. NY (1948) pp. 176-177.
23. Calcule lim
n
1
n
n
_
(n + 1)(n + 2) . . . (n +n).
Solucao: Recorde-se que do teorema de Cesaro, Parte 1, Cap. 3,
obtem-se
lim
n
n
a
n
= lim
n
a
n+1
a
n
desde que o segundo limite exista. De fato, seja
a
n
=
1
n
n
((n + 1)(n + 2) . . . (n +n)) , logo
a
n+1
=
1
(n + 1)
n+1
[(n + 2)(n + 3) . . . (n +n)(2n + 1)(2n + 2)] .
Da, obtem-se
a
n+1
a
n
=
(2n + 1)(2n + 2)
(n + 1)
2
_
n
n + 1
_
2
.
Portanto,
lim
n
n
a
n
= lim
n
a
n+1
a
n
=
4
e
x
2
se x Q
0 se x R Q,
(i)
g(x) =
senx se x Q
x se x R Q.
(ii)
Estas funcoes sao derivaveis em x
0
= 0 ?
Solucao: ii) Deve-se calcular lim
x0
g(x)g(0)
x
para x racional e x
irracional.
Suponha x racional. Tem-se g(x) = senx, logo
lim
x0
g(x) g(0)
x
= lim
x0
senx
x
= 1,
174 CAP
ICIOS
pois 0 e racional sendo g(0) = 0.
Suponha x irracional. Note que g(0) = 0 pois 0 e racional e
g(x) = x nos irracionais. Logo,
lim
x0
g(x) g(0)
x
= lim
x0
x
x
= 1.
Logo, g e derivavel em x
0
= 0 e g
(0) = 0.
27. Considere a funcao
h(x) =
senx se x Q
x
2
se x R Q.
Mostre que h nao e derivavel em x
0
= 0.
28. Considere a funcao
h(x) =
cos x se x Q
x
2
se x R Q.
Calcule lim
x0
h(x)h(0)
x
para x Q e x R Q.
29. Mostre que a funcao f do Exerccio 26 e contnua apenas em
x
0
= 0.
30. Esboce os gracos das funcao f, g e k dos exerccios anteriores.
31. Considere a funcao f(x) = log(1 + x) para x R e x 0.
Escreva a formula de Taylor de f ate a ordem n = 2 em x
0
= 0.
Deduza que log(1 +x) x possui a ordem de x
2
, isto e, conclua que
[ log(1 +x) x[ < x
2
/2.
175
Solucao: Tem-se f(x) = f(0) + f
(0)x +
1
2
f
()x
2
para todo
0 < < x. Fazendo as derivadas f
, f
e sendo = x para
0 < < 1, obtem-se [ log(1 +x) x[ < 1/2x
2
.
32. Para x > 0 considere a serie
1 +
xlog x
1
+
(xlog x)
2
2!
+ +
(xlog x)
n
n!
+
Mostre que converge em valor absoluto em (0, 1). Qual sua soma
neste intervalo de convergencia.
Sugestao: Faca o graco da funcao x xlog x em (0, 1). Deve
mostrar que lim
x0
xlog x = 0, calcular os intervalos onde a funcao
cresce e decresce. Deduza que [xlog x[ < 1/e logo a serie e majorada
por
n=1
k
n
/n! A soma da serie e e
xlog x
= x
x
, em (0, 1).
33. Mostre que f(x) = x
n
(1 x)
n
para n N e x R esta nas
condicoes do teorema de Rolle em (0, 1). Calcule o do teorema de
Rolle em (0, 1).
Sugestao: Examine a continuidade de f e calcule f(0) = f(1).
Resulta f
ICIOS
contraditorio porque s pode ser um irracional e f() e um racional.
Logo f e constante.
35. Esboce o graco das funcoes
f(x) =
_
x [x]; g(x) = (x [x])
2
e h(x) = [x] + (x [x])
2
,
onde [x] representa a parte inteira do n umero real x.
36. Considere a funcao f : (0, ) /2 R denida por
f(x) =
e
tg x
1
e
tg x
+ 1
+x ,=
2
Calcule os limites laterais de f em 1/2
Resposta: lim
x
2
+
f(x) = 1 e lim
x
f(x) = +1.
37. Calcule lim
n
n
r=1
n
n
2
+r
2
por meio da denicao de integral de
Cauchy de f(x) = 1/(1 +x
2
) no intervalo [0, 1].
Solucao: Decompondo [0, 1] pelos pontos
0 <
1
n
<
2
n
< <
n 1
n
< 1
a soma de Riemann correspondente e
S
n
=
n
r=1
1
n
f
_
r
n
_
=
n
r=1
n
n
2
+r
2
Sendo f contnua em [0, 1], f e integr avel, logo
lim
n
n
r=1
n
n
2
+r
2
=
_
1
0
dx
1 +x
2
= arctg1 arctg0 =
4
177
De modo analogo, prove que lim
n
n
r=1
1
1+r
= log 2.
38. Calcule lim
n
1
n
[(n + 1)(n + 2) . . . (n +n)]
1/n
por meio da in-
tegral de f(x) = log(1 +x) para 0 x 1 (Veja Ex. 23).
Solucao: Considere a sucessao
S
n
=
__
1 +
1
n
__
1 +
2
n
_
. . .
_
1 +
n
n
__
1/n
.
Este e outro modo de obter o limite procurado. Tomando log de
ambos os membros, resulta
log S
n
=
n
r=1
1
n
log
_
1 +
r
n
_
.
Da denicao de integral obtem-se
lim
n
n
r=1
1
n
log
_
1 +
r
n
_
=
_
1
0
log(1 +x)dx = log
4
e
Da resulta lim
n
S
n
= 4/e
Observacao -
_
1
0
log(1+x) dx =
_
log z
0
ze
z
dz = por partes = log
4
e
,
com a mudanca de variaveis z = log(1 +x).
39. Considere
S
n
=
1
n
__
4
n
_
2
+
_
8
n
_
2
+
_
12
n
_
2
+ +
_
4n
n
_
2
_
.
Calcule lim
n
S
n
.
178 CAP
ICIOS
Solucao: Obtem-se
S
n
=
1
n
3
_
4
2
+ 8
2
+ 12
2
+ + (4n)
2
_
=
16
n
3
_
1
2
+ 2
2
+ 3
2
+ +n
2
_
=
16
n
3
n(n + 1)(2n + 1)
6
Da, resulta lim
n
S
n
= 16/3
40. Seja f : [a, b] R contnua e F uma primitiva de f. Calcule
d
dx
_
_
x
a
f(s) ds F(x)
_
, para a < x < b.
41. Seja f : [a, b] R contnua. Mostre que, se
_
f(x) dx =
2
2
para todo a < < < b, entao f(x) = 2x. A recproca vale.
Sugestao: Considere = x e aplique o teorema fundamental do
Calculo.
42. Calcule a derivada em relacao a x da funcao
f(x) =
_
x
0
sent
1 +t
2
dt, x > 0,
no ponto x = /4
43. Calcule a derivada em relacao a x da funcao g(x) =
_
x
0
cos
7
t dt
no ponto x = 3.
179
44. Seja f : [0, 1] R contnua e 0 < < < 1. Mostre que
lim
n
_
(x )
n
f(x) = 0.
Sugestao: Aplique o teorema do valor intermediario para integral
de Cauchy.
45. Determine f : [0, 1] R contnua, tal que
_
1
0
f(x) d = nf(x), para todo 0 < x < 1.
Sugestao: Faca a mudanca de variaveis z x e aplique o teorema
fundamental do calculo para obter f = nf +nxf
, e da f.
46. Considere a funcao f : R R denida por
f(x) =
x se x irracional
0 se x racional.
Mostre que f e contnua no zero mas nao e derivavel.
47. Seja : N R a funcao gamma, a qual e denida por
(n) =
_
0
e
x
x
n1
dx.
Mostre que a integral impropria converge.
Mostre que (1) = 1.
Integrando por partes deduza que (n) = (n 1)(n 2)
Calcule, pelas propriedades anteriores
_
0
e
x
x
5
dx.
180 CAP
ICIOS
Mostrar que as propriedades anteriores valem se em vez de N con-
siderar os n umeros reais positivos.
48. Considere f : [0, ) R contnua, com 0 < f(x) < M/x
,
M > 0 e > 1. Mostre que a integral impropria
_
1
f(x) dx converge.
49. Considere a funcao f : R R denida por
f(x) =
_
x
0
sent
1 +t
2
dt. Calcule lim
x0
f(x)
x
2
Calcule
Sugestao: Aplique o teorema fundamental do calculo, a regra de
LHospital conclua que o limite e 1/2
50. Seja f : R R contnua com derivada contnua. Mostre que a
sucessao (
n
(n)) denida por
n
(n) = n
_
f
_
x +
1
n
_
f(x)
_
converge para f
(x).
51. Represente por S
1
(n) = 1 + 2 + + n =
n(n + 1)
2
, n N.
Mostre que
S
2
(n) = 1
2
+ 2
2
+ +n
2
=
1
6
n(n + 1)(2n + 1).
181
Sugestao: Considere a identidade (k+1)
3
k
3
= 3k
2
+3k+1. Fa ca
k = 0, 1, 2, . . . , n e some membro a membro. Como calcular S
3
(n) e
S
4
(n) ?
52. Considere uma funcao f : [0, 1] R contnua. Mostre que
lim
n
1
n
n
k=1
f
_
k
n
_
=
_
1
0
f(x) dx.
53. Considere a sucessao (P
n
), sendo P
n
denido por
P
n
= cos a cos
a
2
cos
a
2
2
cos
a
2
n
,
para todo n N. Calcule lim
n
P
n
.
Resumo da Solucao: Sabe-se da trigonometria que
sen2x = 2 senx cos x ou seja cos x =
sen2x
2 senx
ICIOS
55. Considere a sucessao
a
n
=
_
n
(n1)
senx
x
dx
para x > 0 e n N, tal que o integrando e igual a um no ponto
x = 0. Mostre que a serie
n=1
(1)
n
a
n
e convergente.
Sugestao: Observe que a
n+1
= a
n
, com a mudanca de variaveis
z = x na integral. Sendo a
n
positiva ou negativa, a
n
a
n
.
Portanto (a
n
) e decrescente. Tem-se, tambem,
a
n
=
_
(n+1)
n
senx
x
dx <
_
(n+1)
n
dx
x
<
_
(n+1)
n
dx
n
=
1
n
,
para todo n N. Logo (a
n
) converge para zero e como conseq uencia,
a serie alternada
n=1
(1)
n
a
n
converge. Isto implica a convergencia
da integral impropria
_
0
senx
x
dx
Integrais Improprias e Series Numericas
56. Sera analisada a relacao entre integrais improprias de certas
funcoes f : [1, ) R e as series numericas. O resultado a seguir
e atribudo a Mac Laurin (1742) e Cauchy.
Considere f : [1, ) R contnua, positiva e decrescente, isto
e, se x
1
x
2
resulta f(x
1
) f(x
2
). Mostra-se, a seguir, que
183
uma condicao necessaria e suciente para que a integral impropria
_
1
f(x) dx seja convergente e que a serie numerica
n=1
f(n) o seja.
0
y
f
g
1 2 3 N N-1
x
h
h
h
g
g
g
Fig.1
Acompanhar pelo graco acima. De fato, serao consideradas as
funcoes escadas
g(x) = f([x]) e h(x) = f([x] + 1), onde [x] e a parte inteira de x.
As funcoes g e h sao constantes nos intervalos
[1, 2), [2, 3), . . . , [N 1, N), . . .
como pode ser constatado geometricamente na Figura 1 acima. No
intervalo n x n + 1, tem-se
g(x) = f([x]) = f(n) e h(x) = f([x] + 1) = f(n + 1).
Resulta que g e h sao integraveis em todo intervalo [1, b) com b < .
Sendo f decrescente obtem-se h(x) f(x) g(x) para todo x em
184 CAP
ICIOS
[1, ). Logo,
_
N
1
h(x) dx
_
N
1
f(x) dx
_
N
1
g(x) dx
para todo N N. Assim, encontra-se
_
N
1
h(x) dx =
_
N
1
f([x] + 1) dx =
n
n=2
f(n),
que e a soma das areas dos retangulos de altura f(n) e base igual a
um. De modo analogo obtem-se
_
N
1
g(x) dx =
_
N
1
f([x]) dx =
N1
n=1
f(n).
Portanto, para todo n N obtem-se:
N
n=2
f(n)
_
N
1
f(x) dx
N1
n=1
f(n). (MC)
Provando que
n=1
f(n) converge se a integral impropria
_
1
f(x) dx
convergir e reciprocamente.
Aplicacoes: (i) No estudo de series analisou-se a serie harmonica
n=1
1/n, provando-se sua divergencia. Por meio do argumento an-
terior de Mac Laurin-Cauchy, conclui-se este mesmo resultado, de
modo simples. De fato, a funcao f(x) = 1/x e contnua, positiva e
decrescente em [1, ). Logo,
_
1
dx
x
= lim
N
_
N
1
dx
x
= lim
N
log N
185
e divergente. Resulta, portanto, que a serie
n=1
f(x) =
n=1
1/n e
divergente.
(ii) No caso da serie de Dirichlet
n=1
1/n
, demonstrou-se, por
meio de penosos calculos, que ela converge se > 1 e diverge se
< 1. Sera obtido este resultado de modo simples por meio do
criterio de MacLaurin-Cauchy. De fato, para f(x) = 1/x
tem-se
_
1
dx
x
= lim
N
_
N
1
x
dx = lim
N
_
N
1
1
+
1
1
_
.
Este limite e
1
1
, se > 1 e diverge, se < 1. Conseq uentemente,
da desigualdade (MC), conclui-se que
n=1
1/n
converge se > 1 e
diverge se < 1. Para = 1 diverge por (i).
(iii) Considere a progressao aritmetica (a
n
), com a
n
= a + nr,
a > 0 e r > 0 (veja Exerccio 18). Aplicando o criterio de Mac
Laurin-Cauchy, analise o comportamento da serie
n=1
1/a
n
para
R.
Sugestao: Considere a funcao f(x) = 1/(a +rx)
com 1 x < ,
a > 0 e r > 0.
O metodo empregado neste complemento pode ser visto em: E.
Haler-G. Wanner - Analysis by Its History. Springer NY 1997.
Continuando a comparacao entre integrais improprias e series
numericas, recorde-se que se a serie
n=1
a
n
converge, entao a sucessao
(a
n
) converge para zero. Se
_
0
f(x) dx converge nao e verdade que
lim
n
f(x) = 0, em geral! O exemplo a seguir mostra que
_
1
f(x) dx
186 CAP
ICIOS
e convergente mas lim
x
f(x) e diferente de zero. De fato, considere
para cada n N o intervalo
_
n
1
(n + 1)
2
, n +
1
(n + 1)
2
_
centrado em n e de amplitude 2/(n + 1)
2
como mostra a abaixo.
0 x
1
1 2
3
A
B E
C D F n
y
Fig.2
A funcao y = f(x) com x > 0 e a poligonal ABCDEF . . . de-
senhada na gura 2 acima. Os triangulos possuem altura igual a
um e como base o segmento de comprimento 2/(n + 1)
2
, cujo ponto
medio da base e o n umero natural n, para n = 1, 2, . . . . A area de
um triangulo generico, no ponto n, e 1/(n + 1)
2
Logo, a soma das
areas dos triangulos que compoem a poligonal y = f(x) e
n=1
1
(n + 1)
2
,
a qual e convergente. Portanto, para cada > 0 tem-se
_
1
f(x) dx <
n=1
1
(n + 1)
2
187
e f 0 e poligonal. Logo a integral impropria
_
1
f(x) dx e conver-
gente. Entretanto lim
x
f(x) nao e zero, pois a altura dos triangulos e
constante igual a um. (G.H. Hardy - A Course of Pure Mathematics,
Cambridge Univ. Press (1952), p. 159, London.)
Supondo-se uma hipotese adicional sobre a funcao, mostra-se que
lim
x
f(x) = 0. Precisamente, supondo que uma funcao f e sua
derivada f
(s)ds.
Sendo f
(x)dx = L.
O que mostra a armacao em (a).
A armacao (b), prova-se por reducao a uma contradi cao. Com
efeito, suponha L ,= 0. Para xar ideia, seja L > 0. Da, para cada
> 0, existe K
.
Tomando = L/2, resulta f(x) > L/2 para todo x > K
. Logo,
_
x
K
f(s)ds >
L(x K
)
2
,
188 CAP
ICIOS
o que implica f nao ser integravel em (0, ). Isto contradiz a hipotese
de f ser integravel. Portanto, L = 0.
Finalmente, observe que, se f e f
pertencem a L
2
(0, ), entao
_
_
0
[u
(x)]
2
dx
_
2
4
_
_
0
[u(x)]
2
dx
__
_
0
[u
(x)]
2
dx
_
,
exceto, quando u = ay(bx), com y = e
x/2
sen(xsen ) , = /3,
a e b constantes. Neste caso tem-se a igualdade.
Seu livro dirigido ao ensino propedeutico e: G. H. Hardy - A
Course of Pure Mathematics, Cambridge Univ. Press (1908), primeira
189
edicao.
Ha, em portugues, o belo livro: G. H. Hardy - Em Defesa de um
Matematico, Martins Fontes ed. Sao Paulo (2000), onde na primeira
parte e relatado, por Love, parte de sua historia e na segunda, de-
poimento do proprio Hardy.
57. Seja f : [a, b] R contnua. Entao, existe em [a, b] tal que
[f()[ e um valor maximo de f, isto e, M = [f()[. Mostre que
lim
n
n
_
b
a
[f(x)[
n
dx = max
axb
[f(x)[.
Solucao Resumida: Tem-se [f(x)[ M para todo x [a, b]. Da,
resulta que
lim
n
n
_
b
a
[f(x)[
n
dx M.
Sendo M = [f()[ maximo de f em [a, b], dado > 0 existe > 0 tal
que M < f(x) para todo /2 < x < +/2 Logo
(M )
n
_
+
2
[f(x)[
n
dx
_
b
a
[f(x)[
n
dx.
Tomando a raiz n e o limite obtem-se para cada > 0
M lim
n
n
_
b
a
[f(x)[
n
dx M.
58. Considere a funcao f(x) = [x] com x R. Mostre que em
cada inteiro a derivada `a direita e zero e `a esquerda e +.
190 CAP
ICIOS
59. Dada a funcao
f(x) =
x
1 +e
1/x
se x ,= 0,
0 se x = 0,
mostre que a derivada `a direita do zero e zero e `a esquerda e um.
60. Considere a funcao
f(x) =
xarctg
1
x
se x ,= 0,
0 se x = 0.
A derivada `a esquerda do zero e /2 e `a direita e /2
61. Estude a convergencia da serie
n=1
ne
n
pelo criterio de Mac
Laurin-Cauchy. Veja Exerccio 56.
62. Mostre que lim
x0
x
x
= 1 para x > 0. Considere a funcao
f(x) =
x
x
se x > 0,
1 se x = 0.
Estude a derivada de f `a direita de x
0
= 0.
63. Calcule lim
x0
_
1 +
1
x
_
x
. Como sugestao aplique logaritmo.
64. Considere a funcao
f(x) =
xsen
1
x
sen
1
sen
1
x
se x /
_
0,
1
n
, n = 1, 3, . . .
_
0 se x
_
0,
1
n
, n = 1, 3, . . .
_
.
191
Esta funcao e contnua, pois lim
x0
f(x) = f(0) e lim
x1/n
f(x) =
f(1/n). Constata-se que f nao e derivavel em um conjunto in-
nito, enumeravel, de pontos de uma vizinhanca do zero. De fato,
para x
0
= 0 a derivada de f e dada pelo limite
lim
h0
f(h)
h
= lim
h0
sen
1
h
sen
1
sen
1
h
,
que oscila entre +1 e 1 porque
1 sen
1
sen
1
h
+1.
Calcula-se a derivada nos pontos x
0
=
1
n
com n = 1, 2, . . . . De
fato,
1
h
_
f
_
1
n
+h
_
f
_
1
n
__
=
1
h
_
f
_
1 +nh
n
__
=
1
h
_
1 +nh
n
sen
n
1 +nh
sen
1
sen
n
1 +nh
_
=
_
1 +nh
n
__
1
h
sen
n
1 +nh
__
sen
1
sen
n
1 +nh
_
.
Aplicando LHospital, obtem-se
lim
h0
1
h
sen
n
1 +nh
= (n)
2
.
192 CAP
ICIOS
Resulta, portanto, que para o calculo da derivada em
1
n
obtem-se:
lim
h0
1
h
f
_
1 +nh
n
_
= n lim
h0
sen
1
sen
n
1 +nh
n=1
b
n1
cos(a
n1
x)
com 0 < b < 1 e a um inteirompar. A serie converge uniformemente
em qualquer intervalo da reta R, logo sua soma f e contnua. Se
ab > 1 +3/2 prova-se que f nao e derivavel em ponto algum. Con-
sulte: E.C. Titchmarsh, The Theory of Functions, Oxford University
Press, 1932, pp. 351-353. Outro exemplo elementar foi dado por Van
Der Waerden, a saber. Considere a funcao
f(x) =
n=1
[10
n1
x]
10
n
,
onde [10
n1
x] e a parte inteira do n umero real 10
n1
x. Nova-
mente a convergencia uniforme da serie implica continuidade da f.
193
Entretanto f nao e derivavel. Consulte: F. Riesz and B. Sz Nagy
-Functional Analysis, F. Ungar Pub. Co., NY, 1955, p. 4-5. Em am-
bos os exemplos emprega-se o teste de Weierstrass para concluir a
convergencia uniforme e consequente continuidade da funcao f dada
por meio da soma da serie.
O exemplo do texto nao envolve convergencia uniforme e nao
informa de modo preciso sobre continuidade e derivabilidade como
Weierstrass e Van Der Waerden. Os pontos de nao derivabilidade
formam um conjunto enumeravel. Todavia, e simples e pode ser
ensinado nos primeiros passos da Analise Matematica. Ele foi pro-
posto por Stoltz em seu livro Fundamentos de Calculo Diferencial e
Integral, 1893, Vol. I, p. 233. Encontra-se, tambem, em E. Pascal
-Exercizi Critici di Calcolo Dierenziale e Integrale, Ulrico Hoepli -
Milano, 1909.
65. Determine a funcao f : R R contnua e satisfazendo a
equacao f(s +t) = f(s) +f(t) para todo s, t R.
Sugestao: Considere, inicialmente, os inteiros positivos, a seguir os
negativos e nalmente os racionais. Encontra-se f(x) = ax para
todo x R e a constante.
Observacao - Uma funcao real com valores reais que satisfaz as
condicoes: f(s + t) = f(s) + f(t) e f(s) = f(s) com , s R, e
denomina-se linear. Mostre que, se f e contnua, e satisfaz a condicao
f(s +t) = f(s) +f(t), entao f e linear.
194 CAP
ICIOS
66. Determine f : R R contnua e positiva tal que
f(s +t) = f(s) f(t) para todo par s, t R.
Sugestao: Sendo f > 0 aplica-se log
b
em ambos os membros da
identidade acima para obter: log
b
f(s + t) = log
b
f(s) + log
b
f(t).
Fazendo log
b
f(t) = (t) resulta da igualdade anterior que
(s + t) = (s) + (t). Do Exerccio 65 obtem-se (x) = ax para
todo x R, sendo a constante. Da denicao de , resulta que
log
b
f(x) = ax, isto e f(x) = b
ax
. Tomando b = e, base Neperiana,
resulta
f(x) = e
ax
ou f(x) = e
x
para a = 1.
67. Determine uma funcao f : ]0, [ R contnua tal que
f(st) = f(s) +f(t).
Sugestao: Fazendo as mudan cas de variaveis s = a
e t = a
para
a > 0, obtem-se f(a
) = f(a
) + f(a
). Tomando () = f(a
)
resulta que ( + ) = () + (). Logo () = A para todo
R e A constante. Assim, tem-se = log
a
s ou () = A log
a
s.
Portanto, () = f(a
x 1
_
para todo x real positivo. Com efeito, seja f
(x) = a
x
para x 0
e a > 1, entao f e crescente, contnua e f(0) = 1. Considerando-se
f(n) e f(n + 1) para n N, isto e, a
n
e a
n1
, ve-se que os pontos
(0, 1) e (n, a
n
) estao no graco de f
0
x
1
a
n
y
Fig.1
a
n
x
e determinam uma corda neste graco cuja inclinacao e
tg
n
= (a
n
1)/n, como se observa na gura 1 acima. Note que
196 CAP
ICIOS
sendo a > 1 a funcao a
x
e crescente. Analogamente, se os pon-
tos (0, 1) e (n + 1, a
n+1
) estao sobre o graco de f, entao obtem-se
tg
n+1
= (a
n+1
1)/(n + 1), com tg
n+1
> tg
n
, pois a funcao e
crescente. Assim, para todo n N tem-se
a
n
1
n
<
a
n+1
1
n + 1
(1)
Considere a corda com extremos em (m, a
n
) e (n + 1, a
n+1
), cuja
inclinacao a
n+1
a
n
e maior que tg
n
, isto e,
a
n
1
n
< a
n
(a 1) com a > 1. (2)
Seja (u
n
) a sucessao denida por
u
n
= n
_
n
a 1
_
com a > 1.
Note que os termos dessa sucessao: a 1, 2
a 1, 3
3
a 1, . . . sao
positivos. Alem disso,
(u
n
) e decrescente, pois
u
n+1
u
n
= (n + 1)
_
n+1
a 1
_
n
_
n
a 1
_
.
Fazendo a
1/n(n+1)
= b, obtem-se
u
n+1
u
n
= (n + 1)(b
n
1) n(b
n+1
1) < 0
pela desigualdade (1). O que conclui-se (u
n
) decrescente.
(u
n
) e limitada inferiormente. De fato, seja C =
n
a > 1. Da
desigualdade (2) resulta
C
n
1
n
< C
n
(C 1).
197
Sendo C
n
= a, obtem-se
a 1
n
< a
_
n
a 1
_
ou
a 1
a
< n
_
n
a 1
_
< u
1
= a 1,
para todo n N. Portanto, (u
n
) e decrescente e limitada inferi-
ormente por (a 1)/a Logo, convergente e, portanto, dene uma
funcao
(a) = lim
n
n
_
n
a 1
_
sendo (a 1)/a < (a) < a1, com a > 1. A extensao da denicao
de , quando 0 < a < 1 e dada por: sendo 0 < a < 1, entao
b = 1/a > 1. Assim,
n
b = 1/
n
a > 1. Logo
u
n
= n
_
n
a 1
_
= n
_
1
n
b
1
_
=
n(1
n
b)
n
b
> 0.
Tem-se
u
n
=
n(1
n
b 1)
n
b
converge para (b) = (1/a),
pois b > 1 e
n
x 1) .
Prova-se que (ab) = (a) +(b), para todo a e b reais positivos.
De fato,
(ab) = lim
n
n
_
n
ab 1
_
.
Sendo
n
ab 1 = (
n
a 1)(
n
b 1) +
n
a 1 +
n
b 1 ou
n(
n
ab 1) = n(
n
a 1) +n(
n
b 1) +n(
n
a 1)(
n
b 1)
198 CAP
ICIOS
obtem-se, tomando limite quando n , que (ab) = (a) +(b).
Sendo contnua, e a funcao logartmica. Assim, obtem-se
log x = lim
n
n
_
n
x 1
_
porque a solucao do Exerccio 67 e unica a menos de constante.
69. Considere a funcao homograca
f(x) =
3 + 2x
2 +x
para x R.
Sua restricao a N e a sucessao (u
n
) denida por u
n
= (3 + 2n)/(2 +n)
Mostre que
u
n
u
0
=
n
k=1
1
(k + 1)(k + 2)
,
deduzindo que
k=1
1
(k + 1)(k + 2)
=
1
2
Sugestao: Considere u
k
u
k1
= 1/(k + 1)(k + 2), e adicione de
k = 1 a k = n para obter o resultado.
70. Dada a funcao f : R R denida por
f(x) =
n
k=1
k(m+ka x)
2
com a > 0,
calcule o ponto de mnimo de f.
Resposta: x = m+a(2n + 1)/3
199
71. Considere f : [0, 1] R uma funcao contnua. Dena a sucessao
(f
n
) do seguinte modo:
f
1
(x) = f(x), f
n+1
(x) =
_
x
0
f
n
(s) ds para n N e x [0, 1].
(i) Mostre que f
n
e contnua em [0, 1].
(ii) Integrando por partes, calcule f
2
, f
3
em funcao de f.
(iii) Mostre, por inducao, que
f
n+1
(x) =
_
x
0
(x s)
n
f(s) ds.
72. Determine os valores de t R nos quais as series
n=1
t
n
e
n=1
n
2t
convergem simultaneamente.
73. Mostre que
n
k=1
k x
k
=
nx
n+2
(n + 1)x
n+1
+x
(1 x)
2
Estude o limite quando n .
Sugestao: Considere a progressao geometrica
P
n
= x +x
2
+ +x
n
.
Calcule a soma e derive membro a membro. Pode, tambem, ser
provado por inducao, dando mais trabalho tecnico.
200 CAP
ICIOS
74. Seja f : R R uma funcao contnua com f > 0 e > 0.
(i) Calcule
lim
x0
1
x
_
x
0
s
1
f(s) ds
(i) Considere a funcao
y(x) =
1
x
_
x
0
s
1
f(s) ds se x > 0,
1
f(0) se x = 0.
Mostre que y e solucao da equacao
zy
1x
2
x
para x [1, 0) (0, +1].
Mostre que f nao e derivavel em x
0
= 1. (Encontra-se ).
77. Considere a funcao h(x) = log f(x), sendo f a funcao do
Exerccio 76. Calcule a derivada de h no ponto x
0
= 1.
201
Sugestao: Note que
h(x) h(1)
x 1
=
log f(x) log f(1)
f(x) f(1)
f(x) f(1)
x 1
O limite do primeiro termo e 1, e do segundo e . Logo, nao e
derivavel em x
0
= 1.
78. Seja f : [a, b] R contnua e f 0. Se existir a < c < b tal
que f(c) > 0, entao
_
b
a
f(x) dx > 0.
Resumo da Solucao: Sendo f contnua em [a, b] e f(c) > 0 para
a < c < b. Entao, existe uma vizinhanca V
c
= (c , c + ), para
> 0, contida em (a, b) tal que f > 0 em V
c
(Por que?). Logo,
_
c+
c
f(x)dx > 0.
Sendo f 0, obtem-se
_
b
a
f(x) dx
_
c+
c
f(x) dx > 0.
79. Considere a funcao
f(x) =
1 x
2
para 0 < x < 1 racional
1 x para 0 < x < 1 irracional.
Verique que
_
1
0
f(x) dx =
1
2
e
_
1
0
f(x) dx =
4
202 CAP
ICIOS
80. Mostre que a funcao
f(x) =
1
2
n1
se
1
2
n
< x <
1
2
n1
com n N
0 se x = 0
e integravel. Calcule sua integral.
Observacao - A funcao f possui uma colecao innita e enumeravel
de descontinuidades mas e integravel. Por que?.
81. Considere a funcao f : R R denida por
f(x) = A
1
e
a
1
x
+A
2
e
a
2
x
+ +A
n
e
a
n
x
onde n e um natural xo e a
1
, a
2
, . . . , a
n
sao n umeros reais dois a
dois diferentes. Prove que uma condicao necessaria e suciente para
que f(x) = 0 para todo x R e que A
1
= A
2
= = A
n
= 0.
Sugestao: Considere f e suas derivadas nulas para todo x. Encontra-
se um sistema linear e homogeneo. O determinante do sistema reduz-
se a um determinante de Wandermonde.
Observacao - O determinante de Vandermonde foi por ele calculado
para n = 5 e o caso geral por Cauchy quem propos o Exerccio 81.
Na linguagem dos dias de hoje, o exerccio diz que a colecao nita
de exponenciais e linearmente independente.
82. Aplicando o criterio da integral, mostre que
n=1
1
n(log n)
k+1
para k R,
203
converge, se k > 0 e diverge, se k 0.
83. Considere f : R R denida por f(x) = (1 +x)
com um
n umero real. Escreva a formula de Mac Laurin para f e analise o
comportamento do resto R
n
quando n .
Solucao: Derivando sucessivamente obtem-se para a derivada n-
esima f
(n)
(x) = ( 1) . . . ( n + 1)(1 + x)
n
e f
(n)
(0) =
(1) . . . (n+1). Assim, a formula de Mac Laurin e dada por:
(1 +x)
= 1 +x +
( 1)
1 2
x
2
+ +
( 1) . . . ( n + 1)
n!
x
n
+R
n+1
(x).
Considerando a serie de termo geral
u
n
=
( 1) . . . ( n + 1)
1 2 n
x
n
tem-se
lim
n
u
n+1
u
n
= lim
n
n
n + 1
[x[ = [x[.
Logo, se [x[ < 1 a serie
n=1
u
n
e convergente. Se [x[ > 1 a serie
diverge, nao tendo R
n+1
com limite zero. Da, arma-se que: se
1 < a < +1, obtem-se lim
n
R
n+1
(x) = 0 para todo 1 < x < +1.
De fato, o resto de Cauchy e dado por
R
n+1
=
x
n+1
n!
(1 )
n
( 1) . . . ( n)(1 +x)
n1
com 0 < < 1. Escreve-se sob a forma
R
n+1
=
( 1) . . . ( n)
n!
x
n+1
(1 +x)
1
_
1
1 +x
_
n
.
204 CAP
ICIOS
Tem-se, assim, que
v
n
=
( 1) . . . ( n)
n!
x
n+1
e o termo geral de uma serie absolutamente convergente para
[x[ < 1. Portanto, seu termo geral v
n
0 em 1 < x < +1. O
fator (1+x)
1
e limitado para [x[ < 1, pois [1+x[ < 2. Tem-se
1
1+x
= 1+x+
( 1)
1 2
x
2
+ +
( 1) . . . ( n + 1)
1 2 n
x
n
+
convergente em valor absoluto em 1 < x < +1. Logo, considerando
x em lugar de x obtem-se
(1 x)
= 1 x +
( 1)
1 2
x
2
+ +
(1)
n
( 1) . . . ( n + 1)
n!
x
n
+
que converge absolutamente em 1 < x < 1 e real.
84. Mostre que a funcao valor absoluto t [t[, de R em R
+
,
o conjunto dos n umeros reais positivos, e limite uniforme de uma
sucessao de polinomios em t.
Solucao: De fato, pelo Exerccio 83, tomando x = 1 t
2
e =
1
2
,
obtem-se
[t[ =
_
1 (1 t
2
) = 1
_
1/2
1
_
(1 t
2
) +
_
1/2
2
_
(1 t
2
)
2
,
205
convergente para [1 t
2
[ < 1, onde
_
n
_
=
( 1) . . . ( n + 1)
1 2 n
para R e
_
0
n
_
= 1.
A serie anterior converge para
2 < t < +
2. Resulta que se P
n
e o polinomio
P
n
(t) = 1
_
1/2
1
_
(1t
2
)+
_
1/2
2
_
(1t
2
)
2
+ +(1)
n
_
1/2
n
_
(1t
2
)
n
,
com
2 < t < +
[t[ P
n
(t)
2 < t < +
2.
Aproximacao de Funcoes Contnuas por Poligonais
85. No presente complemento sera descrito o processo de apro-
ximacao uniforme de funcoes contnuas em intervalos fechados por
poligonais. Inicia-se, portanto, denindo a nocao de funcao poli-
gonal ou poligonal simplesmente. De fato, diz-se que uma funcao
f : [a, b] R e uma funcao am, quando f(x) = + x, com ,
pertencentes a R. Quando = 0 a funcao am denomina-se funcao
linear, ver Exerccio 65. Uma funcao f : [a, b] R denomina-se uma
poligonal, quando existe uma particao
a = x
0
< x
1
< < x
n1
< x
n
= b
do intervalo fechado [a, b], tal que f restrita a cada subintervalo
[x
k1
, x
k
] e uma funcao am.
206 CAP
ICIOS
Proposicao 1 - Suponha f : [a, b] R contnua e positiva. Entao,
para cada > 0, existe uma poligonal p: [a, b] R, tal que
[f(t) p(t)[ < para todo t [a, b].
Demonstracao: Se f : [a, b] R e contnua, ela e uniformemente
contnua, veja Teorema 4.5 (Heine-Cantor), Parte 1. Resulta que
para cada > 0, existe = () > 0, tal que
[f(s) f(t)[ < para todo par s, t [a, b] com [s t[ < .
Considere n N, com n > (b a)/ e a particao
a = x
1
< x
2
< < x
n1
< x
n
= b
denida pelos pontos x
k
= a+k(b a)/n para k = 1, 2, . . . , n. Para
esta particao, obtem-se
x
k
x
k1
=
b a
n
< para k = 1, 2, . . . , n.
A seguir constroi-se a poligonal p: [a, b] R, da Proposicao 1.
De fato, considere o segmento de reta com extremos nos pontos
(x
k1
, f(x
k1
)) e (x
k
, f(x
k
)) do graco de f para k = 1, 2, . . . , n.
O coeciente angular da reta suporte deste segmento e
tg
k1
=
f(x
k
) f(x
k1
)
x
k
x
k1
k
= x
k
t/(x
k
x
k1
) com 0 <
k
< 1 e
1
k
=
t x
k1
x
k
x
k1
,
resulta que p(t) em x
k1
< t < x
k
e uma combina cao convexa
de f(x
k1
) e f(x
k
). Portanto, para x
k1
< t < x
k
, p(t) esta
compreendida entre f(x
k1
) e f(x
k
).
Verica-se, a seguir, que a poligonal p, denida anteriormente,
aproxima a funcao f nas condicoes exigidas na Proposicao 1. De fato,
p(t) esta entre f(x
k1
) e f(x
k
) para k = 1, 2, . . . , n e x
k1
< t < x
k
.
Sendo f contnua, existe x
k1
< s < x
k
tal que f(s) = p(t), cf.
Teorema 43, Parte 1. Portanto, dado > 0, existe = () > 0,
tal que
[f(t) p(t)[ = [f(t) f(s)[ < para [t s[ < [x
k
x
k1
[ < .
Assim, para cada > 0, existe = () > 0 tal que
[f(t) p(t)[ < para todo t [a, b].
86. Os complementos anteriores serao empregados para demons-
trar um resultado fundamental da Analise Matematica conhecido
208 CAP
ICIOS
sob a denominacao de Teorema de Aproxima cao de Weierstrass. Ha
varias demonstracoes deste resultado. A que se segue, muito simples
e bonita, deve-se a H. Lebesgue - Sur lapproximation des fonctions
- Bull. de la Soc. Math. de France, 2
`e
serie t. XXII (1898).
Teorema de Weierstrass. Seja f : [a, b] R contnua. Entao f e
limite uniforme em [a, b] de uma sucessao de polinomios.
Demonstracao: Sendo f contnua em [a, b], e uniformente con-
tnua. Logo, pelo Complemento 86, e uniformemente aproximada
em [a, b] por uma poligonal p. Constroi-se p em x
k1
< t < x
k
obtendo-se
p(t) = f(x
k1
) + tg
k1
(t x
k1
)
para k = 1, 2, . . . , n. Ponha tg
k1
= 2C
k1
e observe que
1
2
[[t x
k1
[ + (t x
k1
)] =
t x
k1
se x
k1
< t < x
k
0 se t x
k
.
Portanto, a poligonal p escreve-se explicitamente sob a forma
p(t) =
n
k=1
f(x
k1
) +
n
k=1
C
k1
_
[t x
k1
[ + (t x
k1
)
_
que e a representacao de Lebesgue da poligonal p. Fazendo
C =
n
k=1
f(x
k1
) obtem-se
p(t) = C +
n
k=1
C
k1
_
[t x
k1
[ + (t x
k1
)
_
209
para todo t [a, b]. Note que sendo f contnua no intervalo fechado
[a, b] nao e restritivo admitir-se que f e positiva. Para demonstrar o
teorema e suciente provar a aproxima cao uniforme da funcao valor
absoluto por polinomios. De fato, suponha que dado > 0 exista
um polinomio P
k1
(t) tal que
[t x
k1
[ P
k1
(t)
<
n[ max C
k
[
para a t b.
Da obtem-se
n
k=1
C
k1
[t x
k1
[ + (t x
k1
)
< para a t b
ou
k=1
C
k1
[t x
k
[
n
k=1
C
k1
P
k1
(t)
< para a t b.
Da expressao da poligonal p, obtendo-se
p(t) C
n
k=1
C
k1
(t x
k1
)
n
k=1
C
k1
P
k1
(t)
<
para todo a t b. Assim, o polinomio
q(t) = C +
n
k=1
C
k1
(t x
k1
) +
n
k=1
C
k1
P
k1
(t)
e tal que
[p(t) q(t)[ < para todo, a t b.
Porem, da aproxima cao de f, por poligonal p, tem-se
[f(t) p(t)[ < , para todo a t b.
210 CAP
ICIOS
Destas duas desigualdades, resulta que
[f(t) q(t)[ < 2, para todo a t b,
obtendo-se a aproximacao uniforme da f em [a, b] por polinomios.
Resta demonstrar que [t x
k
[ e aproximada uniformemente por
polinomios para a t b. Com efeito, Quando x
k
= a ou x = b
tem-se os polinomios t a e t b, nada a demonstrar. Suponha
a < x
k
< b e considere a mudanca de variaveis s = (t x
k
)/(b a)
Quando a < t < b, resulta 1 < s < +1. Logo e suciente provar
que a funcao s [s[ e uniformemente aproximada por polinomio
em cada intervalo fechado contido em (1, +1). Este resultado foi
provado no Exerccio 84.
A demonstracao acima e uma adaptacao das ideias contidas em J.
Abdelhay - Curso de Analise Matematica, Vol. III, Editora Cientca,
Rio de Janeiro, RJ (1955), p. 178-180.
...o n umero , o qual, embora irracional
para as mentes sublunares...
(Umberto Ecco)
87. No Captulo 1 da Parte 1 foi estudado o metodo de isope-
rmetros para denir o n umero , por meio do corte de Dedekind.
Consulte, tambem, Exerccio 6. No que se segue, transcreve-se uma
demonstracao simples de que e irracional. Ela e devida a Ivan
Niven, publicada no Buletin do AMS, Vol. 53, N
0
6, p. 509, June
1947. (Autorizada a publicacao neste livro - AMS - 2003).
211
Suponha que = a/b , quociente de inteiros positivos. Cansidera-
se os polinomios
f(x) =
x
n
(a bx)
n
n!
F(x) = f(x) f
(2)
(x) +f
(4)
(x) (1)
n
f
(2n)
(x)
sendo f
(j)
(x) a j-esima derivada de f calculada em x e o inteiro
positivo n sera especicado posteriormente. Desde que n!f(x) possui
coecientes inteiros e termos em x de graus nao menores que n,
f(x) e suas derivadas f
(j)
(x) possuem valores inteiros em x = 0, e
tambem, para x = a/b = sendo f(x) = f (a/b x). Por calculos
simples, obtem-se
d
dt
_
F
0
= F() +F(0). (1)
Note que F() + F(0) e um inteiro desde que f
(j)
() e f
(j)
(0) sao
inteiros. Porem, para 0 < x < tem-se
0 < f(x) senx <
n
a
n
n!
Logo a integral (1) e positiva e arbitrariamente pequena para n su-
cientemente grande. Resulta que (1) e falsa e a hipotese que e
racional tambem e falsa.
88. Sejam a e b reais positivos. Mostre que
lim
n
_
a
1/m
+b
1/m
2
_
m
=
ab, onde m N.
212 CAP
ICIOS
Solucao: Fazendo a mudanca de variaveis u =
_
a
1/m
+b
1/m
__
2
deve-se provar que
lim
m
u
m
=
ab.
De fato, note que
u
m
=
_
(1 +u 1)
1/(u1)
m(u1)
e lim
m
(u 1) = 0.
Logo, lim
m
_
1 + u 1
_
1/(u1)
= e. Resta apenas calcular o limite:
lim
m
(u1)m. Aplicando o teorema do valor medio `as funcoes x a
x
e x b
x
em [0, x) que
a
x
= 1 + (a
x
log a)x e b
x
= 1 + (b
x
log b)x,
com 0 < < 1 representando duas diferentes constantes. Calculando
em x = 1/m, obtem-se
a
1/m
= 1 +
_
a
/m
log a
_
1
m
e b
1/m
= 1 +
_
b
/m
log b
_
1
m
Da resulta
_
a
1/m
+b
1/m
2
1
_
m =
1
2
_
a
/m
log a +b
/m
log b
_
.
Logo,
lim
m
_
a
1/m
+b
1/m
2
1
_
m = log
ab.
Portanto,
lim
m
_
a
1/m
+b
1/m
2
_
m
= e
log
ab.
=
ab.
213
89. Considere uma serie de termos positivos
n=1
u
n
. Quando aplica-
se o criterio de Cauchy e obtem-se lim
n
u
n+1
u
n
= 1 nada pode ser dito
sobre o comportamento da serie. Considere a sucessao (
n
) denida
por
u
n+1
u
n
=
1
1 +
n
ou
n
=
u
n
u
n+1
1.
Encontra-se um novo criterio de convergencia, o Criterio de Raabe-
Duhamel armando que:
Se n
n
= n
_
u
n
u
n+1
1
_
k > 1 entao
n=1
u
n
converge.
Se n
n
= n
_
u
n
u
n+1
1
_
1 entao a serie
n=1
u
n
diverge.
Note que o criterio apoia-se na sucessao N dos naturais, isto e, (n).
De modo geral considera-se uma sucessao (
n
) de n umeros reais
positivos e obtem-se o Criterio de Kummer que arma:
Se
n
u
n
u
n+1
n+1
> 0, entao a serie
n=1
u
n
converge.
Se
n
u
n
u
n+1
n+1
< 0 e
n=1
1
n
diverge, entao a serie
n=1
u
n
diverge.
Demonstra-se o Criterio de Kummer:
Se
n
u
n
u
n+1
n+1
> 0, entao
n
u
n
n+1
u
n+1
u
n+1
. (1)
214 CAP
ICIOS
Da resulta que 0 <
n+1
u
n+1
<
n
u
n
e decrescente e limitada
inferiormente, logo (
n
u
n
) e convergente. Note que
S
n
=
n
k=1
(
n
u
n
n+1
u
n+1
) =
1
a
1
n+1
a
n+1
.
Da convergencia de (
n
u
n
) resulta a convergencia das reduzidas (S
n
)
e portanto a serie
n=1
(
n
u
n
n+1
u
n+1
)
e convergente. De (1) obtem-se que a serie
n=1
u
n
e convergente, pois
nao depende de n.
Suponha
n
u
n
/u
n+1
n+1
< 0 e
n=1
1/
n
divergente, entao
(
n
u
n
) e decrescente, mas com termos positivos. Seja a tal que
a <
n
u
n
, isto e, u
n
> a/
n
Resulta que
n=1
u
n
diverge porque
n=1
1/
n
diverge.
Note que o Criterio de Raabe-Duhamel resulta do Criterio de
Kummer, considerando-se
n
= n. O criterio de Kummer nao e
muito pratico pois depende da escolha da sucessao (
n
). Assim,
emprega-se, com freq uencia, o de Raabe-Duhamel quando falha o
de Cauchy, ou da razao. Na pratica considera-se o limite quando
n que e equivalente `as limitacoes exigidas.
Exemplos: (1) Estude a convergencia da serie de termo geral
u
n
=
1 3 5 (2n 1)
2 4 2n
215
Obtem-se n(u
n
/u
n+1
1) = (3n + 2)/[(2n + 1) 1] = n/(2n + 1)
O limite e 1/2 A serie diverge pois o limite e menor que 1.
(2) A serie de Dirichlet de termo geral u
n
= 1/n
com R
foi estudado com o teste da integral de Mac Laurin-Cauchy e por
calculos direto para obter a reduzida de ordem n. Com o criterio de
Raabe-Duhamel, obtem-se
n
_
u
n
u
n+1
1
_
= n
_
(n + 1)
1
_
= n
__
1 +
1
n
_
1
_
.
Note que
_
1 +
1
n
_
= 1 +
_
1
_
1
n
+
_
2
_
1
n
2
+
Portanto, lim
n
n(u
n
/u
n+1
1) = . Assim, se > 1 a serie con-
verge e 1 diverge.
(3) Considere a serie de termo geral u
n
= n!/[( + 1)( + 2) . . . ( +n)]
Para quais a serie converge?
(4) Considere a serie de termo geral u
n
= e
(1+1/2++1/n)
/n
. Con-
verge para > 0 e diverge para 0.
Sugestao: Aplique o Criterio de Raabe-Duhamel e desenvolva e
1/(n+1)
e
_
1 + 1/n
_
ICIOS
os conceitos de integral e derivada. De modo preciso, as condicoes
sobre a funcao f e sua derivada para que seja valida a formula de
Newton-Leibniz, ou teorema fundamental do calculo:
_
b
a
f
integravel
no mesmo sentido em [a, b]. Nao e verdade que f : [a, b] R limitada,
integravel `a Riemann-Darboux e derivavel, com derivada f
limitada
seja integravel `a Riemann-Darboux. Veja um exemplo em Russell A.
Gordon - The integral of Lebesgue, Denjoy, Perron, and Henstock,
AMS, Graduate Studies in Mathematics, Vol. 4 (1994) p. 35-36.
Quando f : [a, b] Re limitada e integravel `a Riemann-Darboux,
derivavel com derivada, f
(x) dx.
217
Realmente, considerando uma particao P de [a, b] escreve-se
f(b) f(a) =
n
k=1
[f(x
k
) f(x
k1
)] =
n
k=1
f
(
k
)(x
k
x
k1
).
Sendo f
(x) dx.
Em 1901 Henri Lebesgue publicou uma nota em C.R. Acad. Sci.
Paris 132 (1901), pp. 86-88 na qual propoe um novo conceito de
integral, contendo os de Cauchy, Riemann-Darboux como casos par-
ticulares e eliminando varias deciencias destes conceitos. A formula
de Newton-Leibniz e valida com as ideias de Lebesgue em contexto
mais geral.
Em 2001 completou um seculo da extraordinaria criacao de
Lebesgue. Ela penetrou no ensino da Analise Matematica, fazendo
parte de todos os programas de formacao em Matematica, sob a
denominacao de Medida e Integracao. Aconselha-se a leitura do ar-
tigo comemorativo de: Jean Michael BONY, Gustave CHOQUET et
Gilles LEBEAU - Le centenaire de lintegral de Lebesgue, C.R. Acad.
Sci. Paris, t. 332, Serie I (2001), p. 85-90, commentaire de Ph. G.
Ciarlet et B. Malgrange.
A seguir, sera feita uma analise suscinta da ideia de Lebesgue.
Ele observou que no caso f : [a, b] R limitada e MON
OTONA, com
m e M sendo o nmo e supremo de f em [a, b], a toda particao em
intervalos abertos de [m, M] corresponde uma particao em intervalos
218 CAP
ICIOS
abertos de [a, b]. De modo preciso, a qualquer particao P de [m, M]
por meio dos pontos
m = y
1
< y
2
< < y
n1
< y
n
= M,
corresponde uma particao P de [a, b] em intervalo abertos dada por
a = x
1
< x
2
< < x
n1
< x
n
= b,
sendo
E
k
= (x
k1
, x
k
) = x [a, b]; y
k1
< f(x) < y
k
k=1
y
k1
(x
k
x
k1
) e S =
n
k=1
y
k
(x
k
x
k1
).
219
Suponha que f : [a, b] R nao mais seja monotona, porem limi-
tada com m e M nmo e supremo de f em [a, b]. Neste caso, os
conjuntos
E
k
= x [a, b]; y
k1
< f(x) < y
k
,
nao sao necessariamente intervalos abertos como no caso monotono.
Veja gura 2 abaixo para um caso simples.
y
M
b
Fig.2
y
k-1
y
k
m
x a
Examinando a gura acima observa-se que E
k
, k generico, nao e um
intervalo aberto mas sim a uniao de tres intervalos abertos. Assim,
quando f oscila bastante no intervalo [a, b] os conjuntos E
k
diferem
muito de unioes nitas de intervalos abertos. Todavia, como observa
Lebesgue op. cit., denindo-se um processo para medir os conjuntos
lineares E
k
, isto e, um processo que permita atribuir aos E
k
n umeros
positivos (E
k
), correspondentes a suas medidas, e possvel denir
as somas s e S como no caso monotono. De fato, se P e uma particao
220 CAP
ICIOS
de [m, M] em intervalos abertos (y
k1
, y
k
), dene-se
s =
n
k=1
y
k1
(E
k
) e S =
n
k=1
y
k
(E
k
).
Resta portanto, caracterizar as funcoes limitadas f : [a, b] R tais
que aos conjuntos E
k
= x [a, b]; y
k1
< f(x) < y
k
, para
k = 1, 2, . . . , n, seja atribuda uma medida (E
k
). Os conjuntos line-
ares E [a, b] para os quais atribui-se uma medida (E), Lebesgue
denominou conjuntos mensuraveis.
Assim, escolheu as funcoes f : [a, b] R tais que para todo par
, R com < , o conjunto
E = x [a, b]; < f(x) <
seja mensuravel. Uma tal funcao denominou funcao mensuravel em
[a, b]. Deste modo Lebesgue considerou as funcoes f : [a, b] R
limitadas, mensuraveis e as somas
s =
n
k=1
y
k1
(E
k
) e S =
n
k=1
y
k
(E
k
),
correspondentes a particoes P de [m, M]. Demonstrou que quando
a amplitude maxima de P converge para zero, se f e limitada e
mensuravel, as somas s e S convergem para um n umero L ao qual
denominou a integral de f em [a, b]. A este n umero denomina-se
nos dias de hoje, a integral de Lebesgue de f : [a, b] R limitada e
mensuravel. Representa-se o n umero L por
(L)
_
b
a
f(x) dx.
221
Dada a denicao de integral, Lebesgue cou devendo a denicao
de conjunto mensuravel. Para esta denicao procedeu como se segue:
considera-se E [a, b] um subconjunto e (
k
,
k
) (a, b), para
k N, subintervalos tais que E
k=1
(
k
,
k
). A cada uniao de
(
k
,
k
) corresponde o n umero positivo, soma da serie convergente
k=1
(
k
k
). Quando varia a sucessao de subintervalos (
k
,
k
)
(a, b), obtem-se um conjunto de n umeros positivos, formado pelas
somas
k=1
(
k
k
). Ao nmo deste conjunto denomina-se medida
de E e representa-se por (E). Se E
c
e o complemento de E relativa-
mente ao intervalo [a, b], dene-se, do mesmo modo, (E
c
). Dene-se
((a, b)) = b a. Diz-se que E [a, b] e mensuravel quando
(E) +(E
c
) = b a.
Concluindo: considerando-se as particoes P de [m, M] para
f : [a, b] R limitada e mensuravel resulta que os E
k
sao men-
suraveis e a denicao de integral de Lebesgue e perfeita. Demonstra-
se que a integral de Lebesgue contem as de Riemann-Darboux e
Cauchy.
A integral de Lebesgue permite reformular varios resultados da
Analise Matematica, de modo mais simples e para uma classe mais
ampla de funcoes. Por exemplo, convergencia e integra cao de suces-
soes de funcoes, convergencia de series de Fourier, reformulacao do
teorema de existencia para sistemas diferenciais, denicao da nocao
de derivada fraca de Sobolev e distribuicoes de Schwarz etc. Note
que a analise criada por Lebesgue examina o comportamento das
222 CAP
ICIOS
funcoes a menos de conjuntos de medida nula onde elas podem nao
ter um bom comportamento.
A seguir examina-se a formula de Newton-Leibniz com a integral
de Lebesgue.
Lebesgue demonstrou que, se f : [a, b] R e LIMITADA,
MENSUR
LIMITADA, entao f
e integravel
e vale a formula de Newton-Leibniz
f(b) f(a) = (L)
_
b
a
f(x) dx.
Note que tudo se passa a menos de um conjunto de medida nula.
Resumo da demonstracao. De fato, inicialmente estende-se f ao
intervalo [a, b + 1] denindo-se
f(x) = f(b) + (x b)f
n
(x) = n
_
f
_
x +
1
n
_
f(x)
_
com a < x < b,
resulta que
lim
n
n
(x) = f
(x). (1)
As
n
sao mensuraveis pois f e contnua, e toda funcao contnua
e mensuravel. Logo f
n
(x) = n
_
f
_
x +
1
n
_
f(x)
_
= f
_
x +
n
_
para 0 < < 1.
223
Sendo f
(x) dx = lim
n
_
b
a
n
(x) dx.
Aplicando o teorema do valor intermediario a integral de f resulta
_
b
a
n
(x) dx = n
_
b+
1
n
b
f(x) dx n
_
a+
1
n
a
f(x) dx
= f
_
b +
n
_
f
_
a +
n
_
,
com
(ts) = f
(s) e sf
(ts) = f
(t).
Sendo f
(t) = sf
ICIOS
de 1 a t > 0 obtem-se
f(t) =
_
t
1
ds
s
quando c = 1.
Note que f(1) = 0, decorrente da equacao funcional, fazendo t = 1.
Portanto, obtem-se uma representacao integral da solucao de-
rivavel de f(ts) = f(t) +f(s) dada por
log t =
_
t
1
ds
s
para t > 0. (1)
Observe que no Complemento 68 representou-se a solucao con-
tnua por intermedio do limite a uma sucessao de funcoes contnuas,
isto e,
log t = lim
n
n
_
n
t 1
_
.
A representa cao integral pode ser vista em: Aldo Finzi, Logaritmi -
Enciclopedia della Matematiche Elementari e Complementi - Vol. I,
Parte I, Hoepli Ed. 1956. Veja, tambem, em Felix Klein, Elementary
Mathematics from an Advanced Standpoint, Dover Publications.
Interpretacao Geometrica: Considere o graco da funcao
x 1/x de R
+
R, a qual representa uma hiperbole referida
`as assntotas, como mostra a gura 1 a seguir. Observando tal
gura deduz-se que da representa cao integral de log t, em (1), e area
hachuriada.
225
0
x t
y
Fig.1
1
x y =1
Por esta razao o logaritmo Neperiano e tambem denominado hiperbo-
lico. As propriedades da funcao logartmica podem ser deduzidas de
sua representacao integral. Sendo denida somente para os n umeros
reais positivos deduz-se, do teorema fundamental do calculo que
d
dx
log x =
1
x
para x > 0,
a qual pode ser obtida diretamente da denicao. De fato, sendo
1 < x < t ou 0 < t < x < 1, deduz-se que 1 > 1/x > 1/t e
integrando de 1 a t relativamente a x, resulta
t 1
t
< log t < t 1.
Cosiderando t = (x +h)/x e dividindo por h > 0, obtem-se
1
x +h
<
log(x +h) log x
h
<
1
x
ICIOS
0 x
y
Fig.2
1
x y =log
Base de Logaritmos: Considere a hiperbole y = 1/x com
x > 0, cujo graco esta esbocado na gura 3 abaixo. Toma-se a
decomposicao D de [1, t) dada por
1 t
1/n
< t
2/n
< < t
(n1)/n
< t
n/n
.
0
x t
y
Fig.3
1
x
y=
r-1
n
r
n
1
t t
Da resulta que t
(r1)/n
e t
r/n
sao o supremo e o nmo de
y = 1/x no intervalo com estes extremos. As somas de Darboux
inferior s
D
e superior S
D
sao dadas por
s
D
=
n
r=1
t
r/n
_
t
r/n
t
r1/n
_
227
e
S
D
=
n
r=1
t
(r1)/n
_
t
r/n
t
(r1)/n
_
.
Desenvolvendo os calculos obtem-se
s
D
=
n
r=1
_
1 t
1/n
_
= n
_
1 t
1/n
_
e
S
D
=
n
r=1
_
t
1/n
1
_
= n
_
t
1/n
1
_
.
Sendo, para cada D, s
D
<
_
t
1
dx
x
< S
D
, obtem-se a desigualdade
n
_
1 t
1/n
_
< log t < n
_
t
1/n
1
_
. (2)
Dividindo ambos membros por n e examinando separadamente os
termos da desigualdade (2) resulta
_
1 +
log t
n
_
n
< t <
_
1
log t
n
_
n
. (3)
A solucao da equacao log t = 1 e unica, pois a funcao e crescente em
(0, ). A esta solucao denomina-se base do logaritmo e representa-
se pelo n umero e, o qual foi estudado na Parte 1. Retornando `a
desigualdade (3), sendo t = e e log e = 1, obtem-se
_
1 +
1
n
_
n
< e <
_
1
1
n
_
n
.
Da resulta, uma vez mais, que
e = lim
n
_
1 +
1
n
_
n
.
228 CAP
ICIOS
Mostre que, de fato, f(t) =
_
t
1
ds/s e solucao da equacao funcional
do exerccio 67. Para isto, suponha a < b e em f(b) faca a mudanca
de variaveis t = as.
Desigualdades Notaveis
92. Seja x0y um sistema cartesiano ortogonal e y = x
uma
funcao para x 0 e > 0. A derivada y
= x
1
e positiva
para > 0. Logo a funcao e crescente para todo x 0 e esta
representada gracamente na gura 1 abaixo. Assim, possui uma
inversa x = y
1/
.
Considere > 0 no eixo dos x, > 0 no eixo dos y e as paralelas
aos eixos por e como mostra-se na gura 1. Obtem-se duas
guras com areas S
1
e S
2
dadas por
S
1
=
_
0
x
dx =
+1
+ 1
e S
2
=
_
0
y
1/
dy =
1/+1
1/ + 1
0
x
y
Fig.1
x y=
S
S
1
2
Note que e a area do retangulo de base e altura . Assim,
S
1
+S
2
ocorrendo a igualdade quando =
.
229
Portanto, resulta que
+ 1
+
1/(+1)
1/( + 1)
n=1
x
2
n
e convergente
(Parte 1, Cap. 3).
No presente complemento considera-se
p
(N) para p > 1, o
espaco das sucessoes x = (x
n
)
nN
de n umeros reais tais que a serie
n=1
[x
n
[
p
seja convergente. e claro que tais sucessoes existem. Por
exemplo, (1/n)
nN
pertence a
p
(N) para p > 1, pois
n=1
1/n
p
con-
verge (Parte 1, Cap. 3).
Dados x = (
n
)
nN
e y = (
n
)
nN
com x
p
(N) e y
q
(N),
com p e q conjugados, isto e, p > 1 e 1/p + 1/q = 1, considere os
n umeros reais positivos
=
[
n
[
_
n=1
[
n
[
p
_
1/p
e =
[
n
[
_
n=1
[
n
[
q
_
1/q
230 CAP
ICIOS
Da desigualdade de Holder, obtem-se
[
n
[ [
n
[
_
n=1
[
n
[
p
_
1/p
_
n=1
[
n
[
q
_
1/q
[
n
[
p
p
_
n=1
[
n
[
p
_
+
[
n
[
q
q
_
n=1
[
n
[
q
_
n=1
[
n
n
[
_
n=1
[
n
[
p
_
1/p
_
n=1
[
n
[
q
_
1/q
.
Esta e tambem denominada desigualdade de Holder em
p
(N) para
p > 1. Em particular, quando p = 2 resulta q = 2 e a desigualdade
de Holder reduz-se a
n=1
[
n
n
[
_
n=1
[
n
[
2
_
1/2
_
n=1
[
n
[
q
_
1/2
a qual e valida em
2
(N) e e denominada desigualdade de Cauchy .
2. As desigualdades anteriores referem-se a sucessoes, isto e, funcoes
f : N R. A analisar dessas desigualdades para o caso de funcoes
reais f : [0, 1] R, e feita substituindo o somatorio pela integral.
Assim, em vez de
p
(N) com p > 1 considera-se L
p
(0, 1), o qual e
constitudo das funcoes u: [0, 1] R tais que a integral
_
1
0
[u(t)[
p
dt
exista. Portanto, seja u L
p
(0, 1), v L
q
(0, 1) com 1/p +1/q = 1
para p > 1 e considerando os n umeros reais positivos
=
[u(t)[
_
_
1
0
[u(t)[
p
dt
_
1/p
e =
[v(t)[
_
_
1
0
[v(t)[
q
dt
_
1/q
,
231
obtem-se pela desigualdade de Holder que
[u(t)[ [v(t)[
_
_
1
0
[u(t)[
p
dt
_
1/p
_
_
1
0
[v(t)[
q
dt
_
1/q
[u(t)[
p
p
_
1
0
[u(t)[
p
dt
+
[v(t)[
q
q
_
1
0
[v(t)[
q
dt
n=1
[
n
+
n
[
p
_
1/p
n=1
[
n
[
p
_
1/p
+
_
n=1
[
n
[
p
_
1/p
,
232 CAP
ICIOS
a qual e denominada desigualdade de Minkowski em
p
(N). De fato,
se 1/p + 1/q = 1 e (
n
)
nN
p(N), entao
_
[
n
[
p1
_
nN
q
(N).
Sendo [
n
+
n
[
p
[
n
+
n
[
p1
[
n
[ +[
n
+
n
[
k
[
n
[, obtem-se, pela
observacao acima sobre [
n
[
p1
e desigualdade de Holder que
n=1
[
n
+
n
[
p
n=1
[
n
+
n
[
p1
[
n
[ +
n=1
[
n
+
n
[
p1
[
n
[
_
n=1
[
n
+
n
[
(p1)q
_
1/q
_
n=1
[
n
[
p
_
1/q
+
_
n=1
[
n
+
n
[
(p1)q
__
n=1
[
n
[
p
_
1/p
=
_
n=1
[
n
+
n
[
p
_
1/q
__
n=1
[
n
[
p
_
1/p
+
_
n=1
[
n
[
p
_
1/p
_
.
Dividindo ambos os membros por
_
n=1
[
n
+
n
[
_
1/q
e obsevando que
1 1/q = 1/p , tem-se a desiguldade de Minkowski em
p
(N).
Considerando u L
p
(0, 1) e v L
p
(0, 1) a desigualdade de
Minkowski e dada por
_
_
1
0
[u(t) +v(t)[
p
dt
_
1/p
_
_
1
0
[u(t)[
p
dt
_
1/p
+
_
_
1
0
[v(t)[
p
dt
_
1/p
.
Para demonstra-la emprega-se o mesmo argumento do caso discreto
p
(N). Note que se u L
p
(0, 1) e [u(t)[
(p1)q
= [u(t)[
p
, entao
[u[
p1
L
q
(0, 1), o que prova ser [u[
(p1)q
integravel. Assim, faz-se
233
a decomposicao
_
1
0
u(t) +v(t)
p
dt
_
1
0
u(t) +v(t)
p1
[u(t)[dt +
_
1
0
u(t) +v(t)
p1
[v(t)[dt,
aplica-se a desigualdade de Holder ao membro da direita, efetua-se
certos calculos e divide-se ambos os membros por
_
_
1
0
[u(t) +v(t)[
p
dt
_
1/p
resultando na desigualdade de Minkowski.
93. No Exerccio 55 analisando-se a relacao entre integrais improprias
e series numericas, provou-se que a integral impropria
_
0
senx
x
dx
e convergente. Demonstra-se a seguir que ela nao e absolutamente
convergente, isto e, a integral
_
0
senx
x
dx (1)
nao converge. De fato, para qualquer inteiro k 0, tem-se
_
(k+1)
0
senx
x
dx =
_
0
senx
x
dx +
_
2
senx
x
dx + +
_
(k+1)
k
senx
x
dx,
234 CAP
ICIOS
isto e,
_
(k+1)
0
sen
x
dx =
k
n=0
_
(n+1)
n
senx
x
dx.
Da, para n 0 e sendo n x (n + 1) obtem-se
_
(n+1)
n
senx
x
dx
_
(n+1)
n
[ senx[
(n + 1)
=
2
(n + 1)
n=0
_
(n+1)
n
senx
x
dx
2
_
1 +
1
2
+
1
3
+ +
1
k + 1
_
que diverge quando k . Logo a integral impropria (1) e diver-
gente.
94. No Complemento 56 desenvolveu-se um exemplo de funcoes
que possuem integral impropria em (0, ) mas nao convergem para
zero no innito. Um outro exemplo, compare com 55, e dado pela
integral impropria
_
0
senx
2
dx =
n=0
_
(n+1)
n
senx
2
dx. (1)
Demonstra-se que a serie (1) e convergente. De fato, seu termo geral
e
_
(n+1)
n
senx
2
dx.
235
Fazendo-se a mudanca de variaveis x =
z +n obtem-se
_
(n+1)
n
senx
2
dx =
1
2
_
0
sen(z +n)
z +n
dz
= (1)
n
1
2
_
0
senz
z +n
dz = (1)a
n
Portanto,
_
0
senx
2
dx =
n=0
(1)
n
a
n
. (2)
Para 0 < z < a sucessao (a
n
) e formada de n umeros positivos
decrescente para zero. Portanto, cf. Parte 1, Cap. 3, Teorema 3.4, a
serie alternada do segundo membro de (2) e convergente. Assim, a
integral impropria (1) e convergente, mas senx
2
nao converge para
zero quando x .
95. Quando se estuda o calculo de primitivas, encontram-se inte-
grais do tipo
_
sen
m
xcos
n
xdx,
com m, n N. Por meio da mudan ca de variaveis t = sen
2
x,
obtem-se
2
_
/2
0
sen
2m1
x cos
2n1
xdx =
_
1
0
t
m1
(1 t)
n1
dt. (1)
Motivado por esta relacao- Euler (1747)-, estudou integrais do tipo
_
1
0
t
a1
(1 t)
b1
dt com a e b reais positivos,
236 CAP
ICIOS
cujas propriedades ocuparam muitos matematicos dos seculos XVIII
e XIX, entre eles, Weierstrass, Legendre, Binet e o proprio Euler.
Essas integrais foram denominadas integrais de Euler ou euleri-
ana e representada por Binet por
B(a, b) =
_
1
0
t
a1
(1 t)
b1
dt,
denominada funcao beta de Euler. Outra funcao tambem estudada
por Euler foi a funcao denominada gama, a saber
(a) =
_
0
t
a1
e
t
dt.
Legendre (1814) denominava B(a, b) funcao euleriana de primeira
especie, e para a > 0 n umero real (a) de segunda especie. Para
a N, veja o Complemento 47. Esta tambem denomina-se euleri-
ana.
Fazendo x = 1 t na funcao beta, obtem-se
B(a, b) = B(b, a).
Para b = n N, obtem-se por meio de integrando por partes,
que
B(a, n) =
n 1
a
_
1
0
t
a
(1 t)
n2
dt =
n 1
a
B(a + 1, n 2).
Fazendo n variar: n 1, n 2, . . . , 2, 1, obtem-se a, a + 1, a +
2 . . . a +n 1, resulta que
B(a, n) =
(n 1)!
a(a + 1) . . . (a +n 1)
237
Tambem por integra cao partes obtem-se
(a + 1) = a(a) sendo (1) = 1.
Para n N tem-se
(a +n) = a(a + 1) . . . (a +n 1)(a).
Sendo
B(a, n) =
(n 1)!
a(a + 1) . . . (a +n 1)
(a)
(a)
obtem-se
B(a, n) =
(n 1)(a)
(a +n)
(2)
Esta relacao entre as funcoes beta e gama generaliza-se para a
e b reais positivos. O leitor pode consultar Ch la Valle Poussin -
Cours dAnalyse Innitesimale - Tome II, Dover, 1946, 3.
Observe que as integrais denindo B(a, b) e (a) sao conver-
gentes.
Ha varias outras propriedades das funcoes eulerianas que nao
estao exemplicadas aqui. Entre elas, tem-se
(x) =
2 x
x
1
2
e
x+(x)
,
onde x e um n umero real positivo, (t) = /12x e 0 < < 1. Esta
denomina-se formula de Stirlling, de aplicacao quando x N, dando
uma representacao para o fatorial. Com a substituicao x = y/(1+y)
obtem-se
B(a, h) =
_
0
y
a1
(1 +y)
a+b
dy
238 CAP
ICIOS
com certa utilidade nas aplicacoes.
Fazendo x = y = 1/2 em (2) e observando (1) tem-se
_
_
1
2
__
2
= 2
_
/2
0
dx = com
_
1
2
_
=
.
96. Na Parte 1, Cap. 5, analisou-se a formula de Taylor obtendo-se
a expressao do resto R
n
sob uma forma particular. Deduz-se neste
complemento a formula de Taylor com o resto sob a forma geral e
do resultado obtido encontram-se outros. De fato, seja f denida
em (a, b) com valores em R um funcao n vezes continuamente de-
rivavel. Inicia-se fazendo os calculos para n = 4. Assim, o problema
e calcular R
4
para a formula de Taylor:
f(x) = f(x
0
) +
(x x
0
)
1!
f
(x
0
) +
(x x
0
)
2
2!
f
(x
0
)+
(x x
0
)
3
3!
f
(x
0
) +R
4
,
onde x e x
0
pontos de (a, b). Procede-se como no Cap. 5 com ligeira
modicacao na denicao da funcao .
Para x
0
< u < x dene-se
(u) = f(x) f(u)
(x u)
1!
f
(u)
(x u)
2
2!
f
(u) +
(x u)
3
3!
f
(u) (x u)
p
(x x
0
)
p
R
4
,
sendo p um parametro sem nenhuma restricao. Resulta que e
continuamente derivavel e (x) = 0 para u = x
0
e u = x. Por-
tanto, pelo teorema de Rolle existe (x
0
, x), tal que
() = 0.
239
Calculando
(u) obtem-se
(u) =
(x u)
3
3!
f
(iv)
(u) +p(x u)
p1
(x x
0
)
p
R
4
.
Calculada em = x
0
+(x x
0
) com 0 < < 1 resulta
R
4
=
1
p3!
(x )
3
f
(iv)
()
(x x
0
)
p
p(x )
p1
.
No caso geral n opera-se de modo absolutamente analogo, obtendo
R
n
=
1
p(n 1)!
(x )
n1
f
(n)
()
(x x
0
)
p
p(x )
p1
Fazendo h = x x
0
e x = (x x
0
) + (x x
0
) = h(1 )
tem-se
R
n
=
h
n
(1 )
np
p(n 1)!
f
(n)
() onde = x
0
+h,
o qual e denominado resto de Roche-Schlomich, e inclue, como caso
particular, o de Lagrange e de Cauchy. De fato,
Se p = n obtem-se ver Parte 1, Cap. 5, o de Lagrange
R
n
=
h
n
n!
f
(n)
() =
(x x
0
)
n
n!
f
(n)
().
Se p = 1 tem-se pelo Exerccio 83, o de Cauchy
R
n
=
h
n
(1 )
n1
(n 1)!
f
(n)
().
240 CAP
ICIOS
Funcoes Convexas
97. Seja J um intervalo aberto de R, uma semi-reta (, 0),
(0, ) ou o R, o qual e representado por (, +) e denominado
a reta numerica.
Denicao 1. Diz-se que f : J R e uma func ao convexa, quando
para todo par de pontos a, b J e (0, 1) vale a desigualdade
f
_
a + (1 )b
_
f(a) + (1 )f(b).
Quando vale apenas a estrita desigualdade <, diz-se que f : J R
e estritamente convexa em J.
Interpretacao Geometrica - Considere uma funcao f : J R
convexa e a, b J. Se a < x < b tem-se
x a
b a
= para 0 < < 1.
Logo, todo x de (a, b) escreve-se
x = a +(b a) = (1 )a +b com 0 < < 1.
Tomando = 1 tem-se 0 < < 1. Assim, x em (a, b) escreve-se
sob a forma
x = a + (1 )b.
Considere A = f(a) e B = f(b) pontos do graco de f em um
sistema ortogonal de coordenadas cartesianas x0y. A reta suporte
do segmento AB possui equacao cartesiana
y f(a) =
f(b) f(a)
b a
(x a). (1)
241
Se c e um ponto interior de (a, b) J, a reta x = c com
c = a + (b a) = (1 )a + b = a + (1 )b, intercepta o
suporte (1) de AB no ponto de ordenada
y
c
= f(a) +
f(b) f(a)
b a
(c a).
Sendo y
c
um ponto do segmento AB, obtem-se
y
c
= f(a) + (1 )f(b) onde 0 < < 1.
Se f : J R e convexa, entao f(c) = f
_
a+(1)b
_
e menor que
y
c
. Portanto, para cada par de pontos a e b de J, o graco esta
abaixo da corda AB como e visto na gura 1.
0
x
y
Fig.1
a c
b
A
B
y
c
f
f(c)
Considere a < x < b. Assim, (x, f(x)) e um ponto do graco de f
em (a, b) e (x, y
x
) um ponto da corda AB. Sendo f convexa, tem-se,
por denicao
f(x) y
x
para todo x (a, b).
242 CAP
ICIOS
Portanto, sendo f(x) y
x
com
y
x
= f(a) +
f(b) f(a)
b a
(x a)
a equacao do suporte de A, a qual escreve-se, tambem, sob a forma
y
x
=
b x
b a
f(a) +
x a
b a
f(b)
implica
f(x)
b x
b a
f(a) +
x a
b a
f(b) (2)
para todo a < x < b. A desigualdade (2) e outro modo de denir a
convexidade da f.
Observacao - Fazendo-se 1 = escreve-se da denicao de
convexidade
f(a +b) f(a) +f(b) para + = 1,
onde e sao n umeros positivos. Por meio de (2) obtem-se uma
desigualdade para funcoes convexas de utilidade no estudo de suas
propriedades. De fato, adicione f(a) a ambos os membros de (2).
Apos alguns calculos simples obtem-se
f(x) f(a)
x a
f(b) f(a)
b a
para todo a < x < b. De modo analogo, adicionando-se f(b) a
ambos os membros de (2) resulta
f(b) f(a)
b a
f(b) f(x)
b x
243
Da, sendo f convexa, obtem-se para todo a < x < b que
f(x) f(a)
x a
f(b) f(a)
b a
f(b) f(x)
b x
(3)
A desigualadde (3) possui uma interpretacao geometrica. Para xar
ideias, considere x = c e veja a Fig. 1. Note que o coeciente angular
do suporte de AC e menor que o de AB que e menor que o de CB.
Funcoes Ponto Medio Convexas: Seja f : J R e x
1
< x
2
pontos interiores a J. Diz-se que f e ponto medio convexa, quando
f
_
x
1
+x
2
2
_
1
2
[f(x
1
) +f(x
2
)].
Se f e ponto medio convexa, entao
f
_
x
1
+x
2
+x
3
+x
4
4
_
1
4
_
f(x
1
) +f(x
2
) +f(x
3
) +f(x
4
)
_
.
Por inducao, demonstra-se que
f
_
x
1
+x
2
+ +x
n
n
_
1
n
_
f(x
1
) +f(x
2
) + +f(x
n
)
_
para n = 2
p
com p N. Mostra-se, a seguir, que se vale para os
n umeros 2
p
vale para todo natural n N. De fato, dado n N
seja p N tal que 2
p
> n. Dena-se
x
n+1
= x
n+2
= = x
2
p =
1
n
(x
1
+ +x
n
).
244 CAP
ICIOS
Tem-se, por hipotese e denicao de x
n+1
, x
n+2
, . . . , x
2
p que
f
_
1
2
p
(x
1
+ +x
n
+x
n+1
+ +x
2
p)
_
1
2
p
_
f(x
1
) + +f(x
n
) +f(x
n+1
) + +f(x
2
p)
_
=
1
2
p
_
f(x
1
) + +f(x
n
) + (2
p
n)f
_
x
1
+ +x
n
n
__
.
Observe que
1
2
p
(x
1
+ +x
n
+x
n+1
+ +x
2
p) =
1
2
p
(x
1
+ +x
n
) +
2
p
n
2
p
1
n
(x
1
+x
2
+ +x
n
) =
X
2
p
+
2
p
n
2
p
X
n
=
X
n
=
1
n
(x
1
+ +x
n
).
Substituindo na igualdade anterior, obtem-se
f
_
x
1
+ +x
n
n
_
1
2
p
_
f(x
1
) + +f(x
)
+ (2
p
n)f
_
x
1
+ +x
n
n
__
.
Assim,
Y
1
2
p
_
f(x
1
) + +f(x
n
) + (2
p
n)Y.
_
Resolvendo em Y, obtem-se nY f(x
1
) + f(x
n
) ou
f
_
x
1
+ +x
n
n
_
1
n
_
f(x
1
) + +f(x
n
)
_
. (4)
para todo n N.
245
Proposicao 1 - (Jansen 1906) Se f : J R e contnua e ponto
medio convexo, entao f e convexa.
Demonstracao: Seja a, b J com a < b e n, k N com k < n.
De (4) obtem-se
f
_
k
n
a +
n k
n
b
_
1
n
_
kf(a) +(nk)f(b)
_
=
k
n
f(a) +
(n k)
n
f(b).
Portanto, vale para racional com 0 < < 1. Da continuidade da
f resulta que vale para real com 0 < < 1.
Exemplo: Considere f : (0, ) R denida por f(x) = 1/x
Mostre que f e convexa. De fato, sendo f contnua e suciente
provar que
f
_
a +b
2
_
1
2
[f(a) +f(b)],
para todo par a, b em (0, ). Tem-se f
_
a+b
2
_
=
2
a+b
=
1
M
a
sendo
M
a
media aritmetica. Tambem
1
2
[f(a) +f(b)] =
1
2
_
1
a
+
1
b
_
=
1
M
h
com M
h
media harmonica. Do Complemento 5 sabe-se que
M
h
< M
a
. Logo f e ponto medio convexa, e da Proposicao 1 re-
sulta que f e convexa.
A seguir sera obtido um criterio de convexidade por meio da
derivabilidade da funcao.
Proposicao 2 - Seja f : J R duas vezes continuamente derivavel.
Uma condicao necessaria e suciente para que f seja convexa em J
e que possua derivada segunda positiva.
246 CAP
ICIOS
Demonstracao: Da desigualdade (3), para f convexa dados
x
1
< x
2
e x
1
+h < x
2
+h, obtem-se
f(x
1
+h) f(x
1
)
h
f(x
2
+h) f(x
2
)
h
Quando h 0, tem-se
f
(x
1
) f
(x
2
) para x
1
x
2
.
Logo, f
0, considere
x, y J e 0 < < 1. Do teorema do valor intermediario existem
x <
1
< x + (1 )y <
2
< y e
1
< <
2
a serem empregados
no decorrer da demonstracao. Deve-se provar que
K(x, y, ) = f
_
x + (1 )y
_
f(x) (1 )f(y)
e negativa ou nula. De fato, sendo f(z) = f(z) +(1)f(z) tem-se
A = f
_
x + (1 y)
_
(1 )f
_
x + (1 )y
_
f(x) (1 )f(y) =
_
f
_
x + (1 )y
_
f(x)
+(1 )
_
f
_
x + (1 )y
_
f(y)
.
Do teorema do valor intermediario, resulta
K(x, y, ) = (1 )
_
f
(
1
) f
(
2
)
= (1 )
_
f
(
2
) f
(
1
)
.
Aplicando uma vez mais o teorema do valor intermediario e obser-
vando que f
() 0, obtem-se
K(x, y, ) = (1 )(y x)(
2
1
)f
() 0.
247
Aplicacao: Outra demonstracao da desigualdade de Holder. Con-
sidere a funcao f : (0, +) R
+
denida por f(x) = e
x
. Note que
f convexa porque f
(x) = e
x
> 0 em (0, +). Logo
f(log x +log y) f(log x) +f(log y),
onde e sao positivos e + = 1. Note que f(log x) = x,
f(log y) = y e f(log x + log y) = f(log x
) = x
. Portanto,
da desigualdade anterior deduz-se
x
x +y com + = 1.
Considere = 1/p, = 1/q e faca x
p
em lugar de x e y
q
em
lugar de y. Assim, obtem-se
xy
x
p
p
+
y
q
q
com
1
p
+
1
q
= 1.
Esta e a desigualdade obtida no Complemento 96. Por este motivo a
desigualdade de Holder e denominada desigualdade de convexidade.
Integrais improprias segundo Cauchy-Riemann e Lebesgue
98. Deniu-se na Parte 1, Cap. 6, 6.5 a nocao de integral de funcoes
reais em partes nao limitadas de R do tipo (, a), (b, +) e de
funcoes denidas em intervalos limitados do tipo (a, b) possuindo sin-
gularidades. Estas foram denominadas integrais improprias , cujas
denicoes sao relembradas a seguir.
248 CAP
ICIOS
Considere f : (a, +) R e (a, b) um intervalo contido em
(a, +), isto e, a < b < . Supoe-se a restricao de f ao subinter-
valo (a, b) integravel a Cauchy-Riemann para todo (a, b) (a, +).
Assim a funcao
(b) =
_
b
a
f(x) dx
e bem denida em (a, +). Quando existe lim
b
(b), i.e., nito, diz-
se que f possui uma integral impropria segundo Cauchy-Riemann em
(a, +) e escreve-se
_
a
f(x) dx = lim
b
_
b
a
f(x) dx.
Em Complemento 55 foi visto que a funcao
f(x) =
senx
x
se 0 < x < ,
1 se x = 0,
possui integral impropria segundo Cauchy-Riemann em (0, ).
No Complemento 90 viu-se como Lebesgue idealizou o conceito
de integral em um intervalo (a, b) com < a < b < + a qual
contem a integral de Cauchy-Riemann. Isto signica dizer que toda
funcao integravel a Cauchy-Riemann e a Lebesgue, mas a recproca
nao e valida em geral. A seguir considera-se o caso nao limitado
f : (a, +) R, dene-se integral impropria segundo Lebesgue e
verica-se que ha funcoes que possuem integral impropria a Cauchy-
Riemann mas nao a Lebesgue. De fato, seja f : (a, +) R in-
tegravel a Lebesgue em todo subintervalo (a, b) (0, +). As
249
funcoes parte positiva
+
e parte negativa
+
(b) =
_
b
a
f
+
(x) dx e
(b) =
_
b
a
f
(x) dx
sao positivas e crescentes, porque f
+
0 e f
0. Logo possuem
limite quando b . Se estes limites sao nitos, dene-se
_
+
a
f
+
(x) dx = lim
b
+
(b) e
_
+
a
f
(x) dx = lim
b
(b)
dizendo-se que f possui uma integral impropria segundo Lebesgue
em (a, +) denida por
_
a
f(x) dx =
_
+
a
f
+
(x) dx
_
+
a
f
(x) dx.
Portanto, se existe a integral impropria segundo Lebesgue de f em
(a, +), resulta que existe a integral impropria do modulo de f, isto
e, [f[ = f
+
+f
dada por
_
+
a
[f(x)[ dx =
_
0
f
+
(x) dx +
_
0
f
(x) dx
e reciprocamente.
Exemplo: Foi visto que
f(x) =
senx
x
se 0 < x < +,
1 se x = 0,
possui integral impropria de Cauchy-Riemann, veja Complemento
55. Entretanto foi visto no Complemento 93 que seu modulo [f[
250 CAP
ICIOS
nao possui integral impropria segundo Lebesgue, logo f nao possui
integral impropria segundo Lebesgue.
99. A seguir estuda-se um resultado de Abel (1802-1829) sobre
convergencia de series numericas, o qual tem uma generalizacao para
integrais improprias, consultar G.H. Hardy op.cit. 179 e 185.
Abel sobre Series Numericas. Considere uma sucessao (u
n
)
nN
de n umeros reais positivos e decrescente, tal que a serie
n=1
u
n
seja
convergente. Entao lim
n
(nu
n
) = 0. De fato, sendo a serie conver-
gente seu resto R
n+1
= u
n+1
+u
n+2
+. . . converge para zero quando
n . Sendo u
n
> 0 para n = 1, 2, . . . resulta que
u
n+1
+u
n+2
+ +u
2n
0 quando n
por ser dominada por R
n+1
. Sendo
u
1
u
2
u
n+1
u
2n
. . .
conclui-se que u
n+k
u
2n
para k = 1, 2, . . . , n. Logo,
nu
2n
u
n+1
+u
n+2
+ +u
2n
< R
n+1
0 quando n .
Da obtem-se lim
n
(2nu
2n
) = 2 lim
n
(nu
2n
) = 0, valendo o
resultado para os n umeros pares de N. Suponha para os mpares
2n + 1. Entao, u
2n+1
u
2n
, pois (u
n
) e decrescente. Portanto,
(2n + 1)u
2n+1
[(2n + 1)(2nu
2n
)]/2n, e sendo u
n
> 0, tem-se
lim
n
(2n+1)u
2n+1
lim
n
_
2n + 1
2n
_
lim
n
(2nu
2n
) = 0 para todo n.
251
Concluindo-se que lim
n
(nu
n
) = 0 para todo n N.
Exemplos:
Suponha u
n
= 1/n, entao a serie harmonica
n=1
u
n
esta nas
condicoes de Abel. Sendo lim
n
nu
n
= 1, a serie nao converge. Veja
Parte 1, Cap. 3.
Igual exemplo para a progressao geometrica u
n
= a + nb para
a > 0, b > 0 e n N. A serie
n=1
1/(a +nb) e divergente, pois
lim
n
nu
n
= 1/b > 0.
Abel sobre Integrais Improprias. Hardy generalizou o caso
anterior para integrais improprias. Mudando de notacao, faz-se
u
n
= (n) sendo : N R. Abel considerou:
n=1
(n) e convergente.
Conclusao: lim
n
n(n) = 0
Generalizacao de Hardy para integrais improprias.
ICIOS
De fato, para xar ideias faca a = 0. Logo, a integral
_
0
(x) dx e
convergente, logo por denicao, cf. Parte 1, Cap. 6, 6.5, tem-se
_
0
(x) dx = lim
_
0
(x) dx. (1)
Para = n N, obtem-se
_
n
0
(x) dx =
n
k=1
_
k
k1
(x) dx,
e se
f(k) =
_
k
k1
(x) dx,
de (1) deduz-se que a serie
k=1
f(k) e convergente. Tem-se tambem
que f(k) > 0 para todo k N. Esta sucessao e decrescente porque
: R R e decrescente. Do resultado de Abel para series numericas,
obtem-se
lim
k
k f(k) = 0.
Deve-se provar que lim
x
x(x) = 0. De fato, para k < x < k + 1
e sendo decrescente resulta (x) < (k) e x(x) < x(k) para
x > 0. Ou ainda, x(x) < (k +1)(k) = k (k) +(k). Tem-se, por
Abel, que k (k) 0 quando k . Por outro lado, (k) 0
por ser termo geral de uma serie convergente. Assim, resulta que
x(x) 0 quando x .
Exemplo: Seja (x) = 1/(a + bx) com a, b > 0 e x > 0. Entao
_
0
dx
a+bx
nao converge, pois lim
x
x(x) = 1/b > 0.
253
100. No que se segue analisa-se um teorema de Dirichlet (1805,
1859) sobre series numericas que se estende para integrais improprias,
semelhante ao resultado de Abel visto no Complemento 99.
Dirichlet sobre Series Numericas. Suponha (
n
) uma sucessao
de n umeros positivos, decrescente, convergente para zero e
a
n
uma serie numerica cuja sucessao das somas parciais (s
n
) com
s
n
= a
1
+a
2
+ +a
n
, e limitada. Entao a serie
a
n
n
e conver-
gente. Para demonstrar esta assercao, considera-se o algoritmo de
Abel, isto e, para cada N tem-se
n
=1
a
=
n
=1
s
+1
) +s
n
n+1
. (1)
Observacao - Para demonstrar (1) procede-se como se segue. Para
cada N, tem-se
a
= (s
s
1
)
= s
s
1
= s
+1
+s
+1
s
1
,
isto e
a
= s
+1
) s
1
+s
+1
.
Convencionando s
0
= 0 e somando em = 1, 2, . . . , n, obtem-se a
identidade (1) de Abel.
Para demonstrar o resultado de Dirichlet, observe que (
n
) e
decrescente, assim
+1
> 0 para todo N. Portanto, a serie
de termos positivos (
1
2
)+(
2
3
)+ +(
+1
)+. . . possui
soma parcial de ordem n igual a
1
n
que converge para zero,
254 CAP
ICIOS
pois lim
n
n
= 0 por hipotese. Logo esta serie e convergente. Por
hipotese, a sucessao (s
n
) de somas parciais da serie
a
e limitada,
isto e, [s
n
[ < K para todo n e K > 0. Conseq uentemente a serie
=1
s
+1
) e absolutamente convergente, pois e dominada em
valor absoluto pela serie convergente K
=1
(
+1
). Portanto, a
sucessao de somas parciais da serie
=1
s
+1
) converge para
um limite nito, isto e lim
n
n
=1
s
+1
) existe. Por hipotese,
lim
n
n+1
= 0 e (s
n
) e limitada, logo lim
n
s
n
n+1
= 0. Resulta
destas duas ultimas assercoes que se n existe o limite de
n
=1
a
=
n
=1
s
+1
) +s
n
n+1
,
portanto,
=1
a
e convergente.
Corolario 1. Seja (
n
) uma sucessao de n umeros positivos, de-
crescente com lim
n
n
= L, nao necessariamente zero. Se
n=1
a
n
e
convergente a serie
n=1
a
n
n
e convergente.
Demonstracao: Considera-se a sucessao (
n
L) de n umeros pos-
itivos, decrescente convergente para zero. Sendo
a
n
convergente
a sucessao de somas parciais (s
n
) e convergente, logo limitada. Pelo
resultado de Dirichlet conclui-se que
n=1
a
n
(
n
L) e convergente.
Sendo a
= a
L)La
, resulta que
a
e convergente.
255
Aplicacao: Estudar a convergencia das series
=1
cos
s
e
=1
sen
s
com s > 0. Para reduzir ao teorema de Dirichlet considera-se, para
a primeira serie a
= cos e a
= 1/
s
com s > 0, e decrescente, de n umeros positivos e
convergente para zero. Esta sucessao, para s > 0 esta nas condicoes
de Dirichlet. Considere nao m ultiplo de 2.
Calculo das reduzidas C
n
e S
n
das series em co-seno e seno: dos
n umeros complexos obtem-se
C
n
+iS
n
=
n
=1
cos +i
n
=1
sen =
n
=1
(cos +i sen)
=
n
=1
(cos +i sen)
=
n
=1
z
,
sendo z = cos +i sen. Tem-se
n
=1
z
= z
z
n
1
z 1
e [C
n
+iS
n
[
z
z
n
1
z 1
2
[z 1[
Note que [C
n
[ e [S
n
[ sao menores que [C
n
+ iS
n
[, o qual e menor
que
2
|z1|
independente de n N. Portanto, as series
cos e
=1
cos
s
e convergente
para s > 0. Examine a segunda serie.
Dirichlet sobre Integrais Improprias. Resumindo o resultado
acima demonstrado, obtem-se:
(
n
) sucessao de n umeros positivos, decrescentes para zero e
a
n
256 CAP
ICIOS
serie numerica cuja sucess ao das somas parciais e limitada. Entao
a serie
a
n
n
e convergente.
Este resultado possui sua generalizacao natural para integrais
improprias, cf. Titchmarsh, op.cit. De fato, seja : R
+
R con-
tinuamente derivavel, decrescente com lim
x
(x) = 0 e f : R
+
R
tal que a integral
F(x) =
_
x
a
f(s) ds
seja limitada e valha o teorema fundamental do calculo. Entao, a
integral impropria
_
a
f(x)(x) dx e convergente.
De fato, prova-se que o
lim
x
_
x
a
f(x)(x) dx
existe. Integrando por partes, tem-se
_
a
f(x)(x) dx = F()() +
_
a
(
(x))F(x) dx,
pois F(a) = 0 e F
_
0
(
(x) > 0
e () 0, quando . Logo, existe a integral impropria
_
a
f(x)(x) dx.
257
Aplicacoes:
(1) As integrais
_
0
senx
x
dx e
_
1
cos x
x
dx
sao convergentes, (x) = 1/x com x > 0 e f(x) = senx ou cos x
para x > 1.
(2) Examinar a integral
_
0
senx
x
s
dx com s > 0.
Toda explicacao ca pela metade,
pois o homem nao consegue termina-la
Ecl. IV. 8
Indice Remissivo
Adicao em R, 13
Classes Contguas, 12
Conjunto
Ordenada de f, 120
Conjuntos
Abertos, 33
Compactos, 39
Fechados, 33
Limitados, 31
Continuidade, 87
Uniforme, 93
Convergencia
Forte em
2
(N), 76
de Fun cao, 85
Fraca em
2
(N), 76
Corte de Dedekind em Q, 8
Cortes de Dedekind
em R, 11
Criterio
de Kummer, 213
de Raabe-Duhamel, 213
Denicao de Funcao em R, 18
Derivada
de Ordem Superior, 103
de uma Fun cao
em um Ponto, 97
em um Conjunto, 98
Desigualdade
de Cauchy, 75, 230
de Cauchy-Schwarz, 231
de Holder, 229
de Minkowski, 232
Triangular, 75
Espaco de Hilbert Real, 77
Formula
258