2016/12/18 by Meher, N. K., Rout, S. S.
#11J86 #FOS: Mathematics #Number Theory (math.NT) #Primary 11B37 #Secondary 11D72
paper · doi:10.48550/arxiv.1612.05869
Let \ Un\n ≥ 0 be a non-degenerate binary recurrence sequence with positive discriminant. Let \p1,…, ps\ be fixed prime numbers and \b1,… ,bs\ be fixed non-negative integers. In this paper, we obtain the finiteness result for the solution of the Diophantine equation U_n1 + ⋯ + U_nt = b1 p1z1 + ⋯+ bs pszs under certain assumptions. Moreover, we explicitly solve the equation Fn1+ Fn2= 2z1 +3z2, in non-negative integers n1, n2, z1, z2 with z2≥ z1. The main tools used in this work are the lower bound for linear forms in logarithms and the Baker-Davenport reduction method.