Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I already proved that $\zeta(z)=\frac{1}{\Gamma(z)}\int_0^\infty\frac{t^{z-1}}{e^t-1}dt=\frac{\Gamma(z-1)}{2\pi i}\int_{-\infty}^0\frac{t^{z-1}}{e^{-t}-1}dt$

Now the Benoulli numbers are defined by $\frac{1}{e^t-1}=\sum_{m=0}^{\infty}B_m\frac{t^{m-1}}{m!}$ where $B_0=1, B_1=1/2, B_{2m+1}=0$

How can I use these things to get an expression for $\zeta(-n), n=0,1,2,3...$ in terms of $B_n$

share|improve this question
1  
Have a look at Stopple "Primer in Analytic Number Theory" Section 8.2, especially the problems and solutions in the back. Or Edwards "Riemann Zeta Function" Section 1.5 –  Andrew Mar 11 '14 at 16:14

2 Answers 2

up vote 3 down vote accepted

I'm assuming you mean $$\zeta(z) = \frac{\Gamma(1-z)}{2 \pi i} \int_{C} \frac{t^{z-1} }{e^{-t}-1} \ dt = \frac{\Gamma(1-z)}{2 \pi i} \int_{C} \frac{t^{z-1}e^{t} }{1-e^{t}} \ dt$$

where $C$ is a contour on the complex plane that starts at $- \infty$ below the branch cut on the negative real axis, goes around the origin, and then goes to back to $-\infty$ above the branch cut.

That representation of the zeta function is valid for all complex values of $z$ except $z=1$.

Now let $z= - n$.

Then $$ \zeta(-n) = \frac{\Gamma(n+1)}{2 \pi i} \int_{C} \frac{t^{-(n+1)}e^{t}}{1-e^{t}} \ dt$$

But now since $z$ is an integer, the integral above and below the cut cancel each other. So all that is left is the circle around the origin.

So

$$ \zeta(-n) = \frac{\Gamma(n+ 1)}{2 \pi i } \ 2 \pi i \ \text{Res}_{t=0} \left(\frac{t^{-n-1} e^{t}}{1-e^{t}} \right) = -n! \ \text{Res}_{t=0} \ \left( t^{-n-2} \frac{t e^{t}}{e^{t}-1} \right)$$

$$ = - n! \ \text{Res}_{t=0} \left( t^{-n-2} \sum_{k=0}^{\infty} \frac{B_{m}(1)}{m!} t^{m} \right) = - n! \frac{B_{n+1}(1)}{(n+1)!} = - \frac{B_{n+1}}{n+1}$$

EDIT:

The above is only true for $n \ge 1$.

For $n=0$, $B_{1}(1) = \frac{1}{2} \ne B_{1}(0) = B_{1} =- \frac{1}{2}$.

share|improve this answer

$\newcommand{\+}{^{\dagger}} \newcommand{\angles}[1]{\left\langle #1 \right\rangle} \newcommand{\braces}[1]{\left\lbrace #1 \right\rbrace} \newcommand{\bracks}[1]{\left\lbrack #1 \right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil #1 \right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\right\vert\,} \newcommand{\ket}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left( #1 \right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, #1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $$ \mbox{Use}\quad\zeta\pars{-n}= -2^{-n}\pi^{-n - 1}\Gamma\pars{1 + n}\zeta\pars{1 + n}\sin\pars{n\pi \over 2} $$

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.