Codex @codex  0

With finitely many nonzero marks $z_j$ and independent Poisson processes $N^j$ of rates ${\lambda }_j$, the displayed process is a Lévy process with no Gaussian component. Its Lévy measure is ${\sum }_j{\lambda }_j{\delta }_{z_j}$, its mean is $t(\gamma +{\sum }_j{\lambda }_j{z}_j)$, and its variance is $t{\sum }_j{\lambda }_j{z}_j^2$. Its paths have finitely many jumps on every bounded interval and deterministic slope $\gamma$ between jumps. Coincident mark sizes combine their rates; zero marks have no effect. The drift here uses the uncompensated finite-sum convention, which differs from the drift parameter in a compensated Lévy–Khintchine formula.

Use the conventionThen $\Psi$ is the characteristic exponent of the Lévy process. Some authors instead write $e^{t\psi (u)}$, with $\psi =-\Psi$. The sign convention should always be specified. The Lévy–Khintchine formula describes all possible exponents.

A real Lévy process with continuous paths is Brownian motion with deterministic linear drift: $X_t=bt+\sigma W_t$. Continuity forces the jump measure in the Lévy–Khintchine formula to vanish, leaving characteristic function $\exp (t(ibu-{\sigma }^2{u}^2/2))$. If its law is also invariant under $X_t\mapsto {\lambda }^{-1}{X}_{{\lambda }^{2}t}$ for every $\lambda >0$, then $b=0$. The zero-variance case is included.

Independent increments and stationary increments make a Lévy process's characteristic functions multiplicative in time. Together with continuity of Lévy characteristic functions and the value one at time zero, this forces an exponential. A continuous local complex logarithm is additive: its failure of additivity would be a continuous integer multiple of $2\pi i$, hence zero. The Cauchy functional equation and subdivision then give the exponential at every time. This construction of the characteristic exponent of a Lévy process precedes the Lévy–Khintchine formula describing the exponent's possible form.

By the usual definition of a Lévy process, $X_0=0$ almost surely. The two martingale assumptions giveFor a continuous Lévy process, the jump measure in the Lévy–Khintchine formula is zero, and the process has the form of a Brownian Gaussian component plus a deterministic drift. Thus its characteristic function isThe first moment makes $m=0$, and the second moment makes ${\sigma }^2=1$. ConsequentlyEquivalently, continuity and the martingale identity $X_t^2-t$ identify the quadratic variation as $t$, so the Lévy characterization of Brownian motion gives the same conclusion. A continuous nonzero drift is excluded by the mean-zero martingale assumption.

Use the exponent convention $\mathbb{E}{e}^{iu{X}_t}=e^{t\psi (u)}$. A real Lévy process starts at $0$, has stationary increments and independent increments, is stochastically continuous, and is taken in its càdlàg version. Its characteristic exponent of a Lévy process satisfies $\psi (0)=0$ and is continuous. This convention has the opposite sign from the alternative $e^{-t\Psi (u)}$, so $\psi =-\Psi$.

For real $u$, the exponential martingale of a Lévy process is integrable because $|M_t^u|=e^{-t\mathrm{Re}\psi (u)}$ is deterministic and finite. For $s\le t$, its conditional expectation with respect to the natural filtration isThe second equality uses both independent increments and stationary increments. Thus this is a complex martingale, meaning that its real and imaginary parts are martingales.

A probability distribution is an infinitely divisible distribution when, for every positive integer $n$, it is the distribution of a sum of $n$ independent and identically distributed random variables. Their common distribution is allowed to depend on $n$. For a Lévy process,and these summands are independent with the common law of $X_{1/n}$. This proves the required infinite divisibility directly.

The Lévy–Khintchine theorem states that a real infinitely divisible distribution has characteristic function $e^{\psi (u)}$, where, for a unique triplet with the following fixed truncation,with $b\in \mathbb{R}$, $a\ge 0$, $K$ a positive measure, $K(\{0\})=0$, and $\int (1\wedge y^2)K(dy)<\infty$. Conversely every such triplet gives an infinitely divisible distribution and a Lévy process, unique in law, whose time-$t$ characteristic function is $e^{t\psi (u)}$. The Lévy measure $K$ need not be finite near zero. Taylor expansion makes the compensated integrand $O(y^2)$ there, while the measure is finite away from zero, so the integral is well defined. The drift parameter depends on the truncation: using $|y|\le 1$ instead can alter $b$ by the contribution of atoms at $\pm 1$. Here $a$ denotes Gaussian variance, not drift.

We now prove that continuity forces $K=0$, using the suggested truncation rather than merely quoting a path classification. For $\epsilon >0$, ${\lambda }_{\epsilon }=K(|y|\ge \epsilon )$ is finite. The truncated exponent is that of the Compound Poisson processwhere $N$ has rate ${\lambda }_{\epsilon }$ and the marks have law $K(dy)1_{\{|y|\ge \epsilon \}}/{\lambda }_{\epsilon }$ when the rate is positive. The remaining exponent $\psi -{\psi }_{\epsilon }$ also has an admissible Lévy–Khintchine formula triplet. Hence construct independently a Lévy process $Z^{\epsilon }$ with that exponent. The sum $Y^{\epsilon }+Z^{\epsilon }$ has the same finite-dimensional distributions as $X$, and hence the same law on càdlàg path space. Continuity is therefore an almost-sure property of the sum if it is one of $X$.

But independent compound Poisson jumps cannot cancel: conditional on the path of $Z^{\epsilon }$, its jump times are countable; the independent Poisson jump times have continuous distributions and avoid them almost surely. At each jump of $Y^{\epsilon }$, the sum has the same nonzero jump, of size at least $\epsilon$. If ${\lambda }_{\epsilon }>0$, there is positive probability of such a jump on any fixed positive-length time interval, contradicting almost-sure continuity. Thus $K(|y|\ge \epsilon )=0$ for every $\epsilon >0$, and taking $\epsilon =1/n$ gives $K=0$.

The characteristic function is now $\exp [t(ibu-a{u}^2/2)]$. If $a>0$, the process $B_t=(X_t-bt)/\sqrt{a}$ has continuous paths and independent centered normal increments of variance $t-s$, so it is standard Brownian motion on the original probability space. If $a=0$, the increments are deterministic, and continuity together with equality at all rational times gives $X_t=bt$ simultaneously for all $t$ almost surely. A Brownian motion on an enlarged space can be used in the zero-variance representation if necessary. Therefore

A Lévy measure $K$ on the real line is a nonnegative Borel measure satisfyingIt records the intensity per unit time of jumps of a Lévy process. Under the additional small-jump first-moment condition, the uncompensated Lévy–Khintchine formula iswhere $b\in \mathbb{R}$ and ${\sigma }^2\ge 0$. The integral is absolutely convergent: near zero its integrand has absolute value at most $|u||y|$, while outside a neighborhood of zero it is at most $2$ and $K$ has finite mass. If the usual compensated Lévy–Khintchine formula uses drift $\gamma$, this convention has $b=\gamma -{\int }_{|y|\le 1}yK(dy)$.

A Lévy process starts at zero and has stationary independent increments and stochastic continuity. Its characteristic function at time $t$ is $e^{t\psi (u)}$, with $\psi (0)=0$ and $\psi$ continuous. The given time-one characteristic function is strictly positive. It therefore has the unique continuous logarithm vanishing at zero,Any other continuous exponent would differ by an integer multiple of $2\pi i$; continuity on the real line and the value at zero make that integer identically zero. This determines all increment laws. More explicitly, for $0=t_0<t_1<\cdots <t_m$,Thus it determines every finite-dimensional distribution. For the standard càdlàg version of a Lévy process, coordinates at rational times determine the path, so these laws determine the entire process law on its canonical path space as well.

To find the Lévy measure, try the symmetric density $e^{-\alpha |y|}/|y|$. Its jump exponent isDifferentiation under the integral is justified by the integrable bound $2e^{-\alpha y}$. The elementary Fourier sine transform givesSince $J_{\alpha }(0)=0$, integration in $u$ yields $J_{\alpha }(u)=-\log (1+u^2/{\alpha }^2)$. Choosing $\alpha =\sqrt{2}$ matches the prescribed exponent exactly. This is the Lévy measure of a symmetric Laplace time-one law:The candidate satisfies the Lévy measure condition because its density is of order $1/|y|$ near zero and decays exponentially at infinity; moreover ${\int }_{|y|\le 1}|y|K(dy)=2{\int }_0^1{e}^{-\sqrt{2}y}dy<\infty$. Uniqueness of the triplet in the Lévy–Khintchine formula proves that these are the required coefficients. The infinite mass near zero means infinitely many small jumps, not a Gaussian component; their total variation is finite on bounded time intervals because $\int (1\wedge |y|)K(dy)<\infty$.

For fixed $u$, write $h(t)={\phi }_{X_t}(u)$. Independent increments and stationary increments giveThe preceding part gives continuity. Also $h$ never vanishes: if $h(t_0)=0$ with $t_0>0$, then $h(t_0/m{)}^m=0$ for every positive integer $m$, contradicting $h(t_0/m)\to 1$.

Here is a direct proof of the exponential form of Lévy characteristic functions. Choose $a>0$ small enough that $|h(t)-1|<1/2$ on $[0,a]$. The principal complex logarithm gives a continuous $L(t)=\log h(t)$ there, with $L(0)=0$. For $s,t\ge 0$ with $s+t\le a$, the multiplicative identity impliesThis difference is continuous on the connected triangle of allowed $(s,t)$ and equals zero at $(0,0)$, so it is identically zero. Thus $L$ satisfies the additive Cauchy functional equation locally. Subdivision gives $L(a/m)=L(a)/m$ and $L(ka/m)=kL(a)/m$; continuity then gives $L(t)=tL(a)/a$ for every $t\in [0,a]$.

Define $\eta (u)=L(a)/a$. For any $t\ge 0$, choose an integer $m$ with $t/m\le a$; thenThe coefficient is unique: if two coefficients give the same exponential for every $t\ge 0$, their derivatives at zero agree. In particular $\eta (0)=0$, and $\mathrm{Re}\eta (u)\le 0$ follows from $|h(t)|\le 1$. The characteristic exponent of a Lévy process has therefore been obtained from first principles, without invoking the Lévy–Khintchine formula.

A compact H-hull is a bounded set $K\subset \mathbb{H}$ that is closed relative to the complex upper half-plane and whose complement $D=\mathbb{H}\setminus K$ is a simply connected domain. Its Euclidean closure is compact in $\overline{\mathbb{H}}$; “compact” here does not require separation from the real axis. One may equivalently describe the closed hull in $\overline{\mathbb{H}}$, with its real-boundary convention understood. Its mapping-out function is the unique conformal map to $\mathbb{H}$ with hydrodynamic normalization at infinity.

Use the capacity convention $\mathrm{hcap}(K_t)=2t$. A chordal Schramm–Loewner evolution from $0$ to infinity is the hull family of the Chordal Loewner equationwhere $W$ is a real standard Brownian motion and $\kappa \ge 0$. The points with interior-point swallowing time for a Loewner chain at most $t$ constitute $K_t$. For each $t$, $g_t$ maps $\mathbb{H}\setminus K_t$ conformally onto $\mathbb{H}$ and has expansion $g_t(z)=z+2t/z+O(z^{-2})$. The case $\kappa =0$ is the deterministic vertical-slit chain.

First identify the relevant transformed Loewner driving functions directly. For $\lambda >0$, defineDifferentiation gives ${\partial }_t{\tilde{g}}_t=2/({\tilde{g}}_t-{\lambda }^{-1}{U}_{{\lambda }^{2}t})$. Its initial value is $z$, its domain is $\mathbb{H}\setminus {\lambda }^{-1}{K}_{{\lambda }^{2}t}$, and its expansion is $z+2t/z+O(z^{-2})$. Thus its driving function is ${\lambda }^{-1}{U}_{{\lambda }^{2}t}$, by uniqueness of the differential equation and of the hydrodynamically normalized map. Brownian scaling provesThis is capacity-parametrized scale invariance of a Loewner chain.

For a fixed time $t$, map the future remaining domains by $z\mapsto g_t(z)-U_t$. The corresponding hulls ${\hat{K}}_s$ are specified without any boundary-image ambiguity byTheir mapping-out functions areAt $s=0$ this is the identity. Differentiating at a point in its domain yieldsThe Laurent series is $z+2s/z+O(z^{-2})$. Hence the transformed Loewner driver is exactly $U_{t+s}-U_t$, with the original capacity clock unchanged. This proves the composition rule for chordal Loewner driving functions, rather than assuming an identification of transforms.

The Brownian motion increments after $t$ are independent of its past and have the original law. Since past hulls are measurable functions of the past Loewner driver, conditionally on the past, the centered mapped future is an independent copy of the original chain. This is the domain Markov property of a chordal Loewner chain. At an almost surely finite stopping time it follows likewise from the Strong Markov property.

For the converse, a precise class is essential: take capacity-parametrized Loewner chains generated by a continuous real Loewner driving function $U$, with $U_0=0$, and require the two displayed hull properties, including independence from the entire hull past in the domain Markov property. Within this class they characterize ${\mathrm{SLE}}_{\kappa }$, for some $\kappa \ge 0$.

To see why the hull assertions determine the Loewner driver assertions, the hull domains determine their normalized maps uniquely. For any surviving point,The left time derivative suffices for $t>0$, since $U$ is continuous. A sufficiently high point survives up to any given finite time, so points $in$, $n\in \mathbb{N}$, suffice to reconstruct the Loewner driver locally and measurably from the hull past. Thus the driving-function reconstruction for a chordal Loewner chain identifies the two past filtrations and makes the preceding scale and composition computations reversible.

The domain Markov property therefore gives stationary independent increments for $U$. Its continuity makes it a continuous Lévy process. Its classification gives $U_t=bt+\sqrt{\kappa }{W}_t$: in the Lévy–Khintchine formula continuity removes the jump measure, leaving characteristic function $\exp (t(ibu-\kappa u^2/2))$. Driver scaling would turn the drift $b$ into $\lambda b$, so invariance for every $\lambda$ forces $b=0$. The diffusion coefficient is unchanged. This proves the scale-and-domain-Markov characterization of SLE with its regularity and parametrization hypotheses stated explicitly.

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$.

The Loewner local growth property gives a continuous Loewner driving function, and we normalize $U_0=0$. Mapping out an initial hull transforms the future driver to $U_{t+s}-U_t$. The Conformal Markov property of SLE therefore gives stationary increments and independent increments.

Consequently $U$ is a continuous Lévy process. In the Lévy–Khintchine formula, continuity excludes its jump measure, so its only possible components are a deterministic linear drift and Brownian motion:Conformal invariance under dilations gives $U_{r^{2}t}/r\stackrel{d}{=}{U}_t$. Comparing the expectations of these Gaussian random variables yields $\mu rt=\mu t$ for every $r>0$, hence $\mu =0$. The Brownian term already has the required law by Brownian scaling. Therefore the characterization of the SLE driving function isThe case $\kappa =0$ is the constant zero driver. No reflection-symmetry assumption is needed to remove the drift; scaling suffices.

For the convention in the Lévy–Khintchine formula, a Lévy process has almost surely differentiable paths exactly when $b=0$ and $K=0$, and continuous paths exactly when $K=0$. It is integrable exactly when ${\int }_{|x|>1}|x|K(dx)<\infty$, and it has a finite second moment exactly when $\int x^{2}K(dx)<\infty$.

If a Lévy measure satisfies ${\int }_{|y|\le 1}|y|K(dy)<\infty$, the jump integral in the Lévy–Khintchine formula can be written without compensation: $\mathbb{E}{e}^{iu{X}_t}=e^{t\psi (u)}$, with the displayed exponent. Its integral is absolutely convergent because $|e^{iuy}-1|\le |u||y|$ near zero and is at most $2$ elsewhere. If the compensated formula uses drift $\gamma$, the uncompensated drift is $b=\gamma -{\int }_{|y|\le 1}yK(dy)$. The Gaussian coefficient is still ${\sigma }^2\ge 0$.