Determining the Radius and Interval of Convergence for a Power Series

Key Questions

  • Given a real power series #sum_{n=0}^{+infty}a_n(x-x_0)^n#, the radius of convergence is the quantity #r = "sup" \{tilde{r} \in \mathbb{R} : sum_{n=0}^{+infty}a_n tilde{r}^n " converges"\}#. Note that #r >= 0#, because for #tilde{r}=0# the series #sum_{n=0}^{+infty}a_n tilde{r}^n= sum_{n=0}^{+infty}a_n 0^n=1# converges (recall that #0^0=1#).

    This quantity it's a bound to the value taken by #|x-x_0|#. It's not hard to prove that the given power series will converge for every #x# such that #|x-x_0| < r# and it will not converge if #|x-x_0|>r# (the proof is based on the direct comparison test). The convergence of the case #r=|x-x_0|# depends on the specific power series.

    This means that the interval #(x_0-r,x_0+r)# (the interval of convergence) is the interval of the values of #x# for which the series converges, and there are no other values of #x# for which this happens, except for the two endpoints #x_{+}=x_0+r# and #x_{-}=x_0-r# for which the convergence has to be tested case-by-case.
    The term radius is thereby appropriate, because #r# describes the radius of an interval centered in #x_0#.

    The definition of radius of convergence can also be extended to complex power series.

  • By Ratio Test, we can find the radius of convergence: #R=1#.

    By Ratio Test, in order for #sum_{n=0}^{infty}a_n# to converge, we need
    #\lim_[n to infty}|{a_{n+1}}/{a_n}|<1#.

    For the posted power series, #a_n=x^n# and #a_{n+1}=x^{n+1}#.
    So, we have
    #\lim_[n to infty}|{x^{n+1}}/{x^n}|=lim_{n to infty}|x|=|x|<1=R#

    Hence, its radius of convergence is #R=1#.

  • The interval of convergence of a power series is the set of all x-values for which the power series converges.

    Let us find the interval of convergence of #sum_{n=0}^infty{x^n}/n#.
    By Ratio Test,
    #lim_{n to infty}|{a_{n+1}}/{a_n}| =lim_{n to infty}|x^{n+1}/{n+1}cdotn/x^n| =|x|lim_{n to infty}n/{n+1}#
    #=|x|cdot 1=|x|<1 Rightarrow -1 < x < 1#,
    which means that the power series converges at least on #(-1,1)#.

    Now, we need to check its convergence at the endpoints: #x=-1# and #x=1#.

    If #x=-1#, the power series becomes the alternating harmonic series
    #sum_{n=0}^infty(-1)^n/n#,
    which is convergent. So, #x=1# should be included.

    If #x=1#, the power series becomes the harmonic series
    #sum_{n=0}^infty1/n#,
    which is divergent. So, #x=1# should be excluded.

    Hence, the interval of convergence is #[-1,1)#.

Questions