Noninteger completely monotonic degrees of Stirling remainders and their derivatives
Abstract
For Stirling expansions truncated after at least two Bernoulli terms, we disprove the three real-degree conjectures recorded by Mahmoud and Qi for the signed remainders of the logarithm of the gamma function and their derivatives. We give a unified proof of the corresponding integer-degree formula, recovering known cases and resolving Zhu's conjectures for higher derivatives in this range. Every real completely monotonic degree lies strictly between the predicted integer and the next integer. We obtain a universal fractional lower bound through an explicit inverse function and a simpler rational bound valid for every derivative order. A local estimate for the negative part of the Laplace kernel's derivative with respect to its logarithmic variable makes the lower improvement proportional to the reciprocal of the combined truncation and derivative order. Together with a uniform upper bound, this determines the exact order of decay of the fractional excess for each fixed derivative order and for its supremum over all derivative orders. Sharper kernel estimates give stronger bounds for the first two degrees. The proof combines fractional positivity criteria, the classical Laplace representation, a sign characterization of the associated densities, and a convexity obstruction at the upper integer endpoint. All estimates used in the proofs are analytic. The exact real degrees and the optimal asymptotic constants remain open.
Related
- Sharpness Loss for Radon--Nikodym Derivatives of Completely Positive Maps
- Some Expressions involving Bernoulli, Harmonic, and Stirling Numbers
- Binomial expansions of Jacobi-Stirling numbers and real-rootedness of Jacobi-Stirling descent polynomials
- On the Unified Generalized q-Stirling Matrices and Their Matrix Decompositions
- Sharp linear Turán remainders for cycle and edge extremality
BibTeX
@misc{krasniqi2026noninteger,
title = {{Noninteger completely monotonic degrees of Stirling remainders and their derivatives}},
author = {Valmir Krasniqi},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.33699},
eprint = {2610.33699},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.33699},
}
RIS
TY - UNPB
TI - Noninteger completely monotonic degrees of Stirling remainders and their derivatives
AU - Valmir Krasniqi
PY - 2026
DA - 2026/10/24
PB - arXiv
DO - 10.48550/arxiv.2610.33699
UR - https://arxiv.org/abs/2610.33699
AB - For Stirling expansions truncated after at least two Bernoulli terms, we disprove the three real-degree conjectures recorded by Mahmoud and Qi for the signed remainders of the logarithm of the gamma function and their derivatives. We give a unified proof of the corresponding integer-degree formula, recovering known cases and resolving Zhu's conjectures for higher derivatives in this range. Every real completely monotonic degree lies strictly between the predicted integer and the next integer. We obtain a universal fractional lower bound through an explicit inverse function and a simpler rational bound valid for every derivative order. A local estimate for the negative part of the Laplace kernel's derivative with respect to its logarithmic variable makes the lower improvement proportional to the reciprocal of the combined truncation and derivative order. Together with a uniform upper bound, this determines the exact order of decay of the fractional excess for each fixed derivative order and for its supremum over all derivative orders. Sharper kernel estimates give stronger bounds for the first two degrees. The proof combines fractional positivity criteria, the classical Laplace representation, a sign characterization of the associated densities, and a convexity obstruction at the upper integer endpoint. All estimates used in the proofs are analytic. The exact real degrees and the optimal asymptotic constants remain open.
ER -