- Research
- Open Access

# Functional equations from generating functions: a novel approach to deriving identities for the Bernstein basis functions

- Yilmaz Simsek
^{1}Email author

**2013**:80

https://doi.org/10.1186/1687-1812-2013-80

© Simsek; licensee Springer 2013

**Received:**28 December 2012**Accepted:**14 March 2013**Published:**2 April 2013

## Abstract

The main aim of this paper is to provide a novel approach to deriving identities for the Bernstein polynomials using functional equations. We derive various functional equations and differential equations using generating functions. Applying these equations, we give new proofs for some standard identities for the Bernstein basis functions, including formulas for sums, alternating sums, recursion, subdivision, degree raising, differentiation and a formula for the monomials in terms of the Bernstein basis functions. We also derive many new identities for the Bernstein basis functions based on this approach. Moreover, by applying the Laplace transform to the generating functions for the Bernstein basis functions, we obtain some interesting series representations for the Bernstein basis functions.

**MSC:**14F10, 12D10, 26C05, 26C10, 30B40, 30C15, 44A10.

## Keywords

- Bernstein polynomials
- generating functions
- functional equations
- integral transforms
- differential equations

## 1 Introduction

The Bernstein polynomials have many applications: in approximations of functions, in statistics, in numerical analysis, in *p*-adic analysis and in the solution of differential equations. It is also well known that in Computer Aided Geometric Design (CAGD) polynomials are often expressed in terms of the Bernstein basis functions. These polynomials are called *Bezier curves and surfaces*. Convexity and its generalization play an important role in the theory of Bernstein polynomials. Therefore, a fixed point theorem and its applications are also very important in the theory of Bezier curves and surfaces.

Many of the known identities for the Bernstein basis functions are currently derived in an *ad hoc* fashion, using either the binomial theorem, the binomial distribution, tricky algebraic manipulations or blossoming. The main purpose of this work is to construct novel functional equations for the Bernstein polynomials. Using these functional equations and the Laplace transform, we develop a novel approach both to standard and to new identities for the Bernstein polynomials. Thus these polynomial identities are just the residue of a much more powerful system of functional equations.

The remainder of this study is organized as follows. We find several *functional equations* and *differential equations* for the Bernstein basis functions using generating functions. From these equations, many properties of the Bernstein basis functions are then derived. For instance, we give a new proof of the recursive definition of the Bernstein basis functions as well as a novel derivation for the two-term formula for the derivatives of the *n* th degree Bernstein basis functions. Using functional equations, we give new derivations for the sum and alternating sum of the Bernstein basis functions and a formula for the monomials in terms of the Bernstein basis functions. We also derive identities corresponding to the degree elevation and subdivision formulas for Bezier curves. We prove many new identities for the Bernstein basis functions. Finally, we give some applications of the Laplace transform to the generating functions for the Bernstein basis functions. We obtain interesting series representations for the Bernstein basis functions. We also give some remarks and observations related to the Fourier transform and complex generating functions for the Bernstein basis functions.

## 2 Generating functions

The Bernstein polynomials and related polynomials have been studied and defined in many different ways, for example, by *q*-series, complex functions, *p*-adic Volkenborn integrals and many algorithms. In this section, we provide novel generating functions for the Bernstein basis functions.

The Bernstein basis functions ${B}_{k}^{n}(x)$ are defined as follows.

**Definition 2.1**

Generating functions for the Bernstein basis functions can be defined as follows.

**Definition 2.2**

Note that there is one generating function for each value of *k*.

**Theorem 2.3**

*Proof*By substituting (1) into the right-hand side of (2), we get

The right-hand side of the above equation is a Taylor series for ${e}^{(1-x)t}$, thus we arrive at the desired result. □

By using the above alternative forms, we derive some new identities for the Bernstein basis functions.

**Remark 2.4**If we replace

*x*by $\frac{x-a}{b-a}$in (3), where $a<b$, then

*cf.* [4].

*Bernstein polynomial*$\mathcal{P}(x)$ is a polynomial represented in the Bernstein basis functions

*cf.* [4].

Recently, Simsek [15, 16], Simsek *et al*. [14] and Acikgoz *et al*. [1] have also studied on the generating function for Bernstein basis type functions.

There are many applications of the Bernstein-type polynomials which are related to the theory of the Bezier curves, approximation theory, solving high even-order differential equations by using the Bernstein Galerkin method.

In approximation theory, the Weierstrass approximation theorem is very useful. The Bernstein basis functions are also related to this theorem. We give the following remarks for this theorem.

*f*is given by

as $n\to \mathrm{\infty}$, which was proved by many methods, for example, by the Weierstrass approximation theorem, by the probabilistic interpretation to ${\mathfrak{B}}_{n}(x,f)$ (*cf.* [4, 11, 13]).

## 3 Identities for the Bernstein basis functions

In this section, we use the generating functions for the Bernstein basis functions to derive a family of functional equations. Using these equations, we derive a collection of identities for the Bernstein basis functions.

### 3.1 Sums and alternating sums

**Theorem 3.1**(Sum of the Bernstein basis functions)

*Proof*From (8), one finds that

Comparing the coefficients of $\frac{{t}^{n}}{n!}$ on both sides of the above equation, we arrive at the desired result. □

**Theorem 3.2**(Alternating sum of the Bernstein basis functions)

*Proof*By combining (9) and (10), we obtain

Comparing the coefficients of $\frac{{t}^{n}}{n!}$ on both sides of the above equation, we arrive at the desired result. □

**Remark 3.3** Goldman [6], [[5], Chapter 5, pp.299-306] derived the formula for the alternating sum of the Bernstein basis functions algebraically.

### 3.2 Subdivision

From this functional equation, we get the following identity which is the basis for subdivision of Bezier curves, *cf.* [4–6, 15].

**Theorem 3.4**

*Proof*By equations (3) and (11),

Substituting (1) into the above equation, we arrive at the desired result. □

**Remark 3.5**Theorem 3.4 is a bit tricky to prove with algebraic manipulations. Goldman [6], [[5], Chapter 5, pp.299-306] proved this identity algebraically. He also proved the following related subdivision identities:

For additional identities, see [6], [[5], Chapter 5, pp.299-306].

### 3.3 Formula for the monomials in terms of the Bernstein basis functions

*k*, we obtain the following functional equation, which is used to derive a formula for the monomials in terms of the Bernstein basis functions:

**Theorem 3.6**

*Proof*Combining (2) and (12), we get

Comparing the coefficients of $\frac{{t}^{n}}{n!}$ on both sides of the above equation, we arrive at the desired result. □

### 3.4 Differentiating the Bernstein basis functions

*l*th derivative, with respect to

*x*, we obtain the following

*higher-order partial differential equation*:

From this equation, we arrive at the following theorem.

**Theorem 3.7**

*Proof* Formula (15) follows immediately from (14). □

Applying Theorem 3.7, we obtain a new derivation for the higher-order derivatives of the Bernstein basis functions.

**Theorem 3.8**

*Proof*By substituting the right-hand side of (2) into (15), we get

Substituting $l=1$ into (16), we arrive at the following standard corollary.

**Corollary 3.9**

### 3.5 Recurrence relation

In the previous section we computed the derivative of (13) with respect to *x* to derive a derivative formula for the Bernstein basis functions. In this section we are going to differentiate (13) with respect to *t* to derive a recurrence relation for the Bernstein basis functions.

*v*th derivative, with respect to

*t*, we obtain the following

*higher-order partial differential equation*:

From the above equation, we have the following theorem.

**Theorem 3.10**

*Proof* Formula (18) follows immediately from (17). □

Using definitions (3) and (1) in Theorem 3.10, we obtain a recurrence relation for the Bernstein basis functions.

**Theorem 3.11**

*Proof*By substituting the right-hand side of (2) into (18), we get

*t*to derive the following higher-order partial differential equation:

**Remark 3.12**Setting $v=1$ in (19), one obtains the standard recurrence

### 3.6 Degree raising

In this section we present a functional equation which we apply to provide a new proof of the degree raising formula for the Bernstein polynomials.

*functional equation*:

The above relation can also be proved by (1), *cf.* [4–6].

## 4 New identities

In this section, using alternative forms of the generating functions, functional equations and the Laplace transform, we give many new identities for the Bernstein basis functions.

*functional equations*:

**Theorem 4.1**

*Proof*By substituting the right-hand side of (2) into (23), we get

**Theorem 4.2**

*where*

*and* ${(n)}_{0}=1$.

*Proof*Combining (2) and (24), we get

**Theorem 4.3**

*Let*$x\ne 0$.

*For all positive integers*

*k*

*and*

*n*,

*we have*

*Proof*By using (4), we obtain

**Theorem 4.4**

*For all positive integers*

*k*

*and*

*n*,

*we have*

*Proof*By using (5), we get

**Theorem 4.5**

*For all positive integers*

*k*

*and*

*n*,

*we have*

*Proof* Proof of Theorem 4.5 is the same as that of Theorem 4.3. So we omit it. □

## 5 Applications of the Laplace transform to the generating functions for the Bernstein basis functions

In this section, we give some applications of the Laplace transform to the generating functions for the Bernstein basis functions. We obtain interesting series representations for the Bernstein basis functions.

**Theorem 5.1**

*Let*$x\ne 0$.

*For all the positive integer*

*k*,

*we have*

*Proof*Integrate equation (5) (by parts) with respect to

*t*from 0 to ∞, we have

From the above equation, we arrive at the desired result. □

**Theorem 5.2**

*Let*$x\ne 0$.

*For all the positive integer*

*k*,

*we have*

*Proof* Proof of Theorem 5.2 is the same as that of Theorem 5.1. That is, if we replace *t* by −*t* in equation (4) and integrate by parts with respect to *t* from 0 to ∞ using the Laplace transform of the function $f(t)={t}^{n}$, then we arrive at the desired result. □

## 6 Further remarks and observations

The Fourier series of the Bernstein polynomials has been studied, without generating functions, by Izumi *et al*. [8]. They investigated many properties of the Fejer mean of the Fourier series of these polynomials. The Fourier transform of the Bernstein polynomials has also been given, without generating functions, by Chui *et al*. [3]. By replacing *t* by *it* in (4)-(6), one may give applications of the Fourier transform to the *complex* generating functions for the Bernstein basis functions.

## Author’s contributions

The author completed the paper himself. The author read and approved the final manuscript.

## Declarations

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

The present investigation was supported by the Scientific Research Project Administration of Akdeniz University.

## Authors’ Affiliations

## References

- Acikgoz M, Araci S: On generating function of the Bernstein polynomials.
*AIP Conf. Proc.*2010, 1281: 1141–1143.View ArticleGoogle Scholar - Bernstein SN: Démonstration du théorème de Weierstrass fondée sur la calcul des probabilités.
*Comm. Kharkov Math. Soc.*1912–1913, 13: 1–2.MATHGoogle Scholar - Chui, CK, He, TX, Jiang, Q: Fourier transform of Bernstein-Bézier polynomials. Preprint. http://www.iwu.edu/~the/YLMAA11029_Final.pdf
- Goldman R:
*An Integrated Introduction to Computer Graphics and Geometric Modeling*. CRC Press, Boca Raton; 2009.MATHGoogle Scholar - Goldman R:
*Pyramid Algorithms: A Dynamic Programming Approach to Curves and Surfaces for Geometric Modeling*. Morgan Kaufmann, San Diego; 2002.Google Scholar - Goldman R: Identities for the univariate and bivariate Bernstein basis functions. In
*Graphics Gems*. Edited by: Paeth A. Academic Press, San Diego; 1995:149–162.Google Scholar - Lorentz GG:
*Bernstein Polynomials*. Chelsea, New York; 1986.MATHGoogle Scholar - Izumi SI, Satô M, Uchiyama S: Fourier series. XII. Bernstein polynomials.
*Proc. Jpn. Acad.*1957, 33: 67–69. 10.3792/pja/1195525140View ArticleMathSciNetMATHGoogle Scholar - Kim MS, Kim T, Lee B, Ryoo CS: Some identities of Bernoulli numbers and polynomials associated with Bernstein polynomials.
*Adv. Differ. Equ.*2010., 2010: Article ID 305018Google Scholar - Phillips GM: Bernstein polynomials based on the
*q*-integers.*Ann. Numer. Math.*1997, 4: 511–518.MathSciNetMATHGoogle Scholar - Phillips GM CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC 14. In
*Interpolation and Approximation by Polynomials*. Springer, New York; 2003.View ArticleGoogle Scholar - Phillips GM: On generalized Bernstein polynomials. In
*Numerical Analysis: A.R. Mitchell 75th Birthday Volume*. Edited by: Griffits DF, Watson GA. World Scientific, Singapore; 1996:263–269.View ArticleGoogle Scholar - Romik, D: Probability theory lecture notes. Department of Mathematics, UC Davis (2011)Google Scholar
- Simsek Y, Acikgoz M: A new generating function of (
*q*-) Bernstein-type polynomials and their interpolation function.*Abstr. Appl. Anal.*2010., 2010: Article ID 769095Google Scholar - Simsek Y: Interpolation function of generalized
*q*-Bernstein-type basis polynomials and applications. LNCS 6920. In*Curves and Surfaces*. Springer, Berlin; 2011:647–662.Google Scholar - Simsek Y: Construction a new generating function of Bernstein type polynomials.
*Appl. Math. Comput.*2011, 218: 1072–1076. 10.1016/j.amc.2011.01.074MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.