Consider the sequence of step functions
to approximate the delta distribution. Where chi is the indicator function.
note that
If the delta distribution was locally integrable we could pass the limit inside.
Hi all,
I am trying to show that the delta distribution cannot be written in terms of an integral. To do this, we assume otherwise and deduce a contradiction.
If it were so, we would have for all test functions , so in particular for the test function defined by if , and zero otherwise, and so we would have
.
The book I am reading then argues that if \delta were a locally integrable function, Lebesgue's general theorem of convergence would tell us that the integral converges to 0.
I cannot see how this can be deduced by the theorem. Can anyone help me out?
Thanks for your reply. This is useful, but I'm not sure if I explained myself very well. I wish to get a contradiction with the Lebesgue's general theorem of convergence - it is this theorem that I am not sure how to apply, since I do not see how to dominate delta with an integrable function.
You're assuming that comes from a locally integrable function, in particular | \delta 1_{[-a,a]} | \leq | \delta 1_{[-1,1]} | for all , and the function on the left is integrable.
Another way to do this is by checking that the distributional derivative of the Heaviside function does not come from a locally integrable function.
Edit: Apparently my Latex doesn't work for some reason, so I'll leave it like that.
Ah, this makes more sense. I was getting confused between what I was assuming. I'm sure you can tell that I'm fairly new to the DCT.
My question is why do we need the indicator functions? Can't we just use |delta(x)| instead of |delta(x)1_[-1, 1]|?
I also need to show that delta(x)e^{(-a^2)/(a^2 - x^2)} converges pointwise to 0 as a converges to 0. Now if x is not 0, this expression is 0, so of course it is true. The problem I have is with x = 0, how do I justify it here?
Thanks.
The indicator functions are needed because the function representing delta is only assumed locally integrable ie. integrable on every compact set.
For the other question, the dominated convergence convergence theorem only requires convergence almost everywhere. Notice that your exponential doesn't converge to zero, but multiplied by 1_{[-a,a]} it does converge to zero.
Thanks. Is the following a valid argument?
Suppose delta is a locally integrable function. It follows from that is dominated by an integrable function (by assumption). For each a > 0, we have that is a real-valued measurable function and we can see that tends to 0 as a tends to 0 almost everywhere. LDCT would imply that .
A contradiction as required.
I am slightly worried how to justify using DCT with the limit going to 0 instead of infinity.