On members of Lucas sequences which are products of factorials

  • PDF / 455,373 Bytes
  • 31 Pages / 439.37 x 666.142 pts Page_size
  • 20 Downloads / 253 Views

DOWNLOAD

REPORT


On members of Lucas sequences which are products of factorials Shanta Laishram1

· Florian Luca2,3,4 · Mark Sias5

Received: 24 September 2019 / Accepted: 25 July 2020 © Springer-Verlag GmbH Austria, part of Springer Nature 2020

Abstract We show that if {Un }n≥0 is a Lucas sequence, then the largest n such that |Un | = m 1 !m 2 ! · · · m k ! with 1 ≤ m 1 ≤ m 2 ≤ · · · ≤ m k satisfies n < 62,000. When the roots of the Lucas sequence are real, we have n ∈ {1, 2, 3, 4, 6, 12}. As a consequence, we show that if {X n }n≥1 is the sequence of X -coordinates of a Pell equation X 2 − dY 2 = ±1 with a non-zero integer d > 1, then X n = m! implies n = 1. Keywords Lucas sequence · Factorials · Pell equations · Primes in arithmetic progressions · Primitive divisors · abc conjecture Mathematics Subject Classification Primary 11B39 · 11B65; Secondary 11D72 · 11D45

Communicated by Adrian Constantin.

B

Shanta Laishram [email protected] Florian Luca [email protected] Mark Sias [email protected]

1

Stat-Math Unit, Indian Statistical Institute, 7, S. J. S. Sansanwal Marg, New Delhi 110016, India

2

School of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, South Africa

3

Research Group in Algebraic Structures and Applications, King Abdulaziz University, Jeddah, Saudi Arabia

4

Centro de Ciencias Matemáticas, UNAM, Morelia, Mexico

5

Department of Pure and Applied Mathematics, University of Johannesburg, PO Box 524, Auckland Park 2006, South Africa

123

S. Laishram et al.

1 Introduction Let r , s be coprime nonzero integers with r 2 + 4s = 0. Let α, β be the roots of the quadratic equation x 2 − r x − s = 0 and assume without loss of generality that |α| ≥ β|. We assume further that α/β is not a root of 1. The Lucas sequences {Un }n≥0 and {Vn }n≥0 of parameters (r , s) are given by Un =

αn − β n α−β

and

Vn = α n + β n

for all

n ≥ 0.

Alternatively, they can be defined recursively by U0 = 0, U1 = 1, V0 = 2 and V1 = r and both recurrences Un+2 = rUn+1 + sUn and Vn+2 = r Vn+1 + sVn

hold for all n ≥ 0.

Let P F :=

⎧ ⎨ ⎩

±

k 

m j ! : k ≥ 1and1 ≤ m 1 ≤ m 2 ≤ · · · ≤ m k

j=1

⎫ ⎬ ⎭

be the set of integers which are the product of factorials. Members of P F are sometimes called Jordan-Polya numbers and several recent papers investigate their arithmetic properties. For example, the counting function of P F (that is, the cardinality of the set P F ∩ [1, x] for positive real numbers x) was recently studied in [4], while the occurrence of perfect powers in P F was studied in [2]. In [6], it was shown that if t ≥ 1 is any fixed integer, then the Diophantine equation t 

Un i ∈ P F

(1)

i=1

has only finitely many positive integer solutions 1 ≤ n 1 ≤ n 2 ≤ · · · ≤ n t and they are all effectively computable. When (r , s) = (1, 1) then Un = Fn is the nth Fibonacci number. For this particular case, it was shown in [7] that the largest solution of Eq. (1) in which t is also an indeterminate but with the condition on the indices 1 ≤ n 1 < n 2 < · · · < n t is F1 F2 F3 F4 F5 F6 F8 F10 F12 = 11! Similar