# Three Ways to Sum a Divergent Series

# Three Ways to Sum a Divergent Series

### Could the equations in the post be used in the analysis of big data sets? Read on to learn more about the math and decide!

Join the DZone community and get the full member experience.

Join For FreeHortonworks Sandbox for HDP and HDF is your chance to get started on learning, developing, testing and trying out new features. Each download comes preconfigured with interactive tutorials, sample data and developments from the Apache community.

There's no direct way to define the sum of an infinite number of terms. Addition takes two arguments, and you can apply the definition repeatedly to define the sum of any finite number of terms. But an infinite sum depends on a theory of convergence. Without a definition of convergence, you have no way to define the value of an infinite sum. And with different definitions of convergence, you can get different values.

In this post, I'll review two ways of assigning a meaning to divergent series that I've written about before, then mention a third way.

## Asymptotic Series

A few months ago I wrote about an asymptotic series solution to the differential equation:

You end up with the solution:

This diverges for all *x*. That is, for each *x*, the partial sums of the series do not get closer to any number that you could call the sum. In fact, the individual terms of the series eventually get bigger and bigger. Surely this is a useless solution, right?

Actually, it is useful if you change your perspective. Instead of holding *x* fixed and letting *n* go to infinity, fix a value of *n* and let *x* go to infinity. In that sense, the series converges. For fixed *n* and large *x*, this gives accurate approximations to the solution of the differential equation.

## Analytic Continuation

At the end of a post on Bernoulli numbers I briefly explain the interpretation of the apparently nonsensical equation:

1 + 2 + 3 + ... = -1/12.

In a nutshell, the Riemann zeta function is defined by a two-step process. First define

for *s* with real part strictly bigger than 1. Then define the zeta function for the rest of the complex plane (except the point *s* = 1) by analytic continuation. If the infinite sum for zeta were valid for *s* = -1, which is it not, then it would equal 1 + 2 + 3 + ...

The analytic continuation of the zeta function is defined at -1, and there the function equals -1/12. So to make sense of the sum of the positive integers, interpret the sum as a sort of pun, a funny way to write ζ(-1).

## p-adic Numbers

This is the most radical way to make sense of divergent series: change your number system so that they aren't divergent!

The sum

1 + 2 + 4 + 8 + ...

diverges because the partial sums (1, 3, 7, 15, ...) are not getting closer to anything. But you can make the series converge by changing the way you measure distance between numbers. That's what *p*-adic numbers do. For any fixed prime number *p*, define the distance between two numbers as the reciprocal of the largest power of *p* that divides their difference. That is, numbers are close together if they differ by a large power of *p*. We can make sense of the sum above in the 2-adic numbers, i.e. the *p*-adic numbers with *p* = 2.

The *n* th partial sum of the series above is 2 - 1. The 2-adic distance between 2 - 1 and -1 is 2, which goes to zero, so the series converges to -1.

1 + 2 + 4 + 8 + ... = -1.

Note that all the partial sums are the same, whether in the real numbers or the 2-adics, but the two number systems disagree on whether the partial sums converge.

If that explanation went by too quickly, here's a 15-minute video expands on the same derivation.

Hortonworks Community Connection (HCC) is an online collaboration destination for developers, DevOps, customers and partners to get answers to questions, collaborate on technical articles and share code examples from GitHub. Join the discussion.

Published at DZone with permission of John Cook , DZone MVB. See the original article here.

Opinions expressed by DZone contributors are their own.

## {{ parent.title || parent.header.title}}

## {{ parent.tldr }}

## {{ parent.linkDescription }}

{{ parent.urlSource.name }}