On universal Fourier series in the Walsh system (Q2088624)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On universal Fourier series in the Walsh system
scientific article

    Statements

    On universal Fourier series in the Walsh system (English)
    0 references
    6 October 2022
    0 references
    The article is dedicated to the study of the existence of universal functions whose Fourier series with respect to the Walsh system are universal in the class of all measurable functions in the sense of signs. For this end, let \(c_k(U)=\int_a^bU(x)\varphi_k(x)dx\) be the Fourier coefficients of the function \(U\in L^1[a,b]\), with respect to an orthonormal system \(\Phi=\{\varphi_k\}_k\) defined on the interval \([a,b]\) and let \(S_m(U,\varphi)(x)=\sum_{k=1}^mc_k(U)\varphi_k(x)\) be the partial sums. Therefore, a function \(U\in L^1[a,b]\) for the space \(S\) with respect to the system \(\Phi=\{\varphi_k\}_k\) is universal in the sense of signs if for each \(f\in S\), we can find a sequence of signs \(\{\delta_k\}_k\) with \(\delta_k=\pm 1\) for \(k\geq 1\), for which the series \(\sum_{k\geq 1} \delta_kc_k(U)\varphi(x)\) converges to \(f(x)\) in \(S\). Then the principal result is the following theorem. Theorem. There exist a sequence \(\{ N_m\}_{m\geq 1}\) of positive integers and \(U\in L^1[0,1]\) whose Fourier-Walsh series has monotone decreasing coefficients and converges in the norm of \(L^1[0,1]\) such that: \par (a) Given \(f\in M[0,1)\), we can find \(\delta_k=\pm 1\) for \(k\geq 1\), such that \[ \lim_{N_m\to \infty}\sum_{k=0}^{N_m}\delta_kc_k(U)W_k(x)=f(x) \] almost everywhere on \([0,1)\) \par (b) \(U\) is universal for \(M[0,1)\) (in the case of convergence in measure) in the Walsh system in the sense of signs. Remark. \par (i) There is a typo on page 868, line 30, first equation; \[ \lim_{k\to \infty}\int_a^b|f_k(x)-f(x)|dx=0\text{ instead of } \lim_{k\to \infty}\int_0^1|f_k(x)-f(x)|dx. \] \par (ii) There is a typo on page 869, line 1, \[ A=\{x\in[a,b), |f(x)|<\infty\}\text{ and }A^{\pm}=\{x\in[a,b), f(x)=\pm\infty\} \] instead of \[ A=\{x\in[0,1), |f(x)|<\infty\}\text{ and }A^{\pm}=\{x\in[0,1), f(x)=\pm\infty\} \]
    0 references
    universal functions
    0 references
    Walsh system
    0 references
    almost everywhere convergence
    0 references
    convergence in measure
    0 references
    measurable function space
    0 references

    Identifiers