Integral resulting in delta function.

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
G01
Science Advisor
Gold Member
Messages
2,709
Reaction score
19

Homework Statement



Hi All. I am given this integral:

[tex]\int_{-\infty}^{\infty}A\Theta e^{i\omega t}dt[/tex]

I need to show that it's equal to the following:

[tex]=A(\pi \delta(\omega)+\frac{i}{\omega})[/tex]

Homework Equations

Theta is the Heavyside step function.

The Attempt at a Solution



The step function changes the lower bound of the integral to 0:

[tex]\int_{0}^{\infty}Ae^{i\omega t}dt[/tex]

Elementary integration then gives:

[tex]\lim_{t=\infty}\frac{e^{i\omega t}}{i\omega} +\frac{i}{\omega}[/tex]

I'm not sure how to relate that first limit to any of the delta function definitions I know. A hint was given to use the following definition:

[tex]\pi\delta(x)=\lim_{A=0}\frac{A}{x^2+A^2}[/tex]

However, I'm not sure how to apply this limit to help get to the result.

Thanks for any hints/help!
 
Physics news on Phys.org
The integral won't converge because the integrand doesn't vanish as t goes to infinity, so throw in a convergence factor e-λt and take the limit as λ→0+:

[tex]\lim_{\lambda \to 0^+} \int_0^\infty Ae^{(i\omega-\lambda)t}\,dt[/tex]

You can transform the result into a form where you'll be able to apply the hint you were given.
 
(Side point: there are convergent integrals whose integrand fails to vanish at infinity)


Since the integral is apparently meant to be an integral of operators in [itex]\omega[/itex] rather than an integral of functions, one approach you might want to take is to show that it operates like the thing you're trying to prove it equal to. That is, compute

[tex]\int_{-\infty}^{+\infty} \int_{-\infty}^{+\infty} A \Theta(\omega) e^{i \omega t} f(\omega) \, d\omega \, dt[/tex]

I don't see how to use the hint if you tried this approach, though.




Another thing I'd be tempted to try is to invoke complex analysis; integrate around wedge-shaped regions whose corner is at the origin and whose edges are the positive real and imaginary axes, and take the limit as radius goes to infinity. I don't know if distributions and complex residues interact well, though.
 
Vela- Thanks! I was able to get to the result using your method.

Hurkyl- I thought about taking the complex analysis route as well. However, like you said the potential issues with residues and distribution scared me away. I didn't think it was worth the trouble, even though it may end up being more rigorous than vela's approach.

I think vela's approach will suffice for this class, however I am a little worried by some of the limits that appear. For instance, in order to get the correct result, we must have:

[tex]\lim_{\lambda=0^+}\lim_{t=\infty} (i\omega e^{(-\lambda + i\omega )t})=0[/tex]

I am by no means certain that it is the case. i.e The exponential term becomes small as lambda goes to 0, but then grows again as you take t to infinity.