Does the Delta Sequence Converge to the Dirac Delta Function?

[Undoubtedly0]

Homework Statement
Show that \delta_n(x) = ne^{-nx} \quad \mathrm{for}\quad x>0\qquad = 0 \quad \mathrm{for}\quad x<0

satisfies \lim_{n\longrightarrow\infty}\int_{-\infty}^\infty \delta_n(x)f(x)\mathrm{d}x = f(0)

The attempt at a solution
The hint says to replace the upper limit (\infty) with c/n, where c is "large but finite", and then use the mean value theorem of integral calculus.

I do not understand how this replacement in the hint is allowable. Since n\longrightarrow\infty, c/n\longrightarrow0, not \infty. Even if this is okay, how does it aid using the mean value theorem of integral calculus?

 

[voko]

Are there any restrictions on f(x)?

 

[Undoubtedly0]

Are there any restrictions on f(x)?

It is only stated that f(x) is a well-behaved function. It seems that this would be easier to prove if \lim_{x\longrightarrow\pm\infty}f(x) was at least finite, but no such assumption is made.

 

[voko]

Then assume the integral of f(x) over the entire real line is finite. Given that, you should be estimate the "left-over" as you restrict integration to c/n.

 

[Undoubtedly0]

Then assume the integral of f(x) over the entire real line is finite.

Why can this be assumed? Not even a function as well-behaved as f(x)=x^2 satisfies this.

 

[voko]

$e^{x^{100}}$ is also well behaved, but will it be acceptable in this case?

 

[Undoubtedly0]

$e^{x^{100}}$ is also well behaved, but will it be acceptable in this case?

Sure, if f(x) = e^{x^{100}}, then I do not know how I would answer the problem. Any suggestions?

 

[voko]

As I said, you should select a class of functions that are admissible. Those whose integral over the entire real line is finite obviously fit the bill. Those the product of which with exp(-x) has the same property would work, too.

 

[Undoubtedly0]

Evidently, however, the proof can be made for any well-behaved function f(x). I understand how to prove this for special cases, but I am confused on how to prove this in general.

 

[voko]

$\delta_1 = e^{-x}$ so you must have at least $\int_0^{\infty} f(x)e^{-x} dx < \infty$ for any "well-behaved" function.

 

[Undoubtedly0]

$\delta_1 = e^{-x}$ so you must have at least $\int_0^{\infty} f(x)e^{-x} dx < \infty$ for any "well-behaved" function.

If there exists a Taylor series expansion of f(x) of the form f(x)=\sum_{k=0}^\infty f^{(k)}(0)\frac{x^k}{k!}

does that imply that $\int_0^{\infty} f(x)e^{-x} dx < \infty$?

Thanks for your help.

 

[HallsofIvy]

Homework Statement
Show that \delta_n(x) = ne^{-nx} \quad \mathrm{for}\quad x&gt;0\qquad = 0 \quad \mathrm{for}\quad x&lt;0

satisfies \lim_{n\longrightarrow\infty}\int_{-\infty}^\infty \delta_n(x)f(x)\mathrm{d}x = f(0)

The attempt at a solution
The hint says to replace the upper limit (\infty) with c/n, where c is "large but finite", and then use the mean value theorem of integral calculus.

I do not understand how this replacement in the hint is allowable. Since n\longrightarrow\infty, c/n\longrightarrow0, not \infty. Even if this is okay, how does it aid using the mean value theorem of integral calculus?

You are asked to show this for n a fixed constant. There is nothing said about "n going to infinity" and no reason to worry about that.

 

[Undoubtedly0]

You are asked to show this for n a fixed constant. There is nothing said about "n going to infinity" and no reason to worry about that.

Hi HallsofIvy. I confess I do not understand what you mean. Certainly the following says that n goes to infinity, no?

\lim_{n\longrightarrow\infty}\int_{-\infty}^\infty \delta_n(x)f(x)\mathrm{d}x