       Re: (x-y) DiracDelta[x-y] does not simplify to 0

• To: mathgroup at smc.vnet.net
• Subject: [mg56233] Re: [mg56198] (x-y) DiracDelta[x-y] does not simplify to 0
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Wed, 20 Apr 2005 05:30:06 -0400 (EDT)
• References: <200504190854.EAA02509@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```On 19 Apr 2005, at 17:54, Alain Cochard wrote:

>
> Mathematica 4.0 for Linux
> Copyright 1988-1999 Wolfram Research, Inc.
>  -- Motif graphics initialized --
>
> Considering that
>
>      In:= FullSimplify[x DiracDelta[x]]
>
>      Out= 0
>
>
>      In:= FullSimplify[(x-y) DiracDelta[x-y]]
>
>      Out= (x - y) DiracDelta[x - y]
>
> whereas:
>
>      In:= FullSimplify[(x-y) DiracDelta[x-y]/.x-y->z]
>
>      Out= 0
>
> Is it simply that Mathematica is a little weak on Out, or does it have a
> good reason for not simplifying, i.e., am I missing something at the
> mathematics level?
>
> Alain
>
>
On the one hand I think the Mathematica implementation of DiracDelta
(and KroneckerDelta) leaves a lot to be desired... and that is putting
it mildly. (That means I have plenty of much worse examples...).

On the other hand, I am not convinced that Mathematica ought to perform
this sort of simplification at all.  DiracDelta is a generalised
function.  The statement x DiracDelta[x] == 0 needs a lot of
interpreting to make sense of (I prefer to think of it as nonsense).
However

Integrate[(x-y) DiracDelta[x-y], {x,-Infinity,Infinity}]

0

is correct.

Andrzej Kozlowski
Chiba, Japan
http://www.akikoz.net/andrzej/index.html
http://www.mimuw.edu.pl/~akoz/

```

• Prev by Date: Re: holding boxes verbatim
• Next by Date: Re: holding boxes verbatim
• Previous by thread: Re: (x-y) DiracDelta[x-y] does not simplify to 0
• Next by thread: Re: (x-y) DiracDelta[x-y] does not simplify to 0