Abstract
In the present paper we study the perturbed sampling Kantorovich operators in the general context of the modular spaces. After proving a convergence result for continuous functions with compact support, by using both a modular inequality and a density approach, we establish the main result of modular convergence for these operators. Further, we show several instances of modular spaces in which these results can be applied. In particular, we show some applications in Musielak–Orlicz spaces and in Orlicz spaces and we also consider the case of a modular functional that does not have an integral representation generating a space, which can not be reduced to previous mentioned ones.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [12] the authors have introduced the generalized sampling Kantorovich operators perturbed by multiplicative noise, in order to model the presence of a possible perturbation in the reconstruction process of a given function. A typical example of noise source is a “Speckle” type noise: this is a disturbance that typically affects SAR (Synthetic Aperture Radar) remote sensing systems (see, e.g., [25, 28]), but many others can be described.
In details, the family of operators above mentioned are of the form:
where \(g_{k,w},\) \(k \in \mathbb {Z}\), \(w>0\) are locally integrable functions which represent multiplicative noise sources.
For the above operators (I), pointwise, uniform and modular convergence in Orlicz spaces have been studied in [12], where the last ones include, as particular cases, the \(L^p,\) the Zygmund, the exponential spaces, and others. It is easy to see that in case that \(g_{k,w},\) \(k \in \mathbb {Z}\), \(w>0\) are constant functions, then (I) reduces to the well-known sampling Kantorovich operators of the form:
which can be considered as an \(L^p\) version of the generalized sampling operators, introduced by P.L. Butzer and his school at RWTH-Aachen (see [6, 7, 9]).
For references about the approximation properties of sampling Kantorovich operators, see, e.g., [2, 10, 11, 13,14,15,16,17,18,19,20,21, 33, 35], while for operators of Kantorovich type, see, e.g., [22, 24].
The aim of this work is to extend the study in the more general context of modular spaces.
The theory of modular spaces has been introduced by Nakano in [32], and then extensively studied by Musielak and Orlicz [29, 31]. This setting, among the Orlicz spaces, includes also the weighted Orlicz spaces, the Musielak–Orlicz spaces and the case in which the modular has not an integral representation, as it happens instead in the previous mentioned cases (see, e.g., [3]). Although modular spaces were first introduced by Nakano, a systematic study of these spaces has been carried forward by Musielak and Orlicz [31], by Musielak [29, 30], and successively by other authors (see, e.g., [1, 5, 26, 27]).
This study is motivated by the goal of formulating a unifying theory for the convergence of operators (I) allowing us to obtain, as special cases, instances not examined up to now, such as Musielak–Orlicz spaces, weighted Orlicz spaces and others, above mentioned. For references of this topic, the reader can see the monographs [3, 23, 29, 34].
However, the elegance and the generality of this unifying structure has a price to pay. In fact, since the modular functional on which the modular spaces are built has very weak properties (the concept of modular is in fact much more general than the concept of norm), it is necessary to make a series of assumptions, which are satisfied in several particular cases, or alternatively, we will provide sufficient conditions that guarantee their validity; this is completely natural working in this abstract setting. On the other hand, being able to recover from the general theory the results obtained in a variety of settings (such as \(L^p,\) Zygmund, exponential, Orlicz, Musielak–Orlicz spaces, etc), is not only very beneficial, but also unifying.
The paper is organized as follows. In Sect. 2, we introduce some notations and preliminaries useful for what follows and we define the operators \(\Bigl ( K_w^{\chi ,\mathcal {G}} \Bigr )_{w>0} \). In Sect. 3, we obtain the convergence results. Namely, as first step in order to prove the main convergence result for the operators under study, we prove a modular convergence theorem for continuous functions with compact support; then by using a modular-type inequality here obtained, and a density result of the space of continuous functions with compact support in the modular spaces (with respect to the modular topology), we establish the desired convergence result in modular spaces. In the last Sect. 4, we provide several examples of modular spaces where the theory holds, discussing in details the various setting, including the case in which the modular has not an integral representation. Finally, we briefly mention some examples of kernels satisfying the assumptions used in the results obtained along the paper.
2 Notations and Preliminaries
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 \widetilde{\mathbb {R}}_0^+\) is said to be a modular on \(X(\Omega )\) if the following conditions hold:
- \((\rho 1)\):
-
\(\rho (f)=0\) if and only if \(f=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 )\) defined as follows:
We note that \(L_\rho (\Omega )\) is a vector subspace of \(X(\Omega )\), and we can define the following notion of modular convergence:
a net of functions \((f_w)_{w>0} \subset L_\rho (\Omega )\) is modularly convergent to a function \(f \in L_\rho (\Omega )\), if there exists \(\lambda >0\) such that
This convergence induces a topology on \(L_\rho (\Omega ),\) called modular topology.
Moreover if (2.1) holds for every \(\lambda >0\) and if the modular \(\rho \) is convex, we will say that the convergence is with respect to the Luxemburg-norm, defined as:
We can also introduce a subspace of \(X(\Omega ),\) that is the space of finite elements, denoted by \(E_\rho (\Omega )\) and defined as:
It is well-known that if the modular \(\rho \) is a convex functional, the following inclusion is true:
For the above concepts and further notions of modular spaces, see, e.g., [3, 24, 29, 34].
Now we recall the following important properties concerning modular functionals.
We say that the modular \(\rho \) is:
-
(a)
monotone if \(|f| \le |g| \ \text {implies} \ \rho (f) \le \rho (g), \ \text {for every} \ f, g \in X(\Omega )\);
-
(b)
finite if the characteristic function \({\textbf {1}}_X\) of every measurable set X of finite \(\mu _\Omega \)-measure belongs to \(L_\rho (\Omega )\);
-
(c)
strongly finite if every \({\textbf {1}}_X\) 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{\textbf {1}}_Y)<\varepsilon \), for every \(Y \in \Sigma _\Omega \ \text {with} \ \mu _\Omega (Y)<\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 \(X \subset \Omega \) with \(\mu _\Omega (X)<+\infty \) such that \(\rho (\alpha f {\textbf {1}}_{\Omega \setminus X})<\varepsilon \);
-
(ii)
for every \(\varepsilon >0\) there exists \(\delta >0\) such that \(\rho (\alpha f {\textbf {1}}_Y)<\varepsilon \), for all measurable sets \(Y \subset \Omega \ \text {with} \ \mu _\Omega (Y)<\delta \).
-
(i)
We note that if \(\rho \) is convex, then any strongly finite modular is finite.
In this paper we consider the spaces \(\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, and \(\Sigma _\mathbb {R}\) and \(\Sigma _\mathbb {Z}\) are the corresponding \(\sigma \)-algebras. Moreover we denote by \(\rho _\mathbb {R}\) and \(\rho _\mathbb {Z}\) two modulars on \(X(\mathbb {R})\) and \(X(\mathbb {Z})\).
In the following we give the definition of kernel, used in order to define the operators we deal with.
A function \(\chi : \mathbb {R} \rightarrow \mathbb {R}\) is called kernel if it satisfies the following assumptions:
- \((\chi 1)\):
-
\(\chi \in X(\mathbb {R})\) and it is bounded in a neighbourhood of the origin;
- \((\chi 2)\):
-
for every \(u \in \mathbb {R}\), there holds:
$$\begin{aligned} \sum _{k \in \mathbb {Z}} \chi (u-k)=1; \end{aligned}$$ - (\(\chi 3\)):
-
there exists \(\beta >0\) such that
$$\begin{aligned} m_\beta (\chi ):=\sup _{u \in \mathbb {R}} \sum _{k \in \mathbb {Z}} |\chi (u-k)| |u-k|^\beta <+\infty . \end{aligned}$$
We recall that from the definition of the kernel, it is possible to prove the following properties (see [2]):
-
(i)
\(m_0(\chi ):=\sup _{u \in \mathbb {R}} \sum _{k \in \mathbb {Z}} |\chi (u-k)| < +\infty \);
-
(ii)
for every \(\gamma >0\) we have:
$$\begin{aligned} \lim _{w \rightarrow +\infty } \sum _{|u-k|>\gamma w}|\chi (u-k)|=0, \end{aligned}$$uniformly with respect to \(u \in \mathbb {R}\);
-
(iii)
for every \(\gamma >0\) and \(\varepsilon >0\), there exists a constant \(M>0\) such that
$$\begin{aligned} \int _{|x|>M} w |\chi (wx-k)| \ dx < \varepsilon , \end{aligned}$$for sufficiently large \(w>0\) and \(k \in \mathbb {Z}\) such that \(k/w \in [-\gamma ,+\gamma ]\).
Now we introduce the following compatibility condition between the kernel \(\chi \) and the modulars \(\rho _\mathbb {R}\) and \(\rho _\mathbb {Z}\).
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 \ \text {as} \ w \rightarrow +\infty \), such that
for any non-negative \(h \in X(\mathbb {Z}), \ h=(h_k)_{k \in \mathbb {Z}}\) and for sufficiently large \(w>0\).
Remark 2.1
We note that the above compatibility condition is a particular case of the general condition introduced in [27], and it is often used in order to study approximation results for operators in modular spaces.
In order to prove the convergence results of the next section, we also need to introduce an additional assumption which relates the kernel \(\chi \) with the modular \(\rho _\mathbb {R}\).
We assume that for any fixed \(\nu >0\) and \(a>0\), there exist a positive constant L and a measurable set \(\mathcal {S} \subset \mathbb {R}, \ \text {with} \ \mu _{\mathbb {R}}(\mathcal {S})<+\infty \) such that
for sufficiently large \(w>0\), where \({\textbf {1}}_{\mathbb {R} {\setminus } \mathcal {S}}\) denotes the characteristic function of the set \(\mathbb {R} {\setminus } \mathcal {S}\).
Remark 2.2
Note that if \(\chi \) has compact support, it is easy to prove that the assumption (2.3) is satisfied (see, e.g., [20]).
In the following, we denote by \(C(\mathbb {R})\) the space of all bounded and uniformly continuous functions, equipped by the usual sup-norm \(\Vert \cdot ||_\infty \) and by \(C_c(\mathbb {R})\) the space of all continuous functions with compact support.
Now we recall here two known theorems. The first one represents a version of the Lebesgue dominated convergence theorem in the setting of modular spaces.
Theorem 1.3
[30]. 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})\) be a net of functions such that \(f_w \rightarrow 0\), a.e. in \(\mathbb {R}, \ \text {as} \ w \rightarrow +\infty \). Suppose in addition that there exixts a function \(g \in L_{\rho _\mathbb {R}} (\mathbb {R})\) such that \(\rho _{\mathbb {R}}(3g)<+\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, \ \text {as} \ w \rightarrow +\infty \).
The next theorem is instead a density result.
Theorem 1.4
[26]. Let \(\rho _\mathbb {R}\) be an absolutely continuous, monotone and absolutely finite modular on \(X(\mathbb {R})\). Then
where the bar represents the closure with respect to the modular topology on \(L_{\rho _\mathbb {R}}(\mathbb {R})\).
Now we are able to recall the definition of the class of operators introduced in [12].
Definition 1.5
We define by \(\Bigl ( K_w^{\chi ,\mathcal {G}} \Bigr )_{w>0}\) the family of generalized sampling Kantorovich operators perturbed by multiplicative noise, such that
where \(\mathcal {G}:=(\mathcal {G}_w)_{w>0}\) is a family of noise sequences, with \(\mathcal {G}_w=(g_{k,w})_{k \in \mathbb {Z}}\), \(g_{k,w}: \mathbb {R} \rightarrow \mathbb {R}^+\) are locally integrable noise functions, while \(f: \mathbb {R} \rightarrow \mathbb {R}\) is such that \(g_{k,w}f\) are locally integrable and the series above is convergent for every \(x \in \mathbb {R}\). We simply call the operators \(K_w^{\chi , \mathcal {G}}\) as the perturbed sampling Kantorovich operators.
It is easy to see that the above operators \(K_w^{\chi ,\mathcal {G}}\) are well-defined if, e.g., f is a bounded function (see, e.g., [12] again).
Now we recall the following theorem concerning the pointwise and the uniform convergence of the above operators.
Theorem 1.6
[12]. Let \(f \in X(\mathbb {R})\) be a bounded function which is continuous at \(x \in \mathbb {R}\). Then
Furthermore, if \(f \in C(\mathbb {R})\), then
3 Convergence Results
We now prove a modular convergence theorem for continuous functions with compact support on \(\mathbb {R}\).
Theorem 1.7
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 (2.3) together with \(\rho _\mathbb {R}\). Then for any \(f \in C_c(\mathbb {R})\) and for every \(\lambda \in \mathbb {R}\), with \(0<\lambda \le \alpha /2\), where \(\alpha \) is the parameter of the absolute continuity of \(\rho _\mathbb {R}\), there holds:
Proof
Since \(f \in C_c(\mathbb {R})\), let \(\bar{\nu }>0\) such that \({{\,\textrm{supp}\,}}f \subset [-\bar{\nu },+\bar{\nu }]=:T\). Now we can fix \(\nu >\bar{\nu }+1\) and let us consider the interval \([-\nu ,+\nu ]\). Then if \(k \notin [-\nu w,+\nu w]\), we have for sufficiently large \(w>0\) that \([-\nu ,+\nu ] \cap [-k/w,+k/w] = \emptyset \), and so:
By the arguments above, the definition of the perturbed sampling Kantorovich operators reduces to:
Now since \(f \in C_c(\mathbb {R})\), obviously \(f \in X(\mathbb {R})\) and this condition, together with \((\chi 1)\) and the hypothesis on \(\mathcal {G}\), implies that \(K_w^{\chi ,\mathcal {G}}f \in X(\mathbb {R})\) and so \(K_w^{\chi , \mathcal {G}}f-f \in X(\mathbb {R})\). Further, by using the monotonicity of \(\rho _\mathbb {R}\), property \((\rho 3)\) of the modulars and the condition \(g_{k,w}(u) \ge 0\) for every \(u \in \mathbb {R}, \ k \in \mathbb {Z} \ \text {and} \ w>0\), we can write what follows:
where \({\textbf {1}}_T\) is the characteristic function of the interval T with \(\mu _\mathbb {R}(T)=2\bar{\nu }<+\infty \).
For the first term by applying assumption (2.3) with \(\nu \) fixed above and \(a:=4 \Vert f \Vert _\infty \), there exists \(L>0\) and a measurable set \(\mathcal {S} \subset \mathbb {R}\) with \(\mu _\mathbb {R}(\mathcal {S})<+\infty \), such that
for sufficiently large \(w>0\). Recalling that \({\textbf {1}}_\mathcal {S}, \ {\textbf {1}}_T \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}\), property (i) of the kernel and (3.1), 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\), from property (i) of condition (e) of the absolute continuity of the modular, we obtain that there exists a measurable subset \(X \subset \mathbb {R}\), with \(\mu _\mathbb {R}(X)<+\infty \), such that
Since X is such that \(\mu _\mathbb {R}(X)<+\infty \) and \(\rho _\mathbb {R}\) is convex and strongly finite (so it is finite), hence one has that \({\textbf {1}}_X \in L_{\rho _\mathbb {R}}(\mathbb {R})\) and so:
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 Theorem 2.6 holds, we have:
and so in correspondence to \(\lambda _\varepsilon /\alpha \), there exists \(\overline{w}>0\) such that for every \(w \ge \overline{w}\) one has:
and since \(\alpha >0\), we can conclude:
for sufficiently large \(w>0\).
Now let \(0<\lambda \le \alpha /2\) be fixed. We can write what follows:
By using the monotonicity of \(\rho _\mathbb {R}\), property \((\rho 3)\) and the conditions (3.2), (3.4), (3.3), we obtain:
for \(w>0\) sufficiently large and so the proof follows. \(\square \)
Now we can prove a convergence result with respect to the Luxemburg norm for kernels \(\chi \) with compact support.
Theorem 1.8
Let \(\rho _\mathbb {R}\) be a convex, monotone, strongly finite and absolutely continuous modular on \(X(\mathbb {R})\) and \(\chi \) be a kernel with compact support. Then for any \(f \in C_c(\mathbb {R})\) and for every \(\lambda >0\), there holds:
Proof
As in Theorem 3.1, we can write:
Now, since \(\chi \) has compact support, \({{\,\textrm{supp}\,}}\chi \subset [-M,M], \ M>0\) and from Remark 2.2, we obtain:
so \({{\,\textrm{supp}\,}}K_w^{\chi ,\mathcal {G}} f \subset [-\nu -M,\nu +M], \ \text {for every} \ w \ge 1\). Now by observing that \({{\,\textrm{supp}\,}}f \subset [-\bar{\nu },+\bar{\nu }] \subset [-\nu -M,\nu +M]\), we denote by \(\mathcal {M}:=[-\nu -M,\nu +M]\) and we have for every \(\lambda >0\):
for every \(x \in \mathbb {R}\) and \(w>0\) sufficiently large. In order to apply Theorem 2.3 to \(\lambda (K_w^{\chi ,\mathcal {G}}f-f)\), we recall that \(\rho _\mathbb {R}\) is convex, monotone, strongly finite and absolutely continuous. Moreover by denoting with \(f_w=\lambda (K_w^{\chi ,\mathcal {G}}f-f)\), we know that \(f_w \subset X(\mathbb {R})\) and from Theorem 2.6 we deduce that:
and so also \(f_w(x) \rightarrow 0, \ x \in \mathbb {R}, \ \text {as} \ w \rightarrow \infty \). Further since \({\textbf {1}}_\mathcal {M} \in E_{\rho _\mathbb {R}}(\mathbb {R}) \subset L_{\rho _\mathbb {R}}(\mathbb {R})\), we have:
i.e., \(g \in L_{\rho _\mathbb {R}}(\mathbb {R})\) and also \(\rho _\mathbb {R}(3g)<+\infty \). Finally by using also (3.5), we can apply Theorem 2.3 to conclude that:
\(\square \)
Now, in order to establish a useful inequality for the operators \(K_w^{\chi ,\mathcal {G}}\), 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 on \(X(\mathbb {Z})\) respectively, we define the subset \(\mathcal {L}_{E,K}(\mathbb {R})\) of \(X(\mathbb {R})\) whose f are such that \(g_{k,w}f\) are locally absolutely integrable and satisfying the following inequality:
for every \(\lambda >0\), where \(H_w=(h_{k,w})_{k \in \mathbb {Z}} \in X(\mathbb {Z}), \ w>0\) with
By using the above condition, we can prove the following theorem.
Theorem 1.9
Let \(\rho _\mathbb {R}\) be a monotone modular on \(X(\mathbb {R}), \ \rho _\mathbb {Z}\) be a modular on \(X(\mathbb {Z})\) and \(\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 \ \text {and} \ D_2\) are the constants of the compatibility condition among \(\chi , \ \rho _\mathbb {R} \ \text {and} \ \rho _\mathbb {Z}\). Moreover if \(f \in L_{\rho _\mathbb {R}}(\mathbb {R})\), it turns out that \(K_w^{\chi ,\mathcal {G}}f \in L_{\rho _\mathbb {R}}(\mathbb {R})\), for sufficiently large \(w>0\).
Proof
For every \(c>0\), by using the monotonicity of \(\rho _\mathbb {R}\) and the compatibility condition (2.2) we can write:
for \(w>0\) sufficiently large, with \(D_1, \ D_2>0 \ \text {and} \ H_w\) defined as in (3.6). Now recalling that the net \((b_w)_{w>0}\) is such that \(b_w \rightarrow 0, \ \text {as} \ w \rightarrow +\infty \) and the definition of the subset \(\mathcal {L}_{E,K}(\mathbb {R})\), by passing to the upper limit we obtain:
For the second part of the theorem, arguing as before, from \(f \in L_{\rho _\mathbb {R}}(\mathbb {R})\) we have that \(\rho _\mathbb {R}(D_2 \lambda K f) \rightarrow 0\), as \(\lambda \rightarrow 0\) and then we conclude that \(\rho _\mathbb {R}(\lambda \ K_w^{\chi ,\mathcal {G}}f) \rightarrow 0\), as \(\lambda \rightarrow 0\), for \(w>0\) sufficiently large, i.e., \(K_w^{\chi ,\mathcal {G}}f \in L_{\rho _\mathbb {R}}(\mathbb {R})\). \(\square \)
The following thorem represents the main result of this section.
Theorem 1.10
Let \(\rho _\mathbb {R}\) be a convex, monotone, strongly finite, absolutely finite and absolutely continuous modular on \(X(\mathbb {R}), \ \rho _\mathbb {Z}\) be a modular on \(X(\mathbb {Z})\) and \(\chi \) be a kernel compatible with \(\rho _\mathbb {R}\) and \(\rho _\mathbb {Z}\) which satisfies condition (2.3) together with \(\rho _\mathbb {R}\). Then for every \(f \in L_{\rho _\mathbb {R}}(\mathbb {R})\) such that \(f-C_c(\mathbb {R}) \subset \mathcal {L}_{E,K}(\mathbb {R})\) for some \(E,\ K>0\), there is a constant \(c>0\):
Proof
Let \(f \in L_{\rho _\mathbb {R}}(\mathbb {R})\) be such that \(f-C_c(\mathbb {R}) \subset \mathcal {L}_{E,K}(\mathbb {R})\), for some \(E,\ K>0\). From Theorem 2.4, there exists \(\lambda >0\) such that for every \(\varepsilon >0\) there exists \(g \in C_c(\mathbb {R})\) with
Since \(g \in C_c(\mathbb {R})\), by Theorem 3.1, for every \(\tilde{\lambda } >0\), with \(\tilde{\lambda } \le \alpha /2\), where \(\alpha \) is the parameter of the absolute continuity of the modular \(\rho _\mathbb {R}\), it turns out:
Now we choose a positive constant c such that \(c \le \min \{ \frac{\lambda }{3 D_2 K}, \frac{\alpha }{6}, \frac{\lambda }{3} \}\), where \(D_2\) is the constant of the compatibility condition among \(\chi , \rho _\mathbb {R} \ \text {and} \ \rho _\mathbb {Z}\) and we can write what follows using \((\rho 3)\) of the modulars:
We analyze \(J_i, \ i=1,2,3\) separately, where we will use the monotonicity of \(\rho _\mathbb {R}\) and the constant c as above.
Regarding \(J_1\), we recall that the operator \(K_w^{\chi ,\mathcal {G}}\) is linear and that \(f-g \in \mathcal {L}_{E,K}(\mathbb {R})\), so we can apply Theorem 3.3 to obtain that there exist \(E,K>0\) such that
For what concerns \(J_2\), by the choice of c and by (3.8) we have:
for \(w>0\) sufficiently large. For \(J_3\), by property \((\rho 2)\) of modulars and by (3.7), we obtain:
Now from (3.9), (3.10) and (3.11), we conclude that:
for \(w>0\) sufficiently large and this completes the proof. \(\square \)
4 Applications to Special Cases
Below, we will discuss in detail some remarkable examples of modular spaces.
4.1 Musielak–Orlicz Spaces
In order to recall the definition of Musielak–Orlicz spaces, we need the following:
Definition 1.11
A function \(\varphi : \mathbb {R} \times \mathbb {R}_0^+ \rightarrow \mathbb {R}_0^+\) is is said to be a \(\tau \)-bounded \(\varphi \)-function if the following conditions hold:
- (\(\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}$$
We can observe that assumption (\(\varphi 2\)) implies that the function \(\varphi \) is continuous and non decreasing with respect to the second variable \(u \in \mathbb {R}_0^+\).
For a sake of semplicity, from now on, we will consider \(\tau \)-bounded \(\varphi \)-functions which satisfy condition (\(\varphi 3\)) with \(F \equiv 0\) and we note that examples of \(\tau \)-bounded \(\varphi \)-functions \(\varphi \) with \(F \ne 0\) can be constructed as in [4].
Firstly, we consider the non-negative functionals below defined:
where \(f \in X(\mathbb {R})\) and \(h=(h_k)_{k \in \mathbb {Z}} \in X(\mathbb {Z}),\) respectively.
We can easily note that \(\rho _\mathbb {R}\) and \(\rho _\mathbb {Z}\) are modulars on \(X(\mathbb {R})\) and on \(X(\mathbb {Z})\) respectively and they satisfy properties (a)–(e) of Sect. 2 (see, e.g., [3]).
The modular spaces generated by \(\rho _\mathbb {R}\) and \(\rho _\mathbb {Z}\) are respectively,
and
and they are called Musielak–Orlicz spaces.
In order to apply Theorem 3.3 in these particular spaces, we want to prove that condition (2.2) is satisfied. Hence, we want to find 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
Since Jensen inequality and Fubini-Tonelli theorem hold and by using the property of the \(\tau \)-boundedness of the function \(\varphi \) (with \(C=1\)) and the change of variables \(y=wt-k\), we obtain:
i.e., condition (2.2) is true with \(D_1=\Vert \chi \Vert _1/m_0(\chi ), D_2=m_0(\chi )\) and \(b_w=0\).
The following lemmas represent sufficient conditions for the validity of (2.3) of Sect. 2 and they will be useful later.
Lemma 1.12
[20]. Let \(\chi \) be a kernel belonging to \(L^1(\mathbb {R})\) and \(\varphi \) be a fixed \(\tau \)-bounded \(\varphi \)-function which satisfies the following additional assumption:
- (\(\varphi 4\)):
-
for sufficiently large \(M>0\), there holds:
$$\begin{aligned} \sup _{|s|>M} \varphi (s,u):=L_u<+\infty , \ \text {for every} \ u \in \mathbb {R}_0^+. \end{aligned}$$
Then condition (2.3) results to be satisfied.
Proof
For the proof see Lemma 4.1 of [20] with \(t_k=k\). \(\square \)
Lemma 1.13
[20]. Let \(\chi \) be a kernel belonging to \(L^1(\mathbb {R})\) and \(\varphi \) be a fixed \(\tau \)-bounded \(\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 condition (2.3) results to be satisfied.
Proof
For the proof see Lemma 4.2 of [20] with \(t_k=k\). \(\square \)
In order to have a result for the approximation problem we deal with, we can prove the below result concerning the space \(\mathcal {L}_{E,K}(\mathbb {R})\).
Lemma 1.14
Let \(f \in X(\mathbb {R})\) be such that \(g_{k,w}f\) are locally absolutely integrable functions and suppose that there exist two positive numbers \(\delta , \sigma \) such that \(0<\delta \le g_{k,w}(u) \le \sigma \), for every \(u \in \mathbb {R}\), \(k \in \mathbb {Z}, \ w>0\).
Then \(f \in \mathcal {L}_{E,K}(\mathbb {R})\) with \(E:=\sigma /\delta \) and \(K:=C\), where C is the constant of the \(\tau \)-boundedness of \(\varphi \).
Moreover if \(f \in L^\varphi (\mathbb {R})\), it turns out that \(K_w^{\chi ,\mathcal {G}}f \in L^\varphi (\mathbb {R})\), for sufficiently large \(w>0\).
Proof
We want to prove that for every \(\lambda >0\) this inequality holds:
with \(H_w=(h_{k,w})_{k \in \mathbb {Z}}, \ w>0\) and \(h_{k,w}=\frac{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) |f(u)| \ du}{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) \ du}\),
and for some constants \(E, \ K>0\).
By assumption (\(\varphi 2\)) we have that for every \(s \in \mathbb {R}, \ \varphi (s,\cdot )\) is non decreasing on \(\mathbb {R}_0^+\), so by using Jensen inequality, the condition \(0<\delta \le g_{k,w}(u) \le \sigma \), for every \(u \in \mathbb {R}, \ k \in \mathbb {Z}, \ w>0\) and the \(\tau \)-boundedness of \(\varphi \) we get:
i.e., (4.1) is satisfied with \(E=\sigma /\delta \) and \(K=C\).
Now by passing to the \(\limsup \) as \(w \rightarrow +\infty \) we obtain that f belongs to \(\mathcal {L}_{E,K}(\mathbb {R})\).
Concerning the second part of the lemma, if \(f \in L^\varphi (\mathbb {R})\) it turns out that \(g_{k,w}f\) are locally absolutely integrable and hence, for the first part of this lemma, \(f \in \mathcal {L}_{E,K}(\mathbb {R})\). Then, the proof immediately follows by Theorem 3.3.
\(\square \)
Now we are able to prove the following results.
Theorem 1.15
Let \(\chi \) be a kernel belonging to \(L^1(\mathbb {R})\) and \(\varphi \) be a \(\tau \)-bounded \(\varphi \)-function which satisfies at least one between conditions \((\varphi 4)\) and \((\varphi 5)\). Further suppose that there exist two positive numbers \(\delta , \sigma \) such that \(0<\delta \le g_{k,w}(u) \le \sigma \), for every \(u \in \mathbb {R}, \ k \in \mathbb {Z}, \ w>0\). Hence the following statements hold:
-
(1)
for \(f \in C_c(\mathbb {R})\):
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\mathbb {R} \Bigl ( \lambda (K_w^{\chi ,\mathcal {G}}f-f) \Bigr )=0, \end{aligned}$$for every \(0<\lambda \le \alpha /2\), where \(\alpha \) is the parameter of the absolute continuity of the modular \(\rho _\mathbb {R}\). Moreover if \(\chi \) has compact support the convergence above holds for every \(\lambda >0\);
-
(2)
for any function \(f \in X(\mathbb {R})\) there holds:
$$\begin{aligned} \limsup _{w \rightarrow +\infty } \rho _\mathbb {R} (c \ K_w^{\chi ,\mathcal {G}}f) \le \frac{\Vert \chi \Vert _1}{m_0(\chi )} \frac{\sigma }{\delta } \rho _\mathbb {R}(c \ m_0(\chi ) \ C^2 f), \end{aligned}$$for every \(c>0\), where C is the constant of the \(\tau \)-boundedness of \(\varphi \). Moreover if \(f \in L^\varphi (\mathbb {R})\), then it turns out that \(K_w^{\chi ,\mathcal {G}}f \in L^\varphi (\mathbb {R})\), for every \(w>0\);
-
(3)
for any function \(f \in L^\varphi (\mathbb {R})\), there is a constant \(c>0\) such that
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\mathbb {R} \Bigl ( c(K_w^{\chi ,\mathcal {G}}f-f) \Bigr )=0. \end{aligned}$$
Proof
-
(1)
As we said above \(\rho _\mathbb {R}\) is a modular with properties (a)-(e) of Sect. 2 and from Lemmas 4.2 and 4.3, \(\varphi \) is a \(\varphi \)-function which satisfies condition (2.3). So we can apply Theorem 3.1 to conclude that for every \(\lambda \), with \(0<\lambda \le \alpha /2\),
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\mathbb {R} \Bigl ( \lambda (K_w^{\chi , \mathcal {G}}f-f) \Bigr )=0. \end{aligned}$$If \(\chi \) is a compact kernel we can use Theorem 3.2 to get the convergence above for every \(\lambda >0\).
-
(2)
This part is given by Lemma 4.4. However, in order to make explicit the constants in the right term of the thesis, we can proceed as follows. Since \((\varphi 2)\) and \((\varphi 3)\) are satisfied, Jensen inequality and Fubini-Tonelli theorem hold and the change of variables \(wt-k=v\) is made, we can write:
$$\begin{aligned} \rho _\mathbb {R}(&c \ K_w^{\chi ,\mathcal {G}}f) = \int _\mathbb {R} \varphi \left( t, c \biggl | \sum _{k \in \mathbb {Z}} \chi (wt-k) \frac{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) f(u) \ du}{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) \ du} \biggr | \right) dt \\&\le \frac{1}{m_0(\chi )} \int _\mathbb {R} \sum _{k \in \mathbb {Z}} \left[ |\chi (wt-k)| \varphi \left( t, c \ m_0(\chi ) \biggl | \frac{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) f(u) \ du}{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) \ du} \biggr | \right) \right] dt \\&\le \frac{1}{m_0(\chi )} \int _\mathbb {R} \sum _{k \in \mathbb {Z}} \left[ |\chi (wt-k)| \varphi \left( k, c \ m_0(\chi ) C \biggl | \frac{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) f(u) \ du}{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) \ du} \biggr | \right) \right] dt\\&= \frac{1}{m_0(\chi )} \frac{1}{w} \sum _{k \in \mathbb {Z}} \varphi \left( k, c \ m_0(\chi ) C \biggl | \frac{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) f(u) \ du}{\displaystyle \int _{k/w}^{(k+1)/w} g_{k,w}(u) \ du} \biggr | \right) \int _\mathbb {R} |\chi (v)| \ dv \\&= \frac{\Vert \chi \Vert _1}{m_0(\chi )} \frac{1}{w} \rho _\mathbb {Z}(c \ m_0(\chi ) C H_w), \end{aligned}$$for every \(w>0\), and by applying (4.2) of the proof of Lemma 4.4, we get:
$$\begin{aligned} \rho _\mathbb {R}(c \ K_w^{\chi ,\mathcal {G}} f) \le \frac{\Vert \chi \Vert _1}{m_0(\chi )} \frac{\sigma }{\delta } \rho _\mathbb {R}(c \ m_0(\chi ) C^2 f), \end{aligned}$$for every \(w>0\).
-
(3)
From Theorem 3.4 we have that for every \(f \in L^\varphi (\mathbb {R})\) such that \(f-C_c(\mathbb {R}) \subset \mathcal {L}_{E,K}(\mathbb {R})\) for some \(E,K>0\), there exists a constant \(c>0\) such that
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\mathbb {R} \Bigl ( c(K_w^{\chi ,\mathcal {G}}f-f) \Bigr )=0. \end{aligned}$$(4.3)But since \(f \in L^\varphi (\mathbb {R})\), we know that \(f \in X(\mathbb {R})\), hence also \(f-h \in X(\mathbb {R}),\) for \(h \in C_c(\mathbb {R}\)) and \(g_{k,w}(f-h)\) are absolutely locally integrable (with \(h \in C_c(\mathbb {R})\)). So from Lemma 4.4, we deduce that \(f-h \in \mathcal {L}_{E,K}(\mathbb {R})\), where \(h \in C_c(\mathbb {R})\) and we conclude that for every \(f \in L^\varphi (\mathbb {R})\), (4.3) holds.
\(\square \)
Now we can discuss the case of \(\varphi \)-functions of the form \(\varphi (s,u)=\varphi (u)\), \(s \in \mathbb {R}, \ u \in \mathbb {R}_0^+\). So the modulars on \(X(\mathbb {R})\) and on \(X(\mathbb {Z})\) reduce respectively to:
and the corresponding modular spaces \(L^\varphi (\mathbb {R})\) and \(L^\varphi (\mathbb {Z})\) are the so-called Orlicz spaces (see, e.g., [29, 31]).
We note that condition \((\varphi 3)\) is trivially satisfied with \(F \equiv 0\) and \(C \equiv 1\), together with assumption \((\varphi 4)\) and so we can get the following theorem:
Theorem 1.16
Let \(\chi \) be a kernel belonging to \(L^1(\mathbb {R})\) and \(\varphi \) be a fixed \(\varphi \)-function of the form \(\varphi (s,u)=\varphi (u)\), \(s \in \mathbb {R}, \ u \in \mathbb {R}_0^+\). Further suppose that there exist two positive numbers \(\delta , \sigma \) such that \(0<\delta \le g_{k,w}(u) \le \sigma \), for every \(u \in \mathbb {R}, \ k \in \mathbb {Z}, \ w>0\). Hence the following statements hold:
-
(1)
for \(f \in C_c(\mathbb {R})\):
$$\begin{aligned} \lim _{w \rightarrow +\infty } \rho _\mathbb {R} \Bigl ( \lambda (K_w^{\chi ,\mathcal {G}}f-f) \Bigr )=0, \end{aligned}$$for every \(0 < \lambda \le \alpha /2\), where \(\alpha \) is the parameter of the absolute continuity of the modular \(\rho _\mathbb {R}\). Moreover if \(\chi \) has compact support the convergence above holds for every \(\lambda >0\);
-
(2)
for any function \(f \in X(\mathbb {R})\) there holds:
$$\begin{aligned} \limsup _{w \rightarrow +\infty } \rho _\mathbb {R} (c \ K_w^{\chi ,\mathcal {G}}f) \le \frac{\Vert \chi \Vert _1}{m_0(\chi )} \frac{\sigma }{\delta } \rho _\mathbb {R} (c \ m_0(\chi ) f), \end{aligned}$$for every \(c>0\). Moreover if \(f \in L^\varphi (\mathbb {R})\), then it turns out that \(K_w^{\chi ,\mathcal {G}}f \in L^\varphi (\mathbb {R})\), for every \(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 _\mathbb {R}\Bigl (c(K_w^{\chi ,\mathcal {G}}f-f) \Bigr )=0. \end{aligned}$$
Proof
This theorem follows as a consequence of Theorem 4.5. \(\square \)
Now we consider \(\varphi \)-functions (with respect to the second variable) of the product-type in 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)\):
-
\(\varphi : \mathbb {R}_0^+ \rightarrow \mathbb {R}_0^+\) is a convex function such that \(\varphi (0)=0\) and \(\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 \varphi (u) \le \varphi (\lambda _2 u), \ u \in \mathbb {R}_0^+. \end{aligned}$$
These properties allow us to say that assumptions \((\varphi 1), \ (\varphi 2) \ \text {and} \ (\varphi 4)\) are trivially satisfied. Moreover from \((\mathcal {F}3)\) with \(\lambda _1=M/m\) we can write
for every \(u \ge 0\), where \(\lambda _2 \ge 1\) is the parameter associated to \(\lambda _1\) fixed. The inequality above shows that this type of \(\varphi \)-functions satisfy also condition \((\varphi 3)\) with \(F \equiv 0\) and \(C=\lambda _2\). These \(\varphi \)-functions generate the so-called weighted Orlicz spaces. Therefore we can easily deduce the same result of Theorem 4.5 in this instance.
Now in order to show the validity of the previous results also for modular functionals which are not of integral type, we consider for instance the following modulars (see [3], p.7):
and
with \(f \in X(\mathbb {R}), h=(h_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 subsets of [a, b[, W is a non-empty set of indices, \(a_l: [a,b[ \rightarrow \mathbb {R}_0^+\) are measurable functions for every \(l \in W\) and \(\Phi : [a,b[ \times \mathbb {R}_0^+ \rightarrow \mathbb {R}_0^+\). If the function \(\Phi \) is convex with respect to the second variable and it satisfies other suitable conditions (see [3]: 1-4 p.7, (b) of p.19 and (b) of p.23), it turns out that \(\rho _\mathbb {R}^\Phi \) is a convex, monotone, strongly finite, absolutely finite and absolutely continuous modular on \(X(\mathbb {R})\) and \(\rho _\mathbb {Z}^\Phi \) is a modular on \(X(\mathbb {Z})\).
Now we prove the compatibility condition (2.2), i.e., 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
By using Jensen inequality, Fubini-Tonelli theorem and the change of variables \(y=wt-k\), we get:
Recalling that \(a_l(x) \ge 0\) and passing to the supremum we obtain:
so we have proved condition (2.2) with \(D_1=\Vert \chi \Vert _1/m_0(\chi ), \ D_2=m_0(\chi )\) and \(b_w=0\).
Further, if we choose for instance a kernel \(\chi \) with compact support, from Remark 2.2 we also have that (2.3) is fullfilled. So all the necessary assumptions are satisfied and we may easily obtain the previous results also in this setting.
As concerns kernels satisfying the assumptions mentioned before, one can easily verify that Fejér, de la Vallée Poussin, Jackson and B-splines (of order \(n \in \mathbb {N}^+\)) kernels are good examples. Moreover also radial kernels can be furnished as, e.g., the Bochner-Riesz kernel. For these and for other examples, the reader can see, e.g., [20].
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Abdurexit, A., Bekjan, T.N.: Noncommutative Orlicz modular spaces associated with growth functions. Banach J. Math. Anal. 9(4), 115–125 (2015)
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., Musielak, J., Vinti, G.: Nonlinear Integral Operators and Applications. De Gruyter Series in Nonlinear Analysis and Applications, vol. 9. New York, Berlin (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)
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., Ries, S., Stens, R.L.: Approximation of continuous and discontinuous functions by generalized sampling series. J. Approx. Theory 50, 25–39 (1987)
Butzer, P.L., Fischer, A., Stens, R.L.: Generalized sampling aproximation of multivariate signals: general theory. Atti Sem. Mat. Fis. Univ. Modena 41, 17–37 (1993)
Butzer, P.L., Nessel, R.J.: Fourier Analysis and Approximation I. Academic Press, New York (1971)
Butzer, P.L., Stens, R.L.: Linear prediction by samples from past. In: Marks, R.J., II. (ed.) Advanced Topics in Shannon Sampling and Interpolation Theory. Springer Texts Electrical Eng., pp. 157–183. Springer, New York (1993)
Cantarini, M., Costarelli, D., Vinti, G.: A solution of the problem of inverse approximation for the sampling Kantorovich operators in case of Lipschitz functions. Dolomites Res. Notes Approx. 13, 30–35 (2020)
Cantarini M., Costarelli D., Vinti G.: Approximation of differentiable and not differentiable signals by the first derivative of sampling Kantorovich operators, J. Math. Anal. Appl., 509, Article Number: 125913 (2022)
Cantarini M., Costarelli D., Vinti G.: Convergence of a class of generalized sampling Kantorovich operators perturbed by multiplicative noise. In: Candela, A.M., Cappelletti Montano, M., Mangino, E. (eds) Recent Advances in Mathematical Analysis. Trends in Mathematics, Birkhauser, Cham., 249-267 (2023)
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.: Approximation by max-product operators of Kantorovich type. Stud. Univ. Babes-Bolyai Math. 64(2), 207–223 (2019)
Costarelli, D., Piconi, M., Vinti, G.: On the convergence properties of Durrmeyer-sampling type operators in Orlicz spaces. Math. Nachr. 296(2), 588–609 (2023)
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., 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)
Costarelli, D., Vinti, G.: Convergence of sampling Kantorovich operators in modular spaces with applications. Rend. Circ. Mat. Palermo (2) 70(2), 1115–1136 (2021)
Costarelli, D., Vinti, G.: Approximation properties of the sampling Kantorovich operators: regularization, saturation, inverse results and Favard classes in \(L^p\)-spaces. J. Fourier Anal. Appl. 28(3), Art. numb. 49 (2022)
Deo, N., Dhamija, M., Mic̆auş, D.: Stancu–Kantorovich operators based on inverse Pólya-Eggenberger distribution. Appl. Math. Comput. 273, 281–289 (2016)
Kantorovich L.V.: Sur certains développements suivant les polynomes de la forme de S. Bernstein I, C.R. Acad. Sc. URSS, pp. 563–568 (in Russian) (1930)
Kozlowski, W.M.: Modular Function Spaces. Pure Appl. Math, Marcel Dekker, New York (1998)
Maity, A., Pattanaik, A., Sagnika, S., Pani, S.: A comparative study on approaches to speckle noise reduction in images. In: International Conference on Computational Intelligence and Networks, Odisha, India, pp. 148–155 (2015)
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)
Moreira, A., Prats-Iraola, P., Younis, M., Krieger, G., Hajnsek, I., Papathanassiou, K.P.: A tutorial on synthetic aperture radar. IEEE Geosc. Rem. Sens. Magaz. 1(1), 6–43 (2013)
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)
Osowska-Kurczab, A., Les, T., Markiewicz, T., Dziekiewicz, M., Lorent, M., Cierniak, S., Costarelli, D., Seracini, M., Vinti, G.: Improvement of renal image recognition through resolution enhancement. Ex. Syst. Appl. 213, 118836 (2023)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Dekker Inc., New York-Basel-Hong Kong (1991)
Vinti, G., Zampogni, L.: A general method to study the convergence of nonlinear operators in Orlicz spaces. Adv. Nonlinear Stud. 22, 594–618 (2022)
Acknowledgements
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), of the network RITA (Research ITalian network on Approximation), and of the UMI group “Teoria dell’Approssimazione e Applicazioni”.
Funding
Open access funding provided by Università degli Studi di Perugia within the CRUI-CARE Agreement. The first author has been partially supported within the: 2023 GNAMPA-INdAM Project "Approssimazione costruttiva e astratta mediante operatori di tipo sampling e loro applicazioni". The third author has been partially supported within the project: Ricerca di Base 2019 dell’Università degli Studi di Perugia - "Integrazione, Approssimazione, Analisi Nonlineare e loro Applicazioni", while the first and the third authors have been partially supported by (1) "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, (2) 2022 GNAMPA-INdAM Project “Enhancement e segmentazione di immagini mediante operatori di tipo campionamento e metodi variazionali per lo studio di applicazioni biomediche and (3) "National Innovation Ecosystem grant ECS00000041 - VITALITY", funded by the European Union - NextGenerationEU under the Italian Ministry of University and Research (MUR).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
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., De Angelis, E. & Vinti, G. Convergence of Perturbed Sampling Kantorovich Operators in Modular Spaces. Results Math 78, 239 (2023). https://doi.org/10.1007/s00025-023-02015-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-02015-0
Keywords
- Perturbed sampling Kantorovich operators
- modular spaces
- modular convergence
- uniform convergence
- Musielak–Orlicz and Orlicz spaces