Negative-argument congruence conjecture for partial Stirling functions

From papers

Let Pn(x)P_n(x) denote the partial Stirling function, let ν\nu be the 2-adic valuation, and let o(n)=n/2ν(n)\operatorname{o}(n)=n/2^{\nu(n)} be the odd part of nn. For integers ee and Δ\Delta in the range considered in the paper, and for x<0x<0, the negative-argument congruence conjecture.

P2e+Δ(x)2o(2e!)PΔ(x)(mod2elg([Δ/2]x)).P_{2^e+\Delta}(x)\equiv\frac{2}{\operatorname{o}(2^e!)}P_\Delta(x)\pmod {2^{e-\operatorname{lg}([\Delta/2]-x)}}.

This would extend the corresponding congruence already obtained for 0x<Δ0\le x<\Delta and describe the limiting behavior of these functions at negative arguments.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Donald M. Davis, “2-adic Stirling functions and their zeros”, arXiv:1402.0433 (2014).

Solutions 0

No solutions have been posted yet.