The Gaussian function is continuous and hence Lebesgue measurable. For , , and therefore
The right side has finite Lebesgue integral: its first term has integral 4 and the second is Lebesgue integrable by hypothesis. The comparison principle for the Lebesgue integral says that a measurable nonnegative function dominated by an integrable function has finite integral. Consequently the Gaussian function is Lebesgue integrable.
A real measurable function is Lebesgue integrable precisely when the integral of its absolute value is finite. For every integer , on one has and . Consequently
The intervals have disjoint interiors. Countable additivity of the nonnegative Lebesgue integral, or the monotone convergence theorem applied to their finite unions, gives
The harmonic series diverges, so the function is not Lebesgue integrable. Cancellation between adjacent oscillations cannot give absolute integrability.

Articles by others on the same topic (0)

There are currently no matching articles.