Proof involving Dirac Delta function

Click For Summary
SUMMARY

The discussion centers on proving the identity x (d/dx) [δ(x)] = -δ(x), as presented in problem 1.45 of Griffiths' textbook. Participants explored integration by parts and the properties of the Dirac delta function, ultimately recognizing that integrating against a test function f(x) is essential for rigor. The second part of the problem involves demonstrating that (d/dx) θ(x) = δ(x), with participants discussing the implications of the step function's derivative. The conversation emphasizes the importance of understanding distributions and the role of test functions in these proofs.

PREREQUISITES
  • Understanding of Dirac Delta function and its properties
  • Familiarity with integration by parts
  • Knowledge of distributions and test functions
  • Basic calculus, particularly derivatives and limits
NEXT STEPS
  • Study the properties of distributions in mathematical analysis
  • Learn about the role of test functions in distribution theory
  • Explore integration techniques involving the Dirac Delta function
  • Investigate the relationship between the Heaviside step function and the Dirac Delta function
USEFUL FOR

Mathematicians, physicists, and students studying advanced calculus or mathematical physics, particularly those interested in distribution theory and the applications of the Dirac Delta function.

ozone
Messages
121
Reaction score
0
Prove that
[itex]x \frac{d}{dx} [\delta (x)] = -\delta (x)[/itex]
this is problem 1.45 out of griffiths book by the way.

Homework Equations


I attempted to use integration by parts as suggest by griffiths using [itex]f = x , g' = \frac{d}{dx}[/itex]
This yields [itex]x [\delta (x)] - \int \delta (x)dx[/itex]

next I tried taking the derivative of both sides so that I would get my original
[itex]x \frac{d}{dx} [\delta (x)] = x \frac{d}{dx}[\delta (x)][/itex]

and so I'm back where I started. I have also tried using a definite integral so that

[itex]\int _{-\infty }^{\infty }x \frac{d}{dx}[\delta (x)] \text{dx} = \int_{-\infty }^{\infty } x[\delta (x)] \, dx - \int_{-\infty }^{\infty } [\delta (x)] \, dx[/itex]

but we know that [itex]\int_{-\infty }^{\infty } x[\delta (x)] \, dx = 0[/itex] so our equation simplifies.
However this didn't get me any closer to solving the problem either.

I also have the second part of the problem regarding the step function which is defined as
[itex]\theta (x) <br /> \begin{array}{ll}<br /> \{ & <br /> \begin{array}{ll}<br /> 1 & x>0 \\<br /> 0 & x\leq 0 \\<br /> \end{array}<br /> \\<br /> \end{array}[/itex] Show that [itex]\frac{d}{dx}\theta (x) =\delta (x)[/itex]

This something I can grasp by stating that

[itex] \frac{\Delta \theta }{\text{$\Delta $x}}(x=0 )\longrightarrow 1/0, \text{ as } \text{$\Delta $x}\longrightarrow 0.[/itex]
which is clearly an undefined(or infinite) slope, and at every other point on this graph the derivative is going to be 0. However I want to know if this is sufficiently rigorous, and if it isn't what a step in the right direction might be.
 
Physics news on Phys.org
For the first part you should integrate against a test function f(x). Show that integrating f(x)*x*δ'(x) is the same as integrating f(x)*(-δ(x)).
 
Alright thanks I will try that. Can you give some sort of reasoning for why this method works to get the answer? It just seems strange to me to introduce a dummy function.
 

Similar threads

Replies
0
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
19
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
5
Views
4K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K