Abstract
We associate to an integral operator a discrete one which is conceptually simpler, and study the relations between them. The differences between the integral and the associated discrete operators are estimated. Applications are given, involving the Baskakov type operators, genuine Baskakov–Durrmeyer type operators, and their Kantorovich modifications. We construct the discrete operators associated with these integral operators and apply our general results in this context.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and notation
It is well-known that integral operators are very useful in Approximation Theory. However, sometimes they are expressed in terms of complicated integrals with respect to complicated measures. In this paper we associate to an integral operator a discrete one which is conceptually simpler, and study the relations between them. Some results in this direction can be found also in [13].
After introducing the necessary definitions we present some general results. Then we recall the definitions of Baskakov type operators, genuine Baskakov–Durrmeyer type operators, and their Kantorovich modifications. We construct the discrete operators associated with these integral operators and apply our general results in this context.
2 Preliminaries
In what follows the monomials \(e_j\), \(j \in {\mathbb {N}}_0\), are given by \(e_j(x) = x^j \).
Let \(I \subset {\mathbb {R}}\) be an interval and H a subspace of C(I) containing \(e_0\), \(e_1\) and \(e_2\). Let \(L: H \longrightarrow C(I)\) be a positive linear operator such that \(Le_0=e_0\). The second moment of L is defined by
For a fixed \(x \in I\) consider the functional \(H \ni f \longrightarrow Lf(x)\) and define \({{\,\mathrm{Var}\,}}_x L := Le_2 (x) -(Le_1 (x))^2\); then, roughly speaking, \({{\,\mathrm{Var}\,}}_x L\) shows how far is the functional from being a pointwise evaluation.
It is easy to verify that
Now let L be of the form
where \(A_j : H \longrightarrow {\mathbb {R}}\) are positive linear functionals,
Let
Then, generally speaking, \({{\,\mathrm{Var}\,}}A_j\) shows how far is \(A_j\) from the point evaluation at \(b_j\).
The discrete operator associated with L is defined by
The point evaluation functional at \(b_j\) is conceptually simpler than \(A_j\); from this point of view, D is simpler than L. We shall investigate the relations between L and D.
It is easy to verify that
Moreover, according to (1) and (3)
Combined with (6), this shows that
Now define
We have
With (4) and (6) this leads to
Combined with (7), this yields
Finally, let \(f \in H \cap C^2(I)\) and suppose that \(\Vert f''\Vert _\infty < \infty \). Then by Taylor’s formula,
This entails
Moreover, according to (2) and (5),
and so
We conclude that
Using (12) we see that E(L)(x) shows how far is L from D.
3 Linking operators and discrete operators
In [10, 11] Păltănea introduced operators depending on a parameter \(\rho \in {\mathbb {R}}^+ \), which constitute a non-trivial link between the Bernstein and Szász-Mirakjan operators, respectively, and their genuine Durrmeyer modifications. In [6] this definition was extended to a non-trivial link between Baskakov type operators and genuine Baskakov–Durrmeyer type operators and their kth order Kantorovich modification. For \(k=1\) this means a link between the Kantorovich modification of Baskakov type and Baskakov–Durrmeyer type operators. In this paper we consider the whole family of linking operators depending on an arbitrary real parameter c.
In what follows for \(c \in {\mathbb {R}} \) we use the notations
In the following definitions of the operators we omit the parameter c in the notations in order to reduce the necessary sub and superscripts.
Let \(c \in {\mathbb {R}}\), \(n \in \mathbb {R^+}\), \(n > c\) for \(c\ge 0\) and \(-n/c \in {\mathbb {N}}\) for \(c<0\). Furthermore let \(\rho \in {\mathbb {R}}^+\), \(j \in {\mathbb {N}}_0\), \(x \in I_c\) with \(I_c = [0,\infty )\) for \(c\ge 0\) and \(I_c=[0,-1/c]\) for \(c < 0\). Then the basis functions are given by
In the following definitions we assume that the function \(f:I_c \longrightarrow {\mathbb {R}}\) is given in such a way that the corresponding integrals and series are convergent. The operators of Baskakov-type are defined by
and the genuine Baskakov–Durrmeyer type operators are denoted by
for \(c<0\) and by
for \(c \ge 0\).
Depending on a parameter \(\rho \in {\mathbb {R}}^+\) the linking operators are given by
where
with
By \(B(x,y) = \int _0^1 t^{x-1} (1-t)^{y-1} dt\), \(x,y > 0\) we denote Euler’s Beta function and by \(\varGamma \) the Gamma function.
Note that in case \(c<0\) the sums in (13) and (15) are finite, as \(p_{n,j}(x) = 0\) for \(j>-n/c\). The kth order Kantorovich modification of the operators \(B_{n,\rho }\) are defined by
where \(D^k\) denotes the kth order ordinary differential operator and
For \(k=0\) we omit the superscript (k) as indicated by the definition above.
We recall some results concerning \(\lim _{\rho \rightarrow \infty } B_{n,\rho }^{(k)}\).
In [3, Theorem 2.3] Gonska and Păltănea proved for \(c=-1\) the convergence of the operators \(B_{n,\rho }\) to the classical Bernstein operator \(B_{n,\infty }\), i.e., they proved that for every \(f \in C[0,1]\)
From [5] (see the consideration of the special case \(\rho \rightarrow \infty \) after Remark 2 there) we know that for each polynomial q
uniformly on [0, 1] for \(c<0\) and uniformly on every compact subinterval of \([0,\infty )\) for \(c\ge 0\).
Let \( c=-1\) and \( \varepsilon > 0\) be arbitrary. As the space of polynomials \( {\mathcal {P}}\) is dense in \( L_p[0,1]\), \(\Vert \cdot \Vert _p \), \(1 \le p < \infty \) and C[0, 1], \(\Vert \cdot \Vert _\infty \), \(p=\infty \), we can choose a polynomial q, such that \(\Vert f-q\Vert _p < \varepsilon \). Then
As the operators \(B_{n,\rho }^{(k)} \) and \(B_{n,\infty }^{(k)}\) are bounded (see [5, Corollary 1] and [2, (3)] for the images of \(e_0\)) we immediately get
for each \( f \in L_p[0,1]\), \(\Vert \cdot \Vert _p \), \(1 \le p < \infty \) and C[0, 1], \(\Vert \cdot \Vert _\infty \), \(p=\infty \).
Furthermore, for \(c=0\) the following convergence result was proved in [12, Theorem 4].
Let \(c=0\). Assume that \(f: [0,\infty ) \longrightarrow {\mathbb {R}}\) is integrable and there exist constants \(M > 0 \), \(q \ge 0\) such that \(|f(t) | \le M e^{qt}\) for \(t \in [0,\infty )\). Then for any \(b>0\) there is \(\rho _0 >0\), such that \(B_{n,\rho } f \) exists for all \(\rho \ge \rho _0\) and we have
A different function space was considered in [1, Lemma 5, Corollary 3] for the case \(c \ge 0\).
Let \( f \in C^2[0,\infty )\) with \(\Vert f''\Vert _{\infty } < \infty \). Then we have
uniformly on every compact subinterval of \([0,\infty )\).
We will use the following representations for the linking operators (see [7, Theorem 2] and [8, Theorem 4] in case \(\rho \in {\mathbb {N}}\).
\(c=-1\): Let \(n,k \in {\mathbb {N}}\), \(n-k \ge 1\), \(\rho \in {\mathbb {N}}\) and \(f \in L_1[0,1]\). Then we have the representation
\(c \ge 0\): Let \(n,k \in {\mathbb {N}}\), \(n-k \ge 1\), \(\rho \in {\mathbb {N}}\) and \(f \in W_n^\rho \) where \(W_n^\rho \) denotes the space of functions \( f \in L_{1,loc}[0,\infty ) \) satisfying certain growth conditions, i.e., there exist constants \(M>0\), \( 0 \le q < n\rho +c\), such that a.e. on \( [0,\infty )\)
Then we have the representation
For the images of monomials explicit representations are known from [5, Theorem 2] and [6, Theorem 2]. We will need (see [5, Corollary 1] and [6, Corollary 2] the images of the first monomials.
We consider the operators
for which we have \(V_{n,\rho }^{(k)} e_0 = e_0\).
They are of the form (2); more precisely,
where [see (17), (18) and (20)]
Again in (21) and in the corresponding formulas below the sum is finite in case \(c<0\).
If \(n\rho > kc\), we can consider the barycenter of \(A_{n,\rho ,j}^{(k)}\). As \(t p_{m+c,l-1}(t) = \frac{l}{m} p_{m,l}(t)\) and \( \int _0^\infty p_{m,l}(t) dt = \frac{1}{m+1}\) we can calculate
The discrete operators (5) associated with \(V_{n,\rho }^{(k)}\) are
Under the form
we see that \(D_{n,\rho }^{(k)}\) is a Stancu-type modification of the operator (13)
A direct calculation similar to (23) shows that
With the notation \(E_{n,\rho }^{(k)}:= E \left( V_{n,\rho }^{(k)} \right) \) and using (8) and (27), we get
Here are some particular values:
For \(c=0\),
The images of the first monomials under \(V_{n,\rho }^{(k)} \) can be deduced from (19); using them we find
As explained in Sect. 2, \({{\,\mathrm{Var}\,}}_x{V_{n,\rho }^{(k)}}\) shows how far is the functional \(f \mapsto V_{n,\rho }^{(k)} f(x)\) from the point evaluation at its barycenter \(\frac{2(n+kc)\rho x +k(\rho +1)}{2(n\rho -kc)}\) which can be calculated by using (19) and (20).
This assertion, and other similar ones, are made more precise in the following Theorem.
Theorem 1
Let \(\Vert f''\Vert _\infty < \infty \). Then
Proof
It suffices to apply (11) and (12) to the functionals \(A_{n,\rho ,j}^{(k)}\) and \(f \mapsto V_{n,\rho }^{(k)} f(x)\), respectively to the operators \(V_{n,\rho }^{(k)}\). \(\square \)
The case \(\rho \rightarrow \infty \) deserves a special attention.
Theorem 2
-
(i)
If \(\Vert f''\Vert _\infty < \infty \), then
$$\begin{aligned} \left\| V_{n,\infty }^{(k)} f - D_{n,\infty }^{(k)} f \right\| _\infty \le \frac{k}{24n^2} \Vert f''\Vert _\infty . \end{aligned}$$(36) -
(ii)
For an arbitrary f in the domain of \(V_{n,\infty }^{(k)}\),
$$\begin{aligned} \left\| V_{n,\infty }^{(k)} f - D_{n,\infty }^{(k)} f \right\| _\infty \le \omega \left( f; \frac{k}{2n} \right) . \end{aligned}$$(37)
Proof
Equation (36) follows from (35) and (30). In order to prove (37), let us remark that
and
According to the mean value theorem for divided differences there exists \(x_{n,k,j} \in \left[ \frac{j}{n}, \frac{j+k}{n} \right] \) such that
Consequently,
Since \(x_{n,k,j} \in \left[ \frac{j}{n}, \frac{j+k}{n} \right] \), it follows that \(|x_{n,k,j} - \frac{2j+k}{2n}| \le \frac{k}{2n}\), and so
This proves (37). \(\square \)
In the following Theorem we give an estimate for the difference of \( V_{n,\rho }^{(k)} f(x)\) and \( V_{n,\infty }^{(k)} f(x)\).
Theorem 3
If \(\Vert f'\Vert _\infty < \infty \) and \(\Vert f''\Vert _\infty < \infty \), then
with \( E_{n,\rho }^{(k)} (x)\) and \(E_{n,\infty }^{(k)} (x)\) given in (28) and (30).
Proof
By using (34) we derive
Application of the mean value theorem leads to
Together with (40) we get our proposition. \(\square \)
With the definition of the operators \( V_{n,\rho }^{(k)}\) we get from Theorem 3
Corollary 1
Let us return to \({{\,\mathrm{Var}\,}}{A_{n,\rho ,j}^{(k)}}\), \(E_{n,\rho }^{(k)}\) and \({{\,\mathrm{Var}\,}}_x{V_{n,\rho }^{(k)}}\). Their roles were illustrated in Theorem 1; some properties of them are presented in the following result.
Theorem 4
\({{\,\mathrm{Var}\,}}{A_{n,\rho ,j}^{(k)}}\), \(E_{n,\rho }^{(k)}\) and \({{\,\mathrm{Var}\,}}_x{V_{n,\rho }^{(k)}}\) are:
-
(a)
increasing with respect to k,
-
(b)
increasing with respect to c,
-
(c)
decreasing with respect to \(\rho \).
Proof
(a) and (b) follow easily from (27), (28) and (33).
Now let us denote \(a:=\frac{kc}{n}\) and \(b:=\frac{kc+c}{n}\). Then (27) can be rewritten as
and this shows that \({{\,\mathrm{Var}\,}}{A_{n,\rho ,j}^{(k)}}\) is decreasing w.r.t. \(\rho \).
A similar transformation of (28) [or an inspection of (8)] reveals that \(E_{n,\rho }^{(k)}\) is also decreasing w.r.t. \(\rho \).
Finally (33) can be put under the form
which shows that \({{\,\mathrm{Var}\,}}_x{V_{n,\rho }^{(k)}}\) is decreasing w.r.t. \(\rho \). \(\square \)
4 Some complementary results
The starting point for this article was the following remark.
Let \(n \in {\mathbb {N}}\), \(c=-1\), \(x \in [0,1]\), \(1 \le k < n\), \(f \in C[0,1]\). Then (39) takes the form
for suitable \(x_{n,k,j} \in \left[ \frac{j}{n},\frac{j+k}{n} \right] \). In (41) \(p_{n-k,j} (x)\) are the very classical Bernstein fundamental polynomials, i.e.,
The classical Bernstein polynomials are, of course,
Both \(x_{n,k,j}\) and \(\frac{j}{n-k}\) are in \(\left[ \frac{j}{n},\frac{j+k}{n} \right] \), so that \(|x_{n,k,j}- \frac{j}{n-k}| \le \frac{k}{n}\). Now from (41) and (42) we get
In particular, \(V_{n,\infty }^{( 1)} \) is the classical Kantorovich operator \(K_{n-1}\) on C[0, 1]. So (43) implies
Let us return to an arbitrary c and to
The sum \(S_n(x) = S_{n,c} (x) := \sum _{j=0}^\infty p_{n,j}^2 (x) \) was investigated in a series of papers, see [14, 15] and the references given there.
It is known that it is logarithmically convex (see [15]) and
where \({{\,\mathrm{osc}\,}}_n{(f)} := \sup {\{|f(\frac{j}{n}) - f(\frac{i}{n}) |: i,j \in {\mathbb {N}}_0 \}}\).
Let n and x be fixed; consider the functional \( f \mapsto B_{n,\infty } f(x) \). Then, roughly speaking \(1-S_{n,c} (x) \) shows how far is the functional from being a multiplicative functional, and ultimately how far is it from being a point evaluation.
Consider \((p_{n,0} (x), p_{n,1} (x), \dots )\) as a probability distribution parameterized by x. Then \(1-S_{n,c}(x)\) is the associated Tsallis entropy. Moreover, \(S_n(x)\) is viewed as one of the indices measuring the inequality and diversity, i.e., the degree of uniformness of the distribution (see [9, pp. 556–559]).
References
Baumann, K., Heilmann, M., Raşa, I.: Further results for \(k\)th order Kantorovich modification of linking Baskakov type operators. Results Math. 69(3), 297–315 (2016)
Gonska, H., Heilmann, M., Raşa, I.: Kantorovich operators of order \(k\). Numer. Funct. Anal. Optim. 32, 717–738 (2011)
Gonska, H., Păltănea, R.: Simultaneous approximation by a class of Bernstein–Durrmeyer operators preserving linear functions. Czechoslov. Math. J. 60(135), 783–799 (2010)
Gonska, H., Raşa, I., Rusu, M.: Chebyshev–Grüss-type inequalities via discrete oscillations. Bul. Acad. Stiinte Repub. Mold. Mat. 1(74), 63–89 (2014)
Heilmann, M., Raşa, I.: \(k\)-th order Kantorovich type modification of the operators \(U_n^\rho \). J. Appl. Funct. Anal. 9(3–4), 320–334 (2014)
Heilmann, M., Raşa, I.: \(k\)-th order Kantorovich modification of linking Baskakov type operators. In: Agrawal, P.N. et al. (ed.) Recent Trends in Mathematical Analysis and its Applications, Proceedings of the Conference ICRTMAA 2014, Rorkee, India, December 2014. Proc. Math. Stat. 143, 229–242 (2015)
Heilmann, M., Raşa, I.: A nice representation for a link between Bernstein–Durrmeyer and Kantorovich operators. In: Giri, D. et al. (ed.) Proceedings of ICMC 2017, Haldia, India, January 2017. Springer Proceedings in Mathematics and Computing, pp. 312–320 (2017)
Heilmann, M., Raşa, I.: A nice representation for a link between Baskakov- and Szász-Mirakjan-Durrmeyer operators and their Kantorovich variants. Results Math. 74, 9 (2019). https://doi.org/10.1007/s00025-018-0932-4
Marshall, A.W., Olkin, I., Arnold, B.C.: Inequalities: Theory of Majorization and Its Applications. Springer Series in Statistics, 2nd edn. Springer, New York (2011)
Păltănea, R.: A class of Durrmeyer type operators preserving linear functions. Ann. Tiberiu Popoviciu Semin. Funct. Eq. Approx. Conv. 5, 109–117 (2007)
Păltănea, R.: Modified Szász–Mirakjan operators of integral form. Carpathian J. Math. 24(3), 378–385 (2008)
Păltănea, R.: Simultaneous approximation by a class of Szász–Mirakjan operators. J. Appl. Funct. Anal. 9(3–4), 356–368 (2014)
Raşa, I.: Discrete operators associated with certain integral operators. Stud. Univ. Babes-Bolyai Math. 56(2), 537–544 (2011)
Raşa, I.: Entropies and Heun functions associated with positive linear operators. Appl. Math. Comput. 268, 422–431 (2015)
Raşa, I.: Convexity properties of some entropies. Results Math. 73, 105 (2018)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
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
Heilmann, M., Nasaireh, F. & Raşa, I. Discrete operators associated with linking operators. Anal.Math.Phys. 10, 72 (2020). https://doi.org/10.1007/s13324-020-00423-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-020-00423-x