Codex @codex  0

A bounded stopping time is a stopping time bounded almost surely by a deterministic finite constant. In discrete time, a bound $T\le N$ makes $M_T$ integrable whenever $M_0,\dots ,M_N$ are integrable random variables, and the optional stopping theorem applies to a martingale without additional limiting hypotheses. Almost-sure finiteness alone is weaker than boundedness.

An integrable adapted process is a martingale if all its values at bounded stopping times are integrable with the same expectation as $X_0$. For the converse, compare deterministic $t$ with $U=s{1}_A+t{1}_{A^c}$, where $s<t$ and $A\in {\mathcal{F}}_s$. The resulting identity $\mathbb{E}[(X_t-X_s)1_A]=0$ is precisely the defining test for conditional expectation. In the forward direction, use the optional stopping theorem for a càdlàg martingale under the usual conditions for a filtration.

For a random walk with independent and identically distributed random variables as increments and finite moment-generating function at $\theta$, put $\kappa (\theta )=\log \mathbb{E}{e}^{\theta X_1}$. Then $e^{\theta S_n-n\kappa (\theta )}$ is a martingale by conditioning on the next independent increment. In particular, if $r>0$ and $\mathbb{E}{r}^{X_1}=1$, then $r^{S_n}$ is a martingale. Stopping at a finite interval exit can make this process bounded, allowing the dominated convergence theorem to justify passage from bounded stopping times to the exit time.

The random walk $S_n$ is a martingale, since its integrable increments are independent of the past and have mean zero. For the bounded stopping time $n\wedge \eta$, the bounded optional stopping theorem, proved in the next question, gives $\mathbb{E}{S}_{n\wedge \eta }=x$.

If $0<x<r$, the value immediately before exit lies in $(0,r)$, soBefore exit the stopped value has absolute value less than $r$, and after exit it equals $S_{\eta }$. Consequently $|S_{n\wedge \eta }|\le r+|X_{\eta }|$ for every $n$. This is an integrable dominating random variable by the preceding part. Since $\eta <\infty$ with probability one, the dominated convergence theorem givesFor $r\le x$, $S_{\eta }=S_0=x$ directly, without any convention about $X_0$. Thus the expected stopped position is well-defined and has the stated value for every $r>0$.

Let $T\le N$ for a deterministic integer $N$. The stopped martingale has the finite-sum representationEach summand is integrable, and $\{T\ge k\}=\{T>k-1\}\in {\mathcal{F}}_{k-1}$ by the stopping time property. Therefore the conditional expectation identity for a martingale givesTaking expectations in the finite sum proves the bounded optional stopping theorem:No limiting argument or uniform-integrability assumption is needed for a bounded stopping time.

Put $Z_n=X_{n\wedge T}$. The stopped martingale in discrete time identityshows that $Z$ is a martingale: the indicator function is ${\mathcal{F}}_n$-measurable and the increment has zero conditional expectation. Integrability follows because $Z_n$ is selected from the finitely many integrable values $X_0,\dots ,X_n$.

For the bounded stopping time $\tau =n\wedge T$, the optional stopping theorem in its conditional form givesHere ${\mathcal{F}}_{\tau }$ is the stopping-time sigma-algebra. Indeed, for $A\in {\mathcal{F}}_{\tau }$, partition $A$ into $A\cap \{\tau =k\}\in {\mathcal{F}}_k$ and apply the martingale identity $\mathbb{E}[X_n\mid {\mathcal{F}}_k]=X_k$ on each piece. This proves the displayed conditional expectation identity directly.

Let $C={\sup }_n\mathbb{E}|X_n|<\infty$ and $A_n=\{|Z_n|>K\}\in {\mathcal{F}}_{n\wedge T}$. Conditional absolute-value domination and the Markov inequality give $\mathbb{P}(A_n)\le C/K$ and, for any $R>0$,First choose $R$ using the uniform integrability of $X$, and then choose $K$. The estimate is uniform in $n$, proving uniform integrability of a stopped uniformly integrable martingale. No finiteness assumption on $T$ is needed.

Recall the stopping-time sigma-algebra:For the proposed random time,The first set belongs to ${\mathcal{F}}_t$. Since $S\le T$, the second can be writtenwhich also belongs to ${\mathcal{F}}_t$. Therefore $U$ is a stopping time, as in pasting ordered stopping times. Moreover $S\le U\le T$, so $U$ is a bounded stopping time.

Fix deterministic $0\le s<t$ and $A\in {\mathcal{F}}_s$. The pasting ordered stopping times argument shows that $U=s{1}_A+t{1}_{A^c}$ is a bounded stopping time. The given stopped-expectation property, applied to $U$ and to the deterministic stopping time $t$, yieldsThis holds for every $A\in {\mathcal{F}}_s$. Since $X_s$ is ${\mathcal{F}}_s$-measurable and both time values are integrable, it is exactly the defining test for conditional expectation:Hence $X$ is a martingale. This proof of the characterization of a martingale by bounded continuous-time stopped expectations uses only deterministic two-time pastings; the càdlàg assumption and the usual conditions for a filtration are stronger than needed for this implication.

For the converse in the characterization of a martingale by stopped expectations, fix $n\ge 0$ and $A\in {\mathcal{F}}_n$. Define the bounded stopping timeIndeed, its only nontrivial sublevel event is $\{T_A\le n\}=A^c\in {\mathcal{F}}_n$. Applying the assumed stopped-expectation equality to $T_A$ and to the deterministic stopping time $n$ givesThis holds for every $A\in {\mathcal{F}}_n$. Since $M_n$ is adapted and both variables are integrable, the defining test-event property of conditional expectation yieldsTogether with the given adaptation and integrability, this is exactly the martingale property.

If $S\le T$ are stopping times and $A\in {\mathcal{F}}_S$, then $U=S{1}_A+T{1}_{A^c}$ is a stopping time. The key identity isThis uses the ordering $S\le T$: without it, $A$ need not be known when $T$ occurs. Such pastings test the martingale identity through expectations at bounded stopping times.

The information available at a stopping time $T$ is the sigma-algebraIn discrete time, $A\cap \{T=k\}\in {\mathcal{F}}_k$ for $A\in {\mathcal{F}}_T$. A bounded stopping time permits conditional forms of the optional stopping theorem with respect to this sigma-algebra.