Question Number 157323 by MathSh last updated on 22/Oct/21
$$\mathrm{Prove}\:\mathrm{that}: \\ $$$$\Psi_{\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{8}}\right)\:+\:\Psi_{\mathrm{2}} \left(\frac{\mathrm{5}}{\mathrm{8}}\right)\:=\:\mathrm{32G}\:+\:\mathrm{4}\pi^{\mathrm{2}} \\ $$$$\Psi-\mathrm{trigamma}\:\mathrm{function} \\ $$$$\mathrm{G}-\mathrm{catalan}\:\mathrm{constant} \\ $$
Answered by mindispower last updated on 22/Oct/21
$$\Psi\left(\frac{{p}}{{q}}\right)=\frac{\pi^{\mathrm{2}} }{\mathrm{2}{sin}^{\mathrm{2}} \left(\frac{{p}\pi}{{q}}\right)}+\mathrm{2}{q}\underset{{k}=\mathrm{1}} {\overset{\left[\frac{{q}−\mathrm{1}}{\mathrm{2}}\right]} {\sum}}{sin}\left(\frac{\mathrm{2}\pi{kp}}{{q}}\right){Cl}_{\mathrm{2}} \left(\frac{\mathrm{2}\pi{k}}{{q}}\right) \\ $$$${Cl}_{\mathrm{2}} .\:{Claus}\:{function} \\ $$$$\Psi_{\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{8}}\right)=\frac{\pi^{\mathrm{2}} }{\mathrm{2}{sin}^{\mathrm{2}} \left(\frac{\pi}{\mathrm{8}}\right)}+\mathrm{16}\underset{{k}=\mathrm{1}} {\overset{\mathrm{3}} {\sum}}{sin}\left(\frac{\pi{k}}{\mathrm{4}}\right){Cl}_{\mathrm{2}} \left(\frac{\pi{k}}{\mathrm{4}}\right) \\ $$$$=\frac{\mathrm{2}\pi^{\mathrm{2}} }{\mathrm{2}−\sqrt{\mathrm{2}}}\:+\mathrm{16}\left({sin}\left(\frac{\pi}{\mathrm{4}}\right){Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{4}}\right)+{Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)+{sin}\left(\frac{\pi}{\mathrm{4}}\right){cl}_{\mathrm{2}} \left(\frac{\mathrm{3}\pi}{\mathrm{4}}\right)\right) \\ $$$$\Psi_{\mathrm{1}} \left(\frac{\mathrm{5}}{\mathrm{8}}\right)=\frac{\mathrm{2}\pi^{\mathrm{2}} }{\:\sqrt{\mathrm{2}}+\mathrm{2}}+\mathrm{16}\left({sin}\left(\frac{\mathrm{10}\pi}{\mathrm{8}}\right){Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{4}}\right)+{sin}\left(\frac{\mathrm{20}\pi}{\mathrm{8}}\right){Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)+{sin}\left(\frac{\mathrm{30}\pi}{\mathrm{8}}\right){Cl}_{\mathrm{2}} \left(\frac{\mathrm{3}\pi}{\mathrm{4}}\right)\right) \\ $$$$=\frac{\mathrm{2}\pi^{\mathrm{2}} }{\mathrm{2}+\sqrt{\mathrm{2}}}+\mathrm{16}\left(−{sin}\left(\frac{\pi}{\mathrm{4}}\right){Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{4}}\right)+{Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)−{sin}\left(\frac{\pi}{\mathrm{4}}\right){Cl}_{\mathrm{2}} \left(\frac{\mathrm{3}\pi}{\mathrm{4}}\right)\right) \\ $$$$\psi_{\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{8}}\right)+\psi_{\mathrm{1}} \left(\frac{\mathrm{5}}{\mathrm{8}}\right) \\ $$$$=\frac{\mathrm{2}\pi^{\mathrm{2}} }{\mathrm{2}+\sqrt{\mathrm{2}}}+\frac{\mathrm{2}\pi^{\mathrm{2}} }{\mathrm{2}−\sqrt{\mathrm{2}}}+\mathrm{32}{Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right) \\ $$$$=\mathrm{4}\pi^{\mathrm{2}} +\mathrm{32}{Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right) \\ $$$${Cl}_{\mathrm{2}} \left({x}\right)=\underset{{n}\geqslant\mathrm{1}} {\sum}\frac{{sin}\left({nx}\right)}{{n}^{\mathrm{2}} },{Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)=\underset{{n}\geqslant\mathrm{1}} {\sum}\frac{{sin}\left({n}\frac{\pi}{\mathrm{2}}\right)}{{n}^{\mathrm{2}} } \\ $$$${sin}\left({n}\pi\right)=\mathrm{0},\forall{n}\in\mathbb{Z}\Rightarrow \\ $$$${Cl}_{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)=\underset{{n}\geqslant\mathrm{0}} {\sum}\frac{{sin}\left({n}\pi+\frac{\pi}{\mathrm{2}}\right)}{\left(\mathrm{2}{n}+\mathrm{1}\right)^{\mathrm{2}} }=\underset{{n}\geqslant\mathrm{0}} {\sum}\frac{\left(−\mathrm{1}\right)^{{n}} }{\left(\mathrm{2}{n}+\mathrm{1}\right)}=\beta\left(\mathrm{2}\right)={G} \\ $$$$\Leftrightarrow\psi\left(\frac{\mathrm{1}}{\mathrm{8}}\right)+\psi\left(\frac{\mathrm{5}}{\mathrm{8}}\right)=\mathrm{4}\pi^{\mathrm{2}} +\mathrm{32}{G} \\ $$$$ \\ $$
Commented by MathSh last updated on 22/Oct/21
$$\mathrm{Perfect}\:\mathrm{dear}\:\boldsymbol{\mathrm{Ser}},\:\mathrm{thank}\:\mathrm{you}\:\mathrm{very}\:\mathrm{much} \\ $$
Answered by qaz last updated on 22/Oct/21
$$\psi'\left(\frac{\mathrm{1}}{\mathrm{8}}\right)+\psi'\left(\frac{\mathrm{5}}{\mathrm{8}}\right) \\ $$$$=\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\frac{\mathrm{1}}{\left(\mathrm{n}+\frac{\mathrm{1}}{\mathrm{8}}\right)^{\mathrm{2}} }+\frac{\mathrm{1}}{\left(\mathrm{n}+\frac{\mathrm{5}}{\mathrm{8}}\right)^{\mathrm{2}} } \\ $$$$=\mathrm{64}\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\frac{\mathrm{1}}{\left(\mathrm{8n}+\mathrm{1}\right)^{\mathrm{2}} }+\frac{\mathrm{1}}{\left(\mathrm{8n}+\mathrm{5}\right)^{\mathrm{2}} } \\ $$$$=−\mathrm{64}\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{x}^{\mathrm{8n}} +\mathrm{x}^{\mathrm{8n}+\mathrm{4}} \right)\mathrm{lnxdx} \\ $$$$=−\mathrm{64}\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{1}+\mathrm{x}^{\mathrm{4}} \right)\mathrm{lnx}\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\mathrm{x}^{\mathrm{8n}} \mathrm{dx} \\ $$$$=−\mathrm{64}\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\left(\mathrm{1}+\mathrm{x}^{\mathrm{4}} \right)\mathrm{lnx}}{\mathrm{1}−\mathrm{x}^{\mathrm{8}} }\mathrm{dx} \\ $$$$=−\mathrm{32}\int_{\mathrm{0}} ^{\mathrm{1}} \left(\frac{\mathrm{1}}{\mathrm{1}−\mathrm{x}^{\mathrm{2}} }+\frac{\mathrm{1}}{\mathrm{1}+\mathrm{x}^{\mathrm{2}} }\right)\mathrm{lnxdx} \\ $$$$=−\mathrm{32}\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{x}^{\mathrm{2n}} +\left(−\mathrm{1}\right)^{\mathrm{n}} \mathrm{x}^{\mathrm{2n}} \right)\mathrm{lnxdx} \\ $$$$=\mathrm{32}\underset{\mathrm{n}=\mathrm{0}} {\overset{\infty} {\sum}}\frac{\mathrm{1}}{\left(\mathrm{2n}+\mathrm{1}\right)^{\mathrm{2}} }+\frac{\left(−\mathrm{1}\right)^{\mathrm{n}} }{\left(\mathrm{2n}+\mathrm{1}\right)^{\mathrm{2}} } \\ $$$$=\mathrm{32}\left(\mathrm{1}−\mathrm{2}^{−\mathrm{2}} \right)\zeta\left(\mathrm{2}\right)+\mathrm{32G} \\ $$$$=\mathrm{4}\pi^{\mathrm{2}} +\mathrm{32G} \\ $$
Commented by MathSh last updated on 22/Oct/21
$$\mathrm{Perfect}\:\mathrm{dear}\:\boldsymbol{\mathrm{Ser}},\:\mathrm{thank}\:\mathrm{you}\:\mathrm{so}\:\mathrm{much} \\ $$