Partial sum

1 Definition

A partial sum is the sum of the first several terms of a sequence or series. It gives a finite value extracted from an otherwise longer or possibly infinite list, making it useful for calculation and analysis. Partial sums are especially important when studying series, since the behavior of these finite sums often determines whether the entire series has a meaningful total.

1.1 Partial sum of a sequence

For a sequence of numbers, a partial sum is formed by adding its terms up to a chosen index. If the sequence is written as \(a_1, a_2, a_3, \dots\), then the nth partial sum is \[ S_n = a_1 + a_2 + \cdots + a_n. \] Each value \(S_n\) depends on the first n terms only. The collection of partial sums can reveal patterns in the original sequence, especially when the terms have a simple formula.

1.2 Partial sum of a series

For a series, the partial sum is the finite sum of the first n terms of the series. If a series is written as \[ \sum_{k=1}^{\infty} a_k, \] then its nth partial sum is \[ S_n = \sum_{k=1}^{n} a_k. \] These sums are the main objects used to define convergence. A series is not usually handled directly as an infinite addition; instead, mathematicians study the associated sequence of partial sums.

1.3 Notation and terminology

Partial sums are commonly denoted by \(S_n\), though other symbols may be used depending on context. The term may also refer to a finite truncation of a formal sum in algebra, combinatorics, or computer science. In analysis, the phrase usually means the sum obtained by stopping after a finite number of terms.

2 Basic properties

Partial sums inherit many properties from ordinary finite addition. They are straightforward to compute term by term, and they often satisfy simple recurrence relations. Their structure makes them convenient for proving identities and studying limiting behavior.

2.1 Finite sums

Every partial sum is a finite sum, so it is well defined whenever the terms themselves are defined. This makes partial sums useful even when the full infinite series is not known to converge. Finite sums can also be rearranged or grouped according to standard arithmetic rules, provided the terms are real or complex numbers and the number of terms remains finite.

2.2 Recursive form

Partial sums often satisfy a recursive relation: \[ S_n = S_{n-1} + a_n, \] with an initial value such as \(S_1 = a_1\). This recursive description is useful in proofs, algorithms, and numerical computation. It allows each new partial sum to be obtained from the previous one by adding a single additional term.

2.3 Monotonicity and boundedness

If all terms \(a_n\) are nonnegative, then the sequence of partial sums is nondecreasing. If the terms are nonpositive, the partial sums are nonincreasing. Boundedness is equally important: a monotone sequence of partial sums that remains bounded has a limit. This principle is central in determining whether certain series converge.

3 Partial sums of infinite series

For infinite series, partial sums form a sequence whose limiting behavior is studied instead of the infinite sum itself. This shift from infinity to finite approximations is one of the foundations of modern analysis.

3.1 Sequence of partial sums

Given a series \(\sum_{k=1}^{\infty} a_k\), the associated sequence \((S_n)\) is defined by \[ S_n = \sum_{k=1}^{n} a_k. \] Each term in this sequence provides a better finite approximation to the series, at least in cases where the series converges. The behavior of \((S_n)\) may be stable, oscillatory, or unbounded, depending on the terms \(a_k\).

3.2 Convergence and divergence

A series converges if its sequence of partial sums approaches a finite limit. That limit is then called the sum of the series. If the partial sums do not approach a finite limit, the series diverges. Thus, convergence questions for series are translated into ordinary limit questions about sequences.

3.3 Relationship to the sum of a series

When a series converges, its sum is defined to be the limit of its partial sums: \[ \sum_{k=1}^{\infty} a_k = \lim_{n\to\infty} S_n. \] If this limit does not exist or is infinite, the series has no sum in the usual sense. This definition makes partial sums the bridge between finite arithmetic and infinite addition.

4 Examples

Partial sums are often easiest to understand through standard examples. These illustrate how different kinds of series produce different patterns of partial sums.

4.1 Arithmetic series

For an arithmetic sequence such as \(1, 2, 3, 4, \dots\), the nth partial sum is \[ S_n = \frac{n(n+1)}{2}. \] This formula shows that the partial sums grow quadratically. Arithmetic series are among the simplest cases where a closed form for the partial sums can be found.

4.2 Geometric series

For a geometric series \(1 + r + r^2 + r^3 + \cdots\), the nth partial sum is \[ S_n = \frac{1-r^n}{1-r} \]

4.3 Harmonic series

The harmonic series \[ 1 + \frac12 + \frac13 + \frac14 + \cdots \] has partial sums that increase without bound, although very slowly. This example shows that even when the terms decrease to zero, the series may still diverge. The partial sums grow logarithmically in a rough sense, which explains their gradual increase.

4.4 Alternating series

In an alternating series such as \[ 1 - \frac12 + \frac13 - \frac14 + \cdots, \] the partial sums often oscillate around a limiting value. This oscillation can still lead to convergence if the terms decrease in size suitably. Alternating partial sums are important in estimating sums and understanding error behavior.

5 Applications

Partial sums appear throughout mathematics and computation because they provide finite approximations to infinite processes. They are used whenever an infinite expression must be handled through truncation.

5.1 Approximating functions

Many functions can be approximated by taking a partial sum of a suitable series expansion. Truncating the series yields a polynomial or finite expression that is easier to evaluate. This is common in analysis and scientific computation, where exact formulas may be unavailable or inconvenient.

5.2 Power series

A power series is an infinite series in powers of a variable. Its partial sums are polynomials that approximate the function represented by the series. Near points of convergence, these partial sums are often highly accurate, and adding more terms typically improves the approximation.

5.3 Error estimates

The difference between a series and one of its partial sums is called the remainder or truncation error. Estimating this difference is essential for knowing how accurate a finite approximation is. In many settings, the size of the omitted tail can be bounded using standard convergence tests or special properties of the series.

5.4 Numerical methods

In numerical analysis, partial sums are used to compute approximations on a computer. Since machines can only carry out finitely many operations, infinite sums must be truncated. Efficient algorithms often improve accuracy by selecting how many terms to include and by estimating the effect of the remaining terms.

6 Related concepts

Partial sums are closely connected to several broader ideas in analysis and summation theory. These related notions help describe how infinite expressions are organized and interpreted.

6.1 Infinite series

An infinite series is the formal sum of infinitely many terms. Its meaning is defined through the behavior of partial sums. The study of series is therefore largely the study of the corresponding sequence of partial sums.

6.2 Summation notation

Summation notation, written with the sigma symbol \(\sum\), is the standard way to express finite and infinite sums. Partial sums are obtained by using the upper limit of summation as a finite cutoff. This notation is central in algebra, calculus, and discrete mathematics.

6.3 Partial products

Partial products are the multiplicative analogue of partial sums. Instead of adding terms, one multiplies the first several factors of a sequence. They play a similar role in the study of infinite products and limiting behavior.

6.4 Cesàro summation

Cesàro summation is a method of assigning values to some divergent series by averaging their partial sums. It does not replace ordinary convergence, but it can extend the notion of summability in certain cases. This concept highlights the importance of partial sums even when the usual limit fails to exist.