Integrao Denida

c 2010 Vinicius Cif Lopes UFABC, 3o quad. 2010

Motivao e denio Sejam a, b lR com a < b e f : [a, b] lR limitada: existem constantes m, M tais que (x [a, b]) < m < f (x) < M < . Objetivo: determinar rea sob o grco (na lousa),
b

A=
a

f (x) dx

(Denio permitir outras interpretaes.) Veremos um modo fcil de calcular integrais (o Teorema Fundamental do Clculo, ou TFC), mas ele mascarar muitas aplicaes da integral que requerem conhecimento de sua denio. J encontramos essa peculiaridade antes: bem mais fcil derivar uma funo usando as regras usuais, embora seja a denio por limite que explique os usos dessa derivada. Faremos uso bsico dos conceitos de supremo e nmo (operadores sup e inf). Voc pode conhec-los melhor no captulo A Estrutura dos Nmeros Reais. Aqui, basta saber que o supremo de um conjunto de nmeros funciona como o valor mximo desses nmeros, embora possa no pertencer ao conjunto. Por exemplo, ], 5] um conjunto cujo mximo 5; j ], 5[ no tem mximo qualquer nmero nesse intervalo aberto ainda menor que outro nmero tambm abaixo de 5 ; ambos os conjuntos tm supremo 5. Analogamente, voc dever interpretar nmo como mnimo. Usaremos a seguinte notao:
a x b

inf f (x) = inf{ f (x) | a

b}, x b.

ou seja, esse o nmo do conjunto de valores obtidos calculando-se f (x) para cada a Uma partio P de [a, b] P : a = x0 < x1 < . . . < xn = b para algum n 1 e alguns x1 , . . . , xn1 .

Soma inferior (grco na lousa): rea dos retngulos hachurados

n

s(f, P) =
i=1

xi1 x xi

inf

f (x) .(xi xi1 ) .

Note m

inf xi1

x xi

f (x)

M , ento soma est bem denida.

Integral inferior: Ao renar-se P, o nmero s(f, P) cresce (diagrama na lousa), sempre limitado por M (b a). Ento s[a,b] (f ) = sup{ s(f, P) | P partio de [a, b] } real. (Apenas chamamos sua ateno para a limitao por M (b a) para que o supremo s[a,b] (f ) seja um nmero real, ainda limitado por M (b a). Caso no houvesse alguma limitao, ento esse supremo seria .) O que estamos fazendo exaurir a rea do grco por baixo; a cada renamento da partio, os retngulos cobrem mais e mais da rego cuja rea queremos determinar. Essa idia j surgira na Antiguidade e era muito explorada pelos gregos. Podemos fazer uma exausto anloga por cima: Soma superior e integral superior (grco na lousa):
n

S(f, P) =
i=1

sup
xi1 x xi

f (x) .(xi xi1 )

S[a,b] (f ) = inf{ S(f, P) | P partio de [a, b] } lR

Temos s[a,b] (f ) S[a,b] (f ). f Riemann-integrvel sobre [a, b] quando s[a,b] (f ) = S[a,b] (f ), e esse nmero escrito b f (x) dx. a Note: integrvel (segundo Riemann) = tem primitiva !! Pode-se mostrar que s[a,b] (f ) S[a,b] (f ) por mtodos puramente formais, sem se recorrer ao grco de f . Quando ambos os nmeros coincidem, dizemos que f integrvel e chamamos o nmero de integral de f (com respeito a x) de a a b. Exerccio: Mostre pela denio que toda funo constante integrvel e calcule sua integral sobre [a, b].

Exerccio: Mostre que Q : [0, 1] lR, Q (x) = Exerccio: Mostre que f : [0, 1] lR, f (x) = integrvel; calcule
1
0

1 se x Q; 0 se x Q; , /

no integrvel.

1/n se x = m/n reduzido; 0 se x Q ou x = 0. /

f (x) dx.

Esses exerccios no so difceis, bastanto acompanhar a denio de integrabilidade com ateno e pacincia. Fixe uma partio arbitrria de [0, 1] e mostre que a soma inferior de Q quanto a essa partio 0, enquanto a soma superior 1, porque qualquer intervalo da partio contm nmeros racionais e irracionais. No caso de f , embora o mesmo ainda valha para os intervalos de qualquer partio, apenas um nmero nito de racionais tm imagem maior que qualquer > 0 e, portanto, podem ser aprisionados dentro de intervalos cada vez menores. No h nenhum mtodo miraculoso que diga facilmente se uma dada funo integrvel ou no. Alm da prpria denio, um resultado tambm abstrato o critrio de Lebesgue que enunciaremos aqui como tpico opcional e cuja demonstrao deixaremos para um curso avanado de Anlise. Dada f : [a, b] lR limitada, seja Zf o conjunto dos pontos de descontinuidade de f . Ento f integrvel se e somente se, por menor que seja > 0, podemos encontrar uma sequncia de intervalos In , n lN de modo que

Zf
n=0

In e
n=0

[comprimento de In ] < .

Em outras palavras, f integrvel se contnua fora de conjuntos (as unies de intervalos) cujos tamanhos podem ser arbitrariamente pequenos. Diz-se que, nesse caso, Zf tem medida de Lebesgue zero. (A cobertura ser innita, ainda que enumervel, faz diferena signicativa.) Em particular, se Zf nito, ento f limitada ser integrvel. (Sendo Zf = {k0 , . . . , kp1 }, satisfaa a caracterizao do critrio usando In = para n p e In = [kn /2p, kn + /2p] caso contrrio.) A seguir, quando efetivamente precisarmos integrar, recordaremos esse fato. Intuitivamente, com Confronto, temos s(f, P) ento rea =
a

rea
b

S(f, P) ,

f (x) dx .

(Isso pode ser formalizado com Teoria da Medida, que explica o conceito de rea e permite calcul-la diretamente.)

Essa rea tem sinal! (Grco na lousa.)

c

f (x) dx = |A1 | |A2 |

a

Para calcular |A1 | + |A2 | =

|f (x)| dx ,
a

faremos

f (x) dx
a b

f (x) dx .

Mostre a f (x) dx = 0 (intuitivamente, comprimento de [a, a] 0). Denimos

a b

f (x) dx =
b a

f (x) dx ,

assim podemos integrar em qualquer ordem.

Exerccio: Justique geometricamente (e memorize) para f integrvel e a > 0: a Se f mpar, ento a f (x) dx = 0. a a Se f par, ento a f (x) dx = 2 0 f (x) dx. Isso ser til em situaes, especialmente de teoria de Fsica ou outras aplicaes, em que o integrando no facilmente primitivizvel, mas apresenta simetria. O que voc pode formular para uma funo integrvel peridica? Exerccio: Use a denio de integral para mostrar que o deslocamento de um corpo com b velocidade v(t) (t [a, b]) ao longo de uma linha a v(t) dt. Mostre ainda que a distncia b percorrida a |v(t)| dt. O fato do deslocamento ser numericamente igual rea sob o grco da velocidade , por tanto, consequncia de duas interpretaes da mesma denio de integral, no a causa: a priori, deslocamento nada tem a ver com rea! Soluo: Em cada intervalo de uma partio da durao do movimento (t), a distncia percorrida dever estar entre os produtos do comprimento do intervalo (tempo transcorrido) pelo piso e pelo teto da velocidade naquele intervalo. O valor do deslocamento total, portanto, est entre os valores das somas inferior e superior para essa partio especca. Quando tomamos outras parties, no processo de renamento, procedemos como no Teorema do Confronto: haver um nico nmero entre as somas inferiores e superiores, que precisa ser o deslocamento total e que a integral designada por denio. Quanto distncia total e o mdulo da velocidade, o raciocnio o mesmo. Caso a velocidade troque de sinal apenas um nmero nito de vezes, voc poder argumentar indiretamente, estudando agora as reas positivas e negativas do grco.

Somas de Riemann Como calcular integrais? Somas de Riemann ou TFC mais propriedades (prxima aula).

Para cada k

1, divida [a, b] em k pedaos iguais: Pk : a = xk0 < xk1 < . . . < xkk = b ba i. com xki = a + k

Use f (xki ) como aproximao para f em todo [xk(i1) , xki ]. Se f integrvel, ento
b
k

f (x) dx = lim
a

f (xki )
i=1

(1/k)

aprox. altura do retngulo base do retngulo

(Restar a questo de f ser integrvel; esse limite pode existir em outras situaes.) Exemplo: 0 x2 dx. i-simo ponto da k-sima partio i/k.
1
k

x dx = lim
0

i 1 ( k )2 ( k ) = i=1 k

= lim =

1 k k 3

i2 = lim
i=1

1 k(k + 1)(2k + 1) = k k 3 6

lim 1 (1 k 6

1 1 1 + k )(2 + k ) = 3 .

Exerccio: Calcule usando somas de Riemann, assumindo integrabilidade:

1 5 1 5

c dx,
0

c dx,
3

x dx,
0 3

x dx,

5
2 3

7
2

x dx,

(9x2 12x + 8) dx.

O que zemos foi tomar, especicamente, somas de Riemann com larguras constantes e calculadas sobre as extremidades direitas dos intervalos. Poderamos tambm tomar f (xk(i1) ) (extremidades esquerdas), ou qualquer ponto dos intervalos e, ainda, quaisquer intervalos. Ve jamos os detalhes: Para cada inteiro k 1, suponha dada uma partio qualquer Pk : a = xk0 < xk1 . . . < xknk = b

que divide [a, b] em nk intervalos, no necessariamente de mesmo comprimento, mas, juntas, essas parties devem ser tais que limk Pk = 0 onde Pk = max1 i nk (xki xk(i1) ) o dimetro da k-sima partio (ou seja, o comprimento de seu maior intervalo). Assim, os intervalos de Pk diminuem todos juntos conforme k aumenta; isso mais do que simplesmente renar parties (o que poderia, em princpio, deixar algum intervalo sempre gordinho). Supo nha tambm dados pontos tki [xk(i1) , xki ]. Se voc for calcular algo assim, dever construir parties e tomar pontos e vericar que essas condies so satisfeitas. Em cada intervalo [xk(i1) , xki ], substituimos a funo f pela funo constante de valor f (tki ). A rea sob o grco de f ser aproximada, ento, pela soma das reas dos retngulos cujos topos aproximam o grco de f . Se f integrvel, ento
b
k

f (x) dx = lim
a

f (tki )
i=1 aprox. altura do retngulo

. (xki xk(i1) ) .
base do retngulo

soma de Riemann

Isso vale porque Pk 0. possvel mostrar que, xada uma funo limitada f , se todas as sequncias de somas de Riemann tiverem o mesmo limite L uma sequncia sendo dada, para cada k 1, por uma b escolha de Pk e tki satisfazendo as condies acima ento f integrvel e a f (x) dx = L. (Assim, no bastam algumas somas especcas como tomamos nos slides.) Note que, em vista disso, esse procedimento usado em alguns livros para denir a integral de Riemann. Frisamos que tal abordagem calcula a rea sob o grco, ou qualquer outra interpretao da integral (como a posio em termos da velocidade), por aproximaes cada vez melhores. Isso conceitualmente muito diferente do clculo por exausto (inferior versus superior ) que adotamos anteriormente como denio. Voc tambm deve perceber que, integrando com respeito varivel x (isto , acompanhando o integrando com dx), no dever aparecer x nem nos extremos de integrao (caso contrrio, trata-se de m redao!), nem no resultado nal (que, na ausncia de outras variveis, dever ser um nmero real bem constante). At aqui, temos assumido que nossas funes so integrveis para podermos trabalhar. A partir de agora, convm ter certeza de que no nos equivocamos, porque os teoremas que usaremos podem dar resultados invlidos, sem qualquer aviso, caso a funo em questo no seja integrvel. Usaremos o seguinte: Fato: Toda funo limitada que seja contnua, ou descontnua em apenas um no nito de pontos, Riemann-integrvel. (Note que a limitao importante! Neste momento, no podemos considerar funes como 1/x ao redor de 0, apesar de sua nica descontinuidade.) costume integrar funes sobre subintervalos do domnio original. Assim, se f : I lR b integrvel, onde I um intervalo fechado e limitado, os limites a, b em a f (x) dx no precisam ser necessariamente os extremos de I, mas quaisquer pontos em I. (As convenes acima nos permitem tomar at mesmo a b.) Nesse caso, com a < b, o que se est integrando a restrio f |[a,b] . Pode-se mostrar que essa restrio tambm integrvel (ela igual ao produto f [a,b] ), seja sobre I ou [a, b]. Assim, enunciaremos as prximas propriedades para funes limitadas sobre um intervalo compacto I ao qual todos os limites de integrao devero pertencer. No explicitaremos I, mas

 preciso sempre lembrar que funo integrvel funo integrvel sobre um certo intervalo compacto. Propriedades Para quaisquer a, b, c, se existem
c b
a

f (x) dx e
b

c
b

f (x) dx, ento existe

c

f (x) dx =
a a

f (x) dx +
b

f (x) dx .

(Diagrama na lousa.) Essa propriedade geometricamente bvia quando a < b < c e, para os demais arranjos a entre a, b e c (incluindo sobreposio), consequncia de nossas convenes sobre a = 0 e a b = a . Para demonstrar o caso a < b < c rigorosamente, devemos retornar denio b de Riemann, sendo a idia central apenas renar uma partio qualquer de [a, c], dada, para trabalhar com uma nova partio que contenha b e, portanto, possa ser separada em parties de [a, b] e [b, c]. Por induo, ou generalizando-se a demonstrao, vemos que se a0 < a1 < . . . < an e f integrvel em cada [ai , ai+1 ] ento f integrvel em todo o [a0 , an ], com
an
n1 ai+1

f (x) dx =
a0 i=0 ai

f (x) dx .

Assim, integrabilidade de funes contnuas implica integrabilidade para funes descontnuas em apenas um nmero nito de pontos. Renar parties tambm a operao principal para demonstrar vrias das propriedades que apresentaremos. Frequentemente, trabalhar com a denio sobre duas funes ou dois intervalos requer considerar parties diferentes. Sobre um mesmo intervalo, essas parties podem ser imediatamente renadas a uma partio comum. Linearidade:
b b b

c1 f1 (x) . . . ck fk (x) dx = c1
a a

f1 (x) dx . . . ck
a

fk (x) dx

Dominncia: f 0 a f (x) dx Controle de estimativa:

b a

0
b

f (x) dx
a

|f (x)| dx

Discutiremos a integral de uma srie funcional posteriormente. b b Dominncia tambm pode ser formulada como f g a f (x) dx g(x) dx para f, g a ambas integrveis. Note que, obviamente, o intervalo de integrao o mesmo. Deduza essa implicao a partir daquela no slide. O produto de duas funes integrveis tambm integrvel, mas o valor da integral do produto no guarda relao com os valores das integrais originais. Se f integrvel e 1/f tambm limitada, ento integrvel.

Teorema Fundamental do Clculo (TFC, Barrow) Se f integrvel e F = f ento

b

f (x) dx = F (b) F (a) .

a

(Cuidado com sinais! Use parnteses!) Notaes usuais para F (b) F (a): F (x)
x=b x=a

= F (x)

b a

=F

b a

prera

Aprecie a importncia dupla deste teorema! Primeiro: voc certamente o usar para a imensa maioria de seus clculos com integrais, provalvelmente esquecendo somas de Riemann no processo. Segundo: ele conecta as duas ferramentas mais importantes do Clculo (a integra o e a derivao, que aparece disfarada na primitivizao), cujos conceitos e denies so, inicialmente, muito dspares. (Ainda assim, integrao numrica muito utilizada (porque mais prtica para computa dores que o TFC) e voc dever aprender, em um curso especco de Clculo Numrico, diversas tcnicas cujo objetivo ter limites que convirjam mais rpido que nossos limites de somas de Riemann e com frmulas especcas para os erros mximos.) Exemplos: 1 x2 dx = [x3 /3]1 = (13 /3) (03 /3) = 1/3. 0 0 /2 /2 sen x dx = [ cos x]/2 = ( cos ) ( cos ) = 0. 2 2 /2

sen x dx = [ cos x]0 = ( cos 0) ( cos ) = 2. (Rigorosamente: inverte-se para 0 , aplica-se TFC, inverte-se novamente.)

perfeitamente possvel f ser integrvel e no termos nenhuma expresso simples para F , como veremos quanto a exp(x2 ). Por outro lado, existem funes f cuja primitiva pode ser escrita explicitamente e, ainda assim, no so integrveis segundo Riemann: o caso da funo de Volterra. Convm estudar uma demonstrao do TFC: Com F = f , queremos dizer que existe uma funo F denida em todo o intervalo [a, b] e cuja derivada, em todo esse intervalo, a funo f . (Isso requer um pouco de cuidado com a primitiva obtida para f .) Ento F derivvel e, portanto, contnua (em todo o intervalo). Alm disso, f j deve ser integrvel. Nessas b condies, qualquer soma de Riemann serve para calcular a f (x) dx. Com a notao que usamos para esse tpico, digamos que j escolhemos as parties Pk com dimetro convergindo a zero (por exemplo, pondo nk = k e xki = a + i(b a)/k) e que devemos apenas obter os pontos tki [xk(i1) , xki ]. Usaremos aqueles dados pelo TVM para F de modo que F (tki ) = F (xki ) F (xk(i1) ) . xki xk(i1)

Como F = f , temos
b
nk

f (x) dx = lim
a

f (tki ) (xki xk(i1) ) =

i=1 nk

= lim

F (xki ) F (xk(i1) ) =
i=1

= lim F (xnk ) F (x0 ) = F (b) F (a) .

k

Qualquer outra primitiva de f serviria, em vez de F ; na expresso do TFC, obviamente, a constante de integrao cancela-se e, em geral, omitida. Exerccio: Conra, usando o TFC, seus resultados para os exerccios anteriores. Exerccio: Incorpore o TFC sua resposta ao exerccio de integrao de velocidade. Exerccio: Compare o sinal da rea sob o grco de x2 |[1,1] e o resultado que seria dado pelo TFC. Justique a discrepncia. A integral denida utilizada para denir o valor mdio da funo ao longo do intervalo em estudo: basta calcular b 1 f (x) dx ba a com cuidado para no esquecer o fator b a, que o comprimento do intervalo. Assim, o valor mdio de f aquele de uma funo constante cuja integral sobre o mesmo intervalo (ou seja, a rea do retngulo) igual de f . Voc conhecer inmeras aplicaes disso em seus estudos, ento vamos enunciar um Teo rema do Valor Mdio a respeito: TVM integral: Se f : [a, b] lR contnua, ento existe c [a, b] tal que
b

f (c) (b a) =
a

f (x) dx .

Esse resultado tambm vale para algumas funes descontnuas (no todas!) e pode ser provado assim: sendo I o valor da integral e m, M os valores mnimo e mximo de f no intervalo (cuja existncia dada por Weierstrass), temos m(b a) I M (b a) pela denio de integral. (Verique! Isso bvio em termos da rea sob o grco.) Ento m I/(b a) M e, pelo TVI aplicado f contnua, existe esse c tal que f (c) = I/(b a). Assuma, agora, f contnua em um domnio intervalo. Fixe um ponto a l e dena Fa (x) = x f (u) du. (Note que a varivel x agora um limite da integrao e usamos outro nome (u) a para a varivel muda de integrao.) Mostraremos que Fa = f , ou seja, a integral denida produz uma primitiva. (Isso no signica que Fa possa ser expressa de algum jeito simples. Sua utilidade ser terica, em assuntos como Equaes Diferenciais.) 1 Devemos mostrar que limh0 h (Fa (x + h) Fa (x)) = f (x), com x arbitrariamente xado. x+h Temos Fa (x + h) Fa (x) = x f (u) du. De acordo com o TVM integral, essa integral igual a f (uh ) (x + h x) para algum uh entre x e x + h (caso h 0, basta reescrever a integral). Assim, precisamos apenas que limh0 f (uh ) = f (x), mas h 0 implica que uh x (a distncia entre

ambos |h| no mximo) e basta invocar a continuidade de f . Intuitivamente, o acrscimo da rea sob o grco, de x a x + h, pode ser aproximado como um retngulo de base h e altura f (x) (faa um desenho!). Vamos fris-lo: Corolrio: Se f contnua, ento
x

Fa (x) =
a

f (u) du

uma primitiva de f . Nesse ponto, podemos reprovar o TFC, embora ainda sob a hiptese mais forte de con tinuidade de f : Pelo TVM de derivada, Fa e qualquer primitiva F de f diferem por ape nas uma constante, digamos F = Fa + C. Por denio, Fa (a) = 0, ento C = F (a) e x F (x) = a f (u) du + F (a). Note o papel de F (a) como uma constante de integrao e sua utilidade em ajustar F integral; no movimento retilnio uniformemente variado, por exemplo, temos v(t) = v(0) + t e t s(t) = 0 ( + v(0)) d + s(0) = t2 /2 + v(0)t + s(0); voc pode deduzir v(t) a partir de v = do mesmo modo. claro, tambm, que Fa contnua porque derivvel; de fato, de classe C 1 . Se f no fosse contnua, o que saberamos sobre Fa ? Muitas patologias poderiam acontecer, mas deixamos a seu cargo avaliar isto, mesmo que intuitivamente: Se f descontnua apenas em um nmero nito de pontos, ento Fa contnua. Ou seja, integrao mata descontinuidades isoladas. x Tambm aprendemos, assim, a derivar 6 (5u 4) du com respeito a x: 5x 4. Para derivar 6 x algo da forma x , transforme-a em 6 . Aplicaes da integral (Em geral, a < b em tudo.) Clculo de reas: Em geral, pede-se rea total, soma de reas sem sinais. Faa diagrama, escolha melhor partio e melhor sentido (vertical ou horizontal), use TFC. (Exemplos e exerccios na lousa.) Para todas as aplicaes que veremos, lembre-se de procurar mais exemplos e exerccios para praticar. Anal, quem sabe as reas loucas e os volumes doidos que voc dever calcular em sua prosso? Comprimento da curva do grco: (Diagrama na lousa.)
b

C=
a

1 + (f (x))2 dx
b
c

Se f tiver um bico em c, faa

+ a

etc.

10

Como funciona: Vamos vestir roupagem da Fsica; para formalizar, basta juntar todos os pedaos. Suponha que o grco a trajetria linear de um ponto material e que, no instante t [a, b], ele tem coordenadas x = t e y = f (x) = f (t). (Em Funes de Vrias Variveis, voc estudar o caso geral de uma curva (x(t), y(t)).) Sua velocidade vetorial tem componentes horizontal dx = 1 e vertical dy = f (t); logo, tem valor absoluto v(t) = 12 + (f (t))2 . O dt dt deslocamento
b b

v(t) dt =
a a

1 + (f (x))2 dx

e igual distncia percorrida porque v(t) 0 sempre. Por exemplo, considere o arco de circunferncia de raio a > 0 dado por f (x) = a2 x2 para 0 x a. Como se trata de um quarto circunferncia completa, esperamos que seu da comprimento seja a/2. De fato, f (x) = x/ a2 x2 e ento 1 + (f (x))2 = a/ a2 x2 , cuja integral de 0 a a [a sen1 (x/a)]a = a/2. 0 Volume do slido de rotao (torneado): (Diagrama na lousa.) Seco em s com raio r(s):
b b

V =
a

(r(s)) ds =
a

r2 ds f 2
b
a

Se houver ocos ou rebordos, subtraia: V = diagrama).

b
a

g 2 +

b
a

h2 etc. (conforme

Evidentemente, voc deve tomar cuidado com qual eixo o eixo de rotao. Se em torno das abscissas, ento a integral carrega dx; se em torno das ordenadas, a funo deve ser em termos de y e a integral carrega dy. Como funciona: Gire a denio de integral ao redor do eixo das abscissas. Note que, ento, as somas inferior e superior da funo tornam-se somas de volumes de cilindros coaxiais; qual o volume de cada cilindro? Essas somas de cilindros exaustam o slido por dentro e por fora, respectivamente. Tome cuidado com a letra r, que indica o tamanho do raio ao longo da seco do slido de rotao, perpendicular ao eixo, no outros raios que porventura apaream! Por exemplo, no caso de uma esfera obtida rotao ao redor do eixo das abscissas da regio limitada pelo por prprio eixo e por f (x) = a2 x2 para a x a, esperamos obter o volume 4a3 /3. Pela a frmula que apresentamos, vem a (a2 x2 ) dx = [ax x3 /3]a = 4a3 /3. a (Voc tambm pode calcular o volume do slido obtido por rotao em torno do eixo das ordenadas da regio delimitada por x = a, x = b, y = 0 e y = f (x). A deduo a mesma, b usando cilindros concntricos, mas a frmula d a 2x|f (x)| dx.) Exerccio: Mostre que 2 2 pq 2 o volume do toro com raio p cujo tubo tenha raio q, sendo p > q. De modo mais geral, com o mesmo procedimento por exausto, obtemos esta regra:

11

Volume de slido seccionado: (Diagrama na lousa.) Seco perpendicular em s com rea A(s):
b
a

V =

A(s) ds

(Note: as seces no podem entortar, devendo ser paralelas.) Aqui, em vez de cilindros, trabalhamos com paraleleppedos retngulos de base correspon dente a A(s). Exerccio: Calcule o volume do slido cuja base horizontal um tringulo equiltero de lado L e cujas seces verticais perpendiculares a um dos lados do tringulo so quadrados. A essa altura, voc j deve ter absorvido a idia de manipulao desleixada de alguns livros de Clculo. No h nada errado com o desleixo, desde que ele possa ser formalizado. Neste caso, trata-se de calcular o volume do slido fatiando-o em lminas de rea A(s) e altura ds, cujos volume so A(s) ds, e integrando esses elementos de volume. Cuidado, porm, com o desleixo: essas fatias devem ser cilndros ou paraleleppedos, para seu volume ser rea da fatia vezes altura diferencial. Em outras situaes, a conta ainda pode dar certo: no crculo de raio a > 0, para r indo de 0 a a, cadacircunferncia tem raio 2r e ento a a rea do crculo ser a soma dessas circunferncias, isto , 0 2r dr = a2 ; o mesmo raciocnio funciona para obter o volume da esfera integrando-se a superfcie de cascas concntricas. Porm, como comentaremos a seguir, preciso rmeza sobre a exausto em progresso. rea da superfcie de revoluo: Seco em s com r(s).
b b

A=
a

2r(s)

1 + (r

(s))2

ds = 2
a

1 + (r )2 ds
b
a

b
a

Se houver ocos ou rebordos, some (conforme diagrama): A = 2g 1+g

2

2f

1+f

2h

1+h

etc.

Atente que A = a 2r(s) ds, valor que se poderia esperar calculando cada circunferncia e integrando tudo. Por exemplo, para a esfera como acima, temos f (x) = a2 x2 e 2f (x) 1 + (f (x))2 = a 2a (constante), de modo que sua rea a 2a dx = 2a[x]a = 4a2 . a Exerccio: Mostre que 4 2 pq a rea do toro com raio p cujo tubo tenha raio q, sendo p > q.

rea de curvas em coordenadas polares: rea entre ngulos , e curva r() (vide lousa)

(r())2 d . 2

12

Coordenadas polares devem ser fartamente estudadas em um bom curso de geometria (ana ltica?). Aqui, vamos apenas recordar que 0 r < e 0 < 2, dando x = r cos e y = r sen . Geralmente, r apresentado em termos de . Mais do que nunca, fazer um bom diagrama ajuda a entender a regio cuja rea deve-se calcular! Como funciona: Mais uma vez, feita uma exausto dessa rea por dentro e outra por fora. Em vez de retngulos, porm, utilizamos setores circulares (fatias de pizza); um tal setor de raio R e ngulo tem rea /2 vezes R2 , ou seja, R2 /2. Basta, ento, escrever as somas inferior e superior correspondentes a uma partio de [, ]. A gura lembra, note bem, um leque e no uma zebra. Por exemplo, o crculo de raio a simplesmente dado por r() = a. Pela frmula do slide, 2 2 2 sua rea 0 a2 d = a2 []2 = a2 /2. 0 Centro de massa: Densidade laminar (x, y) (kg/cm2 ) na regio limitada por x = a, x = b, y = f (x), y = g(x) com a b e f g. (Diagrama na lousa.) Temos:
b g(x)

Massa M =
a f (x)

(x, y) dy dx
b
a

xCM yCM

1 = M 1 = M

g(x)

x(x, y) dy dx
f (x)

b
a

g(x)

y(x, y) dy dx
f (x)

Encare esse formulrio horroroso apenas como uma motivao para o curso de Funes de Vrias Variveis, que o lugar natural de integrais mltiplas. Aqui, estamos fazendo o seguinte: Temos uma lmina de algum material delgado (um metal, por exemplo, cuja densidade em cada ponto dada pela funo , em termos de massa por unidade de rea (j que a terceira dimenso no considerada). Fixe algum x [a, b]: ento f (x), g(x) so nmeros xos e, para y entre esses nmeros, podemos integrar ao longo desse segmento, obtendo sua massa (exceto que o segmento no possui largura). Essa nova densidade linear funo de x que, ao ser tambm integrada, dar a massa toda. Para determinar as coordenadas do centro de massa, basta repetir o processo, agora com fatores multiplicativos no integrando, no se esquecendo de dividir pela massa. O ponto obtido aquele onde a lmina pode ser equilibrada horizontalmente sobre uma agulha vertical. Deixamos a justicativa disso, porm, para o prximo curso. Se a lmina for homognea, podemos assumir = 1 (ou outra constante) e M ser realmente a rea da lmina, enquanto nesse caso especco o ponto (xCM , yCM ) chamado centro geomtrico ou centride da regio delimitada. (No confundir com centro gravitacional, cuja denio diferente, embora geralmente os dois pontos coincidam quando a densidade constante.) Para voc ter certeza de entender bem essas frmulas, simplique-as ao mximo assumindo que = 1; para M , voc dever entender a integral resultante como a rea da regio dada. Depois: Exerccio: Determine o centro geomtrico da regio limitada por y = x2 e y = 9.

13

Talvez voc queira exercitar seus msculos e provar, usando tais frmulas, os Teoremas de PappusGuldin: a superfcie e o volume de um slido de rotao (sem sobreposio) so iguais a CP e CA, respectivamente, onde C o comprimento da circunferncia descrita pelo centro da regio rotacionada, P o permetro dessa regio e A sua rea. (Um diagrama adequadamente arranjado facilitar sua vida.) Assim, o slido de rotao comparvel a um cilindro (qual?); a extenso pelo lado de fora da curva compensada pela compresso por dentro. Mudana de varivel Para f : [a, b] lR contnua e : [p, q] [a, b] de classe C 1 com (p) = a e (q) = b, temos:
b q

f (x) dx =
a p

f ((u)) (u) du

Exemplo:

9
5

(x 2) dx = = = ==

u=x2 7 3

u du = [u+1 /( + 1)]7 = (7+1 3+1 )/( + 1). 3

Muito pouco requerido de : somente que os extremos estejam correspondidos e que a mudana seja suave. No preciso bijeo ou monotonicidade, por exemplo. Seu livro de Clculo traz uma demonstrao desse resultado, onde as hipteses sobre f e so explicitamente utilizadas, mas claro que se tem em mente a mesma operao de substituio utilizada para integrais indenidas, com x = (u) e dx = (u) du. Enm, voc pode preferir calcular a primitiva com substituio em separado; o exemplo acima ca assim:
9
x=9

x=9

(x 2) dx =
5

(x 2) dx
x=5

u du
x=5

u+1 +1

x=9

=
x=5

(x2)+1 +1

x=9

=
x=5

7+1 3+1 +1

Na teoria, porm, especialmente em Fsica e outras aplicaes, ser importante conhecer o teorema na forma da integral denida. Trabalho: Posio s e fora F (componente na direo do deslocamento). sb Trabalho T = sa F ds. Para F (t), s(t):
s(b)
s(a)

b
a

T=

F (t) ds(t) =

F (t)v(t) dt

(ds = s dt = v dt para velocidade v(t).) Pode-se tomar a primeira integral como a denio de trabalho ou procurar uma deduo a partir do conceito de fora vezes distncia percorrida quando a fora constante. A segunda abordagem anloga que zemos para deslocamento como integral da velocidade: em cada intervalo de uma partio da trajetria (s), o trabalho realizado dever estar entre os produtos do comprimento do intervalo (distncia percorrida) pelo piso e pelo teto da fora naquele intervalo. O trabalho total, portanto, ca igualado integral designada quando as somas inferior e superior so confrontadas no processo de renamento. Que tal aproveitarmos e entendermos de onde vem a expresso mv 2 /2 para a energia cintica? Em Fsica, postula-se que que F =mv e que o trabalho iguala a mudana de energia cintica. t=b b 2 2 Com a notao acima, temos T = a mvv dt = m t=a v dv = mvb /2 mva /2, onde novamente zemos uma mudana de varivel para integrar diretamente com respeito a v. Quando v(a) = 0,

14

isto , parte-se do repouso (em que a energia cintica deve ser nula), o trabalho realizado iguala uma expresso envolvendo a velocidade nal v(b) e, por hiptese, a energia cintica nal, da saindo a expresso para essa energia. Integrais imprprias Discutimos funes limitadas sobre intervalos compactos. E se a funo ou o intervalo forem ilimitados? Soluo tomar limite, em todos os casos. Se f : [a, [ lR tem cada f |[a,M ] integrvel, dene-se
M

f (x) dx = lim
a

M a

f (x) dx .

Se f : ], b] lR tem cada f |[M,b] integrvel, dene-se

b b

f (x) dx = lim

M M

f (x) dx .

Se f : [a, b[ lR tem cada f |[a,b] integrvel, dene-se

b
a

f (x) dx = lim +
0

f (x) dx .
a

Se f : ]a, b] lR tem cada f |[a+,b] integrvel, dene-se

b
a

f (x) dx = lim +
0

f (x) dx .
a+

Em vez de 0+ , voc pode querer usar a+ ou b , substituindo os limites de integrao de acordo, o que pode facilitar clculos com o TFC. Podemos ainda ter combinaes desses tipos: por exemplo, sobre o domnio ]a, [ e xando algum nmero b > a, podemos fazer

f (x) dx = lim +
a

f (x) dx + lim

M b

f (x) dx .

Tambm, se f : lR lR tem cada f |[M,M ] integrvel, dene-se

M

f (x) dx = lim

M M

f (x) dx ,

que a mesma coisa que fazer

0

f (x) dx =

f (x) dx +
0

f (x) dx

se ambas as integrais do lado direito convergirem.

15

Exemplos:
M

exp(x) dx = lim
0

M 0

ex dx = = lim [ex ]M = lim [eM + 1] = 1 . 0

M M

exp(x2 ) dx = (gaussiana). Se limite real, diz-se que a integral converge. Caso contrrio (incluindo ), diz-se que a integral diverge.

A integral gaussiana tem esse nome devido a seu grande uso por Gauss na teoria de erros, mas tambm pode ter os nomes de Euler e Poisson. Voc trabalhar muito com ela em cursos de Estatstica e Probabilidade, porque a funo exp(x2 ) a base da distribuio normal. Aqui, como tpico opcional, apresentamos uma forma de calcul-la devida a Constantine Georgakis (1994); a nica passagem que ainda no sabemos fazer ser a troca da ordem de integrao, que voc aprender em Funes de Vrias Variveis. Primeiramente, notamos que o inte grando uma funo par, ento basta mostrarmos (conforme a denio usando limite) que 2 exp(x2 ) dx = /2, ou seja, que 0 exp(x2 ) dx = /4. Desse modo, renomeando-se 0 uma varivel, devemos calcular

exp(x ) dx
0 0

exp(y 2 ) dy

Nessa expresso, consideramos x e y independentes; ento, com respeito a cada varivel, a outra integral simplesmente uma constante (assumindo-se nita) que pode ser passada para dentro. Assim, temos

exp(y ) dy exp(x ) dx =
0 0 0

exp((y 2 + x2 )) dy dx .

Fazendo a substituio y = xs para a integral de dentro, com dy = x ds (j que x independe de y) e 0 < s < (j que x > 0), e trocando a ordem de integrao, obtemos

exp(x (1 + s )) x ds dx =
0 0 0

exp(x2 (1 + s2 )) x dx ds .

A nova integral de dentro fcil de calcular (usando d(x2 )/2), de modo que a expresso toda resulta em

exp(x2 (1 + s2 )) 2(1 + s2 )

ds =
x=0

1 2

ds 1 = 2 [tg1 s]s = /4 , s=0 1 + s2

como queramos. Exemplos em [1, [ (grcos na lousa): 3/2 x1/2 ilimitada; 1 x1/2 dx = limM [ x ]M = . 3/2 1 x1/2 limitada; 1 x1/2 dx = limM [ x ]M = . 1/2 1 x1 limitada; 1 x1 dx = limM [ln x]M = . 1 1/2 ]M = 2. x3/2 limitada; 1 x3/2 dx = limM [ x 1/2 1 Regra geral: 1 xr dx converge r < 1.

1/2

16

Exemplos em ]0, 1] (grcos na lousa): 1 3/2 x1/2 limitada; 0 x1/2 dx = [ x ]1 = 2/3. 3/2 0 x1/2 ilimitada;
1
0

x1 ilimitada; 0 x1 dx = lim0+ [ln x]1 = . 1 r Regra geral: 0 x dx converge r > 1. Poderamos, dada uma dessas funes ilimitadas em ]0, 1], atribuir-lhe um valor qualquer em 0. Essa extenso teria domnio [0, 1], mas continuaria ilimitada e no poderamos discutir integral de Riemann para ela. Vemos, porm, que poderamos determinar sua integral imprpria nesse intervalo, porque em cada [, 1] a funo original limitada. Exerccio: Demonstre as regras de convergncia para o integrando x1p . O que voc conclui sobre as integrais 0 xr dr ?
1
1

x1/2 dx = lim0+ [ x ]1 = 2. 1/2

1/2

xr dx e

1
0

xr dx. Reenuncie-as com

Vemos que poderamos calcular 0 x1/2 dx pelo mtodo do TFC diretamente, por substitui o direta (isto , sem usar limites): [2 x ]1 = 2. Isso acontece muito frequentemente, mas 0 devemos sempre observar as hipteses do TFC para aplic-lo porque essa integral , de fato, imprpria. Veja, por exemplo, o prximo exerccio: Exerccio: Mostre que
1
1

x2 dx uma integral imprpria e calcule-a.

Voc pode ver, pela denio de integral imprpria usando limites, que se f g em todo [a, [, ento a f (x) dx g(x) dx. a Assuma ainda 0 f g: nesse caso, cada integral ou converge ou vale . Ento, se a integral de g convergir, aquela de f tambm converge; se a integral de f divergir, aquela de g tambm diverge. Se f trocar de sinal, vale o seguinte: se a |f (x)| dx convergir, ento a f (x) dx tambm 0 converge. (Compare com o conceito de convergncia absoluta.) Por exemplo, ex sen x dx converge. Esse estudo comparativo de convergncia oferece um critrio para a convergncia de sries numricas: Critrio da integral para sries Dada an : n=0 Suponha f : [K, [ lR>0 contnua decrescente com f (n) = an . Ento an converge K f (x) dx converge. n=0 (Grco na lousa.) Atente que ningum falou que o valor limite da srie e o valor da integral so iguais; geral mente, no so! Basta construir duas funes assim: g(x) = an se n x < n+1 e h(x) = an se n1 x < n. Ento, no domnio de f , temos 0 h f g em vista de f ser decrescente. Contudo, as

17

integrais imprprias de g e h so (por denio!) somas de caudas da srie an e sua n=0 convergncia equivale da srie. O fato de f ser contnua possibilita integrarmos f em intervalos compactos, para ento tomar a integral imprpria. Se a integral de f convergir, tambm a de h converge; se a integral de g convergir, a de f tambm converge; isso prova o critrio. Exerccio: Demonstre que
1 n=1 np

< p > 1.

Finalmente, retornamos ao problema das sries funcionais. (Vamos trabalhar novamente com um intervalo compacto de extremos a < b; se a integral for imprpria, ser preciso ainda trabalhar com o limite de sua denio.) Podemos integrar cada termo e somar a nova srie? A resposta novamente faz uso do conceito de convergncia uniforme que comentamos em Anlise Bsica. Se uma sequncia de funes integrveis fn : [a, b] lR converge uniforme b b mente a uma funo f : [a, b] lR, ento esta f integrvel e a f (x) dx = limn a fn (x) dx. Por exemplo, se as fn so contnuas, ento f contnua e, destarte, integrvel. Demonstr-lo no difcil, mas requer bastante ateno com parties e outros detalhes de um jeito enge nhoso. Porm, observamos aqui que se faz uso da propriedade de controle que enunciamos anteriormente, na forma
b b b b

f (x) dx
a a

fn (x) dx =
a

f (x) fn (x) dx
a

f (x) fn (x) dx ,

de modo que se fn f < (possvel pela convergncia uniforme) ento a ltima integral menor que (b a) e as duas integrais da primeira diferena esto muito prximas. Para sries funcionais, conclumos: Dadas fn : [a, b] lR integrveis de modo que fn n=0 b b fn (x) dx = a fn (x) dx. convirja uniformemente, ento esta funo integrvel e a n=0 n=0 No caso particular de sries de potncias, obtemos: Integrao de sries de potncias Sejam R raio conv. an (x x0 )n e [a, b] ]x0 R, x0 + R[. Ento n=0
b
a

an (x x0 )
n=0

dx =
n=0

an

(b x0 )n+1 (a x0 )n+1 n+1

integrada termo a termo. As somas parcias da srie de potncias so polinmios, certamente integrveis, e a convergn cia no subintervalo fechado [a, b] uniforme, de modo que a propriedade no slide consequncia direta de nossa concluso para sries funcionais.

18