Variational measure with respect to measurable gauges (Q2054565)

Consider an additive interval function \(F:{\mathcal I}\to\mathbb R\), where \(\mathcal I\) is the collection of all closed subintervals of \([a,b]\). The standard definition of the variational measure of \(F\) over a set \(E\subset [a,b]\) is \[ V_F(E)=\inf\{V(F,E,\delta):\delta\mbox{ is a gauge on }E\}, \] where \[ V(F,E,\delta)=\sup\sum_{(t,J)\in P}|F(J)|, \] the supremum being taken over all \(\delta\)-fine tagged systems \(P\) consisting of point-interval pairs \((t,J)\) with \(t\in J\cap E\). The goal of the present paper is to investigate what happens if \(V_F\) is replaced by \(V_F^m\), whose definition differs from \(V_F\) in that it involves only measurable gauges \(\delta\) on \([a,b]\). The authors establish some basic properties of \(V_F^m\), such as finite subadditivity, countable subadditivity for measurable sets, and finite additivity for sets having positive distance. The main results are: \begin{itemize} \item If \(F\) is an indefinite Henstock-Kurzweil integral, then \(V_F\) coincides with \(V_F^m\) for all subsets of \([a,b]\). \item An additive interval function \(F\) is an indefinite Henstock-Kurzweil integral if and only if \(V_F^m\) is absolutely continuous with respect to the Lebesgue measure. \item For a continuous additive interval function \(F\), \(V_F\) coincides with \(V_F^m\) for all measurable subsets of \([a,b]\). \end{itemize} The paper includes some open problems for future research.