Divergent Fourier Series with Respect to Biorthonormal Systems in Function Spaces Near $L^1$
Nikoloz Devdariani
TL;DR
The paper addresses the problem of extending Bochkarev-type divergence results for Fourier series, with respect to uniformly bounded biorthonormal systems, to variable exponent Lebesgue spaces near $L^1$ in several variables. It develops a framework identifying the class of exponent functions $p(\cdot)$, via the set $P_{\ln}$ and rearrangement $p^*(t)$, for which a Bochkarev-type divergence holds in $L^{p(\omega(\cdot))}(\Omega)$ after a measure-preserving transformation $\omega$, yielding divergence on a set of positive measure for appropriate $F_1,F_2\in L^{p(\omega(\cdot))}$. The work establishes necessary and sufficient conditions for the closedness of $C(\Omega)$ in variable-exponent spaces and extends the Bochkarev construction to the multi-variable setting, bridging classical $L^1$ divergence phenomena with nonstandard growth spaces. The results provide a rigorous characterization of when Fourier series with respect to biorthonormal systems can diverge on positive-measure sets within near-$L^1$ spaces, under a systematic extension to higher dimensions and variable exponent growth.
Abstract
In this paper, we generalize Bochkarev's theorem, which states that for any uniformly bounded biorthonormal system $Φ$, there exists a Lebesgue integrable function whose Fourier series with respect to the system $Φ$ diverges on a set of positive measure. We find the class of variable exponent Lebesgue spaces $L^{p(\cdot)}([0,1]^n)$, where $1 < p(x) < \infty$ almost everywhere on $[0,1]^n$, such that the aforementioned Bochkarev's theorem holds.
