Abstract
Based on a didactic historical review of the distributions using the Bessel function, some new extensions with unification are shown. Their probability density functions (pdf’s) are given by several integral representations of the Bessel function, whose distributions are called the basic Bessel (BB) ones, including the known Halphen type A. Power transformations of the BB (PBB) distributions are provided with their moments. The differential equations for the PBB distributions are shown and used to have their modes. A unified expression for unimodal extended distributions is also given with the differential equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper deals with distributions including the factor \(\exp ( - au - bu^{ - 1} )g(u)\) \((a > 0,\,\,b > 0)\) in the probability density function (pdf) denoted by \(f_U (u)\) for a positive random variable U, where u can be a monotonic function of u. The factor \(g(u)\) typically takes a power of u, but not restricted to this as shown later. The normalizing constant generally includes a Bessel function, which will be didactically mentioned later. The history associated with this distribution can be traced back to an observation of pollen found by Robert Brown in 1828, which is currently known as a Brownian motion. This issue has been investigated by A. Einstein in 1905 and M. C. K. Tweedie in his 1941 thesis (see Tweedie 1945 for an essential result; and details in Tweedie 1957a, b). The distribution associated with Brownian motion, a special case of the above pdf, was called the inverse Gaussian (IG) distribution by Tweedie in 1956 (for the history of the IG distribution, see Chhikara and Folks 1989, Sect. 1.2; Seshadri 1999, Sect. 1.0). The IG distribution has been used in various fields not only in the natural and physical sciences but also in the social and behavioral sciences, e.g., cardiology, hydrology, demography, linguistics, employment service, labor disputes and finance typically in lifetime researches in a broad sense as noted by Chhikara and Folks (1989, Sect. 1.4 and Chap. 10), and additional fields as ecology, entomology, health sciences, traffic noise intensity, management sciences, actuarial sciences, histomorphometry, electrical networks, meteorology, mental health, physiology, remote sensing, market research, slug lengths in pipelines and plutonium estimation as shown by Seshadri (1999, page. v and Part II) with real life examples. Note that in the IG distribution, the Bessel function does not seem to appear though it is implicitly used as will be explained later.
Use of the (modified) Bessel function in statistics dates back to Fisher (1928, p. 663) for the multiple correlation coefficient followed by Pearson et al. (1929, pp. 165, 187; for citing Fisher’s work see p. 193) and, Wishart and Bartlett (1932, Eq. (12)) for the product distribution of two correlated normal variables. Note that the product distribution is a special case of the McKay Bessel distribution as noted by Wishart and Bartlett (1932, p. 459) as well as McKay (1932, p. 43) (for the product distribution, see Ogasawara 2023b). Apart from these developments using the Bessel functions in statistics, or in Brownian motion, explicit representations of the pdf \(f_U (u)\) were independently provided by Halphen (1941), a French mathematician as well as a hydrologist, which are currently summarized as the Halphen type A (HA) distribution, whose normalizing constant includes a Bessel function as noted by Halphen (1941, p. 635).
Halphen’s harmonic distribution or its generalized HA distribution has been mostly unnoted in the academic community other than in the French-speaking statistical hydrologists until the Halphen family of distributions including the HA was introduced as late as in the 1980’s and later (see Dvorák et al. 1988; Barndorff-Nielsen et al. 1992; Sect. 2; Perreault et al. 1994; Seshadri 1997, 1999, Part II, Sect. F; Perreault et al. 1999a, b). Recent textbooks by statistical hydrologists on the Halphen family of distributions with extensions are, e.g., El Adlouni and Bobée (2017), and Singh and Zhang (2022).
On the other hand, the IG distribution, whose pdf (see, e.g., Chhikara and Folks 1989, Eq. (2.1)) denoted by \(f_U^{({\text{IG}})} (u|\mu ,\lambda )\) \((u > 0;\mu > 0,\lambda > 0)\) is easily found to be a special case of \(f_U (u)\):
when \(a = \lambda /(2\mu^2 )\), \(b = \lambda /2\); \(g(u) = \mu^{ - 1} \frac{1}{2}\left( {\frac{u}{\mu }} \right)^{ - 3/2}\); and \(\left\{ {\left( {\frac{\pi }{2\lambda /\mu }} \right)^{1/2} \exp \left( { - \frac{\lambda }{\mu }} \right)} \right\}^{ - 1}\) is a normalizing constant. The pdf \(f_U^{({\text{IG}})} (u|\mu ,\lambda )\) looks free from the Bessel function. However, it is shown that the normalizer includes the Bessel function as follows. Without loss of generality, employ the reparametrization \(z = \lambda /\mu \,\,(z > 0)\) and consider that u is given after change of variable as \(u^* = u/\mu\) with \(\mu^{ - 1}\) being the Jacobian, where \(\mu\) is the scale parameter and \(u^*\) corresponds to the unit scale variable \(U^*\). Then, it is seen that the normalizing constant is given by \(K_{ - 1/2} (z)^{ - 1}\), where \(K_v (z)\,(v \in {\text{R}},\,\,z > 0)\) is the modified Bessel function of the second kind of order v (for \(K_{ - 1/2} (z) = K_{1/2} (z)\)\(= \{ \pi /(2z)\}^{1/2} {\text{e}}^{ - z}\), see Watson 1944/1995, Sect. 3.71, Eq. (13), p. 80; Abramowitz and Stegun 1972, Formula 10.2.17, p. 444; Zwillinger 2015, Formula 8.469-4, p. 934; DLMF 2023, http://dlmf.nist.gov/10.39.E2), which will be didactically introduced and repeatedly used later. For clarity, the pdf’s of the unit scale \(U^*\) and scaled \(U\), using parameter z, are shown:
where the Bessel function used in the pdf’s is scale-invariant in that as shown earlier and above, even when employing a scale parameter as \(u^* = u/\mu\), the Bessel function is unchanged with the additional Jacobian \(\mu^{ - 1}\) being multiplied outside the Bessel. On the other hand, when using the most typical parametrization in the IG distribution with parameters \(\lambda\) and \(\mu\), the shape parameter \(\lambda ( = z\mu )\) is confounded with the scale parameter \(\mu\). That is, a large value of the shape parameter \(\lambda\) may simply be due to using a large scale parameter.
Tweedie (1957a, Eqs. (1a) to (1d)) provided three sets of reparametrization other than \(\{ \mu ,\lambda \,\}\) for the IGs, where the second one is \(\{ \mu ,\phi ( = \lambda /\mu = z)\,\}\), which is equal to our expression. Chhikara and Folks (1989, p. 8) stated “Both \(\mu\) and \(\lambda \,\) are of the same physical dimensions as the random variable…”. Seshadri (1999, p. 2) gave almost the same statement. It seems that inclusion of \(\mu\) has been a standard practice possibly due primarily to dealing with physical quantities whose scales are of relatively much importance. One of the advantages of using the Bessel function is its scale-invariance with its argument z as a scale-invariant shape parameter. This is a motivation of this didactic review concerning the distributions using the Bessel function applied to various fields, where the function may be unfamiliar to beginning students/researchers in the statistical or data sciences.
The remainder of this paper is organized as follows. Section 2 introduces the modified Bessel function of the second kind and its integral representations including known ones. Based on these expressions, five distributions are defined and called basic Bessel (BB) distributions. One of the BB’s is an extension of Halphen’s harmonic distribution retaining harmonicity. Section 3 gives the power transformations of the BB (PBB) distributed variables, which are extensions of the BB distributions. In Sect. 4, moments and an associated moment generating function for the PBB’s are shown, where new incomplete Bessel functions are defined and used. Section 5 provides the differential functions to derive the modes of the PBB’s, where quasi-quadratic equations are also defined for iterative computation. In Sect. 6, some discussions including extensions with unification are given. Technical results are provided in the appendix.
2 The basic Bessel distributions
The modified Bessel function of the second (or sometimes called “third”) kind of order v denoted by \(K_v (z)\) is given as a solution \(w^* (z)\) of the following modified Bessel equation:
where z and v are complex variable and parameter, respectively (Erdélyi 1953, Sect. 7.2.2, Eq. (11); Abramowitz and Stegun 1972, Formula 9.6.1; DLMF 2023, https://dlmf.nist.gov/10.25.E1). A set of integral representations of \(K_v (z)\) is “the first integral expressions” \(\begin{aligned} K_v (z) & = \frac{(z/2)^v }{2}\int_0^\infty {\exp \left( { - w - \frac{z^2 }{{4w}}} \right)} \frac{1}{{w^{v + 1} }}{\text{d}}w \\ & = \frac{(z/2)^v }{2}\int_0^\infty {\exp \left( { - \frac{1}{w^\# } - \frac{z^2 w^\# }{4}} \right)} w^{\# v - 1} {\text{d}}w^\# , \\ & \quad (\,|\arg (z)|\, < \pi /4,{\text{Re}} z^2 > 0) \\ \end{aligned}\) (Watson 1944/1995, Sect. 6.22, Eq. (15); Agrest and Maksimov 1971, Eq. (4.18); Zwillinger 2015, Formulas 3.471-12 and 8.432-6; DLMF 2023, https://dlmf.nist.gov/10.32.E10). In the above two representations, the first one has been exclusively used.
Alternative sets of integral expressions obtained by variable transformations with some historical backgrounds will be shown in the appendix, where the names of variables in the integral formulas with forms of transformations are summarized as follows:
“the second integral expressions with variable \(x\)”: \(x = z/(2w)\) and \(x^\# = 2/(zw^\# )\) with \(x^\# = x^{ - 1}\);
“the modified second integral expression with variable \(x^*\)”: a function of \(x\) and \(x^\#\);
“the third integral expressions with variable \(y\)”: \({\text{e}}^y = x\) followed by reflection with a reduced support;
“the modified third integral expressions with variable \(y^*\)”: \({\text{e}}^{y^* } = x = z/(2w)\).
When \(w,x,\,x^* ,y\) and \(y^*\) are seen as realized values of random variables \(W,X,X^* ,Y\) and \(Y^*\) in the integral expressions, respectively, their distributions are defined as follows.
Definition 1
(the BB pdf’s of the first to modified third kinds) Variables \(W,\,X,\,\,X^* ,Y\) and \(Y^*\) are defined to follow the basic Bessel (BB) distributions of the first, second, modified second, third and modified third kinds, respectively with the BB distribution for the generic expression of the five distributions with possible reparametrizations when their pdf’s are
“the BB pdf of the first kind”
“the BB pdf of the second kind”
“the BB pdf of the modified second kind”
“the BB pdf of the third kind”
“the BB pdf of the modified third kind”
where \(K_v (z) = K_{ - v} (z)\).
The possible ranges for v and z common to the two-parameter distributions in Definition 1 are \(v \in {\text{R}}\) and \(z > {0}\), which will be assumed unless otherwise specified. Note that while \(W,X,\,\,X^*\) and \(Y\) have the common support \((0,\infty )\), that of \(Y^*\) is \(( - \infty ,\infty )\). Recall that, \(W,X\) and \(Y^*\) are related by variable transformations:
Variable \(X^*\) is given by the two-point mixture of \(X\) using \(v\) and \(- v\) with equal weights. Similarly, \(Y\) is obtained by reflection or the two-point mixture using the truncated \(Y^*\)’s with reduced support \((0,\infty )\) and equal weights as
It is to be noted that the equalities for \(W,X\) and \(Y^*\) corresponding to \(f_{X^* } (x^* |v,z) = f_{1/X^* } (x^* |v,z)\), \(f_{X^* } (x^* |v,z) = f_{X^* } (x^* | - v,z)\), \(f_Y (y|v,z) = f_{ - Y} (y|v,z)\) or \(f_Y (y|v,z) = f_Y (y| - v,z)\) do not generally hold unless \(v = 0\) or the case of Halphen’s harmonic distribution, where the variable denoted by \(X_{v = 0}\) (a special case of \(X\)) has the same distribution as \(1/X_{v = 0}\). The property \(f_{X^* } (x^* |v,z) = f_{1/X^* } (x^* |v,z)\) that holds with unconstrained v may be called as an extended harmonicity.
The word “basic” in the BB distribution is adopted to differentiate it from the Bessel function distributions, e.g., the McKay (1932, Eq. (1)) Bessel function distribution (for other Bessel function distributions see Bose 1936, Eq. (6.6); Laha 1954; McNolty 1973). Note that a special case of the McKay Bessel function distribution can be seen as a mixture using the BB distribution for a mixing distribution. In other words, the BB distribution is implicitly used.
An explicit use of the BB distribution is found in the harmonic distribution of Halphen (1941, p. 635). Let X follow this distribution, then the pdf of X at x is given by
where Halphen stated that \(\Lambda\) is a normalizing constant including a Bessel function. Halphen (1941, Remarque, p. 635) also gave a generalized version of the above distribution:
We derive the actual form of the normalizer \(\Lambda (\alpha ,a,b)\) in the above generalized distribution. Employing the scale parameter \(\beta > 0\) in the BB distribution of the second kind, we have its pdf using the same notations X and x for simplicity
which is the pdf of a 3-parameter or scaled BB distribution of the second kind. Halphen’s pdf \(f_X \{ x|\Lambda (\alpha ,a,b),\alpha ,a,b\}\) is given from \(f_X (x|v,z,\beta )\) when \(v = \alpha ,\,\,z = 2(ab)^{1/2}\) and x in the second scaled BB pdf is re-expressed by \(2a\beta x/z\) with \({\text{d}}\,{(}2a\beta x/z)/{\text{d}}x = 2a\beta /z\) as
It is found that the normalizer in Halphen’s pdf \(f_X (x|\Lambda ,a,b)\) is given by
After Halphen’s death in 1954, Morlat (1956, Sect. 2.3) investigated the 3-parameter scaled BB distribution of the second kind with the pdf \(f_X (x|v,z,\beta )\) shown earlier, and called the distribution as the Halphen type A (HA) distribution. Guillot (1964, pp. 64–66) gave the pdf of the logarithmic transformation of Halphen’s harmonic-distributed variable, which is exactly the same as one of the BB pdf’s of the modified third kind with the unit scale parameter, that is
where \({\text{ch}}\,x \equiv \cosh u\) was used by Guillot. Perreault et al. (1999a, p. 190) introduced the work of Guillot as a power transformation of Halphen’s variable though the actual one is logarithmic as addressed earlier.
Good (1953) seems to be the first rediscovery of Halphen’s (1941) harmonic distribution as noted by Jørgensen (1982, p. 1). Perreault et al. (1999a, p. 189) also stated that “The generalized inverse Gaussian distribution is commonly accredited to Good (1953)”, where the cited generalized distribution is the same as the reparametrized Halphen distribution as will be addressed later. Good (1953, Eq. (50)) gave an expression of the pdf \(f(p) = sAp^\alpha \exp ( - \beta p - \varepsilon p^{ - 1} )\)\((\beta > 0,\,\,\varepsilon > 0)\) with \(\int_0^1 {f(p)} \,{\text{d}}p = s\) under possible truncation, where p is an argument of the pdf and sA is seen as a normalizing factor, i.e., a function of \(\alpha ,\,\,\beta\) and \(\varepsilon\). Note that Good’s pdf is the same as Halphen’s \(f_X \{ x|\Lambda (\alpha ,a,b),\alpha ,a,b\}\) with slight reparametrization and the removal of truncation, which is also a reparametrized scaled BB distribution of the second kind. Rukhin (1974/1978, Eq. (0.2)) rediscovered Halphen’s scaled and shifted harmonic distribution with the logarithmic change of variable or Guillot’s distribution using the pdf \(f_X (x) = \frac{\beta }{2K_0 (\alpha )}\exp \{ - \alpha {\text{ch}}(x - \theta_0 )\}\) with \({\text{ch}}( \cdot )\) defined earlier. Rukhin’s distribution is a special case of the BB of the modified third kind when \(v = 0\) in \(K_v ( \cdot )\). The distributions using \(K_0 ( \cdot )\) including Halphen’s harmonic one are also called the hyperbola distributions (Barndorff-Nielsen 1978, Sect. 5; Jørgensen 1982, pp. 1–2; Perreault et al. 1999a, Eq. (1)). Sichel (1975, Eq. (2.1)) gave a reparametrized distribution of the Halphen distribution. Also, Barndorff-Nielsen (1977, Eq. (7.1)), and Barndorff-Nielsen and Halgreen (1977, Eq. (1)) rediscovered the Halphen distribution with the pdf \(f_X (x|\alpha ,a,b)\) when \(\alpha = \lambda\), \(a = \psi /2\) and \(b = \chi /2\) as a member of “the family of the generalized inverse Gaussian (GIG) distributions”:
(for usages of this distribution as a mixing distribution for normal variance-mean mixtures or the class of generalized hyperbolic distributions, see also Barndorff-Nielsen 1978, Eq. (4.1); Barndorff-Nielsen et al. 1982b, Eq. (2.4)).
3 Power basic-Bessel (PBB) distributions
Power transformations of random variables of well-known distributions such as the normal distribution have been extensively investigated and used as the Box and Cox (1964) or power-normal (Goto and Inoue 1980) transformations. Recently, Ferrari and Fumes (2017) and Morán-Vásquez and Ferrari (2019) gave the Box–Cox transformations for symmetric and elliptical distributions, respectively. On the other hand, Takei and Matsunawa (2001, Eq. (1.6)) showed the power-gamma distribution as a prior one, where the variable is given when a power of the variable follows the gamma distribution. Independently, Ogasawara (2022, Sect. 9.2) obtained the same distribution with a multivariate version (Ogasawara 2023a). Note that the power-gamma distribution is a reparametrization of Stacy’s (1962, Eq. (1)) generalized gamma with an extension of the real-valued power over the positive one used by the generalized gamma. Stacy’s generalized gamma has been rediscovered or restated as, e.g., the three-parameter generalized gamma or the Krisky–Menkel distributions (TPGG; Singh and Zhang 2022, Sect. 6.1). The power-gamma distribution is also seen as a special case of the Amoroso (1925) distribution (for this distribution see also Crooks 2015). For the Halphen type A distribution, whose special case is the IG distribution (Folks and Chhikara 1978; Chhikara and Folks 1989) with some reparametrization and variable transformation, Iwase and Hirano (1990, Eq. (10)) obtained the distribution of the power transformation of the IG called the power-IG (PIG) distribution. Furthermore, Takei and Matsunawa (2001, Eq. (1.7)) presented the power-GIG (PGIG) distribution, where the GIG was mentioned earlier as a reparametrized Halphen type A distribution. For clarity, the pdf of Takei and Matsunawa’s PGIG is repeated without changing notations:
We consider the power transformations of the BB distributed variables, which are found to be given by the PGIG distributions using variable transformations, reparametrizations or mixtures.
Definition 2 (the power-BB (PBB) pdf’s of the first to modified third kinds)
The power-BB distributions are defined when their pdf’s are given as follows:
“the PBB pdf of the first kind”
“the PBB pdf of the second kind”
“the PBB pdf of the modified second kind”
“the PBB pdf of the third kind”
and “the PBB pdf of the modified third kind”
The pdf’s in Definition 2 are given by variable transformations of \(w,\,\,x,\,\,x^* ,y\) and \(y^*\) by \(w^\gamma ,x^\gamma ,x^{*\gamma } ,\gamma y\) and \(\gamma y^*\) with the Jacobians \(|\gamma |w^{\gamma - 1} ,|\gamma |x^{\gamma - 1} ,|\gamma |x^{*\gamma - 1}\), \(|\gamma |\) and \(|\gamma |\), respectively. Note that for the second last pdf, the form \(\gamma y\) yielding the power transformation of \({\text{e}}^y\), i.e., \({\text{e}}^{y\gamma }\) is used rather than \(y^\gamma\) considering practical use with similar results for \(\gamma y^*\) having the extended support.
Illustrations of the pdf’s of the PBB distributions are provided in Figs. 1 and 2 for the three standard PBB variables of the first (W), second (X) and third (Y) kinds. Figures 1 and 2 give the pdf’s when z = 2 and 6 in \(K_v (z)\), respectively. In each figure, the upper three plots are given when v = 0, while the lower three when v = 2. Each plot shows three pdf’s with \(\gamma\) = 1/2, 1 and 2 for power transformations. Note that W and X in the upper plots in Fig. 1 are the same since \(X = z/(2W)\) and X follows the harmonic distribution, i.e., the same distribution as \(X^{ - 1}\) when v = 0 with arbitrary z. It is easily found that the harmonicity holds irrespective of power transformations.
Recall that the variable Y is given by the logarithmic transformation of X followed by the reflection about 0, which corresponds to X = 1. As will be shown later, W and X are unimodal whereas the pdf of Y is a decreasing or unimodal function depending on the values of z, v and \(\gamma\) as illustrated in the plots. When z increases, the pdf of W tends to move to the right, while X and Y tend to have opposite tendencies. When v increases, the pdf’s of X and Y tend to move to the right while that of W to the left. Among \(\gamma\) = 1/2, 1 and 2, the largest (smallest) variance is given by \(\gamma\) = 1/2 (2, respectively).
4 Moments of the PBB distributions
In this section, the moments or the moment generating functions (mgf’s) are given except the mgf of \(Y\) and the moments of \({\text{e}}^Y\), which will be shown later.
Lemma 1
Some moments of the PBB distributions of the first, second and modified third kinds of real-valued order k with \({\text{M}}_{Y^* } (k|v,z,\gamma )\) being the mgf of \(Y^*\) are
\(( - \,\infty < k < \infty )\) and
The proofs of Lemma 1 and some other results will be provided in the appendix. In Lemma 1, \({\text{M}}_{Y^* } (k|v,z,\gamma ) = {\text{E}}\{ \exp(kY^* )|v,z,\gamma \}\) may also be called the kth order exponential moment of \(Y^*\). Note that generally \({\text{E}}\{ \exp(kY)|v,z,\gamma \} \ne {\text{E}}\{ \exp(kY^* )|v,z,\gamma \}\). The two negative signs in the expression of \({\text{E}}(W^k |v,z,\gamma )\) become positive when we use \(W^\# \equiv W^{ - 1}\) before power transformation as
which is obtained by using the pdf of \(W^\#\):
Though the variable \(W^\#\) seems to be unused in literatures, its additional advantage is the factor \(w^{\# v - 1} ( = (w^\# )^{v - 1} )\) of the same form as \(x^{v - 1}\) in the BB pdf of the second kind. An indirect derivation of the expression of \({\text{E}}(W^{\# k} |v,z,\gamma )\) with positive signs is given by considering the moments of order \(- k\) for \(W\), which are seen as those of order k for \(W^\#\) by definition.
Conversely, if we consider the variable \(X^\# \equiv X^{ - 1}\), we have
including a negative sign, which is found to hold by the indirect method mentioned earlier. The corresponding pdf for \(X^\#\) becomes
which seems to be comparable to the pdf of \(X\) whose factor corresponding to \(x^{\# - v - 1}\) is \(x^{v - 1}\) as addressed earlier (note the Jacobian \({|}\,{\text{d}}x/{\text{d}}x^\# |\, = x^{\# - 2}\) or \({|}\,{\text{d}}x^\# /{\text{d}}x|\, = x^{ - 2}\)). Note that the pdf is also given by the second formula of the second integral expressions of \(K_v (z)\) in the appendix. The pdf of \(X^\#\) was used by Song et al. (2014b, Definition 1-I) to derive \(K_v (z) = K_{ - v} (z)\) as addressed in Definition 1.
Now, we derive the mgf of \(Y\), which is relatively involved, using the pdf’s of \(Y^*\) and \(X\). Note that the pdf of \(Y^*\) is not an even function or an odd one and that the support of \(Y\) is \((0,\,\,\infty )\) corresponding to the truncated one \((1,\,\,\infty )\) of \(X\), while the support of \(Y^*\) is \(( - \infty ,\,\,\infty )\) corresponding to the untruncated one \((0,\,\,\infty )\) for \(X\). We also use upper incomplete functions of the modified Bessel of the second kind defined by Cicchetti and Faraone (2004, Eq. (2)), and Jones (2007, Eq. (2.4)):
Definition 3 (the types 1 to m3 upper incomplete functions of the modified Bessell of the second kind)
Recall the BB pdf of the third kind denoted by \(f_Y (y|v,z)\) and that \(f_Y (y|v,z)\) is the sum of two distributions of \(Y^*\) with the reduced or truncated support \((0,\,\,\infty )\).
“The types 3 and m3 upper incomplete Bessel functions”: The above equality for the definition of \(K_v (z,\omega )\) can be re-expressed as
The integrals \(K_{(3),v} (z,\omega )( = K_v (z,\omega ))\) and \(K_{({\text{m}}3),v} (z,\omega )\) defined above are called the types 3 and m3 upper incomplete functions of the modified Bessell of the second kind, respectively, where “3” and “m3” indicate the corresponding BB pdf’s of the un-modified and modified third kinds, respectively. Though in the above equation 0 ≤ ω is considered to have the relationship between \(K_{(3),v} (z,\omega )\) and \(K_{({\text{m}}3),v} (z,\omega )\), the range of \(\omega\) in \(K_{({\text{m}}3),v} (z,\omega )\) is \(\omega \in {\text{R}}\). Furthermore, for later use and convenience, define
and
“The types 2 and m2 upper incomplete Bessel functions”: Using the variable transformation \(x = {\text{e}}^{y^* }\), and then replacing x by \(x^\gamma \,\,(\gamma \in {\text{R}},\,\gamma \ne 0)\), we have
where \(K_{(2),v} \{ z,\exp \,\,(\omega )\}\) is called the type 2 upper incomplete function of the modified Bessell of the second kind. The type m2 counterpart is given by \(K_{(2),v} \{ z,\exp \,\,(\omega )\}\) as
“The type 1 upper incomplete Bessel function”: The remaining type 1 counterpart \(K_{(1),v} \{ z,(z/2)\exp \,\,( - \omega )\}\) is defined by using \(\frac{z}{2w} = x\) as
It is known that the integral formula corresponding to an incomplete Bessel function of the second kind dates back to Binet (1841) a century before Halphen (1941) (for Binet’s contribution, see Watson 1944/1999, Sect. 6.22, p. 183; Agrest and Maksimov 1971, p. 21), where the integral of the form \(\int_a^b {y^{2r} \exp \left( { - \frac{p}{y^2 } - qy^2 } \right)} \,{\text{d}}y\) with a and b being unconstrained was focused on. It is found that this formula is obtained by a special case of the type 2 incomplete function \(K_{(2),v,\gamma } \{ z,\exp \,\,(\gamma \omega )\}\) in Definition 3 using the square transformation, i.e., \(\gamma = 2\).
In hydrology, based on Theis (1935) and, Hantush and Jacob (1955), the integral \(\int_1^\infty {\frac{1}{{t^{v + 1} }}\exp \left( { - xt - \frac{y}{t}} \right)} \,{\text{d}}t\) \((v = 0,1, \ldots ;x > 0;y > 0)\) called “the leaky aquifer function” has been investigated. Currently, several algorithms for this integral are available (see, e.g., Harris 2008; López et al. 2023) though they tend to be complicated. Note that the integral, when \(t\) is replaced by \(1/t\) with \(x = y = z/2\), is also given by a special case of the type 2 incomplete Bessel function.
Lemma 2
The mgf of Y with the PBB pdf of the third kind is
In Lemma 2, \(\Pr \{ Y^* > 0| \cdot \}\)\(( = \Pr \{ X > 1| \cdot \} )\) is a value of a survival function. In the following lemma, we partially employ the scale parameter \(\beta\) for generality and didactic purposes. Define the partial (not conditional) expectation of \((\gamma^{ - 1} \ln X)^j\) over the range \(X > \omega^*\) as
Then, we have the following results:
Lemma 3
and
Remark 1
Penneault et al. (1999a, Eq. (65)) gave the derivation of the special case of Lemma 3 when \(j = 1,\,\,v + (k/\gamma ) = k\) and \(\gamma = 1\). That is, using our notation, they gave
Note that in the case of unit scale, i.e., \(\beta = 1\), Lemma 3 becomes considerably simple:
The above formulas are integral representations. The closed-form expression seems to be available only when j = 1, i.e., \({\text{d}}K_k (z)/{\text{d}}k\) using series expressions depending on whether k is an integer or a non-integer with the modified Bessel functions of the first kind in the latter case (Magnus et al. 1966, Sects. 3.1.3 to 3.3.3, pp. 69–75; Zwillinger 2015, Formulas 8.486 (1)-4, 5, 9, 11, pp. 938–939; DLMF 2023, Sect. 10.38).
Define \({\text{E(}}Y^{*j} |v,z,\gamma ) = \frac{{{\text{d}}^j K_{v + (k/\gamma )} (z)/{\text{d}}k^j |_{k = 0} }}{K_v (z)} \equiv \frac{{K_{v,\gamma }^{(j)} (z)}}{K_v (z)},\)
\(K_{(2),\{ \pm v\} ,\gamma }^{(j)} (z,1) \equiv K_{(2),v,\gamma }^{(j)} (z,1) + K_{(2), - v,\gamma }^{(j)} (z,1)\), \(K_{(2),\{ \pm v\} ,\gamma }^{(j)m} (z,1) = \{ K_{(2),\{ \pm v\} ,\gamma }^{(j)} (z,1)\}^m (m = 2,3,...)\) and \(K_v^j (z) = \{ K_v (z)\}^j\) \((j = 1,2,...)\) for simplicity of notation. Then, we have the results for some moments and their functions of the PBB distributions, which will be given in Theorem 1 of the appendix. Relationships between two sets of variables “\(W,\,W^\# ( = W^{ - 1} )\)” and “\(X,X^\# ( = X^{ - 1} )\)” in the PBB variables are important, which are summarized as.
Corollary 1
Some relationships between the raw moments, sk’s and kt’s of the PBB-distributed variables of the first and second kinds are
Proof
The results are due to the proportionalities \(W = (z/2)^{1/\gamma } X^\#\) and \(W^\# = (z/2)^{ - 1/\gamma } X\) \((z > 0,\,\, - \infty < \gamma < \infty ,\gamma \ne 0)\). □
5 Modes and quantiles of the PBB distributions
In this section, the modes and quantiles of the PBB distributions are considered. Dvoráket al. (1988, Eq. (4)) showed a unified expression of the differential equations or log-density derivatives for the Halphen type A and other two Halphen distributions as
where \(f(u)\) is the generic pdf of the Halphen distributions (see also Perreault et al. 1999a, Eq. (8) and Table 1; El Adlouni and Bobée 2017, Eq. (2.1); Singh and Zhang 2022, Eq. (3.16)). In the case of the unit scale Halphen type A or the BB distribution of the second kind, we have
yielding \(a_0 = z/2,\,\,a_1 = v - 1\) and \(a_2 = - z/2\) with \(q = 2\). Recalling that by definition \(x > 0\) as well as \(v \in {\text{R}}\) and \(z > 0\), and using \({\text{d}}\ln f_X (x|v,z)/{\text{d}}x = 0\), it is found that a single mode denoted by \({\text{Mo}}(X|v,z)\) exists:
Note that among the PBB-distributed variables, those of the first, second and modified third kinds are given by power transformations of x as \(x^\gamma (\gamma \in {\text{R}},\gamma \ne 0)\) for the Halphen type A or BB distribution of the second kind, followed by changes of variable: \(x^\gamma = \frac{z}{2w^\gamma } = {\text{e}}^{\gamma y^* } .\)
Lemma 4
The differential equations for the PBB distributed variables \(W,X\) and \(Y^*\) with the generic expression of their pdf’s denoted by \(f(t)\) are given by
\(\frac{{{\text{d}}\,{\text{ln}}\,f(t)}}{{{\text{d}}t}} = \left\{ {a_0 + (a_1 + 1 - \gamma^{ - 1} )t^\gamma + a_2 t^{2\gamma } } \right\}\gamma t^{ - \gamma - 1}\) for W and X,
and \(\frac{{{\text{d}}\,{\text{ln}}\,f(t)}}{{{\text{d}}t}} = \{ a_0 + (a_1 + 1)\exp (t\gamma ) + a_2 \exp (2t\gamma )\} \gamma \exp ( - t\gamma )\) for \(Y^*\),
where the coefficients \(a_0 ,\,\,a_1\) and \(a_2\) are shown in Table 1.
Theorem 2
PBB distributions of \(W,X\,\,\) and \(Y^*\) are unimodal with the modes
Proof
The unimodalities of the distributions are given indirectly due to the monotonic transformation of the Halphen type A or the BB distributions of the second kind having unimodality. The modes are obtained by the differential equations set to zero, which reduce to the quadratic equations for monotonic functions of t. A direct derivation of the unimodalities is found by the negative values of the product, i.e., \(a_0 /a_2\) of the solutions of the quadratic equations (see Lemma 4), where only the single positive solutions give the modes after inverse transformation of associated monotonic functions of t. □
The limiting values of \({\text{Mo}}(W|v,z,\gamma )\), \({\text{Mo}}(X|v,z,\gamma )\) and \({\text{Mo}}(Y^* |v,z,\gamma )\) when the values of v and z become large or small will be shown in Property 1 of the appendix. For the modes of the remaining PBB distributed variables \(X^*\) and \(Y\) of the modified second and un-modified third kinds, respectively, the following results are provided.
Lemma 5
The differential equations for the PBB distributed variables \(X^*\) and \(Y\) with the generic expression of their pdf’s denoted by \(f(t)\) are given by
\(\frac{{{\text{d}}\,{\text{ln}}\,f(t)}}{{{\text{d}}t}} = \left[ {a_0 + \{ a_1 (t^\gamma ) + 1 - \gamma^{ - 1} \} t^\gamma + a_2 t^{2\gamma } } \right]\gamma t^{ - \gamma - 1}\) for \(X^*\),
and \(\frac{{{\text{d}}\,{\text{ln}}\,f(t)}}{{{\text{d}}t}} = \left[ {a_0 + a_1 \{ \exp (t\gamma )\} \exp (t\gamma ) + a_2 \exp (2t\gamma )} \right]\gamma \exp ( - t\gamma )\) for \(Y\), where the coefficients/function \(a_0 ,\,\,a_1 ( \cdot )\) (or \(a_1 \{ \cdot \}\)) and \(a_2\) are shown in Table 2.
Theorem 3
The PBB distributions of \(X^*\) and \(Y\) are unimodal. \({\text{Mo}}(X^* |v,z,\gamma )\) is given by the converged value of t in the following iterative computation:
where \(t|_{(j + 1) - {\text{th}}}\) indicates the revised value of t in the (j + 1)th \((j = 0,1, \ldots )\) iteration. Similarly, \({\text{Mo}}(Y|v,z,\lambda )\) is obtained iteratively as:
where \(a_1 \{ \cdot \}\) is the function of the argument in braces.
Remark 2
The \(\alpha {\text{-th}}\) (\(0 < \alpha < 1\)) quantiles denoted by \(Q_U (\alpha )\) of the generic variable U for the PBB distributions are given by the upper incomplete BB functions satisfying
Since \(K_{(j),v,\gamma } \{ z,Q_U (\alpha )\}\)’s are decreasing functions of \(Q_U (\alpha )\), the solutions of \(Q_U (\alpha )\) given \(\alpha\) are numerically obtained by, e.g., the bisection method. Note that as mentioned earlier, variables \(W,X\) and \(Y^*\) have the relationships \(X^\lambda = \frac{z}{2W^\lambda } = {\text{e}}^{\lambda Y^* }\), which gives
6 Discussion
6.1 (a) The symmetric reciprocal Bessel distributions
As mentioned earlier, Takei and Matsunawa (2001, p. 175) defined a family of symmetric reciprocal (SR) distributions that includes the factor \(\frac{x^\gamma }{a} + \frac{b}{x^\gamma }\) \((x > 0,\,\,a > 0,\,\,b > 0,\,\, - \infty < \gamma < \infty )\) in the pdf with some associated regularity conditions, where x is the argument of the pdf of a random variable. It is found that the PBB distributions of the first and second kinds belong to the SR family, while those of the third and modified third kinds do not, though they belong to the family by the logarithmic transformation. Due to this property, we have the following extension of the SR family based on a BB distribution.
Definition 4 (the symmetric reciprocal Bessel (SRB) distributions)
Suppose that \(h(U|\gamma )\) is a positive and differentiable function of random U over the support \(U \in {\text{S}}\), and that \(h(U|\gamma )\) has the BB distribution of the second kind, where \(\gamma\) is the vector of parameters of an appropriate dimension. Then, U is defined to follow the symmetric reciprocal Bessel (SRB) distribution, whose pdf is given by
It is found that the family of the SRB distributions includes the BB, PBB and some of the SR distributions.
6.2 (b) Unimodal symmetric reciprocal (USR) distributions and quasi-quadratic equations
As found in Theorem 3, the differential equations set equal to zeroes take a form of the quasi-quadratic one in that the coefficient \(a_1\) is a function of the associated variable. This suggests a pdf of a generalized (Bessel) distribution of the form similar to that of the SRB:
where \(z > 0\) as before; \(\gamma^*\) is a vector of other parameters; \(C(z,\gamma^* )\) is a normalizing constant possibly including a Bessel function; \(g(u|\gamma^* ) > 0\) with \(g^{\prime}(u|\gamma^* ) \equiv {\text{d}}g(u|\gamma^* )/{\text{d}}u > 0\) is a strictly increasing function of u without loss of generality in that a decreasing function \(g(u|\gamma^* )\), if desired, can be replaced by its reciprocal; \(h(u|\gamma^* ) > 0\); and the support, which can be negative, depends on cases. This distribution is called unimodal symmetric reciprocal (USR) distributions. Then, the corresponding differential equation becomes
The equation to have the mode is given by the numerator set equal to zero:
which is seen as a quasi-quadratic equation in terms of \(g(u|\gamma^* )\) with all the coefficients \(c_j (u|z,\gamma^* )\,\,(j = 0,1,2)\) being functions of u. The two solutions of the equation always consist of a positive one and a negative one since the product of the two solutions is \(c_0 (u|z,\gamma^* )/c_2 (u|z,\gamma^* ) = - 1\) as before. The solution to be employed becomes
which is found to be positive due to the conditions \(z > 0\) and \(g^{\prime}(u|\gamma^* ) > 0\). The left-hand side of the above equation is also seen as an updated value of \(g(u|\gamma^* )\). Then, the updated u is given by the inverse function \(g^{ - 1} (u|\gamma^* )\) with the assumption of the existence of its unique value addressed earlier. Then, using this u, the right-hand side of the above equation is updated. The iteration is repeated until convergence. It is easily found that the family of the SRB distributions in the previous Subsection is a sub-family of the USR distributions.
6.3 (c) Multivariate extensions
While the Halphen type A is defined for a family of univariate distributions, multivariate extensions of the IG and GIG are available (see Barndorff-Nielsen et al. 1982a, Example 4; Chhikara and Folks 1989, Sects. 11.1 and 11.2; Barndorff-Nielsen et al. 1992, Sects. 3 and 4). It is expected that the multivariate extensions of the PBB distributions corresponding to the known multivariate GIG are similarly obtained using reparametrizations with change of variables.
6.4 (d) Other remaining issues
The problems of parameter estimation, hypothesis testing for parameters and goodness-of-fit have not been dealt with due to the emphasis on the historical review and extensions (for estimation in the Halphen type A, see Perreault et al. 1999b; El Adlouni and Bobée 2017, Chapter 4; Singh and Zhang 2022, Sect. 3.5). The parameters in the PBB except the scale one are \(v,z\) and \(\gamma \,(v \in {\text{R}},\,\,z > 0,\,\,\gamma \in {\text{R,}}\,\,\gamma \ne {0)}\). Among them, several candidate values may be chosen in practice for v and \(\lambda\) rather than estimating them by, e.g., maximum likelihood. In Sect. 1, the IG was found to be a special case of the Halphen type A or the PBB of the second kind with fixed \(v = - 1/2\) and \(\gamma = 1\). It is known that when v is a half integer, \(K_{ - v} (z)( = K_v (z))\) is given by the following finite series:
(Watson 1944/1995, Sect. 3.71, Eq. (12), p. 80; Abramowitz and Stegun 1972, Formula 10.2.15–17, p. 444; Barndorff-Nielsen 1978, Eq. (3.1); Zwillinger 2015, Formula 8.468, p. 934; DLMF 2023, http://dlmf.nist.gov/10.39.E2, https://dlmf.nist.gov/10.47#ii, https://dlmf.nist.gov/10.49#ii; Gaunt and Li 2023, Eq. (24)). When \(k = 0,\,\,1,\,\,2\) and 3, the above formula gives
As addressed earlier, in the IG, only the simplest one \(K_{1/2} (z)\) is used. This limitation has been relaxed using \(K_v (z)\,\,(v \in {\text{R}})\) in the GIG and PBB distributions, where the subfamilies with \(K_{k + (1/2)} (z)\,\,(k = 0,1,...)\) may be of practical use.
7 Appendix
Alternative integral expressions of \(K_v (z)\)
“The second integral expressions”
where the former expression is used in various aspects (Hurst 1995, Eq. (3.3); Perreault et al. 1999a, Eq. (45); Finlay and Seneta 2008, p. 170; Song et al. 2014b, Definition 1; Song et al. 2014a, Definition 1; Gaunt 2021, Appendix), and is easily given by the variable transformation \(x = z/(2w)\) when \(z \in {\text{R}}\) in the first formula of the first integral expressions of \(K_v (z)\) whereas Song et al. (2014a, Lemma 1) derived the earlier formula from the former expression of the second ones which they gave as the definition of \(K_v (z)\). Note that the latter expression of the second ones is given by the variable transformation of the former by \(x^\# = x^{ - 1}\). Watson (1944/1995, Sect. 6.22, Eq. (8) when \(\omega = 0\)) used the latter expression. The two second integral expressions give
“the modified second integral expression”
which may look redundant but is included for later use. Note that the above integrand is unchanged by exchanging \(v\) by \(- v\) and/or the variable transformation from \(x^*\) to \(x^{* - 1}\). Though this expression is easily obtained by the earlier ones, to the author’s knowledge the modified expression is new.
Another set of integral representations is given by
“the third integral expressions”
with \(\cosh (y) = ({\text{e}}^y + {\text{e}}^{ - y} )/2\) (Watson 1944/1995, Sect. 6.22, Eq. (5); Magnus and Oberhettinger 1948, p. 39; Magnus et al. 1966, p. 85; Abramowitz and Stegun 1972, Formula 9.6.24; a redundant expression using \(K_v (z) = (1/2)\int_{ - \infty }^\infty {\exp ( - z\cosh y)\cosh (vy)} \,{\text{d}}y\) by Barndorff-Nielsen and Halgreen 1977, p. 310; Zwillinger 2015, Formulas 8.432–1; DLMF 2023, https://dlmf.nist.gov/10.32.E9). The expressions are given from the second or modified second ones by the variable transformation \({\text{e}}^y = x\) or \({\text{e}}^y = x^\#\) followed by reflection about 0 with a reduced positive support.
Agrest and Maksimov (1971, Eq. (4.17)) and Joarder (1995, p. 118) used the third expression with slight modification:
“the modified third integral expressions”
which are obtained from the first formula of the first expressions using the variable transformation \({\text{e}}^{y^* } = 2w/z\) as when Joarder (1995) first derived the closed-formula of the characteristic function (cf) of Student-t distribution using \(K_v (z)\), where v corresponds to a half of the degrees of freedom. Note that in the third integral expression Zwillinger (2014, Formula 8.432-1) included a point for the possible area of z as \((\,|\arg z|\,\, < \pi /2\) or \({\text{Re}} z = 0\) and \(v = 0)\). Since the added point does not give a finite value of the integral, the point should be deleted as described earlier. However, a limiting value of \(K_v (z)\) when \(z\) goes to +0 as a function of z exists as \({\mathop {\lim }\limits_{z \to + 0}} K_v (z) = \Gamma (v)2^{v - 1} z^{ - v} \,\,(v > 0)\) which was used by Hurst (1995, Eq. (4.2)) without derivation though for this limiting value Abramowitz and Stegun (1972) was referred to. However, the latter editors do not seem to have provided their formula 9.6.9 with its derivation as noted by Song et al. (2014b, Definition 1-II), who gave the proof. Using the formula, Hurst (1995) independently provided the same expression of the cf of the Student-t distribution.
Historically, the third expression seems to have been first derived as an integral representation of \(K_v (z)\) by L. Schläfli in 1873 followed by the modified third, second and first ones in this order though the first one has been most extensively investigated (Watson 1944/1995, Sect. 6.22, Eqs. (5), (7), (8) and (15)). Note that the second integral expressions are obtained from the modified third one’s using the variable transformation \(x = {\text{e}}^{y^* }\) or \(x^\# = {\text{e}}^{ - y^* }\). An advantage of the modified third expressions over the remaining ones is \(y^* \in {\text{R}}\), i.e., two-sided, while \(w > 0\,\,(w^\# > 0)\), \(x > 0\,(x^\# > 0\,)\), \(x^* > 0\) and \(y > 0\) for the first, second, modified second, and un-modified third expressions, respectively.
Proofs of Lemma 1
Proof 1. Using the definitions of the moments, we obtain
and
The above expressions with the property of the mgf of \(Y^*\) yielding its raw moments give the required results. □
Proof 2. An alternative indirect proof of \({\text{E}}(X^k |v,z,\gamma ) = {\text{M}}_{Y^* } (k|v,z,\gamma )\) is shown. By definition we have as before
Using the variable transformation \(x = {\text{e}}^{y^* }\), the above equation becomes
which gives the required result. □
Proof of Lemma 2
Using the definition of the mgf, we obtain
where \(K_{v - (k/\gamma )} (z) = K_{ - v + (k/\gamma )} (z)\) is used. The last expression gives the required result.
Proof of Lemma 3
Since \(1 = \int_0^\infty {K_v (z)^{ - 1} \frac{1}{2}\exp \left\{ { - \frac{z}{2}\left( {\frac{x}{\beta } + \frac{\beta }{x}} \right)} \right\}\frac{{x^{v - 1} }}{\beta^v }{\text{d}}x}\), we have
Using \(\frac{{{\text{d}}^j g(k)h(k)}}{{{\text{d}}k^j }} = \sum_{m = 0}^j {\left( \begin{gathered} j \hfill \\ m \hfill \\ \end{gathered} \right)} \frac{{{\text{d}}^m g(k)}}{{{\text{d}}k^m }}\frac{{{\text{d}}^{j - m} h(k)}}{{{\text{d}}k^{j - m} }}\), where \(g(k)\) and \(h(k)\) are differentiable functions of k, we obtain
Dividing both sides of the last equation by \(\beta^{v + (k/\gamma )} K_{v + (k/\gamma )} (z)\), the first result follows as
The second result is similarly obtained using the definition of the partial expectation instead of the full one, which gives the required result.
Some moments and their functions of the PBB distributions
Theorem 1
The expectations, variances, skewnesses (sk’s) and excess kurtoses (kt’s) of the power BB-distributed variables of the first, second, modified second, third and modified third kinds are
Proof
The results are given by Lemmas 1 to 3. □
Proof of Lemma 4
For W and X, the coefficients \(a_0 ,\,\,a_1\) and \(a_2\) in Table 1 are given by definition. Then, we obtain
For \(Y^*\), we have in a similar manner
The above expressions give the required results.
Some limiting values of \({\text{Mo}}(W|v,z,\gamma )\), \({\text{Mo}}(X|v,z,\gamma )\) and \({\text{Mo}}(Y^* |v,z,\gamma )\)
Property 1
Consider the limiting values of \({\text{Mo}}(W|v,z,\gamma )\), \({\text{Mo}}(X|v,z,\gamma )\) and \({\text{Mo}}(Y^* |v,z,\gamma )\) when the values of v and z become large or small.
-
(i)
When an arbitrary positive z and fixed \(\gamma \in {\text{R}}\,{(}\gamma \ne {0)}\) are given,
$$ {\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(W|v,z,\gamma > 0) = \infty ,\;{\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(W|v,z,\gamma < 0) = 0; $$$$ \begin{aligned} {\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(X|v,z,\gamma > 0) & = {\mathop {\lim }\limits_{v \to - \infty }} \left[ {\frac{{v - \gamma^{ - 1} + \{ (v - \gamma^{ - 1} )^2 + z^2 \}^{1/2} }}{z}} \right]^{1/\gamma } \\ & = {\mathop {\lim }\limits_{v \to - \infty }} \left[ {\frac{z^2 }{{z[ - (v - \gamma^{ - 1} ) + \{ (v - \gamma^{ - 1} )^2 + z^2 \}^{1/2} ]}}} \right]^{1/\gamma } = 0, \\ \end{aligned} $$$$ {\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(X|v,z,\gamma < 0) = \infty ; $$$$ {\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(Y^* |v,z,\gamma > 0) = {\mathop {\lim }\limits_{v \to - \infty }} \frac{{\ln \left[ {\left\{ {v + (v^2 + z^2 )^{1/2} } \right\}/z} \right]}}{\gamma } = - \infty , $$$$ {\mathop {\lim }\limits_{v \to - \infty }} {\text{Mo}}(Y^* |v,z,\gamma < 0) = \infty ; $$$$ {\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(W|v,z,\gamma > 0) = 0,\;{\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(W|v,z,\gamma < 0) = \infty ; $$$$ {\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(X|v,z,\gamma > 0) = \infty ,\;{\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(X|v,z,\gamma < 0) = 0; $$$$ {\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(Y^* |v,z,\gamma > 0) = \infty ,\;{\mathop {\lim }\limits_{v \to \infty }} {\text{Mo}}(Y^* |v,z,\gamma < 0) = - \infty $$with
$$ \begin{aligned} & \frac{{\partial {\text{Mo}}(W|v,z,\gamma > 0)}}{\partial v} \\ & = \frac{1/\gamma }{{2^{1/\gamma } }}\left[ { - (v + \gamma^{ - 1} ) + \{ (v + \gamma^{ - 1} )^2 + z^2 \}^{1/2} } \right]^{(1/\gamma ) - 1} \,\left[ { - 1 + (v + \gamma^{ - 1} )\{ (v + \gamma^{ - 1} )^2 + z^2 \}^{ - 1/2} } \right] < 0, \\ \end{aligned} $$$$ \frac{{\partial {\text{Mo}}(W|v,z,\gamma < 0)}}{\partial v} > 0; $$$$ \begin{aligned} & \frac{{\partial {\text{Mo}}(X|v,z,\gamma > 0)}}{\partial v} \\ & = \frac{1/\gamma }{{z^{1/\gamma } }}\left[ {v - \gamma^{ - 1} + \{ (v - \gamma^{ - 1} )^2 + z^2 \}^{1/2} } \right]^{(1/\gamma ) - 1} \,\left[ {1 + (v - \gamma^{ - 1} )\{ (v - \gamma^{ - 1} )^2 + z^2 \}^{ - 1/2} } \right] > 0, \\ \end{aligned} $$$$ \frac{{\partial {\text{Mo}}(X|v,z,\gamma < 0)}}{\partial v} < 0; $$$$ \frac{{\partial {\text{Mo}}(Y^* |v,z,\gamma > 0)}}{\partial v} = \frac{\partial }{\partial v}\frac{{\ln \left[ {\left\{ {v + (v^2 + z^2 )^{1/2} } \right\}/z} \right]}}{\gamma } = \frac{{1 + v(v^2 + z^2 )^{ - 1/2} }}{{\gamma \{ v + (v^2 + z^2 )^{1/2} \} }} > 0 $$and \(\frac{{\partial {\text{Mo}}(Y^* |v,z,\gamma < 0)}}{\partial v} < 0,\) indicating that \({\text{Mo}}(W|v,z,\gamma \ne 0)\), \({\text{Mo}}(X|v,z,\gamma \ne 0)\) and \({\text{Mo}}(Y^* |v,z,\gamma \ne 0)\) are strictly decreasing or increasing functions of v.
-
(ii)
When v and \(\gamma\) are given, the results are shown as follows
-
(ii-a)
\(v + \gamma^{ - 1} > 0\),\({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(W|v,z,\gamma > 0) = 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(W|v,z,\gamma < 0) = \infty\); \(v - \gamma^{ - 1} < 0,\)\({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(X|v,z,\gamma > 0) = \left( {{\mathop {\lim }\limits_{z \to + 0}} \frac{{\partial \left[ {v - \gamma^{ - 1} + \{ (v - \gamma^{ - 1} )^2 + z^2 \}^{1/2} } \right]/\partial z}}{\partial z/\partial z}} \right)^{1/\gamma } = 0\) and \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(X|v,z,\gamma < 0) = \infty\) using L’Hôpital’s rule; \(v < 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(Y^* |v,z,\gamma > 0) = - \infty\) and \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(Y^* |v,z,\gamma < 0) = \infty\).
-
(ii-b)
\(v + \gamma^{ - 1} = 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(W|v,z,\gamma > 0) = 0\) and \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(W|v,z,\gamma < 0) = \infty\); \(v = \gamma^{ - 1}\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(X|v,z,\gamma \ne 0) = 1\); \(v = 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(Y^* |v,z,\gamma \ne 0) = 0\).
-
(ii-c)
\(v + \gamma^{ - 1} < 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(W|v,z,\gamma ) = \{ - (v + \gamma^{ - 1} )\}^{1/\gamma }\); \(v - \gamma^{ - 1} > 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(X|v,z,\gamma > 0) = \infty\) and \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(X|v,z,\gamma < 0) = 0\); \(v > 0\), \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(Y^* |v,z,\gamma > 0) = \infty\) and \({\mathop {\lim }\limits_{z \to + 0}} {\text{Mo}}(Y^* |v,z,\gamma < 0) = - \infty\).
-
(ii-a)
-
(iii)
When an arbitrary v is given, \({\mathop {\lim }\limits_{z \to \infty }} {\text{Mo}}(W|v,z,\gamma > 0) = \infty\), \({\mathop {\lim }\limits_{z \to \infty }} {\text{Mo}}(W|v,z,\gamma < 0) = 0\), \({\mathop {\lim }\limits_{z \to \infty }} {\text{Mo}}(X|v,z,\gamma \ne 0) = 1\) and \({\mathop {\lim }\limits_{z \to \infty }} {\text{Mo}}(Y^* |v,z,\gamma \ne 0) = 0\).
In (ii) and (iii), note that
and
\(\frac{{\partial {\text{Mo}}(Y^* |v = 0,z,\gamma )}}{\partial z} = 0\) and \(\frac{{\partial {\text{Mo}}(Y^* |v,z,v\gamma > 0)}}{\partial z} < 0\).
Then, it is found that \({\text{Mo}}(W|v,z,\gamma )\), \({\text{Mo}}(X|v,z,\gamma )\) and \({\text{Mo}}(Y^* |v,z,\gamma )\) are strictly increasing or decreasing functions of z except that \({\text{Mo}}(X|v,z,v = \gamma^{ - 1} )\) and \({\text{Mo}}(Y^* |v = 0,z,\gamma )\) are constant with respect to z.
Proof of Lemma 5
For \(X^*\), the coefficients/function \(a_0 ,\,\,a_1 ( \cdot )\) and \(a_2\) in Table 2 are obtained by the corresponding pdf
as follows
where the following is used
For \(Y\), noting that \(f_Y (t|v,z,\gamma ) = K_v (z)^{ - 1} \exp \left\{ { - \frac{z}{2}\left( {u + \frac{1}{u}} \right)} \right\}\frac{{u^v + u^{ - v} }}{2}|_{u = \exp (\gamma t)} |{\text{d}}\gamma t/{\text{d}}t|\) \((0 < t < \infty )\), we have in a similar manner
where
is used. The above expressions give the required results.
Proof of Theorem 3
Lemma 5 provides the conditions for the modes of \(X^*\) and \(Y\) to satisfy:
\(a_0 + a_1 \{ \exp (t\gamma )\} \exp (t\gamma ) + a_2 \exp (2t\gamma ) = 0\), respectively.
When \(a_1 (t^\gamma )\) and \(a_1 \{ \exp (t\gamma )\}\) are seen as fixed constants using the current values in iterative computation, the equations become usual quadratic ones with respect to \(t^\gamma > 0\) and \(\exp (t\gamma ) > 0\). Since the products \(a_0 /a_2 = - 1\) of the two solutions are both negative, the positive solution is employed. In iterations, when converged, the solutions satisfy the conditions of the single positive modes.
Data availability
No data have been used in this article.
References
Abramowitz M, Stegun IA (eds) (1972) Handbook of mathematical functions with formulas, graphs, and mathematical tables (ninth printing). Dover, New York. https://personal.math.ubc.ca/~cbm/aands/abramowitz_and_stegun.pdf
Agrest MM, Maksimov MS (1971) Theory of incomplete cylindrical functions and their applications. Springer-Verlag, Berlin. Russian edition: Agrest MM, Maksimov MS (1965) The original Russian edition (trans: Fettis HE, Goresh JW, Lee DA). Atomizdat, Moscow
Amoroso L (1925) Ricerche intorno alla curva dei redditi. Annali Di Mathematica Pura Ed Applicata, Serie IV, Tomo II:123–159
Barndorff-Nielsen O (1977) Exponentially decreasing distributions for the logarithm of particle size. Proc R Soc Lond A Math Phys Sci 353(1674):401–419
Barndorff-Nielsen O (1978) Hyperbolic distributions and distributions on hyperbolae. Scand J Stat 5(3):151–157
Barndorff-Nielsen O, Blaesild P, Jensen JL, Jørgensen B (1982a) Exponential transformation models. Proc R Soc Lond A Math Phys Sci 379(1776):41–65
Barndorff-Nielsen OE, Blaesild P, Seshadri V (1992) Multivariate distributions with generalized inverse Gaussian marginals, and associated Poisson mixtures. Can J Stat 20(2):109–120
Barndorff-Nielsen O, Halgreen C (1977) Infinite divisibility of the hyperbolic and generalized inverse Gaussian distributions. Zeitschrift Für Wahrscheinlichkeitstheorie Und Verwandte Gebiete 38(4):309–311
Barndorff-Nielsen O, Kent J, Sørensen M (1982b) Normal variance-mean mixtures and z distributions. Int Stat Rev 50(2):145–159
Binet JPM (1841) Note sur l’intégrale \(\int^{y}_{\alpha} {y}^{2i}\,{dye}^{-{\frac{p}{y^2}}-{qy^2}} \) prise entre des limites arbitraires. Comptes rendus hebdomadaires des séances de l’Académie des sciences 12:958–962. https://www.biodiversitylibrary.org/item/81357
Bose RC (1936) On the exact distribution and moment-coefficients of the D2-statistic. Sankhyā Indian J Stat (1933–1960) 2(2):143–154
Box GE, Cox DR (1964) An analysis of transformations. J R Stat Soc Ser B Stat Methodol 26(2):211–243
Chhikara R, Folks L (1989) Inverse Gaussian distribution: theory, methodology and applications. Marcel Dekker, New York
Cicchetti R, Faraone A (2004) Incomplete Hankel and modified Bessel functions: a class of special functions for electromagnetics. IEEE Trans Antennas Propag 52(12):3373–3389
Crooks GE (2015) The Amoroso distribution. arXiv:1005.3274v2 [math.ST] 13 Jul 2015
DLMF (2023) NIST digital library of mathematical functions. https://dlmf.nist.gov/. Release 1.1.10 of 15 Jun 2023. Olver FWJ, Olde Daalhuis AB, Lozier DW, Schneider BI, Boisvert RF, Clark CW, Miller BR, Saunders BV, Cohl HS, McClain MA (eds)
Dvorák V, Bobée B, Boucher F, Ashkar F (1988) Halphen distributions and related systems of frequency functions. INRS-Eau, Rapport scientifique n° 236, Institut national de la recherche scientifique, Université du Québec, Sainte-Foy, Québec, Canada. https://espace.inrs.ca/id/eprint/873/1/R000236.pdf
El Adlouni S, Bobée B (2017) Halphen distribution family: with application in hydrological frequency analysis. Water Resources Publications, Highlands Ranch, CO
Erdélyi A (ed) (1953) Higher transcendental functions, vol 2. McGraw-Hill, New York. https://resolver.caltech.edu/CaltechAUTHORS:20140123-104529738
Ferrari SLP, Fumes G (2017) Box-Cox symmetric distributions and applications to nutritional data. AStA Adv Stat Anal 101:321–344
Finlay R, Seneta E (2008) Stationary-increment variance-gamma and t models: simulation and parameter estimation. Int Stat Rev 76(2):167–186
Fisher RA (1928) The general sampling distribution of the multiple correlation coefficient. Proc R Soc Lond A 121:654–673
Folks JL, Chhikara RS (1978) The inverse Gaussian distribution and its statistical application—a review. J R Stat Soc Ser B Stat Methodol 40(3):263–275
Gaunt RE (2021) A simple proof of the characteristic function of student’s t-distribution. Commun Stat Theory Methods 50(14):3380–3383
Gaunt RE, Li S (2023) The variance-gamma ratio distribution. Comptes Rendus Mathématique 361:1151–1161
Good IJ (1953) The population frequencies of species and the estimation of population parameters. Biometrika 40(3–4):237–264
Goto M, Inoue T (1980) Some properties of power normal distribution. Jpn J Biom 1:28–54. https://www.jstage.jst.go.jp/article/jjb/1/0/1_28/_pdf
Guillot P (1964) Une extension des lois A de Halphen comprenant comme cas limite la loi de Galton-Gibrat. Revue de Statistique Appliquée 12(1):63–73. http://www.numdam.org/item?id=RSA_1964__12_1_63_0
Halphen É (Dugué D) (1941) Sur un nouveau type de courbe de fréquence. Comptes rendus hebdomadaires des séances de l’Académie des Sciences 213:634–635 (published under the name of Dugué, D. due to war constraints). https://gallica.bnf.fr/ark:/12148/bpt6k445259w/f633.image
Hantush MS, Jacob CE (1955) Non-steady radial flow in an infinite leaky aquifer. EOS Trans Am Geophys Union 36(1):95–100
Harris FE (2008) Incomplete Bessel, generalized incomplete gamma, or leaky aquifer functions. J Comput Appl Math 215(1):260–269
Hurst S (1995). The characteristic function of the student t distribution, financial mathematics. Financial Mathematics Research Report No. FMRR 006-95, Statistical Research Report No. SRR044-95. Center for Financial Mathematics, School of Mathematical Sciences, Australian National University, Canberra ACT 0200, Australia. http://wwwmaths.anu.edu.au/research.reports/srr/95/044/
Iwase K, Hirano K (1990) Power inverse Gaussian distribution and its applications. Jpn J Appl Stat 19(3):163–176 (in Japanese). https://www.jstage.jst.go.jp/article/jappstat1971/19/3/19_3_163/_article
Joarder AH (1995) The characteristic function of the univariate t-distribution. Dhaka Univ J Sci 43(1):117–125
Jones DS (2007) Incomplete Bessel functions. I. Proc Edinb Math Soc 50(1):173–183
Jørgensen B (1982) Statistical properties of the generalized inverse Gaussian distribution. Springer-Verlag, New York
Laha RG (1954) On some properties of the Bessel function distributions. Bull Calcutta Math Soc 46:59–72
López JL, Pagola P, Pérez Sinusía E (2023) Asymptotic expansions for Moench’s integral transform of hydrology. Mathematics 11(14):3053. https://doi.org/10.3390/math11143053
Magnus W, Oberhettinger F (1948) Formeln und Sätze für die speziellen Funktionen der mathematischen Physik, 2nd edn. Springer-Verlag, Berlin
Magnus W, Oberhettinger F, Soni RP (1966) Formulas and theorems for the special functions of mathematical physics, 3rd enlarged edn. Springer-Verlag, Berlin
McKay AT (1932) A Bessel function distribution. Biometrika 24:39–44
McNolty F (1973) Some probability density functions and their characteristic functions. Math Comput 27(123):495–504
Morlat G (1956) Les lois de probabilités de Halphen. Revue de Statistique Appliquée 4(3):21–46. http://www.numdam.org/item?id=RSA_1956__4_3_21_0
Morán-Vásquez RA, Ferrari SLP (2019) Box-Cox elliptical distributions with application. Metrika 82:547–571
Ogasawara H (2022) Expository moments for pseudo distributions. Springer Nature Singapore, Singapore. https://doi.org/10.1007/978-981-19-3525-1
Ogasawara H (2023a) The multivariate power-gamma distribution using factor analysis models. In: Okada A, Shigemasu K, Yoshino R, Yokoyama S (eds) Facets of behaviormerics: the 50th anniversary of the behaviormetric society. Springer Nature Singapore, Singapore, pp 265–285. https://doi.org/10.1007/978-981-99-2240-6_13. Preprint at https://doi.org/10.13140/RG.2.2.11878.50240.
Ogasawara H (2023b) The product distribution of more-than-two correlated normal variables: a didactic review with some new findings (2nd version). Preprint: https://doi.org/10.13140/RG.2.2.10995.71202
Pearson K, Jeffery GB, Elderton EM (1929) On the distribution of the first product moment-coefficient, in samples drawn from an indefinitely large normal population. Biometrika 21:164–201
Perreault L, Fortin V, Bobée B (1994) The Halphen family of distributions for modeling maximum annual flood series: new developments. WIT Trans Ecol Environ 6:359–366
Perreault L, Bobée B, Rasmussen PF (1999a) Halphen distribution system. I: mathematical and statistical properties. J Hydrol Eng 4(3):189–199
Perreault L, Bobée B, Rasmussen PF (1999b) Halphen distribution system. II: parameter and quantile estimation. J Hydrol Eng 4(3):200–208
Rukhin AL (1978) Strongly symmetrical families and statistical analysis of their parameters. J Sov Math 9:886–910. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR 43:59–87, 1974. https://doi.org/10.1007/BF01092900
Seshadri V (1997) Halphen’s laws. In: Kotz S, Read CB, Banks DL (eds) Encyclopedia of statistical sciences, update, vol 1. Wiley, New York, pp 302–306
Seshadri V (1999) The inverse Gaussian distributions: statistical theory and applications. Springer, New York
Sichel HS (1975) On a distribution law for word frequencies. J Am Stat Assoc 70(351a):542–547
Singh VP, Zhang L (2022) Generalized frequency distributions for environmental and water engineering. Cambridge University Press, Cambridge
Song DK, Kang SK, Kim HM (2014a) Further results on characteristic functions without contour integration. Commun Stat Appl Methods 21(5):461–469
Song DK, Park HJ, Kim HM (2014b) A note on the characteristic function of multivariate t distribution. Commun Stat Appl Methods 21(1):81–91
Stacy EW (1962) A generalization of the gamma distribution. Ann Math Stat 33:1187–1192
Takei T, Matsunawa T (2001) Construction of a family of symmetric reciprocal distributions and its fundamental properties. Proc Inst Stat Math 49(1): 175–198 (in Japanese). https://www.ism.ac.jp/editsec/toukei/pdf/49-1-175.pdf
Theis CV (1935) The relation between the lowering of the piezometric surface and the rate and duration of discharge of a well using ground-water storage. EOS Trans Am Geophys Union 16(2):519–524
Tweedie MC (1945) Inverse statistical variates. Nature 155(3937):453. https://www.nature.com/articles/155453a0.pdf
Tweedie MC (1957a) Statistical properties of inverse Gaussian distributions.I. Ann Math Stat 28(2):362–377
Tweedie MC (1957b) Statistical properties of inverse Gaussian distributions. II. Ann Math Stat 28(3):696–705
Watson GN (1944) A treatise on the theory of Bessel functions, 2nd edn. (1995, Reprint). Cambridge University Press, Cambridge
Wishart J, Bartlett MS (1932) The distribution of second order moment statistics in a normal system. Math Proc Camb Philos Soc 28(4):455–459
Zwillinger D (2015) Table of integrals, series and products, 8th edn. Elsevier, Amsterdam. Translated from Russian by Scripta Technica Inc. The original Russian text by Gradshteyn IS, Ryzhik IM (1962) Fiziko-Matematicheskoy Literatury, Moscow
Funding
The author declares that no funds, grants, or other support were received during the preparation of this manuscript. The author has no relevant financial or non-financial interests to disclose.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have not disclosed any competing interests.
Additional information
Communicated by Shuichi Kawano.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Ogasawara, H. A didactic historical review of the distributions using the Bessel function: some extensions with unification. Behaviormetrika 51, 645–680 (2024). https://doi.org/10.1007/s41237-024-00229-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41237-024-00229-2