What is the Justification for Theorem XII in Taylor and Mann's Book?

  • Thread starter Thread starter Jamin2112
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary
SUMMARY

Theorem XII in Taylor and Mann's book states that the radius of convergence R of a power series ∑anxn is determined by the formula 1/R = lim sup |an|1/n. The proof utilizes Cauchy's root test, demonstrating that lim sup |un|1/n = |x| lim sup |an|1/n = |x| / R. The discussion clarifies that using lim inf |an|1/n would yield a larger R, contradicting the need for the largest radius of convergence. Thus, the application of lim sup is essential for the validity of the theorem.

PREREQUISITES
  • Understanding of power series and their convergence properties
  • Familiarity with Cauchy's root test in analysis
  • Knowledge of limits, specifically lim sup and lim inf
  • Basic concepts of real analysis and sequences
NEXT STEPS
  • Study the proof of Cauchy's root test in detail
  • Explore the implications of lim sup versus lim inf in convergence analysis
  • Review additional theorems related to power series convergence
  • Practice problems involving the calculation of radius of convergence for various power series
USEFUL FOR

Students of mathematics, particularly those studying real analysis, and educators seeking to clarify the concepts of power series and convergence criteria.

Jamin2112
Messages
973
Reaction score
12

Homework Statement



I'm having trouble understanding the justification for THEOREM XII in Taylor and Mann's book.

Homework Equations



THEOREM XII. The radius of convergence R of a power series ∑anxn is given by

1/R = lim sup |an|1/n.​

The Attempt at a Solution



Here is the proof which follows the theorem:

Proof. We appeal to Cauchy's root test. Let un = anxn.
Then
lim sup |un|1/n = |x| lim sup |an|1/n = |x| / R,​

where R is defined by R = 1 / (lim sup |an|1/n).

But why is it lim sup |an|1/n ? If you have another cluster point, say lim inf |an|1/n, then that will give us a larger R, since it will make the denominator larger in R = 1 / (lim sup |an|1/n). When we look for the radius of convergence, we look for the largest R, right?
 
Physics news on Phys.org
You apply the Cauchy root test. This test will only work with limsup. To see why it doesn't work with liminf, you'll need to check the proof of the Cauchy root test...
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K