MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the Fibonacci polynomials
$$F_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor }\binom{n-j}{j} x^{n - 2j} $$ and the Lucas polynomials
$$L_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor }\frac{n}{n-j }\binom{n-j}{j} x^{n - 2j} .$$

Let $X$ be the multiplication operator $Xp(x)=xp(x)$ on the polynomials, $D_q$ the $q$-differentiation operator defined by $$D_q p(x)=\frac{p(qx)-p(x)}{qx-x}$$ and $A=X+(q-1)D_q$.

Applying the operator $F_n(A)$ to the constant polynomial $1$ has the curious effect that all binomial coefficients $\binom{n}{j}$ are changed to $q$-binomial coefficients ${n\brack j}$ together with some $q$-power. More specifically, we get $$F_n(A)1=F_n(x|q)= \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor } {q^{j+1\choose 2}}{n-j\brack j} x^{n - 2j} $$ and $$ L_n(A)1=L_n(x|q)= \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor } {q^{j\choose 2}}{\frac{[n]}{[n-j]}}{n-j\brack j} x^{n - 2j} .$$

Is this an isolated phenomenon or do there exist similar formulae for polynomials? In other words, are there polynomials $p_n(x)$ in one variable $x$ and operators $B(q)$ satisfying $B(1)=X$ such that $p_n(B(q))1$ is a simple or beautiful $q$-analogue of $p_n(x)$?

A trivial example would be $p_n(x)=x^n$ and $B(q)=\epsilon(q)X$ with $\epsilon(q)p(x)=p(qx)$.


Recently I noticed that the Rogers-Szegö polynomials $$R_n(x,s)= \sum_{j = 0}^{n }{n\brack j} x^{j}s^{n-j} $$ can also be represented in this way: $$R_n(x,s)=(x+s+(q-1)xsD_q)^n1.$$ Since this is the most natural $q-$ analogue of the binomial theorem I would be astonished if nobody has as yet seen this fact. The proof is the same as that for the well-known recursion $R_{n+1}(x,s)=xR_{n}(x,s)+(q^n-1)xs R_{n-1}(x,s).$

It follows immediately from the recurrence of the $q-$ binomial coefficients:

$(x+s+(q-1)xsD_q) \sum_{j = 0}^{n }{n\brack j} x^{j}s^{n-j}$ $=\sum_{j = 0}^{n }{n\brack j} x^{j+1}s^{n-j}$ $+\sum_{j = 0}^{n }{n\brack {j}} x^{j}s^{n-j+1}$ $+\sum_{j = 0}^{n }(q^{j}-1){n\brack j} x^{j}s^{n-j+1}$ $= \sum_{j = 0}^{n+1 }({n\brack j}+{n\brack {j-1}}+(q^{j}-1) {n\brack {j}}) x^{j} s^{n-j+1}$ $=\sum_{j = 0}^{n +1}{{n+1}\brack j} x^{j}s^{n-j+1}.$

share|cite|improve this question
A $q$-rious $q$-estion! I love it. Do you have a reference for your "quantisation" of the Fibonacci and Lucas polynomials? This should not be isolated examples: one could try next the binomial expansion and, if it works, the hypergeometric series. – Wadim Zudilin Jul 21 '10 at 10:37
Wadim: See e.g. A new class of q-Fibonacci polynomials in Electr.J. Comb. 10(2003),R19 – Johann Cigler Jul 21 '10 at 10:56
Thanks, Johann! By the way, it's not mentioned that $[n]=(1-q^n)/(1-q)$ and ${m\brack n}=[1][2]\dots[m]/([1]\dots[n]\cdot[1]\dots[m-n])$. – Wadim Zudilin Jul 21 '10 at 11:11
Re your edit, isn't $1+(q-1)xD_q$ just the $\epsilon(q)$ operator you had earlier ? So $R_n$ arises from the (q-binomial) expansion $(x+s\epsilon)^n$. – dke Apr 11 '11 at 17:30
@dke: yes you are right. – Johann Cigler Apr 11 '11 at 19:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.