Let n be a given integer which is greater than 1. Find the greatest constant λ(n) such that for any non-zero complex z1,z2,…,zn, we have k=1∑n∣zk∣2≥λ(n)1≤k≤nmin{∣zk+1−zk∣2}, where zn+1=z1.
Solution
Let λ0(n)={4n,4cos22nπn,2∣n,otherwise.. We prove λ0(n) is the greatest constant.
If there exists k (1≤k≤n) such that ∣zk+1−zk∣=0, the inequality holds obviously. So without loss of generality, we can assume 1≤k≤nmin{∣zk+1−zk∣2}=1.1◯ Under this condition, it is sufficient to show that the minimum value of ∑k=1n∣zk∣2 is λ0(n).
When n is even. Since k=1∑n∣zk∣2=21k=1∑n(∣zk∣2+∣zk+1∣2)≥41k=1∑n∣zk+1−zk∣2≥4n1≤k≤nmin{∣zk+1−zk∣2}=4n, and equality holds when (z1,z2,…,zn)=(21,−21,…,21,−21), thus the minimum value of ∑k=1n∣zk∣2 is 4n=λ0(n).
Next consider the condition when n is odd. Let θk=argzkzk+1∈[0,2π),k=1,2,…,n. For all k, k=1,2,…,n. If θk≤2π or θk≥23π, then by ①, ∣zk∣2+∣zk+1∣2=∣zk−zk+1∣2+2∣zk∣∣zk+1∣cosθk≥∣zk−zk+1∣2≥1.② If θk∈(2π,23π), then since cosθk<0 and by ①, 1≤∣zk−zk+1∣2=∣zk∣2+∣zk+1∣2−2∣zk∣∣zk+1∣cosθk≤(∣zk∣2+∣zk+1∣2)(1+(−2cosθk))=(∣zk∣2+∣zk+1∣2)⋅2sin22θk. Therefore ∣zk∣2+∣zk+1∣2≥2sin22θk1.③
(1) If for all k (1≤k≤n), θk∈(2π,23π), by ③ k=1∑n∣zk∣2=21k=1∑n(∣zk∣2+∣zk+1∣2)≥41k=1∑nsin22θk1.④ Since ∏k=1nzkzk+1=z1zn+1=1, so k=1∑nθk=arg(k=1∏nzkzk+1)+2mπ=2mπ,⑤ where m is a positive integer, and m<n. Notice that n is odd, so 0<sinnmπ≤sin2n(n−1)π=cos2nπ.⑥ Let f(x)=sin2x1, x∈[4π,43π], it's easy to show that f(x) is a convex function. By ④ and Jensen's inequality, and combining ⑤ and ⑥, we have k=1∑n∣zk∣2≥41k=1∑nsin22θk1≥4n⋅sin2(n1∑k=1n2θk)1=4n⋅sin2nmπ1≥4n⋅cos22nπ1=λ0(n).
(2) If there exists j (1≤j≤n), such that θj∈/(2π,23π], let I={j∣θj∈/(2π,23π),j=1,2,…,n}. By ②, for j∈I, we have ∣zj∣2+∣zj+1∣2≥1; and by ③, for j∈/I, we have ∣zj∣2+∣zj+1∣2≥2sin22θj1≥21. Therefore, k=1∑n∣zk∣2=21j∈I∑(∣zj∣2+∣zj+1∣2)+j∈/I∑(∣zj∣2+∣zj+1∣2)≥21∣I∣+41(n−∣I∣)=41(n+∣I∣)≥4n+1.
4n+1≥4n⋅cos22nπ1⇔cos22nπ≥n+1n ⇔sin22nπ=1−cos22nπ≤1−n+1n=n+11. The equality holds when n=3; when n≥5, sin22nπ<(2nπ)2<2nπ2⋅n+11<n+11, so the inequality also holds. So for odd integer n≥3, 4n+1≥4n⋅cos22nπ1.
On the other hand, when zk=2cos2nπ1⋅eni(n−1)kπ, k=1,2,…,n, we have ∣zk−zk+1∣=1, k=1,2,…,n, and ∑k=1n∣zk∣2 achieves its minimum value λ0(n).
In a word, the greatest λ(n) is λ0(n)={4n,4cos22nπn,2∣n,otherwise.
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.