\(\mathop \smallint \limits_{ - \infty }^\infty \frac{{\sin x}}{{{x^2} + 2x + 2}}dx\)
Concept:
Cauchy Integral Theorem:
\(\oint \left[ {\frac{{f\left( z \right)}}{{{{\left( {z - a} \right)}^{n + 1}}}}} \right]dz = 2\pi i\frac{{{f^n}\left( a \right)}}{{n!}}\)
Where z = a be any point inside the close region.
Cauchy’s Residue Theorem:
\(\frac{1}{{2\pi i}};\oint f\left( z \right)dz = \) Sum of Residue at Pole or singularity with in the region
Res at z = a
\(= \frac{1}{{\left( {n - 1} \right)!}};\mathop {\lim }\limits_{z \to a} {\left( {\frac{d}{{dz}}} \right)^{n - 1}}\left[ {{{\left( {z - a} \right)}^n}f\left( z \right)} \right]\)
Calculation:
We know that \({e^{ix}} = \cos x + i\sin x\)
Let x replace by z.
\(\therefore I = \mathop \smallint \limits_{ - \infty }^\infty \frac{{Imaginary;\left[ {{e^{iz}}} \right]}}{{{z^2} + 2z + 2}}dz\)
Now, z2 + 2z + 2 = 0 then roots of z are:
\(\therefore z = \frac{{ - 2 \pm \sqrt {{{\left( 2 \right)}^2} - 8} }}{2} = \frac{{ - 2 \pm \sqrt {4{i^2}} }}{2} = - 1 \pm i\)
z = -1 ± i is the only pole lying in f(z) > 0
Here n = 1
\(Re{s_{z = a}} = \frac{1}{{\left( {n - 1} \right)!}};\mathop {\lim }\limits_{z \to a} {\left( {\frac{d}{{dz}}} \right)^{n - 1}}\left[ {{{\left( {z - a} \right)}^n}f\left( z \right)} \right]\)
\(\therefore Re{s_{at;z = - 1 \pm i}} = \frac{1}{{\left( {1 - 1} \right)!}}\mathop {\lim }\limits_{z \to - 1 \pm i} {\left( {\frac{d}{{dz}}} \right)^{1 - 1}}\left[ {\left( {z - {{\left( {1 \pm i} \right)}^1}} \right).\frac{{{e^{iz}}}}{{\left[ {z - \left( { - 1 + i} \right)} \right]\left[ {z - \left( { - 1 - i} \right)} \right]}}} \right]\)
\(\therefore Re{s_{at;z = - 1 + i}} = \mathop {\lim }\limits_{z \to - 1 + i} \left[ {z - \left( { - 1 + i} \right)} \right] \cdot \frac{{{e^{iz}}}}{{(z - \left( { - 1 + i} \right)\left[ {z - \left( { - 1 - i} \right)} \right]}}\)
\(= \mathop {\lim }\limits_{z \to - 1 + i} \frac{{{e^{iz}}}}{{z - \left( { - 1 - i} \right)}}\)
\(= \frac{{{e^{i\left( { - 1 + i} \right)}}}}{{ - 1 + i - \left( { - 1 - i} \right)}} = \frac{{{e^{ - i + {i^2}}}}}{{ - 1 + i + 1 + i}} = \frac{{{e^{ - i - 1}}}}{{2i}}\)
\(\therefore \mathop \oint \nolimits_c^{} \frac{{Imaginary;\left( {{e^{iz}}} \right)}}{{{z^2} + 2z + 2}}dx = Imaginary;\left[ {2\pi i \cdot \frac{{{e^{ - i - 1}}}}{{2i}}} \right]\)
\(= Imaginary;\left[ {\pi {e^{ - i}} \cdot {e^{ - 1}}} \right]\)
\(= Imaginary;\left[ {\frac{{\pi {e^{ - i}}}}{e}} \right];;;\left[ {{e^{ix}} = \cos x + \sin x} \right]\)
\(= \frac{\pi }{e};Imaginary;\left[ {\cos 1 - i\sin 1} \right]\)
Taking only imaginary part
\(\oint \frac{{Imaginary;\left( {{e^{iz}}} \right)}}{{{z^2} + 2z + 2}}dz = - \frac{{\pi \sin 1}}{e}\)