English

Fourier series with the continuous primitive integral

Classical Analysis and ODEs 2011-05-30 v1

Abstract

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted \alext\alext and is a Banach space under the Alexiewicz norm, f\T=supI2πIf\|f\|_\T =\sup_{|I|\leq 2\pi}|\int_I f|, the supremum being taken over intervals of length not exceeding 2π2\pi. It contains the periodic functions integrable in the sense of Lebesgue and Henstock-Kurzweil. Many of the properties of L1L^1 Fourier series continue to hold for this larger space, with the L1L^1 norm replaced by the Alexiewicz norm. The Riemann-Lebesgue lemma takes the form \fhat(n)=o(n)\fhat(n)=o(n) as n|n|\to\infty. The convolution is defined for f\alextf\in\alext and gg a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate fgf\Tg\bv\|f\ast g\|_\infty\leq \|f\|_\T \|g\|_\bv. For gL1(\T)g\in L^1(\T), fg\Tf\Tg1\|f\ast g\|_\T\leq \|f\|_\T \|g\|_1. As well, fg^(n)=\fhatng^(n)\widehat{f\ast g}(n)=\fhatn \hat{g}(n). There are versions of the Salem-Zygmund-Rudin-Cohen factorization theorem, Fej\'er's lemma and the Parseval equality. The trigonometric polynomials are dense in \alext\alext. The convolution of ff with a sequence of summability kernels converges to ff in the Alexiewicz norm. Let DnD_n be the Dirichlet kernel and let fL1(\T)f\in L^1(\T). Then Dnff\T0\|D_n\ast f-f\|_\T\to 0 as nn\to\infty. Fourier coefficients of functions of bounded variation are characterized. An appendix contains a type of Fubini theorem.

Keywords

Cite

@article{arxiv.1105.5620,
  title  = {Fourier series with the continuous primitive integral},
  author = {Erik Talvila},
  journal= {arXiv preprint arXiv:1105.5620},
  year   = {2011}
}

Comments

To appear in {\it Journal of Fourier Analysis and Applications}

R2 v1 2026-06-21T18:13:48.018Z