Renewal theorems and mixing for non Markov flows with infinite measure (Q2179245)

The paper is concerned with renewal theorems and mixing for non-Markov flows with infinite measure. The authors describe the operator renewal-theoretic hypotheses and they state a strong renewal theorem. They obtain various mixing results for semiflows. Let \(F : Y\rightarrow Y\) be a mixing uniformly expanding map defined on a probability space \((Y,\mu)\) and \(\tau: Y\rightarrow \mathbb{R}^{+}\) be a nonintegrable roof function with regularly varying tails \(\mu(y \in Y : \tau(y)>t)=\ell(t)t^{-\beta}\) for various ranges of \(\beta\in [0, 1]\). Consider the suspension \((Y^{\tau},\mu^{\tau})\) and suspension semiflow \(F_t : Y^{\tau}\rightarrow Y^{\tau}\). The aim of the authors is to prove a mixing result of the form \[\lim_{t\rightarrow \infty } a_t\int _{Y^{\tau }}vw\circ F_td\mu^{\tau }=\int _{Y^{\tau }}vd\mu ^{\tau }\int _{Y^{\tau }}wd\mu ^{\tau }, \] for a suitable normalisation \(a_t\rightarrow \infty\) and suitable classes of observables \(v,w : Y^{\tau}\rightarrow \mathbb{R}\). Let us consider \(m(t)=\left\{\begin{array}{cc} \log t & \beta =1,\\t^{1-\beta } & \beta \in (\frac{1}{2},1). \end{array} \right.\) The authors show that \[ \lim_{t\rightarrow \infty } m(t)\int vw\circ f_td\mu _0^{\tau_0}=\text{const}.\int vd\mu _0^{\tau _0}\int vd\mu _0^{\tau _0},\] where \(\tau _0 : [0, 1]\rightarrow [1,\infty)\) is a roof function of bounded variation and Hölder continuous, and \(f_t\) is the suspension semiflow on \([0, 1]^{\tau _0}\) also the constant depends only on \(f\) and \(\tau _0\). The authors obtain the mixing result without requiring the Dolgopyat-type condition given by \textit{H. Bruin} et al. [Trans. Am. Math. Soc. 371, No. 10, 7343--7386 (2019; Zbl 1417.37050)] or high regularity for the observables. Assume that \(\mu(\tau >t)=\ell(t)t^{-\beta}\), where \(\beta\in (\frac{1}{2},1]\). The authors generalize \textit{K. B. Erickson}'s results [Trans. Am. Math. Soc. 151, 263--291 (1970; Zbl 0212.51601)] to the present non i.i.d. set up. Under some conditions, the authors prove that \[\lim_{t\rightarrow \infty } m(t)(U_{A,B}(t+h)-U_{A,B}(t))= d_{\beta}\mu(A)\mu(B)h,\] where \(U_{A,B}(I)=\sum _{n=0}^{\infty } \mu (y\in A\cap F^{-n}B:\tau _n(y)\in I)\) is the renewal measure for measurable sets \(A,B\subset Y\), \(I\subset \mathbb{R}\) and \(h>0\).