Complex Variable-definite integral

  • Thread starter Thread starter Microzero
  • Start date Start date
  • Tags Tags
    Complex Integral
Microzero
Messages
21
Reaction score
0
Complex Variable---definite integral

Show that
f(k) = \frac{1}{2i\pi} \int^{\infty}_{-\infty} \frac{e^{ikx}}{x-i\epsilon}dx =

1, if k>0
0, if k<0

where \epsilon > 0

The attempt at a solution

Consider : \oint \frac{e^{ikz}}{z-i\epsilon}dz

the residule is : e^(-k\epsilon)

so \int^{\infty}_{-\infty} \frac{e^{ikx}}{x-i\epsilon}dx

= {2i\pi} e^(-k\epsilon)


f(k) = \frac{1}{2i\pi} \int^{\infty}_{-\infty} \frac{e^{ikx}}{x-i\epsilon}dx = e^(-k\epsilon)


I can't prove it equal to 0 or 1 and the required condition.
 
Physics news on Phys.org


I hope you mean e^(-k*epsilon). You are leaving out some steps. If you are starting with k>0 you first need to figure out whether you will close the contour in the upper or lower half plane. Since you have exp(ikx) and you want that to be small for x far out on the arc you are using to close the contour, you pick the upper half plane since Im(x)>0 there. Yes, then you pick up the pole at i*epsilon. You are now leaving out the final step of taking epsilon->0. If k<0 then you close in the lower half plane. Now what?
 


So...the above result i obtained means that I just consider k>0, right?

then I should find the residule for two case:
k>0 and k<0

then f(k) is equal to the sum of residules
correct?
 


You already found the residue of the pole for the k>0 case (though you didn't justify it very well). What does happen if k<0? NO. You don't ADD them. They are two different cases.
 


For k > 0
\frac{e^{ikz}}{z-i\epsilon}
pole : z=iε
residule is e^(-kε)

so f(k) = e^(-kε)


for k<0
\frac{1}{(e^{imz})(z-i\epsilon)}

where m=|k|

pole: z=iε
residule: e^(mε)

so f(k) = e^(|k|ε)


umm...how to prove that they equal to 1 or 0?
 
Last edited:


Microzero said:
For k > 0
\frac{e^{ikz}}{z-i\epsilon}
pole : z=iε
residule is e^(-kε)

so f(k) = e^(-kε)


for k<0
\frac{1}{(e^{imz})(z-i\epsilon)}

where m=|k|

pole: z=iε
residule: e^(mε)

so f(k) = e^(|k|ε)


umm...how to prove that they equal to 1 or 0?

You might start by listening to what I'm saying. I've said that you need to take the limit of epsilon going to zero. And I've also said you need to think about what your closed contour looks like. What does the closed contour look like in both of these cases? After all, this is contour integration. You'd better start with a contour.
 


contour: consider a semicircle with inf. radius

that is just wht I have learned to solve this kind of integral from book
 
Last edited:


Microzero said:
contour: consider a semicircle with inf. radius

Sort of. That's not very complete or specific. You need a different contour for each of the two cases. What's the difference?
 


now I can prove that the integral is 0 when k< 0

but...for k>0...i still can;t show that it equals to 1...unless assume that ε → 0...
but the question just say that ε > 0
 
  • #10


If you don't take the limit, then the integral is just e^(-k*epsilon). Not 1. But using i*epsilon in a problem like that is almost always a shorthand for 'epsilon>0 and approaching 0'. They may not have bothered to say that explicitly.
 
  • #11


oic~~~~
thx~~~
 
Back
Top