Proper proof of a delta function

Click For Summary

Discussion Overview

The discussion revolves around the proof of the equality \( t\delta(t) = 0 \), specifically in the context of distributions and the properties of the Dirac delta function. Participants explore various approaches to proving this statement, including the use of test functions and the fundamental theorem of calculus.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes the proof \( t \frac{d}{dt}\int \delta(t) dt = t \frac{d}{dt}(1) = t * 0 = 0 \) but expresses uncertainty about the correctness of their approach.
  • Another participant questions the initial claim, stating that the fundamental theorem of calculus is misapplied and that the derivative of the integral of the delta function is a constant, not zero.
  • A third participant emphasizes that both \( t\delta(t) \) and \( 0 \) are distributions and that proving their equality requires checking the equality of their integrals against all test functions.
  • A later reply reiterates the TA's answer, suggesting it aligns with the Schwartz product definition, but does not clarify the objections raised by others.

Areas of Agreement / Disagreement

Participants express differing views on the validity of the proposed proof and the application of the fundamental theorem of calculus. There is no consensus on the correct approach to proving the equality \( t\delta(t) = 0 \), and multiple competing interpretations of the delta function's properties are present.

Contextual Notes

Participants note limitations in the application of the fundamental theorem of calculus, particularly regarding the treatment of the delta function and the assumptions made about test functions. The discussion highlights the need for careful consideration of definitions and the properties of distributions.

tolove
Messages
164
Reaction score
1
Prove:
tδ(t) = 0

The answer our TA has given isn't doing it for me:
[itex]\int dt \delta(t)f(t) = (0)f(0) = 0[/itex]

I'm wanting to write:
[itex]t \frac{d}{dt}\int \delta(t) dt = t \frac{d}{dt}(1) = t * 0 = 0[/itex]

Am I right here? This doesn't make use of a test function. I'm very sloppy with proofs!

Thanks for your time!
 
Physics news on Phys.org
do you mean ##\delta (t)## is the dirac delta function?

also, you are incorrect in stating this:

tolove said:
[itex]t \frac{d}{dt}\int \delta(t) dt = t \frac{d}{dt}(1)[/itex]
note that ##\frac{d}{dt}\int \delta (t) dt= const. ##, thus and arbitrary ##\delta (t)## would work in the above "proof" (assuming it fits the criteria for the fundamental theorem). first, you misuse the fundamental theorem (no bounds). secondly, you assume a function of ##t## is not in fact a function of ##t##. and lastly, if this question is a homework question, i think it belongs in that section.
 
Last edited by a moderator:
Both ##t\delta(t)## and ##0## are distributions here. So you have to prove an equality of distributions. By definition, two distributions ##F## and ##G## are equal if

[tex]\int \varphi(t)F(t)dt = \int \varphi(t)G(t)dt[/tex]

for all test functions ##\varphi##. So this is what you need to check.
 
  • Like
Likes   Reactions: 1 person
tolove said:
Prove:
tδ(t) = 0

The answer our TA has given isn't doing it for me:
[itex]\int dt \delta(t)f(t) = (0)f(0) = 0[/itex]

What don't you like about it? It's exactly the Schwartz product, that is if ##f## is a smooth function and ##\mu## a distribution and ##g## a test function then
##\langle f \, \mu , g \rangle := \langle \mu , fg \rangle##.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K