4
$\begingroup$

Find $I:=\lim\limits_{R\to \infty}\int\limits_{-R}^R \frac{x \sin(3x)}{x ^2+4}dx$ using residues. Let $f(z)= \frac{z \sin(3z)}{z ^2+4}$. First define two contours: $$\Gamma_1: z=t \text{ where } -R\leq t \leq R$$ $$\Gamma_2: z=Re^{i\theta} \text{ where } 0\leq \theta \leq \pi$$ And $\Gamma_3=\Gamma_1+\Gamma_2$. Basically $\Gamma_3$ is the closed half circle in the upper half of the complex plane and $\Gamma_1$ runs along the real axis from $-R$ to $R$. Now we have: $$I=\lim\limits_{R\to \infty}\int\limits_{\Gamma_1}f(z)dz=\lim\limits_{R\to \infty}\oint_{\Gamma_3}f(z)dz-\lim\limits_{R\to \infty}\int_{\Gamma_2}f(z)dz$$ We can compute $\lim\limits_{R\to \infty}\oint_{\Gamma_3}f(z)dz=\lim\limits_{R\to \infty}\oint_{\Gamma_3}\frac{z\sin(3z)}{(z+2i)(z-2i)}dz$ fairly easily after recognizing that it has simple poles at $z_0=\pm 2i$ and only $z_0=2i$ is enclosed in $\Gamma_3$. By the residue theorem: $$\lim\limits_{R\to \infty}\oint_{\Gamma_3}f(z)dz=2\pi i \left(\mathop{Res} _{z=2i}(f)\right)=2\pi i \lim\limits_{z\to 2i}(z-2i)f(z)=2\pi i \frac{2 i\sin(6 i)}{2 i +2i}=\pi i \sin(6i)$$ Now the only obstacle to finding the value of our original integral is finding $\lim\limits_{R\to \infty}\int_{\Gamma_2}f(z)dz$. If $f(z)$ were such that the degree of the polynomial in the denominator was at least 2 higher then the polynomial in the numerator (ignoring the $\sin$) we could easily show that the integral vanishes. I still think this last integral should vanish but find it hard to show why. Any help would be appreciated. Also any suggestions on different methods of solving for $I$ are welcome. Thanks!

$\endgroup$
1
  • 1
    $\begingroup$ You can simplify $\pi \sin(6i)$ further and get the real expression $\frac{\pi}{2}(e^{-6}-e^{6}) = -\pi \sinh(-6)$. $\endgroup$
    – marlu
    Jan 21, 2013 at 23:41

3 Answers 3

4
$\begingroup$

You can't ignore sin, but you can deal with it virtuously. It blows up exponentially both in the upper and in the lower half-plane, but you can split it into its $\mathrm e^{\mathrm ix}$ and $\mathrm e^{-\mathrm ix}$ components and complete the contour in the upper half-plane for the former and the lower half-plane for the latter. This gives you exponential damping, so you no longer need another power of $x$ in the denominator. If you did, you could get it by integrating by parts.

$\endgroup$
3
  • $\begingroup$ Thanks for your answer! When i said ignoring the sin I meant I was just looking at the degree of the polynomials.Since i am integrating over a contour in the complex plane, does this mean that in the formula $\int u'v dz= uv]_{a}^{b} -\int u v'dz$ my $a$ and $b$ would just be the staring and end points of the contour? in this case $\pm \infty$ informally speaking. I think I can figure it out this way! $\endgroup$
    – Slugger
    Jan 21, 2013 at 23:52
  • $\begingroup$ Sometimes it is necessary to use this method rather than the simplification I used. For example, I think $$ \int_{-\infty}^\infty\frac{\sin(x)}{x(x^2+1)}\,\mathrm{d}x $$ encounters difficulty unless we use two contours. $\endgroup$
    – robjohn
    Jan 22, 2013 at 0:21
  • $\begingroup$ @TeunVerstraaten: if the problem involved integration by parts, that would be valid. $\endgroup$
    – robjohn
    Jan 22, 2013 at 0:36
3
$\begingroup$

Hint:

$\sin(z)$ does not vanish along $\Gamma_2$. In fact, it blows up exponentially in $\mathrm{Im}(z)$. The way to get around this is to note that your integral is the imaginary part of $$ \int_{-\infty}^\infty\frac{x\,e^{i3x}}{x^2+4}\,\mathrm{d}x $$ Now $e^{i3x}$ does decay exponentially in $\mathrm{Im}(z)$.

$\endgroup$
2
$\begingroup$

A not unrelated method of attack is to write the integral as

$$\frac{1}{2 i} \int_{-R}^R dx \frac{x}{x^2+4} \left (e^{i 3 x} - e^{-i 3 x} \right ) $$

Now work each piece separately. For the $e^{i 3 x}$ piece, you use a contour in the upper half plane; for the $e^{-I 3 x}$ piece, use a contour in the lower half plane.

$\endgroup$
2
  • 1
    $\begingroup$ Thanks, this should work out perfectly. I think this is also what was meant in the previous answer by joriki. $\endgroup$
    – Slugger
    Jan 21, 2013 at 23:58
  • 1
    $\begingroup$ Oh my, @joriki said pretty much what I said. My apologies for repeating him. I should also mention that this is a perfect application of Jordan's Lemma. The choice of which contour to use is hardly an arbitrary choice. $\endgroup$
    – Ron Gordon
    Jan 22, 2013 at 0:04

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .