Solution to Question 9.24

Since converges, the sequence of partial sums, also converges, and is thus bounded by some number M. We now look at the partial sum of the functional series (I prefer "x" to "s" (used in the statement of the question)). It straughtforward to see (just cancel some terms) that

Using , we can write the last formula as follows:

. So, .

We now look at the absolute value (about to use the Cauchy criterion for unifrom convergence).

The proof will be completed once we show that the sequence of functionsconverges uniformly for x (strictly) larger than 0. That, by the Cauchy criterion) would make the series uniformly convergent for x>0, and (since it converges when x=0), uniformly converget for non-negative x (what we wanted to show).

So now, we show that converges uniformly for x>0. It is obvious that the pointwise limit of that sequence is 0. So, we need to show that the supremum of over x>0 converges to 0. It is obvious that for each n, the function , x>0, decreases. So, the supremum of that function is and so we are trying to establish that . (Now that is Calculus 3 - 2nd year ). Assume n>1 and look at the function . Put and apply double limit as and (the latter being equivalent to ). The we get , so that indeed .