Random homeomorphisms and Fourier expansions -- the pointwise behaviour (Q1885593): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0511036 / rank | |||
Normal rank |
Revision as of 23:34, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Random homeomorphisms and Fourier expansions -- the pointwise behaviour |
scientific article |
Statements
Random homeomorphisms and Fourier expansions -- the pointwise behaviour (English)
0 references
11 November 2004
0 references
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\).
0 references
Dubins-Freedman random homeomorphism
0 references
random change of variable
0 references
Fourier expansion
0 references
Dirichlet kernel
0 references
Fourier series
0 references
superposition
0 references
random perturbation
0 references