Degree two ergodic theorem for divergence-free stationary random fields (Q877476)

Let \(T\) be an action of the group \({\mathbb R}^3\) on a probability space \((\Omega,{\mathcal B},\mu)\) such that \(T_x\) preserves the probability \(\mu\) for all \(x\). Let \(\vec f(\omega)\) be a three-dimensional integrable random vector on \(\Omega\). Define the integral of the random field \((\vec f(T_m\omega))_{m\in {\mathbb R}^3}\) on the triangular surface \(\Delta(0,x,y)\) with vertices \(0,\;x,\;x+y\) as \[ {\mathcal F}({\vec f})(x,y)(\omega) =\mathop{\int\!\!\int}_{0<s<t<1}\sum_{i,j,k}(x_iy_j-x_jy_i)f_k(T_{sx+ty}\omega)\,ds\,dt, \] where the sum is taken over cyclic permutations of (1,2,3). It is proved that if the random vector \(\vec f\) is divergence-free in the weak sense, then \[ \lim_{x,y\to\infty}{1\over| | x\wedge y| | } \Big({\mathcal F}({\vec f})(x,y)(\omega)-{1\over2}x\wedge y\cdot\int_\Omega{\vec f}\,d\mu\Big)=0 \] in \(L_{p,q}(\Omega)\) so that the angles of the triangle \(\Delta(0,x,y)\) are uniformly positive. If, moreover, \(\vec f\in L_{2,1}(\Omega)\), then the almost sure convergence holds. Both convergences also hold as \(x,y\to0\) with \(\vec f(\omega)\) instead of the expectation \(\int_\Omega\vec f\,d\mu\).