Abstract
In this paper, we investigate some new identities related to the unification of the Bernsteintype polynomials, Bernoulli polynomials, Euler numbers and Stirling numbers of the second kind. We also give some remarks and applications of the Bernsteintype polynomials related to solving high evenorder differential equations by using the BernsteinGalerkin method. We also give some applications on these polynomials and differential equations.
MSC: 11B68, 12D10, 14F10, 26C05, 26C10, 30B40, 30C15, 42A38, 44A10.
Keywords:
Bernstein polynomials; generating function; Bezier curves; Laplace transform; functional equation; highorder differential equations; BernsteinGalerkin method; Bernoulli polynomials; Bernoulli numbers; Euler polynomials; Euler numbers; Genocchi polynomials; Genocchi numbers; Stirling numbers of the second kind1 Introduction
Generating functions play an important role in the investigation of various useful properties of the sequences and differential equations. These functions are also used to find many properties and formulas for the sequences. In [1], the author constructed certain generating functions for the unification of the classical Bernstein polynomials. Using these generating functions, the author derived several interesting and useful identities for these polynomials. The Bernstein polynomials have been defined by many different ways, for example, by qseries, by complex function and by many algorithms. The Bernstein polynomials are used in approximations of functions as well as in other fields such as smoothing in statistics, in numerical analysis, constructing the Bezier curves. The Bernstein polynomials are also used to solve differential equations.
According to Farouki [2], the Bernstein polynomial basis was introduced 100 years ago (Bernstein, 1912) as a means to constructively prove the ability of polynomials to approximate any continuous function, to any desired accuracy, over a prescribed interval. Their slow convergence rate and the lack of digital computers to efficiently construct them caused the Bernstein polynomials to lie dormant in the theory rather than practice of approximation for the better part of a century. The Bernstein coefficients of a polynomial provide valuable insight into its behavior over a given finite interval, yielding many useful properties and elegant algorithms that are now being increasingly adopted in other application domains.
Recently, the author [1] introduced and investigated the following generating functions which use a unification of the classical Bernstein polynomials:
where , and . The following function is a generating function of the polynomials
An explicit formula of the polynomials is given by the following theorem [1].
Theorem 1.1Let. Letb, nandsbe nonnegative integers. If, then we have
Remark 1.2 If we set in (2), we have
which denotes the classical Bernstein basis function (cf. [17]). Consequently, the polynomials are a unification of the Bernstein polynomials.
The remainder of this study is organized as follows.
Section 2: We give many properties of the unification of the Bernsteintype polynomials: partition of unity, alternating sum, subdivision property. We also give many functional equations and differential equations of this generating function. Using these equations, many properties of the unification of the Bernsteintype polynomials can be found. Section 3: Integral representations of the unification of the Bernsteintype polynomials are given. Using these representations, we give an identity. Section 4: By using the Laplace transform, we find some identities of the unification of the Bernsteintype polynomials. Section 5: By using a new generating function, we prove the Marsden identity for the unification of the Bernsteintype polynomials. Section 6: By using generating functions, we give relations between the unification of the Bernsteintype polynomial, the unification of the Bernoulli polynomial of higher order and the Stirling numbers of the second kind. Section 7: By using the unification of the Bernsteintype polynomials and the BernsteinGalerkin methods, we solve high evenorder differential equations. Section 8: We give some remarks on the unification of the Bernsteintype polynomials and Beziertype curves.
2 Properties of the unification of the Bernsteintype polynomials
In this section, we investigate some properties of the unification of the Bernsteintype polynomials.
2.1 Partition of unity
The unification of the Bernsteintype polynomials does not have partition of unity. That is, by using (1), we derive the following functional equation:
By using the same method as that in [7] and (2), we arrive at the formula for the polynomials
Remark 2.1 The polynomials have partition of unity. That is,
2.2 Alternating sum
By using (1), we derive the following functional equation which is used to find an alternating sum of the unification of the Bernsteintype polynomials :
By using the same method as that in [7] and (2), we arrive at a formula for the alternating sum of the polynomials , which is given by the following theorem.
Theorem 2.2
2.3 Subdivision property
Here, we give partial differential equations and a functional equation of the generating function for the unification of the Bernsteintype polynomials . By using this functional equation, we derive the subdivision property unification of the Bernsteintype polynomials .
We set
By using the above functional equation and (2), we derive the subdivision property for the polynomials by the following theorem.
Theorem 2.3
or
wheredenotes the classical Bernstein basis function.
Remark 2.4 Substituting into (4), we obtain the subdivision property for the classical Bernstein basis functions:
Using (3), we give the following partial differential equations:
and
By applying these partial differential equations, we obtain the following derivative relations which are related to the subdivision property unification of the Bernsteintype polynomials , respectively:
Theorem 2.5
and
3 Integral representations
In this section, we derive integral representations of the unification of the Bernsteintype polynomials . We also give an identity which connects the binomial coefficients, gamma and beta functions.
The beta function is a function of two complex variables α and β, defined by
(cf. [[8], p.9, Eq. (60)]). The beta function is related to the gamma function; one has
Replacing α by and β by in the above equation, we get
(cf. [[8], p.9, Eq. (62)]).
Theorem 3.1
or
Proof
where
By using (5), we easily arrive at the desired result. □
Binomial coefficients play an important role in mathematics and mathematical physics, especially in statistics, probability and analytic number theory. Therefore, by using (7) and (8), we derive the following identity related to the binomial coefficients, gamma and beta functions:
4 Identities
In this section, by using the Laplace transform, we give some identities of the unification of the Bernsteintype polynomials .
Using the generating function in (2), we get
Integrating equation (10) (by parts) with respect to t from zero to infinity, we have
If we appropriately use the case of the following Laplace transform of the function :
by substituting (12) into (11), we arrive at the following theorem.
Remark 4.2 If we set in (13), then we arrive at Theorem 15 in [7].
We modify (2) as follows:
From the above equation, we get
Therefore, we arrive at the following theorem.
Theorem 4.3
5 Marsden identity
In this section, by using generating functions, we prove the Marsden identity for the unification of the Bernsteintype polynomials . This identity is associated with a formula for rational linear transformation of Bsplines, which are of interest in computeraided geometric design and approximation theory.
We set
or
We derive the following functional equation:
From the above functional equation, we get
Therefore
From the above equation, we have
By comparing the coefficients of on the both sides of the above equation, we obtain
Therefore, we arrive at the Marsden identity which is given by the following theorem.
Theorem 5.1
Remark 5.2 By using (14), we also obtain the Marsden identity for the classical Bernstein polynomials as follows:
6 Relations between the polynomial , unification of the Bernoulli polynomial of higher order and Stirling numbers of the second kind
The socalled unification of the Bernoulli, Euler and Genocchi polynomials were defined by Ozden [9]. The polynomials are defined by means of the following generating function:
where k is an integer parameter, a and b are real parameters and β is a complex parameter. Observe that
The above generating function is related to some special polynomials as follows.
Remark 6.1 Substituting into (15), we have the ApostolBernoulli polynomials (cf. [1113]):
substituting , and into (15), we have the ApostolEuler polynomials:
substituting , and into (15), we have the ApostolGenocchi polynomials:
substituting into (15), we have
where denotes the classical Bernoulli polynomials and substituting and into (15), we have
where denotes the classical Euler polynomials.
Now, the modification of (15) is given by
The following definition provides a natural generalization and unification of λStirling numbers of the second kind, which is defined by Srivastava [12,13].
Definition 6.2 Let and . The generalized λStirling type numbers of the second kind are defined by means of the following generating function:
Remark 6.3 By setting in (17), we get
where denotes the Stirling numbers of the second kind. It is also well known that
so that
being the Kronecker symbol (cf. [8,12,14,15]).
Theorem 6.4Letb, nandsbe nonnegative integers with. Then we have
whereanddenote the unification Bernoulli polynomial of higher order andStirling numbers of the second kind, respectively.
Proof By (2), we have
By using (2), (16) and (17) in the above equation, we have
From the above equation, after some calculation, we find the desired result. □
Theorem 6.5Letbandnbe nonnegative integers with. Then we have
wheredenotes the Euler polynomials of higher order.
Proof By (2), we have
From the above, we have
By using the Cauchy product in the above, after some calculation, we find the desired result. □
We recall from the work of Gould [[14], Vol. 7, Eq. (2.45)] that
where
By substituting (20) into (19), we arrive at the following result.
Corollary 6.6The following identity holds true:
7 Unification of the Bernsteintype polynomials for solving high evenorder differential equations by the BernsteinGalerkin methods
In [4], Doha et al. gave an application of the Bernstein polynomials for solving high evenorder differential equations by using the BernsteinGalerkin and the BernsteinPetrovGalerkin methods. The methods do not contain generating functions for proving explicitly the derivatives formula of the Bernstein polynomials of any degree and for any order in terms of Bernstein polynomials themselves. Here, we prove this formula for the unification of the Bernsteintype polynomials by a higherorder partial differential equation and functional equations. We also give some remarks and applications related to these polynomials and the BernsteinGalerkin method.
We modify (1) as follows:
where and . Let b, k, n and s be nonnegative integers and , then we get
so that, obviously,
By using the same method as in [15], we now give a higherorder partial differential equation for the generating function as follows.
We set
and
We have
By using Leibnitz’s formula for the vth derivative, with respect to x, of the product of the above two functions, we obtain the following higherorder partial differential equation:
By using (1) in the above partial differential equation, we get the following higher order partial differential equation:
By substituting (21) into the above equation, after some calculation, we arrive at the following theorem.
Theorem 7.1Let. Letb, sandvbe nonnegative integers with. Then we have
where
Integrating equation (22) (by parts) with respect to x from 0 to 1 and using Theorem 3.1, we have
for all b and s.
We recall from the work of Doha et al. [4] that if is a differentiable function of degree m and defined on , then a linear combination of the Bernstein polynomials can be written. Therefore, we can easily have
By using the same method as in [4], we write
where , otherwise . We now give an application for the solution of high evenorder differential equations. We also recall from the work of Doha et al. [4] that for ,
by the following boundary conditions:
(cf. [4]). By using the same method as that of Doha et al. [4], we apply the unification of the Bernsteintype polynomials to the BernsteinGalerkin approximation for solving (24); that is,
and
By applying the BernsteinGalerkin approximation (24), we find as follows. For solving this equation, we need the following notations, which we recall from the work of Doha et al. [[4], p.9, Eq. (4.4)].
The inner product on is defined by
By using this inner product, we modify (24) as follows:
The matrix representation of the above equation is given by
where
By using (23), one can easily find A, (); that is,
and
Remark 7.2 According to Doha et al.[4], it is important to apply the Galerkinspectral Bernstein approximation for how to choose an appropriate basis for such that the linear system resulting in the BernsteinGalerkin approximation to (25) is possible. That is,
where for all . The 2m boundary conditions lead to the first m, and the least m expansion coefficients are zero.
Remark 7.3 By using the BernsteinGalerkin and the BernsteinPetrovGalerkin methods, Doha et al.[4] solved the following boundary value problem:
subject to the boundary conditions , with the exact solution
8 Further remarks on Bezier curves
The unification of the Bernsteintype polynomials is used to construct Beziertype curves which are used in computeraided graphics design and related fields and also in the time domain, particularly in animation and interface design (cf. [2,6]).
The Beziertype curve of degree n can be generalized by the author [1] as follows:
where , denotes the unification of the Bernsteintype polynomials and are the control points.
The unification of the Bernsteintype polynomials might affect the shape of the curves.
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author completed the paper himself. The author read and approved the final manuscript.
Acknowledgements
Dedicated to Professor Hari M Srivastava.
The present investigation was supported by the Scientific Research Project Administration of Akdeniz University.
References

Simsek, Y: Construction a new generating function of Bernsteintype polynomials. Appl. Math. Comput.. 218, 1072–1076 (2011). Publisher Full Text

Farouki, RT: The Bernstein polynomials basis: a centennial retrospective. Comput. Aided Geom. Des.. 29, 379–419 (2012). Publisher Full Text

Bernstein, SN: Démonstration du théorème de Weierstrass fondée sur la calcul des probabilités. Commun. Soc. Math. Kharkov, Sér. 2. 13, 1–2 (19121913)

Doha, EH, Bhrawy, AH, Saker, MA: On the derivatives of Bernstein polynomials: an application for the solution of high evenorder differential equations. Bound. Value Probl.. 2011, Article ID 829543. doi:10.1155/2011/829543 (2011)

Phillips, GM: Interpolation and Approximation by Polynomials, Springer, New York (2003)

Simsek, Y: Generating functions for the Bernsteintype polynomials: a new approach to deriving identities and applications for these polynomials. Hacet. J. Math. Stat. (in press)

Simsek, Y: Functional equations from generating functions: a novel approach to deriving identities for the Bernstein basis functions. Fixed Point Theory Appl.. 2013, Article ID 80 (2013)

Srivastava, HM, Choi, J: Series Associated with the Zeta and Related Functions, Kluwer Academic, Dordrecht (2001)

Ozden, H: Unification of generating function of the Bernoulli, Euler and Genocchi numbers and polynomials. AIP Conf. Proc.. 1281, 1125–1128 (2010)

Ozden, H, Simsek, Y, Srivastava, HM: A unified presentation of the generating functions of the generalized Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl.. 60, 2779–2787 (2010). Publisher Full Text

Kim, YH, Kim, W, Jang, LC: On the qextension of ApostolEuler numbers and polynomials. Abstr. Appl. Anal.. 2008, Article ID 296159 (2008)

Luo, QM, Srivastava, HM: Some generalizations of the ApostolGenocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput.. 217, 5702–5728 (2011). Publisher Full Text

Srivastava, HM: Some generalizations and basic (or q) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci.. 5, 390–444 (2011)

Simsek, Y: On qdeformed Stirling numbers. Int. J. Math. Comput.. 15, 70–80 (2012)

Ramadan, MA, Lashien, IF, Zahra, WK: High order accuracy nonpolynomial spline solutions for 2μth order two point boundary value problems. Appl. Math. Comput.. 204, 920–927 (2008). Publisher Full Text