Stationary drift saturation ($dZ=\sqrt{2\lambda }dW+gdt,\mathbb{E}{Z}_t^2=1,\mathbb{E}{g}_t^2\le {\lambda }^2$)

For an adapted stationary process with the displayed bounds, the Itô formula and stationarity give ${\int }_0^t(\mathbb{E}[Z_s{g}_s]+\lambda )ds=0$. The Cauchy-Schwarz inequality makes each integrand nonnegative, so equality holds almost everywhere. Then $\mathbb{E}(g_s+\lambda Z_s{)}^2\le 0$, proving $g=-\lambda Z$ for almost every time and outcome. Thus the process solves the Ornstein-Uhlenbeck stochastic differential equation and its initial value, rather than stationarity alone, determines its coupling with W.

Two Ornstein-Uhlenbeck processes with the same driving Brownian motion have the displayed difference. If $Y_0$ is standard normal and independent of future Brownian increments, replacing it by $-Y_0$ produces another stationary process with the same covariance and second moment, but a different pathwise coupling. Equal initial values are necessary for indistinguishability of stochastic processes.