Fdtxjr

I am having troubles evaluating this integral: $$int_-infty^infty fraccos x-1x^2(x^2+4)dx$$
Well, actually, I'm quite sured about the numerical part: the value of this integral is likely to be $-frac(e^-2+1)pi8$. However, I am having troubles when proving it.

Firstly, by a given hint, I constructed a new function which is: $$f(z)=frace^iz-1-izz^2(z^2+4)$$
Then, I constructed a contour $gamma =gamma_1cupgamma_2cupgamma_rcupgamma_R$, with:$$gamma_1=x+0i:-Rle xle-r$$ $$gamma_2=x+0i:rle x le R$$ $$ gamma_r = re^itheta:thetain[pi,0]$$$$ gamma_R = Re^itheta:thetain[0, pi]$$
Then, by residue theorem, I evaluate the integral $int_gammaf(z)dz$ to be equal to $-frac(e^-2+1)pi8$. Then, what's left is to prove that $int_gamma_1f(z)dz$ and $int_gamma_2f(z)dz$ are both equal to zero as $rto0$ and $Rtoinfty$ and that's what's troubling me.

I have no idea how to prove that the integral: $$lim_rto0int_gamma_rfrace^iz-1-izz^2(z^2+4)dz$$where clearly, $z=re^itheta$, is equal to $0$, and also, for the case where the contour is $gamma_R$.

Please help me! Thanks a lot.

Appreciate you are seeking a solution via Residues. Here is a solution using Feynman's Trick coupled with Laplace Transforms (which is Residue in disguise). Here your integral is:
beginequation
I = int_-infty^infty fraccos(x) - 1x^2left(x^2 + 1right):dxnonumber
endequation
Here we introduce the function:
beginequation
J(t) = int_-infty^infty fraccos(tx) - 1x^2left(x^2 + 1right):dxnonumber
endequation
Here we see that $J(0) = 0$ and $lim_t rightarrow 1^+ J(t) = I$. We begin by taking the derivative with respect to $t$. To do so, we need to employ Leibniz's Integral Rule:
beginequation
J'(t) = int_-infty^infty fracfracpartialpartial tleft[cos(tx) - 1right]x^2left(x^2 + 1right):dx = int_-infty^infty frac-xsin(tx)x^2left(x^2 + 1right):dx = int_-infty^infty frac-sin(tx)xleft(x^2 + 1right):dx
endequation
We note that $J'(0) = 0$. Differentiating with respect to $t$ again, yields:
beginequation
J''(t) = int_-infty^infty frac-xcos(tx)xleft(x^2 + 1right):dx = - int_-infty^infty fraccos(tx)x^2 + 1:dx
endequation
We proceed by taking the Laplace Transform with respect to $t$. To do so, we must employ Fubini's Theorem:
beginalign
mathscrLleft[J''(t)right] &=- int_infty^inftyfracmathscrLleft[cos(tx)right]x^2 + 1:dx nonumber \
s^2mathscrLleft[J(t)right] - sJ(0) - sJ'(0) &= -int_infty^infty fracss^2 + x^2 cdot frac1x^2 + 1:dx nonumber \
s^2mathscrLleft[J(t)right] &= -s int_infty^infty frac1left(s^2 + x^2right)left(x^2 + 1right) :dx nonumber \
-smathscrLleft[J(t)right] &= frac1s^2 - 1int_infty^inftyleft[frac1x^2 + 1 - fracs^2 + x^2 right]:dx = frac1s^2 - 1left[arctan(x) - frac1sarctanleft(fracxs right) right]_-infty^infty nonumber \
&= frac1s^2 - 1left[pi - fracpis right] = fracpis^2 - 1cdotfracs - 1s = fracpisleft(s + 1right)
endalign
And so,
beginequation
mathscrLleft[J(t)right] = -fracpis^2left(s + 1right) Longrightarrow J(t) = mathscrL^-1left[-fracpis^2left(s + 1right) right] = -pileft( t + e^-t - 1right)
endequation
We now may resolve $I$ by taking the limit as above:
beginequation
I = int_-infty^infty fraccos(x) - 1x^2left(x^2 + 1right):dx = -pileft(1 + e^-1 - 1right) = -pi e^-1nonumber
endequation

Hi I am new to the site and was looking to comment a small fix, but am not immediately able to, so anyways I am just going to write it out here (hopefully no one takes offense to that, sorry in advance).

So one thing I saw in the explanation of your work is that you said "Then, what's left is to prove that ∫γ1f(z)dz and ∫γ2f(z)dz are both equal to zero as r→0 and R→∞ and that's what's troubling me.", but those two parts are combined to form the orginal integral that you were trying to solve.

So really you are just trying to prove that the two semicircles both go to zero. And in response to the end of your question when you want to know how to show that the γr integral becomes zero, think about the fact that the smaller semi-circle is bounded by the absolute value of that smaller semi-circle being less than or equal to ((pi)r)/(r^2-4), which when taking the limit as r goes to zero clearly becomes zero.

Sorry for not having much knowledge or understanding of formatting the math but hopefully you could still understand some of what I wrote, and if I made any mistakes on something please tell me so I can fix it.

Oh my bad I didn't even think to explain that part, but for example, if we have a slightly different integral such as the integral of (e^ix)/x from negative infinity to positive infinity we can rewrite it as f(z)=(e^iz)/z, which has a simple pole at the origin but is analytic everywhere else. So let's say we used the same contour as you did for your original integral (so the smaller semi-circle within the larger semi-circle) for this one.

Then the sum of all the individual contours that define this closed contour would be equal to zero, because there are no singularities within the closed contour in order for us to use residue theory with.

Now this is somewhat obvious but your original integral has a singularity within the closed contour, and as such the sum of all the individual contours will equal 2(pi)i*(sum of the residues).

So now it is just a matter of proving that your two semi-circle integrals go to zero, and to start with the larger one from -R to R, we can make use of Jordan's Lemma.

And actually, I am going to give a different example for this in order to show that the larger semi-circle goes to zero, and let you try to figure out the smaller semi-circle with some of the intuition you might pick up here(though if you are still stumped on the smaller circle then please comment and I will try to explain it). So the integral I will use is (cosx)/(x^2+1), where we rewrite it as f(z)=(e^iz)/(z^2+1) and use a semi-circular contour made up of two integrals, the semi-circle and the real axis. So we want to prove that the semi-circle integral goes to zero and that the real axis integral is the original integral(which I won't do here since you already know that). So we can rewrite (absolute value f(z) is |f(z)|, still not good with the math formatting, wanted to clarify) |f(z)| as |f(x+iy)| which is equal to (|e^ix*e^-y|)/|z^2+1| which is equal to (e^-y)/|z^2+1|, and in the upper half plane (y is greater than or equal to 0) we get |f(z)|=1/|z^2+1|.

Now with this what we want to do is bound the absolute value of the integral of the larger semi-circle (the circle from -R to R, with radius R) with a function that will include the singularity within our contour, for this example that singularity is i, so the function will become (pi)R/(R^2-1) where R is greater than 1. Now as R goes to infinity the new function we just made will go to zero and then, as a result, the semi-circle integral will go to zero as well because of the inequality.

All this being said hopefully I was able to help you out a little with this problem.