Abel-Dirichlet improper integral test (without continuity required)

improper-integralsintegrationlebesgue-measuremeasure-theoryreal-analysis

I was searching a proof of the following Abel-Dirichlet test :

Theorem : If $\Phi$ is bounded and monotonic in $[𝑎,+∞)$ and tends to zero at $+\infty$, and $\int_{a}^{x} f dt$ is bounded for $x \geq a$, then $\int_{a}^{+\infty} f \cdot \Phi dt$ is convergent.

The most similar question asked i found is the following : Dirichlet's test for convergence of improper integrals

But no proofs were given,

I was obviously interested in a proof that requires minimal hypothesis, in particular with $f$ that has not to be necessarly continuous.

Since i can't consult the pdf of the book quoted in the link above, i was wondering wether we could discuss about the proof of the Theorem, in the easiest way, since my knowledge involves the first year of analysis\calculus at university and some notions about Null set and its consequences as the Vitali-Lebesgue Theorem.

Best Answer

The theorem is proved by applying the second mean value theorem for integrals (given that $\Phi$ is monotone and $f$ is simply integrable).

For $c_2 > c_1 > a$, there exists $\xi \in (c_1,c_2)$ such that

$$\tag{*}\left|\int_{c_1}^{c_2}\Phi(x) f(x) \, dx\right| = \left|\Phi(c_1)\int_{c_1}^{\xi}f(x) \, dx + \Phi(c_2)\int_{\xi}^{c_2}f(x) \, dx \right| \\ \leqslant |\Phi(c_1)|\left|\int_{c_1}^{\xi}f(x) \, dx\right| + |\Phi(c_2)|\left|\int_{\xi}^{c_2}f(x) \, dx\right|.$$

Under the hypotheses of the Dirichlet test, the integrals on the RHS are uniformly bounded for all $a < c_1 < \xi < c_2$ and $\Phi(c_1),\Phi(c_2) \to 0$. Choosing $c_2 > c_1$ sufficiently large, (*) can be made smaller than any $\epsilon >0$. Thus, the improper integral is convergent by virtue of the Cauchy Criterion.

Related Question