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 \in \mathcal{D}(\mathbb{R}$ is a test function, then $f\psi$ is distributionally integrable, and the formula% [<\mathsf{f},ψ> =(\mathfrak{dist}) \int_{-\infty}^{\infty}f(x) ψ(x) \,\mathrm{d}% x\,,] defines a distribution $\mathsf{f}\in {\mathcal{D}}^{\prime }(\mathbb{R})$ that has distributional point values almost everywhere and actually $\mathsf{f}(x)=f(x)$ almost everywhere. The indefinite distributional integral $F(x)=(\mathfrak{dist}){\int }_a^{x}f(t)\mathrm{d}t$ 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 Cesàro 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.

59 pages, to appear in Dissertationes Mathematicae

Cited by in corpus (5)

• Complex Tauberian theorems for Laplace transforms with local pseudofunction boundary behavior
• New classes of weighted Hölder-Zygmund spaces and the wavelet transform
• Boundary values of holomorphic functions and heat kernel method in translation-invariant distribution spaces
• Characterization of distributions having a value at a point in the sense of Robinson
• Pointwise differentiability of higher order for distributions