Nvel Avanado
Continuando com as idias do artigo Integrais discretas (de Eduardo Poo na Eureka
nmero 27), vamos tentar descobrir frmulas fechadas para alguns somatrios da forma:
n 1
(*) zk
k =0
sn = nk =10 zk (essa definio no to restritiva assim, pois veremos que a classe das
2k
n 1
k
sn = zk , onde zk = 2 k
(k + 1)4
k =0
Claramente zk hipergeomtrica, uma vez que r (k ) = zk +1 / zk =
(2k + 1) 2
4(k + 1)(k + 2)
uma funo
zn = sn +1 sn
zn sn +1
=
1
sn
sn
portanto:
sn = y (n) zn y ( n + 1) zn +1 y (n) zn = zn
r (n) y ( n + 1) y (n) = 1
onde: r (n) =
(2n + 1) 2
4( n + 1)(n + 2)
Como y(n) racional, existem polinmios P(n), Q(n) com mdc{P( n), Q(n)} = 1 tais que
P ( n)
e substituindo na equao anterior, vale:
y ( n) =
Q ( n)
(2n + 1) 2 P (n + 1)Q (n) 4(n + 1)( n + 2)Q (n + 1) P (n) =
2k
2n
2n
n
n 1
k = 4n(n + 1) n = n
2k
(n + 1)42 n
42 n 1
k = 0 ( k + 1)4
( fcil ver que a frmula vale para n = 0 e n = 1, e, pela identidade que provamos, vale sempre).
Vamos agora generalizar essa idia para qualquer seqncia hipergeomtrica zk . O leitor atento
deve ter notado que na concluso de que Q(n) = 1, implicitamente usamos o fato que: mdc{A(n),
B(n + h)} = 1, para qualquer inteiro h 0 , onde A( n) = (2n + 1) 2 , e B( n) = 4(n + 1)( n + 2) , so o
numerador e o denominador de r(n) respectivamente.
Mas nem sempre possvel escrever r (n) =
zn +1
zn
condies:
(**) r (n) =
A( n) C ( n + 1)
B ( n) C ( n)
onde A(n), B(n), C(n) so polinmios tais que: mdc{ A(n), B (n + h)} = 1, h
No vamos demonstrar esse fato aqui (pois um dos exerccios deste artigo), mas vamos exibir um
(n + 4)(n + 3)
exemplo bem ilustrativo! Como escrever r (n) =
da forma (**)?
n 2 (n + 1)
Note que:
r ( n) =
1 n + 4 n + 3 1 n + 4 n + 3 n + 2 n + 1 n + 3 n + 2 A(n) C (n + 1)
=
,
n n n + 1 n n + 3 n + 2 n + 1 n n + 2 n + 1 B ( n) C ( n)
n ( h)
n + h n + h 1
n + 1 T (n + 1)
=
=
n
n + h 1 n + h 2
n
T ( n)
Onde T ( n) = ( n + h 1)(n + h 2)
(n )
y (n + 1)
A(n) C (n + 1)
y ( n) = 1
B ( n) C ( n)
B(n 1)
y (n), portanto:
C ( n)
P ( n)
, com mdc{P (n), Q(n)} = 1, ento:
Q ( n)
, Q(n) = 1.
Exerccios:
1)
n 1
k =0
k 2ak
A( n)C (n + 1)
com
B( n)C (n)
mdc{ A(n), B (n + h)} = 1, h + e mdc{ A( n), C (n)} = mdc{B( n), C ( n + 1)} = 1 (o leitor atento
novamente notar que adicionamos duas novas restries).
2) Prove que qualquer funo racional r(n), pode ser escrita como: r (n) =
3) Prove que a menos de multiplicaes por constantes, A(n), B(n) e C(n) so nicos no exerccio
anterior (a forma acima chama-se forma cannica).
4) Dizemos que duas seqncias hipergeomtricas so similares, quando a razo dos duas uma
funo racional e neste caso, escrevemos sn tn . Prove:
a) Se sn no constante, ento sn sn , onde sn = sn +1 sn .
1 i < j m.
d) Se vale
n 1
k =0
n 1
k =0
m (i )
i =1 n
zk = tn(1) +tn(2) + ... + tn( m ) , onde tn(1) , tn(2) ,..., tn( m ) e zn so hipergeomtricas, ento
assim).