Você está na página 1de 21

Capítulo 13:

Função Gama
AWH7

MS650
Prof. Samuel Rocha
PED Sidiney Montanhano
09 de Agosto de 2021 - Segunda-feira
Função Gama e Função Zeta de Riemann

AWH7 Section 13.1 e 13.5


Butkov Seção 2.15
JEM1 Seção 5.1
Funçoes, representações, propriedades ...
Tópicos:
Limite infinito de Euler ou Gauss
Integral definida de Euler
Produto infinito de Weierstrass
Notação Fatorial
Representação integral
Hipótese de Riemann – com prêmio

1 19
Introdução a função Gama

função fatorial f (z) = Γ(z + 1)


relacionada a outras funções, como a de Bessel de ordem
não inteira.
não satisfaz nenhuma equação diferencial com coeficientes
racionais.
aparecem com um fator em aproximações (expansões em
séries)
Várias definições equivalentes.

2 19
Função Gama - generalização do fatorial

3 19
Definição: Limite infinito de Euler ou Gauss

n!
Γ(z) = lim nz , z 6= 0, −1, −2, · · ·
n→∞ z(z + 1) · · · (z + n)

uma propriedade:
n!
Γ(z + 1) = lim nz+1
n→∞ (z + 1)(z + 2) · · · (z + 1 + n)
 
nz n!
= lim nz
n→∞ z + 1 + n z(z + 1) · · · (z + n)
=z Γ(z).

Alguns valores:
n! n
Γ(1) = lim n1 = lim =1
n→∞ 1(2) · · · (1 + n) n→∞ (1 + n)

Portanto Γ(2) = 1Γ(1) = 1, Γ(3) = 2, Γ(k) = (k − 1)!, ∀k ∈ N


4 19
Definição: integral definida de Euler

Z ∞
Γ(z) = e−t tz−1 dt, <(z) > 0
0

existem outras representações integrais equivalentes – depende


do contexto.
Um valor importante:
Z ∞ √
1
1
e−t t− 2 dt, x = t

Γ 2 =
Z0 ∞
2
=2 e−x dx
0
Z ∞
2
= e−x dx
−∞

Se a integral existir, será um número real.

5 19
Γ(1/2)

Então:
2
Z ∞  Z ∞ 
1 −x2 −y 2

Γ 2 = e dx e dy
−∞ −∞
Z ∞ Z ∞
2 +y 2 )
= e−(x dx dy
−∞ −∞

Uma integral da função Gaussiana da distância à origem no


plano Cartesiano x, y. Usando coordenadas cilíndricas
x = r cos(φ), y = r sen(φ), r2 = (x2 + y 2 ), tan(φ) = y/x

2
Z ∞ Z 2π Z ∞
−r2
1
e−t 21 dt, t = r2

Γ 2 = e r dr dφ = 2π
0 0 0
 1 2
 1
 √
⇒ Γ 2 =π ⇒ Γ 2 = π

6 19
Definição: integral definida de Euler

Z ∞
Γ(z) = e−t tz−1 dt, <(z) > 0
0

Uma propriedade
Z ∞
Γ(z + 1) = e−t tz+1−1 dt,
0
Z ∞
= e−t tz dt u = tz , dv = e−t dt
0
∞ Z ∞
z −t
(−)e−t ztz−1 dt

= −t e −
0 0
=zΓ(z).

7 19
Definições equivalentes
Usar uma definição da exponencial:

t n
 
lim 1 − ≡ e−t
n→∞ n

Seja n
Z n
t
F (z, n) = 1− tz−1 dt, <(z) > 0
0 n
é tal que

lim F (z, n) = Γ(z) p/ integral de Euler


n→∞

Mudando a variável: u = t/n


Z 1
F (z, n) = nz (1 − u)n uz−1 du, <(z) > 0
0

8 19
Definições equivalentes

Z 1
F (z, n) = nz (1 − u)n uz−1 du, <(z) > 0
0
Por sucessivas integrações por partes obtemos a equivalência
das duas definições de Γ(z).
Z 1 z 1 (−n) 1
Z
n z−1 n u
(1 − u) u du = (1 − u) − (1 − u)n−1 uz du
0 z 0 z 0
n 1
Z
= (1 − u)n−1 uz du
z 0
Z 1
n!
= uz+n−1 du
z(z + 1) · · · (z + n − 1) 0
n!
⇒ F (z, n) = nz
z(z + 1)(z + 2) · · · (z + n − 1)(z + n)
CQD
9 19
Produto infinito de Weierstrass

∞ 
1 Y z  z
≡ z eγz 1+ exp −
Γ(z) n n
n=1

em que γ é a constante de Euler-Macheroni.


n
!
X Z n
−1 −1
γ = lim m − x dx
n→∞ 1
m=1

10 19
a constante de Euler-Macheroni
Séria harmônica e a integral (logaritmo) divergem.
n Z n !
X
−1 −1
γ = lim m − x dx
n→∞ 1
m=1

É fácil ver que γ > 0 usando


integral de Riemman.
Pode-se mostrar que γ − 1 < 0.

⇒0<γ<1

γ = 0.57721566490153286060651209008240243104215933593992
calculado com 600 bilhões de dígitos – recorde em 26/5/20.
Para comparação, o recorde para π é de 50 trilhões de dígitos
(29/01/20).
11 19
Reflexão ou Complemento

∞ 
1 γz
Y z  z
≡ ze 1+ exp −
Γ(z) n n
n=1

Uma propriedade:
π
Γ(z)Γ(1 − z) = , <(z) 6= 0, ±1, ±2
sen(πz)

Pela definição do Produto de Weierstrass


∞ 
1 1 2
Y z z  z z
=−z 1+ 1− exp − exp
Γ(z) Γ(−z) n n n n
n=1
Y∞   z 2 
= − z2 1−
n
n=1

12 19
Reflexão ou Complemento

Sendo Γ(−z + 1) = −zΓ(−z)


∞   z 2 
1 1 2
Y
=−z 1−
Γ(z) Γ(−z) n
n=1
∞   z 2  sen(πz)
1 1 Y
⇒ =z 1− =
Γ(z) Γ(1 − z) n π
n=1

13 19
Reflexão ou Complemento

∞ 
1 γz
Y z  z
≡ ze 1+ exp −
Γ(z) n n
n=1
Uma propriedade:
Reflexão ou Complemento

π
Γ(z)Γ(1 − z) = , <(z) 6= 0, ±1, ±2
sen(πz)

Vimos que pela definição do produto infinito:


∞   z 2  sen(πz)
1 1 Y
=z 1− =
Γ(z) Γ(1 − z) n π
n=1
o resultado segue por integração de contorno e teorema do
resíduo no plano complexo.
14 19
Reflexão ou Complemento

Reflexão ou Complemento

π
Γ(z)Γ(1 − z) = , <(z) 6= 0, ±1, ±2
sen(πz)

Z ∞
Γ(z) = e−t tz−1 dt, <(z) > 0
0
Z ∞ Z ∞
Γ(z + 1) Γ(1 − z) = e−s sz ds e−t t−z dt (−1 < <(z) < 1)
Z ∞0 Z0 ∞
vz
= dv ue−u du (u = (s + t), v = s/t)
0 (v + 1)2 0
Z ∞
vz
= dv
0 (v + 1)2

15 19
Reflexão ou Complemento

Reflexão ou Complemento

π
Γ(z)Γ(1 − z) = , <(z) 6= 0, ±1, ±2
sen(πz)

Z ∞
Γ(z) = e−t tz−1 dt, <(z) > 0
0

vz
Z
Γ(z + 1) Γ(1 − z) = dv (−1 < <(z) < 1)
0 (v + 1)2
πz
=
sen(πz)

também precisa de integração de contorno com o cálculo do


resíduo no plano complexo. Veja exercício 11.8.20.
16 19
Função Zeta de Riemann

Função zeta de Riemann

∞ ∞
tz−1
Z
X
−z 1
ζ(z) ≡ n = dt
Γ(z) 0 et − 1
n=1

Casos:
ζ(1) é a série harmônica que diverge. Vai convergir se <(z) > 1

X 1 1 1 π2
ζ(2) = n−2 = 1 + + + + ··· = ≈ 1.64
4 9 16 6
n=1

X 1 1 1
ζ(3) = n−3 = 1 + + + + · · · = 1.20
8 27 64
n=1

X 1 1 π4
ζ(4) = n−4 = 1 + + + ··· = ≈ 1.08
16 81 90
n=1
17 19
Função Zeta de Riemann

Função zeta de Riemann

∞ ∞
tz−1
Z
X
−z 1
ζ(z) ≡ n = dt
Γ(z) 0 et − 1
n=1

Fórmula do produto de primos de Euler:


Y 1 1 1 1 1
ζ(z) = −z
= ···
1−p 1 − 2 1 − 3 1 − 5 1 − 7−z
−z −z −z
p primos

Conjectura de Riemann: ζ = 0 somente nos números inteiros


pares negativos e em números complexos com parte real 12 .
Importante na teoria dos números e na distribuição dos números
primos.
Prêmio do Milênio. Wikepedia
18 19
Lista 1

13.1.3
13.1.6
13.1.7
13.5.2
13.5.6

19 / 19
Capítulo 13:
Função Gama
AWH7

MS650
Prof. Samuel Rocha
PED Sidiney Montanhano
09 de Agosto de 2021 - Segunda-feira

19 / 19

Você também pode gostar