Multiple Reciprocal Sums and Multiple Reciprocal Star Sums of Polynomials Are Almost Never Integers
Qiuyu Yin,Shaofang Hong,Liping Yang,Min Qiu
DOI: https://doi.org/10.1016/j.jnt.2018.06.005
IF: 0.679
2018-01-01
Journal of Number Theory
Abstract:Let n and k be integers such that 1 <= k <= n and f(x) be a nonzero polynomial of integer coefficients such that f(m) not equal 0 for any positive integer m. For any k-tuple (S) over right arrow = (S-1, ... ,S-k) of positive integers, we define H-k,H- f ((S) over right arrow ,n) := Sigma (1 <= i1 < ... < ik <= n) Pi (k)(j = 1) 1/f(i(j))(Sj) and H-k,H- f* ((S) over right arrow, n) := Sigma (1 <= i1 <= ... <= n) Pi (j) (=) (k)(1) 1/f(i(j))(Sj) If all S-j are 1, then let H-k,H-f ((S) over right arrow, n) := H-k,H- f (n) and H-k,H- f* ((S) over right arrow, n) := H-k,H-f* (n). Hong and Wang refined the results of Erdos and Niven, and of Chen and Tang by showing that H-k,H-f(n) is not an integer if n >= 4 and f(x) = ax + b with a and b being positive integers. Meanwhile, Luo, Hong, Qian and Wang established the similar result when f(x) is of nonnegative integer coefficients and of degree no less than two. For any k-tuple (S) over right arrow = (S-1, ... ,S-k) of positive integers, Pilehrood, Pilehrood and Tauraso proved that H-k,H- f ((S) over right arrow, n) and H-k,H-f*((S) over right arrow, n) are nearly never integers if f(x) = x. In this paper, we show that if f (x) is a nonzero polynomial of nonnegative integer coefficients such that either deg f (x) >= 2 or f (x) is linear and S-j >= 2 for all integers j with 1 <= j <= k, then H-k,H-f ((S) over right arrow ,n) and f H-k,H-f* ((S) over right arrow, n) are not integers except for the case f(x) = x(m) with m >= 1 being an integer and n = k = 1, in which case, both of H-k,H-f ((S) over right arrow, n) and H-k,H-f* ((S) over right arrow, n) are integers. Furthermore, we prove that if f(x) = 2x - 1, then both H-k,H- f ((S) over right arrow, n) and H-k,H- f* ((S) over right arrow, n) are not integers except when n = 1, in which case H-k,H-f ((S) over right arrow ,n) and H-k,H- f* ((S) over right arrow, n) are integers. The method of the proofs is analytic and p-adic. (C) 2018 Elsevier Inc. All rights reserved.