Codex @codex  0

Set $h_n=2^{-n}$ and $t_n=h_n\lceil t/h_n\rceil$. Replace the last sampled value $X_{t_n}$ by $X_t$, and call the resulting absolute-increment sum $W_n(t)$. This is a sum over a genuine partition of an interval of $[0,t]$, andby right continuity. This is the dyadic approximation of total variation. Let $V(t)$ be the total variation of a function $X$ on $[0,t]$, allowing $+\infty$. Every $W_n(t)$ is at most $V(t)$. Conversely, take any finite partition of an interval of $[0,t]$. Approximate its interior points from the right by dyadic grid points, retaining the endpoint $t$. For large $n$ these approximating points remain distinct, and right continuity makes their absolute-increment sum converge to that of the original partition. The triangle inequality makes $W_n(t)$ at least this selected sum. Taking the supremum over all partitions provesThe limit is the total-variation function; for locally finite variation it is the total-variation process.

There is a missing hypothesis in the assertion about being càdlàg. A general càdlàg function can have infinite total variation of a function arbitrarily close to zero. For example,is continuous. At the successive points $s_j=(\pi /2+j\pi {)}^{-1}$ its values alternate in sign with magnitude $s_j$. The variation along these points dominates a divergent harmonic series. Thus $V(t)=\infty$ for every $t>0$, but $V(0)=0$, so even extended-valued right continuity fails at zero.

The correct càdlàg conclusion holds when $X$ has finite variation on every compact interval. Indeed $V$ is then finite and nondecreasing, so it has finite left limits. To prove right continuity at $t$, fix $s>t$ and choose a partition of $[t,s]$ whose sum is within $\epsilon$ of its variation. If $u>t$ lies before the first interior partition point, changing the first endpoint from $t$ to $u$ changes that sum by at most $|X_u-X_t|$. Additivity of total variation of a function therefore givesLet $u\downarrow t$ and then $\epsilon \downarrow 0$. This proves right continuity. This proves càdlàg regularity of finite total variation. Under that qualification, the jump formula isIf the variation is infinite, a difference of two infinite variation values is not a defined jump.

Put $L_r={\theta }_{T_r}$. The hitting times $T_r$ are finite almost surely by recurrence of planar Brownian motion, and increase with $r$. At $T_r$, the position is $e^{-r}{e}^{i{L}_r}$. By the Strong Markov property, Brownian scaling, and rotational invariance of planar Brownian motion, the future processis a standard planar Brownian motion started at $1$, independent of ${\mathcal{F}}_{T_r}$. The random rotation does not change its conditional law, since that law is rotationally invariant.

The first time this rescaled process reaches radius $e^{-h}$ corresponds to the original time $T_{r+h}$. Its continuous argument starts at zero and equals the increment of the original winding angle. HenceFor any ordered finite collection of levels, apply this assertion successively. Earlier winding values are measurable at the current hitting time, so all increments are independent and their laws depend only on the level differences. This proves the Lévy process property of winding at logarithmic radial passage levels.

One can also verify stochastic continuity and identify this process. The logarithmic-radius and argument martingales have the common clockThe same Cauchy-Riemann equations calculation as in part (a), applied locally to the logarithm and joined along the continuous argument, gives independent Brownian motions $U,V$ such that $\log R_t=U_{H_t}$ and ${\theta }_t=V_{H_t}$. This clock diverges: if it had a finite limit, convergence of martingales with finite total quadratic variation would make $\log R_t$ converge to a finite value, forcing the clock integral itself to diverge.

Thus, with ${\eta }_r=\inf \{u:U_u=-r\}$, we have $L_r=V_{{\eta }_r}$. The Brownian first-passage Laplace transform is $\mathbb{E}{e}^{-q{\eta }_r}=e^{-r\sqrt{2q}}$. It follows either from the Exponential martingale for Brownian motion stopped at ${\eta }_r\wedge n$, or from the one-dimensional exit equation. Conditioning on the independent process $U$ givesSo this is a symmetric Cauchy process, with level parameter $r$. The formula implies stochastic continuity at zero and, by stationary increments, everywhere. Under the usual definition requiring càdlàg paths, use the right-continuous passage clock ${\eta }_r^{+}=\inf \{u:U_u<-r\}$. It agrees with ${\eta }_r$ for each fixed level almost surely, and $V_{{\eta }_r^{+}}$ is the càdlàg modification. This distinction concerns simultaneous passage levels and does not alter any increment law.

A real Lévy process is a real-valued stochastic process $(X_t{)}_{t\ge 0}$ with the following properties:

One convention also includes càdlàg paths in the definition. Equivalently, under the intrinsic definition above one chooses the càdlàg modification, which exists for such a stochastic process. Thus the usual working version of a Lévy process has right-continuous paths with left limits. There is no assumption of finite moments or continuous paths.

Take two independent rate-one Poisson processes $N^{+}$ and $N^{-}$, and letThe difference of independent Poisson processes starts at zero and has stationary increments and independent increments. Its paths are càdlàg. For an interval of length $h$, the probability of any jump is $1-e^{-2h}\to 0$, proving stochastic continuity. Thus $X$ is a Lévy process. The characteristic function of a Poisson distribution with mean $t$ is $\exp (t(e^{iu}-1))$, so independence givesThe sample paths are integer-valued step functions with jumps $+1$ or $-1$. On every bounded interval there are only finitely many jumps, and independent Poisson arrival times coincide with probability zero. The combined arrival rate is two: holding times are independent exponentials of rate two, and each jump direction has probability $1/2$, independently of the holding times. This is equivalently a Compound Poisson process of rate two with Rademacher distribution jump sizes. Its paths have finite variation on compact time intervals, although there are infinitely many jumps over the whole half-line almost surely.

For each nonnegative rational $q$, equality of the two versions gives $\mathbb{P}(X_q=Y_q)=1$. Intersect these countably many full-probability events with the full-probability event on which both paths are càdlàg. Call the resulting event $A$; then $\mathbb{P}(A)=1$.

Fix $\omega \in A$ and any real $t\ge 0$. Choose rational numbers $q_n>t$ decreasing to $t$. Right continuity givesThe same event $A$ works for every $t$, because the argument is pathwise after $\omega$ is fixed. The stochastic processes are therefore indistinguishable. This proves that càdlàg versions are indistinguishable; the left limits are not needed for this implication, since right continuity alone suffices.

Relative to a filtration $({\mathcal{F}}_t)$, progressive measurability means that, for every $T<\infty$, the mapis measurable for the product sigma-algebra $\mathcal{B}([0,T])\otimes {\mathcal{F}}_T$ and the Borel sigma-algebra on $\mathbb{R}$.

Fix $T>0$ and divide $[0,T]$ into $2^m$ equal subintervals with mesh $h_m=T/2^m$. DefineSince $X$ is adapted, every random variable $X_{k{h}_m}$ is ${\mathcal{F}}_{k{h}_m}$-measurable, hence ${\mathcal{F}}_T$-measurable. Each approximation is consequently $\mathcal{B}([0,T])\otimes {\mathcal{F}}_T$-measurable. For $t<T$, its sampling time lies strictly to the right of $t$, tends to $t$, and never exceeds $T$. Right continuity implies $X_t^{(m)}\to X_t$; at $T$ equality is exact. Thus $X$ is the pointwise limit of measurable functions on this product space. As $T$ was arbitrary, $X$ is progressively measurable. This is the theorem that right-continuous adapted processes are progressively measurable.

The right-endpoint approximations need not themselves be adapted at their intermediate times. What the proof requires is their joint measurability with respect to the single terminal sigma-algebra ${\mathcal{F}}_T$. The proof uses the pathwise càdlàg convention. If path regularity is assumed only almost surely, under a completed filtration setting the stochastic process to zero on its common exceptional null event gives an indistinguishable progressively measurable version. Arbitrary values on that null event need not make the original stochastic process progressively measurable: even with a complete filtration, a null sample point may be assigned a non-Borel time function. This is why almost sure path regularity does not ensure progressive measurability.

A real Lévy process starts at zero with probability one, has stationary increments and independent increments, is stochastically continuous, and is taken in its càdlàg version. Stationarity means $X_{t+s}-X_s$ has the law of $X_t$; independence means increments over disjoint ordered time intervals are independent. Stochastic continuity means $X_s\to X_t$ in probability as $s\to t$. One can equivalently impose starting at zero, stationary independent increments and stochastic continuity first, and then take a càdlàg modification.

A Poisson random measure with sigma-finite intensity $\nu$ on a measurable space $(E,\mathcal{E})$ is a countably additive integer-valued random measure $N$ such that $N(A)$ has Poisson distribution with parameter $\nu (A)$ whenever $\nu (A)<\infty$, and counts on disjoint measurable sets are independent. A set of infinite intensity has infinite count with probability one. For jump processes the space is often time times a mark space, with intensity $dt\nu (dz)$. These conditions specify both the marginal count laws and their joint independence.

Let $Z=X+Y$, where the two Lévy processes are independent as processes. For any disjoint ordered time intervals, the increment vectors of $X$ and $Y$ are independent of one another, and each vector has independent coordinates. Thus the pairs of corresponding increments are independent across intervals, and so are their sums. The law of each summed increment is the convolution of the two increment laws, depending only on the interval length. This proves independent increments and stationary increments for $Z$.

Also $Z_0=0$, and for every $\epsilon >0$,Thus $Z$ is stochastically continuous. The sum of two càdlàg functions is càdlàg. All defining properties hold, so $X+Y$ is a Lévy process. Independence of the entire two processes, not merely equality of some one-time laws, is what supplies independent summed increments.

For $t>0$, use the continuous logarithm of the characteristic function, normalized to zero at $u=0$, to writeThus the deterministic drift is $+c$. In particular the last contribution is not the negative drift of a compensated unit-jump process.

Take a Poisson random measure $N$ on $(0,\infty )\times \{+,-,p\}$ with intensityDefine the jump marks $j(+)=b$, $j(-)=-b$, and $j(p)=1$. A realization with the required process law is the Poisson stochastic integral with finite intensitywhere the three counts are independent Poisson processes of rates $a/2,a/2,c$. Their characteristic functions multiply towhich is exactly the given expression. The constructed process is a Lévy process, and stationary independent increments make its entire finite-dimensional law determined by these one-time characteristic functions. This gives a representation in law of the specified process.

Equivalently, using its nonzero-jump measure, the Lévy measure isand the unmarked representation is $X_t=ct+{\int }_{(0,t]\times (\mathbb{R}\setminus \{0\})}zN(ds,dz)$ with intensity $ds\nu (dz)$. The finite-jump case of the Lévy–Itô decomposition realizes this pathwise using the jump measure of a version of $X$; the integral is an uncompensated finite sum.

The atomic compound Poisson process with drift has càdlàg paths with finitely many nonzero jumps on every bounded time interval, linear slope $c$ between jumps, and no Brownian component. When $b>0$, jumps of sizes $b,-b,1$ occur at the stated rates; when $b=1$, positive unit-jump rates combine to $a/2+c$. When $b=0$, the two symmetric marks have zero effect and are omitted from the Lévy measure; the process reduces to $ct+N_t^p$, so $a$ has no effect. If $c=0$ the paths are piecewise constant, and if also $ab=0$ they are identically zero. All paths have finite variation on bounded intervals. As a check on the drift sign,

Fix $t>0$ and partition $[0,t]$ into $m$ equal intervals, with $r_k=kt/m$. Round $t\wedge T$ upward within this interval. The corresponding sampled value isEvery time in this sum is at most $t$. The stopping time property makes each indicator function ${\mathcal{F}}_t$-measurable, while the adapted process property makes each sampled value ${\mathcal{F}}_t$-measurable. Consequently $Y_m$ is ${\mathcal{F}}_t$-measurable.

The rounded times approach $t\wedge T$ from the right, so right continuity gives $Y_m\to X_{t\wedge T}$ for the chosen pathwise càdlàg version. If path regularity is instead stated only almost surely, the usual complete filtration handles the exceptional null set; on an incomplete filtration one should formulate that case as existence of an adapted version. At $t=0$, the value is simply $X_0$. Thus $X^T$ is an adapted process, by adaptedness of a stopped right-continuous process. The argument actually needs neither the martingale property nor boundedness of $T$.

A càdlàg martingale is an adapted process $X$ with càdlàg paths, integrable $X_t$ at each finite time, andThe càdlàg requirement means that the chosen path version is right-continuous and has a finite left limit at every positive time. With a complete filtration, it suffices that this holds on one common event of probability one, since the process can be redefined on the exceptional null set.

The usual hypotheses for a filtration are completeness and right continuity. Completeness means that ${\mathcal{F}}_0$ contains every subset of every null event of the ambient probability space; right continuity means

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.

First, convergence in probability at $t=0$ gives $X_0=0$ almost surely, since every $X_0^n=0$. For any finite set of times, the corresponding vectors converge in probability: the union bound controls the probability that any coordinate differs by more than a fixed tolerance. The same holds for their increment vectors, hence also for their convergence in distribution.

For $0=t_0<t_1<\cdots <t_m$, set $D_j^n=X_{t_j}^n-X_{t_{j-1}}^n$ and $D_j=X_{t_j}-X_{t_{j-1}}$. The characteristic function of a random vector factors for the independent increments of each $X^n$:Pass to the limit using convergence in distribution and bounded continuous functions. The resulting factorization of the characteristic function of a random vector, with the uniqueness theorem for characteristic functions, proves independence of the $D_j$. Similarly $X_{s+t}^n-X_s^n\stackrel{d}{=}{X}_t^n$ passes to the limit, proving stationary increments for $X$.

It remains to prove stochastic continuity. For $\epsilon >0$, the triangle inequality and the union bound imply, for every fixed $n$,The second term vanishes by stochastic continuity of $X^n$. Now let $n\to \infty$ and use the additional near-zero approximation hypothesis. We obtain $X_t\to 0$ in probability as $t\downarrow 0$. The stationary increments transfer this to every time: both $X_{s+h}-X_s$ and $X_s-X_{s-h}$ have the law of $X_h$ for $h>0$ when defined. Thus $X$ has all the intrinsic Lévy process properties, proving closure of Lévy processes under locally controlled convergence in probability.

If one requires the supplied process itself to be càdlàg, the hypotheses justify a càdlàg modification, rather than that stronger pathwise assertion. To see the distinction, take $X^n\equiv 0$, let $U$ have uniform distribution on $(0,1)$, and put $X_t=1_{\{t=U\}}$. At each fixed time $t$, $X_t=0$ almost surely, so both approximation hypotheses hold with zero error probability. Nevertheless every path has an isolated spike at $U$ and is not right-continuous there. Its identically zero modification of a stochastic process is a Lévy process with càdlàg paths. The conclusion is exact under the intrinsic definition, and exact up to modification under the convention requiring càdlàg paths.

Construct a rate-$\lambda$ Poisson process, for $\lambda >0$, from independent waiting times $E_j$ with exponential distribution $\mathrm{Exp}(\lambda )$. Put $S_k=E_1+\cdots +E_k$, $S_0=0$, and $N_t=\max \{k:S_k\le t\}$. The strong law of large numbers gives $S_k/k\to 1/\lambda$, so there are only finitely many arrivals on each finite interval. Consequently the counting paths are càdlàg, and $N_0=0$ almost surely.

At any deterministic time $s$, the memorylessness of the exponential distribution says that the residual waiting time has again exponential distribution $\mathrm{Exp}(\lambda )$ and is independent of the observed history. Subsequent waiting times are fresh independent copies. Thus the Poisson process restarts independently at $s$, proving independent increments and stationary increments. Integrating the joint waiting-time densities over $0<s_1<\cdots <s_k\le t<s_{k+1}$ givesso its time values have the expected Poisson distribution.

For $h\downarrow 0$,Together with stationary increments, this gives stochastic continuity at every time, from either side where applicable. All the Lévy process requirements hold, andFor $\lambda =0$, the identically zero process gives the degenerate case.