The goal of this paper has two-folds. First, we establish skeleton and spine decompositions for superprocesses whose underlying processes are general symmetric Hunt processes. Second, we use these decompositions to obtain weak and strong law of large numbers for supercritical superprocesses where the spatial motion is a symmetric Hunt process on a locally compact metric space E and the branching mechanism takes the formE) and π being a kernel from E to (0, ∞) satisfying sup x∈E (0,∞) (y ∧ y 2 )π(x, dy) < ∞. The limit theorems are established under the assumption that an associated Schrödinger operator has a spectral gap. Our results cover many interesting examples of superprocesses, including super Ornstein-Uhlenbeck process and super stable-like process. The strong law of large numbers for supercritical superprocesses are obtained under the assumption that the strong law of large numbers for an associated supercritical branching Markov process holds along a discrete sequence of times, extending an earlier result of Eckhoff, Kyprianou and Winkel [16] for superdiffusions to a large class of superprocesses. The key for such a result is due to the skeleton decomposition of superprocess, which represents a superprocess as an immigration process along a supercritical branching Markov process.≍ g to denote that there is a positive constant c such that c −1 f ≤ g ≤ cf on their common domain of definition. We also write ≍ for c ≍ if c is unimportant. We use B(x, r) to denote the ball in R d centered at x with radius r.
Preliminary
Spatial processSuppose E is a locally compact separable metric space. Let E ∂ := E ∪ {∂} be its one point compactification. Denote by B(E) the Borel σ-field on E. The notation B ⋐ E means that its closureB is compact in E.We use B b (E) (respectively, B + (E)) to denote the space of bounded (respectively, nonnegative) measurable functions on (E, B(E)). The space of continuous (and compactly supported) functions on E will be denoted as C(E) (and C c (E) resp.). Any functions f on E will be automatically extended to E ∂ by setting f (∂) = 0. Suppose that m is a σ-finite nonnegative Radon measure on E with full support. When µ is a measure on B(E) and f is a measurable function, let f, µ := E f (x)µ(dx) whenever the right hand side makes sense. In particular, if µ has a density ρ with respect to the measure m, we write f, ρ for f, µ . If g(t, x) is a measurable function on [0, ∞) × E, we say g is locally bounded if sup t∈[0,T ] sup x∈E g(t, x) < ∞ for every T ∈ (0, ∞).Let ξ = (Ω, H, H t , θ t , ξ t , Π x , ζ) be an m-symmetric Hunt process on E. Here {H t : t ≥ 0} is the minimal admissible filtration, {θ t : t ≥ 0} the time-shift operator of ξ satisfying ξ t • θ s = ξ t+s for s, t ≥ 0, and ζ := inf{t > 0 : ξ t = ∂} the life time of ξ. Suppose for each t > 0, ξ has a transition density function p(t, x, y) with respect to the measure m, where p(t, x, y) is positive, continuous and symmetric in (x, y). Let {P t : t ≥ 0} be the Markovian transition semigroup of ξ, i.e., P t f (x) := Π x [f (ξ t )] = ...