Home On comprehensive families of copulas involving the three basic copulas and transformations thereof
Article Open Access

On comprehensive families of copulas involving the three basic copulas and transformations thereof

  • Susanne Saminger-Platz ORCID logo , Anna Kolesárová ORCID logo , Adam Šeliga ORCID logo , Radko Mesiar ORCID logo and Erich Peter Klement ORCID logo EMAIL logo
Published/Copyright: November 7, 2024
Become an author with De Gruyter Brill

Abstract

Comprehensive families of copulas including the three basic copulas (at least as limit cases) are useful tools to model countermonotonicity, independence, and comonotonicity of pairs of random variables on the same probability space. In this contribution, we study how the transition from a (basic) copula to a copula modeling a different dependence behavior can be realized by means of ordinal sums based on one of the three basic copulas, perturbing one of the three basic copulas (considering some appropriate parameterized transformations) and truncating the results using the Fréchet-Hoeffding bounds. We provide results and examples showing the flexibility and the restrictions for obtaining new copulas or comprehensive families and illustrate the development of their dependence parameters.

MSC 2010: 60E05; 62H05; 62H20

1 Introduction and motivation

Copulas are functions that link a multivariate distribution function with its one-dimensional margins. Thanks to Sklar’s theorem [22,38,65,76], we know that, whenever ( X , Y ) is a random vector with its two marginal distributions F X , F Y : R [ 0 , 1 ] , there exists a bivariate copula C X , Y : [ 0 , 1 ] 2 [ 0 , 1 ] (which is uniquely determined if and only if X and Y are continuous) such that the joint distribution F X , Y : R 2 [ 0 , 1 ] is given by F X , Y ( u , v ) = C X , Y ( F X ( u ) , F Y ( v ) ) . Conversely, for each bivariate copula C : [ 0 , 1 ] 2 [ 0 , 1 ] , the function F : R 2 [ 0 , 1 ] given by F ( u , v ) = C ( F X ( u ) , F Y ( v ) ) is a joint probability distribution of the random vector ( X , Y ) such that C X , Y = C .

The lower Fréchet-Hoeffding bound W : [ 0 , 1 ] 2 [ 0 , 1 ] , the independence copula Π : [ 0 , 1 ] 2 [ 0 , 1 ] , and the upper Fréchet-Hoeffding bound M : [ 0 , 1 ] 2 [ 0 , 1 ] are given by, respectively,

(1.1) W ( x , y ) = max { x + y 1 , 0 } , Π ( x , y ) = x y , and M ( x , y ) = min { x , y } .

These copulas, often called the three basic copulas, capture – in the language of Sklar’s theorem – the countermonotonicity, the independence, and the comonotonicity of pairs of random variables on the same probability space. Moreover, the Fréchet-Hoeffding lower and upper bounds W and M serve also as the smallest and greatest bivariate copula, respectively, i.e., W C M for each bivariate copula C .

Following Nelsen [65, p. 15], families of copulas including the three basic copulas W , Π , and M (at least as limit cases) are called comprehensive. Comprehensive families of copulas, in particular, parameterized comprehensive families of copulas, the parameter set being a suitable subset of some Euclidean space R d , allow transitions from one dependence behavior to another to be modeled.

There are several construction methods determining new copulas from two or more given copulas, e.g., using additive or multiplicative generators (leading to the so-called Archimedean copulas that are isomorphic to either W or Π , see [73]), convex combinations, several types of ordinal sums or other patchwork techniques (see, e.g., [10,1517,19,75]), vine copulas [9] or other techniques elaborating on the properties of the aggregation step involving the kernel property [50], or different types of convexity [68] such as ultramodularity [42,43,60] and Schur concavity [41,72]. Other techniques focus on transforming a single copula into another copula by, e.g., applying univariate functions (see, e.g., [51,64]) such as polynomials (see, e.g., [49]) or distortions [1,7,14,20,27,32,33,46,64,80]. In other cases, a basic copula behavior is intended to be perturbed by some additional terms (compare also [13,62,6971] and references therein). Following a more probabilistic view on copulas, symmetries of the random vector or the consideration of pairs of order statistics lead to associated copulas (compare also, e.g., [11,12,28,29,36,44,54,55,66]), thus providing the means for constructing new copulas from a given one. In summary, there is a wide range of different techniques on how to obtain new copulas from a single copula or from a set of already given copulas.

In the literature, there is an abundance of comprehensive families of distinguished copulas: well-known representatives (see, e.g., [45,65]) are convex combinations of the three basic copulas W , Π , and M , such as the two-parameter family of Fréchet and the one-parameter family of Mardia copulas (going back to [26] and [59], respectively). Other classical examples are the one-parameter Archimedean families of Clayton and Frank copulas whose earliest traces can be found in [8] and [24] (for details, see [65, Table 4.1, (4.2.1), and (4.2.5)]). More recently, in [37, Theorem 3.1], a “Hoeffding-Fréchet comprehensive extension of the FGM copula” was presented, and Sheikhi et al. [74] studied a comprehensive family of copulas in the context of random noise and perturbation. Two one-parameter comprehensive families of copulas that are closely related to the ( θ ) -transform of M and the [ θ ] -transform of W (Definition 2.7) were mentioned in [71, Examples 3.7 and 3.14].

In this article, we will expand some ideas mentioned in, e.g., [12,37,41,49,69,71], and investigate parameterized transformations of copulas (as given in Definition 2.7) with or without truncation (2.2) as well as ordinal sums based on one of the three basic copulas (Definition 2.5), and study the dependence behavior of many of these constructions. Note that some of the parameterized transformations discussed here are related to the construction of copulas by means of pairs of order statistics [12] or to quadratic constructions of copulas [49]. Others may be seen as generalizations of the family of Eyraud-Farlie-Gumbel Morgenstern copulas (see, e.g., [65, Example 3.12]) or its family extension as discussed by Hürlimann in [37] (compare also [71, Example 2.12(ii)]), or as perturbations of copulas (compare also [13,62,6971,74]).

We start off and use only the Fréchet-Hoeffding bounds W or M or the independence copula Π as basis for ordinal sums and extremes of dependence, which are getting modified. Imputing other copulas into the ordinal sums and using parameterized transformations will change the dependence behavior modeled by the copulas. In addition, truncation by the Fréchet-Hoeffding bounds W and M forces the resulting functions to obey the boundary conditions for binary copulas. One of the most important problems in this context is the identification of a (possibly maximal) set of parameters such that these constructions again yield a copula. One can also ask whether it is possible to obtain comprehensive families of copulas to achieve dependence completeness in this way. If yes, it may be of interest to investigate the variation of the dependence parameters (such as Spearman’s ϱ [77], Kendall’s τ [39], Blomqvist’s β [6], Gini’s γ [34], or Spearman’s footrule ϕ [78]) when the members of the comprehensive family go from, say, W to M .

The structure of this article is as follows: after giving the necessary preliminaries in Section 2, we take a closer look at M- and W-ordinal sums of transformed copulas (Section 3). In Section 4, we provide an in-depth study of Π -ordinal sums of transformed copulas. Finally, in Section 5, we present several families of copulas obtained using the results from Sections 3 and 4, paying special attention to their dependence parameters.

2 Preliminaries

After some preliminary work by Fréchet [25] on the set of d -dimensional probability distributions having the given univariate marginals F 1 , F 2 , , F d , bivariate copulas have been introduced by Sklar in [76] (Definition 2.1). They fully characterize the relationship (see Sklar’s theorem [76]) between any two-dimensional probability distribution and its univariate marginal distributions [22,31,38,65] and, therefore, provide some information concerning the dependence structure of a two-dimensional random vector. To be precise, a bivariate copula has 0 as annihilator and 1 as neutral element, and it is 2-increasing (properties [C1] and [C2]).

Definition 2.1

A function C : [ 0 , 1 ] 2 [ 0 , 1 ] is a (bivariate) copula if for all x , y , x 1 , y 1 , x 2 , y 2 [ 0 , 1 ] , the following two conditions are satisfied:

  1. { x , y } { 0 , 1 } C ( x , y ) = min { x , y } (boundary condition),

  2. x 1 x 2 and y 1 y 2 C ( x 2 , y 2 ) C ( x 2 , y 1 ) C ( x 1 , y 2 ) + C ( x 1 , y 1 ) 0 (2-increasing)

The (non-negative) value C ( x 2 , y 2 ) C ( x 2 , y 1 ) C ( x 1 , y 2 ) + C ( x 1 , y 1 ) in [C2] is usually called the C-volume V C ( R ) of the rectangle R = [ x 1 , x 2 ] × [ y 1 , y 2 ] [ 0 , 1 ] 2 , and the set of all bivariate copulas will be denoted by C .

From properties [C1] and [C2], it follows immediately that each copula C C is an increasing 1-Lipschitz function from [ 0 , 1 ] 2 to [ 0 , 1 ] . Also, each convex combination of a finite number of copulas is again a copula.

Definition 2.2

We also consider two larger classes of bivariate functions, namely,

  1. the set S of (bivariate) semicopulas, i.e., of monotone functions S : [ 0 , 1 ] 2 [ 0 , 1 ] satisfying the boundary condition [C1] (see, e.g., [2,21]),

  2. the set F of bivariate functions F : [ 0 , 1 ] 2 R satisfying the boundary condition [C1] (compare [71]).

Definition 2.3

For an arbitrary function F : [ 0 , 1 ] 2 R in F , the transpose F T : [ 0 , 1 ] 2 R , the x-flipping F x flip : [ 0 , 1 ] 2 R , and the y-flipping F y flip : [ 0 , 1 ] 2 R of F are defined by, respectively,

(2.1) F T ( x , y ) = F ( y , x ) , F x flip ( x , y ) = y F ( 1 x , y ) , and F y flip ( x , y ) = x F ( x , 1 y ) .

We consider also the truncation F ¯ : [ 0 , 1 ] 2 R of F by means of the Fréchet-Hoeffding bounds W and M (1.1), which is defined by (the symbols and standing for the pointwise minimum and maximum, respectively)

(2.2) F ¯ = ( W F ) M .

It is straightforward that for each function F F , we have

(2.3) ( F x flip ) y flip = ( F y flip ) x flip , ( F ¯ ) x flip = F x flip ¯ , and ( F ¯ ) y flip = F y flip ¯ .

In the case of a copula C , the functions C T , C x flip , and C y flip are copulas, too. As a consequence, the composite function C surv : [ 0 , 1 ] 2 [ 0 , 1 ] given by

(2.4) C surv ( x , y ) = ( C x flip ) y flip ( x , y ) = ( C y flip ) x flip ( x , y ) = 1 x y + C ( 1 x , 1 y )

is also a copula, called the survival copula C surv of C . For the three basic copulas W , Π , and M given by (1.1), we obtain

(2.5) W x flip = W y flip = M , Π x flip = Π y flip = Π , and M x flip = M y flip = W ,

and for each C { W , Π , M } , we have C surv = C .

Remark 2.4

Theorem 3.1.2 in [22] tells us that each bivariate copula C : [ 0 , 1 ] 2 [ 0 , 1 ] is in a one-to-one correspondence with a twofold stochastic measure P C : B ( [ 0 , 1 ] 2 ) [ 0 , 1 ] on the set of Borel subsets B ( [ 0 , 1 ] 2 ) of [ 0 , 1 ] 2 with uniform marginals such that P C ( R ) = V C ( R ) for each rectangle R = [ x 1 , x 2 ] × [ y 1 , y 2 ] [ 0 , 1 ] 2 . The geometric and stochastic interpretations visualized in Figure 1 follow directly from this result. In this figure, C C is an arbitrary copula, ( u , v ) [ 0 , 1 ] 2 an arbitrary point, and P C the twofold stochastic measure corresponding to C according to [22, Theorem 3.1.2].

Figure 1 
               Values of the copula 
                     
                        
                        
                           C
                        
                        C
                     
                  , the survival copula 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 surv
                              
                           
                        
                        {C}^{{\rm{surv}}}
                     
                  , the 
                     
                        
                        
                           x
                        
                        x
                     
                  -flipping 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 x
                                 flip
                              
                           
                        
                        {C}^{x{\rm{flip}}}
                     
                  , and the 
                     
                        
                        
                           y
                        
                        y
                     
                  -flipping 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 y
                                 flip
                              
                           
                        
                        {C}^{y{\rm{flip}}}
                     
                   at the red point 
                     
                        
                        
                           
                              (
                              
                                 u
                                 ,
                                 v
                              
                              )
                           
                        
                        \left(u,v)
                     
                   are given by the 
                     
                        
                        
                           
                              
                                 P
                              
                              
                                 C
                              
                           
                        
                        {P}_{C}
                     
                  -measure of the rectangle in yellow, cyan, green, and magenta, respectively, i.e., we obtain 
                     
                        
                        
                           C
                           
                              (
                              
                                 u
                                 ,
                                 v
                              
                              )
                           
                           =
                           
                              
                                 P
                              
                              
                                 C
                              
                           
                           
                              (
                              
                                 
                                    [
                                    
                                       0
                                       ,
                                       u
                                    
                                    ]
                                 
                                 ×
                                 
                                    [
                                    
                                       0
                                       ,
                                       v
                                    
                                    ]
                                 
                              
                              )
                           
                        
                        C\left(u,v)={P}_{C}\left(\left[0,u]\times \left[0,v])
                     
                   (yellow), 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 surv
                              
                           
                           
                              (
                              
                                 u
                                 ,
                                 v
                              
                              )
                           
                           =
                           
                              
                                 P
                              
                              
                                 C
                              
                           
                           
                              (
                              
                                 
                                    [
                                    
                                       1
                                       ‒
                                       u
                                       ,
                                       1
                                    
                                    ]
                                 
                                 ×
                                 
                                    [
                                    
                                       1
                                       ‒
                                       v
                                       ,
                                       1
                                    
                                    ]
                                 
                              
                              )
                           
                        
                        {C}^{{\rm{surv}}}\left(u,v)={P}_{C}\left({[}1‒u,1]\times {[}1‒v,1])
                     
                   (cyan), 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 x
                                 flip
                              
                           
                           
                              (
                              
                                 u
                                 ,
                                 v
                              
                              )
                           
                           =
                           
                              
                                 P
                              
                              
                                 C
                              
                           
                           
                              (
                              
                                 
                                    [
                                    
                                       1
                                       ‒
                                       u
                                       ,
                                       1
                                    
                                    ]
                                 
                                 ×
                                 
                                    [
                                    
                                       0
                                       ,
                                       v
                                    
                                    ]
                                 
                              
                              )
                           
                        
                        {C}^{x{\rm{flip}}}\left(u,v)={P}_{C}\left(\left[1‒u,1]\times \left[0,v])
                     
                   (green), and 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 y
                                 flip
                              
                           
                           
                              (
                              
                                 u
                                 ,
                                 v
                              
                              )
                           
                           =
                           
                              
                                 P
                              
                              
                                 C
                              
                           
                           
                              (
                              
                                 
                                    [
                                    
                                       0
                                       ,
                                       u
                                    
                                    ]
                                 
                                 ×
                                 
                                    [
                                    
                                       1
                                       ‒
                                       v
                                       ,
                                       1
                                    
                                    ]
                                 
                              
                              )
                           
                        
                        {C}^{y{\rm{flip}}}\left(u,v)={P}_{C}\left({[}0,u]\times {[}1‒v,1])
                     
                   (magenta).
Figure 1

Values of the copula C , the survival copula C surv , the x -flipping C x flip , and the y -flipping C y flip at the red point ( u , v ) are given by the P C -measure of the rectangle in yellow, cyan, green, and magenta, respectively, i.e., we obtain C ( u , v ) = P C ( [ 0 , u ] × [ 0 , v ] ) (yellow), C surv ( u , v ) = P C ( [ 1 u , 1 ] × [ 1 v , 1 ] ) (cyan), C x flip ( u , v ) = P C ( [ 1 u , 1 ] × [ 0 , v ] ) (green), and C y flip ( u , v ) = P C ( [ 0 , u ] × [ 1 v , 1 ] ) (magenta).

There are many methods for constructing new copulas from given ones. One prominent and flexible class of such constructions are the so-called ordinal sums based on the Fréchet-Hoeffding bounds M and W and on the independence copula Π given by (1.1) (see, e.g., [10,15,18,19,23,50,63,67,71,73,75]). Early traces of ordinal sums go back to the 1940s in the context of partially ordered sets and abstract semigroups (see, e.g., [5] or [15] for a historical overview on ordinal sums).

Definition 2.5

If K is a countable index set, ( ] a k , b k [ ) k K a family of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] , and ( C k ) k K a family of copulas, then the following three functions W - ( a k , b k , C k ) k K , Π - ( a k , b k , C k ) k K , M - ( a k , b k , C k ) k K : [ 0 , 1 ] 2 [ 0 , 1 ] given by, respectively,

(2.6) W - ( a k , b k , C k ) k K ( x , y ) = ( b k a k ) C k x a k b k a k , y + b k 1 b k a k , if ( x , y ) [ a k , b k ] × [ 1 b k , 1 a k ] , W ( x , y ) , otherwise, Π - ( a k , b k , C k ) k K ( x , y ) = a k y + ( b k a k ) C k x a k b k a k , y , if x [ a k , b k ] , Π ( x , y ) , otherwise, M - ( a k , b k , C k ) k K ( x , y ) = a k + ( b k a k ) C k x a k b k a k , y a k b k a k , if ( x , y ) [ a k , b k ] 2 , M ( x , y ) , otherwise,

are well-defined copulas. We shall call W - ( a k , b k , C k ) k K the W-ordinal sum, Π - ( a k , b k , C k ) k K the (vertical) Π -ordinal sum, and M - ( a k , b k , C k ) k K the M-ordinal sum of the summands ( ] a k , b k [ , C k ) k K .

Remark 2.6

Given a countable index set K and a family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] , the set of copulas C is closed under each of the ordinal sums in (2.6), i.e., if { C k k K } C , then each of the ordinal sums W - ( a k , b k , C k ) k K , Π - ( a k , b k , C k ) k K , and M - ( a k , b k , C k ) k K belongs to C . In this study, we shall use analogous assertions holding for several distinguished supersets of C (as it was done, e.g., in [15]), for instance, for the set S of (bivariate) semicopulas, and for the set F of bivariate functions F : [ 0 , 1 ] 2 R satisfying the boundary condition [C1] (see [BSC] and [BBC] in Definition 2.2).

2.1 Parameterized transformations of copulas

Based on ideas in [12,19,37,41,49,58,68], the following parameterized transformations have been introduced in [71, Definition 2.6] (compare also Remark 2.5 in that article) and studied extensively. Here, we present only a summary of the necessary notions and the most important properties related to these transformations.

Definition 2.7

Let F : [ 0 , 1 ] 2 R be an arbitrary function in F and θ R be some parameter. Then, the ( θ ) -transform F ( θ ) : [ 0 , 1 ] 2 R of F and the [ θ ] -transform F [ θ ] : [ 0 , 1 ] 2 R of F are defined by, respectively,

(2.7) F ( θ ) ( x , y ) = F ( x , y ) + θ F ( x , y ) ( F ( x , y ) x y + 1 ) ,

(2.8) F [ θ ] ( x , y ) = F ( x , y ) + θ ( x F ( x , y ) ) ( y F ( x , y ) ) .

Note that, in the case of a copula C C , the ( θ ) -transform C ( θ ) and the [ θ ] -transform C [ θ ] discussed here are related to the construction of copulas by means of pairs of order statistics [12] or quadratic constructions of copulas [49], on the one hand. And on the other hand, they may be seen as generalizations of the family of the Eyraud-Farlie-Gumbel-Morgenstern copulas [65, Example 3.12] and its extensions as discussed in [37,71], or as perturbations of copulas (compare also [13,62,6971]).

Formally, both transforms F ( θ ) and F [ θ ] given in Definition 2.7 are special perturbations F H : [ 0 , 1 ] 2 R of F F given by F H = F + H , where the function H : [ 0 , 1 ] 2 R vanishes at the boundary of [ 0 , 1 ] 2 , i.e., H ( x , y ) = 0 whenever { x , y } { 0 , 1 } ([13, Proposition 2.1]). Note that F H preserves the boundary condition [C1] of F .

Remark 2.8

If C is a bivariate copula, ( u , v ) [ 0 , 1 ] 2 an arbitrary point, and if we write for the ( θ ) -transform C ( θ ) and the [ θ ] -transform C [ θ ] as given in (2.7) and (2.8), respectively, C ( θ ) = C + θ D 1 E 1 and C [ θ ] = C + θ D 2 E 2 , where the functions D 1 , E 1 , D 2 , and E 2 from [ 0 , 1 ] 2 to R are given by

(2.9) D 1 ( x , y ) = C ( x , y ) , D 2 ( x , y ) = x C ( x , y ) , E 1 ( x , y ) = C ( x , y ) x y + 1 , E 2 ( x , y ) = y C ( x , y ) ,

we obtain in Figure 2, similarly as in Remark 2.4 and Figure 1, a geometric and stochastic interpretation of C ( θ ) and C [ θ ] , using the twofold stochastic measure P C corresponding to C according to [22, Theorem 3.1.2]. Moreover, note that for a bivariate copula C , we obtain that both ( D 1 E 1 ) ( x , y ) 0 and ( D 2 E 2 ) ( x , y ) 0 for all ( x , y ) [ 0 , 1 ] 2 satisfying that C ( θ ) C and C [ θ ] C for each θ [ 0 , [ , and C ( θ ) C and C [ θ ] C whenever θ ] , 0 ] .

Figure 2 
                  Values of the functions 
                        
                           
                           
                              
                                 
                                    D
                                 
                                 
                                    1
                                 
                              
                           
                           {D}_{1}
                        
                      and 
                        
                           
                           
                              
                                 
                                    E
                                 
                                 
                                    1
                                 
                              
                           
                           {E}_{1}
                        
                      defined by (2.9) at the black point 
                        
                           
                           
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                           
                           \left(u,v)
                        
                      are given by the 
                        
                           
                           
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                           
                           {P}_{C}
                        
                     -measures of the light blue and the blue rectangle (left), respectively, i.e., 
                        
                           
                           
                              
                                 
                                    D
                                 
                                 
                                    1
                                 
                              
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                              =
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                              
                                 (
                                 
                                    
                                       [
                                       
                                          0
                                          ,
                                          u
                                       
                                       ]
                                    
                                    ×
                                    
                                       [
                                       
                                          0
                                          ,
                                          v
                                       
                                       ]
                                    
                                 
                                 )
                              
                           
                           {D}_{1}\left(u,v)={P}_{C}\left(\left[0,u]\times \left[0,v])
                        
                      (light blue) and 
                        
                           
                           
                              
                                 
                                    E
                                 
                                 
                                    1
                                 
                              
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                              =
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                              
                                 (
                                 
                                    
                                       [
                                       
                                          u
                                          ,
                                          1
                                       
                                       ]
                                    
                                    ×
                                    
                                       [
                                       
                                          v
                                          ,
                                          1
                                       
                                       ]
                                    
                                 
                                 )
                              
                           
                           {E}_{1}\left(u,v)={P}_{C}\left({[}u,1]\times {[}v,1])
                        
                      (blue). Similarly, the 
                        
                           
                           
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                           
                           {P}_{C}
                        
                     -measures of the light red and the red rectangle (right) represent the values of the functions 
                        
                           
                           
                              
                                 
                                    D
                                 
                                 
                                    2
                                 
                              
                           
                           {D}_{2}
                        
                      and 
                        
                           
                           
                              
                                 
                                    E
                                 
                                 
                                    2
                                 
                              
                           
                           {E}_{2}
                        
                      at the black point 
                        
                           
                           
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                           
                           \left(u,v)
                        
                     , i.e., 
                        
                           
                           
                              
                                 
                                    D
                                 
                                 
                                    2
                                 
                              
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                              =
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                              
                                 (
                                 
                                    
                                       [
                                       
                                          0
                                          ,
                                          u
                                       
                                       ]
                                    
                                    ×
                                    
                                       [
                                       
                                          v
                                          ,
                                          1
                                       
                                       ]
                                    
                                 
                                 )
                              
                           
                           {D}_{2}\left(u,v)={P}_{C}\left({[}0,u]\times {[}v,1])
                        
                      (light red) and 
                        
                           
                           
                              
                                 
                                    E
                                 
                                 
                                    2
                                 
                              
                              
                                 (
                                 
                                    u
                                    ,
                                    v
                                 
                                 )
                              
                              =
                              
                                 
                                    P
                                 
                                 
                                    C
                                 
                              
                              
                                 (
                                 
                                    
                                       [
                                       
                                          u
                                          ,
                                          1
                                       
                                       ]
                                    
                                    ×
                                    
                                       [
                                       
                                          0
                                          ,
                                          v
                                       
                                       ]
                                    
                                 
                                 )
                              
                           
                           {E}_{2}\left(u,v)={P}_{C}\left({[}u,1]\times {[}0,v])
                        
                      (red).
Figure 2

Values of the functions D 1 and E 1 defined by (2.9) at the black point ( u , v ) are given by the P C -measures of the light blue and the blue rectangle (left), respectively, i.e., D 1 ( u , v ) = P C ( [ 0 , u ] × [ 0 , v ] ) (light blue) and E 1 ( u , v ) = P C ( [ u , 1 ] × [ v , 1 ] ) (blue). Similarly, the P C -measures of the light red and the red rectangle (right) represent the values of the functions D 2 and E 2 at the black point ( u , v ) , i.e., D 2 ( u , v ) = P C ( [ 0 , u ] × [ v , 1 ] ) (light red) and E 2 ( u , v ) = P C ( [ u , 1 ] × [ 0 , v ] ) (red).

Both the ( θ ) -transform C ( θ ) and the [ θ ] -transform C [ θ ] of a copula C C preserve the boundary condition [C1], implying that these functions belong to F , but, in general, they need not be copulas (see, e.g., [71, Lemma 2.8]). Obviously, the sets of parameters turning C ( θ ) and/or C [ θ ] into a copula (introduced in [71, Definition 3.3]) are of particular interest:

Definition 2.9

For an arbitrary copula C C we shall denote the sets of all parameters θ , for which C ( θ ) , C ( θ ) ¯ , C [ θ ] , and C [ θ ] ¯ are also copulas, by ( Θ C ) , ( Θ C ) ¯ , [ Θ C ] , and [ Θ C ] ¯ , respectively, i.e.,

(2.10) ( Θ C ) = { θ R C ( θ ) C } , ( Θ C ) ¯ = { θ R C ( θ ) ¯ C } ,

(2.11) [ Θ C ] = { θ R C [ θ ] C } , [ Θ C ] ¯ = { θ R C [ θ ] ¯ C } .

Given a copula C C , the functions C ( θ ) and C [ θ ] as well as their truncations C ( θ ) ¯ and C [ θ ] ¯ by means of the Fréchet-Hoeffding bounds are defined for real values of θ only (see Definition 2.7 and (2.2)), implying that the parameter sets ( Θ C ) , [ Θ C ] , ( Θ C ) ¯ , and [ Θ C ] ¯ given in (2.10) and (2.11) are necessarily subsets of R . However, if θ approaches −∞ or ∞, in some cases also the corresponding pointwise limits of C ( θ ) , C [ θ ] , C ( θ ) ¯ , or C [ θ ] ¯ may be copulas (see, e.g., the family ( Π , M [ θ ] ¯ ) θ R given by (4.12) and the family ( M ( θ ) ^ ) θ R in Example 5.2).

The following list of properties of the parameter sets ( Θ C ) , [ Θ C ] , ( Θ C ) ¯ , and [ Θ C ] ¯ given in (2.10) and (2.11) summarizes the combined results of Proposition 3.4 and Corollary 3.10 in [71]:

Proposition 2.10

These are the main properties of the four parameter sets ( Θ C ) , [ Θ C ] , ( Θ C ) ¯ , and [ Θ C ] ¯ introduced in Definition 2.9:

  1. For each copula C C , the sets ( Θ C ) and [ Θ C ] are convex subsets of R , and they satisfy

    [ 1 , 0 ] ( Θ C ) ( Θ C ) ¯ and [ 0 , 1 ] [ Θ C ] [ Θ C ] ¯ .

  2. Let C C be a copula. Then, we have

    ( Θ C ) = R C = W and [ Θ C ] = R C = M .

  3. For the three basic copulas W , Π , and M, we have

    ( Θ W ) = R , [ Θ W ] = [ 0 , 1 ] , ( Θ W ) ¯ = R , [ Θ W ] ¯ = ] , 1 ] [ 2 , [ , ( Θ Π ) = [ 1 , 1 ] , [ Θ Π ] = [ 1 , 1 ] , ( Θ Π ) ¯ = R , [ Θ Π ] ¯ = R , ( Θ M ) = [ 1 , 0 ] , [ Θ M ] = R , ( Θ M ) ¯ = ] , 2 ] [ 1 , [ , [ Θ M ] ¯ = R .

The ( θ ) - and [ θ ] -transforms introduced in (2.7) and (2.8) in Definition 2.7 as well as the truncation considered in (2.2) preserve not only the boundary condition [C1], but (in some particular cases) several other interesting properties of copulas and functions in F .

If a function F F is symmetric (or exchangeable in the case of copulas), i.e., if F ( x , y ) = F ( y , x ) for all ( x , y ) [ 0 , 1 ] 2 , then the functions F ¯ , F ( θ ) , and F [ θ ] are also symmetric for each θ R .

Here are some other properties of bivariate copulas C C describing the positive quadrant dependence (PQD) and negative quadrant dependence (NQD) of random vectors [53] (compare [65, Section 5.2.1]). For the logical relations between these and other dependence properties, see [65, Figure 5.8].

  1. C is called a PQD copula if C Π .

  2. C is called an NQD copula if C Π .

The properties PQD and NQD are preserved by our transforms and their truncations for non-negative and non-positive parameters θ , respectively. To be precise, we obtain the following results:

Lemma 2.11

Let C C be a copula and θ R be a parameter such that the functions C ( θ ) , C [ θ ] , C ( θ ) ¯ , and C [ θ ] ¯ are copulas, too. Then, we have

  1. If C is a PQD copula and θ [ 0 , [ , then also C ( θ ) , C [ θ ] , C ( θ ) ¯ , and C [ θ ] ¯ are PQD.

  2. If C is an NQD copula and θ ] , 0 ] , then also C ( θ ) , C [ θ ] , C ( θ ) ¯ , and C [ θ ] ¯ are NQD.

2.2 Dependence parameters

The ( θ ) - and [ θ ] -transforms introduced in (2.7) and (2.8) as well as the truncation considered in (2.2) preserve some dependence-related properties of copulas. However, they have an impact on the associated dependence parameters giving space for introducing single-parameterized comprehensive families of copulas, involving either the Fréchet-Hoeffding bounds or the independence copula as basic copulas in ordinal sums and applying the parameterized transformations and truncation. We shall therefore briefly recall some particular dependence parameters and the impact on them by applying the ( θ ) - and [ θ ] -transformations.

In Section 5, we shall be concerned with several widely used dependence parameters of a copula C C , in particular with Spearman’s ϱ [77], Kendall’s τ [39], Blomqvist’s β [6], Gini’s γ [34], and Spearman’s footrule ϕ [78] which can be defined for each copula C C and assume their values in the interval [ 1 , 1 ] (observe that Spearman’s footrule ϕ (compare [3,4,30,47,48,79]), which is a weak concordance measure [56,57] with range 1 2 , 1 and which satisfies ϕ ( W ) = 1 2 , ϕ ( Π ) = 0 , and ϕ ( M ) = 1 , is an exception from that).

Definition 2.12

Given a bivariate copula C C , the dependence parameters ϱ , τ , β , γ , ϕ : C [ 1 , 1 ] are given by (see, e.g., [65]), respectively:

ϱ ( C ) = 12 [ 0 , 1 ] 2 C ( x , y ) d x d y 3 , ( S p e a r m a n s ϱ ) τ ( C ) = 4 [ 0 , 1 ] 2 C ( x , y ) d C ( x , y ) 1 , ( K e n d a l l s τ ) β ( C ) = 4 C 1 2 , 1 2 1 , ( B l o m q v i s t s β ) γ ( C ) = 4 0 1 ( C ( x , x ) + C ( x , 1 x ) ) d x 2 , ( G i n i s γ ) ϕ ( C ) = 6 0 1 C ( x , x ) d x 2 , ( S p e a r m a n s f o o t r u l e ϕ )

Given a copula C C , we will discuss its ( θ ) -transform C ( θ ) : [ 0 , 1 ] 2 R and [ θ ] -transform C [ θ ] : [ 0 , 1 ] 2 R , as introduced in Definition 2.7. In particular, we will focus on ordinal sums based on and having summands from { M , Π , W } as choices for the copula C .

We shall investigate their dependence parameters and briefly refer to the results for the dependence parameters of C [ θ ] as discussed in [52], and we provide the results for the case of C ( θ ) . Since their proofs are done by (mostly standard and sometimes tedious) integration, in a similar way as in [52], we omit them.

For the readers’ convenience, we display the results as differences between the values of the dependence parameter of the transformed and of the original copula considered as such stressing the influence of the transformation process on the dependence behavior of the copula involved.

Proposition 2.13

[52] Let C C be an arbitrary copula, assume that θ [ Θ C ] , and recall the functions D 2 , E 2 : [ 0 , 1 ] 2 R defined in (2.9) and satisfying ( D 2 E 2 ) ( x , y ) = ( x C ( x , y ) ) ( y C ( x , y ) ) . Then, we obtain

ϱ ( C [ θ ] ) ϱ ( C ) = 3 θ + 12 θ [ 0 , 1 ] 2 ( C ( x , y ) x y ) C ( x , y ) d x d y = 6 θ [ 0 , 1 ] 2 ( x 2 + 2 x y 4 x C ( x , y ) ) x C ( x , y ) d x d y , τ ( C [ θ ] ) τ ( C ) = 4 θ [ 0 , 1 ] 2 x C ( x , y ) y ( D 2 E 2 ) ( x , y ) + y C ( x , y ) x ( D 2 E 2 ) ( x , y ) d x d y 4 θ 2 [ 0 , 1 ] 2 x ( D 2 E 2 ) ( x , y ) y ( D 2 E 2 ) ( x , y ) d x d y , β ( C [ θ ] ) β ( C ) = θ 1 2 C 1 2 , 1 2 2 , γ ( C [ θ ] ) γ ( C ) = θ γ ( C ) 4 0 1 ( C ( x , x ) 2 + C ( x , 1 x ) 2 + C ( x , x ) 2 x C ( x , x ) ) d x , ϕ ( C [ θ ] ) ϕ ( C ) = 6 θ 0 1 ( x C ( x , x ) ) 2 d x .

Proposition 2.14

Let C C be an arbitrary copula, assume that θ ( Θ C ) , and recall the two functions D 1 , E 1 : [ 0 , 1 ] 2 R defined in (2.9) and satisfying ( D 1 E 1 ) ( x , y ) = C ( x , y ) ( C ( x , y ) + 1 x y ) . Then, we obtain

ϱ ( C ( θ ) ) ϱ ( C ) = 3 θ 12 θ [ 0 , 1 ] 2 2 x C ( x , y ) x 2 2 x y + x x C ( x , y ) d x d y , τ ( C ( θ ) ) τ ( C ) = 4 θ [ 0 , 1 ] 2 x C ( x , y ) y ( D 1 E 1 ) ( x , y ) + y C ( x , y ) x ( D 1 E 1 ) ( x , y ) d x d y 4 θ 2 [ 0 , 1 ] 2 x ( D 1 E 1 ) ( x , y ) y ( D 1 E 1 ) ( x , y ) d x d y , β ( C ( θ ) ) β ( C ) = 4 θ C 1 2 , 1 2 2 , γ ( C ( θ ) ) γ ( C ) = 4 θ 0 1 ( C ( x , x ) 2 + C ( x , 1 x ) 2 + C ( x , x ) 2 x C ( x , x ) ) d x , ϕ ( C ( θ ) ) ϕ ( C ) = 6 θ 0 1 C ( x , x ) ( 1 + C ( x , x ) 2 x ) d x .

The formulas in Propositions 2.13 and 2.14 readily show that, with the exception of Kendall’s τ where the dependence on the parameter θ is quadratic, all other dependence parameters, i.e., Spearman’s ϱ , Blomqvist’s β , Gini’s γ , and Spearman’s footrule ϕ , depend in a linear way on the parameter θ .

3 M- and W-ordinal sums of transformed copulas

In [71, Section 3], we have discussed families of functions C ( θ ) and C [ θ ] , as introduced in Definition 2.7, and their truncations according to (2.2). In the following two sections, we shall investigate ordinal sums of such functions as given by (2.6) and identify conditions under which we obtain again a copula. In Section 3, we study M- and W-ordinal sums of transformed copulas, obtaining as main result (or: as a particularly interesting result) a close relationship between the non-negative part of the parameter set [ Θ C ] ¯ , where C is an M-ordinal sum with summands C k , and the non-negative parts of the parameter sets of the truncated [ θ ] -transforms of the summands C k , as given in Theorem 3.4.

As mentioned earlier in Section 2, we may, starting from a family ( F k : [ 0 , 1 ] 2 R ) k K of functions obeying the boundary condition [C1], use formulas (2.6) for defining some M-ordinal sum M - ( a k , b k , F k ) k K and W-ordinal sum W - ( a k , b k , F k ) k K – both being well-defined functions from [ 0 , 1 ] 2 into [ 0 , 1 ] , but not necessarily copulas. The following Proposition 3.1 shows that at least the [ θ ] -transform of an M-ordinal sum of copulas is again an M-ordinal sum of transformations of these copulas on the same family of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] .

Proposition 3.1

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas. Let M - ( a k , b k , C k ) k K be the M-ordinal sum of copulas as given in (2.6). Then for each θ R , we have

(3.1) ( M - ( a k , b k , C k ) k K ) [ θ ] = M - ( a k , b k , ( C k ) ( θ ( b k a k ) ) ) k K .

Proof

Use, for the sake of brevity, the abbreviation C M = M - ( a k , b k , C k ) k K and note that C M is a copula and C [ θ ] M , given by (2.8), is a function in F . However, due to the properties of the function C [ θ ] M and M (compare also [71, Remark 4.2], we obtain ( C M ) [ θ ] ( x , y ) = C M ( x , y ) = M ( x , y ) for each θ R and each ( x , y ) S , where S [ 0 , 1 ] 2 denotes the union of all the squares ] a k , b k [ 2 with k K . This means that the structure of the summands of the left-hand side of (3.1) coincides with the structure of the summands of C M as well as with the structure of the summands of the right-hand side of (3.1), since also M - ( a k , b k , ( C k ) [ θ ( b k a k ) ] ) k K ( x , y ) = M ( x , y ) for all ( x , y ) S .

Note that the right-hand side of (3.1) is an M-ordinal sum of a family of functions ( C k ) [ θ ( b k a k ) ] , which may, but need not be copulas, though all of them obey the boundary condition [C1] such that the right-hand side of (3.1) also leads to a well-defined function.

Since the equality of the two functions in (3.1) holds for all ( x , y ) S , it remains to show that it also holds for each ( x , y ) S and each θ R .

Fix an arbitrary index k K , an arbitrary point ( x , y ) ] a k , b k [ 2 , and an arbitrary parameter θ R , and write briefly

(3.2) u ˆ k = x a k b k a k , v ˆ k = y a k b k a k , θ ˆ k = θ ( b k a k ) .

Then, we have C M ( x , y ) = a k + ( b k a k ) C k x a k b k a k , y a k b k a k = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) for each k K , and for each ( x , y ) ] a k , b k [ 2 , and for each θ R , we obtain

(3.3) ( C M ) [ θ ] ( x , y ) = C M ( x , y ) + θ ( x C M ( x , y ) ) ( y C M ( x , y ) ) = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ( x a k ( b k a k ) C k ( u ˆ k , v ˆ k ) ) ( y a k ( b k a k ) C k ( u ˆ k , v ˆ k ) ) = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ( ( x a k ) ( y a k ) ( b k a k ) ( y a k ) C k ( u ˆ k , v ˆ k ) ( x a k ) ( b k a k ) C k ( u ˆ k , v ˆ k ) + ( b k a k ) 2 ( C k ( u ˆ k , v ˆ k ) ) 2 ) .

Concerning the right-hand side of (3.1), we obtain for each k K , for each ( x , y ) ] a k , b k [ 2 , and for each θ R (again using the abbreviations introduced in (3.2))

(3.4) a k + ( b k a k ) ( C k ) [ θ ˆ k ] ( u ˆ k , v ˆ k ) = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ˆ k ( u ˆ k C k ( u ˆ k , v ˆ k ) ) ( v ˆ k C k ( u ˆ k , v ˆ k ) ) = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ( b k a k ) 2 x a k b k a k C k ( u ˆ k , v ˆ k ) y a k b k a k C k ( u ˆ k , v ˆ k ) = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ( b k a k ) 2 ( x a k ) ( y a k ) ( b k a k ) 2 y a k b k a k C k ( u ˆ k , v ˆ k ) x a k b k a k C k ( u ˆ k , v ˆ k ) + ( C k ( u ˆ k , v ˆ k ) ) 2 = a k + ( b k a k ) C k ( u ˆ k , v ˆ k ) + θ ( ( x a k ) ( y a k ) ( b k a k ) ( y a k ) C k ( u ˆ k , v ˆ k ) ( b k a k ) ( x a k ) C k ( u ˆ k , v ˆ k ) + ( b k a k ) 2 ( C k ( u ˆ k , v ˆ k ) ) 2 ) .

Now, (3.3) and (3.4) show that (3.1) holds for all k K , for all ( x , y ) ] a k , b k [ 2 , and for all θ R . Since the M-ordinal sums M - ( a k , b k , C k ) k K and (3.4) coincide with M outside of the set S , this completes the proof.□

Corollary 3.2

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas with corresponding sets [ Θ C k ] = { θ R ( C k ) [ θ ] C } as given in (2.11). Let M - ( a k , b k , C k ) k K be the M-ordinal sum of copulas as defined in (2.6) and θ R . Then, ( M - ( a k , b k , C k ) k K ) [ θ ] is a copula if and only if θ ( b k a k ) [ Θ C k ] for all k K .

Proof

Since an ordinal sum of functions is a copula if and only if all its summand functions are copulas and due to the equality of the functions ( M - ( a k , b k , C k ) k K ) [ θ ] and M - ( a k , b k , ( C k ) [ θ ( b k a k ) ] ) k K as shown in Proposition 3.1, it follows immediately that ( M - ( a k , b k , C k ) k K ) [ θ ] C whenever all ( C k ) [ θ ( b k a k ) ] C .□

From Proposition 2.10(i), we know that each [ Θ C k ] is a convex subset of R .

Corollary 3.3

Consider an M-ordinal sum C = M - ( a k , b k , C k ) k K as in Corollary 3.2. If, for each k K , the set [ Θ C k ] is a compact subinterval of R , i.e., [ Θ C k ] = [ α k , β k ] [ 0 , 1 ] for some ( α k , β k ) R 2 , then

(3.5) [ Θ C ] = sup α k b k a k k K , inf β k b k a k k K .

Proof

Corollary 3.2 tells us that θ [ Θ C ] if and only if θ ( b k a k ) [ α k , β k ] for each k K . This equivalence means that [ Θ C ] = k K α k b k a k , β k b k a k , and (3.5) follows.□

The following is a particularly interesting result presenting the close relationship between the non-negative part of the parameter set [ Θ C ] ¯ , where C is an M-ordinal sum with summands C k , and the non-negative parts of the parameter sets of the truncated [ θ ] -transforms of the summands C k . Whether this or a similar relationship also holds for the negative part of the parameter set [ Θ C ] ¯ is still an open problem (Remark 3.5).

Theorem 3.4

Let C = M - ( a k , b k , C k ) k K be an M-ordinal sum of copulas and consider the truncation C [ θ ] ¯ of the function C [ θ ] given in (2.2). Then, we have

(3.6) [ 0 , [ k K { θ θ ( b k a k ) [ Θ C k ] ¯ } = [ 0 , [ [ Θ C ] ¯ .

Proof

If C = M - ( a k , b k , C k ) k K = M , i.e., K = or { C k k K } = { M } , then (3.6) holds because of [ Θ M ] ¯ = R . If C = M - ( 0 , 1 , C * ) = C * for some copula C * C then (3.6) follows from [ Θ C ] ¯ = [ Θ C * ] ¯ .

If C = M - ( a k , b k , C k ) k K is a non-trivial M-ordinal sum of copulas (i.e., we have C k M for some k K , and { ] a k , b k [ k K } { ] 0 , 1 [ } ), then we can verify our claim as follows: recall that a semicopula is a monotone function F : [ 0 , 1 ] 2 [ 0 , 1 ] with annihilator 0 and neutral element 1, and note that, as a consequence of [35, Proposition 3.70] and [45, Corollary 2.8], an M-ordinal sum M - ( a k , b k , C k ) k K of semicopulas is a copula if and only if, for each k K , C k is a copula.

Suppose C = M - ( a k , b k , C k ) k K is such an M-ordinal sum of copulas. Consider, for an arbitrary θ ] 1 , [ the function C [ θ ] ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] given by

(3.7) C [ θ ] ¯ ( x , y ) = min { M ( x , y ) , max { W ( x , y ) , C ( x , y ) + θ ( x C ( x , y ) ) ( y C ( x , y ) ) } } .

Obviously, on the set [ 0 , 1 ] 2 \ k K ] a k , b k [ 2 , in particular on the boundaries of each square [ a k , b k ] 2 , the functions C [ θ ] ¯ and M coincide, implying that there is a family ( D k ) k K of functions such that C [ θ ] ¯ = M - ( a k , b k , D k ) k K . Then, we have for each k K and for each ( x , y ) [ a k , b k ] 2 , on the one hand,

(3.8) C [ θ ] ¯ ( x , y ) = min x , y , max x + y 1 , 0 , a k + ( b k a k ) C k x a k b k a k , y a k b k a k + θ x a k ( b k a k ) C k x a k b k a k , y a k b k a k y a k ( b k a k ) C k x a k b k a k , y a k b k a k ,

and, on the other hand,

C [ θ ] ¯ ( x , y ) = a k + ( b k a k ) D k x a k b k a k , y a k b k a k ,

the latter being equivalent to

D k ( x , y ) = 1 b k a k ( C [ θ ] ¯ ( a k + ( b k a k ) x , a k + ( b k a k ) y ) a k ) .

Since C [ θ ] ¯ is a copula for each θ [ 0 , 1 ] , it suffices to consider only the case of θ ] 1 , [ . The inequality θ > 1 implies C [ θ ] ¯ C W because of (3.7), which means that C [ θ ] ¯ = M ( C [ θ ] W ) = M C [ θ ] . Using (3.8), we obtain for each k K and for each ( x , y ) [ a k , b k ] 2

D k ( x , y ) = 1 b k a k ( min { a k + ( b k a k ) x , a k + ( b k a k ) y , a k + ( b k a k ) C k ( x , y ) + θ ( a k + ( b k a k ) x a k ( b k a k ) C k ( x , y ) ) ( a k + ( b k a k ) y a k ( b k a k ) C k ( x , y ) ) } a k ) = min { x , y , C k ( x , y ) + θ ( b k a k ) ( x C k ( x , y ) ) ( y C k ( x , y ) ) } = ( C k ) [ θ ( b k a k ) ] ¯ .

Since C [ θ ] ¯ is a copula if and only if each D k is a copula, our claim (3.6) readily follows.□

Remark 3.5

Theorem 3.4 provides an insight on the non-negative part of [ Θ C k ] ¯ . Note that the function C [ θ ] ¯ is still expressed by formula (3.7) and coincides with M on the set S in case of θ < 0 . However, in general, there is no family ( D k ) k K of copulas such that C [ θ ] ¯ = M - ( a k , b k , D k ) k K . Indeed, the inequality θ < 0 implies M C C [ θ ] (see also Remark 2.8) and, subsequently, C [ θ ] ¯ = C [ θ ] W . Now, consider some k K and some x 0 ] a k , b k [ such that C ( x 0 , x 0 ) > a k and C ( x 0 , x 0 ) M ( x 0 , x 0 ) . Then, for all θ < 0 ,

C [ θ ] ( x 0 , x 0 ) = C ( x 0 , x 0 ) + θ ( M ( x 0 , x 0 ) C ( x 0 , x 0 ) ) 2 < C ( x 0 , x 0 ) ,

i.e., C [ θ ] ( x 0 , x 0 ) ] , C ( x 0 , x 0 ) [ . If, e.g., in addition W ( x 0 , x 0 ) < a k , we obtain for a sufficiently negative θ * < 0 , C [ θ * ] ¯ ( a k , a k ) = C [ θ * ] ( a k , a k ) = a k > W ( x 0 , x 0 ) = C [ θ * ] ¯ ( x 0 , x 0 ) , implying that C [ θ * ] ¯ is not increasing and, therefore, neither a semicopula nor a copula (see also Example 3.6 for a family of copulas whose [ θ ] -transform and truncation lead to a violation of the Lipschitz property in case of θ < 0 ).

From Proposition 2.10 and [71, Example 3.11], we know that [ Θ M ] ¯ = R , [ Θ Π ] ¯ = [ 1 , 1 ] , and [ Θ W ] ¯ = ] , 1 ] [ 2 , [ , showing that, for a given copula C , the corresponding parameter set [ Θ C ] ¯ may contain negative values or may not be a connected subset of R .

Here is an example of a family of copulas ( D ε ) ε ] 0 , 1 [ where, for each ε ] 0 , 1 [ , the parameter set [ Θ D ε ] ¯ is a disconnected (i.e., non-convex) set, namely, the union of two disjoint subintervals of [ 0 , [ .

Example 3.6

Consider the family of M-ordinal sums ( M - ( 0 , ε , W ) ) ε ] 0 , 1 [ and write D ε = M - ( 0 , ε , W ) for the sake of brevity. Then, we claim:

  1. For the set of all parameters θ turning ( D ε ) [ θ ] and ( D ε ) [ θ ] ¯ into copulas, we have for each ε ] 0 , 1 [ ,

    (3.9) [ Θ ( D ε ) [ θ ] ] = 0 , 1 ε and [ Θ ( D ε ) [ θ ] ] ¯ = 0 , 1 ε 2 ε , .

  2. For each ε ] 0 , 1 [ and each θ 0 , 1 ε 2 ε , , the copula ( D ε ) [ θ ] ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] is given by

    (3.10) ( D ε ) [ θ ] ¯ ( x , y ) = ( D ε ) [ θ ] ( x , y ) , if θ 0 , 1 ε , M - 0 , 1 θ , Π , ε 1 θ , ε , Π , if θ 2 ε , .

In order to verify claim (i), note first that, in the family ( D ε ) ε ] 0 , 1 [ , each copula D ε : [ 0 , 1 ] 2 [ 0 , 1 ] is given by

(3.11) D ε ( x , y ) = 0 , if x + y ε , x + y ε , if max { x , y } ε < x + y , M ( x , y ) , otherwise,

and, in the family of the [ θ ] -transforms of D ε , each function ( D ε ) [ θ ] : [ 0 , 1 ] 2 R is given by

(3.12) ( D ε ) [ θ ] ( x , y ) = θ x y , if x + y ε , x + y ε + θ ( ε x ) ( ε y ) , if max { x , y } ε < x + y , M ( x , y ) , otherwise.

From Corollary 3.2, we know that ( D ε ) [ θ ] is a copula if and only if θ ε [ Θ W ] . Since [ Θ W ] = [ 0 , 1 ] (Proposition 2.10), it follows that for each ε ] 0 , 1 [ , we obtain the first equality in claim (i), namely, [ Θ ( D ε ) ] = 0 , 1 ε .

Note also that, using a simple computation, we can show that ( D ε ) [ θ ] = M - ( 0 , ε , θ ε Π + ( 1 θ . ε ) W ) , i.e., ( D ε ) [ θ ] is an M-ordinal sum with one summand only, which is a convex combination of Π and W . In the family of truncated [ θ ] -transforms, each function ( D ε ) [ θ ] ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] is, according to (2.2) in Definition 2.3, given by ( D ε ) [ θ ] ¯ = ( W ( D ε ) [ θ ] ) M .

To verify (3.9) for [ Θ ( D ε ) [ θ ] ] ¯ , fix some ε ] 0 , 1 [ . We will check the two possible cases separately, when θ is non-negative and when θ is negative.

If θ [ 0 , [ , then Corollary 3.2 and Theorem 3.4 tell us that the function ( D ε ) [ θ ] ¯ is a copula if and only if θ 0 , 1 ε 2 ε , .

Conversely, assume that θ < 0 and take into account ( D ε ) [ θ ] ¯ ( ε , ε ) = ε > 0 . Then, we claim that there exists some x 0 [ 0 , ε [ such that the restriction of the diagonal section δ ( D ε ) [ θ ] ¯ of ( D ε ) [ θ ] ¯ to the interval [ x 0 , ε [ satisfies δ ( D ε ) [ θ ] ¯ ( x 0 ) > 0 and is monotone and continuous, implying that, for each x ] x 0 , ε [ , we have δ ( D ε ) [ θ ] ¯ ( x ) > 0 .

Indeed, for each x [ x 0 , ε ] , we obtain δ ( D ε ) [ θ ] ¯ ( x ) = 2 x ε + θ ( ε x ) 2 . Because of θ < 0 , the slope of the diagonal section δ ( D ε ) [ θ ] ¯ is greater than 2 on the interval ] x 0 , ε [ (see Figure 3 for θ = 3 ), showing that the function ( D ε ) [ θ ] ¯ cannot be 1-Lipschitz (see, e.g., [40]) in this case. Summarizing both cases, our claim (i) is verified.

Now, let us use the just proven claim (i) to have a closer look at the family of truncated [ θ ] -transforms

( ( D ε ) [ θ ] ¯ ) ( ε , θ ) ] 0 , 1 [ × 0 , 1 ε 2 ε ,

and to identify the exact form of the copulas ( D ε ) [ θ ] ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] in this family. Taking into account (3.9), we will show that (3.10) holds, i.e., whenever θ 2 ε , then ( D ε ) [ θ ] ¯ is an M-ordinal sum with two summands: the copula Π together with the two disjoint intervals 0 , 1 θ and ε 1 θ , ε , respectively.

Note that for θ 2 ε , , we have 1 θ 0 , ε 2 and 1 θ ε 1 θ . Moreover, for any ( x , y ) with x + y ε ,

( D ε ) [ θ ] ( x , y ) = θ x y = θ min { x , y } max { x , y } min { x , y } max { x , y } 1 θ ,

showing that ( D ε ) [ θ ] ¯ ( x , y ) = M ( x , y ) for all ( x , y ) [ 0 , 1 ] 2 \ 0 , 1 θ 2 satisfying x + y ε .

Next, consider some y ε 2 , ε and choose x ε y , min { y , ε 1 θ } . In this case, x = min { x , y } , and we have

( D ε ) [ θ ] ( x , y ) = x + y ε θ ( ε x ) ( ε y ) min { x , y } θ ( ε x ) 1 ε x 1 θ .

Since x ε y , min { y , ε 1 θ } , also ε x max { ε y , 1 θ } , y , and ( D ε ) [ θ ] M follows. Using analogous arguments, one can verify that for all x ε 2 , ε and y ε x , min { x , ε 1 θ } , we have ( D ε ) [ θ ] ( x , y ) M ( x , y ) , implying that ( D ε ) [ θ ] ¯ ( x , y ) = M ( x , y ) for all ( x , y ) [ 0 , 1 ] 2 \ ε 1 θ , 1 θ 2 satisfying max { x , y } ε < x + y .

Finally, a simple computation verifies that indeed, ( D ε ) [ θ ] ¯ ( x , y ) = ( D ε ) [ θ ] ( x , y ) = θ x y for ( x , y ) 0 , 1 θ 2 , and ( D ε ) [ θ ] ¯ ( x , y ) = ( D ε ) [ θ ] ( x , y ) = x + y ε + θ ( ε x ) ( ε y ) for ( x , y ) ε 1 θ , ε 2 , i.e., also claim (ii) in this Example 3.6 holds.

Figure 3 
               Diagonal sections of the M-ordinal sum 
                     
                        
                        
                           
                              
                                 D
                              
                              
                                 0.8
                              
                           
                           =
                           M
                           
                              
                              -
                              
                           
                           
                              (
                              
                                 
                                    ⟨
                                    
                                       0
                                       ,
                                       0.8
                                       ,
                                       W
                                    
                                    ⟩
                                 
                              
                              )
                           
                        
                        {D}_{0.8}=M\hspace{0.1em}\text{-}\hspace{0.1em}(\langle 0,0.8,W\rangle )
                     
                   (blue), of its 
                     
                        
                        
                           
                              [
                              
                                 ‒
                                 3
                              
                              ]
                           
                        
                        \left[&#x2012;3]
                     
                  -transform 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             D
                                          
                                          
                                             0.8
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 
                                    [
                                    
                                       ‒
                                       3
                                    
                                    ]
                                 
                              
                           
                        
                        {\left({D}_{0.8})}_{\left[&#x2012;3]}
                     
                   (orange) and of the truncation of its 
                     
                        
                        
                           
                              [
                              
                                 ‒
                                 3
                              
                              ]
                           
                        
                        \left[&#x2012;3]
                     
                  -transformation 
                     
                        
                        
                           
                                                               
                                 
                                    
                                       
                                          (
                                          
                                             
                                                
                                                   D
                                                
                                                
                                                   0.8
                                                
                                             
                                          
                                          )
                                       
                                    
                                    
                                       
                                          [
                                          
                                             ‒
                                             3
                                          
                                          ]
                                       
                                    
                                 
                              
                              
                                 ¯
                              
                           
                        
                        \overline{\hspace{-1em}{\left({D}_{0.8})}_{\left[&#x2012;3]}}
                     
                   (magenta) as considered in Example 3.6. The slope of the gray dotted line segment equals 2.
Figure 3

Diagonal sections of the M-ordinal sum D 0.8 = M - ( 0 , 0.8 , W ) (blue), of its [ 3 ] -transform ( D 0.8 ) [ 3 ] (orange) and of the truncation of its [ 3 ] -transformation ( D 0.8 ) [ 3 ] ¯ (magenta) as considered in Example 3.6. The slope of the gray dotted line segment equals 2.

Coming back to arbitrary M-ordinal sum of copulas, it is straightforward that the x -and y -flipping of an M-ordinal sum of copulas ( M - ( a k , b k , C k ) k K ) coincide with an appropriate W-ordinal sum of the flipped copulas, i.e.,

(3.13) ( M - ( a k , b k , C k ) k K ) x flip = W - ( 1 b k , 1 a k , ( C k ) x flip ) k K , ( M - ( a k , b k , C k ) k K ) y flip = W - ( a k , b k , ( C k ) y flip ) k K ,

and vice versa.

Using (3.13) and the commutativity (2.3) with regard to the functions C ( θ ) and C [ θ ] given in Definition 2.7, we can formulate the following result.

Proposition 3.7

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas. Let W - ( a k , b k , C k ) k K be the W-ordinal sum of copulas as given in (2.6). Then for each θ R , we have

(3.14) ( W - ( a k , b k , C k ) k K ) ( θ ) = W - ( a k , b k , ( C k ) ( θ ( b k a k ) ) ) k K .

Proof

For an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas, we have (using again, as given in (3.2), the notation θ ˆ k = θ ( b k a k ) )

( W - ( a k , b k , C k ) k K ) ( θ ) = ( ( M - ( 1 b k , 1 a k , ( C k ) x flip ) k K ) x flip ) ( θ ) = ( ( M - ( 1 b k , 1 a k , ( C k ) x flip ) k K ) [ θ ] ) x flip = ( M - ( 1 b k , 1 a k , ( ( C k ) x flip ) [ θ ˆ k ] ) k K ) x flip = W - ( a k , b k , ( ( ( C k ) x flip ) [ θ ˆ k ] ) x flip ) k K = W - ( a k , b k , ( C k ) ( θ k ˆ ) ) k K = W - ( a k , b k , ( C k ) ( θ ( b k a k ) ) ) k K ,

showing that (3.14) holds.□

In complete analogy to the previous results on M-ordinal sums, we can verify the following assertions:

Corollary 3.8

Let ( ] a k , b k [ ) k K be a family of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and ( C k ) k K an arbitrary family of copulas with corresponding sets ( Θ C k ) = { θ R ( C k ) ( θ ) C } , as given in Definition 2.9, and consider the W-ordinal sum C = W - ( a k , b k , C k ) k K , as given in (2.6). Then, we have

  1. The function ( W - ( a k , b k , C k ) k K ) ( θ ) is a copula for θ R if and only if θ ( b k a k ) ( Θ C k ) for all k K .

  2. If, for each k K , ( Θ C k ) is a compact subinterval of R , i.e., ( Θ C k ) = [ α k , β k ] [ 1 , 0 ] for some ( α k , β k ) R 2 , then

    ( Θ C ) = sup α k b k a k k K , inf β k b k a k k K .

Remark 3.9

If C = W - ( a k , b k , C k ) k K , then, using (3.13) and (2.3), we can, in analogy to Theorem 3.4 and Example 3.6, obtain similar results for the set ( Θ C ) ¯ .

We have, so far, discussed the [ θ ] -transform of M-ordinal sums of copulas and the ( θ ) -transform of W-ordinal sums of copulas, which are mutually related to each other by x - and y -flipping as described in (2.3), on the one hand, and the relationship between the parameters θ (compare also [71, Lemma 3.9]), on the other hand.

We will now turn to the ( θ ) -transform of an M-ordinal sum of copulas, which in turn is related to the [ θ ] -transform of some corresponding W-ordinal sum of copulas in the same way.

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas. Let us use, as in the proof of Proposition 3.1, the abbreviation C M for the M-ordinal sum of copulas as given in (2.6), i.e., C M = M - ( a k , b k , C k ) k K . And in analogy to the notations used in [71, Remark 3.6], we define Δ C M = { x ] 0 , 1 [ C M ( x , x ) = x } .

Note that whenever Δ C M = , { ] a k , b k [ k K } = { ] 0 , 1 [ } , i.e., C M has only a single summand with no non-trivial idempotent element. In the sequel, we shall therefore focus on the case of Δ C M only.

Following [71, Corollary 3.5 and Remark 3.6], we immediately obtain the following necessary condition for θ ( Θ C M ) .

Corollary 3.10

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas, and assume that { ] a k , b k [ k K } { ] 0 , 1 [ } . Let C M be the M-ordinal sum of copulas M - ( a k , b k , C k ) k K . If, for some θ R , also ( C M ) ( θ ) is a copula, then

max 1 sup Δ C M , 1 1 inf Δ C M θ 0 .

In particular, for sup Δ C M = 1 or inf Δ C M = 0 , we have ( Θ C M ) = [ 1 , 0 ] .

Note that the case sup Δ C = 1 or inf Δ C = 0 corresponds, e.g., to the situation where C is an M-ordinal sum with infinitely many summands such that 0 or 1 are accumulation points of the boundaries of the corresponding intervals or where C can be expressed as an M-ordinal sum M- a * , b * , C 1 with b * < 1 or a * > 0 and some copula C 1 .

In complete analogy and by following [71, Corollary 3.12] and [71, Remark 3.13] we can state the following analogous result for W-ordinal sums.

Corollary 3.11

Consider an arbitrary family ( ] a k , b k [ ) k K of non-empty, pairwise disjoint open subintervals of [ 0 , 1 ] and an arbitrary family ( C k ) k K of copulas and assume that { ] a k , b k [ k K } { ] 0 , 1 [ } . Let C W be the W-ordinal sum of copulas as given in (2.6), i.e., C W = W - ( a k , b k , C k ) k K , and put Ω C W = { x ] 0 , 1 [ C W ( x , 1 x ) = 0 } . If, for some θ R , also ( C W ) [ θ ] is a copula, then

0 θ min 1 sup Ω C W , 1 1 inf Ω C W .

In particular, for sup Ω C W = 1 or inf Ω C W = 0 , the set [ Θ C W ] is minimal, i.e., [ Θ C W ] = [ 0 , 1 ] .

Example 3.12

For each pair ( a , b ) [ 0 , 1 ] 2 satisfying 0 < a < b < 1 and for the M-ordinal sum C a , b = M - ( a , b , W ) , we have

(3.15) [ 1 , 0 ] ( Θ C a , b ) ¯ ] , 0 ] b a 2 a ( 1 b ) , .

Due to Corollary 3.10 and Proposition 2.10(i), we know that ( Θ C a , b ) = [ 1 , 0 ] ( Θ C a , b ) ¯ .

If θ 0 , then for each ( x , y ) [ 0 , 1 ] 2 \ ] a , b [ 2 (shown in cyan on the right-hand side of Figure 4), we obtain ( C a , b ) ( θ ) ( x , y ) M ( x , y ) , implying that ( C a , b ) ( θ ) ¯ must be an M-ordinal sum: ( C a , b ) ( θ ) ¯ = M - a , b , F for some function F F . For ( x , y ) ] a , b [ 2 with x + y a + b (yellow triangle on the right-hand side of Figure 4), the ( θ ) -transform ( C a , b ) ( θ ) may not be monotone. In order to obtain a copula, the restrictions of ( C a , b ) ( θ ) ¯ and of M to this yellow triangle must coincide, which in turn implies that necessarily θ b a 2 a ( 1 b ) . Note that for any such θ b a 2 a ( 1 b ) , we obtain that ( C a , b ) ( θ ) ( x , y ) M ( x , y ) for ( x , y ) ] a , b [ 2 with x + y > a + b (gray triangle on the right-hand side of Figure 4) such that also in this case ( C a , b ) ( θ ) ¯ = M from which our claim (3.15) follows.

Figure 4 
               Structure of the M-ordinal sum 
                     
                        
                        
                           
                              
                                 C
                              
                              
                                 a
                                 ,
                                 b
                              
                           
                           =
                           M
                           
                              
                              -
                              
                           
                           
                              (
                              
                                 
                                    ⟨
                                    
                                       a
                                       ,
                                       b
                                       ,
                                       W
                                    
                                    ⟩
                                 
                              
                              )
                           
                        
                        {C}_{a,b}=M\hspace{0.1em}\text{-}\hspace{0.1em}\left(\langle a,b,W\rangle )
                     
                   (left) and its 
                     
                        
                        
                           
                              (
                              
                                 θ
                              
                              )
                           
                        
                        \left(\theta )
                     
                  -transform 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             C
                                          
                                          
                                             a
                                             ,
                                             b
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 
                                    (
                                    
                                       θ
                                    
                                    )
                                 
                              
                           
                        
                        {\left({C}_{a,b})}_{\left(\theta )}
                     
                   (right) as considered in Example 3.12.
Figure 4

Structure of the M-ordinal sum C a , b = M - ( a , b , W ) (left) and its ( θ ) -transform ( C a , b ) ( θ ) (right) as considered in Example 3.12.

Example 3.13

(Continuation of Example 3.6) Consider again the family of M-ordinal sums ( M - ( 0 , ε , W ) ) ε ] 0 , 1 [ , writing briefly D ε = M - ( 0 , ε , W ) . Then, for each ε ] 0 , 1 [ , we obtain

(3.16) [ 1 , 0 ] ( Θ D ε ) ¯ ] , 0 ] .

For each ε ] 0 , 1 [ , the copula D ε is given in (3.11) and each function ( D ε ) ( θ ) can be computed by (compare also Figure 4)

(3.17) ( D ε ) ( θ ) ( x , y ) = 0 , if x + y ε , ( x + y ε ) + θ ( 1 ε ) ( x + y ε ) , if max { x , y } < ε < x + y , min { x , y } + θ min { x , y } ( 1 max { x , y } ) , otherwise.

In particular, ( D ε ) ( θ ) coincides with W on the triangle { ( u , v ) [ 0 , ε ] 2 u + v ε } independent of θ .

For θ 0 , one readily sees that for each ( x , y ) [ 0 , 1 ] 2 \ [ 0 , ε ] 2 , we have ( D ε ) ( θ ) ( x , y ) M ( x , y ) and also ( D ε ) ( θ ) ( x , ε ) = ( D ε ) ( θ ) ( ε , x ) M ( x , ε ) for all x [ 0 , ε ] , such that ( D ε ) ( θ ) ¯ = M for all ( x , y ) [ 0 , 1 ] 2 \ ] 0 , ε [ 2 .

From ( D ε ) ( θ ) ( x , x ) = ( 2 x ε ) [ 1 + θ ε ( 1 ε ) ] for all x ε 2 , ε , it follows that the diagonal section of ( D ε ) ( θ ) is linear in x and its slope 2 + 2 θ ε ( 1 ε ) exceeds 2 (thus violating the 1-Lipschitz property) whenever θ > 0 . Since for each C C we have [ 1 , 0 ] ( Θ C ) ¯ because of Proposition 2.10(i), our claim (3.16) follows.

If the summand W is moved from the lower-left corner of the unit square (as in Examples 3.6 and 3.13) to the upper-right corner of [ 0 , 1 ] 2 , we have the following situation:

Example 3.14

For each ε ] 0 , 1 [ and for the M-ordinal sum G ε = M - ( ε , 1 , W ) we have

(3.18) [ 1 , 0 ] ( Θ G ε ) ¯ ] , 0 ] .

Fix an ε ] 0 , 1 [ , then ( G ε ) ( θ ) is given by (compare also Figure 4)

( G ε ) ( θ ) ( x , y ) = x + y 1 , if ( x , y ) [ ε , 1 ] 2 and x + y 1 + ε , ε + θ ε ( ε x y + 1 ) , if ( x , y ) [ ε , 1 ] 2 and x + y < 1 + ε , min { x , y } + θ min { x , y } ( 1 max { x , y } ) , otherwise,

and coincides with W on { ( u , v ) ] ε , 1 [ 2 u + v ε + 1 } independent of θ .

For θ 0 , one readily sees that for each ( x , y ) [ 0 , 1 ] 2 \ [ ε , 1 ] 2 , we have ( G ε ) ( θ ) ( x , y ) M ( x , y ) , and in particular G ε ( ε , ε ) = ε + θ ε ( 1 ε ) ε , whereas G ε ( x , 1 + ε x ) = ε for all x [ ε , 1 ] independent of θ . As a consequence, after truncation and for guaranteeing monotonicity, i.e., ( G ε ) ( θ ) ¯ C , we necessarily obtain ( G ε ) ( θ ) ¯ = G ε , i.e., θ = 0 . Since [ 1 , 0 ] ( Θ C ) ¯ for each C C because of Proposition 2.10(i), our claim (3.18) follows.

4 Π -ordinal sums of transformed copulas

Having discussed M- and W-ordinal sums of transformed copulas in Section 3, we now turn to Π -ordinal sums. The main results will be concerned with the sets of parameters turning Π -ordinal sums of transforms of basic copulas (i.e., from { W , Π , M } ) into copulas (Theorem 4.5). Note that, different to the M- and W-ordinal sums discussed before, the position of the intervals ] a k , b k [ rather than their length b k a k will be influential on whether the Π -ordinal sums mentioned earlier are copulas or not.

When considering a Π -ordinal sum of copulas as introduced in (2.6), it is obvious that we can fill the “gaps” between the summands of this Π -ordinal sum by open subintervals of [ 0 , 1 ] equipped with the independence copula Π (this does not change the Π -ordinal sum under consideration since the independence copula Π is invariant under the transformation used in the definition of Π -ordinal sum in (2.6)). We will focus on finitely many summands, though some of the results presented here could be generalized for a general case, too (Remark 4.6).

Therefore, in this section, we will work, for n N , with Π -ordinal sums

(4.1) Π - ( b k 1 , b k , C k ) k = 1 n = Π - ( b 0 , b 1 , C 1 , b 1 , b 2 , C 2 , , b n 1 , b n , C n )

of n copulas C 1 , C 2 , …, C n , where the n + 1 boundary points b 0 , b 1 , b 2 , …, b n 1 , b n form a strictly increasing chain in [ 0 , 1 ] with 0 and 1 as smallest and greatest elements, i.e., 0 = b 0 < b 1 < b 2 < < b n 1 < b n = 1 (note that we may have C k = Π for one or more k { 1 , 2 , , n } ). In this way, we obtain n vertical stripes S k = [ b k 1 , b k ] × [ 0 , 1 ] , where k { 1 , 2 , , n } . Obviously, we have S 1 S 2 S n 1 S n = [ 0 , 1 ] 2 , but two adjacent stripes S k and S k + 1 always have a non-empty intersection (consisting of the vertical line segment being both the right boundary of S k and the left boundary of S k + 1 ).

Starting with a Π -ordinal sum C = Π - ( b k 1 , b k , C k ) k = 1 n as given in (4.1), we now investigate the transforms C ( θ ) , C [ θ ] : [ 0 , 1 ] 2 R , as introduced in Definition 2.7, in order to find out for which parameters θ R , we again obtain copulas. Note that, whenever C = Π - ( b k 1 , b k , C k ) k = 1 n is such a Π -ordinal sum, the two transforms C ( θ ) and C [ θ ] preserve the vertical stripe structure of the Π -ordinal sum C and that both C ( θ ) and C [ θ ] satisfy the boundary condition [C1].

As a consequence, in order to show that C ( θ ) and C [ θ ] are copulas, it suffices to verify that these functions are 2-increasing, i.e., that the C ( θ ) - and the C [ θ ] -volume of each rectangle R = [ u , u + γ ] × [ v , v + δ ] [ 0 , 1 ] 2 with γ , δ > 0 is non-negative. Since each such rectangle R can be decomposed into rectangles of the form R k = R S k , the proof of the non-negativity of the C ( θ ) - and the C [ θ ] -volume of all such sub-rectangles of S k implies that C ( θ ) and C [ θ ] are 2-increasing on the stripe S k .

To formalize our first results of this section (in particular, those in Lemma 4.1 and in Propositions 4.2 and 4.3), let us introduce for a Π -ordinal sum C = Π - ( b k 1 , b k , C k ) k = 1 n as in (4.1), and for k { 1 , 2 , , n } , the following shortcuts for the restrictions of C ( θ ) and C [ θ ] , respectively, to the stripe S k = [ b k 1 , b k ] × [ 0 , 1 ] , i.e., we define the functions C ( θ ) k , C [ θ ] k : S k R by

(4.2) C ( θ ) k = ( C ( θ ) ) S k and C [ θ ] k = ( C [ θ ] ) S k .

Lemma 4.1

Let C = Π - ( b k 1 , b k , C k ) k = 1 n be a Π -ordinal sum of copulas as in (4.1) and, for k { 1 , 2 , , n } , the restrictions C ( θ ) k , C [ θ ] k : S k R of the transforms C ( θ ) and C [ θ ] to the stripe S k , as given by (4.2). Then, we have

  1. The function C ( θ ) is a copula if and only if, for each k { 1 , 2 , , n } , the function C ( θ ) k is 2-increasing.

  2. The function C [ θ ] is a copula if and only if, for each k { 1 , 2 , , n } , the function C [ θ ] k is 2-increasing.

Recall the sets ( Θ C ) and [ Θ C ] , as given in (2.10)–(2.11), i.e., the parameter sets where the functions C ( θ ) and C [ θ ] , respectively, turn out to be copulas. If the copula C under consideration is a Π -ordinal sum as given in (4.1), then the following general characterization of the parameter sets ( Θ C ) and [ Θ C ] is an immediate consequence of Lemma 4.1.

Proposition 4.2

Let C = Π - ( b k 1 , b k , C k ) k = 1 n be a Π -ordinal sum of copulas as in (4.1) and, for k { 1 , 2 , , n } , the restrictions C ( θ ) k , C [ θ ] k : S k R of the transforms C ( θ ) and C [ θ ] to the stripe S k , as given by (4.2). Putting

( Θ C k ) = { θ R C ( θ ) k is 2 - increasing } and [ Θ C k ] = { θ R C [ θ ] k is 2 - increasing } ,

we obtain for the parameter sets ( Θ C ) and [ Θ C ]

( Θ C ) = k = 1 n ( Θ C k ) and [ Θ C ] = k = 1 n [ Θ C k ] .

Let us now investigate the function C ( θ ) : [ 0 , 1 ] 2 R given in Definition 2.7, where C = Π - ( b k 1 , b k , C k ) k = 1 n is a Π -ordinal sum of copulas having at least one summand from the set { W , Π , M } of the three basic copulas.

Proposition 4.3

Let C = Π - ( b k 1 , b k , C k ) k = 1 n be a Π -ordinal sum of copulas as given in (4.1) and, for some k * { 1 , 2 , , n } , the corresponding summand b k * 1 , b k * , C k * of C. For the restriction C ( θ ) k * : S k * R of the function C ( θ ) to the stripe S k * given in (4.2), we obtain (using the conventions 1 0 = and 1 0 = ):

  1. If C k * = Π , then the function

    (4.3) C ( θ ) k * i s 2 - i n c r e a s i n g θ min 1 2 b k * 1 1 , 1 2 b k * 1 .

  2. If C k * = M , then the function

    (4.4) C ( θ ) k * i s 2 - i n c r e a s i n g θ max 1 b k * , 1 1 b k * 1 , 0 .

  3. If C k * = W , then the function

    C ( θ ) k * i s 2- i n c r e a s i n g θ R , if n = 1 , max 1 b k * 1 , 1 1 b k * , 0 , if n > 1 .

Figure 5 
               
                  
                     
                        
                        
                           Π
                        
                        \Pi 
                     
                  -ordinal sums having 
                     
                        
                        
                           
                              ⟨
                              
                                 
                                    
                                       b
                                    
                                    
                                       
                                          
                                             k
                                          
                                          
                                             *
                                          
                                       
                                       ‒
                                       1
                                    
                                 
                                 ,
                                 
                                    
                                       b
                                    
                                    
                                       
                                          
                                             k
                                          
                                          
                                             *
                                          
                                       
                                    
                                 
                                 ,
                                 M
                              
                              ⟩
                           
                        
                        \langle {b}_{{k}^{* }&#x2012;1},{b}_{{k}^{* }},M\rangle 
                     
                   (left, see Proposition 4.3(ii) and Corollary 4.4(ii)) and 
                     
                        
                        
                           
                              ⟨
                              
                                 
                                    
                                       b
                                    
                                    
                                       
                                          
                                             k
                                          
                                          
                                             *
                                          
                                       
                                       ‒
                                       1
                                    
                                 
                                 ,
                                 
                                    
                                       b
                                    
                                    
                                       
                                          
                                             k
                                          
                                          
                                             *
                                          
                                       
                                    
                                 
                                 ,
                                 W
                              
                              ⟩
                           
                        
                        \langle {b}_{{k}^{* }&#x2012;1},{b}_{{k}^{* }},W\rangle 
                     
                   (right, see Proposition 4.3(iii) and Corollary 4.4(iii)) as summands.
Figure 5

Π -ordinal sums having b k * 1 , b k * , M (left, see Proposition 4.3(ii) and Corollary 4.4(ii)) and b k * 1 , b k * , W (right, see Proposition 4.3(iii) and Corollary 4.4(iii)) as summands.

Proof

In the case n = 1 , the Π -ordinal sum C has only one summand 0 , 1 , C 1 , implying C = C 1 . If C 1 { Π , M , W } , then Proposition 2.10(iii) tells us that

C ( θ ) is 2-increasing θ [ 1 , 1 ] , if C 1 = Π , [ 1 , 0 ] , if C 1 = M , R , if C 1 = W ,

i.e., (i)–(iii) hold for n = 1 . For the rest of the proof, assume n 2 , in which case we obtain

  1. If C k * = Π for some k * { 1 , 2 , , n } , then we obtain C ( θ ) k * ( x , y ) = x y + θ x y ( 1 x ) ( 1 y ) for all ( x , y ) S k * and all θ R , i.e., C ( θ ) k * is absolutely continuous. Then, C ( θ ) k * is 2-increasing if and only if

    d θ k * ( x , y ) = 2 C ( θ ) k * x y ( x , y ) = 1 + θ ( 2 x 1 ) ( 2 y 1 ) 0 ,

    for all ( x , y ) S k * . Observe that then ( 2 x 1 ) ( 2 y 1 ) [ m , m ] , where m = max { 2 b k * 1 1 , 2 b k * 1 } . For θ 0 , this means d θ k * ( x , y ) [ 1 θ m , 1 + θ m ] , implying θ 0 , 1 m . On the other hand, if θ < 0 , then we obtain d θ k * ( x , y ) [ 1 + θ m , 1 θ m ] and, subsequently, θ 1 m , 0 . As a consequence, C ( θ ) k * is 2-increasing if and only if (4.3) is true, i.e., we have verified assertion (i).

  2. If C k * = M for some k * { 1 , 2 , , n } , consider the upper-left triangle A 1 M in S k * (which is determined by the three points ( b k * 1 , 0 ) , ( b k * 1 , 1 ) and ( b k * , 1 ) ) and the lower-right triangle A 2 M in S k * determined by the points ( b k * 1 , 0 ) , ( b k * , 0 ) , and ( b k * , 1 ) (Figure 5 left), and one obtains the function C k * : S k * [ 0 , 1 ] as follows:

    C k * ( x , y ) = x b k * 1 ( 1 y ) , if ( x , y ) A 1 M , b k * y , if ( x , y ) A 2 M .

    Using basic calculations, for each θ R , the function C ( θ ) k * : S k * [ 0 , 1 ] is given by

    C ( θ ) k * ( x , y ) = ( x b k * 1 ( 1 y ) ) ( 1 + θ ( 1 b k * 1 ) ( 1 y ) ) , if ( x , y ) A 1 M , b k * y ( 1 θ ( y ( 1 b k * ) ( 1 x ) ) ) , if ( x , y ) A 2 M .

    Since C ( θ ) k * is absolutely continuous on int ( A 1 M ) int ( A 2 M ) (where int ( A ) denotes the interior of A [ 0 , 1 ] 2 ), C ( θ ) k * is 2-increasing on int ( A 1 M ) int ( A 2 M ) if and only if its density

    2 C ( θ ) k * x y ( x , y ) = ( b k * 1 1 ) θ , if ( x , y ) int ( A 1 M ) , b k * θ , if ( x , y ) int ( A 2 M ) ,

    is non-negative, i.e., if and only if

    (4.5) θ ] , 0 ] .

    In particular, this means that, for each rectangle R satisfying R A 1 M or R A 2 M , the corresponding C ( θ ) k * -volume of R is non-negative whenever (4.5) holds.

  • In order to verify that the function C ( θ ) k * is 2-increasing on the whole stripe S k * recall that each rectangle R = [ u , u + γ ] × [ v , v + δ ] S k * with γ , δ > 0 can be decomposed into several sub-rectangles, each of which is either a subset of A 1 M or A 2 M (having a non-negative C ( θ ) k * -volume for θ 0 as shown above), or has a diagonal section, which is a subset of the main diagonal of S k * , i.e., of the line segment connecting the two points ( b k * 1 , 0 ) and ( b k * , 1 ) .

  • Fix a rectangle R = [ u , u + γ ] × [ v , v + δ ] S k * with γ , δ > 0 , and assume that its main diagonal section (connecting the points ( u , v ) and ( u + γ , v + δ ) ) is a subset of the main diagonal of S k * . Taking into account that for each point ( x , y ) on the diagonal section of R , we have x = b k * 1 + ( b k * b k * 1 ) y , a simple computation yields the condition

    (4.6) V C ( θ ) k * ( R ) = δ ( b k * b k * 1 ) ( 1 + θ ( ( 1 b k * 1 ) ( 1 v δ ) + b k * v ) ) 0 ,

    which must hold for all v [ 0 , 1 [ and all δ ] 0 , 1 v ] . Since δ ( b k * b k * 1 ) > 0 , condition (4.6) is equivalent to 1 + θ ( ( 1 b k * 1 ) ( 1 v δ + b k * v ) ) 0 , which may be rewritten as

    (4.7) 1 + θ ( v ( b k * 1 + b k * 1 ) + ( 1 b k * 1 ) ( 1 δ ) ) 0 .

    In order to check that this inequality holds for all v [ 0 , 1 [ and all δ ] 0 , 1 v ] , note first that (4.7) is always true if v = 0 and δ = 1 (i.e., in this case, V C ( θ ) k * ( R ) 0 for all θ R ) and distinguish the remaining three cases:

  • Case 1(ii). v = 0 and δ ] 0 , 1 [ :

  • In this case, condition (4.7) is equivalent to 1 + θ ( 1 b k * 1 ) ( 1 δ ) 0 for all δ ] 0 , 1 [ , i.e., to θ 1 1 b k * 1 .

  • Case 2(ii). v ] 0 , 1 [ and δ = 1 v :

  • Now, (4.7) is equivalent to 1 + θ b k * v 0 for all v ] 0 , 1 [ , i.e., to θ 1 b k * .

  • Case 3(ii). v ] 0 , 1 [ and δ ] 0 , 1 v [ :

  • Because of 1 δ > v , the left-hand side of (4.7) is not smaller than 1 + θ b k * v , which is non-negative for all v ] 0 , 1 [ if and only if θ 1 b k * .

  • Summarizing these three cases (and taking into account (4.5)), we see that C ( θ ) k * is 2-increasing if and only if (4.4) holds, showing that assertion (ii) holds.

  • (iii) If C k * = W for some k * { 1 , 2 , , n } , consider the lower-left triangle A 1 W in S k * (which is determined by the three points ( b k * 1 , 0 ) , ( b k * 1 , 1 ) , and ( b k * , 0 ) ) and the upper-right triangle A 2 W in S k * determined by the points ( b k * 1 , 1 ) , ( b k * , 1 ) and ( b k * , 0 ) (Figure 5, right).

  • In analogy to the proof of (ii), we look at the functions C k * : S k * [ 0 , 1 ] and, for each θ R , at the functions C ( θ ) k * : S k * [ 0 , 1 ] given by, respectively,

    C k * ( x , y ) = x b k * ( 1 y ) , if ( x , y ) A 1 W , b k * 1 y , if ( x , y ) A 2 W , C ( θ ) k * ( x , y ) = b k * 1 y + θ b k * 1 y ( 1 x y ( 1 b k * 1 ) ) , if ( x , y ) A 1 W , x b k * ( 1 y ) + θ ( x b k * ( 1 y ) ) ( 1 b k * ) ( 1 y ) , if ( x , y ) A 2 W .

    The absolute continuity of C ( θ ) k * on the set int ( A 1 W ) int ( A 2 W ) implies that C ( θ ) k * is 2-increasing on the set int ( A 1 W ) int ( A 2 W ) if and only if its density

    2 C ( θ ) k * x y ( x , y ) = b k * 1 θ , if ( x , y ) int ( A 1 W ) , ( b k * 1 ) θ , if ( x , y ) int ( A 2 W ) ,

    is non-negative, i.e., if and only if θ ] , 0 ] which is the same condition as obtained in (4.5) (observe that, because of n > 1 , at least one of the properties b k * 1 > 0 and b k * < 1 holds). It follows that, for each rectangle R satisfying R A 1 W or R A 2 W , the corresponding C ( θ ) k * -volume of R is non-negative whenever θ ] , 0 ] .

  • Finally, consider an arbitrary rectangle R = [ u , u + γ ] × [ v , v + δ ] S k * with γ , δ > 0 such that the points ( u , v + δ ) and ( u + γ , v ) lie on the opposite diagonal section of S k * , i.e., on the line segment connecting the points ( b k * 1 , 1 ) and ( b k * , 0 ) . Then, the C ( θ ) k * -volume of R must be non-negative, i.e.,

    V C ( θ ) k * ( R ) = δ ( b k * b k * 1 ) ( 1 + θ ( v ( b k * 1 + b k * 1 ) + ( 1 b k * ) ( 1 δ ) ) ) 0 .

    Because of δ ( b k * b k * 1 ) > 0 , it remains to check that

    (4.8) 1 + θ ( v ( b k * 1 + b k * 1 ) + ( 1 b k * ) ( 1 δ ) ) 0 .

    If v = 0 and δ = 1 , then inequality (4.8) holds for each θ R , and we only have to verify (4.8) for the two following cases:

  • Case 1(iii). b k * 1 > 0 and b k * = 1 :

  • In this case, (4.8) is equivalent to 1 + θ b k * 1 v 0 for all v ] 0 , 1 [ , i.e., to θ 1 b k * 1 .

  • Case 2(iii). b k * < 1 :

  • From θ ] , 0 ] , it follows that (4.8) holds for arbitrary ( v , δ ) [ 0 , 1 [ × ] 0 , 1 [ if and only if for each v [ 0 , 1 [

    (4.9) 1 + θ ( ( 1 b k * ) ( 1 v ) + b k * 1 v ) 0 .

    For v = 0 , condition (4.9) reduces to 1 + θ ( 1 b k * ) 0 , i.e., to θ 1 1 b k * . If v > 0 and b k * 1 = 0 , then we obtain 1 + θ ( 1 b k * ) ( 1 v ) 0 for each v [ 0 , 1 [ , i.e., 1 + θ ( 1 b k * ) 0 , and for v > 0 and b k * 1 > 0 , condition (4.9) is equivalent to

    θ 1 1 b k * , if b k * 1 + b k * 1 , 1 b k * 1 , if b k * 1 + b k * > 1 .

    Summarizing Cases 1(iii) and 2(iii), we obtain θ max { 1 b k * 1 , 1 1 b k * } , which, together with (4.5), shows that assertion (iii) holds, too.□

Using the x -flipping of copulas given by (2.1), we can verify similar results for the function C [ θ ] : [ 0 , 1 ] 2 R obtained by the transformations given in Definition 2.7, where again C = Π - ( b k 1 , b k , C k ) k = 1 n is a Π -ordinal sum and where the copulas in the summands are taken from the three basic copulas, i.e., { C 1 , C 2 , , C n } { W , Π , M } .

Corollary 4.4

Let C = Π - ( b k 1 , b k , C k ) k = 1 n be a Π -ordinal sum of copulas as given in (4.1), and for some k * { 1 , 2 , , n } , consider the corresponding summand b k * 1 , b k * , C k * of C. Denoting by C [ θ ] k * : S k * [ 0 , 1 ] the restriction of the function C [ θ ] : [ 0 , 1 ] 2 [ 0 , 1 ] to the stripe S k * = [ b k * 1 , b k * ] × [ 0 , 1 ] , i.e., C [ θ ] k * = ( C [ θ ] ) S k * , we obtain (again using the conventions 1 0 = and 1 0 = ):

  1. If C k * = Π , then the function

    C [ θ ] k * i s 2- i n c r e a s i n g θ min 1 2 b k * 1 1 , 1 2 b k * 1 .

  2. If C k * = M , then the function

    C [ θ ] k * i s 2- i n c r e a s i n g θ R , if n = 1 , 0 , min 1 b k * 1 , 1 1 b k * , if n 2 .

  3. If C k * = W , then the function

    C [ θ ] k * i s 2- i n c r e a s i n g θ 0 , min 1 1 b k * 1 , 1 b k * .

Proof

If the Π -ordinal sum C has a summand b k * 1 , b k * , C k * , then (2.5) and (3.13) imply that the x -flipping C x flip has a summand 1 b k * , 1 b k * 1 , ( C k * ) x flip , where

( C k * ) x flip = Π , if C k * = Π , W , if C k * = M , M , if C k * = W .

Now, using (2.3) and max { 2 b k * 1 1 , 2 b k * 1 } = max { 2 ( 1 b k * ) 1 , 2 ( 1 b k * 1 ) 1 } , the assertions (i)–(iii) follow directly from Proposition 4.3.□

In Table 1, the results of Proposition 4.3 and Corollary 4.4 are summarized. To be precise, the respective sets of parameters θ R for which the two functions C ( θ ) and C [ θ ] are 2-increasing on some vertical stripe S k * = [ b k * 1 , b k * ] × [ 0 , 1 ] are given, provided the original Π -ordinal sum C = Π - ( b k 1 , b k , C k ) k = 1 n is defined as in (4.1) and the copula C k * in the corresponding summand b k * 1 , b k * , C k * equals one of the three basic copulas Π , M or W .

Table 1

Overview of the results of Proposition 4.3 and Corollary 4.4

C ( θ ) is 2-increasing on S k * if and only if C [ θ ] is 2-increasing on S k * if and only if
C k * = Π θ min { 1 2 b k * 1 1 , 1 2 b k * 1 } θ min { 1 2 b k * 1 1 , 1 2 b k * 1 }
C k * = M θ [ max { 1 b k * , 1 1 b k * 1 } , 0 ] θ R , if n = 1 [ 0 , min { 1 b k * 1 , 1 1 b k * } ] , if n 2
C k * = W θ R , if n = 1 , [ max { 1 b k * 1 , 1 1 b k * } , 0 ] , if n > 1 . θ [ 0 , min { 1 1 b k * 1 , 1 b k * } ]

If C = Π - ( b k 1 , b k , C k ) k = 1 n is a Π -ordinal sum of copulas as given in (4.1) and if all copulas C 1 , C 2 , , C n are taken from the set of basic copulas { W , Π , M } , then we can say more about the sets ( Θ C ) and [ Θ C ] and give a condition to minimize these parameter sets.

In Proposition 4.3 and Corollary 4.4, we have considered Π -ordinal sums of copulas and studied the impact of ( θ ) - and [ θ ] -transforms on summands belonging to the set of basic copulas, i.e., to { W , Π , M } . The next result provides lower and upper bounds for the parameter sets ( Θ C ) and [ Θ C ] of a Π -ordinal sum C having only basic copulas as summands. Surprisingly enough, if the “first” or the “last” summand of C equals Π , we obtain unique and particularly simple parameter sets.

Theorem 4.5

Assume n 2 and let C = Π - ( b k 1 , b k , C k ) k = 1 n be a Π -ordinal sum of copulas as given in (4.1) satisfying { C 1 , C 2 , , C n } { W , Π , M } and { C 1 , C 2 , , C n } { W , M } . Then, we have

  1. If C 1 = Π or C n = Π then necessarily ( Θ C ) = [ 1 , 0 ] and [ Θ C ] = [ 0 , 1 ] .

  2. [ 1 , 0 ] ( Θ C ) [ 2 , 0 ] .

  3. [ 0 , 1 ] [ Θ C ] [ 0 , 2 ] .

Table 2

Proof of Theorem 4.5(ii) and (iii)

C ( θ ) is 2-increasing on S 1 if and only if C [ θ ] is 2-increasing on S 1 if and only if
C 1 = M θ [ 1 , 0 ] θ 0 , 1 1 b 1
C 1 = W θ 1 1 b 1 , 0 θ [ 0 , 1 ]
C ( θ ) is 2-increasing on S n if and only if C [ θ ] is 2-increasing on S n if and only if
C n = M θ [ 1 , 0 ] θ 0 , 1 b n 1
C n = W θ 1 b n 1 , 0 θ [ 0 , 1 ]

Proof

Since n > 1 and C k * { W , M } for at least one k * { 1 , 2 , , n } , it follows that ( Θ C ) = [ r 1 , 0 ] and [ Θ C ] = [ 0 , r 2 ] for some r 1 , r 2 [ 1 , [ due to Propositions 2.10 and 4.3 and Corollary 4.4.

If C 1 = Π , then we obtain 2 b 0 1 = 1 and 2 b 1 1 < 1 and, if C n = Π , 2 b n 1 = 1 , and 2 b n 1 1 < 1 , implying θ 1 due to Proposition 4.3 and Corollary 4.4. From Proposition 4.2, it immediately follows that r 1 = r 2 = 1 , i.e., ( Θ C ) = [ 1 , 0 ] and [ Θ C ] = [ 0 , 1 ] .

For assertions (ii) and (iii), we now assume that C 1 Π and C n Π , and basic calculations yield the following conditions (compare also Table 2):

If C 1 = M or C n = M , then from Proposition 4.2, we obtain 1 r 1 , implying ( Θ C ) = [ 1 , 0 ] . If C 1 = W = C n , then necessarily 1 1 b 1 r 1 and 1 b n 1 r 1 must hold for C ( θ ) being 2-increasing, leading to

r 1 1 r 1 b 1 b n 1 1 r 1 ,

which yields r 1 2 , i.e., ( Θ C ) [ 2 , 0 ] .

Using analogous arguments for the cases { C 1 , C n } { W } and { C 1 , C n } = { M } , also assertion (iii) can be verified.□

Remark 4.6

Since we have always checked the 2-increasingness individually in each vertical stripe, some of the results of Lemma 4.1, Propositions 4.2 and 4.3, Corollary 4.4 as well as Theorem 4.5 can be generalized for special Π -ordinal sums with an infinite sequence of vertical stripes ( S k ) k K , where K is a countable index set.

Consider, for example, Propositions 4.2 and 4.3 and suppose that 0 is an accumulation point of the sequence of boundary points (i.e., there is no “first” vertical stripe and the considered Π -ordinal sum has infinitely many summands). Then, there is an infinite sequence of boundary points ( c n ) n N with c 1 = 1 , such that lim n c n = 0 and C ( c n , y ) = c n y for all ( n , y ) N × [ 0 , 1 ] . Then, C ( θ ) ( c n , y ) = C [ θ ] ( c n , y ) = c n y + θ ( c n c n 2 ) ( y y 2 ) . Recall that each copula is an increasing function in both coordinates, thus, considering the monotonicity in the second coordinate, we obtain c n + θ . ( c n c n 2 ) ( 1 2 y ) 0 for each ( n , y ) ( N \ { 1 } ) × [ 0 , 1 ] . Then, considering y = 1 , we have c n θ ( c n c n 2 ) 0 , i.e., θ 1 1 c n , implying θ 1 . Similarly, considering y = 0 , we obtain θ 1 and, thus, θ 1 . The rest of the proof follows, using the same arguments as in the case of Propositions 4.2 and 4.3.

As an immediate consequence of Proposition 4.3 and Corollary 4.4 in combination with Theorem 4.5, we obtain examples of Π -ordinal sums whose transformations according to Definition 2.7 have minimal and maximal parameter sets, respectively.

Example 4.7

For an arbitrary ξ ] 0 , 1 [ , consider the three Π -ordinal sums Π , W , ξ , W = Π - ( 0 , ξ , W , ξ , 1 , W ) , Π , M , ξ , M = Π - ( 0 , ξ , M , ξ , 1 , M ) , and Π - ( 0 , ξ , M ) . Then, we obtain

(4.10) ( Θ Π , W , ξ , W ) = 1 max { ξ , 1 ξ } , 0 [ 2 , 0 ] , [ Θ Π , M , ξ , M ] = 0 , 1 max { ξ , 1 ξ } [ 0 , 2 ] ,

(4.11) ( Θ Π - ( 0 , ξ , M ) ) = [ 1 , 0 ] , [ Θ Π - ( 0 , ξ , M ) ] = [ 0 , 1 ] .

The sets ( Θ Π , W , ξ , W ) and [ Θ Π , M , ξ , M ] in (4.10) are maximal if and only if ξ = 1 2 , while the sets ( Θ Π - ( 0 , ξ , M ) ) and [ Θ Π - ( 0 , ξ , M ) ] in (4.11) do not depend on the value ξ ] 0 , 1 [ .

However, if one takes into account also the truncations by means of W and M , i.e., wants to investigate the functions ( Θ Π - ( 0 , ξ , M ) ) ¯ and [ Θ Π - ( 0 , ξ , M ) ] ¯ , one realizes quickly that the dependence on ξ ] 0 , 1 [ increases the complexity of the problem significantly.

For the rest of this section, we, therefore, restrict ourselves not only to the special Π -ordinal sums Π - ( 0 , ξ , M ) but also to the special value ξ = 1 2 , and we will briefly write Π , M for this particular copula from now on, i.e., Π , M = Π - ( 0 , 1 2 , M ) . Observe that this copula Π , M is neither singular (a positive part of the mass is on the diagonal of the rectangle 0 , 1 2 × [ 0 , 1 ] , see [65, Section 2.4] and [61,75]), nor absolutely continuous.

We shall investigate the impact of the truncation by W and M , as given by (2.2), on the [ θ ] -transform Π , M [ θ ] and determine the set [ Θ Π , M ] ¯ .

Consider the following three subsets of the unit square [ 0 , 1 ] 2 : the upper-left triangle U of 0 , 1 2 × [ 0 , 1 ] determined by the three points ( 0 , 0 ) , ( 0 , 1 ) and 1 2 , 1 , the lower-right triangle L of 0 , 1 2 × [ 0 , 1 ] determined by the three points ( 0 , 0 ) , 1 2 , 1 , and ( 1 2 , 0 ) , and the rectangle R = 1 2 , 1 × [ 0 , 1 ] .

Then, the Π -ordinal sum Π , M is given by

Π , M ( x , y ) = x , if ( x , y ) U , y 2 , if ( x , y ) L , x y , if ( x , y ) R ,

and for each θ R we can, according to Definition 2.7, introduce the two functions Π , M [ θ ] : [ 0 , 1 ] 2 R and Π , M [ θ ] ¯ : [ 0 , 1 ] 2 R given by

(4.12) Π , M [ θ ] ( x , y ) = x , if ( x , y ) U , y 2 + θ y 2 ( x y 2 ) , if ( x , y ) L , x y + θ x y ( 1 x ) ( 1 y ) , if ( x , y ) R , Π , M [ θ ] ¯ ( x , y ) = ( W ( x , y ) Π , M [ θ ] ( x , y ) ) M ( x , y ) .

Recall the family of copulas ( H θ ) θ [ , ] , which was introduced in [37, Theorem 3.1] as a comprehensive extension of the Eyraud-Farlie-Gumbel-Morgenstern copulas (see also [71, Example 2.12(ii)]): for each θ [ , ] , the function H θ : [ 0 , 1 ] 2 [ 0 , 1 ] was defined by

(4.13) H θ = W , if θ = , Π ( θ ) W , if θ ] , 0 [ , Π ( θ ) M , if θ [ 0 , [ , M , if θ = .

Then, for each θ ] , [ , the restrictions of the function Π , M [ θ ] ¯ and of the copula H θ given by (4.13) to the rectangle R coincide, i.e., for each θ ] , [ and for each ( x , y ) R , we have Π , M [ θ ] ¯ ( x , y ) = H θ ( x , y ) .

For each θ [ 0 , [ , the function Π , M [ θ ] ¯ satisfies the boundary condition [C1] (see also Definition 2.7). Moreover, from Proposition 2.10 (see also [62, Theorem 1]), it follows that Π , M [ θ ] ¯ = Π , M [ θ ] is a copula for each θ [ 0 , 1 ] . Therefore, the only non-negative values of the parameter θ for which we need to check whether Π , M [ θ ] ¯ is a copula are θ ] 1 , [ .

The different colors and intensities of gray in Figure 6 characterize the formulas for the computation of the function Π , M [ θ ] ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] . The subscripts used for the regions U , L and R indicate that the corresponding formula applies for the expression Π , M [ θ ] ¯ ( x , y ) only if ( x , y ) X I for some X { U , L , R } and θ belongs to the interval I ] 1 , [ in the subscript.

Figure 6 
               Structure of the function 
                     
                        
                        
                           
                              
                                 
                                    
                                       
                                          ⟨
                                          
                                             Π
                                             ,
                                             M
                                          
                                          ⟩
                                       
                                    
                                    
                                       
                                          [
                                          
                                             θ
                                          
                                          ]
                                       
                                    
                                 
                                 
                              
                              
                                 ¯
                              
                           
                        
                        \overline{{\langle \Pi ,M\rangle }_{\left[\theta ]}\hspace{0em}}
                     
                   given by (4.12) for the parameters 
                     
                        
                        
                           θ
                           ∈
                           
                              ]
                              
                                 1
                                 ,
                                 2
                              
                              ]
                           
                        
                        \theta \in ]1,2]
                     
                   (left), 
                     
                        
                        
                           θ
                           ∈
                           
                              ]
                              
                                 2
                                 ,
                                 4
                              
                              ]
                           
                        
                        \theta \in ]2,4]
                     
                   (center), and 
                     
                        
                        
                           θ
                           ∈
                           
                              ]
                              
                                 4
                                 ,
                                 ∞
                              
                              [
                           
                        
                        \theta \in ]4,\infty {[}
                     
                   (right).
Figure 6

Structure of the function Π , M [ θ ] ¯ given by (4.12) for the parameters θ ] 1 , 2 ] (left), θ ] 2 , 4 ] (center), and θ ] 4 , [ (right).

In particular, for θ ] 1 , 2 ] , we use the regions U ] 1 , 2 ] (light gray), L ] 1 , 2 ] (cyan), and R ] 1 , [ (medium gray) in Figure 6 (left); for θ ] 2 , 4 ] , we use the regions U ] 2 , 4 ] (which consists of two disjoint parts, light gray), L ] 2 , 4 ] (cyan), and R ] 1 , [ (medium gray) in Figure 6 (center), and for θ ] 4 , [ , we use the regions U ] 4 , [ (light gray), L ] 4 , [ (cyan), and R ] 1 , [ (medium gray) in Figure 6 (right):

(4.14) Π , M [ θ ] ¯ ( x , y ) = M ( x , y ) , if ( x , y ) U ] 1 , 2 ] U ] 2 , 4 ] U ] 4 , [ , y 2 1 + θ x y 2 , if ( x , y ) L ] 1 , 2 ] L ] 2 , 4 ] L ] 4 , [ , H θ ( x , y ) , if ( x , y ) R ] 1 , [ .

Now, we are in the position to determine the parameters θ R for which the function Π , M [ θ ] ¯ is a copula (for a visualization of the contour plots of copulas Π , M [ θ ] ¯ for some suitable parameters, see Figure 7).

Figure 7 
               Contour plots of the copulas 
                     
                        
                        
                           
                              
                                 
                                    
                                       
                                          ⟨
                                          
                                             Π
                                             ,
                                             M
                                          
                                          ⟩
                                       
                                    
                                    
                                       
                                          [
                                          
                                             
                                                
                                                   
                                                      3
                                                   
                                                   
                                                      2
                                                   
                                                
                                             
                                          
                                          ]
                                       
                                    
                                 
                                 
                              
                              
                                 ¯
                              
                           
                        
                        \overline{{\langle \Pi ,M\rangle }_{\left[\tfrac{3}{2}]}\hspace{.01em}}
                     
                  , 
                     
                        
                        
                           
                              
                                 
                                    
                                       
                                          ⟨
                                          
                                             Π
                                             ,
                                             M
                                          
                                          ⟩
                                       
                                    
                                    
                                       
                                          [
                                          
                                             3
                                          
                                          ]
                                       
                                    
                                 
                                 
                              
                              
                                 ¯
                              
                           
                        
                        \overline{{\langle \Pi ,M\rangle }_{\left[3]}\hspace{.01em}}
                     
                  , and 
                     
                        
                        
                           
                              
                                 
                                    
                                       
                                          ⟨
                                          
                                             Π
                                             ,
                                             M
                                          
                                          ⟩
                                       
                                    
                                    
                                       
                                          [
                                          
                                             5
                                          
                                          ]
                                       
                                    
                                 
                                 
                              
                              
                                 ¯
                              
                           
                        
                        \overline{{\langle \Pi ,M\rangle }_{\left[5]}\hspace{.01em}}
                     
                   (left to right) as introduced in (4.14).
Figure 7

Contour plots of the copulas Π , M [ 3 2 ] ¯ , Π , M [ 3 ] ¯ , and Π , M [ 5 ] ¯ (left to right) as introduced in (4.14).

Proposition 4.8

The function Π , M [ θ ] ¯ given by (4.12) is a copula if and only if θ [ 0 , [ , i.e., [ Θ Π , M ] ¯ = [ 0 , [ .

Proof

For each θ , 0 , we have 1 5 , 2 5 , min θ 5 5 θ , 1 2 , 2 5 L , implying that Π , M [ θ ] ¯ 1 5 , 2 5 = 1 5 and

Π , M [ θ ] ¯ min θ 5 5 θ , 1 2 , 2 5 = 0 , if θ , 10 3 , 1 5 + 3 50 θ , if θ 10 3 , 0 .

Now, the inequalities 1 5 < min θ 5 5 θ , 1 2 and Π , M [ θ ] ¯ 1 5 , 2 5 > Π , M [ θ ] ¯ min θ 5 5 θ , 1 2 , 2 5 show that Π , M [ θ ] ¯ is not monotone and, therefore, not a copula.

Turning to positive values of θ , we know that Π , M [ θ ] ¯ is a copula for each θ [ 0 , 1 ] and that it satisfies the boundary condition [C1] for all θ > 0 . Therefore, it suffices to show that Π , M [ θ ] ¯ is 2-increasing for each θ ] 1 , [ . Without loss of generality, we may fix a number θ ] 1 , [ and a rectangle R = [ u , u * ] × [ v , v * ] such that we have one of the following five cases (we shall briefly write diag ( R ) for the diagonal of R and line [ ( a , b ) , ( c , d ) ] for the line segment connecting the points ( a , b ) and ( c , d ) ):

Case 1. θ ] 1 , [ and ( R U ] 1 , 2 ] or R U ] 2 , 4 ] or R U ] 4 , [ or R R ] 1 , [ ) : Since the restriction of Π , M [ θ ] ¯ to any rectangle R considered in this case is 2-increasing for each θ ] 1 , [ (4.14), it follows that

V Π , M [ θ ] ¯ ( R ) 0 .

Case 2. θ ] 1 , [ and ( R L ] 1 , 2 ] or R L ] 2 , 4 ] or R L ] 4 , [ ) :

From (4.14), it follows that

V Π , M [ θ ] ¯ ( R ) = θ 2 ( u * u ) ( v * v ) 0 .

Case 3. θ ] 1 , 2 ] and R U ] 1 , 2 ] L ] 1 , 2 ] and diag ( R ) line ( 0 , 0 ) , 1 2 , 1 :

From u * 1 2 , it follows that

V Π , M [ θ ] ¯ ( R ) = ( u * u ) ( 1 θ u ) 0 .

Case 4. θ ] 2 , 4 ] and R 0 , 1 θ × 0 , 2 θ and diag ( R ) line ( 0 , 0 ) , 1 θ , 2 θ :

From u * 1 θ , it follows that

V Π , M [ θ ] ¯ ( R ) = ( u * u ) ( 1 θ u ) 0 .

Case 5. θ ] 2 , 4 ] and R 1 θ , 1 2 × 0 , θ 2 1 and diag ( R ) line 1 θ , 0 , 1 2 , 1 2 θ or θ ] 4 , [ and R 1 θ , 2 θ × 0 , 2 θ and diag ( R ) line 1 θ , 0 , 2 θ , 2 θ :

Taking into account that v = 2 u 2 θ u and v * = 2 u * 2 θ u * whenever θ ] 2 , [ , we obtain

V Π , M [ θ ] ¯ ( R ) = θ 2 v * ( u * u ) 0 .

Now, note that the parameter range θ ] 1 , 2 ] in Figure 6 is fully covered by Cases 1–3, i.e., for θ ] 1 , 2 ] the function Π , M [ θ ] ¯ is always 2-increasing. Similarly, if θ ] 2 , 4 ] or θ ] 4 , [ , then each rectangle can be partitioned into rectangles according to Cases 1–2 and 4–5 and, therefore, its Π , M [ θ ] ¯ -volume is non-negative.

In summary, the function Π , M [ θ ] ¯ is 2-increasing for each θ [ 0 , [ (i.e., in each of the parameter ranges θ ] 1 , 2 ] , θ ] 2 , 4 ] and ] 4 , [ considered in Figure 6 and also for θ [ 0 , 1 ] because of Theorem 4.5(i)) and, therefore, a copula.□

The family of copulas ( Π , M [ θ ] ¯ ) θ [ 0 , [ is increasing (and also continuous) with respect to the parameter θ , and its members have both a non-empty absolutely continuous and a singular component.

5 Special families of copulas and their dependence parameters

Finally, we present some examples of distinguished families of copulas, which have been investigated in Sections 3 and 4 of this manuscript or (as in the case of Examples 5.2 or 5.4) in one of our related articles. We also deal with the dependence parameters mentioned in Definition 2.12, i.e., with Spearman’s ϱ , Kendall’s τ , Blomqvist’s β , Gini’s γ , and Spearman’s footrule ϕ for several families of copulas mentioned in Examples 5.15.4.

Not all the families mentioned in this article are comprehensive (even if they have the Fréchet-Hoeffding bounds W and M as limit cases), e.g., the families defined in Example 3.6 by (3.11) and (3.12) (see also Example 5.1, which continues the investigations in Example 3.6), for which each of the dependence parameters in question equals zero for some particular θ or some points ( ε , θ ) (Figures 8 and 9, respectively), but not all dependence parameters for the same values of θ or ( ε , θ ) .

Figure 8 
               Dependence parameters of the ordinal sum 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             D
                                          
                                          
                                             ε
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 ε
                                 ∈
                                 
                                    [
                                    
                                       0
                                       ,
                                       1
                                    
                                    ]
                                 
                              
                           
                        
                        {\left({D}_{\varepsilon })}_{\varepsilon \in {[}0,1]}
                     
                   in Examples 3.6 and 5.1 (compare Table 3). Observe that each graph of the dependence parameters crosses the horizontal axis at a different value of 
                     
                        
                        
                           ε
                        
                        \varepsilon 
                     
                  . Zooming into the blue rectangle 
                     
                        
                        
                           
                              [
                              
                                 0.68
                                 ,
                                 0.86
                              
                              ]
                           
                           ×
                           
                              [
                              
                                 ‒
                                 0.2
                                 ,
                                 0.2
                              
                              ]
                           
                        
                        {[}0.68,0.86]\times {[}&#x2012;0.2,0.2]
                     
                  , the roots 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 τ
                              
                           
                        
                        {\varepsilon }_{\tau }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 β
                              
                           
                        
                        {\varepsilon }_{\beta }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 ρ
                              
                           
                        
                        {\varepsilon }_{\rho }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 γ
                              
                           
                        
                        {\varepsilon }_{\gamma }
                     
                  , and 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 ϕ
                              
                           
                        
                        {\varepsilon }_{\phi }
                     
                   (whose exact values are given in (5.1)) can be easily distinguished (right). Note that these roots also appear in Figure 9.
Figure 8

Dependence parameters of the ordinal sum ( D ε ) ε [ 0 , 1 ] in Examples 3.6 and 5.1 (compare Table 3). Observe that each graph of the dependence parameters crosses the horizontal axis at a different value of ε . Zooming into the blue rectangle [ 0.68 , 0.86 ] × [ 0.2 , 0.2 ] , the roots ε τ , ε β , ε ρ , ε γ , and ε ϕ (whose exact values are given in (5.1)) can be easily distinguished (right). Note that these roots also appear in Figure 9.

Figure 9 
               Regions with positive (light blue) and negative (light yellow) values of the dependence parameters for the family of copulas 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             
                                                (
                                                
                                                   
                                                      
                                                         D
                                                      
                                                      
                                                         ε
                                                      
                                                   
                                                
                                                )
                                             
                                          
                                          
                                             
                                                [
                                                
                                                   θ
                                                
                                                ]
                                             
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 ε
                                 ∈
                                 
                                    ]
                                    
                                       0
                                       ,
                                       1
                                    
                                    [
                                 
                                 ,
                                 θ
                                 ∈
                                 
                                    
                                       0
                                       ,
                                       
                                          
                                             
                                                1
                                             
                                             
                                                ε
                                             
                                          
                                       
                                    
                                 
                              
                           
                        
                        {({\left({D}_{\varepsilon })}_{\left[\theta ]})}_{\varepsilon \in ]0,1{[},\theta \in \left[0,\tfrac{1}{\varepsilon }\right]}
                     
                   in Examples 3.6 and 5.1 (compare Table 3). Points 
                     
                        
                        
                           
                              (
                              
                                 ε
                                 ,
                                 θ
                              
                              )
                           
                        
                        \left(\varepsilon ,\theta )
                     
                   with 
                     
                        
                        
                           ε
                           ∈
                           
                              [
                              
                                 0
                                 ,
                                 1
                              
                              ]
                           
                        
                        \varepsilon \in \left[0,1]
                     
                   and 
                     
                        
                        
                           θ
                           ∈
                           
                              
                                 1
                                 ,
                                 
                                    
                                       1
                                    
                                    
                                       ε
                                    
                                 
                              
                           
                        
                        \theta \in \left[1,\frac{1}{\varepsilon }\right]
                     
                   also belong to the light blue region with positive values of the respective dependence parameter. Each curve between the light blue and the light yellow region visualizes the set of points 
                     
                        
                        
                           
                              (
                              
                                 ε
                                 ,
                                 θ
                              
                              )
                           
                        
                        \left(\varepsilon ,\theta )
                     
                   for which the respective dependence parameter vanishes. For the values 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 ϱ
                              
                           
                        
                        {\varepsilon }_{\varrho }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 τ
                              
                           
                        
                        {\varepsilon }_{\tau }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 β
                              
                           
                        
                        {\varepsilon }_{\beta }
                     
                  , 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 γ
                              
                           
                        
                        {\varepsilon }_{\gamma }
                     
                  , and 
                     
                        
                        
                           
                              
                                 ε
                              
                              
                                 ϕ
                              
                           
                        
                        {\varepsilon }_{\phi }
                     
                   see (5.1) and Figure 8.
Figure 9

Regions with positive (light blue) and negative (light yellow) values of the dependence parameters for the family of copulas ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε in Examples 3.6 and 5.1 (compare Table 3). Points ( ε , θ ) with ε [ 0 , 1 ] and θ 1 , 1 ε also belong to the light blue region with positive values of the respective dependence parameter. Each curve between the light blue and the light yellow region visualizes the set of points ( ε , θ ) for which the respective dependence parameter vanishes. For the values ε ϱ , ε τ , ε β , ε γ , and ε ϕ see (5.1) and Figure 8.

Different combinations of families of copulas in the last three examples lead to special types of comprehensive families. Indispensable tools for gaining deeper insights into these families of copulas are our five dependence parameters: Spearman’s ϱ , Kendall’s τ , Blomqvist’s β , Gini’s γ , and Spearman’s footrule ϕ .

  • In Example 5.2, truncations of the ( θ ) -transforms of M and a convex combination to close a “quasi-copula gap” are used to obtain a comprehensive family of copulas first described in [71].

  • The combination of two rather simple W - and Π -ordinal sums (for ε < 0 and ε > 0 , respectively) in Example 5.3 describes a smooth transition from countermonotonicity over independence to comonotonicity.

  • Finally, for copulas C { W , Π , M } , the functions C θ [ pert ]  [71] are put together for appropriate intervals of θ to obtain a comprehensive family of copulas for which, both in the cases θ < 0 and θ > 0 , a majority of our dependence measures coincides.

The following example illustrates that (for the [ θ ] -transforms of the family of M-ordinal sums in Example 3.6) the dependence parameters need not necessarily pass through the horizontal axis for the same value of θ when we enlarge ε in order to move from M to W .

Table 3

Dependence parameters for the family of M-ordinal sums ( D ε ) ε ] 0 , 1 [ = ( M - ( 0 , ε , W ) ) ε ] 0 , 1 [ , and the families of copulas ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε and ( ( D ε ) [ θ ] ) ¯ ε ] 0 , 1 [ , θ 0 , 1 ε 2 ε , , as considered in Examples 3.6 and 5.1 (note that we have ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε = ( ( D ε ) [ θ ] ) ¯ ε ] 0 , 1 [ , θ 0 , 1 ε )

( D ε ) ε ] 0 , 1 [ ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε ( ( D ε ) [ θ ] ) ¯ ε ] 0 , 1 [ , θ 2 ε ,
( ( D ε ) [ θ ] ) ¯ ε ] 0 , 1 [ , θ 0 , 1 ε
Spearman’s ϱ 1 2 ε 3 ϱ ( D ε ) + ε 4 θ 1 2 θ 3
Kendall’s τ 1 2 ε 2 τ ( D ε ) + 4 3 ε 3 θ 1 3 ε 4 θ 2 1 2 θ 2
Blomqvist’s β 1 if ε 1 2 1 2 ( 2 ε 1 ) if ε > 1 2 β ( D ε ) + 0 if ε 1 2 θ ( 2 ε 1 ) 2 if ε > 1 2 β ( ( D ε ) [ θ ] ) if ε 1 2 + 1 θ , 1 otherwise,
Gini’s γ 1 ε 2 if ε 1 2 1 ε 2 ( 2 ε 1 ) 2 if ε > 1 2 γ ( D ε ) + 1 3 ε 3 θ if ε 1 2 1 3 ε 3 θ + 2 θ 3 ( 2 ε 1 ) 3 if ε > 1 2 1 2 θ 3 ( 2 ε 1 ) 3 + 3 ( 2 ε 1 ) 2 4 θ ( 2 ε 1 ) if ε 1 θ 1 2 ε 1 2 θ , 2 θ 3 ( 2 ε 1 ) 3 + 4 ε ( 1 ε ) 4 3 θ 2 if ε 1 2 θ 1 2 ε , 1 4 3 θ 2 otherwise,
Spearman’s footrule ϕ 1 3 2 ε 2 ϕ ( D ε ) + 1 2 ε 3 θ , 1 2 θ 2

Example 5.1

(Continuation of Example 3.6) Recall the three families of ordinal sums and their transformations which are also copulas, as shown in (3.9) (see Example 3.6, where also the explicit formulas of these families of copulas were given).

The M-ordinal sums ( D ε ) ε ] 0 , 1 [ = ( M - ( 0 , ε , W ) ) ε ] 0 , 1 [ were given by (3.11), and their [ θ ] -transforms ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε were given by (3.12). The explicit formulas of their truncations ( ( D ε ) [ θ ] ¯ ) ε ] 0 , 1 [ , θ 0 , 1 ε 2 ε , can be found in (3.10).

The dependence parameters, i.e., Spearman’s ϱ , Kendall’s τ , Blomquist’s β , Gini’s γ , Spearman’s footrule ϕ as given in Definition 2.12, of these families of copulas are summarized in Table 3.

If, in the family of ordinal sums ( D ε ) ε ] 0 , 1 [ = ( M - ( 0 , ε , W ) ) ε ] 0 , 1 [ , which was our starting point in Example 3.6, we briefly write D 0 = lim ε 0 D ε and D 1 = lim ε 1 D ε , then this family obviously contains the two Fréchet-Hoeffding bounds W and M as limit cases because of D 1 = W and D 0 = M . However, this family is not comprehensive since there is no convergent sequence ( ε n ) n N such that the corresponding sequence of copulas ( D ε n ) n N converges to the independence copula Π .

Nevertheless, for each dependence parameter considered in this article there is exactly one real number ε χ [ 0 , 1 ] solving the equation χ ( D ε ) = 0 , where χ { ϱ , τ , β , γ , ϕ } . To be precise, we obtain for χ { ϱ , τ , β , γ , ϕ } the following five different solutions ε χ of the equation χ ( D ε ) = 0 (see the visualization in Figure 8):

(5.1) ε ϱ = 1 2 3 , ε τ = 1 2 , ε β = 3 4 , ε γ = 4 5 , and ε ϕ = 2 3 .

Looking now at the [ θ ] -transforms of the original ordinal sums ( D ε ) ε [ 0 , 1 ] , we have seen in (3.9) in Example 3.6 that, for an arbitrary ε [ 0 , 1 ] , the function ( D ε ) [ θ ] is a copula if and only if θ 0 , 1 ε . Moreover, the family ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε is comprehensive because of

( D 1 ) [ 0 ] = lim ε 1 ( D ε ) [ 0 ] = W , ( D 1 ) [ 1 ] = lim ε 1 ( D ε ) [ 1 ] = Π , and ( D 0 ) [ 0 ] = lim ε 0 ( D ε ) [ 0 ] = M ,

showing that, by taking advantage of the [ θ ] -transform, a non-comprehensive family of copulas could be turned into a comprehensive one. In addition, for each dependence parameter χ { ϱ , τ , β , γ , ϕ } , there is a continuous curve connecting the points ( 1 , 1 ) and ( ε χ , 0 ) such that, for each point ( ε , θ ) on this curve, we have χ ( ( D ε ) [ θ ] ) = 0 (Figure 9).

Since the subfamily ( ( D ε ) [ θ ] ¯ ) ε ] 0 , 1 [ , θ 0 , 1 ε of the truncations of the [ θ ] -transforms of ( D ε ) ε ] 0 , 1 [ coincides with the family of the [ θ ] -transforms ( ( D ε ) [ θ ] ) ε ] 0 , 1 [ , θ 0 , 1 ε (the latter being a comprehensive family of copulas), also the full family of truncations ( ( D ε ) [ θ ] ¯ ) ε ] 0 , 1 [ , θ 0 , 1 ε 2 ε , is a comprehensive family of copulas.

The following comprehensive family of copulas is obtained using ( θ ) -transforms, truncations, and convex combinations. Since it includes the three basic copulas ( W only as a limit case), the dependence parameters take all the values 1 (in the case of Spearman’s footrule 1 2 ; all as limits), 0, and 1 for the corresponding values of θ .

Example 5.2

In [71], the family of ( M ( θ ) ) θ R = ( M + θ ( M Π ) ) θ R of ( θ ) -transforms of the Fréchet-Hoeffding upper bound M and their truncations ( M ( θ ) ¯ ) θ R are investigated (see [71, Proposition 3.4 and Example 3.7] for details). A most interesting result of Proposition 3.4(iii) in [71] is that ( Θ M ) ¯ = ] , 2 ] [ 1 , [ , and that M ( θ ) ¯ is a proper quasi-copula if and only if θ ] 2 , 1 [ . Filling the copula-“gap” by convex combinations of M ( 2 ) ¯ and M ( 1 ) ¯ , one obtains the family of copulas ( M ( θ ) ^ ) θ R given by

(5.2) M ( θ ) ^ = ( 2 + θ ) M ( 1 ) ¯ ( 1 + θ ) M ( 2 ) ¯ , if θ ] 2 , 1 [ , M ( θ ) ¯ , if θ R \ ] 2 , 1 [ ,

or, in a more detailed manner,

(5.3) M ( θ ) ^ = W - 0 , 1 θ , Π , 1 + 1 θ , 1 , Π , if θ ] , 2 ] , ( 2 + θ ) Π ( 1 + θ ) M ( 2 ) ¯ , if θ ] 2 , 1 [ , M + θ ( M Π ) , if θ [ 1 , 0 ] , M , if θ ] 0 , [ ,

implying that the family ( M ( θ ) ^ ) θ R of copulas is increasing and continuous with respect to the parameter θ and also comprehensive because of lim θ M ( θ ) ^ = W , M ( 1 ) ^ = Π , and M ( 0 ) ^ = M .

The dependence parameters of the family ( M ( θ ) ^ ) θ R are listed in Table 4, and a visualization of the dependence parameters of the family ( M ( θ ) ^ ) θ R is given in Figure 10.

Figure 10 
               Dependence parameters of the family of copulas 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             
                                                
                                                   M
                                                
                                                
                                                   
                                                      (
                                                      
                                                         θ
                                                      
                                                      )
                                                   
                                                
                                             
                                             
                                          
                                          
                                             ^
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 θ
                                 ∈
                                 R
                              
                           
                        
                        {(\widehat{{M}_{\left(\theta )}})}_{\theta \in {\mathbb{R}}}
                     
                   in Example 5.2 given by (5.3) – the two dotted vertical lines and the vertical axis separate the different regions of the parameter 
                     
                        
                        
                           θ
                        
                        \theta 
                     
                   from each other. Note also that all five dependence parameters coincide for 
                     
                        
                        
                           θ
                           ≥
                           0
                        
                        \theta \ge 0
                     
                  .
Figure 10

Dependence parameters of the family of copulas ( M ( θ ) ^ ) θ R in Example 5.2 given by (5.3) – the two dotted vertical lines and the vertical axis separate the different regions of the parameter θ from each other. Note also that all five dependence parameters coincide for θ 0 .

Table 4

Dependence parameters of the family of copulas ( M ( θ ) ^ ) θ R in Example 5.2 given by (5.3) for the different regions of the parameter θ

M ( θ ) ^ W W - ( 0 , 1 θ , Π , 1 + 1 θ , 1 , Π ) ( 2 + θ ) Π ( 1 + θ ) M ( 2 ) ¯ M + θ ( M Π ) M
Range of θ lim θ ] , 2 ] ] 2 , 1 [ [ 1 , 0 ] ] 0 , [
ϱ ( M ( θ ) ^ ) 1 1 2 θ 3 3 4 ( 1 + θ ) 1 + θ 1
τ ( M ( θ ) ^ ) 1 1 + 2 θ 2 1 2 ( 1 + θ ) 1 + 4 3 θ + 1 3 θ 2 1
β ( M ( θ ) ^ ) 1 1 1 + θ 1 + θ 1
γ ( M ( θ ) ^ ) 1 1 + 4 3 θ 2 2 3 ( 1 + θ ) 1 + θ 1
ϕ ( M ( θ ) ^ ) 1 2 1 2 1 2 ( 1 + θ ) 1 + θ 1

Now, we combine a family of W -ordinal sums (for negative ε ) and a family of Π -ordinal sums (for positive ε ), obtaining a comprehensive family moving from countermonotonicity through independence to comonotonicity as ε varies smoothly from 1 to 1.

Example 5.3

Consider the following combination ( C ε ) ε [ 1 , 1 ] of a family of W-ordinal sums and a family of Π -ordinal sums given by

(5.4) C ε = W - ( 0 , ε + 1 , Π ) , if ε [ 1 , 0 [ , Π - ( 1 ε , 1 , M ) , if ε [ 0 , 1 ] .

Obviously, ( C ε ) ε [ 1 , 1 ] is a comprehensive family of copulas. The dependence parameters of the two families ( W - ( 0 , ε , Π ) ) ε ] 0 , 1 [ and ( Π - ( 1 ε , 1 , M ) ) ε ] 0 , 1 [ are listed in Table 5, and a visualization of the dependence parameters of the family ( C ε ) ε ] 1 , 1 [ is given in Figure 11.

Figure 11 
               Going from countermonotonicity through independence to comonotonicity, using the family of copulas 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             C
                                          
                                          
                                             ε
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 ε
                                 ∈
                                 
                                    ]
                                    
                                       −
                                       1
                                       ,
                                       1
                                    
                                    [
                                 
                              
                           
                        
                        {({C}_{\varepsilon })}_{\varepsilon \in ]-1,1{[}}
                     
                   considered in (5.4) in Example 5.3 (observe that Spearman’s 
                     
                        
                        
                           ϱ
                        
                        \varrho 
                     
                   and Kendall’s 
                     
                        
                        
                           τ
                        
                        \tau 
                     
                   coincide whenever 
                     
                        
                        
                           ε
                           ≥
                           0
                        
                        \varepsilon \ge 0
                     
                  ).
Figure 11

Going from countermonotonicity through independence to comonotonicity, using the family of copulas ( C ε ) ε ] 1 , 1 [ considered in (5.4) in Example 5.3 (observe that Spearman’s ϱ and Kendall’s τ coincide whenever ε 0 ).

Table 5

Dependence parameters for the family of W-ordinal sums ( W - ( 0 , ε , Π ) ) ε ] 0 , 1 [ and the family of Π -ordinal sums ( Π - ( 1 ε , 1 , M ) ) ε [ 0 , 1 [ as considered in Example 5.3

Ordinal sums ( W - ( 0 , ε , Π ) ) ε ] 0 , 1 [ ( Π - ( 1 ε , 1 , M ) ) ε ] 0 , 1 [
Spearman’s ϱ ε 3 1 ε 2
Kendall’s τ ε 2 1 ε 2
Blomqvist’s β 1 if ε 1 2 1 1 ε if ε > 1 2 0 if ε 1 2 2 ε 1 if ε > 1 2
Gini’s γ 1 + 2 3 ε 3 if ε 1 2 2 3 ε 2 + 6 ε 6 + 1 ε if ε > 1 2 2 ε 3 ε + 1
Spearman’s footrule ϕ 1 2 if ε 1 2 2 ε 2 + 6 ε 5 + 1 ε if ε > 1 2 ε 3

Another combination of two families of copulas was considered in [71, Section 4], starting with some copula C , using its ( θ ) -transforms (for negative θ ) and its [ θ ] -transforms (for positive θ ). Combining the results for C { W , Π , M } and appropriate values of θ leads to another comprehensive family of copulas.

Example 5.4

Recall the copulas C θ [ pert ] discussed in [71, Section 4] which are defined by different expressions for positive and negative values of the parameter: if C C is a copula and θ R a parameter, then the function C θ [ pert ] : [ 0 , 1 ] 2 R was given in [71, Definition 4.1] by

C θ [ pert ] ( x , y ) = C ( θ ) ( x , y ) , if θ ] , 0 [ , C [ θ ] ( x , y ) , if θ [ 0 , [ ,

The set of all parameters θ R for which the function C θ [ pert ] is again a copula was denoted by Θ C [ pert ] , i.e., we have Θ C [ pert ] = { θ R C θ [ pert ] is a copula } .

Looking at the special case that C C equals one of the three basic copulas, i.e., if C { W , Π , M } , we obtain Θ W [ pert ] = ] , 1 ] , Θ Π [ pert ] = [ 1 , 1 ] , and Θ M [ pert ] = [ 1 , [ . Moreover, we obtain W θ [ pert ] = W for all θ 0 and M θ [ pert ] = M for all θ 0 .

The values ϱ ( C θ [ pert ] ) , τ ( C θ [ pert ] ) , β ( C θ [ pert ] ) , γ ( C θ [ pert ] ) , and ϕ ( C θ [ pert ] ) for C { W , Π , M } and for appropriate ranges of θ are listed in Table 6. It is remarkable that, in the case of W θ [ pert ] , we have for each θ ] , 1 ] and, in the case of M θ [ pert ] , we have for each θ [ 1 , [

ϱ ( W θ [ pert ] ) = β ( W θ [ pert ] ) = γ ( W θ [ pert ] ) = max { θ 1 , 1 } , ϕ ( W θ [ pert ] ) = 1 2 max ( θ 1 , 1 ) , ϱ ( M θ [ pert ] ) = β ( M θ [ pert ] ) = γ ( M θ [ pert ] ) = ϕ ( M θ [ pert ] ) = min { θ + 1 , 1 } .

We can use the functions W θ [ pert ] , Π θ [ pert ] , and M θ [ pert ] to construct another comprehensive family of copulas ( J θ ) θ R putting

(5.5) J θ ( x , y ) = W θ + 1 [ pert ] ( x , y ) , if θ < 0 , Π θ [ pert ] ( x , y ) , if θ = 0 , M θ 1 [ pert ] ( x , y ) , if θ > 0 .

Observe that W 1 [ pert ] = Π 0 [ pert ] = M 1 [ pert ] = J 0 = Π . Contour plots of several members of the family ( J θ ) θ R are given in Figure 12, and for a visualization of the dependence parameters of ( J θ ) θ [ 1 , 1 ] see Figure 13.

Table 6

Dependence parameters for W θ [ pert ] , Π θ [ pert ] , and M θ [ pert ] (as used in Example 5.4) corresponding to the respective ranges of θ as indicated (compare Proposition 2.14)

Copula W θ [ pert ] Π θ [ pert ] M θ [ pert ]
range of θ ]‒∞ , 1 ] [ 1 , 1 ] [ 1 , [
Spearman’s ϱ max { θ 1 , 1 } 1 3 θ min { θ + 1 , 1 }
Kendall’s τ max { 1 3 θ ( θ + 4 ) 1 , 1 } 2 9 θ min { 1 3 θ ( θ + 4 ) + 1 , 1 }
Blomqvist’s β max { θ 1 , 1 } 1 4 θ min { θ + 1 , 1 }
Gini’s γ max { θ 1 , 1 } 4 15 θ min { θ + 1 , 1 }
Spearman’s footrule ϕ max { 1 2 ( θ 1 ) , 1 2 } 1 5 θ min { θ + 1 , 1 }
Figure 12 
               Contour plots of several members of the family 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             J
                                          
                                          
                                             θ
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 θ
                                 ∈
                                 
                                    [
                                    
                                       −
                                       1
                                       ,
                                       1
                                    
                                    ]
                                 
                              
                           
                        
                        {({J}_{\theta })}_{\theta \in {[}-1,1]}
                     
                   (see (5.5) in Example 5.4): 
                     
                        
                        
                           
                              
                                 J
                              
                              
                                 −
                                 1
                              
                           
                           =
                           W
                        
                        {J}_{-1}=W
                     
                  , 
                     
                        
                        
                           
                              
                                 J
                              
                              
                                 −
                                 0.4
                              
                           
                        
                        {J}_{-0.4}
                     
                  , 
                     
                        
                        
                           
                              
                                 J
                              
                              
                                 0
                              
                           
                           =
                           Π
                        
                        {J}_{0}=\Pi 
                     
                  , 
                     
                        
                        
                           
                              
                                 J
                              
                              
                                 0.6
                              
                           
                        
                        {J}_{0.6}
                     
                  , and 
                     
                        
                        
                           
                              
                                 J
                              
                              
                                 1
                              
                           
                           =
                           M
                        
                        {J}_{1}=M
                     
                   (from left).
Figure 12

Contour plots of several members of the family ( J θ ) θ [ 1 , 1 ] (see (5.5) in Example 5.4): J 1 = W , J 0.4 , J 0 = Π , J 0.6 , and J 1 = M (from left).

Figure 13 
               Dependence parameters of the family 
                     
                        
                        
                           
                              
                                 
                                    (
                                    
                                       
                                          
                                             J
                                          
                                          
                                             θ
                                          
                                       
                                    
                                    )
                                 
                              
                              
                                 θ
                                 ∈
                                 
                                    [
                                    
                                       −
                                       1
                                       ,
                                       1
                                    
                                    ]
                                 
                              
                           
                        
                        {({J}_{\theta })}_{\theta \in {[}-1,1]}
                     
                   as considered in Example 5.4 (5.5). Note that three out of five dependence parameters coincide for 
                     
                        
                        
                           θ
                           <
                           0
                        
                        \theta \lt 0
                     
                  , and four out of five coincide for 
                     
                        
                        
                           θ
                           ≥
                           0
                        
                        \theta \ge 0
                     
                  .
Figure 13

Dependence parameters of the family ( J θ ) θ [ 1 , 1 ] as considered in Example 5.4 (5.5). Note that three out of five dependence parameters coincide for θ < 0 , and four out of five coincide for θ 0 .

6 Concluding remarks

Countermonotonicity, independence, and comonotonicity may be seen as extreme cases of dependence behavior in stochastics. Building dependence complete families of copulas may provide a tool for identifying copulas with a prescribed dependence parameter value at hand. A possible approach for doing so is to start from one of the three basic copulas, i.e., allowing for countermonotonicity, independence, and comonotonicity as basic behavior, and performing “local” transformations as in case of ordinal sums, perturbing the basic behavior by adding parameterized functions related to the starting copula and performing truncation with the Fréchet-Hoeffding bounds to insure basic copula properties. Our results and examples have illustrated how flexible, but also how restrictive, the conditions for obtaining new copulas in some cases are and how different the development of the dependence parameters may be when considering such constructed (dependence complete and/or comprehensive) families of copulas.

Acknowledgement

All authors would like to thank the three anonymous reviewers whose detailed comments helped them to substantially improve the original submission.

  1. Funding information: This work was supported by Johannes Kepler University Open Access Publishing Fund and the Federal State Upper Austria. Anna Kolesárová and Adam Šeliga gratefully acknowledged the support by the Project VEGA 1/0036/23.

  2. Author contributions: Susanne Saminger-Platz: Concept, Methodology, Writing – original draft, Writing – review & editing; Funding acquisition, Examples. Anna Kolesárová: Writing – review & editing, Funding acquisition. Adam Šeliga: Writing – review & editing, Funding acquisition. Radko Mesiar: Concept, Methodology, Examples. Erich Peter Klement: Concept, Methodology, Writing – original draft, Writing – review & editing, Examples.

  3. Conflict of interest: The authors declare that there is no conflict of interest.

References

[1] Alvoni, E., Papini, P. L., & Spizzichino, F. (2009). On a class of transformations of copulas and quasi-copulas. Fuzzy Sets and Systems, 160, 334–343. DOI: https://doi.org/10.1016/j.fss.2008.03.025. 10.1016/j.fss.2008.03.025Search in Google Scholar

[2] Bassan, B., & Spizzichino, F. (2005). Relations among univariate aging, bivariate aging and dependence for exchangeable lifetimes. Journal of Multivariate Analysis, 93, 313–339. DOI: https://doi.org/10.1016/j.jmva.2004.04.002. 10.1016/j.jmva.2004.04.002Search in Google Scholar

[3] Beliakov, G., de Amo, E., Fernández-Sánchez, J., & Úbeda-Flores, M. (2022). Best-possible bounds on the set of copulas with a given value of Spearman’s footrule. Fuzzy Sets and Systems, 428, 138–152. DOI: https://doi.org/10.1016/j.fss.2020.11.011. 10.1016/j.fss.2020.11.011Search in Google Scholar

[4] Beliakov, G., de Amo, E., Fernández-Sánchez, J., & Úbeda-Flores, M. (2022). Correction: “Best-possible bounds on the set of copulas with a given value of Spearman’s footrule” [Fuzzy Sets Syst. 428 (2022), 138–152]. Fuzzy Sets and Systems, 428, 153–155. DOI: https://doi.org/10.1016/j.fss.2021.02.012. 10.1016/j.fss.2021.02.012Search in Google Scholar

[5] Birkhoff, G. (1967). Lattice Theory. American Mathematical Society, Providence, 1940. (Third edition, 1967). Search in Google Scholar

[6] Blomqvist, N. (1950). On a measure of dependence between two random variables. The Annals of Mathematical Statistics, 21, 593–600. DOI: https://doi.org/10.1214/aoms/1177729754. 10.1214/aoms/1177729754Search in Google Scholar

[7] Charpentier, A. (2008). Dynamic dependence ordering for Archimedean copulas and distorted copulas. Kybernetika (Prague), 44, 777–794. https://www.kybernetika.cz/content/2008/6/777/paper.pdf. Search in Google Scholar

[8] Clayton, D. G. (1978). A model for association in bivariate life tables and its application in epidemiological studies of familial dependency in chronic disease incidence. Biometrika, 65, 141–151. DOI: https://doi.org/10.1093/biomet/65.1.141. 10.1093/biomet/65.1.141Search in Google Scholar

[9] Czado, C. (2019). Analyzing dependent data with vine copulas. A practical guide with R. Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-13785-4. 10.1007/978-3-030-13785-4Search in Google Scholar

[10] De Baets, B., & De Meyer, H. (2007). Orthogonal grid constructions of copulas. IEEE Transactions on Fuzzy Systems 15, 1053–1062. DOI: https://doi.org/10.1109/TFUZZ.2006.890681. 10.1109/TFUZZ.2006.890681Search in Google Scholar

[11] De Baets, B., De Meyer, H., Kalická, J., & Mesiar, R. (2009). Flipping and cyclic shifting of binary aggregation functions. Fuzzy Sets and Systems, 160, 752–765. DOI: https://doi.org/10.1016/j.fss.2008.03.008. 10.1016/j.fss.2008.03.008Search in Google Scholar

[12] Dolati, D., & Úbeda-Flores, M. (2009). Constructing copulas by means of pairs of order statistics. Kybernetika (Prague), 45, 992–1002. https://www.kybernetika.cz/content/2009/6/992/paper.pdf. Search in Google Scholar

[13] Durante, F., Fernández-Sánchez, J., & Úbeda-Flores, M. (2013). Bivariate copulas generated by perturbations. Fuzzy Sets and Systems, 228, 137–144. DOI: https://doi.org/10.1016/j.fss.2012.08.008. 10.1016/j.fss.2012.08.008Search in Google Scholar

[14] Durante, F., Foschi, R., & Sarkoci, P. (2010). Distorted copulas: constructions and tail dependence. Communications in Statistics - Theory and Methods, 39, 2288–2301. DOI: https://doi.org/10.1080/03610920903039506. 10.1080/03610920903039506Search in Google Scholar

[15] Durante, F., Klement, E. P., Saminger-Platz, S., & Sempi, C. (2022). Ordinal sums: From triangular norms to bi- and multivariate copulas. Fuzzy Sets and Systems, 451, 28–64. DOI: https://doi.org/10.1016/j.fss.2022.04.001. 10.1016/j.fss.2022.04.001Search in Google Scholar

[16] Durante, F., Kolesárová, A., Mesiar, R., & Sempi, C. (2007). Copulas with given diagonal sections: novel constructions and applications. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 15, 397–410. DOI: https://doi.org/10.1142/S0218488507004753. 10.1142/S0218488507004753Search in Google Scholar

[17] Durante, F., Rodríguez-Lallena, J. A., & Úbeda-Flores, M. (2009). New constructions of diagonal patchwork copulas. Information Sciences, 179, 3383–3391. DOI: https://doi.org/10.1016/j.ins.2009.06.007. 10.1016/j.ins.2009.06.007Search in Google Scholar

[18] Durante, F., Saminger-Platz, S., & Sarkoci, P. (2008). On representations of 2-increasing binary aggregation functions. Information Sciences, 178, 4534–4541. DOI: https://doi.org/10.1016/j.ins.2008.08.004.10.1016/j.ins.2008.08.004Search in Google Scholar

[19] Durante, F., Saminger-Platz, S., & Sarkoci, P. (2009). Rectangular patchwork for bivariate copulas and tail dependence. Communications in Statistics - Theory and Methods, 38, 2515–2527. DOI: https://doi.org/10.1080/03610920802571203. 10.1080/03610920802571203Search in Google Scholar

[20] Durante, F., & Sempi, C. (2005). Copula and semicopula transforms. International Journal of Mathematical Sciences, 4, 645–655. DOI: https://doi.org/10.1155/IJMMS.2005.645. 10.1155/IJMMS.2005.645Search in Google Scholar

[21] Durante, F., & Sempi, C. (2005). Semicopulæ. Kybernetika (Prague), 41, 315–328. https://www.kybernetika.cz/content/2005/3/315/paper.pdf. Search in Google Scholar

[22] Durante, F., & Sempi, C. (2015). Principles of Copula Theory. CRC Press, Boca Raton. DOI: https://doi.org/10.1201/b18674. 10.1201/b18674Search in Google Scholar

[23] Frank, M. J. (1975). Associativity in a class of operations on spaces of distribution functions. Aequationes Mathematicae, 12, 121–144. DOI: https://doi.org/10.1007/BF01836543. 10.1007/BF01836543Search in Google Scholar

[24] Frank, M. J. (1979). On the simultaneous associativity of F(x,y) and x+y‒F(x,y). Aequationes Mathematicae, 19, 194–226. DOI: https://doi.org/10.1007/BF02189866. 10.1007/BF02189866Search in Google Scholar

[25] Fréchet, M. (1951). Sur les tableaux de corrélation dont les marges sont données. Annales de l’Université de Lyon. Sciences. Section A, 9(3), 53–77. Search in Google Scholar

[26] Fréchet, M. (1958). Remarques au sujet de la note précédente, Comptes Rendus de l’Académie des Sciences Paris, 246, 2719–2720. Search in Google Scholar

[27] Frees, E. W., & Valdez, E. A. (1998). Understanding relationships using copulas. North American Actuarial Journal, 2, 1–25. DOI: https://doi.org/10.1080/10920277.1998.10595667. 10.1080/10920277.1998.10595667Search in Google Scholar

[28] Fuchs, S. (2014). Multivariate copulas: Transformations, symmetry, order and measures of concordance. Kybernetika (Prague), 50, 725–743. DOI: https://doi.org/10.14736/kyb-2014-5-0725. 10.14736/kyb-2014-5-0725Search in Google Scholar

[29] Fuchs, S., & Schmidt, K. D. (2014). Bivariate copulas: Transformations, asymmetry and measures of concordance. Kybernetika (Prague), 50, 109–125. DOI: https://doi.org/10.14736/kyb-2014-1-0109. 10.14736/kyb-2014-1-0109Search in Google Scholar

[30] Genest, C., Nešlehová, J., & Ben Ghorbal, N. (2010). Spearman’s footrule and Gini’s gamma: a review with complements. Journal of Nonparametric Statistics, 22, 937–954. DOI: https://doi.org/10.1080/10485250903499667. 10.1080/10485250903499667Search in Google Scholar

[31] Genest, C., Okhrin, O., & Bodnar, T. (2024). Copula modeling from Abe Sklar to the present day. Journal of Multivariate Analysis, 201, 105278 (9 pages). DOI: https://doi.org/10.1016/j.jmva.2023.105278. 10.1016/j.jmva.2023.105278Search in Google Scholar

[32] Genest, C., & Rivest, L.-P. (2001). On the multivariate probability integral transformation. Statistics & Probability Letters, 53, 391–399. DOI: https://doi.org/10.1016/S0167-7152(01)00047-5. 10.1016/S0167-7152(01)00047-5Search in Google Scholar

[33] Ghiselli Ricci, R. (2024). Distorted copulas. Fuzzy Sets and Systems, 484, 108947. DOI: https://doi.org/10.1016/j.fss.2024.108947. 10.1016/j.fss.2024.108947Search in Google Scholar

[34] Gini, C. (1955). Variabilità e mutabilità. In: Pizetti, E., & Salvemini, T., editors, Memorie di metodologica statistica, Roma, Libreria Eredi Virgilio Veschi. (Reprint of the Italian original from 1912.). Search in Google Scholar

[35] Grabisch, M., Marichal, J.-L., Mesiar, R., & Pap, E. (2009). Aggregation Functions. Cambridge University Press, Cambridge. DOI: https://doi.org/10.1017/CBO9781139644150. 10.1017/CBO9781139644150Search in Google Scholar

[36] Griessenberger, F., & Trutschnig, W. (2022). Maximal asymmetry of bivariate copulas and consequences to measures of dependence. Dependence Modeling, 10, 245–269. DOI: https://doi.org/10.1515/demo-2022-0115. 10.1515/demo-2022-0115Search in Google Scholar

[37] Hürlimann, W. (2017). A comprehensive extension of the FGM copula. Statistical Papers, 58, 373–392. DOI: https://doi.org/10.1007/s00362-015-0703-1. 10.1007/s00362-015-0703-1Search in Google Scholar

[38] Joe, H. (2015). Dependence Modeling with Copulas. CRC Press, Boca Raton. DOI: https://doi.org/10.1201/b17116. 10.1201/b17116Search in Google Scholar

[39] Kendall, M. G. (1938). A new measure of rank correlation. Biometrika, 30, 81–93. DOI: https://doi.org/10.2307/2332226. 10.1093/biomet/30.1-2.81Search in Google Scholar

[40] Klement, E. P., & Kolesárová, A. (2004). 1-Lipschitz aggregation operators, quasi-copulas and copulas with given diagonals. In: Lopéz-Díaz, M., Gil, M. Á., Grzegorzewski, P., Hryniewicz, O., & Lawry, J. (Eds.), Advances in Soft Computing, (pp. 205–211). Springer, Berlin, Heidelberg. DOI: https://doi.org/10.1007/978-3-540-44465-7_24. 10.1007/978-3-540-44465-7_24Search in Google Scholar

[41] Klement, E. P., Kolesárová, A., Mesiar, R., & Saminger-Platz, S. (2017). On the role of ultramodularity and Schur concavity in the construction of binary copulas. Journal of Mathematical Inequalities, 11, 361–381. DOI: https://doi.org/10.7153/jmi-11-32. 10.7153/jmi-2017-11-32Search in Google Scholar

[42] Klement, E. P., Manzi, M., & Mesiar, R. (2011). Ultramodular aggregation functions. Information Sciences, 181, 4101–4111. DOI: https://doi.org/10.1016/j.ins.2011.05.021. 10.1016/j.ins.2011.05.021Search in Google Scholar

[43] Klement, E. P., Manzi, M., & Mesiar, R. (2014). Ultramodularity and copulas. Rocky Mountain Journal of Mathematics, 44, 189–202, DOI: https://doi.org/10.1216/RMJ-2014-44-1-189. 10.1216/RMJ-2014-44-1-189Search in Google Scholar

[44] Klement, E. P., & Mesiar, R. (2006). How non-symmetric can a copula be? Commentationes Mathematicae Universitatis Carolinae, 47, 141–148. https://cmuc.karlin.mff.cuni.cz/pdf/cmuc0601/klement.pdf. Search in Google Scholar

[45] Klement, E. P., Mesiar, R., & Pap, E. (2000). Triangular Norms, Dordrecht, Kluwer. DOI: https://doi.org/10.1007/978-94-015-9540-7. 10.1007/978-94-015-9540-7Search in Google Scholar

[46] Klement, E. P., Mesiar, R., & Pap, E. (2005). Transformations of copulas. Kybernetika (Prague), 41, 425–436. https://www.kybernetika.cz/content/2005/4/425/paper.pdf. Search in Google Scholar

[47] Kokol Bukovšek, D., Košir, T., Mojškerc, B., & Omladič, M. (2021). Spearman’s footrule and Gini’s gamma: local bounds for bivariate copulas and the exact region with respect to Blomqvist’s beta. Journal of Computational and Applied Mathematics, 390, 113385 (23). DOI: https://doi.org/10.1016/j.cam.2021.113385. 10.1016/j.cam.2021.113385Search in Google Scholar

[48] Kokol Bukovšek, D., & Mojškerc, B. (2022). On the exact region determined by Spearman’s footrule and Gini’s gamma. Journal of Computational and Applied Mathematics, 410, 114212 (13). DOI: https://doi.org/10.1016/j.cam.2022.114212. 10.1016/j.cam.2022.114212Search in Google Scholar

[49] Kolesárová, A., Mayor, G., & Mesiar, R. (2015). Quadratic constructions of copulas. Information Sciences. 310, 69–76. DOI: https://doi.org/10.1016/j.ins.2015.03.016. 10.1016/j.ins.2015.03.016Search in Google Scholar

[50] Kolesárová, A., Mesiar, R., & Kalická, J. (2013). On a new construction of 1-Lipschitz aggregation functions, quasi-copulas and copulas. Fuzzy Sets and Systems 226, 19–31. DOI: https://doi.org/10.1016/j.fss.2013.01.005. 10.1016/j.fss.2013.01.005Search in Google Scholar

[51] Kolesárová, A., Mesiar, R., & Sempi, C. (2008). Measure-preserving transformations, copulæ and compatibility. Mediterranean Journal of Mathematics, 5, 325–339. DOI: https://doi.org/10.1007/s00009-008-0153-2. 10.1007/s00009-008-0153-2Search in Google Scholar

[52] Komorník, J., Komorníková, M., & Kalická, J. (2017). Dependence measures for perturbations of copulas. Fuzzy Sets and Systems 324, 100–116. DOI: https://doi.org/10.1016/j.fss.2017.01.014. 10.1016/j.fss.2017.01.014Search in Google Scholar

[53] Lehmann, E. L. (1966). Some concepts of dependence. The Annals of Mathematical Statistics, 37, 1137–1153. DOI: https://doi.org/10.1214/aoms/1177699260. 10.1214/aoms/1177699260Search in Google Scholar

[54] Liebscher, E. (2008). Construction of asymmetric multivariate copulas. Journal of Multivariate Analysis 99, 2234–2250. DOI: https://doi.org/10.1016/j.jmva.2008.02.025. 10.1016/j.jmva.2008.02.025Search in Google Scholar

[55] Liebscher, E. (2011). Erratum to “Construction of asymmetric multivariate copulas” [J. Multivariate Anal. 99 (2008) 2234–2250]. Journal of Multivariate Analysis, 102, 869–870. DOI: https://doi.org/10.1016/j.jmva.2010.12.004. 10.1016/j.jmva.2010.12.004Search in Google Scholar

[56] Liebscher, E. (2014). Copula-based dependence measures. Dependence Modeling, 2, 49–64. DOI: https://doi.org/10.2478/demo-2014-0004. 10.2478/demo-2014-0004Search in Google Scholar

[57] Liebscher, E. (2017). Copula-based dependence masures for piecewise monotonicity. Dependence Modeling, 5, 198–220. DOI: https://doi.org/10.1515/demo-2017-0012. 10.1515/demo-2017-0012Search in Google Scholar

[58] Manstavičius, M., & Bagdonas, G. (2019). A class of bivariate copula mappings. Fuzzy Sets and Systems, 354, 48–62. DOI: https://doi.org/10.1016/j.fss.2018.05.001. 10.1016/j.fss.2018.05.001Search in Google Scholar

[59] Mardia, K. V. (1970). Families of Bivariate Distributions. Charles Griffin & Co., London. Search in Google Scholar

[60] Marinacci, M., & Montrucchio, L. (2005). Ultramodular functions. Mathematics of Operations Research, 30, 311–332. DOI: https://doi.org/10.1287/moor.1040.0143. 10.1287/moor.1040.0143Search in Google Scholar

[61] Mesiar, R., Jágr, V., Juráňová, M., & Komorníková, M. (2008). Univariate conditioning of copulas. Kybernetika (Prague), 44, 807–816. https://www.kybernetika.cz/content/2008/6/807/paper.pdf. Search in Google Scholar

[62] Mesiar, R., Komorníková, M., & Komorník, J. (2015). Perturbation of bivariate copulas. Fuzzy Sets and Systems, 268, 127–140. DOI: https://doi.org/10.1016/j.fss.2014.04.016. 10.1016/j.fss.2014.04.016Search in Google Scholar

[63] Mesiar , R., & Szolgay, J. (2004). W-ordinal sums of copulas and quasi-copulas. In: Proceedings MAGIA & UWPM 2004, pp. 78–83. Slovak University of Technology, Publishing House of STU, Bratislava. Search in Google Scholar

[64] Morillas, P. M. (2005). A method to obtain new copulas from a given one. Metrika, 61, 169–184. DOI: https://doi.org/10.1007/s001840400330. 10.1007/s001840400330Search in Google Scholar

[65] Nelsen, R. B. (2006). An Introduction to Copulas. Springer, New York, second edition. DOI: https://doi.org/10.1007/0-387-28678-0. 10.1007/0-387-28678-0Search in Google Scholar

[66] Nelsen, R. B. (2007). Extremes of nonexchangeability. Statistical Papers, 48, 329–336. DOI: https://doi.org/10.1007/s00362-006-0336-5. 10.1007/s00362-006-0336-5Search in Google Scholar

[67] Saminger-Platz, S., Dibala, M., Klement, E. P., & Mesiar, R. (2017). Ordinal sums of binary conjunctive operations based on the product. Publicationes Mathematicae Debrecen, 91, 63–80. DOI: https://doi.org/10.5486/PMD.2017.7636. 10.5486/PMD.2017.7636Search in Google Scholar

[68] Saminger-Platz, S., Kolesárová, A., Mesiar, R., & Klement, E. P. (2020). The key role of convexity in some copula constructions. European Journal of Mathematics, 6, 533–560. DOI: https://doi.org/10.1007/s40879-019-00346-3. 10.1007/s40879-019-00346-3Search in Google Scholar

[69] Saminger-Platz, S., Kolesárová, A., Šeliga, A., Mesiar, R., & Klement, E. P. (2021). New results on perturbation-based copulas. Dependence Modeling, 9, 347–373. DOI: https://doi.org/10.1515/demo-2021-0116. 10.1515/demo-2021-0116Search in Google Scholar

[70] Saminger-Platz, S., Kolesárová, A., Šeliga, A., Mesiar, R., & Klement, E. P. (2021). The impact on the properties of the EFGM copulas when extending this family. Fuzzy Sets and Systems, 415, 1–26. DOI: https://doi.org/10.1016/j.fss.2020.11.001. 10.1016/j.fss.2020.11.001Search in Google Scholar

[71] Saminger-Platz, S., Kolesárová, A., Šeliga, A., Mesiar, R., & Klement, E. P. (2024). Parameterized transformations and truncation: When is the result a copula? Journal of Computational and Applied Mathematics, 436, 115340 (17 pages). DOI: https://doi.org/10.1016/j.cam.2023.115340. 10.1016/j.cam.2023.115340Search in Google Scholar

[72] Schur, I. (1923). Über eine Klasse von Mittelbildungen mit Anwendungen auf die Determinantentheorie. Sitzungsberichte der Berliner Mathematischen Gesellschaft, 22, 9–20. Search in Google Scholar

[73] Schweizer, B., & Sklar, A. (1963). Associative functions and abstract semigroups. Publicationes Mathematicae Debrecen, 10, 69–81. DOI: https://doi.org/10.5486/PMD.1963.10.1-4.09. 10.5486/PMD.1963.10.1-4.09Search in Google Scholar

[74] Sheikhi, A., Amirzadeh, V., & Mesiar, R. (2021). A comprehensive family of copulas to model bivariate random noise and perturbation. Fuzzy Sets and Systems, 415, 27–36. DOI: https://doi.org/10.1016/j.fss.2020.04.010. 10.1016/j.fss.2020.04.010Search in Google Scholar

[75] Siburg, K. F., & Stoimenov, P. A. (2008). Gluing copulas. Communications in Statistics - Theory and Methods, 37, 3124–3134. DOI: https://doi.org/10.1080/03610920802074844. 10.1080/03610920802074844Search in Google Scholar

[76] Sklar, A. (1959). Fonctions de répartition à n dimensions et leurs marges. Publications de l’Institut de statistique de l’Université de Paris, 8, 229–231. Search in Google Scholar

[77] Spearman, C. (1904). The proof and measurement of association between two things. The American Journal of Psychology, 15, 72–101. DOI: https://doi.org/10.2307/1422689. 10.2307/1412159Search in Google Scholar

[78] Spearman, C. (1906). ‘Footrule’ for measuring correlation. British Journal of Psychology, 1904–1920, 2, 89–108. DOI: https://doi.org/10.1111/j.2044-8295.1906.tb00174.x. 10.1111/j.2044-8295.1906.tb00174.xSearch in Google Scholar

[79] Úbeda Flores, M. (2005). Multivariate versions of Blomqvist’s beta and Spearman’s footrule. Annals of the Institute of Statistical Mathematics, 57, 781–788. DOI: https://doi.org/10.1007/BF02915438. 10.1007/BF02915438Search in Google Scholar

[80] Valdez, E. A., & Xiao, Y. (2011). On the distortion of a copula and its margins. Scandinavian Actuarial Journal, 2011, 292–317. DOI: https://doi.org/10.1080/03461238.2010.490021. 10.1080/03461238.2010.490021Search in Google Scholar

Received: 2023-12-30
Revised: 2024-06-14
Accepted: 2024-08-23
Published Online: 2024-11-07

© 2024 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 26.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/demo-2024-0007/html
Scroll to top button