Particoes como metodo de prova de identidades

envolvendo series hipergeometricas

Semana Academica da Pos-Graduacao em Matematica UFRGS

Proponente: Alessandro Bagatini

Programa de Pos-Graduacao em Matematica - UFRGS

Endereco atual: Instituto Federal Catarinense
alessandro.bagatini@ifc.edu.br

Porto Alegre, 2017

Resumo
Series hipergeometricas sao series de potencia em n cujos termos sao expressos como funcoes
racionais em funcao de n. Em teoria dos numeros, e comum aparecer identidades este tipo de series.
A prova destas identidades, na maior parte das vezes, e feita analiticamente e procura-se maneiras
combinatorias para que estas sejam provadas, buscando interpretar os termos da serie como funcao
geradora que conta numeros com algumas caractersticas.
Em teoria das particoes, a identidade mais conhecida, devida a Srinivasa Ramanujan (e ao mesmo
tempo e independentemente a Leonard James Rogers), e chamada de 1a e 2a Identidades de Rogers-
Ramanujan. A primeira delas diz que o numero de particoes de um inteiro n em partes congruentes
a 1 (mod 5) e igual ao numero de particoes de n em partes 2-distintas. Entende-se por partes
2-distintas por aquelas que diferem de pelo menos duas unidades. A segunda, muito parecida com
a primeira, estabelece uma igualdade entre o numero de particoes de n em partes congruentes a 2
(mod 5) e partes 2 distintas, maiores do que 1. As identidades combinatorias acima enunciadas sao
traduzidas como
2
X qn 1
= 5 ) (q 4 ; q 5 )
n=0
(q; q) n (q; q

e
2
X q n +n 1
= 2 5 3 5
.
n=0
(q; q) n (q ; q ) (q ; q )

Estes sao exemplos das identidades comentadas acima. Lembramos que aqui utilizamos a notacao

(a, q)n = (1 a)(1 aq)(1 aq 2 ) (1 aq n1 ).

Tais identidades ja foram provadas combinatoriamente, construindo uma bijecao entre os dois
conjuntos de particao considerados. No entanto, isso so foi conseguido 87 anos apos a sua divulgacao.
Alem disso, tal bijecao nao e simples de ser entendida.
Nos casos das funcoes Mock Theta, que sao funcoes hipergeometricas, seus termos gerais foram
interpretados como funcoes geradoras para algum tipo de particoes. Uma nova representacao para
particoes em forma de matrizes de duas linhas foi introduzida em [8] e utilizada posteriormente em
diversos trabalhos, tais como [3], [6], [7], [2], [4] e [5]. Baseado nessa nova representacao para os
coeficientes de Funcoes Mock Theta, foram obtidas varias identidades ineditas.
Trabalhando com essa nova representacao para os coeficientes das funcoes Mock Theta e classifican-
do-os de acordo com a soma da segunda linha da respectiva matriz, foi possvel estabeler novos
resultados. Em especial, para a funcao
2 2
X q n +n X q n +n
(q) = = ,
n=0
(q; q 2 )n+1 n=0
(1 + q)(1 + q 3 )(1 + q 5 ) (1 + q 2n+1 )

1
 foi observado que os coeficientes satisfaziam uma relacao com os de outra serie hipergeometrica,
conjecturando a identidade
Teorema 1. Temos a identidade

X q n(n+1) X
= (q; q 2 )n q n . (1)
n=0
(q; q 2 )n+1 n=0

Embora a seguinte identidade possa ser provada facilmente trocando x e y por q na equacao 6,
pagina 29 de [1], ela pode ser provada combinatorialmente, considerando ambas como duas funcoes
geradoras para dois tipos de particao. Tal prova e feita mediante a construcao de uma bijecao entre
os dois conjuntos referidos e pode ser encontrada em [4] e no artigo [5], o qual foi submetido a revista
Notes on Number Theory and Discrete Mathematics.
Neste trabalho, apresentarei a referida prova do teorema acima, alem de uma prova sob mesmo
contexto do teorema a seguir
Teorema 2.

X qn
Fo (q) = ,
n=1
(q 2 ; q 2 )n
sendo Fo (q) a funcao geradora para as particoes de n em partes mpares.
Palavras-chave: Particoes. Identidades de Rogers-Ramanujan. Bijecoes. Funcoes Mock Theta.

Referencias
[1] G. E. Andrews. The theory of partitions. Cambridge University Press, 1998.

[2] A. Bagatini, M. L. Matte and A. Wagner. On new results about partitions into parts congruent to 1
(mod 5). Proceeding Series of the Brazilian Society of Computational and Applied Mathematics,
accepted for publication.
[3] A. Bagatini, M. L. Matte, and A. Wagner. Identities for partitions generated by the unsigned version
of some mock theta functions. Bulletin of the Brazilian Mathematical Society, New Series, 2016.

[4] A. Bagatini. Matrix Representation for Partitions and Mock Theta Functions. Tese de doutorado.
UFRGS/RS. Brasil. 2016
[5] A. Bagatini, M. L. Matte, and A. Wagner. Partitions generated by mock theta functions (q), (q)
and (q) and relations with partitions into distinct parts. Notes on Number Theory and Discrete
Mathematics. Preprint.

[6] E. H. M. Brietzke, J. P. O. Santos, and R. da Silva. Bijective proofs using two-line matrix represen-
tations for partitions, The Ramanujan Journal, 23(1-3):265?295, 2010.
[7] E. H. M. Brietzke, J. P. O. Santos e R. da Silva. Combinatorial interpretations as two-line array for
the mock theta functions. Bulletin of the Brazilian Mathematical Society, New Series, 44(2):233?253,
2013.
[8] J. P. O. Santos, P. Mondek and A. C. Ribeiro. New Two-Line Arrays Representing Partitions,
Annals of Combinatorics, 15:341-354, 2011.