Functions of a complex variable Proposition
The exponential series has infinite radius of convergence
Builds on Ratio formula for the radius of convergenceRadius of convergence
Statement
The radius of convergence of the power series is . So the series converges absolutely for every real .
Remarks
The ratio of consecutive coefficients is . The ratio formula then gives radius .
The same holds for the series of sine, cosine, and .
Mathlib states it as NormedSpace.expSeries_radius_eq_top.
Reading path
To understand this page from the ground up, read these 24 pages in order. The foundations come first.
Show the path as a graph
- 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
- The exponential series has infinite radius of convergence statement
Where this leads
63 pages build on this one.
- Natural logarithm
- Euler–Mascheroni constant
- The logarithm grows slower than any power
- 1 + x is at most exp x
- Integral of exp(-x) over the half line
- log x is at most x - 1
- Inverse hyperbolic functions
- Harmonic numbers grow like log n
- Integral of the exponential function
- Power series of the exponential function
- cosh^2 - sinh^2 = 1
- Derivatives of the hyperbolic functions
- Derivative of the logarithm
- Exponential growth beats polynomial growth
- The exponential function is convex
- Gaussian integral
- Exponential of a sum
- Hyperbolic cosine
- The exponential function is its own derivative
- The gamma function extends the factorial
- e as the limit of (1 + 1/n)^n
- Sum of the reciprocals of the factorials
- Addition formulas for hyperbolic functions
- Hyperbolic sine
- Hyperbolic functions
- Logarithm of a quotient
- Integral of 1/x
- Logarithm of a product
- Stirling's formula
- The exponential function is strictly increasing
- Derivative of x^a
- e
- Hyperbolic tangent
- The exponential function is positive
- Logarithm is the inverse of the exponential
- Exponential function
- Real exponentiation
- Logarithm of a power
- Improper integral of x^p on an unbounded interval
- Irrationality of e
- Integration by partial fractions
- Mercator series
- The logarithm is strictly concave
- Weierstrass factorization theorem
- Mehta integral
- Weierstrass product for the gamma function
- Bertrand's test
- The exponential map from the additive reals to the positive reals
- Mertens' theorems
- Weierstrass product
- Frullani integral
- Gauss's test
- Log-convexity of the gamma function
- Logarithmically convex function
- Laplace transforms of sine and cosine
- Hadamard factorization theorem
- Bohr–Mollerup theorem
- Iterated exponentiation
- An infinite product converges iff its series of logarithms converges
- Trigonometric integrals
- Laplace transform of the exponential function
- Function of exponential order
- Barnes G-function
Further reading
- Web https://en.wikipedia.org/wiki/Exponential_function, Power series
About this page
| Tag | 0PVJRACB9H |
|---|---|
| URI | m2://0PVJRACB9H |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 30B10, 33B10 |
| Status | This copy of the site has no build data. Run m2 status 0PVJRACB9H. |
| Uses | Ratio formula for the radius of convergence, Radius of convergence |
Markdown · JSON · Edit on GitHub
What this page 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 page is. They do not measure its truth.