Abstract
We define the \(L^r\)-variational integral and we prove that it is equivalent to the \(HK_r\)-integral defined in 2004 by P. Musial and Y. Sagher in the Studia Mathematica paper The \(L^{r}\)-Henstock–Kurzweil integral. We prove also the continuity of \(L^r\)-variation function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 History and Aim
At the beginning of the 1900s, Denjoy and Perron developed descriptive processes for recovering a function from its derivative that solved known problems of classical Riemann and Lebesgue integrals. Many years later, an equivalent constructive Riemann-type integral process was developed by Henstock and Kurzweil. Both integration processes were generalized quite recently for many different spaces (see [1, 11] and [12]) solving the problem of recovering Fourier coefficients in Haar, Walsh and Vilenkin systems (see [9, 10, 14, 15] and [16]). Many properties of these non-absolute integrals were investigated, for example, the Hake property was studied with an abstract differential basis in a topological spaces, in terms of variational measure and in Riesz spaces (see [13, 17] and [2]).
To establish pointwise estimates for solutions of elliptic partial differential equations, in 1961 Calderon and Zygmund introduced the \(L^{r}\)-derivative (see [3]) and in 1968 L. Gordon described a Perron-type integral, the \(P_{r}\)-integral, that recovers a function from its \(L^{r}\)-derivative (see [4]). In 2004, Musial and Sagher extended the \(P_r\)-integral to the \(L^r\)-Henstock–Kurzweil integral, the \(HK_{r}\)-integral, that recovers also a function from its \(L^{r}\)-derivative (see [6]). Quite recently the integration by parts formula for the \(HK_{r}\)-integral was investigated by Musial and Tulone (see [7]) and the same authors described a norm on the space of \(HK_{r}\)-integrable functions and studied the dual and completion of this space (see [8]).
It is well known that the Henstock–Kurzweil integral is equivalent to the variational integral (see [5]). In this paper, we define the \(L^r\)-variational integral and we prove that it is equivalent to the \(HK_r\)-integral.
2 Introduction
We will assume that \(r\ge 1\) and we will consider the case of the closed interval \(\left[ a,b\right] \).
Definition 2.1
A function \(f:\left[ a,b\right] \rightarrow {\mathbb {R}}\) is \(L^{r}\)-variational integrable on \(\left[ a,b\right] \) if there exists a function \(F\in L^{r}\left[ a,b\right] \) with the following property: for each \(\varepsilon >0\) there exist a non-decreasing function \(\phi \) defined on \(\left[ a,b\right] \) and a gauge \(\delta \), i.e., a positive function, defined on \(\left[ a,b\right] \) such that \(\phi \left( b\right) -\phi \left( a\right) <\varepsilon \) and for any \(\delta \)-fine tagged interval \(\left( x,\left[ c,d\right] \right) \), where \(\left[ c,d\right] \subseteq \left[ a,b\right] ,\)
We will use the following definition given in [6]
Definition 2.2
A function \(f:\left[ a,b\right] \rightarrow {\mathbb {R}} \) is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b\right] \) if there exists a function \(F\in L^{r}\left[ a,b\right] \) so that for any \( \varepsilon >0\) there exists a gauge \(\delta \) so that for any finite collection of nonoverlapping \(\delta \)-fine tagged intervals
we have
By Theorem 5 in [6], the function F in the Definition 2.2 is unique up to an additive constant, so we can state that for each \(x\in \left( a,b\right] \)
We need the following definition in a later theorem.
Definition 2.3
Let \(F\in L^{r}\left[ a,b\right] \). For \(x\in \left[ a,b\right] \) we say that F is \(L^{r}\)-continuous at x if
If F is \(L^{r}\)-continuous for all \(x\in E\), we say that F is \(L^{r}\)-continuous on E.
The Henstock–Kurzweil integral primitive is continuous in the usual sense. In [6] is proved an equivalent result for \(L^r\)-Henstock–Kurzweil indefinite integral.
Theorem 2.4
The function F in the definition of the \(L^{r}\)-Henstock–Kurzweil is \(L^{r}\)-continuous on \(\left[ a,b\right] \).
Definition 2.5
Let \(\Phi \) be a function defined on the subintervals of \(\left[ a,b\right] \). The function \(\Phi \) is superadditive if
whenever \(a\le u<v<w\le b\). The function \(\Phi \) is continuous if for each \(c\in \left( a,b\right) \),
and
Remark 2.6
Throughout this paper, if an interval function is said to be continuous, it is to be considered continuous in the sense of Definition 2.5.
Definition 2.7
Let \(\delta \) be a gauge and let
be a \(\delta \)-fine partition of \(\left[ a,b\right] \). Let
The main tool we need to get the \(L^r\)-variational integral is the following definition of \(L^r\)-variation function.
Definition 2.8
For each subinterval \(\left[ c,d\right] \subseteq \left[ a,b\right] \) define
where the supremum is taken over all \(\delta \)-fine partitions \({\mathcal {P}}\) of \(\left[ c,d\right] .\)
Theorem 2.9
The function \(\Phi \) is superadditive.
Proof
Let u, v and w be such that \(a\le u<v<w\le b\) and let \(\varepsilon >0\). If either \(\Phi \left( \left[ u,v\right] \right) =\infty \) or \(\Phi \left( \left[ v,w\right] \right) =\infty \) then surely \(\Phi \left( \left[ u,w \right] \right) =\infty \) and the assertion holds. Otherwise let \(\mathcal { P}_{1}\) be a partition of \(\left[ u,v\right] \) such that \(W\left( {\mathcal {P}} _{1}\right) >\Phi \left( \left[ u,v\right] \right) -\varepsilon \) and let \( {\mathcal {P}}_{2}\) be a partition of \(\left[ v,w\right] \) such that \(W\left( {\mathcal {P}}_{2}\right) >\Phi \left( \left[ v,w\right] \right) -\varepsilon .\) Let \({\mathcal {P}}={\mathcal {P}}_{1}\cup {\mathcal {P}}_{2}\), and clearly \( W\left( {\mathcal {P}}\right) =W\left( {\mathcal {P}}_{1}\right) +W\left( \mathcal { P}_{2}\right) .\) But \(W\left( {\mathcal {P}}\right) \le \Phi \left( \left[ u,w\right] \right) .\) Therefore,
\(\square \)
Now we can prove the following theorem that extends Theorem 11.9 in [5]
3 Main Results
Theorem 3.1
A function \(f: \left[ a,b\right] \rightarrow {\mathbb {R}} \) is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b\right] \) if and only if there exists a function \(F:\left[ a,b\right] \rightarrow {\mathbb {R}} \) with the following property: for each \(\varepsilon >0\) there exists a superadditive interval function \(\Phi \) defined on the subintervals of \( \left[ a,b\right] \) and a gauge \(\delta \) defined on \(\left[ a,b\right] \) such that \(\Phi \left( \left[ a,b\right] \right) <\varepsilon \) and for any \(\delta \)-fine tagged interval \(\left( x,\left[ c,d\right] \right) \), where \(\left[ c,d\right] \subseteq \left[ a,b\right] ,\)
Proof
Suppose there exists a function F with the property stated in the theorem. Let \(\varepsilon >0\) and choose \(\Phi \) and \(\delta \) according to the hypotheses. If \({\mathcal {P}}:=\left\{ \left( x_{i},\left[ c_{i},d_{i}\right] \right) ,1\le i\le n\right\} \) is a \(\delta \)-fine tagged partition of \( \left[ a,b\right] \), then
and so f is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b\right] .\)
Now suppose that f is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b \right] \) and let
for each \(x\in \left( a,b\right] \). Let \(\varepsilon >0\). By hypothesis, there exists a gauge \(\delta \) on \(\left[ a,b\right] \) such that
whenever \({\mathcal {P}}\) is a \(\delta \)-fine tagged partition of \(\left[ a,b \right] \). Let
and let \(W\left( {\mathcal {P}}\right) \) be defined as in (2.2) and let \(\Phi \) be defined on the subintervals of \(\left[ a,b\right] \) as in (2.3). By Theorem 2.9, \(\Phi \) is superadditive. Also,
Finally, by the definition of \(\Phi \), if \(\left( x,\left[ c,d\right] \right) \) is a \(\delta \)-fine tagged interval such that \(\left[ c,d\right] \subseteq \left[ a,b\right] ,\)
This completes the proof. \(\square \)
Theorem 3.2
A function \(f:\left[ a,b\right] \rightarrow \) is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b\right] \) if and only if f is \(L^{r}\)-variational integrable on \(\left[ a,b\right] .\)
Proof
Suppose first that f is \(L^{r}\)-variational integrable on \(\left[ a,b \right] .\) Let \(\varepsilon >0\) and let F, \(\delta \) and \(\phi \) satisfy the conditions in Definition 2.1. If \( {\mathcal {P}}=\left\{ \left( x_{i},\left[ c_{i},d_{i}\right] \right) ,1\le i\le n\right\} \) is a \(\delta \)-fine tagged partition of \(\left[ a,b\right] \), then
and so f is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b\right] \) and
Now suppose that f is \(L^{r}\)-Henstock–Kurzweil integrable on \(\left[ a,b \right] \) and that for each \(x\in \left( a,b\right] \),
Let \(\varepsilon >0\). By Theorem 3.1 there exists a superadditive interval function \(\Phi \) defined on \(\left[ a,b\right] \) such that \(\Phi \left( \left[ a,b\right] \right) <\varepsilon \) and
whenever \(\left( x,\left[ c,d\right] \right) \) is a \(\delta \)-fine tagged interval such that \(\left[ c,d\right] \subseteq \left[ a,b\right] \). Define \(\phi :\left[ a,b\right] \rightarrow {\mathbb {R}} \) by \(\phi \left( a\right) =0\) and \(\phi \left( x\right) =\Phi \left( \left[ a,x\right] \right) \) for all \(x\in \left( a,b\right] \). If \(a\le c<d\le b \), then
and so \(\phi \) is non-decreasing. In addition,
Suppose that \(\left( x,\left[ c,d\right] \right) \) is a \(\delta \)-fine tagged interval such that \(\left[ c,d\right] \subseteq \left[ a,b\right] \). Then,
Hence, the function f is \(L^{r}\)-variational integrable on \(\left[ a,b \right] .\) This completes the proof. \(\square \)
Corollary 3.3
If f is \(L^{r}\)-variational integrable on \(\left[ a,b\right] \), then the function F which satisfies the conditions of Definition 2.1 is unique up to an additive constant.
We now prove the continuity of the interval function \(\Phi \).
Proposition 3.4
Let f be \(L^{r}\)-variational integrable on \(\left[ a,b\right] \) and let F be a function that satisfies (2.1). Let \(\delta \) be a gauge, \(\Phi =\Phi \left( \delta ,F\right) \) be as in (2.3), and assume that \(\Phi \left( \left[ a,b\right] \right) \) is finite. Then, \(\Phi \) is continuous.
Proof
We will prove that \(\hbox {lim}_{x\rightarrow c^{-}}\Phi \left( \left[ x,c\right] \right) =0\) for each \(c\in \left( a,b\right] \); the proof for right-handed limits is similar. Suppose by way of contradiction that \(\hbox {lim}_{x\rightarrow c^{-}}\Phi \left( \left[ x,c\right] \right) \) either fails to exist or exists and is not equal to zero. Since \(\Phi \) is nonnegative, there exists \(\eta >0\) such that \(\lim \sup _{x\rightarrow c^{-}}\Phi \left( \left[ x,c\right] \right) >\eta .\) Let us see that for every \(\xi \in \left[ a,c\right) ,\) \(\Phi \left( \left[ \xi ,c\right] \right) >\eta .\) Fix \(\xi \), there exists \(\xi<\zeta <c\) such that \(\Phi \left( \left[ \zeta ,c \right] \right) >\eta \). Since \(\Phi \) is superadditive, we have that
Consequently, for each \(\xi \in \left[ a,c\right) ,\) there exists \(\mathcal {P }_{\xi }\), a \(\delta \)-fine tagged partition of \(\left[ \xi ,c\right] \) such that \(W\left( {\mathcal {P}}_{\xi }\right) >\eta \).
We now prove that we can make the following three assumptions about \( {\mathcal {P}}_{x}:\)
-
1.
\({\mathcal {P}}_{x}\) contains at least two tagged intervals,
-
2.
c is a tag of \({\mathcal {P}}_{x}\), and
-
3.
the interval containing c is arbitrarily small.
Fix x and \(\varepsilon >0\). Choose \(y\in \left( \max \left( x,c-\varepsilon \right) ,c\right) \). By Cousin’s Lemma there exists \( {\mathcal {Q}}\), a \(\delta \)-fine tagged partition of \(\left[ x,y\right] \). Define \({\mathcal {P}}_{x}={\mathcal {Q}}\cup {\mathcal {P}}_{y}.\) We then have
If c is the tag of its interval, then \({\mathcal {P}}_{x}\) has the desired properties.
Now suppose that c is not the tag of its interval. Let s and t be such that \(\left( t,\left[ s,c\right] \right) \) is the tagged interval which contains c. It is possible that \(s=t\) but we assume that \(t<c\).
It suffices to show that
Note that
Using Minkowski’s inequality, we have
By Theorem 2.4 the function F is \(L^{r}\)-continuous at each point of \(\left[ a,b\right] \), and so we have that
We also have that
It follows that
We now prove the proposition. Set \(x_{1}=a\) and write
By the result proved above, we may assume that for each k, \(c-x_{k}<1/k\) and, therefore, that \(x_{k}\rightarrow c.\)
For each n, the collection
is a \(\delta \)-fine tagged partition of \(\left[ a,x_{n+1}\right] \). Hence,
This shows that the series
converges and hence
We then have for each k,
By (3.1), the term on the right goes to zero; therefore, the entire right side of the equality goes to zero. This contradiction completes the proof.
\(\square \)
References
Boccuto, A., Skvortsov, V.A., Tulone, F.: Integration of functions ranging in complex Riesz space and some applications in harmonic analysis. Math. Notes 98(1), 25–37 (2015)
Boccuto, A., Skvortsov, V.A., Tulone, F.: A hake-type theorem for integrals with respect to abstract derivation bases in the Riesz space setting. Math. Slovaca 65(6), 1319–1336 (2015)
Calderon, A.P., Zygmund, A.: Local properties of solutions of elliptic partial differential equations. Studia Math. 20, 171–225 (1961)
Gordon, L.: Perron’s integral for derivatives in \(L^{r}\). Studia Math. 28, 295–316 (1967)
Gordon, R.A.: The Integrals of Lebesgue, Denjoy, Perron, and Henstock, Graduate Studies in Mathematics, vol. 4. American Mathematical Society, Washington (1994)
Musial, P., Sagher, Y.: The \(L^{r}\)-Henstock-Kurzweil integral. Studia Math. 160(1), 53–81 (2004)
Musial, P., Tulone, F.: Integration by parts for the \(L^r\)-Henstock-Kurzweil integral. Electron. J. Differ. Equ. 2015(44), 1–7 (2015)
Musial, P., Tulone, F.: Dual of the class of HKr integrable functions. Minim. Theory Appl. 4(1), 151–160 (2019)
Oniani, G., Tulone, F.: On the possible values of upper and lower derivatives with respect to differentiation bases of product structure. Bull. Ga. Natl. Acad. Sci. 12(1), 12–15 (2018)
Oniani, G., Tulone, F.: On the almost everywhere convergence of multiple Fourier-Haar series. J. Contemp. Math. 54(5), 288–295 (2019)
Skvortsov, V.A., Tulone, F.: Generality of Henstock-Kurzweil type integral on a compact zero-dimensional metric space. Tatra Mt. Math. Publ. 49(1), 81–88 (2011)
Skvortsov, V.A., Tulone, F.: Henstock type integral in compact zero-dimensional metric space and quasi-measures representations. Mosc. Univ. Math. Bull. 67(2), 55–60 (2012)
Skvortsov, V.A., Tulone, F.: Generalized Hake property for integrals of Henstock type. Mosc. Univ. Math. Bull. 68(6), 270–274 (2013)
Skvortsov, V.A., Tulone, F.: Multidimensional dyadic Kurzweil-Henstock- and Perron-type integrals in the theory of Haar and Walsh series. J. Math. Anal. Appl. 421(2), 1502–1518 (2015)
Skvortsov, V.A., Tulone, F.: On the Coefficients of Multiple Series with Respect to Vilenkin System. Tatra Mt. Math. Publ. 68(1), 81–92 (2017)
Skvortsov, V.A., Tulone, F.: Multidimensional P-adic integrals in some problems of harmonic analysis. Minim. Theory Appl. 2(1), 153–174 (2017)
Skvortsov, V.A., Tulone, F.: A version of Hake’s theorem for Kurzweil-Henstock integral in terms of variational measure. Ga. Math. J. 5, 1–6 (2019). https://doi.org/10.1515/gmj-2019-2074
Funding
Open access funding provided by Università degli Studi di Palermo within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tulone, F., Musial, P. The \(L^{r}\)-Variational Integral. Mediterr. J. Math. 19, 96 (2022). https://doi.org/10.1007/s00009-021-01962-8
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-021-01962-8