Abstract
In the present paper we study the so-called sampling Kantorovich operators in the very general setting of modular spaces. Here, modular convergence theorems are proved under suitable assumptions, together with a modular inequality for the above operators. Further, we study applications of such approximation results in several concrete cases, such as Musielak–Orlicz and Orlicz spaces. As a consequence of these results we obtain convergence theorems in the classical and weighted versions of the \(L^p\) and Zygmund (or interpolation) spaces. At the end of the paper examples of kernels for the above operators are presented.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of modular spaces, introduced by Nakano [59], was extensively studied by Musielak and Orlicz [56, 58], especially for what concerns the special cases of the so-called Orlicz and Musielak–Orlicz spaces.
The notion of modular space \(L_\rho\) is very general and includes in itself several cases of well-know spaces, such as the \({L^p}\)-spaces, the Zygmund (or interpolation) spaces, the Sobolev spaces, and the exponential spaces (see, e.g., [22, 46, 49, 64]).
The main advantages in working in a very abstract setting is that one can obtain the desired results in many settings by a unique and unifying approach.
The study of approximation results in the above context is firstly due to J. Musielak in a number of papers, and subsequently it was carried out by the research group of the University of Perugia in several directions, both for linear and nonlinear approximation. For references of this subject see the monograph [19].
Recently, a family of sampling-type approximation operators, namely the so-called sampling Kantorovich operators, has been introduced and studied in the general setting of Orlicz spaces, which are a particular instance of modular spaces [16, 43].
The above operators are of the form:
where \(f{:}\,{\mathbb {R}}\rightarrow {\mathbb {R}}\) is any locally integrable function for which the above series is convergent for every \(x \in {\mathbb {R}}\), \((t_k)_{k \in {\mathbb {Z}}}\) is a suitable sequence of real numbers, with \(0<\Delta _k := t_{k+1}-t_k\), \(k \in {\mathbb {Z}}\), and \(\chi{:}\,{\mathbb {R}}\rightarrow {\mathbb {R}}\) is a kernel function satisfying suitable assumptions, \(w>0\) see, e.g., [6, 18, 32, 33, 50, 60].
The operators in (I) represent the \(L^p\)-version of the generalized sampling operators (see, e.g., [9, 10, 13, 17, 25, 28,29,30, 51, 61]) introduced and studied by P.L. Butzer and his school in the 1980s: both the generalized and the Kantorovich sampling operators are approximate versions of the well-known Wittaker–Kotelnikov–Shannon sampling theorem, see [23].
The main advantages of studying approximation results for the above operators in the setting of Orlicz spaces consists in the possibility of approximating not necessarily continuous functions. This is strongly connected to the expression of \(S^{\chi }_w\) in which we have mean values of the function f on the (not necessarily equally spaced) intervals \([t_k/w, t_{k+1}/w]\), \(w>0\).
The latter fact can be also useful from the point of view of the applications, for instance for digital image processing: indeed, the multivariate version of (I) (see, e.g., [35, 38]) has been successfully applied to several real world problems involving images by the implementation of an optimized algorithm for image reconstruction and enhancement [12, 15, 36].
The study of the above operators in the Orlicz spaces allows to reach a good degree of generality, and to deduce convergence theorems e.g., in \(L^p\)-spaces, and others. However the above approach does not include the cases of the weighted \(L^p\)-spaces, or for instance the weighted Zygmund spaces, and so on.
In order to reach a wide level of generality and to extend the above approximation theorems to a more general setting (including e.g. the above mentioned weighted type spaces), in this paper we study the sampling Kantorovich operators in the general context of modular spaces.
Here, standard assumptions are required on the modular \(\rho\) which generates the spaces \(L_\rho\), together with suitable compatibility conditions among the kernel \(\chi\) and the modulars involved [55]. In this setting, we firstly prove a modular convergence theorem in case of operators \(S^{\chi }_w f\) acting on continuous functions f with compact support. In latter case, if the kernel \(\chi\) has compact support we can also prove that the operators are convergent with respect to the Luxemburg norm.
Then we prove a modular type inequality for the above linear operators, and finally, by exploiting a well-known density result with respect to the modular topology for the space of continuous functions with compact support, we become able to prove a modular convergence theorem in \(L_\rho\).
In the following of the paper, we show some examples of modular spaces in which the above theory holds. In particular, we deeply investigate the case of Musielak–Orlicz spaces: it is well-known that such spaces find applications in the theory of partial differential equations [14, 62] and in operator theory [45, 48, 53, 66]. Here, we show that all the assumptions of the general theory presented are satisfied, providing several examples; among them, the weighted type spaces. We also furnish an example of a modular space, to which our results can be applied, which does not reduce to any Orlicz or Musielak–Orlicz space.
Finally, we also discuss about a number of kernel functions \(\chi\) that satisfy the assumptions here required, such as the Fejér, the Jackson-type, the Bochner–Riesz, the central B-splines kernels, and many others (see e.g., [5, 11, 24, 40]).
2 Notations and basic assumptions
First of all, we begin recalling some basic notions about modular spaces.
Let \(\Omega = (\Omega , \Sigma _\Omega , \mu _\Omega )\) be an arbitrary measure space and let \(X(\Omega )\) be the corresponding vector space of all \(\Sigma _\Omega\)-measurable real-valued functions on \(\Omega\). A functional \(\rho {:}\,X(\Omega ) \rightarrow [0,+\infty ]\) is said to be a modular on \(X(\Omega )\) if the following conditions hold:
- (\(\rho 1\)):
-
\(\rho (f) = 0\) if and only if \(f \equiv 0\) \(\mu _\Omega\)-a.e. in \(\Omega\);
- (\(\rho 2\)):
-
\(\rho (-f)=\rho (f)\) for every \(f \in X(\Omega )\);
- (\(\rho 3\)):
-
\(\rho (\alpha f +\beta g) \le \rho (f)+\rho (g)\) for every f, \(g \in X(\Omega )\) and \(\alpha\), \(\beta \in {\mathbb {R}}^+_0\) with \(\alpha +\beta =1\).
The functional \(\rho\) generates the modular space \(L_\rho (\Omega )\) (see e.g., [19, 52, 56]) defined as follows:
It is well-known that \(L_\rho (\Omega )\) is a vector subspace of \(X(\Omega )\), and it is possible to define on it the following (natural) concept of convergence, called modular convergence: we say that a net of functions \((f_w)_{w>0} \subset L_\rho (\Omega )\) is modularly convergent (or \(\rho\)-convergent) to a function \(f \in L_\rho (\Omega )\) if there exist \(\lambda >0\) such that:
Note that, the modular convergence induces a topology called modular topology on \(L_\rho (\Omega )\).
Note that, if (1) holds for every \(\lambda >0\) we will say that the net \((f_w)_{w>0}\) is convergent to f with respect to the Luxemburg-norm.
An other important subspace of \(X(\Omega )\) is given by the so-called space of finite elements, defined by:
In particular it is well-known that, if the modular \(\rho\) is a convex functional, one has:
We now recall the following important definitions concerning modular functionals.
We say that a modular \(\rho\) is:
-
(a)
monotone if \(\rho (f) \le \rho (g)\) whenever \(|f|\le |g|\), for every f, \(g \in X(\Omega )\);
-
(b)
finite if the characteristic function \({\mathbf {1}}_A\) of every measurable set A of finite \(\mu _\Omega\)-measure belongs to \(L_\rho (\Omega )\);
-
(c)
strongly finite if every \({\mathbf {1}}_A\) as above belongs to \(E_\rho (\Omega )\);
-
(d)
absolutely finite if \(\rho\) is finite and if for every \(\varepsilon\), \(\lambda _0>0\) there exists a \(\delta >0\) such that \(\rho (\lambda _0 {\mathbf {1}}_B)<\varepsilon\) for every \(B \in \Sigma _\Omega\) with \(\mu _\Omega (B)<\delta\);
-
(e)
absolutely continuous if there is an \(\alpha >0\) such that for every \(f \in X(\Omega )\) with \(\rho (f)<+\infty\), the following two conditions hold:
-
(i)
for every \(\varepsilon >0\) there exists a measurable set \(A \subset \Omega\) with \(\mu _\Omega (A)<+\infty\) such that \(\rho (\alpha f {\mathbf {1}}_{\Omega {\setminus } A})<\varepsilon\);
-
(ii)
for every \(\varepsilon >0\) there exists \(\delta >0\) such that \(\rho (\alpha f {\mathbf {1}}_B)<\varepsilon\) for all measurable sets \(B \subset \Omega\) with \(\mu _\Omega (B)<\delta\).
-
(i)
Note that, if \(\rho\) is convex then any strongly finite modular is also finite.
For more details about the above properties, see e.g., [19, 22, 55, 56].
In the present paper, in order to study modular convergence results for a family of discrete sampling-type operators, we will consider \({\mathbb {R}}= ({\mathbb {R}}, \Sigma _{\mathbb {R}}, \mu _{\mathbb {R}})\) and \({\mathbb {Z}}= ({\mathbb {Z}}, \Sigma _{\mathbb {Z}}, \mu _{\mathbb {Z}})\), where \(\mu _{\mathbb {R}}\) and \(\mu _{\mathbb {Z}}\) are the Lebesgue and the counting measures respectively, while \(\Sigma _{\mathbb {R}}\) and \(\Sigma _{\mathbb {Z}}\) are their corresponding \(\sigma\)-algebras, i.e., the families of all measurable sets (with respect to the above measures) which are closed with respect to the operations of countable union and complementary.
Further, by \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}}\) we denote two modulars on \(X({\mathbb {R}})\) and \(X({\mathbb {Z}})\) respectively.
Now, we introduce the so-called sampling Kantorovich operators. Let \(\Pi :=(t_k)_{k \in {\mathbb {Z}}} \subset {\mathbb {R}}\) be a sequence such that \(-\infty< t_k< t_{k+1} < +\infty\), for every \(k \in {\mathbb {Z}}\), \(\lim _{k \rightarrow \pm \infty } t_k = \pm \infty\), and there are two positive constants \(\Delta\), \({\bar{\Delta }}\), such that \({\bar{\Delta }} \le \Delta _k := t_{k+1}-t_k \le \Delta\), for every \(k \in {\mathbb {Z}}\).
A function \(\chi {:}\,{\mathbb {R}}\rightarrow {\mathbb {R}}\) will be called a kernel (see also [41]) if it satisfies the following assumptions:
- (\(\chi 1\)):
-
\(\chi \in X({\mathbb {R}})\) and it is bounded in a neighborhood of the origin;
- (\(\chi 2\)):
-
for every \(u \in {\mathbb {R}}\) there holds:
$$\begin{aligned} \sum _{k \in {\mathbb {Z}}} \chi (u-t_k)= 1; \end{aligned}$$ - (\(\chi 3\)):
-
for some \(\beta >0\):
$$\begin{aligned} m_{\beta , \Pi }(\chi ):= \sup _{u \in {\mathbb {R}}} \sum _{k \in {\mathbb {Z}}} |\chi (u-t_k)|\, |u-t_k|^\beta \ <\ +\infty . \end{aligned}$$
For a given kernel \(\chi\) we can recall the definition of the sampling Kantorovich operators (see [16]):
where \(f{:}\,{\mathbb {R}}\rightarrow {\mathbb {R}}\) is any locally integrable function for which the above series is convergent for every \(x \in {\mathbb {R}}\).
From now on, we will always assume that f belongs to the domain of the above operators.
Note that, assumption \((\chi 3)\) together with assumption \((\chi 1)\) implies that:
the latter property can be used, e.g., in order to show that the above family of operators is well-defined. Indeed, if we assume that f is a bounded function, it turns out that:
where \(\Vert \cdot \Vert _{\infty }\) denotes the usual sup-norm on \({\mathbb {R}}\). Denoting by \(C^0({\mathbb {R}})\) the space of bounded and continuous functions and by \(C({\mathbb {R}})\) the subspace containing the uniformly continuous functions, we can recall the following convergence results.
Theorem 2.1
[16] Let \(f \in C^0({\mathbb {R}})\) be fixed. For every \(x \in {\mathbb {R}}\) we have:
In particular, if \(f \in C({\mathbb {R}})\) there holds:
Now, we introduce the following compatibility condition.
We will say that the kernel \(\chi\) is compatible with the modulars \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}}\) if there exist two positive constants \(D_1\), \(D_2\) and a net \((b_w)_{w>0} \subset {\mathbb {R}}^+_0\), with \(b_w \rightarrow 0\) as \(w \rightarrow +\infty\), such that:
for any non-negative \(g \in X({\mathbb {Z}})\), \(g=(g_k)_{k \in {\mathbb {Z}}}\), and for sufficiently large \(w>0\).
Remark 2.2
Note that, the above compatibility condition is a particular case of the more general condition originally introduced in [55].
In order to prove the convergence results of the next section, we also need to introduce an additional assumption which relates \(\chi\) with a modular \(\rho _{\mathbb {R}}\).
Let \(\chi\) be a kernel, and \(\rho _{\mathbb {R}}\) be a modular on \(X({\mathbb {R}})\) such that:
-
for any fixed \(\gamma >0\) and \(a >0\) there exist a positive constant T and a measurable set \({{\mathcal {J}}} \subset {\mathbb {R}}\), with \(\mu _{\mathbb {R}}({{\mathcal {J}}})<+\infty\) such that:
$$\begin{aligned} \rho _{\mathbb {R}}\left( a\ {\mathbf {1}}_{{\mathbb {R}}{\setminus } {{\mathcal {J}}}}(\cdot ) \sum _{k{:}\, t_k \in [-\gamma \, w, +\gamma \, w]}|\chi (w \cdot - t_k)| \right) \le T, \end{aligned}$$(4)for sufficiently large \(w>0\), where \({\mathbf {1}}_{{\mathbb {R}}{\setminus } {{\mathcal {J}}}}\) denotes the characteristic function of the set \({\mathbb {R}}{\setminus } {{\mathcal {J}}}\).
Note that, any \(\chi (w \cdot - t_k)\) belongs to \(X({\mathbb {R}})\) since \(\chi\) is measurable by the assumption \((\chi 1)\) and therefore the expression in (4) makes sense.
Remark 2.3
Note that, if \(\chi\) has compact support, the assumption (4) is obviously satisfied.
Indeed, let \(\gamma >0\) and \(a>0\) be fixed, and \(supp\, \chi \subset [-L, + L]\), \(L >0\). It is easy to see that for every \(t_k \in [-w\gamma , +w \gamma ]\) it turns out that:
Now, set \({{\mathcal {J}}}:= [- \gamma - L, +\gamma + L]\) and using condition \((\rho 1)\) of the modulars, we have:
for every \(w \ge 1\).
Moreover, in Sect. 4.1 we give some sufficient conditions in order that (4) is satisfied.
Now, we recall the following theorem which is the analog of the Lebesgue dominated convergence theorem given in the general setting of the modular spaces. This theorem has been originally proved by Musielak [57]; a proof can also be found in the monograph [19].
Theorem 2.4
[57] Let \(\rho _{\mathbb {R}}\) be a monotone, finite and absolutely continuous modular on \(X({\mathbb {R}}).\) Let \((f_w)_{w>0} \subset X({\mathbb {R}})\) a net of functions such that \(f_w \rightarrow 0,\) a.e. in \({\mathbb {R}},\) as \(w \rightarrow +\infty .\) Suppose in addition that there exists a function \(g \in L_{\rho _{\mathbb {R}}}({\mathbb {R}})\) such that \(\rho _{\mathbb {R}}(3\, g)<+\infty\) and \(|f_w(x)| \le g(x),\) a.e. in \({\mathbb {R}},\) for every \(w>0.\) Then \(\rho _{\mathbb {R}}(f_w) \rightarrow 0,\) as \(w\rightarrow +\infty .\)
In conclusion of this section, we recall the following useful result that can be deduced from Theorem 1 of [54].
Theorem 2.5
Let \(\rho _{\mathbb {R}}\) be an absolutely continuous, monotone, and absolutely finite modular on \(X({\mathbb {R}}).\) Then:
where \(C_c({\mathbb {R}})\) is the subset of \(C^0({\mathbb {R}})\) of functions with compact support, and the bar represents the closure with respect of the modular topology on \(L_{\rho _{\mathbb {R}}}({\mathbb {R}}).\)
3 Convergence results
We can prove the following theorem.
Theorem 3.1
Let \(\rho _{\mathbb {R}}\) be a convex, monotone, strongly finite and absolutely continuous modular on \(X({\mathbb {R}}).\) Moreover, let \(\chi\) be a kernel which satisfies assumption (4) together with \(\rho _{\mathbb {R}}\). Then for any \(f \in C_c({\mathbb {R}})\) and for every \(\lambda >0,\) with \(0< \lambda \le \alpha /3,\) where \(\alpha\) is the parameter of the absolutely continuity of \(\rho _{\mathbb {R}},\) there holds:
Proof
Let \({\bar{\gamma }} >0\) such that \(supp\, f \subset [-{\bar{\gamma }}, +{\bar{\gamma }}]=: S\). Now, we can fix \(\gamma > {\bar{\gamma }} + \Delta\) and let us consider the interval \([-\gamma , +\gamma ]\). Then, if \(t_k \notin [-w \gamma , + w \gamma ]\), we have for sufficiently large \(w>0\) that \([-\gamma , +\gamma ] \cap [t_k/w, t_{k+1}/w] = \emptyset\), and so:
By the above arguments, the definition of the sampling Kantorovich operators reduces to:
Now, it turns out that \(S^{\chi }_wf \in X({\mathbb {R}})\) since \(\chi\) is measurable and \(f \in X({\mathbb {R}})\) since it is continuous, hence \(S^{\chi }_wf - f \in X({\mathbb {R}})\). Further, using the monotonicity of \(\rho _{\mathbb {R}}\) together with the property \((\rho 3)\) of the modulars, we can write what follows:
where \({\mathbf {1}}_S\) is the characteristic function of the interval S, with \(\mu _{\mathbb {R}}(S)= 2 {\bar{\gamma }}<+\infty\). Now, applying assumption (4) with \(\gamma\) above fixed and \(a:=4\, \Vert f\Vert _{\infty }\), there exist \(T>0\) and a measurable set \({{\mathcal {J}}} \subset {\mathbb {R}}\) with \(\mu _{\mathbb {R}}({{\mathcal {J}}})<+\infty\) such that:
for sufficiently large \(w>0\). Recalling that \({\mathbf {1}}_{{{\mathcal {J}}}}\), \({\mathbf {1}}_S \in E_{\rho _{\mathbb {R}}}({\mathbb {R}})\) since \(\rho _{\mathbb {R}}\) is strongly finite, by using again \((\rho 3)\) and the monotonicity of \(\rho _{\mathbb {R}}\), we finally obtain:
for sufficiently large \(w>0\).
Now, we denote by \(\alpha >0\) the constant of the absolute continuity of \(\rho _{\mathbb {R}}\), and let \(\varepsilon >0\) be fixed. In correspondence to \(\varepsilon / 2\), we have:
-
(j)
there exists a measurable subset \(A \subset {\mathbb {R}}\), with \(\mu _{\mathbb {R}}(A)<+\infty\), such that:
$$\begin{aligned} \rho _{\mathbb {R}}\left( \alpha (S^{\chi }_wf - f)\, {\mathbf {1}}_{{\mathbb {R}}{\setminus } A} \right) < \varepsilon / 2. \end{aligned}$$(5)
In particular, since \(\mu _{\mathbb {R}}(A)\) in (j) is finite and \(\rho _{\mathbb {R}}\) is a convex, strongly finite modular (hence in particular it is finite), one has that the characteristic function \({\mathbf {1}}_A \in E_{\rho _{\mathbb {R}}}({\mathbb {R}}) \subset L_{\rho _{\mathbb {R}}}({\mathbb {R}})\), i.e.,
Then in correspondence to \(\varepsilon /2\), there exists a sufficiently small \(\lambda _\varepsilon >0\) such that:
Moreover, since \(f \in C_c({\mathbb {R}})\) and by using Theorem 2.1 we also have:
for sufficiently large \(w>0\).
Now, let \(0< \lambda \le \alpha /2\) arbitrary fixed. We can write what follows:
\(x \in {\mathbb {R}}\). Now, by using the property \((\rho 3)\), the monotonicity of \(\rho _{\mathbb {R}}\) and the conditions (5)–(7), we finally obtain:
for \(w>0\) sufficiently large. This completes the proof. \(\square\)
Theorem 3.1 is a modular convergence theorem for the family of the sampling Kantorovich operators acting on \(f \in C_c({\mathbb {R}})\).
In what follows, we will show that if the kernel \(\chi\) has compact support, we become able to prove a Luxemburg-norm convergence theorem for the operators \(S^\chi _w f\), when \(f \in C_c({\mathbb {R}})\).
Theorem 3.2
Let \(\rho _{\mathbb {R}}\) be a convex, monotone, strongly finite and absolutely continuous modular on \(X({\mathbb {R}}).\) Moreover, let \(\chi\) be a kernel with compact support. Then for any \(f \in C_c({\mathbb {R}})\) and for every \(\lambda >0\):
Proof
By using the same notation of Theorem 3.1, we can write what follows:
Now, since \(supp\, \chi \subset [-L, L]\), with a suitable \(L>0\), proceeding as in Remark 2.3 we obtain that:
for every \(w\ge 1\), i.e., \(supp\, S^{\chi }_wf \subset [-L-\gamma ,\, L+\gamma ]\), for every \(w\ge 1\). Now, we choose \(N>0\) such that:
where, as in Theorem 3.1, S denotes the support of f. Thus, for every fixed \(\lambda >0\) we have:
for every \(x \in {\mathbb {R}}\) and w sufficiently large. Now, recalling that the modular \(\rho _{\mathbb {R}}\) is strongly finite and convex, we have that \(g \in E_{\rho _{\mathbb {R}}}({\mathbb {R}}) \subset L_{\rho _{\mathbb {R}}}({\mathbb {R}})\) since \({\mathbf {1}}_{{{\mathcal {N}}}}\in E_{\rho _{\mathbb {R}}}({\mathbb {R}})\), and moreover \(\rho _{\mathbb {R}}(3\, g)<+\infty\). Finally, observing that:
for every \(x \in {\mathbb {R}}\) in view of Theorem 2.1, we can apply the modular version of the Lebesgue dominated convergence theorem (Theorem 2.4), obtaining the final assertion. \(\square\)
Now, in order to establish a modular-type inequality for the operators \(S^\chi _w\), we firstly introduce the following subset of \(X({\mathbb {R}})\).
Given the constants E, \(K>0\) and the modulars \(\rho _{\mathbb {R}}\), \(\rho _{\mathbb {Z}}\) on \(X({\mathbb {R}})\) and \(X({\mathbb {Z}})\) respectively, we define the subset \({{\mathcal {L}}}_{E, K}({\mathbb {R}})\) of \(X({\mathbb {R}})\) whose f are locally absolutely integrable and satisfying the following inequality:
for every \(\lambda >0\), where \(F_w=(f_{w,k})_{k \in {\mathbb {Z}}} \in X({\mathbb {Z}})\), \(w>0\), with:
Now we can prove the following.
Theorem 3.3
Let \(\rho _{\mathbb {R}}\) be a monotone modular on \(X({\mathbb {R}})\) and \(\rho _{\mathbb {Z}}\) be a modular on \(X({\mathbb {Z}}).\) Further, let \(\chi\) be a kernel which is compatible with \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}}.\) Then, for any function \(f \in {{\mathcal {L}}}_{E,K}({\mathbb {R}}),\) for some E, \(K>0,\) there holds:
for every \(c>0,\) where \(D_1\) and \(D_2\) are the constants of the compatibility condition among \(\chi ,\) \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}}\). In particular, if \(f \in L_{\rho _{\mathbb {R}}}({\mathbb {R}})\) it turns out that \(S^{\chi }_w f \in L_{\rho _{\mathbb {R}}}({\mathbb {R}}),\) for every sufficiently large \(w>0.\)
Proof
For every fixed \(c>0\), by using (3), we can write what follows:
for \(w>0\) sufficiently large, with \(D_1\), \(D_2\), and \(F_w\) defined as in (9). Then the first part of the theorem easily follows since \(f \in {{\mathcal {L}}}_{E,K}({\mathbb {R}})\), while the second part is an immediate consequence of the first one. \(\square\)
Now, we are able to prove the main theorem of this section.
Theorem 3.4
Let \(\rho _{\mathbb {R}}\) be a convex, monotone, strongly finite, absolutely finite, and absolutely continuous modular on \(X({\mathbb {R}})\) and \(\rho _{\mathbb {Z}}\) be a modular on \(X({\mathbb {Z}}).\) Further, let \(\chi\) be a kernel compatible with \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}},\) and satisfying assumption (4) together with \(\rho _{\mathbb {R}}.\) Then for every \(f \in L_{\rho _{\mathbb {R}}}({\mathbb {R}}),\) such that the space \(f - C_c({\mathbb {R}}) \subset {{\mathcal {L}}}_{E,K}({\mathbb {R}}),\) for some E, \(K>0,\) there is a constant \(c>0\) such that:
Proof
Let \(f \in L_{\rho _{\mathbb {R}}}({\mathbb {R}})\) be as in the statement. By Theorem 2.5 there exists \(\lambda >0\) such that, for every \(\varepsilon >0\) there exists \(g \in C_c({\mathbb {R}})\) with:
Let now \(\varepsilon >0\) be fixed and \(g \in C_c({\mathbb {R}})\) as above. Note that, since \(g \in C_c({\mathbb {R}})\), by Theorem 3.1, for every \({\widetilde{\lambda }}>0\) with \({\widetilde{\lambda }} \le \alpha /3\), where \(\alpha\) is the parameter of the absolute continuity of the modular \(\rho _{\mathbb {R}}\), there holds:
Now, we can choose a positive constant c such that:
where \(D_2\) is the constant of the compatibility condition among \(\chi\), \(\rho _{\mathbb {R}}\) and \(\rho _{\mathbb {Z}}\). We now proceed as follows:
\(w>0\). Recalling that the operator \(S^{\chi }_w\) is linear, \(f-g \in {{\mathcal {L}}}_{E, K}({\mathbb {R}})\), and by applying Theorem 3.3 to \(I_1\), we have that:
For what concerns \(I_2\), by the choice of the constant c and (10) we also have:
for \(w>0\) sufficiently large. In conclusion, we can write:
for \(w>0\) sufficiently large. This completes the proof. \(\square\)
4 Applications
In this section, we will discuss some concrete examples of modular spaces for which the above results hold. Moreover, also examples of kernels will be presented.
4.1 Convergence in Musielak–Orlicz spaces
Let \(\varphi {:}\,{\mathbb {R}}\times {\mathbb {R}}^+_0 \rightarrow {\mathbb {R}}^+_0\) be a function of two variables which satisfy the following conditions:
- \((\varphi 1)\):
-
\(\varphi (\cdot , u)\) is measurable and locally integrable on \({\mathbb {R}}\) for every \(u \in {\mathbb {R}}^+_0\);
- \((\varphi 2)\):
-
for every \(s \in {\mathbb {R}}\), \(\varphi (s, \cdot )\) is convex on \({\mathbb {R}}^+_0\) with \(\varphi (s, 0)=0\) and \(\varphi (s, u)>0\) for \(u>0\);
- \((\varphi 3)\):
-
\(\varphi\) is \(\tau\)-bounded, i.e., there exist a constant \(C \ge 1\) and a measurable function \(F{:}\,{\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}^+_0\) such that, for every t, \(s \in {\mathbb {R}}\) and \(u \ge 0\) there holds:
$$\begin{aligned} \varphi (s - t, u) \le \varphi (s, Cu) + F(s,t). \end{aligned}$$(11)
A function \(\varphi\) as above is said a \(\tau\)-bounded \(\varphi\) -function, and for the sake of simplicity, we will call it simply a \(\varphi\) -function.
The definition of \(\tau\)-boundedness can be found in the monograph of Musielak [56]. We can observe that examples of Musielak–Orlicz spaces which satisfy the \(\tau\)-boundedness with certain \(F \ne 0\) can be constructed following the procedure described in [20].
From now on, we will only consider \(\varphi\)-functions \(\varphi\) which satisfy condition \((\varphi 3)\) with \(F \equiv 0\).
Now, we define the non-negative integral functionals:
where \(f \in X({\mathbb {R}})\) and \(g=(g_k)_{k\in {\mathbb {Z}}} \in X({\mathbb {Z}})\), respectively, and \(\Pi =(t_k)_{k \in {\mathbb {Z}}}\) be a sequence with the properties introduced in Sect. 2. It is easy to check that both \(\rho _\varphi\) and \(\rho ^{\Pi }_{\varphi }\) are modulars on \(X({\mathbb {R}})\) and \(X({\mathbb {Z}})\) respectively, which satisfy the properties (a)–(e) given in Sect. 2, see e.g., Example 2.1 (b) and Example 2.2 (a) of pp. 18–19 in [19].
The modular spaces generated by \(\rho _\varphi\) and \(\rho ^{\Pi }_{\varphi }\) are called Musielak–Orlicz spaces (see e.g., [47]) and are defined as follows:
and
The following lemma is related to assumption (4).
Lemma 4.1
Let \(\chi\) be a kernel belonging to \(L^1({\mathbb {R}})\) and \(\varphi\) be a fixed \(\varphi\)-function which satisfies the following additional assumption:
- \((\varphi 4)\):
-
for sufficiently large \(N>0,\) there holds:
$$\begin{aligned} \sup _{|s|>N} \varphi (s, u)=: L_u < +\infty , \quad \quad \mathrm{for\,every}\,u \in {\mathbb {R}}^+_0. \end{aligned}$$(13)
Then assumption (4) turns out to be satisfied.
Proof
Let \(\gamma >0\) and \(a>0\) be fixed. Moreover, we define \({{\mathcal {J}}}:=[-N, N] \subset {\mathbb {R}}\), where \(N>0\) is the parameter of assumption \((\varphi 4)\), with \(\mu _{\mathbb {R}}({{\mathcal {J}}})=2\, N < +\infty\). Now, by using Jensen inequality (see e.g., [37]) and condition \((\varphi 4)\) we can write what follows:
for \(w>0\), where \(L_{a\, m_{0, \Pi }(\chi )} >0\) is the constant of assumption \((\varphi 4)\) with \(u=a\, m_{0, \Pi }(\chi )\). By the change of variable \(y = w t - t_k\) in the above integrals, and observing that in the above sums the number of terms does not exceed \(4\, \gamma \, w / {\bar{\Delta }}\), for \(w>0\) sufficiently large with \({\bar{\Delta }}\) the parameter related to the sequence \((t_k)_{k \in {\mathbb {Z}}}\) (see Sect. 2), we finally have:
for \(w>0\) sufficiently large. This completes the proof. \(\square\)
Note that, assumption (4) turns out to be satisfies also in the following case.
Lemma 4.2
Let \(\chi\) be a kernel belonging to \(L^1({\mathbb {R}})\) and \(\varphi\) be a fixed \(\varphi\)-function which satisfies the following additional assumption:
- \((\varphi 5)\):
-
\(\varphi (\cdot , u) \in L^1({\mathbb {R}}),\) for every \(u \in {\mathbb {R}}^+_0.\)
Then assumption (4) turns out to be satisfied.
Proof
Let \(\gamma >0\) and \(a>0\) be fixed. We easily get:
where \({{\mathcal {J}}}:=[-N, N]\), and \(N>0\) is any fixed positive parameter. \(\square\)
In order to give a complete treatment of the above approximation problem, we can prove the following lemma concerning the space \({{\mathcal {L}}}_{E,K}\), generated by \(\rho _\varphi\) and \(\rho ^{\Pi }_{\varphi }\).
Lemma 4.3
Let \(f \in X({\mathbb {R}})\) be a locally integrable function. Then \(f \in {{\mathcal {L}}}_{E, K}({\mathbb {R}}),\) with \(E:=1/{\bar{\Delta }}\) and \(K:=C,\) where \({\bar{\Delta }}\) is one of the parameter of the sequence \(\Pi\) and C is the constant of the \(\tau\) -boundedness of \(\varphi .\)
In particular, if \(f \in L^\varphi ({\mathbb {R}})\) it turns out that \(S^{\chi }_w f \in L^\varphi ({\mathbb {R}}),\) for every sufficiently large \(w>0.\)
Proof
For every \(\lambda >0\), by assumption \((\varphi 2)\) and using the Jensen inequality and the \(\tau\)-boundedness of \(\varphi\) we can write what follows:
Now, passing to the \(\limsup\) as \(w \rightarrow +\infty\) we finally obtain the assertion. \(\square\)
Now, we are able to prove the following results in the general setting of Musielak–Orlicz spaces.
Theorem 4.4
Let \(\chi\) be a kernel belonging to \(L^1({\mathbb {R}})\) and \(\varphi\) be a fixed \(\varphi\) -function which satisfies at least one between conditions \((\varphi 4)\) and \((\varphi 5).\) Hence, the following statements hold:
-
1.
for \(f \in C_c({\mathbb {R}})\) :
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\varphi \left( \lambda \left( S^{\chi }_w f - f \right) \right) = 0, \end{aligned}$$for every \(0<\lambda \le \alpha /3,\) where \(\alpha\) is the parameter of the absolute continuity of the modular \(\rho _\varphi .\) In particular, if \(\chi\) has compact support the above convergence result holds for every \(\lambda >0\) ;
-
2.
for any function \(f \in X({\mathbb {R}}),\) there holds:
$$\begin{aligned} \limsup _{w \rightarrow +\infty }\ \rho _\varphi \left( c\, S^{\chi }_w f \right) \le \left[ \Vert \chi \Vert _1 / {\bar{\Delta }}\, m_{0, \Pi }(\chi )\right] \, \rho _\varphi \left( c\, C^2\, m_{0, \Pi }(\chi )\, f\right) , \end{aligned}$$for every \(c>0,\) where \({\bar{\Delta }}\) is one of the parameter of the sequence \(\Pi\) and C is the constant of the \(\tau\) -boundedness of \(\varphi .\) In particular, if \(f \in L^\varphi ({\mathbb {R}})\) it turns out that \(S^{\chi }_w f \in L^\varphi ({\mathbb {R}}),\) for every sufficiently large \(w>0.\)
-
3.
for every function \(f \in L^\varphi ({\mathbb {R}}),\) there is a constant \(c>0\) such that:
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\varphi \left( c(S^{\chi }_w f - f) \right) = 0. \end{aligned}$$
Theorem 4.4 is a direct consequence of Lemmas 4.1–4.3, Theorems 3.1–3.4.
Concluding this section, we can discuss the case of \(\varphi\)-functions of the form \({\widetilde{\varphi }}(s,u) = {\widetilde{\varphi }}(u)\), \(s \in {\mathbb {R}}\), \(u \in {\mathbb {R}}^+_0\), i.e., when \({\widetilde{\varphi }}\) does not depend by the parameter s.
Here, we consider the following modulars on \(X({\mathbb {R}})\) and \(X({\mathbb {Z}})\) respectively:
and the corresponding modular spaces \(L^{{\widetilde{\varphi }}}({\mathbb {R}})\) and \(L^{{\widetilde{\varphi }}}({\mathbb {Z}})\) are the so-called Orlicz spaces (see e.g., [1, 42, 44]). We point out that in the present case the assumption \((\varphi 3)\) is trivially satisfied with \(F \equiv 0\) and \(C=1\). Moreover, also condition \((\varphi 4)\) holds. Hence we can state the following theorem that match with the theory developed in [16].
Theorem 4.5
Let \(\chi\) be a kernel belonging to \(L^1({\mathbb {R}})\) and \({\widetilde{\varphi }}\) be a fixed \(\varphi\) -function of the form \({\widetilde{\varphi }}(s,u) = {\widetilde{\varphi }}(u),\) \(s \in {\mathbb {R}},\) \(u \in {\mathbb {R}}^+_0.\) Hence, the following statements hold:
-
1.
for \(f \in C_c({\mathbb {R}})\) :
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _{{\widetilde{\varphi }}} \left( \lambda \left( S^{\chi }_w f - f \right) \right) = 0, \end{aligned}$$for every \(0<\lambda \le \alpha /3,\) where \(\alpha\) is the parameter of the absolute continuity of the modular \(\rho _{{\widetilde{\varphi }}}.\) In particular, if \(\chi\) has compact support the above convergence result holds for every \(\lambda >0\) ;
-
2.
for any function \(f \in X({\mathbb {R}}),\) there holds:
$$\begin{aligned} \limsup _{w \rightarrow +\infty }\ \rho _{{\widetilde{\varphi }}}\left( c\, S^{\chi }_w f \right) \le \left[ \Vert \chi \Vert _1 / {\bar{\Delta }}\, m_{0, \Pi }(\chi )\right] \, \rho _{{\widetilde{\varphi }}}\left( c\, m_{0, \Pi }(\chi )\, f\right) , \end{aligned}$$for every \(c>0,\) where \({\bar{\Delta }}\) is one of the parameter of the sequence \(\Pi .\) In particular, if \(f \in L^{{\widetilde{\varphi }}}({\mathbb {R}})\) it turns out that \(S^{\chi }_w f \in L^{{\widetilde{\varphi }}}({\mathbb {R}}),\) for every sufficiently large \(w>0.\)
-
2.
for every function \(f \in L^{{\widetilde{\varphi }}}({\mathbb {R}}),\) there is a constant \(c>0\) such that:
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _{{\widetilde{\varphi }}}\left( c(S^{\chi }_w f - f) \right) = 0. \end{aligned}$$
As another particular example of Musielak–Orlicz space, one can consider \(\varphi\)-functions (with respect to the second variable) of the product-type, of the form:
which satisfy the following conditions:
- (\({{\mathcal {F}}} 1\)):
-
\(\xi \in X({\mathbb {R}})\) and there exist \(M \ge m >0\) such that \(m \le \xi (s) \le M\), for every \(s \in {\mathbb {R}}\);
- (\({{\mathcal {F}}} 2\)):
-
\({\widetilde{\varphi }}{:}\,{\mathbb {R}}^+_0 \rightarrow {\mathbb {R}}^+_0\) is a convex function such that \({\widetilde{\varphi }}(0)=0\), and \({\widetilde{\varphi }}(u)>0\) for \(u>0\);
- (\({{\mathcal {F}}} 3\)):
-
for every \(\lambda _1>0\) there exists \(\lambda _2 \ge 1\) such that:
$$\begin{aligned} \lambda _1\, {\widetilde{\varphi }}(u)\le {\widetilde{\varphi }}(\lambda _2\, u), \quad u \in {\mathbb {R}}^+_0. \end{aligned}$$
In this way, it is easy to see that assumptions \((\varphi 1)\) and \((\varphi 2)\) are satisfied. Further, concerning \((\varphi 3)\) we can write what follows:
for every \(u \ge 0\), where \(\lambda _2 \ge 1\) is the parameter of condition (\({{\mathcal {F}}} 3\)) corresponding to \(\lambda _1= M/ m\). The above inequality shows that \(\varphi\)-functions of the form as in (14) are \(\tau\)-bounded with \(F \equiv 0\) and \(C= \lambda _2\). Moreover, it is easy to see that also assumption \((\varphi 4)\) is satisfied. In fact, by the above construction we can consider to have obtained some examples of weighted Orlicz spaces.
Some concrete examples of weighted Orlicz spaces generated by \(\varphi\)-function of the form (14) can be obtained by choosing, for instance,
and as function \({\widetilde{\varphi }}\) one of the following:
for every \(u \ge 0\), where \(1 \le p <+\infty\), \(\alpha \ge 1\), and \(\beta >0\). Obviously, it is easy to show that the above product-type \(\varphi\)-functions satisfy conditions (\({{\mathcal {F}}} 1\)), (\({{\mathcal {F}}} 2\)), and (\({{\mathcal {F}}} 3\)). The Musielak–Orlicz (or weighted Orlicz) spaces generated by \(\varphi = \xi \, {\widetilde{\varphi }}_1\) are the so-called weighted \(L^p\)-spaces, and that ones generated by \(\varphi = \xi \, {\widetilde{\varphi }}_2\) are the weighted Zygmund spaces.
Furthermore, if \(\xi \equiv 1\) in the above examples, i.e., \(\varphi = {\widetilde{\varphi }}\) and does not depend on the parameter s, we found again the case of Orlicz spaces considered in Theorem 4.5. In particular, the functions \({\widetilde{\varphi }}_1\) and \({\widetilde{\varphi }}_2\) generate the well-known \(L^p\)-spaces and Zygmung spaces.
Moreover, we can also consider the following, more interesting (with respect to the previous ones), example of Musielak–Orlicz space generated by the \(\varphi\)-function:
\(\gamma >0\), where the function \(\psi\) satisfies the inequality of condition \(({{\mathcal {F}}}1)\) for suitable \(0<m \le M\). By simple computations, it can be shown that also \(\varphi\)-functions of the form as in (17) are \(\tau\)-bounded with \(F \equiv 0\) and \(C= \left( M / m \right) ^{1 / \gamma }\). As an example of function \(\psi\) one can consider again, e.g., the function \(\psi (s)=\xi (s)\) defined in (15).
In the Orlicz-case, when \(\psi (s) = 1\), for every \(s \in {\mathbb {R}}\), we have:
\(\gamma >0\), which generates the well-known exponential spaces.
Note that, all the above presented examples of modular spaces are generated by modular functionals which has integral form, and reduces to Musielak–Orlicz, weighted Orlicz or Orlicz spaces. However, the theory of modular spaces contains also modulars which are not of integral type and hence, they can not be reduced to the previous cases.
For instance, we can consider the following modulars (see [19, p. 7]):
and
with \(f \in X({\mathbb {R}})\), \(g=(g_k)_{k \in {\mathbb {Z}}} \in X({\mathbb {Z}})\), and where m is a measure on an interval \([a,b[ \subset {\mathbb {R}}\) (b can be also equal to \(+\infty\)) defined on the \(\sigma\)-algebra of all Lebesgue measurable subset of [a, b[, W be a non-empty set of indices, \(a_\ell :[a,b[ \rightarrow {\mathbb {R}}^+_0\) are measurable functions for every \(\ell \in W\), and \(\Phi {:}\,[a,b[ \times {\mathbb {R}}^+_0 \rightarrow {\mathbb {R}}^+_0\).
Now, if the function \(\Phi\) in the above definitions is convex with respect to the second variable, and satisfies other suitable conditions (see [19, 1–4 p. 7, (b) of p. 19, and (b) of p. 23]) it turns out that \(\rho ^{\Phi }_{{\mathbb {R}}}\) is a convex, monotone, strongly finite, absolutely finite, and absolutely continuous modular on \(X({\mathbb {R}})\) and \(\rho ^{\Phi }_{{\mathbb {Z}}}\) is a modular on \(X({\mathbb {Z}})\). Thus, all the assumptions of Theorem 3.4 required on the modulars are satisfied. Further, considering a given kernel \(\chi\) belonging to \(C_c({\mathbb {R}})\), we immediately have that the compatibility condition (3) hold. Indeed, using Jensen inequality, the change of variable \(y=wt-t_k\), and Fubini–Tonelli theorem, we immediately have:
from which (3) follows with \(D_1=\Vert \chi \Vert _1/m_{0, \Pi }(\chi )\), \(D_2=m_{0, \Pi }(\chi )\), and \(b_w=0\). Further, since \(\chi\) has compact support, in view of what has been observed in Remark 2.3, it follows that also (4) holds. Finally, it remains to observe that, any function \(f \in X({\mathbb {R}})\) belongs to the space \({{\mathcal {L}}}_{E, K}({\mathbb {R}})\), with \(E=1/\delta\) and \(K=1\). Indeed, proceeding similarly to above, we immediately have:
thus choosing \(\lambda >0\) sufficiently small, we get the above claim.
4.2 Examples of kernels
In order to conclude the paper we will present some basic examples of functions that can be used as kernel for the sampling Kantorovich series and that satisfy the assumptions required in the present paper.
Among the most used kernel functions we can mention:
see e.g. [24]. The above functions belongs to \(L^1({\mathbb {R}})\), are band-limited and satisfy \((\chi 1)\), \((\chi 2)\) and \((\chi 3)\); for all the details one can see, e.g., [24].
Other important kernels are given by the so-called Jackson-type kernels of order N (see e.g., Fig. 2 left), defined by:
with \(N \in {\mathbb {N}}\), \(\alpha \ge 1\), and \(c_N\) is a non-zero normalization coefficient, given by:
For the sake of completeness, we recall that the well-known sinc-function is that defined as \(\sin (\pi x)/\pi x\), if \(x \ne 0\), and 1 if \(x=0\), see e.g., [26, 50, 51].
As a further important class of (radial) kernels we can mention the so called Bochner–Riesz kernels of order \(N>0\) (see Fig. 1 right), defined as follows:
where \(J_\lambda\) is the Bessel function of order \(\lambda\) [27], and \(\Gamma\) is the usual Euler gamma function.
Other examples of band-limited kernels can be generated using the so-called sigmoidal functions (see e.g., [39]). For instance, we can define:
with \(0 < \gamma \le 1\), and hence the positive functions:
belonging to \(L^1({\mathbb {R}})\) and satisfy \((\chi 1)\), \((\chi 2)\) and \((\chi 3)\) [39]. The above examples of kernels have unbounded support. Examples of kernels with compact support can be provided by the well-known central B-splines of order \(n \in {\mathbb {N}}^+\) (see e.g., [7, 8, 63] and Fig. 2 right), defined by:
where \((x)_+ := \max \left\{ x,0 \right\}\) denotes “the positive part” of \(x \in {\mathbb {R}}\).
For more details concerning the proof of conditions \((\chi 1)\), \((\chi 2)\) and \((\chi 3)\) for the above examples of kernels, see, e.g., [2,3,4, 21, 24, 31, 34, 41, 65].
References
Abdurexit, A., Bekjan, T.N.: Noncommutative Orlicz modular spaces associated with growth functions. Banach J. Math. Anal. 9(4), 115–125 (2015)
Acar, T., Alotaibi, A., Mohiuddine, S.A.: Construction of a new family of Bernstein–Kantorovich operators. Math. Methods Appl. Sci. 40(18), 7749–7759 (2017)
Acar, T., Aral, A., Mohiuddine, S.A.: Approximation by bivariate (p, q)-Bernstein–Kantorovich operators. Iran. J. Sci. Technol. Trans. A 42, 655–662 (2018)
Acar, T., Aral, A., Raşa, I.: Approximation by k-th order modifications of Sz’asz–Mirakyan operators. Stud. Sci. Math. Hungar. 53(3), 379–398 (2016)
Acar, T., Costarelli, D., Vinti, G.: Linear prediction and simultaneous approximation by m-th order Kantorovich type sampling series. Banach J. Math. Anal. (2020). https://doi.org/10.1007/s43037-020-00071-0
Agrawal, P.N., Baxhaku, B.: Degree of approximation for bivariate extension of Chlodowsky-type q-Bernstein–Stancu–Kantorovich operators. Appl. Math. Comput. 306, 56–72 (2017)
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)
Allasia, G., Cavoretto, R., De Rossi, A.: Lobachevsky spline functions and interpolation to scattered data. Comput. Appl. Math. 32, 71–87 (2013)
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. Mediterr. J. Math. (2019). https://doi.org/10.1007/s00009-019-1315-0
Angeloni, L., Costarelli, D., Vinti, G.: Quantitative estimates for sampling type operators with respect to the Jordan variation. Atti della Accademia Nazionale dei Lincei Rendiconti Lincei Matematica e Applicazioni 31, 269–284 (2020)
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 and rate of approximation for linear integral operators in \(BV^\varphi\)-spaces in multidimensional setting. J. Math. Anal. Appl. 349, 317–334 (2009)
Antil, H., Pfefferer, J., Warma, M.: A note on semilinear fractional elliptic equation: analysis and discretization. ESAIM M2AN 51(6), 2049–2067 (2017)
Asdrubali, F., Baldinelli, G., Bianchi, F., Costarelli, D., Evangelisti, L., Rotili, A., Seracini, M., Vinti, G.: A model for the improvement of thermal bridges quantitative assessment by infrared thermography. Appl. Energy 211, 854–864 (2018)
Bardaro, C., Butzer, P.L., Stens, R.L., Vinti, G.: Kantorovich-type generalized sampling series in the setting of Orlicz spaces. Sampl. Theory Signal Image Process. 6(1), 29–52 (2007)
Bardaro, C., Karsli, H., Vinti, G.: On pointwise convergence of linear integral operators with homogeneous kernels. Integral Transforms Spec. Funct. 19(6), 429–439 (2008)
Bardaro, C., Mantellini, I.: On convergence properties for a class of Kantorovich discrete operators. Numer. Funct. Anal. Opt. 33(4), 374–396 (2012)
Bardaro, C., Musielak, J., Vinti, G.: Nonlinear Integral Operators and Applications, De Gruyter Series in Nonlinear Analysis and Applications, New York, Berlin, p. 9 (2003)
Bardaro, C., Vinti, G.: Some estimates of certain integral operators in generalized fractional Orlicz classes. Numer. Funct. Anal. Optim. 12(5&6), 443–453 (1991)
Bede, B., Coroianu, L., Gal, S.G.: Approximation by Max-Product Type Operators. Springer, New York (2016)
Boccuto, A., Dimitriou, X.: Modular convergence theorems for integral operators in the context of filter exhaustiveness and applications. Mediterr. J. Math. 10(2), 823–842 (2013)
Butzer, P.L.: A survey of the Whittaker–Shannon sampling theorem and some of its extensions. J. Math. Res. Expos. 3, 185–212 (1983)
Butzer, P.L., Nessel, R.J.: Fourier Analysis and Approximation I. Academic Press, New York (1971)
Butzer, P.L., Riesz, S., Stens, R.L.: Approximation of continuous and discontinuous functions by generalized sampling series. J. Approx. Theory 50, 25–39 (1987)
Cantarini, M., Costarelli, D., Vinti, G.: A solution of the problem of inverse approximation for the sampling Kantorovich operators in case of Lipschitz functions. Dolomit. Res. Notes Approx. 13, 30–35 (2020)
Constales, D., De Bie, H., Lian, P.: A new construction of the Clifford–Fourier kernel. J. Fourier Anal. Appl. 23(2), 462–483 (2017)
Coroianu, L., Costarelli, D., Gal, S.G., Vinti, G.: The max-product generalized sampling operators: convergence and quantitative estimates. Appl. Math. Comput. 355, 173–183 (2019)
Coroianu, L., Costarelli, D., Gal, S.G., Vinti, G.: The max-product sampling Kantorovich operators with generalized kernels. Anal. Appl. (2019). https://doi.org/10.1142/S0219530519500155
Coroianu, L., Costarelli, D., Gal, S.G., Vinti, G.: Approximation by multivariate max-product Kantorovich-type operators and learning rates of least-squares regularized regression. Commun. Pure Appl. Anal. 19(8), 4213–4225 (2020)
Coroianu, L., Gal, S.G.: Approximation by nonlinear Hermite–Fejér interpolation operators of max-product kind on Chebyshev knots. Rev. d’Anal. Numér. Théor. Approx. (Cluj) 39(1), 21–31 (2010)
Coroianu, L., Gal, S.G.: \(L^p\)-approximation by truncated max-product sampling operators of Kantorovich-type based on Fejer kernel. J. Integral Equ. Appl. 29(2), 349–364 (2017)
Coroianu, L., Gal, S.: Approximation by truncated max-product operators of Kantorovich-type based on generalized \((\Phi,\Psi )\)-kernels. Math. Methods Appl. Sci. 41(17), 7971–7984 (2018)
Coroianu, L., Gal, S.G.: Approximation by max-product operators of Kantorovich type. Stud. Univ. Babes-Bolyai Math. 64(2), 207–223 (2019)
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. Comput. 374, 125046 (2020)
Costarelli, D., Spigler, R.: How sharp is the Jensen inequality? J. Inequal. Appl. 2015(69), 1–10 (2015)
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) (2011) 445-468
Costarelli, D., Vinti, G.: Convergence for a family of neural network operators in Orlicz spaces. Math. Nachr. 290(2–3), 226–235 (2017)
Costarelli, D., Vinti, G.: Saturation classes for max-product neural network operators activated by sigmoidal functions. Results Math. 72(3), 1555–1569 (2017)
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.: Approximation results by multivariate sampling Kantorovich series in Musielak–Orlicz spaces. Dolomit. Res. Notes Approx. 12, 7–16 (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)
Cruz-Uribe, D., Hasto, P.: Extrapolation and interpolation in generalized Orlicz spaces. Trans. Am. Math. Soc. 370, 4323–4349 (2018)
Demirci, K., Orhan, S.: Statistical relative approximation on modular spaces. Results Math. 71(3–4), 1167–1184 (2017)
Diening, L.: Maximal function on Musielak–Orlicz spaces and generalized Lebesgue spaces. Bull. Sci. Math. 129, 657–700 (2005)
Hasto, P.A.: The maximal operator on generalized Orlicz spaces. J. Funct. Anal. 269(12), 4038–4048 (2015)
Khamsi, M.A., Kozlowski, W.M.: Fixed Point Theory in Modular Function Spaces. Springer, New York (2015)
Kolomoitsev, Y.S., Skopina, M.A.: Approximation by multivariate Kantorovich–Kotelnikov operators. J. Math. Anal. Appl. 456(1), 195–213 (2017)
Krivoshein, A., Skopina, M.A.: Multivariate sampling-type approximation. Anal. Appl. 15(4), 521–542 (2017)
Kuaket, K., Kumam, P.: Fixed points of asymptotic pointwise contractions in modular spaces. Appl. Math. Lett. 24(11), 1795–1798 (2011)
Ky, L.D.: New Hardy spaces of Musielak–Orlicz type and boundedness of sublinear operators. Integral Equ. Oper. Theory 78(1), 115–150 (2014)
Mantellini, I.: Generalized sampling operators in modular spaces. Comment. Math. 38, 77–92 (1998)
Mantellini, I., Vinti, G.: Approximation results for nonlinear integral operators in modular spaces and applications. Ann. Polon. Math. 81(1), 55–71 (2003)
Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034. Springer, Berlin (1983)
Musielak, J.: Nonlinear approximation in some modular function space. Math. Jpn. 38(1), 83–90 (1993)
Musielak, J., Orlicz, W.: On modular spaces. Stud. Math. 18, 49–65 (1959)
Nakano, H.: Topology of Linear Topological Spaces. Maruzen Co., Ltd., Tokyo (1951)
Orlova, O., Tamberg, G.: On approximation properties of generalized Kantorovich-type sampling operators. J. Approx. Theory 201, 73–86 (2016)
Ries, S., Stens, R.L.: Approximation by generalized sampling series. In: Constructive Theory of Functions’84, Sofia, pp. 746–756 (1984)
Swierczewska-Gwiazda, A.: Nonlinear parabolic problems in Musielak–Orlicz spaces. Nonlinear Anal. Theory Methods Appl. 98, 48–65 (2014)
Unser, M.: Ten good reasons for using spline wavelets. Wavelets Appl. Signal Image Process. 3169(5), 422–431 (1997)
Vinti, G.: A general approximation result for nonlinear integral operators and applications to signal processing. Appl. Anal. 79(1–2), 217–238 (2001)
Vinti, G., Zampogni, L.: A unifying approach to convergence of linear sampling type operators in Orlicz spaces. Adv. Differ. Equ. 16(5–6), 573–600 (2011)
Yang, D., Yang, S.: Musielak–Orlicz–Hardy spaces associated with operators and their applications. J. Geom. Anal. 24(1), 495–570 (2014)
Acknowledgements
Open access funding provided by Università degli Studi di Perugia within the CRUI-CARE Agreement. The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilitá e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM), and of the network RITA (Research ITalian network on Approximation). The authors are partially supported by the “Department of Mathematics and Computer Science” of the University of Perugia (Italy). The first author has been partially supported within a 2019 GNAMPA-INdAM Project: “Metodi di analisi reale per l’approssimazione attraverso operatori discreti e applicazioni”, while the second author has been partially supported within the project: (1) Ricerca di Base 2018 dell’Università degli Studi di Perugia—“Metodi di Teoria dell’Approssimazione, Analisi Reale, Analisi Nonlineare e loro Applicazioni”, (2) Ricerca di Base 2019 dell’Università degli Studi di Perugia—“Integrazione, Approssimazione, Analisi Nonlineare e loro Applicazioni”, (3) “Metodi e processi innovativi per lo sviluppo di una banca di immagini mediche per fini diagnostici” funded by the Fondazione Cassa di Risparmio di Perugia (FCRP), 2018, (4) “Metodiche di Imaging non invasivo mediante angiografia OCT sequenziale per lo studio delle Retinopatie degenerative dell’Anziano (M.I.R.A.)”, funded by FCRP, 2019.
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
Costarelli, D., Vinti, G. Convergence of sampling Kantorovich operators in modular spaces with applications. Rend. Circ. Mat. Palermo, II. Ser 70, 1115–1136 (2021). https://doi.org/10.1007/s12215-020-00544-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-020-00544-z