Clculo II (Lauro) 4-1

4 Integrais Eulerianas
4.1 Leonhard Euler

Matemtico suo, que viveu entre 1707 e 1783. Euler apresentou uma valiosa
contribuio para o uso da geometria das coordenadas no espao tridimensional. Este
apresentou equaes gerais para trs classes de superfcies (cilindros, cones, superfcies de
revoluo). Euler escreveu duas notas sobre o sistema de coordenadas polares to perfeitas e
sistemticas que por vezes d-se o nome de sistema Euler.
Ao nos referirmos a Leonhard Euler estamos falando do escritor de matemtica mais
produtivo de todos os tempos. Com 886 trabalhos publicados, a maioria deles no final de sua
vida, quando j estava completamente cego, Euler foi to importante no apenas para a
matemtica, mas tambm a fsica, engenharia e astronomia. Para se ter uma idia, a Academia
de Cincias de So Petersburgo continuou a publicar trabalhos novos de Euler por mais de 30
anos depois da sua morte.
Entre suas contribuies mais conhecidas na matemtica moderna esto: a introduo
da funo gama, a relao entre o clculo diferencial de Leibniz e o mtodo das fluxes de
Newton e a resoluo de equaes diferenciais com a utilizao do fator integrante.
Euler foi o primeiro a tratar seno e cosseno como funes. Devemos a ele as notaes
f(x) para uma funo, e para a base do logaritmo natural, i para a raiz quadrada de 1, para
a somatria, y d
n
para derivadas de graus elevados, entre muitas outras.
Um acontecimento interessante: Euler foi um cristo por toda a sua vida e
frequentemente lia a Bblia a sua famlia. Uma histria sobre sua religio durante sua estada
na Rssia envolve o dito filsofo ateu Diderot. Diderot foi convidado corte por Catarina,
mas tornou-se inconveniente ao tentar converter todos ao atesmo. Catarina pediu a Euler que
ajudasse, e Euler disse a Diderot, que era ignorante em matemtica, que lhe daria uma prova
matemtica da existncia de Deus, se ele quisesse ouvir. Diderot disse que sim, e, conforme
conta De Morgan, Euler se aproximou de Diderot e disse, srio, em um tom de perfeita
convico: x
n
bn a
=
+
, portanto, Deus existe. Diderot ficou sem resposta, e a corte caiu na
gargalhada. Diderot voltou imediatamente Frana.
Clculo II (Lauro) 4-2
4.2 Funo Gama (I)
Definida pelo matemtico Leonard Euler, a funo gama representada por I(n),
definida por:
I(n) =
}

0
1
dx e x
x n

I(n) uma funo convergente quando n > 0.
Demonstrao: Coleo Schaum (18: pg. 354)
Para n =1:
I(1) =
}

0
1 1
dx e x
x
=
}

0
dx e
x
=
}


b
x
b
dx e
0
lim =
b
x
b
e
0
1
lim
(

=
|
.
|

\
|


b
b
e
1
1 lim = 1
4.2.1 Frmula de Recorrncia
I(n +1) = n I(n)
Esta expresso pode determinar I(n) para todo n > 0. Em particular, se n um nmero
inteiro positivo, ento:
I(n +1) = nI(n) = n! (n =1, 2, 3, .).

A funo gama generaliza a funo fatorial.
Desenvolvimento
I(n +1) =
}

+
0
1 1
dx e x
x n
=
}

0
dx e x
x n
Integrao por partes:
} }
= vdu uv udv .
u = x
n
du= dx nx
n 1

dv = dx e
x
v =
x
e

.
I(n +1) =
}

0
dx e x
x n
=
}


b
x n
b
dx e x
0
lim =
}

b
b
udv
0
lim = | |
b
b
uv
0
lim


}

b
b
vdu
0
lim
I(n +1) =

0
0
lim

b
x
n
b
e
x
+
}


b
x n
b
dx e x n
0
1
lim
I(n +1) =
}

0
1
dx e x n
x n
= nI(n)
Ento, por recorrncia:
I(2) =1I(1) =11 = 1!
I(3) =2I(2) =21 = 2!
I(4) =3I(3) =321 = 3!

I(n +1) = nI(n) = n(n 1).321 = n!
Logo:
I(n +1) = nI(n) = n!





Clculo II (Lauro) 4-3
4.2.2 Funo Gama para 1 0 < < n
Para 0 < n < 1, obtm-se a relao dos complementos dada por:
I(n)I(1 n) =
t
t
n sin

n =
2
1
I
|
.
|

\
|
2
1
I
|
.
|

\
|
2
1
=
2
sin
t
t
= t

2
2
1
(

|
.
|

\
|
I = t I
|
.
|

\
|
2
1
= t .
Ento:
I
|
.
|

\
|
2
1
= t
I
|
.
|

\
|
2
3
=
|
.
|

\
|
1
2
3
I
|
.
|

\
|
2
1
=
2
1
t =
2
t

Exerccio
1. Com base no que j foi dado, determine os valores de: I
|
.
|

\
|
2
5
, I
|
.
|

\
|
2
7
e I
|
.
|

\
|
2
13
.
Resoluo:









Resposta:
4
3 t
,
8
15 t
e
64
10395 t

4.2.3 Funo Gama para 0 < n
Da relao de recorrncia I(n +1) = nI(n), que toma I(n) como definio para n > 0,
podemos generalizar a funo gama para n < 0, isolando I(n):
I(n) =
n
n ) 1 ( + I

Ento:
I
|
.
|

\
|

2
1
=
( )
2
1
2
1
1

+ I
=
( )
2
1
2
1

I
=
) (
2
1

t
= 2 t




Clculo II (Lauro) 4-4
Exerccio
2. Determine os valores de: I
|
.
|

\
|

2
3
, I
|
.
|

\
|

2
5
e I
|
.
|

\
|

2
13
.
Resoluo:












Resposta:
3
4 t
,
15
8 t
e
135135
128 t

4.2.4 Grfico da Funo Gama
f (n) = I(n) D( f ) = 9 {0, 1, 2, .}
1 2 3 4 0 -1 -2 -3 -4
-1
-2
-3
-4
1
2
3
4
n

Clculo II (Lauro) 4-5
Observao
A funo
) (n I
1
est definida para todo ne9 e se anula nos pontos 0, 1, 2, ., pois
I(n) infinita. Em outras palavras, a singularidade que a funo teria nos pontos pode ser
removida pondo o valor da funo como sendo 0. f (n) =
) (n I
1
.
1 2 3 4
0
-1
-2
-3 -4
-1
-2
1
2
3
4
n

4.3 Funo Beta (|)
Gabriele Veneziano (Florena, 7 de Setembro de 1942) um fsico terico italiano.
Era pesquisador do CERN no ano de 1968, onde estudava certas propriedades da fora
nuclear forte. At ento viera trabalhando nesse problema quando descobriu que a funo beta
de Euler servia para descrever muitas propriedades das partculas sob a influncia da fora
nuclear forte. Entretanto, a explicao por que a funo beta servia to bem s foi descoberta
dois anos depois, em 1970, pelos trabalhos de Leonard Susskind, da Universidade de
Stanford, de Holger Nielsen, do Instituto Niels Bohr, e de Yochiro Nambu, da Universidade
de Chicago, dando uma explicao em funo da hiptese que veio a ser a origem da teoria
das cordas.
Definio
|(m, n) =
}

1
0
1 1
) 1 ( dx x x
n m

|(m, n) uma funo convergente quando m > 0 e n > 0.
Clculo II (Lauro) 4-6
3. Determine os valores da funo Beta para m e n dados a seguir:
a) m = 1 e n = 1;
b) m = 2 e n = 1;
c) m = 1 e n = 2.
Resoluo:








Resposta: a) 1; b)
2
1
; c)
2
1
.
4.3.1 Definies Decorrentes
- Propriedade Comutativa
|(m, n) = |(n, m)
- Clculo Direto
|(m, n) =
[

=
+

1
0
) (
)! 1 (
n
i
i m
n

- Funo Beta em relao funo Gama
|(m, n) =
) (
) ( ) (
n m
n m
+ I
I I

- Relao dos Complementos: se m + n = 1, com 0 < n < 1 m = 1 n, ento
|(m, n) = |(1 n, n) =
) 1 (
) ( ) 1 (
n n
n n
+ I
I I
= I(1 n)I(n) =
t
t
n sin

Exemplos
Resolva as seguintes funes Beta:
4. |(3,5)
Resoluo:






Resposta:
105
1

Clculo II (Lauro) 4-7
5. |(3,5)
Resoluo:


Resposta:
105
1

6. |(6,3)
Resoluo:



Resposta:
168
1

7. |(6,3)
Resoluo:



Resposta:
168
1

4.4 Exerccios
Utilizando funo Gama e funo Beta, resolva as seguintes integrais:
8.
}

0
2
dx e
x

Resoluo:






Resposta:
2
1
t
9.
}

0
2 6
dx e x
x

Resoluo:





Resposta:
8
45

Clculo II (Lauro) 4-8
10.
}
1
0
2
ln xdx x
Resoluo:













Resposta:
9
1

11.
}
1
0
ln xdx x
Resoluo:












Resposta:
4
1

12.
}

1
0
3 4
) 1 ( dx x x
Resoluo:









Resposta:
280
1

Clculo II (Lauro) 4-9
13. Prove que
}
t

2
0
1 2 1 2
) (cos ) (sin dx x x
n m
=
2
1
|(m, n)
Resoluo:















Resposta:
14.
}
t
2
0
3 5
cos sin xdx x
Resoluo:








Resposta:
24
1

15.
}
t
2
0
6
sin xdx
Resoluo:











Resposta:
32
5t

Clculo II (Lauro) 4-10
16. Prove que
( )
}

+
0
1
dx
x
x
n
p
m
=
p
1
|

\
| +
p
m 1
, n
|
|
.
| +
p
m 1

Resoluo:















































Resposta:
Clculo II (Lauro) 4-11
17. Prove que
}

a
n m
dx x a x
0
) ( =
1 + +n m
a |(m + 1, n + 1)
Resoluo:







Resposta:
18. Prove que
}

b
a
n m
dx x b a x ) ( ) ( =
1 + +

n m
a b ) ( |( m+1, n +1)
Resoluo:







Resposta:
19. Prove que ( )
}

1
0
1 dx x x
n
p m
=
p
1
|
|
|
.
|

\
|
+
+
1 ,
1
n
p
m

Resoluo:






Resposta:
20. Prove que
}
1
0
) (ln dx x x
n m
=
1
) 1 (
) 1 (
+
+

n
n
m
I(n + 1)
Resoluo:












Resposta:
Clculo II (Lauro) 4-12
21. Prove que
}

0
) (
dx e x
n
ax m
=
1
1
+ m
na
I
|
.
|

\
| +
n
m 1

Resoluo:






Resposta:
22.
}

0
3
dx
e
x
x

Resoluo:




Resposta:
9
6t

23.
}

0
4
dx e x
x

Resoluo:





Resposta:
2
3 t

24.
( )
}

+
0
4
4 3
1
dx
x
x

Resoluo:











Resposta:
8
5t

Clculo II (Lauro) 4-13
25.
}
t
2
0
4 4
cos sin xdx x
Resoluo:










Resposta:
256
3t

26.
}

3
1
) 3 )( 1 ( x x
dx

Resoluo:










Resposta: t