We prove the following.

(1) The inequalities

$$ \biggl(2-\frac{1}{\varGamma(x)}\biggr)^{\!a}+\biggl(2-\frac{1}{\varGamma(1/x)}\biggr)^{\!a}\leq 2\leq\biggl(2-\frac{1}{\varGamma(x)}\biggr)^{\!b}+\biggl(2-\frac{1}{\varGamma(1/x)}\biggr)^{\!b} $$

hold for all $x>0$ if and only if

$$ -1.204\,64\ldots=2+\frac{1}{\gamma}-\frac{1}{6}\biggl(\frac{\pi}{\gamma}\biggr)^{\!2}\leq a\leq0\leq b. $$

(2) For all real numbers $x\in(0,1]$ we have

$$ x^{\alpha}\leq\frac{1}{2}\biggl(\frac{1}{\varGamma(x)}+\frac{1}{\varGamma(1/x)}\biggr)\leq x^{\beta}, $$

with the best possible constants

$$ \alpha=1.321\,76\dots\link{and}\beta=0. $$

These theorems extend and complement a result of Gautschi (from 1974), who proved that for all $x>0$ the harmonic mean of $\varGamma(x)$ and $\varGamma(1/x)$ is greater than or equal to $1$.

AMS 2000 Mathematics subject classification: Primary 33B15; 26D15

For homogeneous, two-dimensional random field ξ(t), t ∈ R2 we develop the ‘half' spectral theory sufficient to rigorously define its envelope η (t). We then specialise to the case of ξ Gaussian, which implies η is Rayleigh, and consider the mean value of a certain characteristic of the sets {t:η(t) ≧ u} (u ≧ 0). From this we deduce some qualitative information about the sample path behaviour of the Rayleigh field η .

The aim of the current paper is twofold. Primarily we wish to extend some of our earlier results on excursions of random fields and introduce a more powerful technique for obtaining the mean value of a certain characteristic of these excursions. Since these results can also be used to tie together the scattered results of previous authors we also include a full review of earlier work in this field.

For an n-dimensional random field X(t) we define the excursion set A of X(t) by A = [t ∊ S: X(t) ≧ u] for real u and compact S ⊂ Rn. We obtain a generalisation of the number of upcrossings of a one-dimensional stochastic process to random fields via a characteristic of the set A related to the Euler characteristic of differential topology. When X(t) is a homogeneous Gaussian field satisfying certain regularity conditions we obtain an explicit formula for the mean value of this characteristic.