Absolutely monotonic functions related to Euler’s gamma function and Barnes’ double and triple gamma function

It is shown that the remainders in asymptotic expansions of the logarithm of Barnes double and triple gamma function and Euler’s gamma function are Laplace transformations of positive multiples of absolutely monotonic functions. Applications concerning positivity of sums involving Bernoulli numbers are given.     

A convexity property and a new characterization of Euler’s gamma function

Our main results are:

1. Let α ≠ 0 be a real number. The function (Γ ? exp) ^α is convex on ${\mathbf{R}}$ if and only if $$\alpha \geq \max_{0<{t}<{x_0}}\Big(-\frac{1}{t\psi(t)} - \frac{\psi'(t)}{\psi(t)^2}\Big) = 0.0258... .$$ Here, x ₀ = 1.4616... denotes the only positive zero of ${\psi = \Gamma'/\Gamma}$ .

1. Assume that a function f: (0, ∞) → (0, ∞) is bounded from above on a set of positive Lebesgue measure (or on a set of the second category with the Baire property) and satisfies $$f(x+1) = x f(x) \quad{\rm for}\quad{x > 0}\quad{\rm and}\quad{f(1) = 1}.$$

If there are a number b and a sequence of positive real numbers (a _n ) ${(n \in \mathbf{N})}$ with ${{\rm lim}_{n\to\infty} a_n =0}$ such that for every n the function ${(f \circ {\rm exp})^{a_n}}$ is Jensen convex on (b, ∞), then f is the gamma function.     

Maximal functions and ergodic averages related to Waring’s problem

We study the arithmetic analogue of maximal functions on diagonal hypersurfaces. This paper is a natural step following the papers of [13], [14] and [16]. We combine more precise knowledge of oscillatory integrals and exponential sums to generalize the asymptotic formula in Waring’s problem to an approximation formula for the Fourier transform of the solution set of lattice points on hypersurfaces arising in Waring’s problem and apply this result to arithmetic maximal functions and ergodic averages. In sufficiently large dimensions, the approximation formula, ? ²-maximal theorems and ergodic theorems were previously known. Our contribution is in reducing the dimensional constraint in the approximation formula using recent bounds of Wooley, and improving the range of ? ^p spaces in the maximal and ergodic theorems. We also conjecture the expected range of spaces.     

Integer matrices related to Liouville’s function

In this note, we construct some integer matrices with determinant equal to certain summation form of Liouville’s function. Hence, it offers a possible alternative way to explore the Prime Number Theorem by means of inequalities related to matrices, provided a better estimate on the relation between the determinant of a matrix and other information such as its eigenvalues is known. Besides, we also provide some comparisons on the estimate of the lower bound of the smallest singular value. Such discussion may be extended to that of Riemann hypothesis.     

On Ivády’s bounds for the gamma function and related results

Periodica Mathematica Hungarica - We prove that the inequality $$\begin{aligned} \Gamma (x+1)\le \frac{x^2+\beta }{x+\beta } \end{aligned}$$ holds for all $$x\in [0,1]$$ , $$\beta \ge {\beta...     

A quicker continued fraction approximation of the gamma function related to the Windschitl’s formula

In this paper, based on the Windschitl’s formula, a new continued fraction approximation and some inequalities for the gamma function are established. Finally, for demonstrating the superiority of our new series over the classical ones, some numerical computations are given.     

Combinatorial proofs and generalizations of conjectures related to Euler’s partition theorem

In a recent work, Andrews gave analytic proofs of two conjectures concerning some variations of two combinatorial identities between partitions of a positive integer into odd parts and partitions into distinct parts discovered by Beck. Subsequently, using the same method as Andrews, Chern presented the analytic proof of another Beck’s conjecture relating the gap-free partitions and distinct partitions with odd length. However, the combinatorial interpretations of these conjectures are still unclear and required. In this paper, motivated by Glaisher’s bijection, we give the combinatorial proofs of these three conjectures directly or by proving more generalized results.     

On a new constant related to Euler’s constant

This paper introduces a new constant \(\kappa \), with a definition closely related to that of the Euler–Mascheroni’s constant \(\gamma \). Some integrals and infinite sums are evaluated in terms of \(\kappa \).     

Complex Euler’s groups and values of Euler’s function at complex integer Gauss points

The complex Euler group is defined associating to an integer complex number z the multiplicative group of the complex integers residues modulo z, relatively prime to z. This group is calculated for z=(3+0i) ⁿ : it is isomorphic to the product of three cyclic group or orders (8, 3 ⁿ⁻¹ and 3 ⁿ⁻¹).     

A superadditive property of Hadamard’s gamma function

Hadamard’s gamma function is defined by

Sets of monotonicity for Euler’s totient function

We study subsets of [1,x] on which the Euler φ-function is monotone (nondecreasing or nonincreasing). For example, we show that for any ?>0, every such subset has size smaller than ?x, once x>x ₀(?). This confirms a conjecture of the second author.     

Estimates for Wallis’ ratio and related functions

We present improvements of approximation formula for Wallis ratio related to a class of inequalities stated in [D.-J. Zhao, On a two-sided inequality involving Wallis’s formula, Math. Practice Theory, 34 (2004), 166-168], [Y. Zhao and Q. Wu, Wallis inequality with a parameter, J. Inequal. Pure Appl. Math., 7(2) (2006), Art. 56] and [C. Mortici, Completely monotone functions and the Wallis ratio, Applied Mathematics Letters, 25 (2012), 717-722]. Some sharp inequalities are obtained as a result of monotonicity of some functions involving gamma function.     

Application of Padé Approximation to Euler’s constant and Stirling’s formula

The Ramanujan Journal - The Digamma function $$\varGamma '/\varGamma $$ admits a well-known (divergent) asymptotic expansion involving the Bernoulli numbers. Using Touchard-type orthogonal...     

Two remarks on iterates of Euler’s totient function

Let φ _k denote the kth iterate of Euler’s φ-function. We study two questions connected with these iterates. First, we determine the average order of φ _k and 1/φ _k ; e.g., we show that for each k ≥ 0,

$\sum_{n \leq x} \varphi_{k+1}(n) \sim \frac{3}{k! {\rm e}^{k\gamma}\pi^2}\frac{x^2}{(\log_3{x})^k}\qquad (x\to\infty),$

where γ is the Euler–Mascheroni constant. Second, for prime values of p, we study the number of distinct primes dividing \({\prod_{k=1}^{\infty}\varphi_k(p)}\). These prime divisors are precisely the primes appearing in the Pratt tree for p, which has been the subject of recent work by Ford, Konyagin, and Luca. We show that for each \({\epsilon > 0}\), the number of distinct primes appearing in the Pratt tree for p is \({ > ({\rm log}{p})^{1/2-\epsilon}}\) for all but x ^o(1) primes p ≤ x.

     

On Karatsuba’s problem related to Gram’s law

A number of new results related to Gram’s law in the theory of the Riemann zetafunction are proved. In particular, a lower bound is obtained for the number of ordinates of the zeros of the zeta-function that lie in a given interval and satisfy Gram’s law.     

Ramanujan’s estimate for the gamma function via monotonicity arguments

The aim of this paper is to extend and refine an approximation formula of the gamma function by Ramanujan.     

A Bernstein function related to Ramanujan’s approximations of exp(n)

Ramanujan’s sequence θ(n),n=0,1,2,…?, is defined by $\frac{e^{n}}{2}=\sum_{j=0}^{n-1}\frac{n^{j}}{j!}+\frac{n^{n}}{n!} \theta(n)$ . It is possible to define, in a simple manner, the function θ(x) for all nonnegative real numbers x. We show that the function $\lambda(x):=x (\theta(x)-\frac{1}{3} )$ is a Bernstein function on [0,∞), that is, λ(x) is nonnegative with completely monotonic derivative on [0,∞). This implies some earlier results concerning complete monotonicity of the function θ(x) on [0,∞).