2
$\begingroup$

I've been having a few issues coming up with a generating function for an integer partition such that at least one part is even. What I have got so far is:

The generating function with no restrictions$\begin{align*} \\&= even~parts * odd~parts \\ &= (1+x^2+x^4+\ldots)(1+x^4+x^8+\ldots)(1+x^6+x^{12}+\ldots)etc * (1+x+x^2+\ldots)(1+x^3+x^6+\ldots)(1+x^5+x^{10})+\ldots)etc \\&= \prod_{k= 1}^\infty1/(1-x^k)\end{align*}$

Assuming that the situation where no even numbers are present in the partition is represented by the 1 in the expanded multiplication of the "even" side, we must remove this case by subtracting 1 from these terms.

Thus the generating function $ even~parts*odd~parts$ becomes $\begin{align*}\\& (even~parts-1)*odd~parts\\ &= (even~parts*odd~parts) - odd~parts\\&=all~parts-odd~parts\\ &=\prod_{k= 1}^\infty1/(1-x^k) -\prod_{k= 1}^\infty1/(1-x^{2k+1})\end{align*}$

Is this the right idea or am I completely on the wrong track? If it is the right idea how do I combine both the product signs $\prod$ into one? Thanks in advance.

  • 0
    Cheers for that @Gerry. That oeis entry is very helpful.2012-06-03

0 Answers 0