Given the sequence a_1=sqrt(y),a_2=sqrt(y+sqrt(y)), a_3 = sqrt(y+sqrt(y+sqrt(y))), cdotsa1=y,a2=y+y,a3=y+y+y, determine the convergence radius of sum_(k=1)^oo a_k x^kk=1akxk ?

1 Answer
Sep 8, 2016

If y = 0y=0 then the radius is infinite. Otherwise it is 11.

Explanation:

Assuming we want to deal with Real numbers only, we require y >= 0y0

If y=0y=0 then the radius of convergence is infinite.

Otherwise, y > 0y>0

Note that the sequence a_1, a_2, a_3,... is strictly monotonic increasing.

It does have a finite fixed point towards which it converges:

Let t = sqrt(y+sqrt(y+sqrt(y+sqrt(y+sqrt(y+...)))))

Then:

t^2-t-y = 0

So using the quadratic formula:

t = (1+-sqrt(1+4y))/2

and since t >= 0 we must have:

t = 1/2+sqrt(1+4y)/2 = 1/2+sqrt(y+1/4)

This is a fixed point of the function f(t) = sqrt(y+t)

In particular, if x >= 0 then

sqrt(y) sum_(k=1)^oo x^k <= sum_(k=1)^oo a_k x^k <= (1/2+sqrt(y+1/4)) sum_(k=1)^oo x^k

So sum_(k=1)^oo a_k x^k is absolutely convergent if and only if sum_(k=1)^oo x^k is absolutely convergent, which is if and only if abs(x) < 1.

Hence the radius of convergence is 1.