Dirichlet kernel harmonic lower bound

ID: dirichlet-kernel-harmonic-lower-bound

For , define . Evenness and on give . The first complete sine periods of length have absolute sine integral two, and on the th such interval . This proves the displayed unbounded lower bound. The real functional on continuous functions has norm exactly : the upper bound is its kernel integral, and the continuous functions approach that bound as by dominated convergence.

New to topics? Read the docs here!