The rate of convergence in Orey's theorem for Harris recurrent Markov chains with applications to renewal theory

We derive sufficient conditions for ∝ λ (dx)6Pⁿ(x, ·) - π6 to be of order o(ψ(n)^-1), where Pⁿ (x, A) are the transition probabilities of an aperiodic Harris recurrent Markov chain, π is the invariant probability measure, λ an initial distribution and ψ belongs to a suitable class of non-decreasing sequences. The basic condition involved is the ergodicity of order ψ, which in a countable state space is equivalent to $\text{Σ ψ(n)}\text{P}{}_{\mathrm{i}}\text{{τ}{}_{\mathrm{i}}\text{?n} <∞}$ for some i, where τ_i is the hitting time of the tate i. We also show that for a general Markov chain to be ergodic of order ψ it suffices that a corresponding condition is satisfied by a small set.We apply these results to non-singular renewal measures on $\text{R}$ providing a probabilisite method to estimate the right tail of the renewal measure when the increment distribution F satisfies ∝ tF(dt) 0; > 0 and ∝ ψ(t)(1- F(t))dt< ∞.     

The Wiener Sequential Testing Problem with Finite Horizon

We present a solution of the Bayesian problem of sequential testing of two simple hypotheses about the mean value of an observed Wiener process on the time interval with finite horizon. The method of proof is based on reducing the initial optimal stopping problem to a parabolic free-boundary problem where the continuation region is determined by two continuous curved boundaries. By means of the change-of-variable formula containing the local time of a diffusion process on curves we show that the optimal boundaries can be characterized as a unique solution of the coupled system of two nonlinear integral equations.     

The mean value property for harmonic functions on graphs and trees

Following the Euclidean example, we introduce the strong and weak mean value property for finite variation measures on graphs. We completely characterize finite variation measures with bounded support on radial trees which have the strong mean value property. We show that for counting measures on bounded subsets of a tree with root o, the strong mean value property is equivalent to the invariance of the subset under the action of the stabilizer of o in the automorphism group. We finally characterize, using the discrete Laplacian, the finite variation measures on a generic graph which have the weak mean value property and we give a non-trivial example. Received: July 21, 2000; in final form: March 13, 2001?Published online: March 19, 2002