Source author record

Bai-Ni Guo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

42works
3topics
4close collaborators

Published work

42 publications

preprint2022arXiv

Increasing property and logarithmic convexity of functions involving Riemann zeta function

Let α>0α>0 be a constant, let ℓ≥0\ell\ge0 be an integer, and let Γ(z)Γ(z) denote the classical Euler gamma function. With the help of the integral representation for the Riemann zeta function ζ(z)ζ(z), by virtue of a monotonicity rule for the ratio of two integrals with a parameter, and by means of complete monotonicity and another property of the function 1et−1\frac{1}{e^t-1} and its derivatives, the authors present that, (1) for ℓ≥0\ell\ge0, the function \begin{equation*} x\mapsto\binom{x+α+\ell}α\frac{ζ(x+α)}{ζ(x)} \end{equation*} is increasing from (1,∞)(1,\infty) onto (0,∞)(0,\infty), where (zw)\binom{z}{w} denotes the extended binomial coefficient; (2) for ℓ≥1\ell\ge1, the function x↦Γ(x+ℓ)ζ(x)x\mapstoΓ(x+\ell)ζ(x) is logarithmically convex on (1,∞)(1,\infty).

preprint2021arXiv

Maclaurin's series expansions for positive integer powers of inverse (hyperbolic) sine and related functions, specific values of partial Bell polynomials, and two applications

In the paper, the authors establish Maclaurin's series expansions and series identities for positive integer powers of the inverse sine function, for positive integer powers of the inverse hyperbolic sine function, for the composite of incomplete gamma functions with the inverse hyperbolic sine function, for positive integer powers of the inverse tangent function, and for positive integer powers of the inverse hyperbolic tangent function, in terms of the first kind Stirling numbers and binomial coefficients, apply the newly established Maclaurin's series expansion for positive integer powers of the inverse sine function to derive a closed-form formula for specific values of partial Bell polynomials and to derive a series representation of the generalized logsine function, and deduce several combinatorial identities involving the first kind Stirling numbers. Some of these results simplify and unify some known ones. All of these newly established Maclaurin's series expansions of positive integer powers of the inverse (hyperbolic) sine and tangent functions can be used to derive infinite series representations of the circular constant Pi and of positive integer powers of Pi.

preprint2020arXiv

From inequalities involving exponential functions and sums to logarithmically complete monotonicity of ratios of gamma functions

In the paper, the authors review origins, motivations, and generalizations of a series of inequalities involving several exponential functions and sums, establish three new inequalities involving finite exponential functions and sums by finding convexity of a function related to the generating function of the Bernoulli numbers, survey the history, backgrounds, generalizations, logarithmically complete monotonicity, and applications of a series of ratios of finite gamma functions, present complete monotonicity of a linear combination of finite trigamma functions, construct a new ratio of finite gamma functions, derives monotonicity, logarithmic convexity, concavity, complete monotonicity, and the Bernstein function property of the newly constructed ratio of finite gamma functions, and suggest two linear combinations of finite trigamma functions and two ratios of finite gamma functions to be investigated.

preprint2014arXiv

Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind

In the paper, the author elementarily unifies and generalizes eight identities involving the functions ±1e±t−1\frac{\pm1}{e^{\pm t}-1} and their derivatives. By one of these identities, the author establishes two explicit formulae for computing Euler polynomials and two-parameter Euler polynomials, which are a newly introduced notion, in terms of Stirling numbers of the second kind.

preprint2011arXiv

An extension of an inequality for ratios of gamma functions

In this paper, we prove that for x+y>0x+y>0 and y+1>0y+1>0 the inequality {equation*} \frac{[Γ(x+y+1)/Γ(y+1)]^{1/x}}{[Γ(x+y+2)/Γ(y+1)]^{1/(x+1)}} <\biggl(\frac{x+y}{x+y+1}\biggr)^{1/2} {equation*} is valid if x>1x>1 and reversed if x<1x<1 and that the power 12\frac12 is the best possible, where Γ(x)Γ(x) is the Euler gamma function. This extends the result in [Y. Yu, \textit{An inequality for ratios of gamma functions}, J. Math. Anal. Appl. \textbf{352} (2009), no.~2, 967\nobreakdash--970.] and resolves an open problem posed in [B.-N. Guo and F. Qi, \emph{Inequalities and monotonicity for the ratio of gamma functions}, Taiwanese J. Math. \textbf{7} (2003), no.~2, 239\nobreakdash--247.].

preprint2011arXiv

Complete monotonicity of a function involving a ratio of gamma functions and applications

In the paper, necessary and sufficient conditions are presented for a function involving a ratio of gamma functions to be logarithmically completely monotonic. This extends and generalizes the main result in [\emph{Inequalities and monotonicity for the ratio of gamma functions}, Taiwanese J. Math. \textbf{7} (2003), no.~2, 239\nobreakdash--247.] and others. As applications, several inequalities involving the volume of the unit ball in Rn\mathbb{R}^n are derived, which refine, generalize and extend some known inequalities.

preprint2010arXiv

A completely monotonic function involving the tri- and tetra-gamma functions

The psi function ψ(x)ψ(x) is defined by ψ(x)=Γ′(x)Γ(x)ψ(x)=\frac{Γ'(x)}{Γ(x)} and ψ(i)(x)ψ^{(i)}(x) for i∈Ni\in\mathbb{N} denote the polygamma functions, where Γ(x)Γ(x) is the gamma function. In this paper we prove that a function involving the difference between [ψ′(x)]2+ψ′′(x)[ψ'(x)]^2+ψ''(x) and a proper fraction of xx is completely monotonic on (0,∞)(0,\infty).

preprint2010arXiv

Monotonicity and logarithmic convexity relating to the volume of the unit ball

Let ΩnΩ_n stand for the volume of the unit ball in Rn\mathbb{R}^n for n∈Nn\in\mathbb{N}. In the present paper, we prove that the sequence Ωn1/(nln⁡n)Ω_{n}^{1/(n\ln n)} is logarithmically convex and that the sequence Ωn1/(nln⁡n)Ωn+11/[(n+1)ln⁡(n+1)]\frac{Ω_{n}^{1/(n\ln n)}}{Ω_{n+1}^{1/[(n+1)\ln(n+1)]}} is strictly decreasing for n≥2n\ge2. In addition, some monotonic and concave properties of several functions relating to ΩnΩ_{n} are extended and generalized.

preprint2010arXiv

Sharp bounds for harmonic numbers

In the paper, we first survey some results on inequalities for bounding harmonic numbers or Euler-Mascheroni constant, and then we establish a new sharp double inequality for bounding harmonic numbers as follows: For n∈Nn\in\mathbb{N}, the double inequality -\frac{1}{12n^2+{2(7-12γ)}/{(2γ-1)}}\le H(n)-\ln n-\frac1{2n}-γ<-\frac{1}{12n^2+6/5} is valid, with equality in the left-hand side only when n=1n=1, where the scalars 2(7−12γ)2γ−1\frac{2(7-12γ)}{2γ-1} and 65\frac65 are the best possible.

preprint2010arXiv

Uniqueness of nontrivially complete monotonicity for a class of functions involving polygamma functions

For m,n∈Nm,n\in\mathbb{N}, let fm,n(x)=[ψ(m)(x)]2+ψ(n)(x)f_{m,n}(x)=\bigr[ψ^{(m)}(x)\bigl]^2+ψ^{(n)}(x) on (0,∞)(0,\infty). In the present paper, we prove using two methods that, among all fm,n(x)f_{m,n}(x) for m,n∈Nm,n\in\mathbb{N}, only f1,2(x)f_{1,2}(x) is nontrivially completely monotonic on (0,∞)(0,\infty). Accurately, the functions f1,2(x)f_{1,2}(x) and fm,2n−1(x)f_{m,2n-1}(x) are completely monotonic on (0,∞)(0,\infty), but the functions fm,2n(x)f_{m,2n}(x) for (m,n)≠(1,1)(m,n)\ne(1,1) are not monotonic and does not keep the same sign on (0,∞)(0,\infty).

preprint2009arXiv

A class of completely monotonic functions involving divided differences of the psi and polygamma functions and some applications

A class of functions involving the divided differences of the psi function and the polygamma functions and originating from Kershaw's double inequality are proved to be completely monotonic. As applications of these results, the monotonicity and convexity of a function involving ratio of two gamma functions and originating from establishment of the best upper and lower bounds in Kershaw's double inequality are derived, two sharp double inequalities involving ratios of double factorials are recovered, the probability integral or error function is estimated, a double inequality for ratio of the volumes of the unit balls in Rn−1\mathbb{R}^{n-1} and Rn\mathbb{R}^n respectively is deduced, and a symmetrical upper and lower bounds for the gamma function in terms of the psi function is generalized.

preprint2009arXiv

A property of logarithmically absolutely monotonic functions and the logarithmically complete monotonicity of a power-exponential function

In the article, a notion "logarithmically absolutely monotonic function" is introduced, an inclusion that a logarithmically absolutely monotonic function is also absolutely monotonic is revealed, the logarithmically complete monotonicity and the logarithmically absolute monotonicity of the function (1+αx)x+β\bigl(1+\fracαx\bigr) ^{x+β} are proved, where αα and ββ are given real parameters, a new proof for the inclusion that a logarithmically completely monotonic function is also completely monotonic is given, and an open problem is posed.

preprint2009arXiv

Complete monotonicity of some functions involving polygamma functions

In the present paper, we establish necessary and sufficient conditions for the functions xα∣ψ(i)(x+β)∣x^α\bigl\lvertψ^{(i)}(x+β)\bigr\lvert and α∣ψ(i)(x+β)∣−x∣ψ(i+1)(x+β)∣α\bigl\lvertψ^{(i)}(x+β)\bigr\lvert-x\bigl\lvertψ^{(i+1)}(x+β)\bigr\lvert respectively to be monotonic and completely monotonic on (0,∞)(0,\infty), where i∈Ni\in\mathbb{N}, α>0α>0 and β≥0β\ge0 are scalars, and ψ(i)(x)ψ^{(i)}(x) are polygamma functions.

preprint2009arXiv

Necessary and sufficient conditions for a function involving divided differences of the di- and tri-gamma functions to be completely monotonic

In the present paper, necessary and sufficient conditions are established for a function involving divided differences of the digamma and trigamma functions to be completely monotonic. Consequently, necessary and sufficient conditions are derived for a function involving the ratio of two gamma functions to be logarithmically completely monotonic, and some double inequalities are deduced for bounding divided differences of polygamma functions.

preprint2009arXiv

Sharp inequalities for polygamma functions

The main aim of this paper is to prove that the double inequality \frac{(k-1)!}{\Bigl\{x+\Bigl[\frac{(k-1)!}{|ψ^{(k)}(1)|}\Bigr]^{1/k}\Bigr\}^k} +\frac{k!}{x^{k+1}}<\bigl|ψ^{(k)}(x)\bigr|<\frac{(k-1)!}{\bigl(x+\frac12\bigr)^k}+\frac{k!}{x^{k+1}} holds for x>0x>0 and k∈Nk\in\mathbb{N} and that the constants [(k−1)!∣ψ(k)(1)∣]1/k\Bigl[\frac{(k-1)!}{|ψ^{(k)}(1)|}\Bigr]^{1/k} and 12\frac12 are the best possible. In passing, some related inequalities and (logarithmically) complete monotonicity results concerning the gamma, psi and polygamma functions are surveyed.

preprint2009arXiv

Some logarithmically completely monotonic functions related to the gamma function

In this article, logarithmically complete monotonicity properties of some functions such as 1[Γ(x+1)]1/x\frac1{[Γ(x+1)]^{1/x}}, [Γ(x+α+1)]1/(x+α)[Γ(x+1)]1/x\frac{[{Γ(x+α+1)}]^{1/(x+α)}}{[{Γ(x+1)}]^{1/x}}, [Γ(x+1)]1/x(x+1)α\frac{[Γ(x+1)]^{1/x}}{(x+1)^α} and [Γ(x+1)]1/xxα\frac{[Γ(x+1)]^{1/x}}{x^α} defined in (−1,∞)(-1,\infty) or (0,∞)(0,\infty) for given real number $α\in\tr$ are obtained, some known results are recovered, extended and generalized. Moreover, some basic properties of the logarithmically completely monotonic functions are established.

preprint2009arXiv

The function (bx−ax)/x(b^x-a^x)/x: Ratio's properties

In the paper, after reviewing the history, background, origin, and applications of the functions bt−att\frac{b^{t}-a^{t}}{t} and e−αt−e−βt1−e−t\frac{e^{-αt}-e^{-βt}}{1-e^{-t}}, we establish sufficient and necessary conditions such that the special function eαt−eβteλt−eμt\frac{e^{αt}-e^{βt}}{e^{λt}-e^{μt}} are monotonic, logarithmic convex, logarithmic concave, 3-log-convex and 3-log-concave on R\mathbb{R}, where α,β,λα,β,λ and μμ are real numbers satisfying (α,β)≠(λ,μ)(α,β)\ne(λ,μ), (α,β)≠(μ,λ)(α,β)\ne(μ,λ), α≠βα\neβ and λ≠μλ\neμ.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.