Some analytical and numerical properties of the Mittag-Leffler functions (Q2260535)

In the paper two results are obtained. First, the authors partly prove Mainardi's conjecture: \noindent for every \(t > 0\) and for every fixed \(\alpha\), \(0 < \alpha < 1\), the following estimate holds: \[ \frac{1}{1 + t^\alpha \Gamma(1 - \alpha)} \leq e_{\alpha}(t) \leq \frac{1}{1 + \frac{t^\alpha}{\Gamma(1 + \alpha)}}. \eqno{(1)} \] The authors prove that the inequality (1) holds at least in a neighbourhood of \(t = 0\). Second, an approximate numerical algorithm is proposed for the evaluation of values of the Mittag-Leffler function of a real negative argument \[ e_{\alpha}(t) := E_{\alpha}(- t^{\alpha}) = \sum\limits_{n=0}^{\infty} (-1)^n \frac{t^{\alpha n}}{\Gamma(\alpha n + 1)}. \] The algorithm is based on Diethelm's predictor-corrector algorithm (as described, e.g., in [\textit{K. Diethelm} et al., Numer. Algorithms 36, No. 1, 31--52 (2004; Zbl 1055.65098)]) The convergence is proved. The results are illustrated by corresponding plots, comparison with other numerical procedures are given.