∫ − ∞ ∞ x 2 + 1 cos x d x
Find the value of the closed form of the above integral.
Give your answer to 2 decimal places.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
You missed the factor of π R in the estimate of ∫ γ R f ( z ) d z .
You could've used the Jordan's lemma as well.
Also, in the last part, you could've just used taken real part on both sides (rather than arguing that the imaginary part vanishes as sin is odd) :P
For a Fourier transform approach and a Laplace transform approach, see Mark Henning's solution here and my solution (in the same link), respectively.
There exist at least another two solutions, by Mark Hennings and me (and a generalisation of ∫ − ∞ ∞ a 2 + x 2 cos b x d x is also given), in here .
Problem Loading...
Note Loading...
Set Loading...
We will solve via a contour integration, using a semi-circular anti-clockwise contour called C , with the straight part on the real axis, and the curved part called γ R . We will have radius R > 1 as there will be poles at ± i .
Let f ( z ) = z 2 + 1 e i z . We have
∮ C f ( z ) d z = ∫ − R R f ( x ) d x + ∫ γ R f ( z ) d z
We will now try to determine the poles of f ( z ) . Since e i z is always differentiable in the complex plane, it won't contain any poles. However, when z 2 + 1 = 0 , z = ± i , so f has poles at ± i . Notice that only one of these poles lies inside C , and the other one doesn't, so we only need to worry about one of them (WLOG i is inside C ).
We will now try to solve the LHS by using the Residue Theorem. First, we will find the residue of f ( z ) at z = i .
z → i lim ( z − i ) z 2 + 1 e i z = z → i lim z + i e i z = 2 e i 1
Now, we can apply the Residue Theorem to get
∮ C f ( z ) d z = 2 π i ( 2 e i 1 ) = e π
We will now evaluate the integral furthest to the right using the Estimation Lemma. By the Estimation Lemma, we have
∣ ∣ ∣ ∣ ∫ γ R f ( z ) d z ∣ ∣ ∣ ∣ ≤ length ( γ R ) ⋅ z ∈ γ R max ∣ f ( z ) ∣
Now, the length of γ R is just π R , because it is the perimeter of half a circle (a circle's circumference is 2 π R ). Now we just need to determine z ∈ γ R max ∣ f ( z ) ∣ .
Firstly, by the reverse Triangle Inequality ∣ z 2 + 1 ∣ ≥ ∣ z ∣ 2 − 1 . Now, ∣ z ∣ = R whenever z is on γ R because it is on the curved side of a semicircle, so ∣ z 2 + 1 ∣ ≥ R 2 − 1 . Thus, ∣ z 2 + 1 ∣ 1 ≤ R 2 − 1 1 .
Now, we will try to bound the numerator e i z
∣ e i z ∣ = ∣ e i ( ℜ ( z ) + ℑ ( z ) i ) ∣ = ∣ e ℜ ( z ) i ∣ ∣ e − ℑ ( z ) ∣ = ∣ e − ℑ ( z ) ∣ = e − ℑ ( z ) ≤ 1
The third line comes from the fact that since ℜ ( z ) is a real number, it follows that e i ℜ ( z ) = cos ( ℜ ( z ) ) + i sin ( ℜ ( z ) ) , so ∣ e i ℜ ( z ) ∣ = 1 . The fourth line is because the exponential term is always non-negative, so we don't need an absolute value sign. In the fifth line, we used the fact that γ R is defined to have ℑ ( z ) ≥ 0 .
Thus,
∣ z 2 + 1 ∣ ∣ e i z ∣ ≤ R 2 − 1 1
Therefore, we have
∣ ∣ ∣ ∣ ∫ γ R f ( z ) d z ∣ ∣ ∣ ∣ ≤ R 2 − 1 π R
As R tends to infinity, we find that the RHS tends to 0, so the LHS is just 0. We are now left with
∫ − R R f ( x ) d x + ∫ γ R f ( z ) d z ∫ − ∞ ∞ f ( x ) d x ∫ − ∞ ∞ x 2 + 1 e i x d x ∫ − ∞ ∞ x 2 + 1 cos x + i sin x d x ∫ − ∞ ∞ x 2 + 1 cos x d x + i ∫ − ∞ ∞ x 2 + 1 sin ( x ) d x = ∮ C f ( z ) d z = e π = e π = e π = e π
Note that since sin ( x ) is an odd function, the integral of it must be 0. Thus, we are left with
∫ − ∞ ∞ x 2 + 1 cos x d x = e π