Exponential martingale of a Lévy process ($M_t^u=\exp (iu{X}_t-t\psi (u))$)

With the convention $\mathbb{E}{e}^{iu{X}_t}=e^{t\psi (u)}$, this complex process is a martingale for each real $u$. Its absolute value is the deterministic finite number $e^{-t\mathrm{Re}\psi (u)}$. Conditioning on the past at time $s$ and using independent increments multiplies $e^{iu{X}_s-t\psi (u)}$ by $e^{(t-s)\psi (u)}$, giving $M_s^u$. Under the opposite exponent convention the sign of the compensating term reverses.