# Sums involving KroneckerDelta and multi-term functions

I'm having trouble getting Mathematica (11.0.1.0, OSX High Sierra) to evaluate the following sum:

$\sum_{i=0}^{\infty} f(i) \, g(i) \, \delta_{i,j}$

My code is

Sum[f[i] g[i] KroneckerDelta[i, j], {i, 0, Infinity}]


The output I was expecting was

f[j] g[j] UnitStep[j]


but instead I get the original sum. When I remove f[i] or g[i] from the expression, however, I get the expected result.

Try using assumptions:

Assuming[
j ∈ Integers && j >= 0,
Sum[f[i] g[i] KroneckerDelta[i, j], {i, 0, Infinity}]
]


f[j] g[j]

• Hmm, that doesn't seem to work -- I just get the sum back. Feb 24, 2018 at 3:00
• @RichardTownsend Seems like this was improved in M11.2. Feb 24, 2018 at 3:03
• Unfortunately, my University site licence appears to be stuck at 11.0.1.0. I'll have to find out what the plans are for updating it. But in the meantime, many thanks for the quick response. Feb 24, 2018 at 3:08
• Ok, managed to upgrade to 11.2, and your solution works perfectly. Many thanks again, Carl! Feb 24, 2018 at 3:58