Anlise Matemtica 1 (2 Captulo)

Fernanda Sousa 2012/2013

Faculdade de Engenharia da Universidade do Porto Mestrado Integrado em Engenharia Civil

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Integrao
Motivao: Definir rigorosamente a noo intuitiva de rea de uma regio do plano limitada por uma curva fechada. Dada uma funo
f : [a ,b] f ( x ) 0 x [a ,b],

com

pretende associar-se um n real que represente a rea da regio do plano limitada pelo grfico de f , o eixo dos xx, e as rectas x = a e
x = b.

Definio 1: Seja [a ,b] um intervalo limitado e fechado em . Chama-se partio de [a ,b] ao conjunto P = {x0 = a , x1 ,..., xn = b} em que
x0 = a < x1 < ... < xn = b . Os elementos x0 , x1 ,..., xn dizem-se os

vrtices da partio, [x i x i +1[ com i=0,n-1, so os intervalos associados. A maior das amplitudes destes intervalos designa-se por
P=

dimetro
i =0 ,1,...,n 1

da

partio

representa-se

por

max

xi +1 xi .

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Definio 2: Sejam P e Q duas parties de [a ,b] , P = {x0 , x1 ,..., xn } e

Q = {y0 , y1 ,..., y m } . Diz-se que a partio Q mais fina do que a

partio P se todo o vrtice de P tambm vrtice de Q, isto se

P Q.

Definio 3: Considere-se f : [a ,b] e P = {x0 , x1 ,..., xn } uma partio de [a ,b]. Sejam i , com i = 0,1,..., n 1 , pontos escolhidos arbitrariamente tais que i [xi , xi +1].
n 1 i =0

S P = f ( i )( xi +1 xi ) designa-se por soma de Riemann da

funo f no intervalo [a ,b], associada partio P e escolha dos
i .

Definio 4: Diz-se que a funo f : [a ,b] integrvel Riemann, ou R-integrvel, se I : > 0 > 0 : S P I < para toda a partio P de [a ,b] tal que P < e qualquer que seja a escolha dos i [xi , xi +1].

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Esta condio significa que existe limite das somas de Riemann quando o dimetro da partio tende para zero, isto lim f ( i )( xi +1 xi ) = I . P 0
i =0 n 1

O n I designado por integral de Riemann, ou integral definido segundo Riemann, de f em [a ,b] e representa-se por I = a f ( x ) dx .
b

f denomina-se funo integranda.

Teorema 1: Seja
f : [a ,b] uma funo R-integrvel. Ento f

limitada.

Definio 5: Sejam f : [a ,b] uma funo e P = {x0 = a , x1 ,..., xn = b} uma partio de [a ,b]. Considerem-se os pontos:
mi =
Mi =
x[xi ,xi +1 ]

inf

f (x )
f ( x ) , para i = 0,1,..., n 1 ,

x[xi ,xi +1 ]

sup

e ainda as somas:
S P ( f ) = mi ( xi +1 xi )
i =0 n 1

S P ( f ) = M i ( xi +1 xi ) .
i =0
5

n 1

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

SP( f )

e SP( f )

so chamadas, respectivamente, somas de

Darboux inferiores e superiores. Exerccio: Mostre que para toda a partio P de [a ,b] se verifica
SP( f ) SP( f ) .

Proposio1: Sejam P e P2 duas parties quaisquer de [a ,b], ento 1

S P1 ( f ) S P2 ( f ) .

Definio 6: Seja f : [a ,b] uma funo limitada. Define-se integral

b inferior de f em [a ,b], e representa-se por a f (x )dx , como o

supremo das somas inferiores, relativamente a todas as parties

b P de [a ,b], isto : a f (x )dx = sup S P (f ) . P

Analogamente, define-se integral superior de f em [a ,b], e

b representa-se por a f (x )dx , como o nfimo das somas superiores,

relativamente a todas as parties P de [a ,b], isto :

b a f (x )dx = inf S P (f ) . P

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Teorema 2: Seja
f : [a ,b] uma funo limitada. As afirmaes

seguintes so equivalentes: 1 f integrvel em [a ,b]. 2 > 0 existe uma partio P de [a ,b] tal que
SP( f ) SP( f )< .

Teorema 3: Sejam f , g : [a ,b] funes integrveis. Ento: i)

f + g ainda uma funo integrvel e tem-se
b b [ f ( x ) + g ( x )]dx = a f ( x )dx + a g ( x )dx .

ii) c , c f uma funo integrvel e tem-se

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

b b iii) Se f ( x ) g ( x ) x [a ,b] ento a f ( x ) dx a g ( x ) dx . b iv) Se f ( x ) 0 x [a ,b] ento a f ( x ) dx 0 .

v) Se c ]a ,b[ , com f [a ,c ] e f[c ,b] integrveis ento f tambm integrvel em [a ,b] e

b c b a f ( x ) dx = a f ( x ) dx + c f ( x ) dx .

Reciprocamente, se f integrvel em [a ,b] e c ]a ,b[ , ento tambm f [a ,c ] e f[c ,b] so integrveis e verifica-se a igualdade anterior.
7

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

b b vi) f ( x ) uma funo integrvel e a f ( x ) dx a f ( x ) dx

vii) f g uma funo integrvel.

Teorema 4: Seja f : [a ,b] uma funo limitada com um nmero finito de descontinuidades. Ento f R-integrvel.

Definio 7: Seja f : I uma funo integrvel em todo o intervalo da forma [x , y ] I . Nestas condies f diz-se localmente integrvel. Consideremos
aI . F : I ,

funo

definida

por

x F ( x ) = a f (t )dt , diz-se o integral indefinido de f.

Teorema 5: (T. Fundamental do Clculo) Seja f : I uma funo localmente integrvel. Se f contnua em c I , ento existe a funo F, funo integral
x indefinido, tal que F ( x ) = a f (t )dt , com a I , derivvel em c e

tem-se F' (c ) = f (c ) .

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Definio 8: Seja f : I . Define-se primitiva de f como sendo a funo

F : I , derivvel e tal que F ' ( x ) = f ( x ) , x I . A funo f

diz-se primitivvel se admite pelo menos uma primitiva. Notas: 1 Se f : I funo contnua no intervalo I , o Teorema Fundamental do Clculo permite concluir que f
x primitivvel em I, isto , existe a funo F ( x ) = a f (t )dt , com

a I , sendo F uma primitiva de f.

2 Nem toda a funo R-integrvel primitivvel. 3 A relao entre f e F no unvoca. No existe uma funo integral ou primitiva de f, mas sim uma famlia de primitivas. Sejam F , f : [a ,b] tais que F' ( x ) = f ( x ) , x [a ,b] e ainda
G : [a ,b] dada por G ( x ) = F ( x ) + C , x [a ,b] .

Ento G' ( x ) = F' ( x ) = f ( x ) , x [a ,b] isto se F uma primitiva de f qualquer funo F ( x ) + C , com C constante, ainda uma primitiva de f.

A integrao a operao inversa da derivao a menos de uma constante.

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Teorema 6: (Frmula de Barrow) Seja f : [a ,b] uma funo contnua e F uma sua primitiva em

[a ,b]. Ento tem-se

a f (t )dt = F ( x ) F (a ) x [a, b].
x

Teorema 7: (Teorema do Valor Mdio para Integral) Sejam f , g : [a, b] com f contnua. Ento
i ) c [a, b] : a f ( x )dx = f (c ) (b a )
b

ii) Se g integrvel e no muda de sinal em [a, b], ento existe

c [a ,b]: a f ( x ) g ( x ) dx = f (c ) a g ( x ) dx
b b

Teorema 8: (Integrao por Partes)

Sejam f , g : [a ,b] funes com derivadas e R-integrveis. Ento
' ' a f ( x )g ( x )dx = [ f ( x )g ( x )]a a f ( x )g ( x )dx b b b

Teorema 9: (Integrao por Substituio ou Mudana de

Varivel) Seja f : J uma funo definida em J e : I
uma funo bijectiva e diferencivel tal que ' (t ) 0 t I .

Ento f ( x )dx = f ( (t )) ' (t )dt com t = 1 ( x ) .

10

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

Funes Racionais
Seja R ( x , x ) =
P(x ) , onde P ( x ) e Q ( x ) so funes polinomiais. Q(x )

No que se segue

P(x ) uma fraco irredutvel em que o grau Q(x )

do numerador inferior ao grau do denominador.

De uma forma geral se:

Q ( x ) = a0 x n + a1x n 1 + ... + an 1x + an

com zeros: i) Zeros reais c1 , c2 ,..., cr

de

multiplicidades,

respectivamente, 1 , 2 ,..., r . ii) Zeros complexos -

d1 e1i, d 2 e2 i..., d s es i

de

multiplicidades, respectivamente, 1 , 2 ,..., s . tem-se:

Q ( x ) = a0 ( x c1 )1 ( x c2 ) 2 ... ( x cr ) r

( x d 1 ) + e1
2

2 1

] [(x d

2 2 2 ) + e2 ]

... ( x d s ) + e s
2

2 s

e ento podemos escrever:

11

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

A1,1 A1,1 A1,2 P( x ) = + + ... + + 1 Q( x ) ( x c1 ) ( x c1 )2 ( x c1 ) A2 ,1 A2 ,2 A2 , 2

( x c2 ) ( x c2 )2

+ ... +

( x c2 )

+ ... +
+ Ar ,1 + Ar ,2 + ... + Ar , r +

( x c r ) ( x c r )2
B1,1 x + C1,1
1

( x cr )

[(x d [(x d

2 + e1

] [(x d
+

B1,2 x + C1,2
1

2 2 + e1

+ ... +

B1, 1 x + C1, 1

[(x d

2 + e1

B2 ,1 x + C 2 ,1
2

2 + e2

] [(x d

B2 ,2 x + C 2 ,2

2 2 2 2 ) + e2 ]

+ ... +

B2 , 2 x + C 2 , 2

[(x d

2 + e2

+ ... +

[(x d

Bs ,1 x + C s ,1

2 2 s ) + es ]

[(x d

Bs ,2 x + C s ,2
s

)2 + e s2 ] 2

+ ... +

Bs , s x + C s , s

[(x d

)2 + e s2 ]

12

Anlise Matemtica 1-MIEC 2012/2013

Fernanda Sousa

REGRAS DE PRIMITIVAO
f (x )
f ( x ) dx

f (x )
u ' tgh(u )

f ( x ) dx

k
u u , n 1
' n

kx + C
u n +1 +C n +1
eu + C

ln ch(u ) + C
ln sh(u ) + C tg (u ) + C
cot g (u ) + C sec(u ) + C cos sec(u ) + C

u ' cot gh(u ) u ' sec 2 (u ) u ' cos sec 2 (u ) u ' sec(u ) tg (u ) u ' cos sec(u ) cot g (u )

u ' eu u' u u ' sen(u ) u ' cos(u )

u' a2 + u2 ,a 0

ln u + C
cos(u ) + C sen(u ) + C

1 u arctg + C a a 1 ua ln +C 2a u + a u arcsen + C a
ln u + u 2 + a + C

u' u2 a2
u' a2 u2 u'

,a 0

,a > 0

u2 + a

u ' senh(u ) u ' cosh( x )

cosh(u ) + C
senh(u ) + C

13