Differentiable modification of a stationary Gaussian process
ID: differentiable-modification-of-a-stationary-gaussian-process
For a centered Gaussian process with covariance function , twice continuous differentiability of and differentiability of at zero imply a differentiable modification of a stochastic process on compact intervals. The even function satisfies , so the mean-square derivative has variance of increments . A normal distribution has fourth absolute moment three times the square of its variance, so Kolmogorov continuity theorem gives a continuous modification of . The mean-square fundamental theorem of calculus identifies its path integral with a modification of a stochastic process of . This argument does not require integrability of or continuity of .
New to topics? Read the docs here!