statement proposition
Ratio formula for the radius of convergence
Statement
Let be a real power series with for all large . Assume that as , for some in . Then the radius of convergence of the series is , with the conventions and .
Remarks
The proof applies the ratio test to . The ratio of consecutive terms tends to .
The formula needs the limit to exist. The Cauchy–Hadamard theorem works without this assumption.
For example, has and .
Mathlib states a form for nonzero as FormalMultilinearSeries.ofScalars_radius_eq_inv_of_tendsto.
Explanations
L1 human
When the ratio of consecutive coefficients settles to , the coefficients behave like . So the series behaves like a geometric series with ratio .
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 23 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Sequence definition
- Real sequence definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Squeeze theorem statement
- Partial sum definition
- Power series definition
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Comparison test statement
- Geometric series example
- Ratio test statement
- Ratio formula for the radius of convergence statement
What depends on this
75 nodes use this node, directly or through other nodes.
- Natural logarithm 0044CPHJBV
- Euler–Mascheroni constant 00C5P9JZBK
- The logarithm grows slower than any power 00DGYY10FV
- Derivative of sine 00R4MWW532
- 1 + x is at most exp x 012C7GFF20
- cos pi = -1 01A8JGR4JM
- sin x / x tends to 1 01QSSKS5C1
- Angle addition formulas 028XEQCE88
- Inverse trigonometric functions 02HTDK1FBD
- Power series of sine 02KTRHQMHN
- Leibniz formula for pi 037FD5NBRT
- Integral of exp(-x) over the half line 039JAF7ZAN
- Pythagorean trigonometric identity 03H7WZ4T3K
- log x is at most x - 1 04CBRA4JRK
- Inverse hyperbolic functions 04D7CHT5V1
- Integral of cosine 04WTBQ7APQ
- Derivative of arctangent 05P4B4Q22V
- Harmonic numbers grow like log n 05S2GSPMGA
- Arctangent 065XW2V6C3
- Integral of the exponential function 06D0EWR2DV
- Power series of the exponential function 06JZGMYTYD
- cosh^2 - sinh^2 = 1 06QCTRFBM0
- Tangent function 06T0HS14PP
- Derivatives of the hyperbolic functions 07T2TKGZ4J
- Derivative of the logarithm 07X1QA6BRW
- Power series of cosine 08W5RN375X
- Arcsine 0B89D93YA1
- pi 0C1VYVNV2N
- Exponential growth beats polynomial growth 0CT6CBGTYY
- The exponential function is convex 0D7GRZ2ADX
- Gaussian integral 0DFT1GP1JP
- Basel problem 0DMY75D6FV
- Exponential of a sum 0E8HNVBCSP
- Trigonometric substitution 0EAR3KNRTN
- Hyperbolic cosine 0EQFWKJ37J
- The exponential function is its own derivative 0EX9GFJ0B3
- The gamma function extends the factorial 0FDCW77H44
- e as the limit of (1 + 1/n)^n 0FEMF8JKAF
- Sum of the reciprocals of the factorials 0G4D3ZKTP8
- Derivative of arcsine 0GA6G43EA9
- Addition formulas for hyperbolic functions 0GJZCE87WP
- Hyperbolic sine 0GWD21EWRW
- Integral of sine 0GXCXCX3QN
- Binomial series 0HB0XKDXHH
- Hyperbolic functions 0J6M03WSS6
- Logarithm of a quotient 0J7PHRBNNS
- Integral of 1/x 0K1N1Y4EGZ
- Logarithm of a product 0K2FNY6DYV
- Stirling's formula 0KC0F51T6A
- The exponential function is strictly increasing 0KN2V7840E
- Radius of convergence of the binomial series 0KX1MXJ5MR
- Derivative of x^a 0KY08TWDMQ
- e 0MVCFMW7S4
- Hyperbolic tangent 0MWYQTZ07Z
- Sine is 2π-periodic 0P4NQD746K
- The exponential function is positive 0P9BNBW2W3
- The exponential series has infinite radius of convergence 0PVJRACB9H
- Irrationality of pi 0QHZX1PK8V
- pi is greater than 3 0R7SVNYTJS
- Arccosine 0RDP2HEFEW
- Logarithm is the inverse of the exponential 0RKW2X63YR
- Exponential function 0RMVS7RXZX
- Power-reduction formula for cosine 0S049HG1W5
- Derivative of tangent 0SAMR34WXC
- Power series of arctangent 0T32ME0A6H
- Real exponentiation 0TV07AQT62
- Derivative of cosine 0V2DV29EGT
- Logarithm of a power 0V948DE5KA
- Improper integral of x^p on an unbounded interval 0VGKB2NC4T
- Irrationality of e 0W4GQSG7B6
- Tangent half-angle substitution 0W8ETY2AZ6
- Sine and cosine 0WB57D9488
- Integration by partial fractions 0WBTWFXJQG
- Mercator series 0YZXNE3HFR
- The logarithm is strictly concave 0ZS54B9GJF
Sources
- Web https://en.wikipedia.org/wiki/Radius_of_convergence, Theoretical radius
What links here
Used by
- Power series of sine 02KTRHQMHN
- Power series of cosine 08W5RN375X
- Radius of convergence of the binomial series 0KX1MXJ5MR
- The exponential series has infinite radius of convergence 0PVJRACB9H