Write the residual process as
For , the filtration tells us whether each has arrived by time , and its exact arrival time if it has. On , its conditional law is uniform on . Independence of the original means that the histories of the other arrivals do not alter this law. Hence
This conditional identity can also be checked against products of bounded functions of the censored arrival times and extended to by the Monotone class theorem. Summing the identity gives .
Each is adapted and integrable, with
Its paths are smooth between the finitely many arrival times and have downward jumps of size at arrivals before time one. The indicators use , so the value at a jump is the post-jump value: paths are right continuous with finite left limits on . Thus is a càdlàg martingale, specifically the uniform-arrival residual mass martingale.
Since there are finitely many arrival times and each is strictly below one almost surely, almost surely. For every with , all weights have arrived and . Therefore almost surely as .
Nevertheless for every . If the family were uniformly integrable, its almost-sure convergence along any deterministic sequence tending to one would imply convergence in , and hence convergence of expectations to zero. This is impossible. Thus the martingale is not uniformly integrable. Its constant expected mass is carried by increasingly rare, late arrivals.
If , the strict inequality in question already fails at time zero, almost surely, since . Its probability is therefore zero, as required. Assume for the rest that , so .
Before time one the boundary inequality is equivalent to . The process increases continuously between arrivals and has only downward jumps. Its first time of reaching level one must consequently be a continuous crossing, except possibly if an arrival occurs at the very same instant. All possible first crossing times belong to the finite deterministic set
A uniform arrival hits none of these times almost surely. Thus on . This finite candidate set also proves the stopping-time property directly: determining whether a crossing has occurred by time only uses the arrival history up to . The boundary set always contains time one because , so .
For a deterministic , the martingale is bounded on by . The optional stopping theorem for a bounded stopping time therefore gives
Moreover : if its value is one, and otherwise no crossing has yet occurred. As , the stopped value tends to one on and to zero on , because after the last arrival the unstopped process is zero. Dominated convergence now gives
This is the finite-jump boundary crossing identity. It uses uniform integrability of the bounded stopped values, not uniform integrability of the original family, which fails.

Articles by others on the same topic (0)

There are currently no matching articles.