Green's theorem without derivatives (Q2477953)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Green's theorem without derivatives
scientific article

    Statements

    Green's theorem without derivatives (English)
    0 references
    14 March 2008
    0 references
    Let \(F\) be a function of axis-parallel rectangles, finitely additive non-overlapping ones, hence unambiguously defined and additive on figures, that is, finite unions of non-overlapping axis-parallel rectangles. The author defined the integral of \(F\) over a Jordan measurable region \(S\) with rectifiable boundary as the common limit, on covers of \(S\) by partitions into axis-parallel rectangles, as the partition is refined, of its values on the partition's smallest subfigure which contains the closure of \(S\) and a largest subfigure is contained in its interior. The integral over every Jordan measurable set \(S\) exists when the additive \(F\) is absolute continuous in the sense of converging to zero as the area enclosed by its argument it does. This holds for the more usual kinds of area integral of a bounded integrand. Then the author shows that the circumferential line integral \(\oint P\,dx+ Q\,dy\), for \(P\), \(Q\) integrable along axis-parallel line segments and continuous at the boundary (if rectifiable), constructed as a rectangle function, is integrable in the sense of the usual line integral, around the boundary as value. Finally, the author mentions that Green's theorem, that is, the equality of the area integral with the line integral around the boundary could be proved as in the book ``The Riemann approach to integration'' by [\textit{W. F. Pfeffer}, Cambridge Tracts in Mathematics. 109. (Cambridge): Cambridge University Press. (1993; Zbl 0804.26005)].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Green's Theorem
    0 references
    Jordan measurable region, finitely additive
    0 references
    absolute continuous
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references