It has been established that, on the subsets \( \mathbb{T}^N = [ - \pi ,\pi ]^N \) describing a cross W composed of N-dimensional blocks, \( W_{x_s x_t } = \Omega _{x_s x_t } \times [ - \pi ,\pi ]^{N - 2} (\Omega _{x_s x_t } \) is an open subset of [−π, π]2) in the classes \( L_p (\mathbb{T}^N ),p > 1 \), a weak generalized localization holds, for N ≥ 3, almost everywhere for multiple trigonometric Fourier series when to the rectangular partial sums \( S_n (x;f)(x \in \mathbb{T}^N ,f \in L_p ) \) of these series corresponds the number n = (n1,…, nN) ∈ ℤ+N, some components nj of which are elements of lacunary sequences. In the present paper, we prove a number of statements showing that the structural and geometric characteristics of such subsets are sharp in the sense of the numbers (generating W) of the N-dimensional blocks \( W_{x_s x_t } \) as well as of the structure and geometry of \( W_{x_s x_t } \). In particular, it is proved that it is impossible to take an arbitrary measurable two-dimensional set or an open three-dimensional set as the base of the block.
Read full abstract