Hitting time

Let T be an ordered index set such as the natural numbers, ${\displaystyle \mathbb {N} ,}$ the non-negative real numbers, [0, +∞), or a subset of these; elements ${\displaystyle t\in T}$ can be thought of as "times". Given a probability space (Ω, Σ, Pr) and a measurable state space S, let ${\displaystyle X:\Omega \times T\to S}$ be a stochastic process, and let A be a measurable subset of the state space S. Then the first hit time ${\displaystyle \tau _{A}:\Omega \to [0,+\infty ]}$ is the random variable defined by

${\displaystyle \tau _{A}(\omega ):=\inf\{t\in T\mid X_{t}(\omega )\in A\}.}$

The first exit time (from A) is defined to be the first hit time for S \ A, the complement of A in S. Confusingly, this is also often denoted by τ_A.[1]

The first return time is defined to be the first hit time for the singleton set {X₀(ω)}, which is usually a given deterministic element of the state space, such as the origin of the coordinate system.

• Any stopping time is a hitting time for a properly chosen process and target set. This follows from the converse of the Début theorem (Fischer, 2013).
• Let B denote standard Brownian motion on the real line ${\displaystyle \mathbb {R} }$ starting at the origin. Then the hitting time τ_A satisfies the measurability requirements to be a stopping time for every Borel measurable set ${\displaystyle A\subseteq \mathbb {R} .}$
• For B as above, let τ_r (r > 0) denote the first exit time for the interval (−r, r), i.e. the first hit time for ${\displaystyle (-\infty ,-r]\cup [r,+\infty ).}$ Then the expected value and variance of τ_r satisfy

$${\displaystyle {\begin{aligned}\operatorname {E} \left[\tau _{r}\right]&=r^{2},\\\operatorname {Var} \left[\tau _{r}\right]&={\tfrac {2}{3}}r^{4}.\end{aligned}}}$$

• For B as above, the time of hitting a single point (different from the starting point 0) has the Lévy distribution.

The hitting time of a set F is also known as the début of F. The Début theorem says that the hitting time of a measurable set F, for a progressively measurable process, is a stopping time. Progressively measurable processes include, in particular, all right and left-continuous adapted processes. The proof that the début is measurable is rather involved and involves properties of analytic sets. The theorem requires the underlying probability space to be complete or, at least, universally complete.

The converse of the Début theorem states that every stopping time defined with respect to a filtration over a real-valued time index can be represented by a hitting time. In particular, for essentially any such stopping time there exists an adapted, non-increasing process with càdlàg (RCLL) paths that takes the values 0 and 1 only, such that the hitting time of the set {0} by this process is the considered stopping time. The proof is very simple.[2]

• Stopping time