The continuous primitive integral in the plane (Q785249)

The one-dimensional continuous primitive integral was treated in the author's earlier paper [Real Anal. Exch. 33, No. 1, 51--82 (2008; Zbl 1154.26011)] and the goal of the present paper is to obtain similar results for the higher-dimensional case. In the two-dimensional case, the primitives (indefinite integrals) are continuous real-valued functions \(F\) defined on \([-\infty,\infty]^2\) satisfying \(F(x,y)=0\) whenever \(x=-\infty\) or \(y=-\infty\). Such a function is called a primitive of a distribution \(f\) if \(\frac{\partial^2}{\partial x\partial y}F=f\), where the derivatives are in the distributional sense. Definite integrals are defined by means of primitives, e.g. \(\int_a^b\int_c^d f=F(b,d)-F(b,c)-F(a,d)+F(a,c)\). This integral generalizes the two-dimensional Lebesgue integral, as well as the two-dimensional Kurzweil-Henstock integral. In fact, the space of all distributions that are integrable in the above-mentioned sense is the completion of the space of all Lebesgue/Henstock-Kurzweil integrable functions equipped with the Alexiewicz norm. The author provides a number of additional results, such as integration by parts or the Hölder inequality, introduces the convolution, and studies various functional-analytic aspects of the space of integrable distributions (in particular, the dual space consists of functions of bounded Hardy-Krause variation). The final section briefly describes the necessary changes leading to \(n\)-dimensional integration. The paper is very well written, contains many enlightening examples, and provides an exhaustive list of references to related literature.