Question Number 160796 by qaz last updated on 06/Dec/21
$$\underset{\mathrm{n}\rightarrow\infty} {\mathrm{lim}}\sqrt{\mathrm{n}}\int_{−\infty} ^{+\infty} \frac{\mathrm{cos}\:\mathrm{x}}{\left(\mathrm{1}+\mathrm{x}^{\mathrm{2}} \right)^{\mathrm{n}} }\mathrm{dx}=? \\ $$
Answered by mathmax by abdo last updated on 06/Dec/21
$$\mathrm{let}\:\mathrm{A}_{\mathrm{n}} =\int_{−\infty} ^{+\infty} \:\frac{\mathrm{cosx}}{\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)^{\mathrm{n}} }\mathrm{dx}\:\Rightarrow\mathrm{A}_{\mathrm{n}} =\mathrm{Re}\left(\int_{−\infty} ^{+\infty} \:\frac{\mathrm{e}^{\mathrm{ix}} }{\left(\mathrm{x}^{\mathrm{2}} +\mathrm{1}\right)^{\mathrm{n}} }\mathrm{dx}\right) \\ $$$$\mathrm{and}\:\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{iz}} }{\left(\mathrm{z}^{\mathrm{2}} +\mathrm{1}\right)^{\mathrm{n}} }\:\Rightarrow\varphi\left(\mathrm{z}\right)=\frac{\mathrm{e}^{\mathrm{iz}} }{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{n}} \left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{n}} } \\ $$$$\int_{\mathrm{R}} \varphi\left(\mathrm{z}\right)\mathrm{dz}=\mathrm{2i}\pi\:\mathrm{Res}\left(\varphi,\mathrm{i}\right) \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{i}\right)=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{\mathrm{1}}{\left(\mathrm{n}−\mathrm{1}\right)!}\left\{\left(\mathrm{z}−\mathrm{i}\right)^{\mathrm{n}\:} \varphi\left(\mathrm{z}\right)\right\}^{\left(\mathrm{n}−\mathrm{1}\right)} \\ $$$$=\mathrm{lim}_{\mathrm{z}\rightarrow\mathrm{i}} \:\:\frac{\mathrm{1}}{\left(\mathrm{n}−\mathrm{1}\right)!}\left(\mathrm{e}^{\mathrm{iz}} \left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}} \right)^{\left(\mathrm{n}−\mathrm{1}\right)} \:\:\mathrm{but} \\ $$$$\left.\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}\:} \mathrm{e}^{\mathrm{iz}} \right)^{\left(\mathrm{n}−\mathrm{1}\right)} \:=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}} \right)^{\left(\mathrm{k}\right)\:} \left(\mathrm{e}^{\mathrm{iz}} \right)^{\left(\mathrm{n}−\mathrm{1}−\mathrm{k}\right)} \\ $$$$\left.\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}} \right)^{\left(\mathrm{1}\right)} =\mathrm{p}\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}−\mathrm{1}} \\ $$$$\left.\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}} \right)^{\left(\mathrm{2}\right)} \:=\mathrm{p}\left(\mathrm{p}−\mathrm{1}\right)\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}−\mathrm{2}} \:\Rightarrow \\ $$$$\left.\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}} \right)^{\left(\mathrm{k}\right)} =\mathrm{p}\left(\mathrm{p}−\mathrm{1}\right)…\left(\mathrm{p}−\mathrm{k}+\mathrm{1}\right)\left(\mathrm{z}+\mathrm{i}\right)^{\mathrm{p}−\mathrm{k}} \:\Rightarrow \\ $$$$\left(\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}} \right)^{\left(\mathrm{k}\right)} =\left(−\mathrm{n}\right)\left(−\mathrm{n}−\mathrm{1}\right)….\left(−\mathrm{n}−\mathrm{k}+\mathrm{1}\right)\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}−\mathrm{k}} \\ $$$$=\left(−\mathrm{1}\right)^{\mathrm{k}} \mathrm{n}\left(\mathrm{n}+\mathrm{1}\right)…\left(\mathrm{n}+\mathrm{k}−\mathrm{1}\right)\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}−\mathrm{k}} \:\Rightarrow \\ $$$$\left(\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}} \:\mathrm{e}^{\mathrm{iz}} \right)^{\left(\mathrm{n}−\mathrm{1}\right)} \:=\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \left(−\mathrm{1}\right)^{\mathrm{k}} \mathrm{n}\left(\mathrm{n}+\mathrm{1}\right)….\left(\mathrm{n}+\mathrm{k}−\mathrm{1}\right)\left(\mathrm{z}+\mathrm{i}\right)^{−\mathrm{n}−\mathrm{k}} \left(\mathrm{i}\right)^{\mathrm{n}−\mathrm{1}−\mathrm{k}} \:\mathrm{e}^{\mathrm{iz}} \:\Rightarrow \\ $$$$\mathrm{Res}\left(\varphi,\mathrm{i}\right)=\frac{\mathrm{1}}{\left(\mathrm{n}−\mathrm{1}\right)!}\sum_{\mathrm{k}=\mathrm{0}} ^{\mathrm{n}−\mathrm{1}} \:\left(−\mathrm{1}\right)^{\mathrm{k}} \:\mathrm{C}_{\mathrm{n}} ^{\mathrm{k}} \mathrm{n}\left(\mathrm{n}+\mathrm{1}\right)….\left(\mathrm{n}+\mathrm{k}−\mathrm{1}\right)\left(\mathrm{2i}\right)^{−\mathrm{n}−\mathrm{k}} \mathrm{i}^{\mathrm{n}−\mathrm{1}−\mathrm{k}\:} \mathrm{e}^{−\mathrm{1}} \\ $$$$….\mathrm{be}\:\mathrm{continued}… \\ $$