Random homeomorphisms and Fourier expansions -- the pointwise behaviour (Q1885593)

This paper is a continuation of [Geom. Funct. Anal. 8, No. 6, 1016--1042 (1998; Zbl 0945.42003)] by the present author jointly written with \textit{A. M. Olevskii}. Let \(\varphi\) be a Dubins-Freedman random homeomorphism on \([0,1]\) derived from the base measure uniform on \(\{x= {1\over 2}\}\). The following three theorems are proved. Theorem 1. If \(f\) is a periodic, continuous function satisfying the condition \[ |f(\delta)- f(0)|= o\Biggl(\log\log\log{1\over\delta}\Biggr)^{-1}, \] then the Fourier expansion of \(f\circ\varphi\) converges at \(0\) with probability 1. This condition is sharp as the following theorem shows. Theorem 2. There exists a periodic, continuous function satisfying the condition \[ |f(\delta)- f(0)|= O\Biggl(\log\log\log{1\over\delta}\Biggr)^{-1}, \] for which the Fourier expansion of \(f\circ\varphi\) diverges at \(0\) with probability 1. Some 0-1 laws are also deduced for this kind of problem. Theorem 3. If \(T(f; I)\) is an interval property and \(f\) is any continuous function, then \[ \mathbb{P}(T(f\circ\varphi;[0, 1])= 1)\in \{0,1\}. \] A map \(T(f; I)\to \{0,1\}\), where \(f\in C(\mathbb{T})\) is a function and \(I\subset[0, 1]\) is an interval, is called an interval property if the following four conditions hold: (i) \(T\) considered as a map \(C(\mathbb{T}\times [0,1]^2\to \{0,1\}\) is Borel measurable. (ii) \(f|_I= g|_I\) a.e. \(\Rightarrow T(f;I)= T(g;I)\). (iii) \(T(f;[x, y])= T(f;[x,t])T(f; [t,y])\) whenever \(x\leq t\leq y\); \(T(f;[x,x])= 1\). (iv) \(T (f\circ L; L^{-1}(I))= T(f; I)\) for any linear map \(L\).