Explicitly Deriving the Delta Function

  • Thread starter dsr39
  • Start date
  • #1
14
0
When working with fourier transforms in Quantum mechanics you get the result that
[tex]\int_{-\infty}^{\infty}e^{-ikx}e^{ik'x} = \delta(k-k')[/tex]

I understand conceptually why this must be true, since you are taking the fourier transform of a plane wave with a single frequency element.

I have also seen it sort of derived by looking at the formula for the fourier series and tracking its components in the limit that it becomes a continuous fourier transorm (letting the period go to infinity and [tex]\Delta\omega[/tex] go to 0)

But I really want to come up with some explicit expression, from doing the integral that behaves like a delta function. I have tried messing around with it, by sticking it inside of another integral and multiplying it by a test function etc. Is there a way to do this?
 

Answers and Replies

  • #2
Avodyne
Science Advisor
1,396
88
Not sure exactly what you're looking for here. How about this? Insert a "convergence factor" [itex]\exp[-\varepsilon x^2/2][/itex] in the integrand; call the resulting function [itex]\delta_\varepsilon(k)[/itex]:
[tex]\delta_\varepsilon(k)\equiv \int_{-\infty}^{+\infty}dx\,e^{-\varepsilon x^2/2}e^{ikx}.[/tex]
The result is
[tex]\delta_\varepsilon(k)= (2\pi/\varepsilon)^{1/2}\exp[-k^2/2\varepsilon].[/tex]
Now we want to take the limit [itex]\varepsilon\to 0[/itex]. For [itex]k\ne 0[/itex], the limit is zero, and for [itex]k=0[/itex], the limit is infinity. Furthermore, the integral of [tex]\delta_\varepsilon(k)[/itex] from minus to plus infinity is one. So the function has all the properties of the delta function in this limit.
 
  • #3
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
I wrote an extremely non-rigorous argument in this thread. If you want to learn to deal with delta functions more rigorously, this is probably a better place to start.

Do you already know that stuff about how to define the delta function as a distribution? I'm just asking because it might help other people to give you a better answer.
 
  • #4
14
0
The convergence factor seems to work, except when I integrate the delta function you defined I don't get 1, I get some constant with pi. Maybe I am doing the integral wrong.
 
  • #5
Ben Niehoff
Science Advisor
Gold Member
1,879
162
The delta function is defined by

[tex]\int_{-\infty}^{\infty} f(k) \delta(k - k') \; dk = f(k')[/tex]

So, try plugging in your expression into the above integral, and verify that it gives the correct answer. (Exchange the order of integration, and you should just get the Fourier transform of the Fourier transform of f.)

Note: I think your expression is off by a factor of [itex]2 \pi[/itex].
 
Last edited:
  • #6
Avodyne
Science Advisor
1,396
88
Oops, I missed the [itex]2\pi[/itex] also. I should have written
[tex]\delta_\varepsilon(k)\equiv {1\over2\pi}\int_{-\infty}^{+\infty}dx\,e^{-\varepsilon x^2/2}e^{ikx}.[/tex]
and
[tex]
\delta_\varepsilon(k)= (1/2\pi\varepsilon)^{1/2}\exp[-k^2/2\varepsilon].[/tex]
 

Related Threads on Explicitly Deriving the Delta Function

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
8
Views
24K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
7
Views
4K
  • Last Post
Replies
6
Views
967
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
5K
  • Last Post
Replies
16
Views
4K
  • Last Post
Replies
2
Views
3K
Top