## LINEAR COMBINATIONS OF POLYNOMIALS WITH THREE-TERM RECURRENCE

## KHANG TRAN AND MAVERICK ZHANG

Abstract. We study the zero distribution of the sum of the first n polynomials satisfying a three-term recurrence whose coefficients are linear polynomials. We also extend this sum to a linear combination, whose coefficients are powers of az + b for a, b ∈ R , of Chebyshev polynomials. In particular, we find necessary and sufficient conditions on a , b such that this linear combination is hyperbolic.

## 1. Introduction

The sequence of Chebyshev polynomials of the first kind { T n ( z ) } ∞ n =0 defined by the recurrence

$$T _ { n + 1 } ( z ) = 2 z T _ { n } ( z ) + T _ { n - 1 } ( z )$$

with T 0 ( z ) = 1 and T 1 ( z ) = z forms a sequence of orthogonal polynomials whose zeros are real (i.e., hyperbolic polynomials). The location of zeros of polynomials satisfying a more general recurrence

$$R _ { n + 1 } ( z ) & = A ( z ) R _ { n } ( z ) + B ( z ) R _ { n - 1 } ( z )$$

where A z , B z ( ) ( ) ∈ C [ z ] was given in [3]. In [2], the author studied the set of zeros of a linear combination of Chebyshev polynomials ∑ m k =0 a T k n -k ( z ), m ≤ n , a k ∈ R , and provided a connection between this sequence and the theory of Pisot and Salem numbers in number theory. In the special case when m = n and a k = 1 ∀ k , the sum of the first n Chebyshev polynomials connects to Direchlet kernel in Fourier analysis. In Section 2 of this paper, we to study the zeros of this sum (c.f. Theorem 1) when the sequence of Chebyshev polynomials are replaced by a more general sequence { R n ( z ) } given in (1.1) where A z ( ) and B z ( ) are any linear polynomials with real coefficients.

The sequence of Chebyshev polynomials of the second kind { U n ( z ) } satisfies the same recurrence as that of the first kind with the initial condition U 0 ( z ) = 1 and U 1 ( z ) = 2 z . This initial condition can be written in the form U 0 ( z ) = 1 and U -n ( z ) = 0, ∀ n ∈ N . In Section 3 of this paper, we study the zeros of a linear combination of

2000 Mathematics Subject Classification. 30C15, 26C10.

Chebyshev polynomials of the second kind whose coefficients are power of az + . In b particular, we consider

$$( 1. 2 ) \, & \quad \, \quad \, Q _ { n } ( z ) = \sum _ { k = 0 } ^ { n } ( a z + b ) ^ { k } U _ { n - k } ( z ), \quad \, a, b \in \mathbb { R }. \\ \intertext { s u r c e } \, \begin{array} { c } \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \end{array}.$$

We find necessary and sufficient conditions on a and b under which the zeros of resulting polynomials are real (c.f. Theorem 8).

## 2. Sum of polynomials with three-term recurrence

/negationslash

For a , b 1 1 , a 2 , b 2 ∈ R , a 2 = 0, we let R n ( z ) be the sequence of polynomials satisfying the recurrence

$$R _ { n + 1 } ( z ) = ( a _ { 1 } z + b _ { 1 } ) R _ { n } ( z ) + ( a _ { 2 } z + b _ { 2 } ) R _ { n - 1 } ( z )$$

with R 0 ( z ) = 1 and R -n ( z ) = 0, ∀ n ∈ N . Equivalently the sequence { R n ( z ) } ∞ n =0 is generated by

In this section, we study neccessary and sufficient conditions on a 1 , b 1 , a 2 , and b 2 under which all the zeros of the polynomial

$$\sum _ { n = 0 } ^ { \infty } R _ { n } ( z ) t ^ { n } = \frac { 1 } { 1 - ( a _ { 1 } z + b _ { 1 } ) t - ( a _ { 2 } z + b _ { 2 } ) t ^ { 2 } }. \\ \text{ion. we studv.} & \text{ necessarv and sufficient conditions on } a _ { 1 }. \, b _ { 1 }.$$

$$\sum _ { k = 0 } ^ { n } R _ { n - k } ( z )$$

are real. Those polynomials form a sequence whose generating function is

$$\text{real. } 'Ihose polynomials form a sequence whose generating function is$$

With the substitutions t by -t , a 2 by -a 2 , and b 2 by -b 2 , and then substitute a z 2 + b 2 by z , we reduce the generating function to the form

$$\frac { 1 } { ( t + 1 ) ( ( a z + b ) t ^ { 2$$

Note that all the substitutions above preserve the reality of the zeros of the generated sequence of polynomials. We state the main theorem of this section.

Theorem 1. Let a, b ∈ R . The zeros of all the polynomials P n ( z ) generated by

$$( 2. 1 ) \sum _ { n = 0 } ^ { n } P _ { n }$$

are real if and only if b ≥ 1 + 2 | a . | Under this condition the zeros of P n ( z ) lie on

$$\begin{array} {$$

and are dense there as n →∞ .

2.1. The sufficient condition. We assume b ≥ 1 + 2 | a | . To prove the zeros of P n ( z ) lie on (2.2), we count the number of real zeros of P n ( z ) on this interval and show that this number is at least the degree of this polynomial which is given by the lemma below.

Lemma 2. For each n ∈ N , the degree of P n ( z ) is at most n .

Proof. We collect the coefficients in t of the denominator of the right side of (2.1) and obtain the recurrence

$$( 2. 3 ) \quad & P _ { n } ( z ) = - ( z + 1$$

where P 0 ( z ) = 1 and P -n ( z ) = 0, ∀ n ∈ N . The lemma follows from induction. /square

To count the number of real zeros of P z ( ), we construct two auxiliary real-valued functions z θ ( ) and τ ( θ ) on θ ∈ (0 , π ). The first function is defined as

$$\begin{array} {$$

By the quadratic formula, z θ ( ) satisfies

$$z ( \theta ) ^ { 2 } - 4 a z ( \theta ) \cos ^$$

We will show later that there are n values of θ ∈ (0 , π ), each of which yields a zero of P n ( z ) on (2.2) via z θ ( ). The lemma below ensures a bijective correspondence between θ and z θ ( ).

Lemma 3. The function z θ ( ) is increasing on (0 , π ) and it maps this interval onto the interval

$$\left ( 2 a - 2 \sqrt { a ^ { 2 } + b }, 2 a$$

Proof. To show z θ ( ) is increasing, we compute its derivative

$$\frac { d z } { d \theta } = - 4 a \cos \theta \$$

and see that it suffices to show

$$\underset { 2 a ^ { 2 } \cos \theta + b > 2 \left | a \cos \theta \right | \sqrt { a ^ { 2 } \cos ^ { 2 } \theta + b }.$$

The left side is positive and the squares of both sides reduce the inequality to b 2 &gt; 0, which shows that z θ ( ) is increasing. We complete the lemma by computing the limits

$$\cdot \cdot \lim _ { \theta \to 0 } z ( \theta ) & = 2 a - 2 \sqrt { a ^ { 2 } + b }, \\ \lim _ { \theta \to \pi } z ( \theta ) & = 2 a + 2 \sqrt { a ^ { 2 } + b }.$$

$$\begin{array} { c } \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{array}$$

To define the second function τ ( θ ), we need the following lemma.

Lemma 4. For any θ ∈ (0 , π ) , we have

$$a z ( \theta ) + b > 0.$$

Proof. From Lemma 3, it suffices to show that

Since we know the left side is positive by b ≥ 1+2 | a | , we obtain the inequality above by squaring both sides. /square

$$\text{unless $\upsilon$ window } \, \\ b + 2 a ^ { 2 } > 2 | a | & \sqrt { a ^ { 2 } + b }. \\ \text{else noctivo $\mathfrak{w}$} \, h > 1 \perp 0 | a | \, \mathfrak { w o } \,.$$

From Lemma 4, we define the functions

$$\begin{smallmatrix} 1 \\ - \end{smallmatrix}$$

$$\tau ( \theta ) & = \frac { 1 } { \sqrt { a z ( \theta ) + b } }, \\ t _ { 1 } ( \theta ) & = \tau ( \theta ) e ^ { - i \theta }, \\ t _ { 2 } ( \theta ) & = \tau ( \theta ) e ^ { i \theta },$$

on θ ∈ (0 , π ).

Lemma 5. For any θ ∈ (0 , π ) , the two zeros of

$$( 2. 6 ) & & ( a z ( \theta ) + b ) t ^ { 2 } + z ( \theta ) t + 1$$

are t 1 ( θ ) and t 2 ( θ ) .

Proof. We verify that τ ( θ e ) ± iθ satisfy the Vieta's formulas. Indeed, we have

$$t _ { 1 } ( \theta ) t _ { 2 } ( \theta ) & = \tau ( \theta ) ^ { 2 } = \frac { 1 } { a z ( \theta ) + b }$$

and

$$t _ { 1 } ( \theta ) + t _ { 2 } ( \theta ) = 2 \tau ( \theta ) \cos \theta = \frac { 2 \cos \theta } { \sqrt { a z ( \theta ) + b } }. \\ \ni \, \text{note that}$$

From (2.4), we note that

$$z ( \theta ) \cos \theta < 0$$

since b &gt; 0. As a consequence, we obtain

$$& \quad \frac { 2 \cos \theta } { \sqrt { a z ( \theta ) + b } } = \frac { - z ( \theta ) } { a z ( \theta ) + b } \\ & \text{by squaring both sides and applying (2.5). }$$

by squaring both sides and applying (2.5).

/square

The lemma below shows that for each θ ∈ (0 , π ), the two zeros of (2.6) lie inside the unit ball.

Lemma 6. For any θ ∈ (0 , π ) , we have | τ ( θ ) | &lt; 1 .

$$P r o o f. \text{ From } ( 2. 7 ), \, ( 2. 9 ), \, \text{and } ( 2. 4 ), \, \text{it suffices to show} \\ \sqrt { a ^ { 2 } \cos ^ { 2 } \theta + b } > 1 + a \cos \theta.$$

$$\sqrt { a ^ { 2 } \cos ^ { 2 } \theta + b } > 1 + a \cos \theta.$$

If the right side is negative, the inequality is trivial. If not, we square both sides and the inequality follows from

$$b \geq 1 + 2 | a | > 1 + 2 a \cos \theta. \tag* { \square }$$

For each θ ∈ (0 , π ), the Cauchy differentiation formula gives

/negationslash

$$\text{or each } \nu \in \mathcal { \Psi }, \, \$$

We recall that az θ ( )+ b = 0 by Lemma 4. If we integrate the integrand over the circle Re it , 0 ≤ t ≤ 2 π , and let R →∞ , then the integral approaches 0. Thus the sum of P n ( z θ ( )) and the residues of the integrand at the three simple poles -1, t 1 ( θ ) and t 2 ( θ ) is 0. We compute these residue and deduce that -( az θ ( ) + b P ) n ( z θ ( )) equals to

( -1) n +1 (1 + t 1 ( θ ))(1 + t 2 ( θ )) + 1 t 1 ( θ ) n +1 (1 + t 1 ( θ ))( t 1 ( θ ) -t 2 ( θ )) + 1 t n +1 2 ( θ )(1 + t 2 ( θ ))( t 2 ( θ ) -t 1 ( θ )) . We multiply this expression by (1 + t 1 ( θ ))(1 + t 2 ( θ )) τ ( θ ) n +1 , which is nonzero ∀ θ ∈ (0 , π ), and conclude θ is a zero of P n ( z θ ( )) if and only if it is a zero of

$$& ( - 1 ) ^ { n + 1 } \tau ( \theta ) ^ { n$$

or equivalently a zero of

$$( - 1 ) ^ { n + 1 } \tau ( \theta ) ^ { n +$$

With the trigonometric identity sin( n +2) θ = sin(( n +1) )cos θ θ +cos(( n +1) )sin θ θ , we write the expression above as

$$( 2. 1 0 ) \quad \ \ ( - 1 ) ^ { n + 1 } \t$$

We note that if

$$\begin{array} {$$

then the sign of (2.10) is ( -1) k +1 since τ ( θ ) &lt; 1 by Lemma 6. By the intermediate value theorem, (2.10) has at least n -1 solution on ( π/ n ( +1) , nπ/ n ( +1)). We also note that as θ → 0, the sign of (2.10) is negative since sin(( n +1) ) θ / sin θ approaches n +1 and τ ( θ ) &lt; 1. Thus (2.10) has another zero on (0 , π/ ( n +1)). From Lemma 3, each zero in θ of (2.10) gives exactly one zero in z of P n ( z ) on

$$\Phi _ { \nu } \infty \infty \infty _ { \nu } \infty \infty _ { \nu } \infty \infty \infty _ { \nu } \infty \infty _ { \nu } \infty \infty \\ \left ( 2 a - 2 \sqrt { a ^ { 2 } + b }, 2 a + 2 \sqrt { a ^ { 2 } + b } \right ). \\ \int _ { \ } P ( \nu ) \, \text{li on the interval above how the find}$$

Thus all the zeros of P n ( z ) lie on the interval above by the fundamental theorem of algebra and Lemma 2. The density of the zeros of P n ( z ) as n →∞ on this interval follows directly from the density of the solutions of (2.10) and the continuity of z θ ( ).

## 2.2. The necessary condition. In this section, we will show that if either

- (1) b ≤ -1 or

then not all polynomials P n ( z ) are hyperbolic. By [1, Theorem 1.5], it suffices to find z ∗ ∈ C R \ such that the zeros of

- (2) -1 &lt; b &lt; 1 + 2 | a , |

$$( 2. 1 1 ) & & ( t + 1 ) ( ( a z ^ { * } + b ) t ^ { 2 } + z ^ { * } t + 1 )$$

are distinct and the two smallest (in modulus) zeros of this polynomial have the same modulus. Note that every small neighborhood of such z ∗ will contain a zero of P n ( z ) for all large n and consequently P n ( z ) is not hyperbolic for all large n . For more details on this application of the theorem, see [4].

For the first case b ≤ -1, we let θ ∗ be any angle with a 2 cos 2 θ ∗ &lt; -b and let τ ∗ be any zero of

Note that τ ∗ / ∈ R since

$$b \tau ^ { 2 } - 2 a \tau \cos \theta ^ { * } - 1.$$

$$a ^ { 2 } \cos ^ { 2 } \theta ^ { * } + b < 0$$

and consequently τ ∗ 2 / ∈ R by the definition of τ ∗ . With the note that 2 aτ ∗ cos θ ∗ +1 is nonreal (and thus nonzero), we choose

$$z ^ { * } = \frac { - 2 b \tau ^ { * } \cos \theta ^ { * } } { 2 a \tau ^ { * } \cos \theta ^ { * } + 1 }$$

which is nonreal since 1 /z ∗ / ∈ R . From the definitions of τ ∗ , θ ∗ , and z ∗ above, the two solutions of

$$( a z ^ { * } + b ) t ^ { 2 } + z ^ { * } t + 1 = 0$$

are τ ∗ e ± iθ ∗ since they satisfy the Vieta's formulas

$$\tau ^ { * 2 } = \frac { 1 } { a z ^ { * } + b }$$

and

$$2 \tau ^ { * } \cos \theta ^ { * } = - \frac { z ^ { * } } { a z ^ { * } + b }. \, \\ \dots \, \theta \, \quad. \, \quad.$$

Since τ ∗ and τ ∗ are solutions of bτ 2 -2 aτ cos θ ∗ -1, we have τ ∗ τ ∗ = | τ ∗ | 2 = -1 /b ≤ 1. Thus the two smallest (in modulus) zeros of (2.11) equal in modulus and we complete the case b ≤ -1.

We now consider the case -1 &lt; b &lt; 1 + 2 | a | . We will find z ∗ / ∈ R so that the smaller (in modulus) zero of ( az ∗ + ) b t 2 + z t ∗ +1 lie on the unit circle. The inequality | 2 | a | -b || &lt; 1 implies that

$$1 + 2 | a | > | b | > | b |. | 2 | a | - b |$$

and consequently

$$1 - b ^ { 2 } + 2 | a | + 2 b | a | > 0. \\ \colon \, & \omega \cap \epsilon \sin \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { n } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m  { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m. } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { m } { \mathfrak { p } } } } } } } } } } } } }$$

We conclude there is θ ∗ ∈ (0 , π ) sufficiently close to 0 when a ≥ 0 or close to π when a &lt; 0 such that

$$b ^ { 2 } - 2 a b \cos \theta ^ { * } & < 1 + 2 a \cos \theta ^ { * }. \\ \intertext { w o h o }$$

With this choice of θ ∗ , we have

$$& ( 2. 1 2 ) & & \frac { | b e ^ { i \theta ^ { * } } - a | } { | a e ^ { i \theta ^ { * } } + 1 | } = \frac { b ^ { 2 } + a ^ { 2 } - 2 a b \cos \theta } { a ^ { 2 } + 1 + 2 a \cos \theta } < 1. \\ & \text{We define}$$

$$z ^ { * } = \frac { - 1 - b e ^ { 2 i \theta ^ { * } } } { a e ^ { 2 i \theta ^ { * } } + e ^ { i \theta ^ { * } } }$$

We define and write

$$( 2. 1 3 ) & & ( a z ^ { * } + b ) t ^ { 2 } + z ^ { * } t + 1$$

as z ∗ ( at 2 + ) + t bt 2 +1 to conclude that e iθ ∗ is a zero of this polynomial. Since the product of the two zeros of this polynomial is 1 / az ( ∗ + ), we claim that the other b zero of this polynomial is more than 1 in modulus by showing that

$$\frac { 1 } { | a z ^ { * } + b | } > 1.$$

Indeed, from the definition of z ∗ , this inequality is equivalent to (2.12). We note that z ∗ / ∈ R since a solution of (2.13) is e iθ ∗ / ∈ R and the other solution is more than 1 in modulus.

## 3. Linear combination of chebyshev polynomials

The goal this section is to study necessary and sufficient conditions under which the zeros of (1.2) are real. The sequence { Q n ( z ) } in (1.2) is generated by

With the substitution z by -z/ 2 and then -a/ 2 by a , it suffice to study the hyperbolicity of the sequence generated of polynomials by

$$\colon ( 1. 2 ) \, \text{are real. The sequence} \, \{ Q _ { n } ( z ) \} \, \text{in} \, ( 1. 2 ) \, \text{is generated} \, b \\ \sum _ { n = 0 } ^ { \infty } Q _ { n } ( z ) t ^ { n } & = \sum _ { n = 0 } ^ { \infty } \sum _ { k = 0 } ^ { n } ( a z + b ) ^ { k } U _ { n - k } ( z ) t ^ { n } \\ & = \sum _ { k = 0 } ^ { \infty } ( a z + b ) ^ { k } t ^ { k } \sum _ { n = k } ^ { \infty } U _ { n - k } ( z ) t ^ { n - k } \\ & = \frac { 1 } { ( 1 + ( a z + b ) t ) ( 1 - 2 z t + t ^ { 2 } ) }. \\ \text{bstitution} \, z \, \text{by} \, - z / 2 \, \text{and then} \, - a / 2 \, \text{by} \, a, \text{it suffice to study} \\ \text{the sequence generated of polvnomials} \, \text{bv}$$

$$\begin{matrix} \mu & \mu & \mu \\ & & 1 \\ & \frac { 1 } { ( 1 + ( a z + b ) t ) ( 1 + z t + t ^ { 2 } ) }. \end{matrix}$$

As a small digression of the main goal, we will prove following theorem which states that the positivity of the t 2 - coefficient in the factor 1+ zt + t 2 is important to ensure the hyperbolicity of the generated sequence of polynomials.

/negationslash

$$\frac { 1 } { ( ( a z + b ) t + 1 ) ( c t ^ { 2 } + z t + 1 ) }.$$

Theorem 7. Suppose a, b, c ∈ R where c = 0 . If c ≤ 0 , then not all the polynomials P n ( z ) generated by are hyperbolic.

We note that if c = 0, the sequence of generated polynomials satisfy a three-term recurrence and their zeros have been studied in [3]. Under the condition c &gt; 0, with the substitution t → t/ √ c , we can assume c = 1. The following theorem settles the necessary and sufficient conditions for the hyperbolicity of (1.2).

Theorem 8. Suppose a, b ∈ R . The zeros of all the polynomials P n ( z ) generated by

$$( 3. 1 ) \quad \sum _ { \substack { n = 0 \\ \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots........................................................................................................................................................................................................ \cdots.................................................................................................................................................................................................... \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \ddots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

are real if and only if | b | ≤ 1 -2 | a | . Moreover when | b | ≤ 1 - | | 2 a , the zeros of P n ( z ) lies on ( -2 2) , and are dense there as n →∞ .

3.1. Proof of Theorem 7. In the case c &lt; 0, with the substitution t → t/ √ | c | , it suffices to show that for any a, b ∈ R , not all the polynomials generated by are hyperbolic. Recall a consequence of [1, Theorem 1.5] that we will need to find z ∗ / ∈ R so that the two smallest zeros of

$$\frac { 1 } { ( ( a z + b ) t + 1 ) ( - t ^ { 2 } + z t + 1 ) } \\ \text{a consequence of } [ 1 \text{ Theorem } 1 \text{ 5} ] \text{ ths}$$

$$( ( a z ^ { * } + b ) t + 1 ) ( - t ^ { 2 } + z ^ { * } t + 1 )$$

equal in modulus.

In the case | b | &lt; 1, we choose z ∗ = iy ∗ where if a = 0 and 0 &lt; y ∗ &lt; 2 if a = 0. The two zeros of -t 2 + z t ∗ +1,

/negationslash

$$\text{e choose $z^{\nu}=\imath\gamma$ where} \\ 0 < y ^ { * } < \min \left ( \frac { \sqrt { 1 - b ^ { 2 } } } { | a | }, 2 \right ) \\ \text{if $a=0$. The two zeros of $-t^{2}+z^{*t}$}$$

$$\begin{matrix} & i y ^ { * } \pm \sqrt { 4 - y ^ { * 2 } } \\ & \frac { 2 } { 2 } \\. &. &. &. \end{matrix}$$

lie on the unit circle and thus their modulus is less than

$$\frac { 1 } { | a z ^ { * } + b | } = \frac { 1 } { \sqrt { a ^ { 2 } y ^ { * 2 } + b ^ { 2 } } }. \\ \intertext { \text{ection $3.1, we assume $|b|\geq 1$. $T$} }$$

For the remainder of Section 3.1, we assume | b | ≥ 1. To make a suitable choice for z ∗ , we consider the following lemma.

Lemma 9. With the principal cut, there exists θ ∗ = kπ , k ∈ Z , such that

/negationslash

Proof. We note that b 2 +4 a 2 ≥ 4 | a | since

$$| b | + \sqrt { b ^ { 2 } + 4 a ^ { 2 } - 4 a e ^ { i \theta ^ { * } } } & \geq \left | 2 a - 2 e ^ { i \theta ^ { * } } \right |. \\ \text{that $b^{2}+4a^{2}\geq 4|a|$ since}$$

$$4 | a | ( 1 - | a | ) \leq 1 \leq | b |.$$

Thus with the principle cut, the function is meromorphic on the open unit ball with the possible pole at z = a if | a | &lt; 1 . To prove this lemma, we will find z / ∈ R and | z | = 1 such that | f ( z ) | ≥ 1.

$$\text{le cut, the function} \\ f ( z ) \coloneqq \frac { | b | + \sqrt { b ^ { 2 } + 4 a ^ { 2 } - 4 a z } } { 2 a - 2 z } \\ \text{e open unit ball with the possible pole} \, \text{.}$$

We note that if | a | ≥ 1, then f ( z ) is analytic on the unit ball and

$$\geq 1, \, \tt t { n e n } \, J ( z ) \, \tt i s \, \text{analytic on } \tt t { n e } \, \text{unit $d$} \\ | f ( 0 ) | = \frac { | b | + \sqrt { b ^ { 2 } + 4 a ^ { 2 } } } { 2 | a | } > 1.$$

Thus by the maximum modulus principle | f ( z ) | &gt; 1 for some | z | = 1. We can choose such z / ∈ R by the continuity of f ( z ).

$$\oint _ { | z | = 1 } | f ( z ) | | d z | \geq \left | \oint _ { | z | = 1 } f ( z ) d z \right | = 2 \pi | b | \geq 2 \pi. \\ \text{tly } | f ( z ) | > 1 \text{ for some } | z | = 1 \text{ or } | f ( z ) | = 1 \text{ for all } | z | = 1 \text{ and }$$

On the other hand if | a | &lt; 1, then the Cauchy integral formula implies that

∣ ∣ Consequently | f ( z ) | &gt; 1 for some | z | = 1 or | f ( z ) | = 1 for all | z | = 1 and the lemma follows. /square

We now define where θ ∗ is given in Lemma 9. With this definition, z ∗ is a solution of

$$\text{w define} \\ z ^ { * } & = \frac { - 2 a b + b e ^ { i \theta ^ { * } } + \text{sign} ( b ) e ^ { i \theta ^ { * } } \sqrt { b ^ { 2 } + 4 a ^ { 2 } - 4 a e ^ { i \theta ^ { * } } } } { 2 a ^ { 2 } - 2 a e ^ { i \theta ^ { * } } } \\ \text{ is given in Lemma 9. With this definition, $z^{*}$ is a solution of}$$

$$( a ^ { 2 } - a e ^ { i \theta ^ { * } } ) z ^ { 2 } + ( 2 a b - b e ^ { i \theta ^ { * } } ) z + b ^ { 2 } - e ^ { 2 i \theta ^ { * } } = 0 \\ \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{, } \text{,$$

from which we deduce that

$$& ( 3. 2 ) & - \frac { e ^ { i \theta ^ { * } } } { a z ^ { * } + b } = - \frac { 2 a - 2 e ^ { i \theta ^ { * } } } { - b + \text{sign} ( b ) \sqrt { b ^ { 2 } + 4 a ^ { 2 } - 4 a e ^ { i \theta ^ { * } } } } \\ & \text{is a zero in $t$ of}$$

is a zero in t of

$$- t ^ { 2 } + z ^ { * } t + 1. \\ \hat { \lambda } \hat { \lambda } + \hat { \lambda } \hat { \lambda } \hat { \lambda } \hat { \lambda } \hat { \lambda } \hat { \lambda }.$$

The modulus of (3.2) is the same as the modulus of the zero in t of ( az ∗ + ) b t +1 which is at most 1 by the definition of θ ∗ . This modulus is larger than the modulus of the other zero of -t 2 + z t ∗ +1 since the product of two zeros of this polynomial is -1. We finish the proof of Theorem 7 by noting that z ∗ / ∈ R since the two zeros of -t 2 + z t ∗ +1 are neither real nor complex conjugate.

## 3.2. Proof of Theorem 8.

3.2.1. The sufficient condition. Let { P n ( z ) } be the sequence of polynomials defined in (3.1) where | b | ≤ 1 -2 | a | . The proof of the following lemma is the same as that of Lemma 4 in [4]. For brevity, we omit the proof in this paper.

Lemma 10. For each b ∈ -[ 1 1] , , let S b be a dense subset of

$$\left [ \frac { | b | - 1 } { 2 }, \frac { 1 - | b | } { 2 } \right ]$$

and n ∈ N be fixed. If for any a ∈ S b , the zeros of P n ( z ) lie on ( -2 2) , , then the same conclusion holds for any a in (3.3) .

/negationslash

Suppose | b | ≤ 1 -2 | a | . From Lemma 10, it suffices to consider a = 0. We define the monotone function z θ ( ) = -2 cos θ on (0 , π ) and note that for each θ ∈ (0 , π ) the two zeros of t 2 + ( ) z θ t +1 are e ± iθ . We consider the function

$$t _ { 0 } ( \theta ) = \frac { - 1 } { a z ( \theta ) + b }, \quad \theta \in ( 0, \pi ),$$

which has a vertical asymptote at θ = cos -1 ( b/ 2 a ) if | b | &lt; 2 | a | . For any θ ∈ (0 , π ) such that 2 a cos θ = , the Cauchy differentiation formula gives b

$$P _ { n } ( z ( \theta ) ) = \frac { 1 } { a z ( \theta ) + b } \oint _ { | t | = \epsilon } \frac { \psi } { ( t - t _ { 0 } ( \theta ) ) ( t - e ^ { i \theta } ) ( t - e ^ { - i \theta } ) t ^ { n + 1 } }. \\ \text{fter something\, the residue of the inter-rand at the three nonzero simple no!}$$

/negationslash

/negationslash

After computing the residue of the integrand at the three nonzero simple poles t 0 ( θ , e ) ± iθ , and letting the radius of the integral approach infinity, we apply similar computations in (2.10) to conclude that θ ∈ (0 , π ), 2 a cos θ = b , is a zero of P n ( z θ ( )) if and only if it is a zero of

$$\frac { - 1 } { t _ { 0 } ( \theta ) ^ { n + 1 } } + \cos \left ( ( n + 1 ) \theta \right ) + \frac { \left ( \cos \theta - t _ { 0 } ( \theta ) \right ) \sin \left ( ( n + 1 ) \theta \right ) } { \sin \theta }.$$

/negationslash

$$& \infty \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \v \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ V \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \ v \ \\ & ( 3. 5 ) & & n + 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 0, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, + \, 2 \, - \, 2 \, - \, 2 \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \, - \) \\ & \text{and}$$

From Lemma 10, it suffices to consider | b | = 2 | a | . We note that the limits of (3.4) as θ → 0 and θ → π are and

$$( 3. 6 ) & & ( - 1 ) ^ { n + 1 } ( n + 2 ) + ( - 1 ) ^ { n } \left ( \frac { n + 1 } { b + 2 a } + ( b + 2 a ) ^ { n + 1 } \right )$$

respectively.

In the case | b | &gt; 2 | a | , (3.4) is a continuous function of θ on (0 , π ) and its sign at θ = kπ/ n ( +1), for 1 ≤ k ≤ n , is ( -1) k since

By the intermediate value theorem, we obtain at least n -1 zeros of (3.4) on ( π/ n ( + 1) , nπ/ n ( +1)). If b &gt; 0, then (3.5) is positive since 0 &lt; b -2 a ≤ 1 and we obtain at least another zero of (3.4) on (0 , π/ ( n +1)). On the other hand, if b &lt; 0, then the inequalities

$$& - \quad \theta \quad \theta \\ & \quad | t _ { 0 } ( \theta ) | > \frac { 1 } { 2 | a | + | b | } \geq 1. \\ & t \text{theorem. we obtain at least $n-$}$$

$$- 1 < b + 2 a < 0 \\ ( - 1 \langle n + 1 \text{ and } two have}$$

imply that the sign of (3.6) is ( -1) n +1 and we have at least another zero of (3.4) on ( nπ/ n ( +1) , π ). We conclude that when | b | &gt; 2 | a | , (3.4) has at least n zeros on (0 , π ), each of which yields a zero of P n ( z ) on the interval ( -2 2) by the map , z θ ( ). Thus all the zeros of P n ( z ) lie on ( -2 2) by the fundamental theorem of algebra. ,

We now consider the case | b | &lt; 2 | a | . As a function of θ on (0 , π ), (3.4) has a vertical asymptote at θ = cos -1 ( b/ 2 a ) since t 0 ( θ ) does. By Lemma 10, we can assume

$$\cos ^ { - 1 } \frac { b } { 2 a } \neq \frac { k \pi } { n + 1 }, \quad 1 \leq k \leq n.$$

/negationslash

Thus for some 0 ≤ k 0 ≤ n , the open interval

$$\left ( \frac { k _ { 0 } } { n + 1 } \pi, \frac { k _ { 0 } + 1 } { n + 1 } \pi \right )$$

/negationslash contains cos -1 ( b/ 2 a ). We note that this interval may or may not contain a zero of (3.4). In the case a &lt; 0, we observe that (3.5) is positive and the sign of (3.6) is ( -1) n +1 . Thus there are at least n zeros of (3.4) on the n intervals ( kπ/ n ( +1) ( , k + 1) π/ n ( + 1)), for 0 ≤ k ≤ n and k = k 0 and we conclude all the zeros of P n ( z ) lie on ( -2 2) by the same argument in the previous case. , On the other hand, if a &gt; 0, then the limits (3.4) as θ approaches the left and right of cos -1 ( b/ 2 a ) are

and

$$\lim _ { \theta \to \cos ^ { - 1 } ( b / 2 a ) ^ { - } } \frac { \sin ( ( n + 1 ) \theta ) } { b - 2 a \cos ( \theta ) } = ( - 1 ) ^ { k _ { 0 } + 1 } \infty$$

/negationslash

$$\lim _ { \theta \to \cos ^ { - 1 } ( b / 2 a ) ^ { + } } \frac { \sin ( ( n + 1 ) \theta ) } { b - 2 a \cos ( \theta ) } = ( - 1 ) ^ { k _ { 0 } } \infty, \\ k _ { 0 } \neq 0 \text{ and } k _ { 0 } \neq n, \text{ then we conclude that } ( 3. 7 ) \text{ c}$$

respectively. If k 0 = 0 and k 0 = n , then we conclude that (3.7) contains at least two zeros of (3.4). Thus we obtain at least n zeros of this expression on the n -1 intervals ( kπ/ n ( +1) ( , k +1) π/ n ( +1)), for 1 ≤ k &lt; n . In the case k 0 = 0 or k 0 = n , (3.7) contains at least one zero of (3.4) and thus there are at least n zeros of (3.4) on the n intervals ( kπ/ n ( +1) ( , k +1) π/ n ( +1)), for 1 ≤ k &lt; n and k = k 0 .

/negationslash

3.2.2. The necessary condition. In this section, we assume | b | + 2 | a | &gt; 1 and show that not all zeros of P n ( z ) defined in (3.1) are real when n is large. From [1, Theorem 1.5] , it suffices find z / ∈ R so that | t 0 | = | t 1 | ≤ | t 2 | where

$$t _ { 0 } \coloneqq - \frac { 1 } { a z + b }$$

and t 1 and t 2 are the two zeros of 1 + zt + t 2 . To motivate the choice of z , we provide heuristic arguments by noticing that t 1 t 2 = 1 and letting

$$t _ { 1 } = t _ { 0 } e ^ { i \theta } = - \frac { e ^ { i \theta } } { a z + b }$$

$$& ( 3. 1 0 ) & & t _ { 2 } = - e ^ { - i \theta } ( a z + b ). \\ & T h \in \frac { 1 } { 2 } \in \frac { 1 } { 2 } + \sim \frac { 1 } { 2 } + \dots + 2 = \partial \dots \Delta _ { 0 }$$

The equation 1 + zt 2 + t 2 2 = 0 yields

$$( a z + b ) ^ { 2 } - z e ^ { i \theta } ( a z + b ) + e ^ { 2 i \theta } = 0$$

or equivalently

$$& ( 3. 1 1 ) \quad ( a ^ { 2 } \quad - \quad a e ^ { i \theta } ) z ^ { 2 } \quad + \quad ( 2 a b \quad - \quad b e ^ { i \theta } ) z \quad + \quad b ^ { 2 } \quad + \quad e ^ { 2 i \theta } \quad \quad = \quad \quad 0. \\ & \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \text{W: } \end{cases}$$

$$z = \frac { - 2 a b + b e ^ { i \theta } \pm e ^ { i \theta } \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a e ^ { i \theta } } } { 2 a ^ { 2 } - 2 a e ^ { i \theta } } \\ \text{onding values for } a z + b \text{ are }$$

With a choice of branch cut which will be specified later, the equation above has two solutions and the corresponding values for az + b are

$$& ( 3. 1 2 ) \quad a z + b = \frac { - b e ^ { i \theta } \pm e ^ { i \theta } \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a e ^ { i \theta } } } { 2 a - 2 e ^ { i \theta } }. \\ & \text{For a formal proof of the necessary condition, we consider the following}$$

| a | ≤ 1 We have the inequality

For a formal proof of the necessary condition, we consider the following cases. Case 1: .

$$b ^ { 2 } - 4 a ^ { 2 } + 4 | a | - ( | b | + 2 | a | - 2 ) ^ { 2 } = 4 ( 1 - | a | ) ( 2 | a | + | b | - 1 ) \geq 0. \\ \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots$$

$$& ( 3. 1 3 ) & & b ^ { 2 } - 4 a ^ { 2 } + 4 | a | \geq 0 \\ & \widetilde { \ m a }$$

with equality if and only if | a | = 1. This implies and

$$( 3. 1 4 )$$

$$\sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 | a | } + | b | & \geq | | b | + 2 | a | - 2 | + | b | \\ & \geq | 2 | a | - 2 | \\ \text{v if and only if } | a | = 1 \text{ and } b = 0 \text{ } \text{We define } \theta \in \left ( 0 \text{ } \pi \right ) \text{suffix}.$$

/negationslash with equality if and only if | a | = 1 and b = 0. We define θ ∈ (0 , π ) sufficiently close to 0 or π such that e iθ is close to sign a if a = 0. If a = 0, we pick any θ ∈ (0 , π ). With this choice of θ and the principal cut, we let

/negationslash

With this choice of z , (3.11) holds and consequently t 1 and t 2 defined in (3.9) and (3.10) are the zeros of 1 + zt + t 2 . If a = 0, then

$$& \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \\ & \text{With this choice of $o$ and the principal cut, we let} \\ & z = \begin{cases} \frac { - 2 a b + b e ^ { i \theta } - \text{sign} b. e ^ { i \theta } \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a e ^ { i \theta } } } { 2 a ^ { 2 } - 2 a e ^ { i \theta } } & \text{if $a b \neq 0$,} \\ & \frac { i e ^ { i \theta } } { b e ^ { i \theta } + e ^ { 2 i \theta } } & \text{if $b = 0$,} \\ & \text{if $a = 0$.} \end{cases} \\ & \text{With this choice of $z$, (3.11) holds and consequently $t_{1}$ and $t_{2}$ defined in (3.
(3.10) are the zeros of $1+zt+t^{2}$. If $a = 0$, then}$$

$$& ( 3. 1 6 ) & & | t _ { 0 } | = | t _ { 1 } | < | t _ { 2 } | \\ & \dots \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \dots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots - 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 - 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots +1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots +1 - 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 2 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + 2 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 2 + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 2 - 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + -1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 + \cdots + 1 - 2 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 2 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 - 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 - 2 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 2 + 1 + 2 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 2 + 1 - 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 2 + 1 - 2 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1$$

$$\frac { | b | + \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 | a | } } { 2 - 2 | a | } > 1$$

since | b | &gt; 1. If b = 0 then the inequalities | a | ≤ 1 and (3.13) imply that | a | = 1. As a consequence, (3.16) follows from (3.8), (3.9), (3.10), and (3.15). Finally, if ab = 0, then from (3.12) and (3.14), we conclude | az + b | approaches

/negationslash

as e iθ → sign( a ). Thus from (3.9) and (3.10) there is θ ∈ (0 , π ) sufficiently close to 0 or π such that

$$| t _ { 0 } | = | t _ { 1 } | < | t _ { 2 } |. \\ \text{if } \, \varepsilon \, \subset \, \mathbb { R } \, \ t h e n \ t h e \ f a$$

Case 2: | a | &gt; 1 and | b | &lt; 1 . By the intermediate value theorem there is y ∈ (0 , ∞ ) such that

We also note that z / ∈ R since if z ∈ R , then the fact that t 1 , t 2 / ∈ R by (3.9) and (3.10) implies t 1 = t 2 which contradicts to | t 1 | &lt; t | 2 | .

$$2 \sqrt { a ^ { 2 } y ^ { 2 } + b ^ { 2 } } - \sqrt { y ^ { 2 } + 4 } - y = 0 \\ \text{le is } 2 | b | - 2 < 0 \text{ when } y = 0 \text{ and its limit}$$

since the the left side is 2 | b | -2 &lt; 0 when y = 0 and its limit is ∞ when y → ∞ . With the choice z = iy , we have

$$\varphi, \, \cdots \, \cdots \, \cdots \\ | t _ { 0 } | = \frac { 1 } { | a z + b | } = \frac { 1 } { \sqrt { a ^ { 2 } y ^ { 2 } + b ^ { 2 } } } \\ \text{e smaller zero of } t ^ { 2 } + i y t + 1 \text{ is}$$

and the modulus of the smaller zero of t 2 + iyt +1 is

$$\frac { \sqrt { y ^ { 2 } + 4 } - y } { 2 } = \frac { \lambda } { \sqrt { y ^ { 2 } + 4 } + y } = | t _ { 0 } |. \\ \text{ and } & | a | > 1. \text{ if } 2 + | b | > 2 | a |, \text{ then with the sar} \\ \hat { \ }. \text{ and } & | a | > 1. \text{ if } 2 + | b | > 2 | a |, \text{ then with the sar}$$

Case 3: | b | ≥ 1 and | a | &gt; 1 . If 2 + | b | &gt; 2 | a | , then with the same choice of θ and z and the same argument as in the first case, this case follows from

$$| \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a e ^ { i \theta } } + | b | | > | b | > 2 | a | - 2. \\ \text{der } 2 + | b | \leq 2 | a |. \text{ We square both sides of } 2 | a | - 2 \geq | b |$$

We now consider 2 + b 2 a . We square both sides of 2 a 2 b which implies that, with the cut [0 , ∞ ), the function

$$\text{sider } 2 + | b | \leq 2 | a |. \text{ We square both sides of } 2 | a | - 2 \geq | b | \text{ to obtain} \\ b ^ { 2 } - 4 a ^ { 2 } \leq 4 - 8 | a | < - 4 | a | \\ \text{ies that. with the cut. [0. \infty)]. \text{ the function}$$

$$\text{ith the cut } [ 0, \infty ), & \text{the function} \\ f ( z ) \coloneqq \frac { - b + \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a z } } { 2 a - 2 z } \\ l \, \text{region containing the closed unit ball}.$$

$$\text{the fact that} \\ | f ( 0 ) | & = \frac { | - b + \sqrt { b ^ { 2 } - 4 a ^ { 2 } } | } { | 2 a | } \\ & = 1, \\ \cdot \cdot \cdot \cdot \cdot$$

is analytic on a small region containing the closed unit ball. From the maximum modulus principle and the fact that we conclude there is θ ∈ R so that | f ( e iθ ) | &gt; 1. With this θ , we let

and apply (3.8), (3.9), (3.10), and (3.12) to conclude | t 0 | = | t 1 | &lt; t | 2 | . The fact that z / ∈ R follows from the same argument in the previous case.

$$\underset { \ } z = \frac { - 2 a b + b e ^ { i \theta } + e ^ { i \theta } \sqrt { b ^ { 2 } - 4 a ^ { 2 } + 4 a e ^ { i \theta } } } { 2 a ^ { 2 } - 2 a e ^ { i \theta } } \\, ( 3. 9 ), ( 3. 1 0 ), \, \text{and} \, ( 3. 1 2 ) \, \text{to conclude } | t _ { 0 } | = | t _ { 1 } | < | t _ { 2 }$$

## References

- [1] A. Sokal, Chromatic roots are dense in the whole complex plane, Combin. Probab. Comput. 13 (2004), no. 2, 221-261.
- [2] D. Stankov, On linear combinations of Chebyshev polynomials. Publ. Inst. Math. (Beograd) (N.S.) 97(111) (2015), 57-67.
- [3] K. Tran, Connections between discriminants and the root distribution of polynomials with rational generating function, J. Math. Anal. Appl. 410 (2014), 330-340.
- [4] K. Tran, A. Zumba, Zeros of polynomials with four-term recurrence. Involve, a Journal of Mathematics Vol. 11 (2018), No. 3, 501-518.

California State University, Fresno

E-mail address :

khangt@mail.fresnostate.edu

University of California, Berkeley E-mail address : maverickzhang@berkeley.edu
Khang Tran Maverick Zhang
Linear combinations of polynomials with three-term recurrence
We study the zero distribution of the sum of the first $n$ polynomials
satisfying a three-term recurrence whose coefficients are linear polynomials.
We also extend this sum to a linear combination, whose coefficients are powers
of $az+b$ for $a,b\in\mathbb{R}$, of Chebyshev polynomials. In particular, we
find necessary and sufficient conditions on $a$, $b$ such that this linear
combination is hyperbolic.