As the documentation and some experimentation indicates, Mathematica contains little information about representations of the DiracDelta
and KroneckerDelta
functions.
Some examples which are not recognized in Mathematica include the identities:
Limit[a/(x^2 + a^2), a -> 0] = DiracDelta[x]
Integrate[Exp[I k x], {x, -∞, ∞}, Assumptions -> k ∈ Reals]
Sum[Exp[I k n], {n, -∞, ∞}] = KroneckerDelta[k]
Integrate[h[n, x] h[m, x], {x, -∞, ∞}] = KroneckerDelta[n, m]
Sum[h[n, x] h[n, y], {n, 0, ∞}] = DiracDelta[x - y]
Where the set of functions h[n, x]
is orthonormal.
I want to implement these kinds of relations in Mathematica. What would be the programmatic way to do this?
Comments
Post a Comment