Absolute Convergence

Definition: A (improper) integral ∫abf(x)dx is said to be absolutely convergent if the integral of its absolute value converges:

∫ab|f(x)|dx<∞.

Implication: If an improper integral is absolutely convergent, then it is necessarily convergent. This follows from the Cauchy criterion for improper integrals.

Proof Sketch: For any ϵ>0, there exists M such that for all c,d>M, |∫cd|f(x)|dx|<ϵ. Hence, for c,d>M, |∫cdf(x)dx|≤∫cd|f(x)|dx<ϵ, satisfying the Cauchy criterion for convergence of ∫abf(x)dx.

See also: improper integral