Commutativity and Spectral Properties of Genuine Baskakov-Durrmeyer Type Operators and their \(k\)th order Kantorovich Modification\(^\ast \)
January 20, 2016.
\(^\S \)Faculty of Mathematics and Natural Sciences, University of Wuppertal, GauSSstr. 20, Wuppertal, Germany, e-mail: heilmann@math.uni-wuppertal.de.
In this paper we present an overview of commutativity results and different methods for the proofs for Baskakov-Durrmeyer type operators and associated differential operators. We discuss the spectral properties and generalize all results to \(k\)th order Kantorovich modifications and corresponding Durrmeyer type variants of Bleimann, Butzer and Hahn operators and Meyer-König and Zeller operators.
MSC. 41A36, 41A28
Keywords. Positive linear operators, Durrmeyer type operators, Kantorovich type modification, commutativity, differential operators, spectral properties.
1 Introduction and definition of the operators
In 1957 Baskakov [ 5 ] introduced a general method to construct a class of positive linear operators depending on a real parameter \(c\) including the classical Bernstein, Szász-Mirakjan and Baskakov operators as special cases. The so-called Bernstein-Durrmeyer operators were introduced by Durrmeyer in [ 17 ] and independently developed by Lupaş [ 31 ] . Afterwards this construction was carried over to many other classical operators; for instance see [ 32 , 35 ] for the Szász-Mirakjan and Baskakov operators, [ 20 , 22 ] in the general setting for so-called Baskakov-Durrmeyer type operators, [ 33 , 10 , 11 ] for the Jacobi weighted Bernstein-Durrmeyer operators, [ 14 , 15 ] for the non-weighted and Jacobi weighted multivariate Bernstein-Durrmeyer operators defined on a simplex. These operators have a lot of nice properties; they commute, they commute with certain differential operators, they are self-adjoint but they only reproduce constants. Let us mention also [ 2 , 24 ] for general Durrmeyer-type modifications of Meyer-König and Zeller operators and [ 3 ] for Durrmeyer variants of the Bleimann, Butzer and Hahn operators. The Durrmeyer modification of the Bleimann, Butzer and Hahn operators are closely connected to the Bernstein-Durrmeyer operators and the Meyer-König and Zeller operators to the Baskakov-Durrmeyer operators. Due to this relation we can carry over several results which will be discussed in a separate section at the end of this paper.
The consideration of so-called genuine Baskakov-Durrmeyer type operators leads to a class of operators reproducing linear functions and interpolating at (finite) endpoints of the corresponding interval. These operators are related to the Baskakov-Durrmeyer type operators in the same way as the Baskakov type operators to their corresponding Kantorovich variants, i. e., \(D^1 \circ B_n \circ I_1 = B_n^{(1)}\) with the notation below.
In what follows for \(c \in \mathbb {R} \) we use the notations
which can be considered as a generalization of rising and falling factorials. Note that \( a^{-c,\overline{j}} = a^{c,\underline{j}}\) and \( a^{c,\overline{j}} = a^{-c,\underline{j}}\). This notation enables us to state the results for the different operators in a unified form.
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 {\gt} c\) for \(c\geq 0\) and \(-n/c \in \mathbb {N}\) for \(c{\lt}0\). Furthermore let \(j \in \mathbb {N}_0\), \(x \in I_c\) with \(I_c = [0,\infty )\) for \(c\geq 0\) and \(I_c=[0,-1/c]\) for \(c {\lt} 0\). Then the basis functions are given by
Note that \(p_{n,j} (x) \equiv 0\) for \(j {\gt}-n/c\) if \(c{\lt}0\) and
with the convention \(p_{n,l} (x) = 0\), if \( l{\lt} 0\).
For \(c{\lt}0\) we consider the space \(L_1(I_c)\) and denote by \(L_1^0 (I_c)\) the set of all functions \(f \in L_1(I_c)\) with finite limits \(f(0) = \lim _{x \to 0^+} f(x)\) and \(f(-1/c) = \lim _{x \to -1/c^-} f(x)\) at the endpoints of the interval. For \(c \geq 0\), \( \alpha \geq 0\) we denote by \(W_\alpha (I_c)\) the space of all locally integrable functions on \(I_c\), satisfying for \( t \geq 0\) the growth condition
for some positive constant \(M\). \(W_\alpha ^0 (I_c)\) consists of all functions \( f \in W_\alpha (I_c)\) with finite limit \(f(0) = \lim _{x \to 0^+} f(x)\). Furthermore \(\mathcal{P}_l \) denotes the set of all polynomials of degree at most \(l\).
Now we can define the genuine Baskakov-Durrmeyer type operators.
For \(c{\lt}0\), \(n \in \mathbb {R}^+\), \( -n/c \in \mathbb {N}\), \(f \in L_1^0 (I_c)\) define
For \(c\geq 0\), \( \alpha \geq 0\), \(n \in \mathbb {R}^+\), \(n {\gt} \alpha -c \), \(f \in W_\alpha ^0 (I_c) \) define
Similar as in [ 27 , 28 , 6 ] we also consider the \(k\)th order Kantorovich modification of the operators \(B_{n}\), i.e.,
where \(D^k\) denotes the \(k\)th order ordinary differential operator and
For \(k=0\) we omit the superscript \((k)\) as indicated by the definition above.
This general definition contains many known operators as special cases. For \( k =1 \) we get the Baskakov-Durrmeyer type operators \(B_{n}^{(1)}\) (see [ 17 ] for \(c=-1\), [ 32 ] for \(c=0\) and [ 22 , (1.3) ] for \(c \geq 0\), named \(M_{n+c}\) there) and for \(k \geq 2\) the auxiliary operators \(B_{n}^{(k)}\) considered in [ 23 , (3.5) ] (named \(M_{n+c,k-1}\) there).
For \( k \in \mathbb {N}\), \( f \in L_1 (I_c)\) for \(c {\lt} 0\) and \(f \in W_\alpha (I_c)\) for \(c \geq 0\), we have the explicit representation [ 23 , (3.5) ]
where the upper limit of the sum is \(-\frac{n}{c}-k\) in case \( c{\lt}0\), as \( p_{n+ck,j} (x) \equiv 0\) for \(j {\gt}-\frac{n}{c}-k \) .
In this paper we summarize known results, give an overview of different methods for the proofs and establish general results for the \(k\)th order Kantorovich modification concerning the commutativity properties and results for the eigenfunctions of the operators and appropriate differential operators. The proofs are mainly based on the fact that for a suitable function \(g\), \(s \in \mathbb {N}_0\), \( l \in \mathbb {N}\)
where
Furthermore we need that for each \(k \in \mathbb {N}_0\)
(see [ 27 , 28 , Theorem 1, Theorem 2 ] ).
2 Commutativity of the operators
First we summarize known results and give a survey over the different methods of proofs.
In 1981 Derriennic [ 13 , Th é or è me III.3 ] proved that the eigenfunctions of the Bernstein-Durrmeyer operators \(B_n^{(1)}\), i. e. , \(c=-1\), \(k=1\), are the Legendre polynomials
with corresponding eigenvalues
and deduced the representation of the operators in terms of these eigenfunctions, i. e.,
Ditzian and Ivanov [ 16 ] remarked that from this result it follows immediately that the operators commute:
So, the proof of the commutativity is quite elegant in case \(c=-1\). The general case \(c{\lt}0\), \( k=1\) can be proved in the same way by using the corresponding eigenfunctions and eigenvalues given in Theorem 9.
For \(c=0\) we have the eigenfunction \(e_0=1\), for \(c{\gt}0\) certain polynomial eigenfunctions (see [ 25 , Remark 2.2, Corollary 2.5 ] ). So, the method for \(c=-1\) is not applicable to the non-compact interval \([0, \infty )\) in case \(c\geq 0\).
In [ 20 , 21 ] the author proved the commutativity for \(c \geq 0\), \(k=1\), \( f \in L_p[0,\infty )\), \(1 \leq p \leq \infty \) with a completely different method. Here we give an outline of the main steps of the proof. Note that the proof is also valid for \( f \in W_\alpha (I_c)\).
First the integral representations
\begin{eqnarray*} (B_n^{(1)} B_m^{(1)} f ) (x) & = & \int _0^\infty f(y) G_{n,m} (x,y) dy, \\ (B_m^{(1)} B_n^{(1)} f ) (x) & = & \int _0^\infty f(y) G_{m,n} (x,y) dy \end{eqnarray*}for all \(x \in [0,\infty )\) were derived with the kernel functions
\begin{eqnarray*} G_{n,m} (x,y) & = & \sum _{j=0}^\infty \sum _{l=0}^\infty p_{n+c,j} (x) p_{m+c,l} (y) \textstyle {j+l \choose j} \frac{n^{c,\overline{j+1}}m^{c,\overline{l+1}}}{(n+m+c)^{c,\overline{j+l+1}}} , \\ G_{m,n} (x,y) & = & \sum _{j=0}^\infty \sum _{l=0}^\infty p_{n+c,j} (y) p_{m+c,l} (x) \textstyle {j+l \choose j} \frac{n^{c,\overline{j+1}}m^{c,\overline{l+1}}}{(n+m+c)^{c,\overline{j+l+1}}} . \end{eqnarray*}Next, the kernel functions were considered as functions of two complex variables and it was shown that they are holomorphic in a certain region.
The equality of the kernel functions was proved in an open neighborhood of \((0,0)\) by considering the Taylor series at \((0,0)\).
Finally, by using the identity theorem for analytic functions, the equality of the kernel functions was established for all \(x,y \in [0,\infty )\).
In 2005 Abel and Ivan [ 4 ] presented a nice alternative proof for the commutativity in case \(c=0\). They proved that for every \( f \in W_\alpha (I_c)\), \(n,m {\gt} \alpha \) with \(\frac{nm}{n+m} {\gt} \alpha \)
from which the commutativity follows as a corollary.
In 2011 Tachev and the author [ 29 ] proved an analogue for the case \(c=0\), \(k=0\), i. e., for every \(f \in W_\alpha ^0 (I_c)\), \(n,m {\gt} \alpha \) with \(\frac{nm}{n+m} {\gt} \alpha \)
Now we generalize (5) and (6), respectively, to \( k \geq 2\).
Let \(c=0\), \( k \geq 2\), \(f \in W_\alpha (I_c)\), \(\alpha \geq 0\), \(n,m {\gt} \alpha \) with \(\frac{nm}{n+m} {\gt} \alpha \). Then
As \(B_n^{(1)} q_{k-2} \in \mathcal{P}_{k-2} \) by (4) the last term on the right hand side vanishes. Together with (5) this leads to
From Theorem 2 together with (5) and (6) we now get the commutativity of the operators \(B_n^{(k)}\) for each \( k \in \mathbb {N}_0 \) in case \(c=0\).
Now we consider \( c \not=0\). Since identities as given in (5), (6) and (7), respectively, are not true for \( c\not=0\), the method by Abel and Ivan is not applicable in this case. For \(k=0\) we need the following result.
For \(c{\lt}0\) let \( n \in \mathbb {R}^+ \), \( -n/c \in \mathbb {N}\), \(f \in L_1^0(I_c)\) such that \(D^1 f \in L_1 (I_c)\). For \(c{\gt}0\), \(\alpha \geq 0\) let \(n \in \mathbb {R}^+\), \(n {\gt} \alpha -c\), \(f \in W_\alpha ^0 (I_c)\) such that \(D^1f \in W_\alpha (I_c)\). Then
Thus, again using (1), we derive
As
we get by applying \(I_1\) on both sides of (8)
With the same assumptions as in Lemma 3 we have
Next we consider the case \(k \geq 2\).
Let \( k \in \mathbb {N}\), \(k \geq 2\). For \(c{\lt}0\) let \( n \in \mathbb {R}^+ \), \( -n/c \in \mathbb {N}\), \(f \in L_1(I_c)\). For \(c{\gt}0\), \(\alpha \geq 0\) let \(n \in \mathbb {R}^+\), \(n {\gt} \alpha -c\), \(f \in W_\alpha (I_c)\). Then
3 Adapted differential operators
The operators \(B_n^{(k)}\) are strongly connected to appropriate differential operators. This was used for example for the construction of quasi-interpolants (see, e.g., [ 9 , 1 , 30 , 36 ] ).
In the following we use the notation \(\varphi (x) = \sqrt{x(1+cx)}\).
For \( r \in \mathbb {N}\) we define
Formally we denote \( \widetilde{D}^{0,(k)} = Id \).
For \( r \in \mathbb {N}_0\) we have
\( 2 \leq k \leq r+1\):
By using Leibniz’ formula we derive
Thus,
Furthermore,
The proposition now follows from (9) and (10).
\( k \geq r+2\): By using (3) for \(l=s=k-r-1\) with \(g=D^{r+1} \varphi ^2 I_{k-2} \) we derive
Again by Leibniz’ formula we get
Thus,
Furthermore
The proposition now follows from (11) and (12).
From Theorem 7 the following product formula can be easily established by induction (see [ 8 , (4.5) ] for \(k=1\) also in the multivariate setting, [ 30 , Lemma 4 ] for \(c=-1\), \(k=0\) and [ 36 , Lemma 2.4 ] for \(c \in \mathbb {R}\), \(k=0\)).
For the special case \(c=0\) this means
The commutativity of the differential operators now follows as a corollary.
Let \(r,l \in \mathbb {N}\) , \( k \in \mathbb {N}_0\). Then
4 Spectral properties
Next we generalize results concerning the spectral properties of the operators \(B_n^{(k)}\) and the differential operators. For \(B_n^{(k)}\) the special case \(k=1, c=-1\) was considered in [ 13 , Th é or è me III.3 ] , for \(c=-1,k=0\) see [ 19 , Theorem 4 ] , for \(k=1, c=1\) [ 24 , Corollary 2.5 ] and for \(k=0, c\not= 0\) [ 36 , Lemma 1.16 ] . References concerning the differential operators are [ 8 , Theorem 4 ] , [ 9 , (2.1), (2.2) ] for \(c=-1\), \(k=1\) (also in the Jacobi weighted multivariate setting) and [ 36 , Lemmas 2.2, 2.3, 2.4 ] .
For \(c \not= 0\), \(l \in \mathbb {N}_0\) and \( n {\gt} c(l+k-1)\) in case \(c{\gt}0\) it holds
where
and
as \(B_n^{(1)}\) preserves constants.
Now let \(k \in \mathbb {N}\), \(l \in \mathbb {N}_0\) with \(l+k \geq 2\). Then, again using (3) and (4),
Next we treat the differential operators. With
we derive
5 Commutativity of the operators and appropriate differential operators
In [ 23 , Lemma 3.1 ] the author proved that the operators \(B_n^{(1)} \) and the differential operators \( \widetilde{D}^{2r,(1)}\) commute for sufficiently smooth functions. The corresponding result for \(c=0\), \(k=0\) was proved in [ 29 , Theorem 3.2, Remark 3.1 ] and was generalized for \(c \in \mathbb {R}\), \(k=0\) in [ 36 , Satz 2.8 ] .
For \(k \geq 2\) we have
\(r=1\): Using (3) with \(l=k-2\) and \(g= B^{(1)}_n I_{k-1} f\) if \(k \geq 3\) we get
The conclusion \(r \Rightarrow r+1 \) follows easily from (13).
6 Related Durrmeyer type operators
In this section we consider \(c \not=0\). Let
The consideration of
leads to \(k\)th order Kantorovich modifications of Durrmeyer type variants of Bleimann, Butzer and Hahn operators (BBH-D operators) for \(c{\lt}0\) and Meyer-König and Zeller operators (MKZ-D operators) for \(c{\gt}0\).
With the notation
they are explicitly given by the following formulas.
For \(c{\lt}0\), \(n \in \mathbb {R}^+\), \( -n/c \in \mathbb {N}\), \((1-c \cdot )^{-2} f( \cdot ) \in L_1 [0,\infty )\) with finite limits \(f(0) = \lim _{x \to 0^+} f(x)\) and \(f_{\infty } = \lim _{x \to \infty } f(x)\)
\( x \in [0,\infty )\), we have a genuine variant of BBH-D operators.
For \(c{\gt}0\), \( \alpha \geq 0\), \(n \in \mathbb {R}^+\), \(n {\gt} \alpha -c \), \( f\) locally integrable on \([0,\frac{1}{c})\) satisfying \(|f(t)|\leq M (1-ct)^{-\frac{\alpha }{c}}\), \( t \in [0,\frac{1}{c})\), and possessing a finite limit \(f(0) = \lim _{x \to 0^+} f(x)\)
\( x \in [0,\frac{1}{c}) \), defines a genuine variant of MKZ-D operators.
For the \(k\)th order Kantorovich modification we derive for \(f\) as above without the conditions for the limits with \(c\not=0\), \(k \in \mathbb {N}\):
where the upper limit of the sum is \(-\frac{n}{c}-k\) for \(c{\lt}0\).
From the results in Section 2 we deduce that the operators \(\overline{B}_n^{(k)}\) are commutative. For the special case \(k=1, c=-1\) see [ 3 , Theorem 2.1 ] and for \(k=1, c=1\) [ 26 , Theorem 1 ] . Furthermore they commute with the differential operators
where, with \(\overline{\varphi } (x) = \frac{\sqrt{x}}{1-cx}\),
and
From Section 4 we get the eigenfunctions
for the operators \(\overline{B}_n^{(k)}\) and the differential operators \(\overline{D}^{2r,(k)}\).
Bibliography
- 1
- 2
- 3
U. Abel and M. Ivan, Durrmeyer variants of the Bleimann, Butzer and Hahn operators, Mathematical analysis and approximation theory, Burg, Sibiu, pp. 1–8, 2002.
- 4
U. Abel and M. Ivan, Enhanced asymptotic approximation and approximation of truncated functions by linear operators, Constructive Theory of Functions, Proceedings of the International Conference on Constructive Theory of Functions, Varna, June 2 - June 6, 2005, B. D. Bojanov (Ed.), Prof. Marin Drinov Academic Publishing House, pp. 1–10, 2006.
- 5
V. A. Baskakov, An instance of a sequence of positive linear operators in the space of continuous functions, Doklady Akademii Nauk SSSR, 113:2, pp. 249–251, 1957.
- 6
- 7
- 8
- 9
E. Berdysheva, K. Jetter and J. Stöckler, Bernstein-Durrmeyer type quasi-interpolants on intervals, Approximation Theory: a Volume dedicated to Borislav Bojanov, Prof. M. Drinov Acad. Publ. House, Sofia, pp. 32–42,2004.
- 10
H. Berens and Y. Xu, On Bernstein-Durrmeyer polynomials with Jacobi weights, Approximation theory and functional analysis (College Station, TX, 1990), Academic Press, Boston, MA, pp. 25–46,1991.
- 11
H. Berens and Y. Xu, On Bernstein-Durrmeyer polynomials with Jacobi-weights: the cases \(p=1\) and \(p=\infty \), Approximation Interpolation and Summability (Ramat Aviv, 1990/Ramat Gan, 1990), Israel Math. Conf. Proc., 4, Bar-Ilan Univ., Ramat Gan, pp. 51–62,1991.
- 12
W. Chen, On the modified Durrmeyer-Bernstein operator, (handwritten, Chinese, 3 pages), Report of the Fifth Chinese Conference on Approximation Theory, Zhen Zhou, China (1987).
- 13
- 14
- 15
Z. Ditzian, Multidimensional Jacobi-type Bernstein-Durrmeyer operators, Acta Sci. Math. (Szeged) 60, no. 1-2, pp. 225–243, 1995.
- 16
- 17
J. L. Durrmeyer, Une formule d’inversion de la transformée de Laplace: applications à la théorie des moments, Thèse de 3e cycle, Faculté des Sciences de l’Université de Paris, 1967.
- 18
T. N. T. Goodman and A. Sharma, A modified Bernstein-Schoenberg operator, Constructive Theory of Functions (Varna, 1987), Publ. House Bulgar. Acad. Sci., Sofia, pp. 166–173,1988.
- 19
T. N. T. Goodman and A. Sharma, A Bernstein type operator on the simplex, Math. Balkanica (N.S.) 5 , no. 2, pp. 129–145, 1991.
- 20
M. Heilmann, Approximation auf \([0,\infty )\) durch das Verfahren der Operatoren vom Baskakov-Durrmeyer Typ, Dissertation, Universität Dortmund, 1987.
- 21
M. Heilmann, Commutativity of operators from Baskakov-Durrmeyer type Constructive theory of functions (Varna, 1987), Publ. House Bulgar. Acad. Sci., Sofia, pp. 197–206, 1988.
- 22
M. Heilmann, Direct and converse results for operators of Baskakov-Durrmeyer type, Approx. Theory Appl. 5 , no. 1, pp. 105–127, 1989.
- 23
M. Heilmann, Erhöhung der Konvergenzgeschwindigkeit bei der Approximation von Funktionen mit Hilfe von Linearkombinationen spezieller positiver linearer Operatoren, Habilitationschrift Universität Dortmund, 1992.
- 24
- 25
- 26
M. Heilmann, Commutativity of Durrmeyer-type modifications of Meyer-König and Zeller and Baskakov-operators, Constructive Theory of Functions, DARBA, Sofia, pp. 295–301, 2003.
- 27
M. Heilmann and I. Raşa, \(k\)-th order Kantorovich type modification of the operators \(U_n^\rho \), J. Appl. Funct. Anal. 9, no. 3-4, pp. 320–334, 2014.
- 28
- 29
M. Heilmann and G. Tachev, Commutativity, direct and strong converse results for Phillips operators, East J. Approx. 17, no. 3, pp. 299–317, 2011.
- 30
- 31
A. Lupaş, Die Folge der Betaoperatoren, Dissertation, Universität Stuttgart 1972.
- 32
S. M. Mazhar and V. Totik, Approximation by modified Szász operators, Acta Sci. Math. (Szeged) 49 , nos. 1-4, pp. 257–269, 1985.
- 33
R. Păltănea, Sur un opérateur polynomial defini sur l’ensemble des fonctions integrables, “Babes-Bolyai” Univ., Fac. Math., Res. Semin. 2, pp. 101–106, 1983.
- 34
R. S. Phillips, An inversion formula for Laplace transforms and semi-groups of linear operators, Ann. of Math. (2) 59, pp. 325–356, 1954, DOI: 10.2307/1969697.
- 35
- 36
M. Wagner, Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren, Disssertation Bergische Universität Wuppertal, 2013.