Abstract
We give accurate estimates for the constants
where \(I=\mathbb {R}\) or \(I=[0,\infty)\), \(L_{n}\) is a positive linear operator acting on real functions f defined on the interval I, \(\mathcal{A}(I)\) is a certain subset of such function, and \(\omega _{\sigma}^{2} (f;\cdot)\) is the Ditzian-Totik modulus of smoothness of f with weight function σ. This is done under the assumption that σ is concave and satisfies some simple boundary conditions at the endpoint of I, if any. Two illustrative examples closely connected are discussed, namely, Weierstrass and Szàsz-Mirakyan operators. In the first case, which involves the usual second modulus, we obtain the exact constants when \(\mathcal{A}(\mathbb {R})\) is the set of convex functions or a suitable set of continuous piecewise linear functions.
Similar content being viewed by others
1 Introduction
Let I be a closed real interval with nonempty interior set I̊. A function \(\sigma:I\to[0,\infty)\) is called a weight function if \(\sigma(y) >0\), \(y\in\mathring{I}\). The usual second order differences of a function \(f:I\to \mathbb {R}\) are defined as
Recall (cf. [1]) that the Ditzian-Totik modulus of smoothness of f with weight function σ is defined by
If \(\sigma\equiv1\), we simply denote by \(\omega^{2} (f;\cdot)=\omega _{\sigma}^{2} (f;\cdot)\) the usual second modulus of smoothness of f. Also, we denote by \(\mathcal{C}(I)\) the set of continuous functions \(f:I\to \mathbb {R}\) such that \(0<\omega_{\sigma}^{2} (f;\delta)<\infty\), \(\delta>0\).
It is well known (see, for instance, [2–7], and [8]) that many sequences \((L_{n}, n=1,2,\ldots)\) of positive linear operators acting on \(\mathcal{C}(I)\) satisfy direct and converse inequalities of the form
where \(f\in\mathcal{C}(I)\), \(K_{1}\) and \(K_{2}\) are absolute constants, and σ is an appropriate weight function depending on the operators under consideration. From a probabilistic perspective, the weight σ can be understood as follows. Let \(n=1,2,\ldots\) and \(x\in I\), and suppose that we have the representation
where E stands for mathematical expectation and \(Y_{n}(x)\) is an I-valued random variable whose mean and standard deviation are, respectively, given by
In such a case, we can write
Since the standard deviation of \(Z_{n}(x)\) equals 1, it seems natural to choose in (1) the weight function σ defined in (2).
Several authors have obtained estimates of the upper constant \(K_{2}\) in (1) for the ordinary second modulus of smoothness, i.e., for \(\sigma\equiv1\). For instance, with regard to the Bernstein polynomials, Gonska [9] showed that \(1\leq K_{2} \leq 3.25\), Păltănea [10] obtained \(K_{2}=1.094\), and finally this last author closed the problem in [11] by showing that \(K_{2}=1\) is the best possible constant. For the Weierstrass operator, Adell and Sangüesa [12] gave \(K_{2}=1.385\). Finally, for a certain class of Bernstein-Durrmeyer operators preserving linear functions, we refer the reader to Gonska and Păltănea [13].
For the Ditzian-Totik modulus in strict sense, i.e., for nonconstant σ, some estimates are also available. In this respect, Adell and Sangüesa [14] showed that \(K_{2}=4\) for the Szàsz operators and for the Bernstein polynomials. For such polynomials, the aforementioned estimate was improved by Gavrea et al. [15] and by Bustamante [16], who obtained \(K_{2}=3\), and finally by Păltănea [11], who showed that \(K_{2}=2.5\). Referring to noncentered operators, that is, operators for which the first equality in (2) is not fulfilled, we mention the estimates for both \(K_{1}\) and \(K_{2}\) with regard to gamma operators proved in [17].
Once it is known that a sequence \((L_{n}, n=1,2,\ldots)\) satisfies (1), a natural question is to ask for the uniform constants
as well as for the local constants
where \(\mathcal{A}(I)\) is a certain subset of \(\mathcal{C}(I)\). Such questions are meaningful, because in specific examples, the estimates for the constants in (3) and (4) may be quite different, mainly depending on the degree of smoothness of the functions in the set \(\mathcal{A}(I)\) and on the distance from x to the boundary of I (see Section 5).
The aim of this paper is to give a general method to provide accurate estimates of the constants in (3) and (4) when \(I=\mathbb {R}\) or \(I=[0,\infty)\). In this last case, the main assumption is that the weight function σ is concave and satisfies a simple boundary condition at the origin (see (9) in Section 2), whereas for \(I=\mathbb {R}\), σ is assumed to be constant. In view of the probabilistic meaning of σ described in (2), such assumptions do not seem to be very restrictive and are fulfilled in the usual examples. The method relies upon the approximation of any function \(f\in\mathcal{C}(I)\) by an interpolating continuous piecewise linear function having an appropriate set of nodes, depending on the weight σ.
The main results are Theorems 3.1 and 3.2, stated in Section 3. To keep the paper in a moderate size, we only consider two illustrative examples. The first one is the classical Weierstrass operator, involving the usual second modulus of smoothness (see Corollary 4.1). In this case, we are able to obtain the exact constants in (3) and (4) when the set \(\mathcal{A}(\mathbb {R})\) is either the set of convex functions or a certain set of continuous piecewise linear functions. The second example refers to the Szàsz-Mirakyan operators (Theorem 5.3). In this case, we give different upper estimates of the aforementioned constants, heavily depending on the set of functions under consideration and on the kind of convergence we are interested in, namely, pointwise convergence or uniform convergence. Both examples are connected in the sense that, roughly speaking, the upper estimates for Szàsz-Mirakyan operators are, asymptotically, the same as those for the Weierstrass operator. This is due to the central limit theorem satisfied by the standard Poisson process, which can be used to represent Szàsz-Mirakyan operators.
2 Continuous piecewise linear functions
If \(I=\mathbb {R}\), we fix \(x\in \mathbb {R}\) and denote by \(\mathcal{N}\) an ordered set of nodes \(\{x_{i}, i\in \mathbb {Z}\}\) with \(x_{0}=x\). If \(I=[0,\infty)\), we fix \(x>0\) and denote by \(\mathcal{N}\) an ordered set of nodes \(\{x_{i}, i\geq-(m+1)\}\) such that \(0=x_{-(m+1)}<\cdots <x_{-1}<x_{0}=x\), for some \(m=0,1,2,\ldots\) . Also, we denote by \(\mathcal {L}(I)\) the set of continuous piecewise linear functions \(g:I\to \mathbb {R}\) whose set of nodes is \(\mathcal{N}\).
Given a sequence \((c_{i}, i\in \mathbb {Z})\), we denote by \(\delta c_{i}= c_{i+1}-c_{i}\), \(i\in \mathbb {Z}\). We set \(y_{+}=\max(0,y)\), \(y_{-}=\max (0,-y)\), and denote by \(1_{A}\) the indicator function of the set A. For the sake of concreteness, we enunciate the following two lemmas for \(I=[0,\infty)\), although both of them are also true for \(I=\mathbb {R}\). We start with the following auxiliary result taken from [18].
Lemma 2.1
For any \(g\in\mathcal{L}([0,\infty))\) and \(y\geq0\), we have the representation
where
Lemma 2.2
If \(g\in\mathcal{L}([0,\infty))\) and \(h\geq0\), then
Moreover, if \(\sigma=1\) and \(g\in\mathcal{L}(\mathbb {R})\) has set of nodes \(\mathcal{N}=\{x+i\varepsilon, i\in \mathbb {Z}\}\), for some \(\varepsilon>0\), then
Proof
Let \(i\geq-m\). Denote \(s_{i}(y)=|y-x_{i}|/2\), \(y\geq0\). It is easily checked that
This, together with (5) and the equalities
shows (7). On the other hand, let \(0\leq h \leq\varepsilon\) and denote \(q_{i}(y)=(h-|y-x_{i}|)_{+}\), \(y\in \mathbb {R}\), \(x_{i}=x+i\varepsilon\), \(i \in \mathbb {Z}\). Suppose that \(y\in [x_{j},x_{j+1}]\), for some \(j\in \mathbb {Z}\). Since \(q_{i}(y)=0\), \(i\neq j, j+1\), we have
This shows (8) and completes the proof. □
From now on, we make the following assumptions with respect to the weight function σ. If \(I=\mathbb {R}\), we assume that \(\sigma \equiv1\), whereas if \(I=[0,\infty)\), we assume that σ is concave (and therefore nondecreasing) and satisfies the boundary condition
Assumption (9) seems to be essential to guarantee a direct inequality (the upper bound in (1)). Actually, for a weight function σ not satisfying (9), it has been constructed in Section 4 of [14] a sequence \((L_{n}, n=1,2,\ldots)\) of positive linear operators not satisfying the upper inequality in (1). On the other hand, the concavity of σ readily implies that the function \(r(y)=y/\sigma(y)\), \(y>0\), is continuous and strictly increasing. Thus, for any \(\varepsilon>0\), there is a unique number \(a_{\varepsilon}\) such that
Let \(\varepsilon>0\). We construct the set of nodes \(\mathcal {N}_{\varepsilon}\) as follows. If \(I=\mathbb {R}\), we fix \(x\in \mathbb {R}\) and define \(\mathcal{N}_{\varepsilon}=\{x_{i}, i\in \mathbb {Z}\}\) as
If \(I=[0,\infty)\), we define the new concave weight function
We fix \(x>0\) and define \(\mathcal{N}_{\varepsilon}=\{x_{i}, i\geq-(m+1)\} \), for some \(m=0,1,\ldots\) , as follows. We start from the point \(x_{0}=x\), move to the right by choosing \(x_{i+1}-x_{i}=\varepsilon\sigma _{\varepsilon}(x_{i+1})\), \(i=0,1,2,\ldots\) , then move to the left by \(x_{i+1}-x_{i}=\varepsilon\sigma_{\varepsilon}(x_{i+1})\), \(i=0,\ldots ,-m\), and lastly setting \(x_{-(m+1)}=0\). In other words,
It is easy to check that \(x_{-m}\) is the unique node in the interval \((0,a_{\varepsilon}]\). On the other hand, the weight \(\sigma_{\varepsilon}\) is very appropriate to simplify notations near the origin. For instance, we always have \(y-h\sigma_{\varepsilon}(y)\geq0\), \(y\geq0\), \(0\leq h\leq\varepsilon\). Finally, we mention that the procedure to build up the set \(\mathcal{N}_{\varepsilon}\) defined in (12) is close in spirit to the so-called ‘canonical sequence’ in Păltănea [11], Section 2.5.1 (see also Gonska and Tachev [19, 20] and Bustamante [16]).
To close this section, we give the following two auxiliary results. The first one is concerned with the symmetric function
Also, denote by \(\lfloor x \rfloor\) and \(\lceil x \rceil\) the floor and the ceiling of \(x\in \mathbb {R}\), respectively, that is,
Lemma 2.3
Let \(c\geq1\) and let ψ be as in (13). Then,
Proof
No generality is lost if we assume that \(y\geq0\). If \(0\leq y \leq1\), inequality (14) is equivalent to the obvious inequality \(((c+1)y-1)^{2}\geq0\). Suppose that \(1 \leq y\). In this case, the inequality \(y/2+c(y-1)\leq\varphi_{c}(y)\) is equivalent to \(((c+1)y-(2c+1))^{2}\geq0\), which is obviously true. On the other hand, it is readily seen that \(\varphi_{1}(y)\leq\varphi_{c} (y)\), \(c\geq1\). The inequality \(\psi (y)\leq\varphi_{1} (y)\) is equivalent to
also equivalent to
It is easily checked that
These equalities imply (15), since η is convex and ν is linear in each interval \([m,m+1)\), \(m=1,2,\ldots\) . The proof is complete. □
The second one is the following lemma proved in Păltănea [11], Lemma 2.5.7 or in Bustamante [16].
Lemma 2.4
Let I be a real interval and let \(f:I\to \mathbb {R}\) be a function such that \(f(c)=f(d)=0\), for some \(c,d\in I\) with \(c\leq d\). If σ is a concave weight function on I, then
3 Main results
As usual, assume that \(I=\mathbb {R}\) or \(I=[0,\infty)\). Let Y be a random variable taking values in I and fix \(x\in\mathring{I}\). Assume that
We will consider the following subsets of functions in \(\mathcal {C}(I)\): \(\mathcal{C}_{cx}(I)\) is the set of convex functions, \(\mathcal {L}_{\varepsilon}(I)\), \(\varepsilon>0\), is the set of functions in \(\mathcal{L}(I)\) whose set of nodes is \(\mathcal{N}_{\varepsilon}\), as defined in Section 2, and \(L_{\alpha}(I)\), \(\alpha\in(0,2]\), is the set of functions f such that \(w_{\sigma}^{2}(f;\delta)\leq\delta ^{\alpha}\), \(\delta\geq0\).
For technical reasons, we start with the case \(I=[0,\infty)\) and fix \(x>0\). For any \(\varepsilon>0\), we define the function \(g_{\varepsilon}\in\mathcal{L}_{\varepsilon}([0,\infty))\) as
as well as the quantity
With these notations, we enunciate our first main result.
Theorem 3.1
Let \(x>0\) and \(\varepsilon>0\). For any \(f\in\mathcal{C}([0,\infty))\), we have
If, in addition, \(f\in\mathcal{C}_{cx}([0,\infty))\), then
Proof
Let \(\tilde{f}\in\mathcal{L}_{\varepsilon}([0,\infty))\) be defined as
Applying Lemma 2.4 to the function \(f-\tilde{f}\) and recalling (18), we have, for \(i\geq-(m+1)\),
This readily implies that
On the other hand, let \(x_{i}\in\mathcal{N}_{\varepsilon}\), \(i\geq-m\). Since \(\sigma_{\varepsilon}\) is nondecreasing, we have from (6), (12), and (21)
where in the last inequality we have used (22) and the fact that \(\omega_{\sigma_{\varepsilon}}^{2} (f;\cdot)\leq\omega_{\sigma}^{2}(f;\cdot)\), since \(\sigma_{\varepsilon}\leq\sigma\). Finally, \(EY=x\), by assumption (16). We thus have from (5)
which implies, by virtue of (17) and (24), that
Thus, inequality (19) follows from (23) and (25).
Suppose that \(f\in\mathcal{C}_{cx}([0,\infty))\). By subtracting an affine function, if necessary, we can assume without loss of generality that \(f(y)\geq f(x)=0\), \(y\in I\). The convexity of f and (21) imply that
This, together with (25), shows (20) and completes the proof. □
In the case \(\sigma=1\) and \(I=\mathbb {R}\), Theorem 3.1 takes on a simpler form.
Theorem 3.2
Let \(x\in \mathbb {R}\), \(\varepsilon>0\), and let ψ be as in (13). Then,
If \(f\in\mathcal{C}(\mathbb {R})\), then
Proof
Let \(g\in\mathcal{L}_{\varepsilon}(\mathbb {R})\). By (11), the set of nodes under consideration in this case is \(\mathcal {N}_{\varepsilon}= \{x+\varepsilon i, i\in \mathbb {Z}\}\). Thus, we have from Lemma 2.1 and (16)
where the last equality follows from (8) and (13). On the other hand, the function
belongs to \(\mathcal{L}_{\varepsilon}(\mathbb {R})\) and satisfies \(\psi _{\varepsilon}(x)=0\) and \(\omega^{2} (\psi_{\varepsilon};\varepsilon)=1\), as follows from (8). This, together with (28), shows that \(\psi_{\varepsilon}\) is a maximal function in \(\mathcal {L}_{\varepsilon}(\mathbb {R})\), i.e.,
To prove the remaining statements, we follow the same steps as those in the proof of Theorem 3.1. Specifically, let \(f\in\mathcal {C}(\mathbb {R})\) and let \(\tilde{f}\in\mathcal{L}_{\varepsilon}(\mathbb {R})\) be such that
Looking at (22), we have in this case
In the same way, inequality (24) becomes \(|\delta c_{i}|\leq \varepsilon^{-1}\omega^{2} (f;\varepsilon)\), \(i\in \mathbb {Z}\), which implies that
Therefore, inequality (27) readily follows from (29) and (30). Finally, if \(f\in\mathcal{C}_{cx}(\mathbb {R})\), we have from (30)
This, together with the fact that \(\psi\in\mathcal{C}_{cx}(\mathbb {R})\), shows the second equality in (26). The proof is complete. □
4 The Weierstrass operator
We illustrate Theorem 3.2 by considering the classical Weierstrass operators \((W_{n}, n=1,2,\ldots)\), which allow for the following probabilistic representation
where \(f\in\mathcal{C}(\mathbb {R})\) and Z is a random variable having the standard normal density ρ and the distribution function Φ, respectively, defined by
Also, we consider the constant
as follows from numerical computations.
Corollary 4.1
Let \(x\in \mathbb {R}\), \(n=1,2,\ldots\) , and let ψ and K be as in (13) and (31), respectively. Then,
If \(f\in\mathcal{C}(\mathbb {R})\), then
If \(f\in L_{\alpha}(\mathbb {R})\), for some \(\alpha\in(0,2]\), then
Proof
Corollary 4.1 is a direct consequence of Theorem 3.2 by choosing \(\varepsilon=1/\sqrt{n}\) and \(Y=x+Z/\sqrt{n}\). It remains to show that \(E\psi(Z)=K\), as defined in (31). To this end, note that
We therefore have from (13) and the symmetry of Z,
This completes the proof. □
It should be observed that the constant in (32) is less or equal than 1 if
5 The Szàsz-Mirakyan operator
In this section, we will apply Theorem 3.1 to the classical Szàsz-Mirakyan operators \((L_{n}, n=1,2,\ldots)\). From a probabilistic viewpoint, such operators can be represented as follows. Let \((N_{\lambda}, \lambda\geq0)\) be the standard Poisson process, i.e., a stochastic process starting at the origin, having independent stationary increments and nondecreasing paths such that
Let \(n=1,2,\ldots\) and \(x\geq0\). Thanks to (33), the Szàsz-Mirakyan operator \(L_{n}\) can be written as
where \(f\in\mathcal{C}([0,\infty))\). It is well known that
Accordingly, we choose in this case (recall (9), (10), and (12), as well as the subsequent comments)
As follows from (12), the set of nodes \(\mathcal{N}_{\varepsilon}=\{x_{i}, i\geq-(m+1)\}\), for \(\varepsilon=1/\sqrt{n}\), is given by
\(x_{-m}\) being the unique node in the interval \((0,1/n]\). In order to apply Theorem 3.1 to Szàsz-Mirakyan operators, we need to estimate the quantities \(\delta_{\varepsilon}\) and \(Eg_{\varepsilon}(N_{nx}/n)\), for \(\varepsilon=1/\sqrt{n}\). In this regard, the following two auxiliary results will be useful.
Lemma 5.1
If \(n=1,2,\ldots\) , then \(\delta_{1/\sqrt{n}}\leq1/\sqrt{2n}\), where \(\delta_{\varepsilon}\) is defined in (18).
Proof
Denote
where the last equality follows from (37). Observe that
For \(i\geq-m\), we have from (37) and (38)
since \(x_{i+1}\geq1/n\). This, together with (18), completes the proof. □
With the notations given in (36) and (37), we state the following lemma.
Lemma 5.2
Let \(n=1,2,\ldots\) and \(x>0\). If \(x>a_{\varepsilon}=1/n\), then:
-
(a)
For any \(-s=-1,\ldots, -m+1\), we have
$$ \sum_{i=-m}^{-(s+1)}\frac{1}{\varepsilon\sigma_{\varepsilon}(x_{i})}E \biggl( \frac{N_{nx}}{n}-x_{i} \biggr)_{-}\leq P\bigl(N_{nx}\leq \lceil nx_{-s}-1 \rceil\bigr)\leq\frac{nx}{ (n(x-x_{-s})+1 )^{2}} . $$ -
(b)
For any \(l=1,2,\ldots\) , we have
$$ \sum_{i=l+1}^{\infty}\frac{1}{\varepsilon\sigma_{\varepsilon}(x_{i})} E \biggl( \frac{N_{nx}}{n}-x_{i} \biggr)_{+}\leq P\bigl(N_{nx}\geq \lfloor nx_{l} \rfloor\bigr)\leq\frac{x}{n(x_{l}-x)^{2}} . $$ -
(c)
If \(x_{-1}\geq a_{\varepsilon}=1/n\), then
$$\begin{aligned}& \frac{1}{2\varepsilon\sigma_{\varepsilon}(x)} E\biggl\vert \frac {N_{nx}}{n}-x\biggr\vert + \frac{1}{\varepsilon\sigma_{\varepsilon}(x_{-1})} E \biggl( \frac{N_{nx}}{n}-x_{-1} \biggr)_{-} \\& \quad {} +\sum_{i=1}^{\infty}\frac{1}{\varepsilon\sigma_{\varepsilon}(x_{i})}E \biggl( \frac{N_{nx}}{n}-x_{i} \biggr)_{+}\leq \frac{c+1}{4}+\frac {1}{4(c+1)}, \quad c=\sqrt{\frac{x}{x_{-1}}} . \end{aligned}$$(39)If \(x\leq a_{\varepsilon}=1/n\), then
$$ \sum_{i=1}^{\infty}\frac{1}{\varepsilon\sigma_{\varepsilon}(x_{i})} E \biggl( \frac{N_{nx}}{n}-x_{i} \biggr)_{+}\leq P(N_{nx}\geq1). $$(40)
Proof
Let \(\lambda>0\). We first claim that
as well as
In fact, it follows from (33) that \(kP (N_{\lambda}=k)=\lambda P(N_{\lambda}=k-1)\), \(k=1,2,\ldots\) . Therefore,
thus showing (41). Inequality (42) follows in a similar way. Second, we claim that
for \(i=-m,\ldots, -(s+1)\). Actually, suppose that \(i=-m+1,\ldots, -(s+1)\). By (36), (37), and (41), the left-hand side in (43) is bounded above by
As seen in (37), we have \(x_{-m}\leq a_{\varepsilon}= 1/n < x_{-m+1}\). Therefore,
Claim (43) is shown. On the other hand, it follows from (33) that the function \(h(k)=P(N_{\lambda}=k)\) is nondecreasing for \(0\leq k\leq\lfloor\lambda\rfloor\). This implies that
On the other hand, by Markov’s inequality, we have
where the last equality follows from (35). This, together with (43) and (44), shows part (a). Part (b) follows in a similar manner, using (42) instead of (41).
To show part (c), note that \(\sigma_{\varepsilon}(x_{i})=\sigma(x_{i})\), \(i\geq-1\), because \(x_{-1}\geq a_{\varepsilon}=1/n\). Consider the function
If \(y< nx\), it is easily checked from (36) and (37) that
where the last inequality follows from Lemma 5.1. Similarly, if \(y\geq nx\) and \(i\geq1\), we have
thus implying, by virtue of Lemma 5.1, that
We therefore have from (35), (45), and (46)
This shows (39). Finally, we will show inequality (40). From (36) and (42), we get
since, by assumption and (37), we have \(nx\leq1< nx_{i}\) and \(nx_{i+1}-nx_{i} = \sqrt{nx_{i+1}}>1\), \(i=1,2,\ldots\) . This shows (40) and completes the proof. □
Denote
where \(g_{\varepsilon}\) is defined in (17). For the Szàsz-Mirakyan operator defined in (34), we enunciate the following result.
Theorem 5.3
Let \(n=1,2,\ldots\) , \(x>0\), and \(\sigma(y)=\sqrt{y}\), \(y\geq0\). Then:
-
(a)
If \(f\in\mathcal{C}([0,\infty))\), then
$$ \bigl\vert L_{n} f(x)-f(x)\bigr\vert \leq K_{n}(x) \omega_{\sigma}^{2} \biggl( f;\frac{1}{\sqrt {n}} \biggr)+ \bigl(1+K_{n}(x)\bigr)\omega_{\sigma}^{2} \biggl( f; \frac{1}{\sqrt {2n}} \biggr). $$ -
(b)
If \(f\in\mathcal{C}_{cx}([0,\infty))\), then
$$ \bigl\vert L_{n} f(x)-f(x)\bigr\vert \leq K_{n}(x) \biggl( \omega_{\sigma}^{2} \biggl( f;\frac {1}{\sqrt{n}} \biggr)+ \omega_{\sigma}^{2} \biggl( f;\frac{1}{\sqrt {2n}} \biggr) \biggr). $$ -
(c)
If \(f\in L_{\alpha}([0,\infty))\), for some \(\alpha\in (0,2]\), then
$$ \bigl\vert L_{n}f(x)-f(x)\bigr\vert \leq \bigl( K_{n}(x)+2^{-\alpha/2}\bigl(1+K_{n}(x)\bigr) \bigr)n^{-\alpha/2}. $$The upper constants \(K_{n}(x)\) defined in (47) satisfy the following properties:
$$ \lim_{n\to\infty} K_{n}(x)=K=0.58333\ldots, \quad x>0, $$(48)where K is the same constant as that in (31), as well as
$$ 1\leq\sup\bigl\{ K_{n}(x): n=1,2,\ldots,\, x>0\bigr\} \leq1+\frac{1}{5}. $$(49)
Proof
Parts (a)-(c) are direct consequences of Theorem 3.1, by choosing \(\varepsilon=1/\sqrt{n}\) and \(Y=N_{nx}/n\), taking into account that \(\delta_{1/\sqrt{n}}\leq1/\sqrt{2n}\), as follows from Lemma 5.1.
To show (48), fix \(x>0\) and \(0<\tau<x\). Choose n large enough so that \(a_{\varepsilon}=1/n< x-\tau\). Let \(s=1,2,\ldots\) and \(l=2,3,\ldots\) be such that
Let \(i=1,\ldots,l-1\). From (36), (37), and (50), we see that
Again by (50), this implies that
Similarly, we have, for \(i=-s,\ldots,-1\),
On the other hand, by the central limit theorem for the standard Poisson process, the random variable \((N_{nx}-nx)/\sqrt{nx}\) converges in law to the standard normal random variable Z, as \(n\to\infty\). Therefore, by the Helly-Bray theorem (cf. Billingsley [21], pp.335-338), we get from Lemma 5.2, (51), and (52)
Thus, (48) follows from (31) and Corollary 4.1 by letting \(\tau\to0\) in these last inequalities.
To show (49), let d be the largest solution to the equation
and define the points
We distinguish the following cases:
Case 1. \(0< x\leq x^{\star}_{-2}=1/n\). Since \(EN_{nx}/n=x\), we have from (36)
We therefore have from (40) and (47)
Letting \(x\to0\) in (55), we get the first inequality in (49).
Case 2. \(x^{\star}_{-2}=1/n< x\leq x^{\star}_{-1}\). From (54), we see that \(x_{-1}\leq x^{\star}_{-1}-\varepsilon\sigma (x^{\star}_{-1})=1/n\), thus implying that
Hence, we have from (47), (37), (51), and Lemma 5.1
where we have used (35) in the last equality.
Case 3. \(x^{\star}_{-1}< x\leq x^{\star}\). Again by (54), we see that \(x_{-2}\leq1/n < x_{-1}\). Thus,
Set \(\lambda=nx\) and note that \(\lambda> nx^{\star}_{-1}=d-\sqrt{d}\), as follows from (54). Since \(nx_{-1}=nx-\sqrt{nx}=\lambda-\sqrt {\lambda}\), the right-hand side in (56) becomes after some simple computations
as follows from (53). As in Case 2, we have from (56) and (57)
Case 4. \(x^{\star}< x\). We claim that
Actually, the first inequality in (58) readily follows from Lemma 5.2(a). As far as the second one is concerned, observe that \(nx_{-1}=nx-\sqrt{nx}< nx-1\), which implies that \(\lceil nx_{-1}-1 \rceil\leq\lceil nx-2\rceil\leq\lfloor nx \rfloor-1\). Therefore,
since \(N_{\lfloor nx \rfloor}\leq N_{nx}\). On the other hand, it has been shown in [22] that the sequence \((P(N_{k}\leq k-1), k=1,2,\ldots)\) strictly increases to \(1/2\). This, together with (59), shows claim (58).
Finally, it is easy to see that the function \(\sqrt{x/x_{-1}}\), \(x\geq x^{\star}\), strictly decreases. It therefore follows from (54) that
We thus have from (58), (60), and Lemma 5.2(c)
The proof is complete. □
As mentioned in the Introduction, Theorem 5.3 illustrates that the estimates of the general constants in (3) and (4) may be quite different. Such estimates mainly depend on two facts: the set of functions under consideration (parts (a)-(c) in Theorem 5.3), and the kind of estimate we are interested in, namely, pointwise estimate or uniform estimate (see equations (48) and (49), respectively).
References
Ditzian, Z, Totik, V: Moduli of Smoothness. Springer Series in Computational Mathematics, vol. 9. Springer, New York (1987). doi:10.1007/978-1-4612-4778-4.
Ditzian, Z, Ivanov, KG: Strong converse inequalities. J. Anal. Math. 61, 61-111 (1993). doi:10.1007/BF02788839
Totik, V: Strong converse inequalities. J. Approx. Theory 76(3), 369-375 (1994). doi:10.1006/jath.1994.1023
Sangüesa, C: Lower estimates for centered Bernstein-type operators. Constr. Approx. 18(1), 145-159 (2002)
Guo, S, Qi, Q, Liu, G: The central approximation theorems for Baskakov-Bézier operators. J. Approx. Theory 147(1), 112-124 (2007). doi:10.1016/j.jat.2005.02.010
Finta, Z: Direct and converse results for q-Bernstein operators. Proc. Edinb. Math. Soc. (2) 52(2), 339-349 (2009). doi:10.1017/S0013091507001228
Özarslan, MA, Vedi, T: q-Bernstein-Schurer-Kantorovich operators. J. Inequal. Appl. 2013, 444 (2013). doi:10.1186/1029-242X-2013-444
Liu, G, Yang, X: On the approximation for generalized Szász-Durrmeyer type operators in the space \(L_{p}[0,\infty)\). J. Inequal. Appl. 2014, 447 (2014). doi:10.1186/1029-242X-2014-447
Gonska, HH: Two problems on best constants in direct estimates. In: Ditzian, Z, Meir, A, Riemenschneider, SD, Sharma, A (eds.) Problem Section of Proc. Edmonton Conf. Approximation Theory, p. 194. Am. Math. Soc., Providence (1983)
Păltănea, R: Best constants in estimates with second order moduli of continuity. In: Approximation Theory (Witten, 1995). Math. Res., vol. 86, pp. 251-275. Akademie Verlag, Berlin (1995)
Păltănea, R: Approximation Theory Using Positive Linear Operators. Birkhäuser Boston, Boston (2004). doi:10.1007/978-1-4612-2058-9.
Adell, JA, Sangüesa, C: Real inversion formulas with rates of convergence. Acta Math. Hung. 100(4), 293-302 (2003). doi:10.1023/A:1025139103991
Gonska, H, Păltănea, R: Quantitative convergence theorems for a class of Bernstein-Durrmeyer operators preserving linear functions. Ukr. Math. J. 62(7), 1061-1072 (2010). doi:10.1007/s11253-010-0413-8
Adell, JA, Sangüesa, C: Upper estimates in direct inequalities for Bernstein-type operators. J. Approx. Theory 109(2), 229-241 (2001). doi:10.1006/jath.2000.3547
Gavrea, I, Gonska, H, Păltănea, R, Tachev, G: General estimates for the Ditzian-Totik modulus. East J. Approx. 9(2), 175-194 (2003)
Bustamante, J: Estimates of positive linear operators in terms of second-order moduli. J. Math. Anal. Appl. 345(1), 203-212 (2008). doi:10.1016/j.jmaa.2008.04.017
Adell, JA, Sangüesa, C: A strong converse inequality for gamma-type operators. Constr. Approx. 15(4), 537-551 (1999). doi:10.1007/s003659900121
Adell, JA, Lekuona, A: Quantitative estimates for positive linear operators in terms of the usual second modulus. Abstr. Appl. Anal. 2015, Article ID 915358 (2015). doi:10.1155/2015/915358
Gonska, HH, Tachev, GT: On the constants in \(\omega^{\phi}_{2}\)-inequalities. In: Proceedings of the Fourth International Conference on Functional Analysis and Approximation Theory (Potenza, 2000), vol. II, pp. 467-477 (2002)
Gonska, HH, Tachev, GT: The second Ditzian-Totik modulus revisited: refined estimates for positive linear operators. Rev. Anal. Numér. Théor. Approx. 32(1), 39-61 (2003)
Billingsley, P: Probability and Measure, 3rd edn. Wiley Series in Probability and Mathematical Statistics. Wiley, New York (1995). A Wiley-Interscience publication
Adell, JA, Jodrá, P: The median of the Poisson distribution. Metrika 61(3), 337-346 (2005). doi:10.1007/s001840400350
Acknowledgements
The authors thank the referees for their careful reading of the manuscript and for their suggestions, which greatly improved the final outcome. The authors are partially supported by Research Projects DGA (E-64), MTM2015-67006-P, and by FEDER funds.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Adell, J.A., Lekuona, A. Towards the best constant in front of the Ditzian-Totik modulus of smoothness. J Inequal Appl 2016, 137 (2016). https://doi.org/10.1186/s13660-016-1078-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1078-0