[Paper Review] q-Bernstein polynomials, q-Stirling numbers and q-Bernoulli polynomials

T. Kim|arXiv (Cornell University)|Aug 26, 2010

Advanced Mathematical Identities11 references3 citations

TL;DR

This paper introduces new identities involving $q$-Bernstein polynomials, linking them to $q$-Stirling numbers and $q$-Bernoulli polynomials through generating functions and matrix representations. It derives recurrence relations, derivative formulas, and a key identity showing that the weighted sum of $q$-Bernstein polynomials yields $x^i$, establishing a fundamental structural property.

ABSTRACT

In this paper, we give new identities involving Phillips q-Bernstein polynomials and we derive some interesting properties of q-Berstein polynomials associated with q-Stirling numbers and q-Bernoulli polynomials.

Motivation & Objective

• To establish new identities connecting $q$-Bernstein polynomials with $q$-Stirling and $q$-Bernoulli polynomials.
• To derive recurrence and derivative relations for $q$-Bernstein polynomials using their generating functions.
• To provide a matrix representation of $q$-Bernstein polynomials in terms of monomial bases for computational and theoretical analysis.
• To generalize classical Bernstein polynomial properties to the $q$-analogue setting using $q$-integers and $q$-exponential functions.

Proposed method

• Utilizes the generating function $F_q^{(k)}(t,x) = \frac{x^k t^k}{[k]_q!} e_q((1-x)_q t)$ to derive properties of $q$-Bernstein polynomials.
• Applies $q$-binomial coefficients $\binom{n}{k}_q$ and $q$-factorials $[n]_q!$ to define $q$-Bernstein polynomials $B_{k,n}(x,q) = \binom{n}{k}_q x^k (1-x)_q^{n-k}$.
• Employs the $q$-exponential function $e_q(z) = \sum_{n=0}^\infty \frac{z^n (1-q)^n}{[n]_q!}$ to model $q$-analogues of exponential generating functions.
• Derives a matrix representation by expressing $q$-Bernstein polynomials as linear combinations of monomials $x^i$, with coefficients derived from $q$-binomial expansions.
• Uses the generating function of $q$-Bernoulli polynomials $\left(\frac{z}{e^z-1}\right)^k e_q(zx) = \sum_{n=0}^\infty \beta_n^{(k)}(x,q) \frac{z^n}{[n]_q!}$ to connect to $q$-Bernstein polynomials.
• Applies $q$-Stirling numbers $S(m,k)$ and binomial identities to express $B_{k,l}(x,q)$ in terms of $q$-Bernoulli polynomials and combinatorial coefficients.

Experimental results

Research questions

• RQ1 How can $q$-Bernstein polynomials be related to $q$-Stirling numbers and $q$-Bernoulli polynomials through generating functions?
• RQ2 What recurrence and derivative relations govern the behavior of $q$-Bernstein polynomials?
• RQ3 What is the structural relationship between $q$-Bernstein polynomials and monomial bases, and how can it be represented via matrices?
• RQ4 How does the identity $\sum_{k=i}^n \frac{\binom{k}{i}_q}{\binom{n}{i}_q} B_{k,n}(x,q) = x^i$ generalize classical Bernstein polynomial properties?
• RQ5 What is the explicit expression for $B_{k,l}(x,q)$ in terms of $q$-Bernoulli polynomials and $q$-Stirling numbers?

Key findings

• The identity $\sum_{k=i}^n \frac{\binom{k}{i}_q}{\binom{n}{i}_q} B_{k,n}(x,q) = x^i$ holds for all $i, n \in \mathbb{Z}_+$ and $x \in [0,1]$, generalizing the classical moment property of Bernstein polynomials.
• A matrix representation is derived where $q$-Bernstein polynomials are expressed as $\left(1,x,\dots,x^n\right) \mathbf{B}^{(q)} \vec{C}^{(q)}$, with $\mathbf{B}^{(q)}$ encoding the $q$-binomial transformation to monomial basis.
• The $q$-Bernstein polynomial $B_{k,l}(x,q)$ is explicitly expressed as $\frac{k!}{[k]_q!} x^k \sum_{m=0}^l \frac{[m]_q!}{m!} S(m,k) \beta_{l-m}^{(k)}((1-x)_q, q) \binom{l}{m}_q$, linking it to $q$-Bernoulli polynomials.
• The generating function $F_q^{(k)}(t,x) = \frac{x^k t^k}{[k]_q!} e_q((1-x)_q t)$ generates $q$-Bernstein polynomials and yields recurrence and derivative relations.
• The $q$-Bernoulli polynomials $\beta_n^{(k)}(x,q)$ are shown to satisfy $\beta_n^{(k)}(x,q) = \sum_{m=0}^n \binom{n}{m}_q \frac{[m]_q!}{m!} x^{n-m} B_m^{(k)}$, where $B_m^{(k)}$ are classical Bernoulli numbers of order $k.$
• For $n=2$, the matrix representation of $q$-Bernstein polynomials is explicitly computed as $\begin{pmatrix}1 & 0 & 0 \\ -[2]_q & [2]_q & 0 \\ q & -[2]_q & 1 \end{pmatrix}$, confirming the transformation from monomial to $q$-Bernstein basis.