Limit theorems for stationary Markov processes with L2-spectral gap

Abstract

Let $(X_{t},Y_{t})_{t\in \mathbb {T}}$ be a discrete or continuous-time Markov process with state space $\mathbb {X}\times \mathbb {R}^{d}$ where $\mathbb {X}$ is an arbitrary measurable set. Its transition semigroup is assumed to be additive with respect to the second component, i.e. $(X_{t},Y_{t})_{t\in \mathbb {T}}$ is assumed to be a Markov additive process. In particular, this implies that the first component $(X_{t})_{t\in \mathbb {T}}$ is also a Markov process. Markov random walks or additive functionals of a Markov process are special instances of Markov additive processes. In this paper, the process $(Y_{t})_{t\in \mathbb {T}}$ is shown to satisfy the following classical limit theorems:

(a) the central limit theorem,

(b) the local limit theorem,

(c) the one-dimensional Berry–Esseen theorem,

(d) the one-dimensional first-order Edgeworth expansion,

provided that we have $\sup_{t\in(0,1]\cap \mathbb {T}}\mathbb {E}_{\pi,0}[|Y_{t}|^{\alpha}]\textless\infty$ with the expected order α with respect to the independent case (up to some ε > 0 for (c) and (d)). For the statements (b) and (d), a Markov nonlattice condition is also assumed as in the independent case. All the results are derived under the assumption that the Markov process $(X_{t})_{t\in \mathbb {T}}$ has an invariant probability distribution π, is stationary and has the $\mathbb {L}^{2}(\pi)$-spectral gap property (that is, (X_t)_t∈ℕ is ρ-mixing in the discrete-time case). The case where $(X_{t})_{t\in \mathbb {T}}$ is non-stationary is briefly discussed. As an application, we derive a Berry–Esseen bound for the M-estimators associated with ρ-mixing Markov chains.

Soit $(X_{t},Y_{t})_{t\in \mathbb {T}}$ un processus de Markov en temps discret ou continu et d’espace d’état $\mathbb {X}\times \mathbb {R}^{d}$ où $\mathbb {X}$ est un ensemble mesurable quelconque. Son semi-groupe de transition est supposé additif suivant la seconde composante, i.e. $(X_{t},Y_{t})_{t\in\mathbb {T}}$ est un processus additif Markovien. En particulier, ceci implique que la première composante $(X_{t})_{t\in \mathbb {T}}$ est également un processus de Markov. Les marches aléatoires Markoviennes ou les fonctionnelles additives d’un processus de Markov sont des exemples de processus additifs Markoviens. Dans cet article, on montre que le processus $(Y_{t})_{t\in \mathbb {T}}$ satisfait les théorèmes limites classiques suivants :

(a) le théorème de la limite centrale,

(b) le théorème limite local,

(c) le théorème uniforme de Berry–Esseen en dimension un,

(d) le développement d’Edgeworth d’ordre un en dimension un,

pourvu que la condition de moment $\sup_{t\in(0,1]\cap \mathbb {T}}\mathbb {E}_{\pi,0}[|Y_{t}|^{\alpha}]\textless\infty$ soit satisfaite, avec l’ordre attendu α du cas indépendant (à un ε > 0 près pour (c) et (d)). Pour les énoncés (b) et (d), il faut ajouter une condition nonlattice comme dans le cas indépendant. Tous les résultats sont obtenus sous l’hypothèse d’un processus de Markov $(X_{t})_{t\in \mathbb {T}}$ admettant une mesure de probabilité invariante π et possédant la propriété de trou spectral sur $\mathbb {L}^{2}(\pi)$ (c’est à dire, (X_t)_t∈ℕ est ρ-mélangeante dans le cas du temps discret). Le cas où $(X_{t})_{t\in \mathbb {T}}$ est non-stationnaire est brièvement abordé. Nous appliquons nos résultats pour obtenir une borne de Berry–Esseen pour les M-estimateurs associés aux chaînes de Markov ρ-mélangeantes.