Suppose c∈C with |c|<1. I constructed a quadratic function t2−2ct+c=0. I want to know whether the magnitude of the roots are smaller than 1. The answer for real c is simple. If c is real, then the roots are c±√4c2−4c2. Since 4c2−4c<0, the second part is imaginary. So the magnitude will be √c2+4c−4c24=√c<1.
I got lost when considering c is complex. Specifically, is the discriminant 4c2−4c or 4|c|2−4c? How do we take the root of complex number?
Answer
(Too long for a comment.)
The equation can be written as (t−c)2=c2−c then by the triangle inequality with λ=|c|<1:
|t−c|2=|c||1−c|≤|c|(1+|c|)⟹|t|≤|t−c|+|c|≤λ+√λ(1+λ)
Therefore f(λ)=λ+√λ(1+λ) is an upper bound for the magnitude of roots |t|, but it does not insure that |t|≤1 since f(λ) can take values larger than 1 e.g. f(λ)>1 for ∀λ>13.
It also follows that |c|<13 is a sufficient condition for the roots to have magnitude less than 1.
No comments:
Post a Comment