Generalized Ordinary Differential Equations in Abstract Spaces and Applications. Группа авторов

as one can note by the next classical example.

      Example 1.92: Let be defined by if , and , and consider . Since is Riemann improper integrable, , because the Kurzweil–Henstock (or Perron) integral contains its improper integrals (see Theorem 2.9, [158], or [213]). However, , since is not absolutely integrable (see also [227]).

      Example 1.92 tells us that the elements of are not absolutely integrable.

      When McShane's idea is applied to Kurzweil and Henstock vector integrals, the story changes. In fact, the modification of McShane applied to the Kurzweil vector integral originates an integral which encompasses the Bochner–Lebesgue integral (see Example 1.74). On the other hand, when McShane's idea is used to modify the variational Henstock integral, we obtain exactly the Bochner–Lebesgue integral (see [[47] and [131]]). Thus, if denotes the space of Henstock–McShane integrable functions , that is, is integrable in the sense of Henstock with the modification of McShane, then

      We will prove this equality in the sequel. Furthermore, , and , where we use the notation and to denote, respectively, the spaces of Kurzweil–McShane and Riemann–McShane integrable functions from to . For other interesting results, the reader may want to consult [55].

Our aim in the remaining of this chapter is to show that the integrals of Bochner–Lebesgue and Henstock–McShane coincide. See [132, Theorem 10.4]. The next results are due to C. S. Hönig. They belong to a brochure of a series of lectures Professor Hönig gave in Rio de Janeiro in 1993. We include the proofs here, once the brochure is in Portuguese.

      Lemma 1.93: Let be a sequence in and be a function. Suppose there exists

       Then, and

      Proof. Given , take such that for ,

      and take a gauge on such that for every