Few words on the history of the problem
The author of [47] claims that, as far as he knows, it seems that none has studied the problem yet and that he has not seen any related result before. However, problems of this type are matter or folklore and have been relatively popular and circulated among the fans of problems in elementary algebra and analysis. The literature devoted to the elementary problem could be challenging to trace back. The problems of this type have been known to the author of this paper for a long time. Formula (1) is Problem 3.1.46 in book [28]. The book was quite popular and has had several editions. However, unlike many other books by Mitrinović and his collaborators, it was not translated into English, so it predominately circulated among some Slavic countries. Unlike some other problems in [28], Mitrinović and Adamović did not give any information about the source of the problem. At the moment, we do not have an earlier reference. Nevertheless, [28] shows that the problems of the type are known. It should also be mentioned that Problem 3.1.46 in [28] is proposed in an equivalent but camouflaged form. Namely, it is suggested to show that the formula holds
$$ \Biggl[ \Biggl(\frac{\pi ^{2}}{6}-\sum_{k=1}^{n} \frac{1}{k^{2}} \Biggr)^{-1} \Biggr]=n,\quad n\in {\mathbb{N}}.$$
On the proof of formula (1) in [47]
It is known that not only that formula (1), but, besides this, the proof of the formula given in [47] is exactly the same as the one in [28]. Namely, for each \(n\in {\mathbb{N}}_{2}\), we have
$$\begin{aligned} \begin{aligned} \frac{1}{n} &= \sum_{k=n}^{\infty} \biggl(\frac{1}{k}-\frac{1}{k+1} \biggr) = \sum _{k=n}^{\infty}\frac{1}{k(k+1)} < \sum _{k=n}^{ \infty}\frac{1}{k^{2}} < \sum _{k=n}^{\infty}\frac{1}{(k-1)k} \\ &= \sum _{k=n}^{\infty} \biggl(\frac{1}{k-1}- \frac{1}{k} \biggr) = \frac{1}{n-1}\end{aligned} \end{aligned}$$
and consequently
$$ n-1< \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{2}} \Biggr)^{-1}< n$$
for each \(n\in {\mathbb{N}}_{2}\), from which together with the definition of the integer part function, formula (1) easily follows for any such n.
Remark 1
Note that the above argument does not hold for \(n=1\), since the quantity \(\frac{1}{n-1}\) is not defined for the value of n. However, in this case, formula (1) follows from the Euler formula
$$ \sum_{n=1}^{\infty}\frac{1}{k^{2}}= \frac{\pi ^{2}}{6}$$
[15] and the observation \(\pi ^{2}>6\).
On the proof of formula (2) in [47]
The proof of formula (2) given in [47] is a modification of the above proof of formula (1). First, for \(n\in {\mathbb{N}}_{2}\), one can get the following well-known estimate
$$\begin{aligned} \sum_{k=n}^{\infty}\frac{1}{k^{3}}< \sum_{k=n}^{\infty} \frac{1}{(k-1)k(k+1)}=\sum _{k=n}^{\infty}\frac{1}{2} \biggl( \frac{1}{(k-1)k}-\frac{1}{k(k+1)} \biggr)=\frac{1}{2(n-1)n}. \end{aligned}$$
(3)
At the same time, it was not noticed therein that the last sum is telescoping, so that there are some unnecessary extra calculations in [47].
To get the inequality
$$\begin{aligned} \frac{1}{2(n-1)n+1}< \sum_{k=n}^{\infty} \frac{1}{k^{3}} \end{aligned}$$
(4)
from which, along with inequality (3), formula (2) easily follows, it was used the inequality
$$\begin{aligned} \frac{1}{2(k-1)k+1}-\frac{1}{2(k+1)(k+2)+1}< \frac{1}{k^{3}}+ \frac{1}{(k+1)^{3}},\quad k\in {\mathbb{N}}_{2}, \end{aligned}$$
(5)
which was applied to the partial sums of odd and even indices separately. However, it was also not noticed that the inequalities in Lemma 2 and Lemma 3 in [47] can be unified by inequality (5), so there are also some unnecessary extra calculations therein. For this proof of formula (2), we do not have a specific reference at the moment, so it may be new.
A short and elegant proof of inequality (2)
In order to prove (2), it seems less natural to use the difference
$$ \frac{1}{2(k-1)k+1}-\frac{1}{2(k+1)(k+2)+1}$$
for dealing with a telescoping sum in this case.
Note that for \(k\in {\mathbb{N}}_{2}\), we have
$$\begin{aligned} \frac{1}{2(k-1)k+1}-\frac{1}{2k(k+1)+1}= \frac{4k}{(2k^{2}+2k+1)(2k^{2}-2k+1)}= \frac{4k}{4k^{4}+1} < \frac{1}{k^{3}} \end{aligned}$$
(6)
from which it follows that
$$\begin{aligned} \frac{1}{2(n-1)n+1}=\sum_{k=n}^{\infty} \biggl( \frac{1}{2(k-1)k+1}- \frac{1}{2k(k+1)+1} \biggr)=\sum _{k=n}^{\infty}\frac{4k}{4k^{4}+1} < \sum _{k=n}^{\infty}\frac{1}{k^{3}}, \end{aligned}$$
(7)
which is a very short and elegant proof of inequality (4).
Hence, the estimations in (3) and (7) give a short and elegant proof of formula (2), which is in the spirit of the proof of formula (1) given in [28].
A refinement of inequality (3)
Inequality (3) is a sort of an elementary set up estimate. A better one can be obtained using the Hermite-Hadamard inequalities
$$\begin{aligned} f \biggl(\frac{a+b}{2} \biggr)\le \frac{1}{b-a} \int _{a}^{b}f(t)\,dt\le \frac{f(a)+f(b)}{2}, \end{aligned}$$
(8)
where \(f:[a,b]\to {\mathbb{R}}\) is a convex function [17, 18].
Namely, from (8), we have
$$ f(k)=f \biggl(\frac{k-\frac{1}{2}+k+\frac{1}{2}}{2} \biggr)\le \int _{k- \frac{1}{2}}^{k+\frac{1}{2}}f(t)\,dt$$
from which, it follows that
$$ \sum_{k=n}^{\infty }f(k)\le \int _{n-\frac{1}{2}}^{+\infty}f(t)\,dt.$$
Since, in our case,
$$\begin{aligned} f(t)=\frac{1}{t^{3}}, \end{aligned}$$
(9)
we have
$$\begin{aligned} \sum_{k=n}^{\infty}\frac{1}{k^{3}}< \int _{n-\frac{1}{2}}^{+\infty} \frac{dt}{t^{3}}= \frac{1}{2(n-\frac{1}{2})^{2}}= \frac{1}{2n(n-1)+\frac{1}{2}}. \end{aligned}$$
(10)
Remark 2
Note that
$$ \biggl[ \biggl(\frac{1}{2n(n-1)+\frac{1}{2}} \biggr)^{-1} \biggr]=2n(n-1),$$
for \(n\in {\mathbb{N}}_{2}\).
An estimate from below
If f is a real convex function, then using the second inequality in (8), we have
$$\begin{aligned} \frac{f(k)+f(k+1)}{2}\ge \int _{k}^{k+1}f(t)\,dt \end{aligned}$$
(11)
for each \(k\in {\mathbb{N}}\).
If the convex function f also satisfies the relation
$$\begin{aligned} \lim_{t\to +\infty}f(t)=0, \end{aligned}$$
(12)
then from (11), it follows that
$$\begin{aligned} \sum_{k=n}^{\infty }f(k)\ge \frac{f(n)}{2}+ \int _{n}^{+\infty}f(t)\,dt, \quad n\in {\mathbb{N}}. \end{aligned}$$
(13)
Since the function in (9) satisfies condition (12), and for the function, inequality (11) is strict, from (13), it follows that
$$ \sum_{k=n}^{\infty}\frac{1}{k^{3}}> \frac{1}{2n^{3}}+ \int _{n}^{+ \infty}\frac{dt}{t^{3}}= \frac{n+1}{2n^{3}}.$$
From this and since
$$ \biggl[\frac{2n^{3}}{n+1} \biggr]= \biggl[ \frac{2n^{3}-2n+n+1+n-1}{n+1} \biggr]=2n(n-1)+1,$$
we have
$$ \widetilde{a}_{n}:= \Biggl[ \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{3}} \Biggr)^{-1} \Biggr]\le 2n(n-1)+1$$
from which, along with (10), we have that the quantity \(\widetilde{a}_{n}\) takes one of the values \(2n(n-1)\) and \(2n(n-1)+1\). This interesting fact shows the strength of elementary inequality (6).
Remark 3
It is highly expected that a better estimate from below for the sequence \(\sum_{k=n}^{\infty}\frac{1}{k^{3}}\), \(n\in {\mathbb{N}}\) can be obtained using some more refined integral inequalities or using some integral formulas, such as the Euler-Maclaurin formula [14, 19, 20, 26] together with some elementary inequalities. However, since we already have a few elementary proofs for the estimate, we will not conduct further investigation in this direction.
Connection with difference equations
Bearing in mind that some authors have given formulas for the integer parts of some reciprocal sums of solutions to some linear difference equations with constant coefficients (see, e.g., [31, 46, 48]), it is natural to make some connections between the topic and the problems mentioned above. Recall that solvability of the linear equations has been known to de Moivre [11, 12] and D. Bernoulli [9] and that the theory was later developed by several authors [10, 15, 23–25]. Their solvability implies the solvability of many nonlinear difference equations, including some recent ones (see, e.g., [1, 10, 20, 22, 23, 26, 29, 30, 33, 38–44] and the related references therein).
Note that the sequence \(a_{n}=n^{2}\) is a solution to the difference equation
$$\begin{aligned} \Delta ^{3} a_{n}=0,\quad n\in {\mathbb{N}}, \end{aligned}$$
(14)
where Δ is the forward difference operator defined by
$$ \Delta a_{n}=a_{n+1}-a_{n}$$
([20, 26]). General solution to equation (14) is given by
$$\begin{aligned} a_{n}=an^{2}+bn+c,\quad n\in {\mathbb{N}}, \end{aligned}$$
(15)
where \(a, b, c\in {\mathbb{R}}\) are some constants (a method for solving equation (14) was known to D. Bernoulli [9]; a closed-form formula for solutions to equation (14) depending on initial values can be found also in [15]).
Based on these facts and formula (1), it is natural to pose the following interesting problem.
Problem 1
Let \((a_{n})_{n\in {\mathbb{N}}}\) be the sequence in (15). Find closed-form formulas for the sequence
$$ \Biggl[ \Biggl(\sum_{k=n}^{+\infty} \frac{a}{a_{k}} \Biggr)^{-1} \Biggr],$$
for all \(n\in {\mathbb{N}}\) or for sufficiently large n.
First, note that such formulas need not always exist for all \(n\in {\mathbb{N}}\), since the sequence \(a_{n}\) defined in (15) can be equal to zero for some \(n\in {\mathbb{N}}\) and some values of coefficients a, b, and c. Besides this, the problem makes sense if the series
$$ \sum_{k=1}^{+\infty}\frac{1}{ak^{2}+bk+c}$$
is convergent. Hence, it must be \(a\ne 0\) (see, e.g., [13, 28, 49]).
Of an interest is the case when the sequence \(a_{n}\) is positive, since then it naturally generalizes the case \(a_{n}=n^{2}\) for which formula (1) holds. A necessary condition for this is \(a>0\). In this case, it must also be \(a+b+c>0\). Since \(\Delta ^{2} a_{n}=2a\) for every \(n\in {\mathbb{N}}\), we have \(2a=\Delta ^{2}a_{1}\) so that the initial values \(a_{j}\), \(j=\overline{1,3}\), have to satisfy the condition \(a_{3}-2a_{2}+a_{1}>0\). If \(a>0\), then a sufficient condition for this is \(\min \{b, c\}\ge 0\).
However, since
$$ an^{2}+bn+c\sim an^{2},$$
as \(n\to +\infty \), we will not assume the last condition, but only \(a\ne 0\), and will consider the sequence
$$\begin{aligned} \Biggl(\sum_{k=n}^{+\infty} \frac{a}{ak^{2}+bk+c} \Biggr)^{-1},\quad n \in {\mathbb{N}}. \end{aligned}$$
(16)
Since the coefficients a, b, c are arbitrary numbers, the values of (16) can vary drastically for the small values of indices. Thus, the solution to the problem heavily depends on the values of the coefficients, and the requested formulas could be quite complicated if we want them to hold for every \(n\in {\mathbb{N}}\). This is why some authors try to find some closed-form formulas which hold for sufficiently large n.
In what follows, we consider Problem 1, as well as the corresponding problem for the sequence
$$\begin{aligned} a_{n}=an^{3}+bn^{2}+cn+d,\quad n\in {\mathbb{N}}. \end{aligned}$$
(17)
To do this, we will use some asymptotic methods, which are also used in studying sequences and difference equations from time to time (see, e.g., [3–8, 16, 32, 34–37] and the related references therein).
We need a lemma, which could be of folklore type. We give proof of it for the completeness and benefit of the reader.
Lemma 1
Let \(k>1\). Then, the following asymptotic formula holds
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{1}{j^{k}}= \frac{1}{(k-1)n^{k-1}}+ \frac{1}{2n^{k}}+\frac{k}{12n^{k+1}}- \frac{k(k+1)(k+2)}{720n^{k+3}}+o \biggl(\frac{1}{n^{k+3}} \biggr). \end{aligned}$$
(18)
Proof
First, recall that the following known asymptotic relation holds
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{1}{j^{k}} \sim \int _{n}^{+\infty} \frac{dt}{t^{k}}= \frac{1}{(k-1)n^{k-1}}, \end{aligned}$$
(19)
when \(k>1\) (see, e.g., [13, 28, 49]).
Let
$$\begin{aligned} x_{n}:=\sum_{j=n}^{+\infty} \frac{1}{j^{k}}-\frac{1}{(k-1)n^{k-1}}. \end{aligned}$$
(20)
Since \(k>1\), the remainder of the series in (20) converges to zero, implying the convergence to zero of the sequence \(x_{n}\).
Further, by some calculations and using the well-known asymptotic relation
$$\begin{aligned} (1+x)^{\alpha }=1+C_{1}^{\alpha }x+C^{\alpha }_{2}x^{2}+ \cdots +C_{l}^{ \alpha }x^{l}+o \bigl(x^{l} \bigr),\quad \text{as } x\to 0, \end{aligned}$$
(21)
where \(\alpha \in {\mathbb{R}}\setminus \{0\}\) and \(l\in {\mathbb{N}}\) (see, e.g., [13, 21, 49]), we have
$$\begin{aligned} x_{j}-x_{j+1}&=\frac{1}{j^{k}}- \frac{1}{(k-1)j^{k-1}}+ \frac{1}{(k-1)(j+1)^{k-1}} =\frac{1}{j^{k-1}} \biggl(\frac{1}{j}-\frac{1}{k-1}+ \frac{(1+\frac{1}{j})^{1-k}}{k-1} \biggr) \\ &=\frac{1}{j^{k-1}} \biggl(\frac{1}{j}-\frac{1}{k-1}+ \frac{1}{k-1} \biggl(1+\frac{1-k}{j}+\frac{(1-k)(-k)}{2j^{2}}+O \biggl( \frac{1}{j^{3}} \biggr) \biggr) \biggr) \\ &=\frac{k}{2j^{k+1}}+O \biggl(\frac{1}{j^{k+2}} \biggr) \end{aligned}$$
from which, together with (19), it follows that
$$ x_{n}=\sum_{j=n}^{+\infty}(x_{j}-x_{j+1})= \sum_{j=n}^{+\infty} \biggl( \frac{k}{2j^{k+1}}+O \biggl(\frac{1}{j^{k+2}} \biggr) \biggr)= \frac{1}{2n^{k}}+o \biggl(\frac{1}{n^{k}} \biggr).$$
Hence,
$$ \sum_{j=n}^{+\infty}\frac{1}{j^{k}}= \frac{1}{(k-1)n^{k-1}}+ \frac{1}{2n^{k}}+o \biggl(\frac{1}{n^{k}} \biggr).$$
Let
$$ y_{n}:=\sum_{j=n}^{+\infty} \frac{1}{j^{k}}-\frac{1}{(k-1)n^{k-1}}- \frac{1}{2n^{k}}.$$
Then, using some calculations and (21), we have
$$\begin{aligned} y_{j}-y_{j+1}={}&\frac{1}{j^{k}}- \frac{1}{(k-1)j^{k-1}}- \frac{1}{2j^{k}}+\frac{1}{(k-1)(j+1)^{k-1}}+ \frac{1}{2(j+1)^{k}} \\ ={}&\frac{1}{j^{k-1}} \biggl(\frac{1}{2j}-\frac{1}{k-1}+ \frac{(1+\frac{1}{j})^{1-k}}{k-1}+\frac{(1+\frac{1}{j})^{-k}}{2j} \biggr) \\ ={}&\frac{1}{j^{k-1}} \biggl(\frac{1}{2j}-\frac{1}{k-1}+ \frac{1}{k-1} \biggl(1+\frac{1-k}{j}+\frac{C^{1-k}_{2}}{j^{2}}+ \frac{C^{1-k}_{3}}{j^{3}}+O \biggl(\frac{1}{j^{4}} \biggr) \biggr) \\ & {}+\frac{1}{2j} \biggl(1-\frac{k}{j}+ \frac{C_{2}^{-k}}{j^{2}}+O \biggl(\frac{1}{j^{3}} \biggr) \biggr) \biggr)=\frac{k(k+1)}{12j^{k+2}}+O \biggl(\frac{1}{j^{k+3}} \biggr) \end{aligned}$$
from which, together with (19), it follows that
$$\begin{aligned} y_{n}=\sum_{j=n}^{+\infty}(y_{j}-y_{j+1})= \sum_{j=n}^{+\infty} \biggl( \frac{k(k+1)}{12j^{k+2}}+O \biggl(\frac{1}{j^{k+3}} \biggr) \biggr) = \frac{k}{12n^{k+1}}+o \biggl(\frac{1}{n^{k+1}} \biggr). \end{aligned}$$
Let
$$\begin{aligned} z_{n}:=\sum_{j=n}^{+\infty} \frac{1}{j^{k}}-\frac{1}{(k-1)n^{k-1}}- \frac{1}{2n^{k}}- \frac{k}{12n^{k+1}}. \end{aligned}$$
(22)
Then, using some calculations and formula (21), we have
$$\begin{aligned} z_{j}-z_{j+1} ={}&\frac{1}{2j^{k}}-\frac{1}{(k-1)j^{k-1}}-\frac{k}{12j^{k+1}}+ \frac{1}{(k-1)(j+1)^{k-1}}+\frac{1}{2(j+1)^{k}}+ \frac{k}{12(j+1)^{k+1}} \\ ={}&\frac{1}{j^{k-1}} \biggl(\frac{1}{2j}-\frac{1}{k-1}- \frac{k}{12j^{2}}+\frac{(1+\frac{1}{j})^{1-k}}{k-1}+ \frac{(1+\frac{1}{j})^{-k}}{2j}+ \frac{k(1+\frac{1}{j})^{-k-1}}{12j^{2}} \biggr) \\ ={}&\frac{1}{j^{k-1}} \biggl(\frac{1}{2j}-\frac{1}{k-1}- \frac{k}{12j^{2}} \\ & {} + \frac{1}{k-1} \biggl(1+\frac{C^{1-k}_{1}}{j}+ \frac{C^{1-k}_{2}}{j^{2}}+ \frac{C^{1-k}_{3}}{j^{3}}+ \frac{C^{1-k}_{4}}{j^{4}}+ \frac{C^{1-k}_{5}}{j^{5}} +O \biggl( \frac{1}{j^{6}} \biggr) \biggr) \\ & {} +\frac{1}{2j} \biggl(1+\frac{C^{-k}_{1}}{j}+ \frac{C_{2}^{-k}}{j^{2}}+ \frac{C_{3}^{-k}}{j^{3}}+ \frac{C_{4}^{-k}}{j^{4}}+O \biggl(\frac{1}{j^{5}} \biggr) \biggr) \\ & {}+\frac{k}{12j^{2}} \biggl(1+ \frac{C^{-k-1}_{1}}{j}+ \frac{C^{-k-1}_{2}}{j^{2}}+ \frac{C^{-k-1}_{3}}{j^{3}}+O \biggl(\frac{1}{j^{4}} \biggr) \biggr) \biggr) \\ ={}&-\frac{k(k+1)(k+2)(k+3)}{720j^{k+4}}+O \biggl(\frac{1}{j^{k+5}} \biggr) \end{aligned}$$
from which, together with (19), it follows that
$$\begin{aligned} z_{n}&=\sum_{j=n}^{+\infty}(z_{j}-z_{j+1})=- \sum_{j=n}^{+\infty} \biggl( \frac{k(k+1)(k+2)(k+3)}{720j^{k+4}}+O \biggl(\frac{1}{j^{k+5}} \biggr) \biggr) \\ &=-\frac{k(k+1)(k+2)}{720n^{k+3}}+o \biggl(\frac{1}{n^{k+3}} \biggr). \end{aligned}$$
(23)
From (22) and (23), asymptotic formula (18) follows. □
Case \(a_{n}=an^{2}+bn+c\)
Now, we consider Problem 1. First, note that using (21), it follows that
$$\begin{aligned} \frac{a}{a_{n}}&=\frac{a}{an^{2}} \biggl(1+ \frac{b}{an}+ \frac{c}{an^{2}} \biggr)^{-1} \\ &=\frac{1}{n^{2}} \biggl(1-\frac{b}{an}+\frac{b^{2}-ac}{a^{2}n^{2}}+O \biggl(\frac{1}{n^{3}} \biggr) \biggr) \\ &=\frac{1}{n^{2}}-\frac{b}{an^{3}}+\frac{b^{2}-ac}{a^{2}n^{4}}+O \biggl( \frac{1}{n^{5}} \biggr), \end{aligned}$$
as \(n\to +\infty \), and consequently
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{a}{a_{j}}= \sum_{j=n}^{+\infty} \biggl( \frac{1}{j^{2}}-\frac{b}{aj^{3}}+\frac{b^{2}-ac}{a^{2}j^{4}}+O \biggl( \frac{1}{j^{5}} \biggr) \biggr). \end{aligned}$$
(24)
From Lemma 1, we have
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{2}}= \frac{1}{n}+\frac{1}{2n^{2}}+ \frac{1}{6n^{3}}+O \biggl( \frac{1}{n^{5}} \biggr), \end{aligned}$$
(25)
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{3}}= \frac{1}{2n^{2}}+ \frac{1}{2n^{3}}+O \biggl(\frac{1}{n^{4}} \biggr), \end{aligned}$$
(26)
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{4}}= \frac{1}{3n^{3}}+O \biggl( \frac{1}{n^{4}} \biggr), \end{aligned}$$
(27)
and
$$\begin{aligned} \sum_{j=n}^{+\infty}O \biggl( \frac{1}{j^{5}} \biggr)=O \biggl( \frac{1}{n^{4}} \biggr). \end{aligned}$$
(28)
Employing (25)–(28) in (24), we have
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{a}{a_{j}}= \frac{1}{n}+\frac{a-b}{2an^{2}}+ \frac{a^{2}+2b^{2}-3ab-2ac}{6a^{2}n^{3}}+o \biggl( \frac{1}{n^{3}} \biggr). \end{aligned}$$
(29)
From (29) and using (21), it follows that
$$\begin{aligned} \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr]&= \biggl[n \biggl(1+ \frac{a-b}{2an}+ \frac{a^{2}+2b^{2}-3ab-2ac}{6a^{2}n^{2}}+o \biggl(\frac{1}{n^{2}} \biggr) \biggr)^{-1} \biggr] \\ &= \biggl[n+\frac{b-a}{2a}+\frac{a^{2}-b^{2}+4ac}{12a^{2}n}+o \biggl( \frac{1}{n} \biggr) \biggr]. \end{aligned}$$
(30)
From (30) and the definition of the integer part function, the following theorem easily follows.
Theorem 1
Let \(a\in {\mathbb{R}}\setminus \{0\}\), \(b,c\in {\mathbb{R}}\), and \(a_{n}=an^{2}+bn+c\). Then, the following statements hold.
-
(a)
If \(\frac{b-a}{2a}\notin {\mathbb{Z}}\), then
$$\begin{aligned} \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr]=n+ \biggl[ \frac{b-a}{2a} \biggr], \end{aligned}$$
(31)
for sufficiently large n.
-
(b)
If \(\frac{b-a}{2a}\in {\mathbb{Z}}\), and \(a^{2}-b^{2}+4ac>0\), then
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr]=n+\frac{b-a}{2a},$$
for sufficiently large n.
-
(c)
If \(\frac{b-a}{2a}\in {\mathbb{Z}}\), and \(a^{2}-b^{2}+4ac<0\), then
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr]=n+\frac{b-3a}{2a},$$
for sufficiently large n.
Corollary 1
Let \(a_{n}=n^{2}\). Then
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{1}{a_{j}} \Biggr)^{-1} \Biggr]=n-1,$$
for sufficiently large n.
Proof
First, note that the sequence \(a_{n}\) is obtained from (15) for \(a=1\), \(b=0\) and \(c=0\). Since, in this case,
$$ \frac{b-a}{2a}=-\frac{1}{2}\notin {\mathbb{Z}},$$
we can use formula (31) and get
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{1}{a_{j}} \Biggr)^{-1} \Biggr]=n+ \biggl[- \frac{1}{2} \biggr].$$
From this and since \([-\frac{1}{2}]=-1\), the corollary follows. □
Remark 4
Since Corollary 1 is obtained from Theorem 1, it proves formula (1) for not all n. However, Theorem 1 holds for any \(a\in {\mathbb{R}}\setminus \{0\}\), \(b,c\in {\mathbb{R}}\). It is technically very difficult to find the exact value of \(n_{0}=n_{0}(a, b, c)\) such that any of the formulas in the theorem hold for \(n\ge n_{0}\).
Case \(a_{n}=an^{3}+bn^{2}+cn+d\)
To consider this case, we use the method that we have employed in the case of the sequence \(a_{n}=an^{2}+bn+c\). Due to more parameters (here, we have four parameters a, b, c, and d), our consideration in the case will have more calculations, so that will be more technical than the previous one.
Using some calculations and relation (21), it follows that
$$\begin{aligned} \frac{a}{a_{n}}&=\frac{a}{an^{3}} \biggl(1+ \frac{b}{an}+ \frac{c}{an^{2}}+\frac{d}{an^{3}} \biggr)^{-1} \\ &=\frac{1}{n^{3}} \biggl(1-\frac{b}{an}+\frac{b^{2}-ac}{a^{2}n^{2}}+ \frac{2abc-a^{2}d-b^{3}}{a^{3}n^{3}}+O \biggl(\frac{1}{n^{4}} \biggr) \biggr) \\ &=\frac{1}{n^{3}}-\frac{b}{an^{4}}+\frac{b^{2}-ac}{a^{2}n^{5}}+ \frac{2abc-a^{2}d-b^{3}}{a^{3}n^{6}}+O \biggl(\frac{1}{n^{7}} \biggr), \end{aligned}$$
as \(n\to +\infty \).
Hence, we have
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{a}{a_{j}}= \sum_{j=n}^{+\infty} \biggl( \frac{1}{j^{3}}-\frac{b}{aj^{4}}+\frac{b^{2}-ac}{a^{2}j^{5}}+ \frac{2abc-a^{2}d-b^{3}}{a^{3}j^{6}}+O \biggl(\frac{1}{j^{7}} \biggr) \biggr). \end{aligned}$$
(32)
From Lemma 1, we have
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{3}}= \frac{1}{2n^{2}}+ \frac{1}{2n^{3}}+\frac{1}{4n^{4}}+O \biggl( \frac{1}{n^{6}} \biggr), \end{aligned}$$
(33)
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{4}}= \frac{1}{3n^{3}}+ \frac{1}{2n^{4}}+\frac{1}{3n^{5}}+O \biggl( \frac{1}{n^{7}} \biggr), \end{aligned}$$
(34)
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{5}}= \frac{1}{4n^{4}}+ \frac{1}{2n^{5}}+O \biggl(\frac{1}{n^{6}} \biggr), \end{aligned}$$
(35)
$$\begin{aligned}& \sum_{j=n}^{+\infty}\frac{1}{j^{6}}= \frac{1}{5n^{5}}+O \biggl( \frac{1}{n^{6}} \biggr), \end{aligned}$$
(36)
and
$$\begin{aligned} \sum_{j=n}^{+\infty}O \biggl( \frac{1}{j^{7}} \biggr)=O \biggl( \frac{1}{n^{6}} \biggr). \end{aligned}$$
(37)
Employing the relations in (33)–(37) in (32), after some standard calculation, it follows that
$$\begin{aligned} \sum_{j=n}^{+\infty}\frac{a}{a_{j}}={}& \frac{1}{2n^{2}}+ \frac{3a-2b}{6an^{3}}+\frac{a^{2}+b^{2}-ac-2ab}{4a^{2}n^{4}} \\ &{}+ \frac{15ab^{2}-10a^{2}b-15a^{2}c+12abc-6a^{2}d-6b^{3}}{30a^{3}n^{5}}+O \biggl(\frac{1}{n^{6}} \biggr). \end{aligned}$$
(38)
From (38) and using (21), it follows that
$$\begin{aligned} & \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr] \\ &\quad = \biggl[2n^{2} \biggl(1+\frac{3a-2b}{3an}+ \frac{a^{2}+b^{2}-ac-2ab}{2a^{2}n^{2}} \\ &\qquad{} + \frac{15ab^{2}-10a^{2}b-15a^{2}c+12abc-6a^{2}d-6b^{3}}{15a^{3}n^{3}}+O \biggl(\frac{1}{n^{4}} \biggr) \biggr)^{-1} \biggr] \\ &\quad = \biggl[2n^{2} \biggl(1-\frac{3a-2b}{3an}- \frac{a^{2}+b^{2}-ac-2ab}{2a^{2}n^{2}} \\ & \qquad {}- \frac{15ab^{2}-10a^{2}b-15a^{2}c+12abc-6a^{2}d-6b^{3}}{15a^{3}n^{3}} \\ &\qquad {} +\frac{(3a-2b)^{2}}{9a^{2}n^{2}}+ \frac{2(3a-2b)((a-b)^{2}-ac)}{6a^{3}n^{3}}- \frac{(3a-2b)^{3}}{27a^{3}n^{3}}+O \biggl( \frac{1}{n^{4}} \biggr) \biggr) \biggr] \\ &\quad = \biggl[2n^{2}+\frac{4b-6a}{3a}n+\frac{9a^{2}-6ab-b^{2}+9ac}{9a^{2}}+ \frac{2f(a,b,c,d)}{a^{3}n}+O \biggl(\frac{1}{n^{2}} \biggr) \biggr], \end{aligned}$$
(39)
where
$$\begin{aligned} f(a,b,c,d)={}& \frac{10a^{2}b-15ab^{2}+15a^{2}c-12abc+6a^{2}d+6b^{3}}{15a^{3}} \\ &{}+\frac{(3a-2b)((a-b)^{2}-ac)}{3a^{3}}-\frac{(3a-2b)^{3}}{27} \end{aligned}$$
From (39), the following theorem follows.
Theorem 2
Let \(a\in {\mathbb{R}}\setminus \{0\}\), \(b,c,d\in {\mathbb{R}}\), and \(a_{n}=an^{3}+bn^{2}+cn+d\). Then, the following statements hold.
-
(a)
If \(af(a,b,c,d)>0\), then
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr] = \biggl[2n^{2}+ \frac{4b-6a}{3a}n+ \frac{9a^{2}-6ab-b^{2}+9ac}{9a^{2}} \biggr],$$
for sufficiently large n.
-
(b)
If \(af(a,b,c,d)<0\), then
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{a}{a_{j}} \Biggr)^{-1} \Biggr] = \biggl[2n^{2}+ \frac{4b-6a}{3a}n+ \frac{9a^{2}-6ab-b^{2}+9ac}{9a^{2}} \biggr]-1,$$
for sufficiently large n.
Remark 5
It is interesting that formula (39) cannot be used for the following values of the coefficients
to get formula (2) for sufficiently large n. Namely, a direct calculation shows that from (39), we have
$$\begin{aligned} f(a, 0, 0, 0)=0, \end{aligned}$$
(40)
for any \(a\in {\mathbb{R}}\).
Using relation (40) together with formula (39), we have that the following relation holds
$$ \Biggl[ \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{3}} \Biggr)^{-1} \Biggr]= \biggl[2n^{2}-2n+1+O \biggl(\frac{1}{n^{2}} \biggr) \biggr].$$
However, the sing of the asymptotic quantity \(O(\frac{1}{n^{2}})\) appearing in formula (40) is not determined.
To find a closed-form formula for the sequence \([(\sum_{k=n}^{\infty}\frac{1}{k^{3}})^{-1}]\), more members in the corresponding asymptotic expansions should be taken.
Indeed, by Lemma 1, we have
$$ \sum_{j=n}^{+\infty}\frac{1}{j^{3}}= \frac{1}{2n^{2}}+ \frac{1}{2n^{3}}+\frac{1}{4n^{4}}- \frac{1}{12n^{6}}+O \biggl( \frac{1}{n^{7}} \biggr).$$
Hence,
$$\begin{aligned} &\Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{1}{j^{3}} \Biggr)^{-1} \Biggr] \\ &\quad = \biggl[2n^{2} \biggl(1+\frac{1}{n}+\frac{1}{2n^{2}}- \frac{1}{6n^{4}}+O \biggl(\frac{1}{n^{5}} \biggr) \biggr)^{-1} \biggr] \\ &\quad = \biggl[2n^{2} \biggl(1-\frac{1}{n}- \frac{1}{2n^{2}}+\frac{1}{6n^{4}}+ \frac{1}{n^{2}}+ \frac{1}{n^{3}}+\frac{1}{4n^{4}}-\frac{1}{n^{3}}- \frac{3}{2n^{4}}+\frac{1}{n^{4}}+O \biggl(\frac{1}{n^{5}} \biggr) \biggr)^{-1} \biggr] \\ &\quad = \biggl[2n^{2}-2n+1-\frac{1}{6n^{2}}+O \biggl( \frac{1}{n^{3}} \biggr) \biggr]. \end{aligned}$$
From this and since
$$ 1-\frac{1}{6n^{2}}+O \biggl(\frac{1}{n^{3}} \biggr)< 1$$
for sufficiently large n, we obtain
$$ \Biggl[ \Biggl(\sum_{j=n}^{+\infty} \frac{1}{j^{3}} \Biggr)^{-1} \Biggr]=2n(n-1),$$
for sufficiently large n, as desired.
Remark 6
The method employed in proving above theorems can be applied to the sequences of the form
$$ a_{n}=P_{k}(n),\quad n\in {\mathbb{N}},$$
where
$$ P_{k}(t)=\sum_{j=0}^{k}c_{j}t^{j},$$
\(k\in {\mathbb{N}}_{2}\), \(c_{j}\in {\mathbb{R}}\), \(j=\overline{0,k}\), \(c_{k}\ne 0\), that is, to the sequences defined by polynomials of degree greater than or equal to two.
Remark 7
Above type of problems for the case when a sequence is a solution to the homogeneous linear difference equation with constant coefficients
$$\begin{aligned} a_{n+k}+c_{k-1}a_{n+k-1}+\cdots +c_{1}a_{n+1}+c_{0}a_{n}=0,\quad n \in {\mathbb{N}}, \end{aligned}$$
(41)
where \(k\in {\mathbb{N}}\), \(c_{j}\in {\mathbb{R}}\), \(j=\overline{0,k-1}\), \(c_{0}\ne 0\), such that the characteristic polynomial associated to the equation
$$\begin{aligned} P_{k}(\lambda )=\lambda ^{k}+c_{k-1}\lambda ^{k-1}+\cdots +c_{1} \lambda +c_{0}, \end{aligned}$$
(42)
has a unique dominant zero is dealt with in a relatively simple way and are essentially folklore. Namely, it is well known that the general solution to equation (41) has the form
$$\begin{aligned} a_{n}=\sum_{j=1}^{l}Q_{j}(n) \lambda _{j}^{n},\quad n\in {\mathbb{N}}, \end{aligned}$$
(43)
where \(1\le l\le k\), \(\lambda _{j}\), \(j=\overline{1,l}\), are the distinct zeros of polynomial (42), and \(Q_{j}(t)\) is a polynomial of degree \(s_{j}-1\), where \(s_{j}\in {\mathbb{N}}\) is the multiplicity of the zero \(\lambda _{j}\) (see, e.g., [23, 25, 26, 29, 30]).
Without loss of generality, we may assume that
$$\begin{aligned} \vert \lambda _{1} \vert >\max_{j=\overline{2,l}} \vert \lambda _{j} \vert , \end{aligned}$$
(44)
which implies that \(s_{1}=1\). Then from (43) and (44), we have
$$\begin{aligned} a_{n}\sim c\lambda _{1}^{n}, \end{aligned}$$
(45)
as \(n\to +\infty \), for some constant \(c\in {\mathbb{R}}\setminus \{0\}\), since, in this case, \(Q_{1}(t)\) is a constant polynomial.
From (45), we see that in many cases, the problem reduces to dealing with a simpler sequence (instead of \(a_{n}\), we can consider the sequence \(c\lambda _{1}^{n}\)). Such a situation appears, e.g., in the case of the Fibonacci sequence \((f_{n})_{n\in {\mathbb{N}}}\), which is the solution to the difference equation
$$ a_{n+2}=a_{n+1}+a_{n},\quad n\in {\mathbb{N}},$$
with the initial values \(a_{1}=a_{2}=1\) ([22, 28, 45]). The characteristic polynomial associated to the equation is
and it has two different zeros
$$ t_{1}=\frac{1+\sqrt{5}}{2}\quad \text{and}\quad t_{2}= \frac{1-\sqrt{5}}{2}.$$
Since,
$$ f_{n}=\frac{t_{1}^{n}-t_{2}^{n}}{t_{1}-t_{2}},\quad n\in {\mathbb{N}},$$
and \(t_{1}>t_{2}\), it follows that
$$\begin{aligned} f_{n}\sim \frac{t_{1}^{n}}{t_{1}-t_{2}}, \end{aligned}$$
(46)
as \(n\to +\infty \).
Asymptotic relation (46) is essentially the reason why integer parts of the reciprocal remainders of many sums containing the Fibonacci sequences can be found for sufficiently large n.
Using this simple idea, it can be found many closed-form formulas for integer parts of the reciprocal remainders of sums containing solutions to homogeneous linear difference equations with constant coefficients, which hold for sufficiently large n. When such a formula is found, then it, together with some technical algebraic manipulations, can be used in trying to find all the values of index n for which the formula holds.