root pattern of second degree polynomial

377 Views Asked by At

I'm considering the following 2nd degree polynomial for the case where the roots are complex conjugate.

$ P(z) = z^2 + (f^2 + f q -2)z + (1 - f q) = (z - z_1) (z - z^*_1) $

where f and q are real positive parameters.

Question 1: Is there a geometric interpretation of parameter q? There is a simple geometric interpretation of parameter f. It is $|z_1 - 1| = f$. In words, it is the distance between the roots to the point 1 on the real axis. But I can't find/formulate a geometric interpretation for q.

Question 2: This is a little bit more difficult to formulate but it is based on an observation I will explain. If parameters f and q are constrained to values in the set V = {0, 1, 2, ..., 2^N-1} / 2^(N-1). In words, f and q obtain values lying on equal interval grid points between 0 and 2.

If the possible roots of P(z) are plotted when f is fixed to any value in V and q is traced through V the roots lie on a circle with center (1,0) and radius f.

enter image description here

If the possible roots of P(z) are plotted when q is fixed to any value in V and f is traced through V the roots lie on curves looking like this

enter image description here

If many more roots are plotted the pattern looks like this

enter image description here

It looks like the roots must lie on straight lines radiating from (1,0). I can't find any expression from which it is clear that this is true. So my questions is: Is it possible to find an expression that shows that the roots must line on straight line passing through (1,0)?

1

There are 1 best solutions below

3
On BEST ANSWER

Let $P(z) = z^2 + (f^2 + f q − 2) z + (1 − f q)$ with $f, q \in \mathbb R$. The following will prove that if $f \ne 0$ and $|f + q| \lt 2$ then $P(z) = 0$ has two complex roots, and for each such root:

$$ |z - 1| = |f| \\ \cos \varphi = - sgn(f) \frac{f + q}{2} \,\,\,\,\text{ where }\,\, \varphi = \arg (z - 1)\,\,\text{ and }\,\, sgn \,\,\text{ is the signum function } $$

In the complex plane, this translates to:

  • for $f = const$ the locus of the roots $z$ of $P(z)$ is a circle centered at point $(1, 0)$;
  • for $f + q = const$ the locus of $z$ is a pair of straight lines through point $(1, 0)$.

Since the point of interest is $(1, 0)$ it is natural to consider $P(z) = Q(z - 1)$ around the origin. After simple calculations:

$$ \begin{align} Q(z) = P(z + 1) & = (z + 1)^2 + (f^2 + f q − 2) (z + 1) + (1 - f q) \\ & = z^2 + f (f + q) z + f^2 \end{align} $$

Its discriminant is:

$$ \begin{align} \Delta & = f^2 (f + q)^2 - 4 f^2 \\ & = f^2 (f + q - 2) (f + q + 2) \end{align} $$

Therefore the conditions for $\Delta \lt 0$ so that $Q(z)$ has complex roots are:

$$ \begin{cases} f \ne 0 \\ -2 \lt (f + q) \lt 2 \text{ } \iff \text { } |f + q| \lt 2 \end{cases} $$

Since the product of the two complex conjugate roots is $z \bar z = |z|^2$, it follows from Vieta's formulas that $|z|^2 = f^2$ which proves the first point.

Then the two roots are $z, \bar z = |f| ( \cos \varphi \pm i \sin \varphi)$ and their sum is $z + \bar z = 2 |f| \cos \varphi = -f (f + q)$ again by Vieta's formulas. It finally follows that:

$$ \cos \varphi = - \frac{f}{|f|} \frac{f + q}{2} = - sgn(f) \frac{f + q}{2} $$


[EDIT] This is a followup to the question of a geometric interpretation of q asked in the original post, and again in a comment. Short answer is that there doesn't appear to be any direct "nice" geometric interpretation of $q$, and here is why.

The answer above focused on the roots of $Q(z)$, and the geometric interpretations for $f$ and $f+q$ followed as corrolaries, almost as if by chance. However, the problem can be approached from the other end, too. Suppose one wants to directly determine how the parameters affect the roots, specifically what the locus is of roots $z, \bar z$ if a parameter is kept constant. Below is a derivation of the answer for $f$ since that's the easier of the two to calculate, and also provides the basis of why there is no comparably simple geometric interpretation for $q$.

The two complex conjugate roots $z, \bar z$ of$Q(z)$ satisfy the simultaneous equations.

$$ \begin{cases} z^2 + f (f + q) z + f^2 = 0 \\ {\bar z}^2 + f (f + q) {\bar z} + f^2 = 0 \end{cases} $$

$q$ can be easily eliminated between the two equations - by solving the first one in $q$ then substituting in the second one, or simply by multiplying the two equations by $\bar z, z$ respectively, then subtracting. In the end it reduces to:

$$ (z - \bar z) (|z|^2 - f^2) = 0 $$

Since the roots are non-real complex numbers $z \ne \bar z$, so it follows that $|z|^2 - f^2 = 0$. This is the same relation derived in the original answer, and has a nice direct geometric interpretation. It means that $|f|$ is the absolute value of $z$ so the roots for $f = const$ lie on a circle centered at the origin.

It is technically possible to do the same analysis for $q$ of course. But since the equations are quadratic in $f$, eliminating it between the two is more laborious, and the end results is a quartic curve parameterized in $f$. Each $q = const$ gives a different quartic curve, but other than that there is no obvious (to me) geometric interpretation for $q$.