On bivariate lower semilinear copulas and the star product

We revisit the family C ^LSL of all bivariate lower semilinear (LSL) copulas first introduced by Durante et al. in 2008 and, using the characterization of LSL copulas in terms of diagonals with specific properties, derive several novel and partially unexpected results. In particular we prove that the star product (also known as Markov product) S _{δ 1} ⁎S _{δ 2} of two LSL copulas S _{δ 1} ,S _{δ 2} is again an LSL copula, i.e., that the family C ^LSL is closed with respect to the star product. Moreover, we show that translating the star product to the class of corresponding diagonals D ^LSL allows to determine the limit of the sequence S _δ,S _δ⁎S _δ,S _δ⁎S _δ⁎S _δ,… for every diagonal δ∈D ^LSL. In fact, for every LSL copula S _δ the sequence (S _δ ^⁎n) _n∈N converges to some LSL copula S _δ‾, the limit S _δ‾ is idempotent, and the class of all idempotent LSL copulas allows for a simple characterization. Complementing these results we then focus on concordance of LSL copulas. After recalling simple formulas for Kendall's τ and Spearman's ρ we study the exact region Ω ^LSL determined by these two concordance measures of all elements in C ^LSL, derive a sharp lower bound and finally show that Ω ^LSL is convex and compact.