Re: Proof of Dirichlet's Test for convergence of given integral

David C. Ullrich wrote:

Do you possibly know any proof of Dirichlet's Test for convergence of
integrals that is using only Riemann Integrals? (I've already found one
in Fichtenholtz's calculus book, but it's too boring in my opinion, and
I'm still looking for something else...)

I would have thought the simplest way would be to first prove
the corresponding result for series sum a_n b_n ,
which is well-known and useful in many cases
(eg in studying the convergence of Dirichlet series sum a_n n^{-s}).

If in fact the integrals involved were all Riemann integrals
then the series result would extend at once to the integral result,
using the usual approximation to the integrals by sums.

Is this entirely clear? It may well be so, and in fact it may
well be trivial, but it's not entirely clear to me that it's
going to work with no problem (not that I've tried writing
it down carefully).

What bothers me is that an _improper_ Riemann integral
is not a priori approximated by a Riemann sum, it's by
definition the limit of integrals over compact intervals,
and _those_ integrals are approximated by Riemann sums.
So it seems like there's going to be an interchange of
limits at some point, and if swapping two limiting
operations always worked with no problem most theorems
of analysis would be trivial.

Seems possible to me that it works, but that it may
not work just by applying the result for sums per se,
rather one is going to need to insert the proof of the
result for sums and keep track of the epsilons. (???)

I would have thought it was easy enough ...

To show I(a,infty) converges, one has to show that
I(a,b)->0 as a,b->infty, ie given eps there is a C such that

|I(a,b)| < eps if a,b > C.

So really one is dealing with a proper integral.

Since g(x)->0 monotonically,

g(x) < eps if x > C.

(I assume for simplicity that g(x) >= 0.)

Also by hypothesis,

|I(a,b)| < D.

Then it follows from the re-arrangement of series
(and approximation of the integral by sums) that

| int_a^b f(x) g(x) dx | <= 3C eps.

--
Timothy Murphy
e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland
.

Relevant Pages

  • Re: Proof of Dirichlets Test for convergence of given integral
    ... integrals that is using only Riemann Integrals? ... If in fact the integrals involved were all Riemann integrals ... using the usual approximation to the integrals by sums. ...
    (sci.math)
  • Re: Convergence of integrals of uniformly convergent functions
    ... If f_n is a sequence of real valued Riemann integrable function ... (integrals over I = ... Riemann integrals, but in this case the standard proof, based on ... them to be Lebesgue integrals will often be a good idea. ...
    (sci.math)
  • Re: Proof of Dirichlets Test for convergence of given integral
    ... integrals that is using only Riemann Integrals? ... If in fact the integrals involved were all Riemann integrals ... using the usual approximation to the integrals by sums. ...
    (sci.math)
  • Re: Why do they teach Riemannian sums?
    ... infinity) may have an improper Riemann integral and NOT a Lebesgue ... But clearly there are integrals over ... textbook definition is that nobody cares about Riemann integrals any ...
    (sci.math)
  • Re: Dirac-Delta function
    ... Someone else pointed out that "distribution" here means something ... > introduced to take integrals over discrete charge distributions. ... which are a generalization of Riemann integrals. ...
    (sci.math)