Olimpada Brasileira de Matemtica

X semana olmpica 21 a 28 de janeiro de 2007

Eduardo Poo
Integrais discretas Nveis III e U
Integral discreta: dizemos ue
! "n F
# integral discreta de
! "n f
se e somente se:
! " ! " ! 1 " n f n F n F = +
$ para n inteiro "a princpio!
%a mesma &orma$ dizemos ue
! "n f
# a deri'ada discreta de
! "n F
(
Notao:
! " ! " n F n f
n
=

Utilidade: con)ecida a integral discreta

! "n F
da &un*o
! "n f
$ temos condi+es de &azer
o somat,rio:
! " ! 1 " ! " a F b F k f
b
a k
+ =

=
$ a e b inteiros
- integral discreta trans&orma uma soma em soma telesc,pica(
.a/endo de algumas propriedades$ # poss'el tra/al)ar dinamicamente com
integrais discretas para o/ter &,rmulas no'as a partir de outras con)ecidas( -ui$ n*o
ueremos pro'ar ue uma &un*o dada # integral discreta de outra$ pois essa 'eri&ica*o #
simples( 0ueremos o/ter &erramentas ue nos possi/ilitem -12-3 integrais discretas de
&orma r4pida$ para no &inal poder calcular o 'alor de um somat,rio ue ten)a surgido de
algum pro/lema( Em alguns casos$ # su&iciente sa/er a 5cara6 da integral discreta "ou seja$
se # um polin7mio$ e8ponencial etc!(
-lgumas integrais discretas "o e8erccio de 'eri&ica*o # simples!:
cn c
n
=

9 9 ( n n n
n
=

1
=

q
q
q
n n
n
( )9 1 log log =

n n
a
n
a

2
sen 2
2
cos
sen
k
k
kn
kn
n

2
sen 2
2
sen
cos
k
k
kn
kn
n
( )
1 sen :
1 2 sen
2
sen
2

=

n n
n
n
( )
1 sen :
1 2 sen
2
cos
2

+ =

n n
n
n

+
=

1 k
n
k
n
n

+
=

1 n
k n
n
k n
n
Propriedades
1! -ssim como integrais contnuas "as primiti'as!$ e8istem '4rias integrais discretas para
uma dada &un*o$ e todas elas di&erem por uma constante(
Exemplo:
n
2
e
1 2 +
n
s*o integrais discretas de
n
n f 2 ! " = ( ;eri&iue pela de&ini*o9
2! Integra*o discreta # uma trans&orma*o linear:
[ ]

+ = +
n n n
n g b n f a n g b n f a ! " ! " ! " ( ! " (
$ para constantes a e b(
- igualdade nos &ornece uma integral discreta para a &un*o do lado esuerdo$
lem/re<se ue podemos somar constantes do lado direito e continuar com uma integral
discreta(
=! Integral discreta do produto "por partes!: sendo
! " ! " n F n f
n
=

e
! " ! " n G n g
n
=

$
ent*o:

+ =
n n
n G n f n G n F n g n F ! 1 " ! " ! " ! " ! " ! "
Exemplo: 1alcule

n
n nsen
e

n
n n sen
2
$ comparando com o c4lculo de

xdx xsen
e

xdx x sen
2
:! .endo
! $ " n x f
uma &un*o das 'ari4'eis x e n$ deri'4'el na 'ari4'el x$ ent*o:

n n
n x f
x
n x f
x
! $ " ! $ "
Podemos usar a pr,pria 'ari4'el n$ se a &un*o ti'er deri'ada nessa 'ari4'el:

=
n n
n f
dn
d
n f
dn
d
! " ! "
Exemplo: 1alcule

n
n
nx
$ com x uma constante em rela*o a n(
>! .eguindo um camin)o an4logo$ temos ue:
( ) Cn dx n x f dx n x f
n n
+

! $ " ! $ "
Para alguma constante C( Essa constante # encontrada atra'#s de 'alores iniciais
con)ecidos das &un+es(
Exemplo: Pro'e ue

=
+

+ =

0
1
1
1
1
2 ln
! 1 "
dx
x
x
k
n n
k
k
Aplicao: .oma de pot?ncias consecuti'as(
.eja a seguinte &un*o:
m m m
n
k
m
m
n k n S + + + = =

=
((( 2 1 ! "
1
24 uma &,rmula recursi'a em ue podemos calcular
! "n S
m
a partir de 'alores
anteriores "tente pro'4<la como e8erccio!:

=
+

+
+ = +
1
0
1
! "
1
1 ! 1 " ! " ! 1 "
m
k
k
m
m
n S
k
m
n n S m
@ pro/lema dessa &,rmula # a praticidade: precisamos de todas as &un+es
anteriores$ e ainda assim &aremos um tra/al)o alg#/rico grande( 1om integrais discretas$
conseguimos o/ter
! "n S
m
a partir de
! "
1
n S
m
apenas com um tra/al)o aritm#tico(
Inicialmente$ se ueremos
! "n S
m
$ ueremos sua integral discreta

n
m
n
( Asando a
propriedade ue nos permite trocar a integral discreta com a contnua "escol)endo a pr,pria
'ari4'el n como 'ari4'el de integra*o contnua!:
( ) Cn dn n dn n
n
m
n
m
+

1 1
- integral contnua pode ser realizada sem pro/lemas:
Cn dn n
m
n
n
m
n m
+

1
3enomeando a constante a ser encontrada:
Cn dn n m n
n
m
n
m
+

1
Essa constante pode ser encontrada pela di&erena entre integrais discretas uando
0 = n $ &ornecendo o oposto da soma dos outros coe&icientes j4 o/tidos pela integra*o
contnua( 3esumindo:
.e
n a n a n a n a n
m
m
m
m
n
m
1
2
2
1
1
1
((( + + + + =

$ ent*o:
n b n b n b n b n
m
m
m
m
n
m
1
2
2
1
1
((( + + + + =
+
+
1om
1
=
k k
a
k
m
b $ para
1 $((($ 2 $ 1 + = m k
$ e

+
=
=
1
1
0
m
k
k
b b
(
-lguns 'alores:
n
n
=

1
2 2
2
n n
n
n
=

B 2 =
2 =
2
n n n
n
n
+ =

: 2 :
2 = :
=
n n n
n
n
+ =

=0 = 2 >
= : >
:
n n n n
n
n
+ =

Aplicao: .oma de pot?ncias multiplicadas por progress*o geom#trica

-gora procuraremos

n
n m
x n
$ com x uma constante em rela*o a n( @/ser'e:
( )

+ = + =

n
n m
n
n m
n
n m n m
n
n m
x n x x n m x x n x mn x n
dn
d
ln ln
1 1
%as &ormas iniciais de

n
n m
x n
$ encontramos uma &un*o da &orma:
( ) n a n a n a n a x x n
m
m
m
m
n
n
n m
1
2
2
2
2
1
1
1
((( + + + + =

com as constantes
k
a
sendo &un+es de x$ mas n*o dependendo de n( C natural procurar
uma integral discreta com a seguinte &orma:
( ) n b n b n b n b x x n
m
m
m
m
n
n
n m
1
2
2
1
1
((( + + + + =


Essa &orma pode ser encontrada$ e os coe&icientes satis&azem
1
=
k k
a
k
m
b $
m i $((($ 2 $ 1 =
e

=
m
k
k
b
x
x
b
1
0
1
(
-lguns 'alores:
( )
( ) ( )
( ) [ ] x n x
x
x
x
nx x n
nx
n n n n
n

=
+

1
1 1
1
2 2
1
$
1 x
( ) 2 2 2 =

n n
n
n
n
( ) B : 2 2
2 2
+ =

n n n
n
n
n
( ) 2B 18 B 2 2
2 = =
+ =

n n n n
n
n
n
( ) 1>0 10: =B 8 2 2
2 = : :
+ + =

n n n n n
n
n
n
Prolemas
1< 1alcule as seguintes integrais discretas:
a!

n
n
n
=
2
e!

n n
n
n
!9 1 "
! 1 " 2
/!

n
n
n
2
=
&!

+
n
n n
2
1
c!

+
n
n n 9 ! 2 "
1
g!

+ +
n
n n 1
1
d!

n
n
2
2
)!

+
n
n n ! 1 cos" cos
1
2< 1alcule:

=

n
k
n
n
k
1
2
sen
lim
=< 1alcule

=
=

n
k
n
n
k
k
n
k
k
1
=
1
:
2 (
2 (
lim
:< 1alcule
m
m n
k
m
n
n
m
n
k
1
lim
1
1
+

+
=

$ com m inteiro positi'o(

>< Pro'e ue
( )


=

=
=
+
+
1
=
1
2
2
1 1 2
n n
n
n
h
n n
n
$ sendo

=
=
n
k
n
k
h
1
1
(
B< -c)e a deri'ada "contnua! da &un*o gama
! "n
para n inteiro positi'o$ sa/endo ue
= ! 1 " D
$ a constante de Euler "um 'alor con)ecido! e
1 ! 1 " =
( - &un*o gama
satis&az
! " ! 1 " x x x = +
$ para todo x real$ assim
!9 1 " ! " = n n
para n inteiro positi'o(
7< "@EF2002! @ diGmetro de um conjunto R S # de&inido como sendo
! min" ! ma8" ! " S S S D =
( @ conjunto 'azio$ por de&ini*o$ tem diGmetro igual a zero(
1alcule a soma dos diGmetros de todos os su/conjuntos de
{ } n A $((($ = $ 2 $ 1 =
$ em &un*o de
n(
!e"er#ncias:
H1I Ama re&er?ncia so/re somat,rios e algumas considera+es )ist,ricas so/re o raciocnio
)umano e implementa*o de algoritmos em computadores: 5-JE6$ FarKo PetKo'seK$
2er/ert .( Lil&$ %oron Meil/erger(