Integer-valued polynomials

[33/97%]
Show
LaTeX

The polynomial

x(x−1)(x−2)⋯(x−m+1)1⋅2⋅3⋯m=(xm) \frac{x(x-1)(x-2)\cdots (x-m+1)}{1\cdot 2\cdot 3\cdots m} = \binom xm

is integral-valued, but it does not have integral coefficients if m≥2m\geq 2.

?

Every polynomial P(x)P(x) of degree mm may be expressed in the form

P(x)=b0(xm)+b1(xm−1)+⋯+bm−1(x1)+bm. P(x) = b_0\binom xm + b_1\binom {x}{m-1} + \cdots + b_{m-1}\binom x1 + b_m .

P(x)P(x) is integral-valued if and only if the numbers b0,b1,…,bm−1,bmb_0,b_1,\ldots ,b_{m-1},b_m are integers.

?

If the polynomial P(x)P(x) of degree mm is integral-valued, then m!P(x)m!P(x) has integral coefficients.

?

If a polynomial of degree mm assumes integral values for m+1m+1 consecutive integral values of the variable, then it assumes integral values for all integral values of the variable.

?

Every odd polynomial P(x)P(x) of degree 2m−12m-1 may be written in the form

P(x)=c1(x1)+c2(x+13)+c3(x+25)+⋯+cm(x+m−12m−1). P(x) = c_1\binom x1 + c_2\binom {x+1}{3} + c_3\binom {x+2}{5} + \cdots + c_m\binom {x+m-1}{2m-1} .

P(x)P(x) is integral-valued if and only if the numbers c1,c2,…,cm−1,cmc_1,c_2,\ldots ,c_{m-1},c_m are integers.

?

Every even polynomial P(x)P(x) of degree 2m2m may be written in the form

P(x)=d0+d1x1(x1)+d2x2(x+13)+⋯+dmxm(x+m−12m−1). P(x) = d_0 + d_1\frac x1\binom x1 + d_2\frac x2\binom {x+1}{3} + \cdots + d_m\frac xm\binom {x+m-1}{2m-1} .

P(x)P(x) is integral-valued if and only if the numbers d0,d1,…,dmd_0,d_1,\ldots ,d_m are integers.

?

There exist polynomials with integral coefficients of degree mm, whose absolute value is equal to 1 at m+1m+1 integral points if m≤3m\leq 3, but there exist no such polynomials if m≥4m\geq 4.

?
Remark.
?

Cf. Problem 70 of Part VI.

If a rational integral function (a polynomial) of degree mm assumes rational values at m+1m+1 integral points, then its coefficients are rational numbers.

?

If a rational function that is not a polynomial assumes rational values at all positive integral points, then it is the quotient of two relatively prime polynomials with integral coefficients.

?

If a rational function has integral values for infinitely many integral values of the variable, then it is a rational integral function (a polynomial).

?

Let P(x)P(x) be an integral-valued polynomial. Is it possible that all the terms of the sequence of numbers

P(1),P(2),P(3),…,P(n),… P(1), \quad P(2), \quad P(3), \quad \ldots , \quad P(n), \quad \ldots

are prime numbers? (With the particular choice of P(x)=x2−x+41P(x)=x^2-x+41 the first 40 terms are prime numbers, as Euler noted.)

?

The prime divisors of the polynomial x2+1x^2+1 are 2,5,13,17,…2,5,13,17,\ldots, i.e. 2 and the odd prime numbers of the form 4n+14n+1; the prime numbers of the form 4n+34n+3 are not prime divisors of x2+1x^2+1.

?

Determine the prime divisors of x2+15x^2+15.

?

There are infinitely many prime numbers that are not prime divisors of a given irreducible polynomial of second degree with integral coefficients.

?
Remark.
?

To be proved with the aid of deeper fundamental results. Cf. the footnote to Problem 110.

If an integral-valued polynomial that does not vanish identically has a rational zero, then every prime number is a prime divisor of the polynomial with the possible exception of finitely many primes.

?

Every prime number is a prime divisor of the polynomial

x6−11x4+36x2−36, x^6-11x^4+36x^2-36 ,

which has no rational zeros.

?

An odd prime divisor of Km(x)K_m(x), the mmth cyclotomic polynomial [36], is either a divisor of mm or ≡1(modm)\equiv 1 \pmod m.

?
Remark.
?

Cf. Problem 104.

Let a,b,ca,b,c be integers, a≥0a\geq 0, b≥2b\geq 2, c≥0c\geq 0. The integral-valued function abx+cab^x+c has infinitely many prime divisors.

?
Remark.
?

abx+cab^x+c is periodic modulo nn for every nn that is relatively prime to bb; the absolute value of the function abx+cab^x+c tends to infinity.

Let P(x)P(x) be an integral-valued polynomial that is not a constant. Then P(x)P(x) has infinitely many prime divisors.

?

The fact stated in 108 may be expressed as follows: If P(x)P(x) is an integral-valued polynomial that is not a constant, then not all the terms of the sequence of numbers

P(0),P(1),P(2),…,P(n),… P(0), \quad P(1), \quad P(2), \quad \ldots , \quad P(n), \quad \ldots

can be constructed from finitely many prime numbers. Is it possible that infinitely many terms of the sequence can be constructed from finitely many prime numbers?

?

Let the two integral-valued non-constant polynomials P(x)P(x) and Q(x)Q(x) be relatively prime. Then there exist arbitrarily large integers nn such that the least common multiple of the numbers P(n)P(n) and Q(n)Q(n) contains prime factors that are not contained in their greatest common divisor.

?

Let P(x)P(x) be an irreducible integral-valued polynomial that is not a constant. (See § 3, the introduction to Problem 116.) Then there exist arbitrarily large integers nn, such that in P(n)P(n) there occurs at least one simple prime factor pp; i.e. P(n)≡0(modp)P(n)\equiv 0 \pmod p, P(n)≢0(modp2)P(n)\not\equiv 0 \pmod{p^2}.

?

Let P(x)P(x) be an integral-valued polynomial. Let the zero of P(x)P(x) of smallest multiplicity have multiplicity mm. (Then all the prime factors of P(n)P(n), with the possible exception of finitely many, must when raised to the power mm also be factors of P(n)P(n), n=0,1,2,…n=0,1,2,\ldots.) There exist arbitrarily large integers nn such that in P(n)P(n) at least one prime factor occurs not more than mm times.

?

If the polynomial P(x)P(x) assumes for every positive integer xx a value that is the square of an integer, then P(x)P(x) is the square of a polynomial. (Analogous results are true for higher powers.)

?

Let b1,b2,…,bkb_1,b_2,\ldots ,b_k be distinct positive integers, 0<b1<b2<⋯<bk0<b_1<b_2<\cdots <b_k and P1(x),P2(x),…,Pk(x)P_1(x),P_2(x),\ldots ,P_k(x) polynomials with integral coefficients. Then the function

P1(x)b1x+P2(x)b2x+⋯+Pk(x)bkx P_1(x)b_1^x+P_2(x)b_2^x+\cdots +P_k(x)b_k^x

has infinitely many prime divisors.

?

Let the power series in descending powers of zz

bmzm+bm−1zm−1+⋯+b1z+b0+b−1z+b−2z2+b−3z3+⋯ b_mz^m+b_{m-1}z^{m-1}+\cdots +b_1z+b_0+\frac{b_{-1}}{z}+\frac{b_{-2}}{z^2}+\frac{b_{-3}}{z^3}+\cdots

converge outside some circle. Let the numbers b1,b2,…,bmb_1,b_2,\ldots ,b_m be rational. If the series assumes integral values for infinitely many integral values of zz, then b0b_0 is rational and

b−1=b−2=b−3=⋯=0. b_{-1}=b_{-2}=b_{-3}=\cdots =0 .

(Generalization of 93.) [Hurwitz--Courant, p. 30.]

?

The series

2z2+1=2z+24z−232z3+2128z5−522048z7+⋯ \sqrt{2z^2+1} = \sqrt2z+\frac{\sqrt2}{4z}-\frac{\sqrt2}{32z^3}+\frac{\sqrt2}{128z^5}-\frac{5\sqrt2}{2048z^7}+\cdots

represents an integer for infinitely many integral values of zz.

?

Let the power series

F(z)=bmzm+bm−1zm−1+⋯+b1z+b0+b−1z+b−2z2+⋯ F(z) = b_mz^m+b_{m-1}z^{m-1}+\cdots +b_1z+b_0+\frac{b_{-1}}{z}+\frac{b_{-2}}{z^2}+\cdots

that is not everywhere divergent represent integers for all sufficiently large integral values of zz. Then F(z)F(z) is an integral-valued polynomial.

?

If two polynomials are such that they assume integral values at the same points of the complex plane, then either their sum or their difference is a constant. (This constant is naturally an integer.)

?

If mm is the degree of y=f(x)y=f(x) and nn the degree of z=g(x)z=g(x), then we have for sufficiently large ∣y∣\left|y\right|

x=a1y1m+a0+a−1y1m+a−2y2m+⋯ , x = a_1y^{\frac1m}+a_0+\frac{a_{-1}}{y^{\frac1m}}+\frac{a_{-2}}{y^{\frac2m}}+\cdots , z=bnynm+bn−1yn−1m+⋯+b0+b−1y1m+b−2y2m+⋯ , z = b_ny^{\frac nm}+b_{n-1}y^{\frac{n-1}{m}}+\cdots +b_0+\frac{b_{-1}}{y^{\frac1m}}+\frac{b_{-2}}{y^{\frac2m}}+\cdots ,

where all mm determinations are admissible for y1my^{\frac1m}.

?

Let the series in descending powers of zz

amzm+am−1zm−1+⋯+a1z+a0+a−1z+a−2z2+a−3z3+⋯ a_mz^m+a_{m-1}z^{m-1}+\cdots +a_1z+a_0+\frac{a_{-1}}{z}+\frac{a_{-2}}{z^2}+\frac{a_{-3}}{z^3}+\cdots

be convergent outside some circle, and let its values for infinitely many rational integral values of zz be rational integral. If the coefficients am,am−1,…,a1,a0,a−1,a−2,…a_m,a_{m-1},\ldots ,a_1,a_0,a_{-1},a_{-2},\ldots are all rational numbers, then the series represents a rational entire function (it terminates, 188); if the coefficients all belong to a finite field, then the power series represents an algebraic function. (Example: 189.)

?

Prove that a polynomial of degree <n<n, which takes integer values at nn consecutive integer values of the variable, takes integer values at all integer values of the variable.

Is it true that such a polynomial has integer coefficients?

?

References

[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.
[Кос15] Кострикин А.И. Сборник задач по алгебре. МЦНМО, 2015.