English

When does a hypergeometric function ${}_{p\!}F_q$ belong to the Laguerre--P\'olya class $LP^+$?

Classical Analysis and ODEs 2022-06-23 v1 Complex Variables

Abstract

I show that a hypergeometric function pFq(a1,,ap;b1,,bq;){}_{p}F_q(a_1,\ldots,a_p;b_1,\ldots,b_q;\,\cdot\,) with pqp \le q belongs to the Laguerre--P\'olya class LP+LP^+ for arbitrarily large bp+1,,bq>0b_{p+1},\ldots,b_q > 0 if and only if, after a possible reordering, the differences aibia_i - b_i are nonnegative integers. This result arises as an easy corollary of the case p=qp=q proven two decades ago by Ki and Kim. I also give explicit examples for the case 1F2{}_{1}F_2.

Keywords

Cite

@article{arxiv.2204.01045,
  title  = {When does a hypergeometric function ${}_{p\!}F_q$ belong to the Laguerre--P\'olya class $LP^+$?},
  author = {Alan D. Sokal},
  journal= {arXiv preprint arXiv:2204.01045},
  year   = {2022}
}

Comments

10 pages, LaTeX2e