How can I prove that if the coefficients $\{a_k\}$ of the power series $\sum_{0}^{\infty} \{a_k\}x^k$ form a bounded sequence, then the radius of convergence is at least 1?

  • 3
    $\begingroup$ Did you try the formula for radius of convergence? $\endgroup$ – Yuval Filmus May 16 '11 at 18:10

If $|x| \lt 1$ then $\frac{1}{1-|x|} = \sum_{n = 0}^{\infty} |x|^{n}$ by the summation formula for the geometric series. Now use this, the triangle inequality and the assumption that $|a_{n}| \leq C$ for all $n$ to estimate your given series from above, hence it series converges absolutely for $|x| \lt 1$.

Alternatively, you can easily show that the radius of convergence $\rho^{-1} = \limsup_{n \to \infty} \sqrt[n]{|a_n|}$ satisfies $\rho^{-1} \leq 1$, since $\sqrt[n]{C} \; \xrightarrow{n \to \infty}\; 1$ for all $C \gt 0$. If you look at the proof of this formula for the radius of convergence (usually called the Cauchy-Hadamard theorem), you'll see that this essentially comes down to the same as the first paragraph: a comparison with a geometric series which is known to converge.

  • $\begingroup$ small question: so if the series converges absolutely -1<x<1, then shouldn't the radius of convergence just be 1? how to show that the radius is at least 1? thanks! $\endgroup$ – ninja May 16 '11 at 18:38
  • $\begingroup$ @ninja: Recall the definition of the radius of convergence $\rho$. It it is the largest $\rho$ such that for all $|x| \lt \rho$ the series $\sum_{n=0}^{\infty} a_{n} x^n$ converges. So if I know that the series converges for $|x| \lt 1$, then I know that $\rho \geq 1$ by the definition of the radius of convergence. $\endgroup$ – t.b. May 16 '11 at 18:46
  • 1
    $\begingroup$ @ninja: In other words: I indicated how to show that the radius of convergence is at least one by showing that the power series converges for all $|x| \lt 1$. The radius of convergence could still be greater than one. I said nothing about $|x| \geq 1$, and anything could happen. If $a_{n} = 1$ for all $n$ then the radius of convergence is precisely one (the geometric series diverges for $x = 1$), and if $a_{n} = 0$ for $n$ large enough (or $a_{n} = \frac{1}{n!}$), for example, then the radius of convergence is infinite. $\endgroup$ – t.b. May 16 '11 at 18:48
  • $\begingroup$ I get it now! thanks man $\endgroup$ – ninja May 16 '11 at 22:17
  • $\begingroup$ @ninja: great! glad I could help. See you around! $\endgroup$ – t.b. May 16 '11 at 22:18

Hint: If the sequence $a_k$ is bounded, then there exists $M$ such that $|a_k|\leq M$ for all $k$.

Then, what can you say about $|\sum_{k=1}^\infty a_k x^k|$ and $\sum_{k=1}^\infty Mx^k$? What is the radius of convergence of the second one?


Use the comparison test on $\sum |a_kx^k|$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.