Generating functions and the Riemann Zeta Function
The generating function for the terms of the harmonic series:
$\frac{1}{n}$
is $-\ln(1 - x)$.
Does an ordinary generating function exist for the terms of the zeta function $\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}$ for any $ s > 1$?
That is, does there exist any function $f(x)$ that can be expressed in terms of elementary functions such that $f(x) = \sum_{n=1}^\infty \frac{1}{n^s}x^n$ for some $s > 1$?
I'm assuming that such a function in fact does not exist. Can this be proven to be the case?
Solution 1:
This is an answer to the initial question (asking for a generating function of $\zeta(s)$) :
- $−\ln(1−x)$ is the generating function of $\ \frac 1n$.
- $-\frac{\ln(1−x)}{1-x}$ is the generating function of the harmonic number $\ H_n=\sum_{k=1}^n\frac 1k$
The generating function of the generalized harmonic number $\ H_{n,s}:=\sum_{k=1}^n\frac 1{k^s}\ $ is given by : $$\frac{\operatorname{Li}_s(x)}{1-x}$$ with $\operatorname{Li}_s$ the polylogarithm.
Should you simply want $\ \displaystyle\sum_{n=1}^\infty \frac{x^n}{n^s}=\operatorname{Li}_s(x)\ $ then dot dot's answer is right of course !
Note that a generating function for $\zeta(n)$ is known as the digamma function : $$\psi(1+x)=-\gamma-\sum_{n=1}^\infty \zeta(n+1)\;(-x)^n$$ while the reflection formula allows to get the even values of $\zeta$ directly as : $$\pi\;x\;\cot(\pi\;x)=-2\sum_{n=0}^\infty \zeta(2n)\;x^{2n}$$
A generating function for the polylogarithm was obtained too : $$z\,\Phi(z, 1, 1-x)=\sum_{n=0}^\infty\;\operatorname{Li}_{n+1}(z)\;x^n$$ using the Lerch zeta function $\displaystyle\;\Phi(z, s, \alpha) := \sum_{k=0}^\infty \frac { z^k} {(k+\alpha)^s}$.
Solution 2:
The function you are looking for is the Li$_s(z)$, the polylogarithm.