A change of variables formula for Darboux integrals
From MaRDI portal
The formula \[ \overline {\int _{g(a)}^{g(b)}}f(x) dx \leq \overline {\int _a^b}f(g(t)) Dg(t) dt \] is proved for Darboux integrals. Here \(Dg\) is one of the Dini derivates, \(f\) and \(Dg\) are assumed to be bounded, and at a.e.\ point of \([a,b]\) at least one of the functions \(f(g(\cdot))\) or \(Dg(\cdot)\) is assumed to be continuous. As a consequence, the change of variables formula for the Riemann integration \[ \int_{g(a)}^{g(b)}f(x) dx =\int _a^bf(g(t)) Dg(t) dt \] is established under various hypotheses.
Recommendations
- A change of variables theorem for the Riemann integral
- The substitution theorem for Riemann integrals
- A change of variables theorem for the multidimensional Riemann integral
- scientific article; zbMATH DE number 3879187
- A chain rule for the approximate derivative and change of variables for the D-integral
Cited in
(7)- The substitution theorem for Riemann integrals
- A change of variables theorem for the multidimensional Riemann integral
- scientific article; zbMATH DE number 3879187 (Why is no real title available?)
- On the Change of Variables Formula for Multiple Integrals
- Negligible variation and the change of variables theorem
- A formalization of the change of variables formula for integrals in mathlib
- A chain rule for the approximate derivative and change of variables for the D-integral
This page was built for publication: A change of variables formula for Darboux integrals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978977)