# A generalized inequality for the polar derivative of a polynomial

## Abstract

In this paper, we extend a result recently proved by Liman et al. (Complex Anal. Oper. Theory 6:1199-1209, 2012. doi:10.1007/s11785-010-0120-3) to the polar derivative of a polynomial and thereby obtain some more general results for polynomials with restricted zeros.

MSC:30A10, 30C10, 30C15.

## 1 Introduction and statement of results

Let $P\left(z\right):={âˆ‘}_{j=0}^{n}{a}_{j}{z}^{j}$ be a polynomial of degree n, and let ${P}^{â€²}\left(z\right)$ be its derivative, then

$\underset{|z|=1}{max}|{P}^{â€²}\left(z\right)|â‰¤n\underset{|z|=1}{max}|P\left(z\right)|.$
(1)

Inequality (1) is a famous result due to Bernstein and is best possible with equality holding for the polynomial $P\left(z\right)=\mathrm{Î»}{z}^{n}$, where Î» is a complex number.

If we restrict ourselves to a class of polynomials having no zeros in $|z|<1$, then the above inequality can be sharpened. In fact, ErdÃ¶s conjectured and later Lax [1] proved that if in $|z|<1$, then

$\underset{|z|=1}{max}|{P}^{â€²}\left(z\right)|â‰¤\frac{n}{2}\underset{|z|=1}{max}|P\left(z\right)|.$
(2)

As a refinement of (2), Aziz and Dawood [2] proved that if $P\left(z\right)$ is a polynomial of degree n having no zeros in $|z|<1$, then

$\underset{|z|=1}{max}|{P}^{â€²}\left(z\right)|â‰¤\frac{n}{2}\left\{\underset{|z|=1}{max}|P\left(z\right)|âˆ’\underset{|z|=1}{min}|P\left(z\right)|\right\}.$
(3)

As an improvement of (3), Dewan and Hans [3] proved that if $P\left(z\right)$ is a polynomial of degree n having no zeros in $|z|<1$, then for any Î² with $|\mathrm{Î²}|â‰¤1$ and $|z|=1$,

(4)

Let ${D}_{\mathrm{Î±}}P\left(z\right)$ denote the polar derivative of the polynomial $P\left(z\right)$ of degree n with respect to Î±, then

${D}_{\mathrm{Î±}}P\left(z\right)=nP\left(z\right)+\left(\mathrm{Î±}âˆ’z\right){P}^{â€²}\left(z\right).$

The polynomial ${D}_{\mathrm{Î±}}P\left(z\right)$ is of degree at most $nâˆ’1$ and it generalizes the ordinary derivative in the sense that

$\underset{\mathrm{Î±}â†’\mathrm{âˆž}}{lim}\frac{{D}_{\mathrm{Î±}}P\left(z\right)}{\mathrm{Î±}}={P}^{â€²}\left(z\right).$

As an extension of (1) to the polar derivative, Aziz and Shah ([4], Theorem 4 with $k=1$) showed that if $P\left(z\right)$ is a polynomial of degree n, then for every complex number Î± with $|\mathrm{Î±}|>1$,

(5)

Inequality (5) becomes equality for $P\left(z\right)=a{z}^{n}$, .

If we divide the two sides of (5) by $|\mathrm{Î±}|$ and let $|\mathrm{Î±}|â†’\mathrm{âˆž}$, we get inequality (1).

Aziz and Shah [5] proved that if $P\left(z\right)$ is a polynomial of degree n that does not vanish in $|z|<1$, then for every complex number Î± with $|\mathrm{Î±}|â‰¥1$,

$\underset{|z|=1}{max}|{D}_{\mathrm{Î±}}P\left(z\right)|â‰¤\frac{n}{2}\left\{\left(|\mathrm{Î±}|+1\right)\underset{|z|=1}{max}|P\left(z\right)|âˆ’\left(|\mathrm{Î±}|âˆ’1\right)\underset{|z|=1}{min}|P\left(z\right)|\right\}.$
(6)

The estimate (6) is best possible with equality for $P\left(z\right)={z}^{n}+1$. If we divide both sides of (6) by $|\mathrm{Î±}|$ and make $|\mathrm{Î±}|â†’\mathrm{âˆž}$, we get inequality (3).

As an improvement and generalization to (6) and (4), Liman et al. [6] recently proved the following theorem.

Theorem 1 If $P\left(z\right)$ is a polynomial of degree n that does not vanish in $|z|<1$, then for every complex number Î±, Î² with $|\mathrm{Î±}|â‰¥1$, $|\mathrm{Î²}|â‰¤1$ and $|z|=1$,

$\begin{array}{rcl}|z{D}_{\mathrm{Î±}}P\left(z\right)+n\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’1}{2}P\left(z\right)|& â‰¤& \frac{n}{2}\left\{\left(|\mathrm{Î±}+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’1}{2}|+|z+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’1}{2}|\right)\underset{|z|=1}{max}|P\left(z\right)|\\ âˆ’\left(|\mathrm{Î±}+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’1}{2}|âˆ’|z+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’1}{2}|\right)\underset{|z|=1}{min}|P\left(z\right)|\right\}.\end{array}$
(7)

In this paper, we prove the following more general result which is an extension as well as generalization of Theorem 1 and yields a number of known polynomial inequalities.

Theorem 2 Let $P\left(z\right)$ be a polynomial of degree n that does not vanish in $|z|, $kâ‰¤1$, then for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$ and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and for $|z|=1$,

(8)

Remark Theorem 1 is a special case of Theorem 2 when we take $t=k=1$.

If we take $t=1$ in Theorem 2, we get the following corollary.

Corollary 1 If $P\left(z\right)$ is a polynomial of degree n that does not vanish in $|z|, $kâ‰¤1$, then for all complex numbers Î±, Î² with $|\mathrm{Î±}|â‰¥k$, $kâ‰¤1$, $|\mathrm{Î²}|â‰¤1$, and for $|z|=1$,

$\begin{array}{rcl}|z{D}_{\mathrm{Î±}}P\left(z\right)+n\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’k}{1+k}P\left(z\right)|& â‰¤& \frac{n}{2}\left\{\left(\frac{1}{{k}^{n}}|\mathrm{Î±}+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’k}{1+k}|+|z+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’k}{1+k}|\right)\underset{|z|=1}{max}|P\left(z\right)|\\ âˆ’\left(\frac{1}{{k}^{n}}|\mathrm{Î±}+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’k}{1+k}|âˆ’|z+\mathrm{Î²}\frac{|\mathrm{Î±}|âˆ’k}{1+k}|\right)\underset{|z|=k}{min}|P\left(z\right)|\right\}.\end{array}$

If we take $k=1$ in Theorem 2, we get the following result.

Corollary 2 Let $P\left(z\right)$ be a polynomial of degree n that does not vanish in $|z|â‰¤1$, then for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$ and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and for $|z|=1$,

(9)

For $\mathrm{Î²}=0$ and $t=1$ in Theorem 2, we get the following.

Corollary 3 Let $P\left(z\right)$ be a polynomial of degree n that does not vanish in $|z|, $kâ‰¤1$, then for any real or complex number Î± with $|\mathrm{Î±}|â‰¥k$, $kâ‰¤1$,

$\underset{|z|=1}{max}|{D}_{\mathrm{Î±}}P\left(z\right)|â‰¤\frac{n}{2}\left\{\left(\frac{|\mathrm{Î±}|}{{k}^{n}}+1\right)\underset{|z|=1}{max}|P\left(z\right)|âˆ’\left(\frac{|\mathrm{Î±}|}{{k}^{n}}âˆ’1\right)\underset{|z|=k}{min}|P\left(z\right)|\right\}.$
(10)

If we take $k=1$ in Corollary 3, then (10) reduces to (6).

By taking $t=1$ in (8), dividing both sides of (8) by $|\mathrm{Î±}|$ and letting $|\mathrm{Î±}|â†’\mathrm{âˆž}$, we have the following generalization of inequality (4).

Corollary 4 Let $P\left(z\right)$ be a polynomial of degree n that does not vanish in $|z|, $kâ‰¤1$, then for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$and $|z|=1$,

$\begin{array}{rcl}|z{P}^{â€²}\left(z\right)+\frac{n\mathrm{Î²}}{1+k}P\left(z\right)|& â‰¤& \frac{n}{2}\left\{\left(\frac{1}{{k}^{n}}|1+\frac{\mathrm{Î²}}{1+k}|+|\frac{\mathrm{Î²}}{1+k}|\right)\underset{|z|=1}{max}|P\left(z\right)|\\ âˆ’\left(\frac{1}{{k}^{n}}|1+\frac{\mathrm{Î²}}{1+k}|âˆ’|\frac{\mathrm{Î²}}{1+k}|\right)\underset{|z|=k}{min}|P\left(z\right)|\right\}.\end{array}$
(11)

Taking $\mathrm{Î²}=0$ and $k=1$ in Corollary 4, (11) reduces to (3).

## 2 Lemmas

We require the following lemmas. The first lemma follows from Laguerreâ€™s theorem [[7], p.52] (see also [8]).

Lemma 1 If all the zeros of the nth degree polynomial $P\left(z\right)$ lie in a circular region $\mathcal{C}$, and if Î¾ is any zero of

${D}_{\mathrm{Î±}}P\left(z\right)=nP\left(z\right)+\left(\mathrm{Î±}âˆ’z\right){P}^{â€²}\left(z\right),$

the polar derivative of $P\left(z\right)$, then both points Î¾ and Î± may not lie outside of $\mathcal{C}$.

By repeated applications of Lemma 1, we get the following result, when the circular region $\mathcal{C}$ is the circle $|z|â‰¤r$.

Lemma 2 If all the zeros of the nth degree polynomial P(z) lie in $|z|â‰¤r$ and if none of the points ${\mathrm{Î±}}_{1},{\mathrm{Î±}}_{2},â€¦,{\mathrm{Î±}}_{t}$ lie in $|z|â‰¤r$, then each of the polar derivatives ${D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$, $t=1,2,â€¦,nâˆ’1$, has all its zeros in $|z|â‰¤r$.

Lemma 3 If $P\left(z\right):={a}_{0}+{âˆ‘}_{j=\mathrm{Î¼}}^{n}{a}_{j}{z}^{j}$, $1â‰¤\mathrm{Î¼}â‰¤n$, is a polynomial of degree n having no zeros in the disk $|z|, $kâ‰¥1$, then

${k}^{\mathrm{Î¼}}|{P}^{â€²}\left(z\right)|â‰¤|{Q}^{â€²}\left(z\right)|\phantom{\rule{1em}{0ex}}\mathit{\text{for}}|z|=1,$

where $Q\left(z\right)={z}^{n}\stackrel{Â¯}{P\left(\frac{1}{\stackrel{Â¯}{z}}\right)}$ and $\frac{\mathrm{Î¼}}{n}|\frac{{a}_{\mathrm{Î¼}}}{{a}_{0}}|{k}^{\mathrm{Î¼}}â‰¤1$.

The above lemma is due to Chan and Malik [9].

Lemma 4 If $P\left(z\right):={a}_{n}{z}^{n}+{âˆ‘}_{j=\mathrm{Î¼}}^{n}{a}_{nâˆ’j}{z}^{nâˆ’j}$ is a polynomial of degree n having all its zeros in the disk $|z|â‰¤kâ‰¤1$, then

$|{Q}^{â€²}\left(z\right)|â‰¤{k}^{\mathrm{Î¼}}|{P}^{â€²}\left(z\right)|\phantom{\rule{1em}{0ex}}\mathit{\text{for}}|z|=1,1â‰¤\mathrm{Î¼}â‰¤n,$
(12)

where $Q\left(z\right)={z}^{n}\stackrel{Â¯}{P\left(\frac{1}{\stackrel{Â¯}{z}}\right)}$.

Proof of Lemma 4 Since all the zeros of $P\left(z\right)$ lie in $|z|â‰¤kâ‰¤1$, therefore all the zeros of $Q\left(z\right)={z}^{n}\stackrel{Â¯}{P\left(\frac{1}{\stackrel{Â¯}{z}}\right)}$ lie in $|z|â‰¥\frac{1}{k}â‰¥1$. Hence applying Lemma 3 to the polynomial $Q\left(z\right):={\stackrel{Â¯}{a}}_{n}+{âˆ‘}_{j=\mathrm{Î¼}}^{n}{\stackrel{Â¯}{a}}_{nâˆ’j}{z}^{j}$, we get

$\frac{1}{{K}^{\mathrm{Î¼}}}|{Q}^{â€²}\left(z\right)|â‰¤|{P}^{â€²}\left(z\right)|.$

Hence, inequality (12) follows.â€ƒâ–¡

Lemma 5 Let $P\left(z\right)={a}_{n}{z}^{n}+{\mathrm{Î£}}_{j=\mathrm{Î¼}}^{n}{a}_{nâˆ’j}{z}^{nâˆ’j}$, $1â‰¤\mathrm{Î¼}â‰¤n$, be a polynomial of degree n having all its zeros in the disk $|z|â‰¤k$, $kâ‰¤1$, then for every real or complex number Î± with $|\mathrm{Î±}|â‰¥k$, $kâ‰¤1$ and for $|z|=1$,

$|{D}_{\mathrm{Î±}}P\left(z\right)|â‰¥n\left(\frac{|\mathrm{Î±}|âˆ’{k}^{\mathrm{Î¼}}}{1+{k}^{\mathrm{Î¼}}}\right)|P\left(z\right)|.$

Proof of Lemma 5 Let $Q\left(z\right)={z}^{n}\stackrel{Â¯}{P\left(\frac{1}{\stackrel{Â¯}{z}}\right)}$, we have $P\left(z\right)={z}^{n}\stackrel{Â¯}{Q\left(\frac{1}{\stackrel{Â¯}{z}}\right)}$. Then it can be easily verified that

(13)

Since $P\left(z\right)$ has all its zeros in $|z|â‰¤kâ‰¤1$, by Lemma 4, we get

This implies

$|{P}^{â€²}\left(z\right)|+|{Q}^{â€²}\left(z\right)|â‰¤\left(1+{k}^{\mathrm{Î¼}}\right)|{P}^{â€²}\left(z\right)|.$
(14)

Also, for $|z|=1$, by using (13), we have

$n|P\left(z\right)|=|nP\left(z\right)+z{P}^{â€²}\left(z\right)âˆ’z{P}^{â€²}\left(z\right)|â‰¤|nP\left(z\right)âˆ’z{P}^{â€²}\left(z\right)|+|{P}^{â€²}\left(z\right)|=|{Q}^{â€²}\left(z\right)|+|{P}^{â€²}\left(z\right)|.$

Using (14) in the above inequality, we get

$n|P\left(z\right)|â‰¤\left(1+{k}^{\mathrm{Î¼}}\right)|{P}^{â€²}\left(z\right)|,$

or

(15)

For every real or complex number Î± with $|\mathrm{Î±}|â‰¥k$, $kâ‰¤1$, we have

$|{D}_{\mathrm{Î±}}P\left(z\right)|=|nP\left(z\right)+\left(\mathrm{Î±}âˆ’z\right){P}^{â€²}\left(z\right)|.$

Now, by using Lemma 4 and (15), we have

This completes the proof of Lemma 5.â€ƒâ–¡

Lemma 6 Let $P\left(z\right)={a}_{n}{z}^{n}+{âˆ‘}_{j=\mathrm{Î¼}}^{n}{a}_{nâˆ’j}{z}^{nâˆ’j}$, $1â‰¤\mathrm{Î¼}â‰¤n$, be a polynomial of degree n having all its zeros in the disk $|z|â‰¤k$, $kâ‰¤1$, then for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$ and for $|z|=1$,

(16)

Proof of Lemma 6 If $|{\mathrm{Î±}}_{i}|=k$ for at least one i, $1â‰¤iâ‰¤t$, then inequality (16) is trivial. Thus, we assume that $|{\mathrm{Î±}}_{i}|>k$, $kâ‰¤1$, for all $1â‰¤iâ‰¤t$. We proceed by the principle of mathematical induction. The result is true for $t=1$ by Lemma 5, that is, if $|{\mathrm{Î±}}_{1}|>k$, then

$|{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)|â‰¥n\left(\frac{|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}}{1+{k}^{\mathrm{Î¼}}}\right)|P\left(z\right)|.$
(17)

Now, for $t=2$ and for $|{\mathrm{Î±}}_{1}|>k$, ${D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$ will be a polynomial of degree at most $nâˆ’1$. Since all the zeros of $P\left(z\right)$ in $|z|â‰¤k$, $kâ‰¤1$, therefore, by applying Lemma 1, all the zeros of ${D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$ lie in $|z|â‰¤k$, $kâ‰¤1$, then using Lemma 5 for the polynomial ${D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$ of degree at most $nâˆ’1$, and for $|{\mathrm{Î±}}_{2}|>k$, we have

$|{D}_{{\mathrm{Î±}}_{2}}\left\{{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)\right\}|â‰¥\left(nâˆ’1\right)\left(\frac{|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}}{1+{k}^{\mathrm{Î¼}}}\right)|{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)|.$
(18)

Combining (17) and (18), we get

$|{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)|â‰¥n\left(nâˆ’1\right)\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}\right)\left(|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}\right)}{{\left(1+{k}^{\mathrm{Î¼}}\right)}^{2}}\right\}|P\left(z\right)|.$

So, the result is true for $t=2$. Now, we assume that the result is true for $t=\mathrm{Ï\dots }; that is, for $|z|=1$,

(19)

We need to show that the result is true for $t=\mathrm{Ï\dots }+1$.

Now corresponding to an n th degree polynomial $P\left(z\right)$ whose all zeros lie in the disk $|z|â‰¤k$, $kâ‰¤1$, we construct ${D}_{{\mathrm{Î±}}_{\mathrm{Ï\dots }}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$ a polynomial of degree at most $nâˆ’\mathrm{Ï\dots }$ for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,\mathrm{Ï\dots }$ ($\mathrm{Ï\dots }) whose all zeros lie in $|z|â‰¤k$. Therefore, for $|{\mathrm{Î±}}_{\mathrm{Ï\dots }+1}|>k$, by applying Lemma 5 to ${D}_{{\mathrm{Î±}}_{\mathrm{Ï\dots }}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$, we get

(20)

Combining (19) and (20), we obtain

This implies that the result is true for $t=\mathrm{Ï\dots }+1$ and this completes the proof of Lemma 6.â€ƒâ–¡

Lemma 7 Let $P\left(z\right)={a}_{n}{z}^{n}+{\mathrm{Î£}}_{j=\mathrm{Î¼}}^{n}{a}_{nâˆ’j}{z}^{nâˆ’j}$, $1â‰¤\mathrm{Î¼}â‰¤n$, be a polynomial of degree n having all its zeros in the disk $|z|â‰¤k$, $kâ‰¤1$. Then for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and for $|z|=1$,

(21)

Proof of Lemma 7 The result is clear if $P\left(z\right)$ has a zero on $|z|=k$, then $m={min}_{|z|=k}|P\left(z\right)|=0$. We now suppose that all the zeros of $P\left(z\right)$ lie in $|z|, then $m>0$, and we have $mâ‰¤|P\left(z\right)|$ for $|z|=k$. Hence, for every Î» with $|\mathrm{Î»}|<1$, we have $|P\left(z\right)|>|m\mathrm{Î»}{\left(\frac{z}{k}\right)}^{n}|$ for $|z|=k$. Therefore, it follows by Roucheâ€™s theorem that the polynomial $G\left(z\right)=P\left(z\right)âˆ’m\mathrm{Î»}{\left(\frac{z}{k}\right)}^{n}$ has all its zeros in $|z|, $kâ‰¤1$. As ${\mathrm{Î±}}_{1},{\mathrm{Î±}}_{2},â€¦,{\mathrm{Î±}}_{t}$ are complex numbers with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$, then by Lemma 2 all the zeros of

lie in $|z|. Applying Lemma 6 to the polynomial $G\left(z\right)$, we get

(22)

Since ${z}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}G\left(z\right)$ has all its zeros in $|z|, $kâ‰¤1$, therefore by Roucheâ€™s theorem, it follows from inequality (22) that the polynomial

has all its zeros in $|z|<1$, where $|\mathrm{Î²}|<1$.

By substituting for $G\left(z\right)$, we conclude that the polynomial

$\begin{array}{rcl}T\left(z\right)& =& {z}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)+n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\\ Ã—\mathrm{Î²}\left(\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}\right)\left(|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’{k}^{\mathrm{Î¼}}\right)}{{\left(1+{k}^{\mathrm{Î¼}}\right)}^{t}}\right)P\left(z\right)\\ âˆ’\mathrm{Î»}m{\left(\frac{z}{k}\right)}^{n}n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\\ Ã—\left\{{\mathrm{Î±}}_{1}â‹\dots {\mathrm{Î±}}_{2}â‹¯{\mathrm{Î±}}_{t}+\mathrm{Î²}\left(\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}\right)\left(|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’{k}^{\mathrm{Î¼}}\right)}{{\left(1+{k}^{\mathrm{Î¼}}\right)}^{t}}\right)\right\}\end{array}$
(23)

will have no zeros in $|z|â‰¥1$. This implies that for every Î² with $|\mathrm{Î²}|<1$ and $|z|â‰¥1$,

(24)

If (24) is not true, then there exists a point $z=\mathrm{Ï‰}$ with $|\mathrm{Ï‰}|â‰¥1$ such that

(25)

We take

$\mathrm{Î»}=\frac{{\mathrm{Ï‰}}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(\mathrm{Ï‰}\right)+n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\mathrm{Î²}\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}\right)\left(|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’{k}^{\mathrm{Î¼}}\right)}{{\left(1+{k}^{\mathrm{Î¼}}\right)}^{t}}\right\}P\left(\mathrm{Ï‰}\right)}{n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)m{\left(\frac{\mathrm{Ï‰}}{k}\right)}^{n}\left({\mathrm{Î±}}_{1}â‹\dots {\mathrm{Î±}}_{2}â‹¯{\mathrm{Î±}}_{t}+\mathrm{Î²}\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’{k}^{\mathrm{Î¼}}\right)\left(|{\mathrm{Î±}}_{2}|âˆ’{k}^{\mathrm{Î¼}}\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’{k}^{\mathrm{Î¼}}\right)}{{\left(1+{k}^{\mathrm{Î¼}}\right)}^{t}}\right\}\right)}$

so that $|\mathrm{Î»}|<1$, and with this choice of Î», we have $T\left(\mathrm{Ï‰}\right)=0$ for $|\mathrm{Ï‰}|â‰¥1$ from (23). But this contradicts the fact that for $|z|â‰¥1$. For Î² with $|\mathrm{Î²}|=1$, (24) follows by continuity. This completes the proof of Lemma 7.â€ƒâ–¡

Lemma 8 Let $P\left(z\right)={a}_{n}{z}^{n}+{\mathrm{Î£}}_{j=\mathrm{Î¼}}^{n}{a}_{nâˆ’j}{z}^{nâˆ’j}$, $1â‰¤\mathrm{Î¼}â‰¤n$, be a polynomial of degree n. Then for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and for $|z|=1$,

Proof of Lemma 8 Let $M={max}_{|z|=k}|P\left(z\right)|$, if $|\mathrm{Î»}|<1$, then $|\mathrm{Î»}P\left(z\right)|<|M{\left(\frac{z}{k}\right)}^{n}|$ for $|z|=k$. Therefore, it follows by Roucheâ€™s theorem that the polynomial $G\left(z\right)=M{\left(\frac{z}{k}\right)}^{n}âˆ’\mathrm{Î»}P\left(z\right)$ has all its zeros in $|z|, $kâ‰¤1$. As ${\mathrm{Î±}}_{1},{\mathrm{Î±}}_{2},â€¦,{\mathrm{Î±}}_{t}$ are complex numbers with $|{\mathrm{Î±}}_{i}|â‰¥k$, $kâ‰¤1$, $i=1,2,â€¦,t$, $tâ‰¤nâˆ’1$, then by Lemma 2 all the zeros of

${D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}G\left(z\right)=\frac{M}{{k}^{n}}\left\{n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right){\mathrm{Î±}}_{1}â‹\dots {\mathrm{Î±}}_{2}â‹¯{\mathrm{Î±}}_{t}\right\}{z}^{nâˆ’t}âˆ’\mathrm{Î»}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}P\left(z\right)$

lie in $|z|. Applying Lemma 6 to the polynomial $G\left(z\right)$, we have

â€ƒâ–¡

Now, if we proceed similarly as in Lemma 7, the result follows.

Lemma 9 Let $P\left(z\right)$ be a polynomial of degree n, then for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$,

where

$Q\left(z\right):={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{P\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}.$

Proof of Lemma 9 Let $M={max}_{|z|=k}|P\left(z\right)|$, then $|P\left(z\right)|â‰¤M$ for $|z|â‰¤k$. If Î» is any real or complex number with $|\mathrm{Î»}|>1$, then by Roucheâ€™s theorem the polynomial $G\left(z\right)=P\left(z\right)âˆ’\mathrm{Î»}M$ does not vanish in $|z|. Consequently, the polynomial

$H\left(z\right):={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{G\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}$

has all zeros in $|z|â‰¤k$ and $|G\left(z\right)|=|H\left(z\right)|$ for $|z|=k$. Since all the zeros of $H\left(z\right)$ lie in $|z|â‰¤k$, $kâ‰¤1$, therefore, for Î´ with $|\mathrm{Î´}|>1$, by Roucheâ€™s theorem, all the zeros of $G\left(z\right)+\mathrm{Î´}H\left(z\right)$ lie in $|z|â‰¤k$. Hence, by taking $\mathrm{Î¼}=1$ in Lemma 6 and using it, for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$ ($1â‰¤t), $kâ‰¤1$, and $|z|=1$, we have

Also, by Lemma 2, all the zeros ${D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}\left(G\left(z\right)+\mathrm{Î´}H\left(z\right)\right)$ lie in $|z|, where $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$ ($1â‰¤t). Therefore, for any Î² with $|\mathrm{Î²}|<1$, Roucheâ€™s theorem implies that all the zeros of

lie in $|z|<1$.

So, the polynomial

$\begin{array}{rcl}T\left(z\right)& =& {z}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}G\left(z\right)+\mathrm{Î²}n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\\ Ã—\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’k\right)\left(|{\mathrm{Î±}}_{2}|âˆ’k\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’k\right)}{{\left(1+k\right)}^{t}}\right\}G\left(z\right)\\ +\mathrm{Î´}\left({z}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}H\left(z\right)+\mathrm{Î²}n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\\ Ã—\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’k\right)\left(|{\mathrm{Î±}}_{2}|âˆ’k\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’k\right)}{{\left(1+k\right)}^{t}}\right\}H\left(z\right)\right)\end{array}$

will have no zeros in $|z|â‰¥1$. Now, using a similar argument as that in the proof of Lemma 7 and taking $\mathrm{Î¼}=1$, we get for $|z|â‰¥1$,

(26)

Now,

$H\left(z\right):={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{G\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{P\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}âˆ’\stackrel{Â¯}{\mathrm{Î»}}{\left(\frac{z}{k}\right)}^{n}M=Q\left(z\right)âˆ’\stackrel{Â¯}{\mathrm{Î»}}{\left(\frac{z}{k}\right)}^{n}M.$

On substituting G(z) and H(z) in (26), we obtain the following:

This implies that

(27)

As $|P\left(z\right)|=|Q\left(z\right)|$ for $|z|=k$, that is, $M={max}_{|z|=k}|P\left(z\right)|={max}_{|z|=k}|Q\left(z\right)|$, by taking $\mathrm{Î¼}=1$ in Lemma 8 and using it to the polynomial $Q\left(z\right)$, we obtain the following:

Thus, taking the argument of Î» suitably, we obtain

(28)

Using (28) in (27), we get for $|z|=1$ and $|\mathrm{Î²}|<1$,

That is,

Taking $|\mathrm{Î»}|â†’1$, we get

(29)

Then, by applying the maximum modulus principle for the polynomial $P\left(z\right)$ when $|k|â‰¤1$,

$\underset{|z|=k}{max}|P\left(z\right)|â‰¤\underset{|z|=1}{max}|P\left(z\right)|.$

This in conjunction with (29) and the argument of continuity gives the result.â€ƒâ–¡

Lemma 10 Let $H\left(z\right)$ be a polynomial of degree n having all its zeros in $|z|â‰¤k$, $kâ‰¤1$, and let $G\left(z\right)$ be a polynomial of degree not exceeding that of $H\left(z\right)$. If $|G\left(z\right)|â‰¤|H\left(z\right)|$ for $|z|=k$, $kâ‰¤1$, then for all real or complex numbers ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$, and $|z|=1$, we have

Proof of Lemma 10 For any real or complex number Î» with $|\mathrm{Î»}|<1$, we have $|\mathrm{Î»}G\left(z\right)|<|G\left(z\right)|â‰¤|H\left(z\right)|$ for $|z|=k$, $kâ‰¤1$; therefore, by Roucheâ€™s theorem $H\left(z\right)âˆ’\mathrm{Î»}G\left(z\right)$ and $H\left(z\right)$ have the same number of zeros in $|z|. Also, as $|G\left(z\right)|â‰¤|H\left(z\right)|$ for $|z|=k$, $kâ‰¤1$, any zero of $H\left(z\right)$ that lies on $|z|=k$ is also a zero of $G\left(z\right)$. Therefore, $H\left(z\right)âˆ’\mathrm{Î»}G\left(z\right)$ has all its zeros in the closed disk $|z|â‰¤k$. Therefore, using Lemma 6 with $\mathrm{Î¼}=1$, we have for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$, $kâ‰¤1$ $\left(1â‰¤t and $|z|=1$,

Now, by a similar argument as that used in the proof of Lemma 7, for any real or complex number Î² with $|\mathrm{Î²}|<1$, we get

for $|z|=1$, which implies

for $|z|=1$.

That is,

(30)

for $|z|=1$.

So, we conclude that

(31)

for $|z|=1$.

If (31) is not true, then there exists a point $z=\mathrm{Ï‰}$ with $|\mathrm{Ï‰}|=1$ such that

Take

$\mathrm{Î»}=\frac{{\mathrm{Ï‰}}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}H\left(\mathrm{Ï‰}\right)+n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\mathrm{Î²}\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’k\right)\left(|{\mathrm{Î±}}_{2}|âˆ’k\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’k\right)}{{\left(1+k\right)}^{t}}\right\}H\left(\mathrm{Ï‰}\right)}{{\mathrm{Ï‰}}^{t}{D}_{{\mathrm{Î±}}_{t}}â‹¯{D}_{{\mathrm{Î±}}_{2}}{D}_{{\mathrm{Î±}}_{1}}G\left(\mathrm{Ï‰}\right)+n\left(nâˆ’1\right)â‹¯\left(nâˆ’t+1\right)\mathrm{Î²}\left\{\frac{\left(|{\mathrm{Î±}}_{1}|âˆ’k\right)\left(|{\mathrm{Î±}}_{2}|âˆ’k\right)â‹¯\left(|{\mathrm{Î±}}_{t}|âˆ’k\right)}{{\left(1+k\right)}^{t}}\right\}G\left(\mathrm{Ï‰}\right)},$

then $|\mathrm{Î»}|<1$, and with this choice of Î», we have from (30) $T\left(\mathrm{Ï‰}\right)=0$ for $|\mathrm{Ï‰}|=1$. But this contradicts the fact that for $|z|=1$. For Î² with $|\mathrm{Î²}|=1$, (31) follows by continuity. This completes the proof of Lemma 10.â€ƒâ–¡

## 3 Proof of the theorem

Since the polynomial $P\left(z\right)$ has no zeros in the disk $|z|, and therefore, if $m={min}_{|z|=k}|P\left(z\right)|$, then $mâ‰¤|P\left(z\right)|$ for $|z|â‰¤k$. If Î» is any real or complex number with $|\mathrm{Î»}|<1$, we have

Thus, by Roucheâ€™s theorem, the polynomial $G\left(z\right)=P\left(z\right)âˆ’\mathrm{Î»}m$ does not vanish in $|z|. Consequently, the polynomial

$H\left(z\right):={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{G\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}=Q\left(z\right)âˆ’\stackrel{Â¯}{\mathrm{Î»}}m{\left(\frac{z}{k}\right)}^{n}$

has all its zeros in $|z|â‰¤k$, where $Q\left(z\right)={\left(\frac{z}{k}\right)}^{n}\stackrel{Â¯}{P\left(\frac{{k}^{2}}{\stackrel{Â¯}{z}}\right)}$, and also we have $|G\left(z\right)|=|H\left(z\right)|$ for $|z|=k$.

Applying Lemma 10 to the polynomials $H\left(z\right)$ and $G\left(z\right)$, we have

for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and $|z|=1$.

On substituting $G\left(z\right)$ and $H\left(z\right)$ in the above inequality, we obtain the following for every real or complex number ${\mathrm{Î±}}_{i}$ with $|{\mathrm{Î±}}_{i}|â‰¥k$, $i=1,2,â€¦,t$, and for any real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and $|z|=1$,

(32)

Since all the zeros of $Q\left(z\right)$ lie in $|z|â‰¤k$ and $|P\left(z\right)|=|Q\left(z\right)|$ for $|z|=k$, therefore, by applying Lemma 7 to $Q\left(z\right)$, we have

Then, for an appropriate choice of the argument of Î», we get

(33)

for $|z|=1$.

Then combining the right-hand side of (32) and (33), we rewrite (32) as

Equivalently,

As $|\mathrm{Î»}|â†’1$, we have

It implies that for every real or complex number Î² with $|\mathrm{Î²}|â‰¤1$ and $|z|=1$,

This in conjunction with Lemma 9 gives, for $|\mathrm{Î²}|â‰¤1$ and $|z|=1$,

This completes the proof of the theorem.

## References

1. Lax PD: Proof of a conjecture of P. ErdÃ¶s on the derivative of a polynomial. Bull. Am. Math. Soc. 1944, 50: 509â€“513. 10.1090/S0002-9904-1944-08177-9

2. Aziz A, Dawood QM: Inequalities for a polynomial and its derivative. J. Approx. Theory 1988, 54(3):306â€“313. 10.1016/0021-9045(88)90006-8

3. Dewan KK, Hans S: Generalization of certain well-known polynomial inequalities. J. Math. Anal. Appl. 2010, 363(1):38â€“41. 10.1016/j.jmaa.2009.07.049

4. Aziz A, Shah WM: Inequalities for the polar derivative of a polynomial. Indian J. Pure Appl. Math. 1998, 29(2):163â€“173.

5. Aziz A, Mohammad Shah W: Some inequalities for the polar derivative of a polynomial. Proc. Indian Acad. Sci. Math. Sci. 1997, 107(3):263â€“270. 10.1007/BF02867257

6. Liman A, Mohapatra RN, Shah WM: Inequalities for the polar derivative of a polynomial. Complex Anal. Oper. Theory 2012, 6: 1199â€“1209. doi:10.1007/s11785â€“010â€“0120â€“3

7. Marden M Math. Surveys 3. In Geometry of Polynomials. 2nd edition. Am. Math. Soc., Providence; 1966.

8. Aziz A: A new proof of Laguerreâ€™s theorem about the zeros of polynomials. Bull. Aust. Math. Soc. 1986, 33: 131â€“138. 10.1017/S0004972700002951

9. Chan TN, Malik MA: On ErdÃ¶s-Lax theorem. Proc. Indian Acad. Sci. Math. Sci. 1983, 92(3):191â€“193. 10.1007/BF02876763

## Acknowledgements

The authors are grateful to the referee for useful comments.

## Author information

Authors

### Corresponding author

Correspondence to Gulshan Singh.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

GS and AL studied the related literature under the supervision of WMS and jointly developed the idea and drafted the manuscript. GS made the text file in Latex and communicated the manuscript. GS also revised it as per the directions of the referee under the guidance of WMS. All three authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Singh, G., Shah, W.M. & Liman, A. A generalized inequality for the polar derivative of a polynomial. J Inequal Appl 2013, 183 (2013). https://doi.org/10.1186/1029-242X-2013-183