The Gaussian function is continuous and hence Lebesgue measurable. For , , and thereforeThe 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 . ConsequentlyThe intervals have disjoint interiors. Countable additivity of the nonnegative Lebesgue integral, or the monotone convergence theorem applied to their finite unions, givesThe 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
There are currently no matching articles.