Jtdylktuy

This is a part of computation in Titchmash, Theories of Zeta Functions which I do not find obvious but there is no explanation. I did figure out the computation.

$$int_0^inftyfrac{sin(y)}{y^{s+1}}dy=-Gamma(-s)sinleft(frac{pi s}{2}right)$$

Q: There is no explanation in the book for this step. Why is this obvious without explanation? My recipe goes as the following. It suffices to restrict to real axis part with $sin (-1,0)$ region. Now integral is real valued in this region. Here I need $Gamma(-s)=frac{Gamma(-s+1)}{s}$ extension to obtain real valuedness. Consider the integral as the imaginary part of $int_0^{iinfty} frac{e^{z}}{i^s z^{s+1}}dz$ where I have already rotated axis by $i$ multiplication. Now to obtain $Gamma$ function, close contour from $(+infty,0)$ axis portion and connect to $(0,iinfty)$ portion. Then close the contour by arc. The arc contour contribution is $0$ via exponential suppresion. Then apply residue theorem easily as the whole thing is holomorphic by $sin (-1,0)$ region. Hence equality follows. This is not $1-2$ line naive computation though not hard. However, it did take me a while to figure out.

I realised this question has been asked before as you can see here. Anyway I will write down my solution here again. First of all consider Ramanuajan's Master Theorem.

Ramanujan's Master Theorem

Let $f(x)$ be an analytic function with a MacLaurin Expansion of the form
$$f(x)=sum_{k=0}^{infty}frac{phi(k)}{k!}(-x)^k$$then the Mellin Transform of this function is given by
$$int_0^{infty}x^{p-1}f(x)dx=Gamma(p)phi(-p)$$

In order to use this Theorem we may expand the sine function as a series followed by the substitution $y^2=t$ which yields to

$$begin{align*}
mathfrak{I}=int_0^{infty}y^{-s-1}sin(y)dy&=int_0^{infty}y^{-s-1}sum_{n=0}^infty (-1)^n frac{y^{2n+1}}{(2n+1)!}dy\
&=frac12int_0^{infty}y^{-s-1}sum_{n=0}^infty (-1)^n frac{n!/(2n+1)!}{n!}(-y^2)^n[2ydy]\
&=frac12int_0^infty t^{-(s+1)/2}sum_{n=0}^inftyfrac{n!/(2n+1)!}{n!}(-t)^ndt
end{align*}$$

Now we can use Ramanuajan's Master Theorem by setting $p=-frac{s-1}2$ and $phi(n)=frac{n!}{(2n+1)!}=frac{Gamma(n+1)}{Gamma(2(n+1))}$ and so we get

$$begin{align*}
mathfrak{I}=frac12int_0^infty t^{-(s+1)/2}sum_{n=0}^inftyfrac{n!/(2n+1)!}{n!}(-t)^ndt&=frac12Gammaleft(-frac{s-1}2right)frac{Gammaleft(1+frac{s-1}2right)}{Gammaleft(2left(frac{s-1}2+1right)right)}\
&=frac1{2Gamma(s+1)}Gammaleft(frac{s+1}2right)Gammaleft(-frac{s-1}2right)tag1\
&=frac1{2Gamma(s+1)}frac{pi}{sinleft(pifrac{s+1}2right)}\
&=frac1{2Gamma(s+1)}frac{pi}{cosleft(frac{pi s}2right)}\
&=frac{pi}{Gamma(s+1)}frac{sinleft(frac{pi s}2right)}{2sinleft(frac{pi s}2right)cosleft(frac{pi s}2right)}\
&=-sinleft(frac{pi s}2right)frac{pi}{Gamma(s+1)sin(pi(s+1))}tag2\
&=-sinleft(frac{pi s}2right)Gamma(-s)
end{align*}$$

$$therefore~mathfrak{I}=int_0^{infty}y^{-s-1}sin(y)dy~=~-Gamma(-s)sinleft(frac{pi s}2right)$$

For the simplification of the final solution we excessively used Euler's Reflection Formula which is a key property of the Gamma Function. Within line $(1)$ we applied the formula for $z=frac{s+1}2$ and within line $(2)$ for $z=s+1$. The trigonometric reshaping utilized the double-angle formula as well as the periodic property of the sine function.

I'd say most of the book relies heavily on the same kind of derivation : complex analysis, change of variable, change of contour, recognizing famous integrals, restricting to domains where everything is easier then extending by continuity/analyticity.

For $Re(s) < 0$ and $Re(e^a) >0$ then $$int_0^infty t^{-s-1} e^{-e^a t}dt = int_0^{e^{overline{a}}infty} (e^{-a }u)^{-s-1} e^{-u}d(e^{-a}u)
=e^{a s}int_0^{e^{overline{a}}infty}+int_{e^{overline{a}}infty}^infty u^{-s-1} e^{-u}du= e^{a s} Gamma(-s)$$

For $Re(s) in (-1,0)$ and $a =b+ ipi/2$ then $$2iint_0^infty t^{-s-1} sin(t) dt = lim_{b to 0^+} int_0^infty t^{-s-1} (e^{-e^{b+ipi/2} t}-e^{-e^{b-ipi/2} t})dt = lim_{b to 0^+}(e^{s(b+ipi/2) }-e^{s(b-ipi/2)}) Gamma(-s)= 2i sin(pi s/2)Gamma(-s)$$

And $int_0^infty t^{-s-1} sin(t) dt =sin(pi s/2)Gamma(-s)$ stays true for $Re(s) in(-1,1)$ by analytic continuation

Note a similar derivation with $int_0^infty t^{s-1} log(1-e^{-t})dt$ yields the functional equation for $zeta(s)$, as $Im(log(1-e^{4i pi t})) = 2ipi t - 2ipilfloor t rfloor$

I thought it might be instructive to present an approach that uses Laplace Transforms, an integral representation of the Beta Function, the relationship between the Beta Function and Gamma Function, and Euler's Reflection Formula for the Gamma Function. To that end we now proceed.

Let $f(x)=sin(x)$ and $g(x)=frac{1}{x^{s+1}}$. Then, the Laplace Transform of $f$ is

$$mathscr{L}{f}(x)=frac{1}{x^2+1}tag1$$

and for $text{Re}(s)in(-1,0)$, the inverse Laplace Transform of $g$ is

$$mathscr{L}^{-1}{g}(x)=frac{x^s}{Gamma(s+1)}tag2$$

Using $(1)$ and $(2)$ we see that

$$begin{align}
int_0^infty frac{sin(y)}{y^{s+1}},dy&=frac1{Gamma(s+1)}int_0^infty frac{x^s}{x^2+1},dx\\
&=frac{1}{2Gamma(s+1)}int_0^infty frac{x^{(s-1)/2}}{1+x},dx\\
&=frac1{2Gamma(s+1)}Bleft(frac{1+s}{2},frac{1-s}{2}right)\
&=frac{Gammaleft(frac{1+s}{2}right)Gammaleft(frac{1-s}{2}right)}{2Gamma(s+1)}\\
&=frac{frac{pi}{cos(pi s/2)}}{2frac{pi}{Gamma(-s)sin(pi(s+1))}}\\
&=-Gamma(-s)sin(pi s/2)
end{align}$$

as expected!

See THIS ANSWER for reference.

$newcommand{bbx}[1]{,bbox[15px,border:1px groove navy]{displaystyle{#1}},}
newcommand{braces}[1]{leftlbrace,{#1},rightrbrace}
newcommand{bracks}[1]{leftlbrack,{#1},rightrbrack}
newcommand{dd}{mathrm{d}}
newcommand{ds}[1]{displaystyle{#1}}
newcommand{expo}[1]{,mathrm{e}^{#1},}
newcommand{ic}{mathrm{i}}
newcommand{mc}[1]{mathcal{#1}}
newcommand{mrm}[1]{mathrm{#1}}
newcommand{pars}[1]{left(,{#1},right)}
newcommand{partiald}[3]{frac{partial^{#1} #2}{partial #3^{#1}}}
newcommand{root}[2]{,sqrt[#1]{,{#2},},}
newcommand{totald}[3]{frac{mathrm{d}^{#1} #2}{mathrm{d} #3^{#1}}}
newcommand{verts}[1]{leftvert,{#1},rightvert}$
begin{align}
&bbox[10px,#ffd]{left.int_{0}^{infty}
{sinpars{y} over y^{s + 1}},dd y
,rightvert_{ -1 < Repars{s} < 1}} =
int_{0}^{infty}!!!!!!sinpars{y}
overbrace{bracks{{1 over Gammapars{s + 1}}
int_{0}^{infty}t^{s}expo{-yt},dd t}}
^{ds{,,,,,,= {1 over y^{s + 1}}}} ,dd y
\[5mm] = &
{1 over Gammapars{s + 1}}int_{0}^{infty}t^{s}
int_{0}^{infty}sinpars{y}expo{-ty}dd y,dd t
\[5mm] = &
{1 over
pi/braces{sinpars{pibracks{-s}}Gammapars{-s}}}
int_{0}^{infty}t^{s}
bracks{Imint_{0}^{infty}expo{-pars{t - ic}y}
dd y}dd t
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over pi}
int_{0}^{infty}t^{s}
pars{1 over t^{2} + 1}dd t =
-,{sinpars{pi s}Gammapars{-s} over pi}
int_{0}^{infty}{t^{s} over t^{2} + 1},dd t
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over pi},{1 over 2}
int_{0}^{infty}{t^{s/2 - 1/2} over t + 1},dd t =
-,{sinpars{pi s}Gammapars{-s} over 2pi}
int_{1}^{infty}{pars{t - 1}^{s/2 - 1/2} over t},dd t
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over 2pi}
int_{1}^{0}{pars{1/t - 1}^{s/2 - 1/2} over 1/t},pars{-,{dd t over t^{2}}}
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over 2pi}
int_{0}^{1}t^{-s/2 - 1/2}pars{1 - t}^{s/2 - 1/2},dd t
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over 2pi},
{Gammapars{-s/2 + 1/2}Gammapars{s/2 + 1/2} over Gammapars{1}}
\[5mm] = &
-,{sinpars{pi s}Gammapars{-s} over 2pi},
{pi over sinpars{pibracks{s/2 + 1/2}}}
\[5mm] = &
-,{bracks{2sinpars{pi s/2}
cospars{pi s/2}}Gammapars{-s} over 2}
,{1 over cospars{pi s/2}} =
bbx{-Gammapars{-s}sinpars{pi s over 2}}
end{align}