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

• To: mathgroup at smc.vnet.net
• Subject: [mg56266] Re: (x-y) DiracDelta[x-y] does not simplify to 0
• From: "Dr. Wolfgang Hintze" <weh at snafu.de>
• Date: Wed, 20 Apr 2005 05:32:19 -0400 (EDT)
• References: <d42kg5\$39t\$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```Alain,

may I add the strangest case I found up to now:

case wh01
In:=Simplify[(x - y)*DiracDelta[x - y], {x, y}]
Out=0

But also these are strange enough

case wh02
In:=Simplify[(x - y)*DiracDelta[x - y], {x && y}]
Out=0

case wh03
In:=Simplify[(x - y)*DiracDelta[x - y], {x || y}]
Out=(x - y)*DiracDelta[x - y]

case wh04
In:=Simplify[I*x*DiracDelta[I*x]]
Out=0

But
case wh05
In:=Simplify[I*DiracDelta[I]]
Out=I*DiracDelta[I]

Can't explain ...
Wolfgang

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?
>