Math 2.0

Functions of a complex variable Definition

Radius of convergence

Builds on Power seriesBounded sequence

Definition

Let ∑an(x−c)n\sum a_n (x - c)^n be a real power series. Its radius of convergence is R=sup⁡{r≥0:the sequence (∣an∣rn) is bounded},R = \sup \{ r \ge 0 : \text{the sequence } (|a_n| r^n) \text{ is bounded} \}, an element of [0,∞][0, \infty].

Remarks

The series converges absolutely for ∣x−c∣<R|x - c| < R, and it diverges for ∣x−c∣>R|x - c| > R. At the points x=c±Rx = c \pm R, the series may converge or diverge. Many texts define RR as the supremum of all ∣x−c∣|x - c| where the series converges. The two definitions give the same value. The Cauchy–Hadamard theorem gives a formula for RR. Mathlib uses the bounded form, in FormalMultilinearSeries.radius.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Sequence, definition, no evidence levelSequencedefinitionReal sequence, definition, no evidence levelReal sequencedefinitionBounded sequence, definition, no evidence levelBounded sequencedefinitionSeries, definition, no evidence levelSeriesdefinitionPower series, definition, no evidence levelPower seriesdefinitionRadius of convergence, definition, no evidence levelRadius of convergencedefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Bounded sequence definition
  4. Series definition
  5. Power series definition
  6. Radius of convergence definition

Where this leads

104 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Radius_of_convergence, Definition
About this page
Tag0660QX1VPR
URIm2://0660QX1VPR
Kinddefinition
WritingW1 stated
MSC30B10
DefinesRadius of convergence
UsesPower series, Bounded sequence

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by