Abstract:Starting from the well-known relationship $|{\mathrm{e}}^z| = {\mathrm{e}}^{{\mathrm Re}(z)}$, we consider the question whether $|E_{\alpha,\beta}(z)|$ and $E_{\alpha,\beta}({\mathrm Re}(z))$ are comparable, as functions of the complex variable $z$, where $E_{\alpha,\beta}$ denotes the two-parameter Mittag-Leffler function, a generalization of the exponential function. For some ranges of the parameters $\alpha$ and $\beta$ we prove inequalities between $|E_{\alpha,\beta}(z)|$ and $E_{\alpha,\beta}({\mathrm Re}(z))$ holding globally for all $z\in \mathbb{C}$. In some other ranges of $\alpha$ and $\beta$ the same inequalities are proved to hold asymptotically, i.e. for sufficiently small or large $z$. There are moreover some values of $\alpha$ and $\beta$ for which the situation is less clear, and some conjectures, motivated by numerical observations, are proposed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the inequality properties of the two - parameter Mittag - Leffler function in the complex plane. Specifically, the authors explore whether there are properties similar to the exponential function for the complex variable \(z\):
\[|e^z| = e^{\text{Re}(z)}\]
For the two - parameter Mittag - Leffler function \(E_{\alpha, \beta}(z)\), whether a similar inequality relationship can be found, that is, the comparison relationship between \(|E_{\alpha, \beta}(z)|\) and \(E_{\alpha, \beta}(\text{Re}(z))\). In particular, the authors are concerned with whether these inequalities hold globally (for all \(z\in\mathbb{C}\)) or asymptotically (when \(z\) is sufficiently small or sufficiently large).
### Main contributions of the paper
1. **Proof of global inequalities**:
- For certain ranges of parameters \(\alpha\) and \(\beta\), the authors prove that \(|E_{\alpha, \beta}(z)|\leq E_{\alpha, \beta}(\text{Re}(z))\) or \(|E_{\alpha, \beta}(z)|\geq E_{\alpha, \beta}(\text{Re}(z))\) holds throughout the complex plane.
2. **Proof of asymptotic inequalities**:
- For other parameter ranges, the same inequalities hold when \(z\) is sufficiently small or sufficiently large.
3. **Conjectures for undefined regions**:
- For certain parameter values, the situation is still unclear, and some conjectures are proposed based on numerical observations.
### Specific results of parameter ranges
- When \(0 < \alpha\leq1\) and \(\beta\geq\alpha\), we have:
\[|E_{\alpha, \beta}(z)|\leq E_{\alpha, \beta}(\text{Re}(z)),\quad\forall z\in\mathbb{C}\]
- When \(\alpha\geq2\) and \(0 < \beta\leq2\alpha - 1\), we have:
\[|E_{\alpha, \beta}(z)|\geq E_{\alpha, \beta}(\text{Re}(z)),\quad\forall z\in\mathbb{C}\]
In addition, the paper also analyzes the asymptotic behavior for small \(z\) and large \(z\), and summarizes some parameter ranges that cannot guarantee global validity.
### Graphical representation
The paper shows the regions of validity of the inequalities for different parameters \((\alpha, \beta)\) through graphs (as shown in Figure 1 and Figure 2), where:
- The solid - color regions indicate that the inequalities hold globally;
- The lines indicate that they hold only in the asymptotic case;
- The white regions indicate the yet - undefined cases.
### Summary
This paper reveals some properties similar to the exponential function through in - depth analysis of the two - parameter Mittag - Leffler function, and provides valuable references and conjectures for future research.