The continuous primitive integral in the plane
Abstract
An integral is defined on the plane that includes the Henstock--Kurzweil and Lebesgue integrals (with respect to Lebesgue measure). A space of primitives is taken as the set of continuous real-valued functions defined on the extended real plane that vanish when or is . With usual pointwise operations this is a Banach space under the uniform norm. The integrable functions and distributions (generalised functions) are those that are the distributional derivative of this space of primitives. If then the integral over interval is and . The definition then builds in the fundamental theorem of calculus. The Alexiewicz norm is where is the unique primitive of . The space of integrable distributions is then a separable Banach space isometrically isomorphic to the space of primitives. The space of integrable distributions is the completion of both and the space of Henstock--Kurzweil integrable functions. The Banach lattice and Banach algebra structures of the continuous functions in are also inherited by the integrable distributions. It is shown that the dual space are the functions of bounded Hardy--Krause variation. Various tools that make these integrals useful in applications are proved: integration by parts, H\"older inequality, second mean value theorem, Fubini theorem, a convergence theorem, change of variables, convolution. The changes necessary to define the integral in are sketched out.
Cite
@article{arxiv.1906.11789,
title = {The continuous primitive integral in the plane},
author = {Erik Talvila},
journal= {arXiv preprint arXiv:1906.11789},
year = {2020}
}