Substitute , giving . The nonnegative integral becomesFor an integration by parts gives ; its boundary term vanishes because exponential decay dominates . Hence it is finite, proving integrability and
For the geometric expansion givesEvery summand is nonnegative, so monotone convergence permits integration term by term without a prior integrability assumption. The preceding part applies with , yieldingThe series is finite for every fixed , by comparison of its tail with . This also proves integrability of the original function.
Articles by others on the same topic
There are currently no matching articles.