5163add48ba2ba55.tex
1: \begin{abstract} We  prove the following theorem: given a lacunary sequence of integers $\{n_j\}$, the subsequences $\Fs_{n_j} f$ and $ \Ws_{n_j} f$ of respectively the Fourier and  the Walsh-Fourier series of $f: \mathbb T\to \C$ converge  almost everywhere to $f$ whenever
2: \begin{equation}
3:  \label{logintro} \tag{1}
4: \int_{{\mathbb T}} |f(x)| \log\log(\e^\e +|f(x)|)\log\log\log\log\big( \e^{\e^{\e^\e}}+ |f(x)|\big)   \d x <\infty.
5: \end{equation}
6: Our integrability condition \eqref{logintro} is less stringent than the homologous assumption in  the   almost everywhere convergence theorems of Lie \cite{LIE} (Fourier case) and Do-Lacey \cite{DL} (Walsh-Fourier case), where  a triple-log term appears in place of the quadruple-log term of \eqref{logintro}.  Our proof of the Walsh-Fourier case is  self-contained and, in antithesis to \cite{DL}, avoids the use of Antonov's lemma \cite{ANT,SS}, relying instead on the {novel} weak-$L^p $ bound  for the lacunary Walsh-Carleson operator
7: $$
8: \big\|\sup_{n_j} |\Ws_{n_j} f|\big\|_{p,\infty} \leq K \log( \e + p') \|f\|_p \qquad \forall 1<p\leq 2.
9: $$
10: \end{abstract}
11: