Find the smallest real number M such that there exist complex numbers a,b,c,d with ∣a∣=∣b∣=∣c∣=∣d∣=1 satisfying: for any complex number z with ∣z∣=1, ∣az3+bz2+cz+d∣≤M.
Solution
Let L denote the maximum squared modulus of the polynomial f(z)=az3+bz2+cz+d on the unit circle. By choosing a unit complex number s with s3=d/a and considering f1(z)=d−1f(sz), we may assume without loss of generality that a=d=1. Thus we only need to consider polynomials of the form f(z)=z3+bz2+cz+1.
First consider the symmetric case b=c=u+vi. The polynomial factors as f(z)=(1+z)(1+(b−1)z+z2). For z=x+yi on the unit circle (x2+y2=1), we have: ∣1+z∣2∣1+(b−1)z+z2∣2∣f(z)∣2=2+2x,=4x2+(2x−1)(2u−2),=8(x3+ux2+2u−1x−2u−1). Let h(x)=x3+ux2+2u−1x−2u−1. We seek to minimize maxx∈[−1,1]h(x). Heuristically, the minimum occurs when h(x) has a double root at x0 and a simple root at 1. Solving gives u=2−5. Indeed, for this value: h(x)−(3−5)=(x+23−5)2(x−1)≤0, so ∣f(z)∣2≤8(3−5)=(25−2)2. For the general case where b=c=u+vi, consider ∣f(z)∣2=8h(x)=(2x+2)[(4x2−4x+2)+2(2x−1)u] evaluated at the "endpoint": ∣f(1)∣2=8h(1)=8+8u, and at the point z=z⋆=25−3+25−1i5 (corresponding to a possible vertex of h(x)): ∣f(z⋆)∣2=8h(25−3)=(305−62)+(18−105)u. We have ∣f(z∗)∣2+455−9⋅∣f(1)∣2=405−80=455−5⋅(25−2)2. ---
This shows that a certain weighted average of them equals (25−2)2, therefore when b=c we always have L≥max{∣f(1)∣2,∣f(z⋆)∣2}≥(25−2)2. For general b,c, we still attempt to prove L≥(25−2)2. Let ω=2−1+3i be a primitive cube root of unity. Since f(z)=z3+bz2+cz+1, we have f(ωz)=z3+ω2bz2+ωcz+1 and f(ω2z)=z3+ωbz2+ω2cz+1, all corresponding to the same L value. Moreover, (b+c)+(ω2b+ωc)+(ωb+ω2c)=0, and at least one of these has real part ≤0. Without loss of generality, assume 2b+c=u+vi with u≤0. Since ∣b∣=∣c∣=1, we have b+cc−b=wi being purely imaginary. We may assume w≥0 (otherwise consider the reciprocal polynomial f2(z)=z3+cz2+bz+1 which has the same L value). Thus 2c−b=(u+vi)wi, and ∣2b+c∣2+∣2c−b∣2=(u2+v2)(1+w2)=1. Now we can express: f(z)=z3+1+2b+c(z2+z)+2c−b(z−z2)=z(z+1)[z+z−1−1+u+vi+1+z1−z⋅wi⋅(u+vi)]. Note that 1+z1−z⋅wi=t is real. Writing the unit complex number z=x+yi, we have ∣z+1∣2=2x+2, z+z−1−1=2x−1, and u2+v2=1+w21. Therefore: ∣f(z)∣2=∣z+1∣2⋅∣z+z−1−1+(u+vi)(1+t)∣2=(2x+2)[(2x−1+u+ut)2+(v+vt)2]=(2x+2)[(2x−1)2+(u2+v2)(1+2t+t2)+2(2x−1)u+2(2x−1)ut]=(2x+2)[(4x2−4x+2)+2(2x−1)u+1+w22t+t2−w2+2(2x−1)ut]. To prove L≥(25−2)2, we want to show: T=∣f(z⋆)∣2+455−9⋅∣f(1)∣2−(405−80)≥0. First, for z=z⋆=25−3+25−15i (where x=25−3 and 1+z1−z=−5i), we have t=5w. Comparing with the case b=c, consider: T1=∣f(z⋆)∣2−[(305−62)+(18−105)u]=∣f(z⋆)∣2−(2x+2)[(4x2−4x+2)+2(2x−1)u]=(2x+2)(1+w22t+t2−w2+2(2x−1)ut)=(5−1)⋅(1+w225w+(5−1)w2+2(5−4)ut)≥(5−1)⋅1+w225w+(5−1)w2. ---
Second, since f(1)=2+2(u+vi), we have ∣f(1)∣2=4+4u2+4v2+8u, and: T2=∣f(1)∣2−(8+8u)=4(u2+v2−1)=−1+w24w2. Therefore: T=T1+455−9T2≥(5−1)⋅1+w2245w+(5−1)w2−(55−9)⋅1+w2w2. We want T≥0, which holds if: 245(5−1)w+((5−1)2−(55−9))w2≥0, i.e., when: 0≤w≤75−152(5−1)45=454+25≈5.666. Through appropriate substitutions or transformations, we have ensured u≤0 and w≥0. If 0≤w≤2, then T≥0, meaning a certain weighted average of ∣f(z⋆)∣2 and ∣f(1)∣2 is ≥(25−2)2, so L≥(25−2)2. If w≥2, then ∣f(1)∣2=4+4u2+4v2+8u≤4+4⋅1+w21≤4.8. Since: ∣f(1)∣2+∣f(ω)∣2+∣f(ω2)∣2=∣2+b+c∣2+∣2+ωc+ω2b∣2+∣2+ω2c+ωb∣2=18, we have: L≥2∣f(ω)∣2+∣f(ω2)∣2≥218−4.8=6.6>(25−2)2. Therefore, we always have L≥(25−2)2, and equality can be achieved. Thus, the minimal real number we seek is M=25−2. □
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.