Adloun

Une moyenne empirique qui ne se stabilise pas

Exercice d'entraînement · niveau 3 (difficile) · mathématiques approfondies (ECG 2e année), chapitre 13 — Travaux pratiques avec Python · Monte-Carlo et estimation

Énoncé

Soit de loi uniforme sur . Étudier l'existence de , puis dire ce qu'affiche le programme suivant et comment l'interpréter.

import numpy as np
rng = np.random.default_rng(7)
for n in (10**3, 10**4, 10**5, 10**6):
    print(n, round(float((1/rng.random(n)).mean()), 3))

Corrigé

L'espérance n'existe pas. La densité de vaut sur , donc il faudrait que converge. Or, pour , L'intégrale diverge : la variable n'admet pas d'espérance.

Ce qu'affiche le programme. Avec cette graine, on lit La moyenne ne se stabilise sur rien : elle grimpe, puis redescend entre et tirages. Multiplier par mille le nombre de tirages n'a pas resserré le résultat d'un chiffre, et la quatrième valeur est plus petite que la troisième. Rien ne converge — il n'existe aucun nombre vers lequel la moyenne aurait à tendre.

Le mécanisme. La moyenne est dominée par le plus petit tirage : sur tirages uniformes, le minimum est de l'ordre de , donc son inverse de l'ordre de , et il apporte à lui seul environ à la moyenne. Chaque décuplement de apporte ainsi une contribution nouvelle, dont la taille est le fruit du hasard — d'où l'allure croissante en tendance et les reculs.

Ce que la simulation prouve, et ce qu'elle ne prouve pas. Elle ne démontre pas la divergence — c'est le calcul de l'intégrale qui le fait. Elle en montre le symptôme, qu'il faut savoir reconnaître : une moyenne empirique qui refuse de se fixer alors que est déjà grand doit faire soupçonner une espérance inexistante ou une queue très lourde, et non un manque de tirages. Ajouter des tirages n'y changera rien.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.