Stopped process

In mathematics, a stopped process is a stochastic process that is forced to assume the same value after a prescribed (possibly random) time.

Definition

Let

• $(\Omega ,{\mathcal {F}},\mathbb {P} )$ be a probability space;
• $(\mathbb {X} ,{\mathcal {A}})$ be a measurable space;
• $X:[0,+\infty )\times \Omega \to \mathbb {X}$ be a stochastic process;
• $\tau :\Omega \to [0,+\infty ]$ be a stopping time with respect to some filtration $\{{\mathcal {F}}_{t}|t\geq 0\}$ of ${}{\mathcal {F}}$.

Then the stopped process $X^{\tau }$ is defined for $t\geq 0$ and $\omega \in \Omega$ by

$X_{t}^{\tau }(\omega ):=X_{\min\{t,\tau (\omega )\}}(\omega ).$

Examples

Gambling

Consider a gambler playing roulette. X_t denotes the gambler's total holdings in the casino at time t ≥ 0, which may or may not be allowed to be negative, depending on whether or not the casino offers credit. Let Y_t denote what the gambler's holdings would be if he/she could obtain unlimited credit (so Y can attain negative values).

• Stopping at a deterministic time: suppose that the casino is prepared to lend the gambler unlimited credit, and that the gambler resolves to leave the game at a predetermined time T, regardless of the state of play. Then X is really the stopped process Y^T, since the gambler's account remains in the same state after leaving the game as it was in at the moment that the gambler left the game.
• Stopping at a random time: suppose that the gambler has no other sources of revenue, and that the casino will not extend its customers credit. The gambler resolves to play until and unless he/she goes broke. Then the random time

$\tau (\omega ):=\inf\{t\geq 0|Y_{t}(\omega )=0\}$

is a stopping time for Y, and, since the gambler cannot continue to play after he/she has exhausted his/her resources, X is the stopped process Y^τ.

Brownian motion

Let $B:[0,+\infty )\times \Omega \to \mathbb {R}$ be a one-dimensional standard Brownian motion starting at zero.

• Stopping at a deterministic time $T>0$: if $\tau (\omega )\equiv T$, then the stopped Brownian motion $B^{\tau }$ will evolve as per usual up until time $T$, and thereafter will stay constant: i.e., $B_{t}^{\tau }(\omega )\equiv B_{T}(\omega )$ for all $t\geq T$.
• Stopping at a random time: define a random stopping time $\tau$ by the first hitting time for the region $\{x\in \mathbb {R} |x\geq a\}$:

$\tau (\omega ):=\inf\{t>0|B_{t}(\omega )\geq a\}.$

Then the stopped Brownian motion $B^{\tau }$ will evolve as per usual up until the random time $\tau$, and will thereafter be constant with value $a$: i.e., $B_{t}^{\tau }(\omega )\equiv a$ for all $t\geq \tau (\omega )$.

See also

• Killed process

References

• Robert G. Gallager. Stochastic Processes: Theory for Applications. Cambridge University Press, Dec 12, 2013 pg. 450