Approximation du temps local des processus gaussiens stationnaires par régularisation des trajectoires

Résumé Soit X un processus gaussien stationnaire non dérivable. Nous étudions le nombre de passages en zéro du processus régularisé par convolution. Sous des hypothèses peu restrictives sur X, cette variable convenablement normalisée, converge au sens de L ² quand la taille du filtre tend vers zéro. Lorsque X admet un temps local continu, la limite obtenue est le temps local.

---

Summary Let {X(t)} be a stationary non differentiable Gaussian process and let ϕ_ɛ(u=ɛ⁻¹ ϕ(u/ɛ) be an approximate identity. Setting X _ɛ(t)=X*ϕ_ɛ(t) and letting N _ɛ(T) be the number of zeros of X _ɛ in the interval 0, T] it is shown that under weak technical conditions there are constants C(ɛ) so that C(ɛ) N _ɛ(T) converges in L ² as ɛ→0. When X admits a continuous local time, the limit is the local time L(0, T) at zero of X(t).