1 Basic definition and terminology
1.1 Series of absolute values
Let \((a_n)\) be a real or complex sequence. The series \(\sum_{n=1}^\infty a_n\) is absolutely summable if the associated series of absolute values, \[
| \sum_{n=1}^\infty | a_n | , |
|---|
\] converges (is finite). In that case the sum of absolute values, \[
| \|a\|_1 := \sum_{n=1}^\infty | a_n | , |
|---|
\] is often called the \(\ell^1\)-sum or \(\ell^1\) norm of the sequence.
1.2 Relationship to ordinary convergence
| Absolute summability is stronger than ordinary convergence. If \(\sum_{n=1}^\infty | a_n | \) converges, then \(\sum_{n=1}^\infty a_n\) converges as well. Thus absolute summability guarantees convergence, while the reverse implication generally fails. |
|---|
1.3 Real versus complex sequences
| For real sequences \( | a_n | \) is the usual absolute value. For complex sequences \( | a_n | \) denotes the complex modulus. The defining condition \(\sum | a_n | <\infty\) is unchanged in form, and all core consequences (such as unconditional convergence) hold in both settings. |
|---|
1.4 Notation and conventions
Common conventions include starting the index at \(n=1\) (though \(n=0\) is equally used) and writing
- \(\sum a_n\) for \(\sum_{n=1}^\infty a_n\),
| - \(\sum | a_n | \) for \(\sum_{n=1}^\infty | a_n | \). |
|---|
When no confusion arises, “absolutely convergent series” is a standard synonym for “absolutely summable series.”
2 Fundamental properties
2.1 Absolute summability implies convergence
| If \(\sum_{n=1}^\infty | a_n | \) converges, then the partial sums \(s_N=\sum_{n=1}^N a_n\) form a Cauchy sequence. Indeed, for \(M>N\), |
|---|
\[
| \left | \sum_{n=N+1}^M a_n\right | \le \sum_{n=N+1}^M | a_n | . |
|---|
\] Since the right-hand side tends to \(0\), the partial sums converge. This is the basic mechanism behind the implication.
2.2 Unconditional convergence and rearrangements
A major consequence is unconditional convergence: if \(\sum a_n\) is absolutely summable, then any rearrangement \(\sum a_{\pi(n)}\) (where \(\pi\) is a permutation of \(\mathbb{N}\)) converges to the same value. Intuitively, the absolute-value control prevents “conditional” cancellation from being disrupted by reordering.
2.3 Stability under linear transformations
If \(\sum a_n\) is absolutely summable and \(c\) is a scalar, then \(\sum (c\,a_n)\) is absolutely summable because \[
| \sum | c a_n | = | c | \sum | a_n | <\infty. |
|---|
\] More generally, bounded linear operators between appropriate spaces preserve absolute summability in suitable vector-valued settings (see also the Banach-space discussion later).
2.4 Closure properties under addition and scalar multiplication
The collection of absolutely summable sequences is closed under natural algebraic operations:
- If \(\sum a_n\) and \(\sum b_n\) are absolutely summable, then so is \(\sum (a_n+b_n)\), because
\[
| \sum | a_n+b_n | \le \sum( | a_n | + | b_n | )=\sum | a_n | +\sum | b_n | <\infty. |
|---|
\]
- Scalar multiplication preserves absolute summability as noted above.
These properties make absolute summability behave like a normed-space condition.
3 Criteria and tests
3.1 Comparison test
| If \(0\le | a_n | \le b_n\) for all large \(n\) and \(\sum b_n\) converges, then \(\sum | a_n | \) converges, hence \(\sum a_n\) is absolutely summable. A common form uses nonnegative real sequences to compare sizes. |
|---|
3.2 Limit comparison test
Suppose \(a_n\) and \(b_n\) are nonnegative eventually and \[ \lim_{n\to\infty}\frac{a_n}{b_n}=L \]
| where \(0<L<\infty\). Then \(\sum a_n\) and \(\sum b_n\) converge or diverge together. Applying this to \(a_n= | a_n | \) gives a practical tool for absolute convergence of \(\sum a_n\). |
|---|
3.3 Ratio test
For a series \(\sum a_n\), consider \[
| L=\limsup_{n\to\infty}\frac{ | a_{n+1} | }{ | a_n | }. |
|---|
\]
| If \(L<1\), then \(\sum | a_n | \) converges absolutely. If \(L>1\), it diverges. When \(L=1\), the test does not decide the question. |
|---|
3.4 Root test
The root test examines \[
| L=\limsup_{n\to\infty}\sqrt[n]{ | a_n | }. |
|---|
\]
| If \(L<1\), then \(\sum | a_n | \) converges absolutely. If \(L>1\), it diverges. The borderline case \(L=1\) remains inconclusive. |
|---|
3.5 Integral test (series form)
| For functions \(f(x)\ge 0\) that are decreasing and satisfy \(a_n=f(n)\), the convergence of \(\sum a_n\) matches that of \(\int_1^\infty f(x)\,dx\). To use it for absolute summability, one typically applies it to \(a_n= | a_n | \) (or to an upper bound for \( | a_n | \)). |
|---|
3.6 Cauchy criterion via absolute values
An alternative characterization is the Cauchy criterion: \[
| \sum a_n \text{ is absolutely summable } \Longleftrightarrow \sum | a_n | \text{ converges } |
|---|---|---|
| \Longleftrightarrow \forall \varepsilon>0\, \exists N\, \text{s.t. } \sum_{n=N+1}^M | a_n | <\varepsilon |
\] for all \(M>N\). This “tail smallness” viewpoint is often useful in rigorous estimates.
4 Examples and non-examples
4.1 p-series and \(\sum 1/n^p\)
A central family is \[ \sum_{n=1}^\infty \frac{1}{n^p}. \]
| Since terms are nonnegative, absolute summability is the same as convergence. The series converges exactly when \(p>1\) and diverges for \(p\le 1\). Consequently, \(\sum | a_n | \) converges for \(a_n=1/n^p\) precisely for \(p>1\). |
|---|
4.2 Geometric series
| For \( | r | <1\), the geometric series |
|---|
\[ \sum_{n=0}^\infty r^n \] converges absolutely, because \[
| \sum | r | ^n < \infty. |
|---|
\]
| If \( | r | \ge 1\), absolute convergence fails (and the series either diverges or does not have finite absolute sum). |
|---|
4.3 Alternating series: when absolute summability fails
Consider the alternating harmonic series \[ \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}. \]
| The terms satisfy \(\sum \left | \frac{(-1)^{n+1}}{n}\right | =\sum \frac{1}{n}\), which diverges. Therefore the series is not absolutely summable, even though it converges conditionally. |
|---|
4.4 Power series coefficients and basic estimates
| Let a power series be \(\sum_{n=0}^\infty c_n x^n\). Absolute summability at a given \(x\) depends on \(\sum | c_n | \, | x | ^n\). Often one uses the radius of convergence: inside the radius, the power series converges absolutely, meaning |
|---|
\[
| \sum | c_n | \, | x | ^n < \infty |
|---|
\]
| for each \( | x | \) below the radius. At the boundary \( | x | \) equal to the radius, absolute convergence may or may not hold, depending on the coefficients. |
|---|
4.5 Constructed examples illustrating borderline behavior
Borderline cases highlight the difference between convergence and absolute summability. For instance:
| - A series might converge but have \(\sum | a_n | =\infty\), typically when oscillation provides cancellation (as with alternating harmonic-type series). | ||
|---|---|---|---|---|
| - Another series can be arranged so that \( | a_n | \) behaves like \(1/n\) up to slowly varying factors that make \(\sum | a_n | \) diverge, while \(\sum a_n\) still converges conditionally. |
Such examples underscore that absolute summability is sensitive to the magnitude of terms, not merely to cancellation.
5 Connections to function spaces
5.1 \(\ell^1\) space and its norm
The set of all absolutely summable real or complex sequences forms the sequence space \(\ell^1\). The quantity \[
| \|a\|_1=\sum_{n=1}^\infty | a_n |
|---|
\] defines a norm on \(\ell^1\). In this framework, absolute summability is equivalent to membership in \(\ell^1\).
5.2 Continuous inclusion into \(\ell^p\) spaces
| For \(1\le p<\infty\), \(\ell^1\subseteq \ell^p\). A typical inequality shows that if \(\sum | a_n | <\infty\), then |
|---|
\[
| \sum | a_n | ^p <\infty |
|---|
\]
| because large terms are limited by the summability of \( | a_n | \), and small terms are controlled by raising to a power. This yields a continuous inclusion: \(\|a\|_p\) can be bounded in terms of \(\|a\|_1\) (with constants depending on \(p\)). |
|---|
5.3 Absolute summability of Fourier coefficients (overview level)
In Fourier analysis, sequences of Fourier coefficients sometimes lie in \(\ell^1\). When that happens, one can infer strong convergence properties for the associated Fourier series, since absolute convergence of coefficients gives uniform convergence of related expansions under standard hypotheses. The key theme is that \(\ell^1\) control of coefficients is a powerful strengthening over mere square-summability.
5.4 Normed-space viewpoint: completeness and consequences
As a normed space, \(\ell^1\) is complete (a Banach space). Completeness enables limits of absolutely summable sequences to remain absolutely summable when convergence occurs in the \(\ell^1\) norm. Many analytic manipulations become rigorous through this structure, including fixed-point arguments and stability of series expansions.
6 Theorems and results
6.1 Majorization and dominance arguments
| A common proof strategy is to dominate \( | a_n | \) by a simpler summable sequence \(b_n\). If \( | a_n | \le b_n\) eventually and \(\sum b_n\) converges, then \(\sum | a_n | \) converges. This principle is the basis of many convergence proofs in analysis. |
|---|
6.2 Absolute convergence and termwise operations
Absolute convergence legitimizes several termwise procedures that may fail for merely conditionally convergent series. Typical outcomes include:
- safe interchange of summation and summation in many discrete contexts,
- stable passage to limits when uniform absolute bounds are available.
The underlying mechanism is that absolute convergence provides summable control of tails.
6.3 Fubini/Tonelli-type reasoning for series (discrete case)
For nonnegative terms, Tonelli-type arguments show that iterated sums can be interchanged without requiring absolute convergence beforehand. In the discrete setting, if one considers a double series \(\sum_{n,m} x_{n,m}\), then:
- if \(x_{n,m}\ge 0\), the iterated sums agree with the total sum (possibly infinite),
| - if \(\sum_{n,m} | x_{n,m} | \) converges, then one can freely rearrange and interchange summations as in Fubini-type results. |
|---|
Absolute summability is therefore the key condition enabling clean “swap” rules.
6.4 Series of vectors and absolute summability in Banach spaces
| For Banach-space-valued terms \(x_n\), one defines absolute summability by requiring \(\sum \|x_n\|<\infty\). Under this condition, the vector series converges, and unconditional convergence extends to the norm topology. This generalization is essential in analysis where series are used to build functions in infinite-dimensional settings. |
|---|
7 Operations on absolutely summable series
7.1 Term-by-term differentiation/convergence—where applicable
Differentiation term-by-term in power series or related expansions typically requires stronger hypotheses than mere absolute convergence of the original series. Nevertheless, when absolute convergence holds with additional uniform control (for instance, for power series inside their radius), term-by-term differentiation produces another absolutely convergent series on the corresponding domain. In general, absolute summability contributes to justifying exchange of operations.
7.2 Multiplication (convolution) of summable sequences
Given absolutely summable sequences \(a=(a_n)\) and \(b=(b_n)\), one can define their convolution \[ (a*b)_k=\sum_{n=0}^k a_n b_{k-n} \]
| (in the discrete case). Absolute summability implies that the convolution sequence is well-defined and remains absolutely summable, with an estimate of \(\|a*b\|_1\) in terms of \(\|a\|_1\) and \(\|b\|_1\). This makes convolution a stable operation inside \(\ell^1\). |
|---|
7.3 Cauchy products and absolute convergence conditions
For series \(\sum a_n\) and \(\sum b_n\), the Cauchy product is \[ \sum_{k=0}^\infty c_k,\quad c_k=\sum_{n=0}^k a_n b_{k-n}. \] If at least one of the series is absolutely summable (and the other satisfies appropriate summability so the product makes sense), then the Cauchy product converges and the product of sums equals the sum of the Cauchy product. Absolute convergence is a standard sufficient condition that ensures no rearrangement pitfalls occur.
7.4 Rearrangement invariance and limits
Because absolute convergence yields unconditional convergence, operations that rely on reindexing (such as changing summation order in double sums) can be justified when absolute bounds are available. Limits of partial sums and the value of the sum do not depend on the order in which terms are grouped, provided the rearrangement does not violate absolute convergence control.
8 Related notions and hierarchy
8.1 Conditional versus absolute summability
A series is conditionally summable if it converges but is not absolutely summable. Conditional convergence often relies on sign changes or oscillations. Such series are sensitive to rearrangement: changing the order can change the sum or even lead to divergence in extreme cases (though the exact behavior depends on additional structure).
8.2 Square summability (\(\ell^2\)) versus absolute summability
| Square summability requires \(\sum | a_n | ^2<\infty\), corresponding to membership in \(\ell^2\). This is weaker than \(\ell^1\): there exist sequences in \(\ell^2\) that are not in \(\ell^1\). Thus \(\ell^2\) control does not, by itself, guarantee absolute convergence of the associated series \(\sum a_n\). |
|---|
8.3 Summability methods and broader context (high-level)
Beyond absolute convergence, analysis studies other summability concepts that assign values to divergent series or improve convergence. These methods typically differ in strength and applicability, often requiring additional structural assumptions. Absolute summability sits among the most robust classical notions because it directly implies convergence without regularization.
8.4 Connections to convergence modes for series
Absolute summability implies ordinary convergence, unconditional convergence, and in many settings stronger uniform or interchange properties. In the hierarchy of convergence behaviors, it serves as a boundary between conditions controlled purely by cancellation and those controlled by the magnitude of terms.
9 Common applications
9.1 Bounding series in analysis problems
| Absolute summability often arises when bounding error terms. By estimating \( | a_n | \) with a known summable sequence, one transforms a difficult convergence problem into a straightforward comparison. |
|---|
9.2 Dominated estimates in proofs
In proofs involving limits, absolute summability can supply a dominating summable majorant for the absolute values of quantities indexed by \(n\). This supports the passage of limits through sums and helps control approximation errors in iterative arguments.
9.3 Error control in approximations via \(\ell^1\)-type bounds
| When approximating functions or sequences by truncating a series, the tail \(\sum_{n>N} | a_n | \) provides an immediate bound on the remaining contribution. If \(\sum | a_n | \) converges, these tails can be made arbitrarily small, giving quantitative error guarantees. |
|---|
9.4 Practical criteria for verifying absolute summability
In practice, verification commonly uses:
- comparison with known convergent series (such as geometric or \(p\)-series),
- ratio or root tests for sequences with exponential-type decay,
- power-series coefficient estimates via radius-of-convergence reasoning,
| - norm estimates in vector-valued settings using \(\sum \|x_n\|\). |
|---|
These criteria are widely used because they connect absolute summability to familiar asymptotic patterns.