Abstract:The commonly accepted definition of paths starts from a random field but ignores the problem of setting joint distributions of infinitely many random variables for defining paths properly afterwards. This paper provides a turnaround that starts with a given covariance function, then defines paths and finally a random field. We show how this approach retains essentially the same properties for Gaussian fields while allowing to construct random fields whose finite dimensional distributions are not Gaussian. Specifically, we start with a kernel $C$ and the associated Reproducing Kernel Hilbert Space ${\cal H}(C)$, and then assign standardized random values to a deterministic orthonormal expansion in ${\cal H}(C)$. This yields paths as random functions with an explicit representation formula. Using Loéve isometry, we prove that pointwise regularity notions like continuity or differentiability hold on functions of ${\cal H}(C)$, paths, and the random field $R_C$ in precisely the same way. Yet, norms of paths as functions behave differently, as we prove that paths are a.s. not in ${\cal H}(C)$, but in certain larger spaces that can partially be characterized. In case of Matern kernels generating Sobolev space $W_2^m(R^d)$, paths lie almost surely in all $W_2^{p}(R^d)$ for $p<m-d/2$, but almost surely not in $W_2^{m-d/2}(R^d)$. This regularity gap between function and paths is explained easily by square summability of expansion coefficients of functions, not of paths. The required orthonormal expansions, well-known in the probabilistic and the deterministic literature, are analyzed and compared with respect to convergence rates.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a fundamental defect in the path definition of stochastic processes. Specifically, in traditional literature, the definition of random field paths usually starts from the random field, but ignores how to set the joint distribution for an infinite number of random variables to correctly define the path. This way of defining is defective and has not received enough criticism or attempts at correction.
### Specific description of the problem:
1. **Defects in path definition**: The traditional path definition starts from the random field, but does not clearly explain how to handle the joint distribution of an infinite number of random variables, resulting in an imprecise path definition.
2. **Discussion on path properties**: Existing methods, when defining paths, fail to fully consider properties such as the regularity (e.g., continuity and differentiability) of the paths.
### Solutions proposed in the paper:
The paper proposes a new path - definition method, that is, starting from a given covariance function, first define the path, and then define the random field. This method not only retains the basic properties of the Gaussian field but also allows the construction of random fields with non - Gaussian finite - dimensional distributions.
### Specific steps:
1. **Starting from the covariance function**: Select a covariance function \(C\) and construct the associated reproducing kernel Hilbert space \(H(C)\).
2. **Standardizing random values**: Assign standardized random values to the deterministic orthogonal expansion in \(H(C)\).
3. **Path representation**: Prove through the Loève isometry that the pointwise regularity (such as continuity or differentiability) of the path is consistent with the regularity of the functions in \(H(C)\) and the random field \(R_C\).
4. **Analysis of path behavior**: Prove that the paths behave differently as functions, in particular, they are almost never in \(H(C)\), but can be partially characterized in some larger spaces.
### Main contributions:
- Proposes a new path - definition method, which solves the defects in the traditional definition.
- Proves that the new method can be extended to non - Gaussian fields while maintaining the properties of the Gaussian field.
- Conducts an in - depth analysis of the regularity of the paths and their relationship with the function space.
### Key formulas:
- Covariance function definition:
\[
C(x, y):=\text{cov}(R(x), R(y)) = E(R(x)\cdot R(y)),\quad \forall x, y\in\Omega
\]
- Path representation formula:
\[
p_{S, W, R}=\sum_{n\in\mathbb{N}}s_nw_n
\]
- Loève isometry relationship:
\[
L_C(R_C(x)) := C(x,\cdot)\quad \forall x\in\Omega
\]
Through this method, the paper provides a more rigorous and broader path - definition framework, which is applicable to various types of random fields and provides a solid foundation for further research on the properties of paths.