1 − 1 + 2 − 6 + 24 − 120 + ⋯ Explained

In mathematics,

\sum ^{inf ty} _{k =0} ( -1 ) ^{k} k! is a divergent series, first considered by Euler, that sums the factorials of the natural numbers with alternating signs. Despite being divergent, it can be assigned a value of approximately 0.596347 by Borel summation.

Euler and Borel summation

This series was first considered by Euler, who applied summability methods to assign a finite value to the series.^[1] The series is a sum of factorials that are alternately added or subtracted. One way to assign a value to this divergent series is by using Borel summation, where one formally writes

\sum ^{inf ty} _{k =0} ( -1 ) ^{k} k! = \sum ^{inf ty} _{k =0} ( -1 ) ^{k} \int ^{inf ty} _{0} x ^{k} e ^{-x} dx.

If summation and integration are interchanged (ignoring that neither side converges), one obtains:

\sum ^{inf ty} _{k =0} ( -1 ) ^{k} k! = \int ^{inf ty} _{0} \left[\sum ^{inf ty} _{k =0} ( - x) ^{k} \right]e ^{-x} dx.

The summation in the square brackets converges when

|x| < 1 , and for those values equals \tfrac{ 1 }{ 1+ x} . The analytic continuation of \tfrac{ 1 }{ 1+ x} to all positive real x leads to a convergent integral for the summation:\begin{align} \sum ^{inf ty} _{k =0} ( -1 ) ^{k} k! & = \int ^{inf ty} _{0} (e ^{-x})/(1+ x) dx \\[ 4 pt] & = e E _{1} ( 1 ) ≈ 0 . 596347362323194074341078499369 \ldots \end{align}

where E₁(z) is the exponential integral. This is by definition the Borel sum of the series, and is equal to the Gompertz constant.

Connection to differential equations

Consider the coupled system of differential equations

• x (t) = x(t) - y(t), • y (t) =- y(t) ^{2}

where dots denote derivatives with respect to t.

The solution with stable equilibrium at as t → ∞ has y(t) = , and substituting it into the first equation gives a formal series solution

x(t) = \sum ^{inf ty} _{n =1} ( -1 ) ^{n+1} ((n -1 )!)/(t ^{n})

Observe x(1) is precisely Euler's series.

On the other hand, the system of differential equations has a solution

x(t) = e ^{t} \int ^{inf ty} _{t} (e ^{-u})/(u) du.

By successively integrating by parts, the formal power series is recovered as an asymptotic approximation to this expression for x(t). Euler argues (more or less) that since the formal series and the integral both describe the same solution to the differential equations, they should equal each other at

t =1 , giving\sum ^{inf ty} _{n =1} ( -1 ) ^{n+1} (n -1 )! = e\int ^{inf ty} _{1} (e ^{-u})/(u) du.

See also

• Alternating factorial
• 1 + 1 + 1 + 1 + ⋯
• 1 − 1 + 1 − 1 + ⋯ (Grandi's)
• 1 + 2 + 3 + 4 + ⋯
• 1 + 2 + 4 + 8 + ⋯
• 1 − 2 + 3 − 4 + ⋯
• 1 − 2 + 4 − 8 + ⋯

References

1. Euler . L. . Leonhard Euler . 1760 . De seriebus divergentibus . On divergent series . Novi Commentarii Academiae Scientiarum Petropolitanae . 5 . 205–237 . 1808.02841 . 2018arXiv180802841E .