O Integral de Riemann

Parties de intervalos
Definies: Seja a, b um intervalo, com b > a.
Chama-se partio (ou decomposio) de a, b a qualquer
conjunto P = x 0 , x 1 , , x n , de ns reais, tal que
a = x 0 < x 1 < x 2 < < x n = b.
Chama-se norma (ou dimetro) da partio P a
P = maxx j x j1 .
1jn

Um refinamento da partio P uma partio Q de a, b tal

que P Q.
Nesta situao diz-se que Q uma partio mais fina do que
P.
Proposio: Sendo P e Q parties de a, b tais que P Q,
ento P Q.
Observao: Considerando, convenientemente, parties
sucessivamente mais finas, podemos fazer a norma das parties
com que trabalhamos tender para 0.

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 1

Soma de Riemann e Integral de Riemman

O integral de Riemann em a, b de uma funo positiva pode
interpretar-se geometricamente como a rea da regio do plano
limitada pelo grfico de f, pelo eixo dos xx e pelas rectas x = a e
x = b.
Definio: Sejam a, b um intervalo fechado limitado,
f : a, b R uma funo limitada,
P = x 0 , x 1 , , x n uma partio de a, b e
t 1 , , t n uma sequncia de ns reais tais que t j x j1 , x j , para
1 j n.
Chama-se soma de Riemann de f relativamente partio P
ao nmero
n

Sf, P =

ft j x j x j1
j=1

Definio: Sejam P = x 0 , x 1 , , x n uma partio de a, b e

f : a, b R uma funo limitada.
Diz-se que a soma de Riemann de f converge para o nmero
I, quando P 0, se para todo > 0 existe uma partio P
de a, b tal que
n

P P | ft j x j x j1 I|<
j=1
Sf,P

para todas as escolhas de t j x j1 , x j , 1 j n.

Ento
I = lim Sf, P.
P0

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 2

Definio:
Seja a, b um intervalo com b > a.
Uma funo f : a, b R, limitada em a, b, integrvel
Riemann em a, b se existe I R tal que
lim Sf, P = I.

P0

Notao:
b

I = fxdx
a

integral definido de f entre a e b

Terminologia:
f funo integranda
a, b intervalo de integrao
a e b limites de integrao
x varivel de integrao
dx acrscimo infinitsimal

smbolo de integral
Nota: Se nada for dito em contrrio, por funo integrvel
dever entender-se funo integrvel Riemann.
No entanto, h outras noes (no necessariamente equivalentes
a esta) de integrabilidade.

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 3

Observao: Por definio, se f integrvel Riemann em

a, b, ento f limitada em a, b.
Mas o recproco no verdadeiro.
Proposio: As funes contnuas em intervalos fechados e
limitados a, b so integrveis Riemann.
Observao: H funes que so integrveis Riemann num
intervalo e no so contnuas nesse intervalo.
Pode provar-se que:

Qualquer funo seccionalmente contnua em

a, b (fechado e limitado) integrvel Riemann.
Nota: Uma funo f definida em em a, b diz-se
seccionalmente contnua em a, b se contnua em a, b
excepto num nmero finito pontos e nesses pontos de
descontinuidade existem e so finitos os limites laterais de f.

Pode tambm provar-se que:

Qualquer funo montona em a, b (fechado e limitado)

integrvel Riemann.

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 4

Propriedades elementares do Integral de Riemman

Proposio: Uma funo constante em a, b integrvel em
a, b e, sendo k constante,

a k dx = kb a.
b

Proposio: Sejam f e g funes integrveis em a, b e R.

Ento:
1. f + g integrvel em a, b e

fx + gxdx =

fxdx + gxdx;
b

2. f integrvel em a, b e

a fxdx = a fxdx;
b

3. se, para todo x a, b, fx 0, ento fxdx 0;

a
4. se, para todo x a, b, fx gx, ento

a fxdx a gxdx;
b

5. |fx| integrvel em a, b e

a fxdx
b

Ana Matos (verso de 3 Jan 08)

a |fx|dx.
b

Integrais de Riemann 5

Observao: de 4. e do integral da funo constante tem-se que:

se m fx M, para todo o x a, b, ento

mb a

a fxdx Mb a.
b

Advertncia 1: Pela proposio anterior,

fx integrvel em a, b |fx| integrvel em a, b.
Mas

no verdade que
|fx| integrvel em a, b fx integrvel em a, b.

Proposio: Sendo f e g integrveis em a, b, ento fg

integrvel em a, b.

no verdade que o integral

Advertncia 2: Mas
do produto seja o produto dos integrais.

Proposio (Decomposio do integral ):

Se f integrvel em a, b ento f integrvel em todo o
subintervalo (no degenerado) de a, b.
Mais, sendo a < c < b, se f integrvel em a, c e em c, b,
ento f integrvel em a, b e

a fxdx = a fxdx + c fxdx.

b

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 6

At este momento, fxdx s est definido no caso a < b. Pela

a
definio seguinte atribumos-lhe significado nos casos a = b e
a > b.
Definio: Se f integrvel em a, b, com a < b, ento

c fxdx = 0, para todo o c a, b;

b fxdx = a fxdx.

Nota 1: Tem-se ento que:

se f integrvel num intervalo I que contenha a, b e c,

ento

a fxdx = a fxdx + c fxdx.

b

Nota 2:As propriedades do integral da soma e do produto por

um escalar tambm so vlidas se b a.
Advertncia: No entanto preciso estarmos atentos a esta nova
situao - por exemplo:

as propriedades dadas envolvendo desigualdades (alneas 3.,

4., 5. e a observao correspondente )

no so

vlidas para b < a.

Nesta situao a desigualdade trocada.

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 7

Teorema da Mdia
Definio:
Seja f uma funo integrvel no intervalo a, b (com a < b).
O valor mdio da funo f no intervalo a, b dado por
b

f VM a,b =

a fxdx
ba

Proposio (Teorema da Mdia para funes contnuas):

Seja f uma funo contnua em a, b.
Ento existe c a, b tal que

a fxdx = fcb a.
b

Ou seja, se f contnua em a, b, existe c a, b tal que

fc = f VM a,b .

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 8

Teorema Fundamental do Clculo Integral

Definio: Seja f uma funo integrvel em a, b.
funo definida em a, b por
Fx =

a ftdt,
x

chama-se integral indefinido de f com origem no ponto a.

Observao: bvio que F crescente, se f no negativa.
Proposio: Seja f uma funo integrvel no intervalo a, b.
Ento a funo integral indefinido de f,
Fx =

a ftdt,
x

contnua em a, b.
Proposio (Teorema Fundamental do Clculo Integral):
Seja f uma funo contnua no intervalo a, b.
x

Ento a funo integral indefinido de f, Fx = ftdt, tem

a
derivada em a, b e
d
dx

a ftdt
x

= F x = fx.

Corolrio (Frmula de Barrow):

Sejam f uma funo contnua em a, b e G uma primitiva de f
em a, b.
Ento

a ftdt = Gx ba = Gb Ga.
b

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 9

Corolrio (do T.F.C.I.):

Qualquer funo contnua num intervalo I primitivvel nesse
intevalo.
Mais, sendo a I,

a ftdt
x

a primitiva que se anula para x = a.

Observao: Sejam f uma funo contnua em a, b e g uma

funo diferencivel em a, b :
1. a derivada de
Hx =

gx

ftdt

calculada pela regra de derivao da funo composta,

obtendo-se
Hx = fgxg x;
2. a derivada da funo
Lx =

gx ftdt
a

resulta do caso anterior e de

gx
a

ftdt =

gx

ftdt.
a

Observao: a funo integral indefinido, F, de uma funo

integrvel f sempre um pouco mais bem comportada do que
a funo f:
- se f integrvel, F contnua;
- se f contnua, F diferencivel ( mesmo de classe C 1 );
- se f de classe C 1 , F de classe C 2 ; etc ....
Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 10

Integrao por partes

Proposio:
Sejam f e g funes de classe C 1 em a, b.
Ento

a f
b

xgxdx =

fxgx ba

fxg xdx.
b

Integrao por mudana de varivel (ou substituio)

Proposio:
Sejam I e J intervalos, f uma funo contnua em I e uma
funo de classe C 1 em J, tal que J I; sejam e
elementos de J tais que = a e = b.
Ento

fxdx =

ft tdt.

Nota: estamos a fazer a mudana de varivel x = t.

Observao: existem verses da integrao por substituio
com hipteses diferentes.

Ana Matos (verso de 3 Jan 08)

Integrais de Riemann 11

Algumas aplicaes do integral definido

Clculo de reas
Sejam f e g funes integrveis em a, b e A a rea da regio
plana limitada pelos grficos de f e g e pelas rectas verticais
x = a e x = b.
Ento
A=

a |fx gx|dx.
b

Clculo de volumes de slidos de revoluo

Sejam f e g funes integrveis em a, b e V o volume do slido
de revoluo gerado pela rotao em torno do eixo dos xx da
regio limitada pelos grficos de f e g e pelas rectas verticais
x = a e x = b.
Ento
V=

a |f 2 x g 2 x|dx.
b

Clculo do comprimento de linha

Seja f uma funo de classe C 1 em a, b e l o comprimento da
linha associada ao grfico da funo f entre x = a e x = b (isto ,
entre os pontos a, fa e b, fb).
Ento
l=

Ana Matos (verso de 3 Jan 08)

1 + f x 2 dx.

Integrais de Riemann 12