Abstract
Nowadays \((p,q)\)-Bernstein polynomials have been studied in many different fields such as operator theory, CAGD, and number theory. In order to obtain the fundamental properties and results of Bernstein polynomials by using \((p,q)\)-calculus, we give basic definitions and results related to \((p,q)\)-calculus. The main purpose of this study is to investigate a generating function for \((p,q)\)-Bernstein polynomials. By using an approach similar to that of Goldman et al. in (SIAM J. Discrete Math. 28(3):1009-1025, 2014), we derive some new identities, relations, and formulas for the \((p,q)\)-Bernstein polynomials. Also, we give a plot generating function of \((p,q)\)-Bernstein polynomials for some selected p and q values.
Similar content being viewed by others
1 Introduction
The generating functions are the key tool in analytic number theory for defining and obtaining properties to special polynomials such as Bernoulli, Euler, Hermite, and Genocchi polynomials. The idea behind the generating functions are that we can effectually transform problems about sequences into problems about functions. The generating functions have many advantages. For instance, we can apply various operations on generating functions such as scaling, addition, product, integration, and differentiation.
The Bernstein polynomials, which are called by the name of their creator [2], have many applications in mathematics, engineering, CAGD, and statistics. The reason for the emergence of Bernstein polynomials is the study of the existence of polynomials that are constantly approaching each function at \([ 0,1 ] \). Many useful and important studies have been carried out in approximation theory with the definition of Bernstein polynomials (see [3] and [4]). Phillips obtained Bernstein polynomials that depend on q-integers [5]. Oruc and Phillips defined q-Bernstein polynomials and Bezier curves and showed useful results for these polynomials and curves [6]. Lewanowicz and Wozny obtained some applications and found interesting formulae for Bezier representations and coefficients [7]. Khan and Lobiyal studied Lupaş type \((p,q)\)-Bernstein operators and Lupaş type \((p,q)\)-Bezier curves and surfaces [8]. Perez and Palacin proposed an estimation for a quantile function by using the Bernstein polynomials as smooth weight functions [9]. Esi et al. studied statistical convergence and derived new theorems for Bernstein polynomials [10]. In recent years, \((p,q)\)-calculus has been progressed rapidly by many researchers in [11–13], and [14].
In analytic number theory, Bernstein polynomials are an important polynomials family because they have very close relations with special numbers and polynomials such as Stirling numbers, Bernoulli polynomials, Euler polynomials, and so on. Obtaining the generating function for the Bernstein polynomials [15] has led to an increase and acceleration of studies in this area. For instance, Araci and Acikgoz derived some combinatorial relations and properties between Bernstein and Frobenius–Euler polynomials by using the concept of generating function and fermionic p-adic integral on \(\mathbb{Z} _{p}\) [16]. Acikgoz et al. obtained a new forming between q-Bernoulli numbers and polynomials and q-Bernstein polynomials (see [17] and [18]). Kim proposed new q-Bernstein polynomials and showed some of their representations by using the fermionic p-adic integral [19]. Bayad and Kim found some theorems and corollaries related to q-Bernoulli, q-Euler, and Bernstein polynomials [20]. Simsek et al. gave some new results for Bernstein and q-Bernstein polynomials by using some special functions, polynomials, and numbers ([21, 22], and [23]).
In this article, our main goal is to obtain a generating function of \((p,q)\)-Bernstein polynomials by using the \((p,q)\)-calculus tools as \((p,q)\)-derivative operator, \((p,q)\)-exponential functions, and \((p,q)\)-hypergeometric functions. After that, we present some theorems and identities by using the mathematical operators on a generating function of \((p,q)\)-Bernstein polynomials.
2 Miscellaneous definitions and notations
In this part, we give definitions and notations related to \((p,q)\)-calculus and use some of them in the subsequent chapters.
Let \(0< q< p\leq1\) and \(n\in \mathbb{Z} \). Then the \((p,q)\)-analogue of n is defined by
Some \((p,q)\)-integers are shown as follows:
The \((p,q)\)-Binomial coefficients are defined as follows:
where
The \((p,q)\)-derivative operator is determined as (2.4)
where \(f:\mathbb{R} \rightarrow \mathbb{R} \) and \(x\in \mathbb{R}\) (cf. [24, 25], and [26]).
We have two types of \((p,q)\)-exponential functions as in the q-calculus. These functions are defined as follows:
where
is called a \((p,q)\)-analog of q-shifted operator (cf. [24, 25], and [26]). This operator is described by the following identity:
The hypergeometric series concept has moved to \((p,q)\)-calculus and was studied in detail by researchers (see [24] and [25]). The \((p,q)\)-hypergeometric series are given by the following equation:
where
By using the definition of (2.6), we obtain \((p,q)\)-Binomial coefficients by means of \((p,q)\)-hypergeometric series as follows:
Substituting \(( a,b ) = ( 1,0 ) \) and \(( 0,1 ) \) into (2.7), we have \((p,q)\)-exponential functions by aid of \((p,q)\)-hypergeometric series in the following theorem:
and
Now, we give a \((p,q)\)-exponential function by using \((p,q)\)-factorial in the following identity:
We have some results between (2.5) and (2.11) as follows:
Remark 1
(cf. [27])
q- and \((p,q)\)-integers are a good bit similar. However, they have an important difference. One may obtain an equality by using the definition of \((p,q)\)-integer as follows:
If we take \(p=1\) in (2.13), \([ n ] _{p,q}\) reduces to \([ n ] _{q}\), but the opposite is not true. That is, we cannot obtain \([ n ] _{p,q}\) by using \([ n ] _{q}\). Therefore, we can describe that q-integers are a special case of \((p,q)\)-integers.
3 Main results
In this section, we start with definition for \((p,q)\)-Bernstein polynomials by means of \((p,q)\)-analog of q-shifted operator. Thanks to this definition, we give the generating function for \((p,q)\)-Bernstein polynomials. An important application of this function is a method for representing \((p,q)\)-Bernstein polynomials in different ways.
We begin by giving a definition of \((p,q)\)-Bernstein polynomials in the following equation.
Definition 1
(cf. [28])
Let k and n be arbitrary positive integers. The \((p,q)\)-Bernstein polynomial of degree n is given by
where \(\frac{n(n-1)}{2}\) is shown by \(\binom{n}{2}\).
We note that when \(p=1\), Definition 1 reduces to the results of Goldman et al. [1] and Oruc and Philips [6].
These polynomials are given as follows:
3.1 Generating function of \(( p,q ) \)-Bernstein polynomials
So far we have mentioned \((p,q)\)-calculus and Bernstein polynomials. We turn our attention now to the concept of the generating function of these polynomials based on \((p,q)\)-calculus.
By using an approach similar to that of Goldman et al. [1], we arrive at the following theorem.
Theorem 1
For \(0< q< p\leq1\),
Proof
The proof of this theorem is similar to those of Goldman et al. [1] and [22]. Let \(\digamma_{k}^{p,q} ( x,t ) \) and \(\mathbf{F}_{k}^{p,q} ( x,t,c ) \) be generating functions of \((p,q)\)-Bernstein polynomials. So we have the following formal definitions, respectively:
and
By substituting the right-hand side of (3.2) into (3.5), we have
From (3.4) and (3.5), we have the following equality:
From the right-hand side of (3.7), we get
by using the definition of \((p,q)\)-hypergeometric functions
From (2.12), we obtain that
Therefore, we arrive at the desired result. □
Remark 2
The above defined function can be called a generating function of \((p,q)\)-Bernstein polynomials because when \(p=1\), the generating function reduces to the generating function of q-Bernstein polynomial in [1]. However, the \((p,q)\)-Bernstein polynomials are related to \(\varepsilon _{p,q}(x)\). We say that \(\varepsilon_{p,q}(x)\) converges by using the ratio test, and also this function is well defined for all \(\vert x \vert <\frac{1}{ \vert 1-\frac{q}{p} \vert }\) if \(\vert \frac{q}{p} \vert <1\).
3.2 The graph of a generating function of \(( p,q ) \)-Bernstein polynomials
In this section, by using a similar method to that of the work of Kucukoglu and Simsek [29], in which a simulation for the extension of unification of Bernstein type basis functions is provided, we provide a simulation for a generating function of the \((p,q)\)-Bernstein polynomials with their graph for some special values in Fig. 1.
3.3 Some properties for the generating function of \(( p,q ) \)-Bernstein polynomials
In this section, by using Theorem 1 in Sect. 3.1, we give some results for the generating function. Having obtained these results, we give some new identities for the \((p,q)\)-Bernstein polynomials from arising \((p,q)\)-calculus.
Thus we give the following theorem.
Theorem 2
For \(0< q< p\leq1\) and \(k\in \mathbb{N} \cup \{ 0 \} \),
Proof
By using a similar method to that of Goldman et al. [1], we can prove this theorem. By using the series expansion for (3.3) depending on k and z, we have the following equality:
□
Corollary 1
Proof
If we take \(z=1\) in (3.8), we obtain the following identity:
If we expand both sides of (3.3) to a series depending on k, we have
By applying the Cauchy product to the above equation, we get
By equating the coefficients of \(\frac{t^{n}}{ [ n ] _{p,q}!}\) in (3.11), the desired result is obtained. □
Remark 3
When \(p=1\), Corollary 1 is reduced to Corollary 4.2 in [1].
Corollary 2
Proof
We give an alternative form of the generating function for \((p,q)\)-Bernstein polynomials as follows:
By using the definition of a generating function and Taylor series for \((p,q)\)-exponential functions, we obtain
By applying the Cauchy product to the above equation, we get
Comparing the coefficients of \(\frac{t^{n}}{ [ n ] _{p,q}!}\) in (3.13), we arrive at the desired result. □
Remark 4
When \(p=1\), Corollary 2 is reduced to Corollary 4.3 in [1].
3.4 Recurrence relations and derivative of \(B_{k,n}(x;p,q)\)
In this section, we obtain not only the derivative operator to a generating function of \(B_{k,n}(x;p,q)\) but also some relations and properties for \(\digamma_{k}^{p,q} ( x,t ) \).
Corollary 3
Let \(0< q< p\leq1\). Then we have
where \(\max \{ \vert q/p \vert , \vert x \vert , \vert y \vert \} <1\) and \(\vert t \vert <1/ \vert 1-q/p \vert \).
Proof
By using the same method as that of Theorem 4.7 in the work of Goldman et al. [1], we can prove this corollary. By using the derivative of the generating function for \(B_{k,n}(x;p,q)\) with respect to x, we have
From the division property of \((p,q)\)-derivative, we obtain
After some basic calculations based on \((p,q)\)-calculus in the above equation, we arrive at the desired result. □
Corollary 4
Proof
Multiplying both sides of the generating function for \(B_{k,n}(x;p,q)\) in (3.3) by \(\varepsilon_{p,q}(xt)\), we have
By differentiating the equation in (3.16) with respect to t, we obtain
By applying the product rule of \((p,q)\)-derivative in (3.17), we get
Applying the definition of \(\digamma_{k}^{p,q} ( x,t ) \) in (3.18), we complete the proof of the corollary. □
Corollary 5
Let \(0< q< p\leq1\). Then we have
where \(\max \{ \vert q/p \vert , \vert x \vert , \vert y \vert \} <1\) and \(\vert t \vert <1/ \vert 1-q/p \vert \).
Proof
Now, we re-consider \(\digamma_{k}^{p,q} ( xy,t ) \) in the following equation:
From the above equation, we arrive at the desired result. □
Corollary 6
Proof
By using (3.3) for \(k=0\), we obtain the following equality:
By using (3.3) again in the following equations, we have
By substituting (3.22) and (3.23) into (3.19), after some calculations, we arrive at the desired result. □
Corollary 7
Proof
Using (3.21) and (3.1) for \(k=0\) and \(y=t\), we get
and
After replacing j by \(n-j\) in (3.25) and some basic calculations, the proof of the corollary is completed. □
3.5 \((p,q)\)-analogue of Marsden’s identity
In this section, we construct \(( p,q ) \)-Marsden’s identity by using \(( p,q ) \)-Bernstein polynomials.
Corollary 8
Proof
By using the same method as that of Corollary 4.15 in Goldman et al. [1] on the interval \([0,1]\), we can prove this corollary. By replacing t by \(1/t\) in (3.24), we have
and then multiplying both sides of (3.26) by \(t^{n}\), we get
By using (3.1), we obtain
By combining (3.27) and (3.28), we derive a \((p,q)\)-analogue of Marsden’s identity on the \([ 0,1 ] \). Thus, the proof of the corollary is completed. □
4 Conclusion
In this study, we have first introduced a generating function of \((p,q)\) -Bernstein polynomials. By means of this new function, we have constructed many new results and identities which are generalizations of q-Bernstein basis polynomials earlier originally introduced by Goldman et al. in [1].
References
Goldman, R., Simeonov, P., Simsek, Y.: Generating functions for the q-Bernstein bases. SIAM J. Discrete Math. 28(3), 1009–1025 (2014)
Bernstein, S.: Demonstration du théoréme de Weierstrass fondeé sur la calcul des probabilités. Comm. Math. Soc. Charkow. 13(2), 1–2 (1912)
Ostrovska, S.: q-Bernstein polynomials and their iterates. J. Approx. Theory 123, 232–255 (2003)
Ostrovska, S.: The convergence of q-Bernstein polynomials. Math. Nachr. 282(2), 243–252 (2009)
Phillips, G.M.: Bernstein polynomials based on the q-integers. Ann. Numer. Math. 4, 511–518 (1997)
Oruc, H., Phillips, G.M.: q-Bernstein polynomials and Bézier curves. J. Comput. Appl. Math. 151(1), 1–12 (2003)
Lewanowicz, S., Wozny, P.: Bezier representation of the constrained dual Bernstein polynomials. Appl. Math. Comput. 218(8), 4580–4586 (2018)
Khan, K., Lobiyal, D.K.: Bézier curves based on Lupaş \((p,q)\)-analogue of Bernstein polynomials in CAGD. J. Comput. Appl. Math. 317, 458–477 (2017)
Perez, J.M., Palacin, A.F.: Estimating the quantile function by Bernstein polynomials. Comput. Stat. Data Anal. 5, 391–397 (1987)
Esi, A., Araci, S., Acikgoz, M.: Statistical convergence of Bernstein operators. Appl. Math. Inf. Sci. 6, 2083–2086 (2016)
Mursaleen, M., Ansari, J.A., Khan, A.: Some approximation results by \((p,q)\)-analogue of Bernstein–Stancu operators. Appl. Math. Comput. 264, 392–402 (2015)
Mursaleen, M., Nasiuzzaman, N., Nurgali, A.: Some approximation results on Bernstein-Schurer operators defined by \((p,q)\)-integers. J. Inequal. Appl. 2015, 249 (2015)
Mursaleen, M., Al-Abied, A.A.H., Alotaibi, A.: On \((p,q)\)-Szász–Mirakyan operators and their approximation properties. J. Inequal. Appl. 2017, 196 (2017)
Kanat, K., Sofyalıoglu, M.: Some approximation results for Stancu type Lupaş–Schurer operators based on \((p,q)\)-integers. Appl. Math. Comput. 2018(317), 129–142 (2018)
Acikgoz, M., Araci, S.: On the generating function of the Bernstein polynomials. Num. Anal. Appl. Math. Amer. Inst. Phys. Conf. Proc. CP1281, 1141–1143 (2010)
Araci, S., Acikgoz, M.: A note on the Frobenius–Euler numbers and polynomials associated with Bernstein polynomials. Adv. Stud. Contemp. Math. 22(3), 399–406 (2012)
Acikgoz, M., Erdal, D., Araci, S.: A new approach to q-Bernoulli numbers and q-Bernoulli polynomials related to q-Bernstein polynomials. Adv. Differ. Equ. 2010, Article ID 951764 (2010)
Araci, S., Acikgoz, M.: A note on the values of the weighted q-Bernstein polynomials and weighted q-Genocchi numbers. Adv. Differ. Equ. 2015, 30 (2015)
Kim, T., Jang, L.C., Yi, H.: A note on the modified q-Bernstein polynomials. Discrete Dyn. Nat. Soc. 2010, Article ID 706483 (2010)
Bayad, A., Kim, T.: Identities involving values of Bernstein, q-Bernoulli, and q-Euler polynomials. Russ. J. Math. Phys. 18, 133 (2011)
Simsek, Y., Acikgoz, M.: A new generating function of q-Bernstein-type polynomials and their interpolation function. Abstr. Appl. Anal. 2010, Article ID 769095 (2010)
Simsek, Y.: Functional equations from generating functions: a novel approach to deriving identities for the Bernstein basis functions. Fixed Point Theory Appl. 2013, 80 (2013)
Simsek, Y.: On parametrization of the q-Bernstein basis functions and their applications. J. Inequal. Spec. Funct. 8(1), 158–169 (2017)
Chakrabarti, R., Jagannathan, R.: A \((p,q)\)-oscillator realization of two-parameter quantum algebras. J. Phys. A, Math. Gen. 24, L711 (1991)
Jagannathan, R., Rao, K.S.: Two-parameter quantum algebras, twin-basic numbers and associated generalized hypergeometric series. arXiv:math/0602613 [math.QA]
Sadjang, P.N.: On the fundamental theorem of \((p,q)\)-calculus and some \((p,q)\)-Taylor formulas. arXiv:1309.3934 [math.QA]
Gupta, V., Aral, A.: Bernstein Durrmeyer operators based on two parameters. Facta Univ. 31(1), 79–95 (2016)
Mursaleen, M., Ansari, K.J., Khan, A.: On \((p,q)\)-analogue of Bernstein operators. Appl. Math. Comput. 266, 874–882 (2015)
Kucukoglu, I., Simsek, Y.: A note on generating functions for the unification of the Bernstein type basis functions. Filomat 30(4), 985–992 (2016)
Acknowledgements
The first author is thankful to the Scientific and Technological Research Council of Turkey (TUBITAK) for their support with the Ph.D. scholarship (BIDEB 2211).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no 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
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Agyuz, E., Acikgoz, M. A note on \((p,q)\)-Bernstein polynomials and their applications based on \((p,q)\)-calculus. J Inequal Appl 2018, 81 (2018). https://doi.org/10.1186/s13660-018-1673-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1673-3