### Asymptotics of zeros of polynomials arising

### from rational integrals

✩### Dimitar K. Dimitrov

*Departamento de Ciências de Computação e Estatística, IBILCE, Universidade Estadual Paulista,*
*15054-000 São José do Rio Preto, SP, Brazil*

Received 3 December 2003 Available online 2 September 2004

Submitted by S. Ruscheweyh

**Abstract**

We prove that the zeros of the polynomialsPm(a)of degreem, defined by Boros and Moll via

Pm(a)= 2m+3/2

π (a+1)

m+1/2

∞

0

dx

(x4_{+}2ax2_{+}1)m+1,

approach the lemniscate_{{}ζ_{∈}C_{:}_{|}_{ζ}2_{−}_{1}_{| =}_{1}_{,} _{ℜ}_{ζ <}_{0}_{}}_{, as}_{m}_{→ ∞}_{.}

2004 Elsevier Inc. All rights reserved.

*Keywords: Rational integral; Polynomial; Zeros; Asymptotic behavior; Lemniscate*

**1. Introduction**

Recently Moll, Boros and their coauthors [1–3,6] investigated thoroughly the rational integral

✩_{Research supported by the Brazilian foundations CNPq, under Grant 300645/95-3, and FAPESP under Grant}

03/01874-2.

*E-mail address: dimitrov@dcce.ibilce.unesp.br.*

N (a, m)_{=}

∞

0

dx

(x4_{+}_{2}_{ax}2_{+}_{1}_{)}m+1, (1)

its dependence both on the parametersmanda, and established various interesting
prop-erties ofN (a, m). We refer to a recent personal account of Moll [6] about the motivation
for the study of the integrals (1) and about some unexpected interplays. Among the other
facts, they proved that, for every fixedm_{∈}N_{,}

Pm(a)= 2m+3/2

π (a+1)

m+1/2_{N (a, m)}

is a polynomial in a of degree m. It was observed in [1] that the zeros of Pm(a) pos-sess a pretty regular asymptotic behavior and nice pictures in support of this observation were furnished in [1,6]. It was pointed out by Boros and Moll in [1], that their numerical experiments suggest that the zeros go to a lemniscate but they were not able to predict its equation. We prove that the limit curve for the zeros of Pm(a) is the left half of the lemniscate of Bernoulli

L_{=}ζ_{∈}C_{:} _{|}_{ζ}2_{−}_{1}_{| =}_{1}_{,} _{ℜ}_{ζ <}_{0}
.

The polar equation ofLis

ρ2_{=}2 cos 2θ , θ_{∈}(3π/4,5π/4).

We also try to explain the lack of zeros around the part ofLwhich is close to the origin, a fact which can be observed in the above mentioned pictures and in Fig. 1 which shows the zeros ofP70(a).

* Theorem 1. If*Zm

*is the set of the zeros of*Pm(a)

*, then*

max a∈Zmmin

|a_{−}ζ_{|}: ζ _{∈}C_{,} _{|}_{ζ}2_{−}_{1}_{| =}_{1}_{,} _{ℜ}_{ζ <}_{0}

→0 asm_{→ ∞}.

*Moreover, if*m_{∈}N_{is fixed, then}

|a_{+}1_{|}1_{−}2(
√

m(m_{+}1)(4m_{+}1)_{−}m)

(2m_{+}1)2 *for every*a∈Zm.
The zeros ofP70(z), together with the lemniscateLand the circumference

Cm=

ζ _{∈}C: _{|}ζ _{+}1_{| =}1_{−}2(
√

m(m_{+}1)(4m_{+}1)_{−}m)
(2m_{+}1)2

,

form_{=}70, can be seen in Fig. 1.

**2. Proof of the theorem**

We begin with a simple technical lemma which shows that the inverse polynomial of a hypergeometric polynomial is also hypergeometric. Recall that the hypergeometric func-tion is defined by

F (α, β_{;}γ_{;}x)_{:=}2F1(α, β_{;}γ_{;}x)_{=}

∞

k=0

(α)k(β)k (γ )k

xk
k_{!},

where(α)k denotes the Pochhammer symbol,(α)k_{:=}α(α_{+}1) . . . (α_{+}k_{−}1)fork_{∈}N,
and(α)0_{:=}1.

* Lemma 1. If*n

_{∈}N

_{,}_{β, γ}

_{∈}C

_{, with}_{β, γ}

_{=}

_{0}

_{,}

_{−}

_{1}

_{,}

_{−}

_{2}

_{, . . . ,}

_{−}

_{n}

_{, then}F (_{−}n, β_{;}γ_{;}z)_{=}(β)n
(γ )n

(_{−}z)nF (_{−}n,1_{−}γ_{−}n_{;}1_{−}β_{−}n_{;}1/z). (2)

**Proof. Calculating the coefficient**dkofzk on the right-hand side of (2), we obtain

dk_{=}(_{−}1)n(β)n
(γ )n

(_{−}n)n−k(1−γ−n)n−k
(1_{−}β_{−}n)n−k

1
(n_{−}k)_{!}

=(−1)

k

k_{!}
(β)k

(γ )kn(n−1) . . . (n−k+1)= (β)k (γ )k(−n)k

1
k_{!}

and the latter coincides with the coefficient ofzk on the left-hand side of (2). ✷

We shall need the following version of the classical Eneström–Kakeya theorem (see Exercise 2 on p. 137 in [5]):

* Theorem A. All the zeros of the polynomial*f (z)

_{=}c0

_{+}c1z

_{+ · · · +}cnzn

*, having positive*

*coefficients*cj

*, lie in the ring*

min

0kn−1(ck/ck+1)|z|0maxkn−1

**Proof of Theorem 1. It was proved in [2,3] that**Pm(a)is a hypergeometric polynomial,

Pm(a)=
_{2}_{m}

m

F _{−}m, m_{+}1_{;}1/2_{−}m_{;}(a_{+}1)/2
.

On using this representation and applying identity (2) forn_{=}m,β_{=}m_{+}1,γ_{=}1/2_{−}m
andz_{=}(a_{+}1)/2, we obtain

Pm(a)=(−1)m
_{2}_{m}

m
_{(m}

+1)m
(1/2_{−}m)m

_{a}

+1 2

m F

−m,1 2; −2m;

2
a_{+}1

. (3)

On the other hand, Driver and Möller [4] proved that, for any real positiveb, the zeros of the polynomials

wnF (_{−}n, b_{; −}2n_{;}1/w) (4)

approach the Cassini curve

(2w_{−}1)2_{−}1=1 (5)
asndiverges. Their result and the representation (3) immediately imply that the zeros of
Pm(a)tend to the lemniscate_{|}ζ2_{−}1_{| =}1 asmgoes to infinity. In order to prove that these
zeros remain in the discDmsurrounded by the circumferenceCm, we apply Theorem A.
The coefficientsckin the expansion

F _{−}m, m_{+}1_{;}1/2_{−}m_{;}(a_{+}1)/2_{=}
m

k=0

ck(a_{+}1)k

are positive. Moreover

∆(k)_{:=} ck
ck+1=

(k_{+}1)(2m_{−}2k_{−}1)
(m_{−}k)(m_{+}k_{+}1) .

Straightforward calculations show that

∆′(κ)_{=}(2m−1)κ
2

−2(2m2_{+}1)κ_{+}2m3_{−}m2_{−}m_{−}1
(m_{−}κ)2_{(m}_{+}_{κ}_{+}_{1}_{)}2 ,
and∆′(κ)_{=}0 only for

κ1,2_{=}2m
2

+1_{±}√m(m_{+}1)(4m_{+}1)

2m_{−}1 ,

where 0< κ1< m_{−}1< κ2. It is easy to see thatκ1is a point of local and also of global
maximum of∆(κ)whenκ varies in_{[}0, m_{−}1_{]}. Then, by Theorem A we conclude that the
zeros ofPm(a)lie in the disc_{|}a_{+}1_{|}∆(κ1), where

∆(κ1)=1−

**3. Remarks and open questions**

While the proof of the convergence of the zeros of Pm(a)toLis a matter of simple transformation of Driver and Möller’s result, the lack of zeros close to the origin seems to be an interesting phenomenon. Except for the fact thatZmis a subset ofDm, one may obtain other regions which do not contain zeros ofPm.

An application of a generalization of Descartes’ rule of signs, due to Obrechkoff [7] (see Theorem 41.3 in [5]), implies

arg(a+1)

π/m for everya∈Zm.

In other words, the zeros of Pm(a)are outside the infinite sector with vertex−1 which
contains the ray(_{−}1,_{∞}), with angle 2π/m.

Another method which is applicable to our case is the so-called Parabola theorem of Saff and Varga [8]. It guarantees that the zeros of certain polynomials that satisfy a three-term recurrence relation belong to a parabola region. It can be shown that the polynomials

qk(z)_{=} (1/2−m)k
(_{−}1/2_{−}2m)k

F (_{−}k, m_{+}1,1/2_{−}m,1_{+}z)

satisfy the recurrence relation

qk(z)=
_{z}

bk +1

qk−1(z)− z

ckqk−2(z), k=1, . . . , m, where

bk_{=}2m−k+3/2

m_{+}k and ck=

(2m_{−}k_{+}3/2)(2m_{−}k_{+}5/2)
(k_{−}1)(m_{−}k_{+}3/2) .

Then ifa_{∈}Zm, witha=ξ+iη, the parabola theorem yields

η2>2(4m+1)
2m_{−}1

ξ_{+} 3
4m_{−}2

.

Let us apply the left-hand side estimate in Theorem A to the Maclaurin expansion

Pm(a)= m

k=0

dk(m)ak.

In [1] Boros and Moll obtained the representation

dk(m)=2−2m m

j=k 2j

_{2}_{m}

−2j
m_{−}j

_{m}

+j m

_{j}

k

for the coefficients of this expansion and proved that the first half of the sequence
{dk(m)}m_{k}_{=}_{0}is increasing and the second one is decreasing. Numerical experiments show
that, for every fixedm, the minimum ofdk(m)/dk+1(m)is attained fork=0 and the values
ofd0(m)/d1(m)behave like 1/masmdiverges.

around the origin in comparison with the cuts with the above mentioned sector, parabola and circumference of radius 1/maround the origin. The author finds that a promising way of determining the precise behavior of the closest to the origin zero ofPm(a)is the relation betweenZmand the zeros of the polynomialsHn(b, u), defined by (4.4) in [4]. There, on p. 86, Driver and Möller formulated a challenging conjecture about the location of the zeros ofHn(b, u). If true, and once it is established, the statement of that conjecture will provide precise information about the location of the zeros ofPm(a).

We finish with an observation motivated by another result of Driver and Möller.
Propo-sition 5.2 in [4] states that the zeros of the polynomials (4) lie outside the Cassini curve (5)
for alln_{∈}N, providedb1. In our caseb_{=}1/2, so we cannot conclude that the zeros of
Pm(a)lie outsideLthough numerical experiments show that they do.

**References**

[1] G. Boros, V.H. Moll, A sequence of unimodal polynomials, J. Math. Anal. Appl. 237 (1999) 272–287. [2] G. Boros, V.H. Moll, An integral hidden in Gradshteyn and Ryzhik, J. Comput. Appl. Math. 106 (1999)

361–368.

[3] G. Boros, V. Moll, J. Shallit, The 2-adic valuation of the coefficients of a polynomial, Scientia Ser. A Math. Sci. 7 (2000–2001) 47–60.

[4] K. Driver, M. Möller, Zeros of the hypergeometric polynomialsF (−n, b; −2n;z), J. Approx. Theory 110 (2001) 74–87.

[5] M. Marden, Geometry of Polynomials, second ed., in: Math. Surveys, vol. 3, American Mathematical Society, Providence, RI, 1966.

[6] V.H. Moll, The evaluation of integrals: a personal story, Notices Amer. Math. Soc. 49 (2002) 311–317. [7] N. Obrechkoff, Über die Wurzeln algebraischen Gleichungen, Jahresber. Deutsch. Math.-Verein 33 (1924)

52–64.