A closed-form universal trivariate pair-copula

Abstract

Based on the trivariate pair-copula construction for the bivariate linear circular copula by Perlman and Wellner (Symmetry 3:574-99, 2011) and the Theorem of Carathéodory, which states that any valid correlation matrix is a finite convex combination of extreme correlation matrices, we generate a class of closed-form analytical 3-universal copulas. We derive explicit product and lifting copula formulas for the set of all extremal correlation matrices. Our analytical proof makes use of a novel set of conditional copula inequalities, which are of independent interest.

MSC 2010

60E15; 62E15; 62H05; 62H20

1 Introduction

In practice, the joint normal transform method for dependence modelling, which consists of transforming the margins to normal distributions, induce a dependence structure and transform back, is rather popular (e.g. Kurowicka and Cooke (2006), Section 4.2). Applied to a random vector (X₁, X₂, …, X _n ) with invertible continuous marginal distributions (F₁, F₂, …, F _n ) this method follows three steps:

• 1) Specify the rank correlation matrix r = (r _ij ),  1 ≤ i, j ≤ n, of this random vector, i.e. r _ij  = Cov[F _i (X _i ), F _j (X _j )],  1 ≤ i, j ≤ n.

• 2) A random sample (Y ₁, Y ₂, …, Y _n ) is drawn from a joint normal distribution with standard normal margins and the specified rank correlation matrix r = (r _ij ).

• 3) Let Φ(x) denote the standard normal distribution. The random sample (X ₁, X ₂, …, X _n ) with margins (F ₁, F ₂, …, F _n ) and the rank correlation matrix r = (r _ij ) is obtained from the inverse probability transform through $\left({\mathit{X}}_1,{\mathit{X}}_2,\dots ,{\mathit{X}}_{\mathit{n}}\right)=({\mathit{F}}_1^{-1}\left(\mathrm{\Phi }\left({\mathit{Y}}_1\right)\right),{\mathit{F}}_2^{-1}\left(\mathrm{\Phi }\left({\mathit{Y}}_2\right)\right),\dots ,{\mathit{F}}_{\mathit{n}}^{-1}\left(\mathrm{\Phi }\left({\mathit{Y}}_{\mathit{n}}\right)\right)$.

From a theoretical point of view this procedure suffers from several drawbacks. Concerning (1), it is known that every 3-dimensional valid correlation matrix can be realized as a rank correlation matrix, i.e. there exists a trivariate uniform distribution with this rank correlation structure, the so-called 3-universality property of copulas. This result is first stated in Joe (1997), Exercise 4.17, pp. 137–138. Kurowicka and Cooke (2006), Section 4.4.6, p.102, produce such trivariate copulas using the pair-copula construction for the so-called “elliptical copula” (see also Kurowicka and Cooke (2001)). Another recent proof is Devroye and Letac (2010). However, it is not yet known whether copulas are n -universal for n ≥ 6 (see Letac (2010) for n < 6). Therefore (1) is in general not necessarily consistent. The statement (2) causes similar difficulties. Indeed, the compatibility conditions under which a joint normal distribution with a specified rank correlation matrix exist, imply that for any n ≥ 3 there are compatibility counterexamples (see Hürlimann (2012a), Theorem 3.1 and Corollary 4.2). Moreover, the probability of incompatibility increases with the dimension (e.g. Kurowicka and Cooke (2001)), Section 4, Table 1, Ghosh and Henderson (2002), and Ghosh (2004), Figure 3.1, p. 67). On the other hand, the 3-universality of the elliptical pair-copula construction does not extend to the fourvariate case (e.g. Kurowicka and Cooke (2006), Example 4.9). Therefore, to enable a rigorous use of any valid rank correlation matrix, there is a need for a more comprehensive understanding of the class of universal copulas, at least in small dimensions.

In the present paper we offer an analytical approach to the pair-copula construction for the bivariate linear circular copula derived by Perlman and Wellner (2011), whose density obviously coincides with the “elliptical copula” introduced by Kurowicka et al. (2000). To the best of our knowledge Section 5 presents for the first time simple closed-form analytical 3-universal copula formulas. The possible extension to the multivariate case is a challenging topic for future research (see Section 6). A more detailed account of the content follows.

Section 2 recalls the trivariate pair-copula construction. We explain how the combined use of extremal correlation matrices and bivariate elliptical copulas lead to extremal lifting copulas whose bivariate product copula margins induce sharp bounds in the concordance order. The latter include the set of all feasible rank correlation matrices. Advocating the Theorem of Carathéodory, which states that any valid correlation matrix can be written as a finite convex combination of extreme correlation matrices, the generation of 3-universal copulas follows. Section 3 summarizes the needed bivariate linear circular copula formulas. Section 4 presents the analytical closed-form product copula formulas, and Section 5 states our main result about analytical 3-universal copulas. Section 6 contains a simple two-dimensional algorithm for generating random vectors with 3-universal linear circular copula, and many references to potential applications are provided. Detailed proofs follow in the Appendices 1 and 2.

2 Trivariate linear circular pair-copula construction

In response to the difficulties encountered with the multivariate normal copula, the pair-copula construction of multivariate copulas has become more and more popular as can be seen from the recent review by Czado (2010). The first pair-copula construction is due to Joe (1996), see also Joe (1997), Section 4.5. His construction is given in terms of distribution functions, while Bedford and Cooke (2001) Bedford and Cooke (2002) expressed these constructions in terms of densities, and Kurowicka and Cooke (2006), Section 6.4, designed various sampling algorithms for them. A trivariate restatement of these equivalent representations will play a major role.

As observed by Devroye and Letac (2010), any valid rank correlation matrix can be written as a finite convex combination of extreme correlation matrices, also called extreme points (Theorem of Carathéodory (1911) and Steinitz (1914)). By linearity it suffices to restrict the attention to the pair-copula construction for extreme points. This way a finite algorithm that permits the construction of 3-universal copulas in terms of the linear circular copula can be designed. The proposed approach is then made fully analytical in Section 3 through the derivation of simple closed-form analytical 3-universal copula formulas for the extreme points.

Recall the structure of the extreme points for the set of all positive semi-definite 3×3 correlation matrices. They have necessarily rank 1 or 2 and take the form (Ycart(1985), Corollary, p. 611):

$$\mathit{\rho }=\mathit{\rho }\left(\mathit{a},\mathit{b},\mathit{c}\right)=\left({\mathit{\rho }}_{\mathit{ij}}\right)=\left(\begin{array}{ccc}\hfill 1\hfill & \hfill cos\mathit{c}\hfill & \hfill cos\mathit{b}\hfill \\ \hfill cos\mathit{c}\hfill & \hfill 1\hfill & \hfill cos\mathit{a}\hfill \\ \hfill cos\mathit{b}\hfill & \hfill cos\mathit{a}\hfill & \hfill 1\hfill \end{array}\right),\mathit{a}+\mathit{b}+\mathit{c}\equiv 0mod2\mathit{\pi }.$$

(2.1)

One notes that there are four extreme points of rank one, namely

$$\left(\mathit{a},\mathit{b},\mathit{c}\right)\in \left\{\left(0,0,0\right),\left(0,\mathit{\pi },\mathit{\pi }\right),\left(\mathit{\pi },0,\mathit{\pi }\right),\left(\mathit{\pi },\mathit{\pi },0\right)\right\}$$

(2.2)

and the rank two extreme points are characterized by the condition

$$\left(sin\mathit{a},sin\mathit{b},sin\mathit{c}\right)\ne \left(0,0,0\right)$$

(2.3)

The following immediate consequence is crucial.

Lemma 2.1

The absolute value of the partial correlation of a 3×3 extreme correlation matrix of the form (2.1) is always one. More precisely, one has

$${\mathit{\rho }}_{12;3}=\frac{{\mathit{\rho }}_{12}-{\mathit{\rho }}_{13}{\mathit{\rho }}_{23}}{\sqrt{\left(1-{\mathit{\rho }}_{13}^2\right)\cdot \left(1-{\mathit{\rho }}_{13}^2\right)}}=-sgn\left(sin\mathit{a}\cdot sin\mathit{b}\right)=\pm 1$$

(2.4)

Proof

Since a + b + c ≡ 0  mod  2π we have from the cosine addition law that cos c = cos(−(a + b) = cos(a + b) = cos a ⋅ cos b − sin a ⋅ sin b. Inserted in the defining relation for the partial correlation coefficient we get ${\mathit{\rho }}_{12;3}=-\frac{sin\mathit{a}\cdot sin\mathit{b}}{\left|sin\mathit{a}\cdot sin\mathit{b}\right|}$, which implies (2.4). ◊

Now, in a first step, let us assume that all joint, marginal and conditional distributions are absolutely continuous, and that the corresponding densities exist. Let (X₁, X₂, X₃) be a trivariate random vector from the Fréchet space F(F₁₃, F₂₃) of all trivariate distributions with given bivariate margins F₁₃(x₁, x₃), F₂₃(x₂, x₃). Denote the marginal distributions by F₁(x₁), F₂(x₂), F₃(x₃), the conditional distributions obtained from F₁₃, F₂₃ by F_1|3(x₁|x₃), F_2|3(x₂|x₃), and the marginal densities by f₁(x₁), f₂(x₂), f₃(x₃). Let C₁₃(u₁, u₃), C₂₃(u₂, u₃), respectively C_12|3(u₁, u₂), be copulas associated to the random vectors (X₁, X₃), (X₂, X₃), respectively to the conditional random vector (X₁, X₂|X₃), which necessarily exist by the Theorem of Sklar (1959). The mixture of conditional distributions defined by (e.g. Joe (1997), equation (4.37))

$$\begin{array}{l}{\mathit{F}}_{123}\left({\mathit{x}}_1,{\mathit{x}}_2,{\mathit{x}}_3\right)={\displaystyle \underset{-\infty }{\overset{{\mathit{x}}_3}{\int }}{\mathit{C}}_{12\left|3\right.}\left({\mathit{F}}_{1\left|3\right.}\left({\mathit{x}}_1\left|{\mathit{z}}_3\right.\right),{\mathit{F}}_{2\left|3\right.}\left({\mathit{x}}_2\left|{\mathit{z}}_3\right.\right)\right)\mathit{d}{\mathit{F}}_3\left({\mathit{z}}_3\right)}\\ ={\displaystyle \underset{-\infty }{\overset{{\mathit{x}}_3}{\int }}{\mathit{C}}_{12\left|3\right.}\left(\frac{\partial {\mathit{C}}_{13}\left({\mathit{F}}_1\left({\mathit{x}}_1\right),{\mathit{F}}_3\left({\mathit{z}}_3\right)\right)}{\partial {\mathit{u}}_3},\frac{\partial {\mathit{C}}_{23}\left({\mathit{F}}_2\left({\mathit{x}}_2\right),{\mathit{F}}_3\left({\mathit{z}}_3\right)\right)}{\partial {\mathit{u}}_3}\right){\mathit{f}}_3\left({\mathit{z}}_3\right)}\mathit{d}{\mathit{z}}_3,\end{array}$$

(2.5)

is a proper trivariate distribution in F(F₁₃, F₂₃). In terms of densities, the joint trivariate density corresponding to (2.5), if it exists, reads (e.g. Czado (2010) Section 2)

$$\begin{array}{l}{\mathit{f}}_{123}\left({\mathit{x}}_1,{\mathit{x}}_2,{\mathit{x}}_3\right)\\ ={\mathit{c}}_{13}({\mathit{F}}_1\left({\mathit{x}}_1\right),{\mathit{F}}_3({\mathit{x}}_3\left)\right){\mathit{c}}_{23}\left({\mathit{F}}_2\right({\mathit{x}}_2),{\mathit{F}}_3({\mathit{x}}_3\left)\right){\mathit{c}}_{12\left|3\right.}\left({\mathit{F}}_{1\left|3\right.}\right({\mathit{x}}_1\left|{\mathit{x}}_3\right.),{\mathit{F}}_{2\left|3\right.}({\mathit{x}}_2\left|{\mathit{x}}_3\right.\left)\right){\mathit{f}}_1\left({\mathit{x}}_1\right){\mathit{f}}_2\left({\mathit{x}}_2\right){\mathit{f}}_3\left({\mathit{x}}_3\right),\end{array}$$

(2.6)

where c₁₃(u₁, u₃), c₂₃(u₂, u₃), c_12|3(u₁, u₂) are the copula densities of C₁₃(u₁, u₃), C₂₃(u₂, u₃), C_12|3(u₁, u₂).

As we are looking for universal trivariate copulas we focus on uniform [0,1] marginal distributions and copulas for bivariate marginal and bivariate conditional distributions. Let (X₁, X₂, X₃) be a trivariate random vector with uniform [0,1] margins. A random sampling algorithm for the simulation of (X₁, X₂, X₃) corresponding to (2.5) reads (e.g. Kurowicka and Cooke (2006), equation (6.2)):

$${\mathit{X}}_3={\mathit{U}}_3,{\mathit{X}}_2={\mathit{F}}_{2\left|3\right.}^{-1}\left({\mathit{U}}_2\left|{\mathit{U}}_3\right.\right),{\mathit{X}}_1={\mathit{F}}_{1\left|3\right.}^{-1}\left({\mathit{F}}_{12\left|3;{\mathit{U}}_2\right.}^{-1}\left({\mathit{U}}_1\right)\left|{\mathit{U}}_3\right.\right)$$

(2.7)

where U₁, U₂, U₃ are independent uniform [0,1] random variables, ${\mathit{F}}_{1\left|3\right.}^{-1}\left({\mathit{x}}_1\left|{\mathit{x}}_3\right.\right),{\mathit{F}}_{2\left|3\right.}^{-1}\left({\mathit{x}}_2\left|{\mathit{x}}_3\right.\right)$ are the inverse cumulative distributions of F_1|3(x₁|x₃), F_2|3(x₂|x₃), and ${\mathit{F}}_{12\left|3;{\mathit{U}}_2\right.}^{-1}\left({\mathit{x}}_1\right)$ denotes the inverse cumulative distribution for X₁ given U₂ under the conditional copula C_12|3(u₁, u₂).

Kurowicka and Cooke (2006), Section 4.4.6, p.102, generate universal trivariate copulas with arbitrary valid rank correlation matrices using the sampling algorithm (2.7) based on the so-called “elliptical copula” for the involved copulas C₁₃(u₁, u₃), C₂₃(u₂, u₃), C_12|3(u₁, u₂).

However, it seems that no attempt has been made so far to translate this Monte Carlo simulation procedure into closed-form analytical copula formulas. For this, it is appropriate to restate the representation (2.5) for the trivariate copula C(u₁, u₂, u₃) associated to the uniform random vector (X₁, X₂, X₃) as follows:

$$\mathit{C}\left({\mathit{u}}_1,{\mathit{u}}_2,{\mathit{u}}_3\right)={\displaystyle \underset{0}{\overset{{\mathit{u}}_3}{\int }}{\mathit{C}}_{12\left|3\right.}\left(\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left({\mathit{u}}_1,\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left({\mathit{u}}_2,\mathit{t}\right)\right)}\mathit{dt}$$

(2.8)

It is important to remark that (2.8) is a special case of the following more general trivariate copula construction. Let A(u, v),  B(u, v) be two bivariate copulas, and let C = {C _t (u, v),  t ∈ [0, 1]} be a family of bivariate copulas. Then, the mapping A ∗  _C B  :  [0, 1]³ → [0, 1], defined by

$$\left(\mathit{A}{\ast }_{\mathit{C}}\mathit{B}\right)\left({\mathit{u}}_1,{\mathit{u}}_2,{\mathit{u}}_3\right)={\displaystyle \underset{0}{\overset{{\mathit{u}}_3}{\int }}{\mathit{C}}_{\mathit{t}}\left(\frac{\partial }{\partial \mathit{t}}\mathit{A}\left({\mathit{u}}_1,\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}\mathit{B}\left({\mathit{u}}_2,\mathit{t}\right)\right)\mathit{dt}}$$

(2.9)

yields a trivariate copula, called the C-lifting of the copulas A and B (Durante et al. (2007a), Proposition 3.2). The bivariate copula margins of the trivariate copula (2.9) are (A ∗  _C B)(u₁, u₂),  A(u₁, u₃),  B(u₂, u₃), where the bivariate copula

$$\left(\mathit{A}{\ast }_{\mathit{C}}\mathit{B}\right)\left({\mathit{u}}_1,{\mathit{u}}_2\right)={\displaystyle \underset{0}{\overset{1}{\int }}{\mathit{C}}_{\mathit{t}}\left(\frac{\partial }{\partial \mathit{t}}\mathit{A}\left({\mathit{u}}_1,\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}\mathit{B}\left({\mathit{u}}_2,\mathit{t}\right)\right)\mathit{dt}}$$

(2.10)

is called the C-product of the copulas A and B (see Durante et al. (2007b) for details). Clearly, the special instance (2.8) is obtained for the (constant) conditional copula family C _t (u, v) ≡ C_12|3(u, v),  t ∈ [0, 1].

Specializing further to bivariate elliptical copulas and extremal correlation matrices with the property ρ_12;3 = ± 1 (see Lemma 2.1), and finite convex combinations from these copulas, we claim that it suffices to consider the following two types of C-lifting copulas (2.8):

$$\begin{array}{l}{\mathit{C}}^{+}\left({\mathit{u}}_1,{\mathit{u}}_2,{\mathit{u}}_3\right)={\displaystyle \underset{0}{\overset{{\mathit{u}}_3}{\int }}min\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left({\mathit{u}}_1,\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left({\mathit{u}}_2,\mathit{t}\right)\right\}}\mathit{dt},\mathit{if}{\mathit{\rho }}_{12;3}=1,\\ {\mathit{C}}^{-}\left({\mathit{u}}_1,{\mathit{u}}_2,{\mathit{u}}_3\right)={\displaystyle \underset{0}{\overset{{\mathit{u}}_3}{\int }}max\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left({\mathit{u}}_1,\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left({\mathit{u}}_2,\mathit{t}\right)-1,0\right\}}\mathit{dt},\mathit{if}{\mathit{\rho }}_{12;3}=-1,\end{array}$$

(2.11)

where C₁₃(u₁, u₃), C₂₃(u₂, u₃) are bivariate elliptical copulas with correlation parameters r₁₃ = ρ₁₃,  r₂₃ = ρ₂₃. Indeed, choosing the Hoeffding-Fréchet bounds as conditional copulas C_12|3(u₁, u₂) = M(u₁, u₂) = min{u₁, u₂}, resp. C_12|3(u₁, u₂) = W(u₁, u₂) = max{u₁ + u₂ − 1, 0}, corresponds to choosing the bivariate conditional elliptical copula for the extreme conditional correlations r_12|3 = ± 1 (note that the bivariate copula is a comprehensive family, which realizes any correlation value in the interval (−1, 1)). But, for these elliptical copula choices, the conditional correlation is constant and coincides with the partial correlation (e.g. Kurowicka and Cooke (2006), Proposition 3.19, p.44). In particular, we have r_12|3 = ± 1  ⇔  ρ_12;3 = ± 1, which shows that the construction (2.11) realizes the extremal correlation matrices with the property

$${\mathit{\rho }}_{12}={\mathit{\rho }}_{13}{\mathit{\rho }}_{23}\pm \sqrt{\left(1-{\mathit{\rho }}_{13}^2\right)\cdot \left(1-{\mathit{\rho }}_{13}^2\right)}$$

(2.12)

In particular, this means that the correlations of the product copulas C⁺(u₁, u₂) = (C₁₃ ∗  _M C₂₃)(u₁, u₂),  C⁻(u₁, u₂) = (C₁₃ ∗  _W C₂₃)(u₁, u₂) coincide with (2.12). Moreover, according to Durante et al. (2007a), Corollary 4.1, we have for all bivariate copulas C₁₂ that are compatible with C₁₃, C₂₃ the sharp bounds in the concordance order:

$${\mathit{C}}^{-}\left({\mathit{u}}_1,{\mathit{u}}_2\right)\le {\mathit{C}}_{12}\left({\mathit{u}}_1,{\mathit{u}}_2\right)\le {\mathit{C}}^{+}\left({\mathit{u}}_1,{\mathit{u}}_2\right)$$

(2.13)

But ρ₁₃,  ρ₂₃ ∈ [−1, 1] are arbitrary and the correlation ρ₁₂ of C₁₂ in (2.12) varies between the two extreme bounds (2.12), hence all rank correlation matrices are feasible (see also the special case n = 3 of Theorem 3.1 in Hürlimann (2012b)). The extreme lifting copulas (2.11) together with appropriate finite convex combinations generate a class of 3-universal copulas. In the next Sections, we show that the product and lifting copulas satisfy closed-form analytical expressions.

For reasons of symmetry it is more appropriate to work with uniform [−1,1] random margins. Then a copula is defined on the centred cube C _n  = [−1, 1]ⁿ,  n ≥ 2, with uniform [−1,1] margins. In this setting and new notation, the lifting copulas (2.11) read:

$$\begin{array}{l}{\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\displaystyle \underset{-1}{\overset{\mathit{z}}{\int }}min\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)\right\}}\mathit{dt},\\ {\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\displaystyle \underset{-1}{\overset{\mathit{z}}{\int }}max\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2},0\right\}}\mathit{dt},(\mathit{x},\mathit{y},\mathit{z})\in {\mathit{C}}_3.\end{array}$$

(2.14)

In a first step, we compute the bivariate product copulas with extremal correlations (2.12), i.e.

$$\begin{array}{l}{\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)={\displaystyle \underset{-1}{\overset{1}{\int }}min\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)\right\}}\mathit{dt},\\ {\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)={\displaystyle \underset{-1}{\overset{1}{\int }}max\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2},0\right\}}\mathit{dt},(\mathit{x},\mathit{y})\in {\mathit{C}}_2.\end{array}$$

(2.15)

For this we need the explicit formulas of the bivariate linear circular copula, which are summarized in the Section 3.

3 The bivariate linear circular copula

Starting point is the unique circular symmetric distribution on the unit disk B₂ in R² with uniform [−1,1] margins. The associated so-called circular copula on C₂ is given by (Perlman and Wellner (2011), Theorem 3.1):

$$\mathit{C}\left(\mathit{u},\mathit{v}\right)=\frac{1}{4}\left(\mathit{u}+\mathit{v}+1\right)+{\mathit{\gamma }}_0\left(\mathit{u},\mathit{v}\right),{\mathit{\gamma }}_0\left(\mathit{u},\mathit{v}\right)=\left\{\begin{array}{c}\hfill {\mathit{\alpha }}_0\left(\mathit{u},\mathit{v}\right),{\mathit{u}}^2+{\mathit{v}}^2<1,\hfill \\ \hfill {\mathit{\beta }}_0\left(\mathit{u},\mathit{v}\right),{\mathit{u}}^2+{\mathit{v}}^2\ge 1,\hfill \end{array}\right.$$

(3.1)

With

$$\begin{array}{l}{\mathit{\alpha }}_0\left(\mathit{u},\mathit{v}\right)=\frac{1}{2\mathit{\pi }}\cdot \left\{\mathit{u}\cdot arcsin\left(\frac{\mathit{v}}{\sqrt{1-{\mathit{u}}^2}}\right)+\mathit{v}\cdot arcsin\left(\frac{\mathit{u}}{\sqrt{1-{\mathit{v}}^2}}\right)-arcsin\left(\frac{\mathit{uv}}{\sqrt{\left(1-{\mathit{u}}^2\right)\left(1-{\mathit{v}}^2\right)}}\right)\right\},\\ {\mathit{\beta }}_0\left(\mathit{u},\mathit{v}\right)=sgn\left(\mathit{uv}\right)\cdot \frac{1}{4}(\left|\mathit{u}\right|+\left|\mathit{v}\right|-1).\end{array}$$

(3.2)

Taking partial derivatives one obtains the corresponding copula density

$$\mathit{c}\left(\mathit{u},\mathit{v}\right)=\frac{1}{2\mathit{\pi }\sqrt{1-{\mathit{u}}^2-{\mathit{v}}^2}},\left(\mathit{u},\mathit{v}\right)\in {\mathit{B}}_2.$$

(3.3)

To obtain from this a one-parameter comprehensive family of copulas, let (U, V) ~ c(u, v) be the unique circular symmetric random vector on B₂. For each angle $\mathit{\phi }\in \left(-\frac{\mathit{\pi }}{2},\frac{\mathit{\pi }}{2}\right)$, set r = sin(φ) ∈ (−1, 1), and consider the linear transformed random vector (X, Y _r ) defined by

$$\mathit{X}=\mathit{U},{\mathit{Y}}_{\mathit{r}}=\mathit{r}\cdot \mathit{U}+\sqrt{1-{\mathit{r}}^2}\cdot \mathit{V}$$

(3.4)

which by circular symmetry generates a copula on C₂. The support of (X, Y _r ) is the ellipse

$${\mathit{E}}_{\mathit{r}}=\left\{\left(\mathit{x},\mathit{y}\right)\left|{\mathit{x}}^2+{\mathit{y}}^2-2\mathit{rxy}<1-{\mathit{r}}^2\right.\right\}$$

(3.5)

Clearly, the correlation coefficient (that is equal to the rank correlation) of the random pair (X, Y _r ) is r ∈ (−1, 1). The corresponding comprehensive one-parameter family of linear circular copulas has the explicit representation (Perlman and Wellner (2011), Theorem 5.1):

$${\mathit{C}}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\frac{1}{4}\left(\mathit{x}+\mathit{y}+1\right)+{\mathit{\gamma }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right),{\mathit{\gamma }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\left\{\begin{array}{c}\hfill {\mathit{\alpha }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right),(\mathit{x},\mathit{y})\in {\mathit{E}}_{\mathit{r}},\hfill \\ \hfill {\mathit{\beta }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right),(\mathit{x},\mathit{y})\in {\mathit{C}}_2\backslash {\mathit{E}}_{\mathit{r}}\hfill \end{array}\right.$$

(3.6)

with

$${\mathit{\alpha }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2\mathit{\pi }}\cdot \left\{\begin{array}{l}\mathit{x}\cdot arcsin\left(\frac{\mathit{y}-\mathit{rx}}{\sqrt{\left(1-{\mathit{r}}^2\right)\left(1-{\mathit{x}}^2\right)}}\right)+\mathit{y}\cdot arcsin\left(\frac{\mathit{x}-\mathit{ry}}{\sqrt{\left(1-{\mathit{r}}^2\right)\left(1-{\mathit{y}}^2\right)}}\right)\\ -arcsin\left(\frac{\mathit{xy}-\mathit{r}}{\sqrt{\left(1-{\mathit{x}}^2\right)\left(1-{\mathit{y}}^2\right)}}\right)\end{array}\right\},$$

(3.7)

and

$${\mathit{\beta }}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\left\{\begin{array}{l}\frac{1}{4}\left(\mathit{x}+\mathit{y}-1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_1\left(\mathit{r}\right):=({\mathit{C}}_2\backslash {\mathit{E}}_{\mathit{r}})\cap \left\{\mathit{x}+\mathit{y}\ge 1+\mathit{r}\right\}\\ \frac{1}{4}\left(\mathit{x}-\mathit{y}+1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_2\left(\mathit{r}\right):=({\mathit{C}}_2\backslash {\mathit{E}}_{\mathit{r}})\cap \left\{\mathit{y}-\mathit{x}\ge 1-\mathit{r}\right\}\\ \frac{1}{4}\left(-\mathit{x}-\mathit{y}-1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_3\left(\mathit{r}\right):=({\mathit{C}}_2\backslash {\mathit{E}}_{\mathit{r}})\cap \left\{\mathit{x}+\mathit{y}\le -1-\mathit{r}\right\}\\ \frac{1}{4}\left(\mathit{y}-\mathit{x}+1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_4\left(\mathit{r}\right):=({\mathit{C}}_2\backslash {\mathit{E}}_{\mathit{r}})\cap \left\{\mathit{y}-\mathit{x}\le -1+\mathit{r}\right\}\end{array}\right.$$

(3.8)

It is important to remark that the copula density coincides with the “elliptical copula” density introduced in Kurowicka et al. (2000) and extensively used in the book by Kurowicka and Cooke (2006). It is given by (Perlman and Wellner (2011), Proposition 5.1):

$${\mathit{c}}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2\mathit{\pi }\sqrt{\left(1-{\mathit{r}}^2\right)\left(1-{\mathit{x}}^2\right)-{\left(\mathit{y}-\mathit{rx}\right)}^2}}\cdot 1_{{\mathit{E}}_{\mathit{r}}}\left(\mathit{x},\mathit{y}\right),\left(\mathit{x},\mathit{y}\right)\in {\mathit{C}}_2.$$

(3.9)

Since this family is obtained through linear transformation of the unique circular copula it is natural to use the name “linear circular copula”. This new terminology clearly distinguishes it from the ubiquitous class of “elliptical copulas” that is generated by the multivariate elliptical distributions in any dimension. A further reason is that Perlman and Wellner (2011), Section 6, consider the possibility to generate non-linear circular copulas and provide an example.

For later use in Section 4, we also need expressions for the conditional linear circular copulas, i.e. the partial derivatives with respect to the arguments. For this, we first rewrite (3.6) for the outer part C₂ \ E _r of the ellipse as follows:

$${\mathit{C}}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)=\left\{\begin{array}{l}\frac{1}{2}\left(\mathit{x}+\mathit{y}\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_1\left(\mathit{r}\right)\\ \frac{1}{2}\left(\mathit{x}+1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_2\left(\mathit{r}\right)\\ 0,\left(\mathit{x},\mathit{y}\right)\in {\mathit{L}}_3\left(\mathit{r}\right)\\ \frac{1}{4}\left(\mathit{y}+1\right),(\mathit{x},\mathit{y})\in {\mathit{L}}_4\left(\mathit{r}\right)\end{array}\right.$$

(3.10)

Through partial derivation we obtain the following formula

$$\frac{\partial {\mathit{C}}_{\mathit{r}}\left(\mathit{x},\mathit{y}\right)}{\partial \mathit{y}}=\left\{\begin{array}{l}\frac{1}{4}+\frac{1}{2\mathit{\pi }}arcsin\left(\frac{\mathit{x}-\mathit{ry}}{\sqrt{\left(1-{\mathit{r}}^2\right)\left(1-{\mathit{y}}^2\right)}}\right),\left(\mathit{x},\mathit{y}\right)\in {\mathit{E}}_{\mathit{r}}\hfill \\ \frac{1}{2},\left(\mathit{x},\mathit{y}\right)\in {\mathit{L}}_1\left(\mathit{r}\right)\cup {\mathit{L}}_4\left(\mathit{r}\right)\hfill \\ 0,\left(\mathit{x},\mathit{y}\right)\in {\mathit{L}}_2\left(\mathit{r}\right)\cup {\mathit{L}}_3\left(\mathit{r}\right)\hfill \end{array}\right.$$

(3.11)

4 Analytical product copula formulas

Using the explicit formulas (3.6)-(3.8) for the linear circular copula, it is now possible to derive simple analytical expressions for the extreme linear circular product copulas (2.15). Given are extreme correlation coefficients $\left({\mathit{\rho }}_{13},{\mathit{\rho }}_{23},{\mathit{\rho }}_{12}^{\pm }\right)$ such that ${\mathit{\rho }}_{12}^{\pm }={\mathit{\rho }}_{13}{\mathit{\rho }}_{23}\pm \sqrt{\left(1-{\mathit{\rho }}_{13}^2\right)\cdot \left(1-{\mathit{\rho }}_{23}^2\right)}$, ρ₁₃, ρ₂₃ ∈ [−1, 1]. Consider the linear circular copulas ${\mathit{C}}_{13}\left(\mathit{x},\mathit{y}\right)={\mathit{C}}_{{\mathit{r}}_{12}}\left(\mathit{x},\mathit{y}\right),{\mathit{C}}_{23}\left(\mathit{x},\mathit{y}\right)={\mathit{C}}_{{\mathit{r}}_{23}}\left(\mathit{x},\mathit{y}\right)$ obtained from (3.6) by setting r₁₃ = ρ₁₃,  r₂₃ = ρ₂₃. The abbreviations $\mathit{a}=\sqrt{1-{\mathit{\rho }}_{13}^2},\mathit{b}=\sqrt{1-{\mathit{\rho }}_{23}^2}$, c^± = ρ₂₃a ∓ bρ₁₃ are used throughout. Without loss of generality we assume that a ≥ b.

Proposition 4.1

The upper extreme linear circular product copula ${\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)={\displaystyle \underset{-1}{\overset{1}{\int }}min\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right),\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)\right\}}\mathit{dt},\left(\mathit{x},\mathit{y}\right)\in {\mathit{C}}_2$ satisfies the following analytical representation:

Case I: c⁺ = r₂₃a − br₁₃ ≥ 0

$$\begin{array}{l}\left(\mathrm{I}.\mathrm{a}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+1),\mathit{ay}-\mathit{bx}\ge {\mathit{c}}^{+},\hfill \\ \left(\mathrm{I}.\mathrm{b}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{y}+1)+{\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}})-{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}),-{\mathit{c}}^{+}<\mathit{ay}-\mathit{bx}<{\mathit{c}}^{+},\hfill \\ \left(\mathrm{I}.\mathrm{c}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{y}+1),\mathit{ay}-\mathit{bx}\le -{\mathit{c}}^{+}.\hfill \end{array}$$

(4.1)

Case II: c⁺ = r₂₃a − br₁₃ < 0

$$\begin{array}{l}\left(\mathrm{II}.\mathrm{a}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+1),\mathit{ay}-\mathit{bx}\ge -{\mathit{c}}^{+},\hfill \\ \left(\mathrm{II}.\mathrm{b}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+1)-{\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}})+{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}),{\mathit{c}}^{+}<\mathit{ay}-\mathit{bx}<-{\mathit{c}}^{+},\hfill \\ \left(\mathrm{II}.\mathrm{c}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{y}+1),\mathit{ay}-\mathit{bx}\le {\mathit{c}}^{+}.\hfill \end{array}$$

(4.2)

The special case c⁺ = 0 occurs exactly when ${\mathit{\rho }}_{13}={\mathit{\rho }}_{23}\in \left[-1,1\right],{\mathit{\rho }}_{12}^{+}=1$, and (4.1) reduces to the formula ${\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}\left(\mathit{x}+1\right),\mathit{y}\ge \mathit{x},{\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}\left(\mathit{y}+1\right),\mathit{y}\le \mathit{x}$.

Proposition 4.2

The lower extreme linear circular product copula ${\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)={\displaystyle \underset{-1}{\overset{1}{\int }}max\left\{\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2},0\right\}}\mathit{dt},\left(\mathit{x},\mathit{y}\right)\in {\mathit{C}}_2$, satisfies the following analytical representation:The special case c⁻ = 0 occurs exactly when ${\mathit{\rho }}_{23}=-{\mathit{\rho }}_{13}\in \left[-1,1\right],{\mathit{\rho }}_{12}^{-}=-1$, and (4.3) reduces to the formula ${\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}\left(\mathit{x}+\mathit{y}\right),\mathit{x}+\mathit{y}\ge 0,{\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=0,\mathit{x}+\mathit{y}\le 0$.

Case I: c⁻ = r₂₃a + br₁₃ ≥ 0

$$\begin{array}{l}\left(\mathrm{I}.\mathrm{a}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+\mathit{y}),\mathit{ay}+\mathit{bx}\ge {\mathit{c}}^{-},\hfill \\ \left(\mathrm{I}.\mathrm{b}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)={\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}})+{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}})-\frac{1}{2}(1+\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}),-{\mathit{c}}^{-}<\mathit{ay}+\mathit{bx}<{\mathit{c}}^{-},\hfill \\ \left(\mathrm{I}.\mathrm{c}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=0,\mathit{ay}+\mathit{bx}\le -{\mathit{c}}^{-}.\hfill \end{array}$$

(4.3)

Case II: c⁻ = r₂₃a + br₁₃ < 0

$$\begin{array}{l}\left(\mathrm{II}.\mathrm{a}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+\mathit{y}),\mathit{ay}+\mathit{bx}\ge -{\mathit{c}}^{-},\hfill \\ \left(\mathrm{II}.\mathrm{b}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=\frac{1}{2}(\mathit{x}+\mathit{y}+1+\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}})-{\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}})-{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}),{\mathit{c}}^{-}<\mathit{ay}+\mathit{bx}<-{\mathit{c}}^{-},\hfill \\ \left(\mathrm{II}.\mathrm{c}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y}\right)=0,\mathit{ay}+\mathit{bx}\le {\mathit{c}}^{-}.\hfill \end{array}$$

(4.4)

Remark 4.1

It has been stated after equation (2.12) that the (rank) correlations of the extreme linear circular product copulas coincide with ${\mathit{\rho }}_{12}^{\pm }$. The obtained formulas (4.1)-(4.4) can be verified indirectly by showing that the rank correlations of these copulas are the right ones, i.e.

$${\mathit{\rho }}_{12}^{\pm }=3\cdot {\displaystyle \underset{-1}{\overset{1}{\int }}{\displaystyle \underset{-1}{\overset{1}{\int }}{\mathit{C}}^{\pm }\left(\mathit{x},\mathit{y}\right)\mathit{dxdy}}}-3$$

(4.5)

This can be done through analytical calculation or numerical integral computation (the latter based on a computer algebra system, e.g. MATHCAD from MathSoft, Inc.). In fact, before conjectural statement and mathematical proof, we have first checked the simple case c^± = 0, for which ${\mathit{\rho }}_{12}^{\pm }=\pm 1$, and have verified numerically the formulas (4.5) in the general case.

A direct analytical proof of the obtained formulas is based on a set of (firstly conjectured) conditional copula inequalities, which are of independent interest, and are proved in detail in Appendix 1 and 2. These inequalities are also of primordial importance in Section 5.

Theorem 4.1

(Upper conditional product copula or UPC inequalities) In the above notations the following inequalities hold for all x, y, t ∈ [−1, 1]:

Case (I.a), ay − bx ≥ c⁺:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$$

Case (I.b), − c⁺ < ay − bx < c⁺:

$$\begin{array}{l}\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t}),-1\le \mathit{t}\le \frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}},\\ \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t}),\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}\le \mathit{t}\le 1\end{array}$$

Case (I.c), ay − bx ≤ − c⁺:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$$

Case (II.a), ay − bx ≥ − c⁺:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$$

Case (II.b), c⁺ < ay − bx < − c⁺:

$$\begin{array}{l}\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t}),-1\le \mathit{t}\le \frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}},\\ \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t}),\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}\le \mathit{t}\le 1\end{array}$$

Case (II.c), ay − bx ≤ c⁺:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$$

Theorem 4.2

(Lower conditional product copula or LPC inequalities) In the above notations the following inequalities hold for all x, y, t ∈ [−1, 1]:

Case (I.a), ay + bx ≥ c⁻:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$$

Case (I.b), − c⁻ < ay + bx < c⁻:

$$\begin{array}{l}\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t})-\frac{1}{2}\ge 0,-1\le \mathit{t}\le \frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}},\\ \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t})-\frac{1}{2}\le 0,\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}\le \mathit{t}\le 1\end{array}$$

Case (I.c), ay + bx ≤ − c⁻:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$$

Case (II.a), ay + bx ≥ − c⁻:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$$

Case (II.b), c⁻ < ay + bx < − c⁻:

$$\begin{array}{l}\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t})-\frac{1}{2}\ge 0,\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}\le \mathit{t}\le 1,\\ \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}(\mathit{y},\mathit{t})-\frac{1}{2}\le 0,-1\le \mathit{t}\le \frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}\end{array}$$

Case (II.c), ay + bx ≤ c⁻:

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$$

Proof of the Propositions 4.1 and 4.2

Inserting the inequalities from Theorem 4.1 (4.2) case by case into the upper (lower) product copula (2.15) shows the desired formulas. ◊

5 Analytical closed-form 3-universal copulas

Based on the relevant conditional copula inequalities provided in the Theorems 4.1 and 4.2, we derive first analytical closed-form expressions for the extreme linear circular lifting copulas (2.14). We use the same notations, abbreviations and assumptions as in the preceding Section.

Theorem 5.1

The upper extreme linear circular lifting copula (2.14) satisfies the following analytical representation:

Case I: c⁺ = r₂₃a − br₁₃ ≥ 0

$$\begin{array}{l}\left(\mathrm{I}.\mathrm{a}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z}),\mathit{ay}-\mathit{bx}\ge {\mathit{c}}^{+},\hfill \\ \begin{array}{l}\left(\mathrm{I}.\mathrm{b}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}})+{\mathit{C}}_{23}(\mathit{y},\mathit{z})-{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}),\mathit{z}>\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}>-1,\\ {\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z}),\mathit{z}\le \frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}<1,\end{array}\hfill \\ \left(\mathrm{I}.\mathrm{c}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y}\right)={\mathit{C}}_{23}(\mathit{y},\mathit{z}),\mathit{ay}-\mathit{bx}\le -{\mathit{c}}^{+}.\hfill \end{array}$$

(5.1)

Case II: c⁺ = r₂₃a − br₁₃ < 0

$$\begin{array}{l}\left(\mathrm{II}.\mathrm{a}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z}),\mathit{ay}-\mathit{bx}\ge -{\mathit{c}}^{+},\hfill \\ \begin{array}{l}\left(\mathrm{II}.\mathrm{b}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z})-{\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}})+{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}),\mathit{z}>\frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}>-1,\\ {\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{23}(\mathit{y},\mathit{z}),\mathit{z}\le \frac{\mathit{ay}-\mathit{bx}}{{\mathit{c}}^{+}}<1,\end{array}\hfill \\ \left(\mathrm{II}.\mathrm{c}\right){\mathit{C}}^{+}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{23}(\mathit{y},\mathit{z}),\mathit{ay}-\mathit{bx}\le {\mathit{c}}^{+}.\hfill \end{array}$$

(5.2)

The special case c⁺ = 0 occurs exactly when $\mathit{r}={\mathit{\rho }}_{13}={\mathit{\rho }}_{23}\in \left[-1,1\right],{\mathit{\rho }}_{12}^{+}=1$, and (5.1) reduces to the formula C⁺(x, y, z) = C _r (x, z),  y ≥ x,  C⁺(x, y, z) = C _r (y, z),  y ≤ x.

Theorem 5.2

The lower extreme linear circular lifting copula (2.14) satisfies the following analytical representation:

Case I: c⁻ = r₂₃a + br₁₃ ≥ 0

$$\begin{array}{l}\left(\mathrm{I}.\mathrm{a}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z})+{\mathit{C}}_{23}(\mathit{y},\mathit{z})-\frac{1}{2}(1+\mathit{z}),\mathit{ay}+\mathit{bx}\ge {\mathit{c}}^{-},\hfill \\ \begin{array}{l}\left(\mathrm{I}.\mathrm{b}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},min\{\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}},\mathit{z}\left\}\right)+{\mathit{C}}_{23}(\mathit{y},min\{\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}},\mathit{z}\left\}\right)\\ -\frac{1}{2}(1+min\left\{\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}},\mathit{z}\right\}),-{\mathit{c}}^{-}<\mathit{ay}+\mathit{bx}<{\mathit{c}}^{-},\end{array}\hfill \\ \left(\mathrm{I}.\mathrm{c}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)=0,\mathit{ay}+\mathit{bx}\le -{\mathit{c}}^{-}.\hfill \end{array}$$

(5.3)

Case II: c⁻ = r₂₃a + br₁₃ < 0

$$\begin{array}{l}\left(\mathrm{II}.\mathrm{a}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z})+{\mathit{C}}_{23}(\mathit{y},\mathit{z})-\frac{1}{2}(1+\mathit{z}),\mathit{ay}+\mathit{bx}\ge -{\mathit{c}}^{-},\hfill \\ \begin{array}{l}\left(\mathrm{II}.\mathrm{b}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_{13}(\mathit{x},\mathit{z})-{\mathit{C}}_{13}(\mathit{x},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}})+{\mathit{C}}_{23}(\mathit{y},\mathit{z})-{\mathit{C}}_{23}(\mathit{y},\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}),\\ \mathit{z}>\frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}>-1,{\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)=0,\mathit{z}\le \frac{\mathit{ay}+\mathit{bx}}{{\mathit{c}}^{-}}<1,\end{array}\hfill \\ \left(\mathrm{II}.\mathrm{c}\right){\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)=0,\mathit{ay}+\mathit{bx}\le {\mathit{c}}^{-}.\hfill \end{array}$$

(5.4)

The special case c⁻ = 0 occurs exactly when ${\mathit{\rho }}_{13}={\mathit{\rho }}_{23}=0,{\mathit{\rho }}_{12}^{-}=-1$, and (5.3) reduces to the formula ${\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{C}}_0\left(\mathit{x},\mathit{z}\right)+{\mathit{C}}_0\left(\mathit{y},\mathit{z}\right)-\frac{1}{2}\left(1+\mathit{z}\right),\mathit{x}+\mathit{y}\ge 0,{\mathit{C}}^{-}\left(\mathit{x},\mathit{y},\mathit{z}\right)=0,\mathit{x}+\mathit{y}\le 0$.

Proof of the Theorems 5.1 and 5.2

Inserting the inequalities from Theorem 4.1 (4.2) case by case into the upper (lower) lifting copula (2.14) shows the desired formulas. ◊

By the Theorem of Carathéodory, the obtained results show the existence of a 3-universal linear circular based copula. However, instead of linearly combining four extreme points (Carathéodory’s result), two such points suffice here, as shown in the next main result. Recall that the linear circular lifting copulas C^±(x, y, z) belong to the extreme points ${\mathit{\rho }}^{\pm }=\left({\mathit{\rho }}_{13},{\mathit{\rho }}_{23},{\mathit{\rho }}_{12}^{\pm }\right)$.

Theorem 5.3

(3-universal linear circular copula) Let ρ = (ρ₁₃, ρ₂₃, ρ₁₂) belong to an arbitrary 3×3 positive semi-definite rank correlation matrix. Then, the following 3-copula is universal:

$$\begin{array}{l}{\mathit{C}}_{\mathit{\rho }}\left(\mathit{x},\mathit{y},\mathit{z}\right)={\mathit{\lambda }}^{-}{\mathit{C}}^{-}(\mathit{x},\mathit{y},\mathit{z})+{\mathit{\lambda }}^{+}{\mathit{C}}^{+}(\mathit{x},\mathit{y},\mathit{z}),(\mathit{x},\mathit{y},\mathit{z})\in {\mathit{C}}_3,\\ {\mathit{\lambda }}^{-}=\frac{1}{2}\frac{{\mathit{\rho }}_{12}^{+}-{\mathit{\rho }}_{12}}{\sqrt{\left(1-{\mathit{\rho }}_{13}^2\right)\cdot \left(1-{\mathit{\rho }}_{23}^2\right)}}\ge 0,{\mathit{\lambda }}^{+}=\frac{1}{2}\frac{{\mathit{\rho }}_{12}-{\mathit{\rho }}_{12}^{-}}{\sqrt{\left(1-{\mathit{\rho }}_{13}^2\right)\cdot \left(1-{\mathit{\rho }}_{23}^2\right)}}\ge 0,{\mathit{\lambda }}^{-}+{\mathit{\lambda }}^{+}=1.\end{array}$$

Proof

This follows from the preceding results by noting that ρ = λ⁻ρ⁻ + λ⁺ρ⁺. ◊

6 Applications and conclusions

As an immediate statistical application, we show that the sampling algorithm for trivariate canonical vine copulas (Kurowicka and Cooke (2006), Section 6.4.2) reduces to a two-dimensional simulation algorithm for the uniform [0,1] random vectors ${\mathit{X}}^{\pm }=\left({\mathit{X}}_1^{\pm },{\mathit{X}}_2^{\pm },{\mathit{X}}_3^{\pm }\right)$ with lower and upper extreme linear circular lifting copulas C^±(u, v, w), (u, v, w) ∈  [0, 1]³. Invoking Theorem 5.3, this yields below a simple two-dimensional algorithm for generating random vectors X = (X₁, X₂, X₃) with 3-universal linear circular copula. To show this, one needs some regression properties of the linear circular copula of Section 3.

Proposition 6.1

(Kurowicka and Cooke (2006), Proposition 3.18) Let U,  V be uniform [0,1] random variables joined by the linear circular copula with correlation ρ.

Then one has

$$\mathit{E}\left[\mathit{V}\left|\mathit{U}\right.\right]=\frac{1}{2}\left(1-\mathit{\rho }\right)+\mathit{\rho U}$$

(6.1)

$$\mathit{Var}\left[\mathit{V}\left|\mathit{U}\right.\right]=\frac{1}{2}\left(1-{\mathit{\rho }}^2\right)\mathit{U}\left(1-\mathit{U}\right)$$

(6.2)

$${\mathit{F}}_{\mathit{V}\left|\mathit{U}\right.}\left(\mathit{v}\left|\mathit{u}\right.\right)=\frac{1}{2}+\frac{1}{\mathit{\pi }}arcsin\left(\frac{\mathit{v}-\mathit{\rho u}-\frac{1}{2}\left(1-\mathit{\rho }\right)}{\sqrt{\left(1-{\mathit{\rho }}^2\right)\mathit{u}\left(1-\mathit{u}\right)}}\right),\mathit{u},\mathit{v}\in \left[0,1\right]$$

(6.3)

$${\mathit{F}}_{\mathit{V}\left|\mathit{U}\right.}^{-1}\left(\mathit{\xi }\left|\mathit{u}\right.\right)=\frac{1}{2}\left(1-\mathit{\rho }\right)+\mathit{\rho u}+\sqrt{\left(1-{\mathit{\rho }}^2\right)\mathit{u}\left(1-\mathit{u}\right)}\cdot sin\left(\mathit{\pi \xi }-\frac{\mathit{\pi }}{2}\right),\mathit{u},\mathit{\xi }\in \left[0,1\right]$$

(6.4)

Of further relevance is the following result, which states that conditional correlations are constant and equal to partial correlations for the linear circular copula.

Proposition 6.2

Kurowicka and Cooke (2006), Proposition 3.19) Let U₁,  U₂,  U₃ be uniform [0,1] random variables, and let U₁,  U₂ and U₂,  U₃ be joined by the linear circular copula with correlations ρ₁₂ and ρ₁₃ respectively. Assume that the conditional copula for U₂,  U₃ given U₁ does not depend on U₁. Then, the conditional correlation ρ_23|1 = ρ(U₂|U₁, U₃|U₁) is constant in U₁ and ${\mathit{\rho }}_{23\left|1\right.}={\mathit{\rho }}_{23;1}=\frac{{\mathit{\rho }}_{23}-{\mathit{\rho }}_{12}{\mathit{\rho }}_{13}}{\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right)\cdot \left(1-{\mathit{\rho }}_{23}^2\right)}}$.

Now, let U₁,  U₂,  U₃ be uniform [0,1] random variables. To generate a random vector X = (X₁, X₂, X₃) with valid rank correlation matrix ρ = (ρ₁₃, ρ₂₃, ρ₁₂), one uses the general sampling algorithm by Kurowicka and Cooke (2006), Section 6.4.2, which in the linear circular copula case reads as follows (use equation (6.4)):

$$\begin{array}{l}{\mathit{X}}_1={\mathit{U}}_1,{\mathit{X}}_2={\mathit{F}}_{{\mathit{\rho }}_{12};{\mathit{U}}_1}^{-1}\left({\mathit{U}}_2\right)=\frac{1}{2}(1-{\mathit{\rho }}_{12})+{\mathit{\rho }}_{12}{\mathit{U}}_1+\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_2-\frac{\mathit{\pi }}{2}),\\ {\mathit{X}}_3={\mathit{F}}_{{\mathit{\rho }}_{13};{\mathit{U}}_1}^{-1}\left({\mathit{F}}_{{\mathit{\rho }}_{23\left|1\right.};{\mathit{U}}_2}^{-1}\left({\mathit{U}}_3\right)\right)=\frac{1}{2}(1-{\mathit{\rho }}_{13})+{\mathit{\rho }}_{13}{\mathit{U}}_1+\sqrt{\left(1-{\mathit{\rho }}_{13}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin\left(\mathit{\pi }{\mathit{F}}_{{\mathit{\rho }}_{23\left|1\right.};{\mathit{U}}_2}^{-1}\right({\mathit{U}}_3)-\frac{\mathit{\pi }}{2}),\\ {\mathit{F}}_{{\mathit{\rho }}_{23\left|1\right.};{\mathit{U}}_2}^{-1}\left({\mathit{U}}_3\right)=\frac{1}{2}(1-{\mathit{\rho }}_{23\left|1\right.})+{\mathit{\rho }}_{23\left|1\right.}{\mathit{U}}_2+\sqrt{\left(1-{\mathit{\rho }}_{23\left|1\right.}^2\right){\mathit{U}}_2\left(1-{\mathit{U}}_2\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_3-\frac{\mathit{\pi }}{2}).\end{array}$$

For the extreme points ${\mathit{\rho }}^{\pm }=\left({\mathit{\rho }}_{13},{\mathit{\rho }}_{23}^{\pm },{\mathit{\rho }}_{12}\right)$ with ${\mathit{\rho }}_{23}^{\pm }={\mathit{\rho }}_{12}{\mathit{\rho }}_{13}\pm \sqrt{\left(1-{\mathit{\rho }}_{12}^2\right)\cdot \left(1-{\mathit{\rho }}_{13}^2\right)}$ one has ${\mathit{\rho }}_{23\left|1\right.}^{\pm }={\mathit{\rho }}_{23;1}^{\pm }=\pm 1$ by Proposition 6.2 (see also Kurowicka and Cooke (2006), p.102). To generate uniform [0,1] random vectors ${\mathit{X}}^{\pm }=\left({\mathit{X}}_1^{\pm },{\mathit{X}}_2^{\pm },{\mathit{X}}_3^{\pm }\right)$ with correlation matrices ρ^±, one uses two times the preceding equations. In case ${\mathit{\rho }}_{23\left|1\right.}^{+}=1$ one has ${\mathit{F}}_{{\mathit{\rho }}_{23\left|1\right.}^{+};{\mathit{U}}_2}^{-1}\left({\mathit{U}}_3\right)={\mathit{U}}_2$, and in case ${\mathit{\rho }}_{23\left|1\right.}^{-}=-1$ one has ${\mathit{F}}_{{\mathit{\rho }}_{23\left|1\right.}^{-};{\mathit{U}}_2}^{-1}\left({\mathit{U}}_3\right)=1-{\mathit{U}}_2$.

It follows that

$$\begin{array}{l}{\mathit{X}}_1^{\pm }={\mathit{U}}_1,{\mathit{X}}_2^{\pm }=\frac{1}{2}\left(1-{\mathit{\rho }}_{12}\right)+{\mathit{\rho }}_{12}{\mathit{U}}_1+\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_2-\frac{\mathit{\pi }}{2}),\\ {\mathit{X}}_3^{\pm }=\frac{1}{2}\left(1-{\mathit{\rho }}_{13}\right)+{\mathit{\rho }}_{13}{\mathit{U}}_1\pm \sqrt{\left(1-{\mathit{\rho }}_{13}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_2-\frac{\mathit{\pi }}{2}).\end{array}$$

(6.5)

Theorem 6.1

Let U₁,  U₂ be uniform [0,1] random variables, and let ρ = (ρ₁₃, ρ₂₃, ρ₁₂) be a valid rank correlation matrix. Then, the sampling procedure

$$\begin{array}{l}{\mathit{X}}_1={\mathit{U}}_1,{\mathit{X}}_2=\frac{1}{2}\left(1-{\mathit{\rho }}_{12}\right)+{\mathit{\rho }}_{12}{\mathit{U}}_1+\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_2-\frac{\mathit{\pi }}{2}),\\ {\mathit{X}}_3=\frac{1}{2}\left(1-{\mathit{\rho }}_{13}\right)+{\mathit{\rho }}_{13}{\mathit{U}}_1+{\mathit{\rho }}_{23;1}\sqrt{\left(1-{\mathit{\rho }}_{13}^2\right){\mathit{U}}_1\left(1-{\mathit{U}}_1\right)}\cdot sin(\mathit{\pi }{\mathit{U}}_2-\frac{\mathit{\pi }}{2}),\end{array}$$

(6.6)

generates a random vector with 3-universal linear circular copula that has correlation matrix ρ.

Proof

With a permutation of indices, one has by Theorem 5.3 that X = λ⁻X⁻ + λ⁺X⁺, with

$${\mathit{\lambda }}^{-}=\frac{1}{2}\frac{{\mathit{\rho }}_{23}^{+}-{\mathit{\rho }}_{23}}{\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right)\cdot \left(1-{\mathit{\rho }}_{13}^2\right)}}\ge 0,{\mathit{\lambda }}^{+}=\frac{1}{2}\frac{{\mathit{\rho }}_{23}-{\mathit{\rho }}_{23}^{-}}{\sqrt{\left(1-{\mathit{\rho }}_{12}^2\right)\cdot \left(1-{\mathit{\rho }}_{13}^2\right)}}\ge 0,{\mathit{\lambda }}^{-}+{\mathit{\lambda }}^{+}=1.$$

The result follows by combining the equations (6.5) noting that λ⁺ − λ⁻ = ρ_23;1. ◊

Let us conclude. Since simulation algorithms are almost always used in vine copula applications, any dimension reduction of such algorithms is a significant computational improvement. Vine copulas have received a lot of attention in recent years with applications in nearly all branches of mathematical sciences. Some further representative works on theory and applications of (vine) copulas include Cherubini et al. (2004), Mauguis and Guégan (2010), Vaz de Melo Mendes et al. (2010), Hürlimann (2011), Joe and Kurowicka (2011), Bernard and Czado (2012), Czado et al. (2012), Allen et al. (2013), Brechmann and Czado (2013), etc. Vine copulas are especially useful in higher dimensions. Unfortunately, due to its complexity, the present work could not be so far extended beyond dimension three. This is an important challenge for future research.

For n < 6 Letac (2010) has announced some universal copulas, which use quite advanced mathematics, however. As stated by him, a difficulty lies in the lack of an easy characterization of the extreme points of the convex set of correlation matrices of order n. One can ask whether in higher dimensions the explicit recursive closed form correlation bounds for positive semi-definite correlation matrices derived in Hürlimann (2012b) are of help in this matter, as is the case in dimension three.

Explicit simpler constructions than ours are also open for investigation. Note that one of the most elementary approach, which is based on bivariate linear Spearman copulas, though completely classified, does not lead to 3-universal copulas, as shown in Hürlimann (2012c).

Appendix 1

Some preliminary identities and inequalities

We begin with some preliminary material that will be used throughout in Appendix 2. Due to the structure of the bivariate linear circular copula, the analysis of the conjectured inequalities requires a case by case analysis of whether or not the coordinates (x, t), respectively (y, t), belong to one of the following disjoint regions of the centred square C₂. For (x, t) these are the regions defined and denoted by

$$\mathit{E}\left({\mathit{r}}_{13}\right)=\left\{\left(\mathit{x},\mathit{t}\right):{\mathit{x}}^2+{\mathit{t}}^2-2{\mathit{r}}_{13}\mathit{xt}<1-{\mathit{r}}_{13}^2\right\}$$

: inner of ellipse

$${\mathit{E}}^{-}\left({\mathit{r}}_{13}\right)=\left\{\left(\mathit{x},\mathit{t}\right):\mathit{t}\le {\mathit{r}}_{13}\mathit{x}-\sqrt{\left(1-{\mathit{r}}_{13}^2\right)\left(1-{\mathit{x}}^2\right)}\right\}$$

: lower outer part of ellipse

$${\mathit{E}}^{+}\left({\mathit{r}}_{13}\right)=\left\{\left(\mathit{x},\mathit{t}\right):\mathit{t}\ge {\mathit{r}}_{13}\mathit{x}+\sqrt{\left(1-{\mathit{r}}_{13}^2\right)\left(1-{\mathit{x}}^2\right)}\right\}$$

: upper outer part of ellipse

L₁(r₁₃) = (C₂ \ E(r₁₃)) ∩ {x + t ≥ 1 + r₁₃}: outer part of ellipse above line in 1^st quadrant

L₂(r₁₃) = (C₂ \ E(r₁₃)) ∩ {t − x ≥ 1 − r₁₃}: outer part of ellipse above line in 2^nd quadrant

L₃(r₁₃) = (C₂ \ E(r₁₃)) ∩ {x + t ≤ − 1 − r₁₃}: outer part of ellipse below line in 3^rd quadrant

L₄(r₁₃) = (C₂ \ E(r₁₃)) ∩ {t − x ≤ − 1 + r₁₃}: outer part of ellipse below line in 4^th quadrant

For (y, t) these are the disjoint regions defined and denoted by

$$\mathit{E}\left({\mathit{r}}_{23}\right)=\left\{\left(\mathit{y},\mathit{t}\right):{\mathit{y}}^2+{\mathit{t}}^2-2{\mathit{r}}_{23}\mathit{yt}<1-{\mathit{r}}_{23}^2\right\}$$

: inner of ellipse

$${\mathit{E}}^{-}\left({\mathit{r}}_{23}\right)=\left\{\left(\mathit{y},\mathit{t}\right):\mathit{t}\le {\mathit{r}}_{23}\mathit{y}-\sqrt{\left(1-{\mathit{r}}_{23}^2\right)\left(1-{\mathit{y}}^2\right)}\right\}$$

: lower outer part of ellipse

$${\mathit{E}}^{+}\left({\mathit{r}}_{23}\right)=\left\{\left(\mathit{y},\mathit{t}\right):\mathit{t}\ge {\mathit{r}}_{13}\mathit{y}+\sqrt{\left(1-{\mathit{r}}_{23}^2\right)\left(1-{\mathit{y}}^2\right)}\right\}$$

: upper outer part of ellipse

L₁(r₂₃) = (C₂ \ E(r₂₃)) ∩ {y + t ≥ 1 + r₂₃}: outer part of ellipse above line in 1^st quadrant

L₂(r₂₃) = (C₂ \ E(r₂₃)) ∩ {t − y ≥ 1 − r₂₃}: outer part of ellipse above line in 2^nd quadrant

L₃(r₂₃) = (C₂ \ E(r₂₃)) ∩ {y + t ≤ − 1 − r₂₃}: outer part of ellipse below line in 3^rd quadrant

L₄(r₂₃) = (C₂ \ E(r₂₃)) ∩ {t − y ≤ − 1 + r₂₃}: outer part of ellipse below line in 4^th quadrant

We note that involved expressions of the type $\mathit{uv}\pm \sqrt{\left(1-{\mathit{u}}^2\right)\left(1-{\mathit{v}}^2\right)}$ necessarily belong to the interval [−1, 1] in virtue of the following slightly more general property.

Lemma A1.1

For x, y, z ∈ [−1, 1] the function defined by $\mathit{w}\left(\mathit{x},\mathit{y},\mathit{z}\right)=\mathit{xy}+\mathit{z}\sqrt{\left(1-{\mathit{x}}^2\right)\left(1-{\mathit{y}}^2\right)}$ takes values in [−1,1].

Proof

See the proof of Lemma 4.7 in Kurowicka and Cooke (2006), pp. 121–122. ◊

Some inequality properties of the function $\mathit{w}\left(\mathit{x},\mathit{y},\pm 1\right)=\mathit{xy}\pm \sqrt{\left(1-{\mathit{x}}^2\right)\left(1-{\mathit{y}}^2\right)}$ defined in Lemma A1.1 will be useful throughout the proofs.

Lemma A1.2

The following properties hold:

(P1) w(x, y, − 1) ≤ x + y − 1  ⇔  x + y ≥ 0

(P2) w(x, y, 1) ≥ x − y + 1  ⇔  x − y ≤ 0(P3)

$$\frac{\partial \mathit{w}\left(\mathit{x},\mathit{y},-1\right)}{\partial \mathit{x}}\ge 0\iff \mathit{x}+\mathit{y}\ge 0,\frac{\partial \mathit{w}\left(\mathit{x},\mathit{y},-1\right)}{\partial \mathit{y}}\ge 0\iff \mathit{x}+\mathit{y}\ge 0$$

(P4)

$$\frac{\partial \mathit{w}\left(\mathit{x},\mathit{y},1\right)}{\partial \mathit{x}}\ge 0\iff \mathit{x}-\mathit{y}\le 0,\frac{\partial \mathit{w}\left(\mathit{x},\mathit{y},1\right)}{\partial \mathit{y}}\ge 0\iff \mathit{x}-\mathit{y}\le 0$$

(P5) if x, y < 1 then w(x, y, 1) > x + y − 1

(P6) if x, y < 1 then w(x, y, − 1) < 1 + y − x,  w(x, y, − 1) < 1 + x − y

Proof

This is obtained without difficulty through standard algebraic calculation. ◊

Lemma A1.3

The quantities ${\mathit{r}}_{13},{\mathit{r}}_{23}\in \left[-1,1\right],\mathit{a}=\sqrt{1-{\mathit{r}}_{13}^2}\ge \mathit{b}=\sqrt{1-{\mathit{r}}_{23}^2}$ and c^± = ar₂₃ ∓ br₁₃ satisfy the following identities:

$$\frac{\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}}{\mathit{a}}=\frac{\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}}{\mathit{b}},{\left(\frac{\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}}{\mathit{b}}\right)}^2=1-{\left({\mathit{c}}^{\pm }\right)}^2$$

(A1.1)

Proof

The first identity is shown by verifying the following equivalences:

$$\begin{array}{l}{\mathit{b}}^2\pm \mathit{b}{\mathit{c}}^{\pm }{\mathit{r}}_{13}={\mathit{a}}^2-\mathit{a}{\mathit{c}}^{\pm }{\mathit{r}}_{23}\iff {\mathit{c}}^{\pm }\left(\mathit{a}{\mathit{r}}_{23}\pm \mathit{b}{\mathit{r}}_{13}\right)={\mathit{a}}^2-{\mathit{b}}^2\\ \iff {\mathit{a}}^2{\mathit{r}}_{23}^2-{\mathit{b}}^2{\mathit{r}}_{13}^2={\mathit{a}}^2-{\mathit{b}}^2\iff {\mathit{a}}^2\left(1-{\mathit{b}}^2\right)-{\mathit{b}}^2(1-{\mathit{a}}^2)={\mathit{a}}^2-{\mathit{b}}^2\end{array}$$

The second one is shown similarly as follows:

$$\begin{array}{l}{\mathit{a}}^2-2\mathit{a}{\mathit{c}}^{\pm }{\mathit{r}}_{23}+{\left({\mathit{c}}^{\pm }\right)}^2{\mathit{r}}_{23}^2={\mathit{b}}^2-{\mathit{b}}^2\left({\mathit{c}}^{\pm }\right)2^{}\iff {\mathit{a}}^2-2\mathit{a}{\mathit{c}}^{\pm }{\mathit{r}}_{23}+\left({\mathit{c}}^{\pm }\right){}^2={\mathit{b}}^2\\ \iff {\mathit{c}}^{\pm }\left(2\mathit{a}{\mathit{r}}_{23}-{\mathit{c}}^{\pm }\right)={\mathit{a}}^2-{\mathit{b}}^2\iff {\mathit{c}}^{\pm }(\mathit{a}{\mathit{r}}_{23}\pm \mathit{b}{\mathit{\rho }}_{13})={\mathit{a}}^2-{\mathit{b}}^2\end{array}$$

Since the last identity is true by the preceding equivalences, the result is shown. ◊

Lemma A1.4

The functions defined by

$${\mathit{u}}_{\pm }={\mathit{u}}_{\pm }\left(\mathit{x}\right)=\frac{{\mathit{c}}^{\pm }\cdot \mathit{w}\left(\mathit{x},{\mathit{r}}_{13},\pm 1\right)\pm \mathit{bx}}{\mathit{a}},{\mathit{v}}_{\pm }={\mathit{v}}_{\pm }\left(\mathit{y}\right)=\pm \left(\frac{\mathit{ay}-{\mathit{c}}^{\pm }\cdot \mathit{w}\left(\mathit{y},{\mathit{r}}_{23},\pm 1\right)}{\mathit{b}}\right)$$

(A1.2)

have the following inverse functions

$$\begin{array}{l}\mathit{x}={\mathit{u}}_{\pm }^{*}\left({\mathit{u}}_{\pm }\right)=\pm \left(\frac{\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}}{\mathit{b}}\right)\cdot {\mathit{u}}_{\pm }\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{u}}_{\pm }^2}=\left(\frac{{\mathit{c}}^{\pm }{\mathit{r}}_{13}\pm \mathit{b}}{\mathit{a}}\right)\cdot {\mathit{u}}_{\pm }\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{u}}_{\pm }^2},\\ \mathit{y}={\mathit{v}}_{\pm }^{*}\left({\mathit{v}}_{-}\right)=\pm \left(\frac{\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}}{\mathit{b}}\right)\cdot {\mathit{v}}_{\pm }\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{v}}_{\pm }^2}=\left(\frac{{\mathit{c}}^{\pm }{\mathit{r}}_{13}\pm \mathit{b}}{\mathit{a}}\right)\cdot {\mathit{v}}_{\pm }\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{v}}_{\pm }^2}\end{array}$$

(A1.3)

Proof

This is obtained through straightforward calculation using the identities (A1.1). ◊

Appendix 2

Proof of the conditional product copula inequalities

Starting point are the following preliminary remarks. According to (3.11), in case (x, t) ∈ E(r₁₃),  (y, t) ∈ E(r₂₃), we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ if, and only if

$$arcsin\left(\frac{\mathit{x}-{\mathit{r}}_{13}\mathit{t}}{\mathit{a}\sqrt{1-{\mathit{t}}^2}}\right)\le arcsin\left(\frac{\mathit{y}-{\mathit{r}}_{23}\mathit{t}}{\mathit{b}\sqrt{1-{\mathit{t}}^2}}\right)\iff {\mathit{c}}^{+}\mathit{t}\le \mathit{ay}-\mathit{bx}$$

(A2.1)

and similarly, we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ if, and only if

$$arcsin\left(\frac{\mathit{x}-{\mathit{r}}_{13}\mathit{t}}{\mathit{a}\sqrt{1-{\mathit{t}}^2}}\right)+arcsin\left(\frac{\mathit{y}-{\mathit{r}}_{23}\mathit{t}}{\mathit{b}\sqrt{1-{\mathit{t}}^2}}\right)\ge 0\iff {\mathit{c}}^{-}\mathit{t}\le \mathit{ay}+\mathit{bx}$$

(A2.2)

By symmetry it suffices to show the inequalities for Case I. The proof is done through exhaustive analysis of all possible disjoint regions that can contain the coordinates (x, t), respectively (y, t). We assume c^± > 0 and identify the cases c^± = 0 as limiting cases c^± → 0. Items related to Theorem 4.1 (4.2) are distinguished using the abbreviation UPC (LPC) for upper (lower) conditional product copula inequalities unless quantities involving c^± are used.

• (1) (x, t) ∈ E ⁻(r ₁₃) (y, t) arbitrary

(1.1) x + r₁₃ ≥ 0 (UPC), x + r₁₃ < 0 (LPC)

First of all, we note that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}\text{(UPC)},\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (LPC). To show this we use the properties of Lemma A1.2 and (3.11) as follows:

(UPC): (P1) ⇒  t ≤ w(x, r₁₃, − 1) ≤ x + r₁₃ − 1  ⇒  (x, t) ∈ L₄(r₁₃)

(LPC): (i) using (P6) of Lemma 3.2: t ≤ w(x, r₁₃, − 1) < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using x + r ₁₃ < 0 t ≥ − 1 > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

Furthermore, we must have y + r₂₃ ≥ 0 in Cases (I.a) and (I.b), which is shown as follows:

(UPC) Case (I.a): if y < − r₂₃ then 0 ≤ c⁺ ≤ ay − bx < − ar₂₃ − br₁₃ = − c⁺ ≤ 0 a contradiction

(UPC) Case (I.b): y > (−c⁺ + bx)/a ≥ − (c⁺ + br₁₃)/a = − r₂₃

(LPC) Case (I.a): if y < − r₂₃, then 0 ≤ c⁻ ≤ ay + bx < − ar₂₃ − br₁₃ = − c⁻ ≤ 0 a contradiction

(LPC) Case (I.b): if y < − r₂₃ then − c⁻ < ay + bx < − ar₂₃ − br₁₃ = − c⁻ a contradiction

If one assumes that t ≤ w(y, r₂₃, − 1), then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ in virtue of (3.11) because (P1) ⇒  t ≤ w(y, r₂₃, − 1) ≤ y + r₂₃ − 1  ⇒  (y, t) ∈ L₄(r₂₃)

We distinguish between three main cases:

• (a) c ^± t ≥ ay ∓ bx (Case (I.c) and possibly Case (I.b))

Since $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)\le \frac{1}{2}$ we have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC), and $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC), as in the desired inequalities.

• (b) c ^± t ≤ ay ∓ bx < c ^± ⋅ w(y, r ₂₃, − 1) (possible in Cases (I.a) and (I.b))

By the above we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC) and $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC), which is consistent with the desired inequalities.

• (c) c ^± t ≤ ay ∓ bx and c ^± ⋅ w(y, r ₂₃, − 1) ≤ ay ∓ bx (possible in Cases (I.a) and (I.b))

We derive the inequality (C1.1) t ≤ w(x, r₁₃, − 1) ≤ w(y, r₂₃, − 1) which again implies that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC) and $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC). We use the transformation of variable z = z(y) = ± (ay − c^± ⋅ w(y, r₂₃, − 1))/b and its inverse $\mathit{y}=\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$ in (A1.3), where the second “±” signs hold for both (UPC) and (LPC). We show (C1.1), that is Δ(x, y) := w(y, r₂₃, − 1) − w(x, r₁₃, − 1) ≥ 0 under the constraints − r₁₃ ≤ x ≤ z(y) (UPC), z(y) ≤ x < − r₁₃ (LPC), − r₂₃ ≤ y ≤ 1. By (P3) of Lemma A1.2 the function w(x, r₁₃, − 1) is increasing in x (UPC), decreasing in x (LPC). It follows that Δ(x, y) ≥ Δ*(y, z(y)) := w(y, r₂₃, − 1) − w(z(y), r₁₃, − 1). Using the transformation z(y) we can write w(y, r₂₃, − 1) = (ay ∓ bz(y))/c^±. Making also use of the inverse y = y(z) we see that (use the first identity in (A1.1)) $\begin{array}{l}{\mathrm{\Delta }}^{*}\left(\mathit{z}\right):={\mathrm{\Delta }}^{*}\left(\mathit{y}\right(\mathit{z}),\mathit{z})=\frac{\mathit{ay}\left(\mathit{z}\right)\mp \mathit{bz}}{{\mathit{c}}^{\pm }}-\mathit{w}(\mathit{z},{\mathit{r}}_{13},-1)=\frac{\mathit{a}}{{\mathit{c}}^{\pm }}\left(\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}\pm \mathit{c}\cdot \sqrt{1-{\mathit{z}}^2}\right)\mp \frac{\mathit{b}}{{\mathit{c}}^{\pm }}\mathit{z}-{\mathit{r}}_{13}\mathit{z}+\mathit{a}\sqrt{1-{\mathit{z}}^2}=\mathit{a}\sqrt{1-{\mathit{z}}^2}\left(1\pm 1\right),\end{array}$

which implies that Δ(x, y) ≥ Δ*(y, z(y)) = Δ*(z) ≥ 0 as desired.

(1.2) x + r₁₃ < 0 (UPC), x + r₁₃ ≥ 0 (LPC)

We have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (UPC), (LPC), which is shown as follows:

(UPC): (i) using (P6) of Lemma A1.2: t ≤ w(x, r₁₃, − 1) < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using x + r ₁₃ < 0: t ≥ − 1 > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(LPC): (P1) of Lemma A1.2 ⇒  t ≤ w(x, r₁₃, − 1) ≤ x + r₁₃ − 1  ⇒  (x, t) ∈ L₄(r₁₃)

We distinguish between two main cases:

• (a) c ^± t ≤ ay ∓ bx (Case (I.a) and possibly Case (I.b))

We have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ (LPC) as desired

• (b) ay ∓ bx ≤ c ^± t ≤ c ^± ⋅ w(x, r ₁₃, − 1) (Case (I.c) and possibly Case (I.b))

We show $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ , which is consistent with the desired results $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC) and $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC). It suffices to show the following inequalities:

Case 1: x ≥ − (b + c⁺r₁₃)/a (UPC), x ≤ (b − c⁻r₁₃)/a (LPC)

(C1.2.1) t ≤ w(x, r₁₃, − 1) ≤ w(y, r₂₃, − 1), and y + r₂₃ ≤ 0

Case 2: x ≤ − (b + c⁺r₁₃)/a (UPC), x ≥ (b − c⁻r₁₃)/a (LPC)

(C1.2.2) c^± ⋅ w(y, r₂₃, 1) ≤ ay ∓ bx ≤ c^±t ≤ c^± ⋅ w(x, r₁₃, − 1), and y − r₂₃ ≤ 0

Indeed, if these conditions hold, then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ in virtue of (3.11) as follows:

Case 1: (i) using (P6) of Lemma A1.2: t ≤ w(y, r₂₃, − 1) < 1 + r₂₃ − y  ⇒  (y, t) ∉ L₁(r₂₃)

• (ii) using y + r ₂₃ ≤ 0: t ≥ − 1 ≥ y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

Case 2: (i) using y − r₂₃ ≤ 0: t ≤ 1 ≤ 1 + r₂₃ − y  ⇒  (y, t) ∉ L₁(r₂₃)

• (ii) using (P5) of Lemma A1.2: t ≥ w(y, r ₂₃, 1) > y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

To show the above inequalities we use the transformation z = z(x) = (c^± ⋅ w(x, r₁₃, − 1) ± bx)/a.

Case 1: The function z(x) is increasing in the interval − (b + c^±r₁₃)/a ≤ x < − r₁₃ (UPC), respectively z(x) is decreasing in the interval − r₁₃ ≤ x ≤ (b − c⁻r₁₃)/a (LPC):

$$\begin{array}{l}\mathit{z}\text{'}\left(\mathit{x}\right)=({\mathit{c}}^{\pm }{\mathit{r}}_{13}\pm \mathit{b})/\mathit{a}+{\mathit{c}}^{\pm }\cdot \mathit{x}/\sqrt{1-{\mathit{x}}^2}\ge 0\iff \mathit{x}/\sqrt{1-{\mathit{x}}^2}\ge \mathit{\alpha }:=-(\pm \mathit{b}+{\mathit{c}}^{\pm }{\mathit{r}}_{13})/\mathit{a}{\mathit{c}}^{\pm }\\ \iff \mathit{x}\ge \mathit{\alpha }/\sqrt{1+{\mathit{\alpha }}^2}=-\left(\pm \mathit{b}+{\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}\end{array}$$

In particular, by the restriction defining case (b), we have necessarily y ≤ z(x) ≤ z(−r₁₃) = (−c^± ∓ br₁₃)/a = − r₂₃  ⇒  y + r₂₃ ≤ 0.

Now, we show that Δ(x, y) = w(y, r₂₃, − 1) − w(x, r₁₃, − 1) ≥ 0 under the constraints, − 1 ≤ y ≤ z(x),   − (b + c⁺r₁₃)/a ≤ x < − r₁₃ (UPC), − r₁₃ ≤ x ≤ (b − c⁻r₁₃)/a (LPC). Since w(y, r₂₃, − 1) is decreasing in y by (P3) of Lemma A1.2, we have Δ(x, y) ≥ Δ*(x, z(x)) := w(z(x), r₂₃, − 1) − w(x, r₁₃, − 1) = w(z(x), r₂₃, − 1) − (az(x) ∓ bx)/c^±.

Since z(x) is increasing and z(−r₁₃) = − r₂₃,  z(−(b + c⁺r₁₃)/a) = − 1 (UPC), respectively z(x) is decreasing and z(−r₁₃) = − r₂₃,  z((b − c⁻r₁₃)/a) = − 1, its inverse in (A1.3) takes the “+” sign (UPC) respectively the “-“ sign (LPC), that is $\mathit{x}=\mathit{x}\left(\mathit{z}\right)=\pm \left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}\cdot \mathit{z}\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into the function Δ*(z) = Δ*(x(z), z) = w(z, r₂₃, − 1) − (az ∓ bx(z))/c^± to see that Δ(x, y) ≥ Δ*(x, z(x)) = Δ*(z) = 0 as desired.

Case 2: Similarly to Case 1, one shows that z(x) is decreasing in the interval − 1 ≤ x ≤ − (b + c⁺r₁₃)/a (UPC), respectively z(x) is increasing in the interval (b − c⁻r₁₃)/a ≤ x ≤ 1 (LPC), and in particular y ≤ z(x) ≤ z(−1) = − (±c^±r₁₃ + b)/a ≤ r₂₃, where the last inequality is true because ar₂₃ + b + c⁺r₁₃ = (b + c⁺) ⋅ (1 + r₁₃) ≥ 0 (UPC), ar₂₃ + b − c⁻r₁₃ ≥ c⁻ ⋅ (1 − r₁₃) ≥ 0 (LPC).

Now, we show that Δ(x, y) = (ay ∓ bx)/c^± − w(y, r₂₃, 1) ≥ 0 under the constraints − 1 ≤ y ≤ z(x), − 1 ≤ x ≤ − (b + c⁺r₁₃)/a (UPC), (b − c⁻r₁₃)/a ≤ x ≤ 1 (LPC). The function h(y) = ± (ay/c^± − w(y, r₂₃, 1)) is decreasing (UPC), respectively increasing (LPC), in the interval − 1 ≤ y ≤ − (b ± c^±r₁₃)/a:

$$\begin{array}{l}\mathit{h}\text{'}\left(\mathit{y}\right)=\pm (\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23})/{\mathit{c}}^{\pm }\pm \mathit{b}\cdot \mathit{y}/\sqrt{1-{\mathit{y}}^2}\le (\ge )0\iff \mathit{y}/\sqrt{1-{\mathit{y}}^2}\le \mathit{\beta }:=({\mathit{c}}^{\pm }{\mathit{r}}_{23}-\mathit{a})/\mathit{b}{\mathit{c}}^{\pm }\\ \iff \mathit{y}\le \mathit{\beta }/\sqrt{1+{\mathit{\beta }}^2}=\left({\mathit{c}}^{\pm }{\mathit{r}}_{23}-\mathit{a}\right)/\mathit{b}=\mp (\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13})/\mathit{a}\end{array}$$

It follows that Δ(x, y) ≥ Δ*(x, z(x)) = (az(x) ∓ bx)/c^± − w(z(x), r₂₃, 1). Since z(x) is decreasing (UPC), respectively increasing (LPC), and z(∓(b ± c^±r₁₃)/a) = − 1,  z(∓1) = ∓ (b ± c^±r₁₃)/a, its inverse in (A1.3) takes the “-“ sign (UPC) respectively the “+“ sign (LPC), that is we have $\mathit{x}=\mathit{x}\left(\mathit{z}\right)=\pm \left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}\cdot \mathit{z}\mp {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert this expression into the function Δ*(z) = Δ*(x(z), z) = (az ∓ bx(z))/c^± − w(z, r₂₃, 1) to see that Δ(x, y) ≥ Δ*(x, z(x)) = Δ*(z) = 0.

• (2) (y, t) ∈ E ⁻(r ₂₃) (x, t) arbitrary

(2.1) y + r₂₃ < 0

We have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ , which follows from Lemma A1.2 and (3.11) as follows:

• (i) using (P6) of Lemma A1.2: t ≤ w(y, r ₂₃, − 1) < 1 + r ₂₃ − y  ⇒  (y, t) ∉ L ₁(r ₂₃)

• (ii) using y + r ₂₃ < 0: t ≥ − 1 > y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

Furthermore, we must have x + r₁₃ < 0 (UPC), respectively x + r₁₃ ≥ 0 (LPC), in Cases (I.a) and (I.b), which is shown as follows:

(UPC) Case (I.a): ay − bx ≥ c⁺  ⇒  x ≤ (ay − c⁺)/b < − (c⁺ + ar₁₃)/b ≤ − r₁₃, where the last inequality follows from ar₂₃ − br₁₃ + c⁺ = 2c⁺ ≥ 0

(UPC) Case (I.b): ay − bx > − c⁺  ⇒  x < (c⁺ + ay)/b < (c⁺ − ar₂₃)/b = − r₁₃

(LPC) Case (I.a): if x < − r₁₃, then 0 ≤ c⁻ ≤ ay + bx < − ar₂₃ − br₁₃ = − c⁻ ≤ 0, a contradiction

(LPC) Case (I.b): if x < − r₁₃, then − c⁻ < ay + bx < − ar₂₃ − br₁₃ = − c⁻, a contradiction

In these Cases, if t ≤ w(x, r₁₃, − 1), then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (LPC):

(UPC): (i) using (P6) of Lemma 3.2: t ≤ w(x, r₁₃, − 1) < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using x + r ₁₃ < 0: t ≥ − 1 > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(LPC): (P1) of Lemma A1.2 ⇒  x + r₁₃ ≥ 0  ⇒  w(x, r₁₃, − 1) ≤ x + r₁₃ − 1  ⇒  (x, t) ∈ L₄(r₁₃)

We have three main cases:

• (a) c ^± t ≥ ay ∓ bx (Case (I.c) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC)

• (b) c ^± t ≤ ay ∓ bx < c ^± ⋅ w(x, r ₁₃, − 1) (possible in Cases (I.a) and (I.b))

By the above we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC), which is consistent with the desired inequalities.

• (c) c ^± t ≤ ay ∓ bx and c ^± ⋅ w(y, r ₂₃, − 1) ≤ ay ∓ bx (possible in Cases (I.a) and (I.b))

We derive the inequality (C2.1) t ≤ w(y, r₂₃, − 1) ≤ w(x, r₁₃, − 1), which again implies $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC). We use the transformation of variable z = z(x) = (c^± ⋅ w(x, r₁₃, − 1) ± bx)/a and its inverse $\mathit{x}=\mathit{x}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$ in (A1.3), where the second “±” signs hold for both (UPC) and (LPC). We show that Δ(x, y) := w(x, r₁₃, − 1) − w(y, r₂₃, − 1) ≥ 0 under the constraints z(x) ≤ y < − r₂₃ ,   − 1 ≤ x < − r₁₃ (UPC), − r₁₃ ≤ x ≤ 1 (LPC). By (P3) of Lemma A1.2 the function w(y, r₂₃, − 1) is decreasing in y. It follows that Δ(x, y) ≥ Δ*(x, z(x)) = w(x, r₁₃, − 1) − w(z(x), r₂₃, − 1) = (az(x) ∓ bx)/c^± − w(z(x), r₂₃, − 1).

Now, insert the inverse x = x(z) into Δ*(z) = Δ*(x(z), z) = (az ∓ bx(z))/c^± − w(z, r₂₃, − 1) to see that $\mathit{\Delta }\left(\mathit{x},\mathit{y}\right)\ge {\mathit{\Delta }}^{*}\left(\mathit{x},\mathit{z}\left(\mathit{x}\right)\right)={\mathit{\Delta }}^{*}\left(\mathit{z}\right)=\mathit{b}\sqrt{1-{\mathit{z}}^2}\left(1\pm 1\right)\ge 0$ as desired.

(2.2) y + r₂₃ ≥ 0

Property (P1) implies t ≤ w(y, r₂₃, − 1) ≤ y + r₂₃ − 1  ⇒  (y, t) ∈ L₄(r₂₃)  ⇒ $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$

We distinguish between two main cases:

• (a) c ^± t ≤ ay ∓ bx (Case (I.a) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ (LPC).

• (b) ay ∓ bx ≤ c ^± t ≤ c ^± ⋅ w(x, r ₁₃, − 1) (Case (I.c) and possibly Case (I.b))

We show that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (LPC), which is consistent with $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC). It suffices to show the following inequalities:

Case 1: y ≤ (a − c^±r₂₃)/b

(C2.2.1) t ≤ w(y, r₂₃, − 1) ≤ w(x, r₁₃, − 1, and x + r₁₃ ≥ 0 (UPC), x + r₁₃ ≤ 0 (LPC)

Case 2: y ≥ (a − c^±r₂₃)/b

(C2.2.2) w(x, r₁₃, 1) ≤ (ay − bx)/c ≤ t ≤ w(y, r₂₃, − 1), and x − r₁₃ ≥ 0 (UPC), x − r₁₃ ≤ 0 (LPC)

Indeed, if these conditions hold, then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (LPC) as follows:

(UPC) Case 1: Property (P1) implies t ≤ w(x, r₁₃, − 1) ≤ x + r₁₃ − 1  ⇒  (x, t) ∈ L₄(r₁₃)

(LPC) Case 1:

• (i) using (P6) of Lemma 3.2: t ≤ w(x, r ₁₃, − 1) < 1 + r ₁₃ − x  ⇒  (x, t) ∉ L ₁(r ₁₃)

• (i) using x + r ₁₃ ≤ 0: t ≥ − 1 ≥ x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(UPC) Case 2: Property (P2) implies t ≥ w(x, r₁₃, 1) ≥ 1 + r₁₃ − x  ⇒  (x, t) ∈ L₁(r₁₃)

(LPC) Case 2:

• (i) using x − r ₁₃ ≤ 0: t ≤ 1 ≤ 1 + r ₁₃ − x  ⇒  (x, t) ∉ L ₁(r ₁₃)

• (i) using (P5) of Lemma 3.2: t ≥ w(x, r ₁₃, 1) > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

To show the above inequalities we use the transformation z = z(y) = ± (ay − c^± ⋅ w(y, r₂₃, − 1))/b.

Case 1: The function z(y) is increasing (UPC) (respectively decreasing (LPC)) in the interval − r₂₃ ≤ y ≤ (a − c^±r₂₃)/b: $\mathit{z}\text{'}\left(\mathit{y}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\mp {\mathit{c}}^{\pm }\cdot \mathit{y}/\sqrt{1-{\mathit{y}}^2}\ge \left(\le \right)0\iff \mathit{y}\le \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}$, hence x ≥ z(y) ≥ z(−r₂₃) = (c⁺ − ar₂₃)/b = − r₁₃ (UPC), x ≤ z(y) ≤ z(−r₂₃) = (ar₂₃ − c⁻)/b = − r₁₃ (LPC). Now, we show that Δ(x, y) = w(x, r₁₃, − 1) − w(y, r₂₃, − 1) ≥ 0 under the constraints z(y) ≤ x ≤ 1 (UPC), − 1 ≤ x ≤ z(y) (LPC), − r₂₃ ≤ y ≤ (a − c^±r₂₃)/b.

Since w(x, r₁₃, − 1) is increasing in x (UPC) (decreasing in x (LPC)) by (P3) of Lemma A1.2, we have Δ(x, y) ≥ Δ*(y, z(y)) = w(z(y), r₁₃, − 1) − w(y, r₂₃, − 1) = w(z(y), r₁₃, − 1) − (ay ∓ bz(y))/c.

Since z(y) is increasing and z(−r₂₃) = − r₁₃,  z((a − c⁺r₂₃)/b) = 1 (UPC), respectively z(y) is decreasing and z(−r₂₃) = − r₁₃,  z((a − c⁻r₂₃)/b) = − 1 (LPC), its inverse takes the “-“ sign for both (UPC) and (LPC), that is $\mathit{y}=\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}-{\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into the function Δ*(z) = Δ*(y(z), z) = w(z, r₂₃, − 1) − (ay(z) ∓ bz)/c^± to see that Δ(x, y) ≥ Δ*(y, z(y)) = Δ*(z) = 0 as desired.

Case 2: Similarly to Case 1, one shows that z(y) is decreasing (UPC) (respectively increasing (LPC)) in the interval (a − c^±r₂₃)/b ≤ y ≤ 1, and in particular x ≥ z(y) ≤ z(1) = (a − c⁺r₂₃)/b ≥ r₁₃ (UPC), x ≤ z(y) ≤ z(1) = (c⁻r₂₃ − a)/b ≤ r₁₃ (LPC), where the last inequalities are true because a − br₁₃ − c⁺r₂₃ ≥ c⁺ ⋅ (1 − r₂₃) ≥ 0 (UPC), br₁₃ + a − c⁻r₂₃ ≥ c⁻ ⋅ (1 − r₂₃) ≥ 0 (LPC). Now, we show that Δ(x, y) = (ay ∓ bx)/c^± − w(x, r₁₃, 1) ≥ 0 under the constraints z(y) ≤ x ≤ 1 (UPC), − 1 ≤ x ≤ z(y) (LPC), (a − c^±r₂₃)/b ≤ y ≤ 1. The function h(x) = w(x, r₁₃, 1) ± bx/c is decreasing in the interval (a − c⁺r₂₃)/b ≤ x ≤ 1 (UPC), respectively increasing in the interval − 1 ≤ x ≤ (c⁻r₂₃ − a)/b (LPC):

$$\mathit{h}\text{'}\left(\mathit{x}\right)=\pm \left(\mathit{b}\pm \mathit{c}{\mathit{r}}_{13}\right)/{\mathit{c}}^{\pm }-\mathit{a}\cdot \mathit{x}/\sqrt{1-{\mathit{x}}^2}\le \left(\ge \right)0\iff \mathit{x}\ge \left(\mathit{a}-{\mathit{c}}^{+}{\mathit{r}}_{23}\right)/\mathit{b},\mathit{x}\le \left({\mathit{c}}^{-}{\mathit{r}}_{23}-\mathit{a}\right)/\mathit{b}$$

It follows that Δ(x, y) ≥ Δ*(y, z(y)) = (ay ∓ bz(y))/c^± − w(z(y), r₁₃, 1). Since z(y) is decreasing and z((a − c⁺r₂₃)/b) = 1,  z(1) = (a − c⁺r₂₃)/b (UPC), respectively z(y) is increasing and z((a − c⁻r₂₃)/b) = − 1,  z(1) = (c⁻r₂₃ − a)/b (LPC), its inverse takes the “+” sign for both (UPC) and (LPC), that is $\mathit{y}=\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}+{\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into Δ*(z) = Δ*(y(z), z) = (ay(z) ∓ bz)/c^± − w(z, r₁₃, 1) to see that Δ(x, y) ≥ Δ*(y, z(y)) = Δ*(z) = 0.

• (3) (x, t) ∈ E(r ₁₃) and (y, t) ∈ E(r ₂₃)

The validity of the inequality $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ in the Cases (I.a) and (I.b) follows from (A2.1). In Case (I.c) we have (ay − bx)/c⁺ ≤ − 1 ≤ t, hence $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$. Similarly, the validity of the inequality $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ in the Cases (I.a) and (I.b) follows from (A2.2). In Case (I.c) we have (ay + bx)/c⁻ ≤ − 1 ≤ t, hence $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$.

• (4) (x, t) ∈ E ⁺(r ₁₃), (y, t) arbitrary

(4.1) x − r₁₃ < 0 (UPC), x − r₁₃ ≥ 0 (LPC)

We first note that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (LPC):

(UPC): (i) using x − r₁₃ < 0: t ≤ 1 < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using (P5) of Lemma A1.2: t ≥ w(x, r ₁₃, 1) > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(LPC): (P2) of Lemma A1.2: t ≥ w(x, r₁₃, 1) ≥ 1 + r₁₃ − x  ⇒  (x, t) ∈ L₁(r₁₃)  ⇒

We must have y − r₂₃ < 0 in Cases (I.b) and (I.c). We argue as follows:

(UPC) Case (I.b): x < r₁₃  ⇒  y < (c + bx)/a ≤ (c + br₁₃)/a = r₂₃

(UPC) Case (I.c): if y ≥ r₂₃,   − x > − r₁₃ then ay − bx ≥ ar₂₃ − br₁₃ = c in contradiction to the assumption ay − bx ≤ − c defining Case (I.c).

(LPC) Case (I.b): − x ≤ − r₁₃  ⇒  y < (c⁻ − bx)/a ≤ (c⁻ − br₁₃)/a = r₂₃

(LPC) Case (I.c): if y ≥ r₂₃,  x ≥ r₁₃ then ay + bx ≥ ar₂₃ + br₁₃ = c⁻ in contradiction to the assumption ay + bx ≤ − c⁻ defining Case (I.c).

In this situation, if one assumes t ≥ w(y, r₂₃, 1), then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ in virtue of (3.11):

(UPC): (i) using y − r₂₃ < 0: t ≤ 1 < 1 + r₂₃ − y  ⇒  (y, t) ∉ L₁(r₂₃)

• (ii) using (P5) of Lemma 3.2: t ≥ w(y, r ₂₃, 1) > y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

(LPC): (i) using y − r₂₃ < 0: t ≤ 1 < 1 + r₂₃ − y  ⇒  (y, t) ∉ L₁(r₂₃)

• (ii) using (P5) of Lemma 3.2: t ≥ w(y, r ₂₃, 1) > y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

We have three main cases:

• (a) c ^± t ≤ ay ∓ bx (Case (I.a) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ (LPC).

• (b) c ^± t ≥ ay ∓ bx > c ^± ⋅ w(y, r ₂₃, 1) (possible in Cases (I.b) and (I.c))

By the above we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC), which is consistent with the desired inequalities

• (c) c ^± t ≥ ay ∓ bx and ay ∓ bx ≤ c ^± ⋅ w(y, r ₂₃, 1) (possible in Cases (I.b) and (I.c))

We derive the inequality (C4.1) t ≥ w(x, r₁₃, 1) ≥ w(y, r₂₃, 1), which again implies that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC). We use the transformation z = z(y) = ± (ay − c^± ⋅ w(y, r₂₃, 1))/b and its inverse $\mathit{y}=\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$, where the second “±” signs hold for both (UPC) and (LPC). We show that Δ(x, y) = w(x, r₁₃, 1) − w(y, r₂₃, 1) ≥ 0 under the constraints z(y) ≤ x < r₁₃ (UPC), r₁₃ ≤ x ≤ z(y) (LPC), − 1 ≤ y < r₂₃. By (P4) of Lemma A1.2 the function w(x, r₁₃, 1) is increasing in x (UPC), respectively decreasing in x (LPC). It follows that Δ(x, y) ≥ Δ*(y, z(y)) = w(z(y), r₁₃, 1) − w(y, r₂₃, 1) = w(z(y), r₁₃, 1) − (ay ∓ bz(y))/c^±.

Insert the inverse y = y(z) into Δ*(z) = Δ*(y(z), z) = w(z, r₁₃, 1) − (ay(z) ∓ bz)/c^± to see that $\mathit{\Delta }\left(\mathit{x},\mathit{y}\right)\ge {\mathit{\Delta }}^{*}\left(\mathit{y},\mathit{z}\left(\mathit{y}\right)\right)={\mathit{\Delta }}^{*}\left(\mathit{z}\right)=\mathit{a}\sqrt{1-{\mathit{z}}^2}\left(1\mp 1\right)\ge 0$ as desired.

(4.2) x − r₁₃ ≥ 0 (UPC), x − r₁₃ < 0 (LPC)

We first note that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (LPC):

(UPC): Property (P2) implies t ≥ w(x, r₁₃, 1) ≥ 1 + r₁₃ − x  ⇒  (x, t) ∈ L₁(r₁₃)

(LPC): (i) using x − r₁₃ < 0: t ≤ 1 < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using (P5) of Lemma 3.2: t ≥ w(x, r ₁₃, 1) > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

We distinguish between two main cases:

• (a) c ^± t ≥ ay ∓ bx (Case (I.c) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC)

• (b) ay ∓ bx ≥ c ^± t ≥ c ^± ⋅ w(x, r ₁₃, 1) (Case (I.a) and possibly Case (I.b))

We show that , $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ which is consistent with the desired inequalities.

We show Case 1: x ≤ (b + c⁺r₁₃)/a (UPC), x ≥ (c⁻r₁₃ − b)/a (LPC) (C4.2.1) t ≥ w(x, r₁₃, 1) ≥ w(y, r₂₃, 1), and y − r₂₃ ≥ 0 (UPC), y − r₂₃ > 0 (LPC)

Case 2: x ≥ (b + c⁺r₁₃)/a (UPC), x ≤ (c⁻r₁₃ − b)/a (LPC) (C4.2.2) c^± ⋅ w(x, r₁₃, 1) ≤ c^±t ≤ ay ∓ bx < c^± ⋅ w(y, r₂₃, − 1), and y + r₂₃ ≥ 0

Indeed, if these conditions hold, then we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ in virtue of (3.11) as follows:

Case 1: (P2) ⇒  t ≥ w(y, r₂₃, 1) ≥ 1 + r₂₃ − y  ⇒  (y, t) ∈ L₁(r₂₃)

Case 2: (P1) ⇒  t < w(y, r₂₃, − 1) ≤ y + r₂₃ − 1  ⇒  (y, t) ∈ L₄(r₂₃)

To show the above inequalities we use the transformation z = z(x) = (c^± ⋅ w(x, r₁₃, 1) ± bx)/a.

Case 1: The function z(x) is increasing in the interval r₁₃ ≤ x ≤ (b + c⁺r₁₃)/a (UPC), respectively decreasing in the interval (c⁻r₁₃ − b)/a ≤ x < r₁₃ (UPC): $\mathit{z}\text{'}\left(\mathit{x}\right)=\pm \left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}-{\mathit{c}}^{\pm }\cdot \mathit{x}/\sqrt{1-{\mathit{x}}^2}\ge \left(\le \right)0\iff \mathit{x}\le \left(\mathit{b}+{\mathit{c}}^{+}{\mathit{r}}_{13}\right)/\mathit{a},\mathit{x}\ge \left({\mathit{c}}^{-}{\mathit{r}}_{13}-\mathit{b}\right)/\mathit{a}$.

In particular y ≥ z(x) > z(r₁₃) = (c⁺ + br₁₃)/a = r₂₃ (UPC), y ≥ z(x) > z(r₁₃) = (c⁻ − br₁₃)/a = r₂₃ (LPC). Now, we show that Δ(x, y) = w(x, r₁₃, 1) − w(y, r₂₃, 1) ≥ 0 under the constraints z(x) ≤ y ≤ 1, r₁₃ ≤ x ≤ (b + c⁺r₁₃)/a (UPC), (c⁻r₁₃ − b)/a ≤ x < r₁₃ (LPC). Since w(y, r₂₃, 1) is decreasing in y by (P4) of Lemma 3.2, we have Δ(x, y) ≥ Δ*(x, z(x)) = w(x, r₁₃, 1) − w(z(x), r₂₃, 1) = (az(x) ∓ bx)/c^± − w(z(x), r₂₃, 1).

Since z(x) is increasing and z(r₁₃) = r₂₃,  z((b + c⁺r₁₃)/a) = 1 (UPC), respectively z(x) is decreasing, z(r₁₃) = r₂₃,  z((c⁻r₁₃ − b)/a) = 1 its inverse in (A1.3) takes the “-“ sign (UPC), respectively the “+” sign (LPC), that is $\mathit{x}=\mathit{x}\left(\mathit{z}\right)=\pm \left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}\cdot \mathit{z}\mp \mathit{c}\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into Δ*(z) = Δ*(x(z), z) = (az ∓ bx(z))/c^± − w(z, r₂₃, 1) to see that Δ(x, y) ≥ Δ*(x, z(x)) = Δ*(z) = 0 as desired.

Case 2: Similarly to Case 1, one shows that z(x) is decreasing in the interval (b + c⁺r₁₃)/a ≤ x ≤ 1 (UPC), respectively z(x) is increasing in the interval − 1 ≤ x ≤ (c⁻r₁₃ − b)/a (LPC). In particular y ≥ z(x) ≥ z(1) = (b + c⁺r₁₃)/a ≥ − r₂₃ (UPC), y ≥ z(x) ≥ z(−1) = (b − c⁻r₁₃)/a ≥ − r₂₃ (LPC), where the last inequalities are true because ar₂₃ + b + c⁺r₁₃ = (b + c⁺) ⋅ (1 + r₁₃) ≥ 0 (UPC), ar₂₃ + b − c⁻r₁₃ ≥ c⁻ ⋅ (1 − r₁₃) ≥ 0 (LPC).

Now, we show that Δ(x, y) = w(y, r₂₃, − 1) − (ay ∓ bx)/c^± ≥ 0 under the constraints z(x) ≤ y ≤ 1, (b + c⁺r₁₃)/a ≤ x ≤ 1 (UPC), − 1 ≤ x ≤ (c⁻r₁₃ − a)/b (LPC). The function h(y) = w(y, r₂₃, − 1) − ay/c^± is increasing in the interval (b ± c^±r₁₃)/a ≤ y ≤ 1:

$$\mathit{h}\text{'}\left(\mathit{y}\right)=\left({\mathit{c}}^{\pm }{\mathit{r}}_{23}-\mathit{a}\right)/{\mathit{c}}^{\pm }+\mathit{b}\cdot \mathit{y}/\sqrt{1-{\mathit{y}}^2}\ge 0\iff \mathit{y}\ge \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}=\left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}$$

It follows that Δ(x, y) ≥ Δ*(x, z(x)) = w(z(x), r₂₃, − 1) − (az(x) ∓ bx)/c^±. Since z(x) is decreasing and z((b + c⁺r₁₃)/a) = 1,  z(1) = (b + c⁺r₁₃)/a (UPC), respectively z(x) is increasing and z((c⁻r₁₃ − b)/a) = 1,  z(−1) = (a − c⁻r₂₃)/b (LPC), its inverse takes the “+” sign (UPC), respectively the “-“ sign (LPC), that is $\mathit{x}=\mathit{x}\left(\mathit{z}\right)=\pm \left(\mathit{b}\pm {\mathit{c}}^{\pm }{\mathit{r}}_{13}\right)/\mathit{a}\cdot \mathit{z}\pm {\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into Δ*(z) = Δ*(x(z), z) = w(z, r₂₃, 1) − (az ∓ bx(z))/c^± to see that Δ(x, y) ≥ Δ*(x, z(x)) = Δ*(z) = 0.(5)

$$\left(\mathit{y},\mathit{t}\right)\in {\mathit{E}}^{+}\left({\mathit{r}}_{23}\right),\left(\mathit{x},\mathit{t}\right)\mathrm{arbitrary}$$

(5.1)

$$\mathit{y}-{\mathit{r}}_{23}\ge 0$$

Property (P2) implies t ≥ w(y, r₂₃, 1) ≥ 1 + r₂₃ − y  ⇒  (y, t) ∈ L₁(r₂₃)  ⇒

$$\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$$

We must have x − r₁₃ ≥ 0 (UPC), x − r₁₃ ≥ 0 (LPC), in Cases (I.b) and (I.c):

(UPC) Case (I.b): x > (ay − c⁺)/b ≤ (ar₂₃ − c⁺)/b = r₁₃

(UPC) Case (I.c): if − x > − r₁₃,  y ≥ r₂₃ then ay − bx > ar₂₃ − br₁₃ = c⁺ in contradiction to the assumption ay − bx ≤ − c⁺ defining Case (I.c).

(LPC) Case (I.b): − y ≤ − r₂₃  ⇒  x < (c⁻ − ay)/b ≤ (c⁻ − ar₂₃)/b = r₁₃

(LPC) Case (I.c): if x ≥ r₁₃,  y ≥ r₂₃ then ay + bx ≥ ar₂₃ + br₁₃ = c⁻ in contradiction to the assumption ay + bx ≤ − c⁻ defining Case (I.c).

In this situation, if t ≥ w(x, r₁₃, 1), then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (LPC):

(UPC): using (P2) of Lemma A1.2: t ≥ w(x, r₁₃, 1) ≥ 1 + r₁₃ − x  ⇒  (x, t) ∈ L₁(r₁₃)

(LPC):

• (i) using x − r ₁₃ < 0: t ≤ 1 < 1 + r ₁₃ − x  ⇒  (x, t) ∉ L ₁(r ₁₃)

• (ii) using (P5) of Lemma A1.2: t ≥ w(x, r ₁₃, 1) > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

We distinguish between three main cases:

• (a) c ^± t ≤ ay ∓ bx (Case (I.a) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ (LPC)

• (b) c ^± t ≥ ay ∓ bx > c ^± ⋅ w(x, r ₁₃, 1) (possible in Cases (I.b) and (I.c))

By the above we have $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC), which is consistent with the desired inequalities

• (c) c ^± t ≥ ay ∓ bx and ay ∓ bx ≤ c ^± ⋅ w(x, r ₁₃, 1) (possible in Cases (I.b) and (I.c))

We derive the inequality (C5.1) t ≥ w(y, r₂₃, 1) ≥ w(x, r₁₃, 1), which again implies $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=\frac{1}{2}$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}=0$ (LPC). We use the transformation z = z(x) = (c ⋅ w(x, r₁₃, 1) ± bx)/a and its inverse in (A1.3) to show that Δ(x, y) = w(y, r₂₃, 1) − w(x, r₁₃, 1) ≥ 0 under the constraints r₂₃ ≤ y ≤ z(x), r₁₃ ≤ x ≤ 1 (UPC), − 1 ≤ x < r₁₃ (LPC). By (P4) of Lemma A1.2 the function w(y, r₂₃, 1) is decreasing in y, hence Δ(x, y) ≥ Δ*(x, z(x)) = w(z(x), r₂₃, 1) − w(x, r₁₃, 1) = w(z(x), r₂₃, 1) − (az(x) ÷ bx)/c^±.

Insert the inverse x = x(z) into Δ*(z) = Δ*(x(z), z) = w(z, r₂₃, 1) − (az ∓ bx(z))/c^± to see that $\mathit{\Delta }\left(\mathit{x},\mathit{y}\right)\ge {\mathit{\Delta }}^{*}\left(\mathit{x},\mathit{z}\left(\mathit{x}\right)\right)={\mathit{\Delta }}^{*}\left(\mathit{z}\right)=\mathit{b}\sqrt{1-{\mathit{z}}^2}\left(1\pm 1\right)\ge 0$ as desired.(5.2)

$$\mathit{y}-{\mathit{r}}_{23}<0$$

We first note that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$:

• (i) using y − r ₂₃ < 0: t ≤ 1 < 1 + r ₂₃ − y  ⇒  (y, t) ∉ L ₁(r ₂₃)

• (ii) using (P5) of Lemma 3.2: t ≥ w(y, r ₂₃, 1) > y + r ₂₃ − 1  ⇒  (y, t) ∉ L ₄(r ₂₃)

We distinguish between two main cases:

• (a) c ^± t ≥ ay ∓ bx (Case (I.c) and possibly Case (I.b))

We have necessarily $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\ge \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\le 0$ (LPC)

• (b) c ^± ⋅ w(y, r ₂₃, 1) ≤ c ^± t ≤ ay ∓ bx (Case (I.a) and possibly Case (I.b))

We show that $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=\frac{1}{2}$ (LPC), which is consistent with the desired inequalities $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)\le \frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)=0$ (UPC), $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)+\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{23}\left(\mathit{y},\mathit{t}\right)-\frac{1}{2}\ge 0$ (LPC)

Case 1 y ≥ (c^±r₂₃ − a)/b

(C5.2.1) t ≥ w(y, r₂₃, 1) ≥ w(x, r₁₃, 1), and x − r₁₃ < 0 (UPC), x − r₁₃ > 0 (LPC)

Case 2 y ≤ (c^±r₂₃ − a)/b

(C5.2.2) c^± ⋅ w(y, r₂₃, 1) ≤ c^±t ≤ ay ∓ bx < c^± ⋅ w(x, r₁₃, − 1), x + r₁₃ < 0 (UPC), x + r₁₃ ≥ 0 (LPC)

Indeed, if these conditions hold, then $\frac{\partial }{\partial \mathit{t}}{\mathit{C}}_{13}\left(\mathit{x},\mathit{t}\right)=0$ in virtue of (3.11) as follows:

UPC) Case 1 (i) using x − r₁₃ < 0: t ≤ 1 < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using (P5) of Lemma 3.2: t ≥ w(x, r ₁₃, 1) > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(LPC) Case 1: (P2) ⇒  t ≥ w(x, r₁₃, 1) ≥ 1 + r₁₃ − x  ⇒  (x, t) ∈ L₁(r₁₃)

(UPC) Case 2: (i) using (P6) of Lemma 3.2: t ≤ w(x, r₁₃, − 1) < 1 + r₁₃ − x  ⇒  (x, t) ∉ L₁(r₁₃)

• (ii) using x + r ₁₃ < 0 t ≥ − 1 > x + r ₁₃ − 1  ⇒  (x, t) ∉ L ₄(r ₁₃)

(LPC) Case 2: (P1) ⇒  t < w(x, r₁₃, − 1) ≤ x + r₁₃ − 1  ⇒  (x, t) ∈ L₄(r₁₃)

To show the above inequalities we use the transformation z = z(y) = ± (ay − c^± ⋅ w(y, r₂₃, 1))/b.

Case 1: Since the function z(y) is increasing (UPC) (respectively decreasing (LPC)) in the interval (c^±r₂₃ − a)/b ≤ y < r₂₃, we have in particular x ≤ z(y) < z(r₂₃) = (ar₂₃ − c⁺)/b = r₁₃ (UPC), x ≥ z(y) > z(r₂₃) = (c⁻ − ar₂₃)/b = r₁₃ (LPC). We show that Δ(x, y) = w(y, r₂₃, 1) − w(x, r₁₃, 1) ≥ 0 under the constraints − 1 ≤ x ≤ z(y) (UPC), z(y) ≤ x ≤ 1 (LPC), (c^±r₂₃ − a)/b ≤ y < r₂₃. With (P4) of Lemma A1.2, w(x, r₁₃, 1) is increasing in x (UPC), decreasing in x (LPC), hence Δ(x, y) ≥ Δ*(y, z(y)) = w(y, r₂₃, 1) − w(z(y), r₁₃, 1) = (ay ∓ bz(y))/c^± − w(z(y), r₁₃, 1).

Since z(y) is increasing and z(r₂₃) = r₁₃,  z((c⁺r₂₃ − a)/b) = − 1 (UPC), respectively z(y) is decreasing and z(r₂₃) = r₁₃,  z((c⁻r₂₃ − a)/b) = 1 (LPC), its inverse in (A1.3) takes the “+” sign: $\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-\mathit{c}{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}+\mathit{c}\sqrt{1-{\mathit{z}}^2}$. Insert into Δ*(z) = Δ*(y(z), z) = (ay(z) ∓ bz)/c^± − w(z, r₂₃, 1) to see that Δ(x, y) ≥ Δ*(y, z(y)) = Δ*(z) = 0 as desired.

Case 2: One shows that z(y) is decreasing (UPC) (respectively increasing (LPC)) in the interval − 1 ≤ y ≤ (c^±r₂₃ − a)/b. In particular x ≤ z(y) ≤ z(−1) = (c⁺r₂₃ − a)/b ≤ − r₁₃ (UPC), x ≥ z(y) ≥ z(−1) = (a − c⁻r₂₃)/b ≥ − r₁₃ (LPC), where the last inequalities are true because a − br₁₃ − c⁺r₂₃ ≥ c⁺ ⋅ (1 − r₂₃) ≥ 0 (UPC), a + br₁₃ − c⁻r₂₃ ≥ c⁻ ⋅ (1 − r₂₃) ≥ 0 (LPC).

Now, we show that Δ(x, y) = w(x, r₁₃, − 1) − (ay ∓ bx)/c^± ≥ 0 under the constraints − 1 ≤ x ≤ z(y) (UPC), z(y) ≤ x ≤ 1 (LPC), − 1 ≤ y ≤ (c^±r₂₃ − a)/b. Since the function h(x) = w(x, r₁₃, − 1) ± bx/c is decreasing (UPC), respectively increasing (LPC), we have Δ(x, y) ≥ Δ*(y, z(y)) = w(z(y), r₁₃, − 1) − (ay ∓ bz(y))/c^±. Since z(y) is decreasing and z((c⁺r₂₃ − a)/b) = − 1,  z(−1) = (c⁺r₂₃ − a)/b (UPC), respectively z(y) is increasing and z((c⁻r₂₃ − a)/b) = 1,  z(−1) = (a − c⁻r₂₃)/b (LPC), its inverse in (A1.3) takes the “-“ sign, that is $\mathit{y}\left(\mathit{z}\right)=\pm \left(\mathit{a}-{\mathit{c}}^{\pm }{\mathit{r}}_{23}\right)/\mathit{b}\cdot \mathit{z}-{\mathit{c}}^{\pm }\cdot \sqrt{1-{\mathit{z}}^2}$. Insert it into Δ*(z) = Δ*(y(z), z) = w(z, r₁₃, − 1) − (ay(z) − bz)/c to see that Δ(x, y) ≥ Δ*(y, z(y)) = Δ*(z) = 0 as desired.

Authors information

URL: http://sites.google.com/site/whurlimann/