Você está na página 1de 52

Anotacoes sobre somatorios

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ


rodrigo.u.math@gmail.com

Sum
ario
1 Somat
orios
1.1

Operador diferenca e E . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Delta de Kronecker . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Potencia fatorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Denicao de somatorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.1
1.4

Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

Somatorio no conjunto dos inteiros estendidos . . . . . . . . . . . . . . . . 19


1.4.1

Somatorio com limites no innito . . . . . . . . . . . . . . . . . . . 19

1.4.2

Notacao compacta versus reticencias . . . . . . . . . . . . . . . . . 22

1.5

N
umeros de Stirling do segundo tipo . . . . . . . . . . . . . . . . . . . . . 23

1.6

Primeiras tecnicas de Somatorio . . . . . . . . . . . . . . . . . . . . . . . . 32


1.6.1

Soma telescopica ou soma da diferenca . . . . . . . . . . . . . . . . 32

1.6.2

Soma da k-esima diferenca . . . . . . . . . . . . . . . . . . . . . . . 36

1.6.3

Compatibilidade da soma telescopica com denicao de somatorio . . 36

1.6.4

Denicao por meio de integral . . . . . . . . . . . . . . . . . . . . . 37

1.6.5

Diferenca do somatorio . . . . . . . . . . . . . . . . . . . . . . . . . 38

1.6.6

Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

1.7

Primitiva nita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

1.8

N
umeros de Bernoulli
1.8.1

1.9

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

Deduzindo uma formula para soma de potencias usando n


umeros de Bernoulli 44

Formula de soma de Euler-Maclaurin. . . . . . . . . . . . . . . . . . . . . . 45

1.10 N
umeros Eulerianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.11 Formula de Interpolacao de Newton . . . . . . . . . . . . . . . . . . . . . . 51

Captulo 1
Somat
orios
Esse texto ainda nao se encontra na sua versao nal, sendo, por enquanto, constitudo apenas de anotacoes informais. Sugestoes para melhoria do texto, correcoes da
parte matematica ou gramatical eu agradeceria que fossem enviadas para meu Email
rodrigo.u.math@gmail.com.

1.1

Operador diferenca e E

O operador diferenca e de fundamental importancia no tratamento de somatorios, com


ele expressamos a propriedade que veremos ainda nesse texto que e chamada de soma
telescopica, com a qual e possvel descobrir formulas fechadas para alguns somatorios.
Deni
c
ao 1 (Operador diferenca). Dada uma funcao f : R R denimos o operador
que leva uma funcao f : R R em uma funcao f : R R dada por
f (x) := f (x + 1) f (x).
Deni
c
ao 2 (Potencias de ). Denimos
0 f (x) = f (x)
n+1 f (x) = n f (x + 1) n f (x)
3


CAPITULO 1. SOMATORIOS

para n natural.
Deni
c
ao 3 (Operador E.). Dado h R denimos o operador E h que leva funcoes
f : R R em uma funcao E h f R R, dada por
E h f (x) = f (x + h).
Observe que f (x) = f (x + 1) f (x) entao escrevemos = E 1.

1.1.1

Delta de Kronecker

Deni
c
ao 4 (Delta de Kronecker). Dados a, b em um conjunto qualquer A nao vazio,
denimos a funcao A A R como
(a,b) = 0
se a = b.
(a,b) = 1
se a = b.

1.2

Pot
encia fatorial

Deni
c
ao 5 (Potencia fatorial ). Denimos a potencia fatorial de passo h e expoente n
e base x como
(n,h)

n1

(x kh)

k=0

com n Z, x, h R (desde que nao haja divisao por zero) .


Com n = 0 usamos o produto vazio
(0,h)

(x kh) = 1.

k=0

Usaremos em especial o caso de h = 1


x

(n,1)

n1

(x k).

k=0


CAPITULO 1. SOMATORIOS

Propriedade 1. Vale a propriedade


(ax + b)(p+1, a) = a(p + 1)(ax + b)(p, a)
para p inteiro.

1.3

Denic
ao de somat
orio

Vamos comecar denindo somatorio recursivamente.


Deni
c
ao 6 (Somatorio). Condicao inicial:
a

f (k) =

k=a

f (k) = f (a)

k=a

Recorrencia (Propriedade de abertura):


b

f (k) =

f (k) +

k=a

k=a

f (k)

k=p+1

onde b, p, a Z arbitrarios .
A funcao f deve ser uma funcao denida num conjunto que contenha Z em geral
nesse texto vamos considerar f denida em Z ou em R tomando valores num conjunto A
munido de uma adicao +, que possua as propriedades comutativa
a+b=b+a
, associativa
(a + b) + c = a + (b + c)
, existencia de elemento neutro 0
a+0=0
e existencia de inverso aditivo para cada elemento do conjunto
aa=0
onde a, b e c sao elementos arbitrarios do conjunto A. Tais propriedades dizem que (A, +)
e um grupo abeliano. A poderia ser , por exemplo , o conjunto dos n
umeros complexos C ,
dos n
umeros reais R ou dos inteiros Z. Na maioria dos casos iremos considerar f : Z R.


CAPITULO 1. SOMATORIOS

Em

f (k) chamamos o n
umero a de limite inferior do somatorio o n
umero b de

k=a

limite superior, f(k) e chamado termo do somatorio ou somando e k de argumento, ndice


ou variavel, nesse caso diremos que estamos aplicando o somatorio de f (k) com k variando
b
b

de a ate b. Podemos escrever tambem


f (k) para simbolizar
f (k), quando car claro
a

k=a

que estamos aplicando com k variando.


O somatorio denido acima representa formalmente a soma
f (a) + f (a + 1) + ... + f (b 1) + f (b)
quando b a. Essa notacao para somatorios e chamada de notac
ao sigma, a letra

a uma letra grega mai


uscula que e corresponde a nossa letra S , tal notacao foi introduzida
por Joseph Fourier ( 1768 -1830) em 1829 .
Alguns autores usam o ndice i no somatorio

f (i), normalmente nao usaremos

i=a

ndice i, deixando essa letra reservada para o n


umeros complexos, tambem nao usaremos
ndice n, pois deixaremos essa letra para o limite superior da soma.
Corol
ario 1 (Soma vazia). Da denicao
b

f (k) =

f (k) +

f (k),

k=p+1

k=a

k=a

tomando p = a 1
b

f (k) =

conclumos que

f (k) +

k=a

k=a
a1

a1

f (k)

k=a

f (k) = 0, essa soma e chamada de soma vazia.

k=a

Corol
ario 2 (Abrindo o limite superior). Tomando p + 1 = b na propriedade de abertura
tem-se
b

k=a

f (k) =

b1

f (k) +

k=a

k=b

b1

k=a

f (k) =

k=a

f (k) =

b1

f (k) + f (b)

k=a

f (k) + f (b).


CAPITULO 1. SOMATORIOS

Corol
ario 3 (Soma com limite superior menor que limite inferior). Na propriedade
p

f (k) =

k=a

f (k) +

k=a

f (k),

k=b+1

tomamos p = a 1, da
a1

f (k) = 0 =

k=a

f (k) +

k=a

logo

f (k) =

k=a

a1

f (k)

k=b+1
a1

f (k).

k=b+1

A denicao de somatorio usando a recorrencia


b

f (k) =

k=a

f (k) +

k=a

f (k)

k=p+1

e similar a propriedade de integral


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

Nesta propriedade de integral se tomamos, b = a, camos com


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

entao devemos ter

f (x)dx = 0 cuja propriedade similar para somatorio e


a

a1

f (k) = 0.

k=a

Tomando c = a na primeira identidade de integral tem-se


a
b
a
f (x)dx = 0 =
f (x)dx +
f (x)dx
a

a1

f (x)dx =

logo

f (x)dx que temos propriedade similar no somatorio


b

k=a

f (k).

k=b+1

Vejamos alguns exemplos de somatorios.


Exemplo 1.

a+1

k=a

f (k) =

k=a

f (k) + f (a + 1) = f (a) + f (a + 1)

f (k) =


CAPITULO 1. SOMATORIOS

a+2

f (k) =

k=a

a+1

f (k) + f (a + 2) = f (a) + f (a + 1) + f (a + 2)

k=a

Um exemplo com n
umeros
Exemplo 2.
3

f (k) =

k=2

f (k) + f (3) =

k=2

f (k) + f (2) + f (3) =

k=2

f (k) + f (1) + f (2) + f (3)

k=2

f (k) + f (0) + f (1) + f (2) + f (3) =

k=2

f (k) + f (1) + f (0) + f (1) + f (2) + f (3) =

k=2

= f (2) + f (1) + f (0) + f (1) + f (2) + f (3).


Propriedades do somat
orio.
As propriedades nesta secao sao as propriedades basicas para manipulacao de somas,
sendo que a maioria - se nao todas - as outras propriedades neste texto sao decorrentes
delas. Faremos tambem analogias entre somas e integrais, mostrando que as propriedades
sao similares.
Vamos entao enunciar e demonstrar as propriedades basicas de somatorio que serao
usadas nesse texto!As demonstracoes mais basicas serao feitas usando inducao, iremos
sempre manipular os somatorios a partir da denicao por recorrencia, nao usaremos reticencias para simbolizar os somatorios.
Propriedade 2 (Variavel muda).
b

f (k) =

k=a

f (y)

y=a

Se os somatorios estao sendo tomados em limite iguais e com a mesma funcao, nao importa
o smbolo usado para a variacao, as somas sao iguais. No calculo temos que a integral
tem variavel muda

f (x)dx =
a

f (y)dy
a

Iremos demonstrar as propriedades para b a primeiro, por inducao e depois usar


b
a1

esse resultado para provar com b < a, usando a identidade


f (k) =
f (k).
k=a

k=b+1


CAPITULO 1. SOMATORIOS

Propriedade 3 (Mudanca de variavel).


b

b+t

f (k) =

k=a

f (k t)

k=a+t

sendo t um n
umero inteiro.
Demonstrac
ao.
Demonstracao por inducao. para b = a temos
a

f (k) = f (a) =

k=a

a+t

f (k t) = f (a + t t) = f (a)

k=a+t

vamos tomar por hipotese a validade para b = a + p


a+p

a+p+t

f (k) =

k=a

f (k t)

k=a+t

e provar para b = a + p + 1

a+p+1+t

a+p+1

f (k) =

f (k t)

k=a+t

k=a

pela denicao temos

a+p+1

f (k) =

a+p

f (k t) + f (a + p + 1 + t t)

k=a+t

k=a

k=a

a+p+t

f (k) + f (a + p + 1) =

a+p+t+1

f (k t).

k=a+t

Se algum n
umero inteiro e somado aos limites do somatorio o mesmo n
umero deve ser
subtrado na funcao que e somada, por exemplo, se esta tomando somatorio sobre uma
funcao f (k) com k variando de a ate b, se somar um n
umero t cando com somatorio de
a + t ate b + t deve-se subtrair esse n
umero t da funcao que esta sendo somada, cando
f (k t) para que o somatorio continue igual.
b

f (k) =

k=a

b+t

f (k t).

k=a+t

Provamos agora essa propriedade no caso b < a


b

k=a

f (k) =

a1

k=b+1

f (k) =

a1+t

k=b+1+t

f (k t) =

b+t

k=a+t

f (k t)


CAPITULO 1. SOMATORIOS

logo vale

10

b+t

f (k) =

f (k t).

k=a+t

k=a

No caso vazio essa propriedade tambem se verica pois


a1

f (k) = 0 =

k=a

a1+t

f (k t).

k=a+t

Com integrais essa propriedade se verica


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

a+p

Que pode ser demonstrada por mudanca de variavel na integral. Tome y = x p, temos
dy = dx e com x = b + p ca y = b, com x = a + p ca y = a, escrevemos
b
b
f (x)dx =
f (y)dy.
a

Como a variavel de integracao e muda temos a mesma integral.


Deni
c
ao 7. Seja x um n
umero real qualquer e n um n
umero inteiro, denimos
x+n

f (k)

k=x

por meio da mudanca de variavel de subtrair x dos limites


x+n

f (k) :=

k=0

k=x

No caso de termos um somatorio


ba=n

f (k + x) =
| {z }
g(k)

g(k).

k=0

f (k), podemos subtrair a dos limites e chamar

k=a
ba

k=0

f (k + a) =
| {z }
g(k)

g(k)

k=0

entao sempre podemos fazer essa transformacao, simplicando um pouco os ndices do


n

somatorio, iremos demonstrar as propriedades para a soma na forma


g(k), por inducao
k=0

sobre n.


CAPITULO 1. SOMATORIOS

11

Linearidade
Um operador T e linear quando faz
T [af (x) + bg(x)] = aT f (x) + b.T g(x)
vamos mostrar que o somatorio e linear
No calculo temos que a integral e linear
c
c
c
af (x) + bg(x)dx = a
f (x)dx + b
g(x)dx.
d

Sendo f (x) e g(x) integraveis em [d, c] e a e b constantes.


Propriedade 4 (Linearidade do somatorio).
n

[af (x) + bg(x)] = a

[f (x)] + b

[g(x)].

k=0

k=0

k=0

Demonstrac
ao.
Por inducao sobre n. Para n = 0 temos
0

[af (k) + bg(k)] = a

[f (k)] + b

[g(x)] =

k=0

k=0

k=0

= af (0) + bg(0)
onde foi aplicada a denicao aos dois termos.
Hipotese da inducao, para n 1
n1

[af (k) + bg(k)] = a

k=0

n1

k=0

[f (k)] + b

n1

[g(k)].

k=0

Vamos provar para p = n


n

[
]
n1
[af (k) + bg(k)] =
[af (k) + bg(k)] + af (n) + bg(n) =

k=0

k=0

pela hipotese de inducao segue


=a

n1

k=0

[f (k)] + b

n1

k=0

[g(k)] + af (n) + bg(n) =


CAPITULO 1. SOMATORIOS

12

[
] [
]
n1
n1
= a
[f (k)] + af (n) + b
[g(k)] + bg(n) =
k=0

=a

k=0

[
n1

]
[
]
n1
[f (k)] + f (n) + b
[g(k)] + g(n) =

k=0

(k=0)

[
]
[
]
n
n
=a
f (k) + b
g(k)
k=0

k=0

Agora para n < 0 temos


n

[af (k)+bg(k)] =

k=0

[af (k)+bg(k)] = a

k=n+1

f (k)b

k=n+1

g(k) = a

k=n+1

f (k)+b

k=0

k=0

No caso vazio
1

[af (k) + bg(k)] = 0 = a

f (k) + b

Corol
ario 4. Vale que

g(k).

k=0

k=0

k=0

0=0

k=a

para todos b, a Z, pois pela linearidade


b

0=

k=a

k=a

0.0 = 0.

0 = 0.

k=a

Propriedade 5 (Comutatividade-Soma de linhas e colunas). Os somatorios comutam,


nao importa a ordem em que se aplica dois somatorios o resultado e sempre o mesmo.
d
d
b
b

[
f (k, p)] =
[
f (k, p)]
k=a p=c

p=c k=a

Demonstrac
ao. Vamos provar por inducao, tomando d = c + t e induzindo sobre t.
Para t = 0 temos
b
c
b
c
b
b

[
f (k, p)] =
[f (k, c)] =
[
f (k, p)] =
[f (k, c)]
k=a p=c

k=a

p=c k=a

tomando a validade para t, vamos mostrar valida para t + 1


b
c+t
c+t
b

[
f (k, p)] =
[
f (k, p)]
k=a p=c

p=c k=a

k=a

g(k).


CAPITULO 1. SOMATORIOS

temos que mostrar

13

b c+t+1
c+t+1
b


[
f (k, p)] =
[
f (k, p)]
p=c

k=a

p=c

k=a

Aplicando a denicao de somatorio


c+t+1

b
c+t
b
b

[
f (k, p)] =
[
f (k, p)] +
f (k, t + 1)]

p=c

p=c k=a

k=a

k=a

aplicando a comutatividade da hipotese


b
c+t
b

=
[
f (k, p)] +
f (k, t + 1)]
k=a p=c

k=a

agora pela linearidade do somatorio


c+t
b c+t+1
b

[
f (k, p)].
[
f (k, p)] + f (k, t + 1)] =
k=a p=c

k=a

p=c

Para valores d < c a identidade tambem vale pois


d
b

f (k, p) =

k=a p=c

c1

k=a

f (k, p)) =

b
c1

f (k, p) =

f (k, p).

p=c k=a

p=d+1 k=a

p=d+1

d
b

Se a soma e vazia a propriedade tambem e verdadeira pois


d
b

f (k, p) =

k=a p=c

0=0=

d
b

f (k, p).

p=c k=a

k=a

No calculo temos o analogo , Teorema de Fubini


Seja f (x, y) integravel no retangulo R = {(x, y) R2 |a x b, c y d}. Supondo
d
b
que f (x, y)dx exista, para todo y [c, d], e que f (x, y)dy exista para todo x [a, b].
c

Entao

f (x, y)dxdy =
R

b[

f (x, y)dx dy =
c

]
f (x, y)dy dx.

Com essas condicoes as integrais comutam.


A propriedade de comutatividade de somatorios garante que a soma dos elementos
percorrendo todas as linhas de uma matriz n m tem o mesmo resultado que a soma dos
elementos percorrendo todas as colunas.


CAPITULO 1. SOMATORIOS

14

f (1, 1) f (1, 2) f (1, 3)

f (1, m)

f (2, 1) f (2, 2) f (2, 3)

..
..
..

.
.
.

f (n, 1) f (n, 2) f (n, 3)


n
m

f (k, p) =

m
n

k=1 p=1

f (1, p) +

p=1

f (2, p) + +

p=1

f (2, m)
..
.
f (n, m)

f (k, p)

p=1 k=1

f (n, p) =

p=1

f (k, 1) +

k=1

f (k, 2) +

k=1

f (k, m)

k=1

em cada parcela da primeira soma a linha esta xa e a coluna varia, na segunda soma a
coluna esta xa e a linha varia.
Propriedade 6 (produto por 1). Essa propriedade diz que podemos multiplicar os
limites do somatorio por 1, cando entao com limites trocados , simetricos e o somando
multiplicado por 1

f (k) =

f (k)

k=b

k=a

Demonstrac
ao. Por inducao, para b = a temos
a

f (k) = f (a) =

f (k) = f (a)

k=a

k=a

tomando como hipotese a validade para b


b

f (k) =

k=a

vamos provar para b + 1

b+1

f (k)

k=b

f (k) =

k=a

f (k).

k=b1

Pela denicao e pela propriedade de abertura temos


b+1

k=a

f (k) =

k=a

f (k)+f (b+1) = f (b+1)+

k=b

f (k) =

b1

k=b1

f (k)+

k=b

f (k) =

k=b1

f (k).


CAPITULO 1. SOMATORIOS

15

Agora para b < a, com b = a 1 vale a propriedade


a1

f (k) = 0 =

k=a

f (k)

k=a+1

e com b < a 1
b

f (k) =

k=a

a1

b+1

f (k) =

k=b+1

f (k) =

k=a+1

f (k).

k=b

Com integrais temos a mesma propriedade


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

Sendo a funcao f (x) integravel no intervalo [a, b]. Demonstracao por mudanca de variavel:
Tome y = x, com isso temos que quando x = a ,y = a e quando x = b, y = b e
dy
temos ainda
= 1, dx = dy, camos entao com a integral
dx
b
a
f (x)dx =
f (y)dy.
a

Que por denicao e verdadeira (do calculo).


Corol
ario 5 (Troca de ordem).
b

f (k) =

f (a + b k)

k=a

k=a

Demonstrac
ao. Essa propriedade decorre das propriedades de mudanca de ordem e
produto por (1),entao vamos a demonstracao. Temos que
b

f (k) =

k=a

f (k)

k=b

fazendo uma mudanca de variavel no segundo somatorio , somando a + b aos limites,


camos com

k=a

logo

f (k) =

f ((k a b)) =

k=a
b

k=a

f (a + b k)

k=a

f (k) =

f (a + b k)

k=a

e
b

k=a

f (a + b k) f (k) = 0 =

k=a

f (k) f (a + b k)


CAPITULO 1. SOMATORIOS

16

A troca de ordem, diz que podemos somar de frente para tras e de tras para frente,
que o resultado e o mesmo
a1 + a2 + + an = an + an1 + + a1 .
Troca de ordem em integrais
uma propriedade que tambem e corolario do produto por 1 nos limites e da muE
danca de variavel por soma nos limites. Vejamos, temos
b
a
f (x)dx =
f (x)dx
b

somando a + b aos limites camos com


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

Propriedade 7 (Revertendo a ordem -Soma de elementos de uma matriz triangular


superior). Vale a propriedade
k
n

f (k, j) =

k=a j=a

n
n

f (k, j).

j=a k=j

Demonstrac
ao. Denimos g(k, j) = 0 se j > k e g(k, j) = f (k, j) caso contrario, da
completamos a soma
k
n

n
n
k
n
n

(
g(k, j) +
g(k, j)) =
g(k, j) =
f (k, j) =
k=a j=a

k=a j=a

k=a j=a

j=k+1

trocando a ordem da soma


=

n
n

j1
n
n

g(k, j) =
(
g(k, j) +
g(k, j)) =

j=a k=a

j=a k=a

{z

k=j

n
n

j=a k=j

g(k, j)
| {z }

f (k,j)

Caso especial se a = 0
n
k

k=0 j=0

f (k, j) =

n
n

j=0 k=j

f (k, j).


CAPITULO 1. SOMATORIOS

A identidade

17

k
n

a(k, j) =

k=1 j=1

n
n

a(k, j)

j=1 k=j

pode ser interpretada como a soma dos elementos de uma matriz triangular superior

a(1,1) a(2,1) a(3,1)


0

a(2,2) a(3,2)

0
..
.

0
..
.

a(3,3)
..
.

a(n,1)

a(n,2)

a(n,3)

..
.

a(n,n)

na primeira soma xamos a linha e somamos os elementos das colunas, na segunda xamos
a coluna e somamos os elementos da linha.
No calculo de integrais temos resultado similar
n x
n
f (x, y)dydx =
a

1.3.1

f (x, y)dxdy.

Exerccios

1. Calcule as somas numericamente pela denicao de somatorio:


(a)

(1)k

k=1

(b)

1
k=4

(c)

k=7

(d)

k, para n 0, inteiro.

k=3

(e) Todo n
umero real pertence a um e somente um intervalo do tipo [n, n + 1),
onde n e inteiro, a cada real nesse intervalo associamos o n
umero n pela funcao
4

x = n, que e chamada de funcao piso. Calcule a soma


k.
k=1

(f) Calcule

100

k. O matematico Gauss teria calculado essa soma com 10 anos de

k=1

idade sem nenhum calculo.


CAPITULO 1. SOMATORIOS

18

2. Demonstre as propriedades usando a denicao recursiva de somatorio.


(a) Linearidade

(cg(k) + df (k)) = c

k=a

(b) Comutatividade

(c) Abertura

f (k, p) =

f (k) =

k=a

(d) Mudanca de variavel

d
b

f (k) +

(f) Troca de ordem

f (k)

k=a

f (k, p)

f (k)

k=a

k=b+1

b+t

f (k) =

f (k t)

k=a+t

f (k) =

k=a
b

p=c k=a

k=a

(e) Produto por 1

g(k) + d

k=a
b
d

k=a p=c

f (k)

k=b

f (k) =

k=a

(g) Reverter ordem da soma

f (a + b k)

k=a
k
n

f (k, j) =

k=a j=a

n
n

f (k, j).

j=a k=j

3. Demonstre usando as propriedades anteriores


(a) Demonstre
b

f (k + 1) f (k) = f (b + 1) f (a).
k=a

Essa propriedade e chamada de soma telescopica e f (k + 1) f (k) pode ser


denotado como f (k) = f (k + 1) f (k), f (b + 1) f (a) pode ser escrito como
b

b+1
f (k) = f (k)|b+1
f (k)|a , entao a propriedade pode ser escrita
a .
k=a

(b)

k=a

1
[f (a + b k) + f (k)].
2 k=a
b

f (k) =

(c) Se f e uma funcao mpar entao

f (k) = 0

k=n

(d) Se f e uma funcao par entao

k=n

f (k) = f (0) + 2

k=1

f (k).


CAPITULO 1. SOMATORIOS

19

(e) A funcao delta de kronecker e denida como


{
0 se n = k
(n,k) =
1 se n = k
Demonstre que se n e um n
umero tal que a n b, n Z entao
b

f (k)(n,k) = f (n).

k=a

1.4

Somat
orio no conjunto dos inteiros estendidos
b

f (x) =

k=a

f (k) +

k=a

f (k).

k=s+1

Com s a, b s + 1, b, a, s Z e com condicao inicial


c

f (k) = lim f (k).


kc

k=c

Podemos ver agora somatorios com limites no innito.

1.4.1

Somat
orio com limites no innito

Somat
orio com limite superior no innito
Vamos tomar o somatorio com limite superior innito e limite inferior inteiro.

k=a

f (k) =

f (k) +

k=a

f (k).

k=s+1

Para todo s a, pois temos s + 1 para todo s + 1 Z , logo podemos tomar s tao
grande quanto quisermos, que o somatorio nao se esgota, podendo continuar abrindo
em quantidades de termos cada vez maiores.
Dizemos que o somatorio converge para uma valor u real qualquer quando
lim

f (k) = u

k=a

e escrevemos

f (k) = u
k=a


CAPITULO 1. SOMATORIOS

20

Agora se temos s = , s + 1 = , pelas regras nos inteiros estendidos, escrevemos


entao o somatorio aberto como

f (k) =

k=a

Usando a denicao de que

f (k) +

k=a

f (k).

k=

f (k) = lim f (k)


k

k=

Chegamos ao resultado

f (k) =

k=a

f (k) + lim f (k).


k

k=a

Se o somatorio innito converge a um n


umero real qualquer u, camos com

f (k) =

k=a

f (k) + lim f (k) =


k

k=a

u = u + lim f (k). =
k

lim f (k) = 0.

Entao temos uma condicao necessaria (mas nao suciente ) para o somatorio convergir.
Somat
orio com limite inferior no innito
b

f (k) =

f (k) +

f (k)

k=s+1

k=

k=

Para todo b s + 1 pois temos s, s > para qualquer inteiro s.


Dizemos que o somatorio converge para uma valor u real qualquer quando
lim

f (k) = u

k=n

e escrevemos
b

f (k) = u
k=

Se s = temos s + 1 = por propriedade dos inteiros estendidos, temos


b

k=

f (k) =

k=

f (k) +

k=

f (k)


CAPITULO 1. SOMATORIOS

21

se o somatorio converge para u e usando a denicao de somatorio temos


u = lim f (k) + u =
k

lim f (k) = 0.

Somat
orio com limite inferior e superior no innito

f (k) =

k=

f (k) +

k=

f (k)

k=s+1

Para todo inteiro s pois > s+1 e s > . Se o somatorio com limite em converge
para u e o somatorio com limite em converge para v, dizemos que o somatorio acima
converge para u + v, temos

k=

f (k) =

f (k) +

k=

f (k) =

k=s+1

f (k) +

k=

f (k) +

k=l+1

f (k) +

k=s+1

f (k)

k=p+1

Tomando l = temos l + 1 = e s > e tomando p + 1 = temos p 1 =


e > s + 1, camos com

f (k) =

f (k) +

f (k) +

f (k) +

k=s+1

k=

k=

k=

f (k)

k=

usando a denicao e a convergencia


u + v = lim f (k) + u + v + lim f (k) = lim f (k) + lim f (k) = 0.
k

lim f (k) = lim f (k).

Mudanca de vari
avel em somat
orio com limite no innito
Temos a seguinte propriedade para somatorios com limites nos inteiros
n

f (k) =

k=a

n+p

f (k p)

k=a+p

Queremos mostrar que continua valida para somatorio com limites no innito
Teorema 1 (Mudanca de variavel).

k=a

f (k) =

f (k p)

k=a+p

Se o somatorio converge
f (k) para u e p e um n
umero inteiro.
k=a


CAPITULO 1. SOMATORIOS

22

Demonstrac
ao. Se o somatorio

f (k) converge para u, escrevemos

k=a

f (k) = lim

k=a

Se o somatorio

f (k) = u

k=a

f (k p) converge para v, escrevemos

k=a+p

k=a+p

Porem as sequencias

n+p

f (k p) = lim

n+p

f (k p) e

k=a+p

f (k p) = v

k=a+p

f (k) sao a mesma sequencia (sao iguais), logo

k=a

seus limites sao iguais, entao temos

f (k) =

f (k p).

k=a+p

k=a

Deni
c
ao 8. Somatorio sobre funcao constante. Se temos uma funcao constante f (k) =
c, escrevemos o somatorio

f (k) =

k=a

k=a

Propriedade 8.

1=n

k=1

para todo n natural, demonstramos por inducao, para n = 0, temos a igualdade, pois
temos somatorio sobre conjunto vazio sendo 0, seja agora valida para n, vamos demonstrar
para n + 1

n+1

k=1

1.4.2

1=

1 + 1 = n + 1.

k=1

Notac
ao compacta versus retic
encias

Neste texto decidimos usar a notacao compacta de somatorio

, quase sempre, ao

inves de usar reticencias (pontinhos) ao manipular os somatorios. Na secao anterior


demonstramos propriedades basicas para manipular somas usando a notacao compacta.
Usando elas seremos capazes de calcular todas ( ou quase todas) somas que aparecem


CAPITULO 1. SOMATORIOS

23

neste texto. A notacao compacta pode ser u


til para economizar espaco, nao precisando
escrever pontinhos e varios termos somados
n

k = 1 + + n.

k=1

Ao usar pontinho, deve-se escrever o termo geral do que se esta somando, para evitar
ambiguidades, por exemplo
1 + + n
n

seria uma maneira valida para escrever a soma


k, porem
k=1

1 + 2 +

Figura 1.1: Proibido uso de pontinhos


nao seria uma maneira valida para expressar a soma nita, tanto pelo motivo de
parecer expressar uma soma de innitos termos, quanto pelo fato de que nao sabemos a
expressao geral do termo que esta sendo somado, poderia ser soma de uma sequencia (xn )
tal que x1 = 1, x2 = 2 e x3 = 300, por exemplo. Se o termo geral nao e dado, a sequencia
poderia ser de varios tipos distintos . Uma soma innita deveria ser expressa da forma
1 + + n +
onde n simboliza o tipo de termo que esta sendo somado, nesse caso a soma e innita, na
notacao compacta seria

k.

k=1

1.5

N
umeros de Stirling do segundo tipo

Os n
umeros de Stirling tem esse nome por causa do matematico Escoces James Stirling
(1692-1770). Com eles e possvel expressar uma potencia xn em somas de potencias


CAPITULO 1. SOMATORIOS

24

fatoriais e tambem expressar potencias fatoriais como potencias. Eles sao denidos por
recorrencia da seguinte maneira. Eles serao importantes na teoria de somatorios, pois com
b

eles podemos descobrir formulas fechadas para somas do tipo


k p , onde p e natural.
k=a

N
umeros de Stirling do segundo tipo
{n } {n } {n } {n } {n } {n } {n }
n
0

15

25

10

31

90

65

15

Sao n
umeros que satisfazem a recorrencia:
{n+1 }
{n } {
= k.
+
k

k1

Se n N e k > 0 . Com condicoes iniciais


{0 }
= 1.
0

{n }
=0
k

se k > n.

{n+1 }
=0
0

para todo n natural.


Propriedade 9.

{n }
=1
n

para todo n natural.


CAPITULO 1. SOMATORIOS

25

Demonstrac
ao. Por inducao sobre n temos para n = 0
{0 }
=1
0

pela condicao inicial. Agora seja valida para n


{n }
=1
n

e vamos provar para n + 1 temos pela recorrencia


{n+1 }
{ n } {n }
= (n + 1).
+
= 1.
n+1

n+1

Propriedade 10.

{n+1 }
=1
1

para todo n natural.


Demonstrac
ao. Para n = 0 e verdade pela propriedade anterior, considere agora a
hipotese para n e vamos provar para n + 1
{n+2 }
{n+1 } {n+1 }
=1
+
= 1.
1

Propriedade 11 (Os n
umeros de Stirling sao inteiros).
Demonstrac
ao. Para n = 0

{0 }
=1
k

{0 }

ou

=0
k

logo inteiro. Considere a hipotese de ser inteiro para n e vamos provar para n + 1
{n } { n }
{n+1 }
+
=k
k

k1

por ser soma de dois inteiros, segue que e inteiro.


Teorema 2 (Teorema geral de n
umeros de Stirling). Seja uma funcao g : R R e uma
funcao g(k, x) : A R R onde N A . Um operador T com as seguinte denicao
Condic
oes do operador T .


CAPITULO 1. SOMATORIOS

26

1. Pot
encias de T .
T 0 g(x) = g(x)
T [T n g(x)] = T (n+1) g(x) n N.
2. Linearidade
Propriedade de comutar com somatorio
T

ak f (k, x) =

k=0

ak T f (k, x)

k=0

Condic
ao do operador P .
1. Pot
encias de P . Seja um operador P com propriedade de
P 0 g(x) = g(x)
P [P n g(x)] = P (n+1) g(x) n N.
2. Comutatividade de P .
P comutando com n
umeros
P kg(x) = kP g(x)
Relac
ao entre T e P
1. Comutatividade de T e P
T P n g(x) = P n T g(x)
Relac
ao entre funco
es
Se temos as funcoes relacionadas por
1. g(x) = g(0, x)
2. T [g(k, x)] = k.P g(k, x) + g(k + 1, x)
entao


CAPITULO 1. SOMATORIOS

27

n {n }

T [g(x)] =

P (nk) g(k, x).

k=0

Demonstrac
ao.
Por inducao, para n = 0 temos
0

T [g(x)] = g(x) =

n {0 }

{0 }
P

(0k)

k=0

P (00) g(0, x) = g(x).

g(k, x) =

Pela denicao de n
umeros de Stirling, operadores P, T , somatorio e funcao g(k, x).
Tomando como hipotese para n
n {n }

T [g(x)] =

k=0

P (nk) g(k, x).

Vamos provar para n + 1.


T

(n+1)

n+1 {n+1 }

[g(x)] =
P (n+1k) g(k, x).
k=0

Por propriedade do operador temos


T

(n+1)

[g(x)] =

n {n }

(nk)

n {n }

T [g(k, x)] =
P (nk) [kP g(k, x) + g(k + 1, x)] =

k=0

k=0

Pois T comuta com o somatorio e com P .


n {n }
n {n }

(n+1k)
kP
g(k, x) +
P (nk) g(k + 1, x)
k

k=1

k=0

Usando que P comuta com n


umero, linearidade do somatorio , propriedade de abertura,
pois, quando k = 0 o termo com k como fator se anula. Fazendo agora uma mudanca
de variavel no primeiro somatorio subtraindo 1 dos limites e abrindo o u
ltimo termo do
segundo somatorio.
n1 {

k=0

(k + 1)P

(nk)

g(k + 1, x) +

k+1

n1 {n }

k=0

(nk)

{n }
P (0) g(n + 1, x)
g(k + 1, x) +
n

Juntando agora os dois somatorios e usando a denicao de n


umeros de Stirling, camos
com

n1 [{

k=0

{n }]

(k + 1) +
k+1

(nk)

{n }
P (0) g(n + 1, x) =
g(k + 1, x) +
n


CAPITULO 1. SOMATORIOS

28

{n }
n1 [{n+1 }

(nk)
=
]P
g(k + 1, x) +
P (0) g(n + 1, x)
k=0

{n+1 }

k+1

= 0, pois seria igual a 1 apenas se n + 1 = 0, n = 1, que nao

Agora usando que


0

e natural e fazendo uma mudanca de variavel somando +1 aos limites do somatorio.


{n }
n [{n+1 }

(nk)
]P
g(k, x) +
P (0) g(n + 1, x) =
=
k=1

{n+1 }
{n+1 }
n [{n+1 }

(n+10)
=
P
g(0, x) +
]g(k, x) +
P (0) g(n + 1, x)
0

k=1

k=0

n+1 [{n+1 }

n+1

]g(k, x).

Corol
ario 6. Toda potencia pode ser escrita como soma de potencias fatoriais
n {n }

x =
.h(nk) .x(k,h)
n

k=0

Para n N .
Precisamos da seguintes propriedade
x.x(k,h) = k.h.x(k,h) + x(k+1,h)
que sai direto da denicao , pois
x(k+1,h) = x(k,h) [x hk] = x.x(k,h) k.h.x(k,h)
somando k.h.x(k,h) em ambos os lados
x.x(k,h) = x(k+1,h) + k.h.x(k,h)
Nesse caso tomamos g(k, x) = x(k,h) , T = x e g(x) = 1 h = P e as condicoes sao satisfeitas
pois (condicoes de T )
x0 = 1
x.xn = xn+1
n
n

x
ak g(k, x) =
ak x.g(k, x) =
k=0

k=0


CAPITULO 1. SOMATORIOS

29

(condicoes de P )
h0 = 1
h.hn = hn+1
(Relacao entre P e T )
x.hn = hn .x
(Relacao entre as funcoes)
1 = x(0,h)
Entao o teorema e valido para potencias fatoriais.
O caso especial que nos interessa nesse texto e quando h = 1, temos
Corol
ario 7.
n

x =

n {n }

k=0

.x(k,1)

Corol
ario 8 (Potencia escrita como soma de coecientes binomiais).
{n } (k,1)
{n } ( )
n
n

x
x
k!
k!
x =
.
=
.
k!
k
k
k
k=0
k=0
n

Podemos agora deduzir o resultado do operador p aplicado em xn


Corol
ario 9.
n {n }
n {n }
n {n }
n {n }

(k,1)
p n
p
(k,1)
p (k,1)
x =
.x
= x =
.x
=
. x
=
.k (p,1) .x(kp,1)
n

k=1

k=1

p n

x =

n {n }

k=1

Se p = n temos

k=1

.k (p,1) .x(kp,1)

n {n }

.k (n,1) .x(kn,1)
x =
n n

k=1

abrindo o somatorio
{n }
n1 {n }

(n,1) (kn,1)
n(n,1) .x(nn,1)
.k
.x
+
x =
n n

k=1

k=1


CAPITULO 1. SOMATORIOS

30

No primeiro somatorio temos que max k = n 1 entao n > k, levando a potencia k (n,1) a
{n }
zero e tornando o somatorio zero. Temos
= 1, por denicao de n
umeros de Stirling,
n

n(n,1) = n!, por propriedade de potencia fatorial e x(0,1) = 1, por denicao de potencia
fatorial, entao
n xn = n!
O mesmo nos mostra que p xn = 0 se p > n, pois se p > n existe t > 0 natural tal que
n + t = p, logo temos
p xn = n+t xn = t n xn = t n! = t1 n! = 0.
O mesmo pode ser feito para polinomios
n

ak x =

k {k }

ak
.x(j,1)
j=1

k=0

k=0

Aplicando p

ak x =

k=0

k {k }
k {k }
k {k }
n
n

(j,1)
p (j,1)
ak
ak
ak
.x
=
. x
=
.j (p,1) x(jp,1) =

k=0

j=1

k=0

k
n

k=0 j=1

j=1

k=0

j=1

{k }
.j (p,1) x(jp,1) .

ak
j

Se n p temos entao um polinomio de grau n p. Aplicando n no polinomio de grau


n temos
n

ak xk = n

k=0

n1

ak xk + n an.xn = an n xn = an .n!

k=0

como o maximo grau do polinomio dentro do somatorio e n 1, pelo resultado anterior


todos os termos sao iguais a zero restando apenas o termo fora do somatorio, como n
aplicado no polinomio e uma constante, se aplicarmos mais uma vez o , temos o resultado
nulo

n+1

k=0

ak xk = an .n! = 0


CAPITULO 1. SOMATORIOS

31

o mesmo para qualquer n


umero p > n (p = n + t com t N , t > 0)

ak xk = t n

k=0

ak xk = t an .n! = t1 an .n! = 0

k=0

Exemplo 3. Alguns exemplos de potencias escritas como soma de potencias fatoriais


x0 = 1.x(0,1)
x1 = 0.x(0,1) + 1.x(1,1)
x2 = 0.x(0,1) + 1.x(1,1) + 1.x(2,1)
x3 = 0.x(0,1) + 1.x(1,1) + 3.x(2,1) + 1.x(3,1)
x4 = 0.x(0,1) + 1.x(1,1) + 7.x(2,1) + 6.x(3,1) + 1.x(4,1)
x5 = 0.x(0,1) + 1.x(1,1) + 15.x(2,1) + 25.x(3,1) + 10.x(4,1) + 1.x(5,1)
x6 = 0.x(0,1) + 1.x(1,1) + 31.x(2,1) + 90.x(3,1) + 65.x(4,1) + 15.x(5,1) + 1.x(6,1)
facil descobrir a representacao por soma de potencias fatoriais de uma potencia xn se
E
temos a representacao de x(n1) , os casos x0 e x1 sao triviais, o caso x2 sai diretamente da
denicao de n
umeros de Stirling sem necessidade de usar sua recorrencia, pela denicao
de n
umeros de Stirling sabemos os coecientes de x(1,1) e x(3,1) na representacao de x3 ,
falta saber o coeciente de x(2,1) que se obtem multiplicando o grau da potencia (2)
pelo coeciente de x(2,1) na representacao de x2 e somando 1 (coeciente de x(1,1) na
representacao de x2 ), esse processo pode ser feito para todas outras potencias.
Ao trabalhar com somatorios e diferencas pode ser mais simples para manipulacoes ter
a potencia transformada em potencia fatorial, pois as potencias fatoriais tem diferencas e
somatorios podendo ser resolvidos de maneira imediata( por causa de suas propriedades)
enquanto que a expressao fatorada ou na forma canonica de polinomios nao a tao simples
de ser manipulada.
Exemplo 4. Os n
umeros de Stirling tambem aparecem nos coecientes da n-esima derivada de f (ex ), para isso tome g(k, x) = ekx f (k) (ex ), com isso temos g(0, x) = e0x f 0 (ex ) =
f (ex )1 , e temos,
Dg(k, x) = Dekx f (k) (ex ) = k.ekx f (k) (ex ) + e(k+1)x f (k+1) (ex ) = kg(k, x) + g(k + 1, x)
1

onde f (k) (ex ) e a k-esima derivada da funcao f (x) aplicada em ex


CAPITULO 1. SOMATORIOS

32

, como a derivada comuta com o somatorio e tem propriedade de Dn+1 g(x) = DDn g(x),
temos entao como corolario
n

D f (e ) =

n {n }

k=0

1.6

ekx f (k) (ex )

Primeiras t
ecnicas de Somat
orio

1.6.1

Soma telesc
opica ou soma da diferenca

Propriedade 12 (Teorema fundamental do calculo de diferencas nitas, parte I -Soma


telescopica.).
b

]b+1
f (x) = f (x)
a

x=a

]b+1

= f (b + 1) f (a) e f (x) = f (x + 1) f (x).

ondef (x)
a

Deducao
f(a+1) f (a)
f (a + 2) f(a+1)
f (a + 3) f (a + 2)
..
.
f (b) f (b 1)
f (b + 1) f (b)
somando esses termos camos com
f (b + 1) f (a)
Demonstrac
ao.
b

f (x) =

x=a

x=a

f (x + 1)

f (x) =

x=a

b1

f (x + 1) + f (b + 1)

x=a

f (x) f (a) =

x=a+1

fazendo uma mudanca de variavel no segundo somatorio


=

b1

x=a

f (x + 1) + f (b + 1)

b1

x=a

f (x + 1) f (a) = f (b + 1) f (a).


CAPITULO 1. SOMATORIOS

33

No calculo temos Se f e derivavel em (a, b) e integravel em [a, b] entao

f (t)dt = f (b) f (a).

f (t)dt = f (b) f (a).

Podemos demonstrar a propriedade telescopica usando integral. Vale que


b

k=a

k+1

b+1

f (x)dx =

f (x)dx

substituindo f (x) por f (x)

b+1

f (x)dx = f (b + 1) f (a) =

k=a

da

k+1

f (x)dx =

[f (k + 1) f (k)]

k=a

[f (k + 1) f (k)] = f (b + 1) f (a).

k=a

Podemos tambem demonstrar a identidade

k=a

k+1

b+1

f (x)dx =

f (x)dx por meio

de soma telescopica
b

k=a

k+1

f (x)dx =
[

k=a

k+1

f (x)dx
0

f (x)dx] =
0

b+1

f (x)dx
0

b+1

f (x)dx =
0

f (x)dx.
a

Demonstrac
ao.[2-Perturbacao] O metodo de prova que usaremos a seguir e chamado
de perturbacao .
Tomamos a soma

b+1

f (k) e escrevemos de duas maneiras, abrindo o limite inferior e

k=a

abrindo o limite superior


b

f (k) + f (b + 1) = f (a) +

k=a

b+1

f (k) = f (a) +

k=a+1

f (k + 1)

k=a

passando a soma para o mesmo lado da igualdade tem-se


f (b + 1) f (a) =

k=a

f (k + 1) f (k) =

k=a

f (k) = f (b + 1) f (a).


CAPITULO 1. SOMATORIOS

34

O metodo da perturbacao consiste entao em tomar a diferenca da funcao que esta sendo
tomada f .
Propriedade 13 (Generalizacao da soma telescopica). Vale que
b

b+t

g(k + t) g(k) =

k=a

g(k)

a+t1

k=b+1

k=a

b+t

g(k).

Demonstrac
ao.
b

g(k + t) g(k) =

k=a

g(k + t)

k=a

=(

g(k) +

k=a+t

b+t

g(k)) (

g(k) +

k=a

b+t

g(k)

g(k)

k=a+t

a+t1

k=b+1

g(k) =

k=a

a+t1

g(k) =

k=a

g(k)) =

k=a+t

g(k)

k=a

k=b+1

Corol
ario 10. Em especial
n

g(k + t) g(k) =

n+t

k=n+1

k=1
n

g(k)

g(k) =

g(k + n)

g(k)

k=1

k=1

k=1

g(k + t) g(k) =

g(k + n) g(k)

k=1

k=1
n

(E 1)g(k) =
t

(E n 1)g(k)

k=1

k=1

esse resultado diz que podemos comutar t por n e o resultado continua verdadeiro .
t

g(k + n) portanto
se lim g(n) = 0 entao lim g(k + n) = 0 = lim
k=1

(g(k + t) g(k)) =

k=1

g(k).

k=1

Propriedade 14 (Generalizacao da soma telescopica 2). Vale que


p
n

k=1 t=0

onde

t=0

b(t) = 0.

b(t)f (k + t) =

k=1

f (k + n)

t=k

b(t) +

k=1

b(k 1)

t=k

f (t)


CAPITULO 1. SOMATORIOS

35

Demonstrac
ao.
p
n

p
n

b(t)f (k + t) =

k=1 t=0

b(t)f (k + t) =

t=0 k=1

b(t)(

t=0

f (k) +

k=1+t

b(t)

t=0
n

n+t

f (k) +

k=1+p

n+t

f (k) =

k=1+t

f (k)) =

k=1+n

o termo do meio se anula pois

b(t) = 0 ao aplicarmos a propriedade distributiva

t=0

b(t)

t=0

f (k) +

n+t

b(t)

t=0

k=1+t

f (k) =

t=0

k=1+n

p1

b(t)

t=0

f (k) +

b(t)

k=1+t

b(t)

t=1

k=1+t

f (k) +

b(t)

t=0

f (k + n) =

k=1

f (k + n)

k=1

tiramos os termos p1 do primeiro somatorio que e nulo e t = 0 do primeiro, que tambem


e nulo e agora iremos aplicar a reversao da soma
=

b(t 1)

t=1

f (k) +

b(t)

t=k

k=1

k=1

f (k + n)

Corol
ario 11. Se lim f (n) = 0 entao
p

b(t)f (k + t) =

k=1 t=0

Lema 1.

p
p

f (t)b(k 1).

k=1 t=k

h(x) = 0 a, b Z h(x) = 0 x Z

x=a

Demonstrac
ao. Se h(x) = 0 para todo x inteiro vale que
b

h(x) =

x=a

Agora vamos provar que se

x=a

0.0 = 0

0 = 0.

x=a

h(x) = 0 a, b Z entao h(x) = 0 x Z. Tome b = a,

x=a

assim temos

h(x) = h(a) = 0

Como essa igualdade vale para todo a inteiro, entao a funcao e igual a zero para todo
inteiro.


CAPITULO 1. SOMATORIOS

1.6.2

36

Soma da k-
esima diferenca

Corol
ario 12. Vale que
b

t+1

b+1

f (k) = f (k)
t

k=a

pois

t+1

f (k) =

k=a

k=a

b+1
b+1


t

= f (k)
[ f (k)] = g(k)
| {z }
a
a
t

g(k)

se a propriedade e valida para t = 1 segue que


b

b+1

f (k) = f (k)
1

k=a

entao 1 f (k) =

f (k).

1.6.3

Compatibilidade da soma telesc


opica com denic
ao de somat
orio

Iremos mostrar agora que uma expressao deduzida por meio de soma telescopica e
sempre compatvel com essa denicao de somatorio com limite superior menor que com
limite inferior. Supondo que existam g(k) e f (k) denidas em Z tais que g(k) = f (k)
b

para todo k Z, no somatorio


f (k) nao temos nada a fazer se b a, agora se b = a1
k=a

a expressao dada e
b

f (k) = g(b + 1) g(a) = g(a) g(a) = 0

k=a

se b < ao sentido que damos ao somatorio e


b

k=a

f (k) =

a1

f (k) = (g(a) g(b + 1)) = g(b + 1) g(a)

k=b+1

que e equivalente a tomar a soma telescopica em

k=a

f (k) = g(b + 1) g(a).


CAPITULO 1. SOMATORIOS

1.6.4

37

Denic
ao por meio de integral
b

Deni
c
ao 9. Podemos denir o somatorio

, para a e b inteiros, pela relacao

k=a
b

f (x)dx =
{z
}

|k

k=a

k+1

b+1

f (x)dx.
a

g(k)

Vamos demonstrar algumas propriedades com essa denicao.


Corol
ario 13.

g(k) = g(a), pois

k=a
a

k=a

k+1

f (x)dx =
{z
}

a+1

f (x)dx.
a

g(k)

Corol
ario 14.

g(k) =

g(k) +

b+1

g(k) =

a1

b+1

f (x)dx +

Corol
ario 15.

g(k) pois

p+1

f (x)dx =

k=a

k=p+1

k=a

k=a
b

f (x)dx =
p+1

g(k) +

g(k).

k=p+1

k=a

g(k) = 0 pois

k=a
a1

g(k) =

Corol
ario 16.

g(k) =

k=a
b

k=a

a1

f (x)dx = 0.
a

k=a
b

g(k).

k=b+1

b+1

f (x)dx =

g(k) =
a

f (x)dx =
b+1

a1

g(k).

k=b+1

Teorema 3 (Teorema fundamental do calculo de diferencas nitas , parte II). Se


b

b+1

g(x) = f (x)
a

a, b Z = f (x) = g(x) x Z


CAPITULO 1. SOMATORIOS

38

Demonstrac
ao. Considere g(x) = f (x), entao g(x) = f (x) + h(x) tomando o
somatorio temos
b

g(x) =

f (x) +

que e diferente de

b+1
b


h(x) = f (x) +
h(x)
a

b+1

f (x)
a

pois se fosse igual, o termo

h(x)

seria igual a zero para todo a e b inteiros, e pelo lema implicaria h(x) = 0 para todo
inteiro x assim teramos a igualdade g(x) = f (x).

1.6.5

Diferenca do somat
orio

Vamos aplicar o operador ao limite superior do somatorio, chamando o somatorio


com limite superior x de f (x)
f (x) =

d(k) =

x+1

d(k)

d(k) =

d(k) = d(x+1) = Ed(x).


d(k)+d(x+1)
k=a

k=a

k=a

k=a

k=a

aplicando n+1 no limite superior, temos

n+1

f (x) =

n+1

d(k) = [

d(k)] = n [d(x + 1)].

k=a

k=a

Entao temos que o operador aplicado no limite superior do somatorio devolve a


funcao somada aplicada no limite superior. Porem se a funcao que estiver sendo somada
tenha alguma dependencia com o limite superior camos com
f (x) =

d(k, x) =

k=a

x+1

d(k, x+1)

k=a

d(k, x) =

k=a
x

d(k, x+1)+d(x+1, x+1)

k=a

k=a

d(k, x) + d(x + 1, x + 1).

k=a

Agora vamos aplica ao limite inferior do somatorio.

k=a

f (k) =

k=a+1

f (k)

k=a

f (k) =

k=a+1

f (k) f (a)

k=a+1

f (k) = f (a).

d(k, x) = .


CAPITULO 1. SOMATORIOS

Entao vale

39

f (k) = f (n + 1) = Ef (n)

k=a

o operador delta destroisomatorios.


No calculo temos o teorema fundamental do calculo .Seja f : [a, b] R integravel .
Se f e contnua no ponto x [a, b] entao a funcao g : [a, b] R denida como
x
f (t)dt
g(x) =
a

e derivavel em x e vale g (x) = f (x).


Lemma 1.
h(x) = 0 h(x) = c x Z
Demonstrac
ao. Se h(x) = c x Z temos h(x) = h(x + 1) h(x) = c c = 0.
Agora, se temos h(x) = 0 x Z isso implica h(x + 1) h(x) = 0 = h(x + 1) =
h(x) x Z, chamando esse valor de c, temos que h(x) = c x Z.
Teorema 4.
f (x) = g(x) x Z = f (x) = g(x) + c
Demonstrac
ao. Se f (x) = g(x)+c entao f (x) = g(x)+c+h(x), com h(x) uma funcao
nao constante, aplicando o operador em ambos os lados temos f (x) = g(x)+h(x),
pelo lema anterior, como h(x) nao e constante h(x) = 0 para algum x, logo f (x) =
g(x).
Demonstrac
ao.[2] Seja a funcao h(x) = f (x) g(x) aplique o operador Delta de
ambos os lados, h(x) = f (x) g(x) = 0, pois f (x) = g(x) com isso pelo lema
temos que h(x) = c = f (x) g(x), logo f (x) = g(x) + c.
Demonstrac
ao.[3]
f (x) = g(x)
aplicando o somatorio em ambos lados com x variando de 0 ate n 1, temos
n1

x=0

f (x) = f (n) f (0) =

n1

g(x) = g(n) g(0)

x=0

sse
f (n) = g(n) + f (0) g(0) = g(n) + c


CAPITULO 1. SOMATORIOS

40

logo
f (x) = g(x) + c
onde c = f (0) g(0).

1.6.6

Teorema de Cantor

Propriedade 15.

a(n+k) 1
k=1

a(n+s)

s=1

Demonstrac
ao.
p

k=1

a(n+k) 1
1
1
=
k
k1
k1

k=1
a(n+s)
a(n+k)
a(n+s)
a(n+s)
p

s=1

sendo g(k) =

1
k

s=1

s=1

, temos g(0) = 1 (produto vazio) a soma e

a(n+s)

s=1

p+1

g(k 1) = g(k 1)
= g(p) + 1 = 1
k=1

k=1

1
p

a(n+s)

s=1

se lim g(p) = 0 entao temos a serie

k=1

a(n+k) 1
= 1.
k1

a(n+k)
a(n+s)
s=1

1.7

Primitiva nita

Deni
c
ao 10. Uma primitiva nita de uma funcao f (x) e uma funcao g(x) tal que
g(x) = f (x)
Exemplo 5. g(x) = x e uma primitiva nita de f (x) = 1 pois, g(x) = 1 = f (x), para
toda constante c, x + c tambem e primitiva nita de f (x) = 1.


CAPITULO 1. SOMATORIOS

41

Deni
c
ao 11. Sendo g(x) uma primitiva nita de f (x), para toda constante c, g(x) + c,
tambem e primitiva de f (x), pois [g(x) + c] = g(x) = f (x) a famlia de primitivas
nitas de f (x) sera representada por

f (x) = g(x) + c

usaremos a notacao

f (x)

para representar que o somatorio indenido e em relacao a variavel x. Uma primitiva

nita de f (x) sera denominada somatorio indenido de f (x),


f (x) sera chamado de
somatorio indenido de f (x) e o somatorio
b

f (x)

chamado de somatorio denido. Observe que se temos uma primitiva nita de f (x),
podemos resolver o somatorio em qualquer intervalo inteiro, pois temos g(x) tal que
g(x) = f (x), aplicamos o somatorio em ambos lados
b

b+1
b


g(k) = g(k)
f (k).
=
a

k=a

k=a

Isto e se temos o somatorio indenido de f (x)

f (x) = g(x)

passamos para o somatorio denido da seguinte maneira


b

x=a

Temos

b+1

= g(b + 1) g(a)
f (x) = g(x)
a

f (x) = g(x) + c e g(x) = f (x) substituindo, temos

g(x) = g(x) + c

para calcular o somatorio denido atraves do indenido, podemos tomar c = 0 pois


qualquer outro valor se anula quando se toma limites no somatorio.


CAPITULO 1. SOMATORIOS

42

Da igualdade

f (x) = g(x) + c

, aplicando em ambos lados temos

f (x) = [g(x) + c] = g(x) = f (x)

logo

f (x) = f (x).

Propriedade 16 (O somatorio indenido e linear).

af (x) + bg(x) = a

f (x) + b

g(x)

Demonstrac
ao. Aplicando delta em ambos termos temos

(a

f (x) + b

af (x) + bg(x) = af (x) + bg(x)

g(x)) = a

f (x) + b

g(x) = af (x) + bg(x)

logo vale a propriedade.


Propriedade 17 (Comutatividade com derivada).
D

g(x) =

Dg(x)

Demonstrac
ao. Aplicando em ambos termos segue
D

g(x) = D

g(x) = Dg(x)

pela comutatividade com derivada e

1.8

Dg(x) = Dg(x)

N
umeros de Bernoulli

B0
1

B1
1

B2
1
6

B4
1
30

B6
1
42

B8
1
30

B10
5
66

B12
691
2730

B14
7
6

B16
3617
510

B18
43867
798

B20
174611
330

B22
854513
138


CAPITULO 1. SOMATORIOS

43

Deni
c
ao 12 (N
umeros de Bernoulli). Sao n
umeros denidos pela funcao geradora
xn
x
=
Bn
ex 1 n=0
n!

xn
,isto e, sao os n
umeros que aparecem como coeciente de
na expansao em serie formal
n!
x
da funcao x
.
e 1
Propriedade 18 (Recorrencia dos n
umeros de Bernoulli). Os n
umeros de Bernoulli satisfazem a recorrencia

(
)
n+1
Bp
= (0, n) .
p
p=0

Demonstrac
ao. Tem-se que a serie de ex e
x

e =

xn
n=0

e 1=
x

xn
n=0

n!

que escreveremos como


e 1=
x

n!

1=

xn
n=1

an

n=0

n!

xn
n!

sendo que an = 0 quando n = 0 e an = 1 se n = 0, n N . Temos entao


(
)
(
)(
)

xn
xn
xn
x
x= e 1
Bn
=
an
Bn
=
cn xn
n!
n!
n!
n=0
n=0
n=0
n=0
onde cn e dado por (pelo produto de Cauchy)
)
n (

anp
Bp
cn =
.
(n p)! p!
p=0
de
x=

cn x n

n=0

derivando em ambos lados em relacao a x temos


1=

n=0

cn nx

n1

n=1

cn nx

n1

n=0

cn+1 (n + 1)xn


CAPITULO 1. SOMATORIOS

44

temos entao que cn+1 (n + 1) = 1 quando n = 0 e quando n > 0, cn+1 (n + 1) = 0, temos a


igualdade para cn+1 (n + 1)
cn+1 (n + 1) =

n+1 (

p=0

)
an+1p
Bp
.
(n + 1)
(n + 1 p)! (p)!

como
(n + 1)
=
p!(n + 1 p)!
escrevemos

(
)
n+1
p

) (
)
n+1 (

n+1
cn+1 (n + 1) =
an+1p .Bp
p
p=0

temos que analisar o termo an+1p que e zero quando o ndice e igual a zero, logo n+1p =
0 n + 1 = p, abrimos entao o u
ltimo termo do somatorio que e igual a zero e camos
com

) (
)
)
(
n+1 (
n

n+1
n+1
cn+1 (n + 1) =
an+1p .Bp
=
Bp
p
p
p=0
p=0

pois os outros termos an+1p = 1 pois os ndices serao diferente de zero. Temos entao
(
)
n

n+1
Bp
=1
p
p=0
se n = 0 e

(
)
n+1
Bp
=0
p
p=0

se n > 0, n N que e uma recorrencia para calcular os n


umeros de Bernoulli. Podemos
escrever essa recorrencia de forma compacta usando o delta de Kronecker
(
)
n

n+1
Bp
= (0, n)
.
p
p=0

1.8.1

Deduzindo uma f
ormula para soma de pot
encias usando
n
umeros de Bernoulli

Denimos a funcao
fn (x) =
Como vale

n1

k=0

xk =

x(enx 1)
.
ex 1

n1

ex.n 1
xn 1
, tomando x = ex segue que
exk = x
, entao
x1
e

1
k=0

fn (x) = x

n1

k=0

exk


CAPITULO 1. SOMATORIOS

usando a serie e =

zt
t=0

t!

45

tomando z = xk segue

ex.k =

xt .k t
t=0

t!

substituindo em fn (x) tem-se


fn (x) = x

n1

xt .k t

t!

k=0 t=0

logo o coeciente de x

p+1

n1 p

k
k=0

p!


n1 t

k t+1
=
)x
(
t!
t=0 k=0

. De outra maneira, temos que

x(enx 1)
Bk xk xk nk
Bk xk xk nk+1
fn (x) =
=(
)(
) = x(
)(
)
ex 1
k!
k!
k!
(k + 1)!
k=0
k=1
k=0
k=0

o produto das duas u


ltimas series e

ck xk , onde

k=0

cp =

k=0

Bk .npk+1
k!(p k + 1)!

e o coeciente de xp+1 , por causa do fator x fora do produto das series. Igualamos com o
coeciente da outra serie

n1 p

k
k=0

p!

k=0

Bk .npk+1
k!(p k + 1)!

que implica
)
p
p (
1 Bk .npk+1 p!(p + 1)
1 p+1
k =
=
Bk .npk+1 .
(p
+
1)
k!(p

k
+
1)!
(p
+
1)
k
k=0
k=0
k=0

n1

Chegamos entao no resultado


)
p (
1 p+1
Bk .npk+1 .
k =
(p
+
1)
k
k=0
k=0

n1

1.9

F
ormula de soma de Euler-Maclaurin.

Faremos uma deducao informal de uma formula que expressa somatorios com derivadas
e integrais usando n
umeros de Bernoulli, chamada formula de soma de Euler-Maclaurin.


CAPITULO 1. SOMATORIOS

46

Com ela seremos capazes de deduzir uma expressao fechada para soma

k p com p

k=0

natural.
Vamos tomar a serie de Taylor da funcao f (x + y), C , tomando derivadas em relacao
a y, no ponto y0 = 0
f (x + y) =

Dk f (x).

k=0

Tomando y = 1 temos

Dk f (x)

f (x + 1) =

k!

k=0

Simbolicamente expressamos
Ef (x) =

yk
k!

Dk f (x)

k!

k=0

Ou tomando y = h um passo qualquer complexo ou real


h

E f (x) = f (x + h) =

Dk f (x).

k=0

Corol
ario 17.
E=

Dk

k!

k=0

hk
k!

= eD

Corol
ario 18. Como = E 1, temos
=e 1=
D

Dk

Dk+1
=
k!
(k + 1)!
k=0

k=1

Corol
ario 19.
h

E =

(Dh)k

k!

k=0

= ehD

Teorema 5 (Formula de Euler-Maclaurin ).

f (x) = B0

f (x) +

Bk+1 .

k=0

Dk
f (x) + c
(k + 1)!

Onde Bk sao n
umeros de Bernoulli.
Demonstrac
ao. Tomando o somatorio

eD

= 1 temos

1
1


CAPITULO 1. SOMATORIOS

47

Usando a relacao

t
tk
B
.
=
k
et 1 k=0
k!

1
1
tk
=
B
.
k
et 1
t k=0
k!

Onde Bk sao n
umeros de Bernoulli. Temos

1
1
Dk
=
B
.
k
eD 1
D k=0
k!

D1
Dk1
Dk1
Dk1
=
Bk .
= B0 .
+
Bk .
= B0 +
Bk .
=
k!
0!
k!
k!
k=0
k=1
k=1

Dk
= B0 +
Bk+1 .
.
(k + 1)!
k=0

Logo

= B0

Bk+1 .

k=0

f (x) = B0

f (x) +

Dk
(k + 1)!

Bk+1 .

k=0

Dk
f (x) + c
(k + 1)!

Abrindo alguns termos

f (x)

f (x) = c +

f (x) Df (x) D3 f (x)


+

+ ...+
2
12
720

Podemos depois tomar os limite do somatorio


b

f (x) = B0

x=a

Dk
f (x) +
Bk+1 .
f (x) + c
(k
+
1)!
k=0

]b+1
a

Exemplo 6. Ache uma expressao para

x = B0

x+

k=0

Bk+1 .

Dk
x2
D0
D1
x + c = B0 + B1 .
x + B2 .
x+c=
(k + 1)!
2
(1)!
(2)!
=

x2 x
+ c1
2
2


CAPITULO 1. SOMATORIOS

48

Exemplo 7. Ache uma expressao para

x4 +

x = B0

x4
Bk+1 .

k=0
5

= B0

x
D 4
D 4
D2 4
D3 4
D4 4
+ B1 .
x + B2 .
x + B3 .
x + B4 .
x + B5 .
x +c=
5
(1)!
(2)!
(3)!
(4)!
(5)!
= B0

D0 4
D1 4
D3 4
x5
+ B1 .
x + B2 .
x + B4 .
x +c=
5
(1)!
(2)!
(4)!
=

1.10

Dk
x4 + c =
(k + 1)!

1 4.3.2
x5 x4 4x3
+
+
.
x+c=
5
2
2.6
30 4.3.2
x5 x4 x3
x
=

+c
5
2
3
30

N
umeros Eulerianos

Com eles seremos capazes de dar mais uma formula para a soma

k=1

Sao n
umeros denidos pela recorrencia
n+1

= (k + 2)
k+1

Com condicoes iniciais

n
+ (n k)

k+1

p+1
=0
p+1

p
=1
0

p+1
=1
p

para p natural.

k p para p natural.


CAPITULO 1. SOMATORIOS

49

N
umeros Eulerianos
n n n n n n n
n
0

11

11

26

66

26

57

302

302

57

Teorema 6 (Identidade de Worpitzky). Vale a identidade


)
n n (

x+k
x =
.
n
k=0 k
n

Para todo x real(complexo?) e n natural.


Demonstrac
ao. Vamos demonstrar por inducao, so que precisamos de uma propriedade de coecientes binomiais que vamos deduzir a partir das potencias fatoriais
(x + k)(n+1,1) = (x + k)(n,1) (x + k n) = x(x + k)(n,1) (n k)(x + k)(n,1)
logo
x(x + k)(n,1) = (x + k)(n+1,1) + (n k)(x + k)(n,1)
dividindo por n!
(
)
(
)
(
)
x+k
x+k
x+k
x
= (n + 1)
+ (n k)
.
n
n+1
n
Para n = 0 a identidade se verica, pois
0

x =

)
0 0 (

x+k
k=0

)
0 (
x+0
= 1.
=
0
0

Suponho a validade para n, vamos provar para n + 1 temos


n+1

(
)
(
) n
)
n n
n n (

x+k
x+k
x+k
(n k)
=
(n + 1)
+
x=
=
n
n
+
1
n
k
k
k
k=0
k=0

escrevendo n + 1 = (n k) + (1 + k)


CAPITULO 1. SOMATORIOS

50

(
) n
) n
)
(
(
n n

x+k
x+k
x+k
=
(n k)
+
(n k)
+
(k + 1)
=
n+1
n
n+1
k
k
k=0 k
agrupando os termos semelhantes e usando propriedade de coeciente binomial
=

n n

k=0

n n

k=0

(
) n
(
)
x+k+1
x+k
(n k)
+
(k + 1)
=
n+1
n+1
k

)
)
(
(
n n
x+k+1
x+k
=
(k + 1)
+
(n k)
n+1
n+1
k=0 k

abrindo o primeiro termo do primeiro somatorio e mudando variavel e percebendo que no


segundo somatorio podemos tomar o limite superior como n 1 pois para k = n o termo
n k e zero
(
=

)
(
) n
(
)
n1 n
x
x+k+1
x+k+1
+
(k + 2)
+
(n k)
=
n+1
n
+
1
n
+
1
k+1
k
k=0

usando a recorrencia dos n


umeros eulerianos, temos
(
=

)
) (
)
)
)
n1 n+1 (
n n+1 (
n n+1 (
x
x+k+1
x
x+k
x+k
+
=
+
=
n+1
n
+
1
n
+
1
n
+
1
n+1
k+1
k
k
k=0
k=1
k=0
n+1

o termo

= 0 por condicao inicial, logo temos


0

n+1

)
n+1 n+1 (

x+k
k=0

n+1

Vamos ver alguns exemplos de casos da identidade de Worpitzky


( )
x
x =
= 1.
0
0

( )
x
x=
=x
1
( ) (
)
x
x+1
x =
+
2
2
( )
(
) (
)
x
x+1
x+2
3
x =
+4
+
3
3
3
2


CAPITULO 1. SOMATORIOS

51

( )
(
)
(
) (
)
x
x+1
x+2
x+3
x =
+ 11
+ 11
+
4
4
4
4
4

( )
(
)
(
)
(
) (
)
x+1
x+2
x+3
x+4
x
x =
+ 26
+ 66
+ 26
+
5
5
5
5
5
5

( )
(
)
(
)
(
)
(
) (
)
x
x+1
x+2
x+3
x+4
x+5
x =
+ 57
+ 302
+ 302
+ 57
+
6
6
6
6
6
6
6

1.11

F
ormula de Interpolac
ao de Newton

Vamos deduzir informalmente a formula de interpolacao de Newton, que permite escreve uma sequencia como soma das suas diferencas.
De = E 1 tem-se + 1 = E, elevando a n, tem-se
n ( )

n
E = ( + 1) =
k
k
k=0
n

aplicando em f (0) tem-se


n ( )

n
E f (0) = f (n) =
k f (0).
k
k=0
n