Asymptotic formulae for zeros of a function of Mittag-Leffler's type (Q1329210)

The objects of the author's consideration are the zeros \(z_ n\) of an entire function of Mittag-Leffler's type \[ E_ \rho(z;\mu)= \sum^ \infty_{n=0} z^ n/\Gamma(\mu+ n/\rho),\quad \rho>0,\quad\mu\in\mathbb{C},\tag{1} \] which plays an important role in the analysis, where it is widely used (see for example, \textit{M. M. Dzhrbashyan} [Integral transforms and representations of functions in the complex domain. (Russian) Moscow: Nauka (1966; Zbl 0154.37702)]. The problem of the zero distribution of the function (1) is important as the function itself. It should be mentioned for example, that at some definite values of \(\rho\) and \(\mu\) the set of zeros of (1) coincides with the set of eigenvalues of special boundary value problems (see \textit{M. M. Dzhrbashyan} [Izv. Akad. Nauk Arm. SSR, Mat. 5, 71--96 (1970; Zbl 0212.43202)]; \textit{A. M. Nakhushev} [Sov. Math., Dokl. 18, 666--670 (1977); translation from Dokl. Akad. Nauk SSR 234, 308--311 (1977; Zbl 0376.34015)]. In the introductory section of the paper the author outlines briefly the results obtained by the others and then formulates the results of his own. The main results are: Theorem 1. Let be \(\rho> 1/2\), \(\mu\in\mathbb{C}\); at \(\rho=1\), \(\mu\neq 1,0,- 1,-2,\dots\). Then all the zeros \(z_ n\) of \(E_ \rho(z;\mu)\) which are sufficiently large in the absolute value, are primitive and the next asymptotic formula takes place for the \(z_ n\) at \(n\to\pm\infty\): \[ z^ \rho_ n= 2\pi in- (\tau_ \mu/\rho)(\log 2\pi| n|+ i(\pi/2)\text{sign }n)+\log c_ \mu+ \alpha_ n, \] where \[ \alpha_ n= O(1/| n|^{1/\rho})+ O((\log| n|)/| n|) \] and \(\tau_ \mu\), \(c_ \mu\) are the definite constants. Theorem 2. All the zeros of \(E_{1/2}(z;\mu)\) sufficiently large in the absolute value are primitive (except the case of \(\text{Re }\mu=3\)). For the zeros of \(E_{1/2}(z;\mu)\) the next formulae are true: 1) if \(\text{Re }\mu>3\), and \(n\to\pm\infty\), \[ z^{1/2}_ n= 2\pi in- 2\tau_ \mu(\log 2\pi| n|+ i(\pi/2)\text{sign }n)+\log c_ \mu+\alpha_ n, \] \[ \alpha_ n= O((\log| n|)/| n|)+ O(1/| n|^{2(\text{Re }\mu- 3)}); \] 2) if \(\text{Re }\mu=3\), then \[ z_ n= -(\pi n+ O(1))^ 2,\quad n\to\pm\infty; \] 3) if \(\text{Re }\mu< 3\), then \[ z_ n= -(\pi(n+ \mu/2)+ O(n^{\text{Re }\mu-3}))^ 2,\quad n\to_ + \infty, \] and besides, if \(\mu\) is real, then all the zeros of \(E_{1/2}(z;\mu)\) sufficiently large in the absolute value are real. Theorem 3. Let be \(0<\rho<1/2\), \(\mu\in\mathbb{C}\). Then all the zeros of \(E_ \rho(z;\mu)\) sufficiently large in the absolute value are primitive and given by the formula \[ z_ n= -((\pi/\sin\pi\rho)(n+ 1/2+ \rho(\mu- 1))+ \alpha_ n)^{1/\rho},\quad n\to+\infty, \] where 1) for \(1/6< \rho< 1/2\), \[ \alpha_ n= O(n^{-(\text{Re }\tau)/\rho}\exp(-\pi n\text{ ctg }\pi\rho)),\quad \tau=\tau_ \mu, \] 2) for \(\rho< 1/6\), \[ \alpha_ n= O(\exp(-\pi n(\cos \pi\rho-\cos 3\pi\rho)/\sin \pi\rho)), \] 3) for \(=1/6\), \[ \alpha_ n= O(n^{\max(0,-(\text{Re }\tau)/\rho)}\exp(- \pi n\text{ ctg }\pi\rho)),\quad \tau=\tau_ \mu. \] In all cases if \(\mu\) is real, all the zeros which are sufficiently large in the absolute values are also real.