Soient I=[0,T) et (ϕn)n une base hilbertienne orthonormale de l'espace de Hilbert L2(I) des fonctions φ:I→R de carré intégrable pour la mesure de Lebesgue sur I. On note ⟨φ,ψ⟩=∫0Tφ(t)ψ(t)dt le produit scalaire des fonctions φ,ψ∈L2(I). Soit (Xi)i∈N une suite de variables aléatoires i.i.d de loi N(0,1) définie sur un espace de probabilités (Ω,F,P).
Pour tout t∈I, on pose
Bt=∑n∈N⟨1[0,t],ϕn⟩Xn
1. Montrer que la série ∑n∈N∣⟨1[0,t],ϕn⟩∣2 est convergente.
2. Montrer que le processus B=(Bt)t∈I est bien défini.
3. Montrer que B=(Bt)t∈I est un mouvement brownien naturel sur (Ω,F,P).
4. Montrer que B=(Bt)t∈I admet une modification dont les trajectoires sont localement α-höldériennes pour tout 0<α<21.