Unification of the Bernstein-type polynomials and their applications

Yilmaz Simsek

doi:10.1186/1687-2770-2013-56

Research
Open Access

Unification of the Bernstein-type polynomials and their applications

Yilmaz Simsek¹Email author

Boundary Value Problems20132013:56

https://doi.org/10.1186/1687-2770-2013-56

Received: 12 November 2012
Accepted: 27 February 2013
Published: 20 March 2013

Abstract

In this paper, we investigate some new identities related to the unification of the Bernstein-type polynomials, Bernoulli polynomials, Euler numbers and Stirling numbers of the second kind. We also give some remarks and applications of the Bernstein-type polynomials related to solving high even-order differential equations by using the Bernstein-Galerkin 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
high-order differential equations
Bernstein-Galerkin method
Bernoulli polynomials
Bernoulli numbers
Euler polynomials
Euler numbers
Genocchi polynomials
Genocchi numbers
Stirling numbers of the second kind

1 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 q-series, 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:

F (t, b, s : x) = \frac{2^{b} x^{b s} {(\frac{t}{2})}^{b s} e^{t (1 - x)}}{(b s)!},

(1)

where

b, s \in N_{0} : = {0, 1, 2, 3, \dots}

,

t \in C

and

x \in [0, 1]

. The following function is a generating function of the polynomials

S_{n} (b, s, x)

F (t, b, s : x) = \sum_{n = 0}^{\infty} S_{n} (b, s, x) \frac{t^{n}}{n!},

(2)

where $S_{0} (b, s, x) = \dots = S_{b s - 1} (b, s, x) = 0$ .

An explicit formula of the polynomials $S_{n} (b, s, x)$ is given by the following theorem [1].

Theorem 1.1 Let

x \in [0, 1]

. Let b, n and s be nonnegative integers. If

n \geq b s

, then we have

S_{n} (b, s, x) = (\binom{n}{b s}) \frac{x^{b s} {(1 - x)}^{n - b s}}{2^{b (s - 1)}} .

Remark 1.2 If we set

s = 1

in (2), we have

S_{n} (b, 1, x) = B_{b}^{n} (x),

which denotes the classical Bernstein basis function (cf. [1–7]). Consequently, the polynomials $S_{n} (b, s, x)$ 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 Bernstein-type 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 Bernstein-type polynomials can be found. Section 3: Integral representations of the unification of the Bernstein-type 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 Bernstein-type polynomials. Section 5: By using a new generating function, we prove the Marsden identity for the unification of the Bernstein-type polynomials. Section 6: By using generating functions, we give relations between the unification of the Bernstein-type 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 Bernstein-type polynomials and the Bernstein-Galerkin methods, we solve high even-order differential equations. Section 8: We give some remarks on the unification of the Bernstein-type polynomials and Bezier-type curves.

2 Properties of the unification of the Bernstein-type polynomials

In this section, we investigate some properties of the unification of the Bernstein-type polynomials.

2.1 Partition of unity

The unification of the Bernstein-type polynomials

S_{n} (b, s, x)

does not have partition of unity. That is, by using (1), we derive the following functional equation:

\sum_{s = 0}^{\infty} F (t, 1, s : x) = 2 e^{\frac{t}{2} (2 - x)} .

By using the same method as that in [7] and (2), we arrive at the formula for the polynomials

S_{n} (1, s, x)

\sum_{s = 0}^{n} S_{n} (1, s, x) = 2^{1 - n} {(2 - x)}^{n} .

Remark 2.1 The polynomials

2^{b (s - 1)} S_{n} (b, s, x)

have partition of unity. That is,

\sum_{b s = 0}^{n} 2^{b (s - 1)} S_{n} (b, s, x) = 1 .

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 Bernstein-type polynomials

S_{n} (b, s, x)

:

\sum_{s = 0}^{\infty} {(- 1)}^{s} F (t, 1, s : x) = 2 e^{\frac{t}{2} (2 - 3 x)} .

By using the same method as that in [7] and (2), we arrive at a formula for the alternating sum of the polynomials $S_{n} (1, s, x)$ , which is given by the following theorem.

Theorem 2.2

\sum_{s = 0}^{n} {(- 1)}^{s} S_{n} (1, s, x) = 2^{1 - n} {(2 - 3 x)}^{n} .

2.3 Subdivision property

Here, we give partial differential equations and a functional equation of the generating function for the unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ . By using this functional equation, we derive the subdivision property unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ .

We set

F (t, b, s : y x) = F (y t, b, s : x) e^{t (1 - y)} .

(3)

By using the above functional equation and (2), we derive the subdivision property for the polynomials $S_{n} (b, s, x)$ by the following theorem.

Theorem 2.3

S_{n} (b, s, x y) = \sum_{k = b s}^{n} 2^{k - 1} S_{k} (b, s, x) S_{n} (1, k, y)

or

S_{n} (b, s, x y) = \sum_{k = b s}^{n} S_{k} (b, s, x) B_{k}^{n} (y),

(4)

where $B_{k}^{n} (y)$ denotes the classical Bernstein basis function.

Remark 2.4 Substituting

s = 1

into (4), we obtain the subdivision property for the classical Bernstein basis functions:

B_{b}^{n} (x y) = \sum_{k = b}^{n} B_{b}^{k} (x) B_{k}^{n} (y) .

Using (3), we give the following partial differential equations:

\frac{\partial}{\partial y} F (t, b, s : y x) = e^{t (1 - y)} \frac{\partial}{\partial y} F (y t, b, s : x) - t F (y t, b, s : x)

and

\frac{\partial}{\partial x} F (t, b, s : y x) = e^{t (1 - y)} \frac{\partial}{\partial x} F (y t, b, s : x) .

By applying these partial differential equations, we obtain the following derivative relations which are related to the subdivision property unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ , respectively:

Theorem 2.5

\frac{\partial}{\partial y} S_{n} (b, s, x y) = \sum_{j = 0}^{n} j B_{j}^{n} (y) S_{j} (b, s, x) - n y^{n - 1} S_{n - 1} (b, s, x)

and

\frac{\partial}{\partial x} S_{n} (b, s, x y) = \sum_{j = 0}^{n} B_{j}^{n} (y) \frac{\partial}{\partial x} S_{j} (b, s, x) .

3 Integral representations

In this section, we derive integral representations of the unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ . We also give an identity which connects the binomial coefficients, gamma and beta functions.

The beta function

B (α, β)

is a function of two complex variables α and β, defined by

B (α, β) = \int_{0}^{1} t^{α - 1} {(1 - t)}^{β - 1} d t = B (β, α) (ℜ (α) > 0, ℜ (β) > 0)

(5)

(cf. [[8], p.9, Eq. (60)]). The beta function is related to the gamma function; one has

B (α, β) = \frac{Γ (α) Γ (β)}{Γ (α + β)} .

Replacing α by

n \in Z^{+}

and β by

m \in Z^{+}

in the above equation, we get

B (α, β) = \frac{Γ (n) Γ (m)}{Γ (n + m)} = \frac{(n - 1)! (m - 1)!}{(n + m - 1)!}

(6)

(cf. [[8], p.9, Eq. (62)]).

Theorem 3.1

\int_{0}^{1} S_{n} (b, s, x) d x = 2^{b (1 - s)} (\binom{n}{b s}) B (b s + 1, n - b s + 1)

(7)

or

\int_{0}^{1} S_{n} (b, s, x) d x = 2^{b (1 - s)} (\binom{n}{b s}) \sum_{l = 0}^{n - b s} {(- 1)}^{n - b s - l} (\binom{n - b s}{l}) \frac{1}{n - l + 1} .

(8)

Proof

\int_{0}^{1} S_{n} (b, s, x) d x = 2^{b (1 - s)} (\binom{n}{b s}) \int_{0}^{1} x^{b s} {(1 - x)}^{n - b s} d x,

(9)

where

b s \leq n .

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:

\sum_{l = 0}^{n - b s} {(- 1)}^{n - b s - l} (\binom{n - b s}{l}) \frac{1}{n - l + 1} = \frac{1}{(n + 1) (\binom{n}{b s})} .

4 Identities

In this section, by using the Laplace transform, we give some identities of the unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ .

Using the generating function in (2), we get

e^{- t} \sum_{n = 0}^{\infty} S_{n} (b s, x) \frac{t^{n}}{n!} = \frac{2^{b} x^{b s} {(\frac{t}{2})}^{b s}}{(b s)!} e^{- x t} .

(10)

Integrating equation (10) (by parts) with respect to t from zero to infinity, we have

\sum_{n = 0}^{\infty} \frac{S_{n} (b, s, x)}{n!} \int_{0}^{\infty} e^{- t} t^{n} d t = \frac{2^{b (1 - s)} x^{b s}}{(b s)!} \int_{0}^{\infty} t^{b s} e^{- x t} d t .

(11)

If we appropriately use the case

x > 0

of the following Laplace transform of the function

f (t) = t^{k}

:

\int_{0}^{\infty} t^{k} e^{- u t} d t = \frac{k!}{u^{k + 1}},

(12)

by substituting (12) into (11), we arrive at the following theorem.

Theorem 4.1 Let

| 1 - x | < 1

. Then we have

\sum_{n = 0}^{\infty} x S_{n} (b, s, x) = 2^{b (1 - s)} .

(13)

Remark 4.2 If we set $s = 1$ in (13), then we arrive at Theorem 15 in [7].

We modify (2) as follows:

e^{x t} \sum_{n = 0}^{\infty} S_{n} (b, s, x) \frac{t^{n}}{n!} = \frac{2^{b} x^{b s} {(\frac{t}{2})}^{b s}}{(b s)!} e^{t} .

From the above equation, we get

\sum_{n = 0}^{\infty} x^{n} \frac{t^{n}}{n!} \sum_{n = 0}^{\infty} S_{n} (b, s, x) \frac{t^{n}}{n!} = \frac{2^{b (1 - s)} x^{b s}}{(b s)!} \sum_{n = 0}^{\infty} \frac{t^{n + b s}}{n!} .

Therefore, we arrive at the following theorem.

Theorem 4.3

\sum_{j = 0}^{n} (\binom{n}{j}) x^{j} S_{n - j} (b, s, x) = (\binom{n}{b s}) 2^{b (1 - s)} x^{b s} .

5 Marsden identity

In this section, by using generating functions, we prove the Marsden identity for the unification of the Bernstein-type polynomials $S_{n} (b, s, x)$ . This identity is associated with a formula for rational linear transformation of B-splines, which are of interest in computer-aided geometric design and approximation theory.

We set

h (x, u, t) = \sum_{n = 0}^{\infty} {(x - u)}^{n} \frac{t^{n}}{n!}

or

h (x, u, t) = e^{(x - u) t} .

We derive the following functional equation:

h (x, u, t) = h (1, u, x t) h (x, 1, u t) .

From the above functional equation, we get

\sum_{n = 0}^{\infty} {(x - u)}^{n} \frac{t^{n}}{n!} = (\sum_{n = 0}^{\infty} {(1 - u)}^{n} \frac{x^{n} t^{n}}{n!}) (\sum_{n = 0}^{\infty} {(- 1)}^{n} {(1 - x)}^{n} \frac{u^{n} t^{n}}{n!}) .

Therefore

\sum_{n = 0}^{\infty} {(x - u)}^{n} \frac{t^{n}}{n!} = \sum_{n = 0}^{\infty} (\sum_{j = 0}^{n} {(- 1)}^{n - j} (\binom{n}{j}) x^{j} {(1 - x)}^{n - j} u^{n - j} {(1 - u)}^{j}) \frac{t^{n}}{n!} .

(14)

From the above equation, we have

\sum_{n = 0}^{\infty} {(x - u)}^{n} \frac{t^{n}}{n!} = \sum_{n = 0}^{\infty} (\sum_{j = 0}^{n} {(- 1)}^{n - j} \frac{2^{n - 2}}{(\binom{n}{n - j})} S_{n} (1, j, x) S_{n} (1, n - j, u)) \frac{t^{n}}{n!} .

By comparing the coefficients of

\frac{t^{n}}{n!}

on the both sides of the above equation, we obtain

{(x - u)}^{n} \frac{1}{n!} = \frac{1}{n!} \sum_{j = 0}^{n} {(- 1)}^{n - j} \frac{2^{n - 2}}{(\binom{n}{n - j})} S_{n} (1, j, x) S_{n} (1, n - j, u) .

Therefore, we arrive at the Marsden identity which is given by the following theorem.

Theorem 5.1

{(x - u)}^{n} = \sum_{j = 0}^{n} {(- 1)}^{n - j} \frac{2^{n - 2}}{(\binom{n}{n - j})} S_{n} (1, j, x) S_{n} (1, n - j, u) .

Remark 5.2 By using (14), we also obtain the Marsden identity for the classical Bernstein polynomials

B_{j}^{n} (x)

as follows:

{(x - u)}^{n} = \sum_{j = 0}^{n} \frac{{(- 1)}^{n - j}}{(\binom{n}{n - j})} B_{j}^{n} (x) B_{n - j}^{n} (u) .

6 Relations between the polynomial $S_{n} (b, s, x)$ , unification of the Bernoulli polynomial of higher order and Stirling numbers of the second kind

The so-called unification of the Bernoulli, Euler and Genocchi polynomials

Y_{n, β} (x; k, a, b)

were defined by Ozden [9]. The polynomials

Y_{n, β} (x; k, a, b)

are defined by means of the following generating function:

f_{a, b} (x; t; k, β) = \frac{2^{1 - k} t^{k} e^{t x}}{β^{b} e^{t} - a^{b}} = \sum_{n = 0}^{\infty} Y_{n, β} (x; k, a, b) \frac{t^{n}}{n!},

(15)

where k is an integer parameter, a and b are real parameters and β is a complex parameter. Observe that

Y_{n, β} (0; k, a, b) = Y_{n, β} (k, a, b)

(cf. [9, 10]).

The above generating function is related to some special polynomials as follows.

Remark 6.1 Substituting

a = b = k = 1

into (15), we have the Apostol-Bernoulli polynomials (cf. [11–13]):

Y_{n, β} (x; 1, 1, 1) = B_{n} (x, β);

substituting

b = 1

,

k = 0

and

a = - 1

into (15), we have the Apostol-Euler polynomials:

Y_{n, β} (x; 0, - 1, 1) = E_{n} (x, β);

substituting

b = 1

,

k = 1

and

a = - 1

into (15), we have the Apostol-Genocchi polynomials:

Y_{n, β} (x; 1, - 1, 1) = \frac{1}{2} G_{n} (x, β);

substituting

β = b = k = a = 1

into (15), we have

Y_{n, 1} (x; 1, 1, 1) = B_{n} (x),

where

B_{n} (x)

denotes the classical Bernoulli polynomials and substituting

β = b = k = 1

and

a = - 1

into (15), we have

Y_{n, 1} (x; 0, - 1, 1) = E_{n} (x),

where $E_{n} (x)$ denotes the classical Euler polynomials.

Now, the modification of (15) is given by

\frac{{(\frac{2}{a})}^{v} {(\frac{t}{2})}^{k v} e^{t x}}{{(\frac{β}{a} e^{t} - 1)}^{v}} = \sum_{n = 0}^{\infty} Y_{n, \frac{β}{a}}^{(v)} (x; k, 1, 1) \frac{t^{n}}{n!} .

(16)

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

λ \in C

and

v \in N_{0}

. The generalized λ-Stirling type numbers of the second kind

S (n, v; λ)

are defined by means of the following generating function:

f_{S, v} (t; λ) = \frac{{(λ e^{t} - 1)}^{v}}{v!} = \sum_{n = 0}^{\infty} S (n, v; λ) \frac{t^{n}}{n!} .

(17)

Remark 6.3 By setting

λ = 1

in (17), we get

S (n, v) = S (n, v; 1),

where

S (n, v)

denotes the Stirling numbers of the second kind. It is also well known that

x^{n} = \sum_{v = 0}^{n} (\binom{x}{v}) v! S (n, v),

(18)

so that

S (n, 0) = δ_{n, 0}, S (n, 1) = S (n, n) = 1 and S (n, n - 1) = (\binom{n}{2}),

$δ_{n, 0}$ being the Kronecker symbol (cf. [8, 12, 14, 15]).

Theorem 6.4 Let b, n and s be nonnegative integers with

n \geq b s

. Then we have

2^{b (1 - s)} a^{- b} {(1 - x)}^{n - b s} = \sum_{j = b s}^{n} \frac{(\binom{n}{j})}{(\binom{n}{b s})} S (j, b s; \frac{β}{a}) Y_{n - j, \frac{β}{a}}^{(b s)} (1 - x; k, 1, 1),

where $Y_{n, \frac{β}{a}}^{(v)} (x; k, 1, 1)$ and $S (j, b s; \frac{β}{a})$ denote the unification Bernoulli polynomial of higher order and $\frac{β}{a}$ -Stirling numbers of the second kind, respectively.

Proof By (2), we have

a^{b} x^{b s} (\frac{{(\frac{β}{a} e^{t} - 1)}^{b s}}{(b s)!}) (\frac{{(\frac{2}{a})}^{b} {(\frac{t}{2})}^{b s} e^{(1 - x) t}}{{(\frac{β}{a} e^{t} - 1)}^{b s}}) = \sum_{n = 0}^{\infty} S_{n} (b, s, x) \frac{t^{n}}{n!} .

By using (2), (16) and (17) in the above equation, we have

\sum_{n = 0}^{\infty} S_{n} (b s, x) \frac{t^{n}}{n!} = a^{b} x^{b s} (\sum_{n = 0}^{\infty} Y_{n, \frac{β}{a}}^{(b s)} (1 - x; k, 1, e)) (\sum_{n = 0}^{\infty} S (n, b s; \frac{β}{a}) \frac{t^{n}}{n!}) .

From the above equation, after some calculation, we find the desired result. □

Theorem 6.5 Let b and n be nonnegative integers with

n \geq b

. Then we have

{(1 - x)}^{n} = \sum_{m = 0}^{n} \sum_{j = 0}^{b} (\binom{n}{m}) (\binom{b}{j}) j^{m} E_{n - m}^{(b)} (1 - x),

(19)

where $E_{n - m}^{(b)} (1 - x)$ denotes the Euler polynomials of higher order.

Proof By (2), we have

2^{b} e^{(1 - x) t} {(\frac{e^{t} + 1}{e^{t} + 1})}^{b} = \sum_{n = 0}^{\infty} S_{n} (b, 0, x) \frac{t^{n}}{n!} .

From the above, we have

\begin{array}{rcl} \sum_{n = 0}^{\infty} S_{n} (b, 0, x) \frac{t^{n}}{n!} & = & e^{(1 - x) t} {(\frac{2}{e^{t} + 1})}^{b} {(e^{t} + 1)}^{b} \\ = & (\sum_{n = 0}^{\infty} \sum_{j = 0}^{b} (\binom{b}{j}) j^{n} \frac{t^{n}}{n!}) (\sum_{n = 0}^{\infty} E_{n}^{(b)} (1 - x) \frac{t^{n}}{n!}) . \end{array}

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

\sum_{j = 0}^{b} (\binom{b}{j}) j^{m} = 2^{b} \sum_{j = 0}^{m} \frac{1}{2^{j}} (\binom{b}{j}) B_{j, j}^{m},

(20)

where

B_{j, j}^{m} = j! S (m, j) .

By substituting (20) into (19), we arrive at the following result.

Corollary 6.6 The following identity holds true:

S_{n} (b, 0, x) = \sum_{m = 0}^{n} \sum_{j = 0}^{m} (\binom{n}{m}) (\binom{b}{j}) 2^{b - j} E_{n - m}^{(b)} (1 - x) B_{j, j}^{m} .

7 Unification of the Bernstein-type polynomials for solving high even-order differential equations by the Bernstein-Galerkin methods

In [4], Doha et al. gave an application of the Bernstein polynomials for solving high even-order differential equations by using the Bernstein-Galerkin and the Bernstein-Petrov-Galerkin 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 Bernstein-type polynomials $S_{n} (b, s, x)$ by a higher-order partial differential equation and functional equations. We also give some remarks and applications related to these polynomials and the Bernstein-Galerkin method.

We modify (1) as follows:

\begin{array}{rcl} F (t, b - k, s - k : x) & = & \frac{2^{b - k} x^{b s - k} {(\frac{t}{2})}^{b s - k} e^{t (1 - x)}}{(b s - k)!} \\ = & \sum_{n = 0}^{\infty} S_{n} (b - k, s - k, x) \frac{t^{n}}{n!}, \end{array}

(21)

where

k \in N_{0} = {0, 1, 2, \dots}

and

x \in [0, 1]

. Let b, k, n and s be nonnegative integers and

n \geq b s - k \geq 0

, then we get

S_{n} (b - k, s - k, x) = (\binom{n}{b s - k}) \frac{x^{b s - k} {(1 - x)}^{n - b s + k}}{2^{b (s - 1)}},

(22)

so that, obviously,

S_{n} (b, s, x) = S_{n} (b - 0, s - 0, x) .

By using the same method as in [15], we now give a higher-order partial differential equation for the generating function $F (t, b, s : x)$ as follows.

We set

g (t, x; b, s) = \frac{2^{b} x^{b s} {(\frac{t}{2})}^{b s}}{(b s)!}

and

h (t, x) = e^{t (1 - x)} .

We have

F (t, b, s : x) = g (t, x; b, s) h (t, x) .

By using Leibnitz’s formula for the v th derivative, with respect to x, of the product

F (t, b, s : x)

of the above two functions, we obtain the following higher-order partial differential equation:

\frac{\partial^{v} F (t, b, s : x)}{\partial x^{v}} = \sum_{j = 0}^{v} (\binom{v}{j}) (\frac{\partial^{j} g (t, x; b, s)}{\partial x^{j}}) (\frac{\partial^{v - j} h (t, x)}{\partial x^{v - j}}) .

By using (1) in the above partial differential equation, we get the following higher order partial differential equation:

\frac{\partial^{v} F (t, b, s : x)}{\partial x^{v}} = \sum_{j = 0}^{v} {(- 1)}^{v - j} (\binom{v}{j}) F (t, b - j, s - j : x) .

By substituting (21) into the above equation, after some calculation, we arrive at the following theorem.

Theorem 7.1 Let

x \in [a, b]

. Let b, s and v be nonnegative integers with

n \geq b s

. Then we have

S_{n}^{(v)} (b, s, x) = \frac{n!}{(n - v)!} \sum_{j = 0}^{v} {(- 1)}^{v - j} (\binom{v}{j}) S_{n - v} (b - j, s - j, x),

where

S_{n}^{(v)} (b, s, x) = \frac{d^{v} S_{n} (b, s, x)}{d x^{v}} .

Integrating equation (22) (by parts) with respect to x from 0 to 1 and using Theorem 3.1, we have

\int_{0}^{1} S_{n} (b, s, x) d x = \frac{2^{b (1 - s)}}{n + 1},

for all b and s.

\int_{0}^{1} S_{n}^{(v)} (b, s, x) S_{n} (b, s, x) d x = \frac{2^{2 b (1 - s)} n!}{(2 n + 1) (n - v)!} (\binom{n}{b s}) \sum_{j = 0}^{v} {(- 1)}^{v - j} \frac{(\binom{v}{j}) (\binom{n}{b s - j})}{(\binom{2 n}{2 b s - j})} .

(23)

We recall from the work of Doha et al. [4] that if

f (x)

is a differentiable function of degree m and defined on

[0, 1]

, then a linear combination of the Bernstein polynomials can be written. Therefore, we can easily have

f (x) = \sum_{b, s = 0}^{m} c_{b, s, m} S_{m} (b, s, x),

where

b s \leq m

, otherwise

S_{m} (b, s, x) = 0

and

\sum_{b, s = 0}^{m} = \sum_{b = 0}^{m} \sum_{s = 0}^{m} .

By using the same method as in [4], we write

f^{(v)} (x) = \frac{d^{v} f (x)}{d x^{v}} = \sum_{b, s = 0}^{m} c_{b, s, m} \frac{d^{v} S_{m} (b, s, x)}{d x^{v}},

where

b s \leq m

, otherwise

S_{m} (b, s, x) = 0

. We now give an application for the solution of high even-order differential equations. We also recall from the work of Doha et al. [4] that for

x \in [0, 1]

,

f (x) = u^{(2 m)} + \sum_{j = 1}^{2 m - 1} γ_{j} u^{(j)} + γ_{0} u

(24)

by the following boundary conditions:

u^{(v)} (0) = 0, u^{(v)} (1) = 0; 0 \leq v \leq m - 1

(cf. [4]). By using the same method as that of Doha et al. [4], we apply the unification of the Bernstein-type polynomials

S_{m} (b, s, x)

to the Bernstein-Galerkin approximation for solving (24); that is,

Y_{m} = {S_{m} (b, s, x) : m \geq b s}

and

Z_{m} = {u \in Y_{m} : u^{(v)} (0) = 0, u^{(v)} (1) = 0; 0 \leq v \leq m - 1} .

By applying the Bernstein-Galerkin approximation (24), we find $u_{m} \in Z_{m}$ 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

〈 u, v 〉

on

L^{2} (I)

is defined by

〈 u, v 〉 = \int_{I} u (x) v (x) d x .

By using this inner product, we modify (24) as follows:

〈 f (x), g_{n} (k, x) 〉 = 〈 u_{n}^{(2 m)}, g_{n} (k, x) 〉 + \sum_{j = 1}^{2 m - 1} γ_{j} 〈 u_{n}^{(j)}, g_{n} (k, x) 〉 + γ_{0} 〈 u_{n}, g_{n} (k, x) 〉,

(25)

where

m \leq k \leq n - m

,

2 m \leq n

and

g_{n} (k, x) = S_{n} (b + k, s + k, x) = (\binom{n}{b s + k}) \frac{x^{b s + k} {(1 - x)}^{n - b s - k}}{2^{b (s - 1)}} .

The matrix representation of the above equation is given by

F = (A + \sum_{j = 1}^{2 m - 1} γ_{j} B_{j} + γ_{0} B_{0}) C,

where

By using (23), one can easily find A,

B_{j}

(

j = 0, 1, 2, \dots, 2 m - 1

); that is,

a_{k j} = 〈 g_{n}^{(2 m)} (j, x), g_{n} (k, x) 〉 = \int_{0}^{1} g_{n}^{(2 m)} (j, x) g_{n} (k, x) d x

and

b_{k j}^{i} = 〈 g_{n}^{(i)} (j, x), g_{n} (k, x) 〉 = \int_{0}^{1} g_{n}^{(i)} (j, x) g_{n} (k, x) d x .

Remark 7.2 According to Doha et al. [4], it is important to apply the Galerkin-spectral Bernstein approximation for how to choose an appropriate basis for

Z_{m}

such that the linear system resulting in the Bernstein-Galerkin approximation to (25) is possible. That is,

Z_{m} = span {g_{n} (m, x), g_{n} (m + 1, x), \dots, g_{n} (n - m, x)},

where $g_{n} (k, x) \in Z_{m}$ for all $m \leq k \leq n - m$ . The 2m boundary conditions lead to the first m, and the least m expansion coefficients are zero.

Remark 7.3 By using the Bernstein-Galerkin and the Bernstein-Petrov-Galerkin methods, Doha et al. [4] solved the following boundary value problem:

u^{(2)} (x) - u (x) = (4 - 2 x^{2}) sin x + 4 x cos x, x \in [0, 1],

subject to the boundary conditions

u (0) = u (1) = 0

, with the exact solution

u (x) = (1 - x^{2}) sin x

(cf. see for detail [4, 16]).

8 Further remarks on Bezier curves

The unification of the Bernstein-type polynomials is used to construct Bezier-type curves which are used in computer-aided graphics design and related fields and also in the time domain, particularly in animation and interface design (cf. [2, 6]).

The Bezier-type curve of degree n can be generalized by the author [1] as follows:

B_{n} (b, s, x) = \sum_{0 \leq b, s \leq n (b s \leq n)} P_{b, s} S_{n} (b, s, x),

(26)

where $x \in [0, 1]$ , $S_{n} (b, s, x)$ denotes the unification of the Bernstein-type polynomials and $P_{b, s}$ are the control points.

The unification of the Bernstein-type polynomials might affect the shape of the curves.

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

(1)

Department of Mathematics, Faculty of Science, University of Akdeniz, Antalya, TR-07058, Turkey

References

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 ArticleGoogle Scholar
Farouki RT: The Bernstein polynomials basis: a centennial retrospective. Comput. Aided Geom. Des. 2012, 29: 379-419. 10.1016/j.cagd.2012.03.001MathSciNetView ArticleGoogle Scholar
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 1912-1913, 13: 1-2.Google Scholar
Doha EH, Bhrawy AH, Saker MA: On the derivatives of Bernstein polynomials: an application for the solution of high even-order differential equations. Bound. Value Probl. 2011., 2011: Article ID 829543. doi:10.1155/2011/829543Google 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
Simsek, Y: Generating functions for the Bernstein-type polynomials: a new approach to deriving identities and applications for these polynomials. Hacet. J. Math. Stat. (in press)Google Scholar
Simsek Y: Functional equations from generating functions: a novel approach to deriving identities for the Bernstein basis functions. Fixed Point Theory Appl. 2013., 2013: Article ID 80Google Scholar
Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.View ArticleGoogle Scholar
Ozden H: Unification of generating function of the Bernoulli, Euler and Genocchi numbers and polynomials. AIP Conf. Proc. 2010, 1281: 1125-1128.View ArticleGoogle Scholar
Ozden H, Simsek Y, Srivastava HM: A unified presentation of the generating functions of the generalized Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl. 2010, 60: 2779-2787. 10.1016/j.camwa.2010.09.031MathSciNetView ArticleGoogle Scholar
Kim YH, Kim W, Jang LC: On the q -extension of Apostol-Euler numbers and polynomials. Abstr. Appl. Anal. 2008., 2008: Article ID 296159Google Scholar
Luo QM, Srivastava HM: Some generalizations of the Apostol-Genocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 2011, 217: 5702-5728. 10.1016/j.amc.2010.12.048MathSciNetView ArticleGoogle Scholar
Srivastava HM: Some generalizations and basic (or q -) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5: 390-444.MathSciNetGoogle Scholar
Gould, HW: http://www.math.wvu.edu/~gould/Vol.7.PDF
Simsek Y: On q -deformed Stirling numbers. Int. J. Math. Comput. 2012, 15: 70-80.MathSciNetGoogle Scholar
Ramadan MA, Lashien IF, Zahra WK: High order accuracy nonpolynomial spline solutions for 2 μ th order two point boundary value problems. Appl. Math. Comput. 2008, 204: 920-927. 10.1016/j.amc.2008.07.038MathSciNetView ArticleGoogle 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.