Chen's complete-monotonicity remainder conjecture for Bernoulli polynomials

For t>0t>0 and mN0m\in\mathbb{N}_0, let Bn(x)B_n(x) denote the Bernoulli polynomials and define

μm(t)=et/3e2t/3et1j=0m2B2j+1(13)(2j+1)!t2j.\mu_m(t)=\frac{e^{t/3}-e^{2t/3}}{e^{t}-1}-\sum_{j=0}^{m}\frac{2B_{2j+1}(\frac{1}{3})}{(2j+1)!}t^{2j}.

Also define

νm(t)=et/4e3t/4et1j=0m2B2j+1(14)(2j+1)!t2j.\nu_m(t)=\frac{e^{t/4}-e^{3t/4}}{e^{t}-1}-\sum_{j=0}^{m}\frac{2B_{2j+1}(\frac{1}{4})}{(2j+1)!}t^{2j}.

Chen's conjecture. For every t>0t>0 and mN0m\in\mathbb{N}_0, one has

(1)mμm(t)>0(-1)^m\mu_m(t)>0

and

(1)mνm(t)>0.(-1)^m\nu_m(t)>0.

These are sign conjectures for the remainders in Bernoulli-polynomial expansions of the two exponential quotients. The supplied source does not indicate whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

C. -P. Chen and R. B. Paris, “Some results associated with Bernoulli and Euler numbers with applications”, arXiv:1601.02192 (2016).

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.