Multidimensional sampling - Kantorovich operators in BV - spaces

: The main purpose of this article is to prove a result of convergence in variation for a family of multidimensional sampling - Kantorovich operators in the case of averaged - type kernels. The setting in which we work is that one of BV - spaces in the sense of Tonelli.


Introduction
In recent years, the study of the approximation properties of Kantorovich-type operators has been a challenging topic, and a wide literature has been devoted to the subject (see, e.g., [1][2][3][4][5][6][7][8]). As it is well known, the pioneering idea goes back to Kantorovich [9], who introduced the operators in case of an absolutely continuous function f , allowed to obtain, in the L p -spaces, the analog of the classical Weierstrass approximation theorem in ([ ]) C 0, 1 : indeed Lorentz [10] proved that , as → +∞ n . The idea to replace the values of the function by means of an integral mean was applied to a wide range of operators, including the following generalized sampling operators: is a bounded function and χ is a kernel (see Section 2). Such operators, introduced with the aim to provide a generalized version of the classical sampling theorem, have been widely studied in last 40 years, together with other related operators (see, e.g., [11][12][13][14][15][16][17][18][19][20][21]), also in view of their deep and natural connections to applicative problems of signal and image reconstruction. Their Kantorovich version was introduced in [22], where the authors obtain convergence results in the general setting of Orlicz spaces, and later on, the approximation properties of such operators were deeply investigated in several function spaces, as well as in multidimensional settings [23][24][25][26]. We point out that the multidimensional version of such operators , proved to be very useful in order to solve some applicative problems of digital image reconstruction and processing (see, e.g., [27,28]). In this direction, among the several function spaces, the setting of the spaces of functions of bounded variation is of particular interest. Indeed, in [29], the problem of the estimate in variation for the operators { } > K f w w 0 is studied and an applicative interpretation of the variation diminishing-type estimates is given. Besides estimates in variation, it is natural to face the problem of the convergence in variation, that is the natural notion of convergence in BV-spaces. Results about convergence in variation have been obtained in the one-dimensional case (see [30] for { } ∈ BK n n and [31] for { } > K w w 0 ), but the multidimensional case, much more delicate but nevertheless crucial for applications to digital images, is still an open problem.
In this article, we address this issue and obtain a result of convergence in variation (Theorem 3) in the general case of averaged-type kernels (see Section 2) for multidimensional sampling-Kantorovich operators { } > K f w w 0 . We will work in the frame of BV-spaces in the sense of Tonelli. As it is well known, several generalizations of the Jordan variation to the multidimensional case have been proposed in the literature, including the distributional variation, the Vitali variation, the Cesari generalized variation, the Ascoli-Arzelà variation, and others. We refer to the monograph by Appell et al. [32] for an exhaustive presentation of the different notions of variation, also in the multidimensional frame. We choose to work with the variation introduced by Tonelli [33] for functions of two variables and later extended to the case of N -variables by Radó [34] and Vinti [35], since this concept seems to be very suitable in order to obtain approximation results for families of integral and discrete operators (see, e.g., [25,[36][37][38][39][40][41]). Moreover, the natural geometrical aspects connected to the definition and construction of the Tonelli variation allow us to discuss the previously mentioned applicative issues about digital images [18,29].
In order to reach our goal, we will use an indirect approach. In particular, starting from a natural relation between the sampling-Kantorovich operators and the generalized sampling series applied to a singular integral (see (2) of Section 2), we will prove the main theorem (Theorem 3) using a convergence result for the singular integrals { } > I f ψ w 0 w (Theorem 2), together with an estimate in variation and a convergence result for the generalized sampling operators [18,19]. As it is natural, we have to work within a suitable subspace of ( ) BV N (see Section 2). The article is organized as follows: after a preliminary section where the main notations and definitions are presented (Section 2), the main results are proved in Section 3 and examples of kernels to which the results can be applied are presented in Section 4.

Preliminaries
We now recall the definition of the space ( ) BV N in the sense of Tonelli [33][34][35].
, we will use the following notations: the supremum being taken over all the possible partitions , . For j N 1, , , we define the so-called Tonelli integrals, namely the ( ) − N 1 -dimensional integrals, as follows: is the one-dimensional Jordan variation of the jth section of f , and their Euclidean The variation of f on ⊂ I N is defined as follows: where the supremum is taken over all the finite families of where the supremum is taken over all the intervals ⊂ I N , is the Tonelli variation of f on N .
We will also use the notation

Definition 1. A measurable and bounded function
It is obvious that, for every We now recall the definition of local absolute continuity on N .
We will denote by the space of the absolutely continuous functions on N . We recall that, for every [34,35].
We will now introduce the family of sampling-Kantorovich operators, namely as the Kantorovich version of the multivariate generalized sampling series In [29], the following estimate in variation was obtained for the sampling-Kantorovich operators In this article, we will go a step further and prove a result of convergence in variation for Obviously, the setting will be the same, namely we will consider sampling-Kantorovich operators with kernels χ m of averaged type, denoted by We will similarly denote by S f w m the multivariate generalized sampling series of f with averaged kernel χ m . Saying that the kernels are of averaged-type means that for some ∈ m , and ⟶ χ : i is a one-dimensional kernel for every = … i N 1, , , i.e., it satisfies the following conditions: ( where the convergence of the series is uniform on the compact sets of . One can immediately verify that χ i m , is a kernel itself and that 1 1 for every = … i N 1, , . Moreover, χ m turns out to be a multidimensional kernel, namely it satisfies the multidimensional versions of ( ) χ 1 and ( ) χ 2 , that is, and { } > S f w w 0 are well-defined, for instance, for every bounded function, and therefore, for every In order to prove the main result about the convergence in variation for { } > K f w m w 0 , we will use an indirect approach. In particular, it is well known that, in the one-dimensional case, it is possible to write the sampling-Kantorovich operators as the generalized sampling series of a singular integral (see, e.g., [31]). Here, we will make use of the analogous identity in the multidimensional case. In particular, let us denote by The family φ w is, as usual, an approximate identity, namely it satisfies the following assumptions: Let us now consider for every > w 0, t ∈ N . Using such relation, we will prove the main convergence result by means of an estimate in variation [19], a convergence result for the generalized sampling operators [18] and for the singular integrals . In order to establish it, we have to introduce a subspace of ( ) L N 1 (see [16]) and, of course, some notations. We recall that an admissible partition over the i-th axis is a partition , is said to be an admissible sequence if it is the cartesian product of admissible partitions is defined as follows: The sampling grid, that is, the cartesian product of ( ) ∈ k w k i i , = … i N 1, , , is indeed an admissible sequence: for its importance, it will be denoted by Σ w N . Similarly, by − Σ w N 1 , we will denote the cartesian product of ( ) ∈ k w k i i , ≠ i j, that is, the sampling grid on − N 1 , excluding the jth coordinate.
We recall that ( ) Λ p N is a proper linear subspace of ( ) L p N that contains, among others, all the measurable functions with compact support: this one and other properties of ( ) Λ p N can be found in [16] and [42]. We will also use the following notation introduced in

Convergence in BV N ( ) by means of sampling-Kantorovich operators
In this section, we will prove the main result, that is, the convergence in variation by means of sampling-Kantorovich operators. In order to do this, we will provide an estimate (Proposition 1) and a convergence result (Theorem 2) for the singular integrals, which will be an intermediate step to reach the main result.
Results about convergence in L p by means of singular integrals are well known (see, e.g., [43]). We will now study the operators { } I ψ w w in the subspace ( ) Λ p N . First, we will state an estimate in ( ) BV N Λ for the singular integrals be an increasing sequence in . Then we have We will now prove a result of convergence in ( ) Λ p N for the singular integrals I g ψ w , where , t ∈ N , > w 0, which will be used in the proof of the main convergence result.
for every admissible sequence Σ w with upper mesh size = Δ w 1 .
Proof. Using assumption ( ) A1 and Jensen's inequality (recalling that | | u p , ∈ u , ≥ p 1, is a convex function and that = A 1 for ψ w ) we can write We are now ready to prove the main convergence result.
, for every = … j N 1, , , and let χ m be an averaged kernel with compact support. Then, Proof. We first note that, with the above assumptions, , obtained as the cartesian product of − Σ N 1 for the − N 1 components (other than j) and Σ for the j-th one, is an admissible sequence in N . Moreover there holds ( ) ∈ f AC N (see, e.g., Proposition 5 of [37] in the particular case of linear operators), therefore, similarly to (4), there holds The above kernels have unbounded support, thus, they fulfill all the conditions for Theorem 1, but not for Theorem 3, which holds for kernels with compact support. Nevertheless, it is also easy to provide examples of kernels of averaged-type with compact support: among them, there are the central B-splines of order ∈ n . Such kernels, well known in approximation theory (see, e.g., [43]), are defined as follows: is an example of a kernel to which all our results can be applied.