Abstract
The aim of this paper is to introduce new sequence of positive linear operators linking Gamma, Mittag-Leffler and Wright Functions. Moreover, moments of these new sequence of positive linear operators and estimate convergence results with the help of classical modulus of continuity established in this note. Also, their asymptotic formula, weighted approximation, Rate of convergence and pointwise estimation also been discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In [1], Patel introduced the sequence of positive linear operators, which connecting to the Wright function as follows
where f is real valued bounded function provided summation is convergent, and the entire function (of z)
named after the British mathematician E. M. Wright, has appeared for the first time in the case \(\rho >0\) in connection with his investigations in the asymptotic theory of partitions in [2].
Note that \(\phi (1,1;z)= I_0(2\sqrt{z})\), where \(I_n(z)=i^{-n}J_n(iz)=\dfrac{(z/2)^n}{\Gamma (1+n)} {}_{0}F_{1}\left( -;1+n;\dfrac{z^2}{4}\right) \), n not a negative integer. The function \(I_n(z)\) is called modified Bessel function of the first kind of index n. Here, \(J_n\) is Bessel function and \({}_{0}F_{1}\) is hypergeometric function. The modified function \(I_n\) is related to \(J_n\) in much the same way that the hyperbolic function are related to the trigonometric functions.
Also, note that
The Mittag-Leffler function and Wright function are solution of partial fractional differential equations. Researchers from special function have established some important results in [4,5,6] and references within. As these special functions are important and applicable in fractional differential equations, the operators (2.1) applicable in similar manner and use to approximate functions in \(L_p\) space. From time to time some new generalizations of sequence of positive linear operators were frequently introduced (see [7,8,9,10,11,12,13,14]) and studied several approximation properties.
Construction of Operators
Let \(\beta >0\) be fixed. For all \(n\in \mathbb {N}\), we introduce the Wright operators involving gamma function and Mittag-Leffler function as
where \( f\in C_B\left( [0,\infty )\right) :=\left\{ f\in C\left[ 0,\infty \right) : f \text { is bounded }\right\} \), and \(E_{\alpha ,\beta }\) is two index Mittag-Leffler function defined by Wiman [3]
Here, \(C\left[ 0,\infty \right) \) denote the space of continuous functions defined on \([0,\infty )\). Recall that the Banach lattice \(C_B\left( [0,\infty )\right) \) is endowed with the norm
One can note that, the operators \(W_n^{(\beta )}\) defined in (2.1) are linear and positive and these operators (2.1) are linking with three special functions namely gamma function, Mittag-Leffler function and Wright function.
Let \(\{b_n\}\) be a sequence of positive real numbers and let \(\beta > 0\) be fixed. For all \(n\in \mathbb {N}\), Ozarslan [15] introduced the following Mittag-Leffler operators as
In particular, \(\beta =1\), the operators \(L_n^{1}(f)\) convert into famous modified Szasz-Mirakjan operators considered in [16]. The generalization of above Mittag-Leffle operators was studied in [17, 18].
We need following lemma for further discussion.
Lemma 1
[15] Let \(\phi _x^2\left( t\right) =\left( t-x\right) ^2\), for each \(x\ge 0\) and \(n,m \in \mathbb {N}\), we have
-
1.
\( L_n^{(\beta )}(1;x)=1;\)
-
2.
\(\left| L_n^{(\beta )}(t;x)-x\right| \le \dfrac{|1-\beta |}{n};\)
-
3.
\( \left| L_n^{(\beta )}(t^2;x)-x^2\right| \le \dfrac{(2|1-\beta |+1)x}{n}+\dfrac{\left( 2(1-\beta )^2+|1-\beta |+|1-\beta ||\beta -2|\right) }{n^2}\).
By direct computations, one can state the following lemma;
Lemma 2
Let \(\phi _x^2\left( t\right) =\left( t-x\right) ^2\), for each \(x\ge 0\) and \(n,m \in \mathbb {N}\), we have
-
1.
\( W_n^{(\beta )}(1;x)=1\);
-
2.
\(\left| W_n^{(\beta )}(t;x)-x\right| \le \dfrac{|1-\beta |+1}{n}\);
-
3.
\( \left| W_n^{(\beta )}(t^2;x)-x^2\right| \le \dfrac{2(|1-\beta |+2)}{n}x+ \dfrac{2|1-\beta |^2+|1-\beta |+4|1-\beta ||\beta -2|+2}{n^2}\);
-
4.
\( W_n^{(\beta )}((t-x)^2;x)\le \dfrac{(4|1-\beta |+6)}{n}x+ \dfrac{2|1-\beta |^2+|1-\beta |+4|1-\beta ||\beta -2|+2}{n^2}\).
Proof
We note that
Now,
Hence,
Similarly, by \(k(k-1)=(k+\beta -1)(k+\beta -2)+2(1-\beta )k+(1-\beta )(\beta -2)\) and \(\Gamma (k+\beta )=(k+\beta -1)(k+\beta -2)\Gamma (k+\beta -2)\), we get
Now,
Finally,
\(\square \)
Lemma 3
Let \(h \in C_B\left( [0,\infty )\right) \). Then, we have
Proof
Using the definition of the newly introduced Wright operators involving Gamma function and the values obtained above, the following inequality is readily obtained.
which completes the proof. Now, we can present the central moments of the newly constructed operator that will be used in the main theorems of the paper as follows. \(\square \)
Lemma 4
Let \(x\in [0,\infty )\). In the circumstances, we obtained the following equalities for central moments:
-
1.
\(W_n^{[\beta ]}(t-x,x)=\dfrac{\beta }{n}\).
-
2.
\(W_n^{[\beta ]}((t-x)^2,x)= \dfrac{2x}{n}+\dfrac{\beta (\beta +1)}{n^2}\).
-
3.
\(W_n^{[\beta ]}((t-x)^3,x)=\dfrac{6 x (1 + \beta )}{n^2} + \dfrac{\beta (1 + \beta ) (2 + \beta )}{n^3}\).
-
4.
\(W_n^{[\beta ]}((t-x)^4,x)=\dfrac{\beta \left( \beta ^3+6 \beta ^2+11 \beta +6\right) }{n^4}+\dfrac{12 \left( \beta ^2+3 \beta +2\right) x}{n^3}+\dfrac{12 x^2}{n^2}\).
Theorem 1
Let \(h\in C_B\left( [0,\infty )\right) \). Then, we have
for uniformly in each compact subsets of \([0,\infty )\).
Proof
With the aid of Lemma 2, one can easily obtain the following equality:
for uniformly in each compact subset of \([0,\infty )\) for \(k = 0, 1, 2\). Then, according to the result of the Bohmans-Korovkin theorem, we deduce the \(\displaystyle \lim _{n\rightarrow \infty } W_n^{[\beta ]}(h,x)=h(x)\) for uniformly in each compact subset of \([0,\infty )\). This completes the proof of the theorem. \(\square \)
The Asymptotic Formula
One of the fundamental challenges in approximation theory is the calculation of the rate of convergence of positive linear operators to the test functions. For this purpose, we will present and prove the Voronovskaya-type theorem to determine the asymptotic behaviour of newly constructed operators utilising well-recognised Taylor expansion.
Theorem 2
Let h be bounded and integrable on the interval \(x \in [0,\infty )\), \(h'\) and \(h''\) exist at a fixed point \(x\in [0,\infty )\), in this circumstance the following limit holds:
Proof
First, starting with the well-recognised Taylor formula at \(t=x\) of function h, we readily deduce that
where
such that \(\xi \) lying between x and t and
If we apply the new operator \(W_n^{[\beta ]}\) to equality 3.1, we easily obtained that,
Multiplying each side of the equation here by n will result in the following equality:
If one states this expression in the limit case, we deduce that
As a consequence of our previous calculations in Lemma 2, the following two expressions can be easily obtained:
Then, the following is obtained when we replace the information we have obtained above
Finally, if we show,
we can conclude the proof.
Hence, by applying the well-known Cauchy-Schwarz inequality, we obtain
Then, with the help of the Korovkin theorem, we can deduce that,
since \(\chi ^2(x, x) = 0\) and \(\chi ^2(\cdot , x)\) is continuous at \(t\in [0,\infty )\)] and bounded as \(t\rightarrow \infty \) and as \(W_n^{[\beta ]}\left( (t-x)^4,x\right) = O(n^{-4})\). As a result, by substituting (3.3) and (3.4) into (3.2), the proof is completed. \(\square \)
Weighted Approximation
After the computation of asymptotic formulae of the introduced operator, now we discuss the Korovkin-type theorem for a weighted approximation. For this purpose, we benefit from the results presented by Gadjiev in [19].
Initially, set \(\rho (x) = 1 + x^2\) as a weight function that is continuous on \(\mathbb {R}\) and the \(\lim _{|x|\rightarrow \infty } \rho (x) = \infty \), \(\rho (x)\ge 1\) for all \(x \in [0,\infty )\). Then, we shall denote by \(C([0,\infty ))\) the set of all \([0,\infty )\rightarrow \mathbb {R}\) functions that are continuous. Then let us consider the following weighted spaces. For all \(x \in [0,\infty )\), the weighted space of real-valued functions h described on \(\mathbb {R}\) with the property \(|h(x)| \le M_h\rho (x)\), where \(M_h\) is a constant depending on the function h defined as
and
These spaces are normed spaces with
Since \(\rho \) is a weight function, \(B_{\rho }\left( [0,\infty )\right) \) and \(C_{\rho }\left( [0,\infty )\right) \) spaces are called weighted spaces. Additionally, if we set that \(\kappa _h\) is a constant dependent on the function h, we can define the following subspace:
which is a subspace of space \(C_{\rho }\left( [0,\infty )\right) \). Now, we can provide the following lemma for the new operators.
Lemma 5
Let \(h\in C_{\rho }\left( [0,\infty )\right) \). Then, the following inequality holds
for the operator \(W_n^{[\beta ]}\), which means that the sequence of the Wright operators based on Gamma function \(W_n^{[\beta ]}\) is an approximation process from \(C_{\rho }\left( [0,\infty )\right) \) to \(C_{\rho }\left( [0,\infty )\right) \).
Proof
This lemma can be readily proven by using the definition of operators and the results of 2. Thus, the desired result has been obtained.
Now, we can present and prove the main theorem of this section by following Gadjiev’s technique for an unbounded interval. \(\square \)
Theorem 3
Let \(g\in C_{\rho }^{\kappa }\left( [0,\infty )\right) \). Then, for following equality holds:
for the Wright operators involving Gamma function.
Proof
Utilising Gadjiev’s [19] theorem, it suffices to demonstrate that \(\displaystyle \lim \nolimits _{n\rightarrow \infty }\Vert W_n^{[\beta ]}(t^i)-t^i\Vert _{\rho }= 0\) holds for \(i = 0, 1, 2\). It is clear that the equation for \(k = 0\),which is \(W_n^{[\beta ]}(1,x)=1\) is initially provided. Secondly, using the result of Lemma 2 for \(i = 1\), we readily deduce that,
If we take the limit of the above findings, one can readily express that \(\displaystyle \lim \nolimits _{n\rightarrow \infty }\Vert W_n^{[\beta ]}(t)-t\Vert _{\rho }=0\) as \(\displaystyle \lim \nolimits _{n\rightarrow \infty }\dfrac{1}{n}=0\). Finally, we need to find an upper bound of \(\lim _{n\rightarrow \infty } \Vert W_n^{[\beta ]}(t^2)-t^2\Vert _{\rho }\). For that, we have
is obtained in a similar way. In the limit case, we have the desired results, which concludes the proof. \(\square \)
Rate of Convergence
In this section, we provide the convergence rate of the Wright Operators involving Gamma function in terms of the modulus of continuity. Here, for the closed interval \([0, x_0]\), \(x_0\ge 0\), we denote the standard modulus of continuity of h by \(\omega _{x_0}(h, \delta )\) and it can be defined as follows:
It is obvious that the modulus of continuity \(\omega _{x_0} (h, \delta ) \rightarrow 0\) as \(\delta \rightarrow 0\) for the function \(g \in C_b[0,\infty )\). Let us show the corresponding rate of convergence theorem for the newly constructed Wright operator involving Gamma function \((W_n^{[\beta ]})_{n\ge 1}\). Now, we can provide the main theorem of this section.
Theorem 4
Let \(\omega _{x_0}(h,\delta )\) be the modulus of continuity on the finite interval \([0,x_0+1]\subset [0,\infty )\). In the circumstances, the following inequality holds:
where \(M_h\) is fixed just depending on h.
Proof
Now, let \(h\in C_B\left( [0,\infty )\right) \), \(0\le x\le x_0\) and \(t>x_0+1\). Then, we can deduce that
for \(t-x>1\). Then, again let \(h\in C_B\left( [0,\infty )\right) \), \(0\le x\le x_0\). In the circumstances, the following inequality holds:
for \(t\le x_0 + 1\). As a consequences, from the above inequalities, we deduce that
for \(0\le x\le x_0\) and \(0\le t<\infty \). Applying \(W_n^{[\beta ]}\) and the Cauchy-Schwarz inequality to (5.1), we obtain
by choosing \(\delta =\sqrt{\dfrac{2x_0n+\beta (\beta +1)}{n^2}}\), which completes the proof. \(\square \)
Pointwise Estimate
In this section, let us examine some pointwise estimates of the rates of convergence of the newly defined Wright operators involving Gamma function. First, the local approximation and the relationship between the local smoothness of h are given. For that, let us describe the following. Let \(s\in (0,1]\) and \(Q \subset [0,\infty )\). In the circumstances, a function \(h\in C_B[0,\infty )\) can be said \(Lip_{M_h}(s)\) on Q if the following condition holds:
where \(M_{h,s}\) is fixed just depending on h and s.
Theorem 5
Let \(h\in C_B\left( [0,\infty )\right) \cap Lip_{M_g}(s)\) such that \(s\in (0,1]\) and \(Q\subset [0,\infty )\) given as above. In the circumstances, we have the following inequality:
where \(M_{h,s}\) is defined as above and d(x, Q) is the distance between x and Q described as
Proof
Let us describe the closure of the set Q as \(\bar{Q}\). Then, one can say that there exists at least one point \(y_0 \in Q\) such that
Then, utilising the monotonicity properties of \(\left( W_n^{[\beta ]}\right) _{n\ge 1}\), we deduce that
In the circumstances,with the help of the Hölder inequality, we obtain the following result:
which finalises the proof. \(\square \)
Let us now calculate the local direct estimate of the Wright function involving Gamma function. For this purpose, we need to review the Lipschitz-type maximal function of order s given in [20], that is
where \(s\in (0, 1]\) and \(x\in (0,\infty )\). Now, we can present and prove the theorem.
Theorem 6
Let \(h\in C_B[0,\infty )\) and \(s \in (0, 1]\), then the following inequality holds:
Proof
Using the definition of \(\widetilde{\omega }_s(h,x)\) give above and well-recognised Hölder inequality, we obtain that
thus, the desired result is obtained.
Finally, let us consider the following Lipschitz-type space with two parameters, \(\alpha ,\beta >0\), such that
introduced in [15], where \(s\in (0,1]\) and M is a positive constant. \(\square \)
Theorem 7
Let us consider \(h\in Lip_M^{\alpha ,\beta }(s)\) and \(x\in (0,\infty )\). Then we have
where \(\alpha ,\beta >0\).
Proof
The proof of this inequality is shown in two steps. First, we take \(s = 1\), that is,
\(g\in Lip_M^{\alpha ,\beta }(1)\) and \(x\in (0,\infty )\). Here, applying the Chauchy-Schwarz inequality, we deduce that
which confirms the proof of the theorem for \(s = 1\). Then, let us consider \(s\in (0,1)\). For \(g\in Lip_M^{\alpha ,\beta }(s)\) and \(x\in (0,\infty )\), we obtain that
With the help of Hölder inequalities, we obtain the following inequality:
Finally, applying the Cauchy-Schwarz inequality, we have,
which completes the proof. \(\square \)
Conclusion
We investigated a novel class of operators incorporating three special functions: the Gamma function, Mittag-Leffler function, and Wright function. Our results include establishing a relationship between the local smoothness of functions and local approximation, determining the local rate of convergence, and analysing the asymptotic behaviour of this new sequence of operators. We demonstrate that this class is effective for approximating continuous signals on unbounded intervals. Additionally, the admissible values of the involved parameters enable us to make optimal choices, resulting in improved estimations.
Data Availibility
A data availability statement is mandatory for publication in this journal. Please confirm that this statement is accurate, or provide an alternative.
References
Patel, P.: Some properties of wright operators, arXiv preprint arXiv:2404.04651 (2024)
Wright, E.M.: On the coefficients of power series having exponential singularities. J. Lond. Math. Soc. 1(1), 71–79 (1933)
Wiman, A.: Über den fundamental Satz in der Teorie der Funktionen \(\text{ E}_{\alpha }(x)\). Acta Math. 29, 191–201 (1905)
Kurulay, M., Bayram, M.: Some properties of theMittag-Leffler functions and their relation with the Wright functions. Adv. Difference Equ. 2012, 1–8 (2012)
Shukla, A., Prajapati, J.: On a generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 336(2), 797–811 (2007)
Shukla, A., Prajapati, J.: A general class of polynomials associated with generalized Mittag-Leffler function. Integral Transform. Spec. Funct. 19(1), 23–34 (2008)
Gupta, V., Srivastava, G., Sahai, A.: On simultaneous approximation by Szász Beta operators. Soochow J. Math. 21(1), 1–11 (1995)
Gupta, V., Pant, R.P.: Rate of convergence for the modified Szász-Mirakyan operators on functions of bounded variation. J. Math. Anal. Appl. 233(2), 476–483 (1999)
Gupta, V., Noor, M.A.: Convergence of derivatives for certain mixed Szasz-Beta operators. J. Math. Anal. Appl. 321(1), 1–9 (2006)
Gupta, V.: Approximation for modified Baskakov Durrmeyer type operators. Rocky Mountain J. Math. 39(3), 825–841 (2009)
Gupta, V., Verma, D., Agrawal, P.: Simultaneous approximation by certain Baskakov–Durrmeyer–Stancu operators. J. Egypt. Math. Soc. 20, 183–187 (2012)
Patel, P.: Schurer type modification of Lupas-Jain operators and its properties. Palest J Math 11(3), 75–84 (2022)
Rao, N., Raiz, M., Mishra, V.N.: Approximation behaviour of generalized Baskakov-Durrmeyer-Schurer operators. Ann Univ Craiova-Math Comput Sci Ser 51(1), 90–105 (2024)
Raiz, M., Rajawat, R.S., Mishra, V.N.: \(\alpha \)-Schurer Durrmeyer operators and their approximation properties. Ann Univ Craiova-Math Comput Sci Ser 50(1), 189–204 (2023)
Ozarslan, M.A.: \(a\)-statistical convergence of Mittag-Leffler operators. Miskolc Math. Notes 14(1), 209–217 (2013)
Szász, O.: Generalization of S. Bernstein’s polynomials to the infinite interval. J. Res. Natl. Bur. Stand. 45, 239–245 (1950)
Ali özarslan, M., Aktuğlu, H.: Weighted \(\alpha \beta \)-statistical convergence of kantorovich-mittag-leffler operators. Math. Slovaca 66(3), 695–706 (2016)
Patel, P., Prajapati, J. C.: Certain properties of generalized mittag-leffler operators, in: Fractional Differential Equations, Elsevier, pp. 27–42 (2024)
Gadjiev, A.D.: Theorems of the type of PP Korovkin theorems. Mat. Zametki 20(5), 781–786 (1976)
Lenze, B.: On Lipschitz-type maximal functions and their smoothness spaces, in: Indagationes Mathematicae (Proceedings), Vol. 91, Elsevier, pp. 53–63 (1988)
Acknowledgements
The author would like to thank the anonymous learned referee for his/her valuable suggestions which improved the paper considerably. The author is also thankful to all the Editorial board members and reviewers of prestigious journal IJACM.
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interest
The authors have not disclosed any competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Patel, P.G. On Positive Linear Operators linking Gamma, Mittag-Leffler and Wright Functions. Int. J. Appl. Comput. Math 10, 152 (2024). https://doi.org/10.1007/s40819-024-01786-6
Accepted:
Published:
DOI: https://doi.org/10.1007/s40819-024-01786-6