Complete monotonicity of the remainder in an asymptotic series related to the psi function

@article{Yang2024,
abstract = {Let $p,q\in \mathbb \{R\}$ with $p-q\ge 0$, $\sigma = \frac\{1\}\{2\} ( p+q-1)$ and $s=\frac\{1\}\{2\} ( 1-p+q)$, and let \[ \mathcal \{D\}\_\{m\} ( x;p,q ) =\mathcal \{D\}\_\{0\} ( x;p,q ) +\sum \_\{k=1\}^\{m\}\frac\{B\_\{2k\} ( s) \}\{2k ( x+\sigma ) ^\{2k\}\} , \] where \[ \mathcal \{D\}\_\{0\} ( x;p,q ) =\frac\{\psi ( x+p ) +\psi ( x+q ) \}\{2\}-\ln ( x+\sigma ) . \] We establish the asymptotic expansion \[ \mathcal \{D\}\_\{0\} ( x;p,q ) \sim -\sum \_\{n=1\}^\{\infty \} \frac\{B\_\{2n\} ( s ) \}\{2n ( x+\sigma ) ^\{2n\}\} \quad \text\{as\} \ x\rightarrow \infty , \] where $B_\{2n\} ( s ) $ stands for the Bernoulli polynomials. Further, we prove that the functions $( -1) ^\{m\}\mathcal \{D\}_\{m\} ( x;p,q )$ and $( -1) ^\{m+1\}\mathcal \{D\}_\{m\} ( x;p,q )$ are completely monotonic in $x$ on $( -\sigma ,\infty )$ for every $m\in \mathbb \{N\}_\{0\}$ if and only if $p-q\in [ 0, \tfrac\{1\}\{2\} ]$ and $p-q=1$, respectively. This not only unifies the two known results but also yields some new results.},
author = {Yang, Zhen-Hang, Tian, Jing-Feng},
journal = {Czechoslovak Mathematical Journal},
keywords = {psi function; asymptotic expansion; complete monotonicity},
language = {eng},
number = {1},
pages = {337-351},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Complete monotonicity of the remainder in an asymptotic series related to the psi function},
url = {http://eudml.org/doc/299215},
volume = {74},
year = {2024},
}

TY - JOUR
AU - Yang, Zhen-Hang
AU - Tian, Jing-Feng
TI - Complete monotonicity of the remainder in an asymptotic series related to the psi function
JO - Czechoslovak Mathematical Journal
PY - 2024
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 74
IS - 1
SP - 337
EP - 351
AB - Let $p,q\in \mathbb {R}$ with $p-q\ge 0$, $\sigma = \frac{1}{2} ( p+q-1)$ and $s=\frac{1}{2} ( 1-p+q)$, and let \[ \mathcal {D}_{m} ( x;p,q ) =\mathcal {D}_{0} ( x;p,q ) +\sum _{k=1}^{m}\frac{B_{2k} ( s) }{2k ( x+\sigma ) ^{2k}} , \] where \[ \mathcal {D}_{0} ( x;p,q ) =\frac{\psi ( x+p ) +\psi ( x+q ) }{2}-\ln ( x+\sigma ) . \] We establish the asymptotic expansion \[ \mathcal {D}_{0} ( x;p,q ) \sim -\sum _{n=1}^{\infty } \frac{B_{2n} ( s ) }{2n ( x+\sigma ) ^{2n}} \quad \text{as} \ x\rightarrow \infty , \] where $B_{2n} ( s ) $ stands for the Bernoulli polynomials. Further, we prove that the functions $( -1) ^{m}\mathcal {D}_{m} ( x;p,q )$ and $( -1) ^{m+1}\mathcal {D}_{m} ( x;p,q )$ are completely monotonic in $x$ on $( -\sigma ,\infty )$ for every $m\in \mathbb {N}_{0}$ if and only if $p-q\in [ 0, \tfrac{1}{2} ]$ and $p-q=1$, respectively. This not only unifies the two known results but also yields some new results.
LA - eng
KW - psi function; asymptotic expansion; complete monotonicity
UR - http://eudml.org/doc/299215
ER -