Asymptotic expansion for the hypergeometric-integral kernel in the small-argument regime

Derive an asymptotic expansion for the integral kernel I(m,x) when x is much smaller than T^{-2+\epsilon}, a regime in which the argument of the associated confluent hypergeometric functions remains bounded by T^{\epsilon}.

Background

The paper analyzes the off-diagonal term Σ2(r;h)\Sigma_2(r;h) arising in the twisted second moment of Maass-form symmetric-square LL-functions. The analysis depends on the behavior of the integral transform I(m,x)I(m,x), whose parameter xx is divided into distinct ranges.

For xx near or above the transition scale, the authors use asymptotic formulas or direct estimates for the relevant hypergeometric functions. However, in the smaller range xT2+ϵx\ll T^{-2+\epsilon}, the argument of the confluent hypergeometric functions does not become sufficiently large for the asymptotic expansion used elsewhere. The authors therefore replace the unavailable expansion with a bound obtained by expressing the relevant confluent hypergeometric functions in terms of modified Bessel functions. Establishing an asymptotic expansion in this regime would provide more precise information about I(m,x)I(m,x) beyond the estimates used in the paper.

References

If $x \ll T{-2+\epsilon}$, we are unable to obtain an asymptotic expansion for $I(m,x)$, as the argument of the confluent hypergeometric functions in Lemma 4.4 remains bounded by $T{\epsilon}$.

Moments and Non-Vanishing of Maass Form Symmetric Square L-Functions in Short Intervals  (2609.11119 - Balkanova et al., 10 Sep 2026) in Section 'Evaluation of $2(r;h)$' (Section \ref{sec:SIN}), immediately before equation (\ref{U to K0})