Some zero-one laws for additive functionals of Markov processes

Summary Let (X _t,P ^x ) be anm-symmetric Markov process with a strictly positive transition density. Consider the additive functionalA _t : = ₀ ^t f (X _s ) wheref:E0, ] is a universally measurable function on the state spaceE. Among others, we prove thatP ^x (A _t <)=1, for somexE and somet>0, already impliesP ^x (A _t <)=1, for quasi everyxE and allt>0. The latter is also equivalent toP ^x (A _t <)>0, for quasi everyxE and allt>0, and to the analytic condition , for a sequence of finely open Borel setsF _n such thatEF _n is polar. In the special cases of Brownian motion and Bessel process, these results were obtained earlier by H.J. Engelbert, W. Schmidt, X.-X. Xue and the authors.