Section: New Results

Sample paths properties of the set-indexed Lévy process

Participant : Erick Herbin.

In collaboration with Prof. Ely Merzbach (Bar Ilan University, Israel).

In [24] , the class of set-indexed Lévy processes is considered using the stationarity property defined for the set-indexed fractional Brownian motion in [23] . Following Ivanoff-Merzbach's definitions of an indexing collection 𝒜 and its extensions 𝒞 0 ={UV;U,V𝒜} and

𝒞=U 1in V i ;n𝐍;U,V 1 ,,V n 𝒜,

a set-indexed process X=X U ;U𝒜 is called a set-indexed Lévy process if the following conditions hold

  1. X ' =0 almost surely, where ' = U𝒜 U.

  2. the increments of X are independent: for all pairwise disjoint C 1 ,,C n in 𝒞, the random variables ΔX C 1 ,,ΔX C n are independent.

  3. X has m-stationary 𝒞 0 -increments, i.e. for all integer n, all V𝒜 and for all increasing sequences (U i ) i and (A i ) i in 𝒜, we have

    i,m(U i V)=m(A i )(ΔX U 1 V ,,ΔX U n V )= (d)(ΔX A 1 ,,ΔX A n )
  4. X is continuous in probability.

On the contrary to previous works of Adler and Feigin (1984) on one hand, and Bass and Pyke (1984) one the other hand, the increment stationarity property allows to obtain explicit expressions for the finite-dimensional distributions of a set-indexed Lévy process. From these, we obtained a complete characterization in terms of Markov properties.

The question of continuity is more complex in the set-indexed setting than for real-parameter stochastic processes. For instance, the set-indexed Brownian motion can be not continuous for some indexing collection. We consider a weaker form of continuity, which studies the possibility of point jumps.

The point mass jump of a set-indexed function x:𝒜𝐑 at t𝒯 is defined by

J t (x)=lim n Δx C n (t) , where C n (t)= C𝒞 n tC C(12)

and for each n1, 𝒞 n denotes the collection of subsets UV with U𝒜 n (a finite sub-semilattice which generates 𝒜 as n) and V𝒜 n (u). A set-indexed function x:𝒜𝐑 is said pointwise-continuous if J t (x)=0, for all t𝒯.

Theorem Let {X U ;U𝒜} be a set-indexed Lévy process with Gaussian increments. Then for any U max 𝒜 such that m(U max )<+, the sample paths of X are almost surely pointwise-continuous inside U max , i.e.

P(tU max ,J t (X)=0)=1.

In the general case, for all ϵ>0, For all U𝒜 with UU max , we define

N U (B)=#tU:J t (X)B,X U B = B x.N U (dx),(13)

for all B ϵ , the σ-field generated by the opened subsets of {x𝐑:|x|>ϵ}. The sample paths of the set-indexed Lévy processes can be derived from the following Lévy-Ito decomposition proved in [24] .

Theorem Let (σ,γ,ν) the generating triplet of the SI Lévy process X.

Then X can be decomposed as

ωΩ,U𝒜,X U (ω)=X U (0) (ω)+X U (1) (ω),


  1. X (0) ={X U (0) ;U𝒜} is a set-indexed Lévy process with Gaussian increments, with generating triplet (σ,γ,0),

  2. X (1) ={X U (1) ;U𝒜} is the set-indexed Lévy process with generating triplet (0,0,σ), defined for some Ω 1 with P(Ω 1 )=1 by

    ωΩ 1 ,U𝒜,X U (1) (ω)= |x|>1 xN U (dx,ω)+lim ϵ0 ϵ<|x|1 xN U (dx,ω)-m(U)ν(dx),(14)

    where N U is defined in (13 ) and the last term of (14 ) converges uniformly in UU max (for any given U max 𝒜) as ϵ0,

  3. and the processes X (0) and X (1) are independent.