Convergence theorems for the \(H_1\)-integral (Q1590400)

A function \(f\) is \(H_1\)-integrable to \(A\) on \([a,b]\) if \(A\) is the Moore-Smith limit of the Riemann sums; that is, there exists a positive function \(\delta\) on \([a,b]\) such that for every \(\varepsilon> 0\) there exists a \(\delta\)-fine division \(D_0\) such that for every \(\delta\)-fine division \(D\geq D_0\) of \([a,b]\), we have \[ \biggl|(D)\sum f(\xi)( v-u)- A\biggr|< \varepsilon. \] For two \(\delta\)-fine divisions \(D_1\) and \(D_2\), we say \(D_2\geq D_1\) if for every \(([s, t],\zeta)\in D_2\) there exists \(([u,v], \xi)\in D_1\) such that \([s,t]\subset [u,v]\) and \(\{\xi: ([u, v],\xi)\in D_1\}\subset \{\zeta: ([s,t],\zeta)\in D_2\}\). It is known that \(f\) is Henstock integrable on \([a,b]\) if and only if there is an \(H_1\)-integrable function \(g\) such that \(f(x)= g(x)\) a.e. in \([a,b]\). In this note, the uniform convergence theorem and the quasi-integrability theorem are proved for the \(H_1\)-integral.