Accueil🇫🇷Chercher

Lemme sous-additif

En analyse réelle, le lemme sous-additif, aussi appelé lemme de Fekete, donne une condition suffisante sur une suite à valeurs réelles pour que la limite de existe. Il permet de montrer très simplement l'existence de telles limites, et donc de montrer que certaines suites ont asymptotiquement un comportement linéaire ou exponentiel.

Sous-additivité

Soit une suite de nombres réels. On dit que est sous-additive si elle vérifie pour tous entiers strictement positifs m, n.

On définit de manière analogue les suites sur-additives, sous-multiplicatives et sur-multiplicatives.

Lemme sous-additif

Énoncé

Lemme sous-additif Soit une suite sous-additive. Alors la limite quand n tend vers de la suite existe et l'on a

Remarque : si on note cette limite, on a donc pour tout .

Variantes

Le lemme sous-additif a de nombreuses variantes. Les plus directes concernent les suites sur-additives et sous- ou sur-multiplicatives. La démonstration des trois résultats suivants se fait en remarquant que (respectivement, et ) sont des suites sous-additives.

Théorème Soit une suite de nombres réels telle que, pour tous entiers n et m strictement positifs, . Alors :

Soit une suite de nombres réels positifs telle que, pour tous entiers n et m strictement positifs, . Alors :

Soit une suite de nombres réels positifs telle que, pour tous entiers n et m strictement positifs, . Alors :

D'autres variantes consistent à affaiblir les hypothèses du lemme sous-additif. Par exemple, on peut supposer que la suite est à valeurs dans , mais ne prend la valeur que pour un nombre fini d'entiers n.

Une conclusion proche reste valable si on affaiblit la condition de sous-additivité :

Théorème Soit une suite de nombres réels. Supposons qu'il existe un réel M tel que, pour tous entiers n et m strictement positifs, . Alors existe.

Il suffit de remarquer que la suite est sous-additive et donc que existe. On en déduit .

Applications

Le lemme sous-additif a de nombreuses applications, que ce soit en probabilités, en théorie des nombres, ou en combinatoire.

Grandes déviations

Soit une suite de variables aléatoires indépendantes identiquement distribuées, à valeurs réelles, intégrables et de moyenne nulle. Soit x un nombre réel positif. Soient n et m deux entiers strictement positifs. On remarque que :

Ainsi, la suite est sur-multiplicative. Par conséquent, la limite existe, et appartient à . En prenant le logarithme, on peut définir une fonction de dans telle que, pour tout ,

Les principes de grandes déviations sont des raffinements de ce résultat : ils permettent entre autres de calculer la fonction de taux .

Marche aléatoire auto-évitante

Soit un entier. Le réseau peut être vu comme un graphe, c'est-à-dire que deux points sont reliés si et seulement si ils sont à distance 1 l'un de l'autre. Un chemin de longueur n sur est une suite de n+1 points de tel que chaque point est relié au suivant. Par exemple, sur , le triplet est un chemin de longueur 3, mais n'est pas un chemin. Un chemin est dit auto-évitant s'il ne passe pas plusieurs fois en un même sommet du graphe. Soit n un entier strictement positif. Soit le nombre de chemins auto-évitants partant de l'origine et de longueur n dans . Un chemin auto-évitant de longueur n+m est toujours une concaténation d'un chemin auto-évitant de longueur n et d'un chemin auto-évitant de longueur m. Quitte à translater ces chemins, on peut supposer qu'ils partent de l'origine. Alors : la suite est sous-multiplicative. Par le lemme sous-additif, la limite existe ; elle est appelée constante de connectivité du réseau .

Plus généralement, on peut définir de façon identique la constante de connectivité d'un réseau régulier. On sait par exemple que la constante de connectivité d'un réseau hexagonal dans le plan est [1].

Théorie ergodique

Des résultats semblables au lemme sous-additif existent en théorie ergodique, tels que le théorème de Kingman, une généralisation du théorème ergodique de Birkhoff. Soit un système dynamique préservant la mesure de probabilité . Soit une suite de fonctions mesurables sur à valeurs réelles. On dit que est sous-additive si, pour tous entiers n et m strictement positif et pour presque tout x dans X, on a .

Théorème ergodique de Kingman Soit une suite de fonctions sous-additives intégrables sur . Alors la limite existe pour - presque tout x, et est T-invariante.

En particulier, si f est une fonction intégrable sur X, alors la suite de fonctions définie par :

est sous-additive (ainsi que sur-additive). On retrouve donc la convergence presque sûre des sommes de Birkhoff, même si ce théorème n'en donne pas la limite.

Notes et références

  1. H. Duminil-Copin et S. Smirnov, The connective constant of the honeycomb lattice equals , 2010
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.