Fourier series with the continuous primitive integral
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 and is a Banach space under the Alexiewicz norm, , the supremum being taken over intervals of length not exceeding . It contains the periodic functions integrable in the sense of Lebesgue and Henstock-Kurzweil. Many of the properties of Fourier series continue to hold for this larger space, with the norm replaced by the Alexiewicz norm. The Riemann-Lebesgue lemma takes the form as . The convolution is defined for and a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate . For , . As well, . 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 . The convolution of with a sequence of summability kernels converges to in the Alexiewicz norm. Let be the Dirichlet kernel and let . Then as . Fourier coefficients of functions of bounded variation are characterized. An appendix contains a type of Fubini theorem.
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}