Funções Geradoras

a0 = 0
an+1 = 2 an + 1 Acho que já vi
esta recursão...

a1 = 2 a0 + 1
...
an xn-1 = 2 an-1 xn-1 + xn-1
an+1 xn = 2 an xn + xn

Definindo:

Podemos somar e obter:

Portanto:
 Funções Geradoras
Temos portanto:

Podemos encontrar uma fórmula para an?

Começamos decompondo A(x) em frações parcias:

Portanto an = 2n - 1 Achei mais fácil

do outro jeito...
 Funções Geradoras
Comportamento
Assintótico
Termo Geral

Problema
Funções Médias e propriedades
Combinatório geradoras estatísticas

Seqüência
Relação Recursiva

Identidades
 Funções Geradoras
a0 = 1
an+1 = 2 an + n

a1 = 2 a0 + 0
...
an xn-1 = 2 an-1 xn-1 + (n-1)xn-1
an+1 xn = 2 an xn + nxn Desta vez somamos de 1 a ∞

a1 +...+ an xn-1 = 2 (a0+a1 x + ...+ anxn +...) +0+x+2x2+3x3+...

 Funções Geradoras
a0 = 1
an+1 = 2 an + n
 Funções Geradoras

O primeiro termo é (-1 vezes): 1 + 2x + 3x2 + 4x3 + 5x4 +...

Ou seja é a função geradora da seqüência: 1, 2, 3, 4, 5, ...

O segundo termo é (2 vezes): 1 + 2x + 4x2 + 8x3 + 16x4 +...

Ou seja é a função geradora da seqüência: 1, 2, 4, 8, 16, ...

Logo:
Funções Geradoras
{an} A(X)
<1,0,0,0,0,...> 1

<0,...,1,0,0,...> xm

<1,b,b2,b3,b4,...> 1
1−

<1,0,...,0,1,0,...,0,1,0,...> 1
1−

<1,2,3,4,5,6,...> 1
1−

1
<0,1, , , , ,...> ln
1−

<1,1, , , , ,...>
 Combinatória
De quantas maneiras podemos preencher um retângulo
de tamanho 2 x n com peças de dominós idênticas, de
tamanho 2 x 1 ?

N=1 N=2

N=3

N=4
 Combinatória
Temos então:
A0 = 1
A1 = 1

An = An-1 + An-2 = An-1 + An-2

Obviamente An = Fn+1
Podemos chegar ao termo geral através de funções
geradoras.
 Fibonacci
Achando o termo geral para Fibonacci:
F0 = 0
F1 = 1
x 2 F2 = x 2 F1 + x 2 F0
x 3 F3 = x 3 F2 + x 3 F1
.....
xn Fn = xn Fn-1 + xn Fn-2
______________________

F(x) – x = xF(x) + x2F(x)

F(x) =
 Fibonacci
F(x) = F(x) = +

Onde w1 e w2 são as raízes de

1 – x – x2 = 0

Portanto: F(x)=
+

Onde e são as raízes de

x2 = x + 1

Portanto: =A +B
 Funções Geradoras
{cn} C(X)
<αa0+βa0, αa1+βa1, αa2+βa2, αa3+βa3,...> αA(x)+βB(x)

<0,...,0, a0, a1, a2, a3,...> xm A(x)

<a1, a2, a3, a4, a5,...> A x −

< a0, ca1, c2a2, c3a3, c4a4, c5a5,...> A(cx)

<a1, 2a2, 3a3, 4a4, 5a5,...> A’(x)

<0, a0, a1, a2, a3,...>

! " #"

<a0, a0+a1, a0+a1+a2, a0+a1+a2+a3, ...> A(x)

<a0b0, a0b1+a1b0, a0b2+a1b1+a2b0, ...> A(X)B(X)

Convolução discreta ou
Produto de Cauchy
 Convolução
De quantas formas se pode dar um troco de n reais dispondo
apenas de notas de R$2,00 e R$5,00 (em quantidade suficiente)?
 Convolução
De quantas formas se pode dar um troco de n reais dispondo
apenas de notas de R$2,00 e R$5,00 (em quantidade suficiente?

O número de formas de se dar o troco apenas com notas de

R$2,00 é dada pela sequência:

{an} = <1,0,1,0,1,0,...> A(x) =

O número de formas de se dar o troco apenas com notas de

R$5,00 é dada pela sequência:

{an} = <1,0,0,0,0,1,...> A(x) = $

 Convolução
De quantas formas se pode dar um troco de n reais dispondo
apenas de notas de R$2,00 e R$5,00 (em quantidade suficiente?

A solução é dada pela sequência:

cn=<a0b0, a0b1+a1b0, a0b2+a1b1+a2b0, ...> C(x)=A(x)B(x)

C(x) = $

C(x) =
% %&% % '% (

D(x) = C(x) (1 + x + + + )=
%
 Convolução
-
D(x) = = + + = + +
% % ( ) ( % )

Portanto:

{dn} = (1+x+x2+...)+ (1-x+x2+...)+ (1+2x+3x2+...)

%( ),
dn = (n+1+ )
{dn} = <1,1,2,2,3,3,4,4,5,5,....> = 1 +
 Convolução
D(x) = C(x) (1 + x + + + )

Portanto:
dn = cn + cn-1 + cn-2 + cn-3 + cn-4

dn – dn-1 = cn – cn-5
cn = cn-5 + dn – dn-1 = cn-5 + – = cn-5+ [n é par]
Logo cn = cn-10 + 1

Finalmente:
c0 = 1; c1 = 0; c2 = 1; c3 = 0; c4 = 1;
c5 = 1; c6 = 1; c7 = 1; c8 = 1; c9 = 1;
cn = 1 + – [(n mod 10) ∈ {1, 3}]
 Números de Catalan
Com n= 1:
()
Com n=2:
()(), (())
Com n=3:
()()(), ()(()), (())(), (()()), ((()))

Em geral a solução de n+1 pode ser vista como:

(()())()

Portanto:

para n≥0
 Números de Catalan

xC(x)2 = x(C0x0+C1x1+C2x2+C3x3+...) 2

xC(x)2 = C0C0x1 + C0C1x2+ C0C2x3+ C0C3x4+ ...

+ C0C1x2 + C1C2x3+ C1C3x4+ C1C4x5+ ...
C1 x1
C2 x2
+ C0C1x3 + C1C2x4+ C1C3x5+ C1C4x6+ ...

C3 x3

xC(x)2 = C(x) – 1
C(x) = 1 + xC(x) 2
 Números de Catalan
C(x) = 1 + xC(x)2

Mas C(0) = 1, portanto:

Números de Catalan