A martingale residual is observed minus model-expected event count:
where is the fitted individual cumulative hazard. Under an adequate model it estimates the terminal value of a counting-process martingale.
Fit a model omitting the continuous explanatory variable , plot against , and add a flexible smooth curve. A curve fluctuating around zero without structure supports omission. A monotone or curved trend indicates that event incidence still depends on , suggesting inclusion of or a nonlinear transformation of it. The residuals are highly skewed, so the smoothed trend is more informative than an assumption of Gaussian scatter.
Let . The function is a harmonic function on the annulus , so Itô formula shows that
is a bounded martingale. By the optional sampling theorem for a supermartingale applied to this martingale,
where . Solving gives the planar Brownian annulus hitting probability
Put and . Before , the integer-valued increment belongs to . The martingale property gives
Their sum is at least , so each conditional probability is at least . From any state in , a run of at most upward moves reaches and has conditional probability at least . Applied in successive blocks of steps, this gives
so almost surely.
The stopped process takes values in , hence is a bounded martingale and has uniform integrability. The optional sampling theorem for a supermartingale gives
because is zero or . Therefore
Let . It is a continuous square-integrable martingale, and the assumed bracket identity gives
for every continuous square-integrable martingale . Choose and use part (i):
Thus almost surely, and the conditional expectation property gives for every . Hence up to indistinguishability of stochastic processes.
The martingale product identity says that is a martingale. Passing to the terminal values of the square-integrable martingales and using gives
The quadratic covariation identity for a stochastic integral is
Applying the same product identity to and therefore gives
Define the deterministic function . The independent increments from part (i) show that is increasing and that is a martingale. Mean-square continuity follows from path continuity and the Gaussian laws, so is continuous.
The Itô formula also says that is a local martingale. Their difference is therefore a continuous finite-variation process that is also a local martingale. By the theorem that a continuous finite-variation local martingale is constant, and because the difference starts at zero,
for all almost surely.
Fix . Since is a martingale,
Every finite vector consisting of and past values has a multivariate normal distribution. Therefore uncorrelated jointly normal variables are independent, so the increment is independent of every finite vector of past values. A Monotone class theorem then extends this to independence from . This is the independent increments of a Gaussian martingale.
False. Let and define . This is a centered continuous Gaussian process. Its natural filtration satisfies for every , and hence, for ,
with positive probability. Thus is not a martingale and does not belong to the stated martingale class.
The function is a harmonic function on the annulus . The Itô formula therefore makes a bounded martingale. The optional sampling theorem for a supermartingale gives
where . Solving this linear equation yields the planar Brownian annulus hitting probability
Let and apply the Itô formula to for . The heat equation cancels the drift, so the stopped process is a bounded martingale. The optional sampling theorem for a supermartingale gives . On the three mutually exclusive terminal events, the initial and Dirichlet boundary conditions identify this value as
This is the probabilistic representation of the heat equation with time-dependent Dirichlet data.
The Strong Markov property and part (b) show that, before ,
Thus is a bounded martingale. From the given stochastic differential equation,
The Itô formula says that the drift of is
It must vanish. Dividing by and using the algebraic identity supplied in the question gives
For , the defining identity for gives
Part (b) therefore identifies with , so is a martingale.
The atom formula also proves
Let . Then by Markov inequality, while
The uniform absolute continuity for a finite measure makes the right-hand side uniformly small as . Thus is uniformly integrable. The Martingale convergence theorem now supplies an integrable random variable such that both almost surely and in .
Let be a martingale, let , and let count the completed upcrossings of by time . Doob upcrossing inequality states
Equivalent conventions for a process with a prescribed initial holding add the corresponding endpoint term.
Let be bounded, choose with , and let and be the respective exit times. Then . Since
is a martingale, the optional sampling theorem for a supermartingale at gives
Monotone convergence theorem now gives
For , Itô formula shows that
is a martingale. Take expectations and let . The function is bounded on the compact set , while is bounded and by part (a). The dominated convergence theorem therefore gives Dynkin formula for Brownian motion
If are stopping times and , then is a stopping time. The key identity is
This uses the ordering : without it, need not be known when occurs. Such pastings test the martingale identity through expectations at bounded stopping times.
Let be positive definite. Market completeness restricts each parent atom to at most successors, while positive definiteness forces exactly independent successor price vectors. The positive martingale deflator supplied by the fundamental theorem of asset pricing then has the unique one-step ratio . Its product deflates the prices into martingales.
For a finite-valued predictable process , this is a stopping time and increases to infinity. The stopped martingale transform uses coefficients , which are predictable and bounded by . Thus a transform of a discrete-time martingale is a local martingale without a global boundedness assumption. The stop is before, not after, the first large coefficient is used.
Rare-jump martingale divergence Created 2026-10-06 Updated 2026-10-07
A martingale can diverge to almost surely when its increments are finite but not uniformly bounded. For independent Bernoulli random variables with ,
has centered integrable increments. The First Borel-Cantelli lemma makes the rare negative jumps occur only finitely often, after which every increment equals one. The expectation remains zero at every finite time despite this pathwise divergence.
Risk-neutral measure for the Black-Scholes model Created 2026-09-24 Updated 2026-10-03
For , shifting Brownian drift by
makes under an equivalent martingale measure . The discounted stock is then a martingale.