1
$\begingroup$

I'll use another way to give the question besides the title.

Define $$ A_k(n) = \frac{1}{2 \pi \mathrm{i}} \int_{|q|=1} \left( \frac{1}{2 \pi \mathrm{i}}\int_{|z|=1}\prod_{j=-n}^{n}(1+qz^j) \frac{dz}{z} \right) \frac{1}{q^k} \frac{dq}{q}.$$

By some numeral calculation buy a simple program, I note that if we freeze $k$, then $A_k(n)$ always satisfies a linear recurrence relations.

How to make a proof? Or anyone could give a counterexample? (A "appropriate" counterexample may be a sequence $A_l(1), A_l(2), \cdots, A_l(m)$ for large enough $m$.)

Thanks for reading my problem. : )

$\endgroup$
8
  • 1
    $\begingroup$ Residue formula seems the way to go, did you try it? It is difficult to give a counterexample to a recurrence relation that you did not state! $\endgroup$ Commented Jan 3, 2014 at 13:43
  • $\begingroup$ Any sequence satisfies some recurrence relation. To make a meaningful question, specify what sort of recurrence relations you seek. $\endgroup$ Commented Jan 3, 2014 at 13:44
  • $\begingroup$ To Andreas, thanks for your comment, I've re-edited it. $\endgroup$
    – Lwins
    Commented Jan 3, 2014 at 13:52
  • $\begingroup$ To Benoît, if changing $(1+qz^j)$ to $(1-qz^j)^{-1}$, I thought I could do it by residue formula. But if not, it seems to be too hard for me. $\endgroup$
    – Lwins
    Commented Jan 3, 2014 at 13:56
  • $\begingroup$ Maybe the combinatorial interpretation is a better way to justify a recurrence. $A_k(n)$ is something like the number of $k$-subsets of $\lbrace -n,\ldots,n\rbrace$ that sum to 0, isn't it? $\endgroup$ Commented Jan 3, 2014 at 15:17

1 Answer 1

7
$\begingroup$

Here is a sketch of a proof. First I'll switch $q$ and $z$, since this is more consistent with standard “$q$-series” notation.

Let $C_k(n)$ be the coefficient of $z^k$ in $\prod_{j=-n}^n (1+q^jz)$, so that $A_k(n)$ is the constant term in $q$ in $C_k(n)$. By the $q$-binomial theorem $$\prod_{j=0}^{m-1} (1+q^iz) = \sum_{k=0}^m {m \atopwithdelims[] k} q^{\binom k2}z^k, $$ where $${m \atopwithdelims[] k} = \frac{(q^m-1)(q^{m-1}-1)\cdots (q^{m-k+1}-1)}{(q^k-1)\cdots (q-1)}.$$ It follows that $$C_k(n)={2n+1 \atopwithdelims[] k} q^{\binom k2 -kn}$$ Expanding the $q$-binomial coefficients, we see that $$C_k(n)=\sum_{l=-k}^k R_l(q) q^{ln},$$ where each $R_l(q)$ is a rational function of $q$.

Now let $$G_k=\sum_{n=0}^\infty C_k(n) t^n.$$ Then $$G_k=\sum_{l}\frac{R_l(q)}{1-tq^l}.$$ Expanding $G_k$ in partial fractions in $q$, we see that the constant term in $q$, which is $\sum_n A_k(n)t^n$, is a rational function of $t$, so $A_k(n)$ satisfies a linear recurrence with constant coefficients.

For example, $$G_2 = \frac{(1+q)t}{(1-t)^2(1-q^2t)} + \frac{t(q+t)}{(1-t)^2(q^2-t)}.$$ The second term, when expanded as a power series in $t$, has only negative powers of $q$, so it contributes nothing to the constant term in $q$. The first term, when expanded as a power series in $t$, has only nonnegative powers of $q$, so we obtain the constant term in $q$ by setting $q=0$ in the first term and we find that $$\sum_{n=0}^\infty A_2(n) t^n = t/(1-t)^2 =\sum_{n=0}^\infty nt^n.$$

$\endgroup$
4
  • $\begingroup$ Why $G_k = \sum_m {\dfrac{R_m(q)}{1-tq^m}}$? $\endgroup$
    – Lwins
    Commented Jan 3, 2014 at 17:38
  • $\begingroup$ I have rewritten my answer to make this clearer. $\endgroup$
    – Ira Gessel
    Commented Jan 3, 2014 at 18:16
  • $\begingroup$ Thanks for your detailed answer. Last problem: Why $C_k(n) = \exp (\cdots) \Longrightarrow C_k(n)$ is a linear combination of products... ? (Though that by $q$-binomial theorem it's trivial.) $\endgroup$
    – Lwins
    Commented Jan 3, 2014 at 18:29
  • $\begingroup$ You're right. I rewrote it to use the q-binomial theorem. $\endgroup$
    – Ira Gessel
    Commented Jan 3, 2014 at 20:15

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .