Integer Values of Generating Functions for a Type of Second-Order Linear Recurrence Sequence
Luu Ba Thang and Nguyen Duy Nguyen
Department of Mathematics and Informatics
Hanoi National University of Education
136 Xuan Thuy
Cau Giay, Hanoi
Vietnam
Abstract:
Define an integer sequence
(An)n≥0 by setting
A0 = a,
A1 = b,
and
An+1 =
pAn +
qAn–1
for all n.
We consider the case
q = 1 to explore the problem of finding all rational numbers
x such
that the generating function of
(An)
yields an integer when evaluated at
x. We point out that we can divide the set of all
x-values into families
and find some families that always exist. Then we provide an algorithm
to find all the families through a finite computation. Finally, we apply
the algorithm to the special cases that (a,b) = (0,1) and
(a,b) = (1,1).
Full version: pdf,
dvi,
ps,
latex
(Concerned with sequences
A000032
A000045
A001333.)
Received September 22 2025; revised versions received September 23 2025; October 31 2025;
November 3 2025; November 25 2025; December 7 2025.
Published in Journal of Integer Sequences,
December 11 2025.
Return to
Journal of Integer Sequences home page