What is the radius of convergence of #sum_1^oo x/n#?

1 Answer
Feb 21, 2018

The series:

#sum_(n=0)^oo x^n/n#

is convergent for #x in [-1,1)#

Explanation:

Using the ratio test:

#lim_(n->oo) abs(a_(n+1)/a_n) = lim_(n->oo) ( (x^(n+1)/(n+1)) / (x^n/n))#

#lim_(n->oo) abs(a_(n+1)/a_n) = lim_(n->oo) n/(n+1) abs(x^(n+1)/x^n)#

#lim_(n->oo) abs(a_(n+1)/a_n) = absx lim_(n->oo) n/(n+1) =absx#

So for #absx < 1# the series is absolutely convergent and for #absx > 1# the series is not convergent.

For #absx =1# we have the two cases:

#(1) " " x=-1#:

The series becomes:

#sum_(n=0)^oo (-1)^n/n#

As:

#lim_(n->oo) abs((-1)^n/n) = lim_(n->oo) 1/n =0#

and

#abs( (-1)^(n+1)/(n+1)) = 1/(n+1) < 1/n = abs((-1)^n/n)#

the series is convergent based on Leibniz' theorem.

#(2) " " x=1#:

The series becomes:

#sum_(n=0)^oo1/n#

Consider the sequence of partial sums:

#s_n = sum_(k=1)^n 1/k#

based on Cauchy's necessary condition this sequence is convergent only if for every #epsilon >0# we can find #N# such that for every #m,n >N#:

#abs(s_n-s_m) < epsilon#

Suppose #m>n# and #p=m-n#, then:

#s_m = s_n + sum_(k=1)^p 1/(n+k)#

and:

#abs (s_n-s_m) = sum_(k=1)^p 1/(n+k)#

Now, as for #k=1,...,p# we have that: #1/(n+k) >= 1/(n+p)#

#abs (s_n-s_m) >= sum_(k=1)^p 1/(n+p)#

that is:

#abs (s_n-s_m) >= p/(n+p)#

#abs (s_n-s_m) >= 1/(1+n/p)#

So if we choose #epsilon < 1/2# and #m=2n# so that #p=n# we get:

#abs (s_n-s_m) >= 1/2 > epsilon#

which proves that Cauchy's condition is not satisfied and therefore the series is not convergent.