Complete monotonicity of two functions involving the tri- and tetra-gamma functions (Q2392046)

With regard to the definition of the psi function \(\psi\) (or the di-gamma function), which is the logarithmic derivative of the gamma function, and the polygamma function \(\psi ^{(i)}(x),i\in\mathbb{N}\), tri-gamma function \(\psi'(x)\) and tetra-gamma function \(\psi''(x)\) are referred to (see [\textit{H.~Alzer}, Forum Math. 16, 181--221 (2004; Zbl 1048.33001)], [\textit{N.~Batir}, J. Math. Anal. Appl. 328, 452--465 (2007; Zbl 1105.33002)] and [\textit{F.~Qi}, J. Inequal. Appl. 2010, Article ID 493058, 84 p. (2010; Zbl 1194.33005)]). This brief (but explicitly written) article provides a better lower bound than the one sided inequality (see [\textit{H.~Alzer}, Forum Math. 16, 181--221 (2004; Zbl 1048.33001)]) \[ [ \psi'(x)]^{2}+\psi''(x)> \frac{p(x)}{900x^{4}(x+1)^{10}},\quad x>0, \] and a simple upper bound for the function \([\psi'(x)]^{2}+\psi''(x)\), including the establishing of the complete monotonicity of \(\psi'(x)\) and \(\psi''(x)\). One of the two results establishes a two sided inequality on \((0,\infty)\) and the second proves the complete monotonicity of two functions, defined as \(f(x)\) and \(g(x)\) involving \(\psi ^{\prime }(x)\) and \(\psi ^{\prime \prime }(x)\), on \((0,\infty).\)