Abstract
We prove asymptotic evaluations for univariate and multivariate positive linear operators. Our proofs are different from what has been used so far. As applications of our results, we find the full asymptotic evaluation for the iterates of the univariate Cesàro and Volterra operators. Moreover, we find asymptotic evaluations for the iterates of multivariate Cesàro and Volterra type operators on the k-dimensional unit cube, k-dimensional unit triangle, etc.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction, Notation, and Background
The study of the limit behavior of the iterates of Bernstein’s operators and other classes of positive linear operators has been considered by many mathematicians. Without any claim of completeness, we mention [7,8,9]. In this paper, we prove a general convergence result for some sequences of positive linear operators, see Theorem 1 and Corollary 2. Moreover, we obtain the full asymptotic evaluation for some univariate operators, see Theorem 2, and as application of this result, we deduce the full asymptotic evaluation for the Cesàro and Volterra type operators, Corollaries 5 and 7. We continue by showing other results of the same kind for multivariate positive linear operators, see Theorems 3 and 4. We then apply these general results to obtain the asymptotic evaluations for various kinds of Cesàro and Volterra type multivariate operators, see for example Corollaries 12, 13, 17, 19, 22.
We now fix some notation and terminology used in this paper. Let T be a compact metric space and X a real Banach space. We denote by \( C\left( T,X\right) \) the real Banach space of the all X-valued continuous functions on T equipped with the uniform norm, \(\left\| f\right\| =\sup \limits _{t\in T}\left\| f\left( t\right) \right\| \) and \(C\left( T\right) =C\left( T,{\mathbb {R}}\right) \). For every \(\varphi \in C\left( T\right) \), \(x\in X\), we define \(\varphi \otimes x:T\rightarrow X\) by \( \left( \varphi \otimes x\right) \left( t\right) :=\varphi \left( t\right) x\) , \(\forall t\in T\) and write \(C\left( T\right) \otimes X=\left\{ \sum \limits _{i=1}^{n}\varphi _{i}\otimes x_{i}\mid \varphi _{i}\in C\left( T\right) ,x_{i}\in X,i=1,\ldots ,n,n\in {\mathbb {N}}\right\} \) to denote their tensor product, see [4, page 20] or [12, page 11]. We will use that \(C\left( T\right) \otimes X\) is dense in \(C\left( T,X\right) \) and that, by a result of Grothendieck, \(C\left( T,X\right) =C\left( T\right) {\widehat{\otimes }}_{\varepsilon }X\), the completion of \( C\left( T\right) \otimes X\) with respect to the injective tensor norm, see [4, page 48], [5, Example 6 pages 224-225], or [12, pages 49-50]. Let also \(V:C\left( T\right) \rightarrow C\left( K\right) \) be a bounded linear operator and X a real Banach space. We define \(V_{X}:C\left( T,X\right) \rightarrow C\left( K,X\right) \) by \( V_{X}\left( \varphi \otimes x\right) =V\left( \varphi \right) \otimes x\), \( \forall \varphi \in C\left( T\right) \), \(\forall x\in X\), and then extend by the linearity and continuity. Since \(C\left( T,X\right) =C\left( T\right) {\widehat{\otimes }}_{\varepsilon }X\), by the general theory, \(V_{X}=V{\widehat{\otimes }}_{\varepsilon }I_{X}\), the injective tensor product (\( I_{X}:X\rightarrow X\) is the identity operator of X, that is, \(I_{X}\left( x\right) =x\)), and thus \(\left\| V_{X}\right\| =\left\| V\right\| \left\| I_{X}\right\| =\left\| V\right\| \), see again [4, Proposition 4.1, page 46], [5, page 228], or [12, Proposition 3.2, page 47]. Hereafter, we call the operator \(V_{X}\) the vector extension of the bounded linear operator V. For example, if \({\mathcal {C}}:C\left[ 0,1\right] \rightarrow C \left[ 0,1\right] \), \({\mathcal {C}}\varphi \left( t\right) =\int _{0}^{1}\varphi \left( tu\right) \mathrm{d}u=\left\{ \begin{array}{l} \frac{1}{t}\int _{0}^{t}\varphi \left( u\right) \mathrm{d}u, t\ne 0 \\ \varphi \left( 0\right) , t=0 \end{array} \right. \), is the Cesàro operator and X is a real Banach space, then its vector extension \({\mathcal {C}}_{X}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] ,X\right) \) is defined by \({\mathcal {C}} _{X}f\left( t\right) =\int _{0}^{1}f\left( tu\right) \mathrm{d}u=\left\{ \begin{array}{l} \frac{1}{t}\int _{0}^{t}f\left( u\right) \mathrm{d}u, t\ne 0 \\ f\left( 0\right) , t=0 \end{array} \right. \), \(f\in C\left( \left[ 0,1\right] ,X\right) \); similarly, if \( {\mathcal {V}}:C\left[ 0,1\right] \rightarrow C\left[ 0,1\right] \), \({\mathcal {V}} \varphi \left( t\right) =\int _{0}^{t}\varphi \left( u\right) \mathrm{d}u=t\int _{0}^{1}\varphi \left( tu\right) \mathrm{d}u\), is the Volterra operator and X is a real Banach space, then its vector extension \({\mathcal {V}}_{X}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] ,X\right) \) is defined by \({\mathcal {V}}_{X}f\left( t\right) =\int _{0}^{t}f\left( u\right) \mathrm{d}u=t\int _{0}^{1}f\left( tu\right) \mathrm{d}u\), \(f\in C\left( \left[ 0,1\right] ,X\right) \). Since the applications of our general results are to the iterates of positive linear operators, we recall that, as is usual, if \( V:C\left( T\right) \rightarrow C\left( T\right) \) is a bounded linear operator, we write \(V^{n}\) to denote the composition \(\underbrace{V\circ V\circ \cdot \cdot \cdot \circ V}_{n\text {-times}}\) and if \(V_{X}:C\left( T,X\right) \rightarrow C\left( T,X\right) \) is its vector extension, then \( V_{X}^{n}\) denotes the composition \(\underbrace{V_{X}\circ V_{X}\circ \cdot \cdot \cdot \circ V_{X}}_{n\text {-times}}\). A function \(f\in C\left( T\right) \) is called positive, and we write, as usual, \(f\ge 0\) if \(f\left( t\right) \ge 0\), \(\forall t\in T\), and also if \(f,g\in C\left( T\right) \), the notation \(f\le g\) means \(g-f\ge 0\). An operator \(V:C\left( T\right) \rightarrow C\left( K\right) \) is called positive if \(f\ge 0\) implies \( V\left( f\right) \ge 0\). We will use the simple result that a positive linear operator \(V:C\left( T\right) \rightarrow C\left( K\right) \) is increasing; that is, if \(f\le g\), then \(V\left( f\right) \le V\left( g\right) \), and that \(\left| V\left( f\right) \right| \le V\left( \left| f\right| \right) \). If A is a set, we write \({\mathbf {1}}\) to denote the constant function \({\mathbf {1}}:A\rightarrow {\mathbb {R}}\), \(\mathbf {1 }\left( x\right) =1\), and we write as is usual \(e_{j}:\left[ 0,1\right] \rightarrow {\mathbb {R}}\), \(e_{j}\left( x\right) =x^{j}\), \(j\in {\mathbb {N}}\cup \left\{ 0\right\} \). If \(k\in {\mathbb {N}}\), \(k\ge 2\), we consider \(p_{i}: {\mathbb {R}}^{k}\rightarrow {\mathbb {R}}\), \(p_{i}\left( t_{1},\ldots ,t_{k}\right) =t_{i}\), \(i=1,\ldots ,k\), the canonical projections. We will use that if \( V:C\left( T\right) \rightarrow C\left( K\right) \) is a positive linear operator, then \(\left\| V\right\| =\left\| V\left( {\mathbf {1}}\right) \right\| \). If \(\varphi \in C\left( T\right) \), \(f\in C\left( T,X\right) \), we define \(\varphi \otimes f:T\rightarrow X\) by \(\left( \varphi \otimes f\right) \left( t\right) =\varphi \left( t\right) f\left( t\right) \), \( \forall t\in T\). Let us note the following obvious equality: \(\psi \otimes \left( \varphi \otimes x\right) =\left( \psi \varphi \right) \otimes x\), \( \psi ,\varphi \in C\left( T\right) \), \(x\in X\). We need the following:
Remark 1
Let \(V:C\left( T\right) \rightarrow C\left( K\right) \) be a bounded linear operator, \(\psi \in C\left( T\right) \) , X a real Banach space, and define \(U:C\left( T\right) \rightarrow C\left( K\right) \) by \(U\left( \varphi \right) =V\left( \psi \varphi \right) \). Then \(U_{X}\left( f\right) =V_{X}\left( \psi \otimes f\right) \), \(\forall f\in C\left( T,X\right) \).
Proof
It is obvious that U is bounded linear; hence \(U_{X}\) is well defined. Let us define \(L:C\left( T,X\right) \rightarrow C\left( K,X\right) \), \(L\left( f\right) =V_{X}\left( \psi \otimes f\right) \). If \(\varphi \in C\left( T\right) \), \(x\in X\), we have \(L\left( \varphi \otimes x\right) =V_{X}\left( \psi \otimes \left( \varphi \otimes x\right) \right) =V_{X}\left( \left( \psi \varphi \right) \otimes x\right) =V\left( \psi \varphi \right) \otimes x=U\left( \varphi \right) \otimes x=U_{X}\left( \varphi \otimes x\right) \). By linearity, we deduce that \(L=U_{X}\) on \(C\left( T\right) \otimes X\), and since \(C\left( T\right) \otimes X\) is dense in \(C\left( T,X\right) \), by the continuity, \(L=U_{X}\) on \(C\left( T,X\right) \), which ends the proof. \(\square \)
All notation and concepts concerning approximation theory used and not defined are standard, see [1], and the notation and concepts from Banach space theory are also standard, see [4], or [12].
2 The Convergence
In this section, T, K are compact metric spaces and X is a real Banach space. We need the following technical result, see also [7, proof of Theorem 1], [10, Lemma 1], [11, Lemma 1].
Lemma 1
Let \(a\in T\) be an accumulation point of T and \( \varphi :T\rightarrow {\mathbb {R}}\) a continuous function such that \(\varphi \left( t\right) >0\), \(\forall t\in T-\left\{ a\right\} \).
-
(i)
If \(g:T\rightarrow {\mathbb {R}}\) is a continuous function such that \( g\left( a\right) =0\), then \(\forall \varepsilon >0\), \(\exists \delta _{\varepsilon }>0\), such that \(\left| g\left( t\right) \right| <\varepsilon +\delta _{\varepsilon }\varphi \left( t\right) \), \(\forall t\in T\).
-
(ii)
If \(f:T\rightarrow {\mathbb {R}}\) is a continuous function, then \(\forall \varepsilon >0\), \(\exists \delta _{\varepsilon }>0\), such that \(\left| f\left( t\right) -f\left( a\right) \right| <\varepsilon +\delta _{\varepsilon }\varphi \left( t\right) \), \(\forall t\in T\).
Proof
Since a is an accumulation point of T and T is a metric space, there exists a sequence \(\left( t_{n}\right) _{n\in {\mathbb {N}}}\subset T-\left\{ a\right\} \) such that \(t_{n}\rightarrow a\). Then, by the continuity of \( \varphi \), \(\varphi \left( t_{n}\right) \rightarrow \varphi \left( a\right) \), and since by the hypothesis \(\varphi \left( t_{n}\right) >0\), \(\forall n\in {\mathbb {N}}\), we deduce that \(\varphi \left( a\right) \ge 0\).
-
(i)
Let us suppose that (i) is not true. This means that \(\exists \varepsilon _{0}>0\) such that \(\forall \delta >0\) there exist \(t_{\delta }\in T\) such that \(\left| g\left( t_{\delta }\right) \right| \ge \varepsilon _{0}+\delta \varphi \left( t_{\delta }\right) \). In particular, for \(\delta =n\in {\mathbb {N}}\), there exist \(t_{n}\in T\) such that \(\left| g\left( t_{n}\right) \right| \ge \varepsilon _{0}+n\varphi \left( t_{n}\right) \), \(\forall n\in {\mathbb {N}}\). Since T is compact, there exist \(t\in T\) and a subsequence \(\left( k_{n}\right) _{n\in {\mathbb {N}}}\) such that \(t_{k_{n}}\rightarrow t\). We can have two cases: The first case is \(t=a\), that is, \(t_{k_{n}}\rightarrow a\). Since \(\varphi \left( t\right) \ge 0\), \( \forall t\in T\), we deduce that \(\left| g\left( t_{k_{n}}\right) \right| \ge \varepsilon _{0}\), \(\forall n\in {\mathbb {N}}\), and passing to the limit and using that \(g\left( a\right) =0\), we obtain \(0\ge \varepsilon _{0}\), which is impossible. The second case is \(t\ne a\), that is, \(t\in T-\left\{ a\right\} \). Now note that \(\left| g\left( t_{n}\right) \right| \le \left\| g\right\| \), and thus \(\left\| g\right\| \ge \varepsilon _{0}+k_{n}\varphi \left( t_{k_{n}}\right) \), \(\forall n\in {\mathbb {N}}\), or \( 0\le \varphi \left( t_{k_{n}}\right) \le \frac{\left\| g\right\| -\varepsilon _{0}}{k_{n}}\), \(\forall n\in {\mathbb {N}}\). Passing to the limit, we obtain \(\varphi \left( t_{k_{n}}\right) \rightarrow 0\), and since \( \varphi \) is continuous, \(\varphi \left( t\right) =0\). But this is impossible since \(t\in T-\left\{ a\right\} \), and by the hypothesis, \(\varphi \left( v\right) >0\) for every \(v\in T-\left\{ a\right\} \), in particular \( \varphi \left( t\right) >0\).
-
(ii)
Apply (i) to the function \(g:T\rightarrow {\mathbb {R}}\), \(g\left( t\right) =f\left( t\right) -f\left( a\right) \).
\(\square \)
Corollary 1
Let \(a\in T\) be an accumulation point of T and \(\varphi :T\rightarrow {\mathbb {R}}\) a continuous function such that \(\varphi \left( t\right) >0\), \(\forall t\in T-\left\{ a\right\} \).
-
(i)
If \(g:T\rightarrow {\mathbb {R}}\) is a continuous function such that \( g\left( a\right) =0\), then \(\forall \varepsilon >0\), \(\exists \delta _{\varepsilon }>0\) such that for any positive linear operator \(V:C\left( T\right) \rightarrow C\left( K\right) \), we have \(\left\| V\left( g\right) \right\| \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V\left( \varphi \right) \right\| \).
-
(ii)
If \(f:T\rightarrow {\mathbb {R}}\) is a continuous function, then \(\forall \varepsilon >0\), \(\exists \delta _{\varepsilon }>0\) such that for any positive linear operator \(V:C\left( T\right) \rightarrow C\left( K\right) \), we have \(\left\| V\left( f\right) -f\left( a\right) V\left( {\mathbf {1}} \right) \right\| \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V\left( \varphi \right) \right\| \).
-
(iii)
If \(V:C\left( T\right) \rightarrow C\left( K\right) \) is a positive linear operator such that \(V\left( \varphi \right) =0\), then \(V\left( f\right) =f\left( a\right) V\left( {\mathbf {1}}\right) \), \(\forall f\in C\left( T\right) \).
Proof
-
(i)
Let \(\varepsilon >0\). From Lemma 1(i) there exists \(\delta _{\varepsilon }>0\) such that \(\left| g\right| <\varepsilon \cdot {\mathbf {1}}+\delta _{\varepsilon }\varphi \). Since V is positive linear, we obtain \(\left| V\left( g\right) \right| \le V\left( \left| g\right| \right) \le \varepsilon V\left( {\mathbf {1}} \right) +\delta _{\varepsilon }V\left( \varphi \right) \) in \(C\left( K\right) \); that is, \(\left| V\left( g\right) \left( k\right) \right| \le \varepsilon V\left( {\mathbf {1}}\right) \left( k\right) +\delta _{\varepsilon }V\left( \varphi \right) \left( k\right) \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V\left( \varphi \right) \right\| \), \(\forall k\in K\), and thus \(\left\| V\left( g\right) \right\| \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V\left( \varphi \right) \right\| \).
-
(ii)
Apply (i) to the function \(g:T\rightarrow {\mathbb {R}}\), \(g\left( t\right) =f\left( t\right) -f\left( a\right) \).
-
(iii)
Let \(f\in C\left( T\right) \). For every \(\varepsilon >0\), by (ii) \( \exists \delta _{\varepsilon }>0\) such that
$$\begin{aligned} \left\| V\left( f\right) -f\left( a\right) V\left( {\mathbf {1}}\right) \right\| \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V\left( \varphi \right) \right\| , \end{aligned}$$and since \(V\left( \varphi \right) =0\), we obtain \(\left\| V\left( f\right) -f\left( a\right) V\left( {\mathbf {1}}\right) \right\| \le \varepsilon \left\| V\left( {\mathbf {1}}\right) \right\| \). Passing to the limit for \(\varepsilon \rightarrow 0\), we get \(\left\| V\left( f\right) -f\left( a\right) V\left( {\mathbf {1}}\right) \right\| \le 0\), \( V\left( f\right) -f\left( a\right) V\left( {\mathbf {1}}\right) =0\).
\(\square \)
The next result is a large extension of Theorem 1 in [7].
Theorem 1
Let \(a\in T\) be an accumulation point of T and \( \varphi :T\rightarrow {\mathbb {R}}\) a continuous function such that \(\varphi \left( t\right) >0\), \(\forall t\in T-\left\{ a\right\} \). Let \(V_{n}:C\left( T\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators such that the sequence \(\left( V_{n}\left( {\mathbf {1}}\right) \right) _{n\in {\mathbb {N}}}\) is (norm) bounded in \(C\left( K\right) \) and \( \lim \limits _{n\rightarrow \infty }V_{n}\left( \varphi \right) =0\) uniformly. Then:
-
(i)
for every \(g\in C\left( T\right) \) with \(g\left( a\right) =0\), we have \( \lim \limits _{n\rightarrow \infty }V_{n}\left( g\right) =0\) uniformly.
-
(ii)
for every \(f\in C\left( T\right) \), we have \(\lim \limits _{n\rightarrow \infty }\left[ V_{n}\left( f\right) -f\left( a\right) V_{n}\left( {\mathbf {1}} \right) \right] =0\) uniformly.
Proof
-
(i)
Let \(\varepsilon >0\). From Corollary 1(i) there exists \(\delta _{\varepsilon }>0\) such that
$$\begin{aligned} \left\| V_{n}\left( g\right) \right\| \le \varepsilon \left\| V_{n}\left( {\mathbf {1}}\right) \right\| +\delta _{\varepsilon }\left\| V_{n}\left( \varphi \right) \right\| ,\forall n\in {\mathbb {N}}. \end{aligned}$$Since \(\left( V_{n}\left( {\mathbf {1}}\right) \right) _{n\in {\mathbb {N}}}\) is bounded in \(C\left( K\right) \), there exists \(M>0\) such that \(\left\| V_{n}\left( {\mathbf {1}}\right) \right\| \le M\), \(\forall n\in {\mathbb {N}}\) . Also from \(\lim \limits _{n\rightarrow \infty }V_{n}\left( \varphi \right) =0 \) uniformly, \(\exists n_{\varepsilon }\in {\mathbb {N}}\) such that \( \left\| V_{n}\left( \varphi \right) \right\| \le \frac{\varepsilon }{ \delta _{\varepsilon }}\), \(\forall n\ge n_{\varepsilon }\). We deduce that \( \left\| V_{n}\left( g\right) \right\| \le \varepsilon \left( M+1\right) \), \(\forall n\ge n_{\varepsilon }\); that is, \(\lim \limits _{n \rightarrow \infty }V_{n}\left( g\right) =0\) uniformly.
-
(ii)
Let \(f\in C\left( T\right) \). Then \(g=f-f\left( a\right) \cdot \mathbf {1 }\in C\left( T\right) \) and \(g\left( a\right) =0\). We apply now (i).
\(\square \)
We prove now that the result in Theorem 1 can be extended to the vector case.
Corollary 2
Let \(a\in T\) be an accumulation point of T and \(\varphi :T\rightarrow {\mathbb {R}}\) a continuous function such that \(\varphi \left( t\right) >0\), \(\forall t\in T-\left\{ a\right\} \). Let \(V_{n}:C\left( T\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators such that the sequence \(\left( V_{n}\left( {\mathbf {1}}\right) \right) _{n\in {\mathbb {N}}}\) is (norm) bounded in \(C\left( K\right) \), \(\lim \limits _{n\rightarrow \infty }V_{n}\left( \varphi \right) =0\) uniformly and \(V_{X,n}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( K,X\right) \) their vector extensions. Then for every \(f\in C\left( T,X\right) \), we have \(\lim \limits _{n\rightarrow \infty } \left[ V_{X,n}\left( f\right) -V_{n}\left( {\mathbf {1}}\right) \otimes f\left( a\right) \right] =0\) uniformly.
Proof
Let \(\varphi =\sum \limits _{i=1}^{k}\varphi _{i}\otimes x_{i}\in C\left( T\right) \otimes X\). Let also \(n\in {\mathbb {N}}\). Then \(V_{n}\left( {\mathbf {1}} \right) \otimes \varphi \left( a\right) =V_{n}\left( {\mathbf {1}}\right) \otimes \left( \sum \limits _{i=1}^{k}\varphi _{i}\left( a\right) x_{i}\right) =\sum \limits _{i=1}^{k}\varphi _{i}\left( a\right) V_{n}\left( {\mathbf {1}} \right) \otimes x_{i}\), \(V_{X,n}\left( \varphi \right) =\sum \limits _{i=1}^{k}V_{X,n}\left( \varphi _{i}\otimes x_{i}\right) =\sum \limits _{i=1}^{k}V_{n}\left( \varphi _{i}\right) \otimes x_{i}\). We get \(V_{X,n}\left( \varphi \right) -V_{n}\left( {\mathbf {1}}\right) \otimes \varphi \left( a\right) =\sum \limits _{i=1}^{k}\left[ V_{n}\left( \varphi _{i}\right) -\varphi _{i}\left( a\right) V_{n}\left( {\mathbf {1}}\right) \right] \otimes x_{i}\) and
From Theorem 1 and the above inequality, we simply deduce that
Let \(f\in C\left( T,X\right) \) and \(\varphi =\sum \limits _{i=1}^{k}\varphi _{i}\otimes x_{i}\). Then for every \(n\in {\mathbb {N}}\),
Let us note that
There exist \(M>0\) such that \(\left\| V_{n}\left( {\mathbf {1}}\right) \right\| \le M\), \(\forall n\in {\mathbb {N}}\). Now let \(f\in C\left( T,X\right) \) and \(\varepsilon >0\). Then there exists \(\varphi \in C\left( T\right) \otimes X\) such that \(\left\| f-\varphi \right\| \le \frac{ \varepsilon }{4M}\). We have
Since, by the first part, \(\lim \limits _{n\rightarrow \infty }\left[ V_{X,n}\left( \varphi \right) -V_{n}\left( {\mathbf {1}}\right) \otimes \varphi \left( a\right) \right] =0\) uniformly, there exists \(n_{\varepsilon }\in {\mathbb {N}}\) such that \(\forall n\ge n_{\varepsilon }\), we have \(\left\| V_{X,n}\left( \varphi \right) -V_{n}\left( {\mathbf {1}}\right) \otimes \varphi \left( a\right) \right\| \le \frac{\varepsilon }{2}\). We deduce then that \(\forall n\ge n_{\varepsilon }\), we have \(\left\| V_{X,n}\left( f\right) -V_{n}\left( {\mathbf {1}}\right) \otimes f\left( a\right) \right\| \le \varepsilon \). We are done. \(\square \)
To end this section we give two concrete examples.
Corollary 3
Let \(\mathcal { A}_{X},{\mathcal {B}}_{X}:C\left( \left[ 0,1\right] ^{2},X\right) \rightarrow C\left( \left[ 0,1\right] ^{2},X\right) \) be the operators defined by \( {\mathcal {A}}_{X}\left( f\right) \left( t_{1},t_{2}\right) =t_{1}\iint _{\left[ 0,1\right] ^{2}}f\left( t_{1}x,t_{2}y\right) \mathrm{d}x\mathrm{d}y\), \({\mathcal {B}}_{X}\left( f\right) ( t_{1},t_{2}) =t_{2}\iint _{\left[ 0,1\right] ^{2}}f( t_{1}x, t_{2}y) \mathrm{d}x\mathrm{d}y\). Then for every \(f\in C\left( \left[ 0,1\right] ^{2},X\right) \), we have \(\lim \limits _{n\rightarrow \infty }\big ( n!{\mathcal {A}}_{X}^{n}\left( f\right) \left( t_{1},t_{2}\right) -t_{1}^{n}f\left( 0,0\right) \big ) =0\), \(\lim \limits _{n\rightarrow \infty }\left( n!{\mathcal {B}}_{X}^{n}\left( f\right) \left( t_{1},t_{2}\right) -t_{2}^{n}f\left( 0,0\right) \right) =0\) uniformly with respect to \(\left( t_{1},t_{2}\right) \in \left[ 0,1\right] ^{2}\).
Proof
By induction we can prove that for every \(n\in {\mathbb {N}}\),
where \(P\left( t_{1},t_{2}\right) =t_{1}t_{2}\). Now let us observe that the function \(s:\left[ 0,1\right] ^{2}\rightarrow \left[ 0,\infty \right) \), \( s\left( t_{1},t_{2}\right) =t_{1}+t_{2}\) is continuous and \(s\left( t_{1},t_{2}\right) >0\), \(\forall \left( t_{1},t_{2}\right) \in \left[ 0,1 \right] ^{2}-\left\{ \left( 0,0\right) \right\} \). Then \({\mathcal {A}} ^{n}\left( s\right) ={\mathcal {A}}^{n}\left( p_{1}\right) +{\mathcal {A}} ^{n}\left( p_{2}\right) =\frac{p_{1}^{n+1}}{\left( n+1\right) !}+\frac{ p_{1}^{n-1}P}{2^{n}n!}\) and \(\lim \limits _{n\rightarrow \infty }\frac{ \left\| {\mathcal {A}}^{n}\left( s\right) \right\| }{\left\| \mathcal {A }^{n}\left( {\mathbf {1}}\right) \right\| }=\lim \limits _{n\rightarrow \infty }\frac{\frac{1}{2^{n}n!}+\frac{1}{\left( n+1\right) !}}{\frac{1}{n!}}=0\). From Corollary 2 applied for \( V_{n}=\frac{{\mathcal {A}}^{n}}{\left\| {\mathcal {A}}^{n}\left( {\mathbf {1}} \right) \right\| }\) and using that \(\left( {\mathcal {A}}^{n}\right) _{X}= {\mathcal {A}}_{X}^{n}\), we deduce that \(\lim \limits _{n\rightarrow \infty }\left( \frac{{\mathcal {A}}_{X}^{n}\left( f\right) \left( t_{1},t_{2}\right) }{ \left\| {\mathcal {A}}^{n}\left( {\mathbf {1}}\right) \right\| }-\frac{ {\mathcal {A}}^{n}\left( {\mathbf {1}}\right) \left( t_{1},t_{2}\right) }{ \left\| {\mathcal {A}}^{n}\left( {\mathbf {1}}\right) \right\| }f\left( 0,0\right) \right) =0\); that is, \(\lim \limits _{n\rightarrow \infty }\left( n! {\mathcal {A}}_{X}^{n}\left( f\right) \left( t_{1},t_{2}\right) -t_{1}^{n}f\left( 0,0\right) \right) =0\) uniformly with respect to \(\left( t_{1},t_{2}\right) \in \left[ 0,1\right] ^{2}\). Similarly, for every \(n\in {\mathbb {N}}\), we have
and \(\lim \limits _{n\rightarrow \infty }\frac{\left\| {\mathcal {B}} ^{n}\left( s\right) \right\| }{\left\| {\mathcal {B}}^{n}\left( {\mathbf {1}} \right) \right\| }=0\). We apply now Corollary 2 for \(V_{n}=\frac{{\mathcal {B}}^{n}}{ \left\| {\mathcal {B}}^{n}\left( {\mathbf {1}}\right) \right\| }\). \(\square \)
3 The Full Asymptotic Evaluation for One Variable
In this section, K is a compact metric space and X is a real Banach space. In the next result we give the full asymptotic evaluation for some sequences of positive linear operators. It is a natural completion of Corollary 2.
Theorem 2
Let \(V_{n}:C\left[ 0,1 \right] \rightarrow C\left( K\right) \) be a sequence of positive linear operators, \(V_{X,n}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( K,X\right) \) their vector extensions, k a natural number such that:
-
(i)
\(V_{n}\left( e_{k}\right) \ne 0\), \(\forall n\in {\mathbb {N}}\);
-
(ii)
there exists \(\varphi _{k}\in C\left[ 0,1\right] \) with \(\varphi _{k}\left( t\right) >0\), \(\forall t\in \left[ 0,1\right] -\left\{ 0\right\} \) and such that \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( e_{k}\varphi _{k}\right) }{\left\| V_{n}\left( e_{k}\right) \right\| } =0\) uniformly. Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k -times differentiable at 0, we have
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( t\right) -\sum \limits _{i=0}^{k}\frac{V_{n}\left( e_{i}\right) \left( t\right) }{i!}f^{\left( i\right) }\left( 0\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=0\text { uniformly with respect to }t\in \left[ 0,1 \right] . \end{aligned}$$Moreover, if \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( e_{k}\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=u_{k}\) uniformly, then
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( t\right) -\sum \limits _{i=0}^{k-1}\frac{V_{n}\left( e_{i}\right) \left( t\right) }{i!}f^{\left( i\right) }\left( 0\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=\frac{u_{k}\left( t\right) }{k!}f^{\left( k\right) }\left( 0\right) \end{aligned}$$uniformly with respect to \(t\in \left[ 0,1\right] \).
Proof
Since f is k-times differentiable at 0,
see [2, Theorem 1, page 21]. Thus the function \(g:\left[ 0,1 \right] \rightarrow X\),
is continuous, and for all \(t\in \left[ 0,1\right] \), the following relation holds: \(f\left( t\right) =\sum \limits _{i=0}^{k}\frac{t^{i}}{i!}f^{\left( i\right) }\left( 0\right) +t^{k}g\left( t\right) \). This means that \( f=\sum \limits _{i=0}^{k}\frac{1}{i!}e_{i}\otimes f^{\left( i\right) }\left( 0\right) +e_{k}\otimes g\) in \(C\left( \left[ 0,1\right] ,X\right) \). Let \( n\in {\mathbb {N}}\). Since all \(V_{X,n}\) are linear, we have
and thus
Let \(U_{n}:C\left[ 0,1\right] \rightarrow C\left( K\right) \) be the operator defined by \(U_{n}\left( \varphi \right) =\frac{V_{n}\left( e_{k}\cdot \varphi \right) }{\left\| V_{n}\left( e_{k}\right) \right\| }\) (see the hypothesis (i)). Then \(\left\| U_{n}\left( {\mathbf {1}}\right) \right\| =1\), \(\forall n\in {\mathbb {N}}\). Moreover, by the hypothesis (ii) \(\lim \limits _{n\rightarrow \infty }\frac{\left\| V_{n}\left( e_{k}\varphi _{k}\right) \right\| }{\left\| V_{n}\left( e_{k}\right) \right\| } =0 \); that is, \(\lim \limits _{n\rightarrow \infty }U_{n}\left( \varphi _{k}\right) =0\) uniformly. From Corollary 2 it follows that for every \(f\in C\left( \left[ 0,1\right] ,X\right) \), \(\lim \limits _{n\rightarrow \infty } \left[ U_{X,n}\left( f\right) -U_{n}\left( {\mathbf {1}}\right) \otimes f\left( 0\right) \right] =0\) uniformly. In particular, \(\lim \limits _{n\rightarrow \infty }\left[ U_{X,n}\left( g\right) -U_{n}\left( {\mathbf {1}}\right) \otimes g\left( 0\right) \right] =0\) uniformly; that is, since \(g\left( 0\right) =0\) , \(\lim \limits _{n\rightarrow \infty }U_{X,n}\left( g\right) =0\) uniformly. By Remark 1, this is equivalent to \( \lim \limits _{n\rightarrow \infty }\frac{\left\| V_{X,n}\left( e_{k}\otimes g\right) \right\| }{\left\| V_{n}\left( e_{k}\right) \right\| }=0\), which, by (1), ends the proof. \(\square \)
By taking \(\varphi _{k}=e_{j}\) in Theorem 2, we obtain:
Corollary 4
Let \(V_{n}:C\left[ 0,1\right] \rightarrow C\left( K\right) \) be a sequence of positive linear operators, \( V_{X,n}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( K,X\right) \) their vector extensions, k a natural number such that:
-
(i)
\(V_{n}\left( e_{k}\right) \ne 0\), \(\forall n\in {\mathbb {N}}\);
-
(ii)
there exists \(j\in {\mathbb {N}}\) such that \(\lim \limits _{n\rightarrow \infty }\frac{\left\| V_{n}\left( e_{k+j}\right) \right\| }{\left\| V_{n}\left( e_{k}\right) \right\| }=0\). Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k-times differentiable at 0, we have
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( t\right) -\sum \limits _{i=0}^{k}\frac{V_{n}\left( e_{i}\right) \left( t\right) }{i!}f^{\left( i\right) }\left( 0\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=0\text { uniformly with respect to }t\in \left[ 0,1 \right] . \end{aligned}$$Moreover, if \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( e_{k}\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=u_{k}\) uniformly, then
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( t\right) -\sum \limits _{i=0}^{k-1}\frac{V_{n}\left( e_{i}\right) \left( t\right) }{i!}f^{\left( i\right) }\left( 0\right) }{\left\| V_{n}\left( e_{k}\right) \right\| }=\frac{u_{k}\left( t\right) }{k!}\cdot f^{\left( k\right) }\left( 0\right) \end{aligned}$$uniformly with respect to \(t\in \left[ 0,1\right] \).
4 The Full Asymptotic Evaluations for the Cesàro and Volterra Type Operators
In this section X is a real Banach space. As an application of Corollary 4, we indicate the full asymptotic evaluations for the Cesàro and Volterra type operators. We begin with a result that is a large extension of Theorem 3 in [6].
Corollary 5
Let \(\varphi :\left[ 0,1\right] \rightarrow \left[ 0,\infty \right) \) be a continuous non-null function, \( {\mathcal {C}}_{X,\varphi }:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] , X\right) \) the Cesàro type operator defined by
and k a natural number. Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k-times differentiable at 0, we have
uniformly with respect to \(t\in \left[ 0,1\right] .\)
Proof
Let \(i\in {\mathbb {N}}\cup \left\{ 0\right\} \) and define \(\lambda _{i}=\int _{0}^{1}s^{i}\varphi \left( s\right) \mathrm{d}s\). Let us note that \(\lambda _{i+1}<\lambda _{i}\), \(\forall i\in {\mathbb {N}}\cup \left\{ 0\right\} \). Indeed, if \(\lambda _{i+1}\ge \lambda _{i}\), that is, \(\int _{0}^{1}s^{i+1} \varphi \left( s\right) \mathrm{d}s\ge \int _{0}^{1}s^{i}\varphi \left( s\right) \mathrm{d}s\), then \(\int _{0}^{1}s^{i}\left( 1-s\right) \varphi \left( s\right) \mathrm{d}s\le 0\). Since \(s^{i}\left( 1-s\right) \varphi \left( s\right) \ge 0\), \(\forall s\in \left[ 0,1\right] \) (\(\varphi \left( s\right) \ge 0\)), we have \( \int _{0}^{1}s^{i}\left( 1-s\right) \varphi \left( s\right) \mathrm{d}s\ge 0\); that is, \(\int _{0}^{1}s^{i}\left( 1-s\right) \varphi \left( s\right) \mathrm{d}s=0\). A well-known property assures us that \(s^{i}\left( 1-s\right) \varphi \left( s\right) =0\), \(\forall s\in \left[ 0,1\right] \), whence \(\varphi \left( s\right) =0\), \(\forall s\in \left( 0,1\right) \). By continuity \(\varphi \left( s\right) =0\), \(\forall s\in \left[ 0,1\right] \), which is impossible. We have \({\mathcal {C}}_{\varphi }\left( e_{i}\right) =\lambda _{i}e_{i}\) and by induction on n, \({\mathcal {C}}_{\varphi }^{n}\left( e_{i}\right) =\lambda _{i}^{n}e_{i}\), \(\forall n\in {\mathbb {N}}\). Then \(\frac{\left\| {\mathcal {C}} _{\varphi }^{n}\left( e_{i+1}\right) \right\| }{\left\| {\mathcal {C}} _{\varphi }^{n}\left( e_{i}\right) \right\| }=\left( \frac{\lambda _{i+1} }{\lambda _{i}}\right) ^{n}\) and thus \(\lim \limits _{n\rightarrow \infty } \frac{\left\| {\mathcal {C}}_{\varphi }^{n}\left( e_{i+1}\right) \right\| }{\left\| {\mathcal {C}}_{\varphi }^{n}\left( e_{i}\right) \right\| }=0\). Also \(\frac{{\mathcal {C}}_{\varphi }^{n}\left( e_{i}\right) }{\left\| {\mathcal {C}}_{\varphi }^{n}\left( e_{i}\right) \right\| }=e_{i}\), \(\forall n\in {\mathbb {N}}\). From Corollary 4, we have
which after simple calculations gives us the statement. \(\square \)
In the case of the Cesàro operator, that is, \(\varphi =e_{0}\) in Corollary 5, we get:
Corollary 6
Let \({\mathcal {C}}_{X}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] ,X\right) \) be the Cesàro operator
and k be a natural number. Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k-times differentiable at 0, we have
uniformly with respect to \(t\in \left[ 0,1\right] \).
In the case of the Volterra type operators, we have the following asymptotic evaluation.
Corollary 7
Let \(\varphi :\left[ 0,1\right] \rightarrow \left[ 0,\infty \right) \) be a continuous non-null function, \( {\mathcal {V}}_{X,\varphi }:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] ,X\right) \) the Volterra type operator defined by
and k a natural number. Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k-times differentiable at 0, we have
uniformly with respect to \(t\in \left[ 0,1\right] \) and thus
Proof
Let \(i\in {\mathbb {N}}\cup \left\{ 0\right\} \) and define \(\lambda _{i}=\int _{0}^{1}s^{i}\varphi \left( s\right) \mathrm{d}s\). We have shown in Corollary 5 that \(\lambda _{i+1}<\lambda _{i}\), \(\forall i\in {\mathbb {N}}\cup \left\{ 0\right\} \). We have \({\mathcal {V}}_{\varphi }\left( e_{i}\right) =\lambda _{i}e_{i+1}\) and by induction on n, \({\mathcal {V}}_{\varphi }^{n}\left( e_{i}\right) =\lambda _{i}\lambda _{i+1}\cdot \cdot \cdot \lambda _{i+n-1}e_{n+i}\), \(\forall n\in {\mathbb {N}}\). Then \(\frac{\left\| {\mathcal {V}}_{\varphi }^{n}\left( e_{i+1}\right) \right\| }{\left\| {\mathcal {V}}_{\varphi }^{n}\left( e_{i}\right) \right\| }=\left( \frac{\lambda _{i+1}\cdot \cdot \cdot \lambda _{i+n}}{\lambda _{i}\lambda _{i+1}\cdot \cdot \cdot \lambda _{i+n-1}} \right) ^{n}=\left( \frac{\lambda _{i+n}}{\lambda _{i}}\right) ^{n}\le \left( \frac{\lambda _{i+1}}{\lambda _{i}}\right) ^{n}\) and thus \( \lim \limits _{n\rightarrow \infty }\frac{\left\| {\mathcal {V}}_{\varphi }^{n}\left( e_{i+1}\right) \right\| }{\left\| {\mathcal {V}}_{\varphi }^{n}\left( e_{i}\right) \right\| }=0\). From Corollary 4, we have
which after simple calculations gives us the statement. The second part follows from the first, the equality \(\frac{{\mathcal {V}}_{\varphi }^{n}\left( e_{k}\right) }{\left\| {\mathcal {V}}_{\varphi }^{n}\left( e_{k}\right) \right\| }\left( t\right) =t^{n+k}\), \(\forall t\in \left[ 0,1\right] \), \( \forall n\in {\mathbb {N}}\), and the limit \(\lim \limits _{n\rightarrow \infty }t^{n+k}=\left\{ \begin{array}{ll} 0 &{}\quad \mathrm{if } t\ne 1 ,\\ 1 &{}\quad \mathrm{if } t=1. \end{array} \right. \)\(\square \)
In the case of the Volterra operator, that is, \(\varphi =e_{0}\) in Corollary 7, we get:
Corollary 8
Let \({\mathcal {V}}_{X}:C\left( \left[ 0,1\right] ,X\right) \rightarrow C\left( \left[ 0,1\right] ,X\right) \) be the Volterra operator
and k a natural number. Then for every function \(f:\left[ 0,1\right] \rightarrow X\) that is k-times differentiable at 0, we have
uniformly with respect to \(t\in \left[ 0,1\right] \) and thus
5 The Asymptotic Evaluation for Multivariate Differentiable Functions
To avoid repetition in this section, we consider \(k\ge 2\) a natural number, \(\Lambda _{k}\subset \left[ 0,\infty \right) ^{k}\) a compact set such that \(0\in \Lambda _{k}\) and 0 is an accumulation point of \(\Lambda _{k}\), and \(D\subset {\mathbb {R}}^{k}\) is an open set such that \(\Lambda _{k}\subset D\). Also K is a compact metric space and X is a real Banach space.
Theorem 3
Let \(V_{n}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators with the following properties:
-
(i)
for every \(i=1,\ldots ,k\) and every \(n\in {\mathbb {N}}\), \(V_{n}\left( p_{i}\right) \ne 0\).
-
(ii)
for every \(i=1,\ldots ,k\), there exist \(\varphi _{i}\in C\left( \Lambda _{k}\right) \) with \(\varphi _{i}\left( {\mathbf {t}}\right) >0\), \(\forall {\mathbf {t}}=\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}-\left\{ 0\right\} \) and such that \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}\cdot \varphi _{i}\right) }{\left\| V_{n}\left( p_{i}\right) \right\| }=0\) uniformly. Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( {\mathbf {t}}\right) -V_{n}\left( {\mathbf {1}}\right) \left( {\mathbf {t}}\right) f\left( 0\right) -\sum \limits _{i=1}^{k}V_{n}\left( p_{i}\right) \left( {\mathbf {t}}\right) \frac{\partial f}{\partial x_{i}}\left( 0\right) }{ \sum \limits _{i=1}^{k}\left\| V_{n}\left( p_{i}\right) \right\| }=0 \end{aligned}$$uniformly with respect to \({\mathbf {t}}=\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\).
Proof
Since f is differentiable at 0, we have
Thus the function \(g:D\rightarrow X\),
is continuous, and for all \(\left( t_{1},\ldots ,t_{k}\right) \in D\), the following relation holds:
In particular, for all \(\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\)(\( \subset \left[ 0,\infty \right) ^{k}\)), the following relation holds:
This means that \(f={\mathbf {1}}\otimes f\left( 0\right) +\sum \limits _{i=1}^{k}p_{i}\otimes \frac{\partial f}{\partial t_{i}}\left( 0\right) +\sum \limits _{i=1}^{k}p_{i}\otimes g\) in \(C\left( \Lambda _{k},X\right) \). Let \(n\in {\mathbb {N}}\). Since all \(V_{X,n}\) are linear, we have
and thus
For every \(i=1,\ldots ,k\), let \(U_{n,i}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be the operator defined by \(U_{n,i}\left( f\right) =\frac{ V_{n}\left( p_{i}\cdot f\right) }{\left\| V_{n}\left( p_{i}\right) \right\| }\) (see the hypothesis (i)). We have \(\left\| U_{n,i}\left( {\mathbf {1}}\right) \right\| =1\), and by the hypothesis (ii), \(\lim \limits _{n\rightarrow \infty }U_{n,i}\left( \varphi _{i}\right) =\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}\cdot \varphi _{i}\right) }{\left\| V_{n}\left( p_{i}\right) \right\| }=0\) uniformly; From Corollary 2, for every \(f\in C\left( \Lambda _{k},X\right) \), \(\lim \limits _{n\rightarrow \infty }\left[ U_{X,n,i}\left( f\right) -U_{n,i}\left( {\mathbf {1}}\right) \otimes f\left( 0\right) \right] =0\) uniformly. In particular, \( \lim \limits _{n\rightarrow \infty }\left[ U_{X,n,i}\left( g\right) -U_{n,i}\left( {\mathbf {1}}\right) \otimes g\left( 0\right) \right] =0\) uniformly; that is, since \(g\left( 0,\ldots ,0\right) =0\), \(\lim \limits _{n \rightarrow \infty }U_{X,n,i}\left( g\right) =0\) uniformly. By Remark 1, this is equivalent to \(\lim \limits _{n \rightarrow \infty }\frac{\left\| V_{X,n}\left( p_{i}\otimes g\right) \right\| }{\left\| V_{n}\left( p_{i}\right) \right\| }=0\). This means that \(\forall \varepsilon >0\), \(\exists n_{\varepsilon }\in {\mathbb {N}}\) such that \(\forall n\ge n_{\varepsilon }\), \(\forall i=1,\ldots ,k\), we have \( \frac{\left\| V_{X,n}\left( p_{i}\otimes g\right) \right\| }{ \left\| V_{n}\left( p_{i}\right) \right\| }<\varepsilon \). From (2) we deduce that \(\forall \varepsilon >0\), \(\exists n_{\varepsilon }\in {\mathbb {N}} \) such that \(\forall n\ge n_{\varepsilon }\) we have
which ends the proof. \(\square \)
Corollary 9
Let \( V_{n}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators with the following properties:
-
(i)
for every \(i=1,\ldots ,k\) and every \(n\in {\mathbb {N}}\), \(V_{n}\left( p_{i}\right) \ne 0\).
-
(ii)
for every \(i,j=1,\ldots ,k\), we have \(\lim \limits _{n\rightarrow \infty } \frac{\left\| V_{n}\left( p_{i}\cdot p_{j}\right) \right\| }{ \left\| V_{n}\left( p_{i}\right) \right\| }=0\). Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( {\mathbf {t}}\right) -V_{n}\left( {\mathbf {1}}\right) \left( {\mathbf {t}}\right) f\left( 0\right) -\sum \limits _{i=1}^{k}V_{n}\left( p_{i}\right) \left( {\mathbf {t}}\right) \frac{\partial f}{\partial t_{i}}\left( 0\right) }{ \sum \limits _{i=1}^{k}\left\| V_{n}\left( p_{i}\right) \right\| }=0 \end{aligned}$$uniformly with respect to \({\mathbf {t}}=\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\).
Proof
Let us note that the function \(s:\Lambda _{k}\rightarrow \left[ 0,\infty \right) \), \(s\left( t_{1},\ldots ,t_{k}\right) =t_{1}+\cdot \cdot \cdot +t_{k}\), is continuous and \(s\left( t_{1},\ldots ,t_{k}\right) >0\), \(\forall \left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}-\left\{ \left( 0,\ldots ,0\right) \right\} \). Since \(s=p_{1}+\cdot \cdot \cdot +p_{k}\), for every \(i=1,\ldots ,k\), we have \(V_{n}\left( p_{i}s\right) =\sum \limits _{j=1}^{k}V_{n}\left( p_{i}p_{j}\right) \), \(\forall n\in {\mathbb {N}}\), and from (ii) \( \lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}s\right) }{ \left\| V_{n}\left( p_{i}\right) \right\| }=0\) uniformly. We apply Theorem 3. \(\square \)
6 The Asymptotic Evaluation for Multivariate Twice Differentiable Functions
As in the preceding section, \(k\ge 2\) is a natural number, \(\Lambda _{k}\subset \left[ 0,\infty \right) ^{k}\) a compact set such that \(0\in \Lambda _{k}\) and 0 is an accumulation point of \(\Lambda _{k}\), and \(D\subset {\mathbb {R}}^{k}\) is an open set such that \(\Lambda _{k}\subset D\). Also K is a compact metric space and X is a real Banach space.
Theorem 4
Let \( V_{n}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators with the following properties:
-
(i)
for every \(i=1,\ldots ,k\) and every \(n\in {\mathbb {N}}\), \(V_{n}\left( p_{i}^{2}\right) \ne 0\).
-
(ii)
for every \(i=1,\ldots ,k\), there exist \(\varphi _{i}\in C\left( \Lambda _{k}\right) \) with \(\varphi _{i}\left( {\mathbf {t}}\right) >0\), \(\forall {\mathbf {t}}=\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}-\left\{ 0\right\} \) and such that \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}^{2}\cdot \varphi _{i}\right) }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly. Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have \(\lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( {\mathbf {t}}\right) -V_{n}\left( {\mathbf {1}}\right) \left( {\mathbf {t}}\right) f\left( 0\right) -\sum \limits _{i=1}^{k}V_{n}\left( p_{i}\right) \left( {\mathbf {t}}\right) \frac{\partial f}{\partial t_{i}}\left( 0\right) -\frac{1}{ 2}\sum \limits _{i,j=1}^{k}V_{n}\left( p_{i}p_{j}\right) \left( {\mathbf {t}} \right) \frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}}\left( 0\right) }{ \sum \limits _{i=1}^{k}\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly with respect to \(\mathbf {t=}\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\).
Proof
Since f is twice differentiable at 0,
see [3, Théorème 5.6.3, page 78]. Thus the function \( g:\Lambda _{k}\rightarrow X\),
\(g\left( t_{1},\ldots ,t_{k}\right) =\left\{ \begin{array}{ll} \frac{f\left( t_{1},\ldots ,t_{k}\right) -f\left( 0,\ldots ,0\right) -\sum \limits _{i=1}^{k}t_{i}\frac{\partial f}{\partial t_{i}}\left( 0\right) - \frac{1}{2}\sum \limits _{i,j=1}^{k}t_{i}t_{j}\frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}}\left( 0\right) }{\sum \limits _{i=1}^{k}t_{i}^{2}}\text {, } &{}\quad \left( t_{1},\ldots ,t_{k}\right) \ne \left( 0,\ldots ,0\right) , \\ 0, &{}\quad \left( t_{1},\ldots ,t_{k}\right) =\left( 0,\ldots ,0\right) , \end{array} \right. \)
is continuous, and for all \(\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\), the following relation holds:
This means that
Let \(n\in {\mathbb {N}}\). Since all \(V_{X,n}\) are linear, we have
and thus
\(\bigg \Vert V_{X,n}\left( f\right) -V_{n}\left( {\mathbf {1}}\right) \otimes f\left( 0\right) -\sum \limits _{i=1}^{k}V_{n}\left( p_{i}\right) \otimes \frac{\partial f}{\partial t_{i}}\left( 0\right) -\frac{1}{2} \sum \limits _{i,j=1}^{k}V_{n}\left( p_{i}p_{j}\right) \otimes \)\(\frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}}\left( 0\right) \bigg \Vert \)
For every \(i=1,\ldots ,k\), let \(U_{n,i}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be the operator defined by \(U_{n,i}\left( f\right) =\frac{ V_{n}\left( p_{i}^{2}\cdot f\right) }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }\). We have \(\left\| U_{n,i}\left( {\mathbf {1}} \right) \right\| =1\) (see the hypothesis (i)) and by the hypothesis (ii), \( \lim \limits _{n\rightarrow \infty }U_{n,i}\left( \varphi _{i}\right) =\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}^{2}\cdot \varphi _{i}\right) }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly. Since \(g\left( 0\right) =0\) from Theorem 1, we deduce that \(\lim \limits _{n\rightarrow \infty }U_{n,i}\left( g\right) =0\) uniformly, or \(\lim \limits _{n\rightarrow \infty }\frac{V_{n}\left( p_{i}^{2}\cdot g\right) }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly. From Corollary 2, it follows that for every \(f\in C\left( \Lambda _{k},X\right) \), we have \(\lim \limits _{n\rightarrow \infty } \left[ U_{X,n,i}\left( f\right) -U_{n,i}\left( {\mathbf {1}}\right) \otimes f\left( 0\right) \right] =0\) uniformly. In particular, \(\lim \limits _{n \rightarrow \infty }\left[ U_{X,n,i}\left( g\right) -U_{n,i}\left( {\mathbf {1}} \right) \otimes g\left( 0\right) \right] =0\) uniformly; that is, since \( g\left( 0\right) =0\), \(\lim \limits _{n\rightarrow \infty }U_{X,n,i}\left( g\right) =0\) uniformly. By Remark 1, this is equivalent to \(\lim \limits _{n\rightarrow \infty }\frac{\left\| V_{X,n}\left( p_{i}^{2}\otimes g\right) \right\| }{\left\| V_{n}\left( p_{i}\right) \right\| }=0\). This means that \(\forall \varepsilon >0\), \( \exists n_{\varepsilon }\in {\mathbb {N}}\) such that \(\forall n\ge n_{\varepsilon }\), \(\forall i=1,\ldots ,k\), we have \(\frac{\left\| V_{n}\left( p_{i}^{2}\otimes g\right) \right\| }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }<\varepsilon \). Then from (3), we deduce that \( \forall \varepsilon >0\), \(\exists n_{\varepsilon }\in {\mathbb {N}}\) such that \( \forall n\ge n_{\varepsilon }\), we have
which ends the proof. \(\square \)
Corollary 10
Let \( V_{n}:C\left( \Lambda _{k}\right) \rightarrow C\left( K\right) \) be a sequence of positive linear operators with the following properties:
-
(i)
for every \(i=1,\ldots ,k\) and every \(n\in {\mathbb {N}}\), \(V_{n}\left( p_{i}^{2}\right) \ne 0\);
-
(ii)
for every \(i,j=1,\ldots ,k\), we have \(\lim \limits _{n\rightarrow \infty } \frac{\left\| V_{n}\left( p_{i}^{2}p_{j}\right) \right\| }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\). Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{V_{X,n}\left( f\right) \left( {\mathbf {t}}\right) -V_{n}\left( {\mathbf {1}}\right) \left( {\mathbf {t}}\right) f\left( 0\right) -\sum \limits _{i=1}^{k}V_{n}\left( p_{i}\right) \left( {\mathbf {t}}\right) \frac{\partial f}{\partial t_{i}}\left( 0\right) -\frac{1}{ 2}\sum \limits _{i,j=1}^{k}V_{n}\left( p_{i}p_{j}\right) \left( {\mathbf {t}} \right) \frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}}\left( 0\right) }{ \sum \limits _{i=1}^{k}\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0 \end{aligned}$$uniformly with respect to \(\mathbf {t=}\left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}\).
Proof
The function \(s:\Lambda _{k}\rightarrow \left[ 0,\infty \right) \), \(s\left( t_{1},\ldots ,t_{k}\right) =t_{1}+\cdot \cdot \cdot +t_{k}\), is continuous and \( s\left( t_{1},\ldots ,t_{k}\right) >0\), \(\forall \left( t_{1},\ldots ,t_{k}\right) \in \Lambda _{k}-\left\{ \left( 0,\ldots ,0\right) \right\} \). Since \( s=p_{1}+\cdot \cdot \cdot +p_{k}\), for every \(i=1,\ldots ,k\), \(V_{n}\left( p_{i}^{2}s\right) =\sum \limits _{j=1}^{n}V_{n}\left( p_{i}^{2}p_{j}\right) \), \(\forall n\in {\mathbb {N}}\), and from (ii), \(\lim \limits _{n\rightarrow \infty } \frac{V_{n}\left( p_{i}^{2}s\right) }{\left\| V_{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly. We apply Theorem 4. \(\square \)
7 The First Asymptotic Evaluation for Multivariate Cesàro and Volterra Type Operators
To avoid repetition in this section, we consider \(k\ge 2\) a natural number. A typical element in \({\mathbb {R}}^{k}\) will be denoted either by \( \left( t_{1},\ldots ,t_{k}\right) \), or \({\mathbf {t}}\); if \({\mathbf {s}},{\mathbf {t}} \in {\mathbb {R}}^{k}\), we define \({{\mathbf {s}}}{{\mathbf {t}}}=\left( s_{1}t_{1},\ldots ,s_{k}t_{k}\right) \). In the study of the Volterra type operators will appear the function \(P:{\mathbb {R}}^{k}\rightarrow {\mathbb {R}}\), \(P\left( {\mathbf {t}}\right) =t_{1}\cdot \cdot \cdot t_{k}\); we need the relations \(P\left( {{\mathbf {s}}}{{\mathbf {t}}}\right) =P\left( {\mathbf {s}}\right) P\left( {\mathbf {t}}\right) \), \(p_{i}\left( {{\mathbf {s}}}{{\mathbf {t}}}\right) =p_{i}\left( {\mathbf {s}} \right) p_{i}\left( {\mathbf {t}}\right) \), \(\forall {\mathbf {s}},{\mathbf {t}}\in {\mathbb {R}}^{k}\), \(i=1,\ldots ,k\). Also X is a real Banach space. \(\Lambda _{k}\subset \left[ 0,1\right] ^{k}\) is a compact Jordan measurable set such that \(\lambda _{k}\left( \Lambda _{k}\right) >0\), \(\lambda _{k}\) is the Lebesgue k-dimensional measure, \(0\in \Lambda _{k}\), 0 is an accumulation point of \(\Lambda _{k}\), and \(D\subset {\mathbb {R}}^{k}\) is an open set such that \(\Lambda _{k}\subset D\). We suppose moreover that \(\forall {\mathbf {s}},{\mathbf {t}}\in \Lambda _{k}\), we have \({{\mathbf {s}}}{{\mathbf {t}}}\in \Lambda _{k}\) . For \(\varphi :\Lambda _{k}\rightarrow \left[ 0,\infty \right) \) a continuous function such that \(\int _{\Lambda _{k}}\varphi \left( {\mathbf {s}} \right) {{\mathbf {d}}}{{\mathbf {s}}}>0\), we define
Proposition 1
Let \(\varphi :\Lambda _{k}\rightarrow \left[ 0,\infty \right) \) be a continuous function such that \(\int _{\Lambda _{k}}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}>0\). Then \( 0<\int _{\Lambda _{k}}s_{i}s_{j}\varphi \left( {\mathbf {s}}\right) \mathbf {ds<} \int _{\Lambda _{k}}s_{i}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}\) for all \(i,j=1,\ldots ,k\).
Proof
Let us suppose, for example, that \(\int _{\Lambda _{k}}s_{1}s_{2}\varphi \left( {\mathbf {s}}\right) \mathbf {ds\ge }\int _{\Lambda _{k}}s_{1}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}\), or \(\int _{\Lambda _{k}}s_{1}\left( 1-s_{2}\right) \varphi \left( {\mathbf {s}}\right) \mathbf {ds\le 0}\). Since \( \Lambda _{k}\subset \left[ 0,1\right] ^{k}\), we have \(s_{1}\left( 1-s_{2}\right) \ge 0\), \(\forall {\mathbf {s}}\in \Lambda _{k}\), and from \( s_{1}\left( 1-s_{2}\right) \varphi \left( {\mathbf {s}}\right) \ge 0\), we get \( \int _{\Lambda _{k}}s_{1}\left( 1-s_{2}\right) \varphi \left( {\mathbf {s}} \right) {{\mathbf {d}}}{{\mathbf {s}}}=0\). Then it follows that \(s_{1}\left( 1-s_{2}\right) \varphi \left( {\mathbf {s}}\right) =0\), for \(\lambda _{k}\)-almost all \(\mathbf { s}\in \Lambda _{k}\); i.e., \(\varphi \left( {\mathbf {s}}\right) =0\) for \(\lambda _{k}\)-almost all \({\mathbf {s}}\in \Lambda _{k}\). Then \(\left( L\right) \int _{\Lambda _{k}}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}=0\) (the Lebesgue integral). Since \(\varphi \) is continuous, as is well known, \( \left( L\right) \int _{\Lambda _{k}}\varphi \left( {\mathbf {s}}\right) \mathbf { ds}=\int _{\Lambda _{k}}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}\) and thus \(\int _{\Lambda _{k}}\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}=0\), which is impossible. \(\square \)
Corollary 11
Let \({\mathcal {C}} _{X,\varphi }:C\left( \Lambda _{k},X\right) \rightarrow C\left( \Lambda _{k},X\right) \) be the multivariate Cesàro type operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where \( L=\max \limits _{1\le i\le k}\alpha _{i}\), \(A=\left\{ 1\le i\le k\mid \alpha _{i}=L\right\} \).
Proof
Let \(\beta \ge 0\). For every \(i=1,\ldots ,k\), by induction on n, we can prove that \({\mathcal {C}}_{\varphi }^{n}\left( p_{i}^{\beta }\right) =\lambda _{i\beta }^{n}p_{i}^{\beta }\), \(\forall n\in {\mathbb {N}}\), where \(\lambda _{i\beta }=\int _{\Lambda _{k}}s_{i}^{\beta }\varphi \left( {\mathbf {s}}\right) {{\mathbf {d}}}{{\mathbf {s}}}\). In particular,
Let \(i,j=1,\ldots ,k\). By induction on n, we can prove that \({\mathcal {C}} _{\varphi }^{n}\left( p_{i}p_{j}\right) =\beta _{ij}^{n}\cdot p_{i}p_{j}\), \( \forall n\in {\mathbb {N}}\). For all \(n\in {\mathbb {N}}\), we have \(\frac{ \left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}\cdot p_{j}\right) \right\| }{\left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}\right) \right\| }=\left( \frac{\beta _{ij}}{\alpha _{i}}\right) ^{n}\), and since by Proposition 1, \(0<\frac{ \beta _{ij}}{\alpha _{i}}<1\), we obtain \(\lim \limits _{n\rightarrow \infty } \frac{\left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}\cdot p_{j}\right) \right\| }{\left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}\right) \right\| }=0\). By Corollary 4, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\); that is,
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\). Let us observe that for every \(i\notin A\), \(0<\alpha _{i}<L\), which gives us that \( \lim \limits _{n\rightarrow \infty }\frac{\alpha _{i}^{n}}{L^{n}} =\lim \limits _{n\rightarrow \infty }\left( \frac{\alpha _{i}}{L}\right) ^{n}=0 \). Then \(\lim \limits _{n\rightarrow \infty }\frac{\sum \limits _{i=1}^{k}\alpha _{i}^{n}}{L^{n}}=card\left( A\right) +\lim \limits _{n\rightarrow \infty }\sum \limits _{i\notin A}\left( \frac{ \alpha _{i}}{L}\right) ^{n}=card\left( A\right) \). We deduce that
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\). Since
and, as we already observed, \(\lim \limits _{n\rightarrow \infty }\frac{\alpha _{i}^{n}}{L^{n}}=0\), \(\forall i\notin A\), we obtain the evaluation from the statement. \(\square \)
Corollary 12
Let \({\mathcal {C}}_{X}:C\left( \left[ 0,1\right] ^{k},X\right) \rightarrow C\left( \left[ 0,1\right] ^{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\).
Proof
With the same notation as in Corollary 11, \(\alpha =\int _{ \left[ 0,1\right] ^{k}}1{{\mathbf {d}}}{{\mathbf {s}}}=1\), \(\alpha _{i}=\int _{\left[ 0,1\right] ^{k}}s_{i}{{\mathbf {d}}}{{\mathbf {s}}}=\frac{1}{2}=L\) and \(A=\left\{ 1\le i\le k\mid \alpha _{i}=L\right\} =\left\{ 1,\ldots ,k\right\} \). \(\square \)
Corollary 13
Let \(T_{k}=\left\{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}}^{k}\mid s_{1}\ge 0,\ldots ,s_{k}\ge 0,s_{1}+\cdot \cdot \cdot +s_{k}\le 1\right\} \) and \({\mathcal {C}}_{X}:C\left( T_{k},X\right) \rightarrow C\left( T_{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in T_{k}\).
Proof
We will use that if \(T_{a,k}=\left\{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}}^{k}\mid s_{1}\ge 0,\ldots ,s_{k}\ge 0,s_{1}+\cdot \cdot \cdot \right. \)\(\left. +s_{k}\le a\right\} \), then \(\lambda _{k}\left( T_{a,k}\right) =\frac{a^{k}}{ k!}\), \(a>0\). With the same notation as in Corollary 11, \(\alpha =\frac{1}{k! }\), \(\alpha _{i}=\alpha _{1}=\int _{T_{k}}s_{1}{{\mathbf {d}}}{{\mathbf {s}}} =\int _{0}^{1}s_{1}\mathrm{d}s_{1}\int _{T_{1-s_{1},k-1}}\mathrm{d}s_{2}\cdot \cdot \cdot \mathrm{d}s_{k}= \frac{1}{\left( k-1\right) !}\int _{0}^{1}s_{1}\left( 1-s_{1}\right) ^{k-1}\mathrm{d}s_{1}=\frac{1}{\left( k+1\right) !}=L\) and \(A=\left\{ i\mid \alpha _{i}=L\right\} =\left\{ 1,\ldots ,k\right\} \). \(\square \)
Corollary 14
Let \(S_{k}^{+}=\left\{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}}^{k}\mid s_{1}\ge 0,\ldots ,s_{k}\ge 0,s_{1}^{2}+\cdot \cdot \cdot +s_{k}^{2}\le 1\right\} \) and \({\mathcal {C}} _{X}:C\left( S_{k},X\right) \rightarrow C\left( S_{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
\(\Gamma \) is the gamma function of Euler.
Proof
We will use that if \(a>0\), \(S_{a,k}=\left\{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}}^{k}\mid s_{1}^{2}+\cdot \cdot \cdot +s_{k}^{2}\le a^{2}\right\} \), then \(\lambda _{k}\left( S_{a,k}\right) =\frac{\pi ^{\frac{k }{2}}a^{k}}{\Gamma \left( \frac{k}{2}+1\right) }\) and thus \(\lambda _{k}\left( S_{k}^{+}\right) =\frac{1}{2^{k}}\lambda _{k}\left( S_{1,k}\right) =\frac{\pi ^{\frac{k}{2}}}{2^{k}\Gamma \left( \frac{k}{2} +1\right) }\). With the same notation as in Corollary 11, \(\alpha =\frac{\pi ^{\frac{k}{2}}}{2^{k}\Gamma \left( \frac{k}{2}+1\right) }\), \(\alpha _{i}=\alpha _{1}=\int _{S_{k}^{+}}s_{1}{{\mathbf {d}}}{{\mathbf {s}}}=\int _{0}^{1}s_{1}\mathrm{d}s_{1} \int _{s_{2}\ge 0,\ldots ,s_{k}\ge 0,s_{2}^{2}+\cdot \cdot \cdot +s_{k}^{2}\le 1-s_{1}^{2}}\mathrm{d}s_{2}\cdot \cdot \cdot \mathrm{d}s_{k}=\frac{\pi ^{\frac{k-1}{2}}}{ 2^{k-1}\Gamma \left( \frac{k-1}{2}+1\right) }\int _{0}^{1}s_{1}\left( 1-s_{1}^{2}\right) ^{\frac{k-1}{2}}\mathrm{d}s_{1}=\frac{\pi ^{\frac{k-1}{2}}}{ 2^{k-1}\left( k+1\right) \Gamma \left( \frac{k-1}{2}+1\right) }=L\). Thus \( A=\left\{ i\mid \alpha _{i}=L\right\} =\left\{ 1,\ldots ,k\right\} \). Now apply Corollary 11. \(\square \)
Corollary 15
Let \(Pir=\left\{ \left( x,y,z\right) \in {\mathbb {R}}^{3}\mid x+y\le 1,x\ge 0,y\ge 0,0\le z\le 1\right\} \) and \( {\mathcal {C}}_{X}:C\left( Pir,X\right) \rightarrow C\left( Pir,X\right) \) be the trivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at \(\left( 0,0,0\right) \), we have
uniformly with respect to \(\left( t_{1},t_{2},t_{3}\right) \in Pir\).
Proof
By taking \(\varphi =1\) in Corollary 11, we have
In this case \(\max \limits _{1\le i\le 3}\alpha _{i}=\frac{1}{4}=L\), \( A=\left\{ 1\le i\le 3\mid \alpha _{i}=\frac{1}{4}\right\} =\left\{ 3\right\} \). We apply Corollary 11. \(\square \)
Corollary 16
Let \(\Sigma =\left\{ \left( x,y,z\right) \in {\mathbb {R}}^{3}\mid x^{2}+y^{2}\le 1,x\ge 0,y\ge 0,0\le z\le 1\right\} \) and \({\mathcal {C}}_{X}:C\left( \Sigma ,X\right) \rightarrow C\left( \Sigma ,X\right) \) be the trivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at \(\left( 0,0,0\right) \), we have
uniformly with respect to \(\left( t_{1},t_{2},t_{3}\right) \in \Sigma \).
Proof
By taking \(\varphi =1\) in Corollary 11, we have \(\alpha =\iiint _{\Sigma }1\mathrm{d}x\mathrm{d}y\mathrm{d}z=\frac{\pi }{4}\),
In this case \(\max \limits _{1\le i\le 3}\alpha _{i}=\frac{\pi }{8}=L\), \( A=\left\{ i\mid \alpha _{i}=\frac{\pi }{8}\right\} =\left\{ 3\right\} \). We apply Corollary 11. \(\square \)
Corollary 17
Let \({\mathcal {V}} _{X,\varphi }:C\left( \Lambda _{k},X\right) \rightarrow C\left( \Lambda _{k},X\right) \) be the multivariate Volterra type operator defined by
Suppose that for every \(i,j=1,\ldots ,k\), we have \(\lim \limits _{n\rightarrow \infty }\frac{\prod \limits _{m=0}^{n-1}\int _{\Lambda _{k}}s_{i}s_{j}\varphi \left( {\mathbf {s}}\right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}s}{ \prod \limits _{m=0}^{n-1}\int _{\Lambda _{k}}s_{i}\varphi \left( {\mathbf {s}} \right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}}=0\). Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where \( a_{n}=\prod \limits _{m=0}^{n-1}\int _{\Lambda _{k}}\varphi \left( {\mathbf {s}} \right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}\), \(b_{ni}=\prod \limits _{m=0}^{n-1}\int _{\Lambda _{k}}s_{i}\varphi \left( {\mathbf {s}}\right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}\), \(i=1,\ldots ,k\).
Proof
By induction (on n), we can prove that for every \(n\in {\mathbb {N}}\), we have
Let \(i,j=1,\ldots ,k\). By the hypothesis, \(\lim \limits _{n\rightarrow \infty } \frac{\left\| {\mathcal {V}}_{\varphi }^{n}\left( p_{i}\cdot p_{j}\right) \right\| }{\left\| {\mathcal {V}}_{\varphi }^{n}\left( p_{i}\right) \right\| }=0\). From Corollary 9 we obtain
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\). After some simple calculations we get the statement. \(\square \)
Corollary 18
Let \({\mathcal {V}} _{X}:C\left( \left[ 0,1\right] ^{k},X\right) \rightarrow C\left( \left[ 0,1 \right] ^{k},X\right) \) be the multivariate Volterra operator defined by
Then for every function \(f:D\rightarrow X\) differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\) and thus
Proof
With the same notation as in Corollary 17, we have \(\int _{\left[ 0,1\right] ^{k}}P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}=\frac{1}{\left( m+1\right) ^{k}}\), \(a_{n}=\frac{1}{\left( n!\right) ^{k}}\) and \(\int _{\left[ 0,1\right] ^{k}}s_{i}P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}=\frac{1}{ \left( m+1\right) ^{k-1}\left( m+2\right) }\), \(b_{ni}=\frac{1}{\left( n!\right) ^{k}\left( n+1\right) }\). By Corollary 17 we deduce that
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\); that is,
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\). The second part is obvious. \(\square \)
8 The Second Asymptotic Evaluation for Multivariate Cesàro and Volterra Type Operators
Corollary 19
Let \({\mathcal {C}} _{X,\varphi }:C\left( \Lambda _{k},X\right) \rightarrow C\left( \Lambda _{k},X\right) \) be the multivariate Cesàro type operator defined by
Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where \(M=\max \limits _{1\le i\le k}\beta _{ii}\) and
Proof
We know from the proof of Corollary 11 that
where \(\lambda _{i3}=\int _{\Lambda _{k}}s_{i}^{3}\varphi \left( {\mathbf {s}} \right) {{\mathbf {d}}}{{\mathbf {s}}}\). For \(i,j=1,\ldots ,k\), we have
where \(\theta _{ij}=\int _{\Lambda _{k}}s_{i}^{2}s_{j}\varphi \left( \mathbf {s }\right) {{\mathbf {d}}}{{\mathbf {s}}}\). For every \(i,j=1,\ldots ,k\), by Proposition 1, \(0<\frac{\theta _{ij}}{\beta _{ii}}<1\), and thus \(\lim \limits _{n\rightarrow \infty }\frac{\left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}^{2}p_{j}\right) \right\| }{ \left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}^{2}\right) \right\| } =\lim \limits _{n\rightarrow \infty }\left( \frac{\theta _{ij}}{\beta _{ii}} \right) ^{n}=0\). Then, by Corollary 10, \( \lim \limits _{n\rightarrow \infty }\frac{{\mathcal {C}}_{X,\varphi }^{n}\left( f\right) \left( {\mathbf {t}}\right) -P_{n,2}f\left( {\mathbf {t}}\right) }{ \sum \limits _{i=1}^{k}\left\| {\mathcal {C}}_{\varphi }^{n}\left( p_{i}^{2}\right) \right\| }=0\) uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where
Thus
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\). This gives us the statement, because \(\lim \limits _{n\rightarrow \infty }\frac{ \sum \limits _{i=1}^{k}\beta _{ii}^{n}}{M^{n}}=card\left( I\right) \), where \( I=\left\{ 1\le i\le k\mid \beta _{ii}=M\right\} \). \(\square \)
Corollary 20
Let \({\mathcal {C}}_{X}:C\left( \left[ 0,1\right] ^{k},X\right) \rightarrow C\left( \left[ 0,1\right] ^{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\).
Proof
For \(\varphi ={\mathbf {1}}\) in Corollary 19, we have \(\lim \limits _{n \rightarrow \infty }\frac{{\mathcal {C}}_{X}^{n}\left( f\right) \left( \mathbf {t }\right) -P_{n,2}\left( f\right) \left( {\mathbf {t}}\right) }{M^{n}}=0\) uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\), where \(M=\max \limits _{1\le i\le k}\beta _{ii}\) and
In this case \(\alpha =\int _{ \left[ 0,1\right] ^{k}}1{{\mathbf {d}}}{{\mathbf {s}}}=1\),
We obtain
From these relations we easily obtain the statement. \(\square \)
Corollary 21
Let \(T_{k}=\left\{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}}^{k}\mid s_{1}\ge 0,\ldots ,s_{k}\ge 0,s_{1}+\cdot \cdot \cdot +s_{k}\le 1\right\} \) and \({\mathcal {C}} _{X}:C\left( T_{k},X\right) \rightarrow C\left( T_{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
Proof
For \(a>0\) let \(T_{a,k}=\big \{ \left( s_{1},\ldots ,s_{k}\right) \in {\mathbb {R}} ^{k}\mid s_{1}\ge 0,\ldots ,s_{k}\ge 0,s_{1}+\cdot \cdot \cdot +s_{k}\le a\big \} \). We have shown in the proof of Corollary 13 that \(\alpha =\frac{1}{k!}\), \(\alpha _{i}=\frac{1}{\left( k+1\right) !}\). In addition,
Also
We have used that
From Corollary 19 we have
uniformly with respect to \({\mathbf {t}}\in T_{k}\), where \(M=\max \limits _{1\le i\le k}\beta _{ii}=\frac{2}{\left( k+2\right) !}\) and
To finish the proof, let us note that
where \(A=\sum \limits _{i=1}^{k}t_{i}\frac{\partial f}{\partial t_{i}}\left( 0\right) \), \(B=\frac{1}{2}\sum \limits _{i=1}^{k}t_{i}^{2}\frac{\partial ^{2}f }{\partial t_{i}^{2}}\left( 0\right) \), \(C=\frac{1}{2}\sum \limits _{i,j=1,i \ne j}^{k}t_{i}t_{j}\frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}} \left( 0\right) \). \(\square \)
Corollary 22
Let \({\mathcal {V}}_{X,\varphi }:C\left( \Lambda _{k},X\right) \rightarrow C\left( \Lambda _{k},X\right) \) be the multivariate Volterra type operator defined by
Let us suppose that \(\lim \limits _{n\rightarrow \infty }\frac{ \prod \limits _{m=1}^{n-1}\int _{\Lambda _{k}}s_{i}^{2}s_{j}\varphi \left( {\mathbf {s}}\right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}}{ \prod \limits _{m=0}^{n-1}\int _{\Lambda _{k}}s_{i}^{2}\varphi \left( {\mathbf {s}} \right) P^{m}\left( {\mathbf {s}}\right) \mathrm{d}{\mathbf {s}}}=0\) for every \(i,j=1,\ldots ,k\). Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where
Proof
Let \(\beta \ge 0\). For every \(i=1,\ldots ,k\), by induction on n, we have
Let \(i,j=1,\ldots ,k\). For every \(n\in {\mathbb {N}}\), we have
and by the hypothesis, \(\lim \limits _{n\rightarrow \infty }\frac{\left\| {\mathcal {V}}_{\varphi }^{n}\left( p_{i}^{2}p_{j}\right) \right\| }{ \left\| {\mathcal {V}}_{\varphi }^{n}\left( p_{i}^{2}\right) \right\| }=0\) . From Corollary 10, for every function \(f:D\rightarrow {\mathbb {R}}\) twice differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \Lambda _{k}\), where
By simple calculation, we deduce that
which completes the proof. \(\square \)
Corollary 23
Let \({\mathcal {V}}_{X}:C\left( \left[ 0,1\right] ^{k},X\right) \rightarrow C\left( \left[ 0,1\right] ^{k},X\right) \) be the multivariate Cesàro operator defined by
Then for every function \(f:D\rightarrow X\) twice differentiable at 0, we have
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\), where \( A=\sum \limits _{i=1}^{k}t_{i}\frac{\partial f}{\partial t_{i}}\left( 0\right) \), \(B=\sum \limits _{i=1}^{k}t_{i}^{2}\frac{\partial ^{2}f}{\partial t_{i}^{2}} \left( 0\right) \) and thus \(\lim \limits _{n\rightarrow \infty }\left( n!\right) ^{k}\left( n+1\right) \left( n+2\right) \left( {\mathcal {V}}^{n}\left( f\right) \left( {\mathbf {t}} \right) -f\left( 0\right) \frac{\left( t_{1}t_{2}\cdot \cdot \cdot t_{k}\right) ^{n}}{\left( n!\right) ^{k}}-\sum \limits _{i=1}^{k}\frac{ \partial f}{\partial t_{i}}\left( 0\right) \frac{t_{i}\left( t_{1}t_{2}\cdot \cdot \cdot t_{k}\right) }{\left( n+1\right) \left( n!\right) ^{k}}\right) \)
Proof
Take \(\varphi =1\) in Corollary 22. With the same notation, we have
and similarly,
and
From Corollary 22, we have
uniformly with respect to \({\mathbf {t}}\in \left[ 0,1\right] ^{k}\), where
and \(A=\sum \limits _{i=1}^{k}t_{i}\frac{\partial f}{\partial t_{i}}\left( 0\right) \), \(B=\sum \limits _{i=1}^{k}t_{i}^{2}\frac{\partial ^{2}f}{\partial t_{i}^{2}}\left( 0\right) \), \(C=\frac{1}{2}\sum \limits _{i,j=1,i\ne j}^{k}t_{i}t_{j}\frac{\partial ^{2}f}{\partial t_{i}\partial t_{j}}\left( 0\right) \). From these relations, we get the first part of the conclusion. The second part is obvious. \(\square \)
References
Altomare, F., Campiti, M.: Korovkin-Type Approximation Theory and its Applications. de Gruyter Studies in Mathematics, vol. 17. Walter de Gruyter & Co., Berlin (1994)
Bourbaki, N.: Functions of a real variable: elementary theory, Trans. from the 1976 French original by Philip Spain, Berlin, Springer (1976)
Cartan, H.: Calcul Differentiel. Hermann, Paris (1967)
Defant, A., Floret, K.: Tensor Norms and Operator Ideals. North-Holland Math. Studies, vol. 176. North-Holland Publishing Co., Amsterdam (1993)
Diestel, J., Uhl, J.J.: Vector Measures. Mathematical Surveys, No. 15. American Mathematical Society, Providence (1977)
Galaz Fontes, F., Solís, F.J.: Iterating the Ces àro operators. Proc. Am. Math. Soc. 136, 2147–2153 (2008)
Gavrea, I., Ivan, M.: The iterates of positive linear operators preserving constants. Appl. Math. Lett. 24, 2068–2071 (2011)
Karlin, S., Ziegler, Z.: Iteration of positive approximation operators. J. Approx. Theory 3, 310–339 (1970)
Kelisky, R.P., Rivlin, T.J.: Iterates of Bernstein polynomials. Pac. J. Math. 21, 511–520 (1967)
Lomeli, H.E., Garcia, C.L.: Variations on a Theorem of Korovkin. Am. Math. Mon. 113, 744–750 (2006)
Niculescu, C.P.: An overview of absolute continuity and its applications, Inequalities and applications. Internat. Ser. Numer. Math., vol. 157, pp. 201–214. Birkhäuser, Basel (2009)
Ryan, R.A.: Introduction to Tensor Products of Banach Spaces. Springer Monographs in Mathematics. Springer, London (2002)
Acknowledgements
We would like to express our gratitude to the two reviewers for their very careful reading of the manuscript and their many valuable and constructive comments that have improved the final version of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Wolfgang Dahmen.
Rights and permissions
About this article
Cite this article
Popa, D. Asymptotic Evaluations for Some Sequences of Positive Linear Operators. Constr Approx 50, 293–321 (2019). https://doi.org/10.1007/s00365-018-9449-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-018-9449-z
Keywords
- Korovkin approximation theorem
- Positive linear operators
- Asymptotic evaluations for univariate and multivariate positive operators
- Iterates
- Cesàro and Volterra operator