You are on page 1of 18

Universidade Federal de Ouro Preto

Instituto de Cincias Exatas e Aplicadas


Clculo Diferencial e Integral III
Professor den Amorim

Integrais duplas

? preciso saber: Integral simples, Funes de duas variveis.


At ento aprendemos o que significa integrar uma funo de uma varivel ao
longo de um intervalo de seu domnio. A construo da integral nos permitiu definir e
obter mtodos para calcular no s reas de regies planas, mas tambm comprimento
de arco, volume de alguns slidos, reas de algumas superfcies, alguns conceitos
fsicos, alm do conceito de probabilidade de uma varivel aleatria contnua. Vamos
agora repetir a construo da integral, mas estendendo a ideia para funes de duas
variveis. Essa construo pode ser motivado pelo problema de clculo de volumes,
como descrito a seguir.

1.1

Um problema de volume

Vamos nos restringir a um tipo especfico de slido: considere uma regio slida E
sob o grfico de uma funo de duas variveis z = f(x, y), no negativa e contnua, e
acima do plano Oxy, compreendido em uma regio limitada e fechada D do domnio
de f, ou seja
E = {(x, y, z) R3 | (x, y) D, 0 z f(x, y)}.
De outra forma, podemos pensar em E como um slido de base D e altura varivel
dada pela superfcie z = f(x, y) no topo. Se um slido no pode ser descrito dessa
forma, muito provavelmente ele pode ser decomposto em partes dessa forma (como
seria para uma esfera centrada na origem?). Nosso problema obter o volume desse
slido, para quaisquer D e f nessas condies.

1.2

Volume pelo processo de integrao

Lembramos que o slido mais simples para clculo de volume um prisma: rea
da base vezes altura. Em particular, o mais simples dos prismas um paraleleppedo, cujo volume o produto de suas trs medidas: comprimento vezes largura
vezes altura. O prisma retangular reto, ou bloco, ento o candidato natural para
aproximar o volume de um slido. Mas no vamos fazer isso com o slido E inteiro,
pois essa aproximao seria bem grosseira. Vamos preferir aplicar nesse slido o
processo geral de integrao: particionamos nosso problema em problemas menores;
obtemos uma aproximao para cada problema menor; reunimos (ou somamos) todas
as aproximaes de cada problema menor de modo a obter uma aproximao para
o todo. Se essa aproximao do todo pelas partes fica melhor (o erro em relao
ao valor exato esperado diminui) a medida em que refinamos a partio do nosso

problema, podemos resolver o problema todo atravs de um processo de limite em


suas partes (integramos).
Especificamente em nosso caso, devemos:
1. Partio: particionar o slido E em slidos menores E ;
2. Aproximao: Aproximamos o volume de cada slido E , usando blocos;
3. Soma de Riemann: somamos as aproximaes dos volumes de cada E obtendo
uma aproximao para o volume de E;
4. Integrao: tomamos o limite quando o nmero de slidos E da partio tende
ao infinito para obter o valor exato do volume de E.

(a) Particionando e escolhendo prismas


para aproximar o slido

(b) Refinando a partio, melhorando a aproximao

Figura 1: Grfico de z = 16 x2 2y2 restrito ao domnio [0, 2] [0, 2] e aproximaes


por prismas

O ltimo item do processo se justifica, ao menos intuitivamente, pelo fato de que


em quanto mais slidos particionarmos E, menor a diferena entre o volume exato
de E e da aproximao gerada pela partio, como sugere a figura (1.2).
Vamos explicitar cada item do processo. Antes, vamos considerar uma construo
que vai nos auxiliar em particionar e aproximar o slido E.
0. (Retangularizao da base): D pode ser uma regio muito irregular e nada
retangular, o que nos dificulta em aproximar E por blocos. Podemos inicialmente
aproximar D outra regio formada por partes retangulares, que vamos chamar de D .
Procedemos assim: D uma regio limitada, ento conseguimos sempre obter um
retngulo R que a contenha, como sugere a figura (1.2). Digamos que R = [a, b][c, d].
Como j sabemos particionar um intervalo, podemos obter uma partio para R
tomando parties em [a, b] e [c, d] independentemente:

a = x0 < x1 < < xi < < xm = b


e

c = y0 < y1 < < yj < < yn = d


onde m e n so os nmeros de subintervalos das parties de [a, b] e [c, d], i e j
ndices variando entre os pontos da partio em x e y respectivamente.
O retngulo R fica ento dividido em subretngulos Rij = [xi1 , xi ] [yj1 , yj ],
1 i m e 1 j n, como tambm indicado na figura (1.2). Para ajudar, pense no
ndice duplo em Rij como os das entradas de uma matriz, s que lida da esquerda
para a direita e de baixo para cima. Seja tambm Aij a rea do retngulo Rij
Porm, a regio D est contida no retngulo R, o que faz com que vrios subretngulos Rij possam estar fora de D. Para contornar isso e obter uma aproximao
melhor para a base D, vamos considerar apenas os subretngulos com interseo
com D, ou seja, tais que Rij D 6= . Chamamos de D a unio desses subretngulos.
Imagine o resultado como uma pixelizao da regio D: quanto mais grosseira a
partio, maiores os pixels e pior a resoluo; quanto mais fina a partio, menores
os pixels e melhor a resoluo. Observe que se D j for uma regio retangular, temos
D = D.
1. (Partio) Uma vez que o topo do slido a superfcie z = f(x, y), uma partio
natural para E vem de uma partio de sua base. Mas isso j est praticamente feito
pelo passo 0: para cada retngulo Rij em D , consideramos o slido Eij sob o grfico
de f e acima do eixo Oxy, compreendido pela regio Dij := Rij D,

Eij = {(x, y, z) R3 | (x, y) Dij , 0 z f(x, y)}.


Para os casos em que Rij no est em D , basta considerar Eij como vazio.
2. (Aproximao) Observe que cada parte Eij do mesmo tipo que o slido inteiro
E, porm menor em base. O erro ao aproximar o volume de um slido Eij pelo volume
de um bloco tambm menor que aproximar o volume de E pelo volume de um nico
bloco, ao menos absolutamente.
Assim, Eij pode ter seu volume aproximado por um bloco da seguinte forma:
escolha um ponto (x?i , y?j ) Dij ; tomamos o bloco de base Rij correspondente em
D e altura f(x?i , y?j ), que aproxima o slido Eij . Assim, o volume de Eij pode ser
aproximado por

(a) Regio D

(b) Partio do retngulo R gerando regio D

Figura 2: Uma retangularizao da regio D

vol Eij f(x?i , y?i )Aij ,


desde que consideremos Aij = 0 nos os ndices i, j para os quais Eij vazio, ou
Rij no est em D .
3. (Soma de Riemman) Agora, tomamos a soma do volume aproximado de cada
Eij obtendo
m X
n
X
vol E
f(x?i , y?i )Aij .
i=1 j=1

O ideal que o erro ao aproximar o volume de E por essa soma ainda seja menor,
relativamente, do que o de aproximar o volume de E por um nico bloco.
4. (Integrao) Observe que essa soma tem a seguinte propriedade: aumentando
o nmero de parties, ou seja, aumentando o valor de m e n, podemos fazer o valor
de Aij diminuir para todo i e j. Em termos de limites, quando m, n , temos
Aij 0. Com isso, temos uma soma cujo nmero de parcelas aumenta ao mesmo
tempo em que o valor de cada parcela diminui, nos dando a chance de que tal limite
convirja. No caso em que esse limite exista, podemos ento esperar que
vol E = lim lim

m n

Exemplo: (aproximao por blocos)

m X
n
X
i=1 j=1

f(x?i , y?i )Aij .

1.3

A integral dupla

Se f uma funo contnua qualquer, ainda podemos repetir a construo e definir

ZZ
f(x, y) dA := lim lim

m n

RR

m X
n
X

f(x?i , y?i )Aij ,

i=1 j=1

onde os dois smbolos de integral


nos lembram que estamos integrando uma
funo sobre uma regio plana, de dimenso 2. Quando o contexto deixa claro,
muitos autores usam a notao de integral simples, por simplificao.
J a expresso dA chamada de forma de rea, ou diferencial de rea. Representa
uma pequena variao, ou variao infinitesimal, no valor da rea. Est essencialmente relacionada com a rea Aij dos retngulos da partio, que tendem a zero
na integrao.
A integral dupla fica bem definida uma vez que possvel garantir a convergncia
do limite em questo sempre que f for contnua.
Se f for positiva, com a notao da seo anterior, podemos reescrever
ZZ
vol E =
f(x, y) dA.
D

por

*RREm particular, o valor exato do volume do slido no exemplo pode ser expresso

Geometricamente, quando f tem variao de sinal, o que calculamos com a integral dupla um volume com sinal. Podemos escrever
ZZ
f(x, y) dA = vol E+ vol E ,
D

onde denotamos por E+ a parte do slido E acima do plano Oxy e E a parte abaixo
desse plano.

1.3.1

Massa, carga, probabilidade

Podemos ter outra intuio do significado da integral dupla atravs de dois conceitos
fsicos: massa e carga.
Seja uma placa plana D sob o sistema de coordenadas Oxy e a funo contnua
e positiva que descreve sua densidade superficial (g/m2 ) em um ponto (x, y) D. Repetindo o processo de integrao da seo anterior, devemos ser capazes de entender
que a massa total m dessa placa pode ser calculada por
ZZ
m=
(x, y) dA.
D

A interpretao do processo simples: partimos a placa em subplacas menores,


aproximamos a massa de cada placa pelo valor da densidade em um ponto escolhido
multiplicada pela rea da subplaca, somamos as massas aproximadas e tomamos um
limite para obter a massa da placa inteira.

No caso de massa ainda estamos considerando funes positivas. Para considerar


um caso genrico, podemos tomar o conceito de carga eltrica: nossa placa D agora
est carregada e a densidade de carga (C/m2 ) em cada ponto descrita pela funo
(x, y), no necessariamente positiva. A carga total da placa, a soma total de cargas
positivas e negativas, pode ser calculada por
ZZ
q=
(x, y) dA,
D

podendo assumir tanto valor positivo quanto negativo, dependendo da distribuio de cargas na placa.
Ainda, considere duas variveis aleatrias contnuas independentes X e Y , definidas num espao amostral U R2 . Se (X, Y) a distribuio de probabilidade de
X e Y , a probabilidade de X e Y assumirem valor no espao D U calculada pela
integral dupla
ZZ

P((X, Y) D) =
Nesse caso, a funo deve ser tal que

1.4

(X, Y) dA.
D

RR
U

(X, Y) dA = 1 (probabilidade total).

Propriedades da integral dupla

Aps definir um novo conceito, devemos ir atrs de suas propriedades, ou seja, relaes entre as operaes e conceitos j conhecidos. No caso da integral dupla, essas
propriedades se referem s funes e s regies. Todas elas podem ser verificadas
diretamente da definio, atravs da manipulao de somatrios e limites. Porm,
a sugesto que elas sejam entendidas mais intuitivamente, pela interpretao da
integral dupla como um volume, massa ou carga. Abaixo, listamos as propriedades,
sem demonstrao, e deixamos ao leitor o exerccio de compreend-las como deve
ser: de forma natural.
Proposio 1.1 (Linearidade). Sejam f = f(x, y) e g = g(x, y) funes contnuas na
regio limitada e fechada D, e k uma constante real. Ento valem
ZZ
ZZ
ZZ
f + g dA =
f dA +
g dA
D

ZZ

ZZ
kf dA = k

f dA
D

Proposio 1.2 (Aditividade). Se D a unio de regies D1 e D2 cujas intersees


ocorrem apenas em seus bordos, ento
ZZ
ZZ
ZZ
f + g dA =
f dA +
g dA
D

D1

D2

Proposio 1.3 (rea). Para qualquer regio D limitada e fechada, vale


ZZ
rea(D) =
dA
D

Proposio 1.4 (Dominao). Se m f(x, y) M em D, ento


ZZ
f dA M rea(D)
m rea(D)
D

A prxima propriedade merece mais detalhes. Para entend-la, podemos tomar a


interpretao da integral dupla como volume e lembrar um princpio bem conhecido
da hidrosttica. Segundo esse princpio, ao mergulhar um objeto slido em um
lquido, o volume do lquido deslocado deve ser igual ao volume do objeto slido.
Aplicando essa ideia ao tipo de slido E considerado nas sees anteriores, imagine
que o lquido deslocado colocado agora em um recipiente de mesma base D que
o slido E. Enquanto o topo de E irregular, portanto o slido tem uma altura
varivel, o lquido no recipiente de base D teria altura constante. Se a funo f que
define o topo de E limitada sobre D por m f(x, y) M, esperamos que a altura
do lquido seja um valor c entre m e M, uma altura de nivelamento. Observe a
figura 1.4. Esse valor c chamado de valor mdio de f sobre D. Assim, O valor c
tal que
ZZ

c rea D =

f dA.
D

Figura 3: Valor mdio: nivelando uma superfcie


Outra forma equivalente de observar isso imaginar o slido E se liquefazendo,
mantendo fixa a base D e o volume total, de modo com que seu topo fique plano. A
altura alcanada corresponde ao valor mdio de f sobre D.
Com base nisso, definimos o valor mdio de f em D como
ZZ
1
valor mdio de f sobre D =
f dA.
rea(D) D

1.5

Integrais duplas sobre regies cartesianas: Teorema de Fubini

Observe que na construo acima a integral dupla definida por um limite em


2 variveis, algo nada prtico de se calcular analiticamente. Primeiramente, ele envolve a manipulao de um somatrio duplo, que requer um bom esforo para ser

transformado em frmulas fechadas em m e n. Depois o clculo do limite, que por


si s, j apresenta suas dificuldades operacionais. Um modo que pode tornar o clculo de uma integral dupla menos desagradvel baseado em um mtodo de clculo
de volumes que j conhecemos: o fatiamento. Ele se aplica bem em alguns casos
especficos do formato de D, j conhecido do clculo de reas com integrais simples:
regies retangulares, regies horizontalmente ou verticalmente simples.

1.5.1

Regies Retangulares

Seja R = [a, b] [c, d], um retngulo. Vamos obter uma expresso para a integral
dupla usando fatias ao longo do eixo Ox. Pelo mtodo do fatiamento aplicado a esse
caso, temos
ZZ
Z
b

A(x) dx,

f(x, y) dA =
a

onde A(x) a rea da regio definida pela seo plana de x em E, como indicado na
figura ??.
A questo determinar a funo A(x). Porm, para cada x fixado, A(x) representa
a rea da regio sob o grfico de f(x, y) compreendida no intervalo [c, d], definida
pela integral em relao a y

Zd
A(x) =

f(x, y) dy.
c

Dessa forma obtemos


ZZ

f(x, y) dA =
R

Zb h Zd
a

f(x, y) dy dx.

A expresso acima chamada de integral iterada, pois requer o clculo de duas


integrais parciais encadeadas, uma interna em relao a y (mantendo x constante) e
outra externa em relao a x. Costumamos denotar sem os colchetes, estando claro
que a ordem de integrao de dentro para fora.
Analogamente, usando o mtodo de fatiamento ao longo do eixo Oy, podemos
obter
ZZ
Zd Zb
f(x, y) dA =
f(x, y) dx dy.
R

Comparando o que fizemos acima com a definio de integral dupla, fcil estender para um resultado conhecido como
Teorema 1.1 (Teorema de Fubini). Se f contnua sobre o retngulo R = [a, b][c, d],
vale

ZZ

Zb Zd
f(x, y) dA =
R

Zd Zb
f(x, y) dy dx =

f(x, y) dx dy.
c

Em outras palavras, o teorema de Fubini nos ensina como calcular uma integral
dupla reduzindo ao clculo de duas integrais simples.

Observe que o teorema de Fubini deixa explcita a diferencial de rea dA = dx dy,


proveniente do fato que A = xy no processo de integrao. Veremos mais adiante que a diferencial de rea pode assumir outras formas, dependendo de como
descrevemos a regio D.
Outro resultado que pode simplificar o clculo de integrais duplas:
Proposio 1.5 (Funes separveis sobre retngulos). Se f(x, y) = g(x)h(y) e R =
[a, b] [c, d], ento
ZZ
Zb
Zd
f(x, y) dA = g(x) dx h(y) dy.
R

1.5.2

Verticalmente simples e horizontalmente simples

Se D uma regio simples, vertical ou horizontalmente (ou tipo I e tipo II, como
citam alguns autores), podemos ainda usar o processo do fatiamento, mas agora
fixando uma ordem para a integrao.

(a) Verticalmente

(b) Horizontalmente

Figura 4: Regies simples


Seja D verticalmente simples,

D = {(x, y) R2 | a x b, g1 (x) y g2 (x)}


como na figura 1.5.2. Podemos aplicar o fatiamento ao longo do eixo Ox, obtendo,
para cada x [a, b], uma fatia com rea
Z g2 (x)
A(x) =
f(x, y) dy.
g1 (x)

Dessa forma,

ZZ

Z b Z g2 (x)
f(x, y) dA =
D

f(x, y) dy dx.
a

g1 (x)

Analogamente, seja uma regio horizontalmente simples,

D = {(x, y) R2 | c y d, h1 (y) x h2 (y)}

(1)

como mostrado na figura 1.5.2. Nesse caso, fatiando ao longo do eixo Oy, teremos

Z d Z h2 (y)

ZZ
f(x, y) dA =
D

f(x, y) dx dy.
c

(2)

h1 (y)

Observe que, ao contrrio da integrao em regies retangulares, a troca da ordem


de integrao nas integrais iteradas 1 e 2 no faz sentido - pelo menos, no sem
readequar a descrio da regio D. Por exemplo, na expresso
#
Z "Z
b

g2 (x)

g1 (x)

f(x, y) dy dx,
a integral interna parcial em relao a y e seus limites de integrao dependem de
x. O resultado dessa integral deve ser uma funo de x. De fato, a funo rea em
A(x). A integral externa, em x, permite obter o valor numrico da integral dupla. J
a expresso
#
Z g2 (x) " Z b
f(x, y) dx dy,
g1 (x)

no resulta em um nmero: enquanto a integral interna resulta em uma funo de


y, a externa, ao ser aplicada nos limites de integrao, retorna com a varivel x.
A troca dos limites de integrao no caso de regies simples s faz sentido ser
realizada quando a regio D , ao mesmo tempo, vertical e horizontalmente simples.

1.6

Integrais duplas sobre regies polares

Um outro tipo de regio, comum em diversas aplicaes, so aquelas que apresentam


alguma simetria radial, ou formado circular. Em geral, descrever regies e
equaes
dessa forma costumam estar associadas a expresses algbricas do tipo a2 b2 ,
devido a frmula de distncia em coordenadas cartesianas.
Por exemplo, seja D o disco de raio 1 centrado na origem. Uma possvel descrio,
interpretando D como regio verticalmente simples, seria
p
p
D = {(x, y) R2 | 1 x 1, 1 x2 y 1 x2 }.
Integrais duplas sobre essa regio podem requerer, pelo menos, o uso de alguma
substituio trigonomtrica para serem resolvidas.
Um outro exemplo seria a regio interna a uma lemniscata, uma curva no simples
que nos lembra o smbolo do infinito, . Sua equao em coordenadas cartesianas
algbrica, mas um pouco mais complicada do que a de uma circunferncia. A saber,
L : (x2 + y2 )2 = (x2 y2 ).
Um modo mais natural de descrever essas curvas e regies, aproveitando sua
simetria radial, o uso das coordenadas polares.
Se (r, ) so coordenadas polares para o plano, ento o disco D acima descrito
por
D = {(r, ) | 0 2, 0 r 1},
que se assemelha a descrio de um retngulo cartesiano, mas agora em coordenadas
polares. Tambm, a equaes da lemniscata r2 = cos 2. Um pouco mais simples...

Figura 5: Uma lemniscata L

A ideia agora usar coordenadas polares quando for mais conveniente e entender como a troca das coordenadas cartesianas para polares afeta o clculo de uma
integral dupla. Basicamente, o que faremos um tipo de substituio simples para
duas variveis, usando a relao

x = r cos
T:
(3)
y = r sen
RR
Suponha que tenhamos uma integral dupla D f(x, y) dA onde D uma regio
que pode ser mais simplesmente descrita em coordenadas polares. Deve ser claro
que no basta trocar as letras x, y na integral por r, ; preciso ajustar a integral de
modo a obter uma igualdade entre a integral em x, y e a correspondente em r, .
O primeiro e mais fcil ajustar o integrando. Aplicando a mudana de coordenadas 3, temos f(x, y) = f(T (r, )) = f(r cos , r sen ).
Em seguida, os limites de integrao dependem da descrio da regio D. Vamos
aqui considerar uma regio polar simples (figura 1.6), onde varia entre dois valores
constantes e r entre duas funes de (veja semelhana com as regies cartesianas
verticalmente simples). Descrevemos tal regio por

D = {(r, ) | ; h1 () r h2 ()}.
Nesse caso teremos
ZZ

Z Z h2 ()
f(r cos , r sen ) dA.

f(x, y) dA =
D

h1 ()

Resta saber agora como descrever o elemento de rea dA em funo de dr e d,


ou seja, como se d a variao infinitesimal da rea de uma regio polar em funo
da variao infinitesimal em r e . Para entender isso, tomamos a regio mais
simples que pode ser descrita em coordenadas polares: o retngulo polar (figura 1.6).

Figura 6: Regio polar

Figura 7: O retngulo polar como elemento de rea

Trata-se da regio

R = {(r, ) | ; a r b},
com a, b 0. No sistema cartesiano, essa regio corresponde a um setor anelar. Sua
rea pode ser calculada pela diferena entre a rea do setor do disco maior e a rea
do setor do disco menor:
2 2 2
A =
b
a =
(b a2 ).
2
2
2
Definimos as variao em por = e em r por r = b a. Aplicando o
produto notvel na expresso acima, podemos reescrever

b+a
r(b + a) =
r = rr,
2
2
onde denotamos por r o raio mdio do setor.
A =

Dessa forma, se queremos integrar uma funo sobre uma regio polar simples,
podemos ento realizar o processo de integrao usando setores anelares como partes
infinitesimais para a base da integral. Para acompanhar passo a passo:
1. geramos uma partio da regio D fazendo partio dos intervalos = 0 <
1 < < m = e a = r0 < r1 < < rn = , onde r = a e r = b
so os crculos que englobam a regio polar D. Cada subregio Dij tem rea
aproximada por
Aij = ri ri j ,
onde ri o raio mdio (ri+1 + ri )/2 e as diferenas usuais.
2. escolhemos, em cada subregio Dij , o ponto (ri , ?j ), fixando o raio mdio na
coordenada r e permitindo ?j arbitrrio. Com isso, calculamos em cada parte
a aproximao

f(ri cos ?j , ri sen ?j )Aij = f(ri cos ?j , ri sen ?j )ri ri j .


3. O valor da integral pode ser aproximado ento por
n X
m
X

f(ri cos ?j , ri sen ?j )ri ri j .

i=1 j=1

4. Tomando os limites para m, n de modo que ri , j 0, temos

ZZ
f(x, y) dA = lim

n X
m
X

m,n

f(ri cos ?j , ri sen ?j )ri ri j .

i=1 j=1

Agora, comparando a ltima expresso com a definio de integral dupla que j


temos, devemos ser capazes de concluir que

Z Z h2 ()

ZZ

f(r cos , r sen ) r dr d.

f(x, y) dA =
D

h1 ()

Dessa forma, verificamos que, sob coordenadas polares, vale dA = r dr d. Ou


ento, dx dy = r dr d. Essa expresso estabelece a relao correta entre a diferencial
da rea e as diferencias em cada coordenada. Observe que o fator r atua como uma
correo na rea, agindo de modo a dar correspondncia a rea da regio retangular
do plano Or ao setor anelar do plano Oxy, do ponto de vista de diferenciais. Vamos
analisar isso de modo mais geral na prxima seo.

1.7

Transformaes; Mudanas de coordenadas em integrais


duplas

O processo de mudana entre coordenadas cartesianas e polares da seo anterior


pode ser generalizado para mudanas de coordenadas de outras naturezas. Isso pode
ser interessante para simplificar o integrando e regio de integrao em uma integral

simples. Por exemplo, considere que queremos obter o volume do slido delimitado
2
2
pelo elipsoide x4 + y9 + z2 = 1. Podemos calcul-lo pela integral dupla

ZZ r
x2 y2
V=2

dA,
1
4
9
D
onde D a regio interna a elipse

x2
4

y2
9

1.

Tanto em coordenadas cartesianas quanto polares, as expresses para a regio se


tornam complicadas. Porm, podemos contornar essa situao com uma mudana de
coordenadas conveniente. Considere a transformao linear

x = 2u
T:
y = 3v
Dessa forma, substituindo as expresses no integrando temos
r
r
x2 y 2
(2u)2 (3v)2 p
1

= 1

= 1 u 2 v2
4
9
4
9
e, substituindo na equao da elipse, bordo da regio D, temos que essa se transforma
em um disco S:
x2 y2
+
1 S : u 2 + v2 1 .
D:
4
9
Sendo assim, sob efeito da mudana de coordenadas (x, y) = T (u, v) convertemos
nossa integral em uma com integrando e regio de integrao j conhecidas
ZZ p
1 u2 v2 dA.
V=2
S

Ainda nos falta entender como a mudana de coordenadas afeta a diferencial da


rea dA. Vamos desenvolver isso de modo geral e ento retornamos a esse exemplo.
1.7.1

Transformaes no plano e sua derivada

Considere uma funo T : S R2 R2 , injetora (com inversa) e contnua (mantendo prxima a imagem de pontos prximos no domnio). Em geral, ela pode ser
representada a partir de duas funes em duas coordenadas

x = x(u, v)
T:
y = y(u, v)
ou

T (u, v) = (x(u, v), y(u, v)).


com (u, v) S.
Chamamos uma funo desse tipo de transformao no plano. Geometricamente,
uma transformao identifica cada ponto no plano Ouv em um ponto do plano Oxy,
como indicado na figura 1.7.1.
Exemplos j conhecidos de transformaes no plano so as transformaes lineares: mudanas de escala, cisalhamentos e rotaes. Outra a transformao em

Figura 8: Uma transformao T

coordenadas polares.
Vamos entender como calcular a imagem de uma regio plana por uma transformao. Para isso tome o exemplo a seguir:
Assim como a derivada de uma funo de uma varivel representa a funo
localmente como linear (pela reta tangente) e o gradiente de uma funo de duas
variveis a representa de forma linear localmente (pelo plano tangente), podemos
definir a derivada de uma transformao de modo a apresent-la, ao menos localmente, como uma transformao linear. Se as funes coordenadas x(u, v) e y(u, v)
so diferenciveis no ponto (u0 , v0 ), ento definimos a derivada de T nesse ponto
pela matriz


xu (u0 , v0 ) xv (u0 , v0 )
J=
,
yu (u0 , v0 ) yv (u0 , v0 )
onde as entradas so as derivadas parciais de x e y em relao a u e v. Essa matriz
chamada de matriz jacobiana de T no ponto (u0 , v0 ). Basicamente, ela nos diz que,
em uma vizinhana do ponto (u0 , v0 ), podemos considerar

T (u, v) T (u0 , v0 ) + J(u u0 , v v0 ).


Se T j uma transformao linear, fcil verificar que sua jacobiana a prpria
matriz da transformao linear ( fcil mesmo, verifique!).
1.7.2

A integral dupla e o jacobiano

Vamos agora, finalmente, analisar o efeito de uma transformao no diferencial de


rea dA. Para isso, vamos comparar uma regio retangular no plano Ouv e sua
imagem no plano Oxy por uma transformao T . Considere o retngulo R de vrtice
(u, v) e de lados u e v, como na figura. Como discutido no exemplo, para entender
a imagem do retngulo, basta tomar a imagem de seu bordo. Assim, a imagem
D = T (R) tem bordos conectados por vrtices T (u, v), T (u + u, v), T (u, v + v) e
T (u + u, v + v). O bordo dessa sequer precisa ser reto... porm podemos aproximar
~ e ~b,
a rea A dessa regio pela rea do paralelogramo formado pelos vetores a
como na figura 1.7.2.

Figura 9: A imagem de um retngulo por T (na figura, r corresponde a transformao


T)

As coordenadas desses vetores so

~ = (x(u + u, v) x(u, v))~i + (y(u + u, v) y(u, v))~j


a
e

~b = (x(u, v + v) x(u, v))~i + (y(u, v + v) y(u, v))~j.


A rea desse paralelogramo ento obtida pelo valor absoluto do determinante das
coordenadas desses vetores, ou o produto exterior |~
a ~b|. Porm, observe que isso
no nos permite comparar a rea dessa regio diretamente com as diferenas u e
v, que aparecem nos argumentos das funes coordenadas. Mas usando o TVM
aplicado simultaneamente s funes coordenadas x e y podemos obter, por exemplo

x(u + u, v) x(u, v) = xu (u? , v? )u,


para algum ponto (u? , v? ). Pode-se mostra que esse mesmo ponto serve para aplicar
o TVM nas outras coordenadas e obter

~ = xu (u? , v? )u~i + yu (u? , v? )u~j


a
e

~b = xv (u? , v? )v~i + yv (u? , v? )v~j.


~ e ~b obtemos
Agora, calculando o determinante da matriz cujas colunas so a


xu (u? , v? )u xv (u? , v? )v
= | det J| u v,
A
yu (u? , v? )u yv (u? , v? )v

pois o determinante calculado exatamente um mltiplo do determinante da matriz


Jacobiana de T no ponto (u? , v? ). Esse determinante chamado de Jacobiano da
(x, y)
.
transformao T e muitas vezes denotado por
(u, v)
Obtida uma aproximao para a rea A em funo de u e v, podemos aplicar
no processo de integrao. Seja S uma regio no plano Ouv e R = T (S) sua imagem
pela transformao T . Considere a figura 1.7.2.

Figura 10: A imagem de um elemento de rea pela tranformao T

1. geramos uma partio da regio S fazendo partio dos intervalos u0 < u1 <
< um e v0 < v1 < < vn . Por sua vez, essa partio geral outra na regio
D, formada pela imagem dos segmentos u = ui e v = vj . Cada subregio Dij
tem rea aproximada por

Aij = | det J| ui vj ,
onde o jacobiano calculado no ponto (u?i , v?j ) como descrito anteriormente e
as diferenas usuais.
2. escolhemos, em cada subregio Dij , o ponto (u?i , v?j ) para calcular

f(T (u?i , v?j ))Aij = f(T (u?i , v?j ))| det J| ui vj .


3. O valor da integral pode ser aproximado ento por
n X
m
X

f(T (u?i , v?j ))| det J| ui vj .

i=1 j=1

4. Tomando os limites para m, n de modo que ui , vj 0, temos

ZZ
f(x, y) dA = lim
D

m,n

n X
m
X
i=1 j=1

f(T (u?i , v?j ))| det J| ui vj .

Novamente, comparando a expresso acima com a definio da integral dupla,


temos
ZZ
ZZ
f(x, y) dA =
f(T (u, v))| det J| du dv.
D

O jacobiano o fator atua como a correo na rea, agindo de modo a dar correspondncia a rea da regio retangular do plano Ouv a sua imagem por T no plano
Oxy, do ponto de vista de diferenciais. Essa a generalizao prometida na seo
anterior. Para verificar que isso mesmo uma generalizao, pode-se verificar facilmente (sim, bem facilmente) que o jacobiano da transformao polar exatamente... r!
Voltando a nosso exemplo, vimos que
ZZ p
1 u2 v2 dA.
V=2
D

Agora podemos expressar dA corretamente nas coordenadas u, v. O jacobiano da


transformao em questo


2 0
= 6,
det J =
0 3
e ento precisamos calcular
ZZ p
ZZ p
2
2
2
1 u v 6 du dv = 12
1 u2 v2 du dv.
D

Essa integral ainda pode ser simplificada usando coordenadas polares: fazendo u =
r cos e v = r sen obtemos
Z 2 Z 1 p
V = 12
1 r2 r dr d.
0

Mediante mais uma mudana de coordenada na integral em r, fazendo w = 1 r2 ,


chegamos a
V = 8.
possvel mostrar que o volume de um elipsoide de eixos a, b, c dado por 43 abc.

You might also like