1 + 1 + 1 + 1 + ⋯

A graph depicting the series with layered boxes

The series 1 + 1 + 1 + 1 + ⋯

A graph depicting the smoothed series with layered curving stripes

After smoothing

A graph showing a line that dips just below the y-axis

Asymptotic behavior of the smoothing. The y-intercept of the line is −⁠1/2⁠.

In mathematics, 1 + 1 + 1 + 1 + ⋯, also written ⁠${\sum }_{n=1}^{\mathrm{\infty }}{n}^0$⁠, ⁠${\sum }_{n=1}^{\mathrm{\infty }}{1}^n$⁠, or simply ⁠${\sum }_{n=1}^{\mathrm{\infty }}1$⁠, is a divergent series. Nevertheless, it is sometimes imputed to have a value of ⁠$-\frac{1}{2}$⁠, especially in physics. This value can be justified by certain mathematical methods for obtaining values from divergent series, including zeta function regularization.

As a divergent series

1 + 1 + 1 + 1 + ⋯ is a divergent series, meaning that its sequence of partial sums does not converge to a limit in the real numbers.

The sequence 1ⁿ can be thought of as a geometric series with the common ratio 1. For some other divergent geometric series, including Grandi's series with ratio −1, and the series 1 + 2 + 4 + 8 + ⋯ with ratio 2, one can use the general solution for the sum of a geometric series with base 1 and ratio ⁠$r$⁠, obtaining ⁠$\frac{1}{1-r}$⁠, but this summation method fails for 1 + 1 + 1 + 1 + ⋯, producing a division by zero.

Together with Grandi's series, this is one of two geometric series with rational ratio that diverges both for the real numbers and for all systems of p-adic numbers.

In the context of the extended real number line

$\sum _{n=1}^{\mathrm{\infty }}1=+\mathrm{\infty },$

since its sequence of partial sums increases monotonically without bound.

Zeta function regularization

Where the sum of n⁰ occurs in physical applications, it may sometimes be interpreted by zeta function regularization, as the value at s = 0 of the Riemann zeta function:

$\zeta (s)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^s}=\frac{1}{1-2^{1-s}}\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{n^s}.$

The two formulas given above are not valid at zero however, but the analytic continuation is

$\zeta (s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\Gamma (1-s)\zeta (1-s)$

Using this one gets (given that Γ(1) = 1),

$\zeta (0)=\frac{1}{\pi }\underset{s\to 0}{\lim }\sin \left(\frac{\pi s}{2}\right)\zeta (1-s)=\frac{1}{\pi }\underset{s\to 0}{\lim }(\frac{\pi s}{2}-\frac{{\pi }^3{s}^3}{48}+\mathrm{...})(-\frac{1}{s}+\mathrm{...})=-\frac{1}{2}$

where the power series expansion for ζ(s) about s = 1 follows because ζ(s) has a simple pole of residue one there. In this sense 1 + 1 + 1 + 1 + ⋯ = ζ(0) = −⁠1/2⁠.

Emilio Elizalde presents a comment from others about the series, suggesting the centrality of the zeta function regularization of this series in physics:

In a short period of less than a year, two distinguished physicists, A. Slavnov and F. Yndurain, gave seminars in Barcelona, about different subjects. It was remarkable that, in both presentations, at some point the speaker addressed the audience with these words: 'As everybody knows, 1 + 1 + 1 + ⋯ = −⁠1/2⁠.' Implying maybe: If you do not know this, it is no use to continue listening.

See also

• Grandi's series (1 − 1 + 1 − 1 + ⋯)
• 1 − 2 + 3 − 4 + ⋯
• 1 + 2 + 3 + 4 + ⋯
• 1 + 2 + 4 + 8 + ⋯
• 1 − 2 + 4 − 8 + ⋯
• 1 − 1 + 2 − 6 + 24 − 120 + ⋯
• Harmonic series

External links

• OEIS sequence A000012 (The simplest sequence of positive numbers: the all 1s sequence)