TheoremBase

Standard Examples of Series: the Harmonic Series, the Reciprocals of the Squares, a Centred Quadratic Sum and the Exponential Series

The harmonic series diverges, its partial sums being unbounded; the partial sums of the reciprocals of the squares are at most two minus the reciprocal of the index, so that series converges with sum at most two; a quadratic sum taken symmetrically about its centre is bounded independently of its length; and the series of powers over factorials, and its even and odd parts, converge absolutely.

Statement

In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let convergence, divergence and sums of series and absolute convergence be as defined there, and let k!k!, for k∈N0k\in\mathbb{N}_{0}, be the factorial of kk. Elements of N\mathbb{N} and of N0\mathbb{N}_{0} standing in real expressions are read in R\mathbb{R} by The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness §identification, and for m∈Nm\in\mathbb{N} the difference m−M−1m-M-1 below is formed in R\mathbb{R}. Let α\alpha be a positive real number, let M∈NM\in\mathbb{N} and let x∈Rx\in\mathbb{R}. Every denominator below is a positive real number.

The set {∑m=1n1m:n∈N}\big\{\sum_{m=1}^{n}\frac{1}{m}:n\in\mathbb{N}\big\} is not bounded above; hence the series ∑m=1∞1m\sum_{m=1}^{\infty}\frac{1}{m} diverges.

∑m=1M1m2≤2−1M\sum_{m=1}^{M}\frac{1}{m^{2}}\le2-\frac{1}{M}; the series ∑m=1∞1m2\sum_{m=1}^{\infty}\frac{1}{m^{2}} converges and its sum is at most 22.

∑m=12M+111+α (m−M−1)2≤1+4α\sum_{m=1}^{2M+1}\frac{1}{1+\alpha\,(m-M-1)^{2}}\le1+\frac{4}{\alpha}.

The series ∑k=1∞xkk!\sum_{k=1}^{\infty}\frac{x^{k}}{k!}, ∑k=1∞x2k(2k)!\sum_{k=1}^{\infty}\frac{x^{2k}}{(2k)!} and ∑k=1∞x2k+1(2k+1)!\sum_{k=1}^{\infty}\frac{x^{2k+1}}{(2k+1)!} converge absolutely.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…