Question Number 194868 by Erico last updated on 17/Jul/23
$$\mathrm{Prove}\:\mathrm{that}\:\forall{n}\in\mathrm{IN} \\ $$$$\underset{\:\mathrm{0}} {\int}^{\:\mathrm{1}} {t}\:{sin}^{\mathrm{2}{n}} \left({lnt}\right){dt}=\:\frac{\mathrm{1}}{\mathrm{1}−{e}^{−\mathrm{2}\pi} }\:\underset{\:\mathrm{0}} {\int}^{\:\pi} {e}^{−\mathrm{2}{t}} {sin}^{\mathrm{2}{n}} \left({t}\right){dt} \\ $$
Answered by witcher3 last updated on 17/Jul/23
$$\mathrm{ln}\left(\mathrm{t}\right)=−\mathrm{x} \\ $$$$\Rightarrow\int_{\mathrm{0}} ^{\infty} \mathrm{e}^{−\mathrm{2x}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{x}\right)\mathrm{dx} \\ $$$$=\underset{\mathrm{k}\geqslant\mathrm{0}} {\sum}\int_{\mathrm{k}\pi} ^{\left(\mathrm{k}+\mathrm{1}\right)\pi} \mathrm{e}^{−\mathrm{2x}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{x}\right)\mathrm{dx} \\ $$$$\mathrm{x}\rightarrow\mathrm{k}\pi+\mathrm{t} \\ $$$$=\underset{\mathrm{k}\geqslant\mathrm{0}} {\sum}\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{−\mathrm{2k}\pi−\mathrm{2t}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{k}\pi+\mathrm{t}\right)\mathrm{dt} \\ $$$$=\underset{\mathrm{k}\geqslant\mathrm{0}} {\sum}\mathrm{e}^{−\mathrm{2k}\pi} \int_{\mathrm{0}} ^{\pi} \mathrm{e}^{−\mathrm{2t}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{t}\right)\mathrm{dt} \\ $$$$=\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{−\mathrm{2t}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{t}\right)\mathrm{dt}.\underset{\mathrm{k}\geqslant\mathrm{0}} {\sum}\mathrm{e}^{−\mathrm{2k}\pi} \\ $$$$=\frac{\mathrm{1}}{\mathrm{1}−\mathrm{e}^{−\mathrm{2}\pi} }\int_{\mathrm{0}} ^{\pi} \mathrm{e}^{−\mathrm{2t}} \mathrm{sin}^{\mathrm{2n}} \left(\mathrm{t}\right)\mathrm{dt} \\ $$