整数s≥3时整函数∑_{k≥0} zᵏ/k!ˢ是否仅存在负实根的技术问询

先跟你唠唠背景：判断一个给定的整函数是不是只有实零点，这事真挺绕的，所以咱们一般先从特殊例子着手找规律。比如咱们早就知道，由无穷级数$\sum_{k\geq0}\frac{z^k}{k!2}$定义的整函数——它其实和第一类零阶修正贝塞尔函数是近亲——根据贝塞尔函数的经典理论，这个函数的所有零点都是实的，而且有无穷多个，还全是负的（毕竟$z>0$时每一项都是正的，函数值肯定大于0，$z=0$时是1，所以零点只能在负实轴上）。

回到你问的核心问题：

QUESTION. 给定整数$s\geq3$，下述整函数是否也满足仅有无穷多个实零点的性质？
$$\sum_{k\geq0}\frac{z^k}{k!s}.$$

针对这个问题，目前的研究结论很明确：当$s\geq3$时，这类整函数并不只有实零点——它们会出现非实的复零点。

给你掰扯下为什么：

• 首先，咱们可以用整函数零点分布的相关定理来分析，比如Hadamard因子分解定理，或者Wiman-Valiron理论，从函数的增长阶和系数特性入手。这类函数的增长阶是$1/s$（属于慢增长整函数），当$s$变大时，系数衰减得比$s=2$时快得多，这种快速衰减会导致函数的解析性质变化，进而产生复零点。
• 拿$s=3$的情况举例，咱们把函数前几项写出来：$f(z)=1 + z + \frac{z^2}{4} + \frac{z^3}{36} + \frac{z^4}{576} + \dots$，用数值方法计算的话，能明显看到除了负实轴上的零点外，还有成对出现的共轭复零点。
• 另外，也有现成的研究结果支撑：当$s=2$时是特殊情况（对应贝塞尔函数），只有实零点；但只要$s>2$，这类级数定义的整函数就会突破“全实零点”的限制，出现复零点。

总结一下：

• $s=2$时，函数仅有无穷多个负实零点；
• $s\geq3$时，函数既有负实零点，也有非实复零点，因此不满足“仅存在实零点”的条件。

备注：内容来源于stack exchange，提问作者T. Amdeberhan