Hindawi Publishing Corporation Journal of Probability and Statistics Volume 2013, Article ID 432642, 15 pages http://dx.doi.org/10.1155/2013/432642 Research Article On the Generalized Lognormal Distribution Thomas L. Toulias and Christos P. Kitsos Technological Educational Institute of Athens, Department of Mathematics, Ag. Spyridonos & Palikaridi Street, 12210 Egaleo, Athens, Greece Correspondence should be addressed to Thomas L. Toulias; t.toulias@teiath.gr Received 11 April 2013; Revised 4 June 2013; Accepted 5 June 2013 Academic Editor: Mohammad Fraiwan Al-Saleh Copyright © 2013 T. L. Toulias and C. P. Kitsos. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This paper introduces, investigates, and discusses the πΎ-order generalized lognormal distribution (πΎ-GLD). Under certain values of the extra shape parameter πΎ, the usual lognormal, log-Laplace, and log-uniform distribution, are obtained, as well as the degenerate Dirac distribution. The shape of all the members of the πΎ-GLD family is extensively discussed. The cumulative distribution function is evaluated through the generalized error function, while series expansion forms are derived. Moreover, the moments for the πΎGLD are also studied. 1. Introduction Lognormal distribution has been widely applied in many different aspects of life sciences, including biology, ecology, geology, and meteorology as well as in economics, finance, and risk analysis, see [1]. Also, it plays an important role in Astrophysics and Cosmology; see [2–4] among others, while for Lognormal expansions see [5]. In principle, the lognormal distribution is defined as the distribution of a random variable whose logarithm is normally distributed, and usually it is formulated with two parameters. Furthermore, log-uniform and log-laplace distributions can be similarly defined with applications in finance; see [6, 7]. Specifically, the power-tail phenomenon of the Log-Laplace distributions [8] attracts attention quite often in environmental sciences, physics, economics, and finance as well as in longitudinal studies [9]. Recently, Log-Laplace distributions have been proposed for modeling growth rates as stock prices [10] and currency exchange rates [7]. In this paper a generalized form of Lognormal distribution is introduced, involving a third shape parameter. With this generalization, a family of distributions is emerged, which combines theoretically all the properties of Lognormal, Log-Uniform, and Log-Laplace distributions, depending on the value of this third parameter. The generalized πΎ-order Lognormal distribution (πΎ-GLD) is the distribution of a random vector whose logarithm follows the πΎ-order normal distribution, an exponential power generalization of the usual normal distribution, introduced by [11, 12]. This family of π-dimensional generalized normal distributions, denoted by NππΎ (π, Σ), is equipped with an extra shape parameter πΎ and constructed to play the role of normal distribution for the generalized Fisher’s entropy type of information; see also [13, 14]. The density function ππ of a π-variate, πΎ-order, normally distributed random variable π ∼ NππΎ (π, Σ), with location vector π ∈ Rπ , positive definite scale matrix Σ ∈ Rπ×π , and shape parameter πΎ ∈ R \ [0, 1], is given by [11]. ππ (π¦) = ππ (π¦; π, Σ, πΎ) = πΆπΎπ |det Σ|−1/2 exp {− πΎ−1 πΎ/2(πΎ−1) }, ππ (π¦) πΎ (1) π¦ ∈ Rπ , where ππ is the quadratic form ππ (π¦) = (π¦ − π)T Σ−1 (π¦ − π), π = (π, Σ), while πΆπΎπ being the normalizing factor πΆπΎπ = π−π/2 Γ (π/2 + 1) πΎ − 1 π((πΎ−1)/πΎ)−1 . ( ) πΎ Γ (π ((πΎ − 1) /πΎ)) (2) 2 Journal of Probability and Statistics From (1), notice that the second-ordered normal is the π known multivariate normal distribution; that is, N2 (π, Σ) = π N (π, Σ); see also [13, 15]. In Section 2, a generalized form of the Lognormal distribution is introduced, which is derived from the univariate family of NπΎ (π, π2 ) = N1πΎ (π, π2 ) distributions, denoted by LNπΎ (π, π), and includes the Log-Laplace distribution as well as the Log-Uniform distribution. The shape of the LNπΎ (π, π) members is extensively discussed while it is connected to the tailing behavior of LNπΎ through the study of the c.d.f. In Section 3, an investigation of the moments of the generalized Lognormal distribution, as well as the special cases of LogUniform and Log-Laplace distributions, is presented. The generalized error function, that is briefly provided here, plays an important role in the development of LNπΎ (π, π); see Section 2. The generalized error function denoted by Erfπ and the generalized complementary error function Erfcπ = 1 − Erfπ , π ≥ 0 [16], are defined, respectively, as Erfπ (π₯) := Γ (π + 1) π₯ −π‘π ∫ π ππ‘, √π 0 π₯ ∈ R. (3) The generalized error function can be expressed (changing to π‘π variable), through the lower incomplete gamma function πΎ(π, π₯) or the upper (complementary) incomplete gamma function Γ(π, π₯) = Γ(π) − πΎ(π, π₯), in the form Erfπ (π₯) = 1 Γ (π) Γ (π) 1 π 1 πΎ( ,π₯ ) = [Γ ( ) − Γ ( , π₯π )] , √π √π π π π π₯ ∈ R; (4) see [16]. Moreover, adopting the series expansion form of the lower incomplete gamma function, π₯ ∞ (−1) π₯π+π , π! + π) (π π=0 πΎ (π, π₯) := ∫ π‘π−1 π−π‘ ππ‘ = ∑ 0 π π₯, π ∈ R+ , (5) a series expansion form of the generalized error function is extracted: Erfπ (π₯) = Γ (π + 1) ∞ (−1)π π₯ππ+1 , ∑ √π π=0 π! (ππ + 1) π₯, π ∈ R+ . (6) Notice that, Erf2 is the known error function erf, that is, Erf2 (π₯) = erf(π₯), while Erf0 is the function of a straight line through the origin with slope (π√π)−1 . Applying π = 2, the known incomplete gamma function identities such as πΎ(1/2, π₯) = √π erf √π₯ and Γ(1/2, π₯) = √π(1 − erf √π₯) = √π erfc √π₯, π₯ ≥ 0 are obtained. Moreover, Erfπ 0 = 0 for all π ∈ R+ and lim Erfπ π₯ = ± π₯ → ±∞ 1 1 Γ (π) Γ ( ) , √π π as πΎ(π, π₯) → Γ(π) when π₯ → +∞. π ∈ R+ , (7) 2. The πΎ-Order Lognormal Distribution The generalized univariate Lognormal distribution is defined, through the univariate generalized πΎ-order normal distribution, as follows. Definition 1. When the logarithm of a random variable π follows the univariate πΎ-order normal distribution, that is, log π ∼ NπΎ (π, π2 ), then π is said to follow the generalized Lognormal distribution, denoted by LNπΎ (π, π); that is, π ∼ LNπΎ (π, π). The LNπΎ (π, π) is referred to as the (generalized) πΎ-order Lognormal distribution (πΎ-GLD). Like the usual Lognormal distribution, the parameter π ∈ R is considered to be log-scaled, while the non log-scaled π (i.e. ππ when π is assumed log-scaled) is referred to as the location parameter of LNπΎ (π, π). Hence, if π ∼ LNπΎ (π, π), then log π is a πΎ-order normally distributed variable; that is, log π ∼ NπΎ (π, π2 ). Therefore, the location parameter π ∈ R of π is in fact the mean of π’s natural logarithm, that is, E[log π] = π, while Var [log π] = ( πΎ 2((πΎ−1)/πΎ) Γ (3 ((πΎ − 1) /πΎ)) 2 ) π, πΎ−1 Γ (((πΎ − 1) /πΎ)) Kurt [log π] = Γ (πΎ − 1/πΎ) Γ (5 (πΎ − 1/πΎ)) ; Γ2 (3 ((πΎ − 1)/πΎ)) (8) (9) see [15] for details on NπΎ . Let π := log π ∼ NπΎ (π, π2 ) with density function as in (1) and π = π(π) = ππ . Then, the density function ππ of π ∼ LNπΎ (π, π) can be written, through (1), as σ΅¨σ΅¨ π σ΅¨σ΅¨ σ΅¨ σ΅¨ ππ (π₯) = ππ (π₯; π, π, πΎ) = ππ (π−1 (π₯)) σ΅¨σ΅¨σ΅¨ π−1 (π₯)σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ ππ₯ σ΅¨σ΅¨ = ππ (log π₯) = 1 π₯ (10) σ΅¨πΎ/(πΎ−1) σ΅¨ exp {− ((πΎ − 1) /πΎ) σ΅¨σ΅¨σ΅¨(log π₯ − π) /πσ΅¨σ΅¨σ΅¨ } 2π ((πΎ − 1)/πΎ) 1/πΎ Γ ((πΎ − 1) /πΎ) π₯ . The probability density function ππ , as in (10), is defined in R∗+ = R+ \0; that is, LNπΎ (π, π) has zero threshold. Therefore, the following definition extends Definition 1. Definition 2. When the logarithm of a random variable π + π follows the univariate πΎ-order normal distribution, that is, log(π + π) ∼ NπΎ (π, π2 ), then π is said to follow the generalized Lognormal distribution with threshold π ∈ R; that is, π ∼ LNπΎ (π, π; π). It is clear that when π ∼ LNπΎ (π, π; π, ), log(π − π) is a πΎ-order normally distributed variable, that is, log(π − π) ∼ NπΎ (π, π2 ), and thus, π is the mean of (π − π)’s natural logarithm while Var[log π] is the same as in (8). Let π = log(π + π) ∼ NπΎ (π, π2 ). The density function of π = ππ − π ∼ LNπΎ (π, π; π) is given by ππ (π₯) = ππ(π₯ − π), π₯ > 0. Journal of Probability and Statistics 3 Let π§ = (log(π₯ − π) − π)/π. Then, the limiting threshold density value of ππ (π₯) with π₯ → π+ implies that lim ππ (π₯) π₯ → π+ = π−1 πΆπΎ1 lim exp {−π§ (π + π§ → −∞ π πΎ − 1 1/(πΎ−1) )} (11) − |π§| π§ πΎ = π−1 πΆπΎ1 π(sgn πΎ)(−∞) , (ii) The “normal” case πΎ = 2: it is clear that LN2 (π, π) = LN(π, π), as ππ2 coincides with the Lognormal density function, and therefore the second-ordered Lognormal distribution is in fact the usual Lognormal distribution. (iii) The limiting case πΎ = ±∞: we have LN±∞ (π, π) := limπΎ → ±∞ LNπΎ (π, π) with ππ±∞ (π₯) := lim πππΎ (π₯) = πΎ → ±∞ and therefore σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨ 1 σ΅¨ σ΅¨σ΅¨ exp {− σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨} σ΅¨ σ΅¨σ΅¨ 2ππ₯ π σ΅¨ −π/π 0, πΎ ∈ (1, +∞) , lim+ ππ (π₯) = { π₯→π +∞, πΎ ∈ (−∞, 0) ; π { (1−π)/π { , π₯ ∈ (0, ππ ] , { { 2π π₯ = { π/π { {π { π₯−(π+1)/π , π₯ > ππ , { 2π (12) (15) that is, the ππ ’s defining domain, for the positive-ordered Lognormal random variable π, can be extended to include threshold point π by letting ππ (π) = 0. The generalized Lognormal family of distributions LNπΎ is a wide range family bridging the Log-Uniform LU, Lognormal LN, and Log-Laplace LL distributions, as well as the degenerate Dirac D distributions. We have the following. which coincides with the density function of the known Log-Laplace distribution (symmetric logexponential distribution) LL(πσΈ , πΌ, π½) with πσΈ = ππ and πΌ = π½ = 1/π; see [8]. Therefore, the infiniteordered log-normal distribution is in fact the LogLaplace distribution, with threshold density Theorem 3. The generalized Lognormal distribution LNπΎ (π, π), for order values of πΎ = 0, 1, 2, ±∞, is reduced to (16) D (ππ ) , { { π−π π+π { { {LU (π , π ) , LNπΎ (π, π) = {LN (π, π) , { { { 1 1 { LL (ππ , , ) , { π π πΎ = 0, πΎ = 1, πΎ = 2, (13) (i) The limiting case πΎ = 1: let π₯ ∈ R∗+ such that | log π₯ − π| ≤ 1. Using the gamma function additive identity Γ(π§ + 1) = π§Γ(π§), π§ ∈ R+ , in (10), we have LN1 (π, π) = limπΎ → 1+ LNπΎ (π, π) with ππ1 (π₯) := lim+ πππΎ (π₯) πΎ→1 π₯ ∈ [ππ−π , ππ+π ] , For the purposes of statistical application, the LogLaplace moments are not the same as the model parameters; that is, although ππ = π, ππ = √2π. (iv) The limiting case πΎ = 0: we have πΎ = ±∞. Proof. From definition (1) of NπΎ the order πΎ value is a real number outside the closed interval [0, 1]. Let ππΎ ∼ LNπΎ (π, π) with density function πππΎ as in (10). We consider the following cases. { 1 , = { 2ππ₯ {0, 0, π < 1, { { ππ±∞ (0) = lim+ ππ±∞ (π₯) = {1, π = 1, { π₯→0 {+∞, π > 1. (14) π₯ ∈ (−∞, ππ−π ) ∪ (ππ+π , +∞) , which is the density function of the Log-Uniform distribution LU(π, π), 0 < π < π, with π = ππ−π and π = ππ+π ; that is, π = (1/2) log(ππ) and π = (1/2) log(π/π). Therefore, first-ordered Lognormal distribution is in fact the Log-Uniform distribution, with vanishing threshold density, ππ1 (0) = limπ₯ → 0+ ππ1 (π₯) = 0. For the purposes of statistical application the LogUniform moments are not the same as the model parameters; that is, although ππ = π, ππ = π/√3. lim πππΎ (π₯) = πΎ → 0− lim πππΎ (π₯) , π:=[(πΎ−1)/πΎ] → ∞ π₯ ∈ R∗+ , (17) where [π] is the integer value of π ∈ R. For the value π₯ = ππ , the p.d.f. as in (10) implies lim− πππΎ (ππ ) = πΎ→0 ππ 1 ( lim ) ⋅ π0 = +∞, 2πππ π → ∞ π! (18) through Stirling’s asymptotic formula π! ≈ √2ππ(π/ π)π as π → ∞. Assuming now π₯ =ΜΈ ππ , (10), through (18), implies σ΅¨ σ΅¨σ΅¨ σ΅¨log π₯ − πσ΅¨σ΅¨σ΅¨ 1 ⋅ 0 ⋅ = 0; ππ0 (π₯) := lim− πππΎ (π₯) = σ΅¨ 2 πΎ→0 π 2√2ππ π₯ (19) that is, LN0 (π, π) := limπΎ → 0− LNπΎ (π, π) = D(ππ ) as ππ0 coincides with the Dirac density function, with the (non-log-scaled) location parameter ππ of LN0 (π, π) being the singular (infinity) point. Therefore, the zero-ordered Lognormal distribution LN0 is in fact the degenerate Dirac distribution with pole at the location parameter of LNπΎ → 0− (with vanishing threshold density ππ0 (0) = limπ₯ → 0+ ππ0 (π₯) = 0). From the above limiting cases (i), (iii), and (iv), the defining domain R \ [0, 1] of the order values πΎ, used in (1), is safely 4 Journal of Probability and Statistics extended to include the values πΎ = 0, 1, ±∞; that is, πΎ can now be defined outside the open interval (0, 1). Eventually, the family of the πΎ-order normals can include the LogUniform, Lognormal, Log-Laplace, and the degenerate Dirac distributions as (13) holds. From Theorem 3, (12), and (15), the domain of the density functions πππΎ (π₯), π₯ > 0, can also be extended to include the threshold point π₯ = 0 by setting πππΎ (0) := 0 for all nonnegative-ordered Lognormals, that is, for all πΎ ∈ 0 ∪ [1, +∞), while for the Log-Laplace case of πΎ = +∞ with π = 1 by setting ππ+∞ (0) := (1/2)π−π . From the fact that N0 (π, ⋅) = D(π), see [15], one can say that the degenerate log-Dirac distribution, say LD(π), equals LN0 (π, ⋅), and hence, through Theorem 3, we can write LD(π) = D(ππ ). Proposition 4. The mode of the positive-ordered Lognormal random variable ππΎ ∼ LNπΎ (π, π), π < ππ πΎ ∈ (1, +∞), is given by πΎ Mode ππΎ = ππ−π , (20) with corresponding maximum density value, max πππΎ = πππΎ (Mode ππΎ ) = exp {(ππΎ ) /πΎ − π} 1/πΎ 2π((πΎ − 1)/πΎ) Γ ((πΎ − 1) /πΎ) . (21) Proof. Recall the density function of ππΎ ∼ LNπΎ (π, π) as in (10), and let π = Mode ππΎ > 0. Then it holds that (π/ππ₯) πππΎ (π; π, π, πΎ) = 0; that is, 1/(πΎ−1) π σ΅¨σ΅¨ π 1σ΅¨ σ΅¨ σ΅¨ ( σ΅¨σ΅¨σ΅¨log π − πσ΅¨σ΅¨σ΅¨) σ΅¨σ΅¨log π₯ − πσ΅¨σ΅¨σ΅¨π₯=π = − . π ππ₯ π From (π/ππ₯)|π₯| = sgn π₯, π₯ ∈ R, we have πΎ π = ππ−π , (22) provided that π₯ < π . Otherwise, (23) holds trivially, as (22) implies π = 0; that is, π = ππ . Moreover, (π/ππ₯)πππΎ (π₯) > 0 when σ΅¨1/(πΎ−1) σ΅¨ 1 + sgn (log π₯ − π) ππΎ/(1−πΎ) σ΅¨σ΅¨σ΅¨log π₯ − πσ΅¨σ΅¨σ΅¨ > 0, π₯ > 0, (24) and thus, πππΎ is a strictly ascending density function on πΎ (0, ππ−π ) when πΎ > 1 and also on (ππ−π , ππ ) when πΎ < 0. Similarly, with (π/ππ₯)πππΎ (π₯) < 0, ππ is a strictly descending πΎ density function on (ππ−π , +∞) when πΎ > 1 and also on πΎ (0, ππ−π ) ∪ (ππ , +∞) when πΎ < 0. Specifically, for πΎ < 0, the π point π is a nonsmooth point of ππ, as lim π π₯ → ππ ππ₯ πππΎ (π₯) = − πΆπΎ1 (πππ )2 Proposition 5. The global mode point of the negative-ordered Lognormal random variable ππΎ ∼ LNπΎ (π, π), πΎ ∈ (−∞, 0), is (in limit) the threshold 0 which is an infinite (probability) density point. Moreover, the location parameter (i.e., ππ ) of LNπΎ (π, π) is a nonsmooth (local) mode point for all ππΎ<0 that corresponds to locally maximum density πππΎ (ππ ) = 1 1/πΎ 2π((πΎ − 1)/πΎ) [π + limπ sgn (log π₯ − π) π₯→π σ΅¨σ΅¨ σ΅¨σ΅¨1/(1−πΎ) π σ΅¨ σ΅¨σ΅¨ ] = +∞. × σ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨σ΅¨ (25) Γ ((πΎ − 1) /πΎ) ππ , (26) πΎ while ππ−π is a local minimum (probability) density point with πΎ corresponding locally minimum density πππΎ (ππ−π ). Proof. The negative-ordered Lognormals are formed by density functions admitting threshold 0 (in limit) for their global mode point (of infinite density), as shown in (12). Moreover, from the previously discussed monotonicity of πππΎ in Proposition 4, all the negative-ordered Lognormals admit also ππ as a local nonsmooth mode point and exp{π − ππΎ } as a local minimum density point, with densities as in (26) πΎ and πππΎ (ππ−π ), respectively; see Figures 1(b1), 1(b2), and 1(b3). Furthermore, Proposition 5 holds (in limit) for random variables π1 and π±∞ which provide Log-Uniform and LogLaplace distributions, respectively. Indeed, for given π, π ∈ R∗+ , π1 ∼ LU(π, π) = LN1 (π, π) with π = (1/2) log(ππ) and π = (1/2) log(π/π), we get, through (20) and (21), that Mode π1 := Mode ππΎ → 1+ = ππ−π = π with corresponding maximum density (i.e., the maximum value of the density function), (23) π πΎ Therefore, the positive-ordered Lognormals are formed by a unimodal density function with mode as in (20) and corresponding maximum density as in (21); see Figures 1(a1), 1(a2), and 1(a3). (πΎ−1)/πΎ max ππ1 = ππ1 (π) = ((πΎ − 1) /πΎ) ππ−π lim+ 2π πΎ → 1 Γ (((πΎ − 1) /πΎ) + 1) 1 . = π log (π/π) (27) Moreover, the nonzero minimum density (i.e., the minimum, but not zero, value of the density function) is obtained at π₯ = π with min ππ1 = ππ1 (π) = 1/2ππ = 1/(π log(π/π)). These results are in accordance with the Log-Uniform density function in (14). For π±∞ ∼ LN±∞ (log π, 1/π) = LL(π, π, π), we evaluate, through (20) and (21), that Modeπ+∞ 0, { { { { { {π = {π { { { { {π, { π < 1, π = 1, (28) π > 1, with the corresponding maximum density value being infinite; that is, max πππΎ = πππΎ (0) = +∞, provided π < 1, and Journal of Probability and Statistics e−2/3 e2/3 1.5 fXπΎ ∼ π©πΎ<0 (0, 2/3) 1.5 fXπΎ ∼ π©πΎ≥1 (0, 2/3) 5 1 0.5 0 1 0 2 1 0.5 0 3 1 0 2 x X1 ∼ βπ°(e−2/3 , e2/3 ) X1.1,1.2,...,1.9 X2 ∼ βπ©(0, 2/3) X3,4,...,10 X+∞ ∼ ββ(1, 3/2, 3/2) X−∞ ∼ ββ(1, 3/2, 3/2) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 (a1) 1 1.5 fXπΎ ∼ π©πΎ<0 (0, 1) fXπΎ ∼ π©πΎ≥1 (0, 1) (b1) e e−1 1.5 1 0.5 0 1 0 2 3 1 0.5 0 4 0 1 1/e 2 X1 ∼ βπ°(e−1 , e1 ) X1.1,1.2,...,1.9 X2 ∼ βπ©(0, 1) X−∞ ∼ ββ(1, 1, 1) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 X3,4,...,10 X+∞ ∼ ββ(1, 1, 1) (a2) e 1.5 fXπΎ ∼ π©πΎ<0 (0, 3/2) fXπΎ ∼ π©πΎ≥1 (0, 3/2) (b2) −3/2 1.5 1 0.5 0 0 3 x x 2 3 x 1 x X1 ∼ βπ°(e−3/2 , e3/2 ) X1.1,1.2,...,1.9 X2 ∼ βπ©(0, 3/2) X3,4,...,10 X+∞ ∼ ββ(1, 2/3, 2/3) (a3) 2 1 0.5 0 0 1 x 2 3 X−∞ ∼ ββ(1, 2/3, 2/3) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 (b3) Figure 1: Graphs of the density functions πππΎ , ππΎ ∼ LNπΎ (0, π), for π = 2/3, 1, 3/2, and various positive (left subfigures) and negative (right subfigures) πΎ values. 6 Journal of Probability and Statistics max ππ+∞ = π/(2π), provided π ≥ 1. The same result can also be derived through (26) as πΎ → −∞. These results are in accordance with the Log-Laplace density function in (15), although for π = 1, Modeπ±∞ can be defined, through (15), for any value inside the interval (0, π]. The above discussion on behavior of the modes with respect to shape parameter πΎ is formed in the following propositions. Proof. Assume now that πΎ < 0. From (29) we have (π/ππΎ) πΎ πΎ (ππ−π ) < 0 when π > 1 and (π/ππΎ)(ππ−π ) > 0 when π < 1. πΎ Therefore, the local minimum density point ππ−π (see πΎ Proposition 5) for π > 1 is decreasing from ππ−π |πΎ → −∞ = ππ Proposition 6. Consider the positive-ordered Lognormal family of distributions LNπΎ (π, π) with fixed parameters π, π and πΎ ≥ 1. When πΎ rises, that is, when one moves from Log-Uniform to Log-Laplace distribution inside the LNπΎ family, the mode points of LNπΎ are It is easy to see that for the Log-Laplace case LL(π, π, π), πΎ the local minimum density point ππ−π of ππΎ<0 with π > 1 coincides (in limit) with the local nonsmooth mode point ππ of ππΎ ; see Figure 1(b3). Also, notice that the local minimum (i) strictly increasing from ππ−π (Log-Uniform case) to ππ (Log-Laplace case) provided that π < 1 (with their corresponding maximum density values moving smoothly from (1/2π)ππ−π to +∞), (ii) fixed at ππ−1 for all LNπΎ≥1 (π, π = 1) (with the corresponding maximum density values moving smoothly from (1/2)π1−π to (1/2)π−π ), (iii) strictly decreasing from ππ−π (Log-Uniform case) to threshold 0 (Log-Laplace case) provided that π > 1 (with their corresponding maximum density values moving smoothly from (1/2π)ππ−π to (1/2π)π−π ). Proof. Let ππΎ ∼ LNπΎ (π, π), Mode ππΎ is a smooth monotonous function of πΎ ∈ (−∞, 0) ∪ (1, +∞) for positive-and negative-ordered ππΎ , as πΎ π Mode ππΎ = −ππΎ log (π) ππ−π . ππΎ (29) For π±∞ ∼ LN±∞ (π, π) we evaluate, through (20) and (21), that Mode π+∞ ππ , { { π−1 = {π , { {0, π < 1, π = 1, π > 1, (30) with the corresponding maximum density value being infinite; that is, max πππΎ = πππΎ (0) = +∞, provided π > 1, and max ππ+∞ = 1/(2πππ ), provided π ≤ 1. Assume that πΎ ≥ 1. Considering (27), (30) with (29) and Proposition 4, the results for the positive-ordered Lognormals hold. Proposition 7. For the negative-ordered Lognormal family of distributions LNπΎ (π, π) with πΎ < 0, when πΎ rises, that is, when one moves from Log-Laplace to degenerate Dirac distribution inside the LNπΎ family, the local minimum (probability) density points of LNπΎ are (i) strictly increasing from threshold 0 (Log-Laplace case) to ππ−1 (Dirac case) provided that π < 1, (ii) fixed at ππ−1 for all LNπΎ (π, π = 1), (iii) strictly decreasing from ππ (Log-Laplace case) to ππ−1 (Dirac case) provided that π > 1. πΎ to Mode π0 = ππ−1 through (20). When π = 1, ππ−π = πΎ ππ−1 for all πΎ < 0, while for π < 1, ππ−π increases from πΎ ππ−π |πΎ → −∞ = 0 to Mode π0 = ππ−1 through (20). πΎ density point ππ−π , πΎ < 0, for the Dirac case D(ππ ), is the limiting point ππ−1 although the (probability) density in D(ππ ) case vanishes everywhere except at the infinite pole ππ . Figure 1 illustrates the probability density functions πππΎ curves for scale parameters π = 2/3, 1, 3/2 of the positiveordered lognormally distributed ππΎ ∼ LNπΎ≥1 (0, π) in Figures 1(a1)–1(a3), respectively, while the p.d.f. of negativeordered lognormally distributed ππΎ ∼ LNπΎ<0 (0, π) are depicted in Figures 1(b1)–1(b3), respectively. Moreover, the πΎ density points ππ−π on πππΎ are also depicted (small circles over p.d.f. curves with their corresponding ticks on π₯-axis). According to Proposition 7, in Figures 1(a1)–1(a3), that is, for positive-ordered ππΎ≥1 , these density points represent the mode points on πππΎ while in Figures 1(b1)–1(b3), that is, for negative-ordered ππΎ<0 , represent the local minimum density points on πππΎ curves. For the evaluation of the cumulative distribution function (c.d.f.) of the generalized Lognormal distribution, the following theorem is stated and proved. Theorem 8. The c.d.f. πΉππΎ of a πΎ-order Lognormal random variable ππΎ ∼ LNπΎ (π, π) is given by πΉππΎ (π₯) = √π 1 + 2 2Γ ((πΎ − 1) /πΎ) Γ (πΎ/ (πΎ − 1)) × Erf πΎ/(πΎ−1) {( =1− (31) πΎ − 1 (πΎ−1)/πΎ log π₯ − π ) } πΎ π πΎ − 1 πΎ − 1 log π₯ − π πΎ/(πΎ−1) 1 ), Γ( , ( ) πΎ πΎ π 2Γ ((πΎ − 1) /πΎ) π₯ ∈ R∗+ . (32) Proof. From density function πππΎ , as in (10), we have π₯ πΉππΎ (π₯) = πΉππΎ (π₯; π, π, πΎ) = ∫ πππΎ (π‘) ππ‘ 0 π₯ = π−1 πΆπΎ1 ∫ π‘−1 exp {− 0 πΎ − 1 σ΅¨σ΅¨σ΅¨σ΅¨ log π‘ − π σ΅¨σ΅¨σ΅¨σ΅¨πΎ/(πΎ−1) } ππ‘. σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ πΎ σ΅¨σ΅¨σ΅¨ π (33) Journal of Probability and Statistics 7 Applying the transformation π€ = (log π‘ − π)/π, π‘ > 0, the above c.d.f. is reduced to πΉππΎ (π₯) = πΆπΎ1 (log π₯−π)/π ∫ −∞ = ΦππΎ ( πΎ − 1 πΎ/(πΎ−1) exp {− } ππ€ |π€| πΎ log π₯ − π ), π πΉππΎ (π₯) = π§ −∞ exp {− = ΦππΎ (0) + πΆπΎ1 πΎ − 1 πΎ/(πΎ−1) } ππ€ |π€| πΎ π§ πΎ − 1 πΎ/(πΎ−1) } ππ€, ∫ exp {− |π€| πΎ 0 (35) Corollary 9. The c.d.f. πΉππΎ can be expressed in the series expansion form (πΎ−1)/πΎ πΉππΎ (π₯) = π=0 σ΅¨ σ΅¨πΎ/(πΎ−1) π§ { σ΅¨σ΅¨σ΅¨ πΎ − 1 (πΎ−1)/πΎ σ΅¨σ΅¨σ΅¨ } 1 = + πΆπΎ1 ∫ exp {−σ΅¨σ΅¨σ΅¨( π€σ΅¨σ΅¨σ΅¨ ) } ππ€, σ΅¨σ΅¨ πΎ σ΅¨σ΅¨ 2 0 σ΅¨ σ΅¨ { } (36) πΎ (πΎ−1)/πΎ 1 + πΆπΎ1 ( ) 2 πΎ−1 ×∫ 0 (37) exp {−π’πΎ/(πΎ−1) } ππ’. Substituting the normalizing factor, as in (2), and using (3), we obtain √π 1 + 2 2Γ (((πΎ − 1) /πΎ) + 1) Γ ((2πΎ − 1) / (πΎ − 1)) × ErfπΎ/(πΎ−1) {( πΎ − 1 (πΎ−1)/πΎ π§} , ) πΎ σ΅¨πΎ/(πΎ−1) σ΅¨ (((1 − πΎ)/πΎ) σ΅¨σ΅¨σ΅¨(log π₯ − π)/πσ΅¨σ΅¨σ΅¨ ) π π! [(π + 1) πΎ − 1] , (41) π₯ ∈ R∗+ . Proof. Substituting the series expansion form of (6) into (39) and expressing the infinite series using the integer powers π, the series expansion as in (41) is derived. Corollary 10. For the negative-ordered lognormally distributed random variable ππΎ with πΎ = 1/(1 − π) ∈ R− , π ∈ N, π ≥ 2, the finite expansion is obtained as and thus ΦππΎ (π§) = ×∑ πΎ − 1 πΎ/(πΎ−1) 1 } ππ€ + πΆπΎ1 ∫ exp {− |π€| 2 πΎ 0 ((πΎ−1)/πΎ)(πΎ−1)/πΎ π§ ((πΎ − 1)/πΎ) log π₯ − π 1 ( + ) 2 (2/πΎ) Γ ((πΎ − 1) /πΎ) π ∞ π§ ΦππΎ (π§) = (40) As the generalized error function Erfπ is defined in (4), through the upper incomplete gamma function Γ(π−1 , ⋅), series expansions can be used for a more “numericaloriented” form of (4). Here some expansions of the c.d.f. of the generalized Lognormal distribution are presented. and as πππΎ is a symmetric density function around zero, we have ΦππΎ (π§) = 1 + sgn (log π₯ − π) sgn (log π₯ − π) − 2 2Γ ((πΎ − 1) /πΎ) πΎ − 1 πΎ − 1 σ΅¨σ΅¨σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨σ΅¨σ΅¨πΎ/(πΎ−1) × Γ( ). , σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ πΎ πΎ σ΅¨σ΅¨σ΅¨ π (34) where ΦππΎ is the c.d.f. of the standardized πΎ-order normal distribution ππΎ = (1/π)(log ππΎ − π) ∼ NπΎ (0, 1). Moreover, ΦππΎ can be expressed in terms of the generalized error function. In particular, ΦππΎ (π§) = πΆπΎ1 ∫ while applying (4) into (39) it is obtained that π§ ∈ R, πΉππΎ (π₯) = sgn (log π₯ − π) 1 1 + sgn (log π₯ − π) − σ΅¨1/π σ΅¨ 2 2 2 exp {πσ΅¨σ΅¨σ΅¨(log π₯ − π)/πσ΅¨σ΅¨σ΅¨ } ππ σ΅¨σ΅¨σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨σ΅¨σ΅¨π/π σ΅¨ σ΅¨σ΅¨ . σ΅¨σ΅¨ π! σ΅¨σ΅¨σ΅¨ π π=0 π−1 ×∑ (42) Proof. Applying the following finite expansion form of the upper incomplete gamma function, π−1 (38) π₯π , π π=0 Γ (π, π₯) = (π − 1)!π−π₯ ∑ π₯ ∈ R, π ∈ N∗ = N \ 0, (43) and finally, through (34), we derive (31), which forms (32) through (4). into (40), we readily get (42). It is essential for numeric calculations to express (31) considering positive arguments for Erf. Indeed, through (37), we have Example 11. For the (−1)-ordered lognormally distributed π−1 (i.e., for π = 2), we have πΉππΎ (π₯) = sgn (log π₯ − π) √π 1 + 2 2Γ ((πΎ − 1) /πΎ) Γ (πΎ/ (πΎ − 1)) πΎ − 1 (πΎ−1)/πΎ σ΅¨σ΅¨σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨σ΅¨σ΅¨ × ErfπΎ/(πΎ−1) {( ) σ΅¨σ΅¨ σ΅¨σ΅¨} , σ΅¨σ΅¨ σ΅¨σ΅¨ πΎ π πΉπ−1 (π₯) = 1 1 + sgn (log π₯ − π) − sgn (log π₯ − π) 2 2 (39) × σ΅¨ σ΅¨ 1 + 2√σ΅¨σ΅¨σ΅¨(log π₯ − π) /πσ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ 2 exp {2√σ΅¨σ΅¨σ΅¨(log π₯ − π) /πσ΅¨σ΅¨σ΅¨} (44) , 8 Journal of Probability and Statistics while for the (−1/2)-ordered lognormally distributed π−1/2 (i.e., for π = 3), we have πΉπ−1/2 (π₯) = πΉππΎ (π₯) 1 1 + sgn (log π₯ − π) − sgn (log π₯ − π) 2 2 (πΎ−1)/πΎ 2 3 σ΅¨ σ΅¨ 1 + 3√σ΅¨σ΅¨σ΅¨(log π₯ − π) /πσ΅¨σ΅¨σ΅¨ + 9√((log π₯ − π)/π) . × σ΅¨ σ΅¨ 2 exp {3√3 σ΅¨σ΅¨σ΅¨(log π₯ − π) /πσ΅¨σ΅¨σ΅¨} 3 (45) Example 12. For the second-ordered Lognormal random variable π2 ∼ LN2 (π, π), we immediately derive, from (31), that πΉπ2 (π₯) = Φπ2 ( = log π₯ − π log π₯ − π 1 1 ) ) = + Erf2 ( √2π π 2 2 log π₯ − π 1 1 ); + erf ( √2π 2 2 ((πΎ − 1)/πΎ) log π₯ − π 1 ( + ) 2 2Γ (((πΎ − 1) /πΎ) + 1) π π σ΅¨πΎ/(πΎ−1) σ΅¨ ∞ (((1 − πΎ)/πΎ) σ΅¨σ΅¨(log π₯ − π)/πσ΅¨σ΅¨ ) ] σ΅¨ σ΅¨ [ × [1 + (πΎ − 1) ∑ ], π! [(π + 1) πΎ − 1] π=1 [ ] (49) and provided that (log π₯ − π)/π ≤ 1, we obtain πΎ→1 (46) Example 13. For the infinite-ordered Lognormal π±∞ ∼ LN±∞ (π, π), setting (πΎ − 1)/πΎ = 1, we obtain through (41) and the exponential series expansion that 1 log π₯ − π + (1 + 0) 2 2π log π₯ − π + π = , 2π (50) with πΉπ1 (ππ−π ) = 0 and πΉπ1 (ππ+π ) = 1. Therefore, 0, π₯ ∈ (0, ππ−π ) , { { { 1 πΉπ1 (π₯) = { (log π₯ − π + π) , π₯ ∈ [ππ−π , ππ+π ] , { { 2π π₯ ∈ (ππ+π , +∞) , {1, (51) coincides with the c.d.f. of the Log-Uniform distribution LU (π = ππ−π , π = ππ+π ) as in (15). This is expected as LN1 (π, π) = LU(ππ−π , ππ+π ); see Theorem 3. πΉπ±∞ (π₯) = log π₯ − π 1 1 + √πErf1 ( ) 2 2 π = ∞ σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨ π+1 1 1 1 σ΅¨ σ΅¨σ΅¨ (− σ΅¨σ΅¨σ΅¨ − sgn (log π₯ − π) ∑ σ΅¨σ΅¨) σ΅¨ σ΅¨σ΅¨ + 1)! 2 2 π (π σ΅¨ π=0 1 1 1 + sgn (log π₯ − π) − sgn (log π₯ − π) 2 2 2 σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ × exp {− σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨} , σ΅¨σ΅¨ σ΅¨σ΅¨ π = πΉπ1 (π₯) = lim+ πΉππΎ (π₯) = that is, the c.d.f. of the usual Lognormal is derived, as it is expected, due to LN2 = LN; see Theorem 3. = Example 14. Similarly, for the first-ordered random variable π1 ∼ LN1 (π, π), the expansion (41) can be written as (47) Table 1 provides the probability values ππΎ;1 = Pr{ππΎ ≤ π}, π = 1/2, 1, 2, . . . , 5, for various ππΎ ∼ LNπΎ (0, 1). Notice that ππΎ;1 = 1/2 for all πΎ values due to the fact that 1 = ππ |π=0 = Med ππΎ (see Theorem 8); that is, the point 1 coincides with the πΎ-invariant median of the LNπΎ (0, 1) family discussed previously. Moreover, the last two columns provide also the 1st and 3rd quartile points π1;πΎ and π3;πΎ of ππΎ ; that is, Pr{ππΎ ≤ ππ;πΎ } = π/4, π = 1, 3, for various πΎ values. These quartiles are evaluated using the quantile function QππΎ of r.v. ππΎ ; that is, QππΎ (π) := inf {π₯ ∈ R∗+ | πΉππΎ (π₯) ≥ π} and hence 1 π/π 1/π π { { 2 π π₯ , π₯ ∈ (0, π ] , πΉπ±∞ (π₯) = { ππ/π { 1 − 1/π , π₯ ∈ (ππ , +∞) , { 2π₯ = exp { sgn (2π − 1) π (48) which is the c.d.f. of the Log-Laplace distribution as in (15). This is expected as LN±∞ (π, π) = LL(ππ , 1/π, 1/π); see Theorem 3. It is interesting to mention here that the same result can also be derived through (42), as this finite expansion can be extended for π = 1, which provides (in limit) the c.d.f. of the infinite-ordered Lognormal distribution. ×[ (πΎ−1)/πΎ πΎ −1 πΎ − 1 }, Γ ( , |2π − 1|)] πΎ−1 πΎ π ∈ (0, 1) , (52) for π = 1/4, 3/4, that is derived through (40). The values of the inverse upper incomplete gamma function Γ−1 ((πΎ−1)/πΎ, ⋅) were numerically calculated. Figure 2 illustrates the c.d.f. πΉππΎ curves, as in (39), for certain r.v. ππΎ ∼ LNπΎ (0, π) and for scale parameters π = 2/3, Journal of Probability and Statistics 9 Table 1: Probability mass values ππΎ;π = Pr{ππΎ ≤ π}, π = 1/2, 1, 2, . . . , 5, and the 1st and 3rd quartiles π1;πΎ , π3;πΎ for various generalized lognormally distributed ππΎ ∼ LNπΎ (0, 1). πΎ −50 −10 −5 −2 −1 −1/2 −1/10 1 3/2 2 3 4 5 10 50 ±∞ ππΎ;1/2 0.2501 0.2505 0.2508 0.2515 0.2521 0.2524 0.2528 0.1534 0.2381 0.2441 0.2472 0.2481 0.2486 0.2494 0.2499 0.2500 ππΎ;1 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 0.5000 ππΎ;2 0.7499 0.7495 0.7492 0.7485 0.7479 0.7476 0.7482 0.8466 0.7619 0.7559 0.7528 0.7519 0.7514 0.7506 0.7501 0.7500 ππΎ;3 0.8326 0.8297 0.8264 0.8187 0.8097 0.7989 0.7757 1.0000 0.8848 0.8640 0.8505 0.8452 0.8425 0.8375 0.8341 0.8333 1, 3/2 in the 3 subfigures, respectively. Moreover, the 1st and 3rd quartile points QππΎ (1/4) and QππΎ (3/4) are also depicted (small circles over c.d.f. curves with their corresponding ticks on π₯-axis). ππΎ;4 0.8739 0.8698 0.8652 0.8539 0.8408 0.8248 0.7895 1.0000 0.9437 0.9172 0.8989 0.8917 0.8878 0.8810 0.8761 0.8750 ππΎ;5 0.8987 0.8940 0.8887 0.8756 0.8601 0.8410 0.7984 1.0000 0.9721 0.9462 0.9267 0.9188 0.9145 0.9068 0.9013 0.9000 Proof. Considering (39) and the fact that Erfπ 0 = 0, π ∈ R∗+ , it holds that Med ππΎ = πΉπ−1πΎ (1/2) = ππ . For the geometric mean (ππ )ππΎ = πE[log ππΎ ] , we readily obtain (ππ )ππΎ = ππ as log ππΎ ∼ NπΎ (π, π2 ) with E[ππΎ ] = π. A dispersion measure for the median is the so-called median absolute deviation or MAD, defined by MAD(ππΎ ) = Med | ππΎ − Med ππΎ |. For ππΎ ∼ LNπΎ (π, π), we have ππΎ − MedππΎ = ππΎ − ππ ∼ LNπΎ (π, π; −ππ ); that is, ππΎ − ππ follows the generalized Lognormal distribution with threshold −ππ . Furthermore, |π| is the “folded distribution” case of π := ππΎ − ππ which is distributed through p.d.f. of the form π|π| (π₯) = ππ (−π₯) + ππ (π₯) , π₯ ∈ R+ , π3;πΎ 2.0008 2.0038 2.0071 2.0145 2.0223 2.0303 2.0426 1.6487 1.9334 1.9630 1.9804 1.9867 1.9899 1.9954 1.9992 2.0000 Therefore, the c.d.f. of |π| is given by π₯ ππ 0 0 ππ πΉ|π| (π₯) = ∫ π|π| (π‘) ππ‘ = ∫ ππ (−π‘) ππ‘ + ∫ ππ (π‘) ππ‘ 0 π₯ π Theorem 15. The (non-log-scaled) location parameter π is in fact the geometric mean as well as the median for all generalized lognormally distributed ππΎ ∼ LNπΎ (π, π). Moreover, this median is also characterized by vanishing median absolute deviation. π1;πΎ 0.4998 0.4990 0.4982 0.4964 0.4945 0.4925 0.4986 0.6065 0.5172 0.5094 0.5049 0.5034 0.5025 0.5011 0.5002 0.5000 + ∫ ππ (π‘) ππ‘, ππ π₯ ∈ R+ . (55) Applying the transformation π€ = (1/π) [log(ππ − π‘) − π], π‘ < ππ , into the first integral of (55) and π§ = (1/π) [log(π‘+ππ )−π], π‘ > −ππ , into the other two integrals, we obtain 0 πΉ|π| (π₯) = πΆπΎ1 ∫ −∞ ×∫ exp {− (1/π) log 2 0 πΎ − 1 πΎ/(πΎ−1) } ππ€ + πΆπΎ1 |π€| πΎ exp {− π(π₯) + πΆπΎ1 ∫ (1/π) log 2 π (π₯) := π log (π₯ + π ) − π , π πΎ − 1 πΎ/(πΎ−1) } ππ§ |π§| πΎ exp {− πΎ − 1 πΎ/(πΎ−1) } ππ§, |π§| πΎ π₯ ∈ R+ , (56) (53) and hence where ππ is the p.d.f. of π. For example, see [17] on the folded normal distribution. However, the density function ππ is defined in (−ππ , +∞) due to threshold −ππ , while it vanishes elsewhere; that is, π (−π₯) + ππ (π₯) , 0 ≤ π₯ ≤ ππ , π|π| (π₯) = { π ππ (π₯) , π₯ > ππ . (54) πΉ|π| (π₯) = Φπ (0) + [Φπ ( log 2 ) − Φπ (0)] π + [Φπ (π (π₯)) − Φπ ( = Φπ ( log 2 )] π log (π₯ + ππ ) − π ), π (57) 10 Journal of Probability and Statistics e−2/3 e2/3 0.9 0.9 0.8 0.8 0.7 0.7 0.6 0.5 0.4 0.3 0.5 0.4 0.3 0.2 0.1 0.1 1 2 x X1 ∼ βπ°(e−2/3 , e2/3 ) X1.1,1.2,...,1.9 X2 ∼βπ©(0, 2/3) X3,4,...,10 X+∞ ∼ ββ(1, 3/2, 3/2) 0 3 e1 0.6 0.2 0 0 e−1 1 FXπΎ ∼ π©πΎ (0, 1) FXπΎ ∼ π©πΎ (0, 2/3) 1 1 0 x X1 ∼ βπ°(e−1 , e1 ) X1.1,1.2,...,1.9 X2 ∼βπ©(0, 1) X3,4,...,10 X+∞ ∼ ββ(1, 1, 1) X−∞ ∼ ββ(1, 3/2, 3/2) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 2 3 X−∞ ∼ ββ(1, 1, 1) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 (b) (a) e−3/2 1 0.9 FXπΎ ∼ π©πΎ (0, 3/2) 0.8 0.7 0.6 0.5 0.4 0.3 0.2 0.1 0 0 1 2 3 x X1 ∼ βπ°(e−3/2 , e3/2 ) X1.1,1.2,...,1.9 X2 ∼βπ©(0, 3/2) X3,4,...,10 X+∞ ∼ ββ(1, 2/3, 2/3) X−∞ ∼ ββ(1, 2/3, 2/3) X−10,−9,...,−1 X−0.9,−0.8,...,−0.1 (c) Figure 2: Graphs of the c.d.f. πΉππΎ , ππΎ ∼ LNπΎ (0, π), for π = 2/3, 1, 3/2, and various πΎ values. with Φπ being the c.d.f. of the standardized r.v. π ∼ NπΎ (0, 1). From (38) and the fact that Erfπ 0 = 0, π ∈ R∗+ , it is clear that −1 (57) implies MADππΎ = Med|ππΎ − ππ | = πΉ|π π (1/2) = 0, for πΎ −π | every ππΎ ∼ LNπΎ (π, π), and the theorem has been proved. 3. Moments of the πΎ-Order Lognormal Distribution For the evaluation of the moments of the generalized Lognormal distribution, the following holds. Journal of Probability and Statistics 11 (π‘) Proposition 16. The π‘th raw moment πΜπ of a generalized lognormally distributed random variable π ∼ LNπΎ (π, π) is given by × Γ ((2π + 1) π 2 2 ππ‘π ∞ (2π‘ π ) 1 = Γ (π + ) , ∑ √π π=0 (2π)! 2 (π‘) πΜπ ∞ πΎ 2π((πΎ−1)/πΎ) ππ‘π (π‘π)2π = ) ( ∑ Γ ((πΎ − 1) /πΎ) π=0 (2π)! πΎ − 1 (π‘) πΜπ Example 17. For the second-ordered lognormally distributed π ∼ LN2 (π, π), (58) implies (58) πΎ−1 ) πΎ and coincides with the moment generating function of the πΎ(π‘) order normally distributed log π; that is, πlog π (π‘) = πΜπ . R+ = πΎ − 1 σ΅¨σ΅¨σ΅¨σ΅¨ log π₯ − π σ΅¨σ΅¨σ΅¨σ΅¨πΎ/(πΎ−1) 1 1 } ππ₯, πΆπΎ ∫ π₯π‘−1 exp {− σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π πΎ σ΅¨σ΅¨σ΅¨ π R+ (59) (πΎ−1)/πΎ and applying the transformation π§ = ((πΎ − 1)/πΎ) (log π₯ − π), π₯ > 0, we get (π‘) πΜπ = πΆπΎ1 ( (1/π) πΎ (πΎ−1)/πΎ πΎ (πΎ−1)/πΎ ππ§} ) ) ∫ exp {π‘π + π( πΎ−1 πΎ−1 R 1 (2π)! Γ (π + ) = 2π √π, 2 2 π! (60) Through the exponential series expansion exp {π‘( πΎ ) πΎ−1 ∞ π((πΎ−1)/πΎ) π πΎ (π‘π) ( ) π! πΎ − 1 π=0 ππ§} = ∑ π§π , (61) we have ∞ ∞ 1 1 2 2 π (π‘π)2π π‘π = π ( π‘π) ∑ π π=0 2 π! π=0 π! 2 (π‘) πΜπ = ππ‘π ∑ π‘π+(1/2)(π‘π)2 =π π‘ ∈ R+ , which is the π‘th raw moment of the usual lognormally (1) distributed π ∼ LN(π, π), with mean ππ := πΜπ = E[π] = (π‘) 2 exp{π + (1/2)π }. This is true as πlog π (π‘) = πΜπ = exp{π‘π + (1/2)(π‘π)2 } is the known moment-generating function of the normally distributed log π ∼ N(π, π2 ). (π‘) Theorem 18. The πth central moment (about the mean) ππ of a generalized lognormally distributed random variable π ∼ LNπΎ (π, π) is given by (π) ππ = π π π πππ π ) ππ−π , ∑ ( ) (− π ππ Γ ((πΎ − 1) /πΎ) π=0 π π ∈ N, (67) πΎ 2π((πΎ−1)/πΎ) πΎ−1 (ππ)2 π ( Γ ((2 π + 1) ) ), πΎ−1 πΎ π=0 (2 π)! ∞ ππ = ∑ π ∈ N. (68) (π) Proof. From the definition of the πth central moment ππ we have ∞ 2π π πΎ (π‘π) ( ) πΎ − 1 (2π)! π=0 ππ‘π ∑ (69) 2π((πΎ−1)/πΎ) while using the binomial identity we get π π π (π) ππ = ∑ ( ) (−ππ ) ∫ π₯π−π ππ (π₯) ππ₯ π R+ π=0 × ∫ π§2π exp {−π§πΎ/(πΎ−1) } ππ§. R+ (62) Finally, substituting the normalizing factor πΆπΎ1 as in (2) into (62) and utilizing the known integral [16], R+ (66) R+ πΎ ) πΎ−1 ∫ π₯π π−ππ₯ ππ₯ = , π (πΎ−1)/πΎ π (65) (π) := E [(π − ππ ) ] = ∫ (π₯ − ππ ) ππ (π₯; π, π, πΎ) ππ₯, ππ it is obtained that (π‘) = 2πΆπΎ1 ( πΜπ π ∈ N, where × exp {−|π§|πΎ/(πΎ−1) } ππ§. (πΎ−1)/πΎ (64) and through the gamma function identity (π‘) , we Proof. From the definition of the π‘th raw moment πΜπ have (π‘) = E [ππ‘ ] = ∫ π₯π‘ ππ (π₯) ππ₯ πΜπ π‘ ∈ R+ , Γ ((π + 1) /π) , ππ(π+1)/π π, π, π ∈ R∗+ , (63) we obtain (58). Moreover, for π := log π ∼ NπΎ (π, π2 ) we have ππ (π‘) = (π‘) E[ππ‘π ] = E[ππ‘ ] = πΜπ , and the proposition has been proved. π (70) π π (π−π) . = ∑ ( ) (−ππ ) πΜπ π π=0 Applying Proposition 16, (70) implies that (π) ππ = π π π ∞ [(π − π) π]2 π πππ π ) ∑ ∑ ( ) (− π ππ π=0 (2 π)! Γ ((πΎ − 1) /πΎ) π=0 π ×( πΎ 2 π((πΎ−1)/πΎ) Γ ((2 π + 1) ((πΎ − 1) /πΎ)) , ) πΎ−1 (71) 12 Journal of Probability and Statistics while taking the summation index π until π − 1, we finally obtain (67), and the theorem has been proved. Example 19. Recall Example 17. Substituting (66) and the 2 mean ππ = ππ+(1/2)π into (70), the second-ordered lognormally distributed π ∼ LN2 (π, π) provides (π) ππ π 2 2 π = ∑ ( ) (−1)π πππ+(1/2)[π+(π−π) ]π , π π=0 π ∈ N, (72) 2 2 2 (2) := Var [π] = ππ = π2π+π (ππ − 1) , ππ (73) which are the πth central moment and the variance, respectively, of the usual lognormally distributed π ∼ LN(π, π). The same result can be derived directly through (67) for πΎ = 2 and the use of the known gamma function identity, as in (65). 2 := Var[π], Theorem 20. The mean ππ := E [π], variance ππ coefficient of variation πΆππ , skewness π π and kurtosis π π of the generalized lognormally distributed π ∼ LNπΎ (π, π) are, respectively, given by ππ = ππ π, Γ ((πΎ − 1) /πΎ) 1 2 2 ππ = − ππ + πΆππ2 = Γ ( 4π πΎ − 1 −1 )] πΎ 3π × (π π4 − 4π ππ π3 + (81) 2 6π2π ππ π2 − 3 4ππ ππ π1 ) . π π, Γ ((πΎ − 1) /πΎ) 2 (75) πΎ − 1 π2 ) 2 − 1, πΎ π1 (76) π3π π, 3 ππ Γ ((πΎ − 1) /πΎ) 3 π π = − πΆππ−4 − 6πΆππ−2 − 4 (77) ππ π4π + 4 π, πΆππ ππ Γ ((πΎ − 1) /πΎ) 4 (78) where the sums ππ , π = 1, . . . , 4, are given by (68). Proof. From Proposition 16 we easily obtain (74), as ππ := (1) . From Theorem 18 we have πΜπ (2) ππ = 2 ππ πΎ − 1 −1 2π + [Γ ( )] (π π2 − 2ππ ππ π1 ) . (79) πΎ Hence, substituting π1 from (74), (75) holds. Moreover, the squared coefficient of variation is readily obtained via (75) and (74). By definition, skewness π π is the standardized (3) 3 third (central) moment; that is, π π := Skew[π] = ππ /ππ . Theorem 18 provides that ππ = −πΆππ−3 3π + Example 21. For the second-ordered lognormally distributed π ∼ LN2 (π, π), utilizing (65) into (68) we get ππ = 2 2 √ππ(π π )/2 , π ∈ N∗ . Applying this to Theorem 20 we derive (after some algebra) 2 ππ = ππ+(1/2)π , 2 πΎ 3 [ππ Γ( 2π − 1 −1 )] πΎ π × (π π3 − 3π ππ π2 + 3π ππ π1 ) . 2 2 ππ = π2π+π (ππ − 1) , πΆππ = √ππ − 1, 2 2 2 π π = (ππ + 2) √ππ − 1, 2 which are the mean, variance, coefficient of variation, skewness, and kurtosis, respectively, of usual lognormally distributed π ∼ LN(π, π). For the usual lognormally distributed random variable π ∼ LN, it is known that Mode π < Med π < ππ . The following corollary examines this inequality for the LNπΎ family of distributions. Corollary 22. For the πΎ-ordered lognormally distributed ππΎ ∼ LNπΎ (π, π), it is true that Mode ππΎ ≤ Med ππΎ = (ππ )ππΎ ≤ πππΎ . The first equality holds for the Log-Laplace distributed π+∞ with π < 1 as well as for all the negative-ordered ππΎ<0 where Mode ππΎ is considered to be the local (nonsmooth) mode point of ππΎ . The second equality holds for the degenerate Dirac case of π0 . Proof. From (74) and Theorem 15 we have Med ππΎ = (ππ )π = ππ < πππΎ , πΎ (83) for every ππΎ ∼ LNπΎ (π, π). The above inequality becomes equality for the limiting Dirac case of π0 . For the relation between the mode and the median of ππΎ , the following cases are considered. (i) The positive-ordered Lognormal case πΎ > 1: from (20) we have πΎ Mode ππΎ = ππ−π < ππ = Med ππΎ . (80) 2 π π = π4π + 2π3π + 3π2π − 3, (82) 2 (74) 2π π π = − πΆππ−3 − πΆππ−1 + := 4 Γ( π π = πΆππ−4 + [ππ Substituting ππ , π = 1, 2, 3, from (74), (75), and (77), we obtain (78). while 2 ππ Substituting π1 and π2 from (74) and (75), we obtain (77). Finally, kurtosis π π is (by definition) the standardized fourth (4) 4 (central) moment; that is, π π := Kurt[π] = ππ /ππ , which provides, through Theorem 18, that (84) For the Log-Laplace case of π+∞ , it holds Mode ππΎ = ππ = Med ππΎ , (85) Journal of Probability and Statistics 13 provided that π < 1, while for π ≥ 1 we have π Mode ππΎ = 0 < π = Med ππΎ . (86) For π = 1, the inequality (84) clearly holds. (ii) The negative-ordered Lognormal case πΎ < 0: from Proposition 4 the inequality as in (86) holds. Moreover, if Mode ππΎ is considered as the nonsmooth local mode point of the negative-ordered ππΎ then the equality as in (85) holds. From the above cases and (83), the corollary holds true. Corollary 23. The raw and central moments of a Log-Uniformly distributed random variable π ∼ LU(π, π), 0 < π < π, are given by (π‘) = πΜπ ππ‘ − ππ‘ , π‘ log (π/π) (π) ππ = (π − π)π logπ (π/π) π‘ ∈ R, + Thus, letting π := π1 ∼ LN1 (π, π) = LU(π, π) with π = (1/2) log(ππ) and π = (1/2) log(π/π), it holds (recall the exponential odd series expansion) that (π‘) (π‘) = lim+ ππ = πΜπ πΎ πΎ→1 π‘ ∈ R, (95) (1) and hence (87) holds. Moreover, ππ := ππ = E[π] = (1/2π) π+π π−π (π − π ), and therefore (89) holds. Working similarly, (67) implies π ππ π ∞ [(π − π) π]2π π (π) (π) ππ ππ , = lim+ ππ = π ( ) ∑ ) (− ∑ πΎ π πΎ→1 ππ π=0 (2π + 1)! π=0 π ∈ N. (96) (87) 1 log (π/π) Using the exponential odd series expansion, the above expansion becomes π π−π π−π π−1 π (π − π) (π − π ) , ×∑( ) π π (π − π) log (π/π) π=0 π ∈ N, (π) ππ = (88) respectively, while the mean, variance, coefficient of variation, skewness, and kurtosis of π are given, respectively, by π−π , log (π/π) (89) (π − π)2 (π − π) (π + π) , + 2 2 log (π/π) log (π/π) (90) ππ = 2 ππ = πΆππ = √ 1 + ππ = π+π π log , 2 (π − π) π (π − π) (π3 − π3 ) 1 π4 − π4 [ − 4 4 4 log (π/π) ππ 3 log2 (π/π) (π − π)3 (π + π) (π − π)4 +3 − 3 ]. log3 (π/π) log4 (π/π) (93) Corollary 24. The raw and central moments of a Log-Laplace distributed random variable π ∼ LL(π, π, π) are given by (π‘) = πΜπ πΎ−1 + 1) . πΎ (94) ππ‘ π2 > ππ‘ , π2 − π‘2 π > π‘, π‘ ∈ R, π π2(π+1) π (π) , = ππ ∑ ( ) ππ π (1 − π2 )π [π2 − (π − π)2 ] π=0 (98) π > π, π ∈ N. (99) The mean, variance, coefficient of variation, skewness, and kurtosis of π are given, respectively, by ππ = 2 = ππ ∞ πΎ 2π((πΎ−1)/πΎ) ππ‘π (π‘π)2π+1 ) ( ∑ π‘πΓ ((πΎ − 1) /πΎ + 1) π=0 (2π + 1)! πΎ − 1 × Γ ((2π + 1) π ∈ N, 2 := and, through (89), we obtain (88). Moreover, for π = 2, ππ (2) 2 Var[π] = ππ − ππ implies (90), and hence (91) also holds. (3) (4) For π = 3 and π = 4, through ππ and ππ , we obtain (92) and (93), respectively. Proof. Recall Proposition 16 with ππΎ ∼ LNπΎ (π, π). Through the gamma function additive identity (58) can be written as (π‘) = πΜπ πΎ π π π(π−π)π − π−(π−π)π πππ π π , ) ∑ ( ) (− π 2π π=0 π ππ (π − π) (97) (91) π3 − π3 1 (π − π)2 (π + π) (π − π)3 [ ], −3 +2 3 3 2 ππ 3 log (π/π) 2 log (π/π) log (π/π) (92) π π = ππ‘π ∞ (π‘π)2π+1 ππ‘(π+π) − ππ‘(π−π) , = ∑ π‘π π=0 (2π + 1)! 2π‘π π2 π2 (2π2 + 1) (π2 − 4) (π2 − 1) πΆππ = ππ = ππ2 > π, π2 − 1 1 √ 2π2 + 1 , π π2 − 4 2 (15π4 + 7π2 + 2) π (π2 − 9) √ 2 π > 1, (100) , (101) π > 2, (102) π > 2, π2 − 4 3 (2π2 + 1) , π > 3, (103) 14 Journal of Probability and Statistics π π = 3 (8π8 + 212π6 + 95π4 + 33π2 + 12) (π2 − 4) (π2 − 16) (π2 − 9) (2π2 2 + 1) , (104) π > 4. Proof. Let ππΎ ∼ LLπΎ (π, π, π) = LNπΎ (log π, 1/π, 1/π). For πΎ = ±∞, that is, πΎ/(πΎ − 1) = 1, the raw moments as in (58) provide ∞ π‘ 2π (π‘) (π‘) π‘ = πΜπ = π ( ) , πΜπ ∑ ±∞ π π=0 Acknowledgment π‘ ∈ R, (105) as π = π±∞ , while through the even geometric series expansion, it is 1 π‘ ∞ π‘ π ∞ π‘ π (π‘) = [ ( + (− π ) ) ] πΜπ ∑ ∑ ±∞ 2 π π π=0 π=0 (106) π 1 π = ππ‘ ( + ), 2 π−π‘ π+π‘ provided that π > π‘, and hence (98) holds. Moreover, ππ := (1) = E[π], and hence (100) holds. πΜπ Working similarly, (67) implies π π (−ππ /π) π (π) = ππ π2 ∑ ( ) , ππ 2 π π − (π − π)2 π=0 out, in which nonclosed forms as well as approximations were obtained and investigated in various examples. This generalized family of distributions derived through the family of the πΎ-order normal distribution is based on a strong theoretical background as the logarithmic Sobolev inequalities provide. Further examinations and calculations can be produced while an application to real data is upcoming. π ∈ N, (107) provided π > π, and hence, through (100), the central moments (99) are obtained. (2) 2 2 := Var[π] = πΜπ − ππ , Moreover, for π = 2 and due to ππ (101) holds true, while for π = 3 and π = 4 we derive, through (3) (4) and ππ , (103) and (104), respectively. ππ Example 25. For a uniformly distributed r.v. π ∼ U(π, π) = N1 (π, π) with π = π − π and π = π + π, it holds that LU := ππ ∼ LU(ππ−π , ππ+π ) due to Theorem 3, and therefore LU is a Log-Uniform distributed r.v. as LU ∼ LU(ππ , ππ ). Applying (87), the known moment-generating function of the uniformly distributed π ∼ U(π, π) is derived; that is, (π‘) = (ππ‘π − ππ‘π )(1/π‘(π − π)). ππ(π‘) := E[ππ‘π] = πΜLU Similarly, for a Laplace distributed r.v. πΏ ∼ L(π, π) = N±∞ (π, π), it holds that LL := ππΏ ∼ LL(ππ , 1/π, 1/π) due to Theorem 3, and therefore LL is a Log-Laplace distributed random variable. Applying (98), we derive the known momentgenerating function of the Laplace distributed πΏ ∼ L(π, π); (π‘) = ππ‘π (1 − π‘2 π2 )−1 . that is, ππΏ (π‘) := E[ππ‘πΏ ] = πΜLL 4. Conclusion The family of the πΎ-order Lognormal distributions was introduced, which under certain values of πΎ includes the Log-Uniform, Lognormal, and Log-Laplace distributions as well as the degenerate Dirac distribution. The shape of these distributions for positive and negative shape parameters πΎ as well as the cumulative distribution functions, was extensively discussed and evaluated through corresponding tables and figures. Moreover, a thorough study of moments was carried The authors would like to thank the referee for his valuable comments that helped improve the quality of this paper. References [1] E. L. Crow and K. Shimizu, Lognormal Distributions, Marcel Dekker, New York, NY, USA, 1988. [2] A. Parravano, N. Sanchez, and E. J. Alfaro, “The Dependence of prestellar core mass distributions on the structure of the parental cloud,” The Astrophysical Journal, vol. 754, no. 2, article 150, 2012. [3] F. Bernardeau and L. Kofman, “Properties of the cosmological density distribution function,” Monthly Notices of the Royal Astronomical Society, vol. 443, pp. 479–498, 1995. [4] P. Blasi, S. Burles, and A. V. Olinto, “Cosmological magnetic field limits in an inhomogeneous Universe,” The Astrophysical Journal Letters, vol. 514, no. 2, pp. L79–L82, 1999. [5] F. S. Kitaura, “Non-Gaussian gravitational clustering field statistics,” Monthly Notices of the Royal Astronomical Society, vol. 420, no. 4, pp. 2737–2755, 2012. [6] G. Yan and F. B. Hanson, “Option pricing for a stochasticvolatility jump-diffusion model with log-uniform jumpamplitudes,” in Proceedings of the American Control Conference, 2006. [7] T. J. Kozubowski and K. PodgoΜrski, “Asymmetric Laplace distributions,” The Mathematical Scientist, vol. 25, no. 1, pp. 37– 46, 2000. [8] T. J. Kozubowski and K. PodgoΜrski, “Asymmetric Laplace laws and modeling financial data,” Mathematical and Computer Modelling, vol. 34, no. 9–11, pp. 1003–1021, 2001. [9] M. Geraci and M. Bottai, “Quantile regression for longitudinal data using the asymmetric Laplace distribution,” Biostatistics, vol. 8, no. 1, pp. 140–154, 2007. [10] D. B. Madan, “The variance gamma process and option pricing,” The European Financial Review, vol. 2, pp. 79–105, 1998. [11] C. P. Kitsos and N. K. Tavoularis, “Logarithmic Sobolev inequalities for information measures,” IEEE Transactions on Information Theory, vol. 55, no. 6, pp. 2554–2561, 2009. [12] C. P. Kitsos and N. K. Tavoularis, “New entropy type information measures,” in Proceedings of the Information Technology Interfaces (ITI ’09), Cavtat, Croatia, June 2009. [13] C. P. Kitsos and T. L. Toulias, “New information measures for the generalized normal distribution,” Information, vol. 1, no. 1, pp. 13–27, 2010. [14] C. P. Kitsos and T. L. Toulias, “Evaluating information measures for the -order Multivariate Gaussian,” in Proceedings by IEEE of the 14th Panhellenic Conference on Informatics (PCI ’10), pp. 153– 157, Tripoli, Greece, September 2010. [15] C. P. Kitsos, T. L. Toulias, and P. C. Trandafir, “On the multivariate πΎ-ordered normal distribution,” Far East Journal of Theoretical Statistics, vol. 38, no. 1, pp. 49–73, 2012. Journal of Probability and Statistics [16] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Elsevier, 2007. [17] F. C. Leone, L. S. Nelson, and R. B. Nottingham, “The folded normal distribution,” Technometrics, vol. 3, pp. 543–550, 1961. 15 Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014