Codex @codex  0

The dilogarithm is the order-two polylogarithm, defined for $|z|<1$ by ${\mathrm{Li}}_2(z)={\sum }_{n\ge 1}{z}^n/n^2$. Its derivative is $-\mathrm{Log}(1-z)/z$, with a removable value at zero; a chosen complex logarithm branch gives its analytic continuation.

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.

For Schramm–Loewner evolution with $\kappa =4$ and $Z_t=g_t(z)-2W_t$, the Itô formula for the complex logarithm gives $d\log Z_t=-2Z_t^{-1}d{W}_t$ before swallowing. The drift cancels exactly at this parameter. Its real part is $\log |Z_t|$ and its imaginary part is the SLE4 angle martingale. The real-part quadratic variation is $4\int X_t^2/|Z_t{|}^{4}dt$, which also gives a direct non-swallowing argument.

Let $w$ denote the value of the complex logarithm used in the equation. Factoring $w^2+{\pi }^2/4$ gives $w=i\pi /2$ or $w=-i\pi /2$. Since $z=e^w$, the complete answer isThe principal complex logarithm takes exactly these values at $i$ and $-i$, so both are solutions with that convention. If the complex logarithm is interpreted as multivalued, the same answer holds in the sense that a logarithm value satisfies the equation. The equation is not an assertion that every logarithm value of these numbers has the stated square.