Abstract
Polarization indices such as the Foster-Wolfson index have been developed to measure the extent of clustering in a few classes with wide gaps between them in terms of income distribution. However, Zhang and Kanbur (2001) failed to empirically find clear differences between polarization and inequality indices in the measurement of intertemporal distributional changes. This paper addresses this ‘distinction' problem on the level of the respective underlying stochastic orders, the polarization order (PO) in distributions divided into two nonoverlapping classes and the Lorenz order (LO) of inequality in distributions. More specifically, this paper investigates whether a distribution F can be either more or less polarized than a distribution H in terms of the PO if F is more unequal than H in terms of the LO. Furthermore, this paper derives conditions for the LO and PO of the double-Pareto lognormal (dPLN) distribution. The derived conditions are applicable to sensitivity analyses of inequality and polarization indices with respect to distributional changes. From this application, a suggestion for appropriate two-class polarization indices is made.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The objective of this paper is twofold. One of the objectives is to investigate the relations between the Lorenz order (LO), the standard inequality criterion for income distributions, and the polarization order (PO), a polarization criterion for income distributions divided into two classes at the median that was introduced by Foster and Wolfson (2010) and Wang and Tsui (2000). More specifically, this paper aims to determine whether a distribution F can be either more or less polarized than a distribution H in terms of the PO when F is more unequal than H in terms of the LO. The second objective is to investigate the conditions for the PO of the standard parametric models for income distributions and those for the LO and PO of the double-Pareto lognormal (dPLN) distribution introduced by Reed (2003) and Reed and Jorgensen (2004). The derived conditions for dPLNs are particularly useful for discussions of appropriate polarization indices.
The concept of polarization and polarization measures were developed to measure the extent of clustering, i.e., population concentration in a few classes with wide gaps between classes. The PO is an underlying stochastic order for two-class polarization (bipolarization) indices such as the Foster-Wolfson index (2010) and Wang-Tsui index (2000). However, Zhang and Kanbur (2001) failed to empirically find clear differences between polarization and inequality indices in the measurement of intertemporal distributional changes. Their study led to proposals for alternative bipolarization indices inconsistent with PO (PO-inconsistent indices) by them and several other researchers to make the measurement of polarization more distinct from the measurement of inequality. To theoretically clarify this 'distinction' problem, this paper discusses differences in order relations between the distributions on the level of the respective underlying stochastic orders. The discussion reveals that, due to the super-sub relations of LO and PO to the star-shaped order (SO) (Marshall et al., 1967), a distribution F can be more polarized than H (in terms of PO) when F is more unequal than H (in terms of LO), but F essentially cannot be less polarized than H when F is more unequal than H. Hence, the polarization measurement cannot be clearly distinct from the inequality measurement if we adopt the PO as the polarization criterion. This finding is supportive of the empirical study of Zhang and Kabur (2001). Then, this paper conducts the study for the second objective to search for appropriate PO-inconsistent indices.
Modeling the size distributions of incomes has been one of the major topics in research on income distributions. Regarding this topic, the conditions for the LO of major size distribution models have been studied by researchers such as Taillie (1981), Wilfling and Kramer (1993), Wilfling (1996a, 1996b), Kleiber (1996, 1999), and Belzunce et al. (2013). Although neither the conditions for the PO of the standard distribution models nor those for the LO and PO of the dPLN distribution, a relatively new model, have been studied so far, those conditions are considered to be important in their own right for studies on modeling the size distributions of incomes; in particular, so are those for the dPLN because this model is known to be a well-fitted four-parameter model of income distributions like the generalized beta distribution of the 2nd kind (GB2) (McDonald, 1984). In addition, by utilizing the dPLN's analytical tractability, the derived conditions for the dPLN can serve as a basis for investigating the properties of inequality and polarization indices (including PO-inconsistent indices) regarding their sensitivity to distributional changes. The sensitivity analysis provides a useful suggestion for the consideration of appropriate polarization indices.
The remaining sections proceed as follows: In the next section, I discuss the super-sub relations of the LO and PO to SO and the possibility that the PO has the reverse order of the LO in general (distribution-free) terms. The SO is shown to play a key role in super-sub relations among several quasi-orders, including the LO, PO and relative deprivation order. In Section 3, I address the conditions for the SO, LO and PO of major parametric models, particularly for those of the dPLN. An example demonstrates how to apply the derived conditions for the dPLN to sensitivity analyses of inequality and polarization indices to distributional changes. Although the example is illustrative, it suggests that some PO-inconsistent bipolarization index may be appropriate. The last section contains concluding remarks.
2 Star-shaped, Lorenz, and polarization orderings
2.1 Lorenz order
Hereafter, I assume that distributions are positive with finite means. I frequently identify each distribution with its cumulative distribution function (c.d.f.). The Lorenz order, the standard underlying stochastic order for inequality in income distributions, is a quasi-order between distributions defined as follows:
where F and H denote the c.d.fs. of the distributions in question and \( {L}_F(t)=\frac{1}{m_F}{\int}_0^t{F}^{-1}(u) du \), \( {m}_F={\int}_0^{\infty } xdF(x)={\int}_0^1{F}^{-1}\left(\tau \right) d\tau \) and F−1(t) = inf {x : F(x) ≥ t} denote the Lorenz curve, mean and quantile function of F, respectively. For N-element discrete distributions F = {x1, x2, ⋯, xN} and H = {y1, y2, ⋯, yN} with the same means, where both the xis and yis are arranged in ascending order, F≽LH is equivalent to H being obtained from F by means of a finite sequence of rank-preserving Pigou-Dalton progressive (PD) transfers (Hardy et al., 1952). A rank-preserving PD-transfer is a transfer of a small amount between two elements that does not cause order changes among all elements in the distribution and is defined as follows:
The principle of progressive transfer, an essential property required for inequality measures, asserts that inequality does not increase by a rank-preserving PD-transfer. The principle in the strong sense asserts that the inequality reduces by a rank-preserving PD-transfer. F≽LH is equivalent to I(F) ≥ I(H) for any relative inequality index I (satisfying the principle); hence, F≽LH indicates that F is not less unequal than H. F≻LH represents that F≽LH and ∃τ s.t. LF(τ) <LH(τ), implying that F is more unequal than H because I(F) > I(H) holds for any relative inequality index satisfying the principle in the strong sense.
2.2 Polarization order
There are two strands of research on polarization measurements. One is based on identification–alienation models, which enable us to measure polarization in distributions consisting of two or more classes. The indices of Esteban and Ray (1994) and Duclos et al. (2004) are in this strand; however, those indices do not have any underlying stochastic order, as explained by Esteban and Ray (1994). The second strand addressed in this paper relates to polarization in distributions consisting of two classes partitioned at a given quantile (which I call the base quantile hereafter). The basic idea of the bipolarization measurement is to evaluate how distant lower and higher classes are from the center, defined as the base quantile. Foster and Wolfson (2010) originally studied this approach to observe a decline of the middle class.Footnote 1 I generalize the definition of the underlying stochastic order proposed by Wang and Tsui (2000), which is a slight modification of the definition of Foster and Wolfson (2010), to allow a nonmedian base quantile.Footnote 2
First, I define the base quantile ξt, 0 < t < 1, of a discrete distribution F = {x1,x2,⋯,xN} with two or more elements as follows:
where the xis are arranged in ascending order and ⌈x⌉ denotes the ceiling function of rounding up digits after the decimal point to form an integer. In the case that the base quantile is the median (i.e., t = 0.5), ξ0.5 = (xn + xn + 1)/2 and Nt = n + 0.5 for N = 2n (even), and ξ0.5 = xn + 1 and Nt = n + 1 for N = 2n + 1 (odd). Next, I introduce the quasi-order of increased spread ≽IS, t in (2.1) for two N-element discrete distributions F = {x1, x2, ⋯, xN} and H = {y1, y2, ⋯, yN}, where both the xis and yis are arranged in ascending order.
ξt and ηt denote the base quantiles of F and H, respectively. The polarization order ≽P, t in (2.2) is a kind of 2nd order dominance relation resembling the generalized Lorenz order (Shorrocks, 1983).
In the above, the 1st and 2nd inequalities are unnecessary for Nt = 1 and Nt = N, respectively. F≽P, tH indicates that F is not less polarized than H. Conditions (2.3) and (2.4) are generalizations of (2.1) and (2.2), respectively, that encompass all distributions, including continuous distributions.
where \( {F}_m^{-1}(t)=\left(\operatorname{inf}\left\{x:F(x)>t\right\}+{F}^{-1}(t)\right)/2 \). Note that \( {F}_m^{-1}(t)={F}^{-1}(t) \) if t is a continuous point of F−1.
In the case of finite-element discrete distributions, F≽P, tH is equivalent to a ‘combined' condition of increased spread ≽IS, t in (2.1) and increased bipolarity ≽IB, t in (2.5) in the sense that ∃G s. t. F≽IS, tG and G≽IB, tH.
where Ω = 1 ≤ i < Nt or Nt < i ≤ N. Wang and Tsui (2000) proved this equivalence for the case in which the base quantile is the median. Their proof can be readily generalized for any other base quantile. From the equivalence, the PO is characterized by two properties that the polarization does not decrease when the gap between the two classes widens (increased spread, IS) or when the inequality reduces within either of the two classes (increased bipolarity, IB). Foster and Wolfson (2010) proposed a PO-consistent bipolarization index with the base quantile at the median, represented as follows:
where Gini(F) denotes the Gini index for F, and \( {G}_{med}^b(F) \) and \( {G}_{med}^w(F) \) denote the between- and within-class Gini component, respectively. The two components are expressed as \( {G}_{med}^b(F)=\left({m}_{F^U}-{m}_{F^L}\right)/4{m}_F=0.5-{L}_F(0.5) \) and \( {G}_{med}^w(F)=\frac{1}{4}\frac{m_{F^L}}{m_F} Gini\left({F}^L\right)+\frac{1}{4}\frac{m_{F^U}}{m_F} Gini\left({F}^U\right)= Gini(F)-{G}_{med}^b(F) \), where FL and FU denote the c.d.fs. of the lower and upper classes, respectively; and \( {m}_{F^L} \) and \( {m}_{F^U} \) denote the means of FL and FU, respectively. Several researchers have proposed PO-consistent bipolarization indices, including the index of Wang and Tsui (2000).
In parallel with this research development, different types of bipolarization indices have emerged, mainly stimulated by the empirical study of Zhang and Kanbur (2001). They measured intertemporal changes in inequality and polarization in the regional per capita consumption distribution in China by using inequality and polarization indices; however, they failed to find clear differences between the two types of indices. They proposed PO-inconsistent alternative indices (such as an index in an example in Subsection 3.4), aiming to make the polarization measurement more distinct from the inequality measurement. Several other researchers such as Rodriguez and Salas (2003), Silber et al. (2007) and Palacios-González and Garcia-Fernández (2011) have also proposed PO-inconsistent indices. As this ‘distinction' problem has not yet been clarified theoretically in the literature, it would be useful to discuss the problem at the level of the respective underlying stochastic orders. The star-shaped order is an important quasi-order for this discussion.
2.3 Star-shaped order and super-sub relations among the Lorenz order, polarization order and other quasi-orders
Marshall et al. (1967) first introduced the following star-shaped order in the fields of majorization:
The name comes from F−1(H(x)) being star-shaped in x from above at 0; i.e., F−1(H(x))/x is monotonically increasing if F≽∗H. The star-shaped order is equivalent to
(2.7) implies that the distance between any pair of quantiles of F measured by the absolute difference of the log values is no shorter than that of H. The SO has attracted attention in relation to an argument regarding the concepts of inequality and relative deprivation. Several researchers, e.g., Amiel and Cowell (1992) and Kolm (1999), among others, have criticized the principle of progressive transfer for being not widely acceptable as a requirement for inequality measures. Several researchers such as Preston (1990), Moyes (1994, 1999) and Chakravarty and Moyes (2003) have considered the SO as a suitable inequality criterion because of property (2.7). It may be notable that the variance of the logarithm VL1 or VL2, which is known to be inconsistent with the LO, is consistent with the SO.
where \( \overline{\log x}=\int \log xdF(x) \). The 2nd term on the rightmost side in VL2(F)'s formula is equal to the 2nd Theil index.
I introduce one more quasi-order. Belzunce et al. (2012) proposed a stochastic order based on the expected proportional shortfall (PSO), as follows:
The PSO and SO can be regarded as quasi-orders for the relative deprivation in distributions by defining the distance between the τ- and t-quantiles, t < τ, as (F−1(τ) − F−1(t))/F−1(t). The relative deprivation profile and relative deprivation orders of Chakravarty and Moyes (2003) coincide with the PSO and SO, respectively (if the domain of the stochastic orders is restricted to all finite-element discrete distributions). Belzunce et al. (2012) found that
hence, the PSO is in an intermediate position between the SO and LO.
Similar relations hold among the SO, IS and PO, as in the following theorem:
-
Theorem 1. For a pair of distributions F and H, F≽∗H ⇒ F≽IS, tH ⇒ F≽P, tH, 0 < t < 1. F ≽*H⇔F ≽K, tH for all 0 < t < 1, where K = IS or P. (The proof is given in the Appendix.)
From Theorem 1 and (2.8), both F≽LH and F≽P, tH hold simultaneously if F≽∗H (see Figure 1). However, the PO is inconsistent with the LO because both F≺LH and F≽P, tH hold if F≽IB, tH; additionally, mF = mH, ξt = ηt, and F ≠ H. Then, when do both F≼P, tH and F≽LH hold at the same time in general? Regarding this problem, the following theorem holds:
-
Theorem 2. If F≽LH, then F≼P, tH holds if and only if LF(t) = LH(t) and \( {F}_m^{-1}(t)/{m}_F={H}_m^{-1}(t)/{m}_H \); i.e. the total income shares of the lower and higher classes and the ratios of the base quantile to the mean must be identical between F and H. (Note that \( {F}_m^{-1}(t)/{m}_F={L}_F^{\prime }(t) \) when LF is differentiable at t.) (The proof is given in the Appendix.)
The condition of the strict fulfillment of the two equations (eqs.) in Theorem 2 implies that F≽LH and F≼P, tH are essentially unable to hold at the same time in empirical studies. Hence, Theorems 1 and 2 do not conflict with the empirical study of Zhang and Kanbur (2001). If the polarization measurement should be distinct from the inequality measurement as Zhang and Kanbur (2001) asserted, a question arises: which PO-inconsistent polarization measures are appropriate? We obtain a suggestion for the question in the next section.
3 Star-shaped, Lorenz, and polarization orderings of parametric models for income distributions
3.1 Star-shaped and Lorenz orderings of the standard parametric models
Modeling the size distributions of income is a major topic in research on income distributions. Many parametric models have been proposed to represent the size distributions of income. The properties of the models regarding the abovementioned quasi-orders are useful for evaluating whether the models have sufficient flexibility. For two-parameter classical models—the families of Pareto, lognormal, gamma, Lomax and Fisk distributions—it is known that the Lorenz curves do not intersect with each other within each of those families; i.e., the LO always holds within each family, although the Lorenz curves of empirical income distributions frequently intersect with each other. Three-parameter models—the families of Singh-Maddala, Dagum, generalized gamma distributions, and type II beta generalized distributions—are well fitted to some empirical income distributions. Within each of those families, the SO is shown to be equivalent to the LO (Wilfling and Kramer, 1993; Kleiber, 1996; Taillie, 1981; Belzunce et al., 2013). Can the SO be regarded as equivalent to the LO among real income distributions? To address this question, consider a four-parameter model. The generalized beta distribution of the 2nd kind (McDonald, 1984) often gives better fits than the existing three-parameter models. The GB2 distribution GB2(a, b, p, q) with parameters a, b, p, q > 0 has the following probability density function (p.d.f.):
where b is the scale parameter and a, p, q are the shape parameters. Because fGB2(x)~xap − 1 as x → 0 and fGB2(x)~x−aq − 1 as x → ∞, fGB2 has left and right power-law tails with exponents ap − 1 and −aq − 1, respectively. GB2 encompasses the abovementioned two- or three-parameter models as special cases or limiting cases. Belzunce et al. (2013) obtained a sufficient condition (3.1) and a necessary condition (3.2) for the SO between F1~GB2(a1, b1, p1, q1) and F2~GB2(a2, b2, p2, q2).
The sufficient condition and necessary condition for the LO derived by Kleiber (1999) coincide with (3.1) and (3.2). However, in contrast to the equivalence between the SO and LO within the three-parameter families, the SO is not equivalent to the LO within the GB2 family if (3.1) does not hold. Due to sampling variation and duplication of values in survey data, a commonly observed phenomenon in which different people report exactly the same amount of income due to rounding or other reasons, it is difficult to directly examine the SO in empirical income distributions obtained from sample survey data. Here, I make use of GB2 distributions fitted by Bandourian et al. (2002) to the LIS data to investigate whether the SO and LO hold for each pair of GB2 distributions fitted to empirical distributions. Bandourian et al. (2002) fitted various parametric models to empirical income distributions of 23 countries in 1967-1997, 82 distributions in total. The pair-comparison results are listed in Table 1. Among all the pairs of fitted GB2 distributions (3,321 pairs), 496 pairs satisfy condition (3.1), and the LO also holds for 1,145 pairs that fail to satisfy (3.1). The SO does not hold for 473 of the 1,145 pairs; hence, the SO does not hold for 29% of pairs for which the LO holds. The GB2 model attains the best fit to 34 of the 82 distributions in terms of the likelihood ratio test among the tested models. The comparison results for all pairs of the 34 distributions are listed in the bottom row in Table 1. In the limited pair comparisons, the SO does not hold for 47 pairs (20%) among the 234 pairs for which the LO holds. The results indicate that we can find cases that F≽∗H fails to hold, i.e., F⋡∗H, among the cases of F≽LH at a certain rate, implying that income distribution models should be sufficiently flexible to be capable of reproducing such cases.
3.2 The double-Pareto lognormal distribution
Reed (2003) and Reed and Jorgensen (2004) first introduced the double-Pareto lognormal distribution. Since then, the dPLN model has been fitted to income distributions (Reed and Wu, 2008; Okamoto, 2012; Toda, 2012), consumption distributions (Hajargasht and Griffiths, 2013; Toda, 2017) and city size distributions (Giesen et al., 2010). From those applications, the dPLN model has become known as another four-parameter distribution that can be well fitted to income distributions and other size distributions. It would be meaningful to study the conditions for the SO, LO and PO of dPLN distributions to investigate whether the conditions resemble or differ from those of GB2 distributions. Furthermore, the derived conditions can serve as a basis for investigating the properties of inequality and polarization indices by utilizing the dPLN's analytical tractability, which is an advantage over GB2, as explained below.
A dPLN distribution dPLN(μ, σ, α, β) is generated from a combination of multiplication and division of three mutually independent random variables (r.vs.) following a Pareto or lognormal distribution:
where Z1~Pareto(α), Z2~Pareto(β), Z3~LN(μ, σ). dPLN(μ, σ, α, β) has the following p.d.f.: for σ, α, β > 0,
where Φ denotes the c.d.f. of the standard normal distribution and Φc denotes the complement of Φ; i.e., Φc = 1 − Φ. The c.d.f. of the dPLN is given in the Appendix. As the r.v. X~dPLN(μ, σ, α, β) is equivalent to X = eμY, Y~dPLN(0, σ, α, β), μ is the log-scale parameter. The other three parameters are the shape parameters. Because fdPLN(x)~xβ − 1 as x → 0 and fdPLN(x)~x−α − 1 as x → ∞, fdPLN has left and right power-law tails with exponents β − 1 and −α − 1, respectively. For β < 1, fdPLN(x) → ∞ as x → 0; and for β = 1, \( {f}_{dPLN}(x)\nearrow \frac{\alpha \beta}{\alpha +\beta }{x}^{\beta -1}{e}^{-\beta \mu +{\beta}^2{\sigma}^2/2} \) as x → 0. Hence, fdPLN does not have a peak in either case. In contrast, fdPLN is unimodal for β > 1. When α, β → ∞, dPLN(μ, σ, α, β) approaches LN(μ, σ). As shown in Corollary 4 below, a dPLN distribution is more dispersed along with either a decrease of α or β or an increase of σ; hence, a decrease of α or β brings an inequality increase with a heavier right or left tail, respectively, and an increase in σ brings an inequality increase with a more dispersed central part of the distribution without changes in the heaviness of the tails in power exponent order. Analytical expressions of the mean, higher-order moments, Lorenz curve, Gini index, and generalized entropy (GE) indices for the dPLN are given in the Appendix.
Regarding the goodness-of-fit of the dPLN in comparison with GB2, the argument is inconclusive at present. Reed and Wu (2008) and Okamoto (2012) empirically showed that the dPLN tends to be better fitted to income distributions than GB2, whereas Hajargasht and Griffiths (2013) were unable to make clear judgments on the goodness-of-fit to consumption distributions in 10 developing countries and regions. However, the dPLN has several notable advantages. Toda (2017) pointed out the analytical tractability of the dPLN. This advantage partly comes from the abovementioned clear correspondence of the shape parameters to parts of the distribution, which are mainly affected by changes in the respective parameter values. By utilizing this clear correspondence, it is possible to investigate the sensitivity of inequality and polarization indices to distributional changes, as illustrated in an example given in the last subsection. A theoretically important advantage of the dPLN is the existence of stochastic processes generating the distribution (Reed, 2003; Toda, 2012). There are also some advantages regarding the Gini index, as mentioned in the Appendix.
3.3 Star-shaped, Lorenz and polarization orderings of the double-Pareto lognormal distribution and the polarization ordering of other parametric models
The conditions for the existence of the mean of a dPLN distribution are α > 1 and β > 0, as shown in the Appendix. I assume that these conditions are satisfied hereafter. Theorem 3 gives a sufficient condition for the SO within the dPLN family in a different way from the proof of Belzunce et al. (2013) for the corresponding condition (3.1) within the GB2 family.
-
Theorem 3. σ1 ≥ σ2, α1 ≤ α2, and β1 ≤ β2 imply dPLN(μ1, σ1, α1, β1)≽∗dPLN(μ2, σ2, α2, β2). (The proof is given in the Appendix.)
As F≽∗G implies F≽LG from Taillie (1981), the following corollary is derived:
-
Corollary 4. σ1 ≥ σ2, α1 ≤ α2, and β1 ≤ β2 imply dPLN(μ1, σ1, α1, β1)≽LdPLN(μ2, σ2, α2, β2).
Corollary 4 can be derived directly from Whitt's lemma (1980) because the dPLN is generated by a combination of multiplication and division of three independent r.vs. following Pareto(α), Pareto(β) or LN(μ, σ) as in (3.3). Although the converses of Theorem 3 and Corollary 4 are false, the following theorem holds:
-
Theorem 5. For F1~dPLN(μ1, σ1, α1, β1) and F2~dPLN(μ2, σ2, α2, β2), either F1≽∗F2 or F1≽LF2 implies α1 ≤ α2 and β1 ≤ β2. (The proof is given in the Appendix.)
From Theorems 1 and 3, Corollary 6 is obvious. Similarly, from Theorem 1 and (3.1), Corollary 7 is obvious.
-
Corollary 6. For F1~dPLN(μ1, σ1, α1, β1) and F2~dPLN(μ2, σ2, α2, β2), σ1 ≥ σ2, α1 ≤ α2, and β1 ≤ β2 imply F1≽K, tF2 for 0 < t < 1, K = IS or P.
-
Corollary 7. For F1~GB2(a1, b1, p1, q1) and F2~GB2(a2, b2, p2, q2), a1 ≤ a2, a1p1 ≤ a2p2, and a1q1 ≤ a2q2 imply F1≽K, tF2 for 0 < t < 1 and K = IS or P.
Similar corollaries are derived for models in which conditions for the SO exist, such as the Singh-Maddala, Dagum and generalized gamma distributions. The converse of Corollary 6 is false. F1≽K, tF2 for all t, K = IS or P, implies F1≽∗F2 from Theorem 1 and hence α1 ≤ α2 and β1 ≤ β2 from Theorem 5. If F1≽IS, tF2 for some t, then, as \( {F}_{dPLN}^{-1}\left(\tau; \mu, \sigma, \alpha, \beta \right)\sim {\tau}^{1/\beta } \), τ → 0, and \( {F}_{dPLN}^{-1}\left(\tau; \mu, \sigma, \alpha, \beta \right)\sim {\left(1-\tau \right)}^{-1/\alpha } \), τ → 1, α1 ≤ α2 and β1 ≤ β2 are shown to hold from a similar argument to that for Theorem 5. However, F1≽P, tF2 may hold even if \( {\upalpha}_1>{\upalpha}_2 \) and \( {\upbeta}_1>{\upbeta}_2 \) when \( {\upsigma}_1>{\upsigma}_2 \) as in the following example:
Consider a case in which both F1≼LF2 and F1≽P, tF2 hold within the dPLN family. If all shape parameters of F1 and one of the shape parameters of F2 are fixed, the remaining two shape parameters form a set of discrete points in two-dimensional space (if it is not empty) because of the two eqs. in Theorem 2. For dPLN distributions F1 with {σ1, α1, β1} = {0.5, 3.5, 3.5} and F2 with σ2 = 0.3, two sets of {α2, β2}s for which F1≼LF2 and F1≽P, tF2 hold adjoin at one point {α2, β2} ≒ {2.567, 2.146} (Figure 2); hence, both F1≼LF2 and F1≽P, tF2 hold at the same time only at this point (if the rest of the parameters are fixed.). Numerical calculations show that the simultaneous fulfilment of the LO and reverse PO at only one point also holds for other {σ1, α1, β1} and \( {\upsigma}_2\left(<{\upsigma}_1\right) \). A similar argument holds for GB2. Like GB2, the SO is not equivalent to the LO in the case that the condition in Theorem 7 does not hold. In the above example, F1≼LF2 holds if both \( {\alpha}_2<2.567 \) and \( {\beta}_2<2.146 \) are satisfied; however, F1≼∗F2 does not hold if 2.16 \( <{\alpha}_2<2.567 \) and \( 1.76<{\beta}_2<2.146 \).
For the application to the sensitivity analysis of inequality and polarization indices with respect to distributional changes, I provide one more theorem readily derived from Corollaries 4 and 6.
-
Theorem 8. Assume that index I(F) for F~dPLN(μ, σ, α, β) is differentiable in the shape parameters. If I is consistent with the LO or PO, i.e., if F≽LH or F≽P, tH implies I(F) ≥ I(H), then, ∂I(F)/∂σ ≥ 0, ∂I(F)/∂α ≤ 0, and ∂I(F)/∂β ≤ 0. Conversely, if \( {\left.\partial I(F)/\partial \sigma \right|}_{\left\{{\sigma}_0,{\alpha}_0,{\beta}_0\right\}}<0 \), \( {\left.\partial I(F)/\partial \alpha \right|}_{\left\{{\sigma}_0,{\alpha}_0,{\beta}_0\right\}}>0 \), or \( {\left.\partial I(F)/\partial \beta \right|}_{\left\{{\sigma}_0,{\alpha}_0,{\beta}_0\right\}}>0 \) for some {σ0, α0, β0}, then I is inconsistent with the LO and PO.
3.4 An example of the use of the dPLN model to analyze the sensitivity of polarization indices to distributional changes
The example below illustrates how to apply the dPLN to an analysis of the sensitivity of polarization and inequality indices to distributional changes by calculating the elasticity of the indices with respect to the shape parameters of the dPLN. Broadly speaking, the elasticity with respect to α or β indicates the sensitivity of the respective index to a change in the heaviness of the right or left tail, respectively, and the elasticity with respect to σ indicates the sensitivity to a change in the dispersion in the central part of the distribution.
where θ = {θi} = {μ, σ, (α − 0.5)−1, (β + 0.5)−1} and F(x; θ)~dPLN(μ, σ, α, β). The reason for the use of (α − 0.5)−1 and (β + 0.5)−1 instead of α and β is as follows:
Assume LF and LH are mutually symmetric with respect to a diagonal other than the equality diagonal, as shown in Figure 3. I call this symmetric relation L-symmetry hereafter. The L-symmetric relation between F and H is equivalent to
If F and H are mutually L-symmetric, then, the weighted two-element discrete distributions \( {D}_F=\left\{{m}_F^L,{m}_F^U;F\left({m}_F\right)=P\left(x\le {m}_F\right),1-F\left({m}_F\right)=P\left(x>{m}_F\right)\right\} \) and \( {D}_H=\left\{{m}_H^{-L},{m}_H^{-U};P\left(y<{m}_H\right),P\left(y\ge {m}_H\right)\right\} \) are also mutually L-symmetric, where \( {m}_F^L \) and \( {m}_F^U \) are the means of F conditional on \( x\le {m}_F\ \mathrm{and}\ x>{m}_F \), respectively; \( {m}_H^{-L} \) and \( {m}_H^{-U} \) are the means of H conditional on y \( < \)mH and y \( \ge \) mH, respectively. Taguchi (1968) showed that F and H are mutually L-symmetric if and only if the following eqs. hold under the assumption that F and H have continuous p.d.fs. f and h with means mF and mH, respectively:
For an L-symmetric pair F and H,
Note that the Pietra index for F, Pietra(F), is equal to \( Gini\left({D}_F\right)={G}_{mean}^b(F) \) which represents the Gini between-class component for F being divided into two classes at mF. The GE index family satisfies the following eq. (the proof is given in the Appendix.):
Hence, GE0.5 satisfies the same property regarding L-symmetry as the Gini and Pietra indices. F~dPLN(μ, σ, α, β) and H~dPLN(μ′, σ, β + 1, α − 1) are mutually L-symmetric because eqs. (3.5) hold.Footnote 3 If this property of the dPLN is taken into account, it would be better to equate the elasticities of Gini(F), Pietra(F) and GEε(F) to the right- and left-tail parameters to those of Gini(H), Pietra(H) and GE1−ε(H) to the left- and right-tail parameters, respectively. It would also be better to make the elasticities of the inequality and PO-consistent polarization indices nonnegative. For these reasons, I replace parameters α and β with (α − 0.5)−1 and (β + 0.5)−1, respectively for the calculation of elasticity.
Table 2 presents the elasticities of four bipolarization indices and four inequality indices with respect to the shape parameters of a self L-symmetric dPLN distribution with σ = 0.3, α = 4 and β = 3. Among the four bipolarization indices, the FW index (2.6) is PO-consistent. The ZK index (3.7) is a special case of the modified indices of Zhang and Kanbur (2001).Footnote 4 The LS index (3.8) is a new index. The latter two indices are for distributions that are divided into two classes at the mean instead of the median.
where \( {GE}_{\varepsilon}^b(F) \) denotes the GE between-class component.
The new index LS represents the slimness or inverse of kurtosis of the Lorenz curve because Pietra(F) equals the maximum distance between the equality diagonal and Lorenz curve, and Gini(F) equals two times the average distance between them. The LS index is also a variant of the modified Zhang-Kanbur-type indices, defined as the ratio of the between-class inequality to the overall inequality, although it is transformed to normalize the index to the 0 to 1 range. The SDH bipolarization index, which was proposed by Silber, et al. (2007) based on a kurtosis measure of the Lorenz curve, can be regarded to correspond to the LS for distributions that are divided at the median, i.e., \( {G}_{med}^b(F) \) instead of \( {G}_{mean}^b(F) \) in (3.8). The LS and ZK0.5 indices inherit the property regarding L-symmetry from the Gini, Pietra and GE0.5 indices. Among the four inequality indices, T1 = GE1 and T2 = GE0 represent the Theil and 2nd Theil indices, respectively. All the indices are calculatable using the analytical expressions of the c.d.f., moments, Lorenz curve, and Gini and GE indices for the dPLN in the Appendix.
As the elasticities of ZK0.5 and LS to the tail parameters and that of SDH to the right tail parameter are negative, these three indices are PO-inconsistent, from Theorem 8. Several possible features of the polarization indices emerge from Table 2. First, the sensitivity of FW to the left-tail parameter is higher than that to the right-tail parameter and even higher than that of T2 in relative terms. The sensitivity of the polarization indices (except SDH) to the central-dispersion parameter relative to the absolute sensitivity to the tail parameters is higher than those of the inequality indices. In particular, that of the LS is substantially higher than those of all other indices. The SDH is intuitively inappropriate because the signs of the elasticities to the left and right tail tend to be different. These results suggest that the LS may be an appropriate index to measure a rise or fall in the middle class if we can assume that the rise or fall closely relates to the decrease or increase of the dispersion in the central part of the distribution, although extensive and comprehensive discussions encompassing other properties of the LS are necessary to reach a conclusion.
4 Concluding remarks
Several points for the discussion of the concept and measurement methodology of bipolarization emerge from the findings of this paper. Should polarization indices be inequality measures consistent with a weaker inequality criterion based on the SO? All bipolarization indices including PO-inconsistent indices are consistent with IB. However, should polarization indices be consistent with IS? In particular, should polarization increase when an element on either end of a distribution moves far from the center of the distribution? Such movement of an element on either end increases inequality in terms of the SO. However, the increase in polarization due to this move does not necessarily appear intuitive. Should polarization indices be created based on the kurtosis of the Lorenz curve rather than based on the (relative) spread from a given center point? Should we divide the distributions at the medians or means for the bipolarization measurement? The choice of the center or division point relates to the definition of the middle class, i.e., whether the middle class occupies rank positions around the median or the mean.
The discussion should proceed by taking into account real distributions. A well-fitted and analytically tractable dPLN model may play a certain role as an alternative to real distributions for the discussion.
Notes
The paper of Foster and Wolfson (2010) was made available much earlier as an unpublished paper.
As distributions consisting of two equal-sized homogenous classes are commonly regarded as the most polarized, the base quantile is usually set to the median.
The L-symmetric relation between dPLN(μ, σ, α, β) and dPLN(μ′, σ, β + 1, α − 1) is not explicitly stated in the literature to the best of my knowledge. The L-symmetry within the family distinguishes the dPLN from GB2.
The original Zhang-Kanbur index is defined as \( {GE}_{\varepsilon}^b(F)/{GE}_{\varepsilon}^w(F)={GE}_{\varepsilon}^b(F)/\left({GE}_{\varepsilon }(F)-{GE}_{\varepsilon}^b(F)\right) \). To set the maximum to 1, I modified the index in the same way as Palacios-González et al. (2011).
The paper of Hajargasht and Griffiths (2013) was made available as an unpublished paper with a slightly different title in the previous year.
References
Amiel, Y. and Cowell, F. A. (1992). Measurement of income inequality: Experimental test by questionnaire. J. Public Econ. 47, 3–26.
Bandourian, R., Mcdonald, J. B. and Turley, R.S. (2002). A comparison of parametric models of income distribution across countries and over time. LIS Working Paper 305.
Belzunce, F., Pinar, J. F., Ruiz, J. M. and Sordo, M. A. (2012). Comparisons of risks based on the expected proportional shortfall. Insur. Math. Econ. 51, 292–302.
Belzunce, F., Pinar, J. F., Ruiz, J. M. and Sordo, M. A. (2013). Comparison of concentration for several families of income distributions. Stat. Probabil. Lett. 83, 1036–1045.
Chakravarty, S. R. and Moyes, P. (2003). Individual welfare, social deprivation and income taxation. Econ. Theory 21, 843–869.
Chotikapanich, D., Griffiths, W. E., Hajargasht, G., Karunarathne, W. and Rao, D. S. P. (2018). Using the GB2 income distribution. Econom. 6, 21
Duclos, J.-Y., Esteban, J. and Ray, D. (2004). Polarization: Concepts, measurement, estimation. Econometrica 72, 1737–1772.
Esteban, J. and Ray, D. (1994). On the measurement of polarization. Econometrica 62, 819–851.
Foster, J. E. and Wolfson, M. C. (2010). Polarization and decline of the middle class: Canada and the US. J. Econ. Inequal. 8, 247–273.
Giesen, K., Zimmermann, A. and Suedekum, J. (2010). The size distribution across all cities – double Pareto lognormal strikes. J. Urban Econ. 68, 129–137.
Graf M (2009). An efficient algorithm for the computation of the Gini coefficient of the generalized beta distribution of the second kind. Proceedings of the 2009 Joint Statistical Meeting, Am Statist Assoc 4835–4843.
Hajargasht, G. and Griffiths, W. E. (2013). Pareto-lognormal distributions: Inequality, poverty, and estimation from grouped income data. Econ. Model. 33, 593–604.
Hardy, G. H., Littlewood, J. E. and Polya, G. (1952). Inequalities. Cambridge University Press, Cambridge (2nd edition).
Kleiber, C. (1996). Dagum vs. Singh-Maddala income distributions. Econ. Lett. 53, 265–268.
Kleiber, C. (1999). On the Lorenz order within parametric families of income distributions. Sankhyā Series B 61, 514–517.
Kolm, S-C. (1999). The rational foundation of income inequality measurement. In SILBER, J. (ed.) Handbook of Income Inequality Measurement, 19–100. Kluwer Academic Publishers, Boston/Dorrecht/London.
Marshall, A. W., Olkin, I. and Proschan, F. (1967). Monotonicity of ratios of means and other applications of majorization. In Shisha, O. (ed.) Inequalities, Vol. I. Academic Press, New York.
Mcdonald, J. B. (1984). Some Generalized functions for the size distributions of income. Econometrica 52, 647–663.
Moyes, P. (1994). Inequality reducing and inequality preserving transformation of incomes: Symmetric and individualistic transformation. J. Econ. Theory 63, 271–298.
Moyes, P. (1999). Stochastic dominance and the Lorenz curve. In SILBER, J. (ed.) Handbook of Income Inequality Measurement, 199–222. Kluwer Academic Publishers, Boston/Dorrecht/London.
Okamoto, M. (2012). Evaluation of the goodness of fit of new statistical size distributions with consideration of accurate income inequality estimation. Econ. Bull. 32, 2969–2982.
Palacios-González, F. and Garcia-Fernández, R. (2011). An intra-group variance based polarization measure. ECINEQ Working Paper 188.
Preston I (1990). Ratios, differences and inequality indices. Institute for Fiscal Studies, Working Paper No. W90-9.
Reed, W. J. (2003). The Pareto law of incomes – an explanation and extension. Physica A 319, 469–486.
Reed, W. J. and Jorgensen, M. (2004). The double Pareto-lognormal distribution – a new parametric model for size distributions. Commun. Stat.-Theory M 33, 1733–1753.
Reed, W. J. and Wu, F. (2008). New four- and five-parameter models for income distributions. In Chotikapanich, D. (ed.) Modeling Income Distributions and Lorenz Curves. Springer, New York, 211–224.
Rodriguez, J. G. and Salas R. (2003). Extended bi-polarization and inequality measures. Res. Ec. Ineq. 9, 69–83.
Shorrocks, A. F. (1983). Ranking income distributions. Economica, 44, 3–17.
Silber, J., Deutsch, J. and Hanoka, M. (2007). On the link between the concepts of kurtosis and bipolarization. Econ. Bull. 4, 1–5.
Taguchi, T. (1968). Concentration curve methods and structure of skew populations. A methodology for the analysis of economic data. Ann. I. Stat. Math. 20, 107–141.
Taillie, C. (1981). Lorenz ordering within the generalized gamma family of income distributions. Statistical Distributions in Scientific Work 6, 181–192.
Toda, A. A. (2012). The double power law in income distribution: Explanations and evidence. J. Econ. Behav. Organ. 84, 364–381.
Toda, A. A.(2017). A note on the size distribution of consumption: More double Pareto than lognormal. Macroecon. Dyn. 21, 1508–1518.
Wang, Y. Q. and Tsui, K.Y. (2000). Polarization orderings and new classes of polarization indices. J. Public Econ. Theory 2, 349–363.
Whitt, W. (1980). The effect of variability on the GI/G/s queue. J. Appl. Probab. 17, 1062–1071.
Wilfling, B. (1996a). Lorenz ordering of generalized beta-II income distributions. J. Econom. 71, 381–388.
Wilfling, B. (1996b). A sufficient condition for Lorenz ordering. Sankhyā Series B 58, 62–69.
Wilfling, B. and Krämer, W. (1993). The Lorenz-ordering of Singh-Maddala income distributions. Econ. Lett. 43, 53–57.
Zhang, X. and Kanbur, R. (2001). What difference do polarization measures make? An application to China. J. Dev. Stud. 37, 85–98.
Acknowledgements
The author has no affiliations with or involvement in any organization or entity with any financial interest or non-financial interest in the subject matter or materials discussed in this manuscript.
Author information
Authors and Affiliations
Ethics declarations
Conflict of Interest
None
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendices
1.1 Analytical expressions of the c.d.f., moments, Lorenz curve, generalized entropy (GE) and Gini indices for the dPLN, and supplementary notes on the Gini index
The c.d.f. of the dPLN is expressed as follows (Reed and Jorgensen, 2004):
The k-th order moment around zero is expressed as follows (Reed and Jorgensen, 2004):
Note that α/(α − k) is equal to the k-th order moment of Z1~Pareto(α), β/(β + k) to the k-th order moment of \( {Z}_2^{-1} \), Z2~Pareto(β), and \( {e}^{k\mu +{k}^2{\sigma}^2/2} \) to the k-th order moment of Z3~LN(μ, σ2). By setting k = 1 in (A.1), the analytical expression of the mean mdPLN is obtained.
To make the means of Z1 and \( {Z}_2^{-1} \) finite, conditions α \( > \) 1 and β \( > \) 0 need to be satisfied for the existence of mdPLN. The 1st-order moment distribution function is expressed as follows (Okamoto, 2012; Hajargasht and Griffiths, 2013):
Hence, the Lorenz curve LdPLN is expressed implicitly as
The analytical expression of the GE index was derived by Hajargasht and Griffiths (2013) as
GE0(FdPLN) = T2(FdPLN) is the 2nd Theil index, and GE1(FdPLN) = T1(FdPLN) is the Theil index.
The Gini index is expressed as
where \( \phi (z)\left(={\left(2\pi \right)}^{-1/2}{e}^{-{z}^2/2}\right) \) denotes the p.d.f. of the standard normal distribution. Note that \( Gini\left( LN\left(\mu, \sigma \right)\right)=2\Phi \left(\frac{\sigma }{\sqrt{2}}\right)-1 \). The analytical expression of the Gini index was derived independently by Okamoto (2012) and Hajargasht and Griffiths (2013); however, Hajargasht and Griffiths (2013) did not provide the analytical expression for the case of α = β + 1.Footnote 5 Hajargasht and Griffiths (2013) also presented analytical expressions of major poverty indices.
The analytical expression of the Gini index for GB2 was derived by McDonald (1984) by using generalized hypergeometric functions. A practical algorithm for the computation was proposed by Graf (2009). However, Chotikapanich et al. (2018) mentioned that “it has been our experience that it is easier computationally to compute the Gini coefficient via numerical integration than to numerically evaluate the (generalized) hypergeometric functions.” In contrast, it is easy to compute the c.d.f. of the standard normal distribution in the analytical expression of the Gini index for the dPLN by using commonly available statistical packages. Furthermore, the analytical expression of the Gini index is also available for a mixture of dPLN distributions (Okamoto, 2012).
1.2 PROOF OF Theorem 1
The discontinuous points of F−1 or H−1 are countable at most, so there exists a sequence {ti} converging from above to t (when i → ∞) s.t. t < ti < u; the tis are continuous points of both F−1 and H−1. As \( \frac{F^{-1}\left({t}_i\right)}{F^{-1}(s)}\ge \frac{H^{-1}\left({t}_i\right)}{H^{-1}(s)} \) and \( \frac{F^{-1}\left({t}_i\right)}{F^{-1}(u)}\le \frac{H^{-1}\left({t}_i\right)}{H^{-1}(u)} \) from (A.6), the following inequalities are derived as the limits:
Hence, F≽IS, tH. Clearly, F≽IS, tH ⇒ F≽P, tH.
For the 2nd assertion, it is sufficient to prove F≽∗H ⇐ F≽P, tH for all 0 < t < 1. From the assumption, \( \frac{1}{F^{-1}(t)}{\int}_t^s{F}^{-1}\left(\tau \right) d\tau \ge \frac{1}{H^{-1}(t)}{\int}_t^s{H}^{-1}\left(\tau \right) d\tau \)and\( \kern0.5em \frac{1}{F^{-1}(s)}{\int}_t^s{F}^{-1}\left(\tau \right) d\tau \le \frac{1}{H^{-1}(s)}{\int}_t^s{H}^{-1}\left(\tau \right) d\tau \), t \( < \) s, for a pair of continuous points of F−1 and H−1; hence,\( \frac{F^{-1}(t)}{H^{-1}(t)}\le \frac{\int_t^s{F}^{-1}\left(\tau \right) d\tau}{\int_t^s{H}^{-1}\left(\tau \right) d\tau}\le \frac{F^{-1}(s)}{H^{-1}(s)} \)holds for that pair. As F−1 and H−1 are left-continuous and their discontinuous points are countable at most,\( \frac{F^{-1}(t)}{H^{-1}(t)}\le \frac{F^{-1}(s)}{H^{-1}(s)} \)is readily shown to hold for any pair of t \( < \) s.
∎
1.3 PROOF OF Theorem 2
If F≼P, tH, the two inequalities in (2.4) are equivalent to
and
From assumption F≽LH, LF(t) ≤ LH(t) must hold. To satisfy the above inequalities for τ = 0, 1 under constraint LF(t) ≤ LH(t),\( {F}_m^{-1}(t)/{m}_F={H}_m^{-1}(t)/{m}_H \) and LF(t) = LH(t) must hold. The converse is easily proven.∎
1.4 PROOF OF Theorem 3
For the proof, I state three lemmas.
1.5 Lemma A1. Assume the quantile function F −1(t; θ) is continuously differentiable in parameter θ; then, F(∙; θ 1)≽∗ F(∙; θ 2) for all θ 1 < θ 2 or θ 1 > θ 2 is equivalent to the condition that \( \frac{1}{F^{-1}\left(t;\theta \right)}\frac{\partial }{\partial \theta }{F}^{-1}\left(t;\theta \right) \) is monotonically decreasing or increasing in t for all θ, respectively.
-
PROOF: The proof is given in the case of F(∙; θ1)≽∗F(∙; θ2) for all θ1 \( < \) θ2. The proof is similar in the case of F(; θ1)≽∗F(; θ2) for all θ1 \( < \) θ2. For θ1 \( < \) θ2,
By making θ2 ↘ θ1 after dividing by θ2 − θ1 in the rightmost inequality of (A.9), the following inequality is derived:
Hence, \( \frac{1}{F^{-1}\left(t;\theta \right)}\frac{\partial }{\partial \theta }{F}^{-1}\left(t;\theta \right) \) is monotonically decreasing in t for all θ. Conversely, by integrating inequality (A.10) (after replacing θ1 with θ) on the interval [θ1, θ2], the inequalities in (A.9) are derived.
∎
1.6 Lemma A2. Ξ(z) ≔ (zΦ(z) + ϕ(z))/Φ(z), − ∞ < z < ∞, is positive and strictly monotonically increasing.
-
PROOF: As \( \frac{d}{dz}\left[z\Phi (z)+\phi (z)\right]=\Phi (z)>0 \) and zΦ(z) + ϕ(z) → 0 when z → − ∞, \( z\Phi (z)+\phi (z)={\int}_{-\infty}^z\Phi (w) dw>0 \). Then, as \( \frac{d}{dz}\log \frac{\Phi (z)}{\phi (z)}=\frac{z\Phi (z)+\phi (z)}{\Phi (z)}=\Xi (z)>0 \), \( \frac{\Phi (z)}{\phi (z)} \) is (positive and) strictly monotonically increasing. Hence, Ξ(z) is positive and strictly monotonically increasing, from the following eq.:
\( \Xi (z)={\int}_{-\infty}^z\Phi (w) dw/{\int}_{-\infty}^z\phi (w) dw={\int}_{-\infty}^z\frac{\Phi (w)}{\phi (w)}\phi (w) dw/{\int}_{-\infty}^z\phi (w) dw. \) ∎
1.7 Lemma A3. \( R\left(x;\sigma, \alpha, \beta \right):= {x}^{-\alpha -\beta}\Phi \left(\frac{\log x-\alpha {\sigma}^2}{\sigma}\right)/{\Phi}^c\left(\frac{\log x+\beta {\sigma}^2}{\sigma}\right) \), σ > 0, is strictly monotonically increasing in x.
-
PROOF:
As the 1st and 2nd terms on the rightmost side are positive from Lemma A2, the lemma is proven. ∎
1.8 PROOF OF Theorem 3
In the proof below, θ = {μ, σ, α, β} denotes the parameter vector of the dPLN, and xt(θ) denotes the t-quantile F−1(t; θ). As the SO does not depend on the log-scale parameter, we can assume μ = 0 without loss of generality. As xt(θ) changes under the constraint t = F(xt(θ); θ) when α changes, the following eqs. hold:
In the above,\( \frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\alpha} \) denotes the partial derivative of xt(θ) in α under the constraint t = F(xt(θ); θ). By using the notation for the ordinary derivative, I distinguish it from the partial derivative in α without constraints. From the above eqs.,
where \( {z}_{\alpha }=\frac{\log {x}_t-\alpha {\sigma}^2}{\sigma } \) and \( {z}_{\beta }=\frac{\log {x}_t+\beta {\sigma}^2}{\sigma } \). By dividing the numerator and denominator by \( \frac{a}{\alpha +\beta }{x}_t^{\beta }{e}^{\beta^2{\sigma}^2/2}{\Phi}^c\left({z}_{\beta}\right) \), we obtain
From Lemmas A2 and A3, \( \frac{1}{x_t\left(\boldsymbol{\theta} \right)}\frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\alpha} \) is monotonically decreasing in xt and hence in t. By a similar derivation, \( \frac{1}{x_t\left(\boldsymbol{\theta} \right)}\frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\beta} \) is expressed as follows:
From Lemmas A2 and A3,\( \frac{1}{x_t\left(\boldsymbol{\theta} \right)}\frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\alpha} \)is monotonically decreasing in t. Similarly,\( \frac{1}{x_t\left(\boldsymbol{\theta} \right)}\frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\sigma} \)is expressed as follows:
From Lemma A3, \( \frac{1}{x_t\left(\boldsymbol{\theta} \right)}\frac{d{x}_t\left(\boldsymbol{\theta} \right)}{d\sigma} \) is monotonically increasing in t.
By applying Lemma A1 for σ, α, and β successively, the theorem is proven. ∎
1.9 PROOF OF Theorem 5
It is sufficient to prove the theorem for the case of F1≽LF2. If F1≽LF2, then, as the GE indices are consistent with the LO, GEε(F1) ≥ GEε(F2). Hence, from the analytical expression of the GE index (A.3),
Suppose α1 \( > \) α2; then, the right hand goes to infinity when k ↗ α2(\( > \)1), whereas the left hand is bounded. This is a contradiction. Similarly, the supposition that β1 \( > \) β2 leads to a contradiction when k ↘ − β2(\( < \)0). ∎
1.10 PROOF OF (3.6)
From (3.4), for an L-symmetric pair of F and H,
From (A.11), for ε ≠ 0, 1,
and, for ε = 0, 1,
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Okamoto, M. Lorenz and Polarization Orderings of the Double-Pareto Lognormal Distribution and Other Size Distributions. Sankhya B 84, 548–574 (2022). https://doi.org/10.1007/s13571-021-00264-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13571-021-00264-z
Keywords
- Distributional changes
- Double Pareto lognormal distribution
- Income distribution
- Parametric models
- Star-shaped order
- Stochastic orders