4
$\begingroup$

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.

$\endgroup$
7
  • $\begingroup$ 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]}] $\endgroup$
    – Bob Hanlon
    Apr 17, 2019 at 18:52
  • $\begingroup$ @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. $\endgroup$
    – Roman
    Apr 17, 2019 at 18:57
  • 1
    $\begingroup$ 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. $\endgroup$
    – user64494
    Apr 17, 2019 at 19:02
  • $\begingroup$ Perhaps it has to do with the fact that Sum has the attribute HoldAll $\endgroup$
    – Bob Hanlon
    Apr 17, 2019 at 19:06
  • 1
    $\begingroup$ @user64494 but it does assume it's positive. Try Sum[z^k/Gamma[α*k + α], {k, 0, ∞}, GenerateConditions -> True]. $\endgroup$
    – Greg Hurst
    Apr 17, 2019 at 21:05

1 Answer 1

2
$\begingroup$

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, ∞}]

res

And a screenshot.

screen

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

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.