 Research
 Open Access
 Published:
Structural properties of generalised Planck distributions
Journal of Statistical Distributions and Applications volume 8, Article number: 12 (2021)
Abstract
A family of generalised Planck (GP) laws is defined and its structural properties explored. Sometimes subject to parameter restrictions, a GP law is a randomly scaled gamma law; it arises as the equilibrium law of a perturbed version of the Feller mean reverting diffusion; the density functions can be decreasing, unimodal or bimodal; it is infinitely divisible. It is argued that the GP law is not a generalised gamma convolution. Characterisations are obtained in terms of invariance under random contraction of a weighted version of a related law. The GP law is a particular instance of equilibrium laws obtained from a recursion suggested by a genetic mutationselection balance model. Some related infinitely divisible laws are exhibited.
Introduction
In 1900 Planck derived a formula describing the energy spectrum of black body radiation. The energy density at frequency ν of a body at temperature T (in degrees Kelvin) is
where h is Planck’s constant, k is Boltzmann’s constant, and c is the velocity of light. Good accounts of Planck’s reasoning are given by Cropper (1970, Chap. 1), Longair (1984, Chap. 10) and, highly recommended, Weinberg (2013). Planck’s first derivation combined reasoning based on electromagnetic theory and statistical mechanics, as well as empirical curve fitting to then new experimental results. In the last connection see Pais (1982, figure on p. 367).
The form (1) suggests defining a Planck family of distributions whose members have a probability density function (pdf) of the form
where λ>1,a>0 and K is the normalisation constant. This family was introduced to the world in Johnson and Kotz (1970, p. 273), but subsequently dismissed from service by omission from the second edition of this reference work. The family (2) appears indirectly in Kleiber and Kotz (2003) in that its reciprocal form was used by Davis (1941) to fit personal income data for the U.S.A. in 1918. Subsequent analysis by Champernowne has shown that his own threeparameter distribution yields a better fit. See Kleiber and Kotz (2003, p. 240). Some elementary computations with (2) are reported by Tomovski et al. (2012). Finally, cases of (2) where λ=d+1, where \(d=1,2,\dots \), arise in physics literature as describing blackbody radiation in a ddimensional universe. See PuertasCenteno et al. (2017) and its references.
Nadarajah and Kotz (2006) have proposed the generalized Planck family GP(λ;a,b,c,) whose pdf is
where a,b>0 and −1≤c≤1 with λ>0 if c<1, and λ>1 if c=1. The constant K is a normalisation factor which is evaluated at (6) below. Their motivation seems to be that the case c=0 yields the gamma family, and hence that the generalised family gives a more malleable family of pdf’s. We will extend the range of the parameter c to allow −∞<c≤1. If λ=1 then choosing 0<c<1 (resp. −1<c<0) yields the BoseEinstein distribution (resp. the FermiDirac distribution); see Kittel (1969, Chapter 9) or Olver et al. (2010, #25.12(iii)). In addition, the \(GP({\frac {1}{2}};a,b,c)\) family is implicitly present in a specific ‘house of cards’ model for mutationselection balance used by Turelli (1984, §3) to study heritable variation. This term is used by Kingman (1978) to describe the situation where the rate of mutation at a locus is independent of the parental allele, thus collapsing the ancestral history of selection at that locus. Nadarajah and Kotz (2006) derive formulae for moments, the characteristic function and entropies, they mention shapes of the pdf, and they look briefly at maximum likelihood estimation.
Our objective in this paper is to investigate some structural properties of the GP laws and point out limits of this investigation. In §2 we present some fundamental identities, a representation as a scale mixture of gamma laws (Theorem 1), and limiting behaviour as λ→∞ (Theorem 2) or b→∞ (Theorem 3). In §3 we summarise for the readers convenience properties of the gamma law we aim to extend to the GP laws.
The gamma family occurs as the limiting/stationary law of the Feller diffusion process, i.e., the continuousstate branching process with immigration. In §3 we show that the GP laws arise in the same way through an additive nonlinear adjustment of the drift term.
Nadarajah and Kotz (2006) list with no proofs how the shape of g(x):=g(x;λ,a,b,c) depends on values of the parameters. Their assertions about multimodality are vague. Modal properties of g are described in detail in §5. Theorem 4 is an exact statement about when g is, or is not, strongly unimodal. Theorems 5–8 examine its modal properties for the respective cases a=b and c=1,c=1,0<c<1, and c<0. In summary, depending in a fairly complicated way on parameter combinations, g either is decreasing, unimodal, or bimodal.
A mixture representation (Theorem 9) and infinite divisibility properties are investigated in §6. If λ≤2 and 0≤c≤1, then the GP(λ;a,b,c) law is infinitely divisible (abbreviated to infdiv; Theorem 10), and the situation is unresolved if λ>2 and c≠0. In recent years the infinite divisibility of many common distributions has been proved by showing that they are generalised gamma convolutions (Nadarajah and Kotz (2006) or Steutel and van Harn (2004)). However, as we argue at the end of §6, that if c≠0, then the GP laws are not in general a generalised gamma convolution.
Proposition 1 gives sufficient conditions for selfdecomposability of GP laws in the restricted case where g is decreasing. The proofs verify Bondesson’s (1987) sufficient conditions. Note that since selfdecomposable laws are unimodal, the parameter combinations in §5 for bimodality preclude selfdecomposability.
Many laws can be characterised as the fixed point of a transformation defined by weighting the law and then applying a random rescaling. Often the weighting operation is length, or size, biasing. More specifically for this case, let r be real. For any random variable Y≥0 with distribution function G and finite moment function M_{G}(r)=E(Y^{r}), define the orderr lengthbias operator \(\mathcal {L}_{r}\) which maps G into the distribution function \(G_{r}(x)=\int _{0}^{x} y^{r}dG(y)/M_{G}(r)\). We extend our notational convention so that \(\mathcal {L}_{r} Y\) denotes a random variable whose distribution function is G_{r}. If r>0 then \(\mathcal {L}_{r} Y \ge _{{st}} Y\). This property opens the possibility of characterising L(Y) through a relation of the form \(Y\stackrel {d}= V \mathcal {L}_{r} Y \) where 0≤V≤1 is a random variable and the factors in the product are independent. We obtain such characterisations of GP laws in §7.
In §8 we study what amounts to a formal generalisation of Kingman’s (1978) ‘house of cards’ model for genetic mutationselection balance. Equilibrium laws of this model generalise (3) and a representation (Theorem 17) generalises Theorem 9. Finally, in §9 we exhibit some discrete and continuous infdiv laws which are related in certain ways to the generalised Planck laws. Longer proofs of our various results comprise §10.
If a random variable X has the pdf (3) then we write X∼GP(λ;a,b,c), and similarly for other laws. The standard gamma law with shape parameter λ (i.e., a=1 and c=0 in (3)) is denoted by gamma (λ), and we use the notation γ(λ) for a random variable having this law. Note the tail equivalence P(X>x)∼P(γ(λ)/a>x) as x→∞. Similarly, the beta law with parameters α and β is denoted by beta (α,β). Independence of random variables X and Y is denoted by X⊥Y. Finally, L(Y) denotes the law of a random variable Y, and X=dY means L(X)=L(Y).
There is some duplication of notation between sections, but no confusion will result from this.
Fundamental facts
The Lerch zeta function is defined by the series
where θ>0, and the series converges for all positive λ if c<1, for λ>1 if c=1 and it is conditionally convergent if c=−1 and λ=1. The function Φ(1,λ,θ) is usually called the Hurwitz zeta function, and the Riemann zeta function ζ(λ) is the still more special case c=θ=1. The function (θ+n)^{−λ} is a completely monotone function of θ and in fact it is the Laplace transform of v^{λ−1}e^{−nv}/Γ(λ). Substituting the resulting integral representation of (θ+n)^{−λ} into (4) and summing gives the known integral representation
which clearly is well defined if −∞<c<1 and λ>0, or if c=1 and λ>1, and θ>0 in either case. We will take (5) as the definition of the Lerch function (or Lerch transcendent as it is called by some). See Gradshteyn and Ryzhik (1980, 9.550,6) for these formulae and Olver et al. (2010, Chapter 25) for graphs and references.
There is a considerable literature devoted to representations and identities of the Lerch zeta as a function of λ, i.e., the integral (5) is regarded as a Mellin transform. More relevant for our purposes is the fact that (5) is a Laplace transform in the variable θ with c and λ understood as parameters.
Integrating the pdf (3) and setting α=a/b shows that the normalisation constant is
It follows that the LaplaceStieltjes transform of X∼GP(λ;a,b,c) is
finite if θ>−a. The moment function of X is
Remark 1
The parameter b can be understood as a scaling parameter, and for most of our purposes it can be set to unity. In cases where this simplification is made, we denote the family by GP(λ;a,c) and the pdf by g(x;λ,a,c).
The quotient of gamma functions in (8) equals the moment function of γ(λ), and so one conjectures that the quotient of Lerch zetas also is a moment function. The series definition shows this is the case if c>0, thus giving one proof of the following result which extends the mixture representation of the family (2) observed by Johnson and Kotz (1970).
Theorem 1
If X∼GP(λ;a,b,c), where a,b,λ>0 and 0<c≤1, then
where γ(λ)⊥N,
and
Proof
The pdf (3) can be written as
a mixture of scaled gamma pdf’s, that is, X=γ(λ)/(a+n) with probability p(n). This is the essence of (9). The moment function (10) arises by multiplying (9) by (a+n)^{−t}, summing, and appealing to (4). □
Let N_{L} denote a random variable having the Lerch law meaning that for \(n=0,1,\dots, P(N_{L}=n)=p(n)\) as defined in (9). See Johnson et al. (2005, pp. 526–530) and the references there for information about the Lerch law and its special cases. Our designation ‘Lerch law’ for L(N_{L}), where N_{L}=N−a, is adopted from Gupta et al. (2008). It is called a discrete Pareto law by others, e.g., Steutel and van Harn (2004, p. 68) for the case α=c=1. It is shown in these references that L(N_{L}) is compound Poisson. The Lerch law has been shown to provide a better fit to certain biological count data than the generalised Poisson law and it is discussed as the limiting law of certain positiverecurrent birth and death processes by Klar et al. (2010). With this definition we see that the random variable N in Theorem 1 has a shifted Lerch law, N=N_{L}+a.
Suppose that X_{i} (i=1,2) has the GP(λ_{i};a_{i},c_{i}) law with 0≤c_{i}≤1, then it follows from Theorem 1 that X_{i}=dγ_{i}(λ_{i})/N_{i} where N_{i} has a shifted Lerch law. If X_{1}⊥X_{2}, then X_{1}/X_{2}=dWD where W=γ_{1}(λ_{1})/γ_{2}(λ_{2}) and D=N_{1}/N_{2}. It follows that W⊥D, W has a type2 beta law, and D has a discrete law which assigns positive mass to points comprising a countable dense subset of [0,∞). This outcome was noted by Johnson and Kotz (1970) for the family (2).
Theorem 1 has another interesting consequence. Let V have a standard normal law and V⊥γ(λ). Then \(V\sqrt {2\gamma (\lambda)}\) has the normal mixture law (Steutel and Van Harn (2004, p. 394)) whose characteristic function is (1+t^{2})^{−λ}=(1+it)^{−λ}(1−it)^{−λ}. Thus
where γ_{1}(λ)⊥γ_{2}(λ). The law of \(\mathcal {L}(\lambda)\) has been called a generalised Laplace law because setting λ=1 yields the Laplace law; see Kotz et al. (2001, p. 180). Now let N have the shifted Lerch law (9) and \(N \perp \mathcal {L}(\lambda)\). It follows that if X∼GP(λ;a,c) with the parameter restrictions in Theorem 1, then
has the characteristic function Φ(c,λ,a+t^{2})/Φ(c,λ,a).
The following result shows that if λ is large then L(X) is approximately normal. For this purpose we write X(λ)=X to emphasise the dependence of its law on λ. A simple proof follows from Theorem 1 in the case that c≥0, but the proof we give in §10 for the general case follows from a probabilistic interpretation of the representation (5). Note that the outcome is independent of b and c.
Theorem 2
If X(λ)∼GP(λ;a,b,c) then, as λ→∞,
the standard normal law.
The following result is an obvious consequence of (3).
Theorem 3
If X(λ)∼GP(λ;a,b,c) then X→dγ(λ) as b→∞.
Some properties of the gamma law
The pdf of the general gamma random variable γ(λ)/a is
3.1 Unimodality
The gamma law is unimodal with mode
In addition, it is strongly unimodal if and only if λ≥1; see Dharmadhikari and JoagDev (1998, p. 23).
3.2 Infinite divisibility
The gamma law is infinitely divisible, in fact selfdecomposable for all values of the shape parameter, λ>0. See Steutel and van Harn (2004, p. 225).
3.3 Diffusion limiting law
Let (Z_{t}:t≥0) be a diffusion process with Z_{0}≥0, drift function m(x), and diffusion function v(x). Assume that these functions are such that the weak limit Z_{∞} of (Z_{t}) exists with pdf ζ(x). See Horsthemke and Lefever (1984, p. 110) for these matters. In this case the integrated stationary forward Kolmogorov equation is
If ν>0 and v(x)=2x^{ν}, then the drift function is determined by ζ(x) as
In particular, if ζ(x) is the gamma pdf g(x;λ,a), then
Feller (1951) solves the associated forward Kolmogorov equation in the case ν=1, thus justifying calling (Z_{t}) the Feller diffusion. This process arises in a demographic context as a continuoustime and continuous sample path analogue of the GaltonWatson branching process with immigration. In fact, under suitable restrictions, it emerges as a diffusion limit of such processes as the initial population size grows unboundedly and the individual reproduction mean tends to unity. See Li (2011, Chapter 3).
Incorporating mean reversion is accepted as a fundamental requirement for models of the short/spot rate of interest rates (Brigo and Mercurio (2001), p. 46). The Feller diffusion arises in quantitative finance theory, where it is named the CoxIngersollRoss (CIR) model, as a popular way of incorporating linear mean reversion. See Cox et al. (1985), and Lamberton and Lapeyre (1996, p. 131) for a monograph treatment. Its time varying onedimensional distributions are derived in this reference. The fact that the gamma law is the limiting/stationary distribution seems not to be clearly documented, but see Wong (1984), and it is an obvious consequence of formulae on page 131 in Lamberton and Lapeyre (1996). The case ν=2 is a diffusion limit of the logistic model of population growth, for which see Horsthemke and Lefever (1984, §6.4) and references in Dennis and Patil (1984).
In general, and with a population growth interpretation, r(x)=λ+ν−1−ax is the percapita rate of population growth which, if λ+ν>1, is positive if x<(λ+ν−1) and it is negative if x>(λ+ν−1)^{+}/a. Equilibria are defined as positive solutions of m(x)=0, and if λ+ν>1, there is one equilibrium, x_{e}=(λ+ν−1)/a.
Table 1 shows the dependence on the parameters (λ,ν) for the classification of the boundary state {0}. We use notation such as {0}⇒(0,∞) to mean that (0,∞) is attainable from {0}, but not the reverse. Note that this classification is independent of a.
3.4 Characterisation
The fundamental characterisation property of the gamma law (Lukacs (1965)) asserts that if X and Y are independent positive random variables such that B=X/(X+Y) and S=X+Y are independent, then X and Y have gamma laws with possibly different shape parameters, λ and μ, say. In this case B∼beta(λ,μ) and S∼gamma(λ+μ).
Many other characterisations are closely related to the Lukacs version. For example, we observe that lengthbiasing a gamma law yields another gamma law. More exactly (and recalling the lengthbias operator \(\mathcal {L}_{r}\)), if r>0, then
Hence one direction of the Lukacs characterisation can be expressed as a fixedpoint property: If B∼beta(λ,r) is independent of γ(λ), then \(\gamma (\lambda)\stackrel {d}= B\mathcal {L}_{r}\gamma (\lambda)\). This is a characteristic property in the following sense (Pakes (1997, Theorem 4.1)).
Lemma 1
Let λ,r>0. Any two of the following implies the third:

(a)
\(Y\stackrel {d}= V\mathcal {L}_{r} Y\) and E(Y^{r})=λ;

(b)
L(V)=beta (λ,r); and

(c)
L(Y)=gamma (λ).
Planck laws as diffusion stationary laws
Let ζ(x) be the pdf of the gamma diffusion limit law in §3. Following Dennis and Patil (1984), let w(x) be a positive weight function such that \(\int _{0}^{\infty } w(x)\zeta (x)dx<\infty \). It follows from (12) that the pdf ∝w(x)ζ(x) is that of the limiting/stationary law for the diffusion with v(x)=2x^{ν} and infinitesimal mean function
The GP(λ;a,b,c) pdf (3) is the weighted gamma pdf with w(x)=(1−ce^{−bx})^{−1}, whence
The perturbation term p(x)=bcx/(e^{bx}−c) is positive and bounded if 0≤c≤1 and it is negative and bounded if c<0. If c=1 then p(x) decreases from unity at the origin to zero as x→∞. If c<1 then p(x) has a single critical value where bx=y(c) solves (1−y)e^{y}=c, that is, y(c)=1+W(−c/e) where W is the principal Lambert Wfunction; see Olver et al. (2010, #4.13). In particular y(c) increases as c decreases, y(1)=0,y(0)=1 and 1<y(c)↑∞ as c↓−∞. The extreme value of the perturbation function is 1−y(c). In particular, if ν=2 then the logistic percapita growth rate r(x) is perturbed by a localised ‘bump’ which alters the limiting/stationary law in a quite significant manner.
In general, the perturbation term lessens the equilibrium level, x_{e,w}<x_{e} (defined in §3.4), though much less so if x_{e} is large. The rate of mean reversion is less for x<x_{e,w}, but if c=1 then the rate near the origin is close to λ+ν−1. The classification of {0} in Table 1 is unchanged if c<1, but if c=1 then the table entries are valid if λ is replaced by λ−1 (which is positive in this case).
One aim of Dennis and Patil (1984) is exhibiting perturbations of the Feller/CIR diffusion whose limit laws are multimodal, at least for certain parameter combinations. Their motivation is constructing stochastic versions of onedimensional dynamical systems which have several equilibria. We examine modal behaviour of the GP laws in the next section.
Modal properties of GP laws
Nadarajah and Kotz (2006) list parameter conditions under which a Planck pdf is decreasing, unimodal (i.e., a unique positive mode), or ‘maybe’ multimodal. The modal behaviour of GP laws also is of interest in statistical physics, e.g., Valluri et al. (2009) and references. We give here more precise statements, beginning with the more easily answered question of strong unimodality.
5.1 Strong unimodality
Recall that a pdf g(x) is strongly unimodal if and only if g is logconcave (Dharmadhikari and JoagDev (1998, p. 17)). We work with the GP pdf g(x)=g(x;λ,a,c) and since this is twice continuously differentiable, then this condition is equivalent to
where, for convenience, we write ℓ=λ−1. Thus ℓ>0 if c=1 and ℓ>−1 if c<1. The following result is specified in terms of the shape parameter λ. We write g∈SU to denote that g is strongly unimodal.
Theorem 4
Let g(x)=g(x;λ,a,c) with λ>0 and −∞<c≤1, but c≠0.

(i)
g∉SU if 0<c<1 and 0<λ<1.

(ii)
If c<0 then g∈SU if and only if λ≥1.

(iii)
If c=1 and λ>1, then g∈SU if and only if λ≥2.

(iv)
Let 0<c<1 and ε=(1−c)/(1+c). Then there exists a unique number Υ∈(ε,1) such that
and g∈SU if and only if λ≥2−Υ^{2}.
5.2 Unimodality
Strong unimodality implies unimodality, but the two notions differ and the algebraic work for establishing the latter is not as clean cut as for the former. In this subsection we work with the full family GP(λ;a,b,c), recalling that α=a/b. Denote the pdf by g(x):=g(x;λ,a,b,c). The following preliminary result is a simple deduction from (3). Proofs of the following results are in §10.
Lemma 2
Values of g at the origin are
A calculation yields
Setting y=bx, we see that the sign of g^{′}(x) is determined by the sign in (0,∞) of
We begin with the case of most physical significance, α=c=1.
Theorem 5
If α=c=1, then the pdf g(x):=g(x;λ,a,b,c) is:

(i)
Decreasing if 1<λ≤2; and

(ii)
Unimodal if λ>2. In this case the mode is
$$M_{O}=a^{1}[\lambda1+W((\lambda1)e^{(\lambda1)})] >0, $$where W(·) is the principal Lambert function.

(iii)
If λ≫1, then
$$M_{O}={ \lambda1 \over a}\left(1e^{(\lambda1)}\right)(1+o(1)). $$
Remark 2
Spectroscopists define the normalised emissive power of a radiation distribution as the spectral density function divided by its modal value. Under the conditions of Theorem 5, this has the explicit form
See Stewart (2012) (and its references) for the Planck distribution.
The next result relaxes the condition on α.
Theorem 6
If c=1, then the pdf g(x):=g(x;λ,a,b,c) is:

(i)
Unimodal and g(0)=0 if λ>2;

(ii)
If 1<λ<2, then g(0)=∞ and there is a critical value α_{c} of α=a/b such that g(x) decreases if α≥α_{c}. If α<α_{c}, then g(x) has an antimode (i.e., a local minimum) M_{A} and a mode M_{O} satisfying 0<M_{A}<M_{O}<λ−1.

(iii)
If λ=2, then 0<g(0)<∞ and the modal behaviour of (ii) holds with \(\alpha _{c}={\frac {1}{2}}\).
Example 1
Nadarajah and Kotz (2006) suggest that g ‘may’ be multimodal if a=c=1,b=10 and λ=1.75. Referring to the Proof of Theorem 6, the unique positive solution \(\overline z\) of \(z^{1}\sinh z=\ell ^{{\frac {1}{2}}}\) is \(\overline z=1.88461\) whence α_{c}=0.21887. But α=0.1, so gis bimodal. The two solutions of (49) are 0.7372 and 7.74569, whence M_{A}=0.07372 and M_{O}=0.7457.
Next, we let c<1 and distinguish the two subcases where 0<c<1 and c<0. In both cases the parameter ℓ∈(−1,∞). In the case 0<c<1, if 0<λ≤1, then S(y)<0 in (0,∞), and if λ>1, then S(y)<0 in (ℓ/α,∞). These observations imply the first two assertions of the following result.
Theorem 7
Let 0<c<1.

(i)
If 0<λ≤1, then g(x) is decreasing.

(ii)
If λ>1, then critical values of g(x), if they exist, are confined to (0,(λ−1)/a).

(iii)
If λ>1 and \(\alpha \ge {\frac {1}{2}}(\lambda 1)\), then g(0)=0 and g(x) is unimodal.

(iv)
If λ>1 and \(\alpha <{\frac {1}{2}}(\lambda 1)\), then g(x) is either unimodal or bimodal.
Example 2
To see that bimodality really is possible, we use parameter values based on those cited with no definite conclusion by Nadarajah and Kotz (2006): λ=3/2,a=1,b=10 and c=0.9. Table 2 displays the three critical values x_{i} of the pdf, i.e. zeros of S(bx), and values of its unnormalised version i.e., referring to (3), \(\widehat g(x)=x^{\lambda 1}e^{ax}\left (1ce^{bx}\right)^{1}\).
Theorem 8
Assume that c<0. Then the pdf g(x)=g(x;λ,a,b,c) is:

(i)
Unimodal if λ>1 and M_{O}>0;

(ii)
Unimodal if λ=1 and then
$$M_{O}= \left\{\begin{array}{ll} 0 & if\ \alpha\ge(c)/(1c), \\ \log\left(c(\alpha^{1}1)\right) & if\ \alpha<(c)/(1c) \; (<1); \end{array}\right. $$ 
(iii)
If 0<λ<1, then g(0+)=∞ and there is a critical value λ_{c}=1−W(−ce^{−1}) such that

(iiia)
If λ_{c}≤λ<1, then g(x) is decreasing for all α>0 and the condition c≥−(1−λ)e^{2−λ} is necessary for this outcome, and

(iiib)
If 0<λ<λ_{c}, then there is a critical value α_{c} such that g(x) is decreasing if
α>α_{c}, and if 0<α<α_{c}, then there is an antimode M_{A} and a mode M_{O} such that 0<M_{A}<M_{O}.

(iiia)
Example 3
Again following Nadarajah and Kotz (2006), let λ=0.99,a=1,b=10 and c=−1/3. Using the iteration \(\phantom {\dot {i}\!}W_{n+1}=y e^{W_{n}}\) to compute W(y), it quickly follows that \(W(c e^{1})=0.10987 =R(\overline y)\). Hence λ_{c}=0.09013 and the solutions of (50) are 0.07325 and 0.99123. It follows that M_{A}=0.007325 and M_{O}=0.099122.
Infinite divisibility
We begin by proving a mixture representation for the case c>0 which extends Theorem 1 and which can be regarded as an example of the general principle which can be inferred from Stuart (1962) and which is explicit in Steutel and van Harn (2004, Proposition 4.2, p. 344). This principle asserts that if 0<λ<ν, then a scale mixture of the gamma (λ) law can be expressed as a scale mixture of the gamma (ν) law. We write the fundamental characterisation as γ(λ)=dBγ(ν) where B∼beta(λ,ν−λ) (with the convention that P(B=1)=1 if ν=λ) and B⊥N. The following mixture representation follows from Theorem 1.
Theorem 9
Let a,λ>0,0≤c≤1 and X∼GP(λ;a,c). Then for each ν≥λ,X=dγ(ν)/V where
and N has the shifted Lerch law as in Theorem 1. The pdf of V is
The evaluation (19) results by differentiating the identity \(P(V>v)=\sum _{n}P(B>(a+n)/v)p(n)\) to get
substituting the algebraic form of the beta pdf and observing that f_{B}((a+n)/v)=0 if v<a or if v>a and n>v−a.
The nature of f_{V}(v) changes quite drastically as ν decreases to λ. If ν−λ>1, this pdf is continuous; if ν−λ=1 then it is decreasing with jump discontinuities everywhere on the support of N; if 0<ν−λ<1 then this pdf has singularities on the support of N. Clearly V→LN as ν↓λ.
If 0<c<1 and X∼GP(λ;a,c), then the representation assertion of Theorem 9 can be expressed as X=dBW where W=γ(ν)/N whose pdf is
This defines a family of laws which includes the GP(λ;a,c) family as a special case; just observe that Φ(c,0,a)=1/(1−c).
In what follows we use the abbreviation infdiv to mean infinitely divisible. It follows from Theorem 9 that the GP(λ;a,b,c) law is a mixture of any gamma (ν) law with ν≥λ. Mixtures of gamma(2) laws are infdiv (Steutel and van Harn (2004, p. 346)), implying Assertion (i) in the following theorem. Similarly, any parameter configuration allowing the choice ν=1 in Theorem 9 gives L(X) in the form of a mixture of exponential distributions and hence, as is obvious from (3), the pdf g(x) is completely monotone and hence convex. In fact, inspection of (14) shows that g(x) is logconvex if λ≤1 and 0<c≤1. Logconvexity of a pdf is a sufficient condition that it be infdiv (e.g. Sato (2013, Theorem 51.4)) (and hence not strongly unimodal). Assertion (ii), stated for the case b=1, extends a little the ambit of Assertion (i). Its proof is in §10.
Theorem 10

(i)
If 0≤c≤1 and λ≤2, then the GP(λ;a,b,c) law is infdiv.

(ii)
Let c<0. The GP(λ;a,b,c) law is infdiv if
$$ e^{2}=7.389056< c<0 \qquad and \qquad \lambda\le 1W\left(c e^{1}\right). $$(20)
Remark 3
Let ν>0 and observe that νe^{ν+1} increases with ν. Observing that W(νe^{ν})=ν, the lefthand constraint in (20) is equivalent to 0<ν<1 in which case L(X) is infdiv if 0<λ<1−ν.
Remark 4
The conditions (20) are broader than those under which the pdf g(x;λ,a,b,c) is logconvex, a sufficient condition for infinite divisibility. Let \(c'= (32\sqrt 2) e^{2\sqrt 2} =2.902812\). Still assuming that c<0, then g is logconvex if and only if c^{′}<c<0 and 0<λ≤λ_{c}, where λ_{c}∈(0,1) is a certain critical value. Details for this assertion comprise part of the Proof of Proposition 1 (stated below). For example, if c=−1, then λ_{c}=0.56077.
It follows from Theorem 10 that the BoseEinstein laws (λ=1) are infdiv, but the status of the Planck law (λ=4) is unknown. In passing we mention Varrò (2007) whose Section 5 is titled ‘The infinite divisibility of the Planck variable’. His discussion distills to the assertion of the wellknown fact that the geometric law is infdiv  he ascribes the title ‘PlanckBose’ to this law.
Suppose that 0<c≤1,λ≤2 and that b=1, so X∼GP(λ;a,c) is infdiv. Note that the corresponding Lévy process is an infiniteactivity (Type 1) subordinator, i.e., its sample paths are nondecreasing. It seems to be difficult to determine the nature of the Lévy measure of L(X). We can obtain some insight as follows. It is clear from its definition that the distribution family {GP(λ;a,c):a>0} is the natural exponential family generated by the measure whose density is
with Laplace transform
where C(θ)=− logΦ(c,λ,θ) is a Bernstein function, i.e., C^{′}(θ) is completely monotone (Schilling et al. (2012)). Thus there is a measure which, on the basis of the following discussion, we conjecture is absolutely continuous with density denoted by ℓ(x), such that
It follows that the Laplace exponent of L(X) is C(a+θ)−C(a) and its Lévy measure is e^{−ax}ℓ(x)dx.
Next, we have
Proceed formally by writing \(C'(\theta)=\sum _{n=0}^{\infty } c^{n} k_{n}(\theta)\) and equate the coefficients of c^{n} in the identity obtained from (22) by multiplying through by Φ(c,λ,θ) and using the representation (4). This yields
allowing the stepbystep determination of the k_{n}(θ). Thus k_{0}(θ)=λ/θ, the Laplace transform of the measure λdx. This yields the Lévy measure (λ/x)e^{−ax}dx for the case c=0, i.e., for the gamma laws. Continuing, we find that
and
Denoting the Kummer confluent hypergeometric function (Olver et al. (2010, p. 322)) by M(ψ,ρ,x), it follows easily from an integral representation that the Laplace transform of xM(1+a,2,−νx) is θ^{1−a}(ν+θ)^{−1−a}. Thus k_{i}(θ) (i=1,2) can formally be inverted to give the expansion
However, the forms of k_{n}(θ) for n≥3 become more complicated and the corresponding inverse transforms involve convolutions of algebraic and Kummer functions with more and more factors.
We remind the reader that X has a selfdecomposable (SD) law if for all ρ∈(0,1] it has the autoregression representation X=dρX+Y_{ρ}, where Y_{ρ}⊥X. Selfdecomposable laws are infdiv and they arise precisely as the possible weak limits of normed sums of independent random variables. We have seen that Planck laws can be bimodal under certain interacting parameter combinations, and since selfdecomposable laws are unimodal, we may expect similar interacting parameter combinations to appear in the following partial result on selfdecomposability of Planck laws. Its proof is in §10. Recall the constant c^{′} from Remark 4.
Proposition 1
If 0<λ≤1 then the GP(λ;a,b,c) law is selfdecomposable if:

(i)
c=1 and \(\alpha \ge {\frac {1}{2}}\); or

(ii)
0<c<1 and \(\alpha \ge \alpha _{c}:= {\frac {1}{2}}(1{\scriptstyle {1\over 2}} y_{c})\), where y_{c}∈(0,2) is the unique positive solution of
$$ e^{y}=c {2+y \over 2y}; $$(23)or

(iii)
c^{′}<c<0,α≥α_{c}:=−c/(1−c), and \(0<\lambda \le \lambda _{c}:= 2 y_{c}^{2}/4\), where y_{c}∈(2,∞) is the unique positive solution of (23).
Remark 5
Observe first that y_{c}→2 as c→0 and hence the upper bound for λ in part (iii) is positive if c is close to zero. More precisely, suppose that 0<c<1, write y_{c}=2−δ and observe that cδ>0. It follows from (23) that, as c→0,
So, for c→0+, the bound for Assertion (ii) is α≥ce^{−2}(1+o(c)), and for c→0−, the bound for Assertion (iii) is λ≤1+4ce^{−2}(1+o(1)).
Remark 6
The bound for y_{c} can be improved. If 0<c<1, it follows from (23) and y_{c}<2 that \(\phantom {\dot {i}\!}(y_{c}2) e^{y_{c}}=(2+y_{c})c>4c\). Hence
This lower bound subsists if c<0 and λ_{c}=0 if c=c^{′}.
Example 4
Calculation yields the representative values of σ_{c} and λ_{c} displayed in Table 3.
In the selfdecomposable case of Proposition 1, the random variable X has a stochastic integral representation which we express as
where (L_{t}:t≥0) is a Lévy process, which, in this case has nondecreasing sample paths (i.e., is a subordinator), and called the background driving Lévy process (conventionally abbreviated to BDLP); see Wolfe (1982). The Laplace exponent of the BDLP is C_{b}(θ)=θC^{′}(θ). It follows from (22) that
and hence from (43) below that
In particular, C_{b}(∞−)=λ, implying that the BDLP is a compound Poisson process. We infer too from Proposition 1 that the quotient (24) is a Bernstein function at least for the range of c delineated in the assertion.
We have the following consequence, implying that X is the quotient of independent infdiv random variables.
Theorem 11
Let 0≤c<1 and λ>0 or c=1 and λ>1. Then L(N) is infdiv.
The following result is a statement about what is sometimes called multiplicative infinite divisibility. Its proof is in §10.
Lemma 3
If c=1,λ>1 and b=a or b=2a, then logX is infdiv.
What if c<1? The answer is not known except when c=0, the loggamma law, Λ:=− logγ(λ). It follows from Euler’s product representation of the gamma function that
This exhibits Λ as the limit of a centred sum of independent gamma distributed random variables. The set of all such limit laws comprise the class of extended generalised gamma convolutions and they are SD laws. See Bondesson (1992, p. 112) and Steutel and van Harn (2004, p. 322).
We remark in passing that a direct corollary of the derivation of this result is that
has an extended generalised gamma convolution law with
This shows in particular that the sequence \(\{n!^{\lambda }: n=0,1,\dots \}\) is a Stieltjes moment sequence. Berg (2005, §2) has discussed this moment sequence in detail, showing in particular that it is Stieltjesdeterminate if and only if λ≤2. (Note that Berg denotes our parameter λ by c.)
Observing that log(n+1)− logn→0 (n→∞), we have the random series representation
Hence (25) is equivalent to \(E\left (B_{\lambda }^{t}\right)=(\Gamma (1+t))^{\lambda }\), where
has the pdf e_{λ}(x) identified in Lemma 2.1 of Berg (2005). Clearly B_{λ}×B_{ν}=dB_{λ+ν}, thus providing another proof that the family of pdf’s (ε_{λ}:λ>0) comprises a product convolution semigroup of pdf’s.
We note that Berg’s apparently different analytical proofs of his results derive in part from a product representation of the gamma function.
We now recall that the weak limits of sums of independent gamma random variables (i.e., no centring) are called generalised gamma convolutions (GGC’s) and they inherit the selfdecomposability of gamma laws. Thus, the GGC class is closed under independent addition of random variables and, remarkably, it also is closed under independent multiplication (Bondesson (2015)).
The discretelaw version of GGC’s are the generalised negative binomial convolution’s (GNBC’s), defined as the weak limits of sequences of sums of independent negative binomial random variables. The GNBC’s coincide with the mixtures of Poisson laws where the mixing law is a GGC. Hence GNBC laws are infdiv. The next result records the known fact that a Lerch law is a GNBC; see Bondesson (1992, p. 135) or Steutel and van Harn (2004, p. 420). The proofs in these references are distributed over widely separate portions of their expositions, so it is worthwhile to record a consolidated proof. This proof is in §10 together with necessary concepts and facts.
Theorem 12
If 0<c≤1, then the Lerch law L(N_{L}) is a GNBC if: (i) α>0 and λ≥1, or (ii) α>1 and λ>0.
Remark 7
A referee of an earlier version of this paper observed that the GNBC property may not hold if 0<α,λ<1, and indeed it does not if α=0.5 and λ=0.25.
It follows from Theorems 1 and 12 that X is equal in law to γ(λ) divided by an independent GNBC random variable. However this is not sufficient to conclude that L(X) is infdiv. Recent success in proving that many common laws are infdiv follows from showing that they are GGC’s. An important proper subset of GGC’s comprise absolutely continuous laws whose pdf’s are hyperbolically completely monotone (HCM). A function H(x) is called HCM if, for each u>0, the product H(uv)H(u/v) is a completely monotone function of w=v+v^{−1} where v>0. See Bondesson (1992) or Steutel and van Harn (2004, §5 in Chap. VI). Any gamma pdf is HCM and many other pdf’s have this property. However, we have the following counterresult.
Theorem 13
The pdf g(x;λ,a,b,c) is HCM if and only if c=0
Proof
An HCM function extends as a holomorphic function to the complex plane cut along the negative reals (Bondesson (1992, p. 68)). But clearly, if c≠0 and ρ:=− logc, the denominator of the pdf (3) has simple poles at
The assertion follows. □
This outcome leaves open the possibility that a GP law is a GGC, but the following argument suggests not. Suppose that 0<c≤1. It follows from (7) that the moment generating function of the GP law is proportional to m(s)=Φ(c,λ,α−s) and which, by virtue of (4), is analytic in the complex plane except for singularities at \(\alpha,\alpha +1,\dots \). If the GP law is a GGC, then for s>0 its Thorin measure U(ds) is computed as U((0,s))=π^{−1}A(s) where A(s):=arg(m(s)); see Bondesson (1992, p. 31). In particular A(s) is nondecreasing in (0,∞). Clearly A(s)≡0 in (0,α). Using the evaluation −1=e^{−iπ}, where \(i=\sqrt {1}\), we see for α<s<α+1 that
where \(\sigma (s)=\sum _{n\ge 1}c^{n}(\alpha +ns)^{\lambda }\) is real and positivevalued in this interval if 0<c≤1, and negativevalued if −1≤c<0. Hence
This is identically zero if λ is a natural number, so assume this is not the case. Letting s↓α shows that U(ds) assigns mass λ to s=α, exactly as for a gamma law, the case c=0. However σ(s)↑∞ as s↑α+1 and hence tanA(s)→0. Consequently A(s) cannot be nondecreasing in (α,α+1), and this contradiction implies that the GP(λ;a,b,c) law is a GGC if and only if c=0.
Characterisations by weighting and random scaling
In this section, factors in products of random variables are assumed to be independent. As mentioned in §1, many laws L(Y) have been characterised in terms of a fixed point relation expressed as \(Y\stackrel {d}= V\mathcal {L}_{r} Y\), e.g., Pakes (1997). We begin by seeking to extend Lemma 1 to the Planck laws. We approach this by observing that if Z≥0 is independent of Y and E(Z^{r})<∞, then \(\mathcal {L}_{r}(YZ)\stackrel {d}=(\mathcal {L}_{r} Y)(\mathcal {L}_{r} Z)\), so if \(U\mathcal {L}_{r} Z \stackrel {d}= Z\) then \(UV\mathcal {L}_{r}(YZ)\stackrel {d}= YZ\). Hence characterising a product law such as GP(λ;a,b,c) can be achieved by attending separately to its factors. The gamma factor in Theorem 1 is addressed by Lemma 1, so we need only to consider the shifted Lerch zeta law divisor N.
We will find it useful to highlight the dependence of L(N) on λ by writing N(λ) for N. It follows from (10) that the moment function of \(\mathcal {L}_{r} N(\lambda)\) is
According to (10) the righthand side equals EN^{−t}(λ+r), and hence
a property which is reciprocal to (13).
Let \(\mathcal {P}\) denote the set of prime numbers and let {N_{p}} be a sequence of independent random variables having the ‘stretched’ geometric laws
Clearly
Next, define independent random variables U_{p,r} (\(p\in \mathcal {P}\)) such that
Finally, we state a useful general property of the length bias operator which extends Lemma 2.1 (c) in Pakes (1997).
Lemma 4
If Y is a positive random variable and r>0, then \(\mathcal {L}_{r} Y^{s}\stackrel {d}= (\mathcal {L}_{{rs}} Y)^{s}\) for any real s such that E(Y^{rs})<∞.
Proof
The definition of \(\mathcal {L}_{r}\) yields
□
The following result is effectively a characterisation of L(N_{p}) in terms of an inverse powerlaw weighting.
Lemma 5
If λ,r>0 then
Proof
It follows from the evaluation (29) and using (30) to compute
that
This identity implies that
Hence \(N_{p}\stackrel {d}= U_{p,r}(\mathcal {L}_{r}N_{p}^{1})^{1}\stackrel {d}= U_{p,r}\mathcal {L}_{r}N_{p}\), where the last step follows from Lemma 7.2 with s=−1. □
Now assume that α=c=1 in which case the moment formula (10) becomes ν(t)=ζ(λ+t)/ζ(λ). The Euler product formula and (28) yield the product representation
Lemma 1, (31) and (32) together imply the following characterisation result for a subset of the Planck laws. The comments near the end of the Proof of Lemma 3 imply a similar result for the case \(\alpha ={\frac {1}{2}}\).
Theorem 14
Let λ,r>0,V∼beta(λ,r), and α=c=1. Any two of the following implies the third:

(a)
\(X\stackrel {d}= \mathcal {V} \mathcal {L}_{r} X\) and E(X)=(λ/a)(ζ(λ+1)/ζ(λ);

(b)
\( \mathcal {V}\stackrel {d}= V\prod _{p\in \mathcal {P}} U_{p,r}^{1}\); and

(c)
X∼GP(λ;a,a,1).
Theorem 14 does generalise Lemma 1, but at the expense of a complicated random scaling law and restrictions on the parameters. Another approach is to transfer complexity from the scaling to the weight function. Choose w(x)≥0 for x≥0 such that 0<m_{w}:=E(w(X))<∞. Define the weighted distribution function \( \mathcal {L}_{w} G=\int _{0}^{x} w(y)dG(y)/m_{w}\) and, if X has the distribution function G, then denote by \(\mathcal {L}_{w} X\) a random variable having the distribution function \(\mathcal {L}_{w} G\). It is quite easy to show that if \(q\ge \lambda >0, \widetilde V\sim {beta}(q,1)\) and w(x)=q−λ+x, then \(X\stackrel {d}= \widetilde V\mathcal {L}_{w} X\) if and only if X∼gamma(λ). See Pakes and Navarro (2007) for this and similar results. The following result (proved in §10) extends this to a larger family of Planck laws. The restrictions on α and c ensure that the weight function is nonnegative.
Theorem 15
Let either α≥1 and −∞<c≤1, or 0<α<1 and −α/(1−α)≤c≤1, and λ>0 if c<1 or λ>1 if c=1. If q≥λ and
then any two of the following implies the third:

(a)
\(X\stackrel {d}= \widetilde V \mathcal {L}_{w} X\) and m_{w}=q;

(b)
\(\widetilde V\sim \)beta (q,1); and

(c)
X∼GP(λ;a,b,c).
Theorems 1 and 9 can be interpreted in terms of weighting and scaling. The pdf of Y:=γ(λ)/a can be regarded as arising from weighting the GP(λ;a,b,c) pdf; \(Y\stackrel {d}= \mathcal {L}_{w} X\) where w(x)=1−ce^{−bx}. So if W=α/N then the representation in Theorem 1 can be expressed as
Since P(W≤1)=1 it follows that X is stochastically smaller than Y, an observation which also is a consequence of the fact that the weight function is strictly increasing. Similarly, if ν>λ then the representation of L(X) in Theorem 9 can be expressed as (33) where w(x)=(1−ce^{−bx})x^{ν−λ} and W=a/V.
A fixedpoint generalisation
We extend the weighting operation defined in the previous section by allowing X to have an arbitrary distribution function G(x) supported in the real line and w(x)≥0 to be a weight function satisfying 0<m_{w}:=E[w(X)]<∞. We write \( \mathcal {L}_{w} X_{w}\) to denote a random variable which has the weighted distribution function \( \mathcal {L}_{w} G(x):=m_{w}^{1}\int _{\infty }^{x} w(v)dG(v)\). Finally let H(x) be an arbitrary distribution function and let 0<β<1 be a constant.
Here we are interested in fixed points of the transformation \(\mathcal {T} G=(1\beta)\mathcal {L}_{w} G_{w}+\beta H\), that is, solutions for G of
where c=(1−β)/m_{w}, thus ensuring that G(∞)=1. A formal solution of (34) is
If H(0−)=0 then \(\widetilde G(0)=0\) and \((1c)\widetilde G(0)=\beta H(0)\), and in particular, if c=1, then H(0)=0 is a necessary condition for existence of a solution.
Relation (34) arises as the weak limit of the ‘in law’ recursion
where X(0) has a specified distribution function, I(n)∼Bern(β), the distribution function of V(n) is H, and \(I(n), \mathcal {L}_{w} X_{w}(n)\) and V(n) are independent. The distribution function version of this recursion was analysed by Kingman (1978) in the particular case where all distribution functions are supported in [0,1] and w(x)=x. This case is his ‘house of cards’ model for genetic mutationselection balance where X(n) represents the fitness of an individual chosen randomly from the nth generation of an evolving population, the weight function represents the skewing effect of greater reproductive success of fitter individuals, β is a probability of mutation, and H expresses the fitness distribution of mutants.
The following result is a uniqueness assertion implying that \(\widetilde G\) is determined by (34) for a given H.
Theorem 16
Suppose that 0≤w(x)≤1 and \({\lim }_{x\to 0} w(x)=1\). Then (34) has a solution if and only if 0<c≤1, in which case (35) is the unique solution.
The following theorem establishes a connection with the GP laws by representing the solution (35) in the spirit of Theorem 1.
Theorem 17
(i) Let the conditions of Theorem 16 hold. Then
where \((\mathcal {W}_{n}H)(x)=\int _{\infty }^{x} w^{n}(v)dH(v)/m_{w}(n), m_{w}(n)=E[w^{n}(V(1))]\) and the random variable \(\mathcal {N}\) has the law
(ii) Let H(0−)=0,η(s):=E(e^{−sV(1)}) and w(x)=e^{−bx} where b is a positive constant. Then
where \(H(x;s):=\int _{0}^{x} e^{sv} dH(v)/\eta (s)\) is a member of the natural exponential family generated by H, and
Proof
Expand the denominator in (35) to obtain
and interpret the summands in terms of quantities defined in the assertion. □
The transformation Y=w(X) reduces the distribution function version of (36) to the recursion studied by Kingman (1978). The case c<1 corresponds to his concept of ‘democracy’, and then the distribution functions G(x;n):=P(X(n)≤x) converge in total variation norm to \(\widetilde G(x)\) as given by (35). Moreover this convergence occurs geometrically fast. The case c=1 is more problematic. The fact that \(\widetilde G\) is a distribution function translates into the equality case of Kingman’s inequality (4.1). Next, the discrete probability distribution (37) is nonincreasing and hence \(\limsup _{n\to \infty } p_{n+1}/p_{n}\le 1\). This condition is sufficient to ensure that the renewal sequence {u_{n}} generated by the discrete law {p_{n}} satisfies the strong ratio limit property \({\lim }_{n\to \infty } u_{n+1}/u_{n}=1\); see Garsia et al. (1962). Thus Kingman’s meritocracy condition is fulfilled and hence we again have convergence to \(\widetilde G\) in total variation norm. As a final remark, observe that the sequence {p_{n}} is a Hausdorff moment sequence, and hence so is the renewal sequence {u_{n}}. Kingman (1978) proves this, and so too does Horn (1970). It follows that {u_{n}} is a Kaluza sequence (Kingman (1972, §1.5)), that is, {u_{n+1}/u_{n}} is nondecreasing.
It is evident now that the GP(λ;a,b,c) law arises as the unique solution of (34) with the exponential weight in Theorem 17(ii), V(1)=γ(λ)/a and m_{w}=βα^{λ}Φ(c,λ,α). We see too that the random scaling in Theorem 1 arises from the fact that members of the natural exponential family generated by a gamma law are simply scale changes of the generator. Finally, we observe that the case \(\lambda ={\frac {1}{2}}\) is implicit in Turelli (1984, §3) where V(1) has a centred normal law and the weight function has a Gaussian profile. The square of Turelli’s limiting fitness random variable has a generalized Planck law with \(\lambda ={\frac {1}{2}}\); see his equation (3.6).
Related infinitely divisible laws
In this section we present some discrete and continuous infdiv laws which are related to the GP law in various ways.
1. Our first relation can be regarded as an alternative approach to the discussion of discrete Pareto laws in Steutel and van Harn (2004, p. 420). Recall that N_{L} has the Lerch law, P(N_{L}=n)=p(n) where \(\{p(n):n=0,1,\dots \}\) is specified by the righthand side of (9). Also, let \((\mathcal {N}(\cdot))\) denote a unit rate Poisson process. The following result adds detail to Theorem 11. Its proof is in §10.
Theorem 18
The Lerch law L(N_{L}) is a Poisson mixture,
where T is independent of \(\mathcal {N}\) and its density function is the mixture of exponential densities
i.e., \(T\stackrel {d}= c\varepsilon \exp (\gamma (\lambda)/\alpha))\), where ε has a standard exponential law and it is independent of the gamma random variable γ(λ). Hence L(T) is infdiv.
2.Recall that \(\mathcal {N}(\cdot)\) denotes the unitrate Poisson process and that a positive random variable X has an infdiv law if and only if \(\Delta :=\mathcal {N}(\xi X)\) is infdiv (i.e., compound Poisson) for all ξ>0 (Steutel and van Harn (2004, p. 369)). In view of the incompletely resolved infdiv status of the GP laws, it is of interest to see what emerges if X∼GP(λ;α,c). In this case
It follows from Theorem 9 above that if 0<c≤1, then for any ν≥λ this is a mixture of negativebinomial laws with common shape parameter ν. In addition, it follows from Theorem 10 above and Theorem 12 in Steutel and van Harn (2004, p. 369) that L(Δ) is compound Poisson if λ≤2, and that {p(j;ξ)} is logconvex if and only if λ≤1; see Theorem 6.13 in Steutel and van Harn (2004, p.374).
It is easy to see that the sequence {ξ^{j}Γ(λ+j)/j!} is logconvex if and only if λ≤1, so the following result is a little unexpected.
Lemma 6
Let 0<c<1 and λ>0, or c=1 and λ>1. The sequence defined by ϕ(j)=Φ(c,λ+j,α)for \(j=0,1,\dots \) is logconvex. In addition the constant \(\overline K:=\sum _{j=0}^{\infty }\phi (j)\) is finite if and only if α>1, in which case
Proof
Using the formal identity \(\sum _{m\ne n}s_{m}\sigma _{n}=\sum _{m< n}(s_{m}\sigma _{n}+s_{n}\sigma _{m})\), where {s_{n}} and {σ_{n}} are sequences, we have for j≥1 that
The general inequality u^{2}+v^{2}≥2uv implies that ϕ(j−1)ϕ(j+1)≥ϕ^{2}(j), thus proving the first assertion. Next, (4) yields \(\overline K=\sum _{n\ge 0}c^{n}\sum _{j\ge 0}(\alpha +n)^{\lambda j}\) and the inner sum is finite if and only if α>1. The inner sum is a geometric series, whence (38). □
We thus obtain a compound Poisson law by normalising, i.e., define the discrete law
We remark in passing that the PGF Q(s) of this law can be expressed as a kind of quasimixture with respect to X∼GP(λ;α,c):
where
is the MittagLeffler function, i.e., a subfamily of confluent hypergeometric functions which generalises the exponential function; E_{1}(x)=e^{x}. See Erdelyi (1955, p. 210) or Olver et al. (2010, p. 261).
3. Let Y be a nonnegative random variable with finite first order moment m_{Y}, and in this subsection only we denote the ordinary sizebiased version of Y by \(\widehat Y:=\mathcal {L}_{1} Y\). Then the law of \(\widehat Y\) is that of the stationary total lifetime in the renewal process generated by L(Y). It is known that the total lifetime can be represented as the sum of Y and an independent increment if and only if L(Y) is infdiv, that is, L(Y) is infdiv if and only if
where Z≥0 and Y⊥Z. This is shown with the renewal context by van Harn and Steutel (1995), and independently by Pakes et al. (1996) emphasising the lengthbias connection. Suppose that (40) holds and let ψ(θ) denote the cumulant function of L(Y),
where l_{Y} is the infimum of the support of L(Y) and ℓ(dx) is its Lévy measure, that is, a measure on I R_{+} satisfying \(\int _{0}^{\infty } (x\wedge 1)\ell (dx)<\infty \). The LaplaceStieltjes transform of L(Z) is ξ(θ)=ψ^{′}(θ)/m_{Y}.
The following two examples explore the cases where one of L(Y) or L(Z) has a GP law.
Example 5
If Y(λ)∼GP(λ;a,b,c) then clearly \(\widehat Y(\lambda)\stackrel {d}= Y(\lambda +1)\) for any λ>0. So if 0≤c≤1 and 0<λ≤2, then it follows from Theorem 10(i) and (40) that
where, from (22), the LaplaceStieltjes transform of L(Z(λ)) is
This emphasises that the question of whether the GP(λ;a,b,c) law is infdiv is equivalent to deciding for which values of λ is ξ(θ;λ) a completely monotone function of θ.
In preparation for our second example we recall the following facts. Pakes et al. (1996) observe that if Z=γ(λ)/α in (40) then L(Y) has the Hougaard law H(η,δ,α), an infdiv law whose cumulant function is
where η=1−λ<1 and m_{Y}=δα^{−λ}. If 0<η<1 then the Hougaard laws for α>0 comprise the natural exponential family generated by the positive stable law with index η; see Seshadri (1993). The case η=0 is just the gamma law Y=γ(δ)/α, and if η<0 then L(Y) is a compound Poisson law which has a gamma jump law.
Suppose in (40) that the distribution function of Z has the mixture form
where {p(n)} is an arbitrary discrete law and G_{n} is a distribution function satisfying G_{n}(0)=0. Theorem 2.2 in Pakes et al. (1996) asserts that Y in (40) can be expressed as
where the summands are independent and L(Y_{n}) is infdiv with cumulant function
Example 6
Choosing Z∼GP(λ;α,c) in (40), then Theorem 1 implies the form (41) where the p(n) are given by (9) and G_{n}(x) is the distribution function of γ(λ)/(α+n). It follows that (42) holds with Y_{n}∼H(η,δ_{n},α+n) where
and the cumulant function of Y can be shown to be
It follows from the form of the Lévy density in this representation that L(Y) is a compound Poisson law if 0<c<1 and λ>1, or c=1 and λ>2, and in either case the jump law is the GP(λ−1;α,c) law; if 0<c≤1 and 1<λ≤2, then L(Y) belongs to the Bondesson class of laws (i.e., the smallest class containing exponential mixtures and closed under convolution and weak limits); and if 0<λ<1 and 0≤c≤1, or if λ=1 and 0≤c<1, then L(Y) is a GGC law.
Proofs
Proof of Theorem 1
The change of variable y=αv in (5) yields
It follows that the LaplaceStieltjes transform of \((aX(\lambda)\lambda)/\sqrt \lambda \) equals
The exponents in the quotient of expectations converge to infinity in probability and hence this quotient converges to unity. The first factor on the righthand side converges to \(\exp ({\frac {1}{2}}\theta ^{2})\) since \((\gamma (\lambda)\lambda)\left /\sqrt \lambda \stackrel {d}\to N(0,1) \right.\).
Proof of Theorem 4
Recall that g∈SU if and only if (14) holds. If λ<1, i.e., ℓ<0, then C(x)>0 and Assertion (i) follows.
Suppose that c<0. Then C(x)<0 if λ≥1. If, instead, 0<λ<1, then ℓ<0 and then (14) can be recast as
This clearly cannot hold because, as x↑∞, the righthand side decreases to zero much faster than the lefthand side. Assertion (ii) follows.
If c>0 and λ≥1, i.e. ℓ≥0, then C(x) can be factorised as
The first factor is positive, so (14) holds if and only if the second factor is negativevalued, i.e.,
If c=1, then this inequality is equivalent to \(y\le \sqrt \ell \sinh y\), where y=x/2. This inequality holds if and only if ℓ≥1, i.e., λ≥2. Assertion (iii) is thus established.
Finally, let 0<c<1. Obviously (14) cannot hold if λ=1. So assume that λ>1 and define the positive number \(\varrho =\sqrt {c/\ell }\). Then, still with y=x/2, (45) becomes
The righthand side is convex increasing from 1−c>0 at y=0. The parameter ϱ decreases through (0,∞) as ℓ increases from zero. Thus (46) holds if ℓ is sufficiently large. On the other hand, equality in (46) holds for two distinct values of y if ℓ is small. It follows that there is a critical value \(\overline \varrho \in (0,\infty)\) such that the equality has a unique positive solution Υ for y. This configuration is equivalent to the conditions
the second condition is a tangent condition.
Eliminating ϱ yields
Observing that r(0)=ε∈(0,1), that r(y)↑1 as y↑∞, and that r(y) is concave increasing, it follows that the unique solution Υ∈(ε,1). Hence the critical value of r is
Consequently, (46) holds if and only if r≤ϱ and (47) can be rearranged into the form (15). Assertion (iv) now follows.
Proof of Theorem 5
If α=c=1, then the sign equation (17) reduces to
This has a solution y=0 and it is the unique solution if and only if ℓ≤1, i.e., 1<λ≤2. Assertion (i) follows.
If λ>2, then g(0)=0 and (48) has a unique positive solution in (0,ℓ), implying that g is unimodal. The value of the mode is obtained by rewriting (48) as (y−ℓ)e^{y−ℓ}=−ℓe^{−ℓ}. Observe that the righthand side lies in (−e^{−1},0)and recall that the functional equation we^{w}=−z, where −e^{−1}<z<0, has two realvalued solutions, the principal and secondary Lambert functions of −z. The solution \(\overline y\) relevant for the present context tends to zero as ℓ→0, and hence \((\overline y\ell)=W(\ell e^{\ell })\), where W(·) denotes the principal Lambert function. Assertion (ii) now follows because \(M_{O}=a \overline y\). Assertion (iii) follows from the expansion W(x)=x+o(x) as x→0.
Proof of Theorem 6
The relation (17) with c=1 takes the form
Clearly R(0)=1 and R(y) decreases convexly to zero as y↑∞. Assertion (i) follows from graphical considerations. Assertion (ii) follows similarly by considering intersections of the graphs of each side of (49). In particular, for a fixed ℓ the critical value α_{c} corresponds to a solution of (49) subject to the tangent condition −α=R^{′}(y). Eliminating α yields the equation \(z^{1}\sinh z=\ell ^{{\frac {1}{2}}}\), where \(z={\frac {1}{2}} y\). Denoting the solution by \(\overline z\), (49) yields the critical value as
Observing that \(R^{\prime }(0)={\frac {1}{2}}\), it follows that \(\alpha _{c}<{\scriptstyle {1\over 2}}\). The reasoning is similar if ℓ=1 and the assertion follows because the two graphs intersect at y=0.
Proof of Theorem 7
Considering only the case λ>1, observe that S(0)=(λ−1)(1−c)>0 and hence there is at least one positive mode. Next, we have
independent of c. It follows that S(y) is concave in (0,∞) if 2α≥ℓ, i.e. if \(a/b\ge {\frac {1}{2}}(\lambda 1)\), and Assertion (iii) follows.
If 2α<ℓ, then S(·) has a unique inflection point y_{i}=(ℓ/α)−2∈(0,∞) and it is convex in [0,y_{i}] and concave in [y_{i},∞).
Now
So if \(\ell >\overline \ell \), then S(·) is convex increasing in [0,y_{i}]. It follows that S(·) has a unique global maximum, at y_{M} say, and a unique zero y_{0} with \(y_{i}< y_{M}< y_{0}<\ell /\overline \ell \). Hence g(x) is unimodal.
If \(\ell <\overline \ell \), then S(·) is convex decreasing near y=0. The above assertions about y_{M} and y_{0} hold (though y_{0} may not be the only zero), and now S(·)has a local minimum y_{m}∈(0,y_{i}). If S(y_{m})<0, then there are a further two zeros y_{i0} such that 0<y_{10}<y_{m}<y_{20}<y_{M} and g(x) is bimodal in such a case.
Proof of Theorem 8
Write k=−c and observe that (49) becomes
Clearly R(0)=0 and R^{′}(0)=k/(1+k)>0. A calculation shows that R has a global maximum at \(\overline y=1+W(ke^{1})>1\), an inflection point \(y_{i}\in (\overline y,\infty)\), and it is concave in (0,y_{i}) and convex in (y_{i},∞). Assertion (i) follows from these observations and that ℓ>0 in this case.
If ℓ=0, then g(0)∈(0,∞),g^{′}(0)>0, and y=0 solves (50) for any α>0. It is the unique solution if α≥R^{′}(0), and there is a second positive solution, M_{O} say, if α<R^{′}(0). Assertion (ii) now follows.
If 0<λ<1, then the lefthand side of (50) has a positive intercept −ℓ at y=0. Hence (50) has no positive solution for any α>0 if \(\ell \ge R(\overline y)=\overline y1=W(ke^{1})\), i.e., if λ≥λ_{c}:=1+W(ke^{−1}). Assertion (iii) and the first part of (iiia) follow. This outcome can occur only if \(\ell \ge \max R(y)=R(\overline y)=W(ke^{1})\), i.e., ℓe^{ℓ}≤ke^{−1}. The second part of Assertion (iiia) follows.
If λ<λ_{c}, then \(\ell <R(\overline y)\) and (50) has no solution if α is large and it has two positive solutions if α≈0. Consequently, there exists a critical value of α such that (50) has a unique positive solution, implying that the graphs of αy−ℓ and R(y) meet tangentially. This unique solution y_{t} and the critical value α_{c} are obtained by solving (50) subject to α=R^{′}(y). Eliminating αgives the equation −ℓ=R(y)(y−R(y)). This has two solutions and y_{t} is the smaller. Thus \(y_{t}<\overline y\) and \(\alpha _{c}=y_{t}^{1}(R(y_{t})+\ell)\). Assertion (iiib) follows from these facts.
Proof of Theorem 10
Bondesson (1987) defines a class I_{c} of pdf’s f on (0,∞) which are positive with a continuous derivative and satisfy
The class I_{c} properly contains logconvex pdf’s. Members of I_{c} are decreasing and they are infdiv (Bondesson (1987, Theorem 4.1)). Finally, a pdf f∈I_{c} has a representation
where ψ is continuous and positivevalued and l is continuous with range in [0,1]. Conversely, any pdf having this form is in I_{c} (Bondesson (1987, Theorem 4.2)).
An equivalent expression of (51) is
Referring to (16), let k=−c (which is positive) to obtain
Choose ψ(x)≡a and l(x)=1−λ−R(bx) where, recalling (50), R(y)=ky/(e^{y}+k). Bondesson’s Theorem 4.2 is applicable if 0≤l(x)≤1. The righthand side inequality obviously holds, and the lefthand side inequality is equivalent to the condition 1−λ≥ maxy≥0R(y).
It follows as in the Proof of Theorem 5 that R has a unique maximum at \(y=\overline y= 1+W(ke^{1})\) and that \(R(\overline y)=\overline y1=W(ke^{1})\). Hence g∈I_{c} if and only if 1−λ≥W(ke^{−1}). This inequality implies that λ≤1 and that W(ke^{−1})<1=W(e), i.e., k<e^{2}. Assertion (ii) follows.
Remark 8
The conditions (20) appear to be optimal for the conclusion. Specifying an arbitrary nonnegative continuous decreasing function ψ, Bondesson’s representation requires that ψ(x)↓a. This leads to a form of l(x) uniformly smaller than the above choice and hence to more stringent conditions for it to be nonnegative.
Proof of Proposition 1
Bondesson (1987) defines the class S_{c}⊂I_{c} of pdf’s f on (0,∞) which are positivevalued, f^{′′}(x) is continuous and which satisfy
Members of S_{c} are SD.
Applied to the GP pdf g(x) and recalling that γ(x)=g^{′}(x)/g(x), Bondesson’s criterion becomes
Now γ(0+)=−∞ and γ(∞−)=−a, so if γ^{′}(x)≥0 in (0,∞), i.e., g is logconvex, then γ(x)<0 in (0,∞) and (52) simplifies to
This condition takes the explicit form (where y=bx),
i.e.,
If 0<c≤1, then γ^{′}(x)≥0, so we have only to check (53). In the case c=1 we have
and \(D(0+)={\frac {1}{2}}\). In addition
The square bracket term equals
Hence D(y) is decreasing, so \(\max _{y>0} D(y)={\frac {1}{2}}\), and Assertion (i) follows.
If 0<c<1, then the relation D^{′}(y)=0 can be cast as
Clearly ϕis positivevalued and increasing in (0,2), ϕ(2−)=∞, and ϕis negativevalued and decreasing in (2,∞). Hence there is a single value y_{c} of y satisfying (54) and y_{c}∈(0,2). Moreover, since D^{′}(0)=c(1−c)^{−2}>0,
Assertion (ii) follows now from (53).
Assume now that c<0 and write k=−c. Consider first the sign of γ^{′}(x), equivalently, the sign of
where L=1−λ∈[0,1). We have ψ(y)≥0 in (0,∞) if and only if
Critical points of ξ solve the equation
Clearly A(0+)=∞,A(∞−)=−1 and A is decreasing. Hence there is exactly one critical point y_{c} and it is a global maximum of ξ because ξ(0)=ξ(∞−)=0. Now (55) rearranges into the form
c.f. (23).
It follows, as above, that y_{c}>2 and that
Hence γ^{′}(x)≥0 if and only if \((y_{c}^{2}/4)1 \le 1\lambda \), i.e., the bound in Assertion (iii) holds. Checking that the logderivative of e^{y}(y−2)/(y+2) is positive in (2,∞), it follows that y_{c} increases through (2,∞) as k increases through (0,∞). Hence the lefthand inequality in (23) can hold only if \(y_{c}<2\sqrt 2\), i.e., only if
(This establishes assertions in Remark 4.)
Next, in terms of k we see that
D(0)=k/(k+1)∈(0,1) and D(y)∼−kye^{−y}<0 as y→∞. As in the previous case, D^{′}(y)=0 if and only if (54) (with c=−k) holds. That equation has a unique solution y_{c}∈(0,2). But D^{′}(0)=−2k(k+1)^{−2}<0, hence miny>0D(y)=D(y_{c})<0. It follows that maxy≥0D(y)=D(0), and Assertion (iii) follows.
Proof of Lemma 3
Theorem 1 allows us to write \(\log X=\Lambda \mathcal {N}\) where Λ= logγ(λ) and \(\mathcal {N}=\log N\). The assertion follows because Λ and \(\mathcal {N}\) have infdiv laws. To see this observe first that the moment generating function μ_{Λ}(t) of Λ is Γ(λ+t)/Γ(λ). It follows that E(Λ)=ψ(λ) where ψ(t)=(d/dt) logΓ(t) is the digamma function, and
see Gradshteyn and Ryzhik (1980, 8.361(1)). Integration yields the Kolmogorov representation
where
Hence L(Λ) is a spectrallypositive infdiv law.
The law of \(\mathcal {N}\) in the case b=a, i.e. α=1, is the zeta law, and this was shown to be infdiv by Khintchine in 1938. See Steutel and van Harn (2004, p. 131) and, with more detail, Lin and Hu (2001). The essence of this is that the Euler product representation of the Riemann zeta function leads to a representation of \(\mathcal {N}\) as a weighted sum of independent random variables,
where \(\mathcal {P}\)is the set of prime numbers and P(W_{p}=n)=(1−p^{−λ})p^{−λn}. Hence \(\mathcal {N}\)is a weighted sum of independent random variables having geometric laws, and since these are infdiv, then \(L(\mathcal {N})\) is infdiv too. Its Lévy measure ℓ_{1}(dx) assigns mass (mp^{mλ})^{−1} to \(m\log p, p\in \mathcal {P}\)and m∈I N. The case \(\alpha ={\frac {1}{2}}\) is treated by Hu et al. (2006). They show in this case that
Hu et al. (2006) prove the surprising result that \(L(\mathcal {N})\) is infdiv only if\(\alpha ={\frac {1}{2}}\) or α=1.
Proof of Theorem 12
Recall the definitions of GGC and HCM near the end of §6 and widen the definition of a GGC law by admitting any function as a GGC if it is proportional to the pdf of a GGC law. The proof requires the following concepts and facts.

(a)
If a probability mass function p(n) is a GNBC and if c>0 and \(\sum _{n\ge 0} p(n)c^{n}<\infty \), then the probability mass function ∝p(n)c^{n} is a GNBC, (Bondesson (1992, p. 128));

(b)
An absolutely monotone probability mass function
$$ p(n)=\int_{0}^{\infty} e^{nx}k(x)dx $$(57)can be expressed as the Poisson mixture
$$p(n)={1 \over n!}\int_{0}^{\infty} z^{n} e^{z} g(z)dz $$where
$$g(z):=\int_{0}^{\infty} e^{zy} \xi(y)dy $$and ξ(y)=k(log(1+y)). The discrete law {p(n)} is a GNBC if and only if g is a GGC pdf (Bondesson (1992, p. 127) or Steutel and van Harn (2004, p. 391));

(c)
L(Y) is a GGC if and only if its LaplaceStieltjes transform is HCM, (Bondesson (1992, p. 81) or Steutel and van Harn (2004, p. 362));

(d)
An HCM function is a GGC, (Bondesson (1992, p. 57) or Steutel and van Harn (2004, p. 358));

(e)
Positive powers and products of HCM functions are HCM;

(f)
If η(x) is HCM then so is the composition η(h(y)) where \(h(y) = \int _{0}^{1} y^{t}\overline m(dt)\) and \(\overline m\) is a measure supported in [0,1], (a limiting form of Theorem 3.3.2 in Bondesson (1992, p. 41));

(g)
If κ(θ) is a decreasing HCM function then κ(a+θ) is HCM for any a>0, (Bondesson (1992, p. 68)); and

(h)
The limit of a sequence of HCM functions is HCM.
The proof. Assume Case (i), that λ>1 In view of (a) it suffices to assume c=1. The case λ=1 is obvious from what follows, so we assume λ>1. Ignoring the normalisation constant Φ(1,λ,α)in the definition (9), p(n)has the form (57) where k(x)∝x^{λ−1}e^{−αx}, giving
It follows that \(\int _{0}^{\infty } g(z)dz<\infty \). If we can show that ξ(y) is HCM then it follows from (c) and (d) that g(z) is HCM, and hence is a GGC. The assertion will follow then from (b).
It is obvious that the identity function and the function (1+y)^{−1} are HCM, so it follows from the form of ξ(y)and from (e) that we only need to show that y^{−1} log(1+y) is HCM, and this follows from (f)  (h) as follows.
Clearly η(x)=(1+δ)/(δ+x) is HCM for all δ>0. Choosing \(\overline m(dt)=dt\) gives h(y)=−(1−y)/ logy if y>0 and y≠1, and h(1)=1, so we conclude from (f) that κ(y)=η(h(y)) is HCM. It is decreasing too, so it follows from (g) that
is HCM. The desired outcome now follows by letting δ→0 and from (h).
Case (ii), α>1 and λ>0, is the particular case β=1 of Theorem 8.3.3 in Bondesson (1992). The essence of his proof is that ξ(y) is proportional to the pdf of Y=e^{(α−1)γ(λ)}−1 and the Proof of Theorem 6.2.6 in Bondesson (1992) shows that L(Y) is a GGC. Hence the Laplace transform g(z) is HCM. However, \(\int _{0}^{\infty } g(z)dz=\infty \), but it follows that g is the density function of a wide sense GGC (Bondesson (1992, p. 46)). This suffices for the conclusion.
Proof of Theorem 15
The restrictions on α and c ensure that w(x)≥0. If (a) and (b) both hold, then the distribution function G of X is absolutely continuous with a pdf g(x)=G^{′}(x) for almost every x>0. In addition \(G(0)=(\mathcal {L}_{w} G)(0)=G(0)w(0)/q\). But w(0)=q−λ+δ_{c,1}, so G(0)>0 if and only if λ=δ_{c,1}, that is, if and only if λ=c=1. This violates our assumptions. Hence we conclude that under any pair of the conditions (a) to (c), G(x) has a pdf g(x). Consequently the weighted distribution function has the pdf w(x)g(x)/m_{w}.
If (a) and (b) hold, then these pdf’s are related by
This has a unique solution which can be confirmed to be (3) by observing that in this case
and a little algebra shows that the differential equation derived from the integral equation indeed is satisfied.
This argument shows also that if (b) and (c) hold, then the first part of (a) holds, and we only need to observe that integrating (58) yields
after integrating by parts. Thus we have proved that (a) and (c) are equivalent if (b) holds.
Now assume that (a) and (c) hold, and let H(v) denote the distribution function of V(1). A Mellin convolution for the density function of a quotient of independent random variables yields
where we have used (58) for the second equality. Letting N(t)=E[(V(1))^{t}], it follows that
It follows that N(t)=q/(q+t), and this is the moment function of the beta (q,1) law. Thus (a) and (c) imply (b).
Proof of Theorem 16
Suppose G solves (34). Clearly G≪H, so
Letting x→0 shows that c≤1. Suppose there are two distinct distribution function solutions and let Δ(x) be their difference. Then Δ(∞)=0, and
Observing that the last integral is bounded above in magnitude by 2, allowing n→∞ implies that Δ(x)≡0 if c<1. If c=1 then \(\Delta (x)=\int _{\mathcal {I}} d\Delta (x)\) where \(\mathcal {I}= \{x: w(x)=1\}\). This integral equals \({\lim }_{x\to \infty } \int _{\infty }^{\infty } w^{n}(x)d\Delta (x)=\Delta (\infty)=0\). Finally, \(\widetilde G\)is a distribution function because
Proof of Theorem 18
Let Z∼GP(λ;α,c). Then (3) and (6) yield
Comparing this with (9) gives the following representation as a mixture of geometric laws, p(n)=E[(1−U)U^{n}], where U=ce^{−Z} and whose density function is
Now let ε have a standard exponential law and be independent of T and \(\mathcal {N}\). Since
the Poisson mixture form evidently holds with
and ε, Z and \(\mathcal {N}\) are mutually independent. This shows that L(T) is a mixed exponential law, and hence it is infdiv. The geometric mixture representation implies that (p(n)) is completely monotone and hence log convex (Steutel and van Harn (2004, p. 377)). This implies that {p(n)} is infdiv.
Availability of data and materials
Not applicable.
Abbreviations
 GP:

Generalised Planck
 pdf:

Probability density function
 infdiv:

Infinitely divisible
 CIR:

CoxIngersollRoss
 SD:

Selfdecomposable
 BDLP:

Background driving Lévy process
 GGC:

Generalised gamma convolution
 GNBC:

Generalised negative binomial convolution
 HCM:

Hyperbolically completely monotone
References
Berg, C.: On powers of Stieltjes moment sequences. I. J. Theor. Prob. 18, 871–889 (2005).
Brigo, D., Mercurio, F.: Interest Rate Models  Theory and Practice. Springer, Berlin (2001).
Bondesson, L.: On the infinite divisibility of the halfCauchy and other decreasing densities and probability functions on the nonnegative half line. Scand. Actuar. J.34, 225–247 (1987).
Bondesson, L.: Generalized Gamma Convolutions and Related Classes of Distributions and Densities. SpringerVerlag, New York (1992).
Bondesson, L.: A class of probability distributions that is closed with respect to addition as well as multiplication of independent random variables. J. Theor. Probab. 28, 1063–1081 (2015).
Cox, J., Ingersoll, J., Ross, S.: A theory of the term structure of interest rates. Econometrica. 53, 385–408 (1985).
Cropper, W. H.: The Quantum Physicists. O.U.P., New York (1970).
Davis, H. T.: The Theory of Econometrics. Principia Press, Bloomington (1941).
Dennis, B., Patil, G. P.: The gamma distribution and weighted multimodal gamma distributions as models of population abundance. Math. Biosci. 68, 187–212 (1984).
Dharmadhikari, S., JoagDev, K.: Unimodality, Convexity, and Applications. Academic Press, New York (1998).
Erdélyi, A, Functions, HigherTranscendental, Vol. III, (Eds). McGrawHill, New York (1955).
Feller, W.: Two singular diffusion problems. Ann. Math. 54, 173–182 (1951).
Garsia, A. M., Orey, S., Rodemich, E.: Asymptotic behaviour of successive coefficients of some power series. Illinois J. Math. 6, 620–629 (1962).
Gradshteyn, I. S., Ryzhik, I. M.: Tables of Integrals, Series and Products. Academic Press, New York (1980). The 8th edition is available online.
Gupta, P. L., Gupta, R. C., Ong, S. H., Srivasta, H. M.: A class of HurwitzLerch distributions and their applications in reliability. Appl. Math. Comput. 196, 521–531 (2008).
van Harn, K., Steutel, F.: Infinite divisibility and the waiting time paradox. Stoch. Model. 11, 527–540 (1995).
Horn, R. A.: On moment sequences and renewal sequences. J. Math. Anal. Appl. 31, 130–135 (1970).
Horsthemke, W., Lefever, R.: Noise Induced Transitions. Springer, Berlin (1984).
Hu, C. Y., Iksanov, A., Lin, G. D., Zakusylo, O. K.: The Hurwitz zeta distribution. Austral. N.Z.J. Statist. 48, 1–6 (2006).
Johnson, N. L., Kotz, S.: Continuous Univariate Distributions  2. HoughtonMifflin Co., Boston (1970).
Johnson, N. L., Kemp, A. W., Kotz, S.: Univariate Discrete Distributions, 3rd ed. Wiley, New York (2005).
Kingman, J. F. C.: Regenerative Phenomena. Wiley, London (1972).
Kingman, J. F. C.: A simple model for the balance between selection and mutation. J. Appl. Prob. 15, 1–12 (1978).
Kittel, C.: Thermal Physics. Wiley, New York (1969).
Klar, B., Parthasarathy, P. R., Henze, N.: Zipf and Lerch limit of birth and death processes. Prob. Eng. Info. Sci. 24, 129–144 (2010).
Kleiber, C., Kotz, S.: Statistical Size Distributions in Economics and Actuarial Sciences. WileyInterscience, New York (2003).
Kotz, S., Kozubowski, T. J., Podgórski, K.: The Laplace Distribution and Generalizations. Birkhäuser, Boston (2001).
Lamberton, D., Lapeyre, B.: Introduction to Stochastic Calculus Applied to Finance. ChapmanHall, London (1996).
Li, Z.: MeasureValued Branching Processes. Springer, Berlin (2011).
Lin, G. D., Hu, C. Y.: The Riemann zeta distribution. Bernoulli. 7, 817–828 (2001).
Longair, M. S.: Theoretical Concepts in Physics. C.U.P., Cambridge (1984).
Lukacs, E.: A characterization of the gamma distribution. Ann. Math. Statist. 26, 319–324 (1965).
Nadarajah, S., Kotz, S.: A generalized Planck distribution. TEST. 15, 361–374 (2006).
Olver, F. W., Lozier, D. W., Boisvert, R. F., Clark, C. W.: NIST Handbook of Mathematical Functions. C.U.P., New York (2010).
Pais, A.: Subtle is the Lord. O.U.P., New York (1982).
Pakes, A. G.: Length biasing and laws equivalent to the lognormal. J. Math. Anal. Appl. 197, 825–854 (1996).
Pakes, A. G.: Characterization by invariance under lengthbiasing and random scaling. J. Statist. Planning Inf. 63, 285–310 (1997).
Pakes, A. G., Navarro, J.: Distributional characterizations through scaling relations. Aust. N.Z. J. Stat. 49, 115–135 (2007).
Pakes, A. G., Sapatinas, T., Fosam, E. B.: Characterizations, lengthbiasing, and infinite divisibility. Statist. Pap. 37, 53–69 (1996).
PuertasCenteno, D., Toranzo, I., Dehasa, J.: Biparametric complexities and generalized Planck radiation law. J. Phys. A: Math. Theor. 50, 505001 (22pp.) (2017).
Sato, K. I.: Lévy Processes and Infinitely Divisible Distributions, Revised ed.C.U.P, Cambridge (2013).
Schilling, R. L., Song, R., Vondrac̆ek, Z.: Bernstein Functions, 2nd. ed. De Gruyter, Berlin (2012).
Seshadri, V.: InverseGaussian Distributions: A Case Study in Natural Exponential Families. Clarendon Press, Oxford (1993).
Steutel, F. W., van Harn, K.: Infinite Divisibility of Probability Distributions on the Real Line. Marcel Dekker Inc., New York (2004).
Stewart, S. M.: Blackbody radiation functions and polylogarithms. J. Quant. Spectrosc. Radiative Trans.113, 232–238 (2012).
Stuart, A.: Gammadistributed products of independent random variables. Biometrika. 49, 564–565 (1962).
Tomovski, Z̆., Saxena, R., Pogány, T.: Probability distributions associated with Mathieu type series. ProbStat. Forum. 05, 86–96 (2012).
Turelli, M.: Heritable genetic variation via mutationselection balance: Lerch’s zeta meets the abdominal bristle. Theor. Popul. Biol. 25, 138–193 (1984).
Varrò, S.: Irreducible decomposition of Gaussian distributions and the spectrum of blackbody radiation. Physica Scripta. 75, 160–169 (2007).
Valluri, S., Gil, M., Jeffrey, J., Basu, S.: The Lambert W function and quantum statistics. J. Math. Phys. 50, 102103 (2009).
Weinberg, S.: Lectures on Quantum Mechanics. C.U.P., New York (2013).
Wolfe, S.: On a continuous analogue of the stochastic difference equation X_{n}=ρX_{n−1}+B_{n}. Stoch. Processes Appl. 12, 301–312 (1982).
Wong, E.: The construction of a class of stationary Markoff processes. In: Stochastic Processes in Mathematics, Physics and Engineering, Proc. Symp Appl. Math. XVI. American Mathematical Society, Providence (1984).
Acknowledgments
Remark 7 acknowledges a remark made by a referee of a much earlier version of my paper. I thank the referees of the present version for their care and remarks which have improved my presentation.
Funding
This research has no funding support.
Declarations
Author information
Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares the he has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pakes, A.G. Structural properties of generalised Planck distributions. J Stat Distrib App 8, 12 (2021). https://doi.org/10.1186/s40488021001241
Received:
Accepted:
Published:
Keywords
 Planck distribution
 Mean reverting diffusion
 Modal properties
 Infinite divisibility and selfdecomposability
 Length biased and weighted laws
 Characterisation
 Mutationselection balance
AMS Subject Classification
 60E05
 62E10
 60E07
 60J60
 92D10