How is this 'root stability' differential equation derived?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 replies · 2K views
tomizzo
Messages
113
Reaction score
2
I'm currently studying the sensitivity of polynomial roots as a function of coefficient errors. Essentially, small coefficient errors of high order polynomials can lead to dramatic errors in root locations.

Referring to the Wilkinson polynomial wikipedia page right here,[/PLAIN] you can see that there is a differential equation listed under the 'stability analysis' section. This derivative explains how the rate of change of the roots (with respect to some error scaling parameter 't') equals the error evaluated at the polynomial error function divided by the original polynomials derivative... That was a mouthful..

So my question: How is this differential equation derived? Maybe I'm just rusty on my calculus, but would someone be willing to demonstrate how it was derived given the information from the original problem statement?

Thanks,
 
Last edited by a moderator:
on Phys.org
I think the notation in the article is confusing; [itex]\alpha_j[/itex] is used both for the root of original polynomial and a function which gives the root of the perturbed polynomial. These really need to be given different symbols.

Define [itex]p(x) = \prod_j (x - \alpha_j)[/itex]. We perturb this to [tex]q(x,t) = p(x) + tc(x) = \prod_j (x - \beta_j(t)).[/tex] Now by definition [itex]q(\beta_j(t),t) = p(\beta_j(t)) + tc(\beta_j(t)) = 0[/itex] for every [itex]t[/itex], so we can differentiate with respect to [itex]t[/itex] to obtain [tex]0 = p'(\beta_j)\frac{d\beta_j}{dt} + c(\beta_j) + tc'(\beta_j)\frac{d\beta_j}{dt}[/tex] which we rearrange to obtain [tex] \frac{d\beta_j}{dt} = -\frac{c(\beta_j)}{p'(\beta_j) + tc'(\beta_j)}.[/tex] The right hand side can now be expanded as a Taylor series about [itex]t = 0[/itex], and as [itex]\beta_j(0) = \alpha_j[/itex] this yields to first order [tex] \frac{d\beta_j}{dt} = -\frac{c(\alpha_j)}{p'(\alpha_j)}[/tex] as required.
 
  • Like
Likes   Reactions: The Bill