The Lerch Transcendent

One function sits above the whole zeta/polylog family:

Set and it is the Hurwitz zeta (and at ). Walk along and it is the polylogarithm, . Sit at and it is the Dirichlet eta , whose value at is . @enumeratio/analytic provides LerchPhi; the factor makes the series converge geometrically inside the unit disk, so it is summed directly there. On the rim the terms alternate and direct summation stalls, so those are summed by an Euler transform instead — enough to pin and to machine precision.

#Reductions

source

<notatio-cell value="LerchPhi(1, 2, 1)" />
<notatio-cell value="LerchPhi(1, -1, 1)" />
<notatio-cell value="LerchPhi(z, 0, a)" />

, , and for every .

The disk of convergence

Fix and and let range over the complex plane. The series only converges for — so the natural portrait is a coloured disk: hue is the phase , brightness rises with , and outside the unit circle (where the sum diverges and the true function lives only by analytic continuation) is left dark. The whole thing is the same GPU kernel as the zeta portrait, evaluated per pixel.

What to look for. It opens at , and every argument is an axis — the two parts of and alike. A small keeps the higher terms from decaying, and the imaginary part winds each one by , so the disk fills with spirals of colour that tighten toward the pole at on the right rim. Raise and it calms — the term takes over and becomes nearly one hue (no zeros or poles live inside the disk). The slider shifts the whole pattern. (f32 on the GPU, 4096 terms per pixel, so the very rim is approximate — the CPU kernel is the source of truth.)

The family, in one function

specialization	is	at
	Hurwitz zeta
	Riemann zeta
	polylogarithm
	Dirichlet eta
	Catalan's constant	—

That last row is why evaluates even outside the disk. The row sits on the unit circle, where the alternating series converges too slowly for direct summation; an Euler transform handles the real rim, so and Catalan's come out to machine precision. One series (with that one acceleration) does the work of the whole family.