Estudos das Integrais Triplas

1

O Clculo Integral: alguns fatos histricos

Os primeiros problemas que apareceram na Histria
relacionados com as integrais so os problemas de quadratura.
Um dos problemas mais antigos enfrentados pelos gregos foi
o da medio de superfcies a fim de encontrar suas reas.
Quando os antigos gemetras comearam a estudar as reas
de figuras planas, eles as relacionavam com a rea do
quadrado, por ser essa a figura plana mais simples. Assim,
buscavam encontrar um quadrado que tivesse rea igual da
figura em questo. A palavra quadratura um termo antigo
que se tornou sinnimo do processo de determinar reas.
Quadraturas que fascinavam os gemetras eram as de figuras
curvilneas, como o crculo, ou figuras limitadas por arcos de
outras curvas. As lnulas - regies que se assemelham com a
lua no seu quarto-crescente - foram estudadas por Hipcrates
de Chios, 440 a.C., que realizou as primeiras quadraturas da
Histria. Antifon, por volta de 430 a.C., procurou encontrar a
quadratura do crculo atravs de uma seqncia infinita de
polgonos regulares inscritos: primeiro um quadrado, depois
um octgono, em seguida um hexadecgono, e assim por
diante. Havia, entretanto, um problema: essa seqncia nunca
poderia ser concluda. Apesar disso, essa foi uma idia genial
que deu origem ao mtodo da exausto.
Nesse contexto, uma das questes mais importantes, e que se
constituiu numa das maiores contribuies gregas para o
Clculo, surgiu por volta do ano 225 a.C. Trata-se de um
teorema de Arquimedes para a quadratura da parbola.
Estudos das Integrais Triplas

2

Arquimedes descobriu que a rea da regio limitada por uma
parbola cortada por uma corda qualquer, igual a 4/3 da rea
do tringulo que tem a mesma altura e que tem a corda como
base. Esse clculo pode ser encontrado no livro do Simmons,
volume 2.
Arquimedes gerou tambm uma soma com infinitos termos,
mas ele conseguiu provar rigorosamente o seu resultado,
evitando, com o mtodo da exausto, a dificuldade com a
quantidade infinita de parcelas. Este o primeiro exemplo
conhecido de soma infinita que foi resolvido.
Outra contribuio de Arquimedes foi a utilizao do mtodo
da exausto para encontrar a rea do crculo, obtendo uma das
primeiras aproximaes para o nmero .
Outras "integraes" foram realizadas por Arquimedes a fim
de encontrar o volume da esfera e a rea da superfcie
esfrica, o volume do cone e a rea da superfcie cnica, a
rea da regio limitada por uma elipse, o volume de um
parabolide de revoluo e o volume de um hiperbolide de
revoluo. Em seus clculos, Arquimedes encontrava somas
com um nmero infinito de parcelas. O argumento utilizado
era a dupla reductio ad absurdum para "escapar" da situao
incmoda. Basicamente, se no podia ser nem maior, nem
menor, tinha que ser igual.
A contribuio seguinte para o Clculo Integral apareceu
somente ao final do sculo XVI quando a Mecnica levou
vrios matemticos a examinar problemas relacionados com o
centro de gravidade. Em 1606, em Roma, Luca Valerio
Estudos das Integrais Triplas

3

publicou De quadratura parabolae onde utilizou o mesmo
mtodo grego para resolver problemas de clculo de reas
desse tipo.
Kepler, em seu trabalho sobre o movimento dos planetas, teve
que encontrar as reas de vrios setores de uma regio
elptica. O mtodo de Kepler consistia em pensar na
superfcie como a soma de linhas - mtodo este que, na
prtica, apresentava muita impreciso. Analogamente, para
calcular volumes de slidos, pensava na soma de fatias
planas. Desse modo, calculou os volumes de muitos slidos
formados pela revoluo de uma regio bidimensional ao
redor de um eixo. Para o clculo de cada um desses volumes,
Kepler subdividia o slido em vrias fatias, chamadas
infinitsimos, e a soma desses infinitsimos se aproximava do
volume desejado.
Os prximos matemticos que tiveram grande contribuio
para o nascimento do Clculo Integral foram Fermat e
Cavalieri. Em sua obra mais conhecida, Geometria
indivisibilibus continuorum nova, Cavalieri desenvolveu a
idia de Kepler sobre quantidades infinitamente pequenas.
Aparentemente, Cavalieri pensou na rea como uma soma
infinita de componentes ou segmentos "indivisveis". Ele
mostrou, usando os seus mtodos, o que hoje em dia
escrevemos:
n 1
a
n
0
a
x dx
n 1
+
=
+
}
.
Todo o processo geomtrico desenvolvido por Cavalieri foi
ento aritmetizado por Wallis. Em 1655, em seu trabalho
Arithmetica infinitorum, Wallis desenvolveu princpios de
Estudos das Integrais Triplas

4

induo e interpolao que o levaram a encontrar diversos
resultados importantes, entre eles, a antecipao de parte do
trabalho de Euler dobre a funo gamma.
Hoje em dia o Clculo Integral largamente utilizado em
vrias reas do conhecimento humano e aplicado para a
soluo de problemas no s de Matemtica, mas de Fsica,
Astronomia, Economia, Engenharia, Medicina, Qumica, por
exemplo.

Integrais Triplas
1. Definio
Seja A o paraleleppedo a x a
1
, b y b
1
, c z c
1
, onde a a
1
, b b
1
e c
c
1
so nmeros reais dados. Sejam P
1
: a = x
0
x
1
x
2
... x
n
= a
1
; P
2
: a = y
0

y
1
y
2
... y
m
= b
1
e P
3
: a = z
0
z
1
z
2
... z
p
= c
1
parties de [a, a
1
], [b,
b
1
] e [c, c
1
], respectivamente. O conjunto de todas as ternas (x
i
, y
j
, z
k
), com i =
0, 1, 2, ..., n, j = 0, 1, 2, ..., m e k = 0, 1, 2, ..., p, denomina-se partio do
paraleleppedo A. Uma partio de A determina mnp paraleleppedos A
ijk
, onde
A
ijk
o paraleleppedo x
i-1
x x
i
, y
j-1
y y
j
, z
k-1
z z
k
.

Seja
3
B c ; dizemos que B limitado se existir um paraleleppedo A, com
B A c .
Estudos das Integrais Triplas

5

Seja f:
3
B c
, com B limitado. Assim, existe um paraleleppedo A de
faces paralelas aos planos coordenados que contm B. Seja P uma partio de
A. Para cada terna de ndices (i, j, k), seja X
ijk
um ponto escolhido
arbitrariamente no paraleleppedo A
ijk
. Pois bem, o nmero
( )
p n m
ijk i j k
i 1 j 1 k 1
f X x y z
= = =
A A A

(1)
Onde f(X
ijk
) deve ser substitudo por zero se X
ijk
B denomina-se soma de
Riemann de f, relativa partio P e aos pontos X
ijk
.
A integral tripla de f sobre B que se indica por
B
f (x, y, z)dxdydz
}}} ou por
B
f (x, y, z)dV
}}} , , por
definio, o limite de (1) (caso exista) quando tende a zero, onde o maior
dos nmeros x
i
, y
j
, z
k
, com com i = 0, 1, 2, ..., n, j = 0, 1, 2, ..., m e k = 0, 1,
2, ..., p.
( )
p n m
ijk i j k
B 0
i 1 j 1 k 1
f (x, y, z)dxdydz lim f X x y z .
A
= = =
= A A A

}}}

Tal limite deve ser entendido como o que ocorre na definio de integral dupla.
Origem e Noo Intuitiva
Sim, se temos uma funo (bem comportada, como todas as funes do
Clculo) f : R , onde R
3
e uma regio do R
3
(ou seja, f e uma funo de trs
variveis), podemos calcular a integral tripla de f na regio R.
Novamente, a ideia e particionar R em pedacinhos, que agora sero pequenos
volumes V
I
, onde I indexa os vrios pedacinhos. Tendo uma partio,
podemos definir somas de Riemann de f subordinada a essa partio (da mesma
forma que para integrais definidas e para integrais duplas)
I
I
s(f , R) f (p ) =

VI,
Estudos das Integrais Triplas

6

onde p
I
um ponto no pedacinho correspondente da partio. Novamente
podemos falar de somas inferiores, somas superiores e as mesmas condies de
bom comportamento da f que permitiam definir a integral dupla so
suficientes para mostrar o resultado anlogo para integral tripla: a integral tripla
de f na regio R, denotada:
R
fdV
}}}

e o limite das somas de Riemann correspondentes, quando as parties so
tomadas arbitrariamente finas.
Para as aplicaes do tipo clculo de valor mdio de funes, a interpretao
segue exatamente a mesma das integrais duplas: estamos olhando o valor da
funo em uma regio pequena (se a funo for contnua e a regio realmente
pequena, este valor depende muito pouco do ponto especfico escolhido),
multiplicando pelo volume do pedacinho (antes era a rea, mas que diferena
faz?) e somando todas estas contribuies. Se queremos calcular uma media,
precisamos depois dividir pela soma dos pequenos volumes, que da o volume
total da regio.
Este ultimo ponto lembra outra aplicao simples da integral tripla: do mesmo
modo que ao integrar a funo constante igual a 1 em uma regio do plano
estamos de fato calculando a rea desta regio (ou seja, a integral dupla tambm
serve para calcular reas), a integral tripla da funo constante igual a 1 em uma
regio do espao calcula o volume desta regio:
R
dv V(R) =
}}}
Por fim, a mesma dificuldade que temos em pensar em um grfico de uma
funo de trs variveis o que torna pouco usual nos referirmos a integral
tripla de uma funo f no negativa como um hiper-volume da regio acima
de R no espao tridimensional e abaixo do grfico de f. Se voc puder visualizar
um grfico de uma funo de trs variveis desta forma, a descrio anterior
far sentido da mesma forma que a integral dupla de uma f no negativa pode
ser vista como um volume e a integral definida de uma f de uma varivel como
uma rea.
Estudos das Integrais Triplas

7

E claro, uma vez que se entenda que a passagem de duas para trs variveis s
traz novidades tcnicas (que ainda discutiremos), alm de uma necessidade
maior de abstrao, voc j estar pronto para definir por conta prpria o
conceito de integral mltipla, para uma funo de n variveis, e de pensar em
possveis aplicaes e interpretaes para ela.
Como Calcular
Um primeiro caso simples de se calcular quando a regio de integrao um
paraleleppedo: P = [a, b] [c, d] [p, q] e a funo escrita em coordenadas
cartesianas se mostra de fcil integrao.
Neste caso, assim como para as integrais duplas, resolvemos a integral tripla
fazendo integrais iteradas. Por exemplo:
q d b
p
p c a
f (x, y, z)dv f (x, y, z)dxdydz =
}}} } } }

Naturalmente, a escolha da ordem de integrao cabe a quem vai resolver a
integral. E a escolha natural aquela que torna a integral mais fcil de resolver.
Se para integrais duplas tambm havia outras regies bem adaptadas a
coordenadas cartesianas (como aquelas entre dois grficos de funes de uma
varivel, as chamas regies tipo I e tipo II), para integral tripla a situao no
seria outra. No vamos ficar aqui enumerando ou descrevendo regras de como
proceder em cada caso (pois realmente achamos isso contraproducente).
A melhor estratgia : busque uma descrio da regio de integrao em
notao de conjuntos e ali reconhea como esta descrio se adequa a uma
ordem adequada de integraes iteradas. Por exemplo, considere que queremos
fazer uma integral no interior de uma esfera de raio a, e que, por razes de
simetria, basta integrarmos no primeiro octante. Uma maneira de descrever esta
regio :
2 2 2 2
R = {(x, y, z) : x + y + z a , x 0, y 0, z 0} s > > > . Mas essa forma no
adequada para escrevermos integrais iteradas cartesianas. Mas se notarmos que
{ }
2 2 2 2 2
R (x, y, z) : 0 x a, 0 y a x , 0 z a x y = s s s s s s

Ai sim poderemos escrever
Estudos das Integrais Triplas

8

2 2 2
2 2
a x y
a a x
R
0 0 0
f (x, y, z)dV f (x, y, z)dzdydx.

=
}}} } } }

Onde, claro, se a funo f for mais bem adaptada a outra ordem de integrao
deveu usar outra descrio desta mesma regio (j que ela permite) e adotar
aquela que tornar a integral mais simples.
Linearidade da integral tripla. Se f e g so funes integrveis sobre R,
ento para todo , , f | o | e + g integrvel sobre R, e:
R R R
( f (x) g(f (x))dxdydz f (x)dxdydz g(x)dxdydz o | o | = = +
}}} }}} }}}
onde x=(x, y, z)
2. Se f e g so integrveis sobre R e g(x) f(x), para todo x R, ento:
R R
g(x)dxdydz f (x)dxdydz s
}}} }}}

3. Se R subdividido em k paraleleppedos e f integrvel sobre cada Ri,
i=1,..., k ento f integrvel sobre R e,
k
R Ri
i 1
f (x)dxdydz f (x)dxdydz
=
=

}}} }}}