VIII: 13, 172-261, LNM 381 (1974)
MAISONNEUVE, Bernard;
MEYER, Paul-André
Ensembles aléatoires markoviens homogènes (5 talks) (
Markov processes)
This long exposition is a development of original work by the first author. Its purpose is the study of processes which possess a strong Markov property, not at all stopping times, but only at those which belong to a given homogeneous random set $M$---a point of view introduced earlier in renewal theory (Kingman, Krylov-Yushkevich, Hoffmann-Jörgensen, see
412). The first part is devoted to technical results: the description of (closed) optional random sets in the general theory of processes, and of the operations of balayage of random measures; homogeneous processes, random sets and additive functionals; right Markov processes and the perfection of additive functionals. This last section is very technical (a general problem with this paper).\par Chapter II starts with the classification of the starting points of excursions (``left endpoints'' below) from a random set, and the fact that the projection (optional and previsible) of a raw AF still is an AF. The main theorem then computes the $p$-balayage on $M$ of an additive functional of the form $A_t=\int_0^th\circ X_s ds$. All these balayages have densities with respect to a suitable local time of $M$, which can be regularized to yield a resolvent and then a semigroup. Then the result is translated into the language of homogeneous random measures carried by the set of left endpoints and describing the following excursion. This section is an enlarged exposition of results due to Getoor-Sharpe (
Ann. Prob. 1, 1973;
Indiana Math. J. 23, 1973). The basic and earlier paper of Dynkin on the same subject (
Teor. Ver. Prim. 16, 1971) was not known to the authors.\par Chapter III is devoted to the original work of Maisonneuve on incursions. Roughly, the incursion at time $t$ is trivial if $t\in M$, and if $t\notin M$ it consists of the post-$t$ part of the excursion straddling $t$. Thus the incursion process is a path valued, non adapted process. It is only adapted to the filtration ${\cal F}_{D_t}$ where $D_t$ is the first hitting time of $M$ after $t$. Contrary to the Ito theory of excursions, no change of time using a local time is performed. The main result is the fact that, if a suitable regeneration property is assumed only on the set $M$ then, in a suitable topology on the space of paths, this process is a right-continuous strong Markov process. Considerable effort is devoted to proving that it is even a right process (the technique is heavy and many errors have crept in, some of them corrected in
932-
933).\par Chapter IV makes the connection between II and III: the main results of Chapter II are proved anew (without balayage or Laplace transforms): they amount to computing the Lévy system of the incursion process. Finally, Chapter V consists of applications, among which a short discussion of the boundary theory for Markov chains
Comment: This paper is a piece of a large literature. Some earlier papers have been mentioned above. Maisonneuve published as
Systèmes Régénératifs, Astérisque, 15, 1974, a much simpler version of his own results, and discovered important improvements later on (some of which are included in Dellacherie-Maisonneuve-Meyer,
Probabilités et Potentiel, Chapter XX, 1992). Along the slightly different line of Dynkin, see El~Karoui-Reinhard,
Compactification et balayage de processus droits, Astérisque 21, 1975. A recent book on excursion theory is Blumenthal,
Excursions of Markov Processes, Birkhäuser 1992
Keywords: Regenerative systems,
Regenerative sets,
Renewal theory,
Local times,
Excursions,
Markov chains,
IncursionsNature: Original Retrieve article from Numdam