Você está na página 1de 29

Anlise Matemtica I Clculo Integral

Joana Peres MIEQ 2009/2010

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

Somas de Riemann
Definio de partio Seja f (x) uma funo limitada em [a,b], mas no necessariamente contnua ou positiva nesse intervalo, em que a < b. Chamamos partio do intervalo [a,b] a qualquer conjunto P formado por n+1 pontos de [a,b] tais que:

a = x0 < x1 < x2 < < xi1 < xi < < xn1 < xn = b

a = x0

x1 x2

xi-1 xi

xn -1 xn = b

O intervalo [a,b] fica assim dividido em n sub-intervalos:

[x0 , x1] , [x1 , x2 ] , , [xi1 , xi ] ,, [xn1 , xn ]


Em geral, estes sub-intervalos de [a,b] no tm todos o mesmo comprimento.
Joana Peres / Anlise Matemtica I 2

FEUP / MIEQ

Somas de Riemann Definio de malha (ou norma)

Se definirmos: o comprimento do sub-intervalo

xi

[xi1 , xi ]

o comprimento do maior sub-intervalo de [a,b] gerado pela partio P, designado por malha (ou norma) da partio P P,

ento a norma da partio P ser o valor mximo do conjunto isto ,

{xi }

P max {xi }

def

em que

xi xi xi1

def

i = 1,, n

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

Somas de Riemann Definio de seleco Se definirmos: um qualquer conjunto de pontos {xi*} do intervalo [a,b] tais que a cada sub-intervalo de [a,b] corresponde um nico ponto de S, isto ,

* * * * * S = x1 , x2 , , xi*1 , xi* , , xn 1 , xn : xi [xi1 , xi ]

em que i = 1,, n

S designado por seleco associada partio P de [a,b]

x 1* x 2* a = x0 x1 x2

xi* xi-1 xi

x n* xn -1 xn = b

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

Somas de Riemann A soma de Riemann R para a funo f (x), associada partio P do intervalo [a,b] e correspondente seleco S, definida da seguinte forma: Definio
R
def

f (xi*) xi
i=1

Interpretao geomtrica da soma de Riemman R representa a soma algbrica das reas de todos os rectngulos de altura f (xi*) e de base xi , definidos pela partio P de [a,b] e pela seleco S associada a P. A contribuio para a soma de Riemann ser: positiva sempre que f (xi*) > 0 negativa sempre que f (xi*) < 0 nula quando f (xi*) = 0) R = soma das reas dos rectngulos situados acima do eixo Ox soma das reas dos rectngulos situados abaixo do eixo Ox.
FEUP / MIEQ Joana Peres / Anlise Matemtica I 5

Somas de Riemann Escolhas mais frequentes para a posio do ponto xi* em [xi - 1, xi]: Ponto terminal esquerdo de [xi - 1, xi]. Soma de Riemann: Re

xi*

= xi 1

Re = f (xi 1)xi
i=1

Ponto terminal direito de [xi - 1, xi]. Soma de Riemann: Rd xi* = xi

Rd = f (xi )xi
i=1

Ponto mdio de [xi - 1, xi] Soma de Riemann: Rm

x +x xi* = mi = i 1 i 2
FEUP / MIEQ Joana Peres / Anlise Matemtica I

Rm = f (mi )xi
i=1

Somas de Riemann Algumas propriedades importantes associadas notao de somatrios, que utilizada na definio das somas de Riemann:

Definio

i =1

ai a1 + a2 + + an

def

Propriedades 1 1.

ai + bi = ai + bi
i =1 n i =1 i =1

2.

c ai = c ai
i =1 n i =1

3.

c = n c
i =1 n

4.
FEUP / MIEQ

ai +k = ai
i =1 i =1+ k Joana Peres / Anlise Matemtica I 7

n+ k

Somas de Riemann

Somatrios muito frequentes no clculo de somas de Riemann:

i = 1+ 2 + + n =
i =1 n

n (n + 1) 2

i 2 = 12 + 22 + + n 2 =
i =1

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

n (n + 1) 3 3 3 3 i n 1 2 = + + + = 2 i =1
n

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

Somas de Riemann Exemplo Calcule as somas de Riemann Re e Rd em funo de n para a funo f (x)=x2 no intervalo [0 , 3], comeando por dividir este intervalo em n sub-intervalos todos iguais. Calcule depois o limite das duas somas quando n +.

Representao grfica de Re

Representao grfica de Rd

Re = 8.33625 quando n = 20
FEUP / MIEQ

Rd = 9.68625 quando n = 20
9

Joana Peres / Anlise Matemtica I

Definio de integral de f (x) em [a,b] Definio Seja f (x) uma funo limitada em [a,b], mas no necessariamente contnua ou positiva nesse intervalo, em que a < b. Se existir o limite quando |P| 0 da soma de Riemann R para a funo f (x), qualquer que seja a partio P do intervalo [a,b], e qualquer que seja a seleco S associada a P, diremos que f (x) integrvel em [a,b], e chamaremos ao referido limite integral de f (x) em [a,b] (ou entre a e b):

a
Note-se que:
FEUP / MIEQ

f ( x) dx lim

def

P 0
i =1

f ( xi* ) xi

o smbolo para representar o integral de f (x) entre a e b o mesmo que

utilizado para representar a primitiva de uma funo; a representa o limite inferior de integrao; b representa o limite superior de integrao; dx representa a varivel de integrao; f (x) a funo integranda.
Joana Peres / Anlise Matemtica I 10

Definio de integral de f (x) em [a,b] Se f (x) for integrvel em [a,b], o valor numrico do integral no se altera se mudarmos a letra que representa a varivel de integrao, ou seja:

a f ( x) dx =a f (t ) dt = a f (u ) du =
A varivel de integrao uma varivel muda, da mesma forma que o ndice i um ndice mudo no somatrio:

ai = a j = ak
i =1 j =1 k =1

A definio do integral de f (x) em [a,b] vlida apenas se a < b. Extenso da definio para: def a a=b: f ( x) dx 0

a>b:

a f ( x) dx b f ( x) dx
Trocar os limites de integrao num integral equivalente a trocar o sinal desse integral
Joana Peres / Anlise Matemtica I 11

def

FEUP / MIEQ

Interpretao geomtrica de integral de f (x) em [a,b]

O valor l numrico i d do i integral t l

d a f ( x) dx

corresponde soma algbrica das reas delimitadas pelo grfico de f (x) e pelo eixo Ox entre x = a e x = b, em que a contribuio para essa soma positiva no caso das reas situadas acima do eixo Ox e negativa no caso das reas situadas abaixo desse eixo: Se a > b a interpretao geomtrica do valor numrico de a f ( x) dx a simtrica desta.
FEUP / MIEQ Joana Peres / Anlise Matemtica I 12

Interpretao geomtrica de integral de f (x) em [a,b] Exemplo Em cada caso, calcule o valor numrico do integral dado, utilizando para o efeito frmulas conhecidas da geometria elementar para a rea de figuras planas:

( x + 2) dx

1 x 2 dx

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

13

Integrao de funes contnuas Teorema Se f (x) uma funo contnua em [a,b] ento f (x) integrvel em [a,b]. Teorema Se e s se f (x) for integrvel em [a,b], teremos que
n

lim R n = f ( x)dx
a

para toda e qualquer sucesso {Rn} de somas de Riemann associadas a uma sucesso de parties {Pn} do intervalo [a,b] tais que
n

lim Pn = 0

Observao Conclui-se destes teoremas que se f (x) for uma funo contnua em [a,b], vlido (e conveniente) utilizar apenas parties regulares do intervalo [a,b], isto , parties que produzem sub-intervalos todos com o mesmo comprimento, nomeadamente ba xi = x = , i = 1, , n n Neste caso:
FEUP / MIEQ

|P| 0 x 0 n .
Joana Peres / Anlise Matemtica I 14

Integrao de funes contnuas Como |P| 0 x 0 n

podemos ento definir o integral de uma funo contnua simplesmente assim:

f ( x) dx = lim

x 0

i =1

( xi* )

ba x = lim f ( xi* ) n n i =1
n

Para funes contnuas em [a,b], as trs escolhas mais frequentes para o ponto xi*, conduzem aos seguintes p g resultados para p as somas de Riemann: Ponto terminal esquerdo: xi* = xi - 1
n i=1

Ponto terminal direito: xi* = xi


n i=1

Re = x f (xi 1), com xi 1 = a + (i 1)x xi 1 + xi 2 2i 1 f (mi ), com mi = a + x 2 xi* = mi


def

Rd = x f (xi ), com xi = a + i x

Ponto mdio:
n

Rm = x
i=1 FEUP / MIEQ

Joana Peres / Anlise Matemtica I

15

Propriedades bsicas dos integrais Linearidade da operao de integrao Teorema Se f (x) e g(x) forem integrveis em [a,b] ento:

a
Teorema

( f + g )( x) dx = f ( x) dx + g ( x) dx
a a

Se f (x) for integrvel em [a,b] ento:

a

c f ( x) dx = c f ( x) dx, c IR
a

A integrao de funes linear, ou seja:

O integral em [a,b] de uma combinao linear de n funes {fi (x), i = 1, ... , n} igual mesma combinao linear dos integrais em [a,b] dessas n funes, desde que esses integrais existam todos:

a
FEUP / MIEQ

n c f ( x ) i i dx = i =1

i =1

b ci f i ( x) dx , ci IR a

Joana Peres / Anlise Matemtica I

16

Propriedades bsicas dos integrais Decomposio do intervalo de integrao Teorema Se f (x) for integrvel em [a,b], [a,c] e [b,c], ento:

f ( x) dx = f ( x) dx +
a

f ( x) dx

independentemente da posio relativa dos nmeros a,b e c sobre o eixo real.

Caso a < c < b

Caso a < b < c

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

17

Propriedades bsicas dos integrais Invarincia do integral com respeito translao Teorema Se f (x) for integrvel em [a,b] em que a < b, ento:
b+c

f ( x) dx =

a +c

f ( x c) dx, c IR

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

18

Propriedades bsicas dos integrais Expanso/contraco do intervalo de integrao

Teorema Se f (x) for integrvel em [a,b] em que a < b, ento:

f ( x) dx =

kb 1 k ka

x f (k ) dx , k 0 IR

em particular, se k = -1, obtm-se a chamada propriedade reflexiva d i do integral: t l

a f ( x) dx = a f ( x) dx

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

19

Propriedades bsicas dos integrais Teorema da estimativa do integral Teorema Se f (x) for integrvel em [a,b], em que a < b, e m f (x) M, x[a,b] ento:

m(b a ) f ( x) dx M (b a )
a

Para o caso particular de uma funo contnua no intervalo fechado [a,b], podemos sempre escolher os nmeros m e M como sendo os valores mnimo e mximo que a funo assume em [a,b], pois temos a garantia que esses valores existem. Interpretao geomtrica do teorema da estimativa do integral Se a funo f (x) > 0 em [a,b] ento m > 0 e M > 0, sendo assim, o valor numrico do integral rea( abcD) f ( x) dx rea(
a b

abEF)

Estimativa por defeito


FEUP / MIEQ

Estimativa por excesso


Joana Peres / Anlise Matemtica I 20

Propriedades bsicas dos integrais Corolrios do Teorema da estimativa do integral Corolrio 1 Seja f (x) integrvel em [a,b], em que a < b.
f ( x) 0, x [a, b] f ( x) dx 0
b a

Corolrio 2

Seja f (x) integrvel em [a,b], em que a < b.

f ( x) 0, x [a, b] f ( x) dx 0
b a

Corolrio 3 Seja f (x) e g (x) integrveis em [a,b], em que a < b.

f ( x) g ( x), x [a, b] f ( x) dx g ( x) dx
b b a a

f (x ) 0 g (x ) 0
FEUP / MIEQ Joana Peres / Anlise Matemtica I 21

Propriedades bsicas dos integrais Integrao de funes pares e mpares f (x) uma funo par se f (-x) = f (x), xDf f (x) uma funo mpar se f (-x) = - f (x), xDf

Df representa um domnio centrado na origem, por exemplo, [-a, a], ou ]-a, a[, ou IR. Teorema Se f (x) for integrvel em [-a, a], e se f (-x) = f (x), x[-a, a], ento:

a f ( x) dx =20 f ( x) dx
Teorema Se f (x) for integrvel em [-a, a], e se f (-x) = -f (x), x[-a, a], ento:

a f ( x) dx =0
FEUP / MIEQ Joana Peres / Anlise Matemtica I 22

Propriedades bsicas dos integrais Integrao de funes peridicas f (x) uma funo peridica se estiver definida xIR, e se existir um nmero positivo p, designado por perodo de f (x), tal que f (x+p) = f (x), xIR Teorema Se f (x) for uma funo peridica de perodo p > 0, integrvel xIR, ento:

f ( x) dx =

p+a

f ( x) dx

Teorema

Se f (x) for uma funo peridica de perodo p > 0, integrvel xIR, e se nIN, ento:

0
FEUP / MIEQ

np

f ( x) dx =n f ( x) dx
0

Joana Peres / Anlise Matemtica I

23

Avaliao de integrais de funes contnuas Teorema Se f (x) for uma funo contnua em [a,b], e se F (x) for uma primitiva qualquer de f (x) em [a,b], isto , F (x) = f (x), x[a,b], o integral de f (x) em [a,b] dado por:

a
Demonstrao

f ( x) dx = F (b) F (a) [F ( x)] a


b

1. Fazemos uma partio regular do intervalo [a,b] em n sub-intervalos; 2. Aplicamos o Teorema da mdia de Lagrange funo-primitiva F (x) em cada sub-intervalo [xi - 1, xi].

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

24

Relao entre primitiva e integral de f (x) Se representarmos a primitiva mais geral de f (x) por:

f ( x) dx = F ( x) + C
ento podemos reescrever o teorema da avaliao de integrais de funes contnuas da seguinte forma:

a f ( x) dx

[ f ( x) dx ]

b a

Representa um nmero relacionado com uma rea

Representa uma funo cuja derivada f (x)

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

25

Integrao de funes contnuas por partes

b f ( x) g ( x) dx = [ f ( x) g ( x) dx] a =
a b

= F ( x) g ( x) F ( x) g ( x) dx
b a b

b a

= [F ( x) g ( x)] a F ( x) g ( x) dx

a

Ou alternativamente:
b

b f ( x) g ( x) dx = [ f ( x) g ( x) dx] a =
= f ( x)G ( x) f ( x)G ( x) dx
b a b

b a

= [ f ( x)G ( x)] a f ( x)G ( x) dx


Podemos aplicar o mesmo mtodo a outras frmulas que relacionem duas primitivas envolvendo funes contnuas, por exemplo, frmulas de reduo, mesmo que no tenham sido obtidas utilizando a primitivao por partes.
FEUP / MIEQ Joana Peres / Anlise Matemtica I 26

Integrao de funes contnuas por substituio

f ( g ( x)) g ( x) dx =

f ( g ( x)) g ( x) dx

b a

y = g ( x) = dy = g ( x)dx

x = a y = g (a) = x = b y = g (b)
g (b ) g (a)
g (b ) = [F ( y )]g ( a ) = F ( g (b)) F ( g (a ))

[ f ( y) dy]

Demonstra-se q que este mtodo de integrao g vlido sempre p q que g g (x) for contnua em [a,b] e f (x) for contnua e tiver uma primitiva F (x) no intervalo g ([a,b]) . Ou alternativamente:

f ( g ( x)) g ( x) dx =

[ f ( g ( x)) g ( x) dx]
b

b a

y = g ( x) = dy = g ( x)dx =

= [F ( g ( x))] a = F ( g (b)) F ( g (a ))
FEUP / MIEQ Joana Peres / Anlise Matemtica I 27

Integrao de funes descontnuas

f (x) apresenta uma descontinuidade finita no ponto x = a se:


xa +

lim f ( x ) lim f ( x)
xa

f (x) apresenta uma descontinuidade removvel no ponto x = a se:

lim+ f ( x) = lim f ( x) f (a) no existe lim f ( x) f (a ) x a xa x a

Est implcito em qualquer dos casos que os limites laterais no ponto x = a so nmeros reais (ou seja, esto excludas descontinuidades infinitas)

FEUP / MIEQ

Joana Peres / Anlise Matemtica I

28

Integrao de funes descontnuas Teorema Se f (x) for limitada em [a,b], o integral de f (x) em [a,b] existir se e s se a funo f (x) tiver um nmero finito de descontinuidades finitas e/ou removveis no intervalo [a,b].

descontinuidade removvel O valor do integral no afectado se essa descontinuidade for removida (ignorada).
FEUP / MIEQ

descontinuidade finita Basta decompor [a,b] em [a,c] [b,c], integrar f (x) em cada um dos intervalos, e somar os resultados.
29

Joana Peres / Anlise Matemtica I