MuPAD では次のように単純化します。
simplify(2*t*dirac(t+1))
与える：
-2*dirac(t + 1)
そんなこと知ってる
f(t)*dirac(t-k)=f(k)*dirac(t)
so f(t)=2*t, so は
Soをdirac(t+1)=dirac(t-(-1))意味し、MuPAD が返すものとは異なります。k=-12 * t * dirac(t+1) =2*(-1)*dirac(t) =-2*dirac(t)-2*dirac(t + 1)
私の間違いはどこですか？