← Mathematical handbook

Table 4: canonical Pickands functions of four constructed families

theorem Papers.AnsariRockel2024.tawn_pickands (θ : ℝ) (hθ : 1 ≤ θ) (α β t : ↑unitInterval) : Verification.copulaPickands (ProbabilityTheory.Copula.tawn θ hθ α β) t = (1 - ↑α) * (1 - ↑t) + (1 - ↑β) * ↑t + ((↑α * (1 - ↑t)) ^ θ + (↑β * ↑t) ^ θ) ^ θ⁻¹

theorem Papers.AnsariRockel2024.gumbel_pickands (θ : ℝ) (hθ : 1 ≤ θ) (t : ↑unitInterval) : Verification.copulaPickands (ProbabilityTheory.Copula.gumbel θ hθ) t = ((1 - ↑t) ^ θ + ↑t ^ θ) ^ θ⁻¹

theorem Papers.AnsariRockel2024.marshallOlkin_pickands (α β t : ↑unitInterval) : Verification.copulaPickands (ProbabilityTheory.Copula.marshallOlkin α β) t = 1 - min (↑α * (1 - ↑t)) (↑β * ↑t)

theorem Papers.AnsariRockel2024.cuadrasAuge_pickands (α t : ↑unitInterval) : Verification.copulaPickands (ProbabilityTheory.Copula.cuadrasAuge α) t = 1 - ↑α * min (1 - ↑t) ↑t