Radius of convergence and 2^1/2

Click For Summary
SUMMARY

The discussion centers on proving that the radius of convergence of the series \(\sum{c_n x^n}\), where \(c_n\) represents the digits in the decimal expansion of \(2^{1/2}\), is equal to 1. Participants confirm that \(\limsup |c_n|^{1/n} = 1\) holds true, supported by the Sandwich lemma. They clarify the notation and emphasize that there are infinitely many nonzero \(c_n\) values, which is crucial for the proof. Additionally, it is established that \(\lim_{n\rightarrow \infty} n^{1/n} = 1\) is a necessary condition for the argument.

PREREQUISITES
  • Understanding of series convergence and radius of convergence
  • Familiarity with the concept of \(\limsup\) in mathematical analysis
  • Knowledge of the Sandwich lemma in calculus
  • Basic understanding of decimal expansions and properties of numbers
NEXT STEPS
  • Study the properties of \(\limsup\) and its applications in series convergence
  • Learn about the Sandwich lemma and its proofs in mathematical analysis
  • Explore the concept of radius of convergence in power series
  • Investigate the behavior of \(n^{1/n}\) as \(n\) approaches infinity
USEFUL FOR

Mathematics students, educators, and researchers focusing on series convergence, particularly those studying power series and their properties in real analysis.

bedi
Messages
81
Reaction score
0

Homework Statement



Suppose c_n is the digit in the nth place of the decimal expansion of 2^1/2. Prove that the radius of convergence of [itex]\sum{c_n x^n}[/itex] is equal to 1.


Homework Equations





The Attempt at a Solution



What I want to show is that limsup |c_n|^1/n = 1. Clearly for any c_n, (c_n)^1/n ≥ 1. So we have sup (c_n)^1/n ≥ 1 for any n. It is also easy to see that sup (c_n)^1/n ≤ n^1/n for n large enough, as c_n is at most 9. So by the Sandwich lemma limsup |c_n|^1/n = 1.

Correct?
 
Physics news on Phys.org
bedi said:
What I want to show is that limsup |c_n|^1/n = 1. Clearly for any c_n, (c_n)^1/n ≥ 1.
Why is this clearly true? Are you saying that the decimal expansion of [itex]\sqrt{2}[/itex] doesn't contain any zero digits?
So we have sup (c_n)^1/n ≥ 1 for any n.
Yes, this part is true, because there are infinitely many nonzero [itex]c_n[/itex]'s. (Proof?)

[Edit]: Be careful about the notation. I think you meant
[tex]\sup \{(c_m)^{1/m} : m \geq n\} \geq 1 \textrm{ for any } n[/tex]
and therefore
[tex]\limsup (c_n)^{1/n} \geq 1[/tex]
It is also easy to see that sup (c_n)^1/n ≤ n^1/n for n large enough, as c_n is at most 9. So by the Sandwich lemma limsup |c_n|^1/n = 1.

Correct?
Yes, that looks OK, assuming you have already proved that [itex]\lim_{n\rightarrow \infty} n^{1/n} = 1[/itex].
 
Last edited:

Similar threads

  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
23
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K