arXiv subjects
Publications and source records attributed to Henrik L. Pedersen.
We prove that certain functions involving ratios of Gamma functions and the Psi-function belong to generalized Bernstein classes and new properties of generalized Bernstein functions are given.
We prove that the function $g(x)= 1 / \bigl( 1 - \cos(x) \bigr)$ is completely monotonic on $(0,π]$ and absolutely monotonic on $[π, 2π)$, and we determine the best possible bounds $λ_n$ and $μ_n$ such that the inequalities $$ λ_n \leq g^{(n)}(x)+g^{(n)}(y)-g^{(n)}(x+y) \quad (n \geq 0 \,\,\, \mbox{even}) $$ and $$ μ_n \leq g^{(n)}(x+y)-g^{(n)}(x)-g^{(n)}(y) \quad (n \geq 1 \,\,\, \mbox{odd}) $$ hold for all $x,y\in (0,π)$ with $x+y\leq π$.
Monotonicity properties of the ratio $$ \log \frac{f(x+a_1)\cdots f(x+a_n)}{f(x+b_1)\cdots f(x+b_n)}, $$ where $f$ is an entire function are investigated. Earlier results for Euler's gamma function and other entire functions of genus 1 are generalised to entire functions of genus $p$ with negative zeros. Derivatives of order comparable to $p$ of the expression above are related to generalised Stieltjes functions of order $p+1$. Our results are applied to the Barnes multiple gamma functions. We also show how recent results on the behaviour of Euler's gamma function on vertical lines can be sharpened and generalised to functions of higher genus. Finally a connection to the so-called Prouhet-Tarry-Escott problem is described.
A family of recently investigated Bernstein functions is revisited and those functions for which the derivatives are logarithmically completely monotonic are identified. This leads to the definition of a class of Bernstein functions, which we propose to call Horn-Bernstein functions because of the results of Roger A. Horn.
We show that a large collection of special functions, in particular Nielsen's beta function, are generalized Stieltjes functions of order 2, and therefore logarithmically completely monotonic. This includes the Laplace transform of functions of the form $xf(x)$, where $f$ is itself the Laplace transform of a sum of dilations and translations of periodic functions. Our methods are also applied to ratios of Gamma functions, and to the remainders in asymptotic expansions of the double Gamma function of Barnes.
It is shown that a function $f$ is a generalized Stieltjes function of order $λ>0$ if and only if $x^{1-λ}(x^{λ-1+k}f(x))^{(k)}$ is completely monotonic for all $k\geq 0$, thereby complementing a result due to Sokal. Furthermore, a characterization of those completely monotonic functions $f$ for which $x^{1-λ}(x^{λ-1+k}f(x))^{(k)}$ is completely monotonic for all $k\leq n$ is obtained in terms of properties of the representing measure of $f$.
We obtain necessary and sufficient conditions on a function in order that it be the Laplace transform of an absolutely monotonic function. Several closely related results are also given.
Euler's Gamma function $Γ$ either increases or decreases on intervals between two consequtive critical points. The inverse of $Γ$ on intervals of increase is shown to have an extension to a Pick-function and similar results are given on the intervals of decrease, thereby answering a question by Uchiyama. The corresponding integral representations are described. Similar results are obtained for a class of entire functions of genus 2, and in particular integral representations for the double gamma function and the $G$-function of Barnes are found.
The function $G(x)=(1-\ln x /\ln(1+x))x\ln x$ has been considered by Alzer, Qi and Guo. We prove that $G'$ is completely monotonic by finding an integral representation of the holomorphic extension of $G$ to the cut plane. A main difficulty is caused by the fact that $G'$ is not a Stieltjes function.
We show that F_a(x)=\frac{\ln Γ(x+1)}{x\ln(ax)} is a Pick function for a\ge 1 and find its integral representation. We also consider the function f(x)=(\frac{π^{x/2}}{Γ(1+x/2)})^{1/(x\ln x)} and show that \ln f(x+1) is a Stieltjes function and that f(x+1) is completely monotonic on (0,\infty). In particular f(n)=Ω_n^{1/(n\ln n)},n\ge 2 is a Hausdorff moment sequence. Here Ω_n is the volume of the unit ball in Euclidean n-space
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.
We show that the median $m(x)$ in the gamma distribution with parameter $x$ is a strictly convex function on the positive half-line
We study the median in the Gamma distribution as a function of the parameter. Using methods from complex analysis we show that the derivative of the median is less than 1 and we thereby solve a conjecture of Chen and Rubin from 1986. We also study the asymptotic behaviour of the median at infinity and at zero.