Question Number 221350 by MrGaster last updated on 31/May/25

$$\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{cos}\:\pi{x}}{\Gamma\left(\mathrm{2}+{x}\right)\Gamma\left(\mathrm{2}−{x}\right)}{dx} \\ $$$$ \\ $$$$ \\ $$
Commented by Ghisom last updated on 31/May/25

$$\Gamma\:\left(\mathrm{2}+{x}\right)\:\Gamma\:\left(\mathrm{2}−{x}\right)\:=\frac{\pi{x}\left(\mathrm{1}−{x}\right)\left(\mathrm{1}+{x}\right)}{\mathrm{sin}\:\pi{x}} \\ $$$$\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{cos}\:\pi{x}}{\Gamma\:\left(\mathrm{2}+{x}\right)\:\Gamma\:\left(\mathrm{2}−{x}\right)}{dx}= \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}\pi}\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{sin}\:\mathrm{2}\pi{x}}{{x}\left(\mathrm{1}−{x}^{\mathrm{2}} \right)}{dx}= \\ $$$$=\mathrm{2}\pi\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{sin}\:{t}}{{t}\left(\mathrm{2}\pi−{t}\right)\left(\mathrm{2}\pi+{t}\right)}{dt}= \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}\pi}\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{sin}\:{t}}{{t}}{dt}−\frac{\mathrm{1}}{\mathrm{4}\pi}\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{sin}\:{t}}{{t}−\mathrm{2}\pi}{dt}−\frac{\mathrm{1}}{\mathrm{4}\pi}\underset{\mathrm{0}} {\overset{\infty} {\int}}\frac{\mathrm{sin}\:{t}}{{t}+\mathrm{2}\pi}{dt} \\ $$$$\Rightarrow \\ $$$$\mathrm{the}\:\mathrm{answer}\:\mathrm{should}\:\mathrm{be}\:\mathrm{0} \\ $$
Answered by SdC355 last updated on 31/May/25

$$\int_{\mathrm{0}} ^{\:\infty} \:\frac{\mathrm{cos}\left(\pi{t}\right)}{\Gamma\left(\mathrm{2}+{t}\right)\Gamma\left(\mathrm{2}−{t}\right)}\:\mathrm{d}{t}=−\frac{\mathrm{1}}{\pi}\:\int_{\mathrm{0}} ^{\:\infty} \:\frac{\mathrm{sin}\left(\pi{t}\right)\mathrm{cos}\left(\pi{t}\right)}{{t}\left({t}^{\mathrm{2}} −\mathrm{1}\right)}\:\mathrm{d}{t} \\ $$$$−\frac{\mathrm{1}}{\mathrm{2}\pi}\:\int_{\mathrm{0}} ^{\:\infty} \:\frac{\mathrm{sin}\left(\mathrm{2}\pi{t}\right)}{{t}\left({t}^{\mathrm{2}} −\mathrm{1}\right)}\:\mathrm{d}{t} \\ $$$$\mathrm{sin}\left(\mathrm{2}\pi{t}\right)=\frac{{e}^{\mathrm{2}\boldsymbol{{i}}\pi{t}} −{e}^{−\mathrm{2}\boldsymbol{{i}}\pi{t}} }{\mathrm{2}\boldsymbol{{i}}} \\ $$$${I}=\boldsymbol{\mathfrak{J}}\left\{\int_{\mathrm{0}} ^{\:\infty} \:\:\frac{{e}^{\mathrm{2}\boldsymbol{{i}}\pi{t}} }{{t}\left({t}^{\mathrm{2}} −\mathrm{1}\right)}\:\mathrm{d}{t}\right\} \\ $$$${C}={C}_{{R}} +\mathrm{Arc}_{{R}} \\ $$$$\mid\int_{\mathrm{Arc}_{{R}} } ^{\:} \:{f}\left({z}\right)\mathrm{d}{z}\mid\rightarrow\mathrm{0}\:\:\mathrm{as}\:{R}\rightarrow\infty \\ $$$$\mathrm{Total}\:\mathrm{Residue}\:{S}=\underset{{h}} {\sum}\:\mathrm{Res}_{{z}={z}_{{h}} } \left\{\frac{{e}^{\mathrm{2}\boldsymbol{{i}}\pi{t}} }{{t}\left({t}^{\mathrm{2}} −\mathrm{1}\right)}\right\}=\mathrm{0} \\ $$$$\oint_{{C}} \:{f}\left({z}\right)\mathrm{d}{z}=\mathrm{2}\pi\boldsymbol{{i}}\centerdot\mathrm{0}=\mathrm{0} \\ $$$$\int_{−\infty} ^{+\infty} \:=\int_{\mathrm{0}} ^{\:\infty} =\mathrm{0} \\ $$$$\therefore\int_{\mathrm{0}} ^{\:\infty} \:\:\frac{\mathrm{sin}\left(\mathrm{2}\pi{t}\right)}{{t}\left({t}^{\mathrm{2}} −\mathrm{1}\right)}\:\mathrm{d}{t}=\mathrm{0} \\ $$