Menshov-type theorem for divergence sets of sequences of localized operators (Q6060252)

The construction of a continuous function on the unit circle such that its Fourier series diverges exactly on a given countable subset \(D\) of the unit circle is a classical result in Harmonic Analysis (see [\textit{A. Zygmund}, Trigonometric series. Volumes I and II combined. With a foreword by Robert Fefferman. 3rd ed. Cambridge: Cambridge University Press (2002; Zbl 1084.42003)]). On the other hand, the construction of a function \(f\in L^{\infty}([0,1])\) such that its Haar series diverges on exactly a given countable set is proved in [\textit{V. I. Prokhorenko}, Izv. Vyssh. Uchebn. Zaved., Mat. 1971, No. 1(104), 62--68 (1970; Zbl 0216.14403)]. For a multiparameter sequence of suitably localized operators \(U_{\textbf{n}} : L^{1}([0, 1]^{d})\rightarrow M([0, 1]^{d}), \mathfrak{n}=(n_{1}, \cdots, n_{p}) \in \mathbb{N}^{p}\), where \(M([0, 1]^{d})\) denotes the space of bounded functions on \([0, 1]^{d} \), and a countable set \(D \subset [0, 1]^{d}\), in the contribution under review the authors construct a function \( f \in M([0, 1]^{d})\) such that the sequence \(\{U_{\mathfrak{n}}f(x)\}_{\mathfrak{n}}\) diverges for \(x\in D\) and converges for \(x\in [0, 1]^{d} \backslash D.\) Here the convergence is understood in rectangular sense. The sequence of operators is given in terms of \(d\)-variate kernels \(K_{\mathfrak{n}} (x, y), x, y\in [0, 1]^{d} \) satisfying localization properties and parametrized by \(\mathfrak{n}\) in such a way that each \(U_{\mathfrak{n}}\) is a bounded linear operator and if \(x\in [0, 1]^{d}\) is a continuity point of \(f\in M([0, 1]^{d})\), then \(lim _{\min \{n_{1}, \dots, n_{p}\} \rightarrow \infty} U_{\mathfrak{n}}f (x)= f(x).\) This is a partial result in the framework of the multivariate counterpart and multiparameter setting of one given in [\textit{G. A. Karagulyan}, Sb. Math. 202, No. 1, 9--33 (2011; Zbl 1217.42009); translation from Mat. Sb. 202, No. 1, 11--36 (2011)], assuming the constraint that the divergence set is countable. Examples of sequences of operators under consideration include tensor products of univariate orthonormal projections onto splines with arbitrary knots of order \(k\), tensor products of classical operators, as \((C, \alpha), \alpha > 0,\) means of Fourier partial sums or \((C,1)\) means of Walsh partial sums and wavelet projections.