Professional Documents
Culture Documents
Partições de inteiros
Encontro de Novos Talentos em Matemática
João Guerreiro
6 de Setembro de 2008
Partições de 5:
5
4+1
3+2
3+1+1
2+2+1
2+1+1+1
1+1+1+1+1
Partições de 5:
5
4+1
3+2
3+1+1
2+2+1
2+1+1+1
1+1+1+1+1
Função partição
Definição
Para n ≥ 0,
p(n) representa o número de partições de n.
Fórmula
∞
" #
1 X √ d sinh( πk ( 23 (x − 24
1 1/2
)) )
p(n) = √ Ak (n) k 1 1/2
π 2 k=1 dx (x − 24 )
x=n
onde,
k−1
X X j hj hj 1 2πihn
Ak (n) = exp πi − − −
k k k 2 k
0≤h<k, (h,k)=1 j=1
Grafos de Ferrers
••••••• •
•••••
•••••
••• •
•
•
representa a partição 7 + 5 + 5 + 4 + 1 + 1.
Exemplo
Teorema
p(n| ≤ m partes) = p(n|todas as partes ≤ m)
Demonstração
••••••• • ••••• •
••••• ••• •
••••• 7−→ ••• •
••• • ••• •
• •••
• •
•
Teorema de Euler
Teorema
p(n|partes distintas) = p(n|partes impares)
Demonstração
8 + 5 + 2 → (4 + 4) + 5 + (1 + 1)
→ (2 + 2) + (2 + 2) + 5 + 1 + 1
→5+1+1+1+1+1+1+1+1+1+1
Demonstração
5+1+1 7−→ 5 + 2
3+3+1 7−→ 6 + 1
3+1+1+1+1 7−→ 4 + 3
1+1+1+1+1+1+1 7−→ 4 + 2 + 1
Funções geradoras
(q + q 3 + q 5 )(q + q 3 + q 5 ) =
= q 1+1 + q 1+3 + q 1+5 + q 3+1 + q 3+3 + q 3+5 + q 5+1 + q 5+3 + q 5+5 =
= q 2 + 2q 4 + 3q 6 + 2q 8 + q 10
Funções geradoras
(q + q 3 + q 5 )(q + q 3 + q 5 ) =
= q 1+1 + q 1+3 + q 1+5 + q 3+1 + q 3+3 + q 3+5 + q 5+1 + q 5+3 + q 5+5 =
= q 2 + 2q 4 + 3q 6 + 2q 8 + q 10
Um resultado de Euler
1 1 1 1 X
. . ... ... = p(n)q n
1 − q 1 − q2 1 − q3 1 − qk
n≥0
∞
Y 1 X
= p(n)q n
1 − qk
k=1 n≥0
Um resultado de Euler
1 1 1 1 X
. . ... ... = p(n)q n
1 − q 1 − q2 1 − q3 1 − qk
n≥0
∞
Y 1 X
= p(n)q n
1 − qk
k=1 n≥0
Partições de um conjunto S
P∞
de S)q n = + q i + q 2i + q 3i + ...)
Q
n=0 p(n|partes i∈S (1
Q 1
= i∈S 1−q i
Partições de um conjunto S
Outro tipo de partições cuja função geradora pode ser obtida são
as partições em partes distintas.
P∞
distintas de S)q n = + qi )
Q
n=0 p(n|partes i∈S (1
Teorema de Euler
Teorema
P∞ n
P∞ n
n=0 p(n|partes distintas)q = n=0 p(n|partes impares)q
Demonstração
∞
Y
(1 + q n ) = (1 + q)(1 + q 2 )(1 + q 3 )...
n=1
1 − q2 1 − q4 1 − q6 1 − q8
= ...
1−q 1 − q2 1 − q3 1 − q4
1
=
(1 − q)(1 − q 3 )(1 − q 5 )...
∞
Y 1
=
1 − q 2n−1
n=1
Demonstração
∞
Y
(1 + q n ) = (1 + q)(1 + q 2 )(1 + q 3 )...
n=1
1 − q2 1 − q4 1 − q6 1 − q8
= ...
1−q 1 − q2 1 − q3 1 − q4
1
=
(1 − q)(1 − q 3 )(1 − q 5 )...
∞
Y 1
=
1 − q 2n−1
n=1
Demonstração
∞
Y
(1 + q n ) = (1 + q)(1 + q 2 )(1 + q 3 )...
n=1
1 − q2 1 − q4 1 − q6 1 − q8
= ...
1−q 1 − q2 1 − q3 1 − q4
1
=
(1 − q)(1 − q 3 )(1 − q 5 )...
∞
Y 1
=
1 − q 2n−1
n=1
Identidades de Rogers-Ramanujan
Teorema
p(n|partes 2 − distintas) = p(n|partes ≡ ±1 mod 5)
p(n|partes 2 − distintas)
2
= qm q a1 +a2 +...+am =
P
0≤a1 ≤a2 ≤...≤am
2 q a1 +a2 +...+2am−1
= qm
P
0≤a1 ≤a2 ≤...≤am−1 1−q =
2 1
= qm (1−q)(1−q 2 )...(1−q m )
p(n|partes 2 − distintas)
m2
P∞ 1
m=0 q (1−q)(1−q 2 )...(1−q m )
p(n|partes ≡ ±1 mod5)
Q∞
= n=1 (1 + q 5n−1 + q 2(5n−1) + ...)(1 + q 5n−4 + q 2(5n−4) + ...) =
Q∞ 1
= n=1 (1−q 5n−1 )(1−q 5n−4 )
2a Identidade de Rogers-Ramanujan
m2 +m
P∞ 1
m=0 q (1−q)(1−q 2 )...(1−q m )
Q∞ 1
n=1 (1−q 5n−2 )(1−q 5n−3 )
As identidades
Teorema
∞ ∞
X 2 1 Y 1
qm m
= 5n−1
(1 − q)...(1 − q ) (1 − q )(1 − q 5n−4 )
m=0 n=1
∞ ∞
X
m2 +m 1 Y 1
q m
= 5n−2
(1 − q)...(1 − q ) (1 − q )(1 − q 5n−3 )
m=0 n=1
∞
X ∞
Y
(−1)m q m(3m−1)/2 = (1 − q n )
m=−∞ n=1
∞
X ∞
Y
(−1)m q m(m+1)/2 (2m + 1) = (1 − q n )3
m=0 n=1
∞ ∞
X Y (1 − q 5n )5
p(5n + 4)q m = 5
(1 − q)6
m=0 n=1
Conjectura de Alder
Conjecturou-se,
p(n|partes d − distintas) = p(n|partes ≡ ±1 mod (d + 3))
que é falso para d>2.
Conjectura (Alder)
p(n|partes d − distintas) ≥ p(n|partes ≡ ±1 mod (d + 3))
Outros problemas
Bibliografia