In this blog post I am going to define and talk about some interesting objects. They are commonly referred as q-objects in general.
The q-Pochhammer symbol is the next product:
with . The infinite product extension is also very popular
and it is analytic in the unit disc, with being the Euler’s function, important object in combinatorics, number theory and the theory of modular forms.
The q-Pochhammer symbol satisfies a big number of identities. I like mostly four of them:
And the fourth is the so-called q-binomial theorem
Interpretation: the coefficient of in the expansion
is the number of partitions of m into at most n parts. Moreover, if we write
that is the number of partitions of m into n or n-1 parts when we read off the coefficient in . The q-Pochhammer function admits multiple arguments in the following way:
The q-Pochhammer symbol can be related to other q-objects. We define first the q-numbers and the q-factorial. The q-numbers are defined as
and the q-factorial is
Now, we can even define a q-deformed version of the traditional derivative. It is called the q-derivative or Jackson’s derivative:
It satifies some conventional rules and some deformed variants of the classical derivative
Moreover, we also have
The Taylor expansion analogue also exists:
There are also some theta functions to explore. The q-theta function is
and with this yields
The Ramanujan theta function is a fascinating object I wish to show you:
with . It appears (and can be used in some applications of) in critical bosonic string theory, superstring theory and M-theory. This Ramanujan theta function satisfies a beautiful identity called Jacobi triple product
Some additional identities of this Ramanujan theta function are:
so the Euler function is a particular case of the Ramanujan theta function! They are also related to the Dedekind eta function. The Jacobi theta function may be written in terms of the Ramanujan theta function as well:
By the other hand, the Jacobi triple product identity is generally something more “general”. It is the mathematical identity:
and it is defined for arbitrary complex numbers such as and . The two more elegant forms of this Jacobi triple product identity are bound to the Ramanujan theta function we have defined above or in terms of the q-Pochhammer symbols
where is the infinite q-Pochhammer symbol and
in terms of Ramanujan theta function, as we have already seen previously. Aren’t you amazed by those formulae? You should! They are strikingly appealing and beautiful.
May the q-functions be with you!!!!