Uniform limit power-type function spaces (Q2644162)

The authors call the functions \[ \sum_{k=1}^na_ke^{i\lambda_kt^{\alpha}} \] \(\alpha\)-trigonometric polynomials, where \(a_k\in {\mathbb C}\) and \(\lambda_k\in {\mathbb R}\). They consider a fixed \(\alpha >0\) and say that a function \(f\) on \({\mathbb R}^+\) is called uniform limit power if for each \(\varepsilon >0\) there exists an \(\alpha\)-trigonometric polynomial \(P_{\varepsilon}\) such that \[ \|f-P_{\varepsilon}\|=\sup\{| f(t)-P_{\varepsilon}(t)|:t\in {\mathbb R}^+\}<\varepsilon. \] They denote by \({\mathcal U}{\mathcal L}{\mathcal P}_{\alpha}({\mathbb R}^+)\) the set of all such functions and consider the following set of functions: \[ C_0({\mathbb R}^+)=\{\varphi \in C({\mathbb R}^+):\lim_{t\to \infty}\varphi(t)=0\}. \] A function \(f\in C({\mathbb R}^+)\) is called asymptotic limit power if \[ f(t)=g(t)+\varphi(t), \quad t\in {\mathbb R}^+, \] where \(g\in{\mathcal U}{\mathcal L}{\mathcal P}_{\alpha}({\mathbb R}^+)\) and \(\varphi \in C_0({\mathbb R}^+)\). The authors denote by \({\mathcal A}{\mathcal L}{\mathcal P}_{\alpha}({\mathbb R}^+)\) the set of all such functions and prove that if \(f \in C({\mathbb R}^+)\), the following statements are equivalent: (1) \({\tilde f}\in {\mathcal A}{\mathcal L}{\mathcal P}_{\alpha}({\mathbb R}^+);\) (2) the set \(\{f[(t+x)^{{\frac{1}{\alpha}}}]:x\in{\mathbb R}^+\}\) is relatively compact in \(C({\mathbb R}^+)\); (3) for any \(\varepsilon >0\) there exist a bounded closed interval \(C=[0,a]\) and \(l>0\) such that any interval \(I\subset {\mathbb R}^+\) of length \(l\) has a number \(\tau \in I\) with the property \[ | f[(t+\tau)^{\frac{1}{\alpha}}]-f[(t)^{\frac{1}{\alpha}}]|<\varepsilon, \quad t, t+\tau\in {\mathbb R}^+\setminus C. \] Let us mention that for \(f\in{\mathcal A}{\mathcal L}{\mathcal P}_{\alpha}({\mathbb R}^+)\) the authors define the function \({\tilde f}\) as \[ {\tilde f}(s)=f(s^{{\frac{1}{\alpha}}}), \quad s \in {\mathbb R}^+. \]