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