Displaying similar documents to “A new and more powerful concept of the PU-integral”

Gauge Integral

Roland Coghetto (2017)

Formalized Mathematics

Similarity:

Some authors have formalized the integral in the Mizar Mathematical Library (MML). The first article in a series on the Darboux/Riemann integral was written by Noboru Endou and Artur Korniłowicz: [6]. The Lebesgue integral was formalized a little later [13] and recently the integral of Riemann-Stieltjes was introduced in the MML by Keiko Narita, Kazuhisa Nakasho and Yasunari Shidama [12]. A presentation of definitions of integrals in other proof assistants or proof checkers (ACL2, COQ,...

Substitution formulas for the Kurzweil and Henstock vector integrals

Márcia Federson (2002)

Mathematica Bohemica

Similarity:

Results on integration by parts and integration by substitution for the variational integral of Henstock are well-known. When real-valued functions are considered, such results also hold for the Generalized Riemann Integral defined by Kurzweil since, in this case, the integrals of Kurzweil and Henstock coincide. However, in a Banach-space valued context, the Kurzweil integral properly contains that of Henstock. In the present paper, we consider abstract vector integrals of Kurzweil and...

Differential equations in banach space and henstock-kurzweil integrals

Ireneusz Kubiaczyk, Aneta Sikorska (1999)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

In this paper, using the properties of the Henstock-Kurzweil integral and corresponding theorems, we prove the existence theorem for the equation x' = f(t,x) and inclusion x' ∈ F(t,x) in a Banach space, where f is Henstock-Kurzweil integrable and satisfies some conditions.