Strict Past Conditioning at Arbitrary Times

  • B. Maisonneuve
Part of the Progress in Probability and Statistics book series (PRPR, volume 12)


Let Open image in new window be a Hunt process with state space (E, ℰ). In [4] Weil proved the conditional independence of Open image in new window and θT given XT _ for certain hitting times T of the process (Xt _,Xt)t>0. In [3] Pitman investigated the stochastic dependence of Open image in new window and θT for arbitrary stopping times T. Here we shall look at this question for arbitrary times T. The main result is formula (3) below which contains both Weil’s result, its extension to arbitrary hitting times of (Xt_,Xt) (Theorem 2) and a result for last exit times. This was thought to be an introduction to similar formulae for the excursions straddling arbitrary times, but we had no time to work out the details for the present publication.


Conditional Independence Random Time Exit Time Arbitrary Time Similar Formula 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Benveniste and J. Jacod. Systèmes de Lévy des processus de Markov. Invent. Math. 21 (1973), 183–198.MathSciNetMATHCrossRefGoogle Scholar
  2. [2]
    C. Dellacherie. Au sujet des sauts d’un processus de Hunt. Séminaire de Probabilités IV, 71–72, Lecture Notes Math. 124. Springer, Berlin, 1970.Google Scholar
  3. [3]
    J. W. Pitman. Lévy Systems and path decompositions. Seminar on Stochastic Processes, 1981, 79–110. Birkhäuser, Boston, 1981.Google Scholar
  4. [4]
    M. Weil. Conditionnement par rapport au passé strict. Séminaire de Probabilités V, 362–372, Lecture Notes Math. 191. Springer, Berlin, 1971.Google Scholar

Copyright information

© Birkhäuser Boston, Inc. 1986

Authors and Affiliations

  • B. Maisonneuve
    • 1
  1. 1.I.M.S.S.Université de Grenoble IIGrenoble CedexFrance

Personalised recommendations