I have a problem where I am trying to bound the roots of the sum S of two polynomials to be only in the right (positive) half of the complex plane: $S = P_n + Q_1$. There are some special conditions on the polynomials:
$P_n$ is a n-th order polynomial whose roots are all real and located in the right half of the complex plane. Finally, $P_n(0)>0$ for all n.
$Q_1$ is linear (a first order polynomial) with a real root that lies in between the roots of $P_n$. The derivative of $Q$ is always positive.
$|P_n(0)| > |Q_1(0)|$, $P_n(0) > Q_1(0)$0$, and $Q_1(0) < 0$.
As far as I know, these are the only constraints on the polynomials, they are otherwise pretty free to do whatever they like.
I've proven that $S$ has only positive roots in the 4th order case, and I've done some pretty extensive numerical testing on the eigenvalues of the matrix which generates S, and it seems to be the case that indeed all the roots are positive (and possibly complex).
Any help would be greatly appreciated. For some context, this problem basically boils down to proving the stability of a P-matrix with some very nice structure.