Abstract
For each integer \(n\ge 1\) we consider the unique polynomials \(P, Q\in {\mathbb {Q}}[x]\) of smallest degree n that are solutions of the equation \(P(x)x^{n+1}+Q(x)(x+1)^{n+1}=1\). We derive numerous properties of these polynomials and their derivatives, including explicit expansions, differential equations, recurrence relations, generating functions, resultants, discriminants, and irreducibility results. We also consider some related polynomials and their properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is a well-known fact that the Chebyshev polynomials of the first and second kind, \(T_n(x)\) and \(U_n(x)\), can be defined as the solutions of the polynomial Pell equation
in the ring \({\mathbb {Z}}[x]\); see [1] or [2] for more general polynomial rings.
In this paper we consider the following variant of Eq. (1.1): Since \({\mathbb {Q}}[x]\) is a Euclidean domain, we know that for given coprime polynomials \(f,g\in {\mathbb {Q}}[x]\) there are polynomials \(P, Q\in {\mathbb {Q}}[x]\) with \(P(x)f(x)+Q(x)g(x)=1\). To make this more specific, we choose f and g to be the simplest pair of coprime polynomials of the same degree, namely \(x^{n+1}\) and \((x+1)^{n+1}\), where \(n\ge 0\) is an integer. In other words, we consider the equation
If we make the assumption \(\deg P\le n\), \(\deg Q\le n\), then we have a unique solution \(P(x)=P_{n}(x), Q(x)=Q_{n}(x)\) of (1.2). In particular,
for integers \(n\ge 0\).
The purpose of this paper is to study properties of the polynomial sequences \(P_n(x)\), \(Q_n(x)\). We will see that these polynomials have integer coefficients, are similar to each other, and in spite of some fundamental differences they show some similarities with the Chebyshev polynomials in Eq. (1.1). Moreover, these polynomials appeared in an interesting context of constructing consecutive integers divisible by high powers of their largest prime factors [5, Theorem 4].
The first polynomials \(P_n(x)\), \(Q_n(x)\), for \(0\le n\le 4\), are shown in Table 1.
This paper is structured as follows. We begin in Sect. 2 by deriving some basic properties of the polynomials \(P_n(x)\) and \(Q_n(x)\), including differential equations, recurrence relations, and generating functions. In Sects. 3 and 4 we consider variants of the original questions concerning the identities (1.2) and (1.3); this will involve the Chebyshev polynomials already mentioned in connection with (1.1). In Sects. 5 and 6 we study resultants and discriminants involving the polynomials \(Q_n(x)\) and their derivatives. In Sect. 7 we introduce a sequence of polynomials related to the sequence \(Q_n(x)\) and study their properties. Section 8 is devoted to some irreducibility results, and we conclude this paper with a few further remarks and conjectures in Sect. 9.
2 Basic properties
Throughout the rest of this paper, \(P_n(x)\) and \(Q_n(x)\) will denote the solutions of the Eq. (1.3).
Proposition 2.1
For any integer \(n\ge 0\) we have \(\deg P_n=\deg Q_n\) and
Proof
The definition (1.3) implies that the degrees of \(P_n\) and \(Q_n\) must be equal. Now replace x by \(-1-x\) in (1.3); then we get
Now the uniqueness of the solutions of (1.3) implies the two identities in (2.1). \(\square \)
As a consequence of (1.3) and (2.1) we immediately get a few special values.
Corollary 2.2
For any integer \(n\ge 0\) we have
Proof
By substituting \(x=-1\) in (1.3) we immediately get the first identity, and similarly, \(x=0\) gives the fourth identity. Next, if we set \(x=-\tfrac{1}{2}\) in (1.3), we get
Also, either one of the equations in (2.1), with \(x=-\tfrac{1}{2}\), gives \((-1)^{n+1}P_{n}\left( -\tfrac{1}{2}\right) =Q_{n}\left( -\tfrac{1}{2}\right) \). By combining these last two identities we immediately get the third equation in (2.2), and then also the second one. \(\square \)
Another special value will be obtained later in this section. An important consequence of Proposition 2.1 is the fact that it suffices to consider only one of \(P_n\) and \(Q_n\). For the rest of this paper we will therefore concentrate on the polynomial sequence \(Q_n\), and begin by deriving an explicit expression.
Proposition 2.3
For any integer \(n\ge 0\) we have \(\deg Q_n=n\) and
Before proving this representation, we note that the polynomials \(Q_n(x)\) have an interesting combinatorial interpretation: the ith coefficient of \(Q_n(-x)\) counts the numbers of lattice paths from (0, 0) to (n, i) using only the steps (1, 0) and (0, 1); see [12, A046899].
Given the simple form of the representation (2.3), it is not surprising that the polynomials \(Q_n(-x)\) have been considered before. Using (2.3) as definition, Gould [8] derived some basic properties, including the third identity in (2.2) and two more properties relevant to this paper; those will be mentioned later in this section.
Proof of Proposition 2.3
We differentiate both sides of the identity (1.3), and after some easy manipulation we get
Since \(x^{n}\) and \((x+1)^{n}\) are coprime, this last identity implies that \(x^n\) divides the expression \((x+1)Q'_{n}(x)+(n+1)Q_{n}(x)\). Consequently, since \(\deg Q_n\le n\), we have
for some constant \(c_n\). Now we write
and equate coefficients of \(x^i\) on both sides of (2.4). First we have by Corollary 2.2 that \(q_{0,n}=Q_n(0)=1\), and for \(i=0,1,\ldots ,n-1\) we have
or equivalently
By iterating this, we immediately get
This with (2.5) completes the proof. \(\square \)
By combining the identities (2.3) and (2.1), we can also obtain an explicit expression for \(P_n(x)\).
Corollary 2.4
For any integer \(n\ge 0\) we have \(\deg P_n=n\), and
Proof
Combining the first identity in (2.1) with (2.3), we get
where we have used the fact that \(\left( {\begin{array}{c}i\\ j\end{array}}\right) =0\) for \(j>i\), and then changed the order of summation. Finally we note that the inner sum in the last expansion is known to have the evaluation \(\frac{2n+1}{n+j+1}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \left( {\begin{array}{c}n\\ j\end{array}}\right) \); for instance, after an easy reformulation of the sum, one could use identity (1.48) in [7]. This proves (2.6). \(\square \)
Remark 2.5
The identity (2.6) immediately gives the special values
On the other hand, there do not seem to exist explicit formulas for \(P_n(1)\) and \(Q_n(1)\). However, the two sequences of their absolute values, namely (1, 5, 31, 209, 1471, \(10625, \ldots )\) and \((1, 1, 4, 13, 46, 166, \ldots )\), have some interesting combinatorial interpretations; see the entries A178792 and A026641, respectively, in [12]. Also, it follows from (1.3) that \(P_n(1)+2^{n+1}Q_n(1)=1\).
Remark 2.6
As was observed by one of the referees, to get solutions of the equation \(P(x)x^{n+1}+Q(x)(1-x)^{n+1}=1\), one can use the following alternative approach. From the identity
one can observe that that the first term on the right is a polynomial of degree \(2n+1\) divisible by \(x^{n+1}\), and the second term is a polynomial divisible by \((1-x)^{n+1}\). Thus, one can use this observation to obtain explicit forms of the polynomials P, Q we are looking for. Moreover, the integral on the left is just \(1/(2n+1)\left( {\begin{array}{c}2n\\ n\end{array}}\right) \), and after multiplication by \((2n+1)\left( {\begin{array}{c}2n\\ n\end{array}}\right) \) the corresponding polynomials are in \({\mathbb {Z}}[x]\).
Remark 2.7
The polynomial \(Q_n(x)\) can also be written in terms of a hypergeometric function. Indeed, since \((1+x)^{-n-1}\) is the infinite series of which \(Q_n(x)\) is the nth partial sum, we have
with the Pochhammer symbol \((a)_i=a(a+1)\cdots (a+i-1)\) for \(i\ge 1\) and \((a)_0=1\). Hence,
however, this representation will not be used further in this paper.
We now return to the identity (2.4) and note that \(c_n=(2n+1)q_{n,n}=(-1)^n(2n+1)\left( {\begin{array}{c}2n\\ n\end{array}}\right) \), so that
The following generalization of this identity will be useful later. As usual, \(Q_n^{(k)}(x)\) will denote the kth derivative of \(Q_n(x)\).
Proposition 2.8
For integers k and n with \(1\le k\le n+1\) we have
Proof
We proceed by induction on k. For \(k=1\), the identity (2.9) reduces to (2.8). Now we suppose that (2.9) holds for some \(k\ge 1\), and differentiate both sides with respect to x. Simplifying the resulting identity, we get
which is the same as (2.9) with k replaced by \(k+1\). This completes the proof by induction. \(\square \)
As a first application of Proposition 2.8 we set \(x=-1\) in (2.10), which gives the following special values.
Corollary 2.9
For integers \(0\le k\le n\) we have
We note that for \(k=0\) this last identity is consistent with the right-hand side of (2.7). As another application of Proposition 2.8 we obtain a homogeneous differential equation satisfied by the polynomials \(Q_n(x)\).
Proposition 2.10
For \(n\ge 0\) we have
Proof
Using (2.9) with \(k=2\) and multiply both sides by x, we obtain
Then we use (2.9) again, this time with \(k=1\), and multiply both sides by n, which gives
By subtracting this last identity from (2.13), we immediately get (2.12). \(\square \)
Next we present a second-order linear recurrence relation satisfied by the sequence of polynomials \(Q_{n}^{(k)}(x)\).
Proposition 2.11
Let \(k\ge 0\) be an integer, and set
Then the polynomials \(Q_{k+n}^{(k)}(x)\) satisfy the recurrence relation
with initial conditions
In the special case \(k=0\) the expressions \(u_{0,n}, v_{0,n}, w_{0,n}\) have the common factor \((2x+1)n(n-1)\), and we obtain the following much simpler recurrence relation.
Corollary 2.12
The polynomials \(Q_{n}(x)\) satisfy
for \(n\ge 2\), with initial conditions \(Q_{0}(x)=1\) and \(Q_{1}(x)=-2x+1\).
Proof of Proposition 2.11
By differentiating the explicit formula (2.3), we obtain
which immediately gives the initial conditions. A straightforward but tedious computation, using (2.16), then shows that the recurrence relation (2.14) is satisfied. We leave the details to the reader. \(\square \)
Remark 2.13
While the above proof would be sufficient, a few words about the discovery of the recurrence relations are perhaps in order. The relation (2.15) was first guessed with the Maple package EKHAD written by D. Zeilberger, which can be obtained through the online supplement to the book [13]. In particular, the procedure findrec, applied to the explicit formula (2.3), gives the second degree difference operator
where N is the forward unit shift operator, i.e., \(N(f_{n})=f_{n+1}\). Replacing \(N^{i}\) by \(Q_{n+i}(x)\) and then shifting n to \(n-2\) gives the recurrence relation (2.15). The correctness of Zeilberger’s algorithm gives an alternative proof that the recurrence is satisfied for all n.
Given this nice result, we suspected that similar relations should hold also for the kth derivative of the polynomials \(Q_{n+k}(x)\). We checked that for each fixed small k we have a formula similar to (2.15), and then guessed the general form (2.14) from the particular cases.
At this point it should also be mentioned that Gould [8] derived a first-order inhomogeneous recurrence relation for \(Q_n(-x)\); in our notation, it can be written as
This identity was then used in [8] to obtain the following generating function. For the sake of completeness we give a different proof, based on Corollary 2.12.
Proposition 2.14
The ordinary generating function for the polynomials \(Q_n(x)\) is given by
Proof
We denote the expression on the right of (2.17) by \({\mathcal {Q}}(x,t)\), and let \({\mathcal {Q}}'(x,t)\) be the derivative with respect to t. Then we easily obtain the identities
We now use these identities and apply standard methods to transform the recurrence relation (2.14), with n replaced by \(n+2\), into the differential equation
Using standard methods for solving first-degree linear differential equations, we get the general solution
The initial condition \({\mathcal {Q}}'(x,0)=1\) leads to \(c_{1}=\frac{1}{2}(2x+1)\), and we get the desired solution
Finally, we obtain (2.17) by multiplying numerator and denominator of this last equation by \(\sqrt{1+4xt}\). \(\square \)
3 A Pell-type polynomial equation
In this section and the next we will consider, more generally, the equation
for integers \(n\ge 0\) and unknown polynomials \(Y, Z\in {\mathbb Q}[x]\). We began this paper from the point of view of fixed polynomials \(Y(x)=x\) and \(Z(x)=x+1\); with the conditions \(\deg P_n\le n\), \(\deg Q_n\le n\) this had led us to the unique polynomial sequences \(P_n, Q_n\) in Sects. 1 and 2.
We now ask the following “inverse question”: given our polynomials \(P_n, Q_n\), what can we say about polynomial solutions Y, Z of (3.1)? Are there solutions other than \(Y(x)=x\), \(Z(x)=x+1\)?
The case \(n=0\) is of no interest since \(P_0=-1\), \(Q_0=1\) implies that for any \(Y\in {{\mathbb {Q}}}[x]\) (or \({{\mathbb {Z}}}[x]\)) there is a \(Z\in {{\mathbb {Q}}}[x]\) (or \({{\mathbb {Z}}}[x]\)) satisfying (3.1). Hence we assume \(n\ge 1\).
It turns out that the case \(n=1\) is of particular interest, and is very different from the case \(n\ge 2\). This section will be devoted to this special case; that is, since \(P_1(x)=2x+3\) and \(Q_1(x)=1-2x\), we consider the equation
in unknown polynomials \(Y, Z\in {{\mathbb {Q}}}[x]\).
Proposition 3.1
The Eq. (3.2) has infinitely many solutions which, for \(n\ge 0\), are given by
where \(U_n(y)\) are the Chebyshev polynomials of the second kind. Furthermore, for \(n\ge 1\) we have the recurrence relations
with initial conditions \(Y_0(x)=x\), \(Y_1(x)=2x^2+x-\tfrac{1}{2}\), \(Z_0(x)=x+1\), and \(Z_1(x)=2x^2+3x+\tfrac{1}{2}\).
Proof
We transform the Eq. (3.2) to a Pell-type equation by multiplying both sides by \(2x+3\). Noting that
we then get the equation
We now use the following known results from the theory of Pell equations; see, e.g., [11, p. 354] for the case of Pell equations over \({\mathbb {Z}}\), and [10] for the case of Pell equations over \({\mathbb {Z}}[x]\).
Suppose that \((P,Q)=(r_0,s_0)\) is a solution of the Pell-type equation
where \(d, N\in {\mathbb {Z}}[x]\), and d is not a perfect square of a polynomial with rational coefficients. Furthermore, suppose that \((P,Q)=(P_n,Q_n)\), \(n=1, 2, 3,\ldots \), are the solutions of the Pell equation
Then the pairs \((r_n,s_n)\), defined by
are also solutions of (3.6). We note that the Eqs. (3.6), (3.7) may or may not have solutions in \({\mathbb {Z}}[x]\). By expanding the right-hand side of (3.8) and equating rational and irrational terms, we immediately get
Comparing (3.5) with (3.6) and noting that \(Y(x)=x\) and \(Z(x)=x+1\) is a solution of (3.2), we have
Furthermore, comparing (3.5) (having 1 instead of \(2x+3\) on the right) with (1.1) (or just invoking [10, Theorem 2]), we see that
This holds also for \(n=0\) since \(T_0(y)=1\) and, by convention, \(U_{-1}(y)=0\). Finally, with \(r_n=(2x+3)Y(x)\) and \(s_n=2Z(x)\), the identities (3.9), (3.10), (3.11) yield
The initial conditions following (3.4) can be computed from (3.12), using \(T_0(y)=U_0(y)=1\) and \(T_1(y)=y\). Furthermore, the well-known recurrence relation for the Chebyshev polynomials, namely \(T_{n+1}(x)=2xT_n(x)-T_{n-1}(x)\), leads to
with the same relation also for the sequence \(U_n\left( x+\tfrac{1}{2}\right) \). This means that the polynomial sequences \(Y_n(x)\) and \(Z_n(x)\) in (3.12) satisfy this relation as well.
Finally, using the same argument as in the previous paragraph, we see that the right-hand sides of the expressions in (3.3) satisfy (3.4) as well. Using the fact that \(U_1(y)=2y\) and \(U_2(y)=4y^2-1\), we can easily verify that the terms on the right in (3.3) also satisfy the initial conditions following (3.4). This proves the identities in (3.3), and the proof of the the proposition is complete. \(\square \)
We can now use Proposition 3.1 to show that the polynomials \(Y_n\) and \(Z_n\) are “almost in \({{\mathbb {Z}}}[x]\)”, in the following sense.
Corollary 3.2
Let \(n\ge 0\) be an integer. Then
-
(a)
\(\;Y_n(x)\in {{\mathbb {Z}}}[x]\) and \(Z_n(x)\in {{\mathbb {Z}}}[x]\) when \(n\equiv 0\pmod {3}\);
-
(b)
\(\;Y_n(x)+\tfrac{1}{2}\in {{\mathbb {Z}}}[x]\) and \(Z_n(x)+\tfrac{1}{2}\in {{\mathbb {Z}}}[x]\) when \(n\not \equiv 0\pmod {3}\).
-
(c)
More specifically, we have
$$\begin{aligned} Y_n(0)={\left\{ \begin{array}{ll} -\tfrac{1}{2} &{}\quad \hbox {if }\, n\equiv 1, 2\pmod {6},\\ \tfrac{1}{2} &{}\quad \hbox {if }\, n\equiv 4, 5\pmod {6},\\ 0 &{}\quad \hbox {if }\, n\equiv 0\pmod {3}; \end{array}\right. } \quad Z_n(0)={\left\{ \begin{array}{ll} -\tfrac{1}{2} &{}\quad \hbox {if }\, n\equiv 2, 4\pmod {6},\\ \tfrac{1}{2} &{}\quad \hbox {if }\, n\equiv 1, 5\pmod {6},\\ (-1)^k &{}\quad \hbox {if } \, n=3k. \end{array}\right. } \end{aligned}$$
Proof
We first note that \(Y_n\) and \(Z_n\) satisfy all three statements for \(n=0\) and \(n=1\). Next, the coefficient \(2x+1\) in the recurrence relations (3.4) guarantees that by induction on n we have that all coefficients of all \(Y_n\), \(Z_n\), with the possible exception of the constant coefficients, are integers.
Finally, it is clear from (3.4) that the constant coefficients of \(Y_n\) satisfy the recurrence relation \(Y_{n+1}(0)=Y_n(0)-Y_{n-1}(0)\), and similarly for the sequence \(Z_n\). Part (c) then follows from a simple induction, and the remaining statements in (a) and (b) also follow. \(\square \)
We observe in Table 2 that both \(Y_3(x)\) and \(Z_3(x)\) are reducible. Further computations show that this seems to be the case for all \(Y_{3n}(x)\) and \(Z_{3n}(x)\), a fact confirmed by the following result.
Proposition 3.3
For all integers \(n\ge 1\), the polynomials \(Y_{3n}(x)\) and \(Z_{3n}(x)\) are reducible. Specifically, if we set \(y:=x+\tfrac{1}{2}\) for simplicity, we have
Proof
In view of (3.3), the first identity in (3.13) is equivalent to
We now use the well-known identity
(see, e.g., [15]), and set \(j=2n+1\), \(k=0\) and note that \(U_0(y)=1\). With this, the right-hand side of (3.14) becomes
where in the second equation above we have used (3.15) two more times. This proves (3.14)
For the second part of (3.13), we replace y by \(-y\) in (3.14) and use the symmetry property \(U_n(-y)=(-1)^nU_n(y)\). Then we get
Multiplying both sides by \((-1)^{n+1}\), we get
which is equivalent to the desired identity. \(\square \)
By iterating the factorizations on the right of (3.13), we obtain the following consequence.
Corollary 3.4
Let \(v(k,m):=\frac{1}{2}\big ((2m+1)3^k-1\big )\). Then for all integers \(k\ge 0\) and \(m\ge 1\), the polynomials \(Y_{3v(k,m)}(x)\) and \(Z_{3v(k,m)}(x)\) have at least \(k+2\) nonconstant factors.
Proof
By (3.13) it suffices to show that \(U_n(y)\pm U_{n-1}(y)\) have at least \(k+1\) nonconstant factors when \(n=v(k,m)\). We fix an \(m\ge 1\) and prove this statement by induction on k. When \(k=0\), then \(v(0,m)=m\), and the statement is trivially true. Suppose now that \(U_{v(k,m)}(y)\pm U_{v(k,m)-1}(y)\) have at least \(k+1\) nonconstant factors. Since \(v(k+1,m)=3v(k,m)+1\), by (3.14), resp. (3.16), we get at least one more irreducible factor in each of the two cases, which completes the proof. \(\square \)
4 The Eq. (3.1) in general
In this section we return to the question posed at the beginning of Sect. 3. The following result deals with the general case. As before, \(P_n\) and \(Q_n\) denote the polynomials studied in Sects. 1 and 2 , and given by the explicit formulas (2.3) and (2.6).
Proposition 4.1
Let \(n\ge 1\) be an integer, and consider the Diophantine equation
in unknown polynomials Y, Z.
-
(a)
If \(n=1\), then the Eq. (4.1) has infinitely many solutions \(Y, Z\in {{\mathbb {Q}}}[x]\).
-
(b)
If \(n\ge 2\), then the only solutions \(Y, Z\in {{\mathbb {C}}}[x]\) of (4.1) are \(Y(x)=\zeta x\), \(Z(x)=\xi (x+1)\), where \(\zeta \) and \(\xi \) are arbitrary \((n+1)\)th roots of unity.
Proof
We invoke the Mason–Stothers theorem, which says that the equality \(A+B=C\), with \(A, B, C\in {\mathbb {Q}}[x]\) satisfying \(\gcd (A,B,C)=1\), implies the inequality
For a given \(f\in {\mathbb {Q}}[x]\), the number \(N_{0}(f)\) is just the number of different roots of the polynomial f; see [17].
We put \(A=P_{n}Y^{n+1}, B=Q_{n}Z^{n+1}, C=1\), and \(u={\text {deg}}Y={\text {deg}}Z\). Thus, from the Mason–Stothers theorem we deduce the inequality
This last inequality holds only in the following cases:
-
(1)
\(\;n=1\).
-
(2)
\(\;n\ge 2\) and \(\deg {Y}=\deg {Z}=0\).
-
(3)
\(\;n\ge 2\) and \(\deg {Y}=\deg {z}=1\).
The case (1) was covered by Proposition 3.1, and leads to part (a) of this proposition. We therefore continue with \(\deg {Y}=\deg {Z}=0\) and set \(Y=a\) and \(Z=b\) with \(a,b\in {\mathbb {C}}\). Then (4.1) becomes
We write the expressions (2.6) and (2.3) more explicitly as
Using this and equating coefficients of \(x^{n+1}\) and of \(x^n\) in (4.2) we get
respectively. This system of equations has the unique solution \(a=b=0\), which contradicts (4.2). Hence there are no solutions in case (2).
To deal with case (3), we set \(Y(x)=ax+c\) and \(Z(x)=bx+d\). Then (4.1) becomes
where \(n\ge 2\). First we equate coefficients of \(x^{2n+1}\) in (4.4), using (4.3). This gives
Similarly, equating coefficients of \(x^{2n}\) in (4.4), we get
We now multiply both sides of this last identity by b, use (4.5), and divide everything by \((n+1)a^n\). This gives
Next we show that \(c=0\). To do so, we set \(x=0\) in (4.1) and use the value of P(0) given in Remark 2.5, along with the fact that \(Q_n(0)=1\) (see Corollary 2.2). Then we have
First, with \(n=2\) and \(n=5\), this gives
Substituting \(d^3=1+10c^3\) into the second identity above, we obtain
which means that either \(c=0\), or
Second, with \(n=3\) and \(n=7\) in (4.7), we find in the same way that
which again means that either \(c=0\), or \(rc^4=s\) for certain integers \(r,s>0\). But the arguments of the four possible solutions in \(c\in {\mathbb {C}}\) are different from those in (4.8). Therefore we have \(c=0\), and consequently \(b=d\) by (4.6). This, with (4.5), finally gives part (b) of the result. \(\square \)
To conclude this section, we consider a question related to the original problem concerning the Eq. (1.2). If instead of the polynomials x and \(x+1\) we consider an arbitrary fixed pair of coprime polynomials \(Y,Z\in {{\mathbb {Z}}}[x]\), what can we say about possible solutions of the equation
in unknown polynomials \(p_n, q_n\in {{\mathbb {Z}}}[x]\)? We know that the existence of solutions is not guaranteed since \({{\mathbb {Z}}}[x]\) is not a Euclidean domain. However, we have the following result.
Proposition 4.2
Let \(Y,Z\in {{\mathbb {Z}}}[x]\) be coprime polynomials and suppose that there exist \(p_0, q_0\in {{\mathbb {Z}}}[x]\) such that
Then for each integer \(n\ge 1\) there are polynomials \(p_n, q_n\in {{\mathbb {Z}}}[x]\) such that (4.9) holds.
Proof
We use the identity \(P_{n}(x)x^{n+1}+Q_{n}(x)(x+1)^{n+1}=1\). If we replace x by \(-p_{0}(x)Y(x)\), then by (4.10) \(1+x\) is replaced by \(1-p_{0}(x)Y(x)=q_{0}(x)Z(x)\), and we obtain the desired identity
that is,
and the proof is complete. \(\square \)
Remark 4.3
One can go one step further and look for positive integers n, m and polynomials \(Y, Z\in \mathbb {Q}[x]\) satisfying the general equation
We were unable to solve this equation. However, we can show that (4.11) has infinitely many solutions. Indeed, if \(m\ge 2\) and \(n=rm-1\), then \(Y(x)=\zeta x^{r}\), \(Z(x)=\xi (x+1)^{r}\) are solutions of (4.11), where \(\zeta \), \(\xi \) are arbitrary mth roots of unity. Here we have that \(n>m\), and this is no coincidence. Indeed, let us assume \(m\ge 3\) and differentiate (4.11) with respect to x. Then we see that the polynomials Y, Z satisfy the conditions
As a consequence we get the inequalities
or, equivalently,
If \(n\le m-2\) then Y, Z are constant polynomials, and so for \(n\ge 2\) there are no solutions. If \(n=m-1\), then the Eq. (4.11) reduces to (3.1), which was already solved. Thus, \(n\ge m\) remains to be considered.
The case \(m=2\) leads to polynomial Pell equation \(P_{n}(x)Y(x)^2+Q_{n}(x)Z(x)^2=1\), and for \(n\ge 3\) we believe that the only solutions of this equation are of the form \(n=2r-1, Y(x)=\pm x^{r}, Z(x)=\pm (x+1)^{r}\).
5 The discriminant of \(Q_n^{(k)}(x)\)
One of the most important invariants of a polynomial is its discriminant. Since we already noted certain similarities between our polynomials \(P_n(x)\), \(Q_n(x)\) and the Chebyshev polynomials, we mention the fairly recent papers [3, 6, 16, 18, 19] which have dealt with discriminants of Chebyshev-like polynomials.
We begin with recalling the definition of the discriminant. Given a polynomial \(f(x)=a_mx^m+\cdots +a_1x+a_0\in {{\mathbb {Q}}}[x]\) with \(a_m\ne 0\), the discriminant of f is usually defined by
where \(f'\) is the derivative of f and \(R(f,f')\) is the resultant of f and \(f'\) which, among other equivalent definitions, can be given by
Here \(\theta _i\in {{\mathbb {C}}}\) is the ith root of f(x). It follows from (5.1) and (5.2) that \(\mathrm{Disc}(f)=0\) if and only if f has multiple roots, which is a key property of the discriminant. An alternative definition of the resultant involves a determinant (the Sylvester determinant) whose entries consist only of the coefficients of the two polynomials involved. This implies that \(R(f,f')\in {{\mathbb {Z}}}\) if \(f\in {{\mathbb {Z}}}[x]\).
The following is the main result of this section. As in Sect. 2, we let \(Q_n^{(k)}(x)\) denote the kth derivative of \(Q_n(x)\), with \(Q_n^{(0)}(x)=Q_n(x)\).
Theorem 5.1
For all integers \(n>k\ge 0\) we have
where \(\varepsilon :=(n-k)(n-k-1)/2\). In particular, for \(n\ge 1\),
Proof
Let \(\psi _{k,i}, 1\le i\le n-k\), be the roots of the polynomial \(Q_n^{(k)}(x)\). Then we obtain from (2.10),
With (2.3) we see that the leading coefficient of \(Q_n^{(k)}(x)\) is
and thus by (5.2) we have
where we have used (5.5) in the second equation. The leading coefficient (5.6) means that we can write
First we set \(x=0\) in (5.8) and use the identity \(Q_n^{(k)}(0)=(-1)^k(n+k)!/n!\), which follows immediately from (2.3). This gives
Next, with \(x=-1\) in (5.8) and using the identity (2.11), we get
Combining (5.9) and (5.10) with (5.7), we obtain
This, with (5.1) and the coefficient (5.6), gives us
with \(\varepsilon \) as defined in the statement of the theorem. This last identity immediately implies (5.2), and by setting \(k=0\) we get (5.4). \(\square \)
We briefly turn our attention to the companion polynomial of \(Q_n(x)\), namely \(P_n(x)\), and prove the following result.
Corollary 5.2
For all integers \(n>k\ge 0\) we have
Proof
For a polynomial f of degree n it was shown in [3, Lemma 4.3] that
where a, b, c are constants. We apply these identities to
which follows from (2.1). Hence we have \(a=-1\) and \(c=\pm 1\), and since both exponents are even, we immediately get (5.11). \(\square \)
Remark 5.3
Since we have used the Chebyshev polynomials of both kinds earlier in this paper, it is worth mentioning their discriminants:
see, e.g., [19].
Knowledge of the discriminant of a polynomial is often important for determining the polynomial’s Galois group. In particular, it is known that if the discriminant is the square of a nonzero integer, then the Galois group is a subgroup of the alternating group \(A_n\); see, e.g., [4, p. 611]. It is therefore of interest to find square discriminants.
Corollary 5.4
Let \(n>k\ge 0\) be integers, and set \(D_{k,n}:=\mathrm{Disc}(Q_n^{(k)})\).
-
(a)
If \(n\equiv k+2\) or \(k+3\pmod {4}\), then \(D_{k,n}\) is not the square of an integer.
-
(b)
If \(n\equiv k+1\pmod {4}\), then for a given k, \(D_{k,n}\) is a square for at most finitely many n.
-
(c)
If \(n\equiv k\pmod {4}\), then for each k there are infinitely many n such that \(D_{k,n}\) is a square.
-
(d)
In particular, \(D_{0,n}\) is a square if and only if \(n=1\) or \(n=n_j\), where
$$\begin{aligned} n_j:=\frac{1}{8}\left( (3+2\sqrt{2})^{2j+1}+(3-2\sqrt{2})^{2j+1}-6\right) ,\quad j=1, 2, 3, \ldots \end{aligned}$$(5.12)
Proof
(a) If \(n-k\equiv 2\) or \(3\pmod {4}\), then clearly \(\varepsilon =(n-k)(n-k-1)/2\) is odd, and thus \(D_{k,n}<0\), which cannot be a square.
(b) If \(n-k\equiv 1\pmod {4}\), then with (5.3) we see that \(D_{k,n}\) is a square if and only if
is a square. However, the prime number theorem implies that for a fixed k and for n sufficiently large, there is always a prime among the members of the sequence \(n+k+2, n+k+3,\ldots , 2n-1\); this means that (5.13) cannot be a square for these k and n, which proves part (b).
(c) If \(n-k\equiv 0\pmod {4}\), then \(n-k-2\) is even, and according to (5.3) we consider
where the equality is easily seen by writing the binomial coefficients on the left in terms of factorials. This now implies that \(D_{k,n}\) is a square if and only if \((n+k+1)(2n+1)\) is s square. If we set \(n=4m+k\), where m is a positive integer, we can write
for some integer \(Y\ge 1\). We can write this in the equivalent form
where \(X=16m+6k+3\). The Eq. (5.14) is a Pell-type equation, and using standard methods for solving such equations (see, e.g., [11, Sect. 7.8]), we find that \(X=X_j\), where \(X_1=3(2k+1)\), \(X_2=17(2k+1)\), and \(X_j=6X_{j-1}-X_{j-2}\) for \(j\ge 3\). From the theory of linear recurrence relations we get the Binet-type formula
We require \(X_j\equiv 6k+3\pmod {16}\), and an easy calculation shows that this holds if and only if j is odd. The corresponding n that makes \(D_{k,n}\) square is then
which proves part (c).
(d) For \(k=0\), together with (5.15), this last identity gives (5.12). To complete the proof, we first note that in the case \(k=0\) the theory of Pell equations tells us that all solutions of (5.14) are given by (5.15). Returning to part (b) in the case \(k=0\), we see that by (5.4) we have \(D_{0,1}=1\). Finally, considering again (5.13), there is a prime in the sequence \(n+2, n+3,\ldots , 2n-1\); this follows by Bertrand’s Postulate (itself a consequence of the Prime Number Theorem) and the fact that in this case \(n+1\) and 2n cannot be prime. The proof is now complete. \(\square \)
Remark 5.5
(a) The first few values of \(n>1\) making \(D_{0,n}\) a square are
(b) The statement of part (b) of Corollary 5.4 can be made more explicit by using the following result of Nagura [9]: For \(x\ge 25\) there is always a prime p with \(x<p<\frac{6}{5}x\).
Setting \(x=n+k+1\), an easy calculation shows that whenever \(n>\frac{3}{2}(k+1)\), at least one of the integers \(n+k+2,\ldots , 2n-1\) is a prime. This implies that \(D_{k,n}\) is not a square when \(n\equiv k+1\pmod {4}\) and \(n>\frac{3}{2}(k+1)\). The small cases corresponding to \(x<25\) can be eliminated by direct computation. In fact, using the above limit, we verified computationally that \(D_{k,n}\) is not a square for any \(0\le k\le 5000\) and \(n\equiv k+1\pmod {4}\). The constant 3/2 in the above bound could be lowered by using later improvements of Nagura’s result, however at the cost of a higher bound than Nagura’s \(x\ge 25\).
6 Resultants involving \(Q_{n+k}^{(k)}(x)\)
In the previous section we determined the discriminants, that is, resultants of a polynomial and its derivative. We will now see that the resultant of two consecutive polynomials in our sequence \(Q_n(x)\) has a particularly easy form.
Theorem 6.1
For any integer \(n\ge 1\) we have
This result is a consequence of the following theorem. For greater ease of notation, we set
Theorem 6.2
Let \(k\ge 0\) be a fixed integer. Then we have
For \(k=0\), the identity (6.2) reduces to
where we have used Corollary 2.2 for the second equation. We have thus shown that Theorem 6.1 follows from Theorem 6.2.
Before proving Theorem 6.2, we summarize some useful properties of the resultant. See [3, Sect. 4] for these and more, including references. Suppose we have the following two polynomials:
Assuming the variable x, and that the resultant is taken with respect to x, the following properties hold:
where p and q are arbitrary polynomials in x. Next, if a is a constant and g is a polynomial then, unless \(a=g=0\), we have
Finally, we require the following lemma, which can be found as Lemma 4.1 in [3] or, with a different normalization, in [14, p. 58].
Lemma 6.3
Let f, g be as in (6.3). If we can write
with polynomials q, r and \(\nu :=\deg {r}\), then
Proof of Theorem 6.2
We fix \(k\ge 0\), and to simplify notation we set
Our first goal is to find a recurrence relation between \(\Delta _{n}\) and \(\Delta _{n-1}\), using the recurrence relation (2.14). For greater ease of notation, we set \(u_{n}(x):=u_{k,n}(x)\), \(v_{n}(x):=v_{k,n}(x)\), and \(w_{n}(x):=w_{k,n}(x)\), and suppress the variable x when there is no danger of confusion.
and note that \(\mu =n+2, \nu =n\). With explicit expansion (2.16) we get
Then identity (6.8) applied to (2.14) gives us
Now with (6.6) we get
and identities (6.8) and (6.4) yield, along with the identities in Proposition 2.11,
where
Using Corollary 2.9 to evaluate \({\overline{Q}}_{n-1}(-1)\), we get
where
Similarly, we get
where
Using (2.16) to evaluate \({\overline{Q}}_{n-1}(0)\), we get
where
Next, multiplying both sides of (6.14) by \(\Delta _n\) and combining it with (6.11) and (6.10) we obtain
Similarly, multiplying both sides of (6.17) by \(\Delta _{n-1}\) and using (6.12), we get
Finally, combining (6.19) and (6.20), we get the desired recurrence relation
with
where we have used (2.16). By (6.7), this last resultant evaluates to
This completes the first part of the proof.
For the second part of the proof we iterate (6.21) and combine it with (6.22), obtaining
We first deal with the second product in (6.23). Comparing (6.13) with (6.16), we see that \(\alpha _n=\beta _{n-1}\) for all \(n\ge 2\). Hence
Since \(\beta _1=-(2k+1)/2(k+1)\), we easily find with (2.16) that
Next, the terms in Proposition 2.11 can be shown to evaluate as
and so the recurrence relation (2.14) gives
This, with (6.24) and (6.25), gives
and, with the straightforward evaluation
we get
Next we deal with the first product in (6.23). We denote it by \(\Pi _n\), and by combining (6.9), (6.15) and (6.18) we get
To evaluate this product, we first consider
so that
Similarly we obtain
and with some more effort,
Substituting (6.28)–(6.31) into (6.27) and simplifying, we get
It is clear that the product on the right of (6.32) can be written as a product and quotient of factorials, and after working out the details, we get
Finally, substituting (6.33) and (6.26) into (6.23) and simplifying, we obtain (6.4). The proof is now complete. \(\square \)
As an immediate consequence of Theorem 6.2 we obtain the following result.
Corollary 6.4
For any integers \(k\ge 0\) and \(n\ge 1\) we have \((-1)^k\Delta _{k,n}>0\).
Proof
From the explicit expansion (2.16) we see that \((-1)^kQ_{k+n-1}^{(k)}(x)>0\) whenever \(x<0\). This, together with (6.2), implies the statement. \(\square \)
Our next result, which is rather surprising, but is easy to prove, is similar in nature to Theorem 6.1.
Theorem 6.5
For any \(n\ge 0\) we have
Proof
We rewrite the defining equation (1.3) as
and apply Lemma 6.3 with \(f(x)=P_n(x)x^{n+1}\), \(g(x)=Q_n(x)\), and \(r(x)=1\). Since \(b_0=(-1)^n\left( {\begin{array}{c}2n\\ n\end{array}}\right) \), \(\mu =2n+1\) and \(\nu =0\), we get with (6.8),
Now, by (6.7) we have \(R(Q_n,1)=1\), and with (6.6), (6.5) and (6.4) we get
This, together with (6.35), gives
and (6.5) finally yields the desired identity (6.34). \(\square \)
7 The polynomial \(Q_{n}(-x)^{2}-Q_{n-1}(-x)Q_{n+1}(-x)\)
Returning to the occasional comparisons we made between the polynomials \(P_n(x)\), \(Q_n(x)\) and the Chebyshev polynomials of both kinds, we recall the well-known \(2\times 2\) Hankel determinant expressions
valid for all integers \(n\ge 1\); see, e.g., [15, p. 40]. This immediately gives rise to the question of what can be said about analogous expressions for the polynomials \(Q_n(x)\). For reasons of simplicity we consider \(Q_n(-x)\) instead; the first few \(2\times 2\) Hankel determinant expressions, factored over \({\mathbb {Q}}\), are listed in Table 3.
The above table strongly suggest that \(Q_{n}(-x)^{2}-Q_{n-1}(-x)Q_{n+1}(-x)\) is always divisible by \(c_{n}x^{n}(1-2x)\), where \(c_{n}\in {\mathbb {Z}}\) is a constant depending on n, and the co-factor has degree \(n-1\) and has positive coefficients. Moreover, it also seems that the sequence of coefficients of the co-factor forms a unimodal sequence. In this section we will show that these properties are true in general. We start with the following.
Proposition 7.1
For integers \(n\ge 1\) we define
Then the sequence of polynomials \(V_{n}(x)\) satisfies the following recurrence relation: \(V_{1}(x)=2\), \(V_{2}(x)=2x+3\), and for \(n\ge 3\) we have
Proof
The recurrence relation was guessed with the help of EKHAD (see Remark 2.13), which showed that the recurrence holds for all \(n\le 25\). The proof of correctness for all n is a straightforward but tedious induction using the recurrence relation satisfied by the polynomials \(Q_{n}(-x)\). We omit the details. \(\square \)
For integers \(n\ge 1\) we now set
Then the sequences of the first few coefficients are readily identified as \(a_{0,n}=n+1\), \(a_{1,n}=(n-1)n\), \(a_{2,n}=\frac{1}{2}(n-2)(n-1)(n+1)\), \(a_{3,n}=\frac{1}{6}(n-3)(n-2)(n+1)(n+2)\), which are consistent with the entries in Table 3. These are special cases of the following closed expression for the polynomials \(V_n(x)\).
Theorem 7.2
For integers \(n\ge 1\) we have
Proof
Following along the lines of the expressions for \(a_{0,n},\ldots , a_{3,n}\) above, it is easy to obtain experimentally a few more cases and then conjecture the form of the coefficients on the right-hand side of (7.4). It can now be verified in a tedious but straightforward way that the right-hand side of (7.4) satisfies the recurrence relation (7.2). Since (7.4) also clearly gives \(V_1(x)=2\) and \(V_2(x)=2x+3\), this proves the theorem. \(\square \)
Using Theorem 7.2, we can easily obtain some properties of the polynomials \(V_n(x)\). The first one is as follows.
Corollary 7.3
All polynomials \(V_n(x)\), \(n\ge 1\), have positive integer coefficients.
Proof
Positivity of the coefficients is clear from (7.4). Now, using the notation of (7.3), we rewrite the coefficients as
The fraction on the right of (7.5) is an integer except when \(k\mid n\). But in this case we have \(k\mid (n-k)\), so that in either case \(a_{k,n}\) is an integer. \(\square \)
Remark 7.4
In the above proof of Corollary 7.3 we actually showed a bit more, namely that \(a_{k,n}/(n+1-k)\) is an integer for all \(n\ge 1\) and \(0\le k\le n-1\).
As another easy consequence of Theorem 7.2 and Proposition 7.1 we get some special values of \(V_n(x)\).
Corollary 7.5
For all integers \(n\ge 1\) we have
where \(C_n\) is the nth Catalan number.
Proof
The first identity follows immediately from (7.4). For the second and third identities we substitute \(x=\frac{1}{2}\) and \(x=1\) into (7.2), getting the recurrence relations
respectively. The two identities are then obtained by easy inductions. \(\square \)
Next we prove the second observation we made following Table 3. Recall that a polynomial \(\sum _{i=0}^{n}a_{i}x^{i}\) is called unimodal if and only if the sequence of its coefficients is unimodal, that is, if there is an integer m (called the mode) with \(0\le m\le n\), such that
We now state and prove the following result.
Theorem 7.6
For every integer \(n\ge 1\), the polynomial \(V_{n}(x)\) is unimodal. More precisely, with the notation (7.3) we have
Proof
Recall that \(V_{1}(x)=2\) and \(V_{2}(x)=3+2x\). While for \(n=1\) there is nothing to prove, the statement is clearly true for \(n=2\). In what follows we therefore assume that \(n\ge 3\). First, using (7.3) and (7.4), we get
where the second equation is easy to verify. Next, for each k with \(1\le k\le n-2\), we consider
It remains to show that this quotient is greater than 1, which is equivalent to \((n-k)(n+k-1)>k(n-k+2)\). After an easy manipulation we see that this, in turn, is equivalent to \(k(n+1)<n^2-n\). But this is true for all \(1\le k\le n-2\) since the “worst case” \(k=n-2\) leads to the inequality \((n-2)(n+1)<n^2-n\), which is clearly true. Thus we have \(a_{k-1,n}<a_{k,n}\) for all \(1\le k\le n-2\) and \(n\ge 3\), which completes the proof. \(\square \)
In analogy to Sect. 2, we can also obtain a generating function for the sequence of polynomials \(V_n(x)\).
Theorem 7.7
Let
be the ordinary generating function for the sequence \((V_{n}(x))_n\). Then
Proof
We use the same approach as in the proof of Proposition 2.14. Indeed, differentiating both sides of (7.3) with respect to t, manipulating the resulting series as we did in the proof of Proposition 2.14 and using the recurrence relation (7.2), we get the differential equation
Using standard method of solving linear differential equations of degree 1 we easily get the general solution
The initial condition \({\mathcal {V}}(x,0)=0\) leads to \(c_{1}=\frac{1}{2}(1-2x)\), which finally gives the desired solution (7.4). \(\square \)
We note that there are certain similarities between the generating functions (2.17) and (7.7). In fact, they are related through an identity involving partial derivatives. It can be verified through direct computation.
Lemma 7.8
Let \({\mathcal {R}}(x,t):={\mathcal {Q}}(-x,t)\). Then
Remark 7.9
The identity (7.8), along with the explicit formula (2.3) for \(Q_n(x)\), can be used to give an alternative proof of the explicit formula (7.4) for the polynomial \(V_n(x)\). We leave the details to the interested reader.
To conclude this section, we return to the original expression of the title, which we denote by
The first few of these polynomials are listed in Table 4.
The following properties of the polynomials \(W_n(x)\) are an immediate consequence of (7.1) and Theorem 7.2.
Corollary 7.10
For all integers \(n\ge 1\) and \(0\le j\le n-1\) we have \(w_{j,n}=0\), and
where \(C_n=\tfrac{1}{n+1}\left( {\begin{array}{c}2n\\ n\end{array}}\right) \) is the nth Catalan number.
To motivate the last result of this section, we consider the entry for \(n=4\) in Table 4 and note that
This is actually no surprise since by (7.1) we have \(W_n(\frac{1}{2})=0\) for all \(n\ge 1\) and thus, by (7.9) we have
This identity is a special case of the following result.
Proposition 7.11
For integers \(n\ge 1\) and \(0\le i\le n-1\) we have
Before proving this identity we note that in the two extreme cases we get (7.11) when \(i=0\), and the right-most equation in (7.10) when \(i=n-1\).
Proof of Proposition 7.11
We first prove the identity
where the left equation comes from (7.9). To do so, we denote the right-most term of (7.13) by \(R_n(x)\) and manipulate the double sum as follows:
where we have combined the first and third sum from the second-last line. The second sum in the last line then vanishes since \(W_n\left( \tfrac{1}{2}\right) =0\) for all \(n\ge 0\), and the proof of (7.13) is complete.
Now we rewrite (7.1), with (7.9), as
Finally, using (7.4) and equating coefficients of \(x^i\), \(0\le i\le n-1\), we get (7.12). \(\square \)
8 Some irreducibility results
In this brief section we prove some irreducibility results for the main objects of study in this paper, namely the polynomials \(Q_n(x)\) and their derivatives, and the polynomials \(V_n(x)\).
Theorem 8.1
Let \(n\ge 1\) and \(0\le k\le n-1\) be integers. Then the polynomial \(Q_n^{(k)}(x)\) is irreducible over \({\mathbb {Q}}\) when \(n+k+1\) is a prime, or when \(2n+1\) is a prime.
Proof
To prove the first statement, we show that \(Q_{p-k-1}^{(k)}(x)\) is p-Eisenstein. To do so, we rewrite the explicit expression (2.16) as
so the coefficients of \(Q_{p-k-1}^{(k)}(x)\) are
We note that for each positive index i in this range the numerator of the last fraction is divisible by p, but not by \(p^2\), while the factorials \((p-k-1)!\) and i! in the denominator are not divisible by p. It is also clear that the constant coefficient, \((p-1)!/(p-k-1)!\), is not divisible by p. Hence the polynomial \(Q_{p-k-1}^{(k)}(x)\) is p-Eisenstein.
For the second statement, we assume that \(p:=2n+1\) is prime, and show that \(Q_n^{(k)}(-x-1)\) is p-Eisenstein, which would imply irreducibility of \(Q_n^{(k)}(x)\). For this purpose we combine (2.1) with (2.6), and upon taking the kth derivative we get
We know that this polynomial has integer coefficients, and we see that for each index i with \(k\le i\le n-1\) the corresponding coefficient is divisible by the prime \(p=2n+1\), but not by \(p^2\). For \(i=n\), however, we have cancellation, and thus the leading coefficient is not divisible by p. Hence \(Q_n^{(k)}(-x-1)\) is p-Eisenstein, and the proof is complete. \(\square \)
Theorem 8.2
The polynomial \(V_n(x)\) is irreducible over \({\mathbb {Q}}\) if \(2n+1\) is prime.
Proof
We set again \(p:=2n+1\) and show that \(V_n(x+1)\) is p-Eisenstein. To do so, we use (7.4) and a binomial expansion, followed by changing the order of summation:
where the last line results from a straightforward manipulation of the binomial coefficients in the previous line. The inner sum in this last line can be evaluated by various means, including the function sum in Maple which, after some manipulations, gives
As in the proof of the previous theorem we observe that the coefficients of \(V_n(x+1)\) are integers, and that for \(0\le j\le n-2\) they are all divisible by \(p=2n+1\), but not by \(p^2\), and that the coefficient of \(x^{n-1}\) is not divisible by p. Hence \(V_n(x+1)\) is p-Eisenstein, as claimed. \(\square \)
9 Further remarks and conjectures
In this final section we collect some further remarks and conjectures related to the objects studied in this paper.
1. In Sect. 5 we already mentioned the fact that a polynomial in \({{\mathbb {Z}}}[x]\) with a square discriminant has its Galois group contained in the alternating group \(A_n\). Can anything more be said about the Galois group of \(Q_n\)? Computations support the following conjecture, where we set \(D_{0,n}=\mathrm{Disc}(Q_n)\), as in Corollary 5.4.
Conjecture 9.1
For integers \(n\ge 2\) we have
2. In Sect. 8 we proved some partial irreducibility results. However, computations indicate that much more is true.
Conjecture 9.2
For all integers \(n\ge 1\) and \(0\le k\le n-1\) the polynomials \(Q_n^{(k)}(x)\) and \(V_n(x)\) are irreducible over \({\mathbb {Q}}\).
3. It is clear that Proposition 4.2 is in fact true in greater generality. More precisely, if R is a commutative ring with \(0\ne 1\) and \(p_{0}, q_{0}, Y, Z\in R\) satisfy the identity \(p_{0}Y+q_{0}Z=1\), then there are \(p_{n}, q_{n}\in R\) such that \(p_{n}Y^{n+1}+q_{n}Z^{n+1}=1\). Indeed, the proof of this more general statement is exactly the same as that of Proposition 4.2.
This gives rise to the question of whether such a result is also true in a non-commutative setting. We don’t know the answer and formulate the following open
Question 9.3
Let R be a non-commutative ring and suppose that \(p_{0}, q_{0}, Y, Z\) satisfy the equation \(p_{0}Y+q_{0}Z=1\), where Y, Z are not nilpotent elements. Given a fixed positive integer n, do there exist \(p_{n}, q_{n}\in R\) such that \(p_{n}Y^{n+1}+q_{n}Z^{n+1}=1\)?
If Y, Z are allowed to be nilpotent elements in R, it is easy to show that in general we cannot expect a positive answer. Indeed, let \(R=M_{2,2}\) be the ring of \(2\times 2\) matrices with integer coefficients and consider the identity \(p_{0}Y+q_{0}Z=I\), where
However, we have \(Y^2=Z^2=0\) and thus, for each \(n\ge 1\) and any \(p, q\in R\) we have \(pY^{n+1}+qZ^{n+1} \ne I\).
References
M. Davis, H. Putnam, Diophantine sets over polynomial rings. Ill. J. Math. 7, 251–256 (1963)
J. Denef, The Diophantine problem for polynomial rings and fields of rational functions. Trans. Am. Math. Soc. 242, 391–399 (1978)
K. Dilcher, K.B. Stolarsky, Resultants and discriminants of Chebyshev and related polynomials. Trans. Am. Math. Soc. 357(3), 965–981 (2005)
D.S. Dummit, R.M. Foote, Abstract Algebra, 3rd edn. (Wiley, Hoboken, 2004)
J.-M. de Koninck, M. Moineau, Consecutive integers divisible by a power of their largest prime factor. J. Integer Seq. 21, Article 18.9.3 (2018)
J. Gishe, M.E.H. Ismail, Resultants of Chebyshev polynomials. J. Anal. Appl. 27(4), 499–508 (2008)
H.W. Gould, Combinatorial Identities, revised edn. (Gould Publications, Morgantown, 1972)
H.W. Gould, A class of binomial sums and a series transform. Util. Math. 45, 71–83 (1994)
J. Nagura, On the interval containing at least one prime number. Proc. Jpn. Acad. 28, 177–181 (1952)
M.B. Nathanson, Polynomial Pell’s equations. Proc. Am. Math. Soc. 56, 89–92 (1976)
I. Niven, H.S. Zuckerman, H.L. Montgomery, An Introduction to the Theory of Numbers, 5th edn. (Wiley, Hoboken, 1991)
OEIS Foundation Inc. (2011), The On-Line Encyclopedia of Integer Sequences, http://oeis.org. Accessed 11 Jan 2020
M. Petkovšek, H. Wilf, D. Zeilberger, A=B, A K Peters/CRC Press, 1996. Homepage for this book, https://www.math.upenn.edu/~wilf/AeqB.html. Accessed 11 Jan 2020
M. Pohst, H. Zassenhaus, Algorithmic Algebraic Number Theory (Cambridge University Press, Cambridge, 1989)
T.J. Rivlin, Chebyshev Polynomials. From Approximation Theory to Algebra and Number Theory, 2nd edn. (Wiley, New York, 1990)
K.B. Stolarsky, Discriminants and divisibility for Chebyshev-like polynomials, in Number Theory for the Millennium, III (Urbana, 2000), pp. 243–252 (A K Peters, Natick, 2002)
W.W. Stothers, Polynomial identities and Hauptmoduln. Q. J. Math. Oxf. Ser. (2) 32, 349–370 (1981)
K. Tran, Discriminants of Chebyshev-like polynomials and their generating functions. Proc. Am. Math. Soc. 137(10), 3259–3269 (2009)
K. Tran, Discriminants of polynomials related to Chebyshev polynomials: the “Mutt and Jeff” syndrome. J. Math. Anal. Appl. 383(1), 120–129 (2011)
Acknowledgements
The authors express their gratitude to the anonymous referees for constructive suggestions which improved the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research of the first author was supported in part by the Natural Sciences and Engineering Research Council of Canada, Grant # 145628481.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dilcher, K., Ulas, M. Arithmetic properties of polynomial solutions of the Diophantine equation \(P(x)x^{n+1}+Q(x)(x+1)^{n+1}=1\). Period Math Hung 84, 89–118 (2022). https://doi.org/10.1007/s10998-020-00376-5
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10998-020-00376-5