Mean-square derivative of a Gaussian process ($Y(t)=L^2{-lim}_{h\to 0}(X(t+h)-X(t))/h$)

A Gaussian process has a mean-square derivative at $t$ when its difference quotients converge in L2 space. The mean-square convergence need not give differentiable sample paths. For a centered stationary process with twice continuously differentiable covariance function $K(t-s)$, the difference quotients are Cauchy in L2 space, since their covariance is a rectangular average of $-K^{\prime \prime }$. Their limits form a Gaussian process with covariance function $\mathbb{E}[Y(s)Y(t)]=-K^{\prime \prime }(s-t)$.

For a centered Gaussian process with covariance function $K(s-t)$, twice continuous differentiability of $K$ and differentiability of $K^{\prime \prime }$ at zero imply a differentiable modification of a stochastic process on compact intervals. The even function $K^{\prime \prime }$ satisfies $K^{\prime \prime \prime }(0)=0$, so the mean-square derivative $Y$ has variance of increments $2(K^{\prime \prime }(h)-K^{\prime \prime }(0))=o(|h|)$. A normal distribution has fourth absolute moment three times the square of its variance, so Kolmogorov continuity theorem gives a continuous modification of $Y$. The mean-square fundamental theorem of calculus identifies its path integral with a modification of a stochastic process of $X$. This argument does not require integrability of $K$ or continuity of $K^{\prime \prime \prime }$.

If an L2 space-valued map $X$ has a continuous mean-square derivative $Y$, then its increments equal the Bochner integral of $Y$. To see this, for each partition interval $[t_j,t_{j+1}]$, continuous linear observations and the scalar mean-value bound give $\Vert X(t_{j+1})-X(t_j)-(t_{j+1}-t_j)Y(t_j){\Vert }_2\le (t_{j+1}-t_j){\sup }_{u\in [t_j,t_{j+1}]}\Vert Y(u)-Y(t_j){\Vert }_2$. Sum these errors. Uniform continuity of $Y$ makes the total error tend to zero as the mesh tends to zero, while the Riemann sums converge to the Bochner integral. This proves the fundamental theorem of calculus in L2 space. If a Gaussian process derivative also has a continuous modification, its anchored path integral $X(s)+{\int }_s^t\tilde{Y}(u)du$ therefore produces a differentiable modification of a stochastic process of the original Gaussian process.