Exercise 7.4

Exercise 4: Consider

f ( x ) = n = 1 1 1 + n 2 x .

For what values of x does the series converge absolutely? On what intervals does it converge uniformly? On what intervals does it fail to converge uniformly? Is f continuous wherever the series converges? Is f bounded?

Answers

Let f n ( x ) be the n th term of the series. Since f n ( 0 ) = 1 for all n , the series diverges for x = 0 . If x > 0 , then

f ( x ) = n = 1 1 1 + n 2 x < 1 x n = 1 1 n 2 <

by Theorem 3.28, so the series converges if x > 0 . The convergence is absolute since f n ( x ) > 0 for x > 0 , and since f n ( x ) as x 0 + , f ( x ) is not bounded on ( 0 , ) . If a > 0 , then since f n ( x ) 1 ( a n 2 ) for a x and all n , the series converges uniformly to f ( x ) on [ a , ) by Theorem 7.10. Since the partial sums are continuous, f ( x ) is continuous on [ a , ) by Theorem 7.12, so it is continuous on all of ( 0 , ) . The series does not converge uniformly on ( 0 , ) since the difference between f ( x ) and a partial sum is a series N f n ( x ) > 1 ( 1 + N 2 x ) , which is arbitrarily large as x 0 + .

The case x < 0 is more complicated. First note that f n ( x ) is not even defined for x = n 2 , so we are limited to considering the intervals ( , 1 ) and ( n 2 , ( n + 1 ) 2 ) for n = 1 , 2 , For n 2 < x < ( n + 1 ) 2 and m > n + 1 we have

1 1 ( m ( n + 1 ) ) 2 < f m ( x ) < 1 1 ( m n ) 2 < 0

so that

| f m ( x ) | < 1 ( m ( n + 1 ) ) 2 1 .

Similarly, for x < 1 and m > 1 , we get

| f m ( x ) | < 1 m 2 1 ,

which is the same inequality, with n = 0 . The series

m = n + 2 1 ( m ( n + 1 ) ) 2 1

converges, which can be shown either by the integral test or the “limit comparison test,” which was not covered in Rudin’s text. Hence the series converges uniformly and absolutely for n 2 < x < ( n + 1 ) 2 , or x < 1 by Theorem 7.10. Since the partial sums are continuous, f ( x ) is continuous on this interval by Theorem 7.12. It is not bounded, since f n ( x ) as x n 2 , while the rest of the series (everything except the n th term) sums to a finite value.

User profile picture
2023-08-07 00:00
Comments