Approximation by Complex Meyer-König and Zeller Operators

Qiulan Qi, Jianshuo Ma

School of Mathematical Sciences, Hebei Normal University, Shijiazhuang, China.

DOI: 10.4236/apm.2020.101001                

Abstract

The Meyer-König and Zeller operator is one of the most challenging operators. Sometimes the study of its properties will rely on the weighted approximation by Baskakov operator. In this paper, this relation is extended to complex space; the quantitative estimates and the Voronovskaja type results for analytic functions by complex Meyer-König and Zeller operators were obtained.

Keywords

Complex Meyer-König and Zeller Operators, Complex Baskakov Operators, Voronovskaja Type Result, Analytic Function

1. Introduction

The well known Meyer-König and Zeller operators are defined for functions $f\left(x\right)\in C\left[\mathrm{0,1}\right)$ by [1] - [7]

$M_n\left(f,x\right)={\displaystyle \underset{k=0}{\overset{\infty }{\sum }}}f\left(\frac{k}{n+k}\right)m_{n,k}\left(x\right),$

where $m_{n\mathrm{,}k}\left(x\right)=\left(\begin{array}{c}n+k\\ k\end{array}\right)x^k{\left(1-x\right)}^{n+1}$.

The Meyer-König and Zeller operators [1] - [7], the Durrmeyer-type [8] - [15] have been the object of several investigations in approximation theory. The estimation of moments, the direct and inverse approximation properties were studied. Recently, many new modified types [12] - [19] have been constructed for different function spaces. Gal, Mahmudov, Opris etc. [16] [17] [18] [19] obtained the quantitative approximation estimates by complex Bernstein-type, Szász-type operators in compact disks.

The goal of this paper is to extend the results to complex Meyer-König and Zeller operators defined as follows: For analytic functions $f\mathrm{<mo>\; :\; </mo>}{\bar{D}}_R\cup \left[R\mathrm{,1}\right)\to C\mathrm{,0}\le R<1$,

$M_n\left(f,z\right)={\displaystyle \underset{k=0}{\overset{\infty }{\sum }}}f\left(\frac{k}{n+k}\right)m_{n,k}\left(z\right),$

where $m_{n,k}\left(z\right)=\left(\begin{array}{c}n+k\\ k\end{array}\right)z^k{\left(1-z\right)}^{n+1},D_R=\left\{z\in C:\left|z\right|<R\right\}$.

We will obtain the following estimates for the complex Meyer-König and Zeller operators.

Theorem 1. Suppose that $f\mathrm{<mo>\; :\; </mo>}{\bar{D}}_R\cup \left[R\mathrm{,1}\right)\to C$ is analytic in ${\bar{D}}_R$ and continuous in $\left[R\mathrm{,1}\right)$, that is, $f\left(z\right)={\displaystyle \underset{p=0}{\overset{\infty }{\sum }}}{c}_p{z}^p$, for all $z\in {\bar{D}}_R$. Let $\sqrt{2}-1\le r<R<1$, for all $\left|z\right|\le r$ and $n\ge 2$, we have

$\left|M_n\left(f\mathrm{,}z\right)-f\left(z\right)\right|\le \frac{M_r\left(f\right)}{n}\mathrm{,}$

where $M_r\left(f\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_p\right|\left(2p\right)!r^{p-1}<+\infty$.

Theorem 2. Under the conditions of Theorem 1, for all $\left|z\right|\le r$ and $n\ge 2$, we have the following Voronovskaja type results

$\left|M_n\left(f,z\right)-f\left(z\right)-\frac{z}{2n}{f}^{″}\left(z\right)\right|\le \frac{N_r\left(f\right)}{n^2},$

where

1) $N_r\left(f\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_{p+1}\right|5p^2\left(2p\right)!r^{p-1}<+\infty$, for $\sqrt{2}-1\le r\le \frac{\sqrt{5}-1}{2}$ ;

2) $N_r\left(f\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_{p+1}\right|5p^2\left(2p\right)!r^{p+1}<+\infty$, for $\frac{\sqrt{5}-1}{2}\le r<1$.

Theorem 3. Under the hypothesis of Theorem 2, if f is not a polynomial of degree $\le 1$ and the series $N_r\left(f\right)<+\infty$, then for $\sqrt{2}-1\le r<R<1$, we have

${\Vert M_n\left(f\mathrm{,}z\right)-f\left(z\right)\Vert }_r\sim \frac{1}{n}\mathrm{,}n\in N\mathrm{,}$

here ${\Vert f\Vert }_r=\sup \left\{\left|f\left(z\right)\right|\mathrm{<mo>\; :\; </mo>}z\in D_r\right\}$.

The paper is organized as the following: In Section 2, we are going to promote the relationship between the Meyer-König and Zeller and Baskakov operators to complex space. In Section 3, we will study the approximation by the complex Baskakov operators. In Section 4, we will give the proof of Theorems 1 - 3. In Section 5, we will give the conclusion of this paper.

2. The Connection between the Complex Meyer-König and Zeller and Baskakov Operators

The proof is based on the connection between Meyer-König and Zeller and Baskakov operators. V. Totik was the first to use it [2] in the study of Meyer-König and Zeller operators, and many other afterward, see e.g. [6] [7] [8] [9] [11]. In this section, the connection will be extended to complex space. We will study a transformation $\tau$ mapping functions defined on $D_l=\left\{t\in C:\left|t-t_0\right|<l,0\le l<+\infty ,Ret>-\frac{1}{2}\right\}$ into functions defined on $D_r=\left\{z\in C:\left|z\right|<r,0\le r<1\right\}$. The operator $\tau$ will allow us to relate the results for the complex Baskakov operators to their counterparts for the complex Meyer-König and Zeller operators. We will consider variables and functions defined on $D_r$ as $z\mathrm{,}f\left(z\right)$ respectively, and their analogs defined on $D_l$, as the later will be denoted with $t\mathrm{,}g\left(t\right)$. We consider the weight functions

$w_1\left(z\right)=w_1\left({\alpha }_0,{\alpha }_1,z\right)=z^{{\alpha }_0}{\left(1-z\right)}^{{\alpha }_1},z\ne 0,1,z\in D_r$

defined for real values of the parameters ${\alpha }_0\mathrm{,}{\alpha }_1\in \left[-\mathrm{1,0}\right]$. We will utilize the change $\sigma \mathrm{<mo>\; :\; </mo>}{D}_r\to D_l$ given by

$t=\sigma \left(z\right)=\frac{z}{1-z},z\in D_r.$

Remark 1. $\sigma :D_r=\left\{z\in C:\left|z\right|<r,0\le r<1\right\}\to D_l=\left\{t\in C:\left|t-t_0\right|<l,0\le l<+\infty ,Ret>-\frac{1}{2}\right\}$, where $l=\frac{r}{1-r^2}$, $t_0=\frac{r^2}{1-r^2}$. For example: $\sigma :D_{\frac{1}{2}}=\left\{z\in C:\left|z\right|<\frac{1}{2}\right\}\to D_{\frac{2}{3}}=\left\{t\in C:\left|t-\frac{1}{3}\right|<\frac{2}{3}\right\}$.

Then, its inverse change ${\sigma }^{-1}\mathrm{<mo>\; :\; </mo>}{D}_l\to D_r$ is

$z={\sigma }^{-1}\left(t\right)=\frac{t}{1+t}.$ (1)

Remark 2. From the definition of $\sigma$ and ${\sigma }^{-1}$, we have that the change $\sigma$ and ${\sigma }^{-1}$ are linear fractional transformations and conformal mappings.

A function g defined on $D_l$ is transformed to a function f defined on $D_r$ by $\tau \mathrm{<mo>\; :\; </mo>}g\to f$

$f\left(z\right)=\tau \left(g\right)\left(z\right)=\lambda \left(z\right)\left(g\circ \sigma \right)\left(z\right),\lambda \left(z\right)=1-z.$ (2)

The inverse operator ${\tau }^{-1}$ transforming a function f defined on $D_r$ to a function g defined on $D_l$ is ${\tau }^{-1}\mathrm{<mo>\; :\; </mo>}f\to g$

$g\left(t\right)={\tau }^{-1}\left(f\right)\left(t\right)=\frac{1}{\left(\lambda \circ {\sigma }^{-1}\right)\left(t\right)}\left(f\circ {\sigma }^{-1}\right)\left(t\right),t\ne -1.$ (3)

When a product of two functions is treated, that means, the associated operator $\Upsilon$ is defined by

$\Upsilon :w_1\left(z\right)=\Upsilon \left(w\right)\left(z\right)=\frac{1}{\lambda \left(z\right)}\left(w\circ \sigma \right)\left(z\right),$ (4)

and its inverse ${\Upsilon }^{-1}$ is defined by

${\Upsilon }^{-1}:w\left(t\right)={\Upsilon }^{-1}\left(w_1\right)\left(t\right)=\left(\lambda \circ {\sigma }^{-1}\right)\left(t\right)\left(w_1\circ {\sigma }^{-1}\right)\left(t\right).$

For $f=\tau \left(g\right)$, $w_1=\Upsilon \left(w\right)$, we have

$w_{1}f=\Upsilon \left(w\right)\tau \left(g\right)=\left(w\circ \sigma \right)\left(g\circ \sigma \right),$

$wg={\Upsilon }^{-1}\left(w_1\right){\tau }^{-1}\left(f\right)=\left(w_1\circ {\sigma }^{-1}\right)\left(f\circ {\sigma }^{-1}\right).$ (5)

The operators $\tau$ and $\Upsilon$ have the following properties. From the definition (1)-(3), we yield immediately.

Proposition 1. Let $F_r$, $F_l$ denote the spaces of all functions defined on $D_r$ and $D_l$ respectively. Then $\tau \mathrm{<mo>\; :\; </mo>}{F}_l\to F_r$ and ${\tau }^{-1}$ are linear operators.

Proposition 2. Let $w_1$ be a weight in $D_r$, $w={\Upsilon }^{-1}\left(w_1\right)$,

$F_{w_1}=\left\{f\in F_r:w_{1}f\in L_{\infty }\left(D_r\right)\right\};$

$F_w=\left\{g\in F_l:wg\in L_{\infty }\left(D_l\right)\right\}.$

Then the mapping $\tau \mathrm{<mo>\; :\; </mo>}{F}_w\to F_{w_1}$ is a linear correspondence with ${\Vert w_1\tau \left(g\right)\Vert }_r={\Vert wg\Vert }_l$, ${\Vert w{\tau }^{-1}\left(f\right)\Vert }_l={\Vert w_{1}f\Vert }_r\mathrm{.}$

Proof. From the definition of the mapping $\tau$ (2) and the operator $\Upsilon$ (4), combining the Proposition 1, we get the mapping $\tau \mathrm{<mo>\; :\; </mo>}{F}_w\to F_{w_1}$ is a linear correspondence.

Noting that the relation

$w_1\tau \left(g\right)\left(z\right)=\frac{1}{\lambda \left(z\right)}\left(w\circ \sigma \right)\left(z\right)\cdot \lambda \left(z\right)\left(g\circ \sigma \right)\left(z\right)=w\left(t\right)g\left(t\right)\mathrm{,}$

one can get the desired result.

The following proposition is very important, it gives the connection between the complex Meyer-König and Zeller operators and the complex Baskakov operators

$V_n\left(g,t\right)={\displaystyle \underset{k=0}{\overset{\infty }{\sum }}}g\left(\frac{k}{n}\right)v_{n,k}\left(t\right),$

where $v_{n\mathrm{,}k}\left(t\right)=\left(\begin{array}{c}n+k-1\\ k\end{array}\right)t^k{\left(1+t\right)}^{-n-k}$.

Proposition 3. For every f such that one of the series in (6) is convergent, for every $n\in N$, we have

$M_n\left(f\mathrm{,}z\right)=\tau \left(V_n\left({\tau }^{-1}\left(f\right)\right)\right)\left(z\right)\mathrm{,}z\in D_r\mathrm{.}$ (6)

Proof. From the definition of the operator $V_n\left(g\mathrm{,}t\right)\mathrm{,}{M}_n\left(f\mathrm{,}z\right)$, Proposition 1 and the identities

$\frac{n+k}{n}\tau \left(v_{n\mathrm{,}k}\right)\left(z\right)=m_{n\mathrm{,}k}\left(z\right)\mathrm{,}$

${\tau }^{-1}\left(f\right)\left(\frac{k}{n}\right)=\frac{n+k}{n}f\left(\frac{k}{n+k}\right)$

valid for $k\in N\cup \left\{0\right\}$, we have (6).

Proposition 4. Under the conditions of Proposition 3, we have

${\Vert w_1\left(M_{n}f-f\right)\Vert }_r={\Vert w\left(V_{n}g-g\right)\Vert }_l\mathrm{.}$

Proof. From Proposition 3, relations ((4), (1), (3)), we obtain for $g={\tau }^{-1}f$ and $w={\Upsilon }^{-1}{w}_1$,

$w_1\left(M_{n}f-f\right)=\left(w\left(V_{n}g-g\right)\right)\circ \sigma$

and hence

${\Vert w_1\left(M_{n}f-f\right)\Vert }_r={\Vert w\left(V_{n}g-g\right)\Vert }_l\mathrm{.}$

Remark 3. If the weight $w_1\left(z\right)=1$ (i.e. ${\alpha }_0={\alpha }_1=0$ ), the corresponding weight to $w_1\left(z\right)=1$ is $w\left(t\right)=\frac{1}{1+t}$.

Then, we have the following auxiliary results.

Lemma 2.1. Under the conditions of Proposition 3, $w_1\left(z\right)=1$, $w\left(t\right)=\frac{1}{1+t}$, we have

${\Vert M_{n}f-f\Vert }_r={\Vert w\left(t\right)\left(V_{n}g-g\right)\Vert }_l\mathrm{.}$

Lemma 2.2. [16] Denoting $e_p\left(t\right)=t^p$ and $T_{n,p}\left(t\right)=V_n\left(e_p,t\right)$, $T_{n\mathrm{,}p}\left(t\right)$ is a polynomial of degree p, $p=0,1,2,\cdots$, we have the recurrence formula

$T_{n,p+1}\left(t\right)=\frac{t\left(t+1\right)}{n}{T^{\prime }}_{n,p}\left(t\right)+t{T}_{n,p}\left(t\right).$

3. Weighted Approximation by the Complex Baskakov Operators

Theorems 1 - 3 will be proved in Section 4 by transferring the corresponding results for the complex Baskakov operators. In this section, we will prove some properties of the complex Baskakov operators. The first main result of this section is the following theorem for upper bound.

Theorem 3.1. Suppose that $g\mathrm{<mo>\; :\; </mo>}{\bar{D}}_L\cup \left[L\mathrm{,}+\infty \right)\to C$ is continuous in ${\bar{D}}_L\cup \left[L\mathrm{,}+\infty \right)$ and analytic in ${\bar{D}}_L$, i.e. $g\left(t\right)={\displaystyle \underset{p=0}{\overset{\infty }{\sum }}}{c}_p{t}^p$. Let $\frac{1}{2}\le l<L<+\infty$, for all $\left|t\right|\le l\mathrm{,}n\ge 2$, we have

${\Vert w\left(t\right)\left(V_n\left(g\mathrm{,}t\right)-g\left(t\right)\right)\Vert }_l\le \frac{M_l\left(g\right)}{n}\mathrm{,}$

where $M_l\left(g\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_p\right|\left(2p\right)!l^{p-1}<+\infty ,w\left(t\right)=\frac{1}{1+t}$.

Proof. By using the recurrence relation of Lemma 2.2, for all $t\in C,p=0,1,2,\cdots ,n\ge 2$, we have

$T_{n,p+1}\left(t\right)=\frac{t\left(t+1\right)}{n}{T^{\prime }}_{n,p}\left(t\right)+t{T}_{n,p}\left(t\right).$

From this we immediately get the recurrence formula

$w\left(t\right)\left(T_{n,p}\left(t\right)-t^p\right)=\frac{t}{n}{\left(T_{n,p-1}\left(t\right)-t^{p-1}\right)}^{\prime }+t\left[w\left(t\right)\left(T_{n,p-1}\left(t\right)-t^{p-1}\right)\right]+\frac{p-1}{n}{t}^{p-1}.$

To estimate ${\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l$, we wil use the relation [16] p. 7:

$\left|{B^{\prime }}_k\left(t\right)\right|\le \frac{k}{l}{\Vert B_k\Vert }_l$ for all $\left|t\right|\le l$, where $B_k\left(t\right)$ is a polynomial of degree $\le k$. Then, we get

$\begin{array}{l}{\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\\ \le \frac{l}{n}{\Vert T_{n\mathrm{,}p-1}\left(t\right)-e_{p-1}\left(t\right)\Vert }_l\frac{p-1}{l}+l{\Vert w\left(t\right)\left(T_{n\mathrm{,}p-1}\left(t\right)-e_{p-1}\left(t\right)\right)\Vert }_l+\frac{p-1}{n}{l}^{p-1}\mathrm{,}\end{array}$

which implies

$\begin{array}{l}{\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\\ \le \left(\frac{3l\left(p-1\right)}{n}+l\right){\Vert w\left(t\right)\left(T_{n\mathrm{,}p-1}\left(t\right)-e_{p-1}\left(t\right)\right)\Vert }_l+\frac{p-1}{n}{l}^{p-1}\mathrm{.}\end{array}$ (7)

We will prove the following relation by mathematical induction with respect to p:

${\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\le \frac{\left(2p\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^{p-1}\mathrm{.}$

Indeed for $p=1$, ${\Vert w\left(t\right)\left(T_{n,1}\left(t\right)-e_1\left(t\right)\right)\Vert }_l=0\le \frac{2}{n}$. Suppose that it is true for $p>1$, that is,

${\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\le \frac{\left(2p\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^{p-1}\mathrm{.}$ (8)

Now for $p+1$, by the relations ((7), (8)), we have

${\Vert w\left(t\right)\left(T_{n\mathrm{,}p+1}\left(t\right)-e_{p+1}\left(t\right)\right)\Vert }_l\le \left(\frac{3lp}{n}+l\right)\frac{\left(2p\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^{p-1}+\frac{p}{n}{l}^p\mathrm{.}$

It remains to prove that for $n\ge 2$

$\left(\frac{3lp}{n}+l\right)\frac{\left(2p\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^{p-1}+\frac{p}{n}{l}^p\le \frac{\left(2\left(p+1\right)\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^p\mathrm{.}$

By mathematical induction that the last inequality holds true for all $p\ge 1$ and $n\ge 2$. From the hypothesis on g, it follows that $V_n\left(g\mathrm{,}t\right)$ is analytic in $D_l$, we write

${\Vert w\left(t\right)\left(V_n\left(g,t\right)-g\left(t\right)\right)\Vert }_l\le {\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_p\right|\cdot {\Vert w\left(t\right)\left(T_{n,p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\le {\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_p\right|\frac{\left(2p\right)!}{n}{l}^{p-1}.$

Theorem 3.2. Under the conditions of Theorem 3.1, let $\frac{1}{2}\le l<L<+\infty$, for all $\left|t\right|\le l\mathrm{,}n\ge 2$, we have the following Voronovskaja type formula

$\left|w\left(t\right)\left(V_n\left(g\mathrm{,}t\right)-g\left(t\right)-\frac{t\left(1+t\right)}{2n}{g}^{″}\left(t\right)\right)\right|\le \frac{N_l\left(g\right)}{n^2}\mathrm{,}$

where

1) for $\frac{1}{2}\le l<L<1$, $N_l\left(g\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_{p+1}\right|5p^2\left(2p\right)!l^{p-1}<+\infty$ ;

2) for $1\le l<L<+\infty$, $N_l\left(g\right)={\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_{p+1}\right|5p^2\left(2p\right)!l^{p+1}<+\infty$.

Proof. Case I. For $\frac{1}{2}\le l<L<1$, noting that $e_p\left(t\right)=t^p,p=0,1,2,\cdots$ and $T_{n,p}\left(t\right)=V_n\left(e_p,t\right)$ and $V_n\left(g,t\right)={\displaystyle {\sum }_{p=0}^{\infty }}{c}_p{V}_n\left(e_p,t\right)$, we have

$\begin{array}{l}\left|w\left(t\right)\left(V_n\left(g,t\right)-g\left(t\right)-\frac{t\left(1+t\right)}{2n}{g}^{″}\left(t\right)\right)\right|\\ \le {\displaystyle \underset{p=1}{\overset{\infty }{\sum }}}\left|c_p\right|\left|w\left(t\right)\left(T_{n,p}\left(t\right)-e_p\left(t\right)-\frac{p\left(p-1\right)\left(1+t\right)}{2n}{t}^{p-1}\right)\right|.\end{array}$

Using the recurrence relation of Lemma 2.2, we write

$T_{n,p+1}\left(t\right)=\frac{t\left(t+1\right)}{n}{T^{\prime }}_{n,p}\left(t\right)+t{T}_{n,p}\left(t\right).$

Denote that

$E_{n,p}\left(t\right)=T_{n,p}\left(t\right)-e_p\left(t\right)-\frac{p\left(p-1\right)\left(1+t\right)}{2n}{t}^{p-1}.$

Noting that $T_{n,1}\left(t\right)-e_1\left(t\right)=0$, for $p\ge 2$, we have

${E^{\prime }}_{n\mathrm{,}p}\left(t\right)=\frac{n}{t\left(1+t\right)}{T}_{n\mathrm{,}p+1}\left(t\right)-\frac{n}{1+t}{T}_{n\mathrm{,}p}\left(t\right)-p{t}^{p-1}-\frac{p^2\left(p-1\right)}{2n}{t}^{p-1}-\frac{p{\left(p-1\right)}^2}{2n}{t}^{p-2}\mathrm{.}$

By simple computation, we get

$E_{n,p+1}\left(t\right)=\frac{t\left(1+t\right)}{n}{E^{\prime }}_{n,p}\left(t\right)+t{E}_{n,p}\left(t\right)+\frac{p^2\left(p-1\right)\left(1+t\right)}{2n^2}{t}^p+\frac{p{\left(p-1\right)}^2\left(1+t\right)}{2n^2}{t}^{p-1}.$

Thus, for all $p\mathrm{,}n\in N$, $\left|t\right|<l$, $\frac{1}{2}\le l<L<1$, we have

$\left|w\left(t\right)E_{n,p+1}\left(t\right)\right|\le \frac{l\left(1+l\right)}{n}\left|w\left(t\right){E^{\prime }}_{n,p}\left(t\right)\right|+l\left|w\left(t\right)E_{n,p}\left(t\right)\right|+\frac{2p^3}{n^2}{l}^{p-1}.$ (9)

Using the estimate in the proof of Theorem 3.1, for all $p\in N\mathrm{,}n\ge 2$ and $\frac{1}{2}\le l<L<1$, we have

${\Vert w\left(t\right)\left(T_{n\mathrm{,}p}\left(t\right)-e_p\left(t\right)\right)\Vert }_l\le \frac{\left(2p\right)\mathrm{<mo>\; !\; </mo>}}{n}{l}^{p-1}\mathrm{.}$

Now we shall estimate for. Noting that is a polynomial of degree, combining the Bernstein's inequality, we have

thus,

(10)

we obtain step by step following

which follows that

where.

Case 2. For, in the proof of Case 1, the relation (9) should be changed to

and the relation (10) should be changed to

then,

4. The Proof of Theorems 1 - 3

The Proof of Theorem 1. Combining Lemma 2.1 and Theorem 3.1, we can obtain Theorem 1.

The Proof of Theorem 2. From Lemma 2.1 and Theorem 3.2, we have Theorem 2.

In what follows we obtain the exact degree in the approximation by.

Theorem 4.1. Suppose that the hypothesis on the function f and Theorem 2. If f is not a polynomial of degree and the series, then holds, where depends only on f and r.

Proof. For all, we can write

Applying the inequality, we obtain

Since f is not a polynomial of degree in, we get. Indeed, supposing the contrary, it follows that for all, which implies for all. Since f is analytic in, this means that for all, that is f is a polynomial of degree, a contradiction with the hypothesis.

Now by Theorem 2, for, we have

Choose, such that for all, we have

which implies for all,

For, we have

i.e., here.

The Proof of Theorem 3. From Lemma 2.1, Theorem 4.1 and Theorem 1, we can obtain Theorem 3.

5. Conclusion

In this paper, the properties of approximation are studied by using the general relation between the Meyer-König and Zeller and Baskakov operators. The geometric properties (the shap-preserving) of such complex operators still remain to be studied.

Acknowledgements

We thank the Editor and the referee for their comments. The work is partially supported by NSF of China (11571089, 11871191) and NSF of Hebei Province (2012205028; ZD2019053). The project supported by science foundation of Hebei Normal University.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Becker, M. and Nessel, R.J. (1978) A Global Approximation Theorem for Meyer-König and Zeller Operators. Mathematische Zeitschrift, 160, 195-206. https://doi.org/10.1007/BF01237033
[2]	Totik, V. (1983) Uniform Approximation by Baskakov and Meyer-König and Zeller Operators. Periodica Mathematica Hungarica, 14, 209-228. https://doi.org/10.1007/BF01849019
[3]	Abel, U. (1995) The Moments for the Meyer-König and Zeller Operators. Journal of Approximation Theory, 82, 352-361. https://doi.org/10.1006/jath.1995.1084
[4]	Chen, W. (1986) On the Integral Type Meyer-König and Zeller Operators. Approximation Theory and Its Applications, 2, 7-18.
[5]	Guo, S.S. and Qi, Q.L. (2007) The Moments for the Meyer-König and Zeller Operators. Applied Mathematics Letters, 20, 719-722. https://doi.org/10.1016/j.aml.2006.09.002
[6]	Gadjev, I. (2015) Strong Converse Result for Uniform Approximation by Meyer-König and Zeller Operators. Journal of Mathematical Analysis and Applications, 428, 32-42. https://doi.org/10.1016/j.jmaa.2015.03.004
[7]	Ivanov, K.G. and Parvanov, P.E. (2012) Weighted Approximation by Meyer-König and Zeller Operators. In: Nikolov, G. and Uluchev, R., Eds., Constructive Theory of Functions, Sozopol 2010, Academic Publishing House, Sofia, 150-160.
[8]	Heilmann, M. (2003) Commutativity of Durrmeyer-Type Modifications of Meyer-König and Zeller and Baskakov Operators. In: Bojanov, B.D., Ed., Constructive Theory of Functions, Varna 2002, Darba, Sofia, 295-301.
[9]	Heilmann, M. (2003) Eigenfunctions of Durrmeyer-Type Modifications of Meyer-König and Zeller and Baskakov Operators. Journal of Approximation Theory, 125, 63-73. https://doi.org/10.1016/j.jat.2003.09.006
[10]	Abel, U., Gupta, V. and Ivav, M. (2004) The Complete Asymptotic Expansion for a General Durrmeyer Variant of the Meyer-König and Zeller Operators. Mathematical and Computer Modelling, 40, 867-875. https://doi.org/10.1016/j.mcm.2004.10.016
[11]	Heilmann, M. (2006) Eigenfunctions and Eigenvalues for Some Durrmeyer-Type Operators. In: Bojanov, B.D., Ed., Constructive Theory of Functions, Varna 2005, Academic Publishing House, Sofia, 158-167.
[12]	Harun, K. (2017) Approximation by Urysohn Type Meyer-König and Zeller Operators to Urysohn Integral Operators. Results in Mathematics, 72, 1571-1583. https://doi.org/10.1007/s00025-017-0729-x
[13]	Mehmet, A. (2016) New Korovkin Type Theorem for Non-Tensor Meyer-König and Zeller Operators. Results in Mathematics, 69, 327-343. https://doi.org/10.1007/s00025-015-0472-0
[14]	Holhos, A. (2018) Weighted Approximation of Functions by Meyer-König and Zeller Operators of Max-Product Type. Numerical Functional Analysis and Optimization, 39, 689-703. https://doi.org/10.1080/01630563.2017.1413386
[15]	Zhou, G. and Cai, Q. (2019) Triangular Surface Patch Based on Bivariate Meyer-König and Zeller Operators. Open Mathematics, 17, 282-296. https://doi.org/10.1515/math-2019-0021
[16]	Gal, S.G. (2009) Approximation by Complex Bernstein and Convolution Type Operators. World Scientific Publ. Co., Singapore, Hong Kong, London. https://doi.org/10.1142/7426
[17]	Gal, S.G. (2008) Approximation and Geometric Properties of Complex Favard-Szász-Mirakjan Operators in Compact Disks. Computers & Mathematics with Applications, 56, 1121-1127. https://doi.org/10.1016/j.camwa.2008.02.014
[18]	Gal, S.G. and Gupta, V. (2014) Approximation by Complex Szász-Durrmeyer Operators in Compact Disks. Acta Mathematica Scientia, 34B, 1157-1165. https://doi.org/10.1016/S0252-9602(14)60076-X
[19]	Gal, S.G., Mahmudov, N.I. and Opris, B.D. (2016) Approximation with an Arbitrary Order by Szász, Szász-Kantorovich and Baskakov Complex Operators in Compact Disks. Azerbaijan Journal of Mathematics, 6, 3-12.