It is known that the Dirac delta function is linear. I do not understand why Mathematica says that a DiracDelta[x] + b DiracDelta[x] is not equal to (a + b) DiracDelta[x], assuming a and b are real numbers larger than zero.


closed as off-topic by m_goldberg, Henrik Schumacher, LCarvalho, rhermans, march Nov 15 '18 at 4:23

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question arises due to a simple mistake such as a trivial syntax error, incorrect capitalization, spelling mistake, or other typographical error and is unlikely to help any future visitors, or else it is easily found in the documentation." – m_goldberg, Henrik Schumacher, LCarvalho, rhermans, march
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ Try Collect[aDiracDelta[x] + bDiracDelta[x], DiracDelta[x]]. There are more serious problems with DiracDelta in Mathematica. $\endgroup$ – user64494 Nov 9 '18 at 5:07
  • $\begingroup$ Integrate[(a DiracDelta[x] + b DiracDelta[x] - (a + b) DiracDelta[x]) \[Phi][ x], {x, -\[Infinity], \[Infinity]}] returns 0, though. $\endgroup$ – Henrik Schumacher Nov 9 '18 at 7:32
  • 1
    $\begingroup$ a DiracDelta[x] + b DiracDelta[x] // Factor works. $\endgroup$ – Bill Watts Nov 9 '18 at 8:09

The expression

a DiracDelta[x] + b DiracDelta[x] == (a + b) DiracDelta[x]

is a tautology — basically just a statement of the distributive law of ordinary arthmetic. It is true for any function f, linear on not.

Reduce[a f[x] + b f[x] == (a + b) f[x]]


  • $\begingroup$ That is great! Thank you very much! $\endgroup$ – MJM Nov 9 '18 at 17:12
  • 2
    $\begingroup$ Please don't add "thank you" as an answer. Instead, accept the answer that you found most helpful. - From Review $\endgroup$ – Coolwater Nov 9 '18 at 17:35

Not the answer you're looking for? Browse other questions tagged or ask your own question.