I have to perform symbolically summations of this kind

$\sum_{ijkl} V_{ijkl} c_i c_j c_k \delta_{l,m}$

where $V_{ijkl}$ are quantities which depend on 4 indices and $\delta_{l,m}$ is the kronecker delta. Is it possible in mathematica to perform the summation in order to obtain the symbolical result

$\sum_{ijk} V_{ijkm} c_i c_j c_k$?

I just tried with

Sum[V[ijkl] d, i,j,k,l]

where d contains terms of the kind $c_i c_j c_k \delta_{l,m}$.

  • 1
    $\begingroup$ How did you go from the top symbolic expression to the bottom one? What are the limits of summation? What have you tried so far? $\endgroup$
    – MarcoB
    Commented Oct 1, 2015 at 16:10
  • 1
    $\begingroup$ Don't use D as your own symbol name; that's a Mathematica built-in for the derivative function. In general, never use uppercase for user-defined symbols, as they could conflict with Mathematica built-ins. $\endgroup$
    – MarcoB
    Commented Oct 1, 2015 at 18:15
  • 2
    $\begingroup$ If you want to work extensively with index notation you might want to consider external packages like Ricci: math.washington.edu/~lee/Ricci $\endgroup$
    – Graumagier
    Commented Nov 2, 2015 at 18:39

2 Answers 2


In the documentation of KroneckerDelta says:

Use in sums to pick out elements:

Sum[KroneckerDelta[a, 3] f[a], {a, Infinity}]

Just do the sum in l with {l,Infinity}

Assuming[m > 1 && 
  m \[Element] Integers, Sum[
   KroneckerDelta[l, m] f[m], {l, Infinity}]]
(* f[m] *)

f is your other sums.


Try it with Sum[V[i j k l] d, i,j,k,l]. In mathematica xy is not the same thing as x y. Mathematica interprets xy as a variable but it interprets x y as x * y, so if you wanted to to V[i*j*k*l] try that. Sorry if this wasn't much help.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.