On the existence of functions from \(L_ p\), p\(\geq 1\), whose Fourier series converge to zero on a prescribed set and diverge unboundedly outside it (Q582520)

Let \(f\in L_ p(T^ N)\) (p\(\geq 1)\) be a \(2\pi\)-periodic (with respect to each argument, where \(T^ N:=\{x=(x_ 1,...,x_ N)\in {\mathbb{R}}^ N| x_ j\in (-\pi,\pi)\), \(j=1,...,N\}\), and for \(n=(n_ 1,...,n_ N)\in {\mathbb{Z}}^ N_+\) let \(S_ n(x;f)\) denote the rectangular partial sums of the multiple Fourier series of f. \textit{K. Zeller} [Arch. Mat. 6, 335-340 (1955; Zbl 0065.054)] showed that for any measurable set \({\mathfrak B}(\subset T^ 1)\) with \(\mu\) \({\mathfrak B}>0\), there exists \(f\in L_ 1(T^ 1)\) whose Fourier series unboundedly diverges almost everywhere on \({\mathfrak B}\) and converges a.e. on \({\mathfrak A}:=T^ 1\setminus {\mathfrak B}\). Together with earlier results of Hahn and Sierpinski, this raises the question whether for any set \({\mathfrak B}\subset T^ N\) with \(0<\mu {\mathfrak B}>0\), there exists \(f\in L_ 1(T^ 1)\) whose Fourier series unboundedly diverges almost everywhere on \({\mathfrak B}\) and converges a.e. on \({\mathfrak A}:=T^ 1\setminus {\mathfrak B}\). Together with earlier results of Hahn and Sierpinski, this raises the question whether for any set \({\mathfrak B}\subset T^ N\) with \(0<\mu {\mathfrak B}<(2\pi)\), \(N\geq 1\), there exists a function f (belonging to \(L_ 1\) in the one-dimensional case and to \(L_ p(p\geq 1)\) if \(N\geq 2)\) such that \(f(x)=0\) on \({\mathfrak A}:=T^ N\setminus {\mathfrak B}\) and such that its Fourier series is unboundedly divergent a.e. on \({\mathfrak B}\) and convergent to zero a.e. on \({\mathfrak A}\). The author answers this question in the affirmative in the case \(N=1\). For the case \(N=2\) he proves the following theorem: Let \({\mathfrak B}\) be an arbitrary open (or a.e. open) set with \({\mathfrak B}\subset T^ 2\) and \(0<\mu {\mathfrak B}<4\pi^ 2\). Then \(\exists f\in L_{\infty}(T^ 2)\) such that \(f(x)=0\) for \(x\in {\mathfrak A}:=T^ 2\setminus {\mathfrak B}\); \(\limsup_{n\to \infty}S_ n(x;f)=+\infty\) a.e. for \(x\in {\mathfrak B}\); \(\lim_{n\to \infty}S_ n(x;f)=0\) a.e. for \(x\in {\mathfrak A}\); moreover, \(\| \sup_{n>0}| S_ n(x;f)| \|_{L^ p({\mathfrak A})}\leq const,\) \(p>1\).