Abstract:It is proved by the method of partial fraction expansions and Sturm's oscillation theory that the zeros of certain Hankel transforms are all real and distributed regularly between consecutive zeros of Bessel functions. As an application, the sufficient or necessary conditions on parameters for which ${}_1F_2$ hypergeometric functions belong to the Laguerre-Pólya class are investigated in a constructive manner.
What problem does this paper attempt to address?
This paper aims to solve problems related to the properties and distribution of the zeros of the Hankel transform. Specifically, by means of the method of partial fraction expansion and Sturm's oscillation theory, the paper proves that all zeros of certain Hankel transforms are real and that these zeros are regularly distributed between consecutive zeros of the Bessel function. In addition, as an application, the paper also investigates sufficient or necessary conditions for a specific $_1F_2$ hypergeometric function to belong to the Laguerre - Pólya class under parametric conditions.
### Main Research Contents
1. **Partial Fraction Expansion**: The paper derives a family of partial fraction expansions of the form
\[
\frac{H_\nu(f)(z)}{z^\lambda J_\mu(z)} = \frac{b}{z} + \sum_{m = 1}^{\infty}a_m\left(\frac{1}{z - j_{\mu,m}}+\frac{1}{z + j_{\mu,m}}\right)
\]
where the parameter \(- 1 < \mu < \nu + 2\), \(j_{\mu,m}\) represents the positive zeros of \(J_\mu(z)\), and \(\lambda\) is preset to determine the explicit expressions of the residues \(b, a_m\). If \(a_m\) maintains a constant sign for all \(m\), it can be determined that each zero of \(H_\nu(f)(z)\) lies between consecutive zeros of \(J_\mu(z)\).
2. **Properties and Distribution of Zeros**: Using the partial fraction expansion, the paper proves that the zeros of \(H_\nu(f)(z)\) are all real and simple, and these zeros are regularly distributed between consecutive zeros of the Bessel function \(J_\mu(z)\). Specifically:
- If \(a_m>0\) for all \(m\), then there is exactly one zero in each interval \((j_{\mu,m}, j_{\mu,m + 1})\).
- If \(a_m < 0\) for all \(m\), then there is exactly one zero in each of the intervals \((0, j_{\mu,1})\) and \((j_{\mu,m}, j_{\mu,m + 1})\).
3. **Application to the Laguerre - Pólya Class**: The paper further investigates the conditions for \(H_\nu(f)(z)\) to belong to the Laguerre - Pólya class. Specifically, if \(f(t)\) satisfies certain conditions such that the signs of the sequence \(H_\nu(f)(j_{\mu,m})\) alternate, then \(H_\nu(f)(z)\) belongs to the Laguerre - Pólya class.
### Applications
The paper pays particular attention to the zeros of the $_1F_2$ hypergeometric function of the form
\[
\Phi(z) = _1F_2\left(a; b, c;-\frac{z^2}{4}\right)
\]
and investigates the parameter sets or patterns in the Laguerre - Pólya class. The paper finds that these parameter sets include line segments, infinite half - rays, lattice points and rectangles, covering a considerable part of the necessary region.
### Conclusions
By means of partial fraction expansion and Sturm's comparison theorem, the paper successfully solves the problems of the properties and distribution of the zeros of the Hankel transform and provides a theoretical basis for further research.