# Heaviside function and dirac delta

1. Dec 21, 2008

### KateyLou

1. The problem statement, all variables and given/known data

Hi there, i am trying to do a proof that H'(t)= δ(t)

2. Relevant equations

We have been given the following:

F is a smooth function such that lim (t-->±∞)F(t)=0
Therefore the integral between ±∞ of [H(t)F(t)]'=[H(t)F(t)]-∞=0

I understand it up until this point; however next it says:
"Integration by parts:
(1) = Integral between ±∞ of [H(f)'F(t)]dt
(2) = -the integral between ±∞ of H(t)F'(t)dt
(3) = -the integral between ∞ and 0 of F'(t)dt
(4) = [-F(t)]0
(5) = F(0)
(6) = Integral between ±∞ of δ(t)F(t)dt

3. The attempt at a solution

I dont know where they have got theequation from in (1) or (2) or (3)! I get 4 though and 5! Although i dont then get 6!

I think if i knew where (1) came from i maybe could get through the rest but i just dont know where it has come from?

2. Dec 21, 2008

### gabbagabbahey

Do you understand that this says $$\int_{-\infty}^{\infty} \left(\frac{d}{dt}(H(t)F(t))\right)dt=0$$?

Since this is true for all functions F(t) such that lim (t-->±∞)F(t)=0, what must then be true of $$\frac{d}{dt}(H(t)F(t))$$?

Equation (1) follows from using that along with the product rule :$$\frac{d}{dt}(H(t)F(t))=H'(t)F(t)+H(t)F'(t)$$

3. Dec 21, 2008

### KateyLou

Yes i think I get the =0 part (by the way how do you write equations like that?)
And thank you re: the product rule - not sure how i managed to miss that! will go back to it and see how far i get this time!

4. Dec 21, 2008

### KateyLou

Right i have now completed this up to the last stage - i do not understand how it has gone from F(0) to $$\int_{-\infty}^{\infty} \left(\delta (t)F(t)\right)dt$$

5. Dec 21, 2008

### HallsofIvy

Staff Emeritus
And that is what defines the delta "function" (I have put "function" in quotes because it is not, of course, a "function", it is a "distribution" or "generalized function").

6. Dec 21, 2008

### Hurkyl

Staff Emeritus
What definition are you using for the derivative here? Note that the heaviside function is discontinuous, so it isn't differentiable using the derivative you used in Calc I. (similarly, H(x)F(x) is not differentiable)

The generalizations I know of the derivative take (1) = (2) to be the definition. (With the requirement that F be a sufficiently good function; here we need at least differentiable and vanishing at infinity)

As for the last question, what do you know about the Dirac delta distribution? Even if you know only one thing about it, it's probably the thing you need to use....

7. Dec 21, 2008

### KateyLou

i dont know what definition i am using... I have taken that straight from the maths notes we were given... (sorry!)

What do i know about the dirac delta function...well, the intergral of it is one, and that happens at t=0?

8. Dec 21, 2008

### Hurkyl

Staff Emeritus
D'oh, you got me. If that's the only thing you've been taught about the dirac delta distribution, then you are incapable of finishing this problem. (And so shame on your teacher for assigning it!) The step you are stuck upon is often used as the definition of the dirac delta.

9. Dec 21, 2008

### KateyLou

ha! ok!
So what is this definition then? I think i shall go an google it...

10. Dec 21, 2008

### Hurkyl

Staff Emeritus
(5) = (6)

11. Dec 21, 2008

### KateyLou

oh! lol!
Thank you guys :-)