En statistiques, une copule est un objet mathématique venant de la théorie des probabilités. La copule permet de caractériser la dépendance entre les différentes coordonnées d'une variable aléatoire à valeurs dans sans se préoccuper de ses lois marginales.
Une copule est une fonction de répartition, notée , définie sur dont les marges sont uniformes sur . Une caractérisation est alors que si une des composantes est nulle, , et est - croissante.
En dimension 2, pour tout et , et , pour tout et , et enfin, la propriété de 2 croissante se traduit par .
L'interprétation de cette notion de croissance se fait en notant que si admet pour fonction de répartition , , la mesure étant nécessairement positive.
Le théorème de Sklar dit que si est une copule, et si sont des fonctions de répartition (univariées), alors est une fonction de répartition de dimension , dont les marges sont précisément .
Et réciproquement, si est une fonction de répartition en dimension , il existe une copule telle que , où les sont les lois marginales de .
Si ces lois marginales sont toutes continues, la copule est alors unique, et donnée par la relation . Dans ce cas, on pourra alors parler de la copule associée à un vecteur aléatoire .
La copule d'un vecteur aléatoire est alors la fonction de répartition du vecteur aléatoire , que l'on notera parfois .
D'un point de vue statistique, les copules apparaissent naturelles comme la distribution des rangs.
Les copules apparaissent dans les espaces métriques de probabilité ou en logique floue (fuzzy logic).
Parmi les copules usuelles, la copule produit (on parlera aussi de copule indépendante). a des composantes indépendantes si et seulement si est une copule du vecteur .
Cop-indep-3d.jpg Copule indépendante |
La copule comonotone, ou copule du minimum, est définie par . est une copule du vecteur si et seulement s'il existe des transformations croissantes telles que . Cette copule correspond à la borne supérieur de Fréchet-Hoeffding, au sens où pour toute copule , .
Une classe particulièrement importante de copule est celle des copules Archimédiennes, définies par , où (appelé générateur de la copule Archimédienne) est au moins fois continument dérivable, dont la dérivé est décroissante convexe, et telle que .
Ce générateur est unique à une constante (positive) multplicative près. Une sous classe relativement large est obtenue lorsque est l'inverse d'une transformée de Laplace (et une interprétation factorielle est alors possible). Parmi les cas particuliers,
Le générateur est alors l'inverse de la transformée de Laplace de la loi stable. Cette copule est la seule copule Archimédienne vérifiant une propriété de max-stabilité, c’est-à-dire , pour tout ,
Cop-Frank-density.JPG Copule de Frank | Cop-Clayton-density.JPG Copule de Clayton | Cop-Gumbel-density.JPG Copule de Gumbel |
Les copules elliptiques...