La fonction K(t)=log E[e^{tX}] définie (lorsque la fonction génératrice des moments existe) dont les dérivées en zéro donnent les cumulants d'une variable aléatoire X ; elle encode la propriété d'additivité pour les sommes indépendantes.

Principe

Parce que le logarithme de la génératrice des moments convertit des produits de MGF (pour des variables indépendantes) en sommes, les dérivées de K en zéro produisent des mesures centrales (cumulants) qui s'additionnent sous indépendance.

Démonstration

Pour X~N(μ,σ²), K(t)=μ t + (σ²/2) t² ; les deux premiers cumulants extraits par K'(0)=μ et K''(0)=σ² correspondent à l'espérance et à la variance, et les cumulants d'ordre supérieur sont nuls.

Mauvaise application

Utiliser la fonction génératrice des cumulants lorsque la MGF n'existe pas (lois à queue lourde) ou interpréter incorrectement les cumulants comme des moments bruts conduit à des erreurs ; l'existence est locale autour de t=0.

Conséquence

Offre un outil compact pour obtenir les cumulants, étudier des convergences (par contrôle des cumulants) et simplifier l'analyse des sommes de variables indépendantes car les cumulants s'additionnent.

Inversion

Exponentier K(t) rend la MGF M(t)=E[e^{tX}] ; lorsque M est connue, les cumulants s'obtiennent par son logarithme plutôt que par les dérivées des moments bruts.

Limite

Définie seulement sur l'intervalle ou le voisinage de t=0 où la MGF M(t) existe et est finie ; les fonctions caractéristiques (log de E[e^{itX}]) existent toujours mais donnent des coefficients de type cumulant complexes.

Tension sémantique

Souvent mise en contraste avec les fonctions génératrices de moments et caractéristiques : la génératrice des cumulants donne des cumulants additifs via le logarithme de la MGF, tandis que les moments proviennent directement des dérivées de la MGF et les fonctions caractéristiques évitent les problèmes d'existence.

Synthèse

La fonction génératrice des cumulants est le logarithme de la génératrice des moments dont les dérivées en zéro fournissent les cumulants résumant la forme de la loi et qui s'additionnent pour des sommes indépendantes.