 Research
 Open Access
 Published:
On two extensions of the canonical Feller–Spitzer distribution
Journal of Statistical Distributions and Applications volume 8, Article number: 3 (2021)
Abstract
We introduce two extensions of the canonical Feller–Spitzer distribution from the class of Bessel densities, which comprise two distinct stochastically decreasing oneparameter families of positive absolutely continuous infinitely divisible distributions with monotone densities, whose upper tails exhibit a power decay. The densities of the members of the first class are expressed in terms of the modified Bessel function of the first kind, whereas the members of the second class have the densities of their Lévy measure given by virtue of the same function. The Laplace transforms for both these families possess closed–form representations in terms of specific hypergeometric functions. We obtain the explicit expressions by virtue of the particular parameter value for the moments of the distributions considered and establish the monotonicity of the mean, variance, skewness and excess kurtosis within the families. We derive numerous properties of members of these classes by employing both new and previously known properties of the special functions involved and determine the variance function for the natural exponential family generated by a member of the second class.
Introduction
The discovery of new infinitely divisible distributions with regularly varying tails is important for the development of distribution theory per se as well as for mathematical modelling, and applications in statistics and to decision theory. Ideally, they should have tractable probability density (or mass) functions (i.e., the p.d.f. and the p.m.f., respectively) and/or Laplace transform. Here, we introduce the following two different stochastically decreasing oneparameter families of positive absolutely continuous infinitely divisible distributions whose upper tails have a power decay.
Definition 1
Given the realvalued parameter ρ>1/2, consider the following class of positive functions of argument \(x \in \mathbf {R}^{1}_{+} := (0, +\infty)\):
We define them at the origin by continuity such that
It is shown in “Properties of the class \({\mathcal {X}}_{\rho }\)” section that each such function constitutes the p.d.f. of its own nonnegative absolutely continuous random variable, which is hereinafter denoted by \({\mathcal {X}}_{\rho }\) and referred to as the generalized ρorder Feller–Spitzer r.v. of the first type.
Definition 2
Consider a class of positive infinitely divisible distributions which is indexed by the realvalued parameter ρ>1/2, has the following density of its Lévy measure \(\nu _{\rho }^{(2)}(\{ \cdot \})\) on \(\mathbf {R}_{+}^{1}\):
and does not have a drift component. Note that a combination of assumption (3) with the wellknown asymptotics of the modified Bessel function of the first kind I_{r} (introduced by (104)) at 0 and +∞ yields the fulfillment of (Bertoin (1996), condition (3.2)). Hence, such r.v., which is hereinafter denoted by \({\mathcal Y}_{\rho }\) and called the generalized ρorder Feller–Spitzer r.v. of the second type, is well defined and generates its own subordinator whose corresponding Laplace transform is as follows:
For each real ρ>1/2, the nonnegative r.v. \({\mathcal Y}_{\rho }\) is absolutely continuous on \(\mathbf {R}^{1}_{+}\) (see Theorem 5.i). Hereinafter, we denote its p.d.f. by p_{ρ}(x).
It is interesting that the Laplace transforms of members of these two new classes of distributions are related by virtue of the integral representation (60), which in turn is closely related to the concept of ρfunction of the generic member of a certain subclass of infinitely divisible distributions considered in (Steutel and van Harn (2004), formula (V.2.3)). (Note that the parameter ρ employed throughout this paper is not related to the letter ρ used in the concept of ρfunction due to Steutel and van Harn (2004).)
Both these families which are thoroughly studied in “Properties of the class \({\mathcal {X}}_{\rho }\)” and “Properties of the class \({\mathcal {Y}}_{\rho }\)” sections, respectively, were derived as an outgrowth of the wellknown distribution presented in Definition 3 of “Review and some new results for the Feller–Spitzer class of Bessel densities” section, which is hereinafter referred to as the canonical Feller–Spitzer distribution (compare to Examples 1 and 2). This probability law first appeared in (Spitzer (1964), p. 236), but its major properties were presented by Feller (1966a) and Feller (1966b) who termed a wider class the Bessel densities.
It should be pointed out that (Johnson et al. (1994), Section 12.4.4) considered the socalled Bessel function distributions such that the p.d.f. of the generic member of such a class involves an exponentially tilted modified Bessel function of the first type (104) with an odd value of the index (see formula (12.95) therein). However, in contrast to the p.d.f.’s and Lévy densities (i.e., densities of the corresponding Lévy measures) which emerge in this work, the power term of the p.d.f.’s from (Johnson et al. (1994), Section 12.4.4) has a positive exponent, whereas it is negative in our case. Hence, the Bessel function distributions considered in (Johnson et al. (1994), Section 12.4.4) should not be confused with ours. See also “Review and some new results for the Feller–Spitzer class of Bessel densities” section for more detail on the terminology.
Each member of the two families introduced in Definitions 1–2 can be used as a mixing measure to generalize the corresponding Poisson mixture with a comparable tail behavior of its p.m.f. However, a detailed consideration of their properties is beyond the scope of this paper. See also (Paris and Vinogradov (2020a), formula (1.2)).
In this paper, we will frequently utilize several special functions including the modified Bessel function of the first kind given by (104) as well as the Gauss hypergeometric function and its generalization, which are introduced by Definitions 4 and 5, respectively. For the reader’s convenience, numerous definitions and results on special functions employed in this paper are deferred to “Appendix” section. In particular, it contains two new inequalities (108) and (109) for Bessel functions.
This article is not selfcontained. Hence, we refer to Letac (1992) and Jørgensen (1997) for a comprehensive description and important examples of natural exponential families (or NEF’s), and to Olver et al. (2010) for more detailed information on the relevant special functions. The proof of some subtle analytic results on new properties of the modified Bessel function of the first kind (104) including the inequalities (108) and (109) are given in our work Paris and Vinogradov (2020b).
To conclude the Introduction, we summarize some notation and terminology that will be used in the sequel. First, we follow the custom of formulating various statements of distribution theory in terms of the properties of r.v.’s, even when such results pertain only to their distributions. The acronym “ch.f." is used for a characteristic function. In what follows, the sign “\(\overset {\mathrm {d}}{=}\)" will denote the fact that the distributions of (univariate) r.v.’s coincide, whereas the symbol “\(\overset {d}{\rightarrow }\)” will stand for weak convergence. In the sequel, log stands for the natural logarithm of the real or complex argument (In the complex case, logz is understood as its principal value). An empty sum is interpreted as zero.
Review and some new results for the Feller–Spitzer class of Bessel densities
First, we present the following analytic result that can be derived from Feller (1966a).
Lemma 1
Given real λ≥0,
The above lemma will be used to relate formulas (6), (7) and (8). Separate parts of (5) give an outgrowth to Definitions 1–2 as well as the main concepts of “Properties of the class \({\mathcal {X}}_{\rho }\)” and “Properties of the class \({\mathcal {Y}}_{\rho }\)” sections.
It is known that the identity (5) is closely related to an important positive absolutely continuous infinitely divisible distribution which we call the canonical Feller–Spitzer distribution, since it was first considered by (Spitzer (1964), p. 236), Feller (1966a), and Feller (1966b). It is introduced as follows:
Definition 3
The canonical Feller–Spitzer positive absolutely continuous r.v. \({\mathcal U}_{1}\) is defined by virtue of its p.d.f.
By Feller (1966a) and Feller (1966b), r.v. \({\mathcal U}_{1}\) is infinitely divisible having the following density τ_{1}(x) of its Lévy measure (or its Lévy density):
In view of (5), the Laplace transform of \({\mathcal U}_{1}\) acquires the following form for λ≥0:
The variance function V_{1}(μ) of the NEF constructed starting from the canonical Feller–Spitzer r.v. \({\mathcal U}_{1}\) with p.d.f. f_{1}(x) is as follows:
The validity of (9) was stated by (Letac (1987), p. 154) in his discussion of (Jørgensen (1987), Example 2.1). This also follows from a combination of (Jørgensen (1997), formula (2.18)) with the fact that the inverse of the meanvalue mapping for a NEF generated by r.v. \({\mathcal U}_{1}\) equals
We refer to (Jørgensen (1997), p. 48) for more detail on the variance function of a generic NEF and a related concept of the meanvalue mapping.
The motivation behind the consideration of r.v. \({\mathcal U}_{1}\) in (Spitzer (1964), p. 236) and (Feller (1966a), Subsection II.7.b) was partly because it emerges as the law of the first passage time of level 1 for the socalled continuous–time symmetric Bernoulli random walk which is characterized by mean 1 exponential time in between the jumps. More specifically, if \(\{{\mathcal B}_{\ell },~\ell \geq 1\}\) are i.i.d.r.v.’s such that \(\mathbf {P}\{ {\mathcal B}_{\ell } = \pm 1 \} = 1/2\) independent of a Poisson process \(\{{\mathcal N}(t),~t \geq 0\}\) with unit intensity, consider the (continuoustime and discrete space) compound Poisson Lévy process \({\mathcal S}(t) \overset {\mathrm {d}}{=} {\mathcal B}_{1} +... + {\mathcal B}_{{\mathcal N}(t)}\) and the corresponding first passage time of positive integer level n≥1:
Then the r.v. \({\mathcal T}_{n}\) has the p.d.f. \(f_{1}^{*n}(u)\) of the n^{th} partial sum \({\mathcal U}_{1}(1) +... + {\mathcal U}_{1}(n)\) of n i.i.d.r.v.’s with common canonical Feller–Spitzer distribution \({\mathcal U}_{1}\) with the p.d.f. f_{1}(u).
The p.d.f. \(f_{1}^{*t}(u)\) was found by (Spitzer (1964), p. 236), Feller (1966a); Feller (1966b) to be as follows:
(It is straightforward to check that the expression which emerges on the righthand side of (11) constitutes a legitimate p.d.f. on \(\mathbf {R}^{1}_{+}\) for an arbitrary realvalued\(t \in \mathbf {R}^{1}_{+}\).)
The cumulantgenerating function (or the c.g.f.) of the corresponding compound PoissonBernoulli r.v. \({\mathcal S}(1)\) equals
Subsequently, in view of a slight modification of (Jørgensen (1997), pp. 124–125, Exercise 3.15.4), the variance function of the NEF constructed starting from the r.v. with c.g.f. (12) equals
Remark 1
It is straightforward to verify that the pair of the variance functions given by formulas (13) and (9) constitutes the reciprocal pair in the sense of (Letac and Mora (1990), Theorem 5.2.iii). In turn, this is consistent with a comment concerning the fluctuation properties of the rightcontinuous random walk in Spitzer’s sense, which was made in the paragraph that precedes (Letac and Mora (1990), Theorem 5.6). See also (Spitzer (1964), Definition 1.2.3) for the definition of the latter random walk as well as a comment that follows this definition.
Note in passing that Feller considered a more general class of p.d.f.’s on \(\mathbf {R}^{1}_{+}\), some of which became important in applications. For instance, it contains the distribution of the busy period in M/M/1 queue (compare to (Stewart (2009), p. 530)).
Properties of the class \({\mathcal {X}}_{\rho }\)
First, recall that this class was introduced in Definition 1 of “Introduction” section.
Next, the integrability of f_{ρ}(x) to one follows from the fact that in the case where s=0, the expression that emerges on the righthand side of (39) equals 1. Hence, f_{ρ}(x) is a legitimate p.d.f. By (Olver et al. (2010), formula (10.30.4))), it exhibits the following power decay as x→+∞:
It follows from the closedform representations (1)–(2) with the help of Mathematica that for arbitrary fixed ρ>1/2 and y∈[0,+∞),
Hereinafter _{1}F_{1}(·;·;·) denotes the confluent hypergeometric function (see, for example, (Slater (1960), formula (1.1.8))).
The following assertion stipulates that the family \(\{{\mathcal {X}}_{\rho },~\rho > 1/2\}\) possesses an important property of stochastic monotonicity. The interested reader is referred to Cohn (1981) and Lee et al. (2009) for a connection between this concept and various convergence properties, and for relevant statistical tests and applications, respectively (see also the references therein). Its relationship to weak convergence is illustrated just above Propositions 3 and 7. Also, note in passing that in the context of a family of positive r.v.’s, stochastic monotonicity is equivalent to monotonicity of the corresponding family of the survival functions at each value of the argument.
Theorem 1
The family \(\{{\mathcal {X}}_{\rho },~\rho > 1/2\}\) of the generalized Feller–Spitzer distributions of the first type is stochastically decreasing in the sense that for an arbitrary fixed real y>0, the function \(\rho \rightarrow \mathbf {P}\{{\mathcal {X}}_{\rho } > y\}\) is decreasing on (1/2,∞).
Proof of Theorem 1. In view of the above comment, it suffices to prove monotonicity of the family of the values of the survival functions for each value of argument \(y \in \mathbf {R}_{+}^{1}\). A subsequent combination of formula (15) with Kummer’s transformation (see (Olver et al. (2010), formula (13.2.39)) yields that for arbitrary fixed ρ>1/2 and y∈[0,+∞), the survival function \({\mathcal F}_{\rho }(y)\) of the r.v. \({\mathcal {X}}_{\rho }\) admits the following representation:
where t_{n}(ρ):=(ρ+1/2)_{n}/(2ρ)_{n}>0. Then we have
so that
since
Finally, as the sum in \({\mathcal {F}}_{\rho }(y)\) consists of positive terms, and the coefficients t_{n}(ρ) are positive decreasing functions of ρ, it follows that the survival function \({\mathcal F}_{\rho }(y)\) must decrease with increasing ρ. □
Proposition 1
For each ρ>1/2, the Laplace transform of r.v. \({\mathcal {X}}_{\rho }\) is such that for λ∈[0,+∞),
Proof of Proposition 1. First, the following integral representation for the function _{2}F_{1} can be derived with some effort from (Watson (1952), Section 13.2, p. 385, formula (2)) by implementing the change of variables b→ib in this formula and using the fact that the Bessel function of the first kind J_{r}(ibt)=e^{πri/2}I_{r}(bt):
Here, a>b>0, c≠0,−1,−2,…, integer k≥1, and x=b^{2}/a^{2}∈(0,1).
A subsequent combination of (18) with the values of a=1, b=1/(λ+1), c=ρ+1, k=1 and (1)–(2) implies the validity of (17). Compare to the derivation of (Paris and Vinogradov (2020a), formula (5.13)) where the case of c=2 was considered. □
Evidently, the closedform expression which emerges in (17) generalizes formula (8) which pertains to the case where ρ=1.
Example 1
For ρ=1, formula (1) turns into (6). Hence, the distributions of r.v. \({\mathcal {X}}_{1}\) and the canonical Feller–Spitzer r.v. \({\mathcal U}_{1}\) coincide, i.e.,
It is clear that in the case where ρ=2, the p.d.f. of the r.v. \({\mathcal {X}}_{2}\) is such that for \(x \in \mathbf {R}^{1}_{+}\),
Also, a combination of (17) with (Paris and Vinogradov (2020a), formula (4.1)) yields that for a fixed λ∈[0,+∞),
It is relevant that by analogy with (21), it is possible to derive the closedform representations for \(\mathcal {L}_{X_{\rho }}(\lambda)\) for numerous other values of ρ>1/2 some of which follow from (Paris and Vinogradov (2020a), formula (4.1)).
Theorem 2
Fix an arbitrary real ρ>1/2. Then (i) The r.v. \({\mathcal {X}}_{\rho }\) is infinitely divisible.(ii) For \(x \in \mathbf {R}^{1}_{+}\), one ascertains that the p.d.f. \(f_{\rho }(\cdot) \in \mathbf {C}^{\infty }(\mathbf {R}_{+}^{1})\) such that
and
(iii) The p.d.f. f_{ρ}(x) decreases from (2ρ−1)/(2ρ) to 0 on [0,+∞).(iv) The values of the p.d.f. f_{ρ}(x) and its first derivative at the origin are only different by the sign such that
(v) The following recursive formula holds for \(x \in \mathbf {R}_{+}^{1}\):
Proof of Theorem 2. (i) It follows from the fact that for ρ>1/2, the distribution of the r.v. \({\mathcal {X}}_{\rho }\) satisfies the logconvexity property, which easily follows from inequality (108) of Theorem 8.i (see Corollary 1 of “Appendix” section for more detail).
It remains to apply (Steutel and van Harn (2004), pp. 117118, Th. III.10.2) which stipulates that logconvexity is sufficient for a distribution on \(\mathbf {R}_{+}^{1}\) to be infinitely divisible.
(ii) The validity of (22) easily follows from a combination of (110) and (112).
Also, note that it immediately follows from formula (109) (with ν replaced by ρ) that \(f_{\rho }^{\prime \prime }(x)>0\) for x>0 and ρ>1/2 thus establishing (23).
(iii) The proof of (24) follows from a combination of (2) and (22).
(iv) Let us replace ρ by ρ+1 in (1) and combine the corresponding representation for f_{ρ+1}(x) with (Paris and Vinogradov (2020b), formula (4.4) and the unnumbered formula just below (4.6)). We obtain that
In view of (Paris and Vinogradov (2020b), formula (4.5)), the expression which emerges on the righthand side of the above equation equals
The result then follows upon insertion of the definition (1) of f_{ρ}(x). □
Proposition 2
(i) The canonical Feller–Spitzer r.v. \({\mathcal U}_{1} \overset {\mathrm {d}}{=} {\mathcal {X}}_{1}\) can be decomposed into the sum of two independent nonnegative infinitely divisible r.v.’s one of which is the generalized 2order Feller–Spitzer r.v. of the first type \({\mathcal {X}}_{2}\), and the other r.v. \(\mathcal {V}\)which is characterized by its Laplace transform
with λ∈[0,+∞), such that
(ii) The r.v. \(\mathcal {V}\) admits the following compound geometric representation:
where \(\{{\mathcal W}_{\ell },~\ell \geq 1\}\) are positive i.i.d.r.v.’s having common Laplace transform
and the p.d.f.
independent of a geometric counting r.v. \(\mathcal {G}eom(2/3)\) (that takes values in the set of all nonnegative integers), which is characterized by its Laplace transform
Hereinafter, the p.d.f. \(f_{1}^{*2}(u)\) which emerges in the middle of formula (30) denotes the twofold convolution of the p.d.f. f_{1}(u) of the r.v. \({\mathcal U}_{1}\) (compare to (11)).
Proof of Proposition 2. First, one should verify the following identity:
where the Laplace transforms which emerge in identity (32) are given by formulas (26), (31) and (29). This verification is straightforward and hence left to the reader. In turn, (32) implies the validity of representation (28). The rest follows from a rather obvious folk theorem that a compound geometric sum of i.i.d.r.v.’s is infinitely divisible (compare to (Kyprianou (2010), claim above formula (8)). □
Although \({\mathcal {X}}_{\rho }\) is infinitely divisible ∀ρ>1/2, it is quite challenging to find its Lévy representation for ρ≠1. Recall that for ρ=1, it is given by (8).
Theorem 2.i stipulates that for a fixed real ρ>1/2, there exists the Lévy measure \(\nu _{\rho }^{(1)}(\{\cdot \})\) on \(\mathbf {R}^{1}_{+}\) of positive infinitely divisible r.v. \({\mathcal {X}}_{\rho }\) such that for real λ≥0,
Next, a combination of formula (15) with (Embrechts et al. (1979), Theorem 1) and (Abramowitz and Stegun (1965), formula (13.5.1)) implies that as y→+∞,
where the rightmost asymptotics in (33) is consistent with (14).
In addition, for real y>0 the Lévy measure \(\nu _{1}^{(1)}(\{(y, \infty)\})\) of the open ray (y,∞) of the canonical Feller–Spitzer r.v. \({\mathcal U}_{1} ~(\overset {\mathrm {d}}{=} {\mathcal {X}}_{1})\) can be derived from (7) with the use of Mathematica. Specifically,
Hereinafter, γ denotes the Euler–Mascheroni constant (see (106)).
Note in passing that in view of (34) and as y→+∞,
which is consistent with (33) and (Embrechts et al. (1979), Theorem 1).
We believe that representation (34) for the Lévy measure \(\nu _{1}^{(1)}(\{(y, \infty)\})\) in terms of the function _{3}F_{3} was previously unknown. See also Proposition 6, which extends formulas (34)–(35) for all the ρorder Feller–Spitzer r.v.’s of the second type introduced in Definition 2. Also, both a closedform representation for the cumulative distribution function of r.v. \({\mathcal U}_{1}\) in terms of the confluent hypergeometric function _{1}F_{1} and the asymptotics of its upper tail can be derived by setting ρ=1 in formulas (15) and (33), respectively.
Next, Theorem 1 implies with some effort existence of the weak limit for the stochastically decreasing family \({\mathcal {X}}_{\rho }\) as ρ→+∞, which should be a continuous distribution on \(\mathbf {R}_{+}^{1}\). In turn, part (i) of the following assertion identifies this limit as the mean 1 exponential r.v., which is hereinafter denoted by \({\mathcal E}\), whereas part (ii) can be regarded as a local limit theorem on the exponential convergence.
Proposition 3
Suppose that ρ→+∞. Then
(i)
(ii) For a fixed z∈[0,+∞),
Proof of Proposition 3. (i) It follows from (17) that for an arbitrary fixed λ∈[0,+∞) and as ρ→+∞,
The result follows, since the limit 1/(λ+1) which emerges on the righthand side of (38) coincides with the Laplace transform of \({\mathcal E}\).
(ii) It is easily derived by combining (1)–(2) with (Olver et al. (2010), formula (10.19.1)) and Stirling’s formula for the gamma function. □
Next, it easily follows from a combination of (6) with formula (107) of Lemma 3 that given real s∈(−1,ρ−1/2), the s^{th} raw moment of the r.v. \({\mathcal {X}}_{\rho }\) is as follows:
Subsequently, we employ the above formula (39) to provide the closedform representations for the mean, variance, skewness and excess kurtosis for those members of the class {X_{ρ}, ρ>1/2} for which the corresponding numerical characteristic(s) are finite.
Proposition 4
(i) Given ρ>3/2, the mean
decreases from +∞ to 1 as ρ increases from 3/2 to +∞.
(ii) The second, third and fourth central moments of r.v. \({\mathcal {X}}_{\rho }\) admit the following closedform representations.
For ρ>5/2, the variance
decreases from +∞ to 1 as ρ increases from 5/2 to +∞.
Given ρ>7/2,
Given ρ>9/2,
Proof of Proposition 4. It follows with sufficient effort from (39) with the help of Mathematica. □
An application of the representations of Proposition 4.ii with the help of Mathematica stipulates that the skewness\(\Gamma _{1}^{(1)}(\rho)\) and the excess kurtosis\(\Gamma _{2}^{(1)}(\rho)\) of the r.v. \({\mathcal {X}}_{\rho }\) are as follows. For ρ>7/2, the skewness
decreases from +∞ to 2 as ρ increases from 7/2 to +∞.
Also, for ρ>9/2, the excess kurtosis
decreases from +∞ to 6 as ρ increases from 9/2 to +∞.
Remark 2
(i) The representations (40), (41), (44) and (45) stipulate that as ρ→+∞, the mean, variance, skewness and excess kurtosis of the respective members of the class \(\{{\mathcal {X}}_{\rho }\}\) converge to 1, 1, 2 and 6, respectively, which are the values of the corresponding numerical characteristics of the mean 1 exponential r.v. \({\mathcal E}\). This observation on the moment convergence is consistent with the integral and local theorems on the exponential convergence presented in Proposition 3 above.
(ii) In view of (44), the subclass \(\{{\mathcal {X}}_{\rho }, \rho > 7/2\}\) is comprised of the right skewed distributions. In turn, (45) stipulates that each member of the subclass \(\{{\mathcal {X}}_{\rho }, \rho > 9/2\}\) is leptokurtic.
Properties of the class \({\mathcal {Y}}_{\rho }\)
First, recall that this class was introduced in Definition 2 of “Introduction” section. This second extension of the canonical Feller–Spitzer distribution \({\mathcal U}_{1}\) (introduced in Definition 3) concerns its Lévy density τ_{1}(x) given by (7), which is in contrast to the first extension {f_{ρ}(x), ρ>1/2} which pertains to the p.d.f. f_{1}(x) per se.
Next, a combination of (3) with (Olver et al. (2010), formula (10.30.4))) implies that the Lévy density τ_{ρ}(x) (which is introduced by formula (3)) exhibits the following power decay as x→+∞:
(compare to (14) and (71)). On the other hand, it follows with some effort from a combination of (3) with (Olver et al. (2010), formulas (10.25.2) and (10.30.1))) that this function diverges at the origin exhibiting the following asymptotic behavior at the right neighborhood of zero:
The following result is similar in spirit to Theorem 1 of “Properties of the class \({\mathcal {X}}_{\rho }\)” section.
Theorem 3
The family \(\{{\mathcal Y}_{\rho },~\rho > 1/2\}\) of the generalized Feller–Spitzer distributions of the second type is stochastically decreasing in the sense that for an arbitrary fixed real y>0, the function \(\rho \rightarrow \mathbf {P}\{{\mathcal Y}_{\rho } > y\}\) is decreasing on (1/2,∞).
In order to prove Theorem 3, we first present the following general and straightforward but rather technical assertion which might already be known.
Lemma 2
Suppose that for i=1,2 there exist two positive functions τ^{(i)}(·) on \(\mathbf {R}_{+}^{1}\) such that the following integrals are welldefined and finite:
Let τ^{(1)}(x)>τ^{(2)}(x) on \(\mathbf {R}_{+}^{1}\). Assume that for i=1,2 there exist two nonnegative infinitely divisible r.v.’s Y_{i} with zero drifts and diffusion components which possess the Lévy densities on \(\mathbf {R}_{+}^{1}\) given by functions τ^{(i)}(·), respectively, such that for real λ≥0,
Then(i) There exists a nonnegative infinitely divisible r.v. \({\mathcal K}\) independent of Y_{2} such that
(ii) For an arbitrary fixed \(y \in \mathbf {R}_{+}^{1}\),
Proof of Lemma 2.
(i) It follows from the assumptions of the lemma and (49) that for real λ≥0,
In view of (48)–(49), the expression which emerges on the lefthand side of (52) constitutes the negative of the logLaplace transform of a certain nonnegative infinitely divisible r.v. denoted by \({\mathcal K}\) whose density of Lévy measure equals τ^{(1)}(x)−τ^{(2)}(x), which implies (50).
(ii) The validity of (51) easily follows from (50). □
Proof of Theorem 3. First, let us prove that for a fixed \(x \in \mathbf {R}_{+}^{1}\), the Lévy density τ_{ρ}(x) defined by (3) is a decreasing function of the parameter ρ on (1/2,+∞). To this end, we rewrite this function as follows:
Hence, the above expression is obviously monotonically decreasing in ρ for a fixed real x>0 as each term after the first is a decreasing function of ρ.
The rest easily follows Lemma 2.ii. □
Remark 3
Fix the values of 1/2<ρ_{1}<ρ_{2}<+∞. Then a combination of formulas (46)–(47) yields that
Hence, in the case where the r.v. Y_{i} which emerges in Lemma 2 coincides with the generalized ρorder Feller–Spitzer r.v. of the second type \({\mathcal Y}_{\rho _{i}}\) (for i=1,2), the nonnegative infinitely divisible r.v. \(\mathcal {K}~ (= \mathcal {K}_{\rho _{1}, \rho _{2}})\) which is present on the righthand side of representation (50) is in fact compound Poisson.
For a representative special case for which ρ_{1}=1 and ρ_{2}=2, the corresponding compound Poisson r.v. \(\mathcal {K}~ (= \mathcal {K}_{1, 2})\) is identified in Remark 5 of “A case study: properties of the r.v. \({\mathcal {Y}}_{2}\)” section.
Proposition 5
For an arbitrary fixed ρ>1/2, the following Poincaré expansion holds as y→+∞ for the integral
Proof of Proposition 5 is given in (Paris and Vinogradov (2020b), Lemma 2). □
The following assertion generalizes formulas (34)–(35).
Proposition 6
(i) The Lévy measure \(\nu _{\rho }^{(2)}(\{\cdot \})\) on \(\mathbf {R}^{1}_{+}\) of positive infinitely divisible r.v. \({\mathcal Y}_{\rho }\) is such that for \(y \in \mathbf {R}_{+}^{1}\),
(ii) For an arbitrary fixed ρ>1/2 and as y→+∞,
Proof of Proposition 6. (i) The validity of (54) can be established by the use of Mathematica. The analytic proof is given in (Paris and Vinogradov (2020b), Lemma 1).
(ii) Observe that the leading term of the asymptotic series which emerges on the righthand side of (53) is as follows:
Next, combine formulas (3), (46), (56), the leftmost equation in (54), and the wellknown fact that the power asymptotics of the function τ_{ρ}(x) at positive infinity implies the corresponding power asymptotics of its integrated tail. This yields the validity of the rightmost asymptotics in expression (55). The rest follows from an application of (Embrechts et al. (1979), Theorem 1). □
The following assertion is of particular value.
Theorem 4
For each ρ>1/2 and real λ≥0, the negative Φ_{ρ}(λ) of the logLaplace transform of r.v. \({\mathcal Y}_{\rho }\)
admits the following representation in terms of the digamma function ψ and the generalized hypergeometric function _{3}F_{2}, which are defined by formulas (105) and (103), respectively:
Proof of Theorem 4. First, fix ρ>3/2. For \(\lambda \in \mathbf {R}_{+}^{1}\), we follow an argument similar to that used in (Feller (1966a), Section XIII.7) differentiating the integral which emerges on the righthand side of (57) with respect to λ. This produces the following identity:
(For now, the case of ρ∈(1/2,3/2] has to be excluded, since for such values of ρ the integral which emerges on the righthand side of (59) diverges).
A subsequent combination of (59) with (1), (17) and (4) stipulates that for each real ρ>3/2 and λ≥0,
Next, for a given ρ>3/2 we will evaluate \({\mathcal I}\) by making the change of variables x=1/(u+1) to conclude that
In addition, it is obtained by the use of Mathematica that for ρ>1/2,
In order to establish the validity of (58) for ρ>3/2, it remains to combine (60)–(62).
Now, although representation (58) has been established for ρ>3/2 only, the integral (57), which defines the function Φ_{ρ}(λ), converges for ρ>1/2, and the expression which emerges on the righthand side of (58) is analytic for ρ>1/2 when λ≥0. Hence, by analytic continuation, the result (58) holds for all ρ>1/2. □
The following example is in a similar spirit to that of Example 1.
Example 2
For ρ=1, a comparison of formula (3) of Definition 2 with representations (6)–(8) of Definition 3 stipulates that in this case,
Hence, the distributions of r.v.’s \({\mathcal Y}_{1}\) and the canonical Feller–Spitzer r.v. \({\mathcal U}_{1}\) coincide, i.e.,
(compare to formula (19)).
Next, note that the digamma function ψ is defined by formula (105). It is well known that ψ(1)=−γ and ψ(1/2)=−γ−2· log2. A combination of these two representations with (63) and (Prudnikov et al. (1990), Section 7.4.2, entry 365) to evaluate the _{3}F_{2} function
stipulates that
Evidently, (66) coincides with (58) in the case where ρ=1.
It is interesting that although the middle expression which emerges in formula (60) is not defined for ρ∈(1/2,3/2], but in the case where ρ=1 the equality of the left and right–hand sides on that formula can be derived analytically. In this case,
(compare to the righthand side of (63)).
A detailed consideration of the case where ρ=2 is presented separately in “A case study: properties of the r.v. \({\mathcal {Y}}_{2}\)” section. In particular, see Theorem 7 and Remark 6 therein which demonstrate how complex the p.d.f.’s of the r.v.’s \({\mathcal Y}_{\rho }\) can be for ρ≠1.
The following result is of a particular value providing an illustration of the usefulness of numerous relatively recent advances in the theory of infinitely divisible distributions, most of which were summarized in (Steutel and van Harn (2004), Chapter V). To some extent, it can be regarded as a counterpart of Theorem 2 of “Properties of the class \({\mathcal {X}}_{\rho }\)” section.
Theorem 5
Fix an arbitrary ρ>1/2. Then
(i) The nonnegative r.v. \({\mathcal Y}_{\rho }\) is selfdecomposable and absolutely continuous on \(\mathbf {R}_{+}^{1}\).
(ii) The limit from the right at the origin for the p.d.f. p_{ρ}(x) of the r.v. \({\mathcal Y}_{\rho }\) is as follows:
(iii) The p.d.f. p_{ρ}(x)decreases monotonically on (0,+∞) from p_{ρ}(0+) to 0 and satisfies the following integral equation for \(x \in \mathbf {R}_{+}^{1}\):
(iv) The p.d.f. p_{ρ}(x)has a continuous derivative \(p_{\rho }^{\prime }(x)\) on \(\mathbf {R}_{+}^{1}\) for which the following functional equation holds:
(v) The limits from the right of the p.d.f. p_{ρ}(x) and its first derivative at the origin are only different by the sign such that
(vi) The p.d.f. p_{ρ}(x)exhibits the following power decay as x→+∞:
Proof of Theorem 5.
(i) First, by analogy to (Steutel and van Harn (2004), Section V.2), we introduce the canonical density
Note in passing that in the case where ρ>3/2,
where \(x \in \mathbf {R}_{+}^{1}\), and the p.d.f. f_{ρ−1}(x) can be easily obtained from (1).
The selfdecomposability of the r.v. \({\mathcal Y}_{\rho }\) then follows by combining the inequality (110) of “Appendix” section which yields that ∀ρ>1/2, the canonical density k_{ρ}(x) is a decreasing function in \(\mathbf {R}_{+}^{1}\), with (Steutel and van Harn (2004), Theorem V.2.11). Also, compare (73) with Theorem 2.iii.
Subsequently, a combination of the just established selfdecomposability of the class \({\mathcal Y}_{\rho }\), property (47), and (Steutel and van Harn (2004), Theorem V.2.16 and formula (2.28)) implies that ∀ρ>1/2, the r.v. \({\mathcal Y}_{\rho }\) is absolutely continuous whose p.d.f., which is denoted by p_{ρ}(x), is continuous on \(\mathbf {R}_{+}^{1}\).
(ii) For each ρ>1/2 and \(x \in \mathbf {R}_{+}^{1}\), the p.d.f. p_{ρ}(x) is continuous at x and can be evaluated as follows:
Hereinafter, the factor \(\exp \{ \Phi _{\rho }( i t)\} = \mathbf {E}\exp \{i t {\mathcal Y}_{\rho }\}\) is ch.f. of the r.v. \({\mathcal Y}_{\rho }\).
The validity of (74) can be derived with some effort from (Apostol (1957), pp. 498–499, Theorem 15.34). Note that since the ch.f. exp{−Φ_{ρ}(−it)}∉L^{1}(R^{1}), the standard inversion formula of probability theory is not applicable to this class of the discontinuous p.d.f.’s.
Specifically, p_{ρ}(·) is discontinuous at the origin ∀ρ>1/2. On the other hand, the finiteness of p_{ρ}(x) at zero (as defined by (74)) easily follows from a combination of formula (47) with (Steutel and van Harn (2004), formula (V.2.28)). In addition, a combination of the discontinuous version of the inversion formula with the fact that p_{ρ}(0−)=0 (since for each real x<0 the p.d.f. p_{ρ}(x)≡0) stipulates that
(compare to (Apostol (1957), p. 499, formulas (79)–(80)) or (Olver et al. (2010), formula (1.14.3))). At the same time, (Steutel and van Harn (2004), Proposition A.3.4) implies that
The assertion of part (ii) now follows, since in view of (62), the limit that emerges in (76) is finite coinciding with the one that appears in (67).
(iii) In view of (Steutel and van Harn (2004), Theorem V.2.17), the monotonic decay of p_{ρ}(x) follows from that of the canonical density k_{ρ}(x) combined with the fact that formula (47) yields that for ρ>1/2,
The validity of the integral Eq. (68) is then obtained by combining representations (3) and (72) with (Steutel and van Harn (2004), Theorem V.2.16).
(iv) The existence and continuity of \(p_{\rho }^{\prime }(x)\) follows from (Steutel and van Harn (2004), p. 237, proof of Theorem V.2.17). Next, observe that for ρ>1/2, a combination of formula (112) with (Paris and Vinogradov (2020b), the unnumbered formula just below (4.6)) with ν=ρ−1>−1/2 yields that
The validity of (69) is then obtained by combining formulas (77)–(78) with (Steutel and van Harn (2004), formula (V.2.24)).
(v) It suffices to combine (68)–(69) with (Olver et al. (2010), formula (10.30.1)) and (67) to conclude that for \(x \in \mathbf {R}_{+}^{1}\),
(vi) The monotonic decay of the p.d.f. p_{ρ}(x) combined with the power asymptotics of the upper tail \(\mathbf {P}\{{\mathcal Y}_{\rho } > y\}\) of the c.d.f. of the r.v. \({\mathcal Y}_{\rho }\) given by (55) implies the corresponding power decay of the p.d.f. per se, as follows from a version of the monotone density theorem presented in (Mikosch (1999), p. 10, Theorem 1.2.9). □
Recall that Theorem 1 implies existence of the weak limit for the stochastically decreasing family \({\mathcal {X}}_{\rho }\), which was identified in Proposition 3. Similar, the above Theorem 3 implies with some effort existence of the weak limit for the stochastically decreasing family \({\mathcal Y}_{\rho }\) as ρ→+∞, which should be a continuous distribution on \(\mathbf {R}_{+}^{1}\). In addition, the following assertion, which is a counterpart of Proposition 3, stipulates that for large values of ρ, the r.v. \({\mathcal Y}_{\rho }\) can be approximated by the mean 1 exponential r.v. \({\mathcal E}\).
Proposition 7
Suppose that ρ→+∞. Then
Proof of Proposition 7. We fix λ∈[0,+∞) and combine representations (58)–(60) with (Olver et al. (2010), formula (15.12.2)) to ascertain that as ρ→+∞,
The rest coincides with the end of the proof of Proposition 3.i. □
Let us introduce the following quantities:
The following assertion provides the counterparts of the closedform representations (40)–(43) (which pertain to the numerical characteristics of r.v. \({\mathcal {X}}_{\rho }\)).
Proposition 8
(i) Given ρ>3/2,
decreases from +∞ to 1 as ρ increases from 3/2 to +∞.(ii) The second, third and fourth central moments of r.v. \({\mathcal Y}_{\rho }\) admit the following closedform representations.
For ρ>5/2, the variance
decreases from +∞ to 1 as ρ increases from 5/2 to +∞.
Given ρ>7/2,
Given ρ>9/2,
Proof of Proposition 8.
(i) With Φ_{ρ}(λ) satisfying the integral representation given in (58) and for \({\lambda } \in \mathbf {R}_{+}^{1}\), we have
Taking the limit of (83) as λ↓0 and combining it with the Gauss summation theorem (see, for example, (Abramowitz and Stegun (1965), formula (15.1.20)) yields that for ρ>3/2, the first derivative \(\Phi _{\rho }^{\prime }(0+) = 2(\rho 1)/(2\rho 3)\).
(ii) Repeated differentiation of (83) using (Abramowitz and Stegun (1965), formula (15.2.1)) produces the three results stated. □
An application of the representations of Proposition 8 with the help of Mathematica ascertains that the skewness\(\Gamma _{1}^{(2)}(\rho)\) and the excess kurtosis\(\Gamma _{2}^{(2)}(\rho)\) of the r.v. \({\mathcal Y}_{\rho }\) are as follows. For ρ>7/2, the skewness
decreases from +∞ to 2 as ρ increases from 7/2 to +∞.
In addition, for ρ>9/2, the excess kurtosis
decreases from +∞ to 6 as ρ increases from 9/2 to +∞.
Remark 4
(i) Similar to the large ρ behavior of the numerical characteristics of the class \(\{{\mathcal {X}}_{\rho }\}\) pointed out in Remark 2 of “Properties of the class \({\mathcal {X}}_{\rho }\)” section, representations (81), (82), (84) and (85) stipulate that as ρ→+∞, the mean, variance, skewness and excess kurtosis of the respective members of the class \(\{{\mathcal Y}_{\rho }\}\) converge to 1, 1, 2 and 6, respectively, which are the values of the corresponding numerical characteristics of the mean 1 exponential r.v. \({\mathcal E}\). Evidently, this observation is consistent with the weak convergence result of Proposition 7.
(ii) In view of (84), the subclass \(\{{\mathcal Y}_{\rho }, \rho > 7/2\}\) is comprised of the rightskewed distributions. In turn, (85) stipulates that each member of the subclass \(\{{\mathcal Y}_{\rho }, \rho > 9/2\}\) is leptokurtic.
A case study: properties of the r.v. \({\mathcal {Y}}_{2}\)
First, Definition 2 yields that the positive infinitely divisible r.v. \({\mathcal Y}_{2}\) is characterized by the following density of its Lévy measure:
For ρ=2, the negative of the logLaplace transform Φ_{2}(λ) of the r.v. \({\mathcal Y}_{2}\) is simplified as follows (with w:=1+λ):
It turns out that in the case where ρ=2, a simple representation for the generalized hypergeometric function _{3}F_{2} which emerges in (58) holds. Specifically,
The validity of (88) easily follows from (Prudnikov et al. (1990), Section 7.4.2, entry 367) or can be derived by using Mathematica.
The following assertion provides a closedform expression for the Lévy representation of the r.v. \({\mathcal Y}_{2}\) in terms of elementary functions and connects its p.d.f. p_{2}(x) with the members of the class (11).
Proposition 9
Given λ∈[0,∞), the negative of the logLaplace transform
Proof of Proposition 9. Combine (4), (58) and (88). □
In turn, the above representation for Φ_{2}(λ) has a probabilistic interpretation (90) which specifies decomposition (50) in the case where \(\mathbf {Y}_{i} \overset {\mathrm {d}}{=} {\mathcal {Y}}_{i}\) (for i=1,2) and is described in the following remark, which can be viewed as a counterpart to Proposition 2.
Remark 5
The expression \(\frac {1}{2} \cdot (e^{2 \Phi _{1}({\lambda })}  1)\) which emerges in (89) is recognized as the logLaplace transform of a particular nonnegative compound Poisson r.v. By analogy to representation (50), it is hereinafter denoted by \({\mathcal K}\). Specifically, the r.v. \({\mathcal K}\)admits the following (compound Poisson) representation:
where positive i.i.d.r.v.’s \(\{{\mathcal W}_{\ell },~\ell \geq 1\}\) (which are characterized by formulas (29)–(30) of Proposition 2) are independent of a Poisson counting r.v. \({\mathcal Poiss}(1/2)\)with mean 1/2. Hence, the canonical FellerSpitzer r.v. \({\mathcal U}_{1}\) can be decomposed into the following sum of two nonnegative independent r.v.’s:
It is relatively easy to find the Lévy representation for the r.v. \(\mathcal {K}\). Thus, it follows from a combination of formulas (8), (57) and (89) that for λ∈[0,∞),
(compare to (52)). Similar to the proof of Theorem 3, we ascertain that \(\forall x \in \mathbf {R}_{+}^{1}\),
and that
(compare to Remark 3). A subsequent combination of (91)–(93) yields that for λ∈[0,∞), the expression which emerges on the lefthand side of (91) constitutes the negative of the logLaplace transform of a compound Poisson r.v. with positive summands (i.e., \({\mathcal K}\)) whose Lévy density equals τ_{1}(x)−τ_{2}(x).
Finally, the distribution of the r.v. \({\mathcal K}\) is mixed being comprised of the point mass \(1/\sqrt {e}\) at the origin and the following density component on \(\mathbf {R}_{+}^{1}\):
which integrates to \(1  1/\sqrt {e}\) over \(\mathbf {R}_{+}^{1}\).
Theorem 6
The r.v. \({\mathcal Y}_{2}\) generates the NEF with the domain Θ=(−∞,0] of the canonical parameter θ, which is characterized by the following variance function:
in the sense that for μ=2, V_{2}(2)=+∞.
Proof of Theorem 6. It follows from (60) that for λ≥0,
Since for θ≤0, the meanvalue mapping equals \(\frac {d}{d \theta }~( \Phi _{2}(\theta))\), a combination of (95) with (8) stipulates that it acquires the following form:
Next, one should use some calculus to establish that the closedform expression for the inverse of the meanvalue mapping (96) is as follows:
It remains to combine (97) with (Jørgensen (1997), formula (2.18)). (Compare to the derivation of formulas (9)–(10) which pertain to the case of ρ=1.) □
Theorem 7
The following representation for the p.d.f. \(\{p_{2}(t),~ t \in \mathbf {R}_{+}^{1}\}\) of the r.v. \({\mathcal Y}_{2}\) in terms of the difference of two convergent series holds:
where \(b_{r}(n) :=2^{r} \cdot {\Gamma }(n+r+\frac {3}{2})/r!\) for integer r≥0.
Proof of Theorem 7 is easily obtained by combining Proposition 10 below with (74), (89), and the following representation for the p.d.f. p_{2}(t) as the corresponding inverse Laplace transform:
Here, real t>0 and c>1 are fixed. □
Proposition 10
For arbitrary fixed real t>0 and c>1, the expression which emerges on the righthand side of (99) does not depend on a particular value of c>1 and admits the series representation given on the righthand side of (98).
Proof of Proposition 10 is given in (Paris and Vinogradov (2020b), Theorem 1). □
Next, define
Observe that the trigonometric transformations of the function ϕ(x) defined by (100) admit the following representations in terms of Taylor series which are convergent for x≤1:
and
Remark 6
(i) The closedform representation (98) for the p.d.f. p_{2}(t) of the r.v. \({\mathcal Y}_{2}\) is quite complicated.
(ii) We were able to verify, both analytically and numerically, that p_{2}(t) does possess the following three properties it has to satisfy:
(ii1) The function p_{2}(t)≥0 on \(\mathbf {R}_{+}^{1}\), since \(\sqrt {1x^{2}} \cos \phi x\sin \phi \geq 0\) on x∈[−1,1].
(ii2) The representation for p_{2}(t) which emerges on the righthand side of formula (98) integrates to 1 over \(\mathbf {R}_{+}^{1}\), since
(ii3) We ascertain the following representation for p_{2}(t):
as u↓0. In turn, a combination of (101) with some algebra implies that
which is consistent with representation (71) in the case where ρ=2.
Appendix
In this section, we introduce some relevant special functions as well as review some known and present new results on these functions.
Definition 4
(Gauss hypergeometric function, see, for example, (Olver et al. (2010), formula (15.2.1))). Given arbitrary complex a and b, c≠0,−1,−2,…, and argument \(z \in \mathbb {C}\) with z<1, the convergent series which emerges on the righthand side of (102)
generates the socalled Gauss hypergeometric function. Hereinafter, (a)_{k}=Γ(a+k)/Γ(a) is the Pochhammer symbol.
Definition 5
(Generalized hypergeometric function _{3}F_{2}, see (Olver et al. (2010), form. (16.2.1) and case 16.2(iii))). Given arbitrary complex a, b, c, d≠0,−1,−2,…, e≠0,−1,−2,…, and argument \(z \in \mathbb {C}\) with z<1, the function
is called the generalized hypergeometric function _{3}F_{2}.
The infinite series which is present on the righthand side of (102) can often be simplified. For instance, see (Paris and Vinogradov (2020a), formula (4.1)), and also formulas (65) and (88) for a few relevant special cases of functions _{2}F_{1}(1/2,1;c;z) and \({~}_{3}F_{2}\left (\begin {array}{c} a, b, c\\d,e \end {array}; z\right)\), respectively. In addition, we refer to (Olver et al. (2010), formula (16.2.1)) and Slater (1960), respectively, for a more general form _{p}F_{q} of a generic member of the class of generalized hypergeometric functions, and for the definition and properties of the confluent hypergeometric function _{1}F_{1}, which are also used in this paper. In particular, see formula (34) which involves _{3}F_{3}, and also formulas (15) and (33) where the function _{1}F_{1} emerges.
The modified Bessel function of the first kind of order ν is defined by
In this paper, we also use the digamma function which is denoted by
with the Euler–Mascheroni constant
Lemma 3
Given real s∈(−1,ρ−1/2),
Proof of Lemma 3. It easily follows from (Abramowitz and Stegun (1965), formula (11.4.13)). □
Next, we present the following two previously unknown inequalities involving the modified Bessel function I_{ν}(x), which seem to be important for the theory of special functions in their own right (see formulas (108)–(109) below). In this paper, they are needed for the derivation of related properties of specific p.d.f.’s.
Theorem 8
Fix an arbitrary real ν>−1/2 and assume that the argument \(x \in \mathbf {R}_{+}^{1}\). Then the following two inequalities hold:
(i)
(ii)
Note that the first inequality (108) stipulates the logconvexity property established in Corollary 1 below, which is needed for the proof of Theorem 2.i. In turn, (109) is employed in the proof of inequality (23) of Theorem 2.ii.
In addition, the second inequality (109) implies that for x>0 and ν>−1/2,
which was established by Jones (1968). In turn, (110) yields the fulfillment of the representation (22) for \(f_{\rho }^{\prime }(x)\), and that all the members of the second class p_{ρ}(x) are selfdecomposable.
Proof of Theorem 8.
(i) From (Olver et al. (2010), formula (10.32.15)), we have the integral representation
for μ+ν>−1, where w:=2x cosθ. This enables us to express the products of Bessel functions in inequality (108) in terms of a single Bessel function. Then (108) becomes J>0, where
An integration by parts applied to the first integral then yields
But
and so
The integral behaves near θ=π/2 like cos2ν+1θ/ cosθ and so converges provided ν>−1/2 and in this case I_{2ν+1}(0)=0. Since the integrand is nonnegative in θ∈[0,π/2] it follows that J>0, which concludes the proof of the validity of inequality (108).
(ii) The proof is given in (Paris and Vinogradov (2020b), proof of inequality (4.2) of Theorem 2). □
Corollary 1
For an arbitrary fixed real ρ>1/2, the function f_{ρ}(x) defined by (1) is logconvex on \(\mathbf {R}^{1}_{+}\).
Proof of Corollary 1. Denote f(x):=e^{−x}g(x), where
Then
by virtue of (110). Also,
and so the logconvexity condition f^{′′}(x)f(x)>(f^{′}(x))^{2} becomes
to yield
Now
so that the logconvexity condition (113) reduces to the inequality (108). □
Availability of data and materials
Not applicable.
Abbreviations
 ch.f.:

Characteristic function
 i.i.d.r.v.’s:

Independent and identically distributed random variables
 NEF:

Natural exponential family
 p.d.f.:

Probability density function
 p.m.f.:

Probability mass function
 r.v.:

Random variable
References
Abramowitz, M., Stegun, I. A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Chapman & Hall, Dover (1965).
Apostol, T. M.: Mathematical Analysis: A Modern Approach to Advanced Calculus. Addison–Wesley, Reading MA (1957).
Bertoin, J.: Lévy Processes. Cambridge University Press, Cambridge (1996).
Cohn, H.: On the convergence of stochastically monotone sequences of random variables and some applications. J. Appl. Probab. 18, 592–605 (1981).
Embrechts, P., Goldie, C., Veraverbeke, N.: Subexponentiality and infinite divisibility. Z. Wahrsch. Verw. Gebiete. 49, 335–347 (1979).
Feller, W.: An Introduction to Probability Theory and its Applications, vol. II. Wiley, London (1966a).
Feller, W.: Infinitely divisible distributions and Bessel functions associated with random walks. SIAM J. Appl. Math. 14, 864–875 (1966b).
Johnson, N. L., Kotz, S., Balakrishnan, N.: Continuous Univariate Distributions Vol. I. ??th ed. Wiley, New York (1994).
Jones, A. L.: An extension of an inequality involving modified Bessel functions. J. Math. Phys. 47, 220–221 (1968).
Jørgensen, B.: Exponential dispersion models (with discussion). J. Roy. Stat. Soc. Ser. B. 49, 127–162 (1987).
Jørgensen, B.: The Theory of Dispersion Models. Chapman & Hall, London (1997).
Kyprianou, A. E.: The Wiener–Hopf factorization. In: Cont, R. (ed.)Encyclopedia of Quantitative Finance, IV Volume Set Vol. 4, pp. 1927–1933. Wiley, Chichester (2010).
Lee, S., Linton, O., Whang, Y. J.: Testing for stochastic monotonicity. Econometrica. 77, 585–602 (2009).
Letac, G.: Discussion of B. Jørgensen: ‘Exponential dispersion models’. J. Roy. Stat. Soc. Ser. B. 49, 154 (1987).
Letac, G.: Lectures on Natural Exponential Families and Their Variance Functions. Monografias de Mathemática, vol. 50. Instituto de Mathemática Pura e Aplicada, Rio de Janeiro (1992).
Letac, G., Mora, M.: Natural real exponential families with cubic variance functions. Ann. Stat. 18, 1–37 (1990).
Mikosch, T.: Regular Variation, Subexponentiality and Their Applications in Probability Theory. EURANDOM Report Vol. 99, Issue 13. Eindhoven University of Technology, Eindhoven (1999).
Olver, F. W. J., Lozier, D. W., Boisvert, R. F., Clark, C. W., (Eds): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010).
Paris, R. B., Vinogradov, V.: The evaluation of a weighted sum of Gauss hypergeometric functions and its connection with Galton–Watson processes. Lith. Math. J. 60, 385–395 (2020a).
Paris, R. B., Vinogradov, V.: Some analytical results associated with extensions of the canonical Feller–Spitzer distribution (2020b). arXiv:2008.04797v1 [math.CA].
Prudnikov, A. P., Brychkov, Yu. A, Marichev, O. I.: Integrals and Series: More Special Functions, vol. 3. Gordon & Breach, New York (1990).
Slater, L. J.: Confluent Hypergeometric Functions. Cambridge University Press, Cambridge (1960).
Spitzer, F.: Principles of Random Walk. D. Van Nostrand Co. Inc., Princeton (1964).
Stewart, W. J.: Probability, Markov Chains, Queues and Simulation: the Mathematical Basis of Performance Modeling. Princeton University Press, Princeton (2009).
Steutel, F. W., van Harn, K.: Infinite Divisibility of Probability Distributions on the Real Line. Dekker, New York (2004).
Watson, G. N.: A Treatise on the Theory of Bessel Functions, 2^{nd} ed. Cambridge University Press, Cambridge (1952).
Acknowledgements
We are thankful to two anonymous referees for a very constructive feedback and numerous suggestions. In particular, we are indebted to referee number one for his/her constructive comments and requests which eventually led to the inclusion of Theorems 1 and 3, Proposition 2, Lemma 2, and Remark 5. VVV is grateful to Huaxiong Huang, Konstantin Khanin, Neil Madras and Tom Salisbury for their warm hospitality and thanks the Fields Institute, University of Toronto and York University for continued support.
Funding
VVV (the corresponding coauthor of the manuscript) was supported by the Ohio University Global Travel Fund.
Author information
Affiliations
Contributions
VVV dealt with the overall presentation, proofs of the probability theory results, and drafted the manuscript. RBP dealt with the asymptotics and proofs of the analysis results. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Consent for publication
Both authors provide consent for publication.
Competing interests
The authors declare that they have 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
Vinogradov, V.V., Paris, R.B. On two extensions of the canonical Feller–Spitzer distribution. J Stat Distrib App 8, 3 (2021). https://doi.org/10.1186/s40488021001134
Received:
Accepted:
Published:
Keywords
 Bessel functions
 Continuous–time Bernoulli random walk
 Exponential convergence
 Feller–Spitzer distribution
 Hypergeometric functions
 Kurtosis
 Laplace transform
 Letac–Mora reciprocity
 Lévy measure
 Monotone density
 Natural exponential family
 Power tail
 Skewness
 Stochastically monotone family
 Variance function
Mathematics Subject Classification (2000)
 60E07 60E10 60F05