Complete monotonicity conjecture for even powers of Baskakov functions

At least 14 years old · documented by

Let r>1r>1 be an even integer and let α>0\alpha>0. Define

fα[r](x)=(1+x)−rα∑k=0∞(−αk)r(x1+x)rk,x≥0.f_{\alpha}^{[r]}(x)=(1+x)^{-r\alpha}\sum_{k=0}^{\infty}\binom{-\alpha}{k}^{r}\left(\frac{x}{1+x}\right)^{rk},\qquad x\geq 0.

For positive cc and n∈Nn\in\mathbb{N}, also define

pn,k[c](x)=(−n/ck)(−cx)k(1+cx)−n/c−kp_{n,k}^{[c]}(x)=\binom{-n/c}{k}\left(-cx\right)^k\left(1+cx\right)^{-n/c-k}

and

ψn,c[r](x)=∑k=0∞(pn,k[c](x))r,x≥0.\psi_{n,c}^{[r]}(x)=\sum_{k=0}^{\infty}\left(p_{n,k}^{[c]}(x)\right)^r,\qquad x\geq 0.

Even-power complete-monotonicity conjecture. The function fα[r]f_{\alpha}^{[r]} is completely monotonic on [0,∞)[0,\infty). In particular, ψn,c[r]\psi_{n,c}^{[r]} is completely monotonic on [0,∞)[0,\infty). The paper presents this as a conjecture after noting that numerical simulations suggest the property for even rr, while its results establish the case r=2r=2; the general even-power case remains open in the supplied text.

References

Primary source

Ulrich Abel, Wolfgang Gawronski and Thorsten Neuschel, “Complete Monotonicity and Zeros of Sums of Squared Baskakov Functions”, arXiv:1411.7945 (2014).

Additional references

2 papers in this index state this conjecture (2011–2014). The statement above is taken from the most recent of them; the others are arXiv:1104.2401.

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.