Clculo Integral em

(Antnio Bivar)
1. Motivao do conceito de integral de funo real num intervalo de :
rea abaixo do grfico de funo real no negativa e rea entre dois grficos
rea de um crculo como integral; posio de um ponto em movimento num
eixo relao com o Teorema Fundamental do Clculo Integral e a Frmula
de Barrow; utilizao prtica destes resultados; clculo efectivo da rea de
um crculo; rea de sector limitado por uma curva dada em coordenadas
polares; volumes de slidos caso do slidos de revoluo; volume de uma
esfera; evoluo da poluio de um lago equao integral e equao
diferencial.
Em diversas situaes que ocorrem em Matemtica e noutras cincias til
considerar a rea de um conjunto de pontos do plano R
2
limitado por um
segmento do eixo dos ( ), pelo grfico de uma funo [a. /[ 0 aa a < /
1: [a. /[ 1 _ 0 [a. /[ (a. 1(a)) : a [a. /[ R tal que em (conjunto ) e pelos
segmentos verticais e . a [0. 1(a)[ / [0. 1(/)[
Designaremos esta parte do plano por conjunto dos pontos abaixo do grfico de
1 (trata-se do conjunto:
(a. n) : a [a. /[ 0 _ n _ 1(a) R
2
e )
e a respectiva rea por ; no caso particular em que a rea abaixo do grfico de 1
funo em arbitrariamente em 1 constante conjunto [a. /[ a [a. /[ , se fixarmos , o
dos pontos abaixo do grfico de 1 o rectngulo de lados paralelos aos eixos
coordenados , com lados horizontais e verticais de comprimen- [a. /[ [0. 1(a)[
tos respectivamente e , tendo portanto, naturalmente, rea: / a 1(a)
1(a) (/ a).
2
No caso geral no dispomos de uma definio bvia de rea abaixo do grfico
de 1 ; o estudo desta noo para uma classe de funes to geral quanto 1
possvel matria delicada cuja interessante Histria se prolongou por alguns
sculos, mas ocupar-nos-emos para j apenas do caso em que 1 contnua.
Comecemos por notar que, em qualquer caso, o conjunto dos pontos abaixo do
grfico de 1 unio disjunta dos segmentos verticais a [0. 1(a)[, os quais se
podem considerar como rectngulos degenerados de rea 1(a) (a a) = 0
( ; por outro lado qualquer noo razovel de rea dever ser cf. a figura seguinte)
aditiva, no sentido em que a rea de uma unio disjunta de conjuntos dever ser
igual soma das reas de cada um dos conjuntos que formam essa unio.
Pareceria ento que a definio razovel de rea abaixo do grfico de 1 deveria
ser dada pela soma das reas daqueles rectngulos degenerados; mas no
dispomos para j de nenhuma noo razovel de soma de um nmero infinito
(neste caso no numervel) de parcelas (uma para cada ), as quais, a [a. /[
para mais, seriam todas nulas; esta verificao levou os inventores do clculo,
em finais do sculo XVII (destacam-se, a este respeito, os nomes de Newton e
Leibniz) a postular que se poderiam utilizar quantidades designadas por
infinitsimos a partir das quais seria possvel construir rectngulos com algumas
das propriedades geomtricas dos que permitem reconstituir, como acima, o
conjunto dos pontos abaixo do grfico de 1, mas de modo que as respectivas
reas, embora menores que qualquer quantidade positiva, pudessem dar lugar a
uma soma total (a definir) finita e no necessariamente nula. Deste modo,
designaram por ( de ) o comprimento de um desses diferencial da a
segmentos infinitesimais do eixo dos (substituindo-se assim a diferena aa
nula pelo ) que seriam bases dos rectngulos a a da diferencial
infinitesimais de altura os quais, por unio disjunta, reconstituiriam 1(a)
exactamente o conjunto cuja rea se pretendia definir; a soma de todas essas
reas infinitesimais representava-se por um alongado com ndices inferior e o
superior respectivamente iguais a e , indicando-se que a soma era efectuada a /
para a variar entre e , o que dava lugar notao seguinte para a a a / rea abaixo
do grfico de 1:

a
/
1(a) da.
3
Mais de um sculo teve de passar para que esta noo fosse formalizada com o
rigor matemtico comparvel ao que presidia s demonstraes em Geometria
Euclidiana, ainda que o engenho dos matemticos que introduziram e
desenvolveram estes conceitos tivesse permitido obter todos os resultados bsicos
do clculo relativos a esta noo, mesmo que a respectiva fundamentao fosse
controversa. Designa-se aquela expresso por integral de entre e (ou 1 a /
integral de em integral de 1 1 [a. /[ ou simplesmente , se o domnio for pres-
suposto, como aqui o caso); diz-se e do a / extremo inferior extremo superior
integral.
Antes de procurarmos construir rigorosamente o integral, analisemos outros
exemplos em que esta noo intervm; comecemos por uma generalizao simples
do conceito de rea abaixo de um grfico. Se forem dadas duas funes:
1. o: [a. /[ R
(a < /) 1(a) _ o(a). , tais que va [a. /[, podemos procurar calcular a rea do
conjunto dos pontos situados entre os grficos de e , ou seja, do conjunto: 1 o
(a. n) : a [a. /[ 1(a) _ n _ o(a): R
2
e
4
encarando este conjunto como unio disjunta dos segmentos do plano
a [1(a). o(a)[ (a _ a _ /) e admitindo que esta rea pode ser calculada
atravs da soma generalizada (integral!) das reas desses rectngulos
infinitesimais, se atribuirmos o valor infinitesimal (diferencial) ao da
comprimento dos lados horizontais dos rectngulos, e notando que os lados
verticais tm comprimentos , obteremos para valor da rea: o(a) 1(a)

a
/
(o(a) 1(a)) da.
Como exemplo de aplicao deste conceito, lembremos que o crculo de centro em
(0. 0) 1 0 e raio constitudo pelos pontos do plano satisfazendo inequao:
a n _ 1
2 2 2
(distncia origem inferior ou igual a ) 1 ; trata-se portanto do conjunto:
(a. n) : a [1. 1[ 1 a _ n _ 1 a . e
2 2 2 2
ou seja, o conjunto dos pontos do plano situado entre os grficos das funes
1 a ,
2 2
pelo que a rea de tal crculo poder ser dada pelo integral:

1 1
1 1
( ) da = 2

1 a ( 1 a ) 1 a da.
2 2 2 2 2 2
5
Consideremos agora um ponto deslocando-se num eixo em que se fixou uma
origem, unidade de medida e sentido, de maneira que as posies sucessivas do
ponto se podem identificar atravs de um nmero real, abcissa desse ponto no
referido eixo. Designado por a abcissa da posio do ponto material no a(t)
instante , suponhamos que conhecido em determinado instante e t a(t ) = a t
0 0 0
que pretendemos conhecer para em determinado intervalo de tempo a(t) t [t . t [
0 1
(t < t )
0 1
, sabendo que a velocidade instantnea do ponto uma funo contnua
(t) (-) nesse intervalo de tempo. A velocidade instantnea pode intuitivamente
ser assimilada ao conceito de velocidade mdia no intervalo de tempo
infinitesimal de amplitude associado ao instante ; como a velocidade mdia d- -
o quociente da variao do espao pelo tempo decorrido, conclumos que nesse
intervalo de tempo infinitesimal o espao ter variado:
(-) d-
sendo esta variao positiva se (o ponto desloca-se para a direita nesse (-) 0
intervalo de tempo), negativa se (o ponto desloca-se para a esquerda) e (-) < 0
nula se (o ponto no se desloca). Deste modo, para obtermos a abcissa da (-) = 0
posio do ponto num instante , bastar adicionar posio inicial os t [t . t [ a
0 1 0
sucessivos deslocamentos nos intervalos de tempo infinitesimais em que
decompomos o intervalo , ou seja, com a notao j nossa conhecida: [t . t[
0
a(t) = a (-) d-.
0
t
t

0
6
Notemos que, ao contrrio do acontecia nos exemplos anteriores, a funo
integranda pode agora tomar valores negativos. Este exemplo permite-nos
antecipar uma relao fundamental entre o conceito de integral e o conceito de
derivada; sabemos que a velocidade instantnea pode ser rigorosamente definida
atravs deste ltimo conceito, tratando-se, neste caso, da derivada da posio
(abcissa do ponto em movimento) em ordem ao tempo. Portanto: a(t)
(t) = a (t) = (t) = a (-) d- = (-) d- .
da d d
dt dt dt
/
0
t t
t t
| 1 | 1

0 0
ou seja, a derivada do integral em ordem ao extremo superior igual funo
integranda calculada nesse mesmo extremo superior. Este resultado, que ser
mais adiante rigorosamente demonstrado para funes contnuas, de tal modo
importante que se designa por . Teorema Fundamental do Clculo Integral
Notemos tambm que a notao clssica da derivada coerente com o conceito
intuitivo de infinitsimo; com efeito, se designarmos por a variao da
infinitesimal do espao durante um intervalo de tempo infinitesimal de amplitude
dt, a velocidade mdia nesse intervalo de tempo ser naturalmente o quociente
entre os diferenciais da posio e do tempo:
da
dt
.
o que coerente com a noo de velocidade instantnea como derivada. Outra
consequncia que podemos extrair desta noo resulta de substituir directamente
pela derivada de na expresso integral que obtivemos para esta funo: a
a(t) a(t ) =
da
d-
0
t t
t t
0 0
(-) d- = (-) d-:
note-se que, por definio, uma primitiva de , pelo que, se aplicarmos a dadt
esta frmula a uma funo e uma sua primitiva em determinado intervalo 1 1
[a. /[ obteremos:
7

[ [
a
/
a=a
a=/
1(t) dt = 1(/) 1(a) = 1(a) .
Esta equao, que designaremos por Frmula de Barrow, ser tambm adiante
demonstrada para funes contnuas, e permite o clculo de integrais atravs do 1
conhecimento das das funes integrandas. Suponhamos por exemplo primitivas
que a posio no instante de um ponto em movimento tem abcissa e t = 0 a = 1
0
que a velocidade dada por ; uma vez que uma primitiva de , (t) = t t 8
2 8
podemos ento calcular a abcissa do ponto no instante atravs da frmula: t = 2
a(2) = 1 = .
2 0 11
8 8 8

0
2
2
- d- = 1
8 8
Podemos agora aplicar este resultado ao clculo da rea do crculo; tnhamos
obtido para rea de um crculo de raio (centrado na origem): 1

1
1
2

1 a da.
2 2
pelo que, para completar o clculo, basta-nos utilizar uma primitiva da funo
integranda, a qual pode obter-se por substituio, utilizando a mudana de varivel
a1 = sin 0 (tambm se pode obter por primitivao por partes ) [exerccio] :
1(2

|
]
| 1
|
| 1 [
1 a ) = 21(1( 1 1 )) =
= 21 (1 ) = 21 1 =
1 2
2
= 21 ( 2
1 a 1
2 1 4
2 2 2
=
2 2 2
=
=
2
=
sin cos
cos
cos
arcsin sin
0 0
0
0
0
0
0
0
0
arcsin
arcsin
arcsin
a
| 1
| 1
| 1
a
1
a
1 a
1
rcsin| 1
a
1
) =
= 21 ( 2 1 ) = 1 a 1 a .
1 a 1 a a a
2 1 4 1 1 1
2 2
2
2 2
arcsin arcsin | 1 | 1 | 1

donde:

1
1
2

| | 1 1 a da = 1 a 1 a = 1 .
a
1
2 2 2 2
2 2
a=1
a=1
arcsin
como era de esperar
fcil obter resultado idntico para qualquer outro crculo do plano. Conside-
remos agora uma deformao contnua de um arco da circunferncia de centro
em e raio obtida por alterao da distncia origem de cada um dos seus (0. 0) 1
pontos, sendo a nova distncia funo contnua da medida do ngulo formado pelo
vector posio do ponto com a parte positiva do eixo dos ; um ponto genrico aa
dessa circunferncia pode ser dado por a medida em ( . ) ( [0. 2 [ cos sin 0 0 0
radianos do ngulo fomado pelo vector posio do ponto com a parte positiva do
eixo dos ) e se considerarmos uma funo contnua: aa
8
v: [ . [ c u R
( . [0. 2 [. < ) v( ) _ 0. v [ . [ c u c u 0 0 c u , tal que , a deformao pretendida
ser constituda pelos pontos:
(v( ) . v( ) ) 0 0 0 0 cos sin
( [ . [) (v( ) . v( ) ) 0 c u 0 0 0 0 , designando-se por o coordenadas polares de cos sin
par ; trata-se agora de obter a rea da parte do plano delimitada por este (v( ). ) 0 0
conjunto de pontos e pelos segmentos de origem em e extremidade (0. 0)
respectivamente em e . Este (v( ) . v( ) ) (v( ) . v( ) ) c c c c u u u u cos sin cos sin
conjunto ser unio dos segmentos de origem em e extremidade (0. 0) (v( ) 0 cos
0 0 0 0 c u . v( ) ) ( [ . [) sin , cada um dos quais se pode considerar como um sector
circular infinitesimal de raio correspondente a um ngulo ao centro de v( ) 0
medida infinitesimal (em radianos) ; a rea total de um crculo de raio , d v( ) 0 0
como vimos, , correspondente a um ngulo ao centro de radianos, pelo 0 v( ) 2
2
que a rea de um sector correspondente a radianos ser: d0
d 1
2 2
v( ) = v( ) d
0

0 0 0
2 2
e portanto a rea total da regio considerada dever naturalmente ser dada pela
soma generalizada (integral) das reas de todos estes sectores infinitesimais:

c
u
1
2
v( ) d . 0 0
2
No caso particular em que e reobtemos a rea do v( ) 1 0 [ . [ = [0. 2 [ 0 c u
crculo:
9
| |
0 0
2 2
2 2
2 2
=0
=2

0
0
1 1 1
2 2 2
v( ) d = d = = 1 : 0 0 0 0
outros exemplos sero as reas delimitadas por uma espiral de Arquimedes
(v(0 0 0 0 0 ) = . [0. 2 [) (v( ) = c . [0. 2 [) ou por uma , espiral logartmica
0
obtendo-se respectivamente:
| |
0 0
2 2
2
2 8 8
=0
=2

0
0
1 4
2 2 6 8
v( ) d = d = = . 0 0 0
0 0
e:
| |
0 0
2 2
2
2 2 4
=0
=2
0 0
0
0
1 c c c 1
2 2 4 4
v( ) d = d = = . 0 0 0
10
Podemos agora procurar aplicar o conceito (por enquanto intuitivo) de integral
ao clculo de volumes; consideremos um slido do espao que seja unio R
8
disjunta de fatias da forma:
a o(a)
em que uma parte de cuja rea conhecida e tem o valor para o(a) (a) R
2
cada em certo intervalo . Podemos ento considerar que o volume a [a. /[ (a < /)
do slido igual soma generalizada (integral) dos volumes dos slidos
cilndricos infinitesimais de base com a forma de e altura . Cada um o(a) da
desses cilindros infinitesimais ter ento volume , pelo que o volume (a) da
total dever ser dado por:

a
/
(a) da.
11
Calculemos, por exemplo o volume do tetraedro:
(a. n. .) : a. n. . _ 0. a n . _ 1 = (a. n. .) [0. 1[ : a n . _ 1: R
8 8
trata-se da unio, para , dos , onde: a [0. 1[ a o(a)
o(a) = (n. .) [0. 1[ : n . _ 1 a =
= (n. .) [0. 1 a[ : . _ (1 a) n.
2
2
tringulo rectngulo equiltero com catetos de comprimento , portanto de 1 a
rea:
(a) =
(1 a)
2
2
(poderamos confirmar este resultado calculando a rea atravs do integral em
[0. 1 a[ n (1 a) n da funo de , ). O volume do tetraedro ser ento:
| |
0 0
1 1 2 8
a=0
a=1
(a) da = da = = .
(1 a) (1 a) 1
2 6 6
Examinemos agora o caso particular em que o slido de revoluo, ou seja,
pode ser obtido pela rotao em torno do eixo dos de uma figura plana que aa
vamos supor ser o conjunto dos pontos abaixo do grfico de uma funo no
negativa ; neste caso cada uma das fatias em que o slido 1: [a. /[ (a < /) R
fica decomposto por interseco com um plano paralelo ao plano passando nO.
por ser um crculo de raio , o qual ter ento rea: a [a. /[ 1(a)
(a) = 1(a) .
2
Ento o volume de tal slido de revoluo ser dado muito simplesmente por:
12

a
/
2
1(a) da.
Apliquemos este resultado ao clculo do volume de uma esfera de raio , 1 0
obtida por revoluo em torno do eixo dos de um semi-crculo, conjunto dos aa
pontos abaixo do grfico da funo:
1: [1. 1[
a 1(a) = 1 a :
R
2 2
o volume ser ento dado por:
| |
1 1
1 1
2 2 2 2 8
8
a=1
a=1
1(a) da = (1 a ) da = (1 a ) = 1 .
a 4
8 8
como tambm era de esperar.
Analisemos agora um problema prtico que envolver a noo de integral;
imaginemos um lago poludo e suponhamos que a partir de determinado instante
t
0
se consegue evitar a afluncia ao lago de novos poluentes, havendo um sistema
de esvaziamento, o qual compensa a quantidade de gua (suposta pura) que aflui
ao lago (atravs de chuvas, cursos de gua afluentes, etc.) de modo a manter o
volume total de lquido no lago constante. Pretende-se determinar a evoluo
temporal da quantidade total de poluentes existente no lago; para esse efeito
faremos as seguintes hipteses simplificadoras, as quais determinam o modelo
matemtico que utilizaremos para resolver este problema:
O volume total de lquido no lago uma constante , em determinada \ 0
unidade de volume fixada, sendo constitudo por uma mistura uniforme de gua e
poluentes; designaremos por o volume de poluentes que se encontram nessa (t)
mistura no instante (sendo o tempo medido em determinada unidade pr-fixada). t
Ou seja, supomos que essa mistura lquida se pode decompor num volume
\ (t) (t) t de gua pura e de poluentes, em cada instante ;
13
Aflui gua pura ao lago a uma taxa constante de unidades de volume por
unidade de tempo, e simultaneamente o sistema de descarga faz com que se escoe
o lquido do lago mesma taxa constante (em particular o volume total de lquido
no lago mantm-se, de facto, constantemente igual a ); \
Supe-se que, ao longo de todo o processo, os poluentes existentes no lquido
do lago se mantm sempre uniformemente distribudos (ou seja, despreza-se o
tempo que a mistura leva a homogeneizar-se devido introduo constante de
nova gua pura e sada mesma taxa constante da gua poluda existente no
lago).
Supe-se que a poluio foi medida em determinado instante , designando- t
0
se por o respectivo volume existente no lago nesse instante.
0
O objectivo ser estudar a funo em determinado intervalo de tempo (t)
[t . T[ (t < T) -. t [t . T[
0 0 0
; comecemos por notar que entre dois instantes ,
- < t, o volume de poluentes que sai do lago parte do volume de lquido
despejado pelo sistema de descarga, pelo que no pode ser superior ao volume
total de lquido descarregado, o qual , por hiptese, . Sendo assim, a (t -)
variao da poluio entre os dois instantes satisfaz desigualdade:
[(t) (-)[ = (-) (t) _ (t -) = [t -[
o que prova que contnua ( at uniformemente contnua) em . Para [a. /[
obtermos a poluio em determinado instante , de acordo com as t [t . T[
0
hipteses feitas teremos de subtrair a a quantidade de poluio que se foi
0
escoando entre os instantes e ; utilizando os conceitos intuitivos acima t t
0
introduzidos, podemos considerar que o intervalo de tempo se decompe na [t . t[
0
unio disjunta de intervalos de tempo infinitesimais de amplitude , d-
correspondentes a cada instante de - [t . t[
0
e supor que essa quantidade total de
poluio que se escoou ser a soma entre e das quantidades de poluio que t t
0
se escoaram nos sucessivos intervalos de tempo infinitesimais considerados.
Como em determinado instante a quantidade total de poluio existente no lago -
, por definio, e esta se encontra uniformemente distribuda, em cada (-)
unidade de volume de lquido do lago existir nesse instante uma quantidade
(-)\ de poluio; no referido intervalo de tempo infinitesimal a quantidade de
lquido do lago que se escoa ser e conter portanto exactamente um volume d-
de poluentes igual a:
(-)
\
d-.
Deste modo, utilizando o conceito intuitivo de integral acima introduzido,
podemos dizer que a funo contnua satisfaz equao:
(t) = (-) d-.

\
0
t
t

0
Um dos objectivos do estudo do conceito de integral ser permitir a resoluo de
equaes deste tipo; o modelo adoptado traduz-se na expresso de (que se
pretende determinar) atravs de um integral envolvendo a prpria funo incgnita
14
e cabe matemtica dar soluo a esta equao integral. Apliquemos ento a
este problema os resultados que acabmos de obter informalmente; da equao
que traduz o modelo adoptado deduzimos, atendendo ao Teorema Fundamental
do Clculo Integral, que:
(t) = (t):

\
/
trata-se de uma equao diferencial linear de primeira ordem homognea, com
condio inicial , cuja soluo nica, j nossa conhecida, pode ser (t ) =
0 0
obtida multiplicando ambos os membros da equao pela exponencial de uma
primitiva da funo constante . Escolhendo a primitiva que se anula em , ou \ t
0
seja, multiplicando ambos os membros da equao por:
c

\
0
(tt )
obtemos:
((t) c ) = (t) c (t) c = c ( (t) (t)) = 0

\ \

\ \ \ \
0 0 0 0
(tt ) / / (tt ) (tt ) (tt ) /
pelo que, integrando entre e e utilizando a , obtemos: t t
0
Frmula de Barrow
0 = ((-) c ) d- = (t) c (t ) (t) = c .

t
t
(-t ) / (tt ) (tt )
0 0
0

\ \ \
0 0 0
=
ou seja, a poluio converge exponencialmente para quando tende para , 0 t
embora, teoricamente, nunca se anule, se
0
= 0. Uma maneira de utilizar este
resultado na prtica, sem ser necessrio conhecer o coeficiente , ser medir a \
percentagem de poluio num instante (seja ela ) e notar que: (t)\ t = t \
1 0 1
= (t ) = =
1 1
c = :
1
\ t t
0
(t t )
1 0 0
1

\
1 0
log
deste modo vir:
(t) = . c =

0 0
1
0
tt
0 1
t t
1 0 0
tt
0
t t
1 0 log
| 1
pelo que, efectuando apenas duas medies (poluio por unidade de volume em
dois instantes distintos e poluio por unidade de t t
0 1
) ficamos a conhecer a
volume em qualquer instante atravs da frmula:
(t)
\
= .
\
\ \
t t
t t
0 1
0
0
1 0
| 1
2. Sucesses de funes reais de varivel real; convergncia simples e
convergncia uniforme. Caso das funes contnuas.
Antes de abordarmos rigorosamente a noo de integral, objecto deste captulo,
convm-nos complementar a noo de limite, alargando este conceito a sucesses
de funes.
15
Dada uma sucesso 1
:
de funes reais definidas em , diremos A (A = 0) R
que se a sucesso for convergir 1 1 1
: : :
converge em a A (a) convergente; se
em todos os pontos de diremos que converge A ( = 0) 1
:
simplesmente ou
pontualmente em . Neste ltimo caso podemos definir uma funo:
1: R
atravs de:
1(a) = lim
:
:
1 (a)
(a 1 ) 1 ; diz-se o ( limite pontual simples de em ou ) . No caso particular em
que diremos que = A 1
:
converge (ou tende) simplesmente (ou pontualmente)
para . 1
Consideremos, por exemplo, a sucesso de funes definidas em 1 [0. 1[
:
atravs de:
1
:
:
(a) = a
(a [0. 1[) 1 1 . evidente que converge simplesmente para a funo definida
:
em por: [0. 1[
1(a) = .
0 a [0. 1[
1 a = 1

por este exemplo se conclui que o limite simples de funes contnuas pode no
ser contnuo.
Outro exemplo de sucesso de funes convergente simplesmente pode ser 1
:
definida em por: R
1 (a) = .
0 a < :
: a _ :
:
fcil concluir que converge simplesmente para a funo identicamente nula 1
:
em ; com efeito, para cada , se vem , donde: R R a : a 1 (a) = 0
:
16
1 (a) 0.
:
:
No entanto, se considerarmos os grficos dos , em certo sentido tais grficos 1
:
no parecem tornar-se to prximos quanto o desejarmos do eixo dos aa
(grfico da funo identicamente nula em ) quando se torna arbitrariamente R :
grande (antes pelo contrrio). Mesmo que, na definio de cada , tomssemos 1
:
esta funo constantemente igual a (por exemplo) para (em lugar de nesse 1 a _ :
conjunto ser constantemente igual a ), tambm o respectivo grfico no parece- :
ria, em certo sentido, convergir para o eixo dos , grfico da funo aa
indenticamente nula; inversamente, j os grficos das funes da sucesso 1
:
definida em por: R
1 (a) =
a
:
:
sin
parecem globalmente convergir para o eixo dos , no sentido em que, se aa
considerarmos uma faixa do plano delimitada por duas translatadas verticais do
grfico da funo-limite , de amplitude arbitrariamente pequena, positiva e 1
negativa, a partir de certa ordem o grfico de fica inteiramente contido nessa : 1
:
faixa, ao contrrio do que acontecia nos exemplos anteriores. Sendo a funo- 1
-limite de uma sucesso de funes reais definidas em , essas A (A = 0) R
faixas ficam delimitadas pelos grficos de funes da forma , pelo 1 ( 0) c c
que a propriedade anterior acerca dos grficos exprime-se atravs da condio:
1(a) < 1 (a) < 1(a) . va A. c c
:
(ou seja, ), satisfeita por todas as funes a partir [1 (a) 1(a)[ < . va A 1
: :
c
de certa ordem , a qual apenas depende do fixado. Diremos ento que uma c
sucesso de funes reais definidas em 1 A (A = 0)
:
R converge uniforme-
mente para uma funo 1: A R se, para cada , existir tal que: c N 0
: _ = [1 (a) 1(a)[ < . va A.
:
c
ou seja, sse tender para a sucesso (que se supe tomar apenas valores finitos 0
para suficientemente grande): :
sup
aA
:
[1 (a) 1(a)[.
17
evidente que se convergir uniformemente para , ento converge 1 1 1
: :
simplesmente para 1, atendendo definio habitual de limite de sucesso de
nmeros reais, mas a recproca falsa, como facimente se conclui dos exemplos
acima (com excepo do ltimo). Com efeito, quanto ao primeiro, por exemplo,
temos:
sup sup
a[0.1[ a[0.1[
: :
[a 1(a)[ = a = 1.
sucesso constante igual a , que no tende, portanto, para ; quanto ao segundo 1 0
exemplo, temos mesmo:
sup sup
a a
: :
:
R R
[1 (a) 1(a)[ = 1 (a) = :
(na variante acima considerada em que se substitui por o valor de em 1 1
:
[:. [ 1 , a correspondente sucesso dos constantemente igual a , no sup
tendendo portanto para ) e finalmente apenas no ltimo exemplo temos: 0
sup sup
sin
a a
:
:
R R
[1 (a) 1(a)[ = [ [ = 0.
a 1
: :
o que prova que esta ltima sucesso de funes converge uniformemente para a
funo identicamente igual a em . 0 R
O primeiro exemplo acima considerado revela tambm que o limite simples de
funes contnuas pode no ser contnuo. Provemos que o mesmo no ocorre com
o limite uniforme:
Proposio 2.1: Seja uma sucesso de funes reais definidas em ]
n
J c ]: J , uniformemente convergente para uma funo ; se as
funes forem todas contnuas em certo X ento f contnua em . ] o = o
n
Demonstrao: Seja c 0; por definio de convergncia uniforme podemos
fixar uma ordem tal que para : : _
18
[1 (a) 1(a)[ < . va A.
8
:
c
Como contnua em , sabemos que existe tal que, para e 1 a 0 a A [a a[

-
< -,
[1 (a) 1 (a)[ < :
8

c
ento, para e , teremos: a A [a a[ < -
[1(a) 1(a)[ = [1(a) 1 (a) 1 (a) 1 (a) 1 (a) 1(a)[ _
_ [1(a) 1 (a)[ [1 (a) 1 (a)[ [1 (a) 1(a)[ <
< = .
8 8 8


c c c
c
Algumas propriedades elementares vlidas para a noo de limite de sucesses
numricas tambm o so para a convergncia uniforme. Temos, com efeito:
Proposio 2.2: Sejam sucesses de funes reais definidas em ] , g
n n
J c ] g = , uniformemente convergentes respectivamente para e , .
Ento converge uniformemente para , converge ] g ] g ]
n n n

uniformemente para e converge uniformemente para . ] |] | |]|

n
Demonstrao: As convergncias resultam imediatamente das (des)igualdades
conhecidas para o mdulo e o supremo:


sup sup
sup sup
sup
aA aA
: : : :
aA aA
: :
aA
:
[1 (a) o (a) (1(a) o(a))[ _ ([1 (a) 1(a)[ [o (a) o(a)[)
[1 (a) 1(a)[ [o (a) o(a)[
[ 1 (a) 1(a)[ =
_
` ` sup sup
sup sup
aA aA
: :
aA aA
: :
( [ [ [1 (a) 1(a)[) = [ [ [ 1 (a) 1(a)[
[[1 (a)[ [1(a)[[ _ [1 (a) 1(a)[.
` `

3. Construo do integral para funes reais contnuas num intervalo de
(integral de Cauchy). Funes em escada; integral de funo em escada;
propriedades elementares; aproximao uniforme por funes em escada;
integral de Cauchy de funes contnuas; aproximao por somas de
Riemann, somas inferiores e superiores. Propriedades fundamentais do
integral de funes contnuas. Aplicao modelao do problema da
poluio do lago.
Como ser possvel construir rigorosamente a noo de integral acima
sugerida? Tal como no caso do conceito de derivada poderemos socorrer-nos da
noo de limite; em situaes de aplicao da Matemtica, a noo de limite
traduz-se na possibilidade de obtermos valores aproximados da soluo de
determinado problema com erro inferior a um valor positivo pr-fixado, to
pequeno quanto o desejarmos (pelo menos em princpio ). Em cada caso, para
efeitos prticos, deixamos de distinguir as aproximaes cujo erro se torne inferior
19
a esse valor que fixmos, mas podemos, mais uma vez em princpio, aumentar
indefinidamente a exigncia de rigor; no caso da , rea abaixo do grfico de 1
podemos fixar o grau de rigor com que pretendemos calcular a rea escolhendo
c 0 arbitrariamente pequeno e considerando que o erro no clculo da rea
dever ser inferior rea da parte de delimitada pelos grficos das [a. /[ R
funes e 1 1 c c. Se conseguirmos calcular rigorosamente a rea abaixo do
grfico de uma funo cujo grfico se situe entre os grficos destas duas .
funes, consideraremos ento que a rea abaixo do grfico de ser uma .
aproximao adequada para a rea abaixo do grfico de , com o grau de rigor 1
fixado; a situao geomtrica dos grficos destas funes traduz-se nas
desigualdades:
1(a) < (a) < 1(a) . va [a. /[. c . c
ou seja:
[ (a) 1(a)[ < . va [a. /[. . c
Deste modo, se encontrarmos uma sucesso de funes reais definidas em .
:
[a. /[ 1 que convirja para e de tal modo que o clculo das reas uniformemente
abaixo dos grficos dos seja fcil de levar a cabo, poderemos dizer que o limite .
:
dessas reas, se existir, ser exactamente a rea abaixo do grfico de o 1, ou seja,
integral de entre e . convergncia 1 a / Com efeito, nesse caso, por definio de
uniforme cf. ( a seco anterior), para cada c . 0, os estaro todos nas
:
condies do acima a partir de certa ordem, pelo que os respectivos integrais .
sero aproximaes admissveis para o integral de (para o grau de 1
aproximao relativo s reas determinado por esse ). Para que esta noo seja c
coerente, no entanto, h que demonstrar que esse limite no s existe como
tambm que independente da sucesso escolhida nestas condies, dentro da .
:
classe de funes fixada; como dispomos de uma definio inequvoca de rea
abaixo do grfico quando o correspondente conjunto for unio finita disjunta de
rectngulos, idealmente essa classe dever ser constituda por funes que so .
constantes em cada intervalo de uma famlia finita disjunta cuja unio coincida
com [a. /[. Mesmo no caso em que pretendemos utilizar a noo de integral com
funes podendo tomar valores negativos, o que acabmos de sugerir aplica-se
mutatis mutandis, bastando admitir funes aproximantes . podendo tambm
tomar valores negativos.
Temos assim delineado o programa que nos guiar na construo do integral de
funes contnuas reais definidas num intervalo [a. /[ limitado, fechado e no
degenerado de . Comecemos por definir a classe das funes que tomaremos R
para aproximantes, com integrais fceis de calcular: dado um intervalo de [a. /[
R chamamos a uma sucesso finita de pontos decomposio de [a. /[
(t . .. t ) (/ )
0 /1 0
, designados por tal que: N vrtices da decomposio,
a = t < < t = /.
0 /1
O das amplitudes dos intervalos designa- mximo t t [t . t [ (; = 0. .. /)
;1 ; ; ;1
se por Dadas duas decomposies , dimetro de . d d = (t . .. t )
0 /1
d = (t . .. t )
/ / /
0 |1
, diremos que d
r
mais fina que d se:
20
t . .. t t . .. t .
0 /1
/ /
0 |1
ou seja, se ou se se puder obter de acrescentando alguns pontos. d = d d d
/ /
Chamamos em funo em escada [a. /[ a uma funo . R : [a. /[ tal que existe
uma decomposio de para a qual d = (t . .. t ) [a. /[
0 /1
. constante em cada
intervalo [t . t [
; ;1
; neste caso dir-se- (; = 0. .. /) d decomposio admissvel
para . Como bvio, admite uma infinidade de decomposies admissveis, .
pois, por exemplo, qualquer decomposio mais fina que d = (t . .. t )
/ / /
0 |1
d = (t . .. t )
0 /1
ainda ser admissvel para , uma vez que cada intervalo .
[t . t [ [t . t [
/ /
; ;1
i i1
estar contido em algum intervalo no qual, por hiptese, .
constante. Designaremos por o conjunto das funes em escada em (|o, b|)
[a. /[.
Se composio admissvel para . . d = (t . .. t ) S([a. /[) e , em cada
0 /1
intervalo [t . t [ c (; = 0. .. /)
; ;1 ;
constantemente igual a determinado . . R
O uso que fizmos do conceito intuitivo de parcelas infinitesimais da forma:
.(t) dt.
sugere que, adicionando as que correspondem a e pondo em t [t . t [
; ;1
evidncia o valor constante se obtenha este valor multiplicado pela .(t) = c
;
soma dos , para que dever naturalmente ser igual ao dt t [t . t [
; ;1
comprimento do intervalo , ou seja, a , em coerncia com o [t . t [ t t
; ;1 ;1 ;
clculo da rea de um rectngulo, quando . Portanto, em , a soma c _ 0 [t . t [
; ; ;1
daquelas parcelas infinitesimais dever ser considerada igual a:
c (t t ).
; ;1 ;
Por outro lado as parcelas correspondentes ao conjunto finito dos vrtices da
decomposio devero ter soma nula, uma vez que se trata de soma de finita
parcelas nulas. Deste modo, a soma total das parcelas correspondentes ao
intervalo dever reduzir-se s parcelas correspondentes aos sucessivos [a. /[
intervalos . Somos assim conduzidos definio de [t . t [
; ;1
integral da funo
em escada em integral de J = |o, b|, ou simplesmente que ser o nmero
real:

o
b
(I) dI = c (I I ) c (I I ) = c (I I )
0 l 0 h hl h } }l }
}=0
h

:
o integral de . tambm se representa simplesmente por:

J o
b
ou
podendo tambm a letra t na notao inicial ser substituda por outra qualquer
(designa-se por varivel , por essa razo, tal como o ndice do somatrio muda ;
utilizado na definio), , uma vez que estas letras j tm desde que distinta de e a /
significado preciso atribudo como extremos do intervalo domnio de . 1
21
Observao 1: Uma vez que a uma funo em escada . correspondem diver-
sas decomposies admissveis, ser necessrio demonstrar que a soma utilizada
para definir o integral de no depende da decomposio admissvel fixada para .
o efeito, ainda que este facto seja geometricamente evidente, se considerarmos o
grfico de e interpretarmos cada parcela como rea de um rectngulo, afectada .
ou no de sinal menos (consoante o sinal de no intervalo-base do .
rectngulo). Consideremos ento duas decomposies e d = (t . .. t )
0 /1
d = (t . .. t ) d
/ / / //
0 |1
admissveis para ; fcil construir uma decomposio .
mais fina simultaneamente que e d d
/
, bastando para tal considerar a unio:
t . .. t ' t . .. t
0 /1
/ /
0 |1
e tomar para a sucesso dos elementos desta unio, ordenados d (t . .. t )
//
0 :1
// //
por ordem crescente. Como acima ficou referido, ser necessariamentre admis- d
//
svel para ; bastar agora mostrar que conduzem ao mesmo valor as somas .
definidoras do integral de atravs de decomposies comparveis (uma mais .
fina que a outra), pois, nesse caso, ficar demonstrada a igualdade para as
decomposies e , uma vez que as somas correspondentes sero ambas iguais d d
/
soma correspondente a d .
//
Mostremos ento que a soma correspondente a igual soma correspondente d
a . Esta decomposio tem por vrtices os de e eventualmente mais alguns d d
//
situados entre cada dois vrtices consecutivos de ; fixados dois vrtices d
consecutivos de , sejam eles e e considerando os vrtices de d - t (- < t) d
//
situados no intervalo , sejam eles: [-. t[
- = - < < - = t.
0 1
teremos (designado por o valor constante de em ): c [-. t[ .
c (t -) = c (- - - - - - ) = c (- - ) = c (- - ).
1 1 1 0 ;1 ; ;1 ;
;=0 ;=0


Deste modo, as soma das parcelas correspondentes aos vrtices de ser igual d
soma das parcelas correspondentes aos vrtices de , como pretendamos. d
//

Demonstremos algumas propriedades elementares de e da noo de S([a. /[)

integral para funes deste conjunto.
Proposio 3.1: Sejam , , ; ento: = (|o, b|) (o < b, o, b = ) =
1) e: = (|o, b|)

o o o
b b b
( (r) (r)) dr = (r) dr (r) dr;
2) e: = (|o, b|)

o o
b b
(r) dr = (r) dr;
22
3) ; = (|o, b|)
4) (r) < (r), Vr = |o, b| = (r) dr < (r) dr

o o
b b
5) e: | | = (|o, b|)


o o
b b
(r) dr < | (r)| dr.
6) Se existir tal que em , ento e O = O |o, b| = (|o, b|) :

o
b
(r) dr = O (b o)
Em particular, espao vectorial e a aplicao de em (|o, b|) (|o, b|)
que a cada faz corresponder o respectivo integral linear. = (|o, b|)
Demonstrao: Que resulta imediatamente da definio de ` . . . [ [ S([a. /[)
funo em escada, uma vez que uma decomposio admissvel para . -o tambm
para e (estas funes so constantes em qualquer conjunto em que o ` . . . [ [
seja); analogamente, escolhendo uma decomposio simultaneamente admissvel
para e (o que sempre possvel, bastando considerar uma mais fina que . c
decomposies admissveis respectivamente para e , construda como se viu . c
na Observao 1 acima) tambm evidente que ser admissvel para e , . c .c
pelo que estas funes estaro tambm em S([a. /[). Sendo ento
d = (t . .. t )
0 /1
simultaneamente admissvel para e e sendo, para cada . c
; 0. .. / c d [t . t [ , e os valores constantes respectivamente de e em
; ; ; ;1
. c
vir:

a
/
;=0
/
; ; ;1 ;
;=0 ;=0
/ /
; ;1 ; ; ;1 ;
a a
/ /
( (a) (a)) da = (c d ) (t t ) =
= c (t t ) d (t t ) =
= (a) da (a) da:
. c
. c
de modo anlogo se demonstra 2). Se . c (a) _ (a). va [a. /[, ento, em
particular, , pelo que: c _ d . v; = 0. .. /
; ;


a a
/ /
;=0 ;=0
/ /
; ;1 ; ; ;1 ;
. c (a) da = c (t t ) _ d (t t ) = (a) da.
ou seja, vale 4); finalmente, uma vez que . . . . (a) _ (a) (a) _ (a) | | e | |, resulta
de 4) e 2) que:
23

a a a a a
/ / / / /
. . . . (a) da = ( (a)) da _ [ (a)[ da (a) da _ [ (a)[ da. e .
ficando provado 5), ou seja, que:
| |

a a
/ /
. . (a) da _ [ (a)[ da.
Finalmente, se . R C [a. /[ d = (t . t ) = (a. /) em , bvio que
0 1
decomposio admissvel para e portanto, por definio de integral de funo .
em escada:

a
/
;=0
0
0 ;1 ;
.(a) da = (t t ) = C (/ a). c
provando 6).
bvio que se . . [a. /[ c < d S S ([a. /[) [c. d[ ([c. d[) e , ( ), ento
[c.d[
pois podemos sempre incluir os pontos e numa decomposio admissvel para c d
. . e obter uma decomposio admissvel para tomando apenas os vrtices
[c.d[
situados em [c. d[; de agora em diante adoptaremos a notao simplificada:

c c
d d
. . (a) da = (a) da
[c.d[
Proposio 3.2 (aditividade em relao ao domnio): Seja = (|o, b|)
(o < b, o, b = ) c = |o, b| e ; ento:

o o c
b c b
(r) dr = (r) dr (r) dr.
Demonstrao: Considerando uma decomposio admis- d = (t . .. t )
0 /1
svel para incluindo (seja ), temos: . c t = c
|1

a
/
a c
c /
.
. .
(a) da = c (t t ) = c (t t ) c (t t ) =
= (a) da (a) da.

;=0 ;=0
/ | /
; ;1 ; ; ;1 ; ; ;1 ;
;=|1
uma vez que (t . .. t ) (t . .. t )
0 |1 |1 /1
, so, obviamente, decomposies
respectivamente de e , admissveis para a restrio de respectivamen- [a. c[ [c. /[ .
te a cada um destes intervalos.
Prosseguindo o programa acima delineado, mostremos agora que qualquer
funo contnua num intervalo pode ser aproximada uniformemente por [a. /[
funes em escada.
24
Proposio 3.3: Seja contnua; ento ]: |o, b| (o < b, o, b = )
existe uma sucesso que converge uniformemente para .
n
= (|o, b|) ]
Demonstrao: Sabemos, pelo Teorema de Cantor, que 1 uniformemente
contnua em [a. /[, pelo que v 0. 0 : [a n[ < = [1(a) 1(n)[ < . c - - c
va. n [a. /[. Comecemos ento por mostrar que a sucesso que procuramos .
:
pode ser construda com base numa sucesso arbitrria de decomposies de d
:
[a. /[ d , cada admissvel para , tal que a sucesso dos
: : : :
. c dimetros dos d
tenda para zero. Considerando uma tal sucesso de decomposies (admitindo,
para j, que existe), fixado , seja ; podemos agora definir : d = (t . .. t ) N
: 0 /1
uma funo , constante em cada intervalo , com valor . R
: ; ; ;1
: [a. /[ 1 = [t . t [
igual a para determinado escolhido arbitrariamente em 1( ) 1 = [t . t [ : :
; ; ; ; ;1
(; = 0. .. /) (/) = 1(/) , e tal que . .
: : :
; bvio que S([a. /[), sendo d
decomposio admissvel para . Mostremos que converge uniformemente . .
: :
para ; para tal fixemos e seja suficientemente grande para que: 1 0 c N
: _ = < c -
:
( existe atendendo a que, por hiptese, ). Ento 0 c
:
:
, se , fixado : _ ;
0. .. / 1 , , por definio de dimetro de uma decomposio, para qualquer a
;
[a [ _ < : c - -
; :
; portanto (atendendo ao modo como foi escolhido, pela
continuidade uniforme de ) 1 :
[. : c
: ;
(a) 1(a)[ = [1( ) 1(a)[ < .
donde:
: _ = (a) 1(a)[ < . va [a. /[. [. c
:
o que prova que converge uniformemente para ( .
:
1 cf. figura seguinte, mais
adiante). Para terminar a demonstrao basta, portanto, construir uma sucesso de
decomposies de com dimetros a tender para zero; para o efeito podemos, [a. /[
simplesmente, para cada dividir o intervalo em partes iguais. : [a. /[ : N
Fixado , seja ento , com: : d = (t . .. t ) N
: 0 :
t = a ; (; = 0. .. :):
/ a
:
;
bvio que o dimetro de igual a (comprimento de todos os c
: :
d (/ a):
intervalos ), pelo que, evidentemente, . [t . t [ 0
; ;1 :
:
c
Observao 2: Fixemos a ideia de que, na aproximao uniforme de por 1
funes em escada construda na demonstrao da proposio anterior, o inte- .
:
gral de cada funo .
:
ser dado por:

}=0
h
} }l }
]( ) (I I );
esta expresso designa-se por soma de Riemann para f associada
25
decomposio d e famlia compatvel de pontos = (I , ., I ) , ., )
0 hl 0 h
(
(caracterizada por :
; ; ;1
[t . t [. v; = 0. .. / . )
Uma vez que , sendo contnua, atinge mximo (respectivamente mnimo) em 1
cada intervalo limitado e fechado podemos, em particular, escolher 1 =
;
[t . t [
; ;1
1(:
;
) igual a:
inf sup
J
] ]
J }
}
= 1 = 1 min max
1 1
; ;
(respectivamente ),
(; = 0. .. /). A correspondente soma de Riemann designa-se neste caso por
soma inferior superior de Darboux para relativamente (respectivamente ) ]
decomposio d. Examinando a demonstrao da proposio anterior, tambm
conclumos que qualquer sucesso de funes em escada construda como a .
sucesso .
:
da demonstrao com base numa sucesso de decomposies .
admissveis com dimetros a tender para zero, converge uniformemente para . 1
Para podermos utilizar aproximaes uniformes de uma funo contnua 1
por funes em escada para definir o integral, ser necessrio agora mostrar que os
integrais das funes aproximantes convergem e que o limite no depende da
sucesso, desde que convirja uniformemente para . Temos, de facto: 1
Proposio 3.4: Seja uma sucesso de
n
: |o, b| (o < b, o, b = )
funes em escada que converge uniformemente para uma funo
]: |o, b| ; ento a sucesso dos integrais:

o
b
n
(r) dr
tem limite finito. Se tambm convergir uniformemente para ,
n
= (|o, b|) ]
ento:
lim lim
n n
o o
b b
n n
(r) dr = (r) dr.
Demonstrao: Atendendo Proposio 3.1, temos, para quaisquer : :. : N
| |

a a a
/ / /
: : :
a
/
: :
a
:
. . .
. .
.
(a) da (a) da _ [ (a) da _
_ ( [ da = ( [
_ ( [ (a) 1(a) 1(a)
.
. .
.
:
: :
:
(a)[
[) [) (/ a) _
(a)[) (/
sup sup
sup
[a./[ [a./[
[a./[
a)
(a)[)) (/ a)
(a)[)) (/ a)
_
_ ( ([ (a) 1(a)[ [1(a) _
= (( ([ (a) 1(a)[) ( [1(a)
sup
sup sup
a
:
a a
:
[a./[
[a./[ [a./[
.
.
.
.
:
:
.
fcil agora provar que a sucesso dos integrais de Cauchy, e portanto conver-
gente; com efeito, dado c 0, por definio de convergncia uniforme, sabemos
26
que existe tal que: N
: _ = :
2(/ a)
sup
a
:
[a./[
[ (a) 1(a) . [ <
c
ento, atendendo s desigualdades anteriores, teremos:
:. : _ = (/ a) = .
2(/ a) 2(/ a)
| |

a a
/ /
: :
. . (a) da (a) da < | 1
c c
c
e a sucesso dos integrais , de facto, de Cauchy.
Se tambm convergir uniformemente para , podemos utilizar desigual- c
:
1
dades semelhantes s acima obtidas, substituindo por ; vir: . c
: :
| |

a a
/ /
:
a a
c c
: :
[a./[ [a./[
(a) da (a) da _ (( ([ (a) 1(a)[) ( [1(a) . sup sup .
:
(a)[)) (/ a).
Ora o segundo membro da desigualdade converge para zero, por definio de
convergncia uniforme, pelo que o mesmo se passa com o primeiro e portanto as
sucesses dos integrais convergem para o mesmo limite.
Observaes 3: Note-se que para obter o no foi necessrio supor contnua 1
anterior resultado.
Definio: A Proposio anterior permite-nos definir sem ambiguidade o
Integral de funo contnua ]: |o, b| (o < b, o, b = ) . Trata-se do
nmero real:

o o
b b
](r) dr = (r) dr lim
n
n
.
sendo uma .
:
S([a. /[) sucesso de funes em escada uniformemente
convergente para 1.
Este integral por vezes dito para o distinguir de outras Integral de Cauchy
construes possveis que o generalizam a mais vastas classes de funes.
Observao 4: Atendendo observao 2 acima, podemos obter o integral de
1 atravs de limites de sucesses de , em particular de somas de Riemann somas
de Darboux inferiores superiores ou ; basta considerar uma sucesso de d
:

decomposies do intervalo [a. /[ e construir a com dimetros a tender para zero
sucesso de somas de Riemann associada a essa sucesso de parties e a uma
sucesso arbitrria de famlias compatveis de pontos.
27
Tal como no caso do integral de funes em escada, tambm se podem utilizar
notaes mais abreviadas, como:

o |o,b|
b
] ] ou
e a varivel muda pode ser substituda por qualquer outra letra, desde que a
distinta das que representam os extremos do domnio de (tambm a. / 1
designados por extremos de integrao inferior superior , respectivamente e ).
A partir das propriedades elementares do integral de funes em escada obtm-
-se agora facilmente as propriedades idnticas para funes contnuas ( ):
1
Proposio 3.5: Sejam funes cont- ], g: |o, b| (o < b, o, b = )
nuas, , ; ento: = c = |o, b|
1)

o o o
b b b
(](r) g(r)) dr = ](r) dr g(r) dr;
2)

o o
b b
](r) dr = ](r) dr;
3) ](r) < g(r), Vr = |o, b| = ](r) dr < g(r) dr

o o
b b
1
Tal como no caso das funes em escada, simplificaremos a notao, indicando os integrais
das restries de uma funo sem explicitar as restries na funo integranda.
28
4)
min max
r
o
b
r [a./[ [a./[
](r) (b o) < ](r) dr < ](r) (b o)

5)


o o
b b
](r) dr < |](r)| dr.
6)

o o c
b c b
](r) dr = ](r) dr ](r) dr
Em particular, a aplicao de C (espao vectorial das funes (|o, b|)
contnuas reais definidas em ) em que a cada faz |o, b| ] = O(|o, b|)
corresponder o respectivo integral linear.
Demonstrao: Atendendo s Proposies 3.1 e 3.2 as propriedades que se
pretende demonstrar valem todas para funes em escada; consideremos ento
sucesses de funes em escada convergindo uniformemente para e . c
: :
. 1 o
(respectivamente), e relembremos que, nesse caso, converge uniforme- . c
: :

mente para , converge uniformemente para e converge 1 o [ [ ` ` . .

: :
1
uniformemente para ( Proposio 2.2). Ento, atendendo definio de [1[ cf.
integral para funes contnuas, podemos passar ao limite as (in)equaes corres-
pondentes a 1), 2), 5) o que demonstra estas propriedades.
Quanto a 3) bastar notar que se ento, escolhendo as 1(a) _ o(a). va [a. /[
sucesses aproximantes associadas mesma sucesso de decomposies e de
famlias compatveis ( Observaes 2 e 4), teremos necessariamente cf.
. c
: :
(a) _ (a), pelo que tambm obteremos a desigualdade corrrespondente a 3)
para estas sucesses de funes em escada e tambm poderemos passar ao limite,
obtendo-se 3) para e . 1 o
O ponto 4) consequncia imediata de 3) e da Proposio 3.1, 6).
Finalmente 6) resulta simplesmente da observao segundo a qual .
:
[a.c[
e
.
:
[c./[
so sucesses de funes em escada convergindo uniformemente para
1
[a.c[ [c./[
e (respectivamente), pelo que tambm podemos passar ao limite na 1
igualdade correspondente a 6) para estas sucesses.
Corolrio (Teorema da mdia): Seja ]: |o, b| (o < b, o, b = )
contnua; ento existe tal que: = |o, b|

o
b
](r) dr = ]( ) (b o).
29
Demonstrao: O corolrio consequncia imediata do ponto 4) da propo-
sio anterior; com efeito a funo:
a 1(a) (/ a)
contnua em [a. /[ e atinge em determinados pontos desse intervalo os valores
min max
a[a./[ a[a./[
1(a) (/ a) 1(a) (/ a) e , atendendo ao Teorema de Weierstrass;
uma vez que o integral fica enquadrado por estes dois valores, pelo Teorema de
Cauchy-Bolzano existir forosamente : situado entre valores nos quais o mnimo
e o mximo so respectivamente atingidos (em qualquer caso, ) tal que: : [a. /[
1( ) (/ a) = 1(a) da. :

a
/

Observao 5: Designa-se por mdia valor mdio de (ou ) (em o ] [a. /[)
nmero real:

o
b
](r) dr
b o
.
pelo que este corolrio garante-nos que o valor mdio de uma funo contnua
num intervalo [a. /[ no degenerado de atingido em determinado(s) ponto(s) R
de . [a. /[
O ponto 6) da proposio anterior sugere que se introduza uma notao
generalizada permitindo obter esta propriedade mesmo no caso em que os pontos
a. /. c a < c < / no satisfazem a . Com efeito, a propriedade pode escrever-se:

a a c
c /
1(a) da = 1(a) da 1(a) da.
b
ou:

c a a
/ c
1(a) da = 1(a) da 1(a) da.
b
pelo que se definirmos, para : c u c u R < ( . )



](r) dr = ](r) dr
(sendo contnua num conjunto contendo 1 [ . [ c u ), ou seja se trocarmos o sinal
ao integral quando trocamos entre si os extremos de integrao as frmulas
acima podero escrever-se:

a a /
c c
1(a) da = 1(a) da 1(a) da.
b
30
e:

c c a
/ a
1(a) da = 1(a) da 1(a) da.
b
continuando vlidas as frmulas se em qualquer delas invertermos a ordem dos
extremos em todos os integrais (corresponder a multiplicar as igualdades por
1). Deste modo, com a nova notao, 6) passar a valer sempre que faa sentido
para funes contnuas, independentemente da ordenao dos pontos . Para a. /. c
que 6) ainda se mantenha formalmente no caso de alguns dos pontos coincidirem
deveremos ter em particular:

c u c
u c c
1(a) da 1(a) da = 0 = 1(a) da.
o que sugere a nova definio:

o
o
](r) dr = 0.
Com a noo generalizada de integral que acabmos de introduzir, 6) vale para
quaisquer a. /. c 1 R, sempre que seja contnua no maior intervalo fechado que
se possa construir com estes extremos.
Quanto a 5), podemos enunciar a seguinte generalizao bvia, para quaisquer
a. / 1 [ a. /. a. /[ R, contnua em : min max


o o
b b
](r) dr < |](r)| dr :
conjugando este resultado com a Proposio 3.5, 3) e a Proposio 3.1, 6)
obtemos:

o
b
r
](r) dr < |](r)| |b o| max
[a./[
e tambm podemos facilmente generalizar a Proposio 3.1, 6), considerando 1
constantemente igual a no intervalo C R [ a. /. a. /[ min max , mesmo que
no se tenha a < /:

o
b
O dr = O (b o).
Retomemos o problema da evoluo do nvel de poluio de um lago abordado
na seco anterior, e procuremos fundamentar rigorosamente o modelo adoptado,
utilizando a noo de integral que acabmos de introduzir e as respectivas
propriedades. Fixado um intervalo de tempo , , procuremos obter [t . t[ t [t . T[
0 0
estimativas da quantidade de poluio que sai do lago atravs do escoamento do
lquido durante esse intervalo de tempo; para esse efeito, seja d = (t . .. t )
0 /1
31
decomposio de e consideremos a quantidade de poluio que sai do lago [t . t[
0
num intervalo de tempo . Uma vez que a poluio se [t . t [ (; = 0. .. /)
; ;1
encontra uniformemente distribuda no lago, a quantidade de poluio que existe
em cada unidade de volume do lago em determinado instante , como atrs -
observmos, , pelo que, para no referido intervalo de tempo essa (-)\ -
quantidade, fica situada entre um valor mnimo e um valor mximo \ \
: `
em que e so respectivamente o mnimo e o mximo da funo contnua
: `
no intervalo . Deste modo a quantidade de poluentes que so arrastados [t . t [
; ;1
para fora do lago neste intervalo de tempo, sendo parte de um volume de lquido
igual a , nunca pode ser inferior a: (t t )
;1 ;

\
(t t )
:
;1 ;
nem superior a:

\
(t t ).
`
;1 ;
Para obter uma estimativa inferior e superior para a quantidade total de 1(t . t)
0
poluentes que abandona o lago no intervalo de tempo , bastar ento somar [t . t[
0
as parcelas correspondentes aos sucessivos . Mas estas somas so ; = 0. .. /
respectivamente somas inferiores superiores e , relativamente a , para a funo: d

\
(-)
em [t . t[
0
. Como sabemos que o integral desta funo contnua limite de somas
superiores e inferiores (para sucesses de decomposies convenientemente
escolhidas), conclumos que pode ficar enquadrado por sucesses que 1(t . t)
0
convergem para esse integral, pelo que, de facto:
1(t . t) =
0
t
t

\
(-).
como tnhamos conjecturado.
Podemos agora demonstrar rigorosamente as relaes entre as noes de
integral e derivada que antecipmos na seco anterior.
4. Teorema Fundamental do Clculo Integral e Frmula de Barrow;
integrao por partes e por substituio.
Dada uma funo contnua 1: 1 1 R R , intervalo de no degenerado (ou
seja, ), sabemos agora que para quaisquer no vazio e no reduzido a um ponto a .
0
a 1 est definido o integral:

a
a
0
1(t) dt.
pelo que, fixado , podemos definir uma nova funo: a 1
0
32
J : J
r J (r) = ](I) dI
r
r
r
r
0
0
0

a qual se designa por integral indefinido de ] (de extremo inferior ) a

0
. O valor
desta funo em determinado valor fixo tambm se designa agora por a integral
definido.
Proposio 4.1 : (Teorema Fundamental do Clculo Integral) Seja J
intervalo de no degenerado, contnua; ento para qualquer ]: J
r = J ] r O
0 0
l
o integral indefinido de (de extremo inferior ) de classe e J
r
0
tem derivada igual a ; ou seja: ]
J (r) =
r
r
0

r
r
r
r 0
](I) dI = ](r), Vr = J.
Em particular toda a funo contnua num intervalo no degenerado de J
primitivvel e o respectivo integral indefinido de extremo inferior J r
r 0
0
arbitrariamente fixado em uma primitiva de . J ]
Demonstrao: Seja a 1 / = 0 a / 1 , tal que ; ento:
1 (a /) 1 (a)
/ / /
= = .
1(t) dt 1(t) dt
1(t) dt
a a a a
a/ a
a
a/
0 0 0 0


atendendo generalizao acima obtida para o ponto 6) da Proposio 3.5.
Provemos ento que a razo incremental de 1 a 1(a)
a
0
em converge para ; pelo
que acabmos de ver, atendendo Proposio 3.1, 6) (aplicada funo
constantemente igual a ) e novamente teremos: 1(a) Proposio 3.5,
| |
| | |

[ [ [ [
| | | |

1 (a /) 1 (a) 1
/ /
1(a) = 1(t) dt 1(a) dt _
_ (1(t) 1(a)) dt _ [1(t) 1(a)[ dt .
1 1
/ /
a a
a a
a/ a/
a a
a/ a/
0 0
agora fcil provar que o primeiro membro desta cadeia de desigualdades tende
para zero quando tende para zero; com efeito, fixado / c 0, atendendo
continuidade de em sabemos que existe tal que: 1 a 0 -
[t a[ < . t [a. /[ = [1(t) 1(a)[ < .
2
-
c
Seja ento tal que e ; se estiver entre e bvio que / [/[ < a / 1 t a a / -
t [a. /[ [t a[ _ [/[ < e , donde, pelo modo como foi escolhido, - -
33
[1(t) 1(a)[ < .
2
c
e portanto, pelo ponto 3) da Proposio 3.5 (aplicado ao integral entre e , a a /
se , ou ao integral entre e , se ), teremos: / 0 a / a / < 0
| | | |

a a
a/ a/
[1(t) 1(a)[ dt _ dt = [/[.
2 2
c c
Finalmente conclumos que:
[/[ < a / [a. /[ = . - c
c c
e
| |
[ [
1 (a /) 1 (a) 1
/ / 2 2
1(a) _ [/[ = <
a a
0 0
o que prova a convergncia da razo incremental de 1 a 1(a) /
a
0
em para quando
tende para , ou seja, prova que diferencivel em e . 0 1 a 1 (a) = 1(a)
a
a
/
0
0

Observao 1: Poderamos ter utilizado na demonstrao o Teorema da mdia
(Corolrio da Proposio 3.5); com efeito, atendendo a esse resultado, a razo
incremental do integral indefinido pode ser dada por:

a
a/
1(t) dt
/
= 1(:).
para certo : entre e , pelo que: a a /
| |
1 (a /) 1 (a)
/
1(a) = [1(
a a
0 0
:) 1(a)[.
Resulta daqui imediatamente que o primeiro membro tende para zero quando /
tende para zero, pois dado , por continuidade de em sabemos que existe c 0 1 a
- : c : - - 0 ) 1(a)[ < [ a[ < [/[ < tal que desde que ; ento para , uma [1(
vez que est entre e , vir forosamente , o que permite : : - a a / [ a[ < [/[ <
imediatamente concluir que o segundo membro da igualdade acima, e portanto o
primeiro, inferior a . c
Corolrio 1 (Frmula de Barrow) Sejam , funo real contnua : o, b = ]
num intervalo no degenerado de contendo e uma primitiva de ; o, b J ]
ento:

o
b
](r) dr = J(b) J(o).
Demonstrao: Uma vez que, atendendo Proposio, uma primitiva de 1
a
1 1 1 C , sabemos que e diferem por uma constante, pelo que existir
a
R tal
que, : va [a. /[
34
1(a) 1(a) da = 1(a) 1 (a) = C:

a
a
a
em particular, para , obtemos: a = a
1(a) = 1(a) 1(a) da = C.

a
a
donde, : va [a. /[
1(a) 1(a) da = 1(a).

a
a
pelo que, em particular, para : a = /
1(/) 1(a) = 1(a) da.

a
/

Observao 2: Estes dois resultados confirmam a deduo informal que

fizmos na seco 1 da relao entre derivao e integrao; podemos portanto,
agora com inteira justificao, utilizar conhecimentos acerca de primitivas para
efectuar o clculo de integrais. Das regras de derivao do produto e da funo
composta resultam agora facilmente resultados para o clculo de integrais que
correspondem aos j conhecidos mtodos de e por primitivao por partes
substituio.
Corolrio 2 (Integrao por partes): Sejam , funes reais de o, b = ], g
classe C num intervalo no degenerado de contendo ; ento:
l
o, b



o o
b b
r r
r=o
r=b
o
b
r
](r) g (r) dr = ](b) g(b) ](o) g(o) ] (r) g(r) dr =
= ](r) g(r) ] (r) g(r) dr
Demonstrao: Pela regra de derivao do produto, temos:
(1 o) = 1 o 1 o .
/ / /
pelo que uma primitiva de (funo contnua por hiptese) e 1 o 1 o 1 o
/ /
portanto, pela frmula de Barrow:

a
/
/ /
(1 (a) o(a) 1(a) o (a)) da = [ [ 1(a) o(a) .
a=a
a=/
ou seja:

[ [
a a
/ /
/ /
a=a
a=/
1(a) o (a) da = 1(a) o(a) 1 (a) o(a) da.
35
Corolrio 3 (Integrao por substituio ou mudana de varivel no
integral): Sejam , funo real contnua num intervalo no o, b, , = ]
degenerado de contendo , funo real de classe num intervalo de o, b O
l
no degenerado contendo , , tais que e transforma ( ) = o, ( ) = b
os pontos situados entre e em pontos situados entre e (no sentido lato); o b
ento:

o
b
r
](r) dr = ]( (I)) (I) dI

Demonstrao: Basta-nos considerar o caso em que c u = , uma vez que a
frmula trivialmente verdadeira se (nesse caso tambm c u . c = a = ( ) =
. u ( ) = /); ento, atendendo regra de derivao da funo composta, se for 1
uma primitiva de (a qual sabemos existir, atendendo Proposio anterior e 1
continuidade de , teremos, num intervalo no degenerado de extremos : 1) c u .
(1 ) = 1 = 1 . . . . . .
/ / / /
pelo que 1 1 . . . uma primitiva de nesse intervalo. Ento, atendendo
/
Frmula de Barrow:

c
u
1( (t)) (t) dt = ( ( )) ( )) = 1(/) 1(a) = 1(a) da. . . . u . c
/
a
/
1 1(
Observao 3: Uma mnemnica til para a frmula de integrao por
substituio pode resultar da notao clssica para a derivada. Com efeito a
frmula obtm-se substituindo por a .(t) no integral, pois se efectuarmos
formalmente essa substituio onde ocorre na notao utilizada para o integral, a
vir (dividindo e multiplicando por ): dt
1(a) da = 1( 1( . . .
.
(t)) d (t) = (t)) (t) dt
d
dt

que exactamente a nova funo integranda, utilizando a notao clssica para

.
/
(t); restar depois efectuar a substituio correspondente nos extremos de
integrao (como , vir , ou seja, onde a = (t) a = ( ). / = ( ) t = . . c . u c
a = a t = a = / , onde ). u
Apliquemos a frmula de integrao por substituio a um intervalo da forma
[a. a[ (a 0) (t) = t 1 e a ; teremos, para funo real contnua neste .
intervalo:

a a 0
0 0 a
1(a) da = 1(t) (1) dt = 1(a) da.
pelo que, se for funo , vir: 1 [a. a[ mpar, ou seja, se em 1(a) = 1(a)

o
o
](r) dr = = 0

a 0 0
0 a a
1(a) da 1(a) da = (1(a) 1(a)) da .
36
Por outro lado, se for : 1 [a. a[ par, ou seja, se em 1(a) = 1(a)

o 0
o o
](r) dr = = 2 ](r) dr

a 0 0
0 a a
1(a) da 1(a) da = 21(a) da .
5. Generalizaes do conceito de integral: integral de funes seccional-
mente contnuas; integrais imprprios divergentes, convergentes, simples-
mente convergentes e absolutamente convergentes; critrios de convergncia
e exemplos integral da gaussiana e integral de Dirichlet.
Podemos facilmente generalizar o conceito de integral a uma classe de funes
que contenha simultaneamente as funes em escada e as funes contnuas;
diremos que uma funo:
1: [a. /[ R
(a < /) d = (t se existir uma decomposio seccionalmente contnua
0
.
.. t ) [a. /[ ; = 0. .. / 1
/1
de tal que, para cada , a restrio de ao intervalo
[t . t [ t t d
; ;1 ; ;1
contnua e tem limite finito em e ; dir-se-, nesse caso,
decomposio admissvel para . Designaremos por o conjunto das 1 O (|o, b|)
s
funes seccionalmente contnuas em ; bvio, da definio dada, que: [a. /[
(|o, b|) OO(|o, b| c O (|o, b|)
s
.
Uma vez que, atendendo definio de , para funo seccionalmente contnua
cada podemos prolongar de maneira nica, como funo contnua, ao ; = 0. .. /
intervalo a restrio de ao intervalo , existir o integral desse [t . t [ 1 [t . t [
; ;1 ; ;1
prolongamento de em cada um desses intervalos fechados. Tal como se fez para 1
as funes em escada, podemos agora facilmente provar, de maneira anloga, que
a soma desses integrais para no depende da decomposio admis- ; = 0. .. /
svel fixada, atendendo s propriedades de aditividade em relao ao domnio do
integral de funes contnuas; podemos assim definir o integral de em ] |o, b|
atravs de:

o I
b I
}=0
h
](r) dr = ](r) dr
}
}l
.
Podemos agora interrogar-nos em que condies far sentido estender a noo
de integral a funes contnuas em intervalos e no necessariamente fechados no
necessariamente limitados; seja ento:
1: 1 R
contnua, sendo intervalo no degenerado de 1 R de extremos , mas a. / (a < /)
no necessariamente fechado nem necessariamente limitado (em particular,
a [. [. / [. [ 1 ). Sabemos que o integral indefinido de de
extremo inferior de classe e portanto, em particular, contnuo, pelo a 1 C
0
1
que, no caso particular em que e teremos: a. / 1 = [a. /[ R
37

a a
a /
a/
0 0
1(t) dt 1(t) dt.
continuando este limite a ter lugar se substituirmos por ; podemos ento / a
generalizar o conceito de integral aos restantes casos, sempre que, para a 1
0
fixado, existam os limites:
lim lim
aa
a a
a a
a/

0 0
1(t) dt. 1(t) dt.
Diremos, nesse caso, que admite 1 integral imprprio convergente em J (caso
contrrio diremos que ) o integral imprprio de em 1 1 divergente e, por
definio:

o r r
b r r
ro rb
](I) dI = ](I) dI ](I) dI lim lim
0
0
.
Nesta definio , ou seja, pode ser o no necessrio supor que extremo a < / a
direito extremo esquerdo convergncia do e o de . fcil verificar que a / 1
integral imprprio e o respectivo valor no dependem do ponto escolhido em a
0
1 a ; com efeito, atendendo aditividade em relao ao domnio, se
1
1 teremos:

a a a
a a a
1 1 0
0
1(t) dt = 1(t) dt 1(t) dt.
pelo que a convergncia do primeiro membro quando ocorre sse a segunda a a
parcela do segundo membro convergir , tendo-se, evidentemente, quando a a
nesse caso:
lim lim
aa aa
a a a
a a a

1 1 0
0
1(t) dt = 1(t) dt 1(t) dt.
o mesmo se verificando se substituirmos por . Alm disso, evidentemente, a /
subtraindo as igualdades correspondentes a e conclumos que: / a
lim lim lim
lim lim lim
aa aa
a a a a
a a a a
a/
a a a a
a a a a
a/ a/ aa


1 1 0
1 0
1 0 0
0 0
1(t) dt 1(t) dt = 1(t) dt 1(t) dt
1(t) dt 1(t) dt = 1(t) dt 1(t) dt.
pelo que, de facto, a soma destes limites no depende do ponto escolhido em . a 1
0
Se o intervalo for fechado num dos extremos podemos escolher, em particular, a
0
igual a esse extremo e nesse caso ficaremos reduzidos ao limite de um dos
integrais indefinidos (correspondente ao outro extremo), uma vez que o limite do
integral indefinido no extremo que coincide com ser igual a zero, por a
0
continuidade do integral indefinido. Por exemplo, se 1 = [a. /[, teremos:
38

a a
/ /
aa
1(t) dt = 1(t) dt. lim
Quando o integral imprprio divergente mas os limites em causa existem em
R R = [. [, podemos continuar a atribuir um valor (em ) ao integral
imprprio, o qual ser tambm dado por:

a a a
/ a a
aa a/
1(t) dt = 1(t) dt 1(t) dt. lim lim
0
0
para arbitrariamente fixado em , desde que a soma definidora faa sentido, a 1
0
com as convenes vigentes para a soma em R (nomeadamente: , c =
se , , se ). c [. [ c = c [. [
No caso em que , podemos tambm interpretar o integral imprprio como 1 _ 0
rea abaixo do grfico, ainda que, neste caso, o conjunto do qual se calcula a
rea possa ser , o mesmo se podendo dizer da rea entre dois grficos. ilimitado
Tambm podemos estender os cculos efectuados na seco 1 ao caso dos
integrais imprprios, nomeadamente as reas de sectores limitados por curvas
dadas em coordenadas polares e os volumes de slidos para os quais se conhece
as reas das fatias obtidas por planos perpendiculares a um dos eixos
(nomeadamente os slidos de revoluo).
As propriedades dos limites e do integral de funes contnuas permitem-nos
facilmente estender aos integrais imprprios algumas das propriedades do integral
de funes contnuas em intervalos compactos:
Proposio 5.2: Sejam intervalo no degenerado de de ], g: J (J
extremos funes contnuas, , I; ento: o, b = = |o, o|) = c =
1) Supondo que so convergentes os integrais imprprios de e , tambm o ] g
ser o integral imprprio de e: ] g

o o o
b b b
(](r) g(r)) dr = ](r) dr g(r) dr;
2) Supondo que convergente os integral imprprio de , tambm o ser o ]
integral imprprio de e: ]

o o
b b
](r) dr = ](r) dr;
3) Supondo que so convergentes os integrais imprprios de e e : ] g o < b
](r) < g(r), Vr = J = ](r) dr < g(r) dr;

o o
b b
39
4) Se for limitada em , tiver integral imprprio convergente e for ] J J
limitado, com : o < b
inf sup
r
o
b
r
1
1
](r) (b o) < ](r) dr < ](r) (b o)

5) (Critrio de comparao): Se e tiver integral |](r)| < g(r), Vr = J g

imprprio convergente ento e tm integral imprprio convergente e: ] |]|


o o
b b
](r) dr < |](r)| dr .
6) Sempre que os integrais do segundo membro da igualdade seguinte faam
sentido como integrais imprprios convergentes, ter-se-:

o o c
b c b
](r) dr = ](r) dr ](r) dr.
Demonstrao: A demonstrao de 1), 2), 3), 4) simples consequncia da
Proposio 3.5, da definio de integral imprprio e das propriedades algbricas e
de ordem da noo de limite. 6) resulta muito simplesmente da definio de
integral imprprio convergente, tomando para o ponto . Resta provar 5); a c
0
atendendo a 3), bastar provar que se tiver integral imprprio convergente ento o
1 [1[ tambm o ter, uma vez que se poder depois aplicar este resultado a e
demonstrar em seguida a desigualdade utilizando 3). Ora fixados a. n 1 vir,
atendendo Proposio 3.5, 3) e 5):
| | | | | |
a a a
n n n
1(t) dt _ [1(t)[ dt _ o(t) dt .
Provemos ento que, fixado a
0
1 / e sendo um dos extremos deste intervalo,
existe o limite (finito) quando , por valores de , de: a/ 1

a
a
0
1(t) dt:
utilizemos, para este efeito, a definio de limite por sucesses. Consideremos
ento uma sucesso de pontos de tal que: a 1
:
a /
:
:
e analisemos o comportamento da sucesso:

a
a
0
:
1(t) dt:
notemos que, das desigualdades acima, para quaisquer , vir: :. : N
40
| | | | | |
| |
a a a a
a a a a
a a
a a
0 0 : :
: : : :
0 0
: :
1(t) dt 1(t) dt = 1(t) dt _ o(t) dt =
= o(t) dt o(t) dt .
Ora, por definio de integal imprprio convergente, ser convergente a sucesso:

a
a
0
:
o(t) dt.
e portanto ser tambm sucesso de Cauchy; atendendo s desigualdades anteri-
ores concluimos imediatamente que tambm ser de Cauchy, e portanto conver-
gente, a sucesso:

a
a
0
:
1(t) dt.
Resta provar que o limite desta sucesso no depende da sucesso escolhida a
:
(convergindo em para ); seja ento tambm convergente para em e vol- 1 / n / 1
:
temos a utilizar as desigualdades iniciais:
| | | | | |
| |
a a a a
n a n n
a a
n a
0 0 : :
: : : :
0 0
: :
1(t) dt 1(t) dt = 1(t) dt _ o(t) dt =
= o(t) dt o(t) dt :
como o ltimo membro desta cadeia de desigualdades tende obviamente para zero
(uma vez que o integral imprprio de converge), conclumos que o primeiro o
membro tambm converge para zero, e portanto os limites das duas sucesses de
integrais coincidem. Fica assim provada a existncia do limite quando do a/
integral indefinido:

a
a
0
1(t) dt
e portanto a convergncia do integral imprprio de , j que o extremo foi 1 /
arbitrariamente escolhido.
Observao: Do ponto 5) da proposio anterior resulta, em particular, que se
o integral imprprio de for convergente ento tambm o ser o integral [1[
imprprio de ; neste caso diremos que 1 1 tem integral imprprio absolutamente
convergente. Com esta definio, podemos imediatamente enunciar o seguinte
corolrio:
Corolrio: Se intervalo no degenerado de de extremos ]: J (J
o, b = = |o, o|) for contnua e tiver integral imprprio absoluta-
mente convergente, ento tem integral imprprio convergente.
Veremos mais adiante que o recproco deste resultado falso; ou seja, existem
funes com integral imprprio convergente mas no absolutamente conver- 1
41
gente tem integral imprprio ; diremos nesse caso que 1 simplesmente convergen-
te. Analisemos agora alguns exemplos de integrais imprprios; consideremos as
funes da forma:
1(a) = .
1
a
c
(c R ) [0. [ a . a 0 em ; fixados , temos:
0

a
a
0
1
t
dt = .
a a
a
1 1

a
c
c
c
\
log log
0
1
0
1
c
c c
c
= 1
= 1
pelo que, obviamente, o limite deste integral indefinido (em ) quando a a0
ser finito sse , sendo nesse caso igual a: c < 1

a
1
0
1c
c
.
e o limite quando ser finito sse , com o mesmo valor. Daqui se a 1 c
conclui que o integral imprprio em sempre divergente, tendo-se [0. [
sempre:

0 a a
a a
a0 a
1 1 1
t t t
dt = dt dt = .
c c c
lim lim

0
0
mas j o integral imprprio num intervalo convergente sse [a. [ (a 0)
c 1, tendo-se:

a a
a
a
1 1 a
t t
dt = dt =
c c
c
lim
1
c 1
e o integral imprprio num intervalo convergente sse , tendo-se: [0. /[ < 1 c

0 a
/ /
a0
1 1 /
t t 1
dt = dt = .
c c
c
lim

1
c
Podemos utilizar as potncias de como termo de comparao para aplicar o 1a
critrio do ponto 5) da proposio anterior; uma maneira prtica de obter as
desigualdades adequadas para que se possa aplicar o critrio de comparao com
estas funes a uma funo contnua , ou 1: [a. [ (a 0) 1: [0. /[ R R
(/ 0) estudar o limite:
lim
a
a [1(a)[
c
para determinado (no primeiro caso, e o correspondente limite em no c R 0
segundo). No primeiro caso, se o limite existir e for igual a um valor finito , 1 0
resulta da definio de limite que, para suficientemente grande: c
a _ c = 1 _ a [1(a)[ _ 1 .
1 1
2 2
c
42
donde, pondo : 12 = . 812 = 1
a _ c = _ [1(a)[ _ :
1
a a
c c
podemos portanto estudar a convergncia absoluta do integral imprprio de em 1
[c. [ [a. [ [a. c[ (e portanto em , uma vez que o integral em convergente,
por continuidade do integral indefinido) comparando com e ; assim, 1 a 1a
c c
se o integral de ser c 1 1 absolutamente convergente (uma vez que o o de
1a
c c
, e portanto o de ) e se o integral de 1a < 1 1 c no ser absolutamente
convergente, pois se o fosse s-lo-ia tambm o de e portanto tambm o de a
c
1a
c
, contra o que atrs vimos. Se o limite for zero, facilmente se conclui que a 1
primeira concluso continua a valer, uma vez que se pode majorar por uma [1[
funo da forma em determinado intervalo e se o limite for 1a [c. [ 1
c
pode obter-se a , pois nesse caso facilmente se obtm a segunda concluso
minorao de por uma funo da mesma forma, tambm num intervalo [1[
[c. [. Mutatis mutandis podemos obter critrios anlogos para o integral
imprprio no caso em que 1: [0. /[ (/ 0) R .
fcil obter generalizaes a integrais imprprios da dos Frmula de Barrow e
mtodos de e por , bastando utilizar a definio integrao por partes substituio
de integral imprprio e as propriedades dos limites; no caso da frmula de Barrow,
por exemplo, de for uma primitiva de uma funo real contnua em 1 1 1
(intervalo no degenerado de extremos ), teremos (fixado ): a. / a 1
0

[ [ [ [
a a a
/ a a
aa a/
aa aa
a a
a a
a/ a/
1(t) dt = 1(t) dt 1(t) dt =
= 1(t) 1(t) = 1(a) 1(a).
lim lim
lim lim lim lim
0
0
0
0
sendo o integral convergente sse existirem ambos os limites no ltimo membro da
cadeia de igualdades; no caso de convergncia, ou de divergncia mas com valor
em , podemos ento continuar a escrever: R

[ [
a
/
a
/
1(t) dt = 1(t) .
atribuindo ao segundo membro o significado de diferena dos limites e
existindo o integral no primeiro membro (com valor em ) sse existir o segundo R
membro com este significado. Podemos utilizar esta notao generalizada,
tambm no caso da integrao por partes; no caso da mudana de varivel, em
particular, por exemplo, para estudar a convergncia de um integral imprprio em
[. 0[, usando a substituio:
a = (t) = t. .
facilmente se v que o integral imprprio de uma funo contnua nesse 1
intervalo ser convergente sse o for o integral em da funo , [0. [ 1(t)
tendo-se, no caso de convergncia:
43

0
0 0
1(a) da = 1(t) (1) dt = 1(t) dt:
Deste modo, podemos estender ao intervalo as propriedades das [. [ = R
funes pares mpares e relativas ao clculo do respectivo integral (neste caso
imprprio) que estabelecemos no final da seco anterior.
Estudemos, por exemplo, a convergncia do integral imprprio:

a
c da:
2
uma vez que a funo integranda no admite primitiva que se possa exprimir em
termos das chamadas funes elementares, no ser possvel utilizar directa-
mente a Frmula de Barrow para tentar estudar este integral. Podemos, no entanto,
comear por notar que a funo integranda que o integral em par, pelo
R = [. [ ser da mesma natureza e com valor igual (caso convirja) ao
dobro do integral em . Podemos ento utilizar a comparao com as [0. [
potncias de no infinito; ora neste caso, como fcil concluir: 1a .
lim
a
a
a c = 0.
c
2
para qualquer , pelo que, escolhendo arbitrariamente , resulta deste c R c 1
limite que o integral imprprio em convergente, e portanto tambm o [0. [
o integral imprprio:

o
o
r
c dr
2
.
Este integral ( ) desempenha um papel importante em diversos da gaussiana
campos da Matemtica e respectivas aplicaes. Podemos determinar o respectivo
valor, por enquanto de modo informal, recorrendo ao clculo do volume de um
slido de revoluo ilimitado; se pensarmos na rea abaixo do grfico da
funo definida em (considerada como rea de uma regio do exp (n ) [0. [
2
plano relativamente a um referencial ortonormado do espao) e aOn
considerarmos o slido de revoluo obtido por rotao desta regio em torno do
eixo dos , o volume desse slido pode ser obtido pelo processo indicado na aa
seco 1. Para esse efeito h que determinar a funo de com o mesmo grfico, a
ou seja, inverter:
a = c = n = a
n
2

log
( , uma vez que a funo em decrescente, j que tem a [0. 1[ (n ) [0. [ exp
2
obviamente derivada , e portanto tem mximo em , igual a , 2n (n ) _ 0 0 1 exp
2
tendendo para zero quando ); o volume ser assim igual a: n
:

[ [
0 0 0
1 1 1
2
0
1
( a) da = ( a) da = ( a a a ) da = .
1
a
log log log
44
Por outro lado, tal volume pode ser considerado como volume abaixo do grfico
da funo de duas variveis , definida em 1(n. .) = ( (n . )) exp
2 2 2
R
(identificado com o plano ), soma dos volumes dos paraleleppedos nO.
infinitesimais de volume:
c dn d. = c dn c d.:
(n . ) n .
2 2 2 2
admitindo que para estas somas generalizadas (integrais) vale a propriedade
distributiva relativamente ao produto, a soma destes volumes infinitesimais ser
dada pelo produto das somas (integrais):
1 1 1


n . n
2
c dn c d. c dn .
2 2 2
=
Ento:
1



a a
2
c da = = c da = .
2 2

Analisemos agora um integral imprprio que, como veremos simplesmente
convergente; trata-se do chamado Integral de Dirichlet, cuja funo integranda
tambm no primitivvel atravs de funes elementares o que, mais uma vez,
inviabiliza a utilizao directa da Frmula de Barrow para o respectivo clculo:

o
o
sin r
r
dr.
Notemos que a funo pode ser prolongada por continuidade origem sin aa
(com o valor ), pelo que o integral em apreo faz sentido como integral impr- 1
prio no intervalo [. [ = R desse prolongamento contnuo; tratando-se de
funo par, a respectiva natureza e valor dependem apenas do integral imprprio
em , ou mesmo em qualquer intervalo da forma . [0. [ [a. [ Trata-se ento
de estudar a existncia de limite quando a do seguinte integral (definido
para , por exemplo), ao qual aplicaremos o mtodo de integrao por partes: a 1
| |
1 1
a a
t=1
t=a
2
sin cos
cos
t 1 t
t t t
dt = ( t) dt:
ora, , a primeira parcela converge para e a segunda quando a 1 cos
converge para o integral imprprio da funo:

cos t
t
2
,
a qual tem integral imprprio absolutamente convergente, como se conclui ime-
diatamente por comparao com a funo . Existe portanto o limite em 1t
2
questo, o que prova a convergncia do Integral de Dirichlet; analisemos agora o
integral do mdulo:
45
| |
1

sin a
a
da.
A funo minorada pelo valor estritamente positivo , [ a[ ( 4) = 22 sin sin

por exemplo em todos os intervalos da forma ; [2/ 4. 2/ 2[ (/ ) N
podemos assim minorar o integral de em qualquer intervalo da forma [ a[a sin
[1. 2: 2[ (: ) N , considerando apenas as minoraes que acabmos de
estabelecer, para , uma vez que a funo positiva, pelo que nos / = 1. .. :
outros pontos do intervalo de integrao, constituindo uma unio finita disjunta de
intervalos, pode simplesmente ser minorada por zero. Teremos assim:
| |



1
/=1 /=1
: :
2
2
/=1 /=2
: :1
2: 2 2/ 2
2/ 4
2



sin sin a [ a[
a a 4
da _ da _ _
_ = :
2 1 2 1
16 16

2/
/ 1 /

para demonstrar a divergncia do integral imprprio bastar ento mostrar que
tende para a sucesso:
o =
/
:

/=1
:
1
.
a qual se designa por Srie harmnica; estudaremos mais adiante este tipo de
sucesses de somas (sries), mas demonstremos, para j, que esta sucesso
diverge. Temos:
o o =
2: :

/=:1 /=:1
2: 2:
1 1 1 1
_ = : = :
2 / 2: 2:
a sucesso no pode portanto ser de Cauchy, uma vez que para 0 < c < 12 nunca
ser possvel encontrar uma ordem a partir da qual seja inferior a , j [o o [
: :
c
que, por maior que seja , aquela majorao no tem lugar para , : = 2. : =
por exemplo, como acabmos de demonstrar. No sendo de Cauchy, no pode,
evidentemente, convergir, e, sendo obviamente crescente, s pode tender para
, pelo que tambm diverge o integral imprprio:
| |
1

sin a
a
da.
o que prova que simplesmente convergente o Integral de Dirichlet.
A propriedade de aditividade em relao ao domnio, tambm vlida para
integrais imprprios como acima foi assinalado, sugere que se faa generalizao
daqueles integrais; se determinada funo real estiver definida e for contnua em 1
1`c (c 1 1 a. / , intervalo de no degenerado de extremos ) e tiver integral R
imprprio convergente em cada um dos intervalos de extremos e a. c /. c
escreveremos, por definio:
46

a a c
/ c /
1(a) da = 1(a) da 1(a) da;
assim, por exemplo, poderemos escrever:



1 1 0
1 0 1
1 0
0 1 1 1 1
[a[
da = da da = 2 a 2 a = 4.
a a
Tambm podemos utilizar esta definio no caso em que os integrais imprprios
no segundo membro, no sendo ambos convergentes, do lugar a valores cuja
soma est definida em ; assim por exemplo: R

[ [ [ [
1 1 0
1 0 1
1 0
0 1
1 1 1
[a[ a a
da = da da = ( a) a = . log log
Este exemplo alerta-nos para a impossibilidade de aplicarmos directamente a
frmula de Barrow ao integral inicial, ao contrrio do que acontecia com os
integrais imprprios anteriormente considerados; com efeito, se o fizssemos,
obteramos para o integral o valor manifestamente errado:
| |
a
[a[
[a[ = 0. log
1
1
Esta nova notao deve portanto ser utilizada com cuidado, devendo-se exprimir o
integral como soma de integrais imprprios de funes definidas em todo o
intervalo de integrao antes de se aplicar os resultados conhecidos para estes
casos (como a frmula de Barrow, a integrao por partes ou a integrao por
substituio). Como evidente, podemos estender ainda a notao, mutatis
mutandis, ao caso em que a funo integranda no est definida num nmero
finito de pontos do intervalo . 1
Conjugando esta nova extenso do conceito de integral com mudanas de
varivel por translao (.(t) = t c) podemos facilmente tratar o caso de
funes com singularidades em pontos diferentes de zero, utilizando a
comparao com potncias de ; por exemplo, para analisar o integral 1(a c)
c
imprprio:

0
2 a
2
c
[a a[
da
devemos comear por notar que a funo integranda no est definida em nem 0
em , pelo que deveremos analisar separadamente os casos dos integrais em 1 [0. 1[
e , sendo o primeiro imprprio em e em . Num intervalo [1. 2[ 0 1 [0. a [
0
(a [0. 1[) 1a
0
12
podemos comparar a funo integranda com , obtendo-se:
lim lim
a0 a0
a a
2
1
2
a = = 1.
c c
[a a[ 1 a

o que mostra que o integral convergente; em podemos comear por [a . 1[
0
47
utilizar a mudana de varivel , donde e portanto: a 1 = t da = dt


a a 1 0
1 0 1a a t1 1t
2
0 0
0
c c c
[a a[ (t 1) [t[ (1 t) t
da = dt = dt.
pelo que podemos novamente comparar com a funo : 1t
12
lim lim
t0 a0
1t 1t

1
2
t = = c.
c c
(1 t) t 1 t

concluindo-se mais uma vez que o integral convergente. De modo anlogo se
poderia analisar o integral imprprio em , pelo que, finalmente ser [1. 2[
convergente o integral inicialmente considerado.
6. Integrais patramtricos prprios e imprprios; exemplos funo
Gama, clculo dos integrais de Dirichlet.
Fixemos um intervalo de 1 R R no degenerado de extremos e a. / (a < /)
suponhamos que para cada variando num intervalo no degenerado de t J R
definimos uma funo contnua:
1 : 1 :
t
R
suponhamos, alm disso, que compacto, ou que, no o sendo, convergente o 1
integral imprprio de cada . Ento, para cada , fica definido e finito o 1 t J
t
integral:

a
/
t
1 (a) da:
podemos ento definir uma funo:
7 R
7
: J
t J (t) = 1 (a) da

a
/
t
que designaremos por integral paramtrico (de parmetro ) t . Utilizando a famlia
1 (t
t
de funes podemos definir uma nova funo : J) de duas variveis
1: 1 J
(t. a) 1 J 1(t. a) = 1 (a).
R R
2
t
o que nos permite reescrever o utilizando : integral paramtrico 1
7(t) = 1(t. a) da.

a
/
Exemplo importante de a chamada , dada em integral paramtrico Funo Gama
[0. [ por:
48
1(t) = c a da:

a t1
portanto, neste caso, , e: 1 = J = [0. [
1(t. a) = 1 (a) =
t
c a
a t1
(t. a [0. [) 1 . Verifiquemos que, de facto, as funes tm integral imprprio
t
absolutamente convergente, analisando os limites em e das funes: 0

a
c c
c a = c a :
a t1 a t1
para qualquer c c , o limite em zero, pelo que, escolhendo , conclumos 1
que o integral imprprio em convergente. Quanto ao limite em zero ser
zero ou um valor finito (igual a ) desde que , ou seja, ; 1 t 1 _ 0 _ 1 t c c
como , podemos sempre tomar para um valor situado no intervalo t 0 c
[1 t. 1[, pelo que tambm o integral imprprio em zero ser convergente.
Embora mais uma vez no seja possvel obter uma primitiva da funo inte-
granda utilizando apenas funes elementares, o uso de integrao por partes
permite demonstrar uma propriedade notvel da funo Gama:
1 1 (t 1) = c a da = c a t c a da = t (t).


0 0

a t a t a t1
a=0
a=
vt 0 : ; em particular, por induo, obtemos para qualquer : N
1 1 1 1 (: 1) = : (:) = :(: 1) (: 1) = = :(: 1)1 (1) =
= :! c a da = :! c = :!.

[ [
0

a 11 a
0

ou seja, a funo permite estender a noo de 1 factorial a todos os valores do

intervalo . [1. [
Interessar-nos- estudar os integrais paramtricos quanto continuidade dife- e
renciabilidade, o que faremos depois de estabelecermos algumas propriedades
essenciais das funes de mais de uma varivel real, mostrando-se ento, em
particular, que a funo 1 que acabmos de construir de classe . Anteci- C

pando alguns desses resultados, mostremos como o uso de integrais paramtricos

permite determinar, por exemplo, o valor do integral de Dirichlet introduzido na
seco anterior; fixado consideremos o integral paramtrico definido em : c R 0
7(t) = c da:
(ta)
a

a c
sin
admitindo que 7 7 diferencivel passando a derivada e que possvel derivar
para dentro do integral obteramos:
49
7 7
c c
c c c
/ a a
0 0

a a
a=0
a=
0

a
a=0
a=
(t) = c da = (t) = c (ta) da =
a (ta)
a
= c (ta) t c (ta) da =
1 1
= c (ta)
1 t 1 1

| |
|
| |
c c
c c
c
cos
cos
cos sin
sin
c
c c c c c
7 7
c

a
2 2
2 2 2 2
0

a / /
t c (ta) da =
= c (ta) da = (t) = (t) = .
1 t 1 t
t
c
c
cos
cos
donde, integrando ambos os membros da ltima equao entre e um valor arbi- 0 t
trrio de : R
7 7 7 7
c c
c c c
c
/
2 2 2
(t) = = = (t) (0) = = (t) =
t
1 t t
1
t
| 1
arctan arctan
(uma vez que 7(0) = 0, como bvio). Se tambm admitirmos que possvel
passar ao limite debaixo do sinal de integral, poderemos agora obter:


(

0 0

0 0
a
2
2
sin sin
lim lim arctan
(ta) (ta) t
a a
da = c da = = :
t < 0
0 t = 0
t 0
c c
c

c
em particular obtemos, para o integral de Dirichlet:

0

sin sin a (1a)
a a 2
da = 2 da = 2 = .

Bibliografia consultada
J. Campos Ferreira, , Fundao C. Gulbenkian, Introduo Anlise Matemtica
1985.
B. Demidovitch (redactor), , Mir, Problemas e exerccios de Anlise Matemtica
2004
M. Figueira, , Dep. de Mat. da FCUL, 1997. Fundamentos de Anlise Infinitesimal
R. A. Hunt, , 2nd ed., Harper Collins, 1994 Calculus
J. Santos Guerreiro, , escolar editora, 1989 Curso de Anlise Matemtica
C. Sarrico, , Gradiva, 2002. Anlise Matemtica, Leituras e exerccios