Inequalities for the gamma and q-gamma functions

We present several sharp inequalities for the classical gamma and q-gamma functions. Some inequalities involve the psi function and its q-analogue. Our results improve, complement, and generalize some known (nonsharp) estimates.     

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

The psi function ??(x) is defined by ??(x) = ????(x)/??(x) and ?? ⁽ⁱ⁾ (x), for i ?? ?, denote the polygamma functions, where ??(x) is the gamma function. In this paper, we prove that the functions $ [\psi '(x)]^2 + \psi ''(x) - \frac{{x^2 + 12}} {{12x^4 (x + 1)^2 }} $ and $ \frac{{x + 12}} {{12x^4 (x + 1)}} - \{ [\psi '(x)]^2 + \psi ''(x)\} $ are completely monotonic on (0,??).     

Integrals of psi—function

To the author's knowledge, among the so—called special functions, the gamma function is a unique one which is defined by a linear difference equation and is a hyper—transcendental function. There exists an another well—known hyper—transcendental function called the psi function, which is merely the logarithmic derivative of the gamma function. In this paper the author consider an extension of the gamma function and then obtain a series of integrals of the psi function.     

Complete monotonicity of a function involving the divided difference of digamma functions

In the paper, necessary and sufficient conditions are provided for a function involving the divided difference of two psi functions to be completely monotonic. Consequently, a class of inequalities for sums are presented, the logarithmically complete monotonicity of a function involving the ratio of two gamma functions are derived, and two double inequalities for bounding the ratio of two gamma functions are discovered.     

The modular properties and the integral representations of the multiple elliptic gamma functions

We show the modular properties of the multiple “elliptic” gamma functions, which are an extension of those of the theta function and the elliptic gamma function. The modular property of the theta function is known as Jacobi's transformation, and that of the elliptic gamma function was provided by Felder and Varchenko. In this paper, we deal with the multiple sine functions, since the modular properties of the multiple elliptic gamma functions result from the equivalence between two ways to represent the multiple sine functions as infinite products.We also derive integral representations of the multiple sine functions and the multiple elliptic gamma functions. We introduce correspondences between the multiple elliptic gamma functions and the multiple sine functions.     

On p-adic multiple zeta and log gamma functions

Text

We define p-adic multiple zeta and log gamma functions using multiple Volkenborn integrals, and develop some of their properties. Although our functions are close analogues of classical Barnes multiple zeta and log gamma functions and have many properties similar to them, we find that our p-adic analogues also satisfy reflection functional equations which have no analogues to the complex case. We conclude with a Laurent series expansion of the p-adic multiple log gamma function for (p-adically) large x which agrees exactly with Barnes?s asymptotic expansion for the (complex) multiple log gamma function, with the fortunate exception that the error term vanishes. Indeed, it was the possibility of such an expansion which served as the motivation for our functions, since we can use these expansions computationally to p-adically investigate conjectures of Gross, Kashio, and Yoshida over totally real number fields.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=I9Bv_CycEd8.     

On Quantum Dynamics on <Emphasis Type="Italic">C</Emphasis>*-Algebras

We study three related extremal problems in the space H of functions analytic in the unit disk such that their boundary values on a part γ₁ of the unit circle Γ belong to the space \(L_{{\psi _1}}^\infty ({\gamma _1})\)of functions essentially bounded on γ₁ with weight ψ₁ and their boundary values on the set γ₀ = Γ γ₁ belong to the space \(L_{{\psi _0}}^\infty ({\gamma _0})\)with weight ψ₀. More exactly, on the class Q of functions from H such that the \(L_{{\psi _0}}^\infty ({\gamma _0})\)-norm of their boundary values on γ₀ does not exceed 1, we solve the problem of optimal recovery of an analytic function on a subset of the unit disk from its boundary values on γ₁ specified approximately with respect to the norm of \(L_{{\psi _1}}^\infty ({\gamma _1})\). We also study the problem of the optimal choice of the set γ₁ for a given fixed value of its measure. The problem of the best approximation of the operator of analytic continuation from a part of the boundary by bounded linear operators is investigated.     

Continued fractions and the polygamma functions

In a previous study we have shown that the polygamma functions (derivatives of the logarithm of the gamma function) relate to Stieltjes transforms in the square of the argument. These transforms in turn may be converted to Stieltjes continued fractions; in the background is a determined Stieltjes moment problem.In the present study we use the Hamburger form of the Stieltjes integral to produce a set of real monotonic increasing and monotonic decreasing approximants to each of the real and imaginary parts of a polygamma function when the argument is complex. The approximants involve rational fractions which appear to be new.Special attention is given to ln Γ(z) and the psi function.     

Some applications of the Gamma and polygamma functions involving convolutions of the Rayleigh functions,multiple Euler sums and log‐sine integrals

The Gamma function and its n th logarithmic derivatives (that is, the polygamma or the psi‐functions) have found many interesting and useful applications in a variety of subjects in pure and applied mathematics. Here we mainly apply these functions to treat convolutions of the Rayleigh functions by recalling a general identity expressing a certain class of series as psi‐functions and to evaluate a class of log‐sine integrals in an algorithmic way. We also evaluate some Euler sums and give much simpler psi‐function expressions for some known parameterized multiple sums (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Remarks on some completely monotonic functions

Applying the Euler-Maclaurin summation formula, we obtain upper and lower polynomial bounds for the function , x>0, with coefficients the Bernoulli numbers Bk. This enables us to give simpler proofs of some results of H. Alzer and F. Qi et al., concerning complete monotonicity of certain functions involving the gamma function Γ(x), the psi function ψ(x) and the polygamma functions ψ(n)(x), n=1,2,… .     

A new lower bound in the second Kershaw's double inequality

In the paper, a new and elegant lower bound in the second Kershaw's double inequality is established, some alternative simple and polished proofs are given, several deduced functions involving the gamma and psi functions are proved to be decreasingly monotonic and logarithmically completely monotonic, and some remarks and comparisons are stated.     

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

The di-gamma function ψ(x) is defined on (0,∞) by $\psi (x) = \frac{{\Gamma '(x)}} {{\Gamma (x)}} $ and ψ ⁽ⁱ⁾(x) for i ∈ ? denote the polygamma functions, where Γ(x) is the classical Euler’s gamma function. In this paper we prove that a function involving the difference between [ψ′(x)]² + ψ″(x) and a proper fraction of x is completely monotonic on (0,∞).     

A new upper bound in the second Kershaw's double inequality and its generalizations

In the paper, a new upper bound in the second Kershaw's double inequality involving ratio of gamma functions is established, and, as generalizations of the second Kershaw's double inequality, the divided differences of the psi and polygamma functions are bounded.     

Approximations in spaces of locally integrable functions

We study approximations of functions from the sets $\hat L_\beta ^\psi \mathfrak{N}$ , which are determined by convolutions of the following form: $$f\left( x \right) = A_0 + \int\limits_{ - \infty }^\infty {\varphi \left( {x + t} \right)\hat \psi _\beta \left( t \right)dt, \varphi \in \mathfrak{N}, \hat \psi _\beta \in L\left( { - \infty ,\infty } \right),} $$ where η is a fixed subset of functions with locally integrablepth powers (p≥1). As approximating aggregates, we use the so-called Fourier operators, which are entire functions of exponential type ≤ σ. These functions turn into trigonometric polynomials if the function ?(·) is periodic (in particular, they may be the Fourier sums of the function approximated). The approximations are studied in the spacesL _p determined by local integral norms ∥·∥_-p . Analogs of the Lebesgue and Favard inequalities, wellknown in the periodic case, are obtained and used for finding estimates of the corresponding best approximations which are exact in order. On the basis of these inequalities, we also establish estimates of approximations by Fourier operators, which are exact in order and, in some important cases, exact with respect to the constants of the principal terms of these estimates.     

Completely monotonic functions of positive order and asymptotic expansions of the logarithm of Barnes double gamma function and Euler's gamma function

We introduce completely monotonic functions of order r>0 and show that the remainders in asymptotic expansions of the logarithm of Barnes double gamma function and Euler's gamma function give rise to completely monotonic functions of any positive integer order.     

Double dispersion relations in quantum Statistical Mechanics—II

Double dispersion relations are given for the functions $$\gamma (12;3) = \frac{1}{i}\langle T\left( {\psi (1)\psi ^\dag (2)B (3)} \right)\rangle$$ common in many electron problems. Here ψ and ψ^T refer to electron destruction and creation operators, and B (3) is a boson or boson-like operator such as particle density, ion displacement, local spin, particle current density, or electron spin density. Consequences of Hermiticity properties and time reversal invariance as well as sum rules are established for the spectral density functions entering the double dispersion relations. A subtracted double dispersion relation is suggested for the corresponding vertex function. Details of the derivation and examples are given which were not included in an earlier brief report of this work.     

On some inequalities for the gamma and psi functions

We present new inequalities for the gamma and psi functions, and we provide new classes of completely monotonic, star-shaped, and super-additive functions which are related to and .

     

Shintani-Barnes zeta and gamma functions

We show that Shintani's work on multiple zeta and gamma functions can be simplified and extended by exploiting difference equations. We re-prove many of Shintani's formulas and prove several new ones. Among the latter is a generalization to the Shintani-Barnes gamma functions of Raabe's 1843 formula , and a further generalization to the Shintani zeta functions. These explicit formulas can be interpreted as “vanishing period integral” side conditions for the ladder of difference equations obeyed by the multiple gamma and zeta functions. We also relate Barnes’ triple gamma function to the elliptic gamma function appearing in connection with certain integrable systems.     

Some completely monotonic functions involving polygamma functions and an application

By using the first Binet's formula the strictly completely monotonic properties of functions involving the psi and polygamma functions are obtained. As direct consequences, two inequalities are proved. As an application, the best lower and upper bounds of the nth harmonic number are established.     

Complete monotonicity and logarithmically complete monotonicity properties for the gamma and psi functions

We present some complete monotonicity and logarithmically complete monotonicity properties for the gamma and psi functions. This extends some known results due to S.-L. Qiu and M. Vuorinen.