INTEGRAIS DISCRETAS

Eduardo Poo

Nvel Avanado

Integral discreta: dizemos que F ( n) integral discreta de f (n) se e somente se:

F (n + 1) F (n) = f (n) , para n inteiro (a princpio).

Da mesma forma, dizemos que f (n) a derivada discreta de F (n) .
n

Notao:

f ( n) = F ( n)

Utilidade: conhecida a integral discreta F (n) da funo f (n) , temos condies de fazer o somatrio:
b

f (k ) = F (b + 1) F (a) , a e b inteiros
k =a

A integral discreta transforma uma soma em soma telescpica.

Sabendo de algumas propriedades, possvel trabalhar dinamicamente com integrais discretas para
obter frmulas novas a partir de outras conhecidas. Aqui, no queremos provar que uma funo
dada integral discreta de outra, pois essa verificao simples. Queremos obter ferramentas que
nos possibilitem ACHAR integrais discretas de forma rpida, para no final poder calcular o valor de
um somatrio que tenha surgido de algum problema. Em alguns casos, suficiente saber a cara da
integral discreta (ou seja, se um polinmio, exponencial etc).
Algumas integrais discretas (o exerccio de verificao simples):
n

c = cn
n

qn
q 1

cos kn
2

sen kn =
k
2sen
2
n
n sen ( 2n 1)
sen 2 n = 2 4sen1
n
n sen ( 2n 1)
cos2 n = 2 + 4sen1
n
n n
k = k + 1

n + k n + k
=

n n 1

n.n! = n!
n

log

n = log a ( n 1)!

sen kn
2
cos kn = k
2sen
2
n

Propriedades
1) Assim como integrais contnuas (as primitivas), existem vrias integrais discretas para uma dada
funo, e todas elas diferem por uma constante.
Exemplo: 2n e 2n + 1 so integrais discretas de f ( n) = 2n . Verifique pela definio!

2) Integrao discreta uma transformao linear:

n

[ a. f (n) + b.g (n)] = a f (n) + b g (n) , para constantes a e b.

A igualdade nos fornece uma integral discreta para a funo do lado esquerdo, lembre-se que
podemos somar constantes do lado direito e continuar com uma integral discreta.
3) Integral discreta do produto (por partes): sendo
n

f (n) = F (n) e g (n) = G(n) , ento:

F (n) g (n) = F (n)G(n) f (n)G (n + 1)

Exemplo: Calcule

n sen n e n

sen n , comparando com o clculo de

x sen xdx e x

sen xdx

4) Sendo f ( x, n) uma funo das variveis x e n, derivvel na varivel x, ento:

x f ( x, n) = x f ( x, n)
Podemos usar a prpria varivel n, se a funo tiver derivada nessa varivel:
n

d
d n
f
(
n
)
=
dn
f ( n)
dn
Exemplo: Calcule

nx

, com x uma constante em relao a n.

5) Seguindo um caminho anlogo, temos que:

( f ( x, n)dx ) = f ( x, n) dx + Cn
n

Para alguma constante C. Essa constante encontrada atravs de valores iniciais conhecidos das
funes.

(1) k +1
xn
Exemplo: Prove que
dx
= ln 2 +
k
x 1
k =1
1
0

Aplicao: Soma de potncias consecutivas.

Seja a seguinte funo:

n

S m (n) = k m = 1m + 2m + ... + n m
k =1

H uma frmula recursiva em que podemos calcular S m (n) a partir de valores anteriores (tente
prov-la como exerccio):
m 1 m + 1

(m + 1) S m ( n) = ( n + 1) m +1 1
S k ( n)
k =0 k

O problema dessa frmula a praticidade: precisamos de todas as funes anteriores, e ainda assim
faremos um trabalho algbrico grande. Com integrais discretas, conseguimos obter S m ( n) a partir
de S m 1 ( n) apenas com um trabalho aritmtico.
Inicialmente, se queremos S m ( n) , queremos sua integral discreta

. Usando a propriedade que

nos permite trocar a integral discreta com a contnua (escolhendo a prpria varivel n como varivel
de integrao contnua):

(
n

n m 1
m 1
n
dn
=

n dn + Cn

A integral contnua pode ser realizada sem problemas:

n

nm

m = n

m 1

dn + Cn

Renomeando a constante a ser encontrada:

n

= m n m 1 dn + Cn

Essa constante pode ser encontrada pela diferena entre integrais discretas quando n = 0 ,
fornecendo o oposto da soma dos outros coeficientes j obtidos pela integrao contnua.
Resumindo:
n

Se
n

m 1

= am n m + am 1n m 1 + ... + a2 n 2 + a1n , ento:

= bm +1n m +1 + bm n m + ... + b2 n 2 + b1n

Com bk =

m +1
m
ak 1 , para k = 1, 2,..., m + 1 , e b0 = bk .
k
k =1

Alguns valores:
n

1 = n
n2 n

2 2
n
n3 n 2 n
2
n
=
+

3
2 6
4
n
n
n3 n 2
3
=

+
n

4
2
4
5
4
n
n
n
n3 n
4
=

5
2
3 30
n

n =

Aplicao: Soma de potncias multiplicadas por progresso geomtrica

Agora procuraremos

x n , com x uma constante em relao a n. Observe:

n
n
d n m n n
m 1 n
m n
m 1 n
=
+
ln
=
+
ln
n
x
mn
x
n
x
x
m
n
x
x
(
)

nm xn
dn

Das formas iniciais de

n

x n , encontramos uma funo da forma:

x = x n ( am 1n m 1 + am 2 n m 2 + ... + a2 n 2 + a1n )

m 1 n

com as constantes ak sendo funes de x, mas no dependendo de n. natural procurar uma

integral discreta com a seguinte forma:
n

x n = x n ( bm n m + bm 1n m 1 + ... + b2 n 2 + b1n )

Essa forma pode ser encontrada, e os coeficientes satisfazem bk =

x m
bk .
1 x k =1
Alguns valores:
n
( n 1) x n +1 nx n = x n x 1 n x , x 1
n
=
nx
)

2
2 (

( x 1)
( x 1)
b0 =

n2
n

= 2n ( n 2 )

2n = 2n ( n 2 4n + 6 )

m
ak 1 , i = 1, 2,..., m e
k

n 2
3

= 2n ( n3 6n 2 + 18n 26 )

2n = 2n ( n 4 8n3 + 36n 2 104n + 150 )

Problemas

1- Calcule as seguintes integrais discretas:

a)

n

3

e)

b)

n
3n 2

f)

c)

1
(n + 2)n!

n
d)
2
n

2n (n 1)
( n + 1)!

1
+n
1
n +1 + n

g)

h)

cos n cos(n + 1)

sen 2 k
n
n
k =1
n

2- Calcule: lim
n

3- Calcule lim

k
k =1
n

.2k

k .2
3

k =1

4- Calcule lim

k
k =1

nm

5- Prove que

n =1

n m +1
m +1

2n + 1

(n

+ n)

, com m inteiro positivo.

n
1
1
, sendo hn = .
3
n
n =1
k =1 k

hn =

6- Ache a derivada (contnua) da funo gama (n) para n inteiro positivo, sabendo que
'(1) = , a constante de Euler (um valor conhecido) e (1) = 1 . A funo gama satisfaz
( x + 1) = x ( x) , para todo x real, assim ( n) = (n 1)! para n inteiro positivo.
7- (OBM2002) O dimetro de um conjunto S R definido como sendo
D( S ) = max( S ) min( S ) . O conjunto vazio, por definio, tem dimetro igual a zero. Calcule a
soma dos dimetros de todos os subconjuntos de A = {1, 2,3,..., n} , em funo de n.

REFERNCIAS:

[1] Uma referncia sobre somatrios e algumas consideraes histricas sobre o raciocnio humano
e implementao de algoritmos em computadores: A = B, Marko Petkovsek, Herbert S. Wilf,
Doron Zeilberger.