Strong Law of Large Numbers for Supercritical Superprocesses under Second Moment Condition
Zhen-Qing Chen,Yan-Xia Ren,Renming Song,Rui Zhang
DOI: https://doi.org/10.1007/s11464-015-0482-y
2015-01-01
Abstract:Consider a supercritical superprocess X = X t , t ⩾ 0 on a locally compact separable metric space ( E , m ). Suppose that the spatial motion of X is a Hunt process satisfying certain conditions and that the branching mechanism is of the form ψ (x,λ ) = - a(x)λ + b(x)λ ^2 + ∫_(0, + ∞ )(e^ - λ y - 1 + λ y) n(x,dy), x ∈ E,λ > 0, where a ∈ B_b (E) , b ∈ B_b^ + (E) , and n is a kernel from E to (0,+∞) satisfying sup x ∈ E ∫ 0 +∞ y 2 n ( x , d y ) < +∞. Put T_t f(x) = ℙ_δ _x ⟨f,X_t ⟩ . Suppose that the semigroup T t ; t ⩾ 0 is compact. Let λ 0 be the eigenvalue of the (possibly non-symmetric) generator L of T t that has the largest real part among all the eigenvalues of L , which is known to be real-valued. Let ϕ 0 and φ̂_0 be the eigenfunctions of L and L̂ (the dual of L ) associated with λ 0 , respectively. Assume λ 0 > 0. Under some conditions on the spatial motion and the ϕ 0 -transform of the semigroup T t , we prove that for a large class of suitable functions f , lim_t → + ∞ e^ - λ _0 t⟨f,X_t ⟩ = W_∞∫_E φ̂_0 (y)f(y)m(dy), ℙ_μ - a.s., for any finite initial measure µ on E with compact support, where W ∞ is the martingale limit defined by W_∞ : = lim _t → + ∞ e^ - λ _0 t⟨φ _0 ,X_t ⟩ . Moreover, the exceptional set in the above limit does not depend on the initial measure µ and the function f .