# The Dirac Delta Function

1. Jan 24, 2006

### Cincinnatus

I've recently come across this function in one of my science classes and am wondering were this identity comes from:
$$\displaystyle{\int{\delta(t-\tau)f(\tau)d\tau}=f(t)}$$
Where $$\delta(t)$$ is the dirac delta function and f(t) is any (continuous?) function.

Last edited: Jan 24, 2006
2. Jan 24, 2006

### Hurkyl

Staff Emeritus
You only know how to deal with dirac deltas of the form $\int \delta(x) g(x) \, dx$, right? Well, there is an obvious substitution to try...

3. Jan 24, 2006

### Corneo

Are you familiar with the properties of the Dirac delta function? This one is called the sampling property.
Its comes from the fact that for any continuous function $f(t)$, the multiplication with the Dirac delta function yields
$f(t) \delta (t-t_0) = f(t_0) \delta(t-t_0)$

Also the area under the curve of the Dirac Delta function is 1.

$\int_a^b f(t) \delta (t-t_0) dt = f(t_0) \int_a^b \delta (t-t_0) dt= f(t_0)$

for $a < t_0 < b$

4. Jan 24, 2006

### Cincinnatus

Actually, I don't know how to work with dirac deltas of any form...

My professor just did some hand-waving about taking the limit of a sequence of functions with one peak and defining this to be the dirac delta function. Then he quoted the two properties we needed and proceeded. (This was one of them)

Things I am not sure about:
1). What is meant by the "limit of a seqence of functions"?
2). How do we know this limit exists?
3). How do we know it is a function... is it a function?

5. Jan 24, 2006

### maverick6664

Delta function is represented in several ways. For example

$$\delta(x) = \lim_{n \rightarrow \infty} \frac {\sin nx} {\pi x}$$
$$\delta(x) = \lim_{n \rightarrow \infty} \frac n {\sqrt\pi} \exp(-(nx)^2)$$

It looks like $$\delta(0)=\infty$$, but actually you can integrate this function $$-\infty \rightarrow \infty$$

Last edited: Jan 24, 2006
6. Jan 24, 2006

### Cincinnatus

I know that the delta function can be represented in that way, my question is perhaps "what is special about those functions that causes their limit to be a function?"

Certainly it is not true in general that the limit of a sequence of functions would be a function. (consider the limit as n-->oo of f(x)=nx. This would be a "function" with a vertical line for a graph, i.e. not a function at all).

Last edited: Jan 25, 2006
7. Jan 25, 2006

### siddharth

8. Jan 25, 2006

### matt grime

It isn't a function, at least in the sense of a map from R to R that you're used to. It is properly called a distribution, not a function. Think of it as an operator which when put inside an integral does something nice.

The problem is the odd way applied maths abuses the word function, not in your understanding.

It is bizzarely often called the derivative of the Heaviside step function which at least is a function though not a differentiable one (0 for x<=0, 1 for x>0)

9. Jan 25, 2006

### George Jones

Staff Emeritus
There is a natural injection from the space of functions that can be integrated against test functions [**] into the space of distributions. When considered as distributions, the derivative of the Heaviside step function is the Dirac distribution.

[**] This is the inspiration for the fictional, but extremely useful, integral notation for the Dirac distribution.

Regards,
George