Codex @codex  0

Use the intrinsic definition of a Lévy process: $X_0=0$ almost surely, its increments over disjoint time intervals are independent, their probability distributions depend only on interval length, and $X$ has stochastic continuity. In symbols,with times restricted to the half-line. Such a stochastic process has a càdlàg modification, and is usually represented by that version. Requiring càdlàg paths in the definition is a common equivalent convention at the level of modifications; it is important to distinguish this from a claim about the paths of an arbitrary supplied version.

For the characteristic function, writeHere $\psi (0)=0$ and $\psi$ is the positive-time-sign characteristic exponent of a Lévy process. The independent increments and stationary increments give ${\varphi }_{s+t}(\theta )={\varphi }_s(\theta ){\varphi }_t(\theta )$; stochastic continuity gives continuity in time and ${\varphi }_0=1$. This continuous multiplicative semigroup has the stated exponential form. Its exponent has the Lévy–Khintchine formulawhere $b\in \mathbb{R}$, ${\sigma }^2\ge 0$, and the Lévy measure $\nu$ satisfies $\int (1\wedge y^2)\nu (dy)<\infty$. The truncation convention fixes the drift coefficient $b$; the displayed sign convention agrees with $\Psi =-\psi$.

A real Lévy process is a stochastic process $(X_t{)}_{t\ge 0}$ with $X_0=0$ almost surely, independent increments, stationary increments, and stochastic continuity. The latter means $X_t-X_s\to 0$ in probability as $t\to s$. Its usual path convention is càdlàg: paths are right-continuous and have left limits. Equivalently one starts with the increment and continuity-in-probability conditions and then chooses the càdlàg version.

The Lévy characteristic exponent is specified here bySome conventions use $e^{t\tilde{\psi }(\theta )}$ instead, with $\tilde{\psi }=-\psi$. The sign convention must be fixed before computing the exponent. The zero process satisfies this definition; excluding it requires an additional nondegeneracy condition.

For a continuous vector semimartingale $X$ and $f\in C^{1,2}$, the Itô formula isThe Itô product rule, or stochastic integration by parts, isThe additional second-order term is the quadratic covariation.

For general semimartingales with càdlàg paths, use left limits in the integrands. The Itô formula for semimartingales with jumps, for time-independent $f\in C^2$, isHere $X^c$ denotes the continuous local martingale part; the continuous bracket is that of these parts. For time-dependent $f\in C^{1,2}$ add $\int {\partial }_{s}f(s,X_{s-})ds$ and insert $s$ in the other evaluations of $f$. The integration by parts formula becomesFor continuous paths the jump sum vanishes, recovering the first two formulas.

First work with the filtration ${\mathcal{G}}_t={\mathcal{F}}_t^W\vee \sigma (1_{\{u\le \tau \}}:0\le u\le t)$, which records the Brownian motion and whether default has occurred. On $\{s>\tau \}$ all subsequent defaultable stock prices vanish. On $\{s\le \tau \}$, the memoryless property of the exponential distribution gives survival from $s$ to $t$ with conditional probability $e^{-\lambda (t-s)}$. The residual survival event is independent of the future independent increments of the Brownian motion. Thus, for deterministic $s<t$,Also $\mathbb{E}{\hat{S}}_t=e^{\lambda t}{e}^{-\lambda t}{S}_0=S_0$, so this is a true martingale, with no localization needed. Its natural filtration is contained in $\mathcal{G}$; applying the tower property of conditional expectation to the displayed identity yields the requested natural-filtration martingale property:The printed convention keeps the stock alive at $t=\tau$. It is a left-continuous convention at that one random time. Replacing it by $1_{\{t<\tau \}}$ gives the usual càdlàg zero-recovery default model; since $\mathbb{P}(\tau =t)=0$ at each fixed $t$, the fixed-time martingale calculations above are unchanged.

Use the usual completed right-continuous Brownian filtration. The strict passage process $(T_a{)}_{a\ge 0}$ is finite at every level on one probability-one event: finiteness at all integer levels from (a) suffices by monotonicity. Also $T_0=0$ almost surely by (b).

For each fixed $a$, $T_a$ is a stopping time with $B_{T_a}=a$. The Strong Markov property shows that the passage times above this level depend on a new independent standard Brownian motion. Thus for $0\le a<b$, $T_b-T_a$ is independent of the past at $T_a$ and has the same law as $T_{b-a}$. Iteration gives independent increments and stationary increments in the level parameter. From (a) and fixed-level equality,For $\lambda ,\eta >0$, this also proves continuity in probability at zero, sinceFinally, with $M_t={\sup }_{s\le t}{B}_s$, we have $T_a=\inf \{t:M_t>a\}$. This strict generalized inverse of a nondecreasing function is right-continuous: if $a_n\downarrow a$, then for any $t>T_a$ we have $M_t>a$, and eventually $M_t>a_n$, which forces $T_{a_n}\le t$. Monotonicity gives the reverse bound. Monotonicity and local finiteness also give finite left limits. Hence $T$ is the Brownian first-passage subordinator, with càdlàg paths.

Now condition on this clock, which is independent of $W$. For a deterministic partition $0=a_0<a_1<\cdots <a_k$, write $\Delta T_j=T_{a_j}-T_{a_{j-1}}$ and $\Delta X_j=W_{T_{a_j}}-W_{T_{a_{j-1}}}$. Conditional on the clock these are independent centered Gaussian increments, with respective variances $\Delta T_j$. ConsequentlyFactorization and dependence only on interval lengths prove independent increments and stationary increments for $X$. For small $h$, $T_h\to 0$ in probability, and independence and continuity of $W$ imply $W_{T_h}\to 0$ in probability. For example, bound its deviation probability by $\mathbb{P}(T_h>\eta )+\mathbb{P}({\sup }_{t\le \eta }|W_t|>\epsilon )$ and then let $h\downarrow 0$ and $\eta \downarrow 0$. Stationary increments give stochastic continuity at every deterministic level. Composition of the continuous path of $W$ with the nondecreasing càdlàg clock gives càdlàg paths for $X$, and $X_0=0$. ThusThis is subordination of a Lévy process. Using strict passage times ensures the required right-continuous path choice, despite their fixed-level equality with the non-strict times.

Use the standard convention that the finite-variation process $X$ has càdlàg paths and that the stochastic integral starts from zero. Write $V(X)$ for its total-variation process. The necessary admissibility condition is ${\int }_{(0,t]}|H_s|d{V}_s(X)<\infty$ almost surely for each finite $t$; it holds, for example, for locally bounded $H$. Define the pathwise Lebesgue-Stieltjes integralAn atom at $s>0$ contributes $H_s\Delta X_s$, so this convention also fixes the treatment of jumps.

Fix $t$. For a generator $H_s=1_A{1}_{(a,b]}(s)$ of the predictable sigma-algebra, with $A\in {\mathcal{F}}_a$, the Lebesgue-Stieltjes integral isIt vanishes when $t\le a$ and is ${\mathcal{F}}_t$-measurable otherwise. The total-variation process is adapted: for a càdlàg path its value at $t$ is the supremum over a countable collection of partitions of an interval using rational interior points and endpoint $t$. Thus the positive and negative Lebesgue-Stieltjes measures $d{X}^{\pm }=(dV(X)\pm dX)/2$ have ${\mathcal{F}}_t$-measurable masses on the generator intervals.

The Monotone class theorem, applied separately to these positive random measures on $[0,t]$, extends this measurability from the generators of the predictable sigma-algebra to all nonnegative predictable processes. Truncation and positive/negative decomposition then cover every admissible $H$. Consequently $H\cdot X$ is adapted.

The integrability condition is essential. Taken literally, an arbitrary previsible process cannot always be integrated against a finite-variation process: with $X_t=t$ and deterministic $H_s=s^{-1}$ for $s>0$, $H_0=0$, the proposed value at every $t>0$ diverges. The usual càdlàg convention is also what identifies $dX$ by $dX((a,b])=X_b-X_a$.

For a stochastic process $X_t$ and a fixed sample space outcome $\omega$, its sample path is the function $t\mapsto X_t(\omega )$. One row of observed fair bits, one trajectory of a random walk, or one staircase of Poisson process arrival counts is a sample path. Fixing $t$ instead gives a random variable ranging across possible histories. The same two-variable object $X_t(\omega )$ therefore describes both observations across outcomes and evolution within an outcome.

Statements about continuous, càdlàg or Hölder continuous function sample paths concern these functions simultaneously in time. They differ from assertions made at each fixed time separately. For example, take $U$ with a uniform distribution on $[0,1]$ and set $X_t=1_{\{t=U\}}$. For every fixed $t$, $X_t=0$ almost surely, but every sample path has a single spike. Thus this process is a modification of a stochastic process that is identically zero, while the two are not indistinguishable stochastic processes. Continuity of both sets of sample paths rules out this discrepancy: equality at a countable dense set then implies equality everywhere. This is why path regularity is an additional part of constructing a continuous-time model.

If $X$ is a semimartingale under $P$ and $Q\ll P$, then it is a semimartingale under $Q$. The Bichteler-Dellacherie theorem gives a short proof: terminal elementary integrals associated with uniformly small elementary predictable processes with stopping-time intervals converge to zero in $P$-probability. Uniform convergence on compacts in probability under an absolutely continuous measure change, or its single-random-variable proof, transfers convergence to $Q$. The same good-integrator characterization now applies under $Q$. Adaptedness and càdlàg paths are preserved because $P$-null sets remain $Q$-null; if necessary use the usual $Q$-completion of the same filtration. If the integrands are bounded only outside $Q$-null sets, clip their coefficients to the specified deterministic bounds before applying the $P$-criterion; this preserves their $Q$-versions. Completion adds only equivalent versions of measurable coefficients. This theorem does not preserve the local martingale property.

For an unbounded nondecreasing function $f:[0,\infty )\to \mathbb{R}$, its strict generalized inverse is $G(a)=\inf \{t\ge 0:f(t)>a\}$. It is nondecreasing and right-continuous in $a$. If $a_n\downarrow a$, then for any $t>G(a)$ monotonicity gives $f(t)>a$, so eventually $f(t)>a_n$ and $G(a_n)\le t$; also $G(a_n)\ge G(a)$. Local finiteness gives finite left limits. Flat parts of $f$ create jumps of $G$. For the continuous running maximum of Brownian motion, this gives the càdlàg Brownian first-passage subordinator.

A subordinator is a Lévy process with nondecreasing paths. Its nonnegative stationary increments have a Laplace transform of the formwhere $\Phi$ is called its Laplace exponent. Its standard path convention is càdlàg. Subordinators provide random clocks for subordination of a Lévy process.

For finitely many independent uniform arrival times on $[0,1]$, and fixed positive weights, normalize the unarrived mass by the remaining time. Conditional on not having arrived by $s$, each arrival remains uniform on $(s,1)$, giving the martingale identity. The process is càdlàg, nonnegative, and has constant mean equal to the total weight. It vanishes eventually before time one on each typical path, so it is not uniformly integrable when the total weight is positive.

For planar Brownian motion started at $1$, continuous winding angles sampled at the displayed radii have independent stationary increments. At $T_r$, apply the Strong Markov property, rotate by the current angle, and rescale space by $e^r$ and time by $e^{-2r}$. The future radial-level winding increment has the original law and is independent of the past. The logarithmic radius and winding angle are independent Brownian coordinates on the common clock $\int |B_s{|}^{-2}ds$. At radial passage they are therefore $U_{{\eta }_r}=-r$ and $V_{{\eta }_r}$, where ${\eta }_r$ is a Brownian first-passage time. Its Laplace transform gives the displayed characteristic function. The level process is a symmetric Cauchy process; replacing the passage clock by its right-continuous version supplies a càdlàg modification without changing any fixed-level law.

For an independent exponential distribution default time of rate $\lambda$ and a continuous nonnegative martingale $S$, this process is a martingale. The compensating pre-default factor $e^{\lambda t}$ balances the survival probability $e^{-\lambda t}$. The strict survival inequality gives a càdlàg price process.