Contour Integration: Solving Homework Equations

In summary, the steps to solving this homework problem are: 1. Define a semi circular contour; 2. Separate the contour into two parts; 3. Derive the integral for the semicircular arc; 4. Reduce the integral for the semicircular arc to zero if it exists; 5. If the semicircular arc is zero, relate the residue to the step function.
  • #1
shehry1
44
0

Homework Statement



[tex] lim_{\alpha\rightarrow 0} \int_{-\infty}^{\infty} dx. e^{ixy}/(2\Pi i (x-i \alpha)) = H(y)[/tex]
where H(y) is the step function ie. H(y) = 1 for y > 0, H(y) = 0 (otherwise)
Compute using an appropriate contour integral.


Homework Equations


-Laurent series
-Residue theorem
-Concepts from contour integration


The Attempt at a Solution


I found the residue and its [tex] e^{-y \alpha} [/tex] for a semi circular contour lying in the top half plane. Mathematica vouches for that.

To find the integral, I followed the usual procedure.
1. Define a semi circular contour
2. Separate the contour into two parts one along the x-axis and the other constituting the semicircular arc. The straight line becomes the desired integral.

Problems:
-How do I reduce the Integral for the semi-circular arc to zero.
-If it IS zero, how do I relate the residue which is an exponential to the step function.

I was thinking that this might be something like an inverse Fourier transform. But the Fourier transform of the Step function involves a Delta function: http://mathworld.wolfram.com/FourierTransformHeavisideStepFunction.html
 
Physics news on Phys.org
  • #2
You can only close that in the upper half plane if y>0. This is because you need to be able to ignore the contribution from the semicircle as r->infinity. In the upper half plane Im(x)>0 so you have a negative real part of the exponential. If y<0 then you need to close in the lower half plane. That's where the 'step function' quality comes from.
 
  • #3
Maybe I'm just crazy, but as a goes to 0, you don't know if it's going to be in your contour, so you probably need to have an indentation around the origin (with the origin contained in your contour) in order to ensure that for small values of |a| the pole is in the contour (and then at the very end you take the limit of the radius of the indentation going to zero).
 
  • #4
Office_Shredder said:
Maybe I'm just crazy, but as a goes to 0, you don't know if it's going to be in your contour, so you probably need to have an indentation around the origin (with the origin contained in your contour) in order to ensure that for small values of |a| the pole is in the contour (and then at the very end you take the limit of the radius of the indentation going to zero).

You can't really do that. It's important to the argument that the pole is in the upper half plane. If alpha goes to zero from the negative direction you get the wrong step function. The problem should have stated it goes to zero from the positive direction.
 
  • #5
Dick said:
You can only close that in the upper half plane if y>0. This is because you need to be able to ignore the contribution from the semicircle as r->infinity. In the upper half plane Im(x)>0 so you have a negative real part of the exponential. If y<0 then you need to close in the lower half plane. That's where the 'step function' quality comes from.

That clears up a lot in my foggy brain but there are still some issues. The y in the integral. Is this the complex part of the variable in the contour integral. i.e. z = x+iy. Or is it just some arbitrary variable. I thought that it was not connected to the integration variable in the contour integral and simply substituted z for x
 
  • #6
shehry1 said:
That clears up a lot in my foggy brain but there are still some issues. The y in the integral. Is this the complex part of the variable in the contour integral. i.e. z = x+iy. Or is it just some arbitrary variable. I thought that it was not connected to the integration variable in the contour integral and simply substituted z for x

It's not connected with the integration variable. The y in the integral is the y in H(y). It's a real number.
 
  • #7
You have to look at the e^(i*z*y) part in the numerator. Since y is real the real part of i*z*y is -y*Im(z), right? To argue that you can ignore the contribution for the circular part of the contour you want to be able to say that is SMALL for large values of Im(z). If y>0 that means you want Im(z)>0 and large. That means upper half plane. Vice versa for y<0. Making the contour move to the lower half plane when y<0 is just what you want! No enclosed pole means integral=0, H(y)=0.
 
  • #8
Dick said:
It's not connected with the integration variable. The y in the integral is the y in H(y). It's a real number.

Eureka.

Thanks a lot
 

1. What is contour integration?

Contour integration is a method used to evaluate integrals involving complex functions. It involves choosing a path (contour) in the complex plane and integrating the function along that path.

2. Why is contour integration useful?

Contour integration allows us to evaluate complex integrals that would be difficult or impossible to solve using traditional methods. It is particularly useful in physics and engineering, where complex functions often arise.

3. How do you choose a contour for integration?

The contour should be chosen so that the integral along that path is easy to evaluate. This often involves choosing a path that avoids singularities (points where the function is not defined) and using symmetry to simplify the integral.

4. What is the Cauchy integral formula?

The Cauchy integral formula states that if a function is analytic (has a derivative) within a closed contour, then the value of the integral of that function along the contour is equal to the sum of all the residues (singular points) inside the contour.

5. How is contour integration used in solving homework equations?

Contour integration is used to evaluate complex integrals that may appear in homework problems. By choosing an appropriate contour and applying the Cauchy integral formula, these integrals can be simplified and solved, leading to the solution of the overall problem.

Similar threads

  • Calculus and Beyond Homework Help
Replies
7
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
9
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
687
  • Calculus and Beyond Homework Help
Replies
2
Views
956
  • Calculus
Replies
8
Views
2K
Back
Top