Evaluation of Integrals using Complex Variables

In summary, The integral from 0 to pi of [dx/r +5cos(x)] can be solved using complex variables by substituting z=e^(ix) and using the residue theorem on the path of integration around the unit circle counterclockwise. The resulting integrand will be f(z) = -i/(5z^2/2+ rz + 5/2). If 0<r<5, there will be a discontinuity at arccos(-r/5), so the principal value of the integral should be calculated. If r>5, there will be no discontinuity and the integral can be evaluated on the path of integration.
  • #1
Ed Quanta
297
0
So how would one solve the following integral using complex variables?,

Integral from 0 to pi of [dx/r +5cos(x)]

where 0<r<5
 
Physics news on Phys.org
  • #2
You can think of a complex integral in two ways, either as the primitive of a function or as a line integral. What is not clear to me, is in what way is your integral stated.

You need to be a lot clearer. Whats the path of integration?
 
  • #3
Yes, that is basically what my question is. I am not sure where the branch cuts are.
 
  • #4
edit-sorry I misread your bounds on r and missed the fact that your integrand has a discontinuity.

If you're looking for the principle value of that integral, it should still be possible. Look at the contour that goes from -pi to pi (no loss since your integrand is even), with small half circles in the upper half plane to avoid the discontinuities, then the upper half circle of radius pi counter clockwise. There are no poles inside this region, so to find the principle value of the integral on the real axis we can evaluate the integral on these half-circles.

You can find the value of the integral over the large half circle by looking at it's integral over the entire circle of radius pi and the fact that the integrand is even. Next, you'll need to find the limit of the integrals over the small half circles as their radius goes to zero. This will be half their residues (well, the negative of this since we are going clockwise).
 
Last edited:
  • #5
I don't think what I posted above will work, sorry. I had shoddily convinced myself that it would, but I can't fill in the details. :mad:

I'm sure of this new approach though. Integrate this function over the rectangle with corners 0, pi, pi+iT, 0+iT, except with a little half circle above the x-axis at our singularity. There are no poles inside this contour. Let T go to infinity. The integral along pi+iT to 0+iT will go to zero as we do this (the integrand is of the order e^(-T)). The integral along the vertical sides are pure imaginary since cos(z) is pure real if the real part of z is 0 or pi. We don't care what it actually is, only that its real part is 0.

If we let the radius of the little half circle go to zero, we can get the integral we're interested in. As we do this, the integral over the half circle contributes -i*pi times residue at this pole. The residue is real, so this part of the contours contribution is again purely imaginary.

Since the integral along the parts of our contour that lie on the x-axis must be real, we see that they must actually be zero since the other parts of our contour have only imaginary contributions. Therefore the principal value of this real integral must be zero.
 
  • #6
I don't understand one thing... is r a variable? is it fixed?

If it is a variable, is the integral 0 for all 0<r<5 ?

can you state the question again?

are you trying to calculate

[tex]\int_{0}^{\pi}\frac{dx}{r+5\cos x}[/tex]?

another question, why are we calculating the principal value of the integral?
cant we calculate just the integral?
 
Last edited:
  • #7
here is what I've done from what I've understanded


let

[tex]f(z)=\frac{R\left(\frac{1}{2}\left(z+\frac{1}{z}\right),\frac{1}{2i}\left(z-\frac{1}{z}\right)\right)}{iz}[/tex]

and [itex]\gamma=e^{i\theta}[/itex] where [itex]0\leq\theta\leq2\pi[/itex]

then

[tex]\int_{\gamma}f=\int_{0}^{2\pi}f(e^{i\theta})ie^{i\theta}d\theta=\int_{0}^{2\pi}R\left(\frac{e^{i\theta}+e^{-i\theta}}{2},\frac{e^{i\theta}-e^{-i\theta}}{2i}\right)\frac{ie^{i\theta}}{ie^{i\theta}}d\theta=\int_{0}^{2\pi}R(\cos\theta,\sin\theta)d\theta[/tex]

implies that

[tex]\int_{0}^{2\pi}R(\cos\theta,\sin\theta)d\theta=2\pi i \sum res\{f(z),\Omega\}[/tex]

where [itex]\Omega[/itex] is the unit disk.

EDIT... in fact, you can extend the result to

[tex]\int_{0}^{\alpha}R(\cos\theta,\sin\theta)d\theta=2\pi i \sum res\{f(z),\Omega_{\alpha}\}[/tex]

where [itex]\Omega_{\alpha}[/itex] is the slice of unit disk. This should make calculation easier :approve:

in your case

[tex]f(z)=-\frac{i}{5z^2+rz+5}[/tex]

Its all downhill from here right?
 
Last edited:
  • #8
ReyChiquito said:
another question, why are we calculating the principal value of the integral?
cant we calculate just the integral?

There's a discontinuity on the path of integration, at arccos(-r/5) since 0<r<5, so I expect he means the principle value if we're to make any sense of the question. When you shifted over to complex variables you end up with poles on the path of integration, so you have to be extremely careful.
 
  • #9
I'm sorry, what if r>5?
 
  • #10
If r>5 we don't have the discontinuity problem and life is easier. Notice:

[tex]\int_{0}^{\pi}\frac{dx}{r+5\cos(x)}=\frac{1}{2}\int_{0}^{2\pi}\frac{dx}{r+5\cos(x)}[/tex]

You'll be evaluating the second integral.

Next do the substitution [tex]z=e^{ix}[/tex], noticing that [tex]\cos(x)=(z+1/z)/2[/tex]. Your integrand will be the f(z) ReyChiquito gave at the end of his last post (though I get 5/2 where he has the 5's). Your path of integration will be the unit circle counterclockwise. Use the residue theorem.

This is essentially what Rey just mentioned, though I'm not sure what he means when he's talking about doing the integral over a slice of the disc-if you aren't integrating over a closed contour you'll have a hard time evaluating the integral by residues. Maybe he'll clarify the [itex]\Omega_{\alpha}[/itex] contour.
 
Last edited:
  • #11
How do I obtain the integrand f(z) = -i/(5z^2/2+ rz + 5/2) ?
 
Last edited:
  • #12
Ed Quanta said:
How do I obtain the integrand f(z) = -i/(5z^2/2+ rz + 5/2) ?

Did you try the substitution [tex]z=e^{ix}[/tex] I mentioned above? What happened?
 
  • #13
Oh, I'm sorry man. You are right. Simple arithmetic mistake I was making.
 
  • #14
oh yeah, my mistake... you can't extend so blindly the result, so i would use the 0 to 2pi form of the result i posted. One thing though (on top of my head) i think if you change the domain as shmoe is doing it ([0,pi] to 1/2 [-pi,pi] to 1/2 [0,2pi]) the sign of the cosine must change in the last one, as you are translating only by pi, but i might be wrong. And yeah shmoe, i clearly lost the 1/2 of the variable change *blush*
 
  • #15
ReyChiquito said:
One thing though (on top of my head) i think if you change the domain as shmoe is doing it ([0,pi] to 1/2 [-pi,pi] to 1/2 [0,2pi]) the sign of the cosine must change in the last one, as you are translating only by pi, but i might be wrong.

It's not a translation by pi that I was using, just symmetry about x=pi, namely [tex]\cos(x)=\cos(2\pi-x)[/tex]. So the integral from pi to 2pi will equal the integral from 0 to pi.
 
  • #16
yeah, but you are integrating from -pi to pi, so you are translating the domain of integration.

[tex]\int_{-\pi}^{\pi}\ne\int_{0}^{2\pi}[/tex]
 
  • #17
ReyChiquito said:
yeah, but you are integrating from -pi to pi, so you are translating the domain of integration.

[tex]\int_{-\pi}^{\pi}\ne\int_{0}^{2\pi}[/tex]

You never even have to talk about an integral from -pi to pi for this question, but for this function these integrals are equal anyways. Actually for any periodic function of period c it's integral over [a,a+c] will equal it's integral over [b,b+c] for any choice of a, b. The integral over any full period will always yield the same result.

For the function at hand,

[tex]\int_{-\pi}^{\pi}=\int_{-\pi}^{0}+\int_{0}^{\pi}=\int_{\pi}^{2\pi}+\int_{0}^{\pi}=\int_{0}^{2\pi}[/tex]

Where [tex]\int_{-\pi}^{0}=\int_{\pi}^{2\pi}[/tex] by the 2pi periodicity of cos (a simple substitution if you prefer).
 
  • #18
K, then what I am i doing wrong?

taking the change of variable [itex]u=x+\pi[/itex] and [itex]du=dx[/itex]

[tex]\int_{-\pi}^{\pi}\frac{dx}{r+5\cos x}=\int_{0}^{2\pi}\frac{du}{r+5\cos(u-\pi)}=\int_{0}^{2\pi}\frac{du}{r-5\cos u}[/tex]

Im thinking is correct, because [itex]\cos x[/itex] in [itex][-\pi,\pi][/itex] doesn't look the same as in [itex][0,2\pi][/itex]. In fact, the graph is "minus" the first one.
 
Last edited:
  • #19
You're not doing anything wrong. But you should realize that:

[tex]\int_{0}^{2\pi}\frac{dx}{r+5\cos x}=\int_{0}^{2\pi}\frac{dx}{r-5\cos x}[/tex]

To see this use your translation substitution to show:

[tex]\int_{0}^{\pi}\frac{dx}{r+5\cos x}=\int_{\pi}^{2\pi}\frac{dx}{r-5\cos x}[/tex]

and

[tex]\int_{\pi}^{2\pi}\frac{dx}{r+5\cos x}=\int_{0}^{\pi}\frac{dx}{r-5\cos x}[/tex]

think of the simpler graph of 1+cos(x) on [-pi,pi] and [0,2pi]. They look different, and if you were to integrate over these two intervals, you could use your translation to show they are equal to one another except for the "negative cos". But look at the areas under these graphs, should be the same no? You're just adding up the area in a different order.

Think about what I said about integrating a periodic function over a full period.
 
  • #20
You are right, its just that

[tex]\int_{0}^{2\pi}\frac{dx}{r+5\cos x}=\int_{0}^{2\pi}\frac{dx}{r-5\cos x}[/tex]

is not as obvious at first glance, and i suck at geometry :)

i even had to prove it analytically, just to convince myself :P
 

1. What are complex variables?

Complex variables are numbers that have both a real and imaginary component. They are represented in the form of a+bi, where a is the real part and bi is the imaginary part.

2. Why are complex variables used in evaluating integrals?

Complex variables are used in evaluating integrals because they provide a powerful tool for solving complex mathematical problems. They allow us to simplify complicated integrals and make them easier to solve.

3. How do complex variables help in evaluating integrals?

Complex variables allow us to use the techniques of complex analysis, such as Cauchy's Integral Theorem and Residue Theorem, to evaluate integrals. These techniques involve manipulating functions in the complex plane to solve integrals.

4. What is the difference between evaluating integrals using real variables and complex variables?

Evaluating integrals using real variables involves using traditional methods such as substitution and integration by parts. However, with complex variables, we can use techniques specific to complex analysis, which can often lead to simpler and more elegant solutions.

5. Are there any real-world applications of evaluating integrals using complex variables?

Yes, there are many real-world applications of evaluating integrals using complex variables. For example, they are used in physics and engineering to solve problems involving electric fields, fluid flow, and heat transfer. They are also used in signal processing and image reconstruction in computer science.

Similar threads

  • Calculus
Replies
29
Views
444
Replies
2
Views
136
Replies
1
Views
3K
Replies
31
Views
704
Replies
4
Views
143
Replies
4
Views
1K
Replies
12
Views
999
Replies
2
Views
1K
  • Calculus
Replies
3
Views
1K
Back
Top