Question Number 66694 by mathmax by abdo last updated on 18/Aug/19
$$\left.{let}\:{f}\left({a}\right)\:=\int_{−\infty} ^{+\infty} \:\:\frac{{dx}}{\left({x}^{\mathrm{4}} +{x}^{\mathrm{2}} \:+{a}\right)}\:{with}\:{a}\in\right]\frac{\mathrm{1}}{\mathrm{4}},+\infty\left[\right. \\ $$$$\left.\mathrm{1}\right)\:{calculate}\:{f}\left({a}\right) \\ $$$$\left.\mathrm{2}\right){find}\:{also}\:{g}\left({a}\right)\:=\int_{−\infty} ^{+\infty} \:\frac{{dx}}{\left({x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} +{a}\right)^{\mathrm{2}} } \\ $$$$\left.\mathrm{3}\right)\:{find}\:{the}\:{value}\:{of}\:{integrals}\:\:\int_{\mathrm{0}} ^{\infty} \:\frac{{dx}}{\left({x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+\mathrm{3}\right)}\:{and} \\ $$$$\int_{\mathrm{0}} ^{\infty} \:\:\:\:\frac{{dx}}{\left({x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+\mathrm{1}\right)^{\mathrm{2}} } \\ $$$$\left.\mathrm{4}\right)\:{developp}\:{f}\:{at}\:{integrserie}. \\ $$
Commented by mathmax by abdo last updated on 19/Aug/19
$$\left.\mathrm{1}\right)\:{f}\left({a}\right)\:=\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+{a}} \\ $$$${x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+{a}\:=\mathrm{0}\:\Rightarrow{t}^{\mathrm{2}} \:+{t}\:+{a}=\mathrm{0}\:\left({t}={x}^{\mathrm{2}} \right) \\ $$$$\Delta=\mathrm{1}−\mathrm{4}{a}<\mathrm{0}\:\Rightarrow\Delta\:=\left({i}\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)^{\mathrm{2}} \:\Rightarrow{t}_{\mathrm{1}} =\frac{−\mathrm{1}+{i}\sqrt{\mathrm{4}{a}−\mathrm{1}}}{\mathrm{2}}\:{and} \\ $$$${t}_{\mathrm{2}} =\frac{−\mathrm{1}−{i}\sqrt{\mathrm{4}{a}−\mathrm{1}}}{\mathrm{2}}\:\Rightarrow{t}^{\mathrm{2}} \:+{t}+{a}\:=\left({t}−{t}_{\mathrm{1}} \right)\left({t}−{t}_{\mathrm{2}} \right)=\left({x}^{\mathrm{2}} −{t}_{\mathrm{1}} \right)\left({x}^{\mathrm{2}} −{t}_{\mathrm{2}} \right)\:\Rightarrow \\ $$$${f}\left({a}\right)\:=\int_{−\infty} ^{+\infty} \:\frac{{dx}}{\left({x}^{\mathrm{2}} −{t}_{\mathrm{1}} \right)\left({x}^{\mathrm{2}} −{t}_{\mathrm{2}} \right)}\:=\:\int_{−\infty} ^{+\infty} \left\{\frac{\mathrm{1}}{{x}^{\mathrm{2}} −{t}_{\mathrm{1}} }−\frac{\mathrm{1}}{{x}^{\mathrm{2}} −{t}_{\mathrm{2}} }\right\}{dx} \\ $$$$=\frac{\mathrm{1}}{{i}\sqrt{\mathrm{4}{a}−\mathrm{1}}}\left\{\:\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{2}} −{t}_{\mathrm{1}} }\:−\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{2}} −\overset{−} {{t}}_{\mathrm{1}} }\right\} \\ $$$$=\frac{\mathrm{1}}{{i}\sqrt{\mathrm{4}{a}−\mathrm{1}}}\left\{\mathrm{2}{i}\:{Im}\left(\:\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{2}} −{t}_{\mathrm{1}} }\right)\right\}\:=\frac{\mathrm{2}}{\:\sqrt{\mathrm{4}{a}−\mathrm{1}}}\:{Im}\left(\int_{−\infty} ^{+\infty} \:\:\frac{{dx}}{{x}^{\mathrm{2}} −{t}_{\mathrm{1}} }\right) \\ $$$${let}\:{calculate}\:\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{2}} −{t}_{\mathrm{1}} }\:{let}\:{w}\left({z}\right)\:=\frac{\mathrm{1}}{{z}^{\mathrm{2}} −{t}_{\mathrm{1}} }\:\:\:{poles}\:{of}\:{w}? \\ $$$$\mid{t}_{\mathrm{1}} \mid\:=\frac{\mathrm{1}}{\mathrm{2}}\sqrt{\mathrm{1}+\mathrm{4}{a}−\mathrm{1}}=\sqrt{{a}}\:\Rightarrow{t}_{\mathrm{1}} =\sqrt{{a}}{e}^{−{iarctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \\ $$$$\Rightarrow\sqrt{{t}_{\mathrm{1}} }=^{\mathrm{4}} \sqrt{{a}}{e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \:\Rightarrow\:{w}\left({z}\right)\:=\frac{\mathrm{1}}{\left({z}−^{\mathrm{4}} \sqrt{{a}}{e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \right)\left({z}+^{\mathrm{4}} \sqrt{{a}}{e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \right)} \\ $$$${residus}\:{theorem}\:{give}\: \\ $$$$\int_{−\infty} ^{+\infty} {w}\left({z}\right){dz}\:=\mathrm{2}{i}\pi\:{Res}\left({w},−^{\mathrm{4}} \sqrt{{a}}{e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \right) \\ $$$$=\mathrm{2}{i}\pi×\frac{\mathrm{1}}{−\mathrm{2}\left(^{\mathrm{4}} \sqrt{{a}}\right){e}^{−\frac{{i}}{\mathrm{2}}{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} }\:=−\frac{{i}\pi}{\left(^{\mathrm{4}} \sqrt{{a}}\right)}\:{e}^{\frac{{i}}{\mathrm{2}}{rctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)} \\ $$$$=\frac{−{i}\pi}{\left(^{\mathrm{4}} \sqrt{{a}}\right)}\left\{\:{cos}\left(\frac{{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)}{\mathrm{2}}\right)+{i}\:{sin}\left(\frac{{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right.}{\mathrm{2}}\right)\right\}\:\Rightarrow \\ $$$${f}\left({a}\right)\:=\frac{\mathrm{2}}{\:\sqrt{\mathrm{4}{a}−\mathrm{1}}}\left(\frac{−\pi}{\left(^{\mathrm{4}} \sqrt{{a}}\right)}\:{cos}\left(\frac{{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)}{\mathrm{2}}\right)\right) \\ $$$$=\frac{−\mathrm{2}\pi}{\:\sqrt{\mathrm{4}{a}−\mathrm{1}}\left(^{\mathrm{4}} \sqrt{{a}}\right)}\:{cos}\left(\frac{{arctan}\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)}{\mathrm{2}}\right) \\ $$$${cos}^{\mathrm{2}} \left(\frac{\alpha}{\mathrm{2}}\right)\:=\frac{\mathrm{1}+{cos}\left(\alpha\right)}{\mathrm{2}}\:\Rightarrow{cos}\left(\frac{\alpha}{\mathrm{2}}\right)=\overset{−} {+}\sqrt{\frac{\mathrm{1}+{cos}\alpha}{\mathrm{2}}} \\ $$$${here}\:\alpha={arctan}\sqrt{\mathrm{4}{a}−\mathrm{1}}\:\Rightarrow\:{cos}\alpha\:=\frac{\mathrm{1}}{\:\sqrt{\mathrm{1}+\left(\sqrt{\mathrm{4}{a}−\mathrm{1}}\right)^{\mathrm{2}} }}\:=\frac{\mathrm{1}}{\mathrm{2}\sqrt{{a}}}\:\Rightarrow \\ $$$${cos}\left(\frac{\alpha}{\mathrm{2}}\right)\:=\overset{−} {+}\sqrt{\frac{\mathrm{1}+\frac{\mathrm{1}}{\mathrm{2}\sqrt{{a}}}}{\mathrm{2}}}=\overset{−} {+}\sqrt{\frac{\mathrm{1}+\mathrm{2}\sqrt{{a}}}{\mathrm{4}\sqrt{{a}}}}=\overset{−} {+}\frac{\mathrm{1}}{\mathrm{2}}\sqrt{\frac{\mathrm{1}+\mathrm{2}\sqrt{{a}}}{\:\sqrt{{a}}}} \\ $$$${but}\:{f}\left({a}\right)>\mathrm{0}\:\Rightarrow{cos}\left(\frac{\alpha}{\mathrm{2}}\right)=−\frac{\mathrm{1}}{\mathrm{2}}\frac{\sqrt{\mathrm{1}+\mathrm{2}\sqrt{{a}}}}{\left(^{\mathrm{4}} \sqrt{{a}}\right)}\:\Rightarrow \\ $$$${f}\left({a}\right)\:=\frac{−\mathrm{2}\pi}{\:\sqrt{\mathrm{4}{a}−\mathrm{1}}\left(^{\mathrm{4}} \sqrt{{a}}\right)^{\mathrm{2}} }×\frac{−\mathrm{1}}{\mathrm{2}}\sqrt{\mathrm{1}+\mathrm{2}\sqrt{{a}}}=\frac{\pi\sqrt{\mathrm{1}+\mathrm{2}\sqrt{{a}}}}{\:\sqrt{{a}}\sqrt{\mathrm{4}{a}−\mathrm{1}}}\:\Rightarrow \\ $$$${f}\left({a}\right)\:=\frac{\pi}{\:\sqrt{{a}}}\sqrt{\frac{\mathrm{1}+\mathrm{2}\sqrt{{a}}}{\mathrm{4}{a}−\mathrm{1}}}\:\:{with}\:{a}>\frac{\mathrm{1}}{\mathrm{4}} \\ $$
Commented by mathmax by abdo last updated on 19/Aug/19
$$\left.\mathrm{2}\right)\:\:{we}\:{have}\:{f}^{'} \left({a}\right)\:=−\int_{−\infty} ^{+\infty} \:\frac{{dx}}{\left({x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+{a}\right)^{\mathrm{2}} }\:=−{g}\left({a}\right)\:\Rightarrow \\ $$$${g}\left({a}\right)=−{f}^{'} \left({a}\right)\:\:\:\:\:{f}\left({a}\right)\:{is}\:{known}\:{rest}\:{to}\:{calculate}\:{f}^{'} \left({a}\right) \\ $$$$ \\ $$
Commented by mathmax by abdo last updated on 19/Aug/19
$$\left.\mathrm{3}\right)\:\int_{\mathrm{0}} ^{\infty} \:\:\frac{{dx}}{{x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+\mathrm{3}}\:=\frac{\mathrm{1}}{\mathrm{2}}\int_{−\infty} ^{+\infty} \:\frac{{dx}}{{x}^{\mathrm{4}} \:+{x}^{\mathrm{2}} \:+\mathrm{3}}\:=\frac{\mathrm{1}}{\mathrm{2}}{f}\left(\mathrm{3}\right) \\ $$$$=\frac{\pi}{\mathrm{2}\sqrt{\mathrm{3}}}\sqrt{\frac{\mathrm{1}+\mathrm{2}\sqrt{\mathrm{3}}}{\mathrm{11}}} \\ $$