Cohn's theorem

From HandWiki

In mathematics, Cohn's theorem[1] states that a nth-degree self-inversive polynomial p(z) has as many roots in the open unit disk D={z∈ℂ:|z|<1} as the reciprocal polynomial of its derivative.[1][2][3] Cohn's theorem is useful for studying the distribution of the roots of self-inversive and self-reciprocal polynomials in the complex plane.[4][5]

An nth-degree polynomial,

p(z)=p0+p1z+⋯+pnzn

is called self-inversive if there exists a fixed complex number ( ω ) of modulus 1 so that,

p(z)=ωp*(z),(|ω|=1),

where

p*(z)=znp¯(1z)=p¯n+p¯n−1z+⋯+p¯0zn

is the reciprocal polynomial associated with p(z) and the bar means complex conjugation. Self-inversive polynomials have many interesting properties.[6] For instance, its roots are all symmetric with respect to the unit circle and a polynomial whose roots are all on the unit circle is necessarily self-inversive. The coefficients of self-inversive polynomials satisfy the relations.

pk=ωp¯n−k,0⩽k⩽n.

In the case where ω=1, a self-inversive polynomial becomes a complex-reciprocal polynomial (also known as a self-conjugate polynomial). If its coefficients are real then it becomes a real self-reciprocal polynomial.

The formal derivative of p(z) is a (n − 1)th-degree polynomial given by

q(z)=p′(z)=p1+2p2z+⋯+npnzn−1.

Therefore, Cohn's theorem states that both p(z) as the polynomial

q*(z)=zn−1q¯n−1(1z)=zn−1p¯′(1z)=np¯n+(n−1)p¯n−1z+⋯+p¯1zn−1

has the same number of roots in |z|<1.

References

  1. ↑ 1.0 1.1 Cohn, A (1922). "Über die Anzahl der Wurzeln einer algebraischen Gleichung in einem Kreise". Math. Z. 14: 110–148. doi:10.1007/BF01216772. 
  2. ↑ Bonsall, F. F.; Marden, Morris (1952). "Zeros of self-inversive polynomials" (in en-US). Proceedings of the American Mathematical Society 3 (3): 471–475. doi:10.1090/s0002-9939-1952-0047828-8. ISSN 0002-9939. http://www.ams.org/home/page/. 
  3. ↑ Ancochea, Germán (1953). "Zeros of self-inversive polynomials" (in en-US). Proceedings of the American Mathematical Society 4 (6): 900–902. doi:10.1090/s0002-9939-1953-0058748-8. ISSN 0002-9939. http://www.ams.org/home/page/. 
  4. ↑ Schinzel, A. (2005-03-01). "Self-Inversive Polynomials with All Zeros on the Unit Circle" (in en). The Ramanujan Journal 9 (1–2): 19–23. doi:10.1007/s11139-005-0821-9. ISSN 1382-4090. 
  5. ↑ Vieira, R. S. (2017). "On the number of roots of self-inversive polynomials on the complex unit circle" (in en). The Ramanujan Journal 42 (2): 363–369. doi:10.1007/s11139-016-9804-2. ISSN 1382-4090. 
  6. ↑ Marden, Morris (1970). Geometry of polynomials (revised edition). Mathematical Surveys and Monographs (Book 3) United States of America: American Mathematical Society. ISBN 978-0821815038.