Integrating a mean-zero periodic function divided by x

ID: integrating-a-mean-zero-periodic-function-divided-by-x

Let be measurable, integrable over a positive period , and have mean zero there. Its positive and negative parts have equal integrals . On the -th period the signed integral of has absolute value at most
This follows by bounding the positive and negative weighted integrals between and . The bounds are summable, so the integrals at period endpoints converge. A leftover partial period has absolute integral at most , tending to zero, which proves convergence for arbitrary upper endpoints too.
In contrast, each full-period integral of is at least . It diverges in total unless , equivalently almost everywhere. Thus a nonzero mean-zero periodic function gives a convergent improper integral here but no Lebesgue integrability.

New to topics? Read the docs here!