Strongly lacunary polynomial L1-L2 bound
ID: strongly-lacunary-polynomial-l1-l2-bound
Use normalized measure on the circle. If a trigonometric polynomial has frequency support with , every zero sum of four signed frequencies pairs into opposite equal frequencies: the largest unpaired term would exceed the sum of the other three. Expanding the fourth moment and bounding its three possible pairings gives . The Holder inequality gives and hence the displayed estimate. Therefore an function with only these lacunary frequencies has square-summable coefficients: apply the estimate to its uniformly -bounded Fejér sums and then pass to finite coefficient blocks. Finitely many extra modes do not affect the conclusion.
New to topics? Read the docs here!