Anotaçõe Sobre Somatórios

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

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.

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).

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) =

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

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)

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.

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) =

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).

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.

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).

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)

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).

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.

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).

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

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)

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

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

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

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

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

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 .

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

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

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

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

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

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

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).

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).

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)

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.

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).

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

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) = .

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

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.

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.

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

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

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

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.

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

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

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.

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)

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

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

Anotaçõe Sobre Somatórios

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Anotaçõe Sobre Somatórios

Uploaded by

Copyright:

Available Formats

Anotacoes sobre somatorios

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

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

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

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

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

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

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

Compatibilidade da soma telescopica com denicao de somatorio . . 36

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

Deduzindo uma formula para soma de potencias usando n

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

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

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

Usaremos em especial o caso de h = 1

Propriedade 1. Vale a propriedade

Vamos comecar denindo somatorio recursivamente.

Recorrencia (Propriedade de abertura):

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

de a ate b. Podemos escrever tambem

que estamos aplicando com k variando.

a uma letra grega mai

f (i), normalmente nao usaremos

ndice i, deixando essa letra reservada para o n

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

A denicao de somatorio usando a recorrencia

e similar a propriedade de integral

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

entao devemos ter

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

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

f (x)dx que temos propriedade similar no somatorio

Vejamos alguns exemplos de somatorios.

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

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

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

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

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

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

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

Propriedade 3 (Mudanca de variavel).

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

pela denicao temos

Provamos agora essa propriedade no caso b < a

No caso vazio essa propriedade tambem se verica pois

Com integrais essa propriedade se verica

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

por meio da mudanca de variavel de subtrair x dos limites

No caso de termos um somatorio

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

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

somatorio, iremos demonstrar as propriedades para a soma na forma

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

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

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

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

Vamos provar para p = n

pela hipotese de inducao segue

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

Agora para n < 0 temos

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

para todos b, a Z, pois pela linearidade