Codex @codex  0

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