2503 Delta Functions Unit Impulse
Introduction
In our discussion of the unit step function we saw that it was an idealized model of a quantity that goes from 0 to 1 very quickly. In the idealization we assumed it jumped directly from 0 to 1 in no time.
In this note we will have an idealized model of a large input that acts over a short time. We will call this model the delta function or Dirac delta function or unit impulse.
After constructing the delta function we will look at its properties. The first is that it is not really a function. This won't bother us, we will simply call it a generalized function. The reason it won't bother us is that the delta function is useful and easy to work with. Inside integrals or as input to differential equations we will see that it is much simpler than almost any other function.
Delta Function as Idealized Input
Suppose that radioactive material is dumped in a container. The equation governing the amount of material in the tank is
where, is the amount of radioactive material (in kg), is the decay rate of the material (in 1/year), and is the rate at which material is being added to the dump (in kg/year).
The input is in units of mass/time, say kg/year. So, the total amount dumped into the container from time 0 to time is
Equivalently
To keep things simple we will assume that is only nonzero for a short amount of time and that the total amount of radioactive material dumped over that period is 1 kg. Here are the graphs of two possibilities for and .
It is easy to see that each of the boxes on the left side of Figure 1 has total area equal to 1. Thus, the graphs for rise linearly to 1 and then stay equal to 1 thereafter. In other words, the total amount dumped in each case is 1.
Now let be a box of width and height . As , the width of the box becomes 0, the graph looks more and more like a spike, yet it still has area 1 (see Figure 2).
We define the delta function to be the formal limit
Graphically is represented as a spike or harpoon at . It is an infinitely tall spike of infinitesimal width enclosing a total area of 1 (see figure 2, rightmost graph).
As an input function represents the ideal case where 1 unit of material is dumped in all at once at time .
Properties of
-
From the previous section we have The graph is represented as a spike at . (See figure 2)
-
Because is the limit of graphs of area 1, the area under its graph is 1. More precisely:
-
For any continuous function we have The first statement follows because is 0 everywhere except at . The second follows from the first and property .
-
We can place the delta function over any value of : is 0 everywhere but at . Its total area remains 1. Its graph is now a spike shifted to be over ; and we have
-
, where is the unit step function. Because has a jump at 0, is not a derivative in the usual sense, but is called a generalized derivative. This is explained below.
- We defined as a limit of a sequence of box functions, all with unit area and which, in the limit, become a infinite spike over . Box functions are simple, but not special. Any sequence of functions with these properties has as its limit.
- In practical terms, you should think of as any function of unit area, concentrated very near .
- is not really a function. We call it a generalized function.
- In arriving at these properties we have skipped over some important technical details in the analysis. Generally property (3) is taken to be the formal definition of , from which the other properties follow.
Examples of integration
Properties and show that is very easy to integrate, as the following examples show:
Example 1. . All we had to do was evaluate the integrand at .
Example 2. . All we had to do was evaluate the integrand at .
Example 3. . Since is not in the interval -5 of integration the integrand is 0 on the entire interval.
The value represents the 'left-side' of 0 and is the 'right-side'. So, 0 is in the interval and not in . Thus In fact, since all the area under the graph is concentrated at 0, we can even write
Generalized Derivatives
Our goal in this section is to explain property . A look at the graph of the unit step function shows that it has slope 0 everywhere except at and that its slope is ∞ at .
That is, its derivative is
Since has a jump of 1 at this derivative matches properties and of and we conclude that .
Now this derivative does not exist in the calculus sense. The function is not even defined at 0. So we call this derivative a generalized derivative.
We can also explain property by looking at the anti-derivative of . Let
The fundamental theorem of calculus leads us to say that . (Again, this is only in a generalized sense since technically the fundamental theorem of calculus requires the integrand to be continuous.) Property makes it easy to compute
That is, , so is the antiderivative of .
Example 4. Suppose has the following graph.
The formula for each piece of the graph is indicated. For the smooth parts of the graph the derivative is just the usual one. Each jump discontinuity adds a delta function scaled by the size of the jump to .
In the graph for we represent the delta functions as spikes with the magnitude written next to the spike. The sign is indicated by the direction of the spike. The rest of the is plotted normally.
We say is a generalized function. In 18.03 a generalized function will mean a sum of a regular function and a linear combination of delta functions. (In the wider world of mathematics there are other generalized functions.)
If we want to refer to the different parts of a generalized function we will call the delta function pieces the singular part and the remainder will
be called the regular part. If the singular part contains a multiple of we will say the function contains .
Example. Consider . The regular part of is . The singular part is . The function contains and . It does not contain .
Important: In this unit, whenever a discontinuous function is differentiated we will mean the generalized derivative.