1 Definition and basic ideas
Cesàro summability is a way to assign a value to a series by averaging its partial sums. It is especially useful when the partial sums do not converge in the ordinary sense, but their averages approach a limit. The idea is central in summability theory and provides a refined notion of convergence for sequences and series.
1.1 Partial sums of a series
For a series \(\sum_{n=0}^{\infty} a_n\), the partial sums are \[ s_n = a_0 + a_1 + \cdots + a_n. \] Ordinary convergence of the series means that the sequence \((s_n)\) has a limit. If the partial sums oscillate or grow without settling to a limit, the series is divergent in the usual sense. Cesàro summability replaces direct convergence of \((s_n)\) with convergence of a derived sequence formed from averages of the \(s_n\).
1.2 Cesàro means
The Cesàro means of a sequence are arithmetic averages of its initial segments. For a sequence \((s_n)\), the first Cesàro mean is the sequence \[ \sigma_n = \frac{1}{n+1}\sum_{k=0}^{n} s_k. \] If \(\sigma_n\) converges, then \((s_n)\) is said to be Cesàro summable.
1.2.1 First-order Cesàro means
The first-order Cesàro means, often denoted by \((C,1)\), are the most familiar case. They smooth a sequence by replacing each term with the average of all terms up to that point. This averaging can reduce oscillation and reveal a limiting value hidden by divergence of the original sequence.
1.2.2 Higher-order Cesàro means
Higher-order means are obtained by iterating the averaging process or by using generalized weighted averages. These are denoted \((C,\alpha)\) in a more general theory. As the order increases, the method becomes stronger in its smoothing effect and can sum a broader class of divergent series.
1.3 Cesàro summability of sequences and series
A sequence \((x_n)\) is Cesàro summable if its Cesàro means converge. For a series, one applies the method to the sequence of partial sums. Thus, the series \(\sum a_n\) is Cesàro summable when the averages of the partial sums approach a finite limit. This limit is then taken as the Cesàro sum of the series.
1.4 Notation and terminology
The notation \((C,1)\) usually refers to first-order Cesàro summability, while \((C,\alpha)\) denotes generalized order \(\alpha\). The term "Cesàro summable" may refer either to a sequence whose means converge or to a series whose partial sums are Cesàro summable. In many contexts, the distinction is understood from usage.
2 Historical development
Cesàro summability emerged from broader efforts to make sense of divergent series. Mathematicians in the nineteenth century developed several averaging and transformation methods to extend the meaning of summation beyond ordinary convergence.
2.1 Early work in summation methods
Before Cesàro’s formulation, mathematicians studied methods for assigning values to divergent expressions, especially in relation to power series and Fourier series. These early approaches often relied on smoothing, rearrangement, or transformation of partial sums. They laid the groundwork for a systematic theory of summability.
2.2 Cesàro’s original formulation
Ernesto Cesàro introduced a method of averaging partial sums that gave a precise and flexible summation process. His approach clarified when a divergent series could still be treated as having a consistent generalized sum. The method became influential because it was simple to define and effective in many analytic settings.
2.3 Later generalizations in analysis
In the twentieth century, Cesàro summability was extended in several directions, including fractional orders, matrix methods, and multidimensional analogues. These developments connected the method to Fourier analysis, approximation theory, and functional analysis. The concept also became part of a larger classification of summability procedures.
3 Fundamental properties
Cesàro summability has several structural properties that make it useful in analysis. Many of these resemble familiar properties of ordinary convergence, though the method is weaker and more inclusive.
3.1 Linearity
The Cesàro method is linear. If two sequences are Cesàro summable, then any linear combination of them is also Cesàro summable, and its Cesàro sum is the corresponding linear combination of the individual sums. This property is one reason the method integrates well with algebraic manipulations.
3.2 Regularity
A summation method is regular if it agrees with ordinary convergence whenever the latter holds. Cesàro summability is regular: if a sequence or series converges in the usual sense, then its Cesàro means converge to the same limit. This ensures that the method extends, rather than replaces, classical convergence.
3.3 Stability under convergence
When a sequence converges, averaging its initial segments does not change the limit. More generally, sequences with sufficiently mild behavior often retain their limiting value under Cesàro averaging. This stability makes the method suitable for smoothing data without distorting genuine limits.
3.4 Comparison with ordinary convergence
Cesàro summability is weaker than ordinary convergence. Every convergent sequence is Cesàro summable, but not every Cesàro summable sequence converges. The method can therefore assign values to oscillatory sequences that fail to settle under the standard definition of limit.
4 Cesàro summation methods
Several related procedures are grouped under the name Cesàro summation. They differ in order and strength, but all are based on averaging partial sums.
4.1 The (C,1) method
The \((C,1)\) method is the standard Cesàro method. For a series with partial sums \(s_n\), one forms \[ \sigma_n = \frac{1}{n+1}\sum_{k=0}^{n} s_k. \] If \(\sigma_n\) converges, the series is \((C,1)\)-summable. This method is widely used because of its simplicity and its role in Fourier analysis.
4.2 The (C,α) method
The generalized \((C,\alpha)\) methods extend Cesàro summation to non-integer orders. They are defined using weighted averages derived from repeated summation or related kernels. These methods create a hierarchy in which larger orders typically provide stronger summability power.
4.2.1 Integer order methods
For positive integers, the Cesàro process can be iterated. Each stage uses averages of the previous stage’s means, producing higher-order smoothing. Integer order methods are often expressed through combinatorial weights and are closely related to repeated discrete integration.
4.2.2 Fractional order methods
Fractional orders generalize the idea of repeated averaging to non-integer levels. They are useful in analytic contexts where interpolation between integer orders is needed. Such methods often involve coefficients defined by generalized binomial expressions or kernel representations.
4.3 Higher-dimensional and generalized Cesàro methods
The Cesàro idea extends to double sequences, multidimensional arrays, and other generalized summation schemes. In these settings, averaging may be performed over rectangles, cubes, or other growing regions. Such extensions are important in areas where data naturally occur in more than one index.
5 Examples
Examples show how Cesàro summability can assign finite values to divergent series and oscillatory sequences. They also illustrate the limits of the method.
5.1 Cesàro summability of alternating series
The sequence \(1, -1, 1, -1, \dots\) does not converge in the ordinary sense, but its Cesàro means do. The partial sums are \(1, 0, 1, 0, \dots\), and their averages approach \(1/2\). Thus the sequence is Cesàro summable to \(1/2\).
5.2 Summation of divergent geometric-type series
| The geometric series \(1 + x + x^2 + \cdots\) converges for \( | x | < 1\), but for \(x=-1\) it becomes \(1 - 1 + 1 - 1 + \cdots\), which is Cesàro summable to \(1/2\). More generally, several formal power series at boundary points can be treated by averaging partial sums, provided the Cesàro means converge. |
|---|
5.3 Sequences with oscillatory partial sums
Sequences whose partial sums fluctuate around a central value may fail to converge yet still have convergent averages. For example, a bounded periodic sequence often has a Cesàro mean equal to its average over one period. This makes Cesàro summability a natural tool for periodic or nearly periodic behavior.
5.4 Non-Cesàro-summable examples
Not every divergent sequence is Cesàro summable. If the terms or partial sums grow too rapidly, or if the oscillation is too irregular, the Cesàro means may also fail to settle. In such cases, the averaging process is not strong enough to produce a finite limit.
6 Relations to other summability methods
Cesàro summability is one member of a larger family of summation procedures. Comparing it with other methods helps clarify both its strengths and its limitations.
6.1 Abel summability
Abel summability studies the behavior of power series near the boundary of their domain of convergence. It is closely related to Cesàro summability, and in many contexts the two methods are linked by inclusion results. Abel summability is often stronger in analytic settings, especially for series with generating functions.
6.2 Borel summability
Borel summability uses a transform involving factorial weights and an integral recovery step. It can assign sums to certain series that are beyond the reach of Cesàro methods. The two procedures belong to different branches of summation theory, though both aim to extend the meaning of divergent series.
6.3 Euler and Riesz methods
Euler summation and Riesz summation are other averaging-based techniques. Euler methods emphasize binomial transforms, while Riesz methods use weighted means with specified growth conditions. Cesàro summation can be viewed as a foundational case within this broader landscape of averaging methods.
6.4 Tauberian theorems
Tauberian theorems describe conditions under which summability by a generalized method implies ordinary convergence. In the context of Cesàro summation, such theorems identify extra hypotheses that allow one to recover the classical sum from a Cesàro sum. They are crucial for determining when averaging reflects genuine convergence rather than merely a generalized value.
7 Applications
Cesàro summability appears in several branches of analysis where convergence problems arise naturally. Its smoothing effect is especially valuable for oscillatory expansions.
7.1 Fourier series
Fourier series often converge poorly at certain points, even when the underlying function is well behaved. Cesàro means provide a controlled way to improve convergence and to interpret Fourier expansions more effectively.
7.1.1 Fejér’s theorem
Fejér’s theorem states that the Cesàro means of the Fourier series of a suitable function converge to the function at points of continuity, and to the midpoint of a jump at certain discontinuities. This result is one of the most important applications of Cesàro summation in classical analysis.
7.1.2 Cesàro means of Fourier series
The Cesàro means of Fourier series are often called Fejér means in the first-order case. They average the partial Fourier sums and typically produce better convergence than the raw series. This improves approximation near discontinuities and reduces oscillatory artifacts.
7.2 Approximation theory
In approximation theory, Cesàro averaging can improve the behavior of polynomial or trigonometric approximations. By smoothing partial sums, it often yields approximants with better convergence properties and fewer oscillations. This makes it useful in constructive analysis and numerical approximation.
7.3 Functional analysis
Summability methods are studied abstractly in functional analysis through sequence spaces, operators, and matrix transformations. Cesàro operators provide examples of linear maps with significant convergence-smoothing effects. They help connect classical series methods to modern operator theory.
7.4 Signal processing and smoothing interpretations
The averaging nature of Cesàro summation gives it a natural interpretation as a smoothing procedure. In informal signal-processing terms, it reduces high-frequency oscillation by replacing pointwise variation with cumulative averages. Although the method is primarily analytic, this perspective explains its practical appeal.
8 Generalizations and extensions
The Cesàro idea has been extended beyond single sequences and ordinary series. These extensions preserve the same basic principle of averaging while adapting it to more complex settings.
8.1 Cesàro summability for double sequences
For double sequences, Cesàro summability may be defined by averaging over two indices simultaneously. The behavior of the resulting means can depend on the order in which indices grow. Such methods are useful in multidimensional series and in the analysis of arrays of coefficients.
8.2 Cesàro summability in Banach spaces
Cesàro-type averaging can be applied to sequences of vectors in Banach spaces. In this setting, convergence is measured in the norm topology, and the averaging process helps study boundedness and weak convergence phenomena. This generalization connects summability to geometric properties of linear spaces.
8.3 Matrix methods and summability kernels
Many summability methods, including Cesàro-type schemes, can be described by infinite matrices acting on sequences. The matrix entries encode the averaging weights. Kernel representations provide a continuous analogue of these transforms and help unify discrete and integral approaches.
8.4 Continuous analogues
Continuous versions of Cesàro averaging arise in integrals and transform theory, where averages are taken over intervals rather than finite initial segments. These analogues preserve the spirit of the method while fitting smoothly into real-variable analysis. They are especially relevant in harmonic analysis and integral transforms.
9 Examples of theorems and criteria
The theory of Cesàro summability includes many theorems that describe when the method works and how it relates to other summation procedures.
9.1 Necessary and sufficient conditions
A sequence is Cesàro summable exactly when its Cesàro means converge. For special classes of sequences, additional criteria can be given in terms of boundedness, oscillation, or asymptotic behavior. These conditions help determine whether a generalized sum exists.
9.2 Inclusion relations between methods
Summability methods can often be compared by inclusion. One method may sum every series summed by another, and sometimes strictly more. Cesàro methods fit into a hierarchy in which higher-order processes are typically stronger than lower-order ones.
9.3 Tauberian conditions for recovery of ordinary sums
Tauberian conditions provide hypotheses under which Cesàro summability forces ordinary convergence. Typical conditions control the size or variation of the original sequence. Such results are important because they distinguish between genuine convergence and summability by averaging.
9.4 Growth conditions on partial sums
The growth of partial sums strongly influences Cesàro summability. If partial sums remain too irregular or increase too quickly, averaging may not stabilize them. Conversely, moderate growth together with regular oscillation often allows Cesàro means to converge.
10 See also
10.1 Summability theory
The broader study of methods that assign generalized sums to sequences and series.
10.2 Divergent series
Series that do not converge in the ordinary sense but may still be treated by summation methods.
10.3 Fourier analysis
A branch of analysis concerned with representing functions by trigonometric series and integrals.
10.4 Averaging methods
Techniques that replace a sequence or series with averages to improve convergence behavior.