English

The distributional Denjoy integral

Classical Analysis and ODEs 2011-11-09 v2

Abstract

Let ff be a distribution (generalised function) on the real line. If there is a continuous function FF with real limits at infinity such that F=fF'=f (distributional derivative) then the distributional integral of ff is defined as f=F()F()\int_{-\infty}^\infty f = F(\infty) - F(-\infty). It is shown that this simple definition gives an integral that includes the Lebesgue and Henstock--Kurzweil integrals. The Alexiewicz norm leads to a Banach space of integrable distributions that is isometrically isomorphic to the space of continuous functions on the extended real line with uniform norm. The dual space is identified with the functions of bounded variation. Basic properties of integrals are established using elementary properties of distributions: integration by parts, H\"older inequality, change of variables, convergence theorems, Banach lattice structure, Hake theorem, Taylor theorem, second mean value theorem. Applications are made to the half plane Poisson integral and Laplace transform. The paper includes a short history of Denjoy's descriptive integral definitions. Distributional integrals in Euclidean spaces are discussed and a more general distributional integral that also integrates Radon measures is proposed.

Keywords

Cite

@article{arxiv.math/0606537,
  title  = {The distributional Denjoy integral},
  author = {Erik Talvila},
  journal= {arXiv preprint arXiv:math/0606537},
  year   = {2011}
}

Comments

To appear in Real Analysis Exchange