Given [itex]\zeta (s) = \sum_{k=1}^{\infty} k^{-s}[/itex] which converges in the half-plane [itex]\Re (s) >1[/itex], the usual analytic continuation to the half-plane [itex]\Re (s) >0[/itex] is found by adding the alternating series [itex]\sum_{k=1}^{\infty} (-1)^kk^{-s}[/itex] to [itex]\zeta (s)[/itex] and simplifing to get(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\zeta (s) = \left(1-2^{1-s}\right) ^{-1}\sum_{k=1}^{\infty} \frac{(-1)^{k-1}}{k^s}[/tex]

now re-index this series to begin with k=0 and apply Euler's series transformation (as given by Knopp: in terms of the backward difference operator; (4) and (5) in the link) to arrive at this series

[tex]\zeta (s) = \left(1-2^{1-s}\right) ^{-1}\sum_{k=0}^{\infty}\frac{1}{2^{k+1}} \sum_{m=0}^{k} \left( \begin{array}{c}k\\m\end{array}\right) \frac{(-1)^{m}}{(m+1)^s}[/tex]

which according to the mathworld Riemann zeta function page formula (20) converges for all s in the complex plane except s=1 (i.e. [itex]\forall s\in\mathbb{C}\setminus \left\{ 1\right\} [/itex] ). My question is, how does one demonstrate the convergence of this series on said domain?

EDIT: I have noticed that

[tex]\zeta (-s) = \left(1-2^{1+s}\right) ^{-1}\sum_{k=0}^{\infty}\frac{1}{2^{k+1}} \sum_{m=0}^{k} \left( \begin{array}{c}k\\m\end{array}\right) (-1)^{m}(m+1)^s[/tex]

does :uhh: not at all appear to converge according to that portion of my "gut" that is known to conjecture for me when initially looking at series for convergence.

Thanks, --Ben

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Convergence question on analytic continuation of Zeta fcn

**Physics Forums | Science Articles, Homework Help, Discussion**