Question Number 66065 by mathmax by abdo last updated on 08/Aug/19
$${find}\:{the}\:{value}\:{of}\:{U}_{{n}} =\int_{−\infty} ^{+\infty} {e}^{−{nx}^{\mathrm{2}} } {sin}\left({x}^{\mathrm{2}} −\mathrm{2}{x}\right){dx} \\ $$$${find}\:{nature}\:{of}\:{the}\:{serie}\:\Sigma\:{U}_{{n}} \:{and}\:\Sigma{e}^{−{n}^{\mathrm{2}} } {U}_{{n}} \\ $$
Commented by mathmax by abdo last updated on 09/Aug/19
$${we}\:{have}\:{x}^{\mathrm{2}} −\mathrm{2}{x}\:={x}^{\mathrm{2}} −\mathrm{2}{x}\:+\mathrm{1}−\mathrm{1}\:=\left({x}−\mathrm{1}\right)^{\mathrm{2}} −\mathrm{1}\:{changement} \\ $$$${x}−\mathrm{1}\:={t}\:{give}\:{U}_{{n}} =\int_{−\infty} ^{+\infty} \:{e}^{−{n}\left({t}+\mathrm{1}\right)^{\mathrm{2}} } {sin}\left({t}^{\mathrm{2}} −\mathrm{1}\right){dt} \\ $$$$={Im}\:\left(\int_{−\infty} ^{+\infty} \:\:{e}^{−{n}\left({t}+\mathrm{1}\right)^{\mathrm{2}} +{i}\left({t}^{\mathrm{2}} −\mathrm{1}\right)} {dt}\right)\:={Im}\left({W}_{{n}} \right) \\ $$$$\int_{−\infty} ^{+\infty} \:\:{e}^{−{n}\left({t}+\mathrm{1}\right)^{\mathrm{2}} \:+{i}\left({t}^{\mathrm{2}} −\mathrm{1}\right)} {dt}\:=\int_{−\infty} ^{+\infty} \:{e}^{−{n}\left({t}^{\mathrm{2}} \:+\mathrm{2}{t}+\mathrm{1}\right)+{it}^{\mathrm{2}} −{i}} {dt} \\ $$$$={e}^{−{i}} \:\int_{−\infty} ^{+\infty} \:\:{e}^{−\left({n}−{i}\right){t}^{\mathrm{2}} \:−\mathrm{2}{nt}\:−{n}} {dt} \\ $$$$={e}^{−\left({n}+{i}\right)} \:\int_{−\infty} ^{+\infty} \:{e}^{−\left\{\left(\sqrt{{n}−{i}}{t}\right)^{\mathrm{2}} \:+\mathrm{2}{nt}\right\}} {dt} \\ $$$$={e}^{−\left({n}+{i}\right)} \:\int_{−\infty} ^{+\infty} \:\:{e}^{−\left\{\:\:\left(\sqrt{{n}−{i}}{t}\right)^{\mathrm{2}} \:+\mathrm{2}\frac{{n}}{\:\sqrt{{n}−{i}}}\sqrt{{n}−{i}}{t}\:\:+\left(\frac{{n}}{\:\sqrt{{n}−{i}}}\right)^{\mathrm{2}} −\frac{{n}^{\mathrm{2}} }{{n}−{i}}\right\}} {dt} \\ $$$$={e}^{−\left({n}+{i}\right)} \:\int_{−\infty} ^{+\infty} \:{e}^{−\left\{\sqrt{{n}−{i}}{t}\:+\frac{{n}}{\:\sqrt{{n}−{i}}}\right\}^{\mathrm{2}} \:+\frac{{n}^{\mathrm{2}} }{{n}−{i}}} {dt}\:\:\:\left({ch}.\:\sqrt{{n}−{i}}{t}\:+\frac{{n}}{\:\sqrt{{n}−{i}}}\:={v}\right. \\ $$$$={e}^{\frac{{n}^{\mathrm{2}} }{{n}−{i}}−\left({n}+{i}\right)} \:\:\int_{−\infty} ^{+\infty} \:\:{e}^{−{v}^{\mathrm{2}} } \:\:\frac{{dv}}{\:\sqrt{{n}−{i}}}\:=\sqrt{\pi}\frac{\mathrm{1}}{\:\sqrt{{n}−{i}}}\:{e}^{\frac{{n}^{\mathrm{2}} −\left({n}^{\mathrm{2}} −{i}^{\mathrm{2}} \right)}{{n}−{i}}} \\ $$$$=\frac{\sqrt{\pi}}{\:\sqrt{{n}−{i}}}\:{e}^{−\frac{\mathrm{1}}{{n}−{i}}} \:=\frac{\sqrt{\pi}}{\:\sqrt{{n}−{i}}}\:{e}^{−\frac{{n}+{i}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \\ $$$${n}−{i}\:=\sqrt{\mathrm{1}+{n}^{\mathrm{2}} }\:{e}^{{i}\:{arctan}\left(\frac{−\mathrm{1}}{{n}}\right)} \:=\sqrt{\mathrm{1}+{n}^{\mathrm{2}} }{e}^{−{iarctan}\left(\frac{\mathrm{1}}{{n}}\right)} \:\Rightarrow \\ $$$$\sqrt{{n}−{i}}\:=\left(\mathrm{1}+{n}^{\mathrm{2}} \right)^{\frac{\mathrm{1}}{\mathrm{4}}} {e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\frac{\mathrm{1}}{{n}}\right)} \:\Rightarrow \\ $$$${W}_{{n}} =\sqrt{\pi}\left(\mathrm{1}+{n}^{\mathrm{2}} \right)^{−\frac{\mathrm{1}}{\mathrm{4}}} \:{e}^{\frac{{i}}{\mathrm{2}}{arctan}\left(\frac{\mathrm{1}}{{n}}\right)} \:{e}^{−\frac{{n}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \:{e}^{−\frac{{i}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \\ $$$$=\sqrt{\pi}\left({n}^{\mathrm{2}} \:+\mathrm{1}\right)^{−\frac{\mathrm{1}}{\mathrm{4}}} {e}^{−\frac{{n}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \:\:{e}^{{i}\left(\frac{\mathrm{1}}{\mathrm{2}}{arctan}\left(\frac{\mathrm{1}}{{n}}\right)−\frac{\mathrm{1}}{{n}^{\mathrm{2}} \:+\mathrm{1}}\right)} \:\Rightarrow \\ $$$${U}_{{n}} =\sqrt{\pi}\left({n}^{\mathrm{2}} \:+\mathrm{1}\right)^{−\frac{\mathrm{1}}{\mathrm{4}}} {e}^{−\frac{{n}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \:{sin}\left(\frac{\mathrm{1}}{\mathrm{2}}{arctan}\left(\frac{\mathrm{1}}{{n}}\right)−\frac{\mathrm{1}}{{n}^{\mathrm{2}} \:+\mathrm{1}}\right){with} \\ $$$${U}_{\mathrm{0}} =\sqrt{\pi}{sin}\left(\frac{\pi}{\mathrm{4}}\:−\mathrm{1}\right) \\ $$$$ \\ $$
Commented by mathmax by abdo last updated on 09/Aug/19
$$\left.\mathrm{2}\right){we}\:{have}\:\mid{U}_{{n}} \mid\leqslant\sqrt{\pi}\left({n}^{\mathrm{2}} \:+\mathrm{1}\right)^{−\frac{\mathrm{1}}{\mathrm{4}}} \:{e}^{−\frac{{n}}{{n}^{\mathrm{2}} \:+\mathrm{1}}} \:\:\:={v}_{{n}} \\ $$$${the}\:{serie}\:\Sigma{v}_{{n}} \:{converges}\:\Rightarrow\Sigma\:{U}_{{n}} \:{converges}. \\ $$