English

One helpful property of functions generating P\'olya frequency sequences

Complex Variables 2017-05-25 v1

Abstract

In this work we study the solutions of the equation zpR(zk)=αz^pR(z^k)=\alpha with nonzero complex α\alpha, integer p,kp,k and R(z)R(z) generating a (possibly doubly infinite) totally positive sequence. It is shown that the zeros of zpR(zk)αz^pR(z^k)-\alpha are simple (or at most double in the case of real αk\alpha^k) and split evenly among the sectors {jkπArgzj+1kπ}\{\frac jk \pi\le\operatorname{Arg} z\le\frac {j+1}k \pi\}, j=0,,2k1j=0,\dots, 2k-1. Our approach rests on the fact that z(lnzp/kR(z))z(\ln z^{p/k}R(z) )' is an R\mathcal R-function (i.e. maps the upper half of the complex plane into itself). This result guarantees the same localization to zeros of entire functions f(zk)+zpg(zk)f(z^k)+z^p g(z^k) and g(zk)+zpf(zk)g(z^k)+z^{p}f(z^k) provided that f(z)f(z) and g(z)g(-z) have genus 00 and only negative zeros. As an application, we deduce that functions of the form n=0(±i)n(n1)/2anzn\sum_{n=0}^\infty (\pm i)^{n(n-1)/2}a_n z^{n} have simple zeros distinct in absolute value under a certain condition on the coefficients an0a_n\ge 0. This includes the "disturbed exponential" function corresponding to an=qn(n1)/2/n!a_n= q^{n(n-1)/2}/n! when 0<q10<q\le 1, as well as the partial theta function corresponding to an=qn(n1)/2a_n= q^{n(n-1)/2} when 0<qq0.74572241070<q\le q_*\approx 0.7457224107.

Cite

@article{arxiv.1506.07689,
  title  = {One helpful property of functions generating P\'olya frequency sequences},
  author = {Alexander Dyachenko},
  journal= {arXiv preprint arXiv:1506.07689},
  year   = {2017}
}

Comments

25 pages, 3 figures

R2 v1 2026-06-22T10:00:03.691Z