Vilenkin-Fourier series in variable Lebesgue spaces
Daviti Adamadze, Tengiz Kopaliani
TL;DR
This work characterizes, for the Vilenkin group $G$, exactly which variable exponents $p(\cdot)$ ensure that the partial sums $S_n f$ of the Vilenkin-Fourier series converge to $f$ in $L^{p(\cdot)}(G)$ whenever $f\in L^{p(\cdot)}(G)$. The authors introduce the $\mathcal{A}(G)$ condition on $p(\cdot)$, a dyadic-structured analogue of Muckenhoupt’s $A_p$ weights, and prove its equivalence to the boundedness of the Hardy-Littlewood maximal operator on $L^{p(\cdot)}(G)$ and to the boundedness/convergence of the averaging operators and Vilenkin partial sums via Calderón-Zygmund techniques and Rubio de Francia extrapolation. They establish a sharp trio of equivalent statements: $p(\cdot)\in\mathcal{A}(G)$, uniform boundedness of $S_n$ on $L^{p(\cdot)}(G)$, and convergence $S_n f \to f$ in $L^{p(\cdot)}(G)$. Additional results include a stability criterion for the maximal operator under exponent scaling (Theorem 1.8) and an extrapolation-based proof framework that extends constant-exponent harmonic analysis on Vilenkin groups to the variable-exponent setting.
Abstract
Let $S_{n}f$ denote the $n$th partial sum of the Vilenkin-Fourier series of a function $f \in L^{1}(G)$. For $1 < p_{-} \leq p_{+} < \infty$, we characterize all exponents $p(\cdot)$ for which the convergence of $S_{n}f$ to $f$ in $L^{p(\cdot)}(G)$ holds whenever $f \in L^{p(\cdot)}(G)$.
