
#1
Sep208, 07:59 AM

P: 1,772

Hello everyone
Today in my QM class, a discussion arose on the definition of the delta function using the Heaviside step function [itex]\Theta(x)[/itex] (= 0 for x < 0 and 1 for x > 0). Specifically, [tex]\Theta(x) = \int_{\infty}^{x}\delta(t) dt[/tex] which of course gives [tex]\frac{d\Theta(x)}{dx} = \delta(x)[/tex] Some books (esp those on Communications and Signal analysis) define [itex]\Theta(0) = 1/2[/itex]. However, if I set [itex]x = 0[/itex] in the above integral, I get [tex]\int_{\infty}^{0}\delta(t) dt = \Theta(0) = \frac{1}{2}[/tex] To me, this is an ambiguous result, because even though this would follow if [itex]\delta(x)[/itex] were a "normal function" by virtue of its evenness, the point [itex]x = 0[/itex] is a singularity point of the integrand and besides, the normal Riemann integral would implicitly assume an open interval formed by the limits of integration: [itex](\infty,0)[/itex] and not a closed interval [itex](\infty,0][/itex]. Now, I have the following question: Is the expression [itex]\int_{\infty}^{0}\delta(t) dt = \frac{1}{2}[/itex] correct? If I construct a sequence of well behaved functions (rectangular, gaussian, or something else) [itex]\{\delta_{n}(x)\}[/itex] which converge to [itex]\delta(x)[/itex], if the elements of this sequence are even then indeed [tex]\int_{\infty}^{0}\delta_{n}(t) dt = \frac{1}{2}[/tex] But can one infer [tex]\int_{\infty}^{0}\delta(t) dt = \lim_{n \rightarrow \infty}\int_{\infty}^{0}\delta_{n}(t) dt = \frac{1}{2}[/tex] from this always? I think this should depend on the definition of the sequence, and that such a result in general does not make sense as there is an ambiguity when one writes 0 as the upper limit: does it mean 0 or 0+? (For 0, the integral is zero and for 0+, the integral is 1). Can a rigorous justification and answer be given for this? Thanks in advance. 



#2
Sep208, 09:44 AM

P: 1,504

The ambiguity is also indicated here: http://en.wikipedia.org/wiki/Heaviside_step_function 



#3
Sep208, 12:22 PM

P: 1,772

So far, since we've only worked with even functions converging to the Dirac Delta in the limit, it is not obvious to anyone that the integral does not "have" to be half but rather is ambiguous since I can always construct a delta function from say a rectangular function with height 1/A and width A extending from x = 0 to x = A, and not necessarily from x = A/2 to x = +A/2. For such a definition, the integral would be 0 and not 1/2. 



#4
Sep208, 12:47 PM

P: 2,265

Integral of a delta function from infinity to 0 or 0 to +infinityfrom a strict mathematical POV, the Dirac delta "function" is not really a function, but something they call a distribution and there is supposedly some whole theory behind this. but, as far as engineers are concerned, we treat it as a function that is the limit of those "nascent" delta functions that you call [itex]\delta_n(t)[/itex]. the problem (or one of them) that the mathematicians have with this, is the integral of two functions, [itex]f(t)[/itex] and [itex]g(t)[/itex] that are equal almost everywhere (everywhere except a countable number of infinitely thin points on the taxis), that those two integrals (over the same limits) must also be equal. if you set [itex]f(t)[/itex] to [itex]\delta(t)[/itex] and [itex]g(t)[/itex] to 0, you will see that they agree almost everywhere, yet the integral (from some negative t to some other positive t) of [itex]\delta(t)[/itex] is 1 yet the integral of [itex]g(t)[/itex] is 0. so there is, from a pure mathematical POV a problem. from my POV (not as analretentive as this distribution or generalized function theory is), i resolve the problem by simply letting [itex]\delta(t)[/itex] be one of those nascent [itex]\delta_n(t)[/itex], say the rectangular function, where the width of the delta function is one Planck Time in width. that's a legit function for the mathematicians, and it's close enough to the zero width [itex]\delta(t)[/itex] that it would make no physical difference in any physical situation. if the Planck Time is not narrow enough, make it a half or tenth of a Planck Time. 



#5
Sep208, 12:54 PM

P: 2,265

one of the reasons that i prefer the symmetric definition of the Dirac delta is so that we can equate the integral of it to the step function:
[tex] \int_{\infty}^{t} \delta(u) du = H(t) [/tex] and also define the step function in terms of the sign or signum function: [tex] \frac{1}{2}(1 + \mathrm{sgn}(t)) = H(t) [/tex] these simple definitions sometimes makes our lives easier in signal processing. 



#6
Sep208, 01:04 PM

P: 2,265

does anyone know why my [itex]g(t)[/itex] is rendered "g(i)" rather than g(t) by LaTeX? i clearly put a "t" in the equation. 



#7
Sep208, 02:05 PM

P: 1,772

I agree with you rbj, but when you talk of [itex]\delta(x)[/itex], the Dirac delta distribution itself, the ambiguity at x = 0 cannot be avoided. Working with the sequence of functions [itex]\delta_{n}(x)[/itex] each member of which is well behaved, there is no such problem. Somehow, I've always had a problem reconciling the definitions...I've always believed in the distribution theory version and not the 'practical' way out...to define the integral to be half, just because the Dirac delta is even. As you rightly pointed out, its not a function anyway.
PSI am aware of the EE definitions, and it was in a course on signals and systems that I first came across this conceptual difficulty, when a discussion with some mathematics and EE professors led to the conclusion that the said integral has no meaning whatsoever. So while one can define the Heaviside step function to be equal to 1/2 at x = 0, the corresponding integral of delta(x) from x = infinity to x = 0 cannot be unambiguously defined. I am looking for a rigorous reference for the same. Distribution theory textbooks that I have looked at, have proceeded step by step to derive the standard properties of such distributions, but have not discussed such weird situations. 



#8
Sep208, 02:10 PM

P: 1,772

[tex]\int_{\infty}^{0}dx (x^2 4) \delta(x)[/tex] as? I would write it as zero, because the point x = 0 is excluded in [itex](\infty,0)[/itex]. But if you assume 0 here means 0+, then the answer would be 4. This is too simple an example and so perhaps I need to cook up something better :P 



#9
Sep208, 02:52 PM

P: 367

I believe the problem at hand deals with the fact that the engineers aren't always as rigorous as the physicists (who aren't always as rigorous as the mathematicians). At the fundamental level, I believe in the ambiguity of H(0). However, in engineering practice, it may be sometimes convenient to say H(0)=1/2 without questioning it further.
I believe this "definition" comes from the Dirichlet theorem of Fourier analysis (which forms the basis of signals and systems). According to the Dirichlet theorem, the Fourier series of a signal converges to the midpoint at jump discontinuities. Therefore, if H'(x) is the Fourier expansion of H(x), then H'(0)=1/2. Conveniently (see: sloppily), the engineers just say that this implies H(0)=1/2. But hey, if it makes my cell phone work, who am I to complain? Note, a while back I ran across a journal article that dealt with some subtleties of the integral definition of the delta function. Sadly I didn't really read it indepth, but it may be worth it to look into again. It was by David Griffiths in the American Journal of Physics. 



#10
Sep208, 04:29 PM

P: 2,265

[tex]\int_{\infty}^{0} f(x) \delta(x) dx \ + \ \int_{0}^{+\infty} f(x) \delta(x) dx = \int_{\infty}^{+\infty} f(x) \delta(x) dx = f(0) [/tex] at least in the electrical engineering and signal processing context (can't say diddley about QM), life is much easier with the (even) symmetrical [itex]\delta(x)[/itex] definition. i, personally, have not found the strict definition and treatment of the Dirac delta to be useful. this has had practical implications. i have no trouble with certain expressions with the Dirac delta that lives outside of an integral, although i recognize that, eventually, it needs to find itself inside an integral in order to really do something with it. e.g., in the NyquistShannon Sampling and Reconstruction Theorem: [tex] \sum_{k=\infty}^{+\infty} \delta(tk) = \sum_{n=\infty}^{+\infty} e^{i 2 \pi n t} [/tex] i use that in our (perhaps sloppy) derivation of the results of the Sampling Theorem and i've had analretentive mathematicians tell me the above equation is meaningless and cannot be used in any derivation. i beg to differ. 



#11
Sep208, 08:59 PM

P: 1,772

[tex]\int_{\infty}^{0} f(x) \delta(x) dx \ + \int_{0}^{0+} f(x)\delta(x) dx + \int_{0}^{+\infty} f(x) \delta(x) dx = \int_{\infty}^{+\infty} f(x) \delta(x) dx = f(0) [/tex] The first and third terms in the left most expression would then be zero and the contribution would come only from the integral over (0,0+) 



#12
Sep208, 11:24 PM

P: 2,265

[tex] X(s) \ \equiv \ \mathcal{L}\{x(t)\} \ = \int_{\infty}^{+\infty} x(t) e^{st} dt [/tex] as is the Fourier Transform. not having to restrict the limits to 0 and 0+ can be convenient at times when setting up a problem. 



#13
Sep308, 03:22 AM

P: 1,772

Ok, let me restate my question, since so far all our discussions have centered around convenience as a key idea in these definitions.
What is the value of the following integrals [tex]\int_{0}^{\infty}\delta(x)dx[/itex] [tex]\int_{\infty}^{0}\delta(x)dx[/itex] I am looking for a mathematically rigorous argument that can justify whether the integrals are 0 or 1/2. This should preferably be from distribution theory. If someone can point me to a source on the internet or a book where precisely these issues have been dealt with and such integrals are explicitly listed with a sufficiently rigorous and nonhandwaived justification, I would be very grateful. Thanks! 



#14
Sep308, 12:24 PM

P: 1,504

The definition of the delta function, at least for what I know, is: [tex]1.\ \int_{\infty}^{\infty}\delta(x)dx\ =\ 1[/tex] [tex]2.\ \int_{\infty}^{\infty}\delta(x) f(x)dx\ =\ f(0)[/tex] So, a delta function defined as in your previous example as a limit rectangle all in the +x, or all in the x, or something else not symmetric, does satisfy that definition and so [tex]\int_{0}^{\infty}\delta(x)dx[/tex] or [tex]\int_{\infty}^{0}\delta(x)dx[/tex] cannot have a unique value but depends on how you constructed the delta function. 



#15
Sep308, 03:30 PM

Emeritus
Sci Advisor
PF Gold
P: 16,101

We have previously made the definitionThe clearest approach to this is probably purely algebraic. We have a linear functional [itex]\int_{\infty}^0[/itex] which has already been defined on the set of test functions. We have simply built a new functional (which we denote by the same symbol) that extends this one to (some) distributions, by specifying it's value at a particular point (i.e. [itex]\delta[/itex]). Really, the only thing there is to check is that this new functional has the properties we desire. 



#16
Sep308, 04:13 PM

P: 1,504





#17
Sep308, 08:18 PM

P: 2,159

I don't think you can give a rigorous meaning to the integral. The reason is that in the rigorous approach you have to work with the delta functional defined as:
[tex]\delta[f]= f(0)[/tex] where f is an arbitrary infinitely differentiable function that is equal to zero outside some compact set (if I remember correctly). The integral would correspond to applying the delta distribution to a test function which is equal to 1 for negative x and equal to zero for x>=0. But such a test function is not infinitely differentiable so it is not a legal test function. If remember correctly, the fact that you can define distributions, which are, sort of, very wildly behaved functions, is due to the fact that the set of test functions is so well behaved. There is a duality here, as you can view the test functions as functionals on the set of distributions. The more well behaved one set is the less well behaved the other can be. 



#18
Sep908, 07:22 PM

Sci Advisor
P: 1,082

Both integrals, because of the evenness or parity invariance of [tex]\delta(x)[/itex], are equal to 1/2 [tex]\delta(x)[/itex] = [tex]\delta(x)[/itex]. And, of course, the sum of the two is 1. To make this a bit more rigorous, let's recall that the delta dunction is a distribution or, equivalently, a generalized function  see Lighthill's classic Fourier Analysis and Generalized Functions, which is very elegant,understandable and is rigorous and can be read (easily) by undergraduates. The basic idea can be explained as follows: Let G(x,s) be a normalized Gaussian with zero mean and standard deviation, s, with x any real number. To maintain normalization as s becomes smaller and smaller, the value of G(0,s) becomes bigger and bigger. Clearly, as s>0, G becomes infinite, and we have a function that is impossible it's nonzero only on a set of measured 0, so best to go some place else. On the other hand, lim s>0 of [tex]\int_{\infty}^{\infty}\G(x,s)\f(x)dx[/itex] = f(0). [tex]\int_{0}^{\infty}\delta(x)dx[/itex] [tex]\int_{\infty}^{0}\delta(x)dx[/itex] That is the sequence is integrate, then take the limit as s>0. But taking the limit and then integrating does not work well. The use of the proper sequence for a delta function guarantees that the integral of a delta function over the half line is 1/2. The use of the Gaussian provides all the rigor you will ever need  see Lighthill for more details. There's a related issue that often pops up in QFT, and that is [tex]\int_{0}^{\infty}\exp(ikx)dx[/itex]  like half a delta function. In fact this integral is (1/2){ [tex]\delta(x)[/itex]} + i pi P 1/x, where P stands for Principal Part. You can find this discussed in many QFT or Quantum Optics book, when they deal with (anti)commutators of quantum fields. Note also that much of this argument belongs in the domain of Hilbert Transforms, dispersion theory, and for work with causal signals in EE filters  often done with complex integration So, integrate first, and then take the limits. Regards, Reilly Atkinson 


Register to reply 
Related Discussions  
Integral Limits: Infinity.  Calculus & Beyond Homework  5  
Integral of e^(as^2)cos(Bs)ds from 0infinity  Calculus & Beyond Homework  5  
infinity subtracted from infinity is undefined.  Linear & Abstract Algebra  46  
A sinusoid integrated from infinity to infinity  Calculus & Beyond Homework  4  
Cinfinity Odd Function  Calculus  0 