Complete monotonicity of squared derivative ratios of Mill's ratio

Let rr denote Mill's ratio, and write r(n)r^{(n)} for its nnth derivative. A function is completely monotone (CM) if all derivatives exist on (0,)(0,\infty) and satisfy the alternating-sign inequalities. The Mill's-ratio derivative-ratio conjecture. For every integer nn, the function

z    (r(n)(z))2r(2n+1)(z)z\;\mapsto\;-\frac{\left(r^{(n)}(z)\right)^2}{r^{(2n+1)}(z)}

is CM. The claim refines the preceding proved result with the argument z\sqrt z; the paper reports simulation support but no proof.

Sources & referencesView supporting material

Primary source

Rui A. C. Ferreira and Thomas Simon, “Convolution of beta prime distribution”, arXiv:2108.09244 (2022).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.