错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

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

  • Zhen-Hang Yang,
  • Jing-Feng Tian

摘要

Let p, q ∈ ℝ with pq ≽ 0, \(\sigma = {1 \over 2}(p + q - 1)\) σ = 1 2 ( p + q 1 ) and \(s = {1 \over 2}(1 - p + q)\) s = 1 2 ( 1 p + q ) , and let \({{\cal D}_m}(x;p,q) = {{\cal D}_0}(x;p,q) + \sum\limits_{k = 1}^m {{{{B_{2k}}(s)} \over {2k{{(x + \sigma )}^{2k}}}},} \) D m ( x ; p , q ) = D 0 ( x ; p , q ) + k = 1 m B 2 k ( s ) 2 k ( x + σ ) 2 k , where \({{\cal D}_0}(x;p,q) = {{\psi (x + p) + \psi (x + q)} \over 2} - \ln (x + \sigma ).\) D 0 ( x ; p , q ) = ψ ( x + p ) + ψ ( x + q ) 2 ln ( x + σ ) .

We establish the asymptotic expansion \({{\cal D}_0}(x;p,q) \sim - \sum\limits_{n = 1}^\infty {{{{B_{2n}}(s)} \over {2n{{(x + \sigma )}^{2n}}}}\,\,\,\,\,{\rm{as}}\,\,x \to \infty ,} \) D 0 ( x ; p , q ) n = 1 B 2 n ( s ) 2 n ( x + σ ) 2 n a s x , where B2n(s) stands for the Bernoulli polynomials. Further, we prove that the functions \({( - 1)^m}{{\cal D}_m}(x;p,q)\) ( 1 ) m D m ( x ; p , q ) and \({( - 1)^{m + 1}}{{\cal D}_m}(x;p,q)\) ( 1 ) m + 1 D m ( x ; p , q ) are completely monotonic in x on (−σ, ∞) for every m ∈ ℕ0 if and only if \(p - q \in [0,{1 \over 2}]\) p q [ 0 , 1 2 ] and pq = 1, respectively. This not only unifies the two known results but also yields some new results.