A general integral

Abstract

We define an integral, the distributional integral of functions of one real variable, that is more general than the Lebesgue and the Denjoy-Perron-Henstock Kurzweil integrals, and which allows the integration of functions with distributional values everywhere or nearly everywhere. Our integral has the property that if f is locally distributionally integrable over the real line and psi is an element of D(R) is a test function, then f psi is distributionally integrable, and the formula = (dist)integral(infinity)(-infinity) f(x)psi(x)dx, defines a distribution f is an element of D'(R) that has distributional point values almost everywhere and actually f(x) = f(x) almost everywhere. The indefinite distributional integral F(x) = (dist) integral(x)(a) f(t)dt corresponds to a distribution with point values everywhere and whose distributional derivative has point values almost everywhere equal to f (x). The distributional integral is more general than the standard integrals, but it still has many of the useful properties of those standard ones, including integration by parts formulas, substitution formulas, even for infinite intervals (in the Cesaro sense), mean value theorems, and convergence theorems. The distributional integral satisfies a version of Hake's theorem. Unlike general distributions, locally distributionally integrable functions can be restricted to closed sets and can be multiplied by power functions with real positive exponents.