2
$\begingroup$

Is there a useful closed form for the following series ($|\Delta|$ is a small integer)?

$$f(q,\Delta) =\sum_{m=1}^{\infty} (-1)^m q^{m(m+1)/2 + m \Delta}$$

It is a large-$n$ approximation of the polynomial $-[n+\Delta, n]_q$ discussed here.

EDIT: A more useful form, it turns out, is $ \tilde{f}(q,z) =\sum\limits_{m=1}^{\infty} (-1)^m q^{m(m+1)/2} z^m$. Its normal (non-$q$-analog) limit is trivial and appealing.

  • 0
    I guess it can be expressed in terms of theta functions (which see), but not in terms of, say, the functions of first-year calculus.2011-10-18
  • 0
    @GerryMyerson: thanks, Gerry! [Theta-functions](http://en.wikipedia.org/wiki/Theta_function) seems to be the key. And I don't care much about which year calculus it is, be it what it is.2011-10-18
  • 0
    No link missing - "which see" just means I'm encouraging you to look up theta functions somewhere, as there is a lot of literature about them and I think they are what you want.2011-10-18
  • 0
    @GerryMyerson: thanks again, I got it.2011-10-18
  • 0
    Of course, one only needs to replace $q^\Delta$ with $z$ in the $q$-hypergeometric expression given below. :)2011-10-19
  • 0
    :) Sure! Still there is a tiny hope that it is theta-something for which representations other that this defining series are workagle (like asymptotic expansion around $q \to 1$).2011-10-19
  • 0
    @J.M. May be we can try expressing the sum via Ramanujan theta function and use http://dlmf.nist.gov/20.11#E3 Another lead that I'm investigating is Ramanujan's identity as quote in Eq. 3.4 of Bruce Berndt's [introduction to q-series](http://www.math.uiuc.edu/~berndt/articles/q.pdf)2011-10-19
  • 0
    I'm rather unskilled in manipulating modular forms (sorry), but you do have a good reason to suspect that Ramanujan has considered series of this sort; it does look like something he'd have looked at...2011-10-19

1 Answers 1

3

A fair bit of massaging is needed here.

$$\begin{align*}\sum_{m=1}^{\infty} (-1)^m q^{m(m+1)/2 + m \Delta}&=\sum_{m=2}^{\infty} (-1)^{m-1} q^{m(m-1)/2}q^{(m-1)\Delta}\\&=-q^{-\Delta}\sum_{m=2}^{\infty} (-1)^m q^{m(m-1)/2}q^{m\Delta}\\&=q^{-\Delta}-1-q^{-\Delta}\sum_{m=0}^{\infty} (-1)^m q^{m(m-1)/2}q^{m\Delta}\\&=q^{-\Delta}-1-q^{-\Delta}\sum_{m=0}^{\infty}\frac{(q;q)_m}{(q;q)_m (0;q)_m} (-1)^m q^{m(m-1)/2}q^{m\Delta}\end{align*}$$

and finally we recognize the form of a basic hypergeometric function:

$$\sum_{m=1}^{\infty} (-1)^m q^{m(m+1)/2 + m \Delta}=q^{-\Delta}-1-q^{-\Delta}{}_1 \phi_1\left({q \atop 0};q,q^\Delta\right)$$

Probably there is an easier expression in terms of Jacobi theta functions, but I haven't tried that route...

  • 0
    I'm trying to adopt $\theta_1(z | \tau)$ to the case of $\Delta= 0, 1$. This would allow me to define the effective temperature that physicists would recognize and love...2011-10-18
  • 0
    @Slaviks: due to the $q^{m\Delta}$ bit, it won't be so straightforward...2011-10-18
  • 0
    got a copy of Gasper's book on basic hypergeometric series. Fantastic!2011-10-18
  • 0
    yes, just realized that. Since your ${}_1 \phi_1$ is not limited to small $\Delta$, I hope to get the Fermi-Dirac function from there...2011-10-18
  • 0
    Gasper/Rahman is quite nice. :) If you can, get Fine's book too.2011-10-18
  • 0
    May be you have a quick advice how to take $q \to 1$ limit while keeping $q^{\Delta} \not = 1, 0$?2011-10-18
  • 0
    Nothing obvious comes to mind. :( Sorry.2011-10-18
  • 0
    I thnik I've got an idea - take $q=e^{-\epsilon}$ and convert the sum int he limit of $\epsilon \to 0 $ to an integral. I looks like an error integral, should be expandable then in $\epsilon$ to the leading order.2011-10-18