Question Number 125098 by mnjuly1970 last updated on 08/Dec/20
$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:…{nice}\:\:\:{calculus}\:… \\ $$$$\:\:\:\:\:{prove}\:\:{that}\:::\:{Apery}'{s}\:{constant} \\ $$$$\:\:\:\:\:\phi=\int_{\mathrm{0}} ^{\:\mathrm{1}} \left\{\left(\mathrm{4}{x}^{\mathrm{2}} +\mathrm{4}^{\mathrm{2}} {x}^{\mathrm{2}^{\mathrm{2}} } +\mathrm{4}^{\mathrm{3}} {x}^{\mathrm{2}^{\mathrm{3}} } +…\right)\frac{{ln}^{\mathrm{2}} \left({x}\right)}{{x}\left(\mathrm{1}+{x}\right)}\right\}{dx} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:=\mathrm{2}\zeta\left(\mathrm{3}\right)−\mathrm{1} \\ $$
Commented by talminator2856791 last updated on 08/Dec/20
$$\:\mathrm{what}\:\mathrm{is}\:\mathrm{the}\:\mathrm{answer} \\ $$
Answered by Dwaipayan Shikari last updated on 08/Dec/20
$$\int_{\mathrm{0}} ^{\mathrm{1}} \left(\mathrm{4}{x}^{\mathrm{2}} +\mathrm{4}^{\mathrm{2}} {x}^{\mathrm{2}^{\mathrm{2}} } +\mathrm{4}^{\mathrm{3}} {x}^{\mathrm{2}^{\mathrm{3}} } +..\right)\frac{{log}^{\mathrm{2}} {x}}{{x}\left(\mathrm{1}+{x}\right)}{dx} \\ $$$$=\int_{\mathrm{0}} ^{\mathrm{1}} \overset{\infty} {\sum}\mathrm{4}^{{n}} {x}^{\mathrm{2}^{{n}} } \frac{{log}^{\mathrm{2}} {x}}{{x}\left(\mathrm{1}+{x}\right)}{dx} \\ $$$$=\underset{{n}=\mathrm{1}} {\overset{\infty} {\sum}}\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{2}^{\mathrm{2}{n}} {x}^{\mathrm{2}^{{n}} } {log}^{\mathrm{2}} \left({x}\right)}{{x}\left(\mathrm{1}+{x}\right)}{dx} \\ $$$$=\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \left(\int_{\mathrm{0}} ^{\mathrm{1}} {x}^{\mathrm{2}^{{n}} −\mathrm{1}} {log}^{\mathrm{2}} \left({x}\right)−\int_{\mathrm{0}} ^{\mathrm{1}} \frac{{x}^{\mathrm{2}^{{n}} } {log}^{\mathrm{2}} \left({x}\right)}{\mathrm{1}+{x}}{dx}\right) \\ $$$$=\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \left(\int_{−\infty} ^{\mathrm{0}} {e}^{\mathrm{2}^{{n}} {t}} {t}^{\mathrm{2}} −\int_{\mathrm{0}} ^{\mathrm{1}} \frac{{x}^{\mathrm{2}^{{n}} } {log}^{\mathrm{2}} \left({x}\right)}{\mathrm{1}+{x}}{dx}\right)\:\:\:\:\:\:{Replace}\:{t}\:{as}\:−{t} \\ $$$$=\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \left(\int_{\mathrm{0}} ^{\infty} {e}^{−\mathrm{2}^{{n}} {t}} {t}^{\mathrm{2}} −\int_{\mathrm{0}} ^{\mathrm{1}} \frac{{x}^{\mathrm{2}^{{n}} } {log}^{\mathrm{2}} \left({x}\right)}{\mathrm{1}+{x}}{dx}\right)\:\:\:\:\:\:\:\:\:\mathrm{2}^{{n}} {t}={u}\Rightarrow\mathrm{2}^{{n}} =\frac{{du}}{{dt}} \\ $$$$=\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\frac{\mathrm{1}}{\mathrm{2}^{{n}} }\Gamma\left(\mathrm{2}\right)−\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \int_{\mathrm{0}} ^{\mathrm{1}} \frac{{x}^{\mathrm{2}^{{n}} } {log}^{\mathrm{2}} \left({x}\right)}{\mathrm{1}+{x}}{dx} \\ $$$$=\mathrm{1}−\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \underset{{k}\geqslant\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{k}} \int_{\mathrm{0}} ^{\mathrm{1}} {x}^{\mathrm{2}^{{n}} −{k}} {log}^{\mathrm{2}} \left({x}\right){dx} \\ $$$$=\mathrm{1}−\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \underset{{k}\geqslant\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{k}} \int_{−\infty} ^{\mathrm{0}} {e}^{{t}\left(\mathrm{2}^{{n}} −{k}+\mathrm{1}\right)} {t}^{\mathrm{2}} {dt} \\ $$$$=\mathrm{1}−\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \underset{{k}\geqslant\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{k}} \int_{\mathrm{0}} ^{\infty} {e}^{−{t}\left(\mathrm{2}^{{n}} −{k}+\mathrm{1}\right)} {t}^{\mathrm{2}} {dt} \\ $$$$=\mathrm{1}−\underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\mathrm{2}^{\mathrm{2}{n}} \underset{{k}\geqslant\mathrm{0}} {\overset{\infty} {\sum}}\frac{\left(−\mathrm{1}\right)^{{k}} }{\left(\mathrm{2}^{{n}} −{k}+\mathrm{1}\right)^{\mathrm{3}} }=\mathrm{1}−\underset{{k}\geqslant\mathrm{0}} {\overset{\infty} {\sum}}\left(−\mathrm{1}\right)^{{k}} \underset{{n}\geqslant\mathrm{1}} {\overset{\infty} {\sum}}\frac{\mathrm{2}^{\mathrm{2}{n}} }{\left(\mathrm{2}^{{n}} −{k}+\mathrm{1}\right)^{\mathrm{3}} }… \\ $$
Commented by talminator2856791 last updated on 08/Dec/20
$$\:\mathrm{is}\:\mathrm{log}\:\mathrm{the}\:\mathrm{same}\:\mathrm{as}\:\mathrm{ln}?\: \\ $$$$\:\mathrm{because}\:\mathrm{in}\:\mathrm{the}\:\mathrm{question}\:\mathrm{it}\:\mathrm{says}\:\mathrm{ln}\:\mathrm{but}\:\mathrm{you}\:\mathrm{say}\:\mathrm{log} \\ $$