# Flaky pattern-matching for Mittag-Leffler sums?

Bug introduced in 12.0 or earlier. Fixed in 12.2.0 or earlier.

This sum correctly gives the Mittag-Leffler function:

Sum[z^k/Gamma[α*k + α], {k, 0, ∞}]


MittagLefflerE[α, α, z]

Simply factoring the argument of Gamma makes the sum fail:

Sum[z^k/Gamma[α*(k + 1)], {k, 0, ∞}]


$$\sum_{k=0}^{\infty}\frac{z^k}{\text{Gamma}[(1+k)\alpha]}$$

What is happening? Why isn't this Expand/Factor transformation applied automatically by the pattern-matcher in order to effect the sum, as it is usually done for other sums, integrals, etc.?

update: reported & confirmed by WR.

• The second form did not match any of the built-in pattern rules. Sometimes you can help Mathematica by manipulating the expression. In this case, use ExpandAll, i.e., Sum[z^k/Gamma[\[Alpha]*(k + 1)] // ExpandAll, {k, 0, \[Infinity]}] Apr 17, 2019 at 18:52
• @BobHanlon that much is clear. What surprises me is how in this case (and only in this case as far as I remember working with Mathematica for many decades) the manipulations aren't done automagically. For all other sums, integrals, etc. I have a lot of freedom in how exactly I formulate the task; only for ML functions do I need to be that careful. So my question is: what is different about ML sums? Clarified the question, thanks. Apr 17, 2019 at 18:57
• You may use Sum[z^k/Gamma[ \ [Alpha]*(k + 1)], {k, 0, [Infinity]}, Regularization -> "Abel"] (or any other method) to this end. Mma does not know that $\alpha$ is real. Apr 17, 2019 at 19:02
• Perhaps it has to do with the fact that Sum has the attribute HoldAll Apr 17, 2019 at 19:06
• @user64494 but it does assume it's positive. Try Sum[z^k/Gamma[α*k + α], {k, 0, ∞}, GenerateConditions -> True]. Apr 17, 2019 at 21:05

It's nice to see these things fixed in the new versions. I am using 13.2.0

Edit: according to the comment by @kirma this is already fixed in 12.2. Thanks for letting me know.

Sum[z^k/Gamma[α*k + α], {k, 0, ∞}]
Sum[z^k/Gamma[α*(k + 1)], {k, 0, ∞}]


And a screenshot.

• Mathematica v12.2 is the earliest I can run on my laptop without problems and I see these results already with it... Feb 4, 2023 at 4:12
• @kirma thanks for letting me know. I don't have access to 12.2 at the moment
– bmf
Feb 4, 2023 at 4:15