Abstract
In this paper we establish a variation-diminishing type estimate for the multivariate Kantorovich sampling operators with respect to the concept of multidimensional variation introduced by Tonelli. A sharper estimate can be achieved when step functions with compact support (digital images) are considered. Several examples of kernels have been presented.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The concept of variation and also of multidimensional variation of the type introduced by Tonelli, was implicitly one of the first topics addressed by Prof. Domenico Candeloro (Mimmo, for friends). He did so in his first two papers [20, 21] where he studied the Geöcze area as a Burkill–Cesari integral and the link between the absolute continuity and the Burkill–Cesari integral, respectively. Subsequently, in the last years he has worked for a long time on the variational integrals in the sense of Henstock–Kurzweil; in particular, in his papers [22, 23], he managed to obtain, together with his co-authors, the existence of integrable selections in the variational sense, which was an open problem in Measure Theory for several years. It therefore seemed natural to us to dedicate the results of this paper to Mimmo, considering that these issues represented part of his scientific training in the early years and beyond. Each of us, in a different form, owes much to Mimmo; but surely together, we can express our gratitude for what he has left us, both from a scientific and a human point of view, and this contribution wants to be one of the many ways to tell him ... Thanks!
Working with families of operators in BV-spaces, a classical and important result that is usually investigated is an estimate of the variation of the operators in terms of the variation of the function to which they are applied: such property, known as ”variation diminishing type estimate”, can be obtained for several families of operators, well-known and used in approximation theory, such as the Bernstein polynomials, the convolution operators, the Mellin operators, the sampling operators and others (see, e.g., [3,4,5, 9, 14, 32]). In this paper we study the case of multidimensional sampling Kantorovich operators, using the variation in the sense of Tonelli. We also consider separately the one-dimensional case (Theorem 2), that can be derived easily by the analogous result for the generalized sampling series [5]: in this case, for non-negative kernels, it is possible to obtain a classical variation diminishing result, i.e., the variation of the operators is smaller than the variation of the function itself. The multidimensional case (Theorem 1) is much more delicate: this is due to the ”structure” of the Tonelli variation that is responsible, in particular, of the dependance of the constant in the estimate on the dimension of the space (this phenomenon is known as the curse-of-dimensionality occurring in several approximation problems), and to the particular form of the sampling Kantorovich operators. Nevertheless, the approximation properties of such family of operators, in their multidimensional form, are interesting and they have been widely studied in last years in view of their connections to Sampling Theory and Digital Image Processing, see e.g., [16, 25, 26, 28,29,30, 33, 38]. Their definition has been introduced in 2007 in the univariate form [15] and subsequently it was extended to the multidimensional setting in [27]. The latter generalization has been given in order to have a class of approximation operators of the sampling-type, suitable in order to reconstruct not necessarily continuous signals, that is exactly the context in which the problem of processing (reconstruction, enhancement, smoothing etc) digital images is included [7, 27].
In this direction, variation diminishing type estimates may have an applicative interpretation. Indeed, in case of step-type functions, that is, the mathematical model of digital images, it is possible to obtain a sharper estimate (Corollary 1) proving that the \(L^1\)-norm of the variation of the sections of the sampling Kantorovich operators, in case of non-negative kernels, is smaller than the \(L^1\)-norm of the variation of the sections of the function itself: from the applicative point of view, this produces a smoothing effect on the image reconstructed by means of the multidimensional sampling Kantorovich operators, with respect to the original one.
2 Notations and preliminaries
In the present paper, we denote by \(BV({\mathbb {R}}):=\{f:{\mathbb {R}}\longrightarrow {\mathbb {R}}:\ V_{{\mathbb {R}}}[f]<+\infty \}\) the space of functions of bounded variation on \({\mathbb {R}}\); the functional \(V_{{\mathbb {R}}}[f]\, :=\, \sup _{[a,b]\subset {\mathbb {R}}}V_{[a,b]}[f]\) denotes the Jordan variation of f over \({\mathbb {R}}\), and \( V_{[a,b]}[f]\, =\, \sup \sum _{i=1}^n |f(x_i)-f(x_{i-1})|, \) where the supremum is taken over all the possible partitions \(a=x_0<x_1<\ldots <x_n=b\) of the interval [a, b], is the Jordan variation of f over [a, b] [3, 11, 12]. For what concerns the multivariate extension of the above concepts, several possible approaches can be found in the literature (see, e.g., [13]).
In particular, here we consider the concept of variation introduced by Tonelli [35] for two variables, extended to the general case of \({\mathbb {R}}^N\) by Radó and Vinti [34, 37]. In order to recall it, we first introduce the following notation.
For a function \(f:{\mathbb {R}}^N \rightarrow {\mathbb {R}}\) and \(\mathtt{x}=(x_1,\dots ,x_N)\in {\mathbb {R}}^N\), we put \( \mathtt{x}'_j= (x_1,\dots , x_{j-1}, x_{j+1},\dots ,x_N)\in {\mathbb {R}}^{N-1},\) \(\mathtt{x}=(\mathtt{x}'_j,x_j)\) and \(f(\mathtt{x})=f(\mathtt{x}'_j,x_j)\), \(j=1,\dots ,N\). Moreover, given an N-dimensional interval \(I=\prod _{i=1}^N [a_i,b_i],\) by \(I'_j=[\mathtt{a}'_j,\mathtt{b}'_j]\) we will denote the \((N-1)\)-dimensional interval obtained deleting by I the j-th coordinate, i.e., \( I=[\mathtt{a}'_j,\mathtt{b}'_j]\times [a_j,b_j],\ \ j=1,\dots ,N. \) Given a vector \(\mathtt{x}\in {\mathbb {R}}^N\) and \(\alpha \in {\mathbb {R}}\), we will use the usual notation for products and quotients, i.e., \({\alpha \mathtt{x}}=\left( {\alpha x_1 },\ldots ,{ \alpha x_N}\right) \) and, for \(\alpha \ne 0\), \({\mathtt{x}\over \alpha }=\left( {x_1\over \alpha },\ldots ,{x_N\over \alpha }\right) \). For more details and results about BV-spaces, see, e.g., [2,3,4, 8,9,10,11, 13, 31].
Now, we are able to recall the definition of the multivariate Tonelli variation. First of all, for any \(I=\prod _{i=1}^N [a_i,b_i]\) and \(j=1,\dots ,N\) we consider the \((N-1)\)-dimensional integrals (Tonelli integrals)
(\(V_{[a_j,b_j]}[f(\mathtt{x}'_j,\cdot )]\) is the one-dimensional Jordan variation of the \(j-th\) section of f) and their Euclidean norm \( \Phi (f,I):= \left\{ \sum _{j=1}^N \Phi _j^2(f,I)\right\} ^{1\over 2}.\) Note that \(\Phi (f,I)=+\infty \) if \(\Phi _j(f,I)=+\infty \) for some \(j=1,\dots ,N\).
Then the variation of f on \(I\subset {\mathbb {R}}^N\) can be defined as
where the supremum is taken over all the finite families of N-dimensional intervals \(\{J_1,\dots ,J_m\}\) which form partitions of I. Passing to the supremum over all the intervals \(I\subset {\mathbb {R}}^N\), we obtain the variation of f over the whole \({\mathbb {R}}^N\), i.e.,
Definition 1
A measurable and bounded function \(f:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) is said to be of bounded variation (\(f\in BV({\mathbb {R}}^N)\)) if \(V[f]<+\infty \).
By the definition it immediately follows that, for every \(f\in BV({\mathbb {R}}^N)\), \(\nabla f\) exists a.e. in \({\mathbb {R}}^N\) and \({\partial f \over \partial x_j} \in L^1({\mathbb {R}}^N)\), for every \(j=1,\ldots ,N\) (see e.g. [34, 37]).
Definition 2
A function \(f:{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) is locally absolutely continuous in the sense of Tonelli (\(f\in AC_{loc}({\mathbb {R}}^N)\)) if, for every interval \(I=\prod _{i=1}^N [a_i,b_i]\) and for every \(j=1,2,\dots ,N\), the j-th section of f, \(f(\mathtt{x}'_j,\cdot ):[a_j,b_j]\rightarrow {\mathbb {R}}\) is absolutely continuous for almost every \(\mathtt{x}'_j\in [\mathtt{a}'_j,\mathtt{b}'_j]\).
Denoting by \(AC({\mathbb {R}}^N):= BV({\mathbb {R}}^N)\cap AC_{loc}({\mathbb {R}}^N),\) it is well known that, if \(f\in AC({\mathbb {R}}^N)\) then \(V[f]=\int _{{\mathbb {R}}^N} |\nabla f(\mathtt{x})| \,d\mathtt{x}\) (see [12, 31, 34, 37]).
In order to provide some estimates with respect to the multivariate Tonelli variation for a family of multivariate sampling-type operators, we now introduce the following definition.
A function \(\chi :{\mathbb {R}}^N\rightarrow {\mathbb {R}}\) will be called a kernel if it satisfies the following assumptions:
- \((\chi _1)\):
-
\(\chi \in L^1({\mathbb {R}}^N)\) is such that \(\sum _{\mathtt{k}\in {\mathbb {Z}}^N} \chi (\mathtt{u-k})=1\), for every \(\mathtt{u}\in {\mathbb {R}}^N\);
- \((\chi _2)\):
-
\(A_{\chi }:=\sup _{\mathtt{u}\in {\mathbb {R}}^N}\sum _{\mathtt{k}\in {\mathbb {Z}}^N} |\chi (\mathtt{u-k}) |<+\infty \), where the convergence of the series is uniform on the compact sets of \({\mathbb {R}}^N\).
In particular, the above conditions are usually satisfied by the multivariate discrete approximate identities (see, e.g., [19]).
This paper deals with the family of multivariate sampling Kantorovich operators [27], defined as
The sampling Kantorovich operators represent the \(L^1\)-version of the generalized sampling series
Note that the operators \((K_w f)_{w>0}\) and \((S_w f)_{w>0}\) are well-defined, for instance, for any \(f\in BV({\mathbb {R}}^N)\): indeed in this case it turns out that \(|f(\mathtt{t})| \le M\), for some \(M>0\), and thus, by \((\chi _2)\), \( |(K_w f)(\mathtt{t})|\le M\sum _{\mathtt{k}\in {\mathbb {Z}}^N} \chi (w\mathtt{t}-\mathtt{k}) \le MA_{\chi },\) \(\mathtt{t} \in {\mathbb {R}}^N.\)
In the present paper, in order to establish some estimates with respect to the Tonelli variation for the operators \(K_w\), we consider kernels which are given by the product of one-dimensional kernels of averaged form (see, e.g., [5, 7, 32]). More precisely, we define
where
for some \(m\in {\mathbb {N}}\), and \(\chi _i:{\mathbb {R}}\longrightarrow {\mathbb {R}}\) is a (one-dimensional) kernel for every \(i=1,\ldots ,N\) (i.e., satisfying \((\chi _1)\) and \((\chi _2)\) with \(N=1\)). It is easy to see that \({\bar{\chi }}_m\) is a kernel itself and that, for every \(i=1,\ldots ,N,\)
Moreover, \({\bar{\chi }}_m\) is everywhere differentiable and
From now on, for the sake of simplicity, we will denote by \(\bar{K}^m_w\) and \({\bar{S}}^m_w\) the multivariate Kantorovich and generalized sampling series, respectively, both based upon the averaged product kernel \({\bar{\chi }}_m\).
3 The main results
In this section, we prove the main result of the paper, i.e., an estimate for the variation of the multivariate sampling Kantorovich operators.
Theorem 1
For any \(f \in BV({\mathbb {R}}^N)\), \(m\in {\mathbb {N}}\), \(w>0\),
and hence \({\bar{K}}^m_w f\in BV({\mathbb {R}}^N)\). Moreover \({\bar{K}}^m_w f \in AC({\mathbb {R}}^N)\).
Proof
First of all we can observe that, for \(f \in BV({\mathbb {R}}^N)\), \({\partial {\bar{K}}^m_w f \over \partial t_j} (\mathtt{t})\) exists for every \(\mathtt{t}\in {\mathbb {R}}^N\). Indeed, for every \(j=1,\ldots ,N\), \(\mathtt{t}\in {\mathbb {R}}^N\), there holds
and hence, using \((\chi _2)\) for each one-dimensional kernel \(\bar{\chi }_{i,m},\chi _j\), we have, for every \(\mathtt{t}\in {\mathbb {R}}^N\),
The estimate (3) proves that \({\bar{K}}^m_w f \in AC_{loc}({\mathbb {R}}^N)\). Now, using (2) and the change of variable \(\widetilde{k}_j=k_j+m\), and \(\widetilde{k}_i=k_i\), if \(i \ne j\), we can write what follows
Now, putting \(v_j=u_j + m/w\), and \(v_i=u_i\), if \(i \ne j\), in the second integral, we get
Now, using the Fubini–Tonelli theorem, the change of variable \(y_j=wt_j -k_j + m/2\), \(y_i=wt_i -k_i\), \(i\ne j\), and the inequality (1) we have
Now notice that, for \(I=\prod _{i=1}^N [a_i,b_i]\), \( \Phi _j(f,I)=\int _{I'_j} V_{[a_j,b_j]}[f(\mathtt{u}'_j,\cdot )]\,d\mathtt{u}'_j \le \Phi (f,I) \le V_I[f]\), \(j=1,\ldots ,N\), and so, passing to the supremum over \(I\subset {\mathbb {R}}^N\), \( \int _{{\mathbb {R}}^{N-1}} V_{\mathbb {R}}\left[ f\left( \mathtt{u}'_j, \cdot \right) \right] \, d\mathtt{u}'_j\ \le \ V[f]; \) therefore
Hence \({\bar{K}}^m_w f\in BV({\mathbb {R}}^N)\) and therefore \({\bar{K}}^m_w f\in AC({\mathbb {R}}^N)\). \(\square \)
In the one-dimensional case, namely for \(({\bar{K}}_w^m f)(t):=\sum _{{k}\in {\mathbb {Z}}} w \left( \int _{k \over w}^{k+1 \over w} f({ u})\, d{ u}\right) {\bar{\chi }}_m(w{t}-{ k}),\) \(t\in {\mathbb {R}}\), \(w>0\), where \({\bar{\chi }}_m(t)=1/m \int _{-{m\over 2}}^{m\over 2} \chi (t+v)\,dv\) and \(\chi \) is a one-dimensional kernel, it is possible to obtain a sharper estimate. Notice that, in case of a non-negative kernel, this gives a classical variation-diminishing result, since \(\Vert \chi \Vert _1=1\). Namely, we may obtain
Theorem 2
For \(f \in BV({\mathbb {R}})\), \(m\in {\mathbb {N}}\), \(w>0\), there holds
Therefore \({\bar{K}}^m_w f \in BV({\mathbb {R}})\) and so \({\bar{K}}^m_w f \in AC({\mathbb {R}})\).
Proof
It is easy to see that \(({\bar{K}}_w^m f)(t)=({\bar{S}}_w^m I^{\varphi }_w f)(t)\), \(t\in {\mathbb {R}}\), where \( (I^{\varphi }_w f)(t):= w\int _{{\mathbb {R}}} f(u) \varphi (w(t-u))\,du , \ w>0, \) for \(\varphi (u)= \mathbf{1}_{[-1,0]}(u)\) (see [6]). Therefore, taking into account of Proposition 5.1 of [14] (with \(D=\Vert w \varphi (w \cdot )\Vert _1=1\)) and of Proposition 1 of [5] (notice that the constant that multiplies V[f] is \(\Vert \chi \Vert _1\)), there holds
and so \({\bar{K}}^m_w f\in BV({\mathbb {R}})\). Therefore \({\bar{K}}^m_w f\in AC({\mathbb {R}})\) since, as in Theorem 1, it can be proved that \({\bar{K}}^m_w f\in AC_{loc}({\mathbb {R}})\). \(\square \)
4 Examples and applications
In the present section, we discuss some applicative aspects of the theory of sampling Kantorovich operators, in particular in the present setting of BV-spaces. For this purpose, we first recall that some concrete applications of the above operators to the reconstruction and the enhancement of digital images have already been obtained in [25, 26].
Any given static gray scale image (matrix) \(M=(m_{i,j})\), \(i, j =0, ..., n-1\), can be easily represented (from the analytic point of view) by a function of two variables with compact support on the square \([0,n] \times [0,n]\). More precisely, we can define the so-called image function as follows
where \(\mathbf{1}_{i,j}\) denotes the characteristic functions of the set \([i,i+1) \times [j,j+1)\).
Obviously any step function with compact support (as \(I_M\)) is in fact a function belonging to \(BV({\mathbb {R}}^2)\). In such particular case, besides the estimate established in Theorem 1, that obviously holds, a sharper estimate for the variation of the two-dimensional sampling Kantorovich operators can be proved, in fact resulting a variation diminishing type property.
Corollary 1
Let \(f: {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) be a step function with compact support \([\mathtt{a}, \mathtt{b}] \subset {\mathbb {R}}^N\), where \(\mathtt{a}, \mathtt{b} \in {\mathbb {Z}}^N\), \(a_i < b_i\), \(i=1, ...,N\), and \(f(\mathtt{x})=f(\mathtt{i})\) for every \(\mathtt{x}\in [\mathtt{i},\mathtt{j}[\), i.e., f is constant on each interval of a grid of multi-dimensional intervals of the form \([\mathtt{i}, \mathtt{j}]\subset [\mathtt{a}, \mathtt{b}]\), with \(\mathtt{i}, \mathtt{j} \in {\mathbb {Z}}^N\), and \(|j_\nu -i_\nu | = 1\), \(\nu = 1, ..., N\), that form a partition of \([\mathtt{a}, \mathtt{b}[\). Then, for every \(w \in {\mathbb {N}}\) and \(m \in {\mathbb {N}}\),
and therefore
In particular, if \(\chi _i\) is non-negative, \(i=1,\ldots ,N\), it turns out that
Proof
Observing that, for any step function f as above and \(w \in {\mathbb {N}}\) it turns out that \({\bar{K}}^m_w f = {\bar{S}}^m_w f\), the proof immediately follows by Proposition 5 of [7]. \(\square \)
As a consequence of (4), it turns out that for any image (matrix) M, the two-dimensional sampling Kantorovich operator \({\bar{K}}_w^m I_M\), w, \(m \in {\mathbb {N}}\), based on \({\bar{\chi }}_m\) and generated by a non-negative kernel \(\chi \), allows to obtain a filtered image in which globally, the variations of the sections of the image are reduced: this may be interpreted as a reduction of the “jumps of gray levels” with respect to the original image M, producing a smoothing effect on the reconstructed image (see Fig. 1c). As it is well-known, smoothing procedures have a wide range of applications in digital image processing: among them, image enhancement, noise reduction, automatic selection procedures. Figure 1 illustrates an example of application of our operators to the latter problem. The aim is to produce an automatic procedure to select “big” objects from an image (the original, Fig. 1a, is a 250 \(\times \) 250 Hubble space image): this can be done by filtering the image with the sampling Kantorovich operator, producing a smoothing effect (Fig. 1c), and hence applying thresholding to the filtered image (Fig. 1d). This produces an image where just the largest objects are detected. The importance of the application of the smoothing filter in this process can be easily deduced by comparing Fig. 1d to the result of thresholding applied directly to the original image (Fig. 1b).
Now, we can furnish some examples of kernels for which the above results hold.
As a first example, we can consider the multivariate product kernel of the averaged type generated by the well-known Fejér kernel, defined by
where the sinc-function (see, e.g., [6, 24]) is of the form \( \text{ sinc }(x) := \left\{ \begin{array}{ll} {\sin (\pi x) \over \pi x}, \ &{} x \ne 0,\\ 1,\ &{} x=0. \end{array} \right. \) The one-dimensional averaged Fejér kernel is then defined as
and its corresponding multivariate version is \( {{\mathcal {F}}}_m(\mathtt{t})\ :=\ \prod _{i=1}^N {\bar{F}}_m(t_i), \mathtt{t} \in {\mathbb {R}}^N. \) In practice, the averaged Fejér kernel represents the \(L^1\)-version of the well-known Lanczos kernel [32], which is defined as an averaged of a sinc-type function. Note that the Fejér kernel is non-negative and then for the multivariate sampling Kantorovich series based upon \({{\mathcal {F}}}_m\) hold the variation diminishing type properties established in both Theorem 1 and Corollary 1.
Other examples of one-dimensional non-negative kernels with unbounded support that can be used to define product averaged type kernels are, e.g., the Jackson-type kernels, defined by
with \(n \in {\mathbb {N}}\), \(\alpha \ge 1\), and \(c_n\) a non-zero normalization coefficient, given by \( c_n\ :=\ \left[ \int _{{\mathbb {R}}} \text{ sinc}^{2 n}\left( \frac{u}{2 n \pi \alpha } \right) \, du \right] ^{-1}, \) [33]. The averaged-kernels by means of the functions \(J_n\) and their multivariate product can be constructed as in the case of Fejér kernel.
Now, in order to give examples of duration limited kernels, i.e., one-dimensional kernels with compact support, we recall the definition of the well-known central B-spline of order \(n \in {\mathbb {N}}\) (see, e.g., [1, 36]), defined by
where \((x)_+ := \max \left\{ x,0 \right\} \) denotes “the positive part” of \(x \in {\mathbb {R}}\).
Now, let us denote by
the averaged B-spline kernel of order \(n \in {\mathbb {N}}\). Recalling that \( M_n'(t)\ =\ M_{n-1}(t+1/2)\, -\, M_{n-1}(t-1/2),\) \(t \in {\mathbb {R}}\) \((n \ge 2),\) for \(m=1\) we have \( {\bar{M}}_{n,1}'(t)\ =\ M_{n}(t+1/2)\, -\, M_{n}(t-1/2)\ =\ M_{n+1}'(t),\) \(t \in {\mathbb {R}}\) \((n \ge 1),\) from which we can obtain that \( {\bar{M}}_{n,1}(t)\ =\ M_{n+1}(t), \ \ t \in {\mathbb {R}}, \) for every \(n \in {\mathbb {N}}\), namely, the averaged kernel with \(m=1\) generated by a central B-spline of order n is a B-spline itself of order \(n+1\). Thus, the multivariate averaged type product kernel with \(m=1\) and generated by \(M_n\) is \( {{{\mathcal {M}}}}^n_1(\mathtt{t})\ :=\ \prod ^N_{i=1}{\bar{M}}_{n,1}(t_i)\ =\ \prod _{i=1}^N M_{n+1}(t_i), \quad \mathtt{t} \in {\mathbb {R}}^N. \) In practice, in the latter case the multivariate sampling Kantorovich series based upon the product of N averaged B-spline \(M_n\) with \(m=1\) coincide with the sampling Kantorovich operators based upon the multidimensional central B-spline of order \(n+1\).
References
Allasia, G., Cavoretto, R., De Rossi, A.: A class of spline functions for landmark-based image registration. Math. Methods Appl. Sci. 35, 923–934 (2012)
Ambrosio, L., Di Marino, S.: Equivalent definitions of BV space and of total variation on metric measure spaces. J. Funct. Anal. 266(7), 4150–4188 (2014)
Angeloni, L.: Approximation results with respect to multidimensional \(\varphi \)-variation for nonlinear integral operators. Z. Anal. Anwendungen 32(1), 103–128 (2013)
Angeloni, L.: A new concept of multidimensional variation in the sense of Riesz and applications to integral operators. Mediterr. J. Math., 14(4), 149 (2017)
Angeloni, L., Costarelli, D., Vinti, G.: A characterization of the convergence in variation for the generalized sampling series. Ann. Acad. Sci. Fenn. Math. 43, 755–767 (2018)
Angeloni, L., Costarelli, D., Vinti, G.: A characterization of the absolute continuity in terms of convergence in variation for the sampling Kantorovich operators. Medit. J. Math. 16(2), 44 (2019)
Angeloni, L., Costarelli, D., Vinti, G.: Convergence in variation for the multidimensional generalized sampling series and applications to smoothing for digital image processing. Ann. Acad. Sci. Fenn. Math. 45, 751–770 (2020)
Angeloni, L., Vinti, G.: Convergence in variation and rate of approximation for nonlinear integral operators of convolution type. Results Math. 49, 1–23 (2006)
Angeloni, L., Vinti, G.: Convergence and rate of approximation for linear integral operators in \(BV^{\varphi }-\)spaces in multidimensional setting. J. Math. Anal. Appl. 349, 317–334 (2009)
Angeloni, L., Vinti, G.: A sufficient condition for the convergence of a certain modulus of smoothness in multidimensional setting. Comm. Appl. Nonlinear Anal. 20(1), 1–20 (2013)
Angeloni, L., Vinti, G.: Convergence and rate of approximation in \(BV^{\varphi }(\mathbb{R}_+^N)\) for a class of Mellin integral operators. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 25(3), 217–232 (2014)
Angeloni, L., Vinti, G.: Convergence in variation and a characterization of the absolute continuity. Integral Transforms Spec. Funct. 26(10), 829–844 (2015)
Appell, J., Banaś, J., Merentes, N.: Bounded variation and around, 17 De Gruyter Series in Nonlinear Analysis and Applications. De Gruyter, Berlin, Germany (2014)
Bardaro, C., Butzer, P.L., Stens, R.L., Vinti, G.: Convergence in variation and rates of approximation for Bernstein-type polynomials and singular convolution integrals. Analysis 23, 299–340 (2003)
Bardaro, C., Butzer, P.L., Stens, R.L., Vinti, G.: Kantorovich-type generalized sampling series in the setting of Orlicz spaces. Sampling Theory Signal Image Process 6, 29–52 (2007)
Bardaro, C., Mantellini, I.: On convergence properties for a class of Kantorovich discrete operators. Numer. Funct. Anal. Optim. 33, 374–396 (2012)
Butzer, P.L., Fisher, A., Stens, R.L.: Generalized sampling approximation of multivariate signals: theory and applications. Note di Matematica 10(1), 173–191 (1990)
Butzer, P.L., Fisher, A., Stens, R.L.: Generalized sampling approximation of multivariate signals: general theory. Atti Sem. Mat. Fis. Univ. Modena 41(1), 17–37 (1993)
Butzer, P.L., Nessel, R.J.: Fourier Analysis and Approximation I. Academic Press, New York-London (1971)
Candeloro, D.: L’area di Geöcze, per prodotti di applicazioni, come integrale alla Burkill-Cesari, Istit. Lombardo Accad. Sci. Lett. Rend. A 110(2), 493–513 (1976)
Candeloro, D.: The Burkill–Cesari integral and its relation to absolute continuity. Rend. Circ. Mat. Palermo 26(2), 251–274 (1977)
Candeloro, D., Di Piazza, L., Musial, K., Sambucini, A.R.: Gauge integrals and selections of weakly compact valued multifunctions. J. Math. Anal. Appl. 441(1), 293–308 (2016)
Candeloro, D., Di Piazza, L., Musial, K., Sambucini, A.R.: Relations among gauge and Pettis integrals for cwk(X)-valued multifunctions. Ann. Mat. Pura Appl. 197(4), 171–183 (2018)
Coroianu, L., Gal, S.G.: \(L^p\)-approximation by truncated max-product sampling operators of Kantorovich-type based on Féjer kernel. J. Integral Eq. Appl. 29(2), 349–364 (2017)
Costarelli, D., Seracini, M., Vinti, G.: A segmentation procedure of the pervious area of the aorta artery from CT images without contrast medium. Math. Methods Appl. Sci. 43, 114–133 (2020)
Costarelli, D., Seracini, M., Vinti, G.: A comparison between the sampling Kantorovich algorithm for digital image processing with some interpolation and quasi-interpolation methods. Appl. Math. Comp. 374, 125046 (2020)
Costarelli, D., Vinti, G.: Approximation by multivariate generalized sampling Kantorovich operators in the setting of Orlicz spaces, Bollettino U.M.I., Special issue dedicated to Prof. Giovanni Prodi 9(IV), 445–468 (2011)
Costarelli, D., Vinti, G.: An inverse result of approximation by sampling Kantorovich series. Proc. Edinb. Math. Soc. 62(1), 265–280 (2019)
Costarelli, D., Vinti, G.: Inverse results of approximation and the saturation order for the sampling Kantorovich series. J. Approx. Theory 242, 64–82 (2019)
Costarelli, D., Vinti, G.: Saturation by the Fourier transform method for the sampling Kantorovich series based on bandlimited kernels. Anal. Math. Phys. 9, 2263–2280 (2019)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation, Monographs in Mathematics, vol. 80. Birkhäuser Verlag, Basel (1984)
Kivinukk, A., Metsmagi, T.: The variation detracting property of some Shannon sampling series and their derivatives. Sampl. Theory Signal Image Process 13, 189–206 (2014)
Orlova, O., Tamberg, G.: On approximation properties of generalized Kantorovich-type sampling operators. J. Approx. Theory 201, 73–86 (2016)
Radó, T.: Length and Area, American Mathematical Society Colloquium Publications, vol. 30. American Mathematical Society, New York (1948)
Tonelli, L.: Su alcuni concetti dell’analisi moderna. Ann. Scuola Norm. Super. Pisa. 2(11), 107–118 (1942)
Unser, M.: Ten good reasons for using spline wavelets. Wavelets Appli Signal Image Process 3169(5), 422–431 (1997)
Vinti, C.: Perimetro–variazione. Ann. Scuola Norm. Sup. Pisa 3(18), 201–231 (1964)
Vinti, G., Zampogni, L.: A unifying approach to convergence of linear sampling type operators in Orlicz spaces. Adv. Diff. Eq. 16, 573–600 (2011)
Funding
Open access funding provided by Universitá degli Studi di Perugia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
To Mimmo, the Mentor, the Scientist and the Man, with deep esteem, gratitude, friendship and affection.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors are partially supported by the “Department of Mathematics and Computer Science” of the University of Perugia (Italy) and are members of the “Research Italian Network on Approximation”. The first, the fourth and and the fifth author have been partially supported within the projects “Metodi di Teoria dell’Approssimazione, Analisi Reale, Analisi Nonlineare e loro applicazioni” and “Integrazione, Approssimazione, Analisi Nonlineare e loro Applicazioni”, funded by the 2018 and 2019 basic research fund of the University of Perugia. Finally, the first and the second author of the paper have been partially supported within the 2020 GNAMPA-INdAM Project: “Metodi di analisi reale e di teoria della misura per l’approssimazione attraverso operatori discreti e applicazioni”.
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
Angeloni, L., Costarelli, D., Seracini, M. et al. Variation diminishing-type properties for multivariate sampling Kantorovich operators. Boll Unione Mat Ital 13, 595–605 (2020). https://doi.org/10.1007/s40574-020-00256-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-020-00256-3
Keywords
- Multivariate generalized sampling Kantorovich series
- Variation-diminishing type property
- Averaged type kernel
- Smoothing in digital image processing
- Product kernel