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?
power series radius of convergence
-
3Did you try the formula for radius of convergence? – 2011-05-16
3 Answers
Use the comparison test on $\sum |a_kx^k|$.
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?
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.
-
0small question: so if the series converges absolutely -1
– 2011-05-16 -
0@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. – 2011-05-16
-
1@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. – 2011-05-16
-
0I get it now! thanks man – 2011-05-16
-
0@ninja: great! glad I could help. See you around! – 2011-05-16