Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

A certain way to define the $t$-analogue of the Euler polynomials $C_n(x)$ is by $$ C_n(x,t)=\sum_{\pi\in S_n}x^{\text{des}(\pi)+1}t^{\text{maj}(\pi)} $$ where $des(\pi)$ is the descents in $\pi$, and $maj(\pi)$ is the major index of $\pi$.

Based on this, how can one derive the general formula $$ \sum_k (k)_t^nx^k=\frac{C_n(x,t)}{(1-x)(1-tx)\cdots(1-t^nx)}? $$ Thank you.

I thought it would be more approachable to rewrite as $$ \sum_k (k)_t^nx^k(1-x)(1-tx)\cdots(1-t^nx)=C_n(x,t) $$ and compare coefficients. With two variables and an unwieldy product of terms, I couldn't find a nice form for the coefficients of the left hand side above.

share|cite|improve this question
What approaches have you tried or thought about? – anon Feb 13 '12 at 8:47
@anon I tried rewriting the formula as $$\sum_k (k)_t^nx^k(1-x)(1-tx)\cdots(1-t^nx)=C_n(x,t).$$ My idea was to somehow find the coefficent of a general monomial $x^it^j$ for some $i$ and $j$, in hopes that the coefficients would match up. With two variables especailly, I had a tough time finding an explicitly form for them. – Clara Feb 13 '12 at 18:19

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.