Recent developments on the construction of bivariate distributions with fixed marginals

Abstract

Constructing a bivariate distribution with specific marginals and correlation has been a challenging problem since 1930s. In this survey we shall focus on the recent developments on the FGM-related distributions, including Sarmanov and Lee’s distributions, Baker’s distributions and Bayramoglu’s distributions. This complements the most recent works of (i) the review by Sarabia and Gómez-Déniz (2008, SORT) and (ii) the monograph by Balakrishnan and Lai (2009, Springer). Some new results are provided.

Mathematics Subject Classification (2000)

62H20; 62H86; 62G30; 60E05; 62E10

1 Introduction and a brief history

In both statistical theory and practice, we often need to construct a joint distribution with specific marginals and correlation. Ever since Wigner (1932) and Eyraud (1936), it has been an active and challenging topic. Its field of applications is wide ranging. It encompasses physics, economics, engineering, risk analysis, medicine etc. There is no dearth of interesting real life examples. Only recently Takeuchi (2010) constructed a bivariate distribution having specific marginals and certain degrees of correlation to model the joint behavior of far-infrared and far-ultraviolet galaxy luminosity. Danaher and Smith (2011) studied the interaction between a firm’s total amount of purchase (log-normal distribution) and the time since last purchase (exponential distribution). For applications in reliability theory, see for example Li et al. (2013) and the references therein.

Since 1990 there have been seven conferences devoted to this topic: 1990 (Rome, Italy), 1993 (Seattle, USA), 1996 (Prague, Czech Republic), 2000 (Barcelona, Spain), 2004 (Québec, Canada), 2007 (Tartu, Estonia), and 2010 (São Paulo, Brazil), averaging one in every three to four years. The papers presented in the conferences during the period 1990-2000 have all appeared in monographs, edited by Dall’Aglio et al. (1991), Rüschendorf et al. (1996), Beněs and Štěṕan (1997), and Cuadras et al. (2002), respectively. As for the 2004 and 2007 ones, they were published as special issues of Insurance: Mathematics and Economics (August 2005), The Canadian Journal of Statistics (September 2005) and Journal of Statistical Planning and Inference (November 2009). We have yet to find any documentation for the 2010 conference.

There were three survey papers: Lai (2004; 2006) and Sarabia and Gómez-Déniz (2008). The latest monograph by Balakrishnan and Lai (2009) provided an excellent overview. As for the continuous multivariate version, there were Kotz et al. (2000) and Kotz and Nadarajah (2004). For the discrete version, see Johnson et al. (1997), Gómez-Déniz et al. (2012) and Sarabia and Gómez-Déniz (2011), among others. Then there were Cuadras (1992) and Dolati and Úbeda-Flores (2005) for constructing distributions with given multivariate marginals and given dependence structure.

Section 2 is a review of some basic properties of the bivariate distributions with fixed marginals. Then, in Sections 3 to 6, we will focus on the recent developments on the FGM-related distributions, including Sarmanov and Lee’s distributions, Baker’s distributions and Bayramoglu’s distributions. Some new results are provided. This complements the most recent works mentioned above. Finally, in Section 7 we briefly discuss some other related distributions.

2 The natural bounds of the correlations

We first recall an important fundamental result due to Hoeffding (1940) and Fréchet (1951) independently. Let H (x,y) = Pr(X ≤x, Y ≤ y) be the joint distribution of any pair (X,Y) of random variables whose marginals are F (x) = Pr(X ≤ x) and G (y) = Pr(Y ≤ y). We write (X,Y) ∼ H, X ∼ F, Y ∼ G. Then the bivariate distribution H satisfies the following inequality:

\begin{array}{l}\text{max}\{0,F(x)+G(y)-1\}\equiv H_{-}(x,y)\\ \le & H(x,y)\le H_{+}(x,y)\equiv \text{min}\left\{F\right(x),G(y\left)\right\},x,y\in R\equiv (-\infty ,\infty ),\end{array}

(1)

where the extremal distributions H₊ and H_- are known as the Fréchet–Hoeffding upper and lower bounds, respectively.

To generate a pair of random variables obeying the extremal distributions, we start with Z∼ U(0,1), the uniform distribution on (0,1), and note that (F^-1(Z), G^-1(Z)) ∼ H₊ and (F^{- 1}(Z), G^{- 1}(1 - Z)) ∼ H_- , where F^{- 1}(t) = inf {x : F (x) ≥ t}, t ∈ (0,1), is the quantile function of F. Take for example F = G = U (0,1). Then (Z,Z) ∼ H₊ with H₊(x,y) = min {x,y} and (Z, 1 - Z)∼H_- with H_-(x,y)= max{0,x+y-1}. We see that for this special case, both H₊ and H_- are singular bivariate distributions, with the entire mass concentrated on the lines y = x or y = - x, respectively (see Lin and Huang 2010, and the references therein).

The inequality (1) for H implies that Cov(H_-) ≤ Cov (H) ≤ Cov(H₊) by the Hoeffding representation for covariance:

\begin{array}{l}\text{Cov}\left(H\right)\equiv \text{Cov}(X,Y)=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[H\right(x,y)-F(x\left)G\right(y\left)\right]\mathit{\text{dxdy}},\end{array}

(2)

whenever the double integral exists and is finite. It then follows that

\begin{array}{l}\rho \left(H_{-}\right)\le \rho \left(H\right)\le \rho \left(H_{+}\right),\end{array}

(3)

where ρ (H) denotes the correlation of any pair of random variables (X,Y) ∼ H (or, simply, the correlation of H). Writing μ and σ for the mean and the standard deviation of the random variable appearing as a subscript, we see that the maximum correlation can be expressed explicitly in terms of the quantile functions of the marginals:

\rho \left(H_{+}\right)=\left(\underset{0}{\overset{1}{\int }}{F}^{-1}\left(t\right)G^{-1}\left(t\right)\mathit{\text{dt}}-{\mu }_X{\mu }_Y\right)/\left({\sigma }_X{\sigma }_Y\right)\le 1.

Moreover, ρ (H₊) = 1 iff the marginals F and G are of the same type, namely, F(x) = G (a x + b) on R for some a > 0 and b ∈ R. Similarly, we have

\rho \left(H_{-}\right)=\left(\underset{0}{\overset{1}{\int }}{F}^{-1}\left(t\right)G^{-1}(1-t)\mathit{\text{dt}}-E\left(X\right)E\left(Y\right)\right)/\left({\sigma }_X{\sigma }_Y\right)\ge -1,

and ρ (H_-) = - 1 iff the distributions of X and - Y are of the same type.

3 FGM distributions

To construct a bivariate distribution with fixed marginals, a well known method is the FGM distribution, dating back to Eyraud (1936), Farlie (1960), Gumbel (1960) and Morgenstern (1956). Let (X,Y) ∼ H, X ∼ F and Y ∼ G. The bivariate distribution

\begin{array}{l}H(x,y)=F\left(x\right)G\left(y\right)\{1+\alpha \overline{F}(x\left)\overline{G}\right(y\left)\right\},x,y\in R,\end{array}

(4)

is called the FGM distribution, where \overline{F}=1-F,\overline{G}=1-G and α is a parameter such that H is a bona fide bivariate distribution.

The advantage of the FGM distribution is its simplicity. Its drawback is the lack of flexibility. As was pointed out by Schucany et al. (1978), for absolutely continuous marginals the correlation in FGM is restricted to the interval [-1/3,1/3], which is a far cry from the full range [-1,1] enjoyed by the bivariate normal. Schucany et al.’s condition of absolute continuity was later relaxed by Lin (1987) to just continuity.

To alleviate the deficiency, Johnson and Kotz (1975) proposed the ‘iterated’ FGM distribution:

H_k(x,y)=F\left(x\right)G\left(y\right)+\sum _{j=1}^k{\alpha }_j{\left(F\right(x\left)G\right(y\left)\right)}^{\lfloor j/2\rfloor +1}{\left(\overline{F}\right(x\left)\overline{G}\right(y\left)\right)}^{\lfloor (j+1)/2\rfloor },x,y\in R,

where ⌊z⌋ denotes the greatest integer less than or equal to z, and k = 1,2,3,….

For k = 1, it reverts back to the plain FGM, where |α₁| ≤ 1 if both F and G are continuous. For k = 2 the iterated FGM takes the form (Huang and Kotz 1984, 1999)

\begin{array}{l}H(x,y)=F\left(x\right)G\left(y\right)+{\alpha }_{1}F\left(x\right)G\left(y\right)\overline{F}\left(x\right)\overline{G}\left(y\right)+{\alpha }_2{\left[F\right(x\left)G\right(y\left)\right]}^2\overline{F}\left(x\right)\overline{G}\left(y\right),x,y\in \mathrm{R.}\end{array}

To ensure that H be a bona fide distribution function, the range of the parameters, however, is more complicated, namely, for continuous marginals,

\left|{\alpha }_1\right|\le 1,{\alpha }_1+{\alpha }_2\ge -1,{\alpha }_2\le 2^{-1}\left\{3-{\alpha }_1+{(9-6{\alpha }_1-3{\alpha }_1^2)}^{1/2}\right\}.

(See also Lin 1987.) Take F = G = U (0,1) for the sake of comparison, the iteration succeeded in extending the range to -\frac{1}{3}\le \rho \le 0.434 from the previous -\frac{1}{3}\le \rho \le \frac{1}{3} of the plain FGM.

The iteration, however, was little studied beyond the k = 2 case due to the difficulty in determining the admissible range of the parameters α _j .

There were several other extensions of the FGM distribution, but the improvement in correlation was still limited (see, e.g., Balakrishnan and Lai 2009). To accommodate higher flexibility we turn to two other classes: (i) Sarmanov and Lee’s distribution (Sarmanov 1966, Lee 1996) and its generalization and (ii) Baker’s distribution (Baker 2008) and its generalization.

4 Sarmanov and Lee’s distributions

The joint density of a Sarmanov–Lee distribution is given by

\begin{array}{l}h(x,y)=f\left(x\right)g\left(y\right)\{1+\alpha {\theta }_1(x\left){\theta }_2\right(y\left)\right\},x,y\in R,\end{array}

(5)

where f and g are the densities of the marginals F and G, while θ₁ and θ₂ are measurable functions satisfying the condition

1+\alpha {\theta }_1\left(x\right){\theta }_2\left(y\right)\ge 0\text{and}E\left({\theta }_1\right(X\left)\right)=E\left({\theta }_2\right(Y\left)\right)=0,

which serves to ensure that h is a bona fide joint density.

When the marginals F and G are absolutely continuous, setting θ₁ = 1 - 2F and θ₂ = 1 - 2G shows that FGM is a special case of the Sarmanov–Lee.

Shubina and Lee (2004) showed that the maximum positive correlation of (5) is effected by concentrating all its mass on the (NE-SW) quadrants: {(x,y):(x - x₀)(y - y₀) ≥ 0}, and for the negative, on the (NW-SE) quadrants: {(x,y):(x - x₀)(y - y₀) ≤ 0}, for some real numbers x₀ and y₀.

The improvement in correlation is substantial. The maximum correlation, for the uniform marginals case, is 3/4 as opposed to 1/3 of the plain FGM and 0.434 of the (k=2) iterated FGM.

To further extend the Sarmanov–Lee family (5), a ‘generalized’ Sarmanov–Lee was proposed by Bairamov et al. (2001),

\begin{array}{l}h(x,y)=f\left(x\right)g\left(y\right)\left\{1+\mathrm{\alpha T}\left(F\right(x),G(y\left)\right)\right\},x,y\in R,\end{array}

(6)

where the product function θ₁(x) θ₂(y) in (5) is replaced by T (F (x),G (y)) in which T is an integrable bivariate function on [0,1]², satisfying

\begin{array}{l}\underset{0}{\overset{1}{\int }}T(u,v)\mathit{\text{du}}=\underset{0}{\overset{1}{\int }}T(u,v)\mathit{\text{dv}}=0\text{and}1+\alpha T\ge 0\text{on}{[0,1]}^2,\end{array}

(7)

and the parameter α satisfies

\begin{array}{l}-{\left[\underset{(u,v)\in D^{+}}{\text{max}}T(u,v)\right]}^{-1}\le \alpha \le {\left[\underset{(u,v)\in D^{-}}{\text{max}}(-T(u,v\left)\right)\right]}^{-1},\end{array}

(8)

where D⁺ = {(u,v) : T (u,v) > 0} and D^- = {(u,v) : T (u,v) < 0}. Again, the constraints (7) and (8) together guarantee that the function h in (6) is a bona fide bivariate density with marginal densities f and g.

The new class (6) is so rich it contains members arbitrarily close to H₊ and H_-, the two extremal distributions (1) of Fréchet–Hoeffding. It is thus flexible enough to accommodate nearly the maximum positive (negative) correlation. Some simple examples help demonstrate the idea (more can be found in Lin and Huang 2011).

Example 1.

The generalized Sarmanov–Lee density (3 × 3) with uniform marginals. Consider the partitioning of the unit square into 3 × 3= 9 subsquares, induced by the lines x,y = 1/3,2/3. Let the function T be defined by

Then the joint density becomes

Its correlation is ρ (h) = 8/9, which exceeds the maximum, ρ_max = 3/4, of the plain Sarmanov–Lee (with uniform marginals).

Example 2.

The generalized Sarmanov–Lee density (n × n) with uniform marginals. For n = 2,3,4,…, let

and

We have the correlation ρ (h _n ) = 1 - n^-2 → 1 as n → ∞.

Example 3.

The generalized Sarmanov–Lee density (n×n) with exponential marginals. Let

where ln(n/0) ≡ ∞. Our calculations show that ρ(h _n ) ≈ 1 - 1.08/n → 1 as n → ∞.

The convergence to the maximal correlation is not limited to those with uniform or the exponential marginals. It holds for more general cases. The following Theorems 1 through 3 are successively stronger. Only Theorem 3 will be proved, since the others appeared in Lin and Huang (2011).

Let F and G be arbitrary distributions (not necessarily identical nor ‘of the same type’) with densities F^′= f and G^′= g. Define the joint density of (X _n ,Y _n ) by

h_n(x,y)=\left\{\begin{array}{ll}\mathit{\text{nf}}\left(x\right)g\left(y\right),& (x,y)\in \left(F^{-1}\left(\frac{i-1}{n}\right),F^{-1}\left(\frac{i}{n}\right)\right)\times \left(G^{-1}\left(\frac{i-1}{n}\right),G^{-1}\left(\frac{i}{n}\right)\right),\\ i=1,2,\dots ,n,\\ 0,& \text{elsewhere},\end{array}\right.

(9)

where F^{-1}\left(0\right)\equiv {\text{lim}}_{t\to 0^{+}}{F}^{-1}\left(t\right) and F^{-1}\left(1\right)\equiv {\text{lim}}_{t\to 1^{-}}{F}^{-1}\left(t\right) are the left and right extremities of the distribution F, respectively. It qualifies as a generalized Sarmanov–Lee bivariate density (with marginal densities f and g).

Theorem 1.

For F = G, (9) becomes

If F has a finite variance σ², then the correlation is

\rho \left(h_n\right)=\frac{1}{{\sigma }^2}\left[n\sum _{i=1}^n{\left(\underset{F^{-1}\left(\frac{i-1}{n}\right)}{\overset{F^{-1}\left(\frac{i}{n}\right)}{\int }}\mathit{\text{xf}}\left(x\right)\mathit{\text{dx}}\right)}^2-{\left(E\right(X\left)\right)}^2\right],

which converges to ρ (H₊), which is 1 in this case, as n → ∞.

Theorem 2.

If in (9), X and Y satisfy any of the conditions:

•  F^{- 1} or G^{- 1} is uniformly continuous on (0,1),

•  a≤X, a^′ ≤ Y a.s., (iii) X ≤b, Y ≤ b^′a.s.,

•  X ≥ a, Y ≤ b a.s. and F^{- 1},G^{- 1} have continuous derivatives, where a, b, a^′, b^′ ∈ R,

then ρ (h _n ) converges to ρ (H₊) as n → ∞.

Remarks 1.

Theorem 1 follows immediately from a general result, which is interesting in its own right: For any X ∼ F with finite E (X²),

S_n\equiv n\sum _{i=1}^n{\left(\underset{\frac{i-1}{n}}{\overset{\frac{i}{n}}{\int }}{F}^{-1}\left(t\right)\mathit{\text{dt}}\right)}^2\to \underset{0}{\overset{1}{\int }}{\left(F^{-1}\left(t\right)\right)}^2\mathit{\text{dt}}=E\left(X^2\right)\text{as}n\to \infty .

The proofs of Remarks 1 and Theorem 2 are based on the following two lemmas.

Lemma 1.

(Chebyshev’s inequality for integrals.) Let f₁, f₂ : (a,b) → R be both increasing or both decreasing, and let p : (a,b) → (0,∞) be an integrable function. Then

\underset{a}{\overset{b}{\int }}p\left(x\right)f_1\left(x\right)\mathit{\text{dx}}\underset{a}{\overset{b}{\int }}p\left(x\right)f_2\left(x\right)\mathit{\text{dx}}\le \underset{a}{\overset{b}{\int }}p\left(x\right)\mathit{\text{dx}}\underset{a}{\overset{b}{\int }}p\left(x\right)f_1\left(x\right)f_2\left(x\right)\mathit{\text{dx}},

provided that all integrals exist and are finite.

Remarks 2.

An extension of this inequality can be rephrased in probabilistic terms: Let X be any random variable and let f₁, f₂ be both increasing or both decreasing, then the covariance Cov(f₁(X), f₂(X)) = E [f₁(X)f₂(X)] - E [f₁(X)]E [f₂(X)] is non-negative, provided that the expectations E[f₁(X)], E [f₂(X)] and E [f₁(X)f₂(X)] exist.

Lemma 2.

(Euler–Maclaurin summation formula.) Let m < n be positive integers and let f be a real-valued function on [m,n]. Then we have(i) if f has a continuous derivative on [m,n],

\sum _{k=m}^{n}f\left(k\right)=\underset{m}{\overset{n}{\int }}f\left(x\right)\mathit{\text{dx}}+\frac{1}{2}\left(f\right(m)+f(n\left)\right)+\underset{m}{\overset{n}{\int }}{f}^{\prime }\left(x\right)(x-\lfloor x\rfloor -\frac{1}{2})\mathit{\text{dx}};

(ii) if f has a continuous derivative of order 4,

\sum _{k=m}^{n}f\left(k\right)=\underset{m}{\overset{n}{\int }}f\left(x\right)\mathit{\text{dx}}+\frac{1}{2}\left(f\right(m)+f(n\left)\right)+\frac{1}{12}\left(f^{\prime }\right(n)-f^{\prime }(m\left)\right)+R\left(f\right),

where the remainder R\left(f\right)=\frac{1}{24}\underset{m}{\overset{n}{\int }}{f}^{\left(4\right)}\left(x\right)(B_4-B_4(x-\lfloor x\rfloor \left)\right)\mathit{\text{dx}} in which B_4\left(x\right)=x^4-2x^3+x^2-\frac{1}{30} is the Bernoulli polynomial and B₄ = B₄(0) = - 1/30 the Bernoulli number.

Theorem 3.

For arbitrary marginals F and G with densities F^′= f and G^′= g, we have (i) the distribution H _n of (9) converges weakly to H₊ as n → ∞, and (ii) the correlation of H _n converges to that of H₊ as n → ∞, provided that F and G have finite variances.

Proof.

Note that the support of (9) is contained in the region bounded by the two curves G\left(y\right)=F\left(x\right)+\frac{1}{n} and G\left(y\right)=F\left(x\right)-\frac{1}{n}. Therefore for any (x,y) in the region G (y) > F (x), we have Pr(X _n < x, Y _n > y) = 0 for all large n (n ≥ (G (y) - F (x))^-1). This implies that H _n (x,y) = Pr(X _n ≤ x, Y _n ≤ y)= Pr(X _n ≤ x) - Pr (X _n ≤ x, Y _n > y) = Pr (X _n ≤ x) = F (x) = min {F (x),G (y)} = H₊(x,y) for all n ≥ (G (y) - F (x))^-1. Likewise, for each (x,y) in the region G (y) < F(x) we have H _n (x,y) = G (y) = min {F (x),G (y)} = H₊(x,y) for all large n. Finally, for each (x,y) with G (y) = F(x), F\left(x\right)-\frac{1}{n}\le H_n(x,y)\le F\left(x\right) for all n, and {\text{lim}}_{n\to \infty }{H}_n(x,y)=F\left(x\right)=G\left(y\right)=H_{+}(x,y). All together, we see that in all three cases, we have {\text{lim}}_{n\to \infty }{H}_n(x,y)=H_{+}(x,y). This proves part (i). Part (ii) follows from the next lemma which can be proved by using Hölder’s inequality (see, e.g., the proof of Theorem 4 in Dou et al. 2013). □

Lemma 3.

Let (X _n ,Y _n ) ∼ H _n be a sequence of bivariate random variables and X _n ∼ F, Y _n ∼ G for all n ≥ 1. Assume that (X _n ,Y _n ) converges in distribution to (X₀,Y₀) ∼ H₀ as n tends to infinity. If, in addition, E[|X _n |^{p + q}], E[|Y _n |^{p + q}] < ∞ for some positive integers p and q, then

{\text{lim}}_{n\to \infty }E\left[X_n^p{Y}_n^q\right]=E\left[X_0^p{Y}_0^q\right].

Remarks 3.

We wondered if the convergence of Theorem 3(ii) is monotone. Indeed, ρ (H _m ) ≥ ρ (H _n ) if m is a multiple of n (say, m = k n). To see this, write from (9)

E\left(X_n{Y}_n\right)=n\sum _{i=1}^n\left(\underset{(i-1)/n}{\overset{i/n}{\int }}{F}^{-1}\left(t\right)\mathit{\text{dt}}\right)\left(\underset{(i-1)/n}{\overset{i/n}{\int }}{G}^{-1}\left(t\right)\mathit{\text{dt}}\right)\equiv n\sum _{i=1}^n{A}_i{B}_i,

where

\begin{array}{lll}{A}_i{B}_i& =& \sum _{j=1}^k\left(\underset{(i-1)/n+(j-1)/\left(\mathit{\text{kn}}\right)}{\overset{(i-1)/n+j/\left(\mathit{\text{kn}}\right)}{\int }}{F}^{-1}\left(t\right)\mathit{\text{dt}}\right)\sum _{j=1}^k\left(\underset{(i-1)/n+(j-1)/\left(\mathit{\text{kn}}\right)}{\overset{(i-1)/n+j/\left(\mathit{\text{kn}}\right)}{\int }}{G}^{-1}\left(t\right)\mathit{\text{dt}}\right)\\ \equiv & \sum _{j=1}^k{a}_{\mathit{\text{ij}}}\sum _{j=1}^k{b}_{\mathit{\text{ij}}}\le k\sum _{j=1}^k{a}_{\mathit{\text{ij}}}{b}_{\mathit{\text{ij}}},\end{array}

by Chebyshev’s sum inequality (see, e.g., Dou et al. 2013, Lemma 1). This in turn implies that E (X _m Y _m ) ≥ E(X _n Y _n ) and hence ρ (H _m ) ≥ ρ(H _n ). That the sequence {\{\rho (H_n\left)\right\}}_{n=1}^{\infty } fails to be monotonically increasing can be seen from the following counterexample. Let f = g,f (x) = 1/6 if 0 ≤ a ≤ |x| ≤ a + 3, and f (x) = 0 otherwise. We have ρ (H₃) < ρ (H₂) for a>(-1+\sqrt{6})/2.

For certain marginals, the rate of convergence of Theorem 3(ii) can be determined (Lin and Huang 2011 and Theorem 4 below). The calculation is based on the following. Note that the correlation of two random variables is location-scale invariant.

Lemma 4.

For positive integer n > 1, we have (i)(ii)\sum _{k=1}^n{k}^2{(lnk)}^2=\frac{1}{3}{n}^3{(lnn)}^2-\frac{2}{9}{n}^{3}lnn+\frac{2}{27}{n}^3+\frac{1}{2}{n}^2{(lnn)}^2+\frac{1}{6}n{(lnn)}^2+\frac{1}{6}nlnn+R_2\left(n\right), where R₂(n) = (1) as n → ∞; (iii)\sum _{k=1}^{n}k(k+1)(lnk)ln(k+1)=\frac{1}{3}{n}^3(lnn)ln(n+1)-\frac{1}{9}{n}^3(lnn+ln(n+1\left)\right)+\frac{2}{27}{n}^3+n^2(lnn)ln(n+1)-\frac{1}{4}{n}^{2}ln(n+1)-\frac{1}{12}{n}^{2}lnn+\frac{2}{3}n(lnn)ln(n+1)+\frac{1}{9}{n}^2+\frac{1}{12}(lnn)ln(n+1)+\frac{1}{4}nlnn+\frac{1}{12}(n+1)ln(n+1)-\frac{11}{36}n-\frac{1}{12}{(lnn)}^2+\frac{5}{36}ln(n+1)+R_3\left(n\right),\text{where}{R}_3\left(n\right)=\mathcal{O}\left(1\right) as n → ∞.

Remarks 4.

Recall that the Euler constant \gamma ={\text{lim}}_{n\to \infty }\left(\sum _{k=1}^{n}1/k-lnn\right)\approx 0.57721. Interestingly, each of the three remainder terms in Lemma 4 also converges to a real constant as n → ∞, say {\text{lim}}_{n\to \infty }{R}_i\left(n\right)=R_i,i=1,2,3. In fact, R₁ = lnA ≈ 0.24875, where A ≈ 1.28243 is the so-called Glaisher–Kinkelin constant, and lnA can be represented as

\begin{array}{lll}lnA& =& \frac{1}{4}+\frac{1}{24}\underset{1}{\overset{\infty }{\int }}{f}_1^{\left(4\right)}\left(x\right)h\left(x\right)\mathit{\text{dx}}\\ =& \frac{1}{4}+\frac{1}{24}\sum _{k=1}^{\infty }\underset{0}{\overset{1}{\int }}{f}_1^{\left(4\right)}(x+k)[-x^2{(x-1)}^2]\mathit{\text{dx}}\\ =& \frac{1}{4}+\frac{1}{12}\sum _{k=1}^{\infty }\{6k+3-(6k^2+6k+1)ln(1+1/k\left)\right\},\end{array}

where f₁(x) = x lnx and h (x) = B₄- B₄(x - ⌊ x ⌋). Similarly,

\begin{array}{l}{R}_2=-\frac{2}{27}+\frac{1}{24}\underset{1}{\overset{\infty }{\int }}{f}_2^{\left(4\right)}\left(x\right)h\left(x\right)\mathit{\text{dx}}\approx -0.06576,\\ R_3=\frac{1}{18}ln2+\frac{13}{108}+\frac{{\pi }^2}{72}+\frac{1}{24}\underset{1}{\overset{\infty }{\int }}\underset{3}{\overset{\left(4\right)}{f}}\left(x\right)h\left(x\right)\mathit{\text{dx}}\\ =0.295956+\frac{1}{24}\underset{1}{\overset{\infty }{\int }}{f}_3^{\left(4\right)}\left(x\right)h\left(x\right)\mathit{\text{dx}}\approx 0.303,\end{array}

where f₂(x) = x²(lnx)² and f₃(x) = x (x + 1)(lnx) ln(x + 1).

Theorem 4.

(i) If F is uniform and if G is a power function distribution, then the convergence rate of ρ (h _n ) in (9) is 1/n² as n → ∞. (ii) If F = U(0,1) and if G is exponential, then the convergence rate of ρ (h _n ) is (lnn)/n² as n → ∞. More precisely, \rho \left(h_n\right)=\sqrt{3}/2-{\left(2\sqrt{3}\right)}^{-1}(lnn)/n^2+\mathcal{O}\left(n^{-2}\right) as n → ∞. (iii) If F = U(0,1) and if G is logistic, then the convergence rate of ρ (h _n ) is (lnn)/n² as n → ∞. More precisely, ρ (h _n ) = 3/π - π^{- 1}(lnn)/n²+ (n^{- 2}) as n → ∞. (iv) If F = G is exponential, then ρ(h _n ) = 1+(n^{- 1}) as n → ∞.

It is interesting to characterize the FGM and Sarmanov–Lee distributions by minimizing the χ² divergence. Let h be the joint density of X and Y with marginal densities f = F^′ and g = G^′. Define the χ² divergence (distance) between the joint density h and the product density fg (of independent random variables) by

\begin{array}{l}{\chi }^2(h;f,g)={\int \int }_{S_F\times S_G}{\left[\frac{h(x,y)}{f\left(x\right)g\left(y\right)}-1\right]}^{2}f\left(x\right)g\left(y\right)\mathit{\text{dxdy}},\end{array}

(10)

where S _F and S _G are the supports of F and G, respectively.

Nelsen (1994) obtained a characterization of the FGM distributions by minimizing the χ² divergence (10). Huang and Lin (2011) extended Nelsen’s (1994) result to the case of Sarmanov–Lee distributions. For i=1,2, consider the functions {\theta }_i^{\ast }:[0,1]\to [-1,1] satisfying

\begin{array}{l}\underset{0}{\overset{1}{\int }}{\theta }_i^{\ast }\left(u\right)\mathit{\text{du}}=0,\underset{0}{\overset{1}{\int }}{\left({\theta }_i^{\ast }\right(u\left)\right)}^2\mathit{\text{du}}=c_i>0,\underset{u\in [0,1]}{\text{sup}}{\theta }_i^{\ast }\left(u\right)=1,\underset{u\in [0,1]}{\text{inf}}{\theta }_i^{\ast }\left(u\right)=-h_i,\end{array}

(11)

where h _i ∈ (0,1]. Then we have the following.

Theorem 5.

Among all absolutely continuous bivariate distributions with marginal densities f = F^′ and g = G^′, the one whose joint density is closest to the product density of independent random variables (in the sense of minimizing the χ² divergence) subject to the constraint E\left[{\theta }_1^{\ast }\left(F\right(X\left)\right){\theta }_2^{\ast }\left(G\right(Y\left)\right)\right]=c_0, where -1\le \frac{c_0}{c_1{c}_2}\le {\left(\text{max}\{h_1,h_2\}\right)}^{-1} and {\theta }_i^{\ast },c_i,h_i,i=1,2, are given in (11), is the Sarmanov–Lee distribution having joint density

h(x,y)=f\left(x\right)g\left(y\right)\left\{1+\frac{c_0}{c_1{c}_2}{\theta }_1^{\ast }\left(F\right(x\left)\right){\theta }_2^{\ast }\left(G\right(y\left)\right)\right\},x,y\in R.

The Sarmanov–Lee distribution and its generalization have been used in actuarial science, financial markets, electrical engineering and quantum statistical mechanics (see the references in Lin and Huang 2011). For example, Hernández-Bastida and Fernández-Sánchez (2012) applied a Sarmanov–Lee family to the Bayes premium in a collective risk model. In the analysis of longitudinal data, Cole et al. (1995) used a Sarmanov–Lee bivariate distribution for transition probabilities in a two-state Markov model and developed an empirical Bayes estimation methodology. Recently, Pelican and Vernic (2013a; 2013b) studied the parameter estimation problems for the Sarmanov–Lee distribution.

5 Baker’s distributions

Write X_k,n∼ F_k,n for the k th smallest order statistic of the random sample {\left\{X_i\right\}}_{i=1}^n from F. Likewise, let Y_k,n and G_k,n stand for another sequence Y _i ∼ G, {\left\{Y_i\right\}}_{i=1}^n independent of {\left\{X_i\right\}}_{i=1}^n. For maximal correlation, Baker (2008) proposed the bivariate distribution

\begin{array}{l}{H}_{+}^{\left(n\right)}(x,y)=\frac{1}{n}\sum _{k=1}^n{F}_{k,n}\left(x\right)G_{k,n}\left(y\right),x,y\in R,\end{array}

(12)

and for the minimum,

\begin{array}{l}{H}_{-}^{\left(n\right)}(x,y)=\frac{1}{n}\sum _{k=1}^n{F}_{k,n}\left(x\right)G_{n-k+1,n}\left(y\right),x,y\in R.\end{array}

(13)

Clearly, both H_{+}^{\left(n\right)} and H_{-}^{\left(n\right)} satisfy the constraint of having F and G as the marginals. The following convex combination of H_{+}^{\left(n\right)} (or H_{-}^{\left(n\right)}), n = 1,2,

\begin{array}{lll}{H}_{q\pm }(x,y)& =& (1-q)H_{\pm }^{\left(1\right)}(x,y)+{\mathit{\text{qH}}}_{\pm }^{\left(2\right)}(x,y)\\ =& F\left(x\right)G\left(y\right)\{1\pm q\overline{F}(x\left)\overline{G}\right(y\left)\right\},x,y\in R,q\in [0,1],\end{array}

is an FGM distribution.

As a generalization of (12) and (13), Baker (2008) also introduced

\begin{array}{l}{H}_{\mathbf{\text{r}}}^{\left(n\right)}(x,y)=\sum _{k=1}^n\sum _{\ell =1}^n{r}_{k,\ell }{F}_{k,n}\left(x\right)G_{\ell ,n}\left(y\right),x,y\in R,\end{array}

(14)

where (r_k,ℓ) = r ∈ which consists of all r satisfying: r_k,ℓ≥ 0 and \sum _{k=1}^n{r}_{k,\ell }=\sum _{\ell =1}^n{r}_{k,\ell }=1/n for all k,ℓ = 1,2,…,n; namely, n r is a doubly stochastic matrix.

If P {(X _n ,Y _n ) = (X_k,n,Y_ℓ,n)}=r_k,ℓ for all k,ℓ, then (X_n,Y_n)\sim H_{\mathbf{\text{r}}}^{\left(n\right)}. A simple application of majorization theory leads to the inequality:

H_{-}(x,y)\le H_{-}^{\left(n\right)}(x,y)\le H_{\mathbf{\text{r}}}^{\left(n\right)}(x,y)\le H_{+}^{\left(n\right)}(x,y)\le H_{+}(x,y),x,y\in R,

and hence

\text{Cov}\left(H_{-}\right)\le \text{Cov}\left(H_{-}^{\left(n\right)}\right)\le \text{Cov}\left(H_{\mathbf{\text{r}}}^{\left(n\right)}\right)\le \text{Cov}\left(H_{+}^{\left(n\right)}\right)\le \text{Cov}\left(H_{+}\right),

\rho \left(H_{-}\right)\le \rho \left(H_{-}^{\left(n\right)}\right)\le \rho \left(H_{\mathbf{\text{r}}}^{\left(n\right)}\right)\le \rho \left(H_{+}^{\left(n\right)}\right)\le \rho \left(H_{+}\right),

provided the variances of F and G are positive and finite.

Unlike the Sarmanov–Lee, all Baker’s distributions retain the same support as that of F×G (and so does FGM). The former also admits discrete F and G.

For (X,Y) ∼ H with continuous marginals F and G, let ρ _s (H)(= 12 E [F (X)G (Y)]-3) and τ(H)(= 4 E [H (X,Y)]-1) be its Spearman’s rho and Kendall’s tau coefficients, respectively (see, e.g., Joe 2001, pp. 31-32). Baker (2008) proved that {\text{lim}}_{n\to \infty }{\rho }_s\left(H_{+}^{\left(n\right)}\right)=1 and {\text{lim}}_{n\to \infty }\tau \left(H_{+}^{\left(n\right)}\right)=1. On the other hand, Lin and Huang (2010) found conditions under which Pearson’s correlation \rho \left(H_{+}^{\left(n\right)}\right) converges to ρ(H₊) as n → ∞. It is also possible to calculate the convergence rate of \rho \left(H_{+}^{\left(n\right)}\right) for some specific marginals. For instance, we have

Theorem 6.

(i) If F is uniform and if G a power function distribution, then the convergence rate of \rho \left(H_{+}^{\left(n\right)}\right) in (12) is 1/n as n → ∞. (ii) If F = U (0,1) and if G is exponential, then the convergence rate of \rho \left(H_{+}^{\left(n\right)}\right) is 1/n as n → ∞. More precisely, \rho \left(H_{+}^{\left(n\right)}\right)=\sqrt{3}/2-\sqrt{3}/n+\mathcal{O}\left(n^{-2}\right) as n → ∞. (iii) If F = U(0,1) and if G is logistic, then the convergence rate of \rho \left(H_{+}^{\left(n\right)}\right) is 1/n as n → ∞. More precisely, \rho \left(H_{+}^{\left(n\right)}\right)=3{\pi }^{-1}-6{\pi }^{-1}/n+\mathcal{O}\left(n^{-2}\right) as n → ∞. (iv) If F = G is exponential, then the convergence rate of \rho \left(H_{+}^{\left(n\right)}\right) is (lnn)/n as n→ ∞. More precisely, \rho \left(H_{+}^{\left(n\right)}\right)=1-\frac{1}{n}\sum _{k=1}^{n}1/k=1-(lnn)/n+\mathcal{O}\left(n^{-1}\right) as n → ∞.

For H_{+}^{\left(n\right)} in (12), Dou et al. (2013) established the weak convergence and the product-moment convergence as well as the TP ₂ property described below. The results for H_{-}^{\left(n\right)} can be derived similarly and are omitted. The next theorem is of interest in its own right.

Theorem 7.

Let (X_n,Y_n)\sim H_{+}^{\left(n\right)} in (12) with marginal densities f and g, and let U_n=\sqrt{n}\left(G\right(Y_n)-F(X_n\left)\right). Then, as n → ∞, (X _n ,U _n ) converges in distribution to (\tilde{X},\tilde{U}) having joint density

\begin{array}{l}k(x,u)=\frac{1}{2\sqrt{\pi F\left(x\right)\overline{F}\left(x\right)}}\text{exp}\left\{-\frac{u^2}{4F\left(x\right)\overline{F}\left(x\right)}\right\}f\left(x\right).\end{array}

The conditional distribution of \tilde{U} given \tilde{X}=x is the normal distribution with mean 0 and variance 2F\left(x\right)\overline{F}\left(x\right), namely,

\tilde{U}{|}_{\tilde{X}=x}\sim N(0,2F(x\left)\overline{F}\right(x\left)\right).

By Theorem 7, we see that for uniform marginals F = G = U (0,1), Baker’s distribution H_{+}^{\left(n\right)} converges weakly to H₊ (with support on the diagonal line y = x) as n → ∞. This can be further extended to the following general case by using the monotone property of distribution functions.

Theorem 8.

For general marginals F and G, Baker’s distribution H_{+}^{\left(n\right)} converges weakly to the Fréchet–Hoeffding upper bound H₊ as n tends to infinity.

Theorem 9.

Let (X_n,Y_n)\sim H_{+}^{\left(n\right)} with general marginals F and G, and let (\tilde{X},\tilde{Y})=\left(F^{-1}\right(Z),G^{-1}(Z\left)\right), where Z ∼ U (0,1). If, in addition, E [|X _n |^{p + q}], E [|Y _n |^{p + q}] < ∞ for some positive integers p and q, then

{\text{lim}}_{n\to \infty }E\left[X_n^p{Y}_n^q\right]=E\left[{\left(\tilde{X}\right)}^p{\left(\tilde{Y}\right)}^q\right]=\underset{0}{\overset{1}{\int }}{\left(F^{-1}\left(t\right)\right)}^p{\left(G^{-1}\left(t\right)\right)}^q\mathrm{dt}.

Corollary 1.

If F and G have finite non-zero variances, {\text{lim}}_{n\to \infty }\rho \left(H_{+}^{\left(n\right)}\right)=\rho \left(H_{+}\right).

The main tool in the proof of Theorem 7 is the following generalization of the so-called local limit theorem for binomial distribution, which is also of interest in itself.

Lemma 5.

Let 0 < p,q < 1 be constants such that p + q = 1, and let u ∈ R be a constant. Let ψ be a function such that ψ (n) = o (n^1/6) as n → ∞. Write k=\mathit{\text{np}}+y_k\sqrt{\mathit{\text{npq}}}\in \{0,1,2,\dots ,n\}. Then, as n → ∞,

\left(\genfrac{}{}{0ex}{}{n}{k}\right){\left(p+\frac{u}{\sqrt{n}}\right)}^k{\left(q-\frac{u}{\sqrt{n}}\right)}^{n-k}\approx \frac{1}{\sqrt{2\pi \text{npq}}}\text{exp}\left\{-\frac{1}{2}{\left(y_k-\frac{u}{\sqrt{\mathit{\text{pq}}}}\right)}^2\right\}

(15)

(asymptotically) uniformly in y _k such that |y _k | ≤ ψ (n). Namely, the left-hand side a _n (k) and the right-hand side b _n (y _k ) in (15) satisfy

\underset{\{k:|y_k|\le \psi (n\left)\right\}}{\text{sup}}\left|a_n\right(k)/b_n(y_k)-1|\to 0\text{as}n\to \infty .

Recall that a real-valued function k on R² is totally positive of order two (TP ₂), a notion of strong positive dependence, if k (x₁,y₁)k (x₂,y₂)≥ k(x₁,y₂)k (x₂,y₁) for all x₁≤ x₂, y₁≤ y₂.

Theorem 10.

For general distributions F and G, Baker’s distribution H_{+}^{\left(n\right)} is TP ₂.

Finally, if we allow the two sample sizes in (14) to be different, say m and n, then the resulting bivariate distribution is

\begin{array}{l}{H}_{\mathbf{\text{r}}}^{(m,n)}(x,y)=\sum _{k=1}^m\sum _{\ell =1}^n{r}_{k,\ell }{F}_{k,m}\left(x\right)G_{\ell ,n}\left(y\right)=C\left(F\right(x),G(y);\mathbf{\text{r}}),\end{array}

(16)

where C is a Bernstein copula and the parameters r_k,ℓ satisfy

\sum _{\ell =1}^n{r}_{k,\ell }=\frac{1}{m},\sum _{k=1}^m{r}_{k,\ell }=\frac{1}{n},r_{k,\ell }\ge 0,1\le k\le m,1\le \ell \le n.

Because of the Weierstrass approximation theorem, we can use H_{\mathbf{\text{r}}}^{(m,n)} in (16) to approximate smooth bivariate distributions. Moreover, since (16) is a finite mixture distribution, the EM algorithm applies to the estimation of the parameters r_k,ℓ of H_{\mathbf{\text{r}}}^{(m,n)}. Dou et al. (2014) took these advantages and succeeded in fitting Baker’s distributions to some practical data sets including the Illinois state education data.

6 Bayramoglu’s distributions

In this section, we extend Baker’s distributions by an alternative approach. Starting with any joint distribution H with marginals F and G (e.g., the FGM distribution (4)), let (X₁,Y₁),…,(X _n ,Y _n ) be a random sample of size n from H. As before, sorting {\left\{X_{\ell }\right\}}_{\ell =1}^n and {\left\{Y_{\ell }\right\}}_{\ell =1}^n, we obtain the order statistics X_1,n≤ X_2,n≤ ⋯ ≤ X_n,n and Y_1,n≤ Y_2,n≤ ⋯ ≤ Y_n,n, respectively, and again, write X_r,n∼ F_r,n, Y_s,n∼ G_s,n.

Instead of Baker’s H_{+}^{\left(n\right)} and H_{-}^{\left(n\right)}, Bairamov and Bayramoglu (2013) proposed

\begin{array}{l}{K}_{+}^{\left(n\right)}(x,y)=\frac{1}{n}\sum _{r=1}^{n}Pr(X_{r,n}\le x,Y_{r,n}\le y),x,y\in R,\end{array}

(17)

\begin{array}{l}{K}_{-}^{\left(n\right)}(x,y)=\frac{1}{n}\sum _{r=1}^{n}Pr(X_{r,n}\le x,Y_{n-r+1,n}\le y),x,y\in R,\end{array}

(18)

both having marginals F and G. We see that if H (x,y) = F (x) G (y) for all x,y, namely, if X and Y are independent, then Pr(X_r,n≤ x, Y_s,n≤ y) = F_r,n(x)G_s,n(y) for all x,y, and hence (17) and (18) reduce to (12) and (13), respectively. Therefore, the generalization admits a wider range of correlation.

When X and Y are not independent, the computation of the joint distribution of bivariate order statistics is complicated (see David 1981, p. 26, or David and Nagaraja 2003, p. 25):

K_{r,s}^{\left(n\right)}(x,y)\equiv Pr(X_{r,n}\le x,Y_{s,n}\le y)=\sum _{i=r}^n\sum _{j=s}^n\sum _k\underset{k,i,j}{\overset{\left(n\right)}{f}}(x,y),x,y\in R,

where k takes all integers such that k, i - k, j - k, n - i - j + k ≥ 0, the summand

\begin{array}{lll}{f}_{k,i,j}^{\left(n\right)}(x,y)& =& \frac{n!}{k!(i-k)!(j-k)!(n-i-j+k)!}{H}^k(x,y){\left(F\right(x)-H(x,y\left)\right)}^{i-k}\\ ·{\left(G\right(y)-H(x,y\left)\right)}^{j-k}{\left(\overline{H}\right(x,y\left)\right)}^{n-i-j+k},\\ \text{if the exponents}k,i-k,j-k,n-i-j+k\ge 0,\end{array}

and f_{k,i,j}^{\left(n\right)}(x,y)=0, otherwise. Here \overline{H}(x,y)\equiv Pr(X>x,Y>y)=1-F\left(x\right)-G\left(y\right)+H(x,y).

Huang et al. (2013) established the following properties of K_{r,s}^{\left(n\right)},K_{+}^{\left(n\right)} and K_{-}^{\left(n\right)}. Hereafter, we shall consider x,y as fixed, and for simplicity, write F,G, H and \overline{H} for F (x),G (y), H (x,y) and \overline{H}(x,y), respectively.

Theorem 11.

For fixed marginals F, G and 1 ≤ r, s ≤ n, the joint distribution K_{r,s}^{\left(n\right)} of bivariate order statistics (X_r,n,Y_s,n) is increasing in H. More precisely, for given x,y,F and G, if H₁(x,y) ≤ H₂(x,y), then K_{r,s,1}^{\left(n\right)}(x,y)\le K_{r,s,2}^{\left(n\right)}(x,y), where K_{r,s,i}^{\left(n\right)},i=1,2, is the distribution of (X_r,n,Y_s,n) generated from H _i with marginals F and G.

Theorem 12.

For given H with marginals F and G, Bayramoglu’s distribution K_{+}^{\left(n\right)} in (17) is increasing in n. More precisely,

\begin{array}{l}{K}_{+}^{\left(n\right)}=K_{+}^{(n-1)}+\frac{1}{n-1}\sum _{i=1}^{\lfloor n/2\rfloor }\left(\genfrac{}{}{0ex}{}{n-1}{i,i-1,n-2i}\right){(F-H)}^i{(G-H)}^i{\left(H+\overline{H}\right)}^{n-2i},\\ n\ge 2.\end{array}

(19)

Theorem 13.

For given H with marginals F and G, Bayramoglu’s distribution K_{-}^{\left(n\right)} in (18) is decreasing in n. More precisely,

\begin{array}{l}{K}_{-}^{\left(n\right)}=K_{-}^{(n-1)}-\frac{1}{n-1}\sum _{i=1}^{\lfloor n/2\rfloor }\left(\genfrac{}{}{0ex}{}{n-1}{i,i-1,n-2i}\right){\left(H\overline{H}\right)}^i{(1-H-\overline{H})}^{n-2i},n\ge 2.\end{array}

(20)

Recall that the bivariate distribution H with marginals F and G is positive quadrant dependent (PQD), if H ≥ F G, that is, H (x,y) ≥ F (x) G(y) for all x,y, and that H is negative quadrant dependent (NQD) if H ≤ F G. As immediate consequences of Theorems 11–13, we have the following corollary (assuming {\sigma }_X^2,{\sigma }_Y^2\in (0,\infty ) if necessary).

Corollary 2.

(i) For fixed n and marginals F, G, both K_{+}^{\left(n\right)} and K_{-}^{\left(n\right)} are increasing in H;(ii) \rho \left(K_{+}^{\left(n\right)}\right)\ge \rho \left(H_{+}^{\left(n\right)}\right) if H is PQD, and \rho \left(K_{-}^{\left(n\right)}\right)\le \rho \left(H_{-}^{\left(n\right)}\right) if H is NQD;(iii) K_{+}^{\left(2\right)}=\mathit{\text{FG}} if H = H_-, and in general, 0\le \text{Cov}\left(K_{+}^{\left(2\right)}\right)\le \text{Cov}\left(K_{+}^{\left(3\right)}\right)\le \cdots;(iv) K_{-}^{\left(2\right)}=\mathit{\text{FG}} if H = H₊, and in general, 0\ge \text{Cov}\left(K_{-}^{\left(2\right)}\right)\ge \text{Cov}\left(K_{-}^{\left(3\right)}\right)\ge \cdots.

Remarks 5.

The first parts of Corollaries 2(iii) and 2(iv) can be proved directly without invoking the identities (19) and (20), but the proof is complicated. For instance, that of Corollary 2(iv) can be proceeded as follows. Let Z₁ and Z₂ be two independent copies of Z ∼ U (0,1), and let Z_1,2≤ Z_2,2 be the corresponding order statistics. Then (X _i ,Y _i ) = (F^-1(Z _i ), G^{- 1}(Z _i )), i = 1,2, are independent and have common distribution H₊(x,y) = min {F (x), G (y)}, x,y ∈ R. In this case, we have

\begin{array}{lll}{K}_{-}^{\left(2\right)}(x,y)& =& \frac{1}{2}\left[Pr(X_{1,2}\le x,Y_{2,2}\le y)+Pr(X_{2,2}\le x,Y_{1,2}\le y)\right]\\ =& \frac{1}{2}\left[Pr\left(F^{-1}\right(Z_{1,2})\le x,G^{-1}(Z_{2,2})\le y)+Pr\left(F^{-1}\right(Z_{2,2})\le x,G^{-1}(Z_{1,2})\le y)\right]\\ =& \frac{1}{2}\left[Pr(Z_{1,2}\le F(x),Z_{2,2}\le G(y\left)\right)+Pr(Z_{2,2}\le F(x),Z_{1,2}\le G(y\left)\right)\right]\\ =& \frac{1}{2}\left[Pr(Z_1\le F(x),Z_2\le G(y\left)\right|Z_1\le Z_2)+Pr(Z_1\le F\left(x\right),Z_2\le G\left(y\right)|Z_1>Z_2)\right]\\ =& Pr(Z_1\le F(x),Z_2\le G(y\left)\right)=F\left(x\right)G\left(y\right),x,y\in R,\end{array}

the penultimate equality following from the fact that Pr(Z₁≤ Z₂) = Pr(Z₁> Z₂) = 1/2 and the law of total probability.

In the rest of this section, we will mention some new results (Theorems 14–17) regarding (a) weak convergence, (b) product-moment convergence and (c) convergence of correlations (including Pearson’s correlation, Spearman’s rho and Kendall’s tau) of Bayramoglu’s distributions. The proofs are given in the Appendix: Proof of the new results in Section 6. For proving the weak convergence, we offer an alternative approach different from that (Theorem 7) for Baker’s distributions.

Theorem 14.

Let H be any bivariate distribution with marginals F and G. (i) Bayramoglu’s distribution (17) converges weakly to H₊ as n → ∞. Moreover, {\text{lim}}_{n\to \infty }\rho \left(K_{+}^{\left(n\right)}\right)=\rho \left(H_{+}\right), provided both F and G have finite nonzero variances. (ii) Bayramoglu’s distribution (18) converges weakly to H_- as n → ∞. Moreover, {\text{lim}}_{n\to \infty }\rho \left(K_{-}^{\left(n\right)}\right)=\rho \left(H_{-}\right), provided both F and G have finite nonzero variances.

Theorem 15.

Let (X,Y) ∼ H with marginals F and G and E [|X|^{p + q}],E [|Y|^{p + q}] < ∞ for some positive integers p and q. (i) If (X_n,Y_n)\sim K_{+}^{\left(n\right)} and (\tilde{X},\tilde{Y})=\left(F^{-1}\right(Z),G^{-1}(Z\left)\right)\sim H_{+}, then

{\text{lim}}_{n\to \infty }E\left[X_n^p{Y}_n^q\right]=E\left[{\left(\tilde{X}\right)}^p{\left(\tilde{Y}\right)}^q\right]=\underset{0}{\overset{1}{\int }}{\left(F^{-1}\left(t\right)\right)}^p{\left(G^{-1}\left(t\right)\right)}^q\mathrm{dt}.

(ii) If (X_n^{\ast },Y_n^{\ast })\sim K_{-}^{\left(n\right)} and (\widetilde{X^{\ast }},\widetilde{Y^{\ast }})=\left(F^{-1}\right(Z),G^{-1}(1-Z\left)\right)\sim H_{-}, then

{\text{lim}}_{n\to \infty }E\left[{\left(X_n^{\ast }\right)}^p{\left(Y_n^{\ast }\right)}^q\right]=E\left[{\left(\widetilde{X^{\ast }}\right)}^p{\left(\widetilde{Y^{\ast }}\right)}^q\right]=\underset{0}{\overset{1}{\int }}{\left(F^{-1}\left(t\right)\right)}^p{\left(G^{-1}(1-t)\right)}^q\mathrm{dt}.

For non-negative random variables X and Y, we can consider the general functions α, β of X, Y, respectively.

Theorem 16.

Let (X,Y) ∼ H, defined on R_{+}^2\equiv [0,\infty )\times [0,\infty ), and let X ∼ F, Y ∼ G. Let α and β be two increasing and left-continuous functions on R₊. Assume also that E [|α (X) β (Y)|], E[|α (X)|] and E [|β (Y)|] are finite. (i) If (X_n,Y_n)\sim K_{+}^{\left(n\right)} and (\tilde{X},\tilde{Y})=\left(F^{-1}\right(Z),G^{-1}(Z\left)\right)\sim H_{+}, then

{\text{lim}}_{n\to \infty }E[\alpha (X_n)\beta (Y_n\left)\right]=E[\alpha (\tilde{X})\beta (\tilde{Y}\left)\right]=\underset{0}{\overset{1}{\int }}\alpha \left(F^{-1}\right(t\left)\right)\beta \left(G^{-1}\right(t\left)\right)\mathrm{dt}.

(ii) If (X_n^{\ast },Y_n^{\ast })\sim K_{-}^{\left(n\right)} and (\widetilde{X^{\ast }},\widetilde{Y^{\ast }})=\left(F^{-1}\right(Z),G^{-1}(1-Z\left)\right)\sim H_{-}, then

{\text{lim}}_{n\to \infty }E[\alpha (X_n^{\ast })\beta (Y_n^{\ast }\left)\right]=E[\alpha (\widetilde{X^{\ast }})\beta (\widetilde{Y^{\ast }}\left)\right]=\underset{0}{\overset{1}{\int }}\alpha \left(F^{-1}\right(t\left)\right)\beta \left(G^{-1}\right(1-t\left)\right)\mathrm{dt}.

For Spearman’s ρ _s and Kendall’s τ, we have

Theorem 17.

If H has continuous marginals F and G then (i){\text{lim}}_{n\to \infty }{\rho }_s\left(K_{+}^{\left(n\right)}\right)=1 and {\text{lim}}_{n\to \infty }{\rho }_s\left(K_{-}^{\left(n\right)}\right)=-1; (ii){\text{lim}}_{n\to \infty }\tau \left(K_{+}^{\left(n\right)}\right)=1 and {\text{lim}}_{n\to \infty }\tau \left(K_{-}^{\left(n\right)}\right)=-1.

Remarks 6.

By the monotone property of K_{+}^{\left(n\right)} and K_{-}^{\left(n\right)} (Theorems 12 and 13), we can further conclude, in addition to Theorems 14 and 17, that all the sequences \{\rho (K_{+}^{\left(n\right)}\left)\right\}, \{\rho (K_{-}^{\left(n\right)}\left)\right\}, \left\{{\rho }_s\right(K_{+}^{\left(n\right)}\left)\right\}, \left\{{\rho }_s\right(K_{-}^{\left(n\right)}\left)\right\}, \left\{\tau \right(K_{+}^{\left(n\right)}\left)\right\} and \left\{\tau \right(K_{-}^{\left(n\right)}\left)\right\} are monotone (see, e.g., Joe 2001, p. 54).

To prove the new results, we need two more lemmas. Lemma 6 below is an extension of the classic Hoeffding’s (1940) identity (2) for Cov (X,Y) to Cov (α (X),β (Y)), and Lemma 7 gives an explicit form of the expectation E [α (X) β (Y)] for (X,Y) ∼ H on R_{+}^2. Our assumptions on the marginals (F,G) are weaker than those in Cuadras (2002), pp. 19-20, and the proof differs from that of Beare (2009).

Lemma 6.

Let (X,Y) ∼ H, X ∼ F and Y ∼ G. Let α,β : R→R be two left-continuous functions and be of bounded variation on each compact subset of R. Further, assume that the expectations E [|α (X) β (Y)|], E [|α (X)|], E[|β (Y)|] < ∞. Then

\begin{array}{l}\text{Cov}(\alpha (X),\beta (Y\left)\right)=E[\alpha (X)\beta (Y\left)\right]-E[\alpha (X\left)\right]E[\beta (Y\left)\right]\\ =& \underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[\overline{H}\right(x,y)-\overline{F}(x\left)\overline{G}\right(y\left)\right]d\alpha \left(x\right)d\beta \left(y\right)\\ =& \underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[H\right(x,y)-F(x\left)G\right(y\left)\right]d\alpha \left(x\right)d\beta \left(y\right).\end{array}

Lemma 7.

Let (X,Y) ∼ H defined on R_{+}^2 and X ∼ F, Y ∼ G. Let α and β be two increasing and left-continuous functions on R₊. Then

\begin{array}{lll}E[\alpha (X)\beta (Y\left)\right]& =& \underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}\overline{H}(x,y)\mathrm{d\alpha }\left(x\right)\mathrm{d\beta }\left(y\right)-\alpha \left(0\right)\beta \left(0\right)\\ +\alpha \left(0\right)E[\beta (Y\left)\right]+\beta \left(0\right)E[\alpha (X\left)\right],\end{array}

(21)

provided the expectations exist.

Corollary 3.

Let (X,Y) ∼ H defined on R_{+}^2, and assume that the expectations E[X^rY^s], E [X^r], E [Y^s] < ∞ for some real numbers r,s > 0. Then

E\left[X^r{Y}^s\right]=\mathit{\text{rs}}\underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}\overline{H}(x,y)x^{r-1}{y}^{s-1}\mathrm{dxdy.}

Lemma 7 is a strengthening of Theorem 3.1 of Gupta et al. (2008). Then as a result, our corollary here extends their Corollary 2 in that no assumption of any smoothness of the bivariate distribution H is required.

7 Other related distributions

In addition to the above Sarmanov–Lee and Baker approaches, we mention some others.

For constructing bivariate distributions H with marginals F and G, Johnson and Tenenbein (1981) proposed the following steps:(i) Let X_1^{\prime } and X_2^{\prime } be two i.i.d. random variables with a density k.(ii) Define the correlated random variables

(X_1,X_2)=(X_1^{\prime },\alpha X_1^{\prime }+(1-\alpha \left)X_2^{\prime }\right),\alpha \in [0,1].

(iii) Find the copula C (u,v) of (X₁,X₂), which is a function of α and k. (iv) Define H (x,y) = C (F (x),G (y)), x,y ∈ R.

In general, the constructed copula C in (iii) is too complicated to have a closed form.

Takeuchi (2010) suggested using FGM distributions for low correlation, and the Gaussian copula for high correlation:

C_N(u,v;\rho )={\Phi }_2\left({\Phi }^{-1}\right(u),{\Phi }^{-1}(v);\rho ),u,v\in [0,1],

where Φ₂ is a two-dimensional normal distribution with correlation ρ, and Φ^-1 is the quantile function of the standard normal distribution. For example, for constructing a bivariate (FIR-FUV) galaxy luminosity distribution, he proposed H (x,y) = C _N (F (x),G (y); ρ), x,y ∈ R, where X ∼ F is far-infrared luminosity and Y ∼ G is far-ultraviolet luminosity. Note that there is no explicit form for the quantile function Φ^{- 1}.

Larralde (2012) gave the maximum-entropy bivariate distribution with normal marginals. Dukic and Marić (2013) considered the convex combinations of the independent case FG and the extreme H₊ or H_-. But these are not what we really want because both H₊ and H_- are composed of singular distributions.

In conclusion, the most convenient unified approach to the above-mentioned problem is probably by way of a linear combination of the joint distributions of bivariate order statistics.

Appendix: Proof of the new results in Section 6

Proof of Lemma 6.

Let (X₁,Y₁) and (X₂,Y₂) be two independent copies of (X,Y). Then

E[\alpha (X_i)\beta (Y_i\left)\right]=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\alpha \left(x\right)\beta \left(y\right)\mathit{\text{dH}}(x,y)\mathrm{\text{for}}i=1,2,

and

E[\alpha (X_i)\beta (Y_j\left)\right]=\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\alpha \left(x\right)\beta \left(y\right)\mathit{\text{dF}}\left(x\right)G\left(y\right)\mathrm{\text{for}}i\ne j.

Define the function I on R² by

(note that the function I here is a slight modification of those defined in Lehmann 1966, Lemma 2, and Quesada-Molina 1992, Theorem 2.1, and the references therein). Since α is left-continuous on R and is of bounded variation on each compact subset of R, we have

\begin{array}{ll}\underset{-\infty }{\overset{\infty }{\int }}\left[I\right(u,x_1)-I(u,x_2\left)\right]d\alpha \left(u\right)=-\underset{[x_1,x_2)}{\int }d\alpha \left(u\right)=\alpha \left(x_1\right)-\alpha \left(x_2\right)& \text{if}{x}_1\le x_2,\end{array}

and

\begin{array}{ll}\underset{-\infty }{\overset{\infty }{\int }}\left[I\right(u,x_1)-I(u,x_2\left)\right]\mathrm{d\alpha }\left(u\right)=\underset{[x_2,x_1)}{\int }\mathrm{d\alpha }\left(u\right)=\alpha \left(x_1\right)-\alpha \left(x_2\right)& \text{if}{x}_2\le x_1.\end{array}

Hence, in either case, \underset{-\infty }{\overset{\infty }{\int }}\left[I\right(u,x_1)-I(u,x_2\left)\right]\mathrm{d\alpha }\left(u\right)=\alpha \left(x_1\right)-\alpha \left(x_2\right), and

\begin{array}{l}\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[I\right(u,x_1)-I(u,x_2\left)\right]\left[I\right(v,y_1)-I(v,y_2\left)\right]\mathrm{d\alpha }\left(u\right)\mathrm{d\beta }\left(v\right)\\ =& [\alpha (x_1)-\alpha (x_2\left)\right][\beta (y_1)-\beta (y_2\left)\right].\end{array}

On the other hand, note that E [I (u,X _i ) I (v,Y _j )] = Pr(X _i > u,Y _j > v). This implies that

\begin{array}{l}E\left[I\right(u,X_i\left)I\right(v,Y_j\left)\right]=Pr(X>u,Y>v)\text{if}i=j,\text{and}\\ E\left[I\right(u,X_i\left)I\right(v,Y_j\left)\right]=Pr(X>u)Pr(Y>v)\text{if}i\ne \mathrm{j.}\end{array}

Therefore, we have

\begin{array}{l}2\left\{E\right[\alpha \left(X\right)\beta \left(Y\right)]-E[\alpha \left(X\right)\left]E\right[\beta \left(Y\right)\left]\right\}\\ =& E[\alpha (X_1)\beta (Y_1)-\alpha (X_1)\beta (Y_2)-\alpha (X_2)\beta (Y_1)+\alpha (X_2)\beta (Y_2\left)\right]\\ =& E\left[\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left\{I\right(u,X_1)-I(u,X_2\left)\right\}\left\{I\right(v,Y_1)-I(v,Y_2\left)\right\}d\alpha \left(u\right)d\beta \left(v\right)\right]\\ =& \underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}E\left[\left\{I\right(u,X_1)-I(u,X_2\left)\right\}\left\{I\right(v,Y_1)-I(v,Y_2\left)\right\}\right]d\alpha \left(u\right)d\beta \left(v\right)\\ =& \underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}2\left[Pr(X>u,Y>v)-Pr(X>u)Pr(Y>v)\right]d\alpha \left(u\right)d\beta \left(v\right)\\ =& 2\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[\overline{H}\right(x,y)-\overline{F}(x\left)\overline{G}\right(y\left)\right]d\alpha \left(x\right)d\beta \left(y\right)\\ =& 2\underset{-\infty }{\overset{\infty }{\int }}\underset{-\infty }{\overset{\infty }{\int }}\left[H\right(x,y)-F(x\left)G\right(y\left)\right]d\alpha \left(x\right)d\beta \left(y\right),\end{array}

last equality following from the fact that H(x,y)-F\left(x\right)G\left(y\right)=\overline{H}(x,y)-\overline{F}\left(x\right)\overline{G}\left(y\right).

Proof of Lemma 7.

By Lemma 6, we have

\begin{array}{l}E[\alpha (X)\beta (Y\left)\right]-E[\alpha (X\left)\right]E[\beta (Y\left)\right]\\ =& \underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}\left[\overline{H}(x,y)-\overline{F}\left(x\right)\overline{G}\left(y\right)\right]d\alpha \left(x\right)d\alpha \left(y\right)\\ =& \underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}\overline{H}(x,y)d\alpha \left(x\right)d\beta \left(y\right)-\underset{0}{\overset{\infty }{\int }}\overline{F}\left(x\right)d\alpha \left(x\right)\underset{0}{\overset{\infty }{\int }}\overline{G}\left(y\right)d\beta \left(y\right).\end{array}

(22)

On the other hand, we have

\begin{array}{lll}E[\alpha (X\left)\right]& =& \underset{0}{\overset{\infty }{\int }}\alpha \left(x\right)\mathit{\text{dF}}\left(x\right)=-\underset{0}{\overset{\infty }{\int }}\alpha \left(x\right)d\overline{F}\left(x\right)=-{\text{lim}}_{b\to \infty }\underset{[0,b]}{\int }\alpha \left(x\right)d\overline{F}\left(x\right)\\ =& -{\text{lim}}_{b\to \infty }\left[\alpha \left(b\right)\overline{F}\left(b\right)-\alpha (0-)\overline{F}(0-)-\underset{0}{\overset{b}{\int }}\overline{F}\left(x\right)d\alpha \left(x\right)\right]\\ =& \alpha \left(0\right)+\underset{0}{\overset{\infty }{\int }}\overline{F}\left(x\right)d\alpha \left(x\right).\end{array}

(23)

The last equality is due to the assumption E [|α (X)|] < ∞ and the monotone property of the function α in case {\text{lim}}_{x\to \infty }\alpha \left(x\right)=\infty. Similarly,

\begin{array}{l}E[\beta (Y\left)\right]=\beta \left(0\right)+\underset{0}{\overset{\infty }{\int }}\overline{G}\left(y\right)d\beta \left(y\right).\end{array}

(24)

Therefore, it follows from (23) and (24) that

\begin{array}{l}\underset{0}{\overset{\infty }{\int }}\overline{F}\left(x\right)d\alpha \left(x\right)\underset{0}{\overset{\infty }{\int }}\overline{G}\left(y\right)d\beta \left(y\right)\\ =& \left\{E\right[\alpha \left(X\right)]-\alpha (0\left)\right\}\left\{E\right[\beta \left(Y\right)]-\beta (0\left)\right\}\\ =& E[\alpha (X\left)\right]E[\beta (Y\left)\right]-\alpha \left(0\right)E[\beta (Y\left)\right]-\beta \left(0\right)E[\alpha (X\left)\right]\\ +\alpha \left(0\right)\beta \left(0\right).\end{array}

(25)

Combining (22) and (25), we prove the identity (21).

Proof of Theorem 14.

We first prove the following two facts.

Fact A. If H = H_- with uniform marginals,

{\text{lim}}_{n\to \infty }\text{Cov}\left(K_{+}^{\left(n\right)}\right)=\frac{1}{12}=\text{Cov}\left(H_{+}\right).

Fact B. If H = H₊ with uniform marginals,

{\text{lim}}_{n\to \infty }\text{Cov}\left(K_{-}^{\left(n\right)}\right)=-\frac{1}{12}=\text{Cov}\left(H_{-}\right).

Proof of Fact A. For F = G = U (0,1), and H (x,y) = H_-(x,y) = max {0,x + y - 1}, we have, by (19),

\begin{array}{lll}{K}_{+}^{\left(n\right)}& =& H+\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right){(x-H)}^i{(y-H)}^i{\left(1-x-y+2H\right)}^{m-2i}\\ =& \left\{\begin{array}{c}\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)x^i{y}^i{\left(1-x-y\right)}^{m-2i},\text{if}x+y\le 1,\\ x+y-1+\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right){(1-x)}^i{(1-y)}^i{(x+y-1)}^{m-2i},\\ \text{if}x+y>1.\end{array}\right.\end{array}

Then, by (2),

\begin{array}{l}\text{Cov}\left(K_{+}^{\left(n\right)}\right)\\ =& \underset{0}{\overset{1}{\int }}\underset{0}{\overset{1-y}{\int }}\left\{-\mathit{\text{xy}}+\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)x^i{y}^i{\left(1-x-y\right)}^{m-2i}\right\}\mathit{\text{dxdy}}\\ +\underset{0}{\overset{1}{\int }}\underset{1-y}{\overset{1}{\int }}\left\{-(1-x)(1-y)+\sum _{m=2}^n\frac{1}{m-1}\right.\\ \left.·\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right){(1-x)}^i{(1-y)}^i{\left(x+y-1\right)}^{m-2i}\right\}\mathit{\text{dxdy}}\\ =& -\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1-y}{\int }}\mathit{\text{xydxdy}}-\underset{0}{\overset{1}{\int }}\underset{1-y}{\overset{1}{\int }}(1-x)(1-y)\mathit{\text{dxdy}}\\ +\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1-y}{\int }}\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)x^i{y}^i{\left(1-x-y\right)}^{m-2i}\mathit{\text{dxdy}}\\ +\underset{0}{\overset{1}{\int }}\underset{1-y}{\overset{1}{\int }}\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right){(1-x)}^i{(1-y)}^i{\left(x+y-1\right)}^{m-2i}\mathit{\text{dxdy}}\\ =& -\frac{1}{12}+\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)\left\{\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1-y}{\int }}{x}^i{y}^i{\left(1-x-y\right)}^{m-2i}\mathit{\text{dxdy}}\right.\\ \left.+\underset{0}{\overset{1}{\int }}\underset{1-y}{\overset{1}{\int }}{(1-x)}^i{(1-y)}^i{\left(x+y-1\right)}^{m-2i}\mathit{\text{dxdy}}\right\}\end{array}

(26)

\begin{array}{ll}=& -\frac{1}{12}+\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)\left(\frac{i!i!(m-2i)!}{(m+2)!}+\frac{i!i!(m-2i)!}{(m+2)!}\right)\\ =& -\frac{1}{12}+2\sum _{m=2}^n\frac{1}{(m-1)m(m+1)(m+2)}\sum _{i=1}^{\lfloor m/2\rfloor }i.\end{array}

(27)

The two double integrals in (26) are equal by changing variables and in (27) we apply the representations for generalized (or multinomial) Beta function:

\begin{array}{l}\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1-y}{\int }}{x}^i{y}^i{\left(1-x-y\right)}^{m-2i}\mathit{\text{dxdy}}=B(i+1,i+1,m-2i+1)\\ =& \frac{\Gamma (i+1)\Gamma (i+1)\Gamma (m-2i+1)}{\Gamma (m+3)}=\frac{i!i!(m-2i)!}{(m+2)!}.\end{array}

Note that

\begin{array}{l}\sum _{m=2}^n\sum _{i=1}^{\lfloor m/2\rfloor }=\sum _{m=2,\mathit{\text{even}}}^n\sum _{i=1}^{\lfloor m/2\rfloor }+\sum _{m=2,\mathit{\text{odd}}}^n\sum _{i=1}^{\lfloor m/2\rfloor }=\sum _{m=2,\mathit{\text{even}}}^n\sum _{i=1}^{m/2}+\sum _{m=3,\mathit{\text{odd}}}^n\sum _{i=1}^{(m-1)/2}\end{array}

and that

\begin{array}{l}\sum _{i=1}^{\lfloor m/2\rfloor }i=\left\{\begin{array}{cc}\frac{1}{2}\frac{m}{2}\left(\frac{m}{2}+1\right)=\frac{1}{8}m(m+2),& m=\mathit{\text{even}},\\ \frac{1}{2}\frac{m-1}{2}\left(\frac{m-1}{2}+1\right)=\frac{1}{8}(m-1)(m+1),& m=\text{odd}.\end{array}\right.\end{array}

We have

\begin{array}{l}\sum _{m=2}^n\frac{1}{(m-1)m(m+1)(m+2)}\sum _{i=1}^{\lfloor m/2\rfloor }i\\ =& \sum _{m=2,\mathit{\text{even}}}^n\frac{1}{(m-1)m(m+1)(m+2)}\frac{m(m+2)}{8}\\ +\sum _{m=3,\mathit{\text{odd}}}^n\frac{1}{(m-1)m(m+1)(m+2)}\frac{(m-1)(m+1)}{8}\\ =& \frac{1}{8}\left(\sum _{m=2,\mathit{\text{even}}}^n\frac{1}{(m-1)(m+1)}+\sum _{m=3,\mathit{\text{odd}}}^n\frac{1}{m(m+2)}\right)\\ =& \left\{\begin{array}{cc}\frac{1}{8}\left(\sum _{m=2,\mathit{\text{even}}}^n\frac{1}{(m-1)(m+1)}+\sum _{m=3,\mathit{\text{odd}}}^{n-1}\frac{1}{m(m+2)}\right),& n=\mathit{\text{even}},\\ \frac{1}{8}\left(\sum _{m=2,\mathit{\text{even}}}^{n-1}\frac{1}{(m-1)(m+1)}+\sum _{m=3,\mathit{\text{odd}}}^n\frac{1}{m(m+2)}\right),& n=\mathit{\text{odd}}\end{array}\right.\\ =& \left\{\begin{array}{cc}\frac{1}{8}\left(\sum _{k=1}^{n/2}\frac{1}{(2k-1)(2k+1)}+\sum _{k=1}^{n/2-1}\frac{1}{(2k+1)(2k+3)}\right),& n=\mathit{\text{even}},\\ \frac{1}{8}\left(\sum _{k=1}^{(n-1)/2}\frac{1}{(2k-1)(2k+1)}+\sum _{k=1}^{(n-1)/2}\frac{1}{(2k+1)(2k+3)}\right),& n=\mathit{\text{odd}}\end{array}\right.\\ =& \left\{\begin{array}{cc}\frac{1}{8}\left(\frac{1}{2}-\frac{1}{2\left(n+1\right)}+\frac{1}{6}-\frac{1}{2\left(n+1\right)}\right)=\frac{1}{24}\frac{2n-1}{n+1},& n=\mathit{\text{even}},\\ \frac{1}{8}\left(\frac{1}{2}-\frac{1}{2n}+\frac{1}{6}-\frac{1}{2\left(n+2\right)}\right)=\frac{1}{24}\frac{(n-1)(2n+3)}{n\left(n+2\right)},& n=\mathrm{odd.}\end{array}\right.\end{array}

The last equality follows from the two identities:

\begin{array}{l}\sum _{k=1}^N\frac{1}{(2k-1)(2k+1)}=\frac{1}{2}\sum _{k=1}^N\left(\frac{1}{2k-1}-\frac{1}{2k+1}\right)=\frac{1}{2}-\frac{1}{2(2N+1)},\\ \sum _{k=1}^N\frac{1}{(2k+1)(2k+3)}=\frac{1}{2}\sum _{k=1}^N\left(\frac{1}{2k+1}-\frac{1}{2k+3}\right)=\frac{1}{6}-\frac{1}{2(2N+3)}.\end{array}

Thus

\text{Cov}\left(K_{+}^{\left(n\right)}\right)=\left\{\begin{array}{cc}-\frac{1}{12}+2\left(\frac{1}{24}\frac{2n-1}{n+1}\right)=\frac{1}{12}\frac{n-2}{n+1},& n=\mathit{\text{even}},\\ -\frac{1}{12}+2\left(\frac{1}{24}\frac{(n-1)(2n+3)}{n\left(n+2\right)}\right)=\frac{1}{12}\frac{n^2-n-3}{n\left(n+2\right)},& n=\mathit{\text{odd}},\end{array}\right.

and in either case

{\text{lim}}_{n\to \infty }\frac{1}{12}\frac{n-2}{n+1}=\frac{1}{12},{\text{lim}}_{n\to \infty }\frac{1}{12}\frac{n^2-n-3}{n\left(n+2\right)}=\frac{1}{12}.

Therefore, \text{Cov}\left(K_{+}^{\left(n\right)}\right)\to \frac{1}{12}=\text{Cov}\left(H_{+}\right) as n → ∞.

Proof of Fact B. The case of K_{-}^{\left(n\right)} from H (x,y) = H₊(x,y) = min {x,y} requires no new proof by noting that

\begin{array}{lll}\text{Cov}\left(K_{-}^{\left(n\right)}\right)& =& \frac{1}{12}-\sum _{m=2}^n\frac{1}{m-1}\sum _{i=1}^{\lfloor m/2\rfloor }\left(\genfrac{}{}{0ex}{}{m-1}{i,i-1,m-2i}\right)\left\{\underset{0}{\overset{1}{\int }}\underset{0}{\overset{y}{\int }}{x}^i{(1-y)}^i{\left(y-x\right)}^{m-2i}\mathit{\text{dxdy}}\right.\\ \left.+\underset{0}{\overset{1}{\int }}\underset{y}{\overset{1}{\int }}{y}^i{(1-x)}^i{\left(x-y\right)}^{m-2i}\mathit{\text{dxdy}}\right\}\end{array}

(28)

and that the two integrals in (28) are identical to those of (26) (by a simple change of variables).

Proof of Theorem 14 (continued).

(i) We divide the proof of part (i) into two steps:

(1a) Consider arbitrary H with uniform marginals, and prove that K_{+}^{\left(n\right)} converges weakly to H₊ as n → ∞ and {\text{lim}}_{n\to \infty }\sigma \left(K_{+}^{\left(n\right)}\right)=\sigma \left(H_{+}\right).

(1b) Extend the result (1a) to any H with general fixed marginals.

Proof of (1a). For arbitrary H with uniform marginals, since {\left\{K_{+}^{\left(n\right)}\right\}}_{n=1}^{\infty } is a bounded and increasing sequence, its limit exists, say K_{+ ∞}. Then K_{+}^{\left(n\right)}\le K_{+\infty }\le H_{+} for all n ≥ 1. Also, note that K_{+}^{\left(n\right)}\ge K_{+}^{\left(n\right)}\left(H_{-}\right) due to Theorem 11. We have, since K_{+}^{\left(n\right)} increases in n,

\begin{array}{lll}0& \le & \underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[H_{+}(x,y)-K_{+\infty }(x,y)\right]\mathit{\text{dxdy}}\\ =& \underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[H_{+}(x,y)-{\text{lim}}_{n\to \infty }{K}_{+}^{\left(n\right)}(x,y)\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[H_{+}(x,y)-K_{+}^{\left(n\right)}(x,y)\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[\left(H_{+}\right(x,y)-\mathit{\text{xy}})-\left(K_{+}^{\left(n\right)}\right(x,y)-\mathit{\text{xy}})\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\left[\text{Cov}\left(H_{+}\right)-\text{Cov}\left(K_{+}^{\left(n\right)}\right)\right]\le {\text{lim}}_{n\to \infty }\left[\text{Cov}\left(H_{+}\right)-\text{Cov}\left(K_{+}^{\left(n\right)}\right(H_{-}\left)\right)\right]=0.\end{array}

The last equality follows from Fact A. Therefore K_{+}^{\left(n\right)} converges weakly to H₊ as n → ∞ and {\text{lim}}_{n\to \infty }\sigma \left(K_{+}^{\left(n\right)}\right)=\sigma \left(H_{+}\right).

Proof of (1b). We now extend the result of part (1a) to any H with general fixed marginals F and G. First, let C be a copula of H. We rewrite the result of part (1a) in terms of random variables. Let (Z_i,Z_i^{\ast }),i=1,2,\dots ,n, be n independent copies of (Z,Z^∗) ∼ C. And let Z_(k) and Z_{\left(k\right)}^{\ast } denote the k th smallest order statistics of {\left\{Z_i\right\}}_{i=1}^n and {\left\{Z_i^{\ast }\right\}}_{i=1}^n, respectively. On the other hand, let K _n be a discrete random variable obeying the uniform distribution on {1,2,…,n}. Then (Z_{\left(K_n\right)},Z_{\left(K_n\right)}^{\ast })\sim K_{+}^{\left(n\right)}\left(C\right) (the bivariate distribution (17) generated from C) and by part (1a), we have that as n → ∞,

\begin{array}{l}(Z_{\left(K_n\right)},Z_{\left(K_n\right)}^{\ast }){\to }^d(Z,Z)\sim C_{+}\left(\text{the upper bound with uniform marginals}\right).\end{array}

Proceeding on similar lines in the proof of Theorem 3 of Dou et al. (2013), we conclude that the bivariate \left(F^{-1}\right(Z_{\left(K_n\right)}),G^{-1}(Z_{\left(K_n\right)}^{\ast }\left)\right) converges in distribution to (F^{- 1}(Z),G^{- 1}(Z)) as n → ∞ (Serfling 1980, p. 24), namely, K_{+}^{\left(n\right)} converges weakly to H₊ as n → ∞. This together with Corollary 2(iii) completes the proof.

(ii) We also divide the proof of part (ii) into two steps:

(2a) Consider arbitrary H with uniform marginals, and prove that K_{-}^{\left(n\right)} converges weakly to H_- as n → ∞, and {\text{lim}}_{n\to \infty }\sigma \left(K_{-}^{\left(n\right)}\right)=\sigma \left(H_{-}\right).

(2b) Extend the result (2a) to any H with general fixed marginals.

Proof of (2a). For arbitrary H with uniform marginals, since {\left\{K_{-}^{\left(n\right)}\right\}}_{n=1}^{\infty } is a bounded and decreasing sequence, its limit exists, say K_{- ∞}. Then H_{-}\le K_{-\infty }\le K_{-}^{\left(n\right)} for all n≥1. Also, note that K_{-}^{\left(n\right)}\le K_{-}^{\left(n\right)}\left(H_{+}\right) by Theorem 11. We have, since K_{-}^{\left(n\right)} decreases in n,

\begin{array}{lll}0& \le & \underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[K_{-\infty }(x,y)-H_{-}(x,y)\right]\mathit{\text{dxdy}}\\ =& \underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[{\text{lim}}_{n\to \infty }{K}_{-}^{\left(n\right)}(x,y)-H_{-}(x,y)\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[K_{-}^{\left(n\right)}(x,y)-H_{-}(x,y)\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\left[\left(K_{-}^{\left(n\right)}\right(x,y)-\mathit{\text{xy}})-\left(H_{-}\right(x,y)-\mathit{\text{xy}})\right]\mathit{\text{dxdy}}\\ =& {\text{lim}}_{n\to \infty }\left[\text{Cov}\left(K_{-}^{\left(n\right)}\right)-\text{Cov}\left(H_{-}\right)\right]\le {\text{lim}}_{n\to \infty }\left[\text{Cov}\left(K_{-}^{\left(n\right)}\right(H_{+}\left)\right)-\text{Cov}\left(H_{-}\right)\right]=0.\end{array}

The last equality is due to Fact B. Therefore K_{-}^{\left(n\right)} converges weakly to H_- as n → ∞. This together with Corollary 2(iv) completes the proof.

Proof of (2b). This is similar to the proof of part (1b) and is omitted.

Proof of Theorem 15.

Apply Lemma 3 to Theorem 14.

Proof of Theorem 16.

(i) Note that as n → ∞, K_{+}^{\left(n\right)} converges weakly to H₊, the Fréchet–Hoeffding upper bound with the same marginals F and G, and that (F^{- 1}(Z), G^{- 1}(Z)) ∼ H₊. Then the required result follows from Lemma 7 above and the Generalized Monotone Convergence Theorem (see, e.g., Royden 1988, p. 265), because

\begin{array}{lll}E[\alpha (X_n)\beta (Y_n\left)\right]& =& \underset{0}{\overset{\infty }{\int }}\underset{0}{\overset{\infty }{\int }}{\overline{K}}_{}^{}\end{array}